# p=7 k=1 N=p^k=7 log_p|W_k|=8
D_lazard_vs_jennings terms=8 all_equal=True
L: 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=1,b=7)
P: 0:(a=0,b=0) 1:(a=1,b=6) 2:(a=1,b=7)
P*: 0:(a=0,b=0) 1:(a=1,b=6) 2:(a=1,b=7)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=1,b=7)
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=1,b=7)
negative_control_wrong_formulas detected=13/25 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=33 ALL_OK=True
nice -n 10 python -I series_check.py  0.09s user 0.01s system 97% cpu 0.099 total
