# p=2 k=4 N=p^k=16 log_p|W_k|=20
D_lazard_vs_jennings terms=17 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=4,b=5) 7:(a=4,b=6) 8:(a=4,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=4,b=16)
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=4,b=16)
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=4,b=16)
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=4,b=16)
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=4,b=16)
negative_control_wrong_formulas detected=34/52 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=69 ALL_OK=True
nice -n 10 python -I series_check.py  0.52s user 0.01s system 98% cpu 0.535 total
