k = 4 random exponent sets: 2000 max exponent <= 10000 seed 1
not certified: 0 []
largest exponent tested: 9825  time 65.5s
