B = 12 exponent sets checked: 1287 expected: 1287
not certified (inconclusive): 0 []
time 570.2s
