### k4_cert_all.py 20 8
B = 20 exponent sets checked: 5985 expected: 5985
not certified: 0 []
time 3.3s
real 3.30
user 23.68
sys 0.14
### k4_cert_negative_control.py
(0, 1, 2, 3) true system certified: True | fake M4 = L*M3+Q*M2 certified: False {'chart1': (False, 6, 8), 'chart0': True}
(1, 2, 3, 4) true system certified: True | fake M4 = L*M3+Q*M2 certified: False {'chart1': (False, 6, 8), 'chart0': True}
(0, 1, 3, 7) true system certified: True | fake M4 = L*M3+Q*M2 certified: False {'chart1': (False, 6, 8), 'chart0': True}
(2, 5, 6, 11) true system certified: True | fake M4 = L*M3+Q*M2 certified: False {'chart1': (False, 6, 8), 'chart0': True}
### cert_random_large.py 4 200 10000 1 8
k = 4 random exponent sets: 200 max exponent <= 10000 seed 1
not certified: 0 []
largest exponent tested: 8469  time 0.7s
real 0.68
user 4.39
sys 0.10
