# p=2 k=2 N=p^k=4 log_p|W_k|=6
D_lazard_vs_jennings terms=5 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)
P: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=3) 3:(a=2,b=4)
P*: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=3) 3:(a=2,b=4)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=3) 3:(a=2,b=4)
D: 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)
negative_control_wrong_formulas detected=14/22 (terms where the wrong formula coincides with the right one in W_k are not detectable)
brute_force_crosscheck terms=22 mismatches=0
steps=27 ALL_OK=True
