B = 50 exponent sets checked: 249900 expected: 249900
not certified: 0 []
time 518.3s
