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