# p=2 k=5 N=p^k=32 log_p|W_k|=37
D_lazard_vs_jennings terms=33 all_equal=True
L: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=2,b=2) 4:(a=3,b=3) 5:(a=4,b=4) 6:(a=5,b=5) 7:(a=5,b=6) 8:(a=5,b=7) 9:(a=5,b=8) 10:(a=5,b=9) 11:(a=5,b=10) 12:(a=5,b=11) 13:(a=5,b=12) 14:(a=5,b=13) 15:(a=5,b=14) 16:(a=5,b=15) 17:(a=5,b=16) 18:(a=5,b=17) 19:(a=5,b=18) 20:(a=5,b=19) 21:(a=5,b=20) 22:(a=5,b=21) 23:(a=5,b=22) 24:(a=5,b=23) 25:(a=5,b=24) 26:(a=5,b=25) 27:(a=5,b=26) 28:(a=5,b=27) 29:(a=5,b=28) 30:(a=5,b=29) 31:(a=5,b=30) 32:(a=5,b=31) 33:(a=5,b=32)
P: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=3) 3:(a=3,b=7) 4:(a=4,b=15) 5:(a=5,b=31) 6:(a=5,b=32)
P*: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=3) 3:(a=3,b=7) 4:(a=4,b=15) 5:(a=5,b=31) 6:(a=5,b=32)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=3) 3:(a=3,b=7) 4:(a=4,b=15) 5:(a=5,b=31) 6:(a=5,b=32)
D: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=2,b=2) 4:(a=2,b=3) 5:(a=3,b=4) 6:(a=3,b=5) 7:(a=3,b=6) 8:(a=3,b=7) 9:(a=4,b=8) 10:(a=4,b=9) 11:(a=4,b=10) 12:(a=4,b=11) 13:(a=4,b=12) 14:(a=4,b=13) 15:(a=4,b=14) 16:(a=4,b=15) 17:(a=5,b=16) 18:(a=5,b=17) 19:(a=5,b=18) 20:(a=5,b=19) 21:(a=5,b=20) 22:(a=5,b=21) 23:(a=5,b=22) 24:(a=5,b=23) 25:(a=5,b=24) 26:(a=5,b=25) 27:(a=5,b=26) 28:(a=5,b=27) 29:(a=5,b=28) 30:(a=5,b=29) 31:(a=5,b=30) 32:(a=5,b=31) 33:(a=5,b=32)
negative_control_wrong_formulas detected=54/87 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=120 ALL_OK=True
nice -n 10 python -I series_check.py  4.20s user 0.02s system 98% cpu 4.267 total
