# p=5 k=3 N=p^k=125 log_p|W_k|=128
D_lazard_vs_jennings terms=126 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) 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=3,b=27) 29:(a=3,b=28) 30:(a=3,b=29) 31:(a=3,b=30) 32:(a=3,b=31) 33:(a=3,b=32) 34:(a=3,b=33) 35:(a=3,b=34) 36:(a=3,b=35) 37:(a=3,b=36) 38:(a=3,b=37) 39:(a=3,b=38) 40:(a=3,b=39) 41:(a=3,b=40) 42:(a=3,b=41) 43:(a=3,b=42) 44:(a=3,b=43) 45:(a=3,b=44) 46:(a=3,b=45) 47:(a=3,b=46) 48:(a=3,b=47) 49:(a=3,b=48) 50:(a=3,b=49) 51:(a=3,b=50) 52:(a=3,b=51) 53:(a=3,b=52) 54:(a=3,b=53) 55:(a=3,b=54) 56:(a=3,b=55) 57:(a=3,b=56) 58:(a=3,b=57) 59:(a=3,b=58) 60:(a=3,b=59) 61:(a=3,b=60) 62:(a=3,b=61) 63:(a=3,b=62) 64:(a=3,b=63) 65:(a=3,b=64) 66:(a=3,b=65) 67:(a=3,b=66) 68:(a=3,b=67) 69:(a=3,b=68) 70:(a=3,b=69) 71:(a=3,b=70) 72:(a=3,b=71) 73:(a=3,b=72) 74:(a=3,b=73) 75:(a=3,b=74) 76:(a=3,b=75) 77:(a=3,b=76) 78:(a=3,b=77) 79:(a=3,b=78) 80:(a=3,b=79) 81:(a=3,b=80) 82:(a=3,b=81) 83:(a=3,b=82) 84:(a=3,b=83) 85:(a=3,b=84) 86:(a=3,b=85) 87:(a=3,b=86) 88:(a=3,b=87) 89:(a=3,b=88) 90:(a=3,b=89) 91:(a=3,b=90) 92:(a=3,b=91) 93:(a=3,b=92) 94:(a=3,b=93) 95:(a=3,b=94) 96:(a=3,b=95) 97:(a=3,b=96) 98:(a=3,b=97) 99:(a=3,b=98) 100:(a=3,b=99) 101:(a=3,b=100) 102:(a=3,b=101) 103:(a=3,b=102) 104:(a=3,b=103) 105:(a=3,b=104) 106:(a=3,b=105) 107:(a=3,b=106) 108:(a=3,b=107) 109:(a=3,b=108) 110:(a=3,b=109) 111:(a=3,b=110) 112:(a=3,b=111) 113:(a=3,b=112) 114:(a=3,b=113) 115:(a=3,b=114) 116:(a=3,b=115) 117:(a=3,b=116) 118:(a=3,b=117) 119:(a=3,b=118) 120:(a=3,b=119) 121:(a=3,b=120) 122:(a=3,b=121) 123:(a=3,b=122) 124:(a=3,b=123) 125:(a=3,b=124) 126:(a=3,b=125)
P: 0:(a=0,b=0) 1:(a=1,b=4) 2:(a=2,b=24) 3:(a=3,b=124) 4:(a=3,b=125)
P*: 0:(a=0,b=0) 1:(a=1,b=4) 2:(a=2,b=24) 3:(a=3,b=124) 4:(a=3,b=125)
F: 0:(a=0,b=0) 1:(a=1,b=1) 2:(a=2,b=6) 3:(a=3,b=31) 4:(a=3,b=125)
D: 1:(a=0,b=0) 2:(a=1,b=1) 3:(a=1,b=2) 4:(a=1,b=3) 5:(a=1,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) 11:(a=2,b=10) 12:(a=2,b=11) 13:(a=2,b=12) 14:(a=2,b=13) 15:(a=2,b=14) 16:(a=2,b=15) 17:(a=2,b=16) 18:(a=2,b=17) 19:(a=2,b=18) 20:(a=2,b=19) 21:(a=2,b=20) 22:(a=2,b=21) 23:(a=2,b=22) 24:(a=2,b=23) 25:(a=2,b=24) 26:(a=3,b=25) 27:(a=3,b=26) 28:(a=3,b=27) 29:(a=3,b=28) 30:(a=3,b=29) 31:(a=3,b=30) 32:(a=3,b=31) 33:(a=3,b=32) 34:(a=3,b=33) 35:(a=3,b=34) 36:(a=3,b=35) 37:(a=3,b=36) 38:(a=3,b=37) 39:(a=3,b=38) 40:(a=3,b=39) 41:(a=3,b=40) 42:(a=3,b=41) 43:(a=3,b=42) 44:(a=3,b=43) 45:(a=3,b=44) 46:(a=3,b=45) 47:(a=3,b=46) 48:(a=3,b=47) 49:(a=3,b=48) 50:(a=3,b=49) 51:(a=3,b=50) 52:(a=3,b=51) 53:(a=3,b=52) 54:(a=3,b=53) 55:(a=3,b=54) 56:(a=3,b=55) 57:(a=3,b=56) 58:(a=3,b=57) 59:(a=3,b=58) 60:(a=3,b=59) 61:(a=3,b=60) 62:(a=3,b=61) 63:(a=3,b=62) 64:(a=3,b=63) 65:(a=3,b=64) 66:(a=3,b=65) 67:(a=3,b=66) 68:(a=3,b=67) 69:(a=3,b=68) 70:(a=3,b=69) 71:(a=3,b=70) 72:(a=3,b=71) 73:(a=3,b=72) 74:(a=3,b=73) 75:(a=3,b=74) 76:(a=3,b=75) 77:(a=3,b=76) 78:(a=3,b=77) 79:(a=3,b=78) 80:(a=3,b=79) 81:(a=3,b=80) 82:(a=3,b=81) 83:(a=3,b=82) 84:(a=3,b=83) 85:(a=3,b=84) 86:(a=3,b=85) 87:(a=3,b=86) 88:(a=3,b=87) 89:(a=3,b=88) 90:(a=3,b=89) 91:(a=3,b=90) 92:(a=3,b=91) 93:(a=3,b=92) 94:(a=3,b=93) 95:(a=3,b=94) 96:(a=3,b=95) 97:(a=3,b=96) 98:(a=3,b=97) 99:(a=3,b=98) 100:(a=3,b=99) 101:(a=3,b=100) 102:(a=3,b=101) 103:(a=3,b=102) 104:(a=3,b=103) 105:(a=3,b=104) 106:(a=3,b=105) 107:(a=3,b=106) 108:(a=3,b=107) 109:(a=3,b=108) 110:(a=3,b=109) 111:(a=3,b=110) 112:(a=3,b=111) 113:(a=3,b=112) 114:(a=3,b=113) 115:(a=3,b=114) 116:(a=3,b=115) 117:(a=3,b=116) 118:(a=3,b=117) 119:(a=3,b=118) 120:(a=3,b=119) 121:(a=3,b=120) 122:(a=3,b=121) 123:(a=3,b=122) 124:(a=3,b=123) 125:(a=3,b=124) 126:(a=3,b=125)
negative_control_wrong_formulas detected=139/267 (terms where the wrong formula coincides with the right one in W_k are not detectable)
steps=393 ALL_OK=True
