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