stats: {'graphs': 3000, 'pieces': 82052, 'lemma6.1-hyp': 2488, 'subdivisions': 3000, 'sweep-hyp': 1032, 'corner-deletions': 6717, 'shells': 600, 'H2>0 cases': 321}
failures: none
python3 lemma_tests_ref2.py 3000  99.82s user 0.35s system 99% cpu 1:40.68 total
