B = 50 exponent sets checked: 249900 expected: 249900
not certified: 0 []
time 3444.4s
python3 scripts/k4_cert_all.py 50 4  2765.91s user 27.35s system 81% cpu 57:24.50 total
