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