### lead/check_k4_range.py 25 8
k = 4, all exponent sets 0 <= e1 < e2 < e3 < e4 <= 25: 14950 sets checked
not certified: 0 []
real 11.45
user 88.98
sys 0.31
