tmp_n19.jsonl: 253 classes C certified, 64262 witness pairs checked
   n=19: 253 classes C certified (of 253 nontrivial classes)
tmp_n20.jsonl: 323 classes C certified, 104652 witness pairs checked
   n=20: 323 classes C certified (of 323 nontrivial classes)
tmp_n21.jsonl: 407 classes C certified, 166056 witness pairs checked
   n=21: 407 classes C certified (of 407 nontrivial classes)
tmp_n22.jsonl: 512 classes C certified, 262656 witness pairs checked
   n=22: 512 classes C certified (of 512 nontrivial classes)
tmp_n23.jsonl: 640 classes C certified, 410240 witness pairs checked
   n=23: 640 classes C certified (of 640 nontrivial classes)
tmp_n24.jsonl: 803 classes C certified, 645612 witness pairs checked
   n=24: 803 classes C certified (of 803 nontrivial classes)
nice -n 10 python -I         24.82s user 0.18s system 99% cpu 25.002 total
