sphere {'complexes': 41866, 'max |lk| = 1': 41861, 'no K6 minor': 5, 'odd pairs = 1': 41853, 'odd pairs = 3': 8, 'with K6 model': 41861}
polytope {'complexes': 20000, 'max |lk| = 1': 19343, 'no K6 minor': 657, 'odd pairs = 1': 19302, 'odd pairs = 3': 41, 'with K6 model': 19343}
parity violations: 0   (38 s)
