polytopes: 274148; with f1 <= 26: 30266; with f1 >= 27: 243882 (sample written: 6000)
