straight-line drawing is an embedding: True
cycles: 170, pairs of disjoint cycles: 52, |lk| histogram (M2): {1: 16, 0: 36}, example: ((0, 1, 2), (4, 5, 6), 1)
Petersen-family minor (complete search): None
SAT answers: ['UNSAT', 'UNSAT', 'UNSAT', 'UNSAT', 'UNSAT', 'UNSAT', 'UNSAT']
CONTROL OK: a linked embedding of a graph without Petersen-family minor is detected as such
