my records (all 9-vertex polytopes of the list): 274148
results_F9_le26.jsonl : 30266 polytopes; (claim verdict, my verdict) -> {('unlinked', 'unlinked'): 8755, ('linked', 'linked'): 21511, 'claim minor: PF6[555555]': 21511, 'my minor: K6': 21511}
results_F9_ge27_sample.jsonl : 6000 polytopes; (claim verdict, my verdict) -> {('linked', 'linked'): 6000, 'claim minor: PF6[555555]': 6000, 'my minor: K6': 6000}
my unlinked by number of edges: [(18, 1), (19, 1), (20, 8), (21, 31), (22, 171), (23, 583), (24, 1698), (25, 3146), (26, 3116)]
my linked by number of edges: [(22, 7), (23, 98), (24, 866), (25, 4647), (26, 15893), (27, 35021), (28, 49554), (29, 54813), (30, 47549), (31, 32244), (32, 16610), (33, 6231), (34, 1593), (35, 244), (36, 23)]
my unlinked by f-vector with 26 edges: [((9, 26, 26, 9), 1), ((9, 26, 27, 10), 26), ((9, 26, 28, 11), 269), ((9, 26, 29, 12), 812), ((9, 26, 30, 13), 1046), ((9, 26, 31, 14), 665), ((9, 26, 32, 15), 240), ((9, 26, 33, 16), 50), ((9, 26, 34, 17), 7)]
fewest edges of a linked 9-vertex polytope: 22
unlinked, f = (9,26,34,17): 7
