k = 5 random exponent sets: 300 max exponent <= 1000 seed 2
not certified: 0 []
largest exponent tested: 972  time 59.2s
