cert_all_n5_11.jsonl: 2104 witness pairs OK, 0 bad
   n=5: 4 classes C certified of 4 non-trivial; all certified: True
   n=6: 6 classes C certified of 6 non-trivial; all certified: True
   n=7: 8 classes C certified of 8 non-trivial; all certified: True
   n=8: 13 classes C certified of 13 non-trivial; all certified: True
   n=9: 17 classes C certified of 17 non-trivial; all certified: True
   n=10: 23 classes C certified of 23 non-trivial; all certified: True
   n=11: 30 classes C certified of 30 non-trivial; all certified: True
cert_all_n12_14.jsonl: 9888 witness pairs OK, 0 bad
   n=12: 42 classes C certified of 42 non-trivial; all certified: True
   n=13: 54 classes C certified of 54 non-trivial; all certified: True
   n=14: 71 classes C certified of 71 non-trivial; all certified: True
cert_all_n15_18.jsonl: 87728 witness pairs OK, 0 bad
   n=15: 93 classes C certified of 93 non-trivial; all certified: True
   n=16: 122 classes C certified of 122 non-trivial; all certified: True
   n=17: 155 classes C certified of 155 non-trivial; all certified: True
   n=18: 199 classes C certified of 199 non-trivial; all certified: True
cert_small_n5_23.jsonl: 14957 witness pairs OK, 0 bad
   n=5: 4 classes C certified of 4 non-trivial; all certified: True
   n=6: 6 classes C certified of 6 non-trivial; all certified: True
   n=7: 5 classes C certified of 8 non-trivial; all certified: False missing [((7,), 1), ((7,), -1), ((3, 2, 2), 0)]
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=8: 5 classes C certified of 13 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=9: 5 classes C certified of 17 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=10: 5 classes C certified of 23 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=11: 5 classes C certified of 30 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=12: 5 classes C certified of 42 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=13: 5 classes C certified of 54 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=14: 5 classes C certified of 71 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=15: 5 classes C certified of 93 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=16: 5 classes C certified of 122 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=17: 5 classes C certified of 155 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=18: 5 classes C certified of 199 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=19: 5 classes C certified of 253 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=20: 5 classes C certified of 323 non-trivial; all certified: False
      certified support types: [(2, 2), (3,), (3, 3), (4, 2), (5,)]
   n=21: 5 classes C certified of 407 non-trivial; all certified: False
   n=22: 5 classes C certified of 512 non-trivial; all certified: False
   n=23: 5 classes C certified of 640 non-trivial; all certified: False
TOTAL BAD: 0
