# p=3 k=1 N=p^k=3 log_p|W_k|=4
D_lazard_vs_jennings terms=4 all_equal=True
L: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=1,b=2) 4:(a=1,b=3)
P: 0:(a=0,b=0) 1:(a=1,b=2) 2:(a=1,b=3)
P*: 0:(a=0,b=0) 1:(a=1,b=2) 2:(a=1,b=3)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=1,b=3)
D: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=1,b=2) 4:(a=1,b=3)
negative_control_wrong_formulas detected=9/17 (terms where the wrong formula coincides with the right one in W_k are not detectable)
brute_force_crosscheck terms=17 mismatches=0
steps=21 ALL_OK=True
nice -n 10 python -I series_check.py  0.11s user 0.01s system 92% cpu 0.133 total
