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