# p=5 k=2 N=p^k=25 log_p|W_k|=27
D_lazard_vs_jennings terms=26 all_equal=True
L: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=2,b=2) 4:(a=2,b=3) 5:(a=2,b=4) 6:(a=2,b=5) 7:(a=2,b=6) 8:(a=2,b=7) 9:(a=2,b=8) 10:(a=2,b=9) 11:(a=2,b=10) 12:(a=2,b=11) 13:(a=2,b=12) 14:(a=2,b=13) 15:(a=2,b=14) 16:(a=2,b=15) 17:(a=2,b=16) 18:(a=2,b=17) 19:(a=2,b=18) 20:(a=2,b=19) 21:(a=2,b=20) 22:(a=2,b=21) 23:(a=2,b=22) 24:(a=2,b=23) 25:(a=2,b=24) 26:(a=2,b=25)
P: 0:(a=0,b=0) 1:(a=1,b=4) 2:(a=2,b=24) 3:(a=2,b=25)
P*: 0:(a=0,b=0) 1:(a=1,b=4) 2:(a=2,b=24) 3:(a=2,b=25)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=6) 3:(a=2,b=25)
D: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=1,b=2) 4:(a=1,b=3) 5:(a=1,b=4) 6:(a=2,b=5) 7:(a=2,b=6) 8:(a=2,b=7) 9:(a=2,b=8) 10:(a=2,b=9) 11:(a=2,b=10) 12:(a=2,b=11) 13:(a=2,b=12) 14:(a=2,b=13) 15:(a=2,b=14) 16:(a=2,b=15) 17:(a=2,b=16) 18:(a=2,b=17) 19:(a=2,b=18) 20:(a=2,b=19) 21:(a=2,b=20) 22:(a=2,b=21) 23:(a=2,b=22) 24:(a=2,b=23) 25:(a=2,b=24) 26:(a=2,b=25)
negative_control_wrong_formulas detected=35/64 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=90 ALL_OK=True
nice -n 10 python -I series_check.py  1.65s user 0.01s system 99% cpu 1.663 total
