orbits of non-empty subsets of {0,1}^4 under the 384 symmetries of the cube: 401 (with the empty set: 402)
orbits of full-dimensional subsets, that is, classes of 4-dimensional 0/1-polytopes: 347
by number of vertices 5..16: [17, 40, 54, 72, 56, 50, 27, 19, 6, 4, 1, 1]
Tables 1 and 4 of Chen and Guo (arXiv:1101.0410), F_4(k) for k = 5..16: [17, 40, 54, 72, 56, 50, 27, 19, 6, 4, 1, 1], sum 347
the number of classes is 347 and the numbers by vertices agree with these tables: True
time 0 s
not linked: 160, linked: 187 (the note: 160 and 187)
by number of vertices (not linked / linked): {5: (17, 0), 6: (34, 6), 7: (40, 14), 8: (36, 36), 9: (20, 36), 10: (9, 41), 11: (3, 24), 12: (1, 18), 13: (0, 6), 14: (0, 4), 15: (0, 1), 16: (0, 1)}
minor in the Petersen family decided exhaustively for the 289 classes with at most 10 vertices; exceptions to "non-zero pair <=> odd pair <=> minor (a K_6-minor)": 0
time 168 s
ALL OK
