cert_all_n5_11.jsonl: 101 classes C certified, 2104 witness pairs checked
   n=5: 4 classes C certified (of 4 nontrivial classes)
   n=6: 6 classes C certified (of 6 nontrivial classes)
   n=7: 8 classes C certified (of 8 nontrivial classes)
   n=8: 13 classes C certified (of 13 nontrivial classes)
   n=9: 17 classes C certified (of 17 nontrivial classes)
   n=10: 23 classes C certified (of 23 nontrivial classes)
   n=11: 30 classes C certified (of 30 nontrivial classes)
cert_all_n12_14.jsonl: 167 classes C certified, 9888 witness pairs checked
   n=12: 42 classes C certified (of 42 nontrivial classes)
   n=13: 54 classes C certified (of 54 nontrivial classes)
   n=14: 71 classes C certified (of 71 nontrivial classes)
cert_all_n15_18.jsonl: 569 classes C certified, 87728 witness pairs checked
   n=15: 93 classes C certified (of 93 nontrivial classes)
   n=16: 122 classes C certified (of 122 nontrivial classes)
   n=17: 155 classes C certified (of 155 nontrivial classes)
   n=18: 199 classes C certified (of 199 nontrivial classes)
cert_small_n5_23.jsonl: 95 classes C certified, 14957 witness pairs checked
   n=5: 4 classes C certified (of 4 nontrivial classes)
   n=6: 6 classes C certified (of 6 nontrivial classes)
   n=7: 5 classes C certified (of 8 nontrivial classes)
   n=8: 5 classes C certified (of 13 nontrivial classes)
   n=9: 5 classes C certified (of 17 nontrivial classes)
   n=10: 5 classes C certified (of 23 nontrivial classes)
   n=11: 5 classes C certified (of 30 nontrivial classes)
   n=12: 5 classes C certified (of 42 nontrivial classes)
   n=13: 5 classes C certified (of 54 nontrivial classes)
   n=14: 5 classes C certified (of 71 nontrivial classes)
   n=15: 5 classes C certified (of 93 nontrivial classes)
   n=16: 5 classes C certified (of 122 nontrivial classes)
   n=17: 5 classes C certified (of 155 nontrivial classes)
   n=18: 5 classes C certified (of 199 nontrivial classes)
   n=19: 5 classes C certified (of 253 nontrivial classes)
   n=20: 5 classes C certified (of 323 nontrivial classes)
   n=21: 5 classes C certified (of 407 nontrivial classes)
   n=22: 5 classes C certified (of 512 nontrivial classes)
   n=23: 5 classes C certified (of 640 nontrivial classes)
