k = 4, all exponent sets 0 <= e1 < e2 < e3 < e4 <= 50: 249900 sets checked
not certified: 0 []

real	18m39.302s
user	58m0.776s
sys	0m32.585s
