# setup: N=368, SMAX=300, 8.9s
# cross-checks passed (known values; j-method == elimination for all even 4<=k<=240), 9.1s
# ===== Conjecture 4: k = 12 mu, 1 <= mu <= 300
k=12 (d=2) case1=[2, 3, 5, 7, 13] #case3=14 case2=[]
k=24 (d=3) case1=[2, 3, 5, 7, 13] #case3=14 case2=[]
k=36 (d=4) case1=[2, 3, 5, 7, 13, 19, 37] #case3=12 case2=[]
k=48 (d=5) case1=[2, 3, 5, 7, 13, 17] #case3=14 case2=[]
k=60 (d=6) case1=[2, 3, 5, 7, 11, 13, 31, 61] #case3=12 case2=[]
k=72 (d=7) case1=[2, 3, 5, 7, 13, 19, 37, 73] #case3=13 case2=[]
k=84 (d=8) case1=[2, 3, 5, 7, 13, 29, 43] #case3=14 case2=[p=11:k'=4 p=17:k'=4,first_nonzero_index_mod_p=17]
k=96 (d=9) case1=[2, 3, 5, 7, 13, 17, 97] #case3=17 case2=[p=11:k'=6]
k=108 (d=10) case1=[2, 3, 5, 7, 13, 19, 37, 109] #case3=20 case2=[p=11:k'=8]
k=120 (d=11) case1=[2, 3, 5, 7, 11, 13, 31, 41, 61] #case3=21 case2=[]
k=132 (d=12) case1=[2, 3, 5, 7, 13, 23, 67] #case3=22 case2=[p=11:k'=12 p=17:k'=4 p=19:k'=6]
k=144 (d=13) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73] #case3=24 case2=[p=29:k'=4,first_nonzero_index_mod_p=29]
k=156 (d=14) case1=[2, 3, 5, 7, 13, 53, 79, 157] #case3=29 case2=[]
k=168 (d=15) case1=[2, 3, 5, 7, 13, 29, 43] #case3=30 case2=[p=17:k'=8 p=19:k'=6]
k=180 (d=16) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 181] #case3=29 case2=[p=17:k'=4 p=23:k'=4]
k=192 (d=17) case1=[2, 3, 5, 7, 13, 17, 97, 193] #case3=35 case2=[p=11:k'=12]
k=204 (d=18) case1=[2, 3, 5, 7, 13, 103] #case3=36 case2=[p=17:k'=12 p=19:k'=6 p=23:k'=6 p=41:k'=4,first_nonzero_index_mod_p=41]
k=216 (d=19) case1=[2, 3, 5, 7, 13, 19, 37, 73, 109] #case3=36 case2=[p=11:k'=16 p=31:k'=6]
k=228 (d=20) case1=[2, 3, 5, 7, 13, 229] #case3=40 case2=[p=11:k'=18 p=19:k'=12 p=23:k'=8 p=29:k'=4]
k=240 (d=21) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 61, 241] #case3=42 case2=[]
k=252 (d=22) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 127] #case3=41 case2=[p=11:k'=12(all [12, 22]) p=17:k'=12 p=23:k'=10]
k=264 (d=23) case1=[2, 3, 5, 7, 13, 23, 67, 89] #case3=45 case2=[p=11:k'=24 p=19:k'=12 p=53:k'=4,first_nonzero_index_mod_p=53]
k=276 (d=24) case1=[2, 3, 5, 7, 13, 47, 139, 277] #case3=49 case2=[p=23:k'=12 p=31:k'=6]
k=288 (d=25) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97] #case3=50 case2=[p=29:k'=8]
k=300 (d=26) case1=[2, 3, 5, 7, 11, 13, 31, 61, 101, 151] #case3=49 case2=[p=17:k'=12 p=19:k'=12 p=43:k'=6]
k=312 (d=27) case1=[2, 3, 5, 7, 13, 53, 79, 157, 313] #case3=55 case2=[p=29:k'=4]
k=324 (d=28) case1=[2, 3, 5, 7, 13, 19, 37, 109, 163] #case3=55 case2=[p=11:k'=24 p=41:k'=4]
k=336 (d=29) case1=[2, 3, 5, 7, 13, 17, 29, 43, 113, 337] #case3=56 case2=[p=19:k'=12 p=31:k'=6]
k=348 (d=30) case1=[2, 3, 5, 7, 13, 59, 349] #case3=60 case2=[p=11:k'=28 p=17:k'=12 p=29:k'=12]
k=360 (d=31) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 41, 61, 73, 181] #case3=59 case2=[]
k=372 (d=32) case1=[2, 3, 5, 7, 13, 373] #case3=63 case2=[p=11:k'=32 p=17:k'=20 p=19:k'=12 p=31:k'=12 p=47:k'=4]
k=384 (d=33) case1=[2, 3, 5, 7, 13, 17, 97, 193] #case3=66 case2=[p=11:k'=24(all [24, 34]) p=43:k'=6]
k=396 (d=34) case1=[2, 3, 5, 7, 13, 19, 23, 37, 67, 199, 397] #case3=65 case2=[p=11:k'=36 p=17:k'=12]
k=408 (d=35) case1=[2, 3, 5, 7, 13, 103, 137, 409] #case3=68 case2=[p=17:k'=24 p=19:k'=12 p=23:k'=12 p=41:k'=8]
k=420 (d=36) case1=[2, 3, 5, 7, 11, 13, 29, 31, 43, 61, 71, 211, 421] #case3=67 case2=[p=47:k'=6 p=53:k'=4]
k=432 (d=37) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 109, 433] #case3=71 case2=[p=29:k'=12 p=31:k'=12]
k=444 (d=38) case1=[2, 3, 5, 7, 13, 149, 223] #case3=75 case2=[p=19:k'=12 p=37:k'=12 p=41:k'=4 p=89:k'=4,first_nonzero_index_mod_p=89]
k=456 (d=39) case1=[2, 3, 5, 7, 13, 229, 457] #case3=77 case2=[p=11:k'=36 p=17:k'=24 p=19:k'=24 p=23:k'=16]
k=468 (d=40) case1=[2, 3, 5, 7, 13, 19, 37, 53, 79, 157] #case3=77 case2=[p=43:k'=6 p=47:k'=8 p=59:k'=4 p=67:k'=6]
k=480 (d=41) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 61, 97, 241] #case3=78 case2=[p=23:k'=18 p=37:k'=12]
k=492 (d=42) case1=[2, 3, 5, 7, 13, 83] #case3=82 case2=[p=11:k'=42 p=17:k'=28 p=19:k'=24 p=29:k'=16 p=31:k'=12 p=41:k'=12]
k=504 (d=43) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 73, 127] #case3=81 case2=[p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=17:k'=24 p=23:k'=20 p=101:k'=4,first_nonzero_index_mod_p=101]
k=516 (d=44) case1=[2, 3, 5, 7, 13, 173] #case3=86 case2=[p=11:k'=36(all [36, 46]) p=29:k'=12 p=37:k'=12 p=43:k'=12 p=47:k'=10]
k=528 (d=45) case1=[2, 3, 5, 7, 13, 17, 23, 67, 89] #case3=86 case2=[p=11:k'=48 p=19:k'=24 p=53:k'=8 p=59:k'=6]
k=540 (d=46) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 109, 181, 271, 541] #case3=84 case2=[p=17:k'=28 p=23:k'=12]
k=552 (d=47) case1=[2, 3, 5, 7, 13, 47, 139, 277] #case3=88 case2=[p=17:k'=24 p=23:k'=24 p=31:k'=12 p=37:k'=12 p=79:k'=6]
k=564 (d=48) case1=[2, 3, 5, 7, 13, 283] #case3=92 case2=[p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=19:k'=24 p=47:k'=12 p=71:k'=4 p=113:k'=4,first_nonzero_index_mod_p=113]
k=576 (d=49) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 193, 577] #case3=92 case2=[p=29:k'=16 p=53:k'=4]
k=588 (d=50) case1=[2, 3, 5, 7, 13, 29, 43, 197] #case3=93 case2=[p=11:k'=48 p=17:k'=28 p=19:k'=30 p=31:k'=18 p=37:k'=12 p=59:k'=8]
k=600 (d=51) case1=[2, 3, 5, 7, 11, 13, 31, 41, 61, 101, 151, 601] #case3=93 case2=[p=17:k'=24 p=19:k'=24 p=29:k'=12 p=43:k'=12 p=67:k'=6]
k=612 (d=52) case1=[2, 3, 5, 7, 13, 19, 37, 103, 307, 613] #case3=98 case2=[p=11:k'=52 p=17:k'=36 p=31:k'=12 p=41:k'=12]
k=624 (d=53) case1=[2, 3, 5, 7, 13, 17, 53, 79, 157, 313] #case3=101 case2=[p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=19:k'=30 p=37:k'=12]
k=636 (d=54) case1=[2, 3, 5, 7, 13, 107] #case3=104 case2=[p=11:k'=56 p=19:k'=24 p=29:k'=20 p=53:k'=12 p=71:k'=6]
k=648 (d=55) case1=[2, 3, 5, 7, 13, 19, 37, 73, 109, 163] #case3=105 case2=[p=11:k'=48(all [48, 58]) p=31:k'=18 p=59:k'=10]
k=660 (d=56) case1=[2, 3, 5, 7, 11, 13, 23, 31, 61, 67, 331, 661] #case3=104 case2=[p=17:k'=36 p=19:k'=30 p=29:k'=16 p=37:k'=12 p=83:k'=4]
k=672 (d=57) case1=[2, 3, 5, 7, 13, 17, 29, 43, 97, 113, 337, 673] #case3=108 case2=[p=19:k'=24 p=31:k'=12]
k=684 (d=58) case1=[2, 3, 5, 7, 13, 19, 37, 229] #case3=111 case2=[p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=23:k'=24 p=29:k'=12 p=43:k'=12 p=137:k'=4,first_nonzero_index_mod_p=137]
k=696 (d=59) case1=[2, 3, 5, 7, 13, 59, 233, 349] #case3=113 case2=[p=17:k'=40 p=29:k'=24 p=37:k'=12 p=41:k'=16]
k=708 (d=60) case1=[2, 3, 5, 7, 13, 709] #case3=115 case2=[p=17:k'=36 p=31:k'=18 p=59:k'=12 p=71:k'=8 p=79:k'=6 p=89:k'=4]
k=720 (d=61) case1=[2, 3, 5, 7, 11, 13, 17, 19, 31, 37, 41, 61, 73, 181, 241] #case3=112 case2=[p=103:k'=6]
k=732 (d=62) case1=[2, 3, 5, 7, 13, 367, 733] #case3=117 case2=[p=23:k'=28 p=31:k'=12 p=37:k'=12 p=41:k'=12 p=61:k'=12 p=67:k'=6]
k=744 (d=63) case1=[2, 3, 5, 7, 13, 373] #case3=121 case2=[p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=17:k'=40 p=31:k'=24 p=83:k'=6 p=149:k'=4,first_nonzero_index_mod_p=149]
k=756 (d=64) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 109, 127, 379, 757] #case3=118 case2=[p=11:k'=66,r<=2(g=ext6) p=17:k'=36 p=23:k'=30]
k=768 (d=65) case1=[2, 3, 5, 7, 13, 17, 97, 193, 257, 769] #case3=123 case2=[p=11:k'=68 p=37:k'=12 p=43:k'=12]
k=780 (d=66) case1=[2, 3, 5, 7, 11, 13, 31, 53, 61, 79, 131, 157] #case3=121 case2=[p=17:k'=44 p=23:k'=32 p=29:k'=24 p=71:k'=10]
k=792 (d=67) case1=[2, 3, 5, 7, 13, 19, 23, 37, 67, 73, 89, 199, 397] #case3=121 case2=[p=11:k'=72 p=17:k'=40 p=53:k'=12 p=61:k'=12]
k=804 (d=68) case1=[2, 3, 5, 7, 13, 269] #case3=126 case2=[p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=17:k'=36 p=23:k'=34 p=31:k'=24 p=37:k'=12 p=67:k'=12 p=101:k'=4]
k=816 (d=69) case1=[2, 3, 5, 7, 13, 17, 103, 137, 409] #case3=127 case2=[p=11:k'=66,r<=2(g=ext6) p=19:k'=42 p=23:k'=24 p=41:k'=16 p=43:k'=18]
k=828 (d=70) case1=[2, 3, 5, 7, 13, 19, 37, 47, 139, 277, 829] #case3=132 case2=[p=23:k'=36 p=83:k'=8]
k=840 (d=71) case1=[2, 3, 5, 7, 11, 13, 29, 31, 41, 43, 61, 71, 211, 281, 421] #case3=129 case2=[p=37:k'=12 p=47:k'=12]
k=852 (d=72) case1=[2, 3, 5, 7, 13, 853] #case3=134 case2=[p=11:k'=72 p=19:k'=42 p=41:k'=12 p=43:k'=12 p=61:k'=12 p=71:k'=12 p=107:k'=4]
k=864 (d=73) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 433] #case3=133 case2=[p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=29:k'=24 p=31:k'=24 p=79:k'=6 p=173:k'=4,first_nonzero_index_mod_p=173]
k=876 (d=74) case1=[2, 3, 5, 7, 13, 293, 439, 877] #case3=140 case2=[p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=37:k'=12 p=73:k'=12]
k=888 (d=75) case1=[2, 3, 5, 7, 13, 149, 223] #case3=142 case2=[p=11:k'=78 p=19:k'=42 p=37:k'=24 p=89:k'=8 p=127:k'=6]
k=900 (d=76) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 101, 151, 181] #case3=136 case2=[p=17:k'=52 p=41:k'=20 p=43:k'=18 p=53:k'=16 p=113:k'=4]
k=912 (d=77) case1=[2, 3, 5, 7, 13, 17, 229, 457] #case3=144 case2=[p=11:k'=72(all [72, 82]) p=19:k'=48 p=61:k'=12 p=83:k'=10]
k=924 (d=78) case1=[2, 3, 5, 7, 13, 23, 29, 43, 67, 463] #case3=143 case2=[p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=31:k'=24 p=37:k'=24 p=103:k'=6]
k=936 (d=79) case1=[2, 3, 5, 7, 13, 19, 37, 53, 73, 79, 157, 313, 937] #case3=141 case2=[p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=41:k'=16 p=43:k'=12 p=47:k'=16 p=67:k'=12]
k=948 (d=80) case1=[2, 3, 5, 7, 13, 317] #case3=149 case2=[p=17:k'=52 p=19:k'=48 p=29:k'=24 p=53:k'=12 p=73:k'=12 p=79:k'=12]
k=960 (d=81) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 61, 97, 193, 241] #case3=146 case2=[p=23:k'=36 p=37:k'=24 p=107:k'=6]
k=972 (d=82) case1=[2, 3, 5, 7, 13, 19, 37, 109, 163, 487] #case3=150 case2=[p=41:k'=12 p=61:k'=12 p=89:k'=4 p=139:k'=6]
k=984 (d=83) case1=[2, 3, 5, 7, 13, 83] #case3=151 case2=[p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=17:k'=56 p=19:k'=48 p=29:k'=32 p=31:k'=24 p=41:k'=24 p=43:k'=18 p=47:k'=18 p=197:k'=4,first_nonzero_index_mod_p=197]
k=996 (d=84) case1=[2, 3, 5, 7, 13, 167, 499, 997] #case3=156 case2=[p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=17:k'=52 p=37:k'=24 p=83:k'=12]
k=1008 (d=85) case1=[2, 3, 5, 7, 13, 17, 19, 29, 37, 43, 73, 113, 127, 337, 1009] #case3=151 case2=[p=11:k'=88,r<=2(g=ext8) p=23:k'=40 p=101:k'=8]
k=1020 (d=86) case1=[2, 3, 5, 7, 11, 13, 31, 61, 103, 1021] #case3=158 case2=[p=17:k'=60 p=19:k'=48 p=43:k'=12 p=73:k'=12]
k=1032 (d=87) case1=[2, 3, 5, 7, 13, 173, 1033] #case3=160 case2=[p=11:k'=92 p=23:k'=42 p=29:k'=24 p=37:k'=24 p=43:k'=24 p=47:k'=20 p=61:k'=12]
k=1044 (d=88) case1=[2, 3, 5, 7, 13, 19, 37, 59, 349, 523] #case3=161 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=29:k'=36 p=31:k'=24 p=131:k'=4]
k=1056 (d=89) case1=[2, 3, 5, 7, 13, 17, 23, 67, 89, 97, 353] #case3=161 case2=[p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=19:k'=48 p=53:k'=16 p=59:k'=12 p=151:k'=6]
k=1068 (d=90) case1=[2, 3, 5, 7, 13, 179, 1069] #case3=167 case2=[p=11:k'=88,r<=2(g=ext8) p=17:k'=60 p=37:k'=24 p=67:k'=12 p=89:k'=12 p=107:k'=8]
k=1080 (d=91) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 41, 61, 73, 109, 181, 271, 541] #case3=162 case2=[p=23:k'=46 p=47:k'=22]
k=1092 (d=92) case1=[2, 3, 5, 7, 13, 29, 43, 53, 79, 157, 547, 1093] #case3=166 case2=[p=19:k'=48 p=23:k'=36 p=61:k'=12 p=73:k'=12 p=137:k'=4]
k=1104 (d=93) case1=[2, 3, 5, 7, 13, 17, 47, 139, 277] #case3=168 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=23:k'=48 p=31:k'=24 p=37:k'=24 p=41:k'=24 p=53:k'=12 p=79:k'=12 p=101:k'=4]
k=1116 (d=94) case1=[2, 3, 5, 7, 13, 19, 37, 373, 1117] #case3=173 case2=[p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=17:k'=60 p=31:k'=36 p=43:k'=24 p=47:k'=12]
k=1128 (d=95) case1=[2, 3, 5, 7, 13, 283, 1129] #case3=176 case2=[p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=19:k'=48 p=29:k'=36 p=47:k'=24 p=103:k'=6 p=113:k'=8]
k=1140 (d=96) case1=[2, 3, 5, 7, 11, 13, 31, 61, 191, 229, 571] #case3=174 case2=[p=19:k'=60 p=37:k'=24 p=127:k'=6 p=163:k'=6]
k=1152 (d=97) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 193, 577, 1153] #case3=176 case2=[p=11:k'=102 p=61:k'=12]
k=1164 (d=98) case1=[2, 3, 5, 7, 13, 389] #case3=180 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=17:k'=60 p=53:k'=20 p=73:k'=12 p=97:k'=12 p=233:k'=4,first_nonzero_index_mod_p=233]
k=1176 (d=99) case1=[2, 3, 5, 7, 13, 29, 43, 197] #case3=178 case2=[p=11:k'=66(all [66, 76, 86, 96, 106]),r<=2(g=ext6) p=19:k'=60 p=31:k'=36 p=37:k'=24 p=59:k'=16 p=107:k'=10 p=131:k'=6]
k=1188 (d=100) case1=[2, 3, 5, 7, 13, 19, 23, 37, 67, 109, 199, 397] #case3=178 case2=[p=11:k'=88(all [88, 98, 108]),r<=2(g=ext8) p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=29:k'=40 p=41:k'=28 p=149:k'=4]
k=1200 (d=101) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 61, 101, 151, 241, 401, 601, 1201] #case3=179 case2=[p=43:k'=24 p=67:k'=12]
k=1212 (d=102) case1=[2, 3, 5, 7, 13, 607, 1213] #case3=184 case2=[p=17:k'=60 p=19:k'=60 p=29:k'=36 p=37:k'=24 p=53:k'=16 p=61:k'=12 p=101:k'=12]
k=1224 (d=103) case1=[2, 3, 5, 7, 13, 19, 37, 73, 103, 137, 307, 409, 613] #case3=184 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=17:k'=72 p=41:k'=24]
k=1236 (d=104) case1=[2, 3, 5, 7, 13, 619, 1237] #case3=188 case2=[p=11:k'=66(all [66, 76, 86, 96, 106]),r<=2(g=ext6) p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=23:k'=48 p=31:k'=36 p=59:k'=18 p=73:k'=12 p=103:k'=12 p=113:k'=4]
k=1248 (d=105) case1=[2, 3, 5, 7, 13, 17, 53, 79, 97, 157, 313, 1249] #case3=188 case2=[p=11:k'=88(all [88, 98, 108]),r<=2(g=ext8) p=19:k'=60 p=37:k'=24 p=139:k'=6]
k=1260 (d=106) case1=[2, 3, 5, 7, 11, 13, 19, 29, 31, 37, 43, 61, 71, 127, 181, 211, 421, 631] #case3=184 case2=[p=53:k'=12 p=79:k'=12 p=97:k'=12]
k=1272 (d=107) case1=[2, 3, 5, 7, 13, 107] #case3=191 case2=[p=11:k'=112 p=17:k'=72 p=19:k'=66 p=29:k'=40 p=53:k'=24 p=61:k'=12 p=67:k'=18 p=71:k'=12]
k=1284 (d=108) case1=[2, 3, 5, 7, 13, 643] #case3=194 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104, 114]),r<=2(g=ext4) p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=19:k'=60 p=23:k'=52 p=37:k'=24 p=43:k'=24 p=107:k'=12 p=257:k'=4,first_nonzero_index_mod_p=257]
k=1296 (d=109) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 109, 163, 433, 1297] #case3=194 case2=[p=11:k'=66(all [66, 76, 86, 96, 106, 116]),r<=2(g=ext6) p=29:k'=36 p=31:k'=36 p=59:k'=20]
k=1308 (d=110) case1=[2, 3, 5, 7, 13] #case3=201 case2=[p=11:k'=88(all [88, 98, 108, 118]),r<=2(g=ext8) p=17:k'=76 p=19:k'=66 p=23:k'=54 p=41:k'=28 p=73:k'=12 p=109:k'=12 p=131:k'=8]
k=1320 (d=111) case1=[2, 3, 5, 7, 11, 13, 23, 31, 41, 61, 67, 89, 331, 661, 1321] #case3=198 case2=[p=17:k'=72 p=19:k'=60 p=37:k'=24]
k=1332 (d=112) case1=[2, 3, 5, 7, 13, 19, 37, 149, 223] #case3=199 case2=[p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=23:k'=56 p=29:k'=44 p=31:k'=42 p=43:k'=30 p=61:k'=12 p=67:k'=12 p=89:k'=12 p=167:k'=4]
k=1344 (d=113) case1=[2, 3, 5, 7, 13, 17, 29, 43, 97, 113, 193, 337, 449, 673] #case3=199 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104, 114]),r<=2(g=ext4) p=19:k'=66 p=41:k'=24 p=269:k'=4,first_nonzero_index_mod_p=269]
k=1356 (d=114) case1=[2, 3, 5, 7, 13, 227] #case3=201 case2=[p=11:k'=66(all [66, 76, 86, 96, 106, 116]),r<=2(g=ext6) p=17:k'=76 p=19:k'=60 p=23:k'=58 p=29:k'=40 p=31:k'=36 p=59:k'=22 p=97:k'=12 p=113:k'=12 p=151:k'=6]
k=1368 (d=115) case1=[2, 3, 5, 7, 13, 19, 37, 73, 229, 457] #case3=204 case2=[p=11:k'=88(all [88, 98, 108, 118]),r<=2(g=ext8) p=17:k'=72 p=23:k'=48 p=43:k'=24 p=137:k'=8]
k=1380 (d=116) case1=[2, 3, 5, 7, 11, 13, 31, 47, 61, 139, 277, 461, 691, 1381] #case3=202 case2=[p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=23:k'=60 p=29:k'=36 p=73:k'=12 p=173:k'=4]
k=1392 (d=117) case1=[2, 3, 5, 7, 13, 17, 59, 233, 349] #case3=206 case2=[p=29:k'=48 p=31:k'=42 p=41:k'=32 p=61:k'=12 p=127:k'=6 p=199:k'=6]
k=1404 (d=118) case1=[2, 3, 5, 7, 13, 19, 37, 53, 79, 109, 157] #case3=205 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104, 114, 124]),r<=2(g=ext4) p=17:k'=76 p=47:k'=24 p=59:k'=12 p=67:k'=18 p=281:k'=4,first_nonzero_index_mod_p=281]
k=1416 (d=119) case1=[2, 3, 5, 7, 13, 709] #case3=209 case2=[p=11:k'=66(all [66, 76, 86, 96, 106, 116, 126]),r<=2(g=ext6) p=17:k'=72 p=31:k'=36 p=43:k'=30 p=59:k'=24 p=71:k'=16 p=79:k'=12 p=109:k'=12]
k=1428 (d=120) case1=[2, 3, 5, 7, 13, 29, 43, 103, 239, 1429] #case3=211 case2=[p=11:k'=88(all [88, 98, 108, 118, 128]),r<=2(g=ext8) p=17:k'=68(all [68, 84]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=41:k'=28 p=53:k'=24 p=179:k'=4]
k=1440 (d=121) case1=[2, 3, 5, 7, 11, 13, 17, 19, 31, 37, 41, 61, 73, 97, 181, 241] #case3=209 case2=[p=23:k'=54 p=103:k'=12 p=131:k'=10]
k=1452 (d=122) case1=[2, 3, 5, 7, 13, 23, 67, 727, 1453] #case3=216 case2=[p=11:k'=132,r<=2(g=ext12) p=31:k'=42 p=43:k'=24 p=61:k'=12 p=73:k'=12 p=97:k'=12]
k=1464 (d=123) case1=[2, 3, 5, 7, 13, 367, 733] #case3=220 case2=[p=41:k'=24 p=61:k'=24 p=67:k'=12 p=163:k'=6 p=293:k'=4,first_nonzero_index_mod_p=293]
k=1476 (d=124) case1=[2, 3, 5, 7, 13, 19, 37, 83, 739] #case3=219 case2=[p=17:k'=68(all [68, 84]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=29:k'=48 p=31:k'=36 p=41:k'=36 p=211:k'=6]
k=1488 (d=125) case1=[2, 3, 5, 7, 13, 17, 373, 1489] #case3=225 case2=[p=31:k'=48 p=71:k'=18 p=83:k'=12 p=149:k'=8]
k=1500 (d=126) case1=[2, 3, 5, 7, 11, 13, 31, 61, 101, 151, 251, 751] #case3=221 case2=[p=19:k'=78 p=43:k'=30 p=47:k'=28 p=79:k'=18 p=137:k'=4 p=167:k'=6]
k=1512 (d=127) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 73, 109, 127, 379, 757] #case3=221 case2=[p=11:k'=132,r<=2(g=ext12) p=17:k'=88 p=23:k'=60 p=89:k'=16 p=101:k'=12]
k=1524 (d=128) case1=[2, 3, 5, 7, 13, 509] #case3=228 case2=[p=17:k'=68(all [68, 84]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=61:k'=24 p=73:k'=12 p=109:k'=12 p=127:k'=12 p=139:k'=6 p=191:k'=4]
k=1536 (d=129) case1=[2, 3, 5, 7, 13, 17, 97, 193, 257, 769] #case3=225 case2=[p=11:k'=136 p=19:k'=78 p=23:k'=62 p=29:k'=52 p=43:k'=24 p=53:k'=28 p=67:k'=18]
k=1548 (d=130) case1=[2, 3, 5, 7, 13, 19, 37, 173, 1549] #case3=230 case2=[p=11:k'=138 p=31:k'=48 p=43:k'=36 p=47:k'=30 p=97:k'=12]
k=1560 (d=131) case1=[2, 3, 5, 7, 11, 13, 31, 41, 53, 61, 79, 131, 157, 313, 521] #case3=226 case2=[p=17:k'=88 p=23:k'=64 p=29:k'=48 p=71:k'=20 p=223:k'=6]
k=1572 (d=132) case1=[2, 3, 5, 7, 13, 263, 787] #case3=234 case2=[p=11:k'=132(all [132, 142]),r<=2(g=ext12) p=17:k'=68(all [68, 84]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=19:k'=78 p=23:k'=54 p=79:k'=12 p=131:k'=12 p=197:k'=4]
k=1584 (d=133) case1=[2, 3, 5, 7, 13, 17, 19, 23, 37, 67, 73, 89, 199, 397] #case3=232 case2=[p=11:k'=144 p=53:k'=24 p=61:k'=24 p=317:k'=4,first_nonzero_index_mod_p=317]
k=1596 (d=134) case1=[2, 3, 5, 7, 13, 29, 43, 229, 1597] #case3=235 case2=[p=17:k'=92 p=19:k'=84 p=41:k'=36 p=47:k'=32 p=67:k'=12 p=73:k'=12 p=89:k'=12]
k=1608 (d=135) case1=[2, 3, 5, 7, 13, 269, 1609] #case3=242 case2=[p=17:k'=88 p=23:k'=68 p=31:k'=48 p=67:k'=24 p=179:k'=6]
k=1620 (d=136) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 109, 163, 181, 271, 541, 811, 1621] #case3=238 case2=[p=17:k'=68(all [68, 84]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=29:k'=52]
k=1632 (d=137) case1=[2, 3, 5, 7, 13, 17, 97, 103, 137, 409] #case3=241 case2=[p=11:k'=132(all [132, 142]),r<=2(g=ext12) p=19:k'=84 p=23:k'=70 p=43:k'=36 p=71:k'=22 p=109:k'=12 p=149:k'=4]
k=1644 (d=138) case1=[2, 3, 5, 7, 13, 823] #case3=245 case2=[p=11:k'=144 p=23:k'=60 p=29:k'=48 p=47:k'=34 p=61:k'=24 p=97:k'=12 p=103:k'=12 p=137:k'=12]
k=1656 (d=139) case1=[2, 3, 5, 7, 13, 19, 37, 47, 73, 139, 277, 829, 1657] #case3=243 case2=[p=23:k'=72 p=79:k'=18 p=83:k'=16 p=151:k'=6]
k=1668 (d=140) case1=[2, 3, 5, 7, 13, 557, 1669] #case3=249 case2=[p=11:k'=148 p=17:k'=68(all [68, 84]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=19:k'=84 p=31:k'=48 p=73:k'=12 p=139:k'=12 p=167:k'=8]
k=1680 (d=141) case1=[2, 3, 5, 7, 11, 13, 17, 29, 31, 41, 43, 61, 71, 113, 211, 241, 281, 337, 421] #case3=243 case2=[p=47:k'=24]
k=1692 (d=142) case1=[2, 3, 5, 7, 13, 19, 37, 283, 1693] #case3=250 case2=[p=11:k'=132(all [132, 142, 152]),r<=2(g=ext12) p=47:k'=36 p=53:k'=28 p=71:k'=12 p=113:k'=12]
k=1704 (d=143) case1=[2, 3, 5, 7, 13, 569, 853] #case3=253 case2=[p=11:k'=144(all [144, 154]) p=19:k'=84 p=29:k'=52 p=31:k'=54 p=61:k'=24 p=71:k'=24]
k=1716 (d=144) case1=[2, 3, 5, 7, 13, 23, 53, 67, 79, 157, 859] #case3=250 case2=[p=11:k'=156 p=17:k'=68(all [68, 84, 100]),r<=2(g=ext4),first_nonzero_index_mod_p=289 p=41:k'=36 p=43:k'=36 p=101:k'=16 p=191:k'=6]
k=1728 (d=145) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 193, 433, 577] #case3=251 case2=[p=29:k'=48 p=31:k'=48 p=79:k'=12 p=173:k'=8]
k=1740 (d=146) case1=[2, 3, 5, 7, 11, 13, 31, 59, 61, 349, 1741] #case3=252 case2=[p=19:k'=84 p=29:k'=60 p=53:k'=24 p=67:k'=24 p=73:k'=12 p=83:k'=18 p=97:k'=12 p=109:k'=12]
k=1752 (d=147) case1=[2, 3, 5, 7, 13, 293, 439, 877, 1753] #case3=262 case2=[p=11:k'=132(all [132, 142, 152]),r<=2(g=ext12) p=73:k'=24]
k=1764 (d=148) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 127, 197, 883] #case3=257 case2=[p=17:k'=68(all [68, 84, 100]),r<=2(g=ext4) p=31:k'=54 p=59:k'=24 p=61:k'=24 p=353:k'=4,first_nonzero_index_mod_p=353]
k=1776 (d=149) case1=[2, 3, 5, 7, 13, 17, 149, 223, 593, 1777] #case3=260 case2=[p=11:k'=156 p=19:k'=84 p=37:k'=48 p=89:k'=16 p=127:k'=12]
k=1788 (d=150) case1=[2, 3, 5, 7, 13, 1789] #case3=266 case2=[p=23:k'=72 p=31:k'=48 p=149:k'=12 p=163:k'=6 p=179:k'=8 p=199:k'=6]
k=1800 (d=151) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 41, 61, 73, 101, 151, 181, 601, 1801] #case3=259 case2=[p=17:k'=104 p=43:k'=36 p=53:k'=32]
k=1812 (d=152) case1=[2, 3, 5, 7, 13, 907] #case3=266 case2=[p=11:k'=132(all [132, 142, 152, 162]),r<=2(g=ext12) p=17:k'=68(all [68, 84, 100]),r<=2(g=ext4) p=19:k'=84 p=37:k'=48 p=79:k'=18 p=101:k'=12 p=151:k'=12 p=227:k'=4]
k=1824 (d=153) case1=[2, 3, 5, 7, 13, 17, 97, 229, 457] #case3=265 case2=[p=11:k'=164 p=19:k'=96 p=29:k'=60 p=31:k'=54 p=61:k'=24 p=73:k'=24 p=83:k'=20]
k=1836 (d=154) case1=[2, 3, 5, 7, 13, 19, 37, 103, 109, 307, 613, 919] #case3=264 case2=[p=11:k'=156(all [156, 166]) p=17:k'=108 p=23:k'=76 p=41:k'=36 p=97:k'=12 p=167:k'=10]
k=1848 (d=155) case1=[2, 3, 5, 7, 13, 23, 29, 43, 67, 89, 463, 617] #case3=265 case2=[p=11:k'=168 p=31:k'=48 p=37:k'=48 p=53:k'=28 p=103:k'=12 p=109:k'=12]
k=1860 (d=156) case1=[2, 3, 5, 7, 11, 13, 31, 61, 311, 373, 1861] #case3=268 case2=[p=17:k'=68(all [68, 84, 100]),r<=2(g=ext4) p=19:k'=96 p=23:k'=78 p=89:k'=12 p=233:k'=4]
k=1872 (d=157) case1=[2, 3, 5, 7, 13, 17, 19, 37, 53, 73, 79, 157, 313, 937, 1873] #case3=270 case2=[p=11:k'=132(all [132, 142, 152, 162]),r<=2(g=ext12) p=67:k'=24]
k=1884 (d=158) case1=[2, 3, 5, 7, 13] #case3=274 case2=[p=17:k'=108 p=23:k'=80 p=29:k'=64 p=37:k'=48 p=41:k'=44 p=43:k'=36 p=59:k'=28 p=61:k'=24 p=79:k'=12 p=157:k'=12]
k=1896 (d=159) case1=[2, 3, 5, 7, 13, 317] #case3=277 case2=[p=19:k'=96 p=53:k'=24 p=73:k'=24 p=79:k'=24 p=173:k'=4 p=211:k'=6 p=271:k'=6]
k=1908 (d=160) case1=[2, 3, 5, 7, 13, 19, 37, 107] #case3=276 case2=[p=11:k'=168 p=17:k'=68(all [68, 84, 100]),r<=2(g=ext4) p=23:k'=82 p=29:k'=60 p=53:k'=36 p=83:k'=22 p=191:k'=8 p=239:k'=4]
k=1920 (d=161) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 61, 97, 193, 241, 641] #case3=275 case2=[p=23:k'=72 p=37:k'=48 p=107:k'=12 p=113:k'=16]
k=1932 (d=162) case1=[2, 3, 5, 7, 13, 29, 43, 47, 139, 277, 967, 1933] #case3=278 case2=[p=11:k'=132(all [132, 142, 152, 162, 172]),r<=2(g=ext12) p=17:k'=108 p=19:k'=96 p=23:k'=84 p=97:k'=12]
k=1944 (d=163) case1=[2, 3, 5, 7, 13, 19, 37, 73, 109, 163, 487] #case3=279 case2=[p=11:k'=174 p=59:k'=30 p=61:k'=24 p=139:k'=12 p=389:k'=4,first_nonzero_index_mod_p=389]
k=1956 (d=164) case1=[2, 3, 5, 7, 13, 653] #case3=282 case2=[p=11:k'=176,r<=2(g=ext16) p=17:k'=68(all [68, 84, 100]),r<=2(g=ext4) p=19:k'=102 p=37:k'=48 p=41:k'=36 p=89:k'=20 p=103:k'=18 p=109:k'=12 p=163:k'=12]
k=1968 (d=165) case1=[2, 3, 5, 7, 13, 17, 83] #case3=281 case2=[p=11:k'=168(all [168, 178]) p=19:k'=96 p=29:k'=64 p=41:k'=48 p=43:k'=36 p=47:k'=36 p=73:k'=24 p=179:k'=10 p=197:k'=8]
k=1980 (d=166) case1=[2, 3, 5, 7, 11, 13, 19, 23, 31, 37, 61, 67, 181, 199, 331, 397, 661, 991] #case3=278 case2=[p=17:k'=108 p=83:k'=12 p=283:k'=6]
k=1992 (d=167) case1=[2, 3, 5, 7, 13, 167, 499, 997, 1993] #case3=287 case2=[p=11:k'=132(all [132, 142, 152, 162, 172]),r<=2(g=ext12) p=19:k'=102 p=29:k'=60 p=37:k'=48 p=83:k'=24]
k=2004 (d=168) case1=[2, 3, 5, 7, 13] #case3=290 case2=[p=17:k'=68(all [68, 84, 100, 116]),r<=2(g=ext4) p=19:k'=96 p=59:k'=32 p=61:k'=24 p=67:k'=24 p=167:k'=12 p=223:k'=6 p=251:k'=4 p=401:k'=4,first_nonzero_index_mod_p=401]
k=2016 (d=169) case1=[2, 3, 5, 7, 13, 17, 19, 29, 37, 43, 73, 97, 113, 127, 337, 673, 1009, 2017] #case3=286 case2=[p=11:k'=176,r<=2(g=ext16) p=101:k'=16]
k=2028 (d=170) case1=[2, 3, 5, 7, 13, 53, 79, 157, 677, 2029] #case3=291 case2=[p=17:k'=108 p=19:k'=102 p=29:k'=68 p=37:k'=48 p=97:k'=12 p=113:k'=12 p=127:k'=12]
k=2040 (d=171) case1=[2, 3, 5, 7, 11, 13, 31, 41, 61, 103, 137, 409, 1021] #case3=290 case2=[p=17:k'=120 p=19:k'=96 p=73:k'=24 p=89:k'=16 p=157:k'=12 p=227:k'=6]
k=2052 (d=172) case1=[2, 3, 5, 7, 13, 19, 37, 109, 229, 2053] #case3=292 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182]),r<=2(g=ext12) p=17:k'=68(all [68, 84, 100, 116]),r<=2(g=ext4) p=29:k'=64 p=43:k'=36 p=79:k'=24 p=103:k'=12 p=137:k'=12 p=257:k'=4]
k=2064 (d=173) case1=[2, 3, 5, 7, 13, 17, 173, 1033] #case3=294 case2=[p=11:k'=184 p=23:k'=84 p=37:k'=48 p=43:k'=48 p=47:k'=40 p=53:k'=36 p=59:k'=34 p=61:k'=24 p=109:k'=12]
k=2076 (d=174) case1=[2, 3, 5, 7, 13, 347, 1039] #case3=300 case2=[p=11:k'=176(all [176, 186]),r<=2(g=ext16) p=29:k'=60 p=31:k'=66 p=67:k'=30 p=173:k'=12]
k=2088 (d=175) case1=[2, 3, 5, 7, 13, 19, 37, 59, 73, 233, 349, 523, 2089] #case3=299 case2=[p=11:k'=188 p=17:k'=120 p=29:k'=72 p=41:k'=48]
k=2100 (d=176) case1=[2, 3, 5, 7, 11, 13, 29, 31, 43, 61, 71, 101, 151, 211, 421, 701, 1051] #case3=296 case2=[p=17:k'=68(all [68, 84, 100, 116]),r<=2(g=ext4) p=37:k'=48 p=191:k'=10 p=263:k'=4]
k=2112 (d=177) case1=[2, 3, 5, 7, 13, 17, 23, 67, 89, 97, 193, 353, 2113] #case3=300 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192]),r<=2(g=ext12) p=47:k'=42 p=59:k'=24 p=73:k'=24 p=101:k'=12 p=151:k'=12]
k=2124 (d=178) case1=[2, 3, 5, 7, 13, 19, 37, 709, 1063] #case3=304 case2=[p=17:k'=124 p=59:k'=36 p=61:k'=24 p=71:k'=24 p=89:k'=12 p=97:k'=12]
k=2136 (d=179) case1=[2, 3, 5, 7, 13, 179, 1069, 2137] #case3=306 case2=[p=11:k'=176(all [176, 186]),r<=2(g=ext16) p=17:k'=120 p=23:k'=90 p=31:k'=66 p=37:k'=48 p=67:k'=24 p=89:k'=24 p=107:k'=16]
k=2148 (d=180) case1=[2, 3, 5, 7, 13, 359] #case3=312 case2=[p=17:k'=68(all [68, 84, 100, 116]),r<=2(g=ext4) p=43:k'=48 p=179:k'=12 p=239:k'=6 p=269:k'=4 p=307:k'=6]
k=2160 (d=181) case1=[2, 3, 5, 7, 11, 13, 17, 19, 31, 37, 41, 61, 73, 109, 181, 241, 271, 433, 541, 2161] #case3=302 case2=[p=23:k'=92,r<=2(g=ext4),first_nonzero_index_mod_p=529 p=47:k'=44 p=103:k'=18 p=197:k'=4]
k=2172 (d=182) case1=[2, 3, 5, 7, 13, 1087] #case3=312 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192]),r<=2(g=ext12) p=17:k'=124 p=29:k'=72 p=37:k'=48 p=41:k'=52 p=53:k'=40 p=109:k'=12 p=181:k'=12]
k=2184 (d=183) case1=[2, 3, 5, 7, 13, 29, 43, 53, 79, 157, 313, 547, 1093] #case3=308 case2=[p=17:k'=120 p=19:k'=114,r<=2(g=ext6) p=23:k'=94 p=61:k'=24 p=73:k'=24 p=199:k'=6]
k=2196 (d=184) case1=[2, 3, 5, 7, 13, 19, 37, 367, 733] #case3=312 case2=[p=11:k'=176(all [176, 186, 196]),r<=2(g=ext16) p=17:k'=68(all [68, 84, 100, 116]),r<=2(g=ext4) p=23:k'=84 p=31:k'=66 p=61:k'=36 p=157:k'=12]
k=2208 (d=185) case1=[2, 3, 5, 7, 13, 17, 47, 97, 139, 277] #case3=313 case2=[p=11:k'=198,r<=2(g=ext18) p=23:k'=96 p=37:k'=48 p=41:k'=48 p=67:k'=30 p=79:k'=24]
k=2220 (d=186) case1=[2, 3, 5, 7, 11, 13, 31, 61, 149, 223, 2221] #case3=313 case2=[p=17:k'=124 p=19:k'=114,r<=2(g=ext6) p=37:k'=60 p=53:k'=36 p=97:k'=12 p=101:k'=20 p=139:k'=12]
k=2232 (d=187) case1=[2, 3, 5, 7, 13, 19, 37, 73, 373, 1117] #case3=315 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202]),r<=2(g=ext12) p=17:k'=120 p=29:k'=76 p=31:k'=72 p=43:k'=48 p=149:k'=12]
k=2244 (d=188) case1=[2, 3, 5, 7, 13, 23, 67, 103, 1123] #case3=319 case2=[p=11:k'=204 p=17:k'=68(all [68, 84, 100, 116, 132]),r<=2(g=ext4) p=47:k'=36 p=107:k'=18 p=281:k'=4 p=449:k'=4,first_nonzero_index_mod_p=449]
k=2256 (d=189) case1=[2, 3, 5, 7, 13, 17, 283, 1129] #case3=317 case2=[p=11:k'=176(all [176, 186, 196]),r<=2(g=ext16) p=19:k'=114,r<=2(g=ext6) p=29:k'=72 p=37:k'=60 p=47:k'=48 p=61:k'=36 p=73:k'=24 p=103:k'=12 p=113:k'=16 p=251:k'=6]
k=2268 (d=190) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 109, 127, 163, 379, 757, 2269] #case3=318 case2=[p=11:k'=198,r<=2(g=ext18) p=67:k'=24 p=71:k'=28 p=227:k'=8]
k=2280 (d=191) case1=[2, 3, 5, 7, 11, 13, 31, 41, 61, 191, 229, 457, 571, 761, 2281] #case3=320 case2=[p=19:k'=120 p=109:k'=12 p=127:k'=12 p=163:k'=12]
k=2292 (d=192) case1=[2, 3, 5, 7, 13, 383, 2293] #case3=326 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202]),r<=2(g=ext12) p=17:k'=68(all [68, 84, 100, 116, 132]),r<=2(g=ext4) p=19:k'=114,r<=2(g=ext6) p=23:k'=92,r<=2(g=ext4),first_nonzero_index_mod_p=529 p=31:k'=72 p=37:k'=60 p=41:k'=52 p=191:k'=12]
k=2304 (d=193) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 193, 257, 577, 769, 1153] #case3=325 case2=[p=11:k'=204 p=461:k'=4,first_nonzero_index_mod_p=461]
k=2316 (d=194) case1=[2, 3, 5, 7, 13, 773] #case3=328 case2=[p=11:k'=176(all [176, 186, 196, 206]),r<=2(g=ext16) p=19:k'=120 p=29:k'=76 p=43:k'=48 p=61:k'=36 p=97:k'=12 p=101:k'=16 p=193:k'=12 p=211:k'=6 p=331:k'=6]
k=2328 (d=195) case1=[2, 3, 5, 7, 13, 389] #case3=328 case2=[p=11:k'=198(all [198, 208]),r<=2(g=ext18) p=17:k'=136,r<=2(g=ext8) p=19:k'=114,r<=2(g=ext6) p=37:k'=60 p=41:k'=48 p=53:k'=40 p=73:k'=24 p=97:k'=24 p=137:k'=16 p=233:k'=8]
k=2340 (d=196) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 53, 61, 79, 131, 157, 181, 1171, 2341] #case3=324 case2=[p=17:k'=68(all [68, 84, 100, 116, 132]),r<=2(g=ext4) p=23:k'=96 p=29:k'=72 p=67:k'=30 p=71:k'=30 p=293:k'=4]
k=2352 (d=197) case1=[2, 3, 5, 7, 13, 17, 29, 43, 113, 197, 337] #case3=331 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212]),r<=2(g=ext12) p=19:k'=120 p=31:k'=72 p=107:k'=20 p=131:k'=12 p=157:k'=12 p=181:k'=12]
k=2364 (d=198) case1=[2, 3, 5, 7, 13] #case3=336 case2=[p=11:k'=204(all [204, 214]) p=19:k'=114,r<=2(g=ext6) p=37:k'=60 p=43:k'=54 p=79:k'=24 p=103:k'=18 p=113:k'=12 p=197:k'=12 p=263:k'=6]
k=2376 (d=199) case1=[2, 3, 5, 7, 13, 19, 23, 37, 67, 73, 89, 109, 199, 397, 2377] #case3=331 case2=[p=11:k'=176(all [176, 186, 196, 206, 216]),r<=2(g=ext16) p=17:k'=136,r<=2(g=ext8) p=29:k'=80 p=41:k'=56 p=53:k'=36 p=61:k'=36]
k=2388 (d=200) case1=[2, 3, 5, 7, 13, 797, 2389] #case3=341 case2=[p=11:k'=198(all [198, 208]),r<=2(g=ext18) p=17:k'=68(all [68, 84, 100, 116, 132]),r<=2(g=ext4) p=19:k'=120 p=23:k'=100 p=109:k'=12 p=199:k'=12 p=239:k'=8]
k=2400 (d=201) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 61, 97, 101, 151, 241, 401, 601, 1201] #case3=333 case2=[p=19:k'=114,r<=2(g=ext6) p=29:k'=76 p=37:k'=60 p=43:k'=48 p=67:k'=24 p=73:k'=24 p=89:k'=24]
k=2412 (d=202) case1=[2, 3, 5, 7, 13, 19, 37, 269] #case3=340 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212]),r<=2(g=ext12) p=17:k'=140 p=23:k'=102 p=31:k'=72 p=41:k'=52 p=67:k'=36 p=71:k'=32 p=101:k'=12 p=127:k'=18 p=151:k'=12]
k=2424 (d=203) case1=[2, 3, 5, 7, 13, 607, 809, 1213] #case3=346 case2=[p=17:k'=136,r<=2(g=ext8) p=19:k'=120 p=23:k'=92,r<=2(g=ext4),first_nonzero_index_mod_p=529 p=29:k'=72 p=97:k'=24 p=101:k'=24]
k=2436 (d=204) case1=[2, 3, 5, 7, 13, 29, 43, 59, 349, 2437] #case3=343 case2=[p=11:k'=176(all [176, 186, 196, 206, 216]),r<=2(g=ext16) p=17:k'=68(all [68, 84, 100, 116, 132]),r<=2(g=ext4) p=19:k'=114,r<=2(g=ext6) p=23:k'=104 p=37:k'=60 p=53:k'=44 p=61:k'=36 p=271:k'=6]
k=2448 (d=205) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 103, 137, 307, 409, 613] #case3=343 case2=[p=11:k'=198(all [198, 208, 218]),r<=2(g=ext18) p=31:k'=78 p=41:k'=48 p=43:k'=54 p=79:k'=30 p=223:k'=6]
k=2460 (d=206) case1=[2, 3, 5, 7, 11, 13, 31, 61, 83, 821, 1231] #case3=347 case2=[p=19:k'=120 p=23:k'=106 p=41:k'=60 p=103:k'=12 p=107:k'=22 p=137:k'=12]
k=2472 (d=207) case1=[2, 3, 5, 7, 13, 619, 1237, 2473] #case3=349 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222]),r<=2(g=ext12) p=17:k'=136,r<=2(g=ext8) p=19:k'=114,r<=2(g=ext6) p=23:k'=96 p=31:k'=72 p=37:k'=60 p=59:k'=36 p=73:k'=24 p=103:k'=24]
k=2484 (d=208) case1=[2, 3, 5, 7, 13, 19, 37, 47, 109, 139, 277, 829] #case3=346 case2=[p=11:k'=224 p=17:k'=68(all [68, 84, 100, 116, 132]),r<=2(g=ext4) p=23:k'=108 p=43:k'=48 p=53:k'=40 p=71:k'=34 p=83:k'=24 p=113:k'=20 p=311:k'=4]
k=2496 (d=209) case1=[2, 3, 5, 7, 13, 17, 53, 79, 97, 157, 193, 313, 1249] #case3=348 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226]),r<=2(g=ext16) p=19:k'=120 p=61:k'=36 p=109:k'=12 p=139:k'=12 p=227:k'=10]
k=2508 (d=210) case1=[2, 3, 5, 7, 13, 23, 67, 229, 419] #case3=352 case2=[p=11:k'=198(all [198, 208, 218, 228]),r<=2(g=ext18) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=31:k'=78 p=37:k'=60 p=157:k'=12 p=193:k'=12 p=251:k'=8]
k=2520 (d=211) case1=[2, 3, 5, 7, 11, 13, 19, 29, 31, 37, 41, 43, 61, 71, 73, 127, 181, 211, 281, 421, 631, 2521] #case3=344 case2=[p=17:k'=136,r<=2(g=ext8) p=79:k'=24 p=97:k'=24]
k=2532 (d=212) case1=[2, 3, 5, 7, 13] #case3=354 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222]),r<=2(g=ext12) p=17:k'=68(all [68, 84, 100, 116, 132, 148]),r<=2(g=ext4) p=31:k'=72 p=43:k'=54 p=47:k'=48 p=53:k'=36 p=127:k'=12 p=149:k'=16 p=181:k'=12 p=211:k'=12 p=317:k'=4]
k=2544 (d=213) case1=[2, 3, 5, 7, 13, 17, 107] #case3=357 case2=[p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=37:k'=60 p=53:k'=48 p=67:k'=36 p=71:k'=24 p=73:k'=24 p=283:k'=6 p=509:k'=4,first_nonzero_index_mod_p=509]
k=2556 (d=214) case1=[2, 3, 5, 7, 13, 19, 37, 853, 1279, 2557] #case3=359 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226]),r<=2(g=ext16) p=23:k'=92,r<=2(g=ext4),first_nonzero_index_mod_p=529 p=61:k'=36 p=71:k'=36 p=107:k'=12 p=233:k'=4]
k=2568 (d=215) case1=[2, 3, 5, 7, 13, 643, 857] #case3=360 case2=[p=11:k'=198(all [198, 208, 218, 228]),r<=2(g=ext18) p=17:k'=136,r<=2(g=ext8) p=23:k'=104 p=31:k'=78 p=43:k'=48 p=107:k'=24 p=257:k'=8 p=367:k'=6]
k=2580 (d=216) case1=[2, 3, 5, 7, 11, 13, 31, 61, 173, 431, 1291] #case3=358 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148]),r<=2(g=ext4) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=29:k'=88 p=37:k'=60 p=41:k'=60 p=43:k'=60 p=89:k'=28]
k=2592 (d=217) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 163, 433, 1297, 2593] #case3=358 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222, 232]),r<=2(g=ext12) p=31:k'=72 p=59:k'=40 p=113:k'=16 p=173:k'=12]
k=2604 (d=218) case1=[2, 3, 5, 7, 13, 29, 43, 373, 1303] #case3=363 case2=[p=11:k'=234 p=31:k'=84 p=79:k'=30 p=109:k'=12 p=163:k'=12 p=521:k'=4,first_nonzero_index_mod_p=521]
k=2616 (d=219) case1=[2, 3, 5, 7, 13, 2617] #case3=364 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226, 236]),r<=2(g=ext16) p=17:k'=136(all [136, 152]),r<=2(g=ext8) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=23:k'=108 p=37:k'=60 p=61:k'=36 p=73:k'=24 p=97:k'=24 p=109:k'=24 p=131:k'=16]
k=2628 (d=220) case1=[2, 3, 5, 7, 13, 19, 37, 293, 439, 877] #case3=365 case2=[p=11:k'=198(all [198, 208, 218, 228, 238]),r<=2(g=ext18) p=17:k'=68(all [68, 84, 100, 116, 132, 148]),r<=2(g=ext4) p=47:k'=52 p=73:k'=36 p=239:k'=10 p=263:k'=8]
k=2640 (d=221) case1=[2, 3, 5, 7, 11, 13, 17, 23, 31, 41, 61, 67, 89, 241, 331, 661, 881, 1321] #case3=362 case2=[p=19:k'=138 p=139:k'=18]
k=2652 (d=222) case1=[2, 3, 5, 7, 13, 53, 79, 103, 157, 443, 1327] #case3=365 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222, 232]),r<=2(g=ext12) p=17:k'=156 p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=37:k'=60 p=59:k'=42 p=83:k'=28 p=379:k'=6]
k=2664 (d=223) case1=[2, 3, 5, 7, 13, 19, 37, 73, 149, 223] #case3=367 case2=[p=17:k'=136(all [136, 152]),r<=2(g=ext8) p=23:k'=112 p=29:k'=88 p=31:k'=84 p=41:k'=64 p=43:k'=60 p=89:k'=24 p=127:k'=18 p=157:k'=12]
k=2676 (d=224) case1=[2, 3, 5, 7, 13, 2677] #case3=372 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226, 236]),r<=2(g=ext16) p=17:k'=68(all [68, 84, 100, 116, 132, 148]),r<=2(g=ext4) p=19:k'=138 p=47:k'=54 p=61:k'=36 p=67:k'=36 p=79:k'=24 p=103:k'=24 p=149:k'=12 p=223:k'=12]
k=2688 (d=225) case1=[2, 3, 5, 7, 13, 17, 29, 43, 97, 113, 193, 337, 449, 673, 2689] #case3=372 case2=[p=11:k'=198(all [198, 208, 218, 228, 238]),r<=2(g=ext18) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=23:k'=92(all [92, 114]),r<=2(g=ext4),first_nonzero_index_mod_p=529 p=269:k'=8]
k=2700 (d=226) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 101, 109, 151, 181, 271, 541] #case3=370 case2=[p=17:k'=156 p=23:k'=104 p=41:k'=60 p=53:k'=48 p=73:k'=36 p=113:k'=12 p=193:k'=12]
k=2712 (d=227) case1=[2, 3, 5, 7, 13, 227, 2713] #case3=380 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222, 232, 242]),r<=2(g=ext12) p=17:k'=136(all [136, 152]),r<=2(g=ext8) p=19:k'=138 p=23:k'=116 p=59:k'=44 p=97:k'=24 p=113:k'=24 p=151:k'=12 p=181:k'=12]
k=2724 (d=228) case1=[2, 3, 5, 7, 13] #case3=383 case2=[p=11:k'=244 p=17:k'=68(all [68, 84, 100, 116, 132, 148]),r<=2(g=ext4) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=29:k'=92 p=31:k'=84 p=47:k'=56 p=101:k'=24 p=109:k'=24 p=227:k'=12]
k=2736 (d=229) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 229, 457] #case3=383 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226, 236, 246]),r<=2(g=ext16) p=23:k'=118 p=61:k'=36 p=83:k'=30 p=137:k'=16]
k=2748 (d=230) case1=[2, 3, 5, 7, 13, 2749] #case3=388 case2=[p=11:k'=198(all [198, 208, 218, 228, 238, 248]),r<=2(g=ext18) p=17:k'=156 p=23:k'=108 p=29:k'=88 p=43:k'=60 p=131:k'=18 p=229:k'=12]
k=2760 (d=231) case1=[2, 3, 5, 7, 11, 13, 31, 41, 47, 61, 139, 277, 461, 691, 1381] #case3=381 case2=[p=17:k'=136(all [136, 152]),r<=2(g=ext8) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=23:k'=120 p=79:k'=30 p=251:k'=10 p=307:k'=6]
k=2772 (d=232) case1=[2, 3, 5, 7, 13, 19, 23, 29, 37, 43, 67, 127, 199, 397, 463] #case3=381 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222, 232, 242, 252]),r<=2(g=ext12) p=17:k'=68(all [68, 84, 100, 116, 132, 148]),r<=2(g=ext4) p=47:k'=58 p=59:k'=46 p=73:k'=36 p=139:k'=12 p=347:k'=4]
k=2784 (d=233) case1=[2, 3, 5, 7, 13, 17, 59, 97, 233, 349, 929] #case3=387 case2=[p=29:k'=96 p=31:k'=84 p=41:k'=64 p=127:k'=12 p=199:k'=12 p=557:k'=4,first_nonzero_index_mod_p=557]
k=2796 (d=234) case1=[2, 3, 5, 7, 13, 467, 1399, 2797] #case3=393 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226, 236, 246]),r<=2(g=ext16) p=17:k'=156 p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=61:k'=36 p=233:k'=12 p=311:k'=6]
k=2808 (d=235) case1=[2, 3, 5, 7, 13, 19, 37, 53, 73, 79, 109, 157, 313, 937] #case3=389 case2=[p=11:k'=198(all [198, 208, 218, 228, 238, 248]),r<=2(g=ext18) p=17:k'=136(all [136, 152]),r<=2(g=ext8) p=47:k'=48 p=67:k'=36 p=97:k'=24 p=281:k'=8]
k=2820 (d=236) case1=[2, 3, 5, 7, 11, 13, 31, 61, 283, 941] #case3=391 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164]),r<=2(g=ext4) p=23:k'=92(all [92, 114]),r<=2(g=ext4),first_nonzero_index_mod_p=529 p=41:k'=60 p=47:k'=60 p=59:k'=36 p=83:k'=32 p=157:k'=12 p=257:k'=4 p=353:k'=4]
k=2832 (d=237) case1=[2, 3, 5, 7, 13, 17, 709, 2833] #case3=397 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222, 232, 242, 252]),r<=2(g=ext12) p=19:k'=114(all [114, 132]),r<=2(g=ext6) p=43:k'=60 p=59:k'=48 p=79:k'=24 p=109:k'=24]
k=2844 (d=238) case1=[2, 3, 5, 7, 13, 19, 37, 317, 1423] #case3=398 case2=[p=17:k'=156 p=31:k'=84 p=73:k'=36 p=79:k'=36 p=89:k'=28 p=569:k'=4,first_nonzero_index_mod_p=569]
k=2856 (d=239) case1=[2, 3, 5, 7, 13, 29, 43, 103, 137, 239, 409, 953, 1429, 2857] #case3=397 case2=[p=11:k'=176(all [176, 186, 196, 206, 216, 226, 236, 246, 256]),r<=2(g=ext16) p=17:k'=136(all [136, 152, 168]),r<=2(g=ext8) p=53:k'=48 p=61:k'=36]
k=2868 (d=240) case1=[2, 3, 5, 7, 13, 479] #case3=401 case2=[p=11:k'=198(all [198, 208, 218, 228, 238, 248, 258]),r<=2(g=ext18) p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164]),r<=2(g=ext4) p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=29:k'=96 p=41:k'=68 p=137:k'=12 p=151:k'=18 p=239:k'=12 p=359:k'=4]
k=2880 (d=241) case1=[2, 3, 5, 7, 11, 13, 17, 19, 31, 37, 41, 61, 73, 97, 181, 193, 241, 577] #case3=395 case2=[p=43:k'=66 p=67:k'=42 p=103:k'=24 p=131:k'=20]
k=2892 (d=242) case1=[2, 3, 5, 7, 13, 1447] #case3=406 case2=[p=11:k'=132(all [132, 142, 152, 162, 172, 182, 192, 202, 212, 222, 232, 242, 252, 262]),r<=2(g=ext12) p=23:k'=120 p=181:k'=12 p=193:k'=12 p=241:k'=12 p=263:k'=10]
k=2904 (d=243) case1=[2, 3, 5, 7, 13, 23, 67, 89, 727, 1453] #case3=403 case2=[p=11:k'=264,r<=2(g=ext24) p=17:k'=136(all [136, 152, 168]),r<=2(g=ext8) p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=31:k'=84 p=41:k'=64 p=83:k'=34 p=97:k'=24]
k=2916 (d=244) case1=[2, 3, 5, 7, 13, 19, 37, 109, 163, 487, 1459, 2917] #case3=404 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164]),r<=2(g=ext4) p=43:k'=60 p=61:k'=36 p=73:k'=36 p=127:k'=18 p=139:k'=18]
k=2928 (d=245) case1=[2, 3, 5, 7, 13, 17, 367, 733, 977] #case3=408 case2=[p=29:k'=100 p=61:k'=48 p=89:k'=24 p=101:k'=28 p=163:k'=12 p=293:k'=8]
k=2940 (d=246) case1=[2, 3, 5, 7, 11, 13, 29, 31, 43, 61, 71, 197, 211, 421, 491, 1471] #case3=401 case2=[p=17:k'=172 p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=23:k'=124 p=41:k'=60 p=67:k'=36 p=109:k'=24 p=173:k'=16]
k=2952 (d=247) case1=[2, 3, 5, 7, 13, 19, 37, 73, 83, 739, 2953] #case3=407 case2=[p=17:k'=136(all [136, 152, 168]),r<=2(g=ext8) p=23:k'=92(all [92, 114]),r<=2(g=ext4),first_nonzero_index_mod_p=529 p=29:k'=96 p=41:k'=72 p=197:k'=12 p=211:k'=12 p=269:k'=4]
k=2964 (d=248) case1=[2, 3, 5, 7, 13, 53, 79, 157, 229, 1483] #case3=410 case2=[p=11:k'=264,r<=2(g=ext24) p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164]),r<=2(g=ext4) p=19:k'=156 p=23:k'=126 p=31:k'=84 p=43:k'=66 p=593:k'=4,first_nonzero_index_mod_p=593]
k=2976 (d=249) case1=[2, 3, 5, 7, 13, 17, 97, 373, 1489] #case3=411 case2=[p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=31:k'=96 p=71:k'=36 p=83:k'=24 p=149:k'=16 p=157:k'=12 p=229:k'=12 p=271:k'=6 p=331:k'=6]
k=2988 (d=250) case1=[2, 3, 5, 7, 13, 19, 37, 167, 499, 997] #case3=413 case2=[p=11:k'=268 p=17:k'=172 p=23:k'=128 p=61:k'=48 p=73:k'=36 p=83:k'=36]
k=3000 (d=251) case1=[2, 3, 5, 7, 11, 13, 31, 41, 61, 101, 151, 251, 601, 751, 3001] #case3=410 case2=[p=17:k'=136(all [136, 152, 168]),r<=2(g=ext8) p=19:k'=156 p=43:k'=60 p=79:k'=36 p=97:k'=24 p=167:k'=12]
k=3012 (d=252) case1=[2, 3, 5, 7, 13, 503] #case3=415 case2=[p=11:k'=272 p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164]),r<=2(g=ext4) p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=23:k'=130 p=29:k'=100 p=53:k'=48 p=67:k'=42 p=131:k'=22 p=137:k'=20 p=151:k'=12 p=251:k'=12]
k=3024 (d=253) case1=[2, 3, 5, 7, 13, 17, 19, 29, 37, 43, 73, 109, 113, 127, 337, 379, 433, 757, 1009] #case3=411 case2=[p=11:k'=264(all [264, 274]),r<=2(g=ext24) p=23:k'=120 p=89:k'=32 p=101:k'=24]
k=3036 (d=254) case1=[2, 3, 5, 7, 13, 23, 47, 67, 139, 277, 1013, 3037] #case3=417 case2=[p=11:k'=276 p=17:k'=172 p=19:k'=156 p=29:k'=96 p=31:k'=96 p=127:k'=12]
k=3048 (d=255) case1=[2, 3, 5, 7, 13, 509, 3049] #case3=422 case2=[p=17:k'=136(all [136, 152, 168]),r<=2(g=ext8) p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=43:k'=66 p=61:k'=48 p=109:k'=24 p=113:k'=24 p=127:k'=24 p=139:k'=12]
k=3060 (d=256) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 103, 181, 307, 613, 1021, 1531, 3061] #case3=418 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180]),r<=2(g=ext4) p=73:k'=36 p=383:k'=4]
k=3072 (d=257) case1=[2, 3, 5, 7, 13, 17, 97, 193, 257, 769] #case3=422 case2=[p=19:k'=156 p=29:k'=104 p=41:k'=72 p=53:k'=56 p=67:k'=36 p=181:k'=12 p=439:k'=6]
k=3084 (d=258) case1=[2, 3, 5, 7, 13, 1543] #case3=426 case2=[p=11:k'=264(all [264, 274]),r<=2(g=ext24) p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=23:k'=92(all [92, 114]),r<=2(g=ext4),first_nonzero_index_mod_p=529 p=43:k'=60 p=103:k'=24 p=193:k'=12 p=257:k'=12 p=281:k'=4 p=617:k'=4,first_nonzero_index_mod_p=617]
k=3096 (d=259) case1=[2, 3, 5, 7, 13, 19, 37, 73, 173, 1033, 1549] #case3=423 case2=[p=11:k'=276 p=17:k'=136(all [136, 152, 168]),r<=2(g=ext8) p=29:k'=100 p=31:k'=96 p=43:k'=72 p=47:k'=60 p=97:k'=24 p=163:k'=18]
k=3108 (d=260) case1=[2, 3, 5, 7, 13, 29, 43, 149, 223, 3109] #case3=424 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180]),r<=2(g=ext4) p=19:k'=156 p=37:k'=84 p=61:k'=48 p=89:k'=28 p=173:k'=12 p=283:k'=6 p=311:k'=8 p=389:k'=4]
k=3120 (d=261) case1=[2, 3, 5, 7, 11, 13, 17, 31, 41, 53, 61, 79, 131, 157, 241, 313, 521, 3121] #case3=421 case2=[p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=29:k'=96 p=71:k'=40 p=149:k'=12 p=223:k'=12 p=347:k'=6]
k=3132 (d=262) case1=[2, 3, 5, 7, 13, 19, 37, 59, 109, 349, 523, 1567] #case3=427 case2=[p=11:k'=282 p=29:k'=108 p=73:k'=36 p=131:k'=12 p=157:k'=12 p=241:k'=12]
k=3144 (d=263) case1=[2, 3, 5, 7, 13, 263, 787, 1049] #case3=431 case2=[p=11:k'=264(all [264, 274, 284]),r<=2(g=ext24) p=17:k'=136(all [136, 152, 168, 184]),r<=2(g=ext8) p=19:k'=156 p=37:k'=84 p=67:k'=42 p=131:k'=24 p=137:k'=16]
k=3156 (d=264) case1=[2, 3, 5, 7, 13, 1579] #case3=432 case2=[p=11:k'=276(all [276, 286]) p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180]),r<=2(g=ext4) p=19:k'=114(all [114, 132, 150]),r<=2(g=ext6) p=31:k'=96 p=41:k'=76 p=79:k'=36 p=109:k'=24 p=263:k'=12]
k=3168 (d=265) case1=[2, 3, 5, 7, 13, 17, 19, 23, 37, 67, 73, 89, 97, 199, 353, 397, 3169] #case3=427 case2=[p=11:k'=288 p=53:k'=48 p=61:k'=48 p=151:k'=18 p=317:k'=8]
k=3180 (d=266) case1=[2, 3, 5, 7, 11, 13, 31, 61, 107, 1061, 3181] #case3=433 case2=[p=19:k'=156 p=37:k'=84 p=43:k'=72 p=53:k'=60 p=59:k'=48 p=199:k'=12]
k=3192 (d=267) case1=[2, 3, 5, 7, 13, 29, 43, 229, 457, 1597] #case3=432 case2=[p=17:k'=136(all [136, 152, 168, 184]),r<=2(g=ext8) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=31:k'=102 p=41:k'=72 p=47:k'=64 p=71:k'=42 p=89:k'=24 p=97:k'=24 p=103:k'=30 p=139:k'=18]
k=3204 (d=268) case1=[2, 3, 5, 7, 13, 19, 37, 179, 1069] #case3=435 case2=[p=11:k'=264(all [264, 274, 284]),r<=2(g=ext24) p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180]),r<=2(g=ext4) p=67:k'=36 p=73:k'=36 p=89:k'=36 p=107:k'=24 p=229:k'=12 p=401:k'=4 p=641:k'=4,first_nonzero_index_mod_p=641]
k=3216 (d=269) case1=[2, 3, 5, 7, 13, 17, 269, 1609, 3217] #case3=439 case2=[p=23:k'=92(all [92, 114, 136]),r<=2(g=ext4) p=29:k'=108 p=31:k'=96 p=37:k'=84 p=67:k'=48 p=179:k'=12 p=293:k'=4]
k=3228 (d=270) case1=[2, 3, 5, 7, 13, 3229] #case3=444 case2=[p=11:k'=288 p=17:k'=188 p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=61:k'=48 p=101:k'=28 p=269:k'=12 p=359:k'=6]
k=3240 (d=271) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 41, 61, 73, 109, 163, 181, 271, 541, 811, 1621] #case3=434 case2=[p=17:k'=136(all [136, 152, 168, 184]),r<=2(g=ext8) p=23:k'=138,r<=2(g=ext6) p=47:k'=66 p=463:k'=6]
k=3252 (d=272) case1=[2, 3, 5, 7, 13, 1627, 3253] #case3=445 case2=[p=11:k'=292 p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180]),r<=2(g=ext4) p=31:k'=102 p=37:k'=84 p=163:k'=12 p=181:k'=12 p=271:k'=12]
k=3264 (d=273) case1=[2, 3, 5, 7, 13, 17, 97, 103, 137, 193, 409] #case3=443 case2=[p=11:k'=264(all [264, 274, 284, 294]),r<=2(g=ext24) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=23:k'=140 p=43:k'=72 p=71:k'=44 p=109:k'=24 p=653:k'=4,first_nonzero_index_mod_p=653]
k=3276 (d=274) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 53, 79, 127, 157, 547, 1093] #case3=439 case2=[p=11:k'=296 p=31:k'=96 p=41:k'=76 p=73:k'=36 p=113:k'=28 p=137:k'=12 p=149:k'=20 p=193:k'=12]
k=3288 (d=275) case1=[2, 3, 5, 7, 13, 823, 1097] #case3=445 case2=[p=11:k'=288(all [288, 298]) p=17:k'=136(all [136, 152, 168, 184]),r<=2(g=ext8) p=23:k'=142 p=37:k'=84 p=47:k'=68 p=61:k'=48 p=97:k'=24 p=103:k'=24 p=137:k'=24 p=157:k'=12]
k=3300 (d=276) case1=[2, 3, 5, 7, 11, 13, 23, 31, 61, 67, 101, 151, 331, 661, 3301] #case3=443 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180]),r<=2(g=ext4) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=29:k'=108 p=59:k'=52 p=127:k'=24 p=367:k'=6]
k=3312 (d=277) case1=[2, 3, 5, 7, 13, 17, 19, 37, 47, 73, 139, 277, 829, 1657, 3313] #case3=446 case2=[p=23:k'=144 p=31:k'=102 p=41:k'=72 p=79:k'=36 p=151:k'=12]
k=3324 (d=278) case1=[2, 3, 5, 7, 13, 1109, 1663] #case3=455 case2=[p=11:k'=264(all [264, 274, 284, 294]),r<=2(g=ext24) p=19:k'=174 p=37:k'=84 p=101:k'=24 p=139:k'=12 p=277:k'=12]
k=3336 (d=279) case1=[2, 3, 5, 7, 13, 557, 1669] #case3=455 case2=[p=17:k'=136(all [136, 152, 168, 184]),r<=2(g=ext8) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=31:k'=96 p=47:k'=70 p=53:k'=60 p=71:k'=46 p=139:k'=24 p=167:k'=16]
k=3348 (d=280) case1=[2, 3, 5, 7, 13, 19, 37, 109, 373, 1117] #case3=453 case2=[p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180, 196]),r<=2(g=ext4) p=23:k'=92(all [92, 114, 136]),r<=2(g=ext4) p=31:k'=108 p=43:k'=72 p=61:k'=48 p=67:k'=48 p=73:k'=36 p=197:k'=16 p=419:k'=4]
k=3360 (d=281) case1=[2, 3, 5, 7, 11, 13, 17, 29, 31, 41, 43, 61, 71, 97, 113, 211, 241, 281, 337, 421, 673, 3361] #case3=449 case2=[p=19:k'=174 p=37:k'=84 p=59:k'=54]
k=3372 (d=282) case1=[2, 3, 5, 7, 13, 563, 3373] #case3=461 case2=[p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=23:k'=138,r<=2(g=ext6) p=47:k'=60 p=109:k'=24 p=211:k'=12 p=241:k'=12 p=281:k'=12 p=307:k'=6]
k=3384 (d=283) case1=[2, 3, 5, 7, 13, 19, 37, 73, 283, 1129, 1693] #case3=458 case2=[p=11:k'=264(all [264, 274, 284, 294, 304]),r<=2(g=ext24) p=17:k'=136(all [136, 152, 168, 184]),r<=2(g=ext8) p=29:k'=108 p=47:k'=72 p=97:k'=24 p=113:k'=24 p=677:k'=4,first_nonzero_index_mod_p=677]
k=3396 (d=284) case1=[2, 3, 5, 7, 13, 1699] #case3=462 case2=[p=11:k'=306 p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180, 196]),r<=2(g=ext4) p=19:k'=174 p=37:k'=84 p=41:k'=76 p=43:k'=78 p=71:k'=36 p=79:k'=42 p=103:k'=30 p=283:k'=12]
k=3408 (d=285) case1=[2, 3, 5, 7, 13, 17, 569, 853] #case3=464 case2=[p=11:k'=308,r<=2(g=ext28) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=31:k'=108 p=61:k'=48 p=71:k'=48 p=379:k'=6 p=487:k'=6]
k=3420 (d=286) case1=[2, 3, 5, 7, 11, 13, 19, 31, 37, 61, 181, 191, 229, 571] #case3=459 case2=[p=29:k'=116,r<=2(g=ext4),first_nonzero_index_mod_p=841 p=59:k'=56 p=73:k'=36 p=107:k'=28 p=149:k'=16 p=163:k'=18 p=311:k'=10]
k=3432 (d=287) case1=[2, 3, 5, 7, 13, 23, 53, 67, 79, 89, 157, 313, 859, 3433] #case3=458 case2=[p=11:k'=312 p=17:k'=136(all [136, 152, 168, 184, 200]),r<=2(g=ext8) p=37:k'=84 p=41:k'=72 p=43:k'=72 p=101:k'=32 p=181:k'=12 p=191:k'=12 p=229:k'=12]
k=3444 (d=288) case1=[2, 3, 5, 7, 13, 29, 43, 83, 1723] #case3=463 case2=[p=11:k'=264(all [264, 274, 284, 294, 304]),r<=2(g=ext24) p=17:k'=68(all [68, 84, 100, 116, 132, 148, 164, 180, 196]),r<=2(g=ext4) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=23:k'=144 p=41:k'=84 p=53:k'=64 p=157:k'=12 p=383:k'=6 p=431:k'=4]
k=3456 (d=289) case1=[2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 193, 433, 577, 1153, 3457] #case3=466 case2=[p=173:k'=16]
k=3468 (d=290) case1=[2, 3, 5, 7, 13, 103, 3469] #case3=469 case2=[p=11:k'=308,r<=2(g=ext28) p=17:k'=204,r<=2(g=ext12) p=29:k'=108 p=31:k'=108 p=37:k'=84 p=61:k'=48 p=79:k'=36 p=89:k'=36 p=151:k'=18 p=193:k'=12 p=347:k'=8]
k=3480 (d=291) case1=[2, 3, 5, 7, 11, 13, 31, 41, 59, 61, 233, 349, 1741] #case3=465 case2=[p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=23:k'=92(all [92, 114, 136]),r<=2(g=ext4) p=29:k'=120 p=43:k'=78 p=67:k'=48 p=83:k'=36 p=97:k'=24 p=109:k'=24 p=317:k'=4]
k=3492 (d=292) case1=[2, 3, 5, 7, 13, 19, 37, 389, 1747] #case3=471 case2=[p=11:k'=312 p=23:k'=148 p=53:k'=60 p=73:k'=36 p=97:k'=36 p=103:k'=24 p=233:k'=12 p=499:k'=6]
k=3504 (d=293) case1=[2, 3, 5, 7, 13, 17, 293, 439, 877, 1753] #case3=472 case2=[p=11:k'=264(all [264, 274, 284, 294, 304, 314]),r<=2(g=ext24) p=23:k'=138,r<=2(g=ext6) p=29:k'=116,r<=2(g=ext4),first_nonzero_index_mod_p=841 p=37:k'=84 p=73:k'=48 p=167:k'=18 p=701:k'=4,first_nonzero_index_mod_p=701]
k=3516 (d=294) case1=[2, 3, 5, 7, 13, 587, 1759, 3517] #case3=477 case2=[p=11:k'=316 p=17:k'=204,r<=2(g=ext12) p=19:k'=114(all [114, 132, 150, 168]),r<=2(g=ext6) p=23:k'=150 p=43:k'=72 p=293:k'=12]
k=3528 (d=295) case1=[2, 3, 5, 7, 13, 19, 29, 37, 43, 73, 127, 197, 883, 3529] #case3=472 case2=[p=11:k'=308(all [308, 318]),r<=2(g=ext28) p=31:k'=108 p=59:k'=48 p=61:k'=48 p=101:k'=28 p=107:k'=30 p=353:k'=8]
k=3540 (d=296) case1=[2, 3, 5, 7, 11, 13, 31, 61, 709, 1181, 3541] #case3=480 case2=[p=23:k'=152 p=37:k'=84 p=59:k'=60 p=197:k'=12 p=443:k'=4]
k=3552 (d=297) case1=[2, 3, 5, 7, 13, 17, 97, 149, 223, 593, 1777] #case3=481 case2=[p=11:k'=312(all [312, 322]) p=19:k'=114(all [114, 132, 150, 168, 186]),r<=2(g=ext6) p=37:k'=96 p=79:k'=42 p=127:k'=24]
k=3564 (d=298) case1=[2, 3, 5, 7, 13, 19, 23, 37, 67, 109, 163, 199, 397, 1783] #case3=477 case2=[p=11:k'=264(all [264, 274, 284, 294, 304, 314, 324]),r<=2(g=ext24) p=17:k'=204,r<=2(g=ext12) p=29:k'=120 p=31:k'=114 p=41:k'=84 p=43:k'=78 p=149:k'=12 p=223:k'=12]
k=3576 (d=299) case1=[2, 3, 5, 7, 13, 1193, 1789] #case3=487 case2=[p=23:k'=144 p=73:k'=48 p=149:k'=24 p=163:k'=12 p=179:k'=16 p=199:k'=12]
k=3588 (d=300) case1=[2, 3, 5, 7, 13, 47, 53, 79, 139, 157, 277, 599] #case3=479 case2=[p=11:k'=308(all [308, 318]),r<=2(g=ext28) p=19:k'=114(all [114, 132, 150, 168, 186]),r<=2(g=ext6) p=23:k'=156 p=29:k'=116,r<=2(g=ext4),first_nonzero_index_mod_p=841 p=31:k'=108 p=37:k'=96 p=61:k'=48 p=97:k'=36 p=109:k'=24 p=359:k'=8 p=449:k'=4]
k=3600 (d=301) case1=[2, 3, 5, 7, 11, 13, 17, 19, 31, 37, 41, 61, 73, 101, 151, 181, 241, 401, 601, 1201, 1801] #case3=477 case2=[p=43:k'=72 p=53:k'=64 p=103:k'=30 p=157:k'=12 p=277:k'=12]
## k=12mu, mu<=300: weights=300  Case(1) pairs=3077  Case(2) pairs=1631  Case(3) pairs (primes <= max(k+1,N))=76982  unresolved=0  filtration mismatches=0  r_max histogram={1: 1394, 2: 237}
## Case(2) pairs NOT covered by the source's Theorem 2 (k < p*k2): 240; first 40 (k, p, k'_min, k2): [(252, 11, 12, 32), (384, 11, 24, 44), (396, 17, 12, 28), (444, 19, 12, 30), (516, 11, 36, 56), (540, 23, 12, 34), (564, 11, 44, 54), (600, 17, 24, 40), (648, 11, 48, 68), (672, 19, 24, 42), (684, 11, 44, 64), (684, 29, 12, 40), (732, 31, 12, 42), (804, 11, 44, 84), (804, 17, 36, 52), (816, 11, 66, 76), (816, 23, 24, 46), (864, 11, 44, 84), (876, 37, 12, 48), (912, 11, 72, 92), (936, 11, 66, 96), (972, 41, 12, 52), (996, 11, 66, 96), (1020, 43, 12, 54), (1032, 29, 24, 52), (1044, 11, 44, 104), (1068, 11, 88, 108), (1092, 23, 36, 58), (1104, 11, 44, 104), (1104, 31, 24, 54), (1116, 47, 12, 58), (1128, 11, 88, 108), (1128, 19, 48, 66), (1176, 11, 66, 116), (1212, 17, 60, 76), (1224, 11, 44, 114), (1236, 11, 66, 116), (1236, 17, 68, 84), (1260, 53, 12, 64), (1284, 17, 68, 84)]
## source's Theorem 3 check (p>=13 | 2k(2k+2)(2k+4)(2k+6)(2k+8)(2k+12)): 764 pairs where 'Case (2) and p | a_(mu+1)' fails literally; all of them are Case-(1) primes ((p-1)|k): True; first Case-(1) exceptions (k,p): [(12, 13), (24, 13), (36, 13), (36, 19), (36, 37), (48, 13), (48, 17), (60, 31), (60, 61), (72, 13), (72, 19), (72, 37)]; non-Case-(1) failures: []
# time 201.7s
# ===== general even weights 4 <= k <= 1200 (k not divisible by 12)
k=4 (d=1) case1=[2, 3, 5] #case3=16 case2=[]
k=6 (d=1) case1=[2, 3, 7] #case3=16 case2=[]
k=8 (d=1) case1=[2, 3, 5] #case3=16 case2=[]
k=10 (d=1) case1=[2, 3, 11] #case3=16 case2=[]
k=14 (d=1) case1=[2, 3] #case3=17 case2=[]
k=16 (d=2) case1=[2, 3, 5, 17] #case3=15 case2=[]
k=18 (d=2) case1=[2, 3, 7, 19] #case3=15 case2=[]
k=20 (d=2) case1=[2, 3, 5, 11] #case3=15 case2=[]
k=22 (d=2) case1=[2, 3, 23] #case3=16 case2=[]
k=26 (d=2) case1=[2, 3] #case3=17 case2=[]
k=28 (d=3) case1=[2, 3, 5, 29] #case3=14 case2=[p=7:k'=4,first_nonzero_index_mod_p=7]
k=30 (d=3) case1=[2, 3, 7, 11, 31] #case3=13 case2=[p=5:k'=6]
k=32 (d=3) case1=[2, 3, 5, 17] #case3=15 case2=[]
k=34 (d=3) case1=[2, 3] #case3=15 case2=[p=5:k'=6 p=7:k'=4,first_nonzero_index_mod_p=7]
k=38 (d=3) case1=[2, 3] #case3=16 case2=[p=5:k'=6]
k=40 (d=4) case1=[2, 3, 5, 11, 41] #case3=13 case2=[p=7:k'=4]
k=42 (d=4) case1=[2, 3, 7, 43] #case3=14 case2=[p=5:k'=6]
k=44 (d=4) case1=[2, 3, 5, 23] #case3=14 case2=[p=11:k'=4,first_nonzero_index_mod_p=11]
k=46 (d=4) case1=[2, 3, 47] #case3=14 case2=[p=5:k'=6 p=7:k'=4]
k=50 (d=4) case1=[2, 3, 11] #case3=15 case2=[p=5:k'=6(all [6, 10])]
k=52 (d=5) case1=[2, 3, 5, 53] #case3=14 case2=[p=7:k'=4 p=13:k'=4,first_nonzero_index_mod_p=13]
k=54 (d=5) case1=[2, 3, 7, 19] #case3=14 case2=[p=5:k'=6(all [6, 10]) p=11:k'=4,first_nonzero_index_mod_p=11]
k=56 (d=5) case1=[2, 3, 5, 29] #case3=15 case2=[p=7:k'=8]
k=58 (d=5) case1=[2, 3, 59] #case3=15 case2=[p=5:k'=6(all [6, 10]) p=7:k'=4]
k=62 (d=5) case1=[2, 3] #case3=16 case2=[p=5:k'=6(all [6, 10]) p=7:k'=8]
k=64 (d=6) case1=[2, 3, 5, 17] #case3=13 case2=[p=7:k'=4 p=11:k'=4 p=13:k'=4,first_nonzero_index_mod_p=13]
k=66 (d=6) case1=[2, 3, 7, 23, 67] #case3=14 case2=[p=11:k'=6]
k=68 (d=6) case1=[2, 3, 5] #case3=15 case2=[p=7:k'=8 p=17:k'=4,first_nonzero_index_mod_p=17]
k=70 (d=6) case1=[2, 3, 11, 71] #case3=15 case2=[p=7:k'=4(all [4, 10])]
k=74 (d=6) case1=[2, 3] #case3=17 case2=[p=7:k'=8 p=11:k'=4]
k=76 (d=7) case1=[2, 3, 5] #case3=14 case2=[p=7:k'=4(all [4, 10]) p=11:k'=6 p=13:k'=4 p=19:k'=4,first_nonzero_index_mod_p=19]
k=78 (d=7) case1=[2, 3, 7, 79] #case3=17 case2=[p=13:k'=6]
k=80 (d=7) case1=[2, 3, 5, 11, 17, 41] #case3=15 case2=[p=7:k'=8]
k=82 (d=7) case1=[2, 3, 83] #case3=19 case2=[p=7:k'=4(all [4, 10])]
k=86 (d=7) case1=[2, 3] #case3=19 case2=[p=7:k'=8 p=11:k'=6]
k=88 (d=8) case1=[2, 3, 5, 23, 89] #case3=17 case2=[p=11:k'=8 p=13:k'=4]
k=90 (d=8) case1=[2, 3, 7, 11, 19, 31] #case3=16 case2=[p=5:k'=18 p=13:k'=6]
k=92 (d=8) case1=[2, 3, 5, 47] #case3=19 case2=[p=23:k'=4,first_nonzero_index_mod_p=23]
k=94 (d=8) case1=[2, 3] #case3=19 case2=[p=5:k'=18 p=11:k'=4 p=19:k'=4,first_nonzero_index_mod_p=19]
k=98 (d=8) case1=[2, 3] #case3=21 case2=[p=5:k'=18 p=11:k'=8]
k=100 (d=9) case1=[2, 3, 5, 11, 101] #case3=19 case2=[p=13:k'=4 p=17:k'=4]
k=102 (d=9) case1=[2, 3, 7, 103] #case3=20 case2=[p=5:k'=18 p=13:k'=6 p=17:k'=6]
k=104 (d=9) case1=[2, 3, 5, 53] #case3=21 case2=[p=11:k'=4 p=13:k'=8]
k=106 (d=9) case1=[2, 3, 107] #case3=23 case2=[p=5:k'=18 p=11:k'=6]
k=110 (d=9) case1=[2, 3, 11, 23] #case3=24 case2=[p=5:k'=18(all [18, 22])]
k=112 (d=10) case1=[2, 3, 5, 17, 29, 113] #case3=21 case2=[p=7:k'=16 p=13:k'=4 p=19:k'=4]
k=114 (d=10) case1=[2, 3, 7] #case3=22 case2=[p=5:k'=18(all [18, 22]) p=11:k'=4 p=13:k'=6 p=19:k'=6 p=23:k'=4,first_nonzero_index_mod_p=23]
k=116 (d=10) case1=[2, 3, 5, 59] #case3=22 case2=[p=11:k'=6 p=13:k'=8 p=17:k'=4 p=29:k'=4,first_nonzero_index_mod_p=29]
k=118 (d=10) case1=[2, 3] #case3=24 case2=[p=5:k'=18(all [18, 22]) p=7:k'=16 p=11:k'=8 p=17:k'=6]
k=122 (d=10) case1=[2, 3] #case3=27 case2=[p=5:k'=18(all [18, 22])]
k=124 (d=11) case1=[2, 3, 5] #case3=23 case2=[p=7:k'=16 p=11:k'=4 p=13:k'=4 p=31:k'=4,first_nonzero_index_mod_p=31]
k=126 (d=11) case1=[2, 3, 7, 19, 43, 127] #case3=23 case2=[p=11:k'=6 p=13:k'=6]
k=128 (d=11) case1=[2, 3, 5, 17] #case3=25 case2=[p=11:k'=8 p=13:k'=8]
k=130 (d=11) case1=[2, 3, 11, 131] #case3=25 case2=[p=7:k'=16 p=13:k'=10 p=19:k'=4]
k=134 (d=11) case1=[2, 3] #case3=28 case2=[p=11:k'=4 p=17:k'=6]
k=136 (d=12) case1=[2, 3, 5, 137] #case3=25 case2=[p=7:k'=16 p=13:k'=4 p=17:k'=8 p=23:k'=4]
k=138 (d=12) case1=[2, 3, 7, 47, 139] #case3=27 case2=[p=13:k'=6 p=23:k'=6]
k=140 (d=12) case1=[2, 3, 5, 11, 29, 71] #case3=26 case2=[p=7:k'=20 p=13:k'=8]
k=142 (d=12) case1=[2, 3] #case3=29 case2=[p=7:k'=16 p=11:k'=12 p=13:k'=10]
k=146 (d=12) case1=[2, 3] #case3=31 case2=[p=7:k'=20]
k=148 (d=13) case1=[2, 3, 5, 149] #case3=26 case2=[p=7:k'=16 p=13:k'=4 p=17:k'=4 p=19:k'=4 p=37:k'=4,first_nonzero_index_mod_p=37]
k=150 (d=13) case1=[2, 3, 7, 11, 31, 151] #case3=26 case2=[p=5:k'=30,r<=2(g=ext6) p=13:k'=6 p=17:k'=6 p=19:k'=6]
k=152 (d=13) case1=[2, 3, 5] #case3=28 case2=[p=7:k'=20 p=11:k'=12 p=13:k'=8 p=17:k'=8 p=19:k'=8]
k=154 (d=13) case1=[2, 3, 23] #case3=29 case2=[p=5:k'=30,r<=2(g=ext6) p=7:k'=16(all [16, 22]) p=13:k'=10 p=31:k'=4,first_nonzero_index_mod_p=31]
k=158 (d=13) case1=[2, 3] #case3=32 case2=[p=5:k'=30,r<=2(g=ext6) p=7:k'=20 p=23:k'=4]
k=160 (d=14) case1=[2, 3, 5, 11, 17, 41] #case3=29 case2=[p=7:k'=16(all [16, 22]) p=23:k'=6]
k=162 (d=14) case1=[2, 3, 7, 19, 163] #case3=31 case2=[p=5:k'=30,r<=2(g=ext6) p=11:k'=12]
k=164 (d=14) case1=[2, 3, 5, 83] #case3=31 case2=[p=7:k'=20 p=17:k'=4 p=41:k'=4,first_nonzero_index_mod_p=41]
k=166 (d=14) case1=[2, 3, 167] #case3=32 case2=[p=5:k'=30,r<=2(g=ext6) p=7:k'=16(all [16, 22]) p=17:k'=6 p=19:k'=4]
k=170 (d=14) case1=[2, 3, 11] #case3=32 case2=[p=5:k'=30(all [30, 34]),r<=2(g=ext6) p=7:k'=20 p=17:k'=10 p=19:k'=8]
k=172 (d=15) case1=[2, 3, 5, 173] #case3=33 case2=[p=11:k'=12 p=29:k'=4 p=43:k'=4,first_nonzero_index_mod_p=43]
k=174 (d=15) case1=[2, 3, 7, 59] #case3=34 case2=[p=5:k'=30(all [30, 34]),r<=2(g=ext6) p=29:k'=6]
k=176 (d=15) case1=[2, 3, 5, 17, 23, 89] #case3=33 case2=[p=11:k'=16]
k=178 (d=15) case1=[2, 3, 179] #case3=37 case2=[p=5:k'=30(all [30, 34]),r<=2(g=ext6)]
k=182 (d=15) case1=[2, 3] #case3=36 case2=[p=5:k'=30(all [30, 34]),r<=2(g=ext6) p=11:k'=12 p=17:k'=6 p=23:k'=6]
k=184 (d=16) case1=[2, 3, 5, 47] #case3=33 case2=[p=17:k'=8 p=19:k'=4 p=23:k'=8 p=31:k'=4 p=37:k'=4,first_nonzero_index_mod_p=37]
k=186 (d=16) case1=[2, 3, 7] #case3=34 case2=[p=5:k'=30(all [30, 34]),r<=2(g=ext6) p=11:k'=16 p=17:k'=10 p=19:k'=6 p=31:k'=6]
k=188 (d=16) case1=[2, 3, 5] #case3=37 case2=[p=19:k'=8 p=47:k'=4,first_nonzero_index_mod_p=47]
k=190 (d=16) case1=[2, 3, 11, 191] #case3=37 case2=[p=5:k'=30(all [30, 34, 38]),r<=2(g=ext6) p=19:k'=10]
k=194 (d=16) case1=[2, 3] #case3=41 case2=[p=5:k'=30(all [30, 34, 38]),r<=2(g=ext6)]
k=196 (d=17) case1=[2, 3, 5, 29, 197] #case3=37 case2=[p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=16 p=17:k'=4]
k=198 (d=17) case1=[2, 3, 7, 19, 23, 67, 199] #case3=36 case2=[p=5:k'=30(all [30, 34, 38]),r<=2(g=ext6) p=11:k'=18 p=17:k'=6]
k=200 (d=17) case1=[2, 3, 5, 11, 41, 101] #case3=38 case2=[p=17:k'=8 p=29:k'=4]
k=202 (d=17) case1=[2, 3] #case3=37 case2=[p=5:k'=30(all [30, 34, 38]),r<=2(g=ext6) p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=12 p=17:k'=10 p=19:k'=4 p=23:k'=4 p=29:k'=6]
k=206 (d=17) case1=[2, 3] #case3=40 case2=[p=5:k'=30(all [30, 34, 38]),r<=2(g=ext6) p=11:k'=16 p=19:k'=8 p=23:k'=8]
k=208 (d=18) case1=[2, 3, 5, 17, 53] #case3=37 case2=[p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=18 p=13:k'=16 p=19:k'=10]
k=210 (d=18) case1=[2, 3, 7, 11, 31, 43, 71, 211] #case3=38 case2=[p=5:k'=30(all [30, 34, 38, 42]),r<=2(g=ext6)]
k=212 (d=18) case1=[2, 3, 5, 107] #case3=41 case2=[p=11:k'=12 p=53:k'=4,first_nonzero_index_mod_p=53]
k=214 (d=18) case1=[2, 3] #case3=41 case2=[p=5:k'=30(all [30, 34, 38, 42]),r<=2(g=ext6) p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=31:k'=4 p=43:k'=4,first_nonzero_index_mod_p=43]
k=218 (d=18) case1=[2, 3] #case3=43 case2=[p=5:k'=30(all [30, 34, 38, 42]),r<=2(g=ext6) p=11:k'=18]
k=220 (d=19) case1=[2, 3, 5, 11, 23] #case3=37 case2=[p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=13:k'=16 p=17:k'=12 p=19:k'=4 p=37:k'=4]
k=222 (d=19) case1=[2, 3, 7, 223] #case3=40 case2=[p=5:k'=30(all [30, 34, 38, 42]),r<=2(g=ext6) p=11:k'=12 p=19:k'=6 p=37:k'=6]
k=224 (d=19) case1=[2, 3, 5, 17, 29, 113] #case3=39 case2=[p=7:k'=32 p=19:k'=8 p=23:k'=4]
k=226 (d=19) case1=[2, 3, 227] #case3=41 case2=[p=5:k'=30(all [30, 34, 38, 42]),r<=2(g=ext6) p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=16 p=19:k'=10 p=23:k'=6]
k=230 (d=19) case1=[2, 3, 11, 47] #case3=42 case2=[p=5:k'=30(all [30, 34, 38, 42, 46]),r<=2(g=ext6) p=7:k'=32 p=23:k'=10 p=29:k'=6]
k=232 (d=20) case1=[2, 3, 5, 59, 233] #case3=42 case2=[p=7:k'=28,r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=12 p=13:k'=16 p=29:k'=8]
k=234 (d=20) case1=[2, 3, 7, 19, 79] #case3=43 case2=[p=5:k'=30(all [30, 34, 38, 42, 46]),r<=2(g=ext6) p=13:k'=18 p=47:k'=4,first_nonzero_index_mod_p=47]
k=236 (d=20) case1=[2, 3, 5] #case3=44 case2=[p=7:k'=32 p=11:k'=16 p=17:k'=12 p=59:k'=4,first_nonzero_index_mod_p=59]
k=238 (d=20) case1=[2, 3, 239] #case3=46 case2=[p=5:k'=30(all [30, 34, 38, 42, 46]),r<=2(g=ext6) p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=18]
k=242 (d=20) case1=[2, 3, 23] #case3=47 case2=[p=5:k'=30(all [30, 34, 38, 42, 46]),r<=2(g=ext6) p=7:k'=32 p=11:k'=12(all [12, 22])]
k=244 (d=21) case1=[2, 3, 5] #case3=45 case2=[p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=13:k'=16 p=31:k'=4 p=41:k'=4 p=61:k'=4,first_nonzero_index_mod_p=61]
k=246 (d=21) case1=[2, 3, 7, 83] #case3=42 case2=[p=5:k'=30(all [30, 34, 38, 42, 46]),r<=2(g=ext6) p=11:k'=16 p=13:k'=18 p=19:k'=12 p=23:k'=4 p=31:k'=6 p=41:k'=6]
k=248 (d=21) case1=[2, 3, 5] #case3=46 case2=[p=7:k'=32 p=11:k'=18 p=23:k'=6 p=31:k'=8]
k=250 (d=21) case1=[2, 3, 11, 251] #case3=47 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50]),r<=2(g=ext6) p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=23:k'=8]
k=254 (d=21) case1=[2, 3] #case3=50 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50]),r<=2(g=ext6) p=7:k'=32]
k=256 (d=22) case1=[2, 3, 5, 17, 257] #case3=44 case2=[p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=16 p=13:k'=16 p=29:k'=4 p=37:k'=4 p=43:k'=4]
k=258 (d=22) case1=[2, 3, 7] #case3=46 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50]),r<=2(g=ext6) p=11:k'=18 p=13:k'=18 p=29:k'=6 p=37:k'=6 p=43:k'=6]
k=260 (d=22) case1=[2, 3, 5, 11, 53, 131] #case3=47 case2=[p=13:k'=20 p=29:k'=8]
k=262 (d=22) case1=[2, 3, 263] #case3=50 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50]),r<=2(g=ext6) p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=12(all [12, 22])]
k=266 (d=22) case1=[2, 3] #case3=52 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50]),r<=2(g=ext6) p=11:k'=16]
k=268 (d=23) case1=[2, 3, 5, 269] #case3=48 case2=[p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=13:k'=16 p=17:k'=12 p=23:k'=4 p=67:k'=4,first_nonzero_index_mod_p=67]
k=270 (d=23) case1=[2, 3, 7, 11, 19, 31, 271] #case3=48 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54]),r<=2(g=ext6) p=13:k'=18 p=23:k'=6]
k=272 (d=23) case1=[2, 3, 5, 17, 137] #case3=51 case2=[p=13:k'=20 p=23:k'=8]
k=274 (d=23) case1=[2, 3] #case3=51 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54]),r<=2(g=ext6) p=7:k'=28(all [28, 34]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=11:k'=24 p=23:k'=10 p=31:k'=4]
k=278 (d=23) case1=[2, 3] #case3=55 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54]),r<=2(g=ext6) p=31:k'=8]
k=280 (d=24) case1=[2, 3, 5, 11, 29, 41, 71, 281] #case3=49 case2=[p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=13:k'=16 p=47:k'=4]
k=282 (d=24) case1=[2, 3, 7, 283] #case3=53 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54]),r<=2(g=ext6) p=13:k'=18 p=19:k'=12 p=47:k'=6]
k=284 (d=24) case1=[2, 3, 5] #case3=52 case2=[p=11:k'=24 p=13:k'=20 p=17:k'=12 p=29:k'=4 p=41:k'=4 p=71:k'=4,first_nonzero_index_mod_p=71]
k=286 (d=24) case1=[2, 3, 23] #case3=53 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54]),r<=2(g=ext6) p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4),first_nonzero_index_mod_p=49 p=13:k'=22 p=29:k'=6 p=41:k'=6]
k=290 (d=24) case1=[2, 3, 11, 59] #case3=55 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54, 58]),r<=2(g=ext6) p=29:k'=10]
k=292 (d=25) case1=[2, 3, 5, 293] #case3=54 case2=[p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4) p=13:k'=16 p=37:k'=4 p=73:k'=4,first_nonzero_index_mod_p=73]
k=294 (d=25) case1=[2, 3, 7, 43] #case3=53 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54, 58]),r<=2(g=ext6) p=11:k'=24 p=13:k'=18 p=37:k'=6 p=59:k'=4,first_nonzero_index_mod_p=59]
k=296 (d=25) case1=[2, 3, 5, 149] #case3=56 case2=[p=13:k'=20 p=37:k'=8]
k=298 (d=25) case1=[2, 3] #case3=55 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54, 58]),r<=2(g=ext6) p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4) p=13:k'=22 p=23:k'=12 p=43:k'=4]
k=302 (d=25) case1=[2, 3] #case3=59 case2=[p=5:k'=30(all [30, 34, 38, 42, 46, 50, 54, 58]),r<=2(g=ext6)]
k=304 (d=26) case1=[2, 3, 5, 17] #case3=52 case2=[p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4) p=11:k'=24 p=13:k'=16 p=19:k'=16 p=31:k'=4 p=61:k'=4,first_nonzero_index_mod_p=61]
k=306 (d=26) case1=[2, 3, 7, 19, 103, 307] #case3=54 case2=[p=13:k'=18 p=17:k'=18 p=31:k'=6]
k=308 (d=26) case1=[2, 3, 5, 23, 29] #case3=54 case2=[p=7:k'=44 p=11:k'=28 p=13:k'=20 p=31:k'=8]
k=310 (d=26) case1=[2, 3, 11, 311] #case3=57 case2=[p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4) p=13:k'=22 p=31:k'=10]
k=314 (d=26) case1=[2, 3] #case3=60 case2=[p=7:k'=44 p=11:k'=24 p=29:k'=6]
k=316 (d=27) case1=[2, 3, 5, 317] #case3=57 case2=[p=7:k'=28(all [28, 34, 40]),r<=2(g=ext4) p=17:k'=12 p=29:k'=8 p=53:k'=4 p=79:k'=4,first_nonzero_index_mod_p=79]
k=318 (d=27) case1=[2, 3, 7, 107] #case3=58 case2=[p=11:k'=28 p=19:k'=12 p=29:k'=10 p=53:k'=6]
k=320 (d=27) case1=[2, 3, 5, 11, 17, 41] #case3=58 case2=[p=7:k'=44 p=23:k'=12]
k=322 (d=27) case1=[2, 3, 47] #case3=60 case2=[p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=17:k'=18 p=19:k'=16]
k=326 (d=27) case1=[2, 3] #case3=61 case2=[p=7:k'=44 p=41:k'=6 p=47:k'=4]
k=328 (d=28) case1=[2, 3, 5, 83] #case3=57 case2=[p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=11:k'=28 p=37:k'=4 p=41:k'=8 p=47:k'=6]
k=330 (d=28) case1=[2, 3, 7, 11, 23, 31, 67, 331] #case3=57 case2=[p=5:k'=66 p=37:k'=6]
k=332 (d=28) case1=[2, 3, 5, 167] #case3=59 case2=[p=7:k'=44 p=17:k'=12 p=37:k'=8 p=83:k'=4,first_nonzero_index_mod_p=83]
k=334 (d=28) case1=[2, 3] #case3=60 case2=[p=5:k'=66 p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=11:k'=24 p=31:k'=4 p=67:k'=4,first_nonzero_index_mod_p=67]
k=338 (d=28) case1=[2, 3] #case3=61 case2=[p=5:k'=66 p=7:k'=44 p=11:k'=28 p=17:k'=18 p=31:k'=8]
k=340 (d=29) case1=[2, 3, 5, 11] #case3=58 case2=[p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=17:k'=20 p=19:k'=16 p=29:k'=4 p=31:k'=10 p=43:k'=4]
k=342 (d=29) case1=[2, 3, 7, 19] #case3=60 case2=[p=5:k'=66 p=23:k'=12 p=29:k'=6 p=43:k'=6]
k=344 (d=29) case1=[2, 3, 5, 173] #case3=61 case2=[p=11:k'=24 p=29:k'=8 p=43:k'=8]
k=346 (d=29) case1=[2, 3, 347] #case3=63 case2=[p=5:k'=66 p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=29:k'=10]
k=350 (d=29) case1=[2, 3, 11, 71] #case3=65 case2=[p=5:k'=66(all [66, 70])]
k=352 (d=30) case1=[2, 3, 5, 17, 23, 89, 353] #case3=61 case2=[p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=11:k'=32 p=59:k'=4]
k=354 (d=30) case1=[2, 3, 7] #case3=62 case2=[p=5:k'=66(all [66, 70]) p=11:k'=24 p=17:k'=18 p=19:k'=12 p=59:k'=6 p=71:k'=4,first_nonzero_index_mod_p=71]
k=356 (d=30) case1=[2, 3, 5, 179] #case3=65 case2=[p=17:k'=20 p=89:k'=4,first_nonzero_index_mod_p=89]
k=358 (d=30) case1=[2, 3, 359] #case3=65 case2=[p=5:k'=66(all [66, 70]) p=7:k'=28(all [28, 34, 40, 46]),r<=2(g=ext4) p=11:k'=28 p=19:k'=16]
k=362 (d=30) case1=[2, 3] #case3=68 case2=[p=5:k'=66(all [66, 70]) p=11:k'=32]
k=364 (d=31) case1=[2, 3, 5, 29, 53] #case3=57 case2=[p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=11:k'=24 p=13:k'=28 p=17:k'=12 p=23:k'=12 p=31:k'=4 p=37:k'=4 p=41:k'=4 p=61:k'=4 p=73:k'=4,first_nonzero_index_mod_p=73]
k=366 (d=31) case1=[2, 3, 7, 367] #case3=65 case2=[p=31:k'=6 p=37:k'=6 p=41:k'=6 p=61:k'=6]
k=368 (d=31) case1=[2, 3, 5, 17, 47] #case3=62 case2=[p=11:k'=28 p=23:k'=16 p=31:k'=8 p=37:k'=8 p=41:k'=8 p=53:k'=4]
k=370 (d=31) case1=[2, 3, 11] #case3=65 case2=[p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=17:k'=18 p=31:k'=10 p=37:k'=10 p=53:k'=6]
k=374 (d=31) case1=[2, 3, 23] #case3=68 case2=[p=11:k'=24(all [24, 34]) p=17:k'=22 p=47:k'=6]
k=376 (d=32) case1=[2, 3, 5] #case3=66 case2=[p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=13:k'=28 p=19:k'=16 p=29:k'=12 p=47:k'=8]
k=378 (d=32) case1=[2, 3, 7, 19, 43, 127, 379] #case3=67 case2=[p=11:k'=28]
k=380 (d=32) case1=[2, 3, 5, 11, 191] #case3=68 case2=[p=17:k'=12 p=19:k'=20]
k=382 (d=32) case1=[2, 3, 383] #case3=70 case2=[p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=11:k'=32 p=43:k'=4]
k=386 (d=32) case1=[2, 3] #case3=71 case2=[p=17:k'=18 p=23:k'=12 p=43:k'=8]
k=388 (d=33) case1=[2, 3, 5, 389] #case3=68 case2=[p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=11:k'=28 p=13:k'=28 p=17:k'=20 p=97:k'=4,first_nonzero_index_mod_p=97]
k=390 (d=33) case1=[2, 3, 7, 11, 31, 79, 131] #case3=65 case2=[p=5:k'=78 p=13:k'=30 p=17:k'=22 p=19:k'=12 p=23:k'=16]
k=392 (d=33) case1=[2, 3, 5, 29, 197] #case3=70 case2=[p=7:k'=56,r<=2(g=ext8) p=11:k'=32]
k=394 (d=33) case1=[2, 3] #case3=70 case2=[p=5:k'=78 p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=11:k'=24(all [24, 34]) p=19:k'=16 p=79:k'=4,first_nonzero_index_mod_p=79]
k=398 (d=33) case1=[2, 3] #case3=72 case2=[p=5:k'=78 p=7:k'=56,r<=2(g=ext8) p=11:k'=28 p=19:k'=20]
k=400 (d=34) case1=[2, 3, 5, 11, 17, 41, 101, 401] #case3=67 case2=[p=7:k'=28(all [28, 34, 40, 46, 52]),r<=2(g=ext4) p=13:k'=28 p=37:k'=4 p=67:k'=4]
k=402 (d=34) case1=[2, 3, 7] #case3=70 case2=[p=5:k'=78 p=13:k'=30 p=17:k'=18 p=31:k'=12 p=37:k'=6 p=67:k'=6]
k=404 (d=34) case1=[2, 3, 5] #case3=70 case2=[p=7:k'=56,r<=2(g=ext8) p=17:k'=20 p=29:k'=12 p=37:k'=8 p=41:k'=4 p=101:k'=4,first_nonzero_index_mod_p=101]
k=406 (d=34) case1=[2, 3, 59] #case3=70 case2=[p=5:k'=78 p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=11:k'=36 p=17:k'=22 p=37:k'=10 p=41:k'=6]
k=410 (d=34) case1=[2, 3, 11, 83] #case3=72 case2=[p=5:k'=78(all [78, 82]) p=7:k'=56,r<=2(g=ext8) p=41:k'=10 p=59:k'=4]
k=412 (d=35) case1=[2, 3, 5] #case3=71 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=13:k'=28 p=19:k'=16 p=23:k'=16 p=59:k'=6 p=103:k'=4,first_nonzero_index_mod_p=103]
k=414 (d=35) case1=[2, 3, 7, 19, 47, 139] #case3=70 case2=[p=5:k'=78(all [78, 82]) p=13:k'=30 p=23:k'=18 p=83:k'=4,first_nonzero_index_mod_p=83]
k=416 (d=35) case1=[2, 3, 5, 17, 53] #case3=71 case2=[p=7:k'=56,r<=2(g=ext8) p=11:k'=36 p=13:k'=32 p=19:k'=20]
k=418 (d=35) case1=[2, 3, 23, 419] #case3=73 case2=[p=5:k'=78(all [78, 82]) p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=19:k'=22 p=47:k'=4]
k=422 (d=35) case1=[2, 3] #case3=76 case2=[p=5:k'=78(all [78, 82]) p=7:k'=56,r<=2(g=ext8) p=47:k'=8 p=53:k'=6]
k=424 (d=36) case1=[2, 3, 5, 107] #case3=71 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=13:k'=28 p=17:k'=24 p=43:k'=4 p=53:k'=8 p=61:k'=4 p=71:k'=4]
k=426 (d=36) case1=[2, 3, 7] #case3=73 case2=[p=11:k'=36 p=13:k'=30 p=19:k'=12 p=43:k'=6 p=61:k'=6 p=71:k'=6]
k=428 (d=36) case1=[2, 3, 5] #case3=75 case2=[p=7:k'=56,r<=2(g=ext8) p=13:k'=32 p=43:k'=8 p=107:k'=4,first_nonzero_index_mod_p=107]
k=430 (d=36) case1=[2, 3, 11, 431] #case3=75 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=19:k'=16 p=23:k'=12 p=43:k'=10]
k=434 (d=36) case1=[2, 3] #case3=79 case2=[p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=19:k'=20 p=23:k'=16]
k=436 (d=37) case1=[2, 3, 5] #case3=73 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=11:k'=36 p=13:k'=28 p=19:k'=22 p=23:k'=18 p=37:k'=4 p=73:k'=4 p=109:k'=4,first_nonzero_index_mod_p=109]
k=438 (d=37) case1=[2, 3, 7, 439] #case3=78 case2=[p=13:k'=30 p=37:k'=6 p=73:k'=6]
k=440 (d=37) case1=[2, 3, 5, 11, 23, 41, 89] #case3=74 case2=[p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=13:k'=32 p=17:k'=24 p=37:k'=8]
k=442 (d=37) case1=[2, 3, 443] #case3=79 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58]),r<=2(g=ext4) p=13:k'=34 p=17:k'=26 p=37:k'=10]
k=446 (d=37) case1=[2, 3] #case3=81 case2=[p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=11:k'=36 p=41:k'=6]
k=448 (d=38) case1=[2, 3, 5, 17, 29, 113, 449] #case3=76 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=13:k'=28 p=19:k'=16 p=41:k'=8]
k=450 (d=38) case1=[2, 3, 7, 11, 19, 31, 151] #case3=77 case2=[p=5:k'=90,r<=2(g=ext18) p=13:k'=30 p=41:k'=10]
k=452 (d=38) case1=[2, 3, 5, 227] #case3=78 case2=[p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=13:k'=32 p=19:k'=20 p=23:k'=12 p=113:k'=4,first_nonzero_index_mod_p=113]
k=454 (d=38) case1=[2, 3] #case3=81 case2=[p=5:k'=90,r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=13:k'=34 p=19:k'=22]
k=458 (d=38) case1=[2, 3] #case3=82 case2=[p=5:k'=90,r<=2(g=ext18) p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=17:k'=26 p=23:k'=18]
k=460 (d=39) case1=[2, 3, 5, 11, 47, 461] #case3=79 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=13:k'=28 p=23:k'=20 p=29:k'=12]
k=462 (d=39) case1=[2, 3, 7, 23, 43, 67, 463] #case3=79 case2=[p=5:k'=90,r<=2(g=ext18) p=11:k'=42 p=13:k'=30 p=31:k'=12]
k=464 (d=39) case1=[2, 3, 5, 17, 59, 233] #case3=80 case2=[p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=13:k'=32 p=29:k'=16 p=47:k'=4]
k=466 (d=39) case1=[2, 3, 467] #case3=81 case2=[p=5:k'=90,r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=11:k'=36 p=13:k'=34 p=43:k'=4 p=47:k'=6 p=67:k'=4]
k=470 (d=39) case1=[2, 3, 11] #case3=83 case2=[p=5:k'=90(all [90, 94]),r<=2(g=ext18) p=7:k'=56(all [56, 62]),r<=2(g=ext8) p=43:k'=8 p=47:k'=10 p=59:k'=6]
k=472 (d=40) case1=[2, 3, 5] #case3=81 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=11:k'=42 p=17:k'=24 p=43:k'=10 p=53:k'=4 p=59:k'=8 p=79:k'=4]
k=474 (d=40) case1=[2, 3, 7] #case3=82 case2=[p=5:k'=90(all [90, 94]),r<=2(g=ext18) p=17:k'=26 p=19:k'=24 p=23:k'=12 p=53:k'=6 p=79:k'=6]
k=476 (d=40) case1=[2, 3, 5, 29, 239] #case3=82 case2=[p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=11:k'=36 p=17:k'=28 p=53:k'=8]
k=478 (d=40) case1=[2, 3, 479] #case3=86 case2=[p=5:k'=90(all [90, 94]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=23:k'=16]
k=482 (d=40) case1=[2, 3] #case3=86 case2=[p=5:k'=90(all [90, 94]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=11:k'=42 p=23:k'=20]
k=484 (d=41) case1=[2, 3, 5, 23] #case3=83 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64]),r<=2(g=ext4) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=41:k'=4 p=61:k'=4 p=97:k'=4,first_nonzero_index_mod_p=97]
k=486 (d=41) case1=[2, 3, 7, 19, 163, 487] #case3=83 case2=[p=5:k'=90(all [90, 94]),r<=2(g=ext18) p=11:k'=36 p=41:k'=6 p=61:k'=6]
k=488 (d=41) case1=[2, 3, 5] #case3=85 case2=[p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=17:k'=24 p=29:k'=12 p=41:k'=8 p=61:k'=8]
k=490 (d=41) case1=[2, 3, 11, 71, 491] #case3=85 case2=[p=5:k'=90(all [90, 94, 98]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=17:k'=26 p=41:k'=10]
k=494 (d=41) case1=[2, 3] #case3=88 case2=[p=5:k'=90(all [90, 94, 98]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=71:k'=4]
k=496 (d=42) case1=[2, 3, 5, 17] #case3=84 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=11:k'=36 p=23:k'=12 p=31:k'=16 p=71:k'=6 p=83:k'=4]
k=498 (d=42) case1=[2, 3, 7, 167, 499] #case3=88 case2=[p=5:k'=90(all [90, 94, 98]),r<=2(g=ext18) p=83:k'=6]
k=500 (d=42) case1=[2, 3, 5, 11, 101, 251] #case3=87 case2=[p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=23:k'=16]
k=502 (d=42) case1=[2, 3, 503] #case3=89 case2=[p=5:k'=90(all [90, 94, 98]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=11:k'=42 p=23:k'=18]
k=506 (d=42) case1=[2, 3, 23, 47] #case3=88 case2=[p=5:k'=90(all [90, 94, 98]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=11:k'=36(all [36, 46]) p=17:k'=26]
k=508 (d=43) case1=[2, 3, 5, 509] #case3=88 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=17:k'=28 p=43:k'=4 p=73:k'=4 p=127:k'=4,first_nonzero_index_mod_p=127]
k=510 (d=43) case1=[2, 3, 7, 11, 31, 103] #case3=85 case2=[p=5:k'=90(all [90, 94, 98, 102]),r<=2(g=ext18) p=17:k'=30 p=19:k'=24 p=43:k'=6 p=47:k'=4 p=73:k'=6]
k=512 (d=43) case1=[2, 3, 5, 17, 257] #case3=88 case2=[p=7:k'=56(all [56, 62, 68]),r<=2(g=ext8) p=11:k'=42 p=43:k'=8 p=47:k'=6]
k=514 (d=43) case1=[2, 3] #case3=89 case2=[p=5:k'=90(all [90, 94, 98, 102]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=43:k'=10 p=47:k'=8 p=103:k'=4,first_nonzero_index_mod_p=103]
k=518 (d=43) case1=[2, 3] #case3=92 case2=[p=5:k'=90(all [90, 94, 98, 102]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=23:k'=12]
k=520 (d=44) case1=[2, 3, 5, 11, 41, 53, 131, 521] #case3=86 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=13:k'=40 p=17:k'=24 p=29:k'=16]
k=522 (d=44) case1=[2, 3, 7, 19, 59, 523] #case3=87 case2=[p=5:k'=90(all [90, 94, 98, 102]),r<=2(g=ext18) p=11:k'=42 p=17:k'=26 p=23:k'=16 p=29:k'=18 p=31:k'=12]
k=524 (d=44) case1=[2, 3, 5, 263] #case3=89 case2=[p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=17:k'=28 p=23:k'=18 p=53:k'=4 p=131:k'=4,first_nonzero_index_mod_p=131]
k=526 (d=44) case1=[2, 3] #case3=89 case2=[p=5:k'=90(all [90, 94, 98, 102]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70]),r<=2(g=ext4) p=11:k'=36(all [36, 46]) p=17:k'=30 p=23:k'=20 p=31:k'=16 p=53:k'=6 p=59:k'=4]
k=530 (d=44) case1=[2, 3, 11, 107] #case3=91 case2=[p=5:k'=90(all [90, 94, 98, 102, 106]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=53:k'=10 p=59:k'=8]
k=532 (d=45) case1=[2, 3, 5, 29] #case3=89 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=13:k'=40 p=19:k'=28 p=41:k'=12 p=67:k'=4 p=89:k'=4]
k=534 (d=45) case1=[2, 3, 7, 179] #case3=90 case2=[p=5:k'=90(all [90, 94, 98, 102, 106]),r<=2(g=ext18) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=67:k'=6 p=89:k'=6 p=107:k'=4,first_nonzero_index_mod_p=107]
k=536 (d=45) case1=[2, 3, 5, 269] #case3=92 case2=[p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=17:k'=24 p=67:k'=8]
k=538 (d=45) case1=[2, 3] #case3=93 case2=[p=5:k'=90(all [90, 94, 98, 102, 106]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=11:k'=48 p=17:k'=26]
k=542 (d=45) case1=[2, 3] #case3=95 case2=[p=5:k'=90(all [90, 94, 98, 102, 106]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=17:k'=30]
k=544 (d=46) case1=[2, 3, 5, 17, 137] #case3=88 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=40 p=23:k'=16 p=29:k'=12 p=61:k'=4 p=109:k'=4,first_nonzero_index_mod_p=109]
k=546 (d=46) case1=[2, 3, 7, 43, 79, 547] #case3=90 case2=[p=5:k'=90(all [90, 94, 98, 102, 106]),r<=2(g=ext18) p=13:k'=42 p=19:k'=24 p=23:k'=18 p=61:k'=6]
k=548 (d=46) case1=[2, 3, 5] #case3=92 case2=[p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=11:k'=48 p=23:k'=20 p=29:k'=16 p=61:k'=8 p=137:k'=4,first_nonzero_index_mod_p=137]
k=550 (d=46) case1=[2, 3, 11, 23] #case3=92 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=19:k'=28 p=29:k'=18 p=79:k'=4]
k=554 (d=46) case1=[2, 3] #case3=95 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74]),r<=2(g=ext8) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=17:k'=26]
k=556 (d=47) case1=[2, 3, 5, 557] #case3=92 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=13:k'=40 p=17:k'=28 p=31:k'=16 p=47:k'=4 p=139:k'=4,first_nonzero_index_mod_p=139]
k=558 (d=47) case1=[2, 3, 7, 19] #case3=91 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110]),r<=2(g=ext18) p=11:k'=48 p=13:k'=42 p=17:k'=30 p=31:k'=18 p=43:k'=12 p=47:k'=6]
k=560 (d=47) case1=[2, 3, 5, 11, 17, 29, 41, 71, 113, 281] #case3=90 case2=[p=7:k'=56(all [56, 62, 68, 74, 80]),r<=2(g=ext8) p=47:k'=8]
k=562 (d=47) case1=[2, 3, 563] #case3=97 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=47:k'=10]
k=566 (d=47) case1=[2, 3] #case3=98 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74, 80]),r<=2(g=ext8) p=71:k'=6]
k=568 (d=48) case1=[2, 3, 5, 569] #case3=94 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76]),r<=2(g=ext4) p=11:k'=48 p=13:k'=40 p=17:k'=24 p=19:k'=28 p=71:k'=8]
k=570 (d=48) case1=[2, 3, 7, 11, 31, 191, 571] #case3=94 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114]),r<=2(g=ext18) p=13:k'=42 p=17:k'=26 p=19:k'=30]
k=572 (d=48) case1=[2, 3, 5, 23, 53] #case3=94 case2=[p=7:k'=56(all [56, 62, 68, 74, 80]),r<=2(g=ext8) p=11:k'=52 p=13:k'=44 p=17:k'=28 p=29:k'=12 p=41:k'=12]
k=574 (d=48) case1=[2, 3, 83] #case3=97 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76, 82]),r<=2(g=ext4) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=17:k'=30 p=23:k'=24]
k=578 (d=48) case1=[2, 3] #case3=97 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74, 80]),r<=2(g=ext8) p=11:k'=48 p=17:k'=34 p=29:k'=18 p=53:k'=6 p=83:k'=4]
k=580 (d=49) case1=[2, 3, 5, 11, 59] #case3=94 case2=[p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76, 82]),r<=2(g=ext4) p=13:k'=40 p=29:k'=20 p=53:k'=8 p=73:k'=4 p=83:k'=6 p=97:k'=4]
k=582 (d=49) case1=[2, 3, 7] #case3=95 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114]),r<=2(g=ext18) p=11:k'=52 p=13:k'=42 p=19:k'=24 p=31:k'=12 p=53:k'=10 p=73:k'=6 p=97:k'=6]
k=584 (d=49) case1=[2, 3, 5, 293] #case3=96 case2=[p=7:k'=56(all [56, 62, 68, 74, 80]),r<=2(g=ext8) p=11:k'=44,r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=44 p=17:k'=24 p=59:k'=4 p=73:k'=8]
k=586 (d=49) case1=[2, 3, 587] #case3=98 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114]),r<=2(g=ext18) p=7:k'=28(all [28, 34, 40, 46, 52, 58, 64, 70, 76, 82]),r<=2(g=ext4) p=17:k'=26 p=19:k'=28 p=31:k'=16 p=59:k'=6]
k=590 (d=49) case1=[2, 3, 11] #case3=100 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114, 118]),r<=2(g=ext18) p=7:k'=56(all [56, 62, 68, 74, 80]),r<=2(g=ext8) p=17:k'=30 p=59:k'=10]
k=592 (d=50) case1=[2, 3, 5, 17, 149, 593] #case3=99 case2=[p=11:k'=52 p=13:k'=40 p=37:k'=16]
k=594 (d=50) case1=[2, 3, 7, 19, 23, 67, 199] #case3=97 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114, 118]),r<=2(g=ext18) p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=42 p=17:k'=34]
k=596 (d=50) case1=[2, 3, 5] #case3=102 case2=[p=13:k'=44 p=23:k'=24 p=149:k'=4,first_nonzero_index_mod_p=149]
k=598 (d=50) case1=[2, 3, 47, 599] #case3=101 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114, 118]),r<=2(g=ext18) p=11:k'=48 p=13:k'=46 p=67:k'=4]
k=602 (d=50) case1=[2, 3] #case3=104 case2=[p=5:k'=90(all [90, 94, 98, 102, 106, 110, 114, 118]),r<=2(g=ext18) p=11:k'=52 p=17:k'=26 p=67:k'=8]
k=604 (d=51) case1=[2, 3, 5] #case3=99 case2=[p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=40 p=17:k'=28 p=19:k'=28 p=29:k'=16 p=61:k'=4 p=101:k'=4 p=151:k'=4,first_nonzero_index_mod_p=151]
k=606 (d=51) case1=[2, 3, 7, 607] #case3=101 case2=[p=13:k'=42 p=17:k'=30 p=19:k'=30 p=29:k'=18 p=61:k'=6 p=101:k'=6]
k=608 (d=51) case1=[2, 3, 5, 17] #case3=102 case2=[p=11:k'=48 p=13:k'=44 p=19:k'=32 p=29:k'=20 p=61:k'=8]
k=610 (d=51) case1=[2, 3, 11] #case3=104 case2=[p=13:k'=46 p=17:k'=34 p=47:k'=12 p=61:k'=10]
k=614 (d=51) case1=[2, 3] #case3=109 case2=[p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121]
k=616 (d=52) case1=[2, 3, 5, 23, 29, 89, 617] #case3=101 case2=[p=7:k'=88 p=11:k'=56 p=13:k'=40 p=31:k'=16 p=103:k'=4]
k=618 (d=52) case1=[2, 3, 7, 619] #case3=104 case2=[p=11:k'=48 p=13:k'=42 p=19:k'=24 p=23:k'=24 p=31:k'=18 p=103:k'=6]
k=620 (d=52) case1=[2, 3, 5, 11, 311] #case3=106 case2=[p=13:k'=44 p=31:k'=20 p=89:k'=4]
k=622 (d=52) case1=[2, 3] #case3=107 case2=[p=7:k'=88 p=11:k'=52 p=13:k'=46 p=19:k'=28 p=89:k'=6]
k=626 (d=52) case1=[2, 3] #case3=110 case2=[p=11:k'=56 p=19:k'=32]
k=628 (d=53) case1=[2, 3, 5] #case3=103 case2=[p=7:k'=88 p=11:k'=48 p=17:k'=36 p=29:k'=12 p=37:k'=16 p=53:k'=4 p=79:k'=4 p=157:k'=4,first_nonzero_index_mod_p=157]
k=630 (d=53) case1=[2, 3, 7, 11, 19, 31, 43, 71, 127, 211, 631] #case3=101 case2=[p=5:k'=126 p=53:k'=6 p=79:k'=6]
k=632 (d=53) case1=[2, 3, 5, 317] #case3=107 case2=[p=11:k'=52 p=29:k'=16 p=53:k'=8 p=79:k'=8]
k=634 (d=53) case1=[2, 3] #case3=105 case2=[p=5:k'=126 p=7:k'=88 p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=46 p=29:k'=18 p=53:k'=10 p=71:k'=4 p=127:k'=4,first_nonzero_index_mod_p=127]
k=638 (d=53) case1=[2, 3, 23, 59] #case3=107 case2=[p=5:k'=126 p=11:k'=48(all [48, 58]) p=29:k'=22 p=71:k'=8]
k=640 (d=54) case1=[2, 3, 5, 11, 17, 41, 641] #case3=105 case2=[p=7:k'=88 p=19:k'=28 p=23:k'=24 p=107:k'=4]
k=642 (d=54) case1=[2, 3, 7, 643] #case3=106 case2=[p=5:k'=126 p=11:k'=52 p=19:k'=30 p=31:k'=12 p=43:k'=12 p=59:k'=4 p=107:k'=6]
k=644 (d=54) case1=[2, 3, 5, 29, 47] #case3=106 case2=[p=7:k'=92 p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=17:k'=36 p=19:k'=32 p=23:k'=28 p=59:k'=6]
k=646 (d=54) case1=[2, 3, 647] #case3=108 case2=[p=5:k'=126 p=7:k'=88 p=11:k'=56 p=13:k'=46 p=19:k'=34 p=31:k'=16 p=59:k'=8]
k=650 (d=54) case1=[2, 3, 11, 131] #case3=111 case2=[p=5:k'=126(all [126, 130]) p=7:k'=92 p=31:k'=20]
k=652 (d=55) case1=[2, 3, 5, 653] #case3=109 case2=[p=7:k'=88 p=11:k'=52 p=41:k'=12 p=73:k'=4 p=109:k'=4 p=163:k'=4,first_nonzero_index_mod_p=163]
k=654 (d=55) case1=[2, 3, 7] #case3=110 case2=[p=5:k'=126(all [126, 130]) p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=19:k'=24 p=73:k'=6 p=109:k'=6 p=131:k'=4,first_nonzero_index_mod_p=131]
k=656 (d=55) case1=[2, 3, 5, 17, 83] #case3=108 case2=[p=7:k'=92 p=11:k'=56 p=29:k'=12 p=41:k'=16 p=47:k'=12 p=73:k'=8]
k=658 (d=55) case1=[2, 3, 659] #case3=112 case2=[p=5:k'=126(all [126, 130]) p=7:k'=88(all [88, 94]) p=11:k'=48(all [48, 58]) p=13:k'=46 p=19:k'=28]
k=662 (d=55) case1=[2, 3] #case3=112 case2=[p=5:k'=126(all [126, 130]) p=7:k'=92 p=11:k'=52 p=19:k'=32 p=23:k'=24 p=29:k'=18 p=83:k'=6]
k=664 (d=56) case1=[2, 3, 5, 167] #case3=109 case2=[p=7:k'=88(all [88, 94]) p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=19:k'=34 p=29:k'=20 p=37:k'=16 p=61:k'=4 p=67:k'=4 p=83:k'=8]
k=666 (d=56) case1=[2, 3, 7, 19, 223] #case3=111 case2=[p=23:k'=28 p=29:k'=22 p=37:k'=18 p=61:k'=6 p=67:k'=6]
k=668 (d=56) case1=[2, 3, 5] #case3=114 case2=[p=7:k'=92 p=61:k'=8 p=67:k'=8 p=167:k'=4,first_nonzero_index_mod_p=167]
k=670 (d=56) case1=[2, 3, 11] #case3=114 case2=[p=7:k'=88(all [88, 94]) p=13:k'=46 p=61:k'=10 p=67:k'=10]
k=674 (d=56) case1=[2, 3] #case3=118 case2=[p=7:k'=92 p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121]
k=676 (d=57) case1=[2, 3, 5, 53, 677] #case3=112 case2=[p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=36 p=19:k'=28 p=31:k'=16 p=97:k'=4 p=113:k'=4]
k=678 (d=57) case1=[2, 3, 7, 227] #case3=115 case2=[p=19:k'=30 p=31:k'=18 p=97:k'=6 p=113:k'=6]
k=680 (d=57) case1=[2, 3, 5, 11, 41, 137] #case3=114 case2=[p=17:k'=40 p=19:k'=32 p=31:k'=20]
k=682 (d=57) case1=[2, 3, 23, 683] #case3=117 case2=[p=13:k'=46 p=19:k'=34 p=31:k'=22]
k=686 (d=57) case1=[2, 3] #case3=122 case2=[]
k=688 (d=58) case1=[2, 3, 5, 17, 173] #case3=114 case2=[p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=23:k'=28 p=29:k'=16 p=43:k'=16 p=53:k'=12]
k=690 (d=58) case1=[2, 3, 7, 11, 31, 47, 139, 691] #case3=114 case2=[p=5:k'=138 p=23:k'=30 p=29:k'=18]
k=692 (d=58) case1=[2, 3, 5, 347] #case3=117 case2=[p=17:k'=36 p=29:k'=20 p=41:k'=12 p=173:k'=4,first_nonzero_index_mod_p=173]
k=694 (d=58) case1=[2, 3] #case3=118 case2=[p=5:k'=138 p=11:k'=44(all [44, 54]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=46 p=29:k'=22 p=139:k'=4,first_nonzero_index_mod_p=139]
k=698 (d=58) case1=[2, 3] #case3=122 case2=[p=5:k'=138]
k=700 (d=59) case1=[2, 3, 5, 11, 29, 71, 101, 701] #case3=114 case2=[p=7:k'=100 p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=37:k'=16 p=59:k'=4]
k=702 (d=59) case1=[2, 3, 7, 19, 79] #case3=115 case2=[p=5:k'=138 p=13:k'=54 p=31:k'=12 p=37:k'=18 p=47:k'=12 p=59:k'=6]
k=704 (d=59) case1=[2, 3, 5, 17, 23, 89, 353] #case3=115 case2=[p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=59:k'=8 p=71:k'=4 p=101:k'=4]
k=706 (d=59) case1=[2, 3] #case3=115 case2=[p=5:k'=138 p=7:k'=100 p=13:k'=46 p=23:k'=24 p=31:k'=16 p=59:k'=10 p=71:k'=6 p=79:k'=4 p=101:k'=6]
k=710 (d=59) case1=[2, 3, 11] #case3=118 case2=[p=5:k'=138(all [138, 142]) p=23:k'=28 p=31:k'=20 p=71:k'=10 p=79:k'=8 p=89:k'=6]
k=712 (d=60) case1=[2, 3, 5, 179] #case3=117 case2=[p=7:k'=100 p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=40 p=23:k'=30 p=31:k'=22 p=89:k'=8]
k=714 (d=60) case1=[2, 3, 7, 43, 103, 239] #case3=117 case2=[p=5:k'=138(all [138, 142]) p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=121 p=13:k'=54 p=17:k'=42]
k=716 (d=60) case1=[2, 3, 5, 359] #case3=122 case2=[p=179:k'=4,first_nonzero_index_mod_p=179]
k=718 (d=60) case1=[2, 3, 719] #case3=121 case2=[p=5:k'=138(all [138, 142]) p=7:k'=100 p=13:k'=46 p=103:k'=4]
k=722 (d=60) case1=[2, 3] #case3=125 case2=[p=5:k'=138(all [138, 142])]
k=724 (d=61) case1=[2, 3, 5] #case3=117 case2=[p=7:k'=100 p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=36 p=29:k'=24 p=61:k'=4 p=73:k'=4 p=181:k'=4,first_nonzero_index_mod_p=181]
k=726 (d=61) case1=[2, 3, 7, 23, 67, 727] #case3=118 case2=[p=11:k'=66,r<=2(g=ext6) p=13:k'=54 p=43:k'=12 p=61:k'=6 p=73:k'=6]
k=728 (d=61) case1=[2, 3, 5, 29, 53] #case3=118 case2=[p=7:k'=104 p=13:k'=56 p=17:k'=40 p=23:k'=24 p=61:k'=8 p=73:k'=8]
k=730 (d=61) case1=[2, 3, 11] #case3=119 case2=[p=7:k'=100 p=13:k'=46 p=17:k'=42 p=43:k'=16 p=61:k'=10 p=67:k'=4 p=73:k'=10]
k=734 (d=61) case1=[2, 3] #case3=124 case2=[p=7:k'=104 p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=23:k'=30 p=67:k'=8]
k=736 (d=62) case1=[2, 3, 5, 17, 47] #case3=117 case2=[p=7:k'=100 p=11:k'=66,r<=2(g=ext6) p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=23:k'=32 p=31:k'=16 p=37:k'=16 p=41:k'=16 p=67:k'=10]
k=738 (d=62) case1=[2, 3, 7, 19, 83, 739] #case3=121 case2=[p=13:k'=54 p=31:k'=18 p=37:k'=18 p=41:k'=18]
k=740 (d=62) case1=[2, 3, 5, 11, 149] #case3=120 case2=[p=7:k'=104 p=13:k'=56 p=17:k'=36 p=31:k'=20 p=37:k'=20 p=53:k'=12]
k=742 (d=62) case1=[2, 3, 107, 743] #case3=124 case2=[p=7:k'=100(all [100, 106]) p=13:k'=46 p=31:k'=22 p=83:k'=4]
k=746 (d=62) case1=[2, 3] #case3=125 case2=[p=7:k'=104 p=11:k'=66,r<=2(g=ext6) p=17:k'=42 p=83:k'=8 p=107:k'=4]
k=748 (d=63) case1=[2, 3, 5, 23] #case3=122 case2=[p=7:k'=100(all [100, 106]) p=11:k'=68 p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=44 p=47:k'=12 p=107:k'=6]
k=750 (d=63) case1=[2, 3, 7, 11, 31, 151, 251, 751] #case3=122 case2=[p=5:k'=150,r<=3(g=ext6) p=13:k'=54 p=23:k'=24]
k=752 (d=63) case1=[2, 3, 5, 17] #case3=125 case2=[p=7:k'=104 p=13:k'=56 p=29:k'=24 p=47:k'=16]
k=754 (d=63) case1=[2, 3, 59] #case3=124 case2=[p=5:k'=150,r<=3(g=ext6) p=7:k'=100(all [100, 106]) p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=13:k'=46(all [46, 58]) p=23:k'=28 p=151:k'=4,first_nonzero_index_mod_p=151]
k=758 (d=63) case1=[2, 3] #case3=128 case2=[p=5:k'=150,r<=3(g=ext6) p=7:k'=104 p=11:k'=68 p=23:k'=32]
k=760 (d=64) case1=[2, 3, 5, 11, 41, 191, 761] #case3=123 case2=[p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=40 p=19:k'=40 p=109:k'=4 p=127:k'=4]
k=762 (d=64) case1=[2, 3, 7] #case3=127 case2=[p=5:k'=150,r<=3(g=ext6) p=13:k'=54 p=17:k'=42 p=109:k'=6 p=127:k'=6]
k=764 (d=64) case1=[2, 3, 5, 383] #case3=127 case2=[p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=13:k'=56 p=17:k'=44 p=191:k'=4,first_nonzero_index_mod_p=191]
k=766 (d=64) case1=[2, 3] #case3=129 case2=[p=5:k'=150,r<=3(g=ext6) p=11:k'=66,r<=2(g=ext6) p=13:k'=46(all [46, 58]) p=59:k'=12]
k=770 (d=64) case1=[2, 3, 11, 23, 71] #case3=130 case2=[p=5:k'=150(all [150, 154]),r<=3(g=ext6)]
k=772 (d=65) case1=[2, 3, 5, 773] #case3=125 case2=[p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=36 p=23:k'=24 p=37:k'=16 p=41:k'=12 p=43:k'=16 p=97:k'=4 p=193:k'=4,first_nonzero_index_mod_p=193]
k=774 (d=65) case1=[2, 3, 7, 19] #case3=125 case2=[p=5:k'=150(all [150, 154]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=13:k'=54 p=31:k'=24 p=37:k'=18 p=43:k'=18 p=71:k'=4 p=97:k'=6]
k=776 (d=65) case1=[2, 3, 5, 389] #case3=125 case2=[p=11:k'=66,r<=2(g=ext6) p=13:k'=56 p=17:k'=40 p=23:k'=28 p=37:k'=20 p=41:k'=16 p=71:k'=6 p=97:k'=8]
k=778 (d=65) case1=[2, 3] #case3=127 case2=[p=5:k'=150(all [150, 154]),r<=3(g=ext6) p=11:k'=68 p=13:k'=46(all [46, 58]) p=17:k'=42 p=19:k'=40 p=23:k'=30 p=41:k'=18 p=71:k'=8]
k=782 (d=65) case1=[2, 3, 47] #case3=131 case2=[p=5:k'=150(all [150, 154]),r<=3(g=ext6) p=17:k'=46 p=23:k'=34]
k=784 (d=66) case1=[2, 3, 5, 17, 29, 113, 197] #case3=124 case2=[p=7:k'=112,r<=2(g=ext16) p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=79:k'=4 p=131:k'=4 p=157:k'=4,first_nonzero_index_mod_p=157]
k=786 (d=66) case1=[2, 3, 7, 263, 787] #case3=129 case2=[p=5:k'=150(all [150, 154]),r<=3(g=ext6) p=11:k'=66,r<=2(g=ext6) p=79:k'=6 p=131:k'=6]
k=788 (d=66) case1=[2, 3, 5] #case3=130 case2=[p=11:k'=68 p=17:k'=36 p=79:k'=8 p=113:k'=4 p=197:k'=4,first_nonzero_index_mod_p=197]
k=790 (d=66) case1=[2, 3, 11] #case3=131 case2=[p=5:k'=150(all [150, 154, 158]),r<=3(g=ext6) p=7:k'=112,r<=2(g=ext16) p=79:k'=10 p=113:k'=6]
k=794 (d=66) case1=[2, 3] #case3=131 case2=[p=5:k'=150(all [150, 154, 158]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64]),r<=2(g=ext4) p=17:k'=42 p=23:k'=24 p=47:k'=12]
k=796 (d=67) case1=[2, 3, 5, 797] #case3=126 case2=[p=7:k'=112,r<=2(g=ext16) p=11:k'=66,r<=2(g=ext6) p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=44 p=19:k'=40 p=67:k'=4 p=73:k'=4 p=89:k'=4 p=199:k'=4,first_nonzero_index_mod_p=199]
k=798 (d=67) case1=[2, 3, 7, 43] #case3=127 case2=[p=5:k'=150(all [150, 154, 158]),r<=3(g=ext6) p=17:k'=46 p=19:k'=42 p=23:k'=28 p=47:k'=16 p=67:k'=6 p=73:k'=6 p=89:k'=6]
k=800 (d=67) case1=[2, 3, 5, 11, 17, 41, 101, 401] #case3=127 case2=[p=23:k'=30 p=67:k'=8 p=73:k'=8 p=89:k'=8]
k=802 (d=67) case1=[2, 3] #case3=131 case2=[p=5:k'=150(all [150, 154, 158]),r<=3(g=ext6) p=7:k'=112,r<=2(g=ext16) p=11:k'=72 p=23:k'=32 p=67:k'=10 p=73:k'=10]
k=806 (d=67) case1=[2, 3] #case3=134 case2=[p=5:k'=150(all [150, 154, 158]),r<=3(g=ext6) p=11:k'=66,r<=2(g=ext6) p=101:k'=6]
k=808 (d=68) case1=[2, 3, 5, 809] #case3=130 case2=[p=7:k'=112,r<=2(g=ext16) p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=40 p=29:k'=24 p=37:k'=16 p=101:k'=8]
k=810 (d=68) case1=[2, 3, 7, 11, 19, 31, 163, 271, 811] #case3=128 case2=[p=5:k'=150(all [150, 154, 158, 162]),r<=3(g=ext6) p=17:k'=42 p=37:k'=18 p=43:k'=12]
k=812 (d=68) case1=[2, 3, 5, 29, 59] #case3=131 case2=[p=7:k'=116 p=11:k'=72 p=17:k'=44 p=37:k'=20 p=41:k'=12]
k=814 (d=68) case1=[2, 3, 23] #case3=130 case2=[p=5:k'=150(all [150, 154, 158, 162]),r<=3(g=ext6) p=7:k'=112,r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=17:k'=46 p=19:k'=40 p=37:k'=22 p=43:k'=16 p=163:k'=4,first_nonzero_index_mod_p=163]
k=818 (d=68) case1=[2, 3] #case3=136 case2=[p=5:k'=150(all [150, 154, 158, 162]),r<=3(g=ext6) p=7:k'=116 p=41:k'=18]
k=820 (d=69) case1=[2, 3, 5, 11, 83, 821] #case3=130 case2=[p=7:k'=112,r<=2(g=ext16) p=13:k'=52,r<=2(g=ext4),first_nonzero_index_mod_p=169 p=23:k'=28 p=41:k'=20 p=103:k'=4 p=137:k'=4]
k=822 (d=69) case1=[2, 3, 7, 823] #case3=134 case2=[p=5:k'=150(all [150, 154, 158, 162]),r<=3(g=ext6) p=11:k'=72 p=23:k'=30 p=103:k'=6 p=137:k'=6]
k=824 (d=69) case1=[2, 3, 5] #case3=134 case2=[p=7:k'=116 p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=23:k'=32 p=59:k'=12 p=83:k'=4 p=103:k'=8]
k=826 (d=69) case1=[2, 3, 827] #case3=136 case2=[p=5:k'=150(all [150, 154, 158, 162]),r<=3(g=ext6) p=7:k'=112(all [112, 118]),r<=2(g=ext16) p=11:k'=66,r<=2(g=ext6) p=23:k'=34 p=83:k'=6]
k=830 (d=69) case1=[2, 3, 11, 167] #case3=138 case2=[p=5:k'=150(all [150, 154, 158, 162, 166]),r<=3(g=ext6) p=7:k'=116 p=83:k'=10]
k=832 (d=70) case1=[2, 3, 5, 17, 53] #case3=135 case2=[p=7:k'=112(all [112, 118]),r<=2(g=ext16) p=11:k'=72 p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=19:k'=40 p=139:k'=4]
k=834 (d=70) case1=[2, 3, 7] #case3=136 case2=[p=5:k'=150(all [150, 154, 158, 162, 166]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=19:k'=42 p=31:k'=24 p=139:k'=6 p=167:k'=4,first_nonzero_index_mod_p=167]
k=836 (d=70) case1=[2, 3, 5, 23, 419] #case3=136 case2=[p=7:k'=116 p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=19:k'=44 p=29:k'=24]
k=838 (d=70) case1=[2, 3, 839] #case3=141 case2=[p=5:k'=150(all [150, 154, 158, 162, 166]),r<=3(g=ext6) p=7:k'=112(all [112, 118]),r<=2(g=ext16)]
k=842 (d=70) case1=[2, 3] #case3=141 case2=[p=5:k'=150(all [150, 154, 158, 162, 166]),r<=3(g=ext6) p=7:k'=116 p=11:k'=72]
k=844 (d=71) case1=[2, 3, 5] #case3=135 case2=[p=7:k'=112(all [112, 118]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=37:k'=16 p=47:k'=16 p=53:k'=12 p=71:k'=4 p=211:k'=4,first_nonzero_index_mod_p=211]
k=846 (d=71) case1=[2, 3, 7, 19, 283] #case3=136 case2=[p=5:k'=150(all [150, 154, 158, 162, 166]),r<=3(g=ext6) p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=37:k'=18 p=47:k'=18 p=71:k'=6]
k=848 (d=71) case1=[2, 3, 5, 17, 107] #case3=138 case2=[p=37:k'=20 p=53:k'=16 p=71:k'=8]
k=850 (d=71) case1=[2, 3, 11] #case3=137 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170]),r<=3(g=ext6) p=7:k'=112(all [112, 118]),r<=2(g=ext16) p=19:k'=40 p=23:k'=36 p=37:k'=22 p=71:k'=10]
k=854 (d=71) case1=[2, 3] #case3=141 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=19:k'=44 p=107:k'=6]
k=856 (d=72) case1=[2, 3, 5, 857] #case3=138 case2=[p=7:k'=112(all [112, 118]),r<=2(g=ext16) p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=41:k'=16 p=43:k'=16 p=107:k'=8]
k=858 (d=72) case1=[2, 3, 7, 23, 67, 79, 859] #case3=137 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170]),r<=3(g=ext6) p=11:k'=78 p=13:k'=66 p=41:k'=18 p=43:k'=18]
k=860 (d=72) case1=[2, 3, 5, 11, 173, 431] #case3=141 case2=[p=41:k'=20 p=43:k'=20]
k=862 (d=72) case1=[2, 3, 863] #case3=143 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170]),r<=3(g=ext6) p=7:k'=112(all [112, 118]),r<=2(g=ext16) p=11:k'=72 p=79:k'=4]
k=866 (d=72) case1=[2, 3] #case3=145 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170]),r<=3(g=ext6) p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=79:k'=8]
k=868 (d=73) case1=[2, 3, 5, 29] #case3=137 case2=[p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=11:k'=78 p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=19:k'=40 p=31:k'=28 p=73:k'=4 p=79:k'=10 p=97:k'=4 p=109:k'=4]
k=870 (d=73) case1=[2, 3, 7, 11, 31, 59] #case3=136 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174]),r<=3(g=ext6) p=13:k'=66 p=19:k'=42 p=29:k'=30 p=67:k'=12 p=73:k'=6 p=97:k'=6 p=109:k'=6]
k=872 (d=73) case1=[2, 3, 5] #case3=141 case2=[p=11:k'=72 p=19:k'=44 p=23:k'=36 p=73:k'=8 p=97:k'=8 p=109:k'=8]
k=874 (d=73) case1=[2, 3, 47] #case3=142 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=19:k'=46 p=73:k'=10]
k=878 (d=73) case1=[2, 3] #case3=147 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174]),r<=3(g=ext6) p=11:k'=78]
k=880 (d=74) case1=[2, 3, 5, 11, 17, 23, 41, 89, 881] #case3=140 case2=[p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=37:k'=16]
k=882 (d=74) case1=[2, 3, 7, 19, 43, 127, 883] #case3=141 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174]),r<=3(g=ext6) p=11:k'=72 p=13:k'=66 p=37:k'=18 p=59:k'=12]
k=884 (d=74) case1=[2, 3, 5, 53, 443] #case3=143 case2=[p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=13:k'=68 p=17:k'=52 p=37:k'=20 p=89:k'=4]
k=886 (d=74) case1=[2, 3, 887] #case3=143 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=19:k'=40 p=37:k'=22 p=47:k'=12 p=89:k'=6 p=127:k'=4]
k=890 (d=74) case1=[2, 3, 11, 179] #case3=146 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178]),r<=3(g=ext6) p=19:k'=44 p=47:k'=16 p=89:k'=10]
k=892 (d=75) case1=[2, 3, 5] #case3=142 case2=[p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=11:k'=72 p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=19:k'=46 p=29:k'=24 p=41:k'=12 p=47:k'=18 p=149:k'=4 p=223:k'=4,first_nonzero_index_mod_p=223]
k=894 (d=75) case1=[2, 3, 7] #case3=143 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=13:k'=66 p=23:k'=36 p=31:k'=24 p=43:k'=12 p=149:k'=6 p=179:k'=4,first_nonzero_index_mod_p=179]
k=896 (d=75) case1=[2, 3, 5, 17, 29, 113, 449] #case3=142 case2=[p=7:k'=128 p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=13:k'=68 p=41:k'=16 p=53:k'=12]
k=898 (d=75) case1=[2, 3] #case3=145 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=11:k'=78 p=29:k'=30 p=31:k'=28 p=41:k'=18 p=43:k'=16]
k=902 (d=75) case1=[2, 3, 23, 83] #case3=144 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178]),r<=3(g=ext6) p=7:k'=128 p=11:k'=72(all [72, 82]) p=41:k'=22 p=43:k'=20 p=113:k'=6]
k=904 (d=76) case1=[2, 3, 5, 227] #case3=142 case2=[p=7:k'=112(all [112, 118, 124]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=19:k'=40 p=101:k'=4 p=113:k'=8 p=151:k'=4 p=181:k'=4,first_nonzero_index_mod_p=181]
k=906 (d=76) case1=[2, 3, 7, 907] #case3=144 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178]),r<=3(g=ext6) p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=13:k'=66 p=19:k'=42 p=83:k'=4 p=101:k'=6 p=151:k'=6]
k=908 (d=76) case1=[2, 3, 5] #case3=145 case2=[p=7:k'=128 p=11:k'=78 p=13:k'=68 p=19:k'=44 p=83:k'=6 p=101:k'=8 p=227:k'=4,first_nonzero_index_mod_p=227]
k=910 (d=76) case1=[2, 3, 11, 71, 131, 911] #case3=145 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=13:k'=70 p=19:k'=46 p=83:k'=8]
k=914 (d=76) case1=[2, 3] #case3=150 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182]),r<=3(g=ext6) p=7:k'=128 p=11:k'=44(all [44, 54, 64, 74]),r<=2(g=ext4) p=131:k'=4]
k=916 (d=77) case1=[2, 3, 5] #case3=146 case2=[p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=52 p=23:k'=36 p=131:k'=6 p=229:k'=4,first_nonzero_index_mod_p=229]
k=918 (d=77) case1=[2, 3, 7, 19, 103, 307, 919] #case3=146 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182]),r<=3(g=ext6) p=11:k'=78 p=13:k'=66 p=17:k'=54]
k=920 (d=77) case1=[2, 3, 5, 11, 41, 47, 461] #case3=146 case2=[p=7:k'=128 p=13:k'=68 p=23:k'=40 p=29:k'=24]
k=922 (d=77) case1=[2, 3] #case3=149 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=11:k'=72(all [72, 82]) p=13:k'=70 p=71:k'=12 p=103:k'=4]
k=926 (d=77) case1=[2, 3] #case3=150 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182]),r<=3(g=ext6) p=7:k'=128 p=11:k'=66(all [66, 76]),r<=2(g=ext6) p=29:k'=30 p=103:k'=8]
k=928 (d=78) case1=[2, 3, 5, 17, 59, 233, 929] #case3=147 case2=[p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=29:k'=32 p=31:k'=28]
k=930 (d=78) case1=[2, 3, 7, 11, 31, 311] #case3=149 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186]),r<=3(g=ext6) p=13:k'=66 p=19:k'=48]
k=932 (d=78) case1=[2, 3, 5, 467] #case3=149 case2=[p=13:k'=68 p=17:k'=52 p=41:k'=12 p=47:k'=12 p=233:k'=4,first_nonzero_index_mod_p=233]
k=934 (d=78) case1=[2, 3] #case3=151 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=13:k'=70 p=17:k'=54]
k=938 (d=78) case1=[2, 3] #case3=153 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186]),r<=3(g=ext6) p=23:k'=36 p=41:k'=18 p=47:k'=18]
k=940 (d=79) case1=[2, 3, 5, 11, 941] #case3=147 case2=[p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=41:k'=20 p=43:k'=16 p=47:k'=20 p=59:k'=12 p=79:k'=4 p=157:k'=4]
k=942 (d=79) case1=[2, 3, 7] #case3=151 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186]),r<=3(g=ext6) p=23:k'=40 p=41:k'=22 p=43:k'=18 p=79:k'=6 p=157:k'=6]
k=944 (d=79) case1=[2, 3, 5, 17] #case3=152 case2=[p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=43:k'=20 p=59:k'=16 p=79:k'=8]
k=946 (d=79) case1=[2, 3, 23, 947] #case3=152 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=43:k'=22 p=79:k'=10]
k=950 (d=79) case1=[2, 3, 11, 191] #case3=155 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190]),r<=3(g=ext6) p=17:k'=54]
k=952 (d=80) case1=[2, 3, 5, 29, 137, 239, 953] #case3=151 case2=[p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=56 p=53:k'=16]
k=954 (d=80) case1=[2, 3, 7, 19, 107] #case3=151 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=29:k'=30 p=31:k'=24 p=53:k'=18 p=191:k'=4,first_nonzero_index_mod_p=191]
k=956 (d=80) case1=[2, 3, 5, 479] #case3=154 case2=[p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=29:k'=32 p=137:k'=4 p=239:k'=4,first_nonzero_index_mod_p=239]
k=958 (d=80) case1=[2, 3] #case3=155 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=31:k'=28 p=107:k'=4 p=137:k'=6]
k=962 (d=80) case1=[2, 3] #case3=158 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190]),r<=3(g=ext6) p=107:k'=8]
k=964 (d=81) case1=[2, 3, 5] #case3=151 case2=[p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=52 p=23:k'=40 p=97:k'=4 p=193:k'=4,first_nonzero_index_mod_p=193 p=241:k'=4,first_nonzero_index_mod_p=241]
k=966 (d=81) case1=[2, 3, 7, 43, 47, 139, 967] #case3=150 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190]),r<=3(g=ext6) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=17:k'=54 p=19:k'=48 p=23:k'=42 p=97:k'=6]
k=968 (d=81) case1=[2, 3, 5, 23, 89] #case3=155 case2=[p=11:k'=88,r<=2(g=ext8) p=17:k'=56 p=97:k'=8]
k=970 (d=81) case1=[2, 3, 11, 971] #case3=156 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=97:k'=10 p=139:k'=4]
k=974 (d=81) case1=[2, 3] #case3=159 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=89:k'=6]
k=976 (d=82) case1=[2, 3, 5, 17, 977] #case3=151 case2=[p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=13:k'=52(all [52, 64]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=29:k'=24 p=41:k'=16 p=61:k'=16 p=89:k'=8 p=109:k'=4 p=163:k'=4]
k=978 (d=82) case1=[2, 3, 7] #case3=154 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194]),r<=3(g=ext6) p=11:k'=88,r<=2(g=ext8) p=41:k'=18 p=43:k'=12 p=47:k'=12 p=89:k'=10 p=109:k'=6 p=163:k'=6]
k=980 (d=82) case1=[2, 3, 5, 11, 29, 71, 197, 491] #case3=153 case2=[p=7:k'=140,r<=2(g=ext20) p=17:k'=52 p=41:k'=20 p=109:k'=8]
k=982 (d=82) case1=[2, 3, 983] #case3=155 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=17:k'=54 p=23:k'=36 p=29:k'=30 p=41:k'=22 p=43:k'=16 p=47:k'=16]
k=986 (d=82) case1=[2, 3, 59] #case3=155 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194]),r<=3(g=ext6) p=7:k'=140,r<=2(g=ext20) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=17:k'=58 p=23:k'=40 p=29:k'=34 p=43:k'=20 p=47:k'=20]
k=988 (d=83) case1=[2, 3, 5, 53] #case3=154 case2=[p=7:k'=112(all [112, 118, 124, 130, 136]),r<=2(g=ext16) p=11:k'=88,r<=2(g=ext8) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=19:k'=52 p=23:k'=42 p=31:k'=28 p=43:k'=22 p=83:k'=4]
k=990 (d=83) case1=[2, 3, 7, 11, 19, 23, 31, 67, 199, 331, 991] #case3=154 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198]),r<=3(g=ext6) p=83:k'=6]
k=992 (d=83) case1=[2, 3, 5, 17] #case3=159 case2=[p=7:k'=140,r<=2(g=ext20) p=31:k'=32 p=71:k'=12 p=83:k'=8]
k=994 (d=83) case1=[2, 3] #case3=160 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=83:k'=10 p=199:k'=4,first_nonzero_index_mod_p=199]
k=998 (d=83) case1=[2, 3] #case3=161 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198]),r<=3(g=ext6) p=7:k'=140,r<=2(g=ext20) p=11:k'=88,r<=2(g=ext8) p=17:k'=54 p=59:k'=12]
k=1000 (d=84) case1=[2, 3, 5, 11, 41, 101, 251] #case3=156 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4),first_nonzero_index_mod_p=169 p=17:k'=56 p=53:k'=12 p=167:k'=4]
k=1002 (d=84) case1=[2, 3, 7] #case3=159 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198]),r<=3(g=ext6) p=17:k'=58 p=19:k'=48 p=59:k'=16 p=67:k'=12 p=167:k'=6]
k=1004 (d=84) case1=[2, 3, 5, 503] #case3=157 case2=[p=7:k'=140,r<=2(g=ext20) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=23:k'=36 p=29:k'=24 p=53:k'=16 p=101:k'=4 p=251:k'=4,first_nonzero_index_mod_p=251]
k=1006 (d=84) case1=[2, 3] #case3=160 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=19:k'=52 p=53:k'=18 p=101:k'=6]
k=1010 (d=84) case1=[2, 3, 11] #case3=161 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202]),r<=3(g=ext6) p=7:k'=140,r<=2(g=ext20) p=23:k'=42 p=29:k'=30 p=101:k'=10]
k=1012 (d=85) case1=[2, 3, 5, 23, 47, 1013] #case3=157 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=11:k'=92 p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=17:k'=52 p=29:k'=32 p=113:k'=4 p=127:k'=4]
k=1014 (d=85) case1=[2, 3, 7, 79] #case3=158 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=13:k'=78,r<=2(g=ext6) p=17:k'=54 p=29:k'=34 p=31:k'=24 p=113:k'=6 p=127:k'=6]
k=1016 (d=85) case1=[2, 3, 5, 509] #case3=161 case2=[p=7:k'=140,r<=2(g=ext20) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=17:k'=56 p=113:k'=8 p=127:k'=8]
k=1018 (d=85) case1=[2, 3, 1019] #case3=163 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=11:k'=88,r<=2(g=ext8) p=17:k'=58 p=31:k'=28]
k=1022 (d=85) case1=[2, 3] #case3=166 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202]),r<=3(g=ext6) p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=11:k'=92 p=31:k'=32]
k=1024 (d=86) case1=[2, 3, 5, 17, 257] #case3=159 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84]),r<=2(g=ext4) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=19:k'=52 p=41:k'=24 p=43:k'=16 p=47:k'=12 p=103:k'=4]
k=1026 (d=86) case1=[2, 3, 7, 19] #case3=161 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202]),r<=3(g=ext6) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=13:k'=78,r<=2(g=ext6) p=23:k'=36 p=43:k'=18 p=79:k'=12 p=103:k'=6]
k=1028 (d=86) case1=[2, 3, 5] #case3=163 case2=[p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=11:k'=88,r<=2(g=ext8) p=43:k'=20 p=47:k'=16 p=103:k'=8 p=257:k'=4,first_nonzero_index_mod_p=257]
k=1030 (d=86) case1=[2, 3, 11, 1031] #case3=163 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142]),r<=2(g=ext16) p=23:k'=40 p=43:k'=22 p=47:k'=18 p=103:k'=10]
k=1034 (d=86) case1=[2, 3, 23] #case3=167 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206]),r<=3(g=ext6) p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=47:k'=22]
k=1036 (d=87) case1=[2, 3, 5, 29, 149] #case3=162 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=17:k'=60 p=37:k'=28 p=61:k'=16 p=173:k'=4]
k=1038 (d=87) case1=[2, 3, 7, 347, 1039] #case3=164 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206]),r<=3(g=ext6) p=11:k'=88,r<=2(g=ext8) p=13:k'=78,r<=2(g=ext6) p=19:k'=48 p=29:k'=30 p=173:k'=6]
k=1040 (d=87) case1=[2, 3, 5, 11, 17, 41, 53, 131, 521] #case3=162 case2=[p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=13:k'=80 p=29:k'=32 p=149:k'=4]
k=1042 (d=87) case1=[2, 3] #case3=167 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=11:k'=92 p=19:k'=52 p=29:k'=34 p=149:k'=6]
k=1046 (d=87) case1=[2, 3] #case3=169 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206]),r<=3(g=ext6) p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=11:k'=66(all [66, 76, 86]),r<=2(g=ext6) p=131:k'=6]
k=1048 (d=88) case1=[2, 3, 5, 263, 1049] #case3=165 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=11:k'=88,r<=2(g=ext8) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=23:k'=36 p=31:k'=28 p=131:k'=8]
k=1050 (d=88) case1=[2, 3, 7, 11, 31, 43, 71, 151, 211, 1051] #case3=165 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210]),r<=3(g=ext6) p=13:k'=78,r<=2(g=ext6)]
k=1052 (d=88) case1=[2, 3, 5] #case3=166 case2=[p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=11:k'=92 p=13:k'=80 p=17:k'=60 p=23:k'=40 p=31:k'=32 p=53:k'=12 p=263:k'=4,first_nonzero_index_mod_p=263]
k=1054 (d=88) case1=[2, 3] #case3=168 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=23:k'=42 p=31:k'=34 p=151:k'=4 p=211:k'=4,first_nonzero_index_mod_p=211]
k=1058 (d=88) case1=[2, 3, 47] #case3=169 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210]),r<=3(g=ext6) p=7:k'=140(all [140, 146]),r<=2(g=ext20) p=11:k'=88,r<=2(g=ext8) p=23:k'=46 p=53:k'=18]
k=1060 (d=89) case1=[2, 3, 5, 11, 107, 1061] #case3=165 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=19:k'=52 p=53:k'=20 p=59:k'=16 p=89:k'=4 p=97:k'=4]
k=1062 (d=89) case1=[2, 3, 7, 19, 1063] #case3=168 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210]),r<=3(g=ext6) p=13:k'=78,r<=2(g=ext6) p=59:k'=18 p=71:k'=12 p=89:k'=6 p=97:k'=6]
k=1064 (d=89) case1=[2, 3, 5, 29] #case3=167 case2=[p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=13:k'=80 p=19:k'=56 p=41:k'=24 p=89:k'=8 p=97:k'=8 p=107:k'=4]
k=1066 (d=89) case1=[2, 3, 83] #case3=169 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=13:k'=82 p=89:k'=10 p=97:k'=10 p=107:k'=6]
k=1070 (d=89) case1=[2, 3, 11] #case3=172 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=23:k'=36 p=47:k'=12 p=107:k'=10]
k=1072 (d=90) case1=[2, 3, 5, 17, 269] #case3=169 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148]),r<=2(g=ext16) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=29:k'=36 p=37:k'=28 p=67:k'=16 p=179:k'=4]
k=1074 (d=90) case1=[2, 3, 7, 359] #case3=167 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=13:k'=78,r<=2(g=ext6) p=19:k'=48 p=23:k'=40 p=31:k'=24 p=43:k'=24 p=47:k'=16 p=179:k'=6]
k=1076 (d=90) case1=[2, 3, 5] #case3=171 case2=[p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=13:k'=80 p=23:k'=42 p=47:k'=18 p=269:k'=4,first_nonzero_index_mod_p=269]
k=1078 (d=90) case1=[2, 3, 23] #case3=169 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=13:k'=82 p=19:k'=52 p=31:k'=28 p=47:k'=20 p=83:k'=12]
k=1082 (d=90) case1=[2, 3] #case3=174 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=19:k'=56 p=31:k'=32]
k=1084 (d=91) case1=[2, 3, 5] #case3=169 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=17:k'=60 p=31:k'=34 p=109:k'=4 p=181:k'=4 p=271:k'=4,first_nonzero_index_mod_p=271]
k=1086 (d=91) case1=[2, 3, 7, 1087] #case3=172 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214]),r<=3(g=ext6) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=13:k'=78,r<=2(g=ext6) p=109:k'=6 p=181:k'=6]
k=1088 (d=91) case1=[2, 3, 5, 17, 137] #case3=172 case2=[p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=13:k'=80 p=109:k'=8]
k=1090 (d=91) case1=[2, 3, 11, 1091] #case3=174 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=13:k'=82 p=109:k'=10]
k=1094 (d=91) case1=[2, 3] #case3=177 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=137:k'=6]
k=1096 (d=92) case1=[2, 3, 5, 1097] #case3=172 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=19:k'=52 p=23:k'=40 p=61:k'=16 p=137:k'=8 p=157:k'=4]
k=1098 (d=92) case1=[2, 3, 7, 19, 367] #case3=173 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218]),r<=3(g=ext6) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=13:k'=78,r<=2(g=ext6) p=23:k'=42 p=61:k'=18 p=157:k'=6]
k=1100 (d=92) case1=[2, 3, 5, 11, 23, 101] #case3=174 case2=[p=7:k'=140(all [140, 146, 152]),r<=2(g=ext20) p=17:k'=60 p=19:k'=56 p=29:k'=36]
k=1102 (d=92) case1=[2, 3, 59, 1103] #case3=177 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=19:k'=58 p=23:k'=46]
k=1106 (d=92) case1=[2, 3] #case3=179 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=101:k'=6]
k=1108 (d=93) case1=[2, 3, 5, 1109] #case3=173 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=31:k'=28 p=37:k'=28 p=53:k'=16 p=101:k'=8 p=139:k'=4 p=277:k'=4,first_nonzero_index_mod_p=277]
k=1110 (d=93) case1=[2, 3, 7, 11, 31, 223] #case3=173 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222]),r<=3(g=ext6) p=13:k'=78,r<=2(g=ext6) p=19:k'=48 p=37:k'=30 p=53:k'=18 p=101:k'=10 p=139:k'=6]
k=1112 (d=93) case1=[2, 3, 5, 557] #case3=178 case2=[p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=31:k'=32 p=53:k'=20 p=139:k'=8]
k=1114 (d=93) case1=[2, 3] #case3=177 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=19:k'=52 p=31:k'=34 p=59:k'=12 p=223:k'=4,first_nonzero_index_mod_p=223]
k=1118 (d=93) case1=[2, 3] #case3=180 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=19:k'=56 p=59:k'=16]
k=1120 (d=94) case1=[2, 3, 5, 11, 17, 29, 41, 71, 113, 281] #case3=172 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16) p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=19:k'=58 p=47:k'=16 p=59:k'=18]
k=1122 (d=94) case1=[2, 3, 7, 23, 67, 103, 1123] #case3=176 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222]),r<=3(g=ext6) p=11:k'=102 p=13:k'=78,r<=2(g=ext6) p=17:k'=66 p=47:k'=18]
k=1124 (d=94) case1=[2, 3, 5, 563] #case3=179 case2=[p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=47:k'=20 p=113:k'=4 p=281:k'=4,first_nonzero_index_mod_p=281]
k=1126 (d=94) case1=[2, 3] #case3=179 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=23:k'=48 p=47:k'=22 p=103:k'=4 p=113:k'=6]
k=1130 (d=94) case1=[2, 3, 11, 227] #case3=181 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=103:k'=8 p=113:k'=10]
k=1132 (d=95) case1=[2, 3, 5] #case3=178 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16) p=11:k'=102 p=13:k'=52(all [52, 64, 76]),r<=2(g=ext4) p=17:k'=60 p=19:k'=52 p=71:k'=12 p=103:k'=10 p=283:k'=4,first_nonzero_index_mod_p=283]
k=1134 (d=95) case1=[2, 3, 7, 19, 43, 127, 163, 379] #case3=176 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74, 84, 94]),r<=2(g=ext4) p=13:k'=78,r<=2(g=ext6) p=67:k'=12 p=227:k'=4,first_nonzero_index_mod_p=227]
k=1136 (d=95) case1=[2, 3, 5, 17, 569] #case3=180 case2=[p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=19:k'=56 p=71:k'=16]
k=1138 (d=95) case1=[2, 3] #case3=179 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=17:k'=66 p=19:k'=58 p=67:k'=16 p=127:k'=4 p=163:k'=4]
k=1142 (d=95) case1=[2, 3] #case3=183 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158]),r<=2(g=ext20) p=11:k'=102 p=127:k'=8]
k=1144 (d=96) case1=[2, 3, 5, 23, 53, 89] #case3=176 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=13:k'=52(all [52, 64, 76, 88]),r<=2(g=ext4) p=37:k'=28 p=41:k'=24 p=191:k'=4 p=229:k'=4,first_nonzero_index_mod_p=229]
k=1146 (d=96) case1=[2, 3, 7, 383] #case3=179 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226]),r<=3(g=ext6) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=13:k'=78,r<=2(g=ext6) p=31:k'=36 p=37:k'=30 p=191:k'=6]
k=1148 (d=96) case1=[2, 3, 5, 29, 83] #case3=179 case2=[p=7:k'=140(all [140, 146, 152, 158, 164]),r<=2(g=ext20) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=17:k'=60 p=23:k'=48 p=41:k'=28]
k=1150 (d=96) case1=[2, 3, 11, 47, 1151] #case3=183 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16)]
k=1154 (d=96) case1=[2, 3] #case3=185 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158, 164]),r<=2(g=ext20) p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=17:k'=66]
k=1156 (d=97) case1=[2, 3, 5] #case3=177 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160]),r<=2(g=ext16) p=11:k'=66(all [66, 76, 86, 96]),r<=2(g=ext6) p=13:k'=52(all [52, 64, 76, 88]),r<=2(g=ext4) p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=19:k'=58 p=29:k'=36 p=53:k'=12 p=61:k'=16 p=89:k'=12 p=97:k'=4 p=193:k'=4]
k=1158 (d=97) case1=[2, 3, 7] #case3=180 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230]),r<=3(g=ext6) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=13:k'=78,r<=2(g=ext6) p=19:k'=60 p=43:k'=24 p=61:k'=18 p=97:k'=6 p=193:k'=6]
k=1160 (d=97) case1=[2, 3, 5, 11, 41, 59, 233] #case3=179 case2=[p=7:k'=140(all [140, 146, 152, 158, 164]),r<=2(g=ext20) p=29:k'=40 p=53:k'=16 p=83:k'=12 p=97:k'=8]
k=1162 (d=97) case1=[2, 3, 167, 1163] #case3=183 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160, 166]),r<=2(g=ext16) p=11:k'=102 p=53:k'=18 p=97:k'=10]
k=1166 (d=97) case1=[2, 3, 23, 107] #case3=183 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158, 164]),r<=2(g=ext20) p=11:k'=66(all [66, 76, 86, 96, 106]),r<=2(g=ext6) p=53:k'=22 p=167:k'=4]
k=1168 (d=98) case1=[2, 3, 5, 17, 293] #case3=182 case2=[p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160, 166]),r<=2(g=ext16) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=13:k'=52(all [52, 64, 76, 88]),r<=2(g=ext4) p=73:k'=16 p=167:k'=6]
k=1170 (d=98) case1=[2, 3, 7, 11, 19, 31, 79, 131, 1171] #case3=179 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234]),r<=3(g=ext6) p=13:k'=78(all [78, 90]),r<=2(g=ext6) p=17:k'=66 p=23:k'=48 p=107:k'=4]
k=1172 (d=98) case1=[2, 3, 5, 587] #case3=183 case2=[p=7:k'=140(all [140, 146, 152, 158, 164]),r<=2(g=ext20) p=11:k'=102 p=17:k'=68,r<=2(g=ext4),first_nonzero_index_mod_p=289 p=59:k'=12 p=107:k'=6 p=293:k'=4,first_nonzero_index_mod_p=293]
k=1174 (d=98) case1=[2, 3] #case3=184 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234]),r<=3(g=ext6) p=7:k'=112(all [112, 118, 124, 130, 136, 142, 148, 154, 160, 166]),r<=2(g=ext16) p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=19:k'=58 p=47:k'=24 p=107:k'=8 p=131:k'=4]
k=1178 (d=98) case1=[2, 3] #case3=186 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234]),r<=3(g=ext6) p=7:k'=140(all [140, 146, 152, 158, 164]),r<=2(g=ext20) p=11:k'=88(all [88, 98]),r<=2(g=ext8) p=59:k'=18 p=131:k'=8]
k=1180 (d=99) case1=[2, 3, 5, 11, 1181] #case3=184 case2=[p=13:k'=52(all [52, 64, 76, 88]),r<=2(g=ext4) p=17:k'=60 p=37:k'=28 p=59:k'=20 p=197:k'=4]
k=1182 (d=99) case1=[2, 3, 7] #case3=185 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234]),r<=3(g=ext6) p=11:k'=102 p=13:k'=78(all [78, 90]),r<=2(g=ext6) p=37:k'=30 p=79:k'=12 p=197:k'=6]
k=1184 (d=99) case1=[2, 3, 5, 17, 149, 593] #case3=184 case2=[p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=29:k'=36 p=37:k'=32 p=41:k'=24]
k=1186 (d=99) case1=[2, 3, 1187] #case3=189 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234]),r<=3(g=ext6) p=11:k'=66(all [66, 76, 86, 96, 106]),r<=2(g=ext6) p=17:k'=66]
k=1190 (d=99) case1=[2, 3, 11, 71, 239] #case3=187 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234, 238]),r<=3(g=ext6) p=17:k'=70 p=149:k'=6]
k=1192 (d=100) case1=[2, 3, 5, 1193] #case3=186 case2=[p=13:k'=52(all [52, 64, 76, 88]),r<=2(g=ext4) p=19:k'=58 p=23:k'=48 p=109:k'=4 p=149:k'=8 p=199:k'=4]
k=1194 (d=100) case1=[2, 3, 7] #case3=186 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234, 238]),r<=3(g=ext6) p=11:k'=44(all [44, 54, 64, 74, 84, 94, 104]),r<=2(g=ext4) p=13:k'=78(all [78, 90]),r<=2(g=ext6) p=19:k'=60 p=109:k'=6 p=199:k'=6 p=239:k'=4,first_nonzero_index_mod_p=239]
k=1196 (d=100) case1=[2, 3, 5, 47, 53, 599] #case3=185 case2=[p=11:k'=66(all [66, 76, 86, 96, 106]),r<=2(g=ext6) p=13:k'=92 p=17:k'=60 p=23:k'=52 p=109:k'=8]
k=1198 (d=100) case1=[2, 3] #case3=191 case2=[p=5:k'=150(all [150, 154, 158, 162, 166, 170, 174, 178, 182, 186, 190, 194, 198, 202, 206, 210, 214, 218, 222, 226, 230, 234, 238]),r<=3(g=ext6) p=11:k'=88(all [88, 98, 108]),r<=2(g=ext8) p=109:k'=10]
## all even k<=1200, 12!|k: weights=499  Case(1) pairs=1990  Case(2) pairs=2191  Case(3) pairs (primes <= max(k+1,N))=49707  unresolved=0  filtration mismatches=0  r_max histogram={1: 1618, 2: 460, 3: 113}
## Case(2) pairs NOT covered by the source's Theorem 2 (k < p*k2): 544; first 40 (k, p, k'_min, k2): [(54, 5, 6, 18), (58, 5, 6, 18), (62, 5, 6, 18), (76, 7, 4, 16), (80, 7, 8, 20), (82, 7, 4, 16), (86, 7, 8, 20), (114, 5, 18, 30), (118, 5, 18, 30), (122, 5, 18, 30), (124, 11, 4, 24), (126, 11, 6, 16), (128, 11, 8, 18), (134, 11, 4, 24), (148, 13, 4, 16), (150, 13, 6, 18), (152, 13, 8, 20), (154, 13, 10, 22), (160, 7, 16, 28), (164, 7, 20, 32), (166, 7, 16, 28), (170, 7, 20, 32), (174, 5, 30, 42), (178, 5, 30, 42), (182, 5, 30, 42), (186, 5, 30, 42), (190, 5, 30, 42), (194, 5, 30, 42), (196, 17, 4, 20), (198, 5, 30, 42), (198, 17, 6, 22), (200, 17, 8, 24), (202, 5, 30, 42), (202, 17, 10, 26), (206, 5, 30, 42), (220, 19, 4, 22), (222, 19, 6, 24), (224, 19, 8, 26), (226, 19, 10, 28), (234, 5, 30, 54)]
# time 16.0s
# total time 226.8s
