### k5_cert_all.py 10 8
B = 10 Bmin = 0 exponent sets checked: 462 expected: 462
not certified (inconclusive): 0 []
time 7.2s
real 7.22
user 51.61
sys 0.23
### k5_cert_negative_control.py
(0, 1, 2, 3, 4) true system certified: True {'A': True, 'B': True, 'C': True} | fake M5 certified: False {'A': False, 'B': True, 'C': True}
(1, 2, 4, 6, 9) true system certified: True {'A': True, 'B': True, 'C': True} | fake M5 certified: False {'A': False, 'B': True, 'C': True}
real 0.43
user 0.41
sys 0.01
### cert_random_large.py 5 24 1000 2 8
k = 5 random exponent sets: 24 max exponent <= 1000 seed 2
not certified: 0 []
largest exponent tested: 972  time 0.6s
real 0.63
user 3.32
sys 0.13
