# p=7 k=2 N=p^k=49 log_p|W_k|=51
D_lazard_vs_jennings terms=50 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) 27:(a=2,b=26) 28:(a=2,b=27) 29:(a=2,b=28) 30:(a=2,b=29) 31:(a=2,b=30) 32:(a=2,b=31) 33:(a=2,b=32) 34:(a=2,b=33) 35:(a=2,b=34) 36:(a=2,b=35) 37:(a=2,b=36) 38:(a=2,b=37) 39:(a=2,b=38) 40:(a=2,b=39) 41:(a=2,b=40) 42:(a=2,b=41) 43:(a=2,b=42) 44:(a=2,b=43) 45:(a=2,b=44) 46:(a=2,b=45) 47:(a=2,b=46) 48:(a=2,b=47) 49:(a=2,b=48) 50:(a=2,b=49)
P: 0:(a=0,b=0) 1:(a=1,b=6) 2:(a=2,b=48) 3:(a=2,b=49)
P*: 0:(a=0,b=0) 1:(a=1,b=6) 2:(a=2,b=48) 3:(a=2,b=49)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=8) 3:(a=2,b=49)
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=1,b=5) 7:(a=1,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) 27:(a=2,b=26) 28:(a=2,b=27) 29:(a=2,b=28) 30:(a=2,b=29) 31:(a=2,b=30) 32:(a=2,b=31) 33:(a=2,b=32) 34:(a=2,b=33) 35:(a=2,b=34) 36:(a=2,b=35) 37:(a=2,b=36) 38:(a=2,b=37) 39:(a=2,b=38) 40:(a=2,b=39) 41:(a=2,b=40) 42:(a=2,b=41) 43:(a=2,b=42) 44:(a=2,b=43) 45:(a=2,b=44) 46:(a=2,b=45) 47:(a=2,b=46) 48:(a=2,b=47) 49:(a=2,b=48) 50:(a=2,b=49)
negative_control_wrong_formulas detected=59/112 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=162 ALL_OK=True
nice -n 10 python -I series_check.py  16.53s user 0.03s system 99% cpu 16.600 total
