# p=3 k=4 N=p^k=81 log_p|W_k|=85
D_lazard_vs_jennings terms=82 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=4,b=4) 6:(a=4,b=5) 7:(a=4,b=6) 8:(a=4,b=7) 9:(a=4,b=8) 10:(a=4,b=9) 11:(a=4,b=10) 12:(a=4,b=11) 13:(a=4,b=12) 14:(a=4,b=13) 15:(a=4,b=14) 16:(a=4,b=15) 17:(a=4,b=16) 18:(a=4,b=17) 19:(a=4,b=18) 20:(a=4,b=19) 21:(a=4,b=20) 22:(a=4,b=21) 23:(a=4,b=22) 24:(a=4,b=23) 25:(a=4,b=24) 26:(a=4,b=25) 27:(a=4,b=26) 28:(a=4,b=27) 29:(a=4,b=28) 30:(a=4,b=29) 31:(a=4,b=30) 32:(a=4,b=31) 33:(a=4,b=32) 34:(a=4,b=33) 35:(a=4,b=34) 36:(a=4,b=35) 37:(a=4,b=36) 38:(a=4,b=37) 39:(a=4,b=38) 40:(a=4,b=39) 41:(a=4,b=40) 42:(a=4,b=41) 43:(a=4,b=42) 44:(a=4,b=43) 45:(a=4,b=44) 46:(a=4,b=45) 47:(a=4,b=46) 48:(a=4,b=47) 49:(a=4,b=48) 50:(a=4,b=49) 51:(a=4,b=50) 52:(a=4,b=51) 53:(a=4,b=52) 54:(a=4,b=53) 55:(a=4,b=54) 56:(a=4,b=55) 57:(a=4,b=56) 58:(a=4,b=57) 59:(a=4,b=58) 60:(a=4,b=59) 61:(a=4,b=60) 62:(a=4,b=61) 63:(a=4,b=62) 64:(a=4,b=63) 65:(a=4,b=64) 66:(a=4,b=65) 67:(a=4,b=66) 68:(a=4,b=67) 69:(a=4,b=68) 70:(a=4,b=69) 71:(a=4,b=70) 72:(a=4,b=71) 73:(a=4,b=72) 74:(a=4,b=73) 75:(a=4,b=74) 76:(a=4,b=75) 77:(a=4,b=76) 78:(a=4,b=77) 79:(a=4,b=78) 80:(a=4,b=79) 81:(a=4,b=80) 82:(a=4,b=81)
P: 0:(a=0,b=0) 1:(a=1,b=2) 2:(a=2,b=8) 3:(a=3,b=26) 4:(a=4,b=80) 5:(a=4,b=81)
P*: 0:(a=0,b=0) 1:(a=1,b=2) 2:(a=2,b=8) 3:(a=3,b=26) 4:(a=4,b=80) 5:(a=4,b=81)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=4) 3:(a=3,b=13) 4:(a=4,b=40) 5:(a=4,b=81)
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=3,b=9) 11:(a=3,b=10) 12:(a=3,b=11) 13:(a=3,b=12) 14:(a=3,b=13) 15:(a=3,b=14) 16:(a=3,b=15) 17:(a=3,b=16) 18:(a=3,b=17) 19:(a=3,b=18) 20:(a=3,b=19) 21:(a=3,b=20) 22:(a=3,b=21) 23:(a=3,b=22) 24:(a=3,b=23) 25:(a=3,b=24) 26:(a=3,b=25) 27:(a=3,b=26) 28:(a=4,b=27) 29:(a=4,b=28) 30:(a=4,b=29) 31:(a=4,b=30) 32:(a=4,b=31) 33:(a=4,b=32) 34:(a=4,b=33) 35:(a=4,b=34) 36:(a=4,b=35) 37:(a=4,b=36) 38:(a=4,b=37) 39:(a=4,b=38) 40:(a=4,b=39) 41:(a=4,b=40) 42:(a=4,b=41) 43:(a=4,b=42) 44:(a=4,b=43) 45:(a=4,b=44) 46:(a=4,b=45) 47:(a=4,b=46) 48:(a=4,b=47) 49:(a=4,b=48) 50:(a=4,b=49) 51:(a=4,b=50) 52:(a=4,b=51) 53:(a=4,b=52) 54:(a=4,b=53) 55:(a=4,b=54) 56:(a=4,b=55) 57:(a=4,b=56) 58:(a=4,b=57) 59:(a=4,b=58) 60:(a=4,b=59) 61:(a=4,b=60) 62:(a=4,b=61) 63:(a=4,b=62) 64:(a=4,b=63) 65:(a=4,b=64) 66:(a=4,b=65) 67:(a=4,b=66) 68:(a=4,b=67) 69:(a=4,b=68) 70:(a=4,b=69) 71:(a=4,b=70) 72:(a=4,b=71) 73:(a=4,b=72) 74:(a=4,b=73) 75:(a=4,b=74) 76:(a=4,b=75) 77:(a=4,b=76) 78:(a=4,b=77) 79:(a=4,b=78) 80:(a=4,b=79) 81:(a=4,b=80) 82:(a=4,b=81)
negative_control_wrong_formulas detected=99/182 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=264 ALL_OK=True
