# identities E4 = H(t)^4, E6 = H^6 (1-1728t)^(1/2) verified to q^60; setup 0.2s
# t-method == elimination for even 4 <= k <= 120; 0.2s
# mod-p t-method agrees with exact method on test weights; 3.4s
k=12 case2=
k=24 case2=
k=36 case2=
k=48 case2=
k=60 case2=
k=72 case2=
k=84 case2=11:4 17:4
k=96 case2=11:6
k=108 case2=11:8
k=120 case2=
k=132 case2=11:12 17:4 19:6
k=144 case2=29:4
k=156 case2=
k=168 case2=17:8 19:6
k=180 case2=17:4 23:4
k=192 case2=11:12
k=204 case2=17:12 19:6 23:6 41:4
k=216 case2=11:16 31:6
k=228 case2=11:18 19:12 23:8 29:4
k=240 case2=
k=252 case2=11:12 17:12 23:10
k=264 case2=11:24 19:12 53:4
k=276 case2=23:12 31:6
k=288 case2=29:8
k=300 case2=17:12 19:12 43:6
k=312 case2=29:4
k=324 case2=11:24 41:4
k=336 case2=19:12 31:6
k=348 case2=11:28 17:12 29:12
k=360 case2=
k=372 case2=11:32 17:20 19:12 31:12 47:4
k=384 case2=11:24 43:6
k=396 case2=11:36 17:12
k=408 case2=17:24 19:12 23:12 41:8
k=420 case2=47:6 53:4
k=432 case2=29:12 31:12
k=444 case2=19:12 37:12 41:4 89:4
k=456 case2=11:36 17:24 19:24 23:16
k=468 case2=43:6 47:8 59:4 67:6
k=480 case2=23:18 37:12
k=492 case2=11:42 17:28 19:24 29:16 31:12 41:12
k=504 case2=11:44/r2 17:24 23:20 101:4
k=516 case2=11:36 29:12 37:12 43:12 47:10
k=528 case2=11:48 19:24 53:8 59:6
k=540 case2=17:28 23:12
k=552 case2=17:24 23:24 31:12 37:12 79:6
k=564 case2=11:44/r2 19:24 47:12 71:4 113:4
k=576 case2=29:16 53:4
k=588 case2=11:48 17:28 19:30 31:18 37:12 59:8
k=600 case2=17:24 19:24 29:12 43:12 67:6
k=612 case2=11:52 17:36 31:12 41:12
k=624 case2=11:44/r2 19:30 37:12
k=636 case2=11:56 19:24 29:20 53:12 71:6
k=648 case2=11:48 31:18 59:10
k=660 case2=17:36 19:30 29:16 37:12 83:4
k=672 case2=19:24 31:12
k=684 case2=11:44/r2 23:24 29:12 43:12 137:4
k=696 case2=17:40 29:24 37:12 41:16
k=708 case2=17:36 31:18 59:12 71:8 79:6 89:4
k=720 case2=103:6
k=732 case2=23:28 31:12 37:12 41:12 61:12 67:6
k=744 case2=11:44/r2 17:40 31:24 83:6 149:4
k=756 case2=11:66/r2 17:36 23:30
k=768 case2=11:68 37:12 43:12
k=780 case2=17:44 23:32 29:24 71:10
k=792 case2=11:72 17:40 53:12 61:12
k=804 case2=11:44/r2 17:36 23:34 31:24 37:12 67:12 101:4
k=816 case2=11:66/r2 19:42 23:24 41:16 43:18
k=828 case2=23:36 83:8
k=840 case2=37:12 47:12
k=852 case2=11:72 19:42 41:12 43:12 61:12 71:12 107:4
k=864 case2=11:44/r2 29:24 31:24 79:6 173:4
k=876 case2=11:66/r2 37:12 73:12
k=888 case2=11:78 19:42 37:24 89:8 127:6
k=900 case2=17:52 41:20 43:18 53:16 113:4
k=912 case2=11:72 19:48 61:12 83:10
k=924 case2=11:44/r2 31:24 37:24 103:6
k=936 case2=11:66/r2 41:16 43:12 47:16 67:12
k=948 case2=17:52 19:48 29:24 53:12 73:12 79:12
k=960 case2=23:36 37:24 107:6
k=972 case2=41:12 61:12 89:4 139:6
k=984 case2=11:44/r2 17:56 19:48 29:32 31:24 41:24 43:18 47:18 197:4
k=996 case2=11:66/r2 17:52 37:24 83:12
k=1008 case2=11:88/r2 23:40 101:8
k=1020 case2=17:60 19:48 43:12 73:12
k=1032 case2=11:92 23:42 29:24 37:24 43:24 47:20 61:12
k=1044 case2=11:44/r2 29:36 31:24 131:4
k=1056 case2=11:66/r2 19:48 53:16 59:12 151:6
k=1068 case2=11:88/r2 17:60 37:24 67:12 89:12 107:8
k=1080 case2=23:46 47:22
k=1092 case2=19:48 23:36 61:12 73:12 137:4
k=1104 case2=11:44/r2 23:48 31:24 37:24 41:24 53:12 79:12 101:4
k=1116 case2=11:66/r2 17:60 31:36 43:24 47:12
k=1128 case2=11:88/r2 19:48 29:36 47:24 103:6 113:8
k=1140 case2=19:60 37:24 127:6 163:6
k=1152 case2=11:102 61:12
k=1164 case2=11:44/r2 17:60 53:20 73:12 97:12 233:4
k=1176 case2=11:66/r2 19:60 31:36 37:24 59:16 107:10 131:6
k=1188 case2=11:88/r2 17:68/r2 29:40 41:28 149:4
k=1200 case2=43:24 67:12
k=1212 case2=17:60 19:60 29:36 37:24 53:16 61:12 101:12
k=1224 case2=11:44/r2 17:72 41:24
k=1236 case2=11:66/r2 17:68/r2 23:48 31:36 59:18 73:12 103:12 113:4
k=1248 case2=11:88/r2 19:60 37:24 139:6
k=1260 case2=53:12 79:12 97:12
k=1272 case2=11:112 17:72 19:66 29:40 53:24 61:12 67:18 71:12
k=1284 case2=11:44/r2 17:68/r2 19:60 23:52 37:24 43:24 107:12 257:4
k=1296 case2=11:66/r2 29:36 31:36 59:20
k=1308 case2=11:88/r2 17:76 19:66 23:54 41:28 73:12 109:12 131:8
k=1320 case2=17:72 19:60 37:24
k=1332 case2=17:68/r2 23:56 29:44 31:42 43:30 61:12 67:12 89:12 167:4
k=1344 case2=11:44/r2 19:66 41:24 269:4
k=1356 case2=11:66/r2 17:76 19:60 23:58 29:40 31:36 59:22 97:12 113:12 151:6
k=1368 case2=11:88/r2 17:72 23:48 43:24 137:8
k=1380 case2=17:68/r2 23:60 29:36 73:12 173:4
k=1392 case2=29:48 31:42 41:32 61:12 127:6 199:6
k=1404 case2=11:44/r2 17:76 47:24 59:12 67:18 281:4
k=1416 case2=11:66/r2 17:72 31:36 43:30 59:24 71:16 79:12 109:12
k=1428 case2=11:88/r2 17:68/r2 41:28 53:24 179:4
k=1440 case2=23:54 103:12 131:10
k=1452 case2=11:132/r2 31:42 43:24 61:12 73:12 97:12
k=1464 case2=41:24 61:24 67:12 163:6 293:4
k=1476 case2=17:68/r2 29:48 31:36 41:36 211:6
k=1488 case2=31:48 71:18 83:12 149:8
k=1500 case2=19:78 43:30 47:28 79:18 137:4 167:6
k=1512 case2=11:132/r2 17:88 23:60 89:16 101:12
k=1524 case2=17:68/r2 61:24 73:12 109:12 127:12 139:6 191:4
k=1536 case2=11:136 19:78 23:62 29:52 43:24 53:28 67:18
k=1548 case2=11:138 31:48 43:36 47:30 97:12
k=1560 case2=17:88 23:64 29:48 71:20 223:6
k=1572 case2=11:132/r2 17:68/r2 19:78 23:54 79:12 131:12 197:4
k=1584 case2=11:144 53:24 61:24 317:4
k=1596 case2=17:92 19:84 41:36 47:32 67:12 73:12 89:12
k=1608 case2=17:88 23:68 31:48 67:24 179:6
k=1620 case2=17:68/r2 29:52
k=1632 case2=11:132/r2 19:84 23:70 43:36 71:22 109:12 149:4
k=1644 case2=11:144 23:60 29:48 47:34 61:24 97:12 103:12 137:12
k=1656 case2=23:72 79:18 83:16 151:6
k=1668 case2=11:148 17:68/r2 19:84 31:48 73:12 139:12 167:8
k=1680 case2=47:24
k=1692 case2=11:132/r2 47:36 53:28 71:12 113:12
k=1704 case2=11:144 19:84 29:52 31:54 61:24 71:24
k=1716 case2=11:156 17:68/r2 41:36 43:36 101:16 191:6
k=1728 case2=29:48 31:48 79:12 173:8
k=1740 case2=19:84 29:60 53:24 67:24 73:12 83:18 97:12 109:12
k=1752 case2=11:132/r2 73:24
k=1764 case2=17:68/r2 31:54 59:24 61:24 353:4
k=1776 case2=11:156 19:84 37:48 89:16 127:12
k=1788 case2=23:72 31:48 149:12 163:6 179:8 199:6
k=1800 case2=17:104 43:36 53:32
k=1812 case2=11:132/r2 17:68/r2 19:84 37:48 79:18 101:12 151:12 227:4
k=1824 case2=11:164 19:96 29:60 31:54 61:24 73:24 83:20
k=1836 case2=11:156 17:108 23:76 41:36 97:12 167:10
k=1848 case2=11:168 31:48 37:48 53:28 103:12 109:12
k=1860 case2=17:68/r2 19:96 23:78 89:12 233:4
k=1872 case2=11:132/r2 67:24
k=1884 case2=17:108 23:80 29:64 37:48 41:44 43:36 59:28 61:24 79:12 157:12
k=1896 case2=19:96 53:24 73:24 79:24 173:4 211:6 271:6
k=1908 case2=11:168 17:68/r2 23:82 29:60 53:36 83:22 191:8 239:4
k=1920 case2=23:72 37:48 107:12 113:16
k=1932 case2=11:132/r2 17:108 19:96 23:84 97:12
k=1944 case2=11:174 59:30 61:24 139:12 389:4
k=1956 case2=11:176/r2 17:68/r2 19:102 37:48 41:36 89:20 103:18 109:12 163:12
k=1968 case2=11:168 19:96 29:64 41:48 43:36 47:36 73:24 179:10 197:8
k=1980 case2=17:108 83:12 283:6
k=1992 case2=11:132/r2 19:102 29:60 37:48 83:24
k=2004 case2=17:68/r2 19:96 59:32 61:24 67:24 167:12 223:6 251:4 401:4
k=2016 case2=11:176/r2 101:16
k=2028 case2=17:108 19:102 29:68 37:48 97:12 113:12 127:12
k=2040 case2=17:120 19:96 73:24 89:16 157:12 227:6
k=2052 case2=11:132/r2 17:68/r2 29:64 43:36 79:24 103:12 137:12 257:4
k=2064 case2=11:184 23:84 37:48 43:48 47:40 53:36 59:34 61:24 109:12
k=2076 case2=11:176/r2 29:60 31:66 67:30 173:12
k=2088 case2=11:188 17:120 29:72 41:48
k=2100 case2=17:68/r2 37:48 191:10 263:4
k=2112 case2=11:132/r2 47:42 59:24 73:24 101:12 151:12
k=2124 case2=17:124 59:36 61:24 71:24 89:12 97:12
k=2136 case2=11:176/r2 17:120 23:90 31:66 37:48 67:24 89:24 107:16
k=2148 case2=17:68/r2 43:48 179:12 239:6 269:4 307:6
k=2160 case2=23:92/r2 47:44 103:18 197:4
k=2172 case2=11:132/r2 17:124 29:72 37:48 41:52 53:40 109:12 181:12
k=2184 case2=17:120 19:114/r2 23:94 61:24 73:24 199:6
k=2196 case2=11:176/r2 17:68/r2 23:84 31:66 61:36 157:12
k=2208 case2=11:198/r2 23:96 37:48 41:48 67:30 79:24
k=2220 case2=17:124 19:114/r2 37:60 53:36 97:12 101:20 139:12
k=2232 case2=11:132/r2 17:120 29:76 31:72 43:48 149:12
k=2244 case2=11:204 17:68/r2 47:36 107:18 281:4 449:4
k=2256 case2=11:176/r2 19:114/r2 29:72 37:60 47:48 61:36 73:24 103:12 113:16 251:6
k=2268 case2=11:198/r2 67:24 71:28 227:8
k=2280 case2=19:120 109:12 127:12 163:12
k=2292 case2=11:132/r2 17:68/r2 19:114/r2 23:92/r2 31:72 37:60 41:52 191:12
k=2304 case2=11:204 461:4
k=2316 case2=11:176/r2 19:120 29:76 43:48 61:36 97:12 101:16 193:12 211:6 331:6
k=2328 case2=11:198/r2 17:136/r2 19:114/r2 37:60 41:48 53:40 73:24 97:24 137:16 233:8
k=2340 case2=17:68/r2 23:96 29:72 67:30 71:30 293:4
k=2352 case2=11:132/r2 19:120 31:72 107:20 131:12 157:12 181:12
k=2364 case2=11:204 19:114/r2 37:60 43:54 79:24 103:18 113:12 197:12 263:6
k=2376 case2=11:176/r2 17:136/r2 29:80 41:56 53:36 61:36
k=2388 case2=11:198/r2 17:68/r2 19:120 23:100 109:12 199:12 239:8
k=2400 case2=19:114/r2 29:76 37:60 43:48 67:24 73:24 89:24
k=2412 case2=11:132/r2 17:140 23:102 31:72 41:52 67:36 71:32 101:12 127:18 151:12
k=2424 case2=17:136/r2 19:120 23:92/r2 29:72 97:24 101:24
k=2436 case2=11:176/r2 17:68/r2 19:114/r2 23:104 37:60 53:44 61:36 271:6
k=2448 case2=11:198/r2 31:78 41:48 43:54 79:30 223:6
k=2460 case2=19:120 23:106 41:60 103:12 107:22 137:12
k=2472 case2=11:132/r2 17:136/r2 19:114/r2 23:96 31:72 37:60 59:36 73:24 103:24
k=2484 case2=11:224 17:68/r2 23:108 43:48 53:40 71:34 83:24 113:20 311:4
k=2496 case2=11:176/r2 19:120 61:36 109:12 139:12 227:10
k=2508 case2=11:198/r2 19:114/r2 31:78 37:60 157:12 193:12 251:8
k=2520 case2=17:136/r2 79:24 97:24
k=2532 case2=11:132/r2 17:68/r2 31:72 43:54 47:48 53:36 127:12 149:16 181:12 211:12 317:4
k=2544 case2=19:114/r2 37:60 53:48 67:36 71:24 73:24 283:6 509:4
k=2556 case2=11:176/r2 23:92/r2 61:36 71:36 107:12 233:4
k=2568 case2=11:198/r2 17:136/r2 23:104 31:78 43:48 107:24 257:8 367:6
k=2580 case2=17:68/r2 19:114/r2 29:88 37:60 41:60 43:60 89:28
k=2592 case2=11:132/r2 31:72 59:40 113:16 173:12
k=2604 case2=11:234 31:84 79:30 109:12 163:12 521:4
k=2616 case2=11:176/r2 17:136/r2 19:114/r2 23:108 37:60 61:36 73:24 97:24 109:24 131:16
k=2628 case2=11:198/r2 17:68/r2 47:52 73:36 239:10 263:8
k=2640 case2=19:138 139:18
k=2652 case2=11:132/r2 17:156 19:114/r2 37:60 59:42 83:28 379:6
k=2664 case2=17:136/r2 23:112 29:88 31:84 41:64 43:60 89:24 127:18 157:12
k=2676 case2=11:176/r2 17:68/r2 19:138 47:54 61:36 67:36 79:24 103:24 149:12 223:12
k=2688 case2=11:198/r2 19:114/r2 23:92/r2 269:8
k=2700 case2=17:156 23:104 41:60 53:48 73:36 113:12 193:12
k=2712 case2=11:132/r2 17:136/r2 19:138 23:116 59:44 97:24 113:24 151:12 181:12
k=2724 case2=11:244 17:68/r2 19:114/r2 29:92 31:84 47:56 101:24 109:24 227:12
k=2736 case2=11:176/r2 23:118 61:36 83:30 137:16
k=2748 case2=11:198/r2 17:156 23:108 29:88 43:60 131:18 229:12
k=2760 case2=17:136/r2 19:114/r2 23:120 79:30 251:10 307:6
k=2772 case2=11:132/r2 17:68/r2 47:58 59:46 73:36 139:12 347:4
k=2784 case2=29:96 31:84 41:64 127:12 199:12 557:4
k=2796 case2=11:176/r2 17:156 19:114/r2 61:36 233:12 311:6
k=2808 case2=11:198/r2 17:136/r2 47:48 67:36 97:24 281:8
k=2820 case2=17:68/r2 23:92/r2 41:60 47:60 59:36 83:32 157:12 257:4 353:4
k=2832 case2=11:132/r2 19:114/r2 43:60 59:48 79:24 109:24
k=2844 case2=17:156 31:84 73:36 79:36 89:28 569:4
k=2856 case2=11:176/r2 17:136/r2 53:48 61:36
k=2868 case2=11:198/r2 17:68/r2 19:114/r2 29:96 41:68 137:12 151:18 239:12 359:4
k=2880 case2=43:66 67:42 103:24 131:20
k=2892 case2=11:132/r2 23:120 181:12 193:12 241:12 263:10
k=2904 case2=11:264/r2 17:136/r2 19:114/r2 31:84 41:64 83:34 97:24
k=2916 case2=17:68/r2 43:60 61:36 73:36 127:18 139:18
k=2928 case2=29:100 61:48 89:24 101:28 163:12 293:8
k=2940 case2=17:172 19:114/r2 23:124 41:60 67:36 109:24 173:16
k=2952 case2=17:136/r2 23:92/r2 29:96 41:72 197:12 211:12 269:4
k=2964 case2=11:264/r2 17:68/r2 19:156 23:126 31:84 43:66 593:4
k=2976 case2=19:114/r2 31:96 71:36 83:24 149:16 157:12 229:12 271:6 331:6
k=2988 case2=11:268 17:172 23:128 61:48 73:36 83:36
k=3000 case2=17:136/r2 19:156 43:60 79:36 97:24 167:12
k=3012 case2=11:272 17:68/r2 19:114/r2 23:130 29:100 53:48 67:42 131:22 137:20 151:12 251:12
k=3024 case2=11:264/r2 23:120 89:32 101:24
k=3036 case2=11:276 17:172 19:156 29:96 31:96 127:12
k=3048 case2=17:136/r2 19:114/r2 43:66 61:48 109:24 113:24 127:24 139:12
k=3060 case2=17:68/r2 73:36 383:4
k=3072 case2=19:156 29:104 41:72 53:56 67:36 181:12 439:6
k=3084 case2=11:264/r2 19:114/r2 23:92/r2 43:60 103:24 193:12 257:12 281:4 617:4
k=3096 case2=11:276 17:136/r2 29:100 31:96 43:72 47:60 97:24 163:18
k=3108 case2=17:68/r2 19:156 37:84 61:48 89:28 173:12 283:6 311:8 389:4
k=3120 case2=19:114/r2 29:96 71:40 149:12 223:12 347:6
k=3132 case2=11:282 29:108 73:36 131:12 157:12 241:12
k=3144 case2=11:264/r2 17:136/r2 19:156 37:84 67:42 131:24 137:16
k=3156 case2=11:276 17:68/r2 19:114/r2 31:96 41:76 79:36 109:24 263:12
k=3168 case2=11:288 53:48 61:48 151:18 317:8
k=3180 case2=19:156 37:84 43:72 53:60 59:48 199:12
k=3192 case2=17:136/r2 19:114/r2 31:102 41:72 47:64 71:42 89:24 97:24 103:30 139:18
k=3204 case2=11:264/r2 17:68/r2 67:36 73:36 89:36 107:24 229:12 401:4 641:4
k=3216 case2=23:92/r2 29:108 31:96 37:84 67:48 179:12 293:4
k=3228 case2=11:288 17:188 19:114/r2 61:48 101:28 269:12 359:6
k=3240 case2=17:136/r2 23:138/r2 47:66 463:6
k=3252 case2=11:292 17:68/r2 31:102 37:84 163:12 181:12 271:12
k=3264 case2=11:264/r2 19:114/r2 23:140 43:72 71:44 109:24 653:4
k=3276 case2=11:296 31:96 41:76 73:36 113:28 137:12 149:20 193:12
k=3288 case2=11:288 17:136/r2 23:142 37:84 47:68 61:48 97:24 103:24 137:24 157:12
k=3300 case2=17:68/r2 19:114/r2 29:108 59:52 127:24 367:6
k=3312 case2=23:144 31:102 41:72 79:36 151:12
k=3324 case2=11:264/r2 19:174 37:84 101:24 139:12 277:12
k=3336 case2=17:136/r2 19:114/r2 31:96 47:70 53:60 71:46 139:24 167:16
k=3348 case2=17:68/r2 23:92/r2 31:108 43:72 61:48 67:48 73:36 197:16 419:4
k=3360 case2=19:174 37:84 59:54
k=3372 case2=19:114/r2 23:138/r2 47:60 109:24 211:12 241:12 281:12 307:6
k=3384 case2=11:264/r2 17:136/r2 29:108 47:72 97:24 113:24 677:4
k=3396 case2=11:306 17:68/r2 19:174 37:84 41:76 43:78 71:36 79:42 103:30 283:12
k=3408 case2=11:308/r2 19:114/r2 31:108 61:48 71:48 379:6 487:6
k=3420 case2=29:116/r2 59:56 73:36 107:28 149:16 163:18 311:10
k=3432 case2=11:312 17:136/r2 37:84 41:72 43:72 101:32 181:12 191:12 229:12
k=3444 case2=11:264/r2 17:68/r2 19:114/r2 23:144 41:84 53:64 157:12 383:6 431:4
k=3456 case2=173:16
k=3468 case2=11:308/r2 17:204/r2 29:108 31:108 37:84 61:48 79:36 89:36 151:18 193:12 347:8
k=3480 case2=19:114/r2 23:92/r2 29:120 43:78 67:48 83:36 97:24 109:24 317:4
k=3492 case2=11:312 23:148 53:60 73:36 97:36 103:24 233:12 499:6
k=3504 case2=11:264/r2 23:138/r2 29:116/r2 37:84 73:48 167:18 701:4
k=3516 case2=11:316 17:204/r2 19:114/r2 23:150 43:72 293:12
k=3528 case2=11:308/r2 31:108 59:48 61:48 101:28 107:30 353:8
k=3540 case2=23:152 37:84 59:60 197:12 443:4
k=3552 case2=11:312 19:114/r2 37:96 79:42 127:24
k=3564 case2=11:264/r2 17:204/r2 29:120 31:114 41:84 43:78 149:12 223:12
k=3576 case2=23:144 73:48 149:24 163:12 179:16 199:12
k=3588 case2=11:308/r2 19:114/r2 23:156 29:116/r2 31:108 37:96 61:48 97:36 109:24 359:8 449:4
k=3600 case2=43:72 53:64 103:30 157:12 277:12
## k=12mu, mu<=300: Case(2) pairs=1631 problems=0 [] filtration_mismatch=0 direct_mismatch=0 no_explicit_witness=0 r_hist={1: 1394, 2: 237}
k=4 case2=
k=6 case2=
k=8 case2=
k=10 case2=
k=14 case2=
k=16 case2=
k=18 case2=
k=20 case2=
k=22 case2=
k=26 case2=
k=28 case2=7:4
k=30 case2=5:6
k=32 case2=
k=34 case2=5:6 7:4
k=38 case2=5:6
k=40 case2=7:4
k=42 case2=5:6
k=44 case2=11:4
k=46 case2=5:6 7:4
k=50 case2=5:6
k=52 case2=7:4 13:4
k=54 case2=5:6 11:4
k=56 case2=7:8
k=58 case2=5:6 7:4
k=62 case2=5:6 7:8
k=64 case2=7:4 11:4 13:4
k=66 case2=11:6
k=68 case2=7:8 17:4
k=70 case2=7:4
k=74 case2=7:8 11:4
k=76 case2=7:4 11:6 13:4 19:4
k=78 case2=13:6
k=80 case2=7:8
k=82 case2=7:4
k=86 case2=7:8 11:6
k=88 case2=11:8 13:4
k=90 case2=5:18 13:6
k=92 case2=23:4
k=94 case2=5:18 11:4 19:4
k=98 case2=5:18 11:8
k=100 case2=13:4 17:4
k=102 case2=5:18 13:6 17:6
k=104 case2=11:4 13:8
k=106 case2=5:18 11:6
k=110 case2=5:18
k=112 case2=7:16 13:4 19:4
k=114 case2=5:18 11:4 13:6 19:6 23:4
k=116 case2=11:6 13:8 17:4 29:4
k=118 case2=5:18 7:16 11:8 17:6
k=122 case2=5:18
k=124 case2=7:16 11:4 13:4 31:4
k=126 case2=11:6 13:6
k=128 case2=11:8 13:8
k=130 case2=7:16 13:10 19:4
k=134 case2=11:4 17:6
k=136 case2=7:16 13:4 17:8 23:4
k=138 case2=13:6 23:6
k=140 case2=7:20 13:8
k=142 case2=7:16 11:12 13:10
k=146 case2=7:20
k=148 case2=7:16 13:4 17:4 19:4 37:4
k=150 case2=5:30/r2 13:6 17:6 19:6
k=152 case2=7:20 11:12 13:8 17:8 19:8
k=154 case2=5:30/r2 7:16 13:10 31:4
k=158 case2=5:30/r2 7:20 23:4
k=160 case2=7:16 23:6
k=162 case2=5:30/r2 11:12
k=164 case2=7:20 17:4 41:4
k=166 case2=5:30/r2 7:16 17:6 19:4
k=170 case2=5:30/r2 7:20 17:10 19:8
k=172 case2=11:12 29:4 43:4
k=174 case2=5:30/r2 29:6
k=176 case2=11:16
k=178 case2=5:30/r2
k=182 case2=5:30/r2 11:12 17:6 23:6
k=184 case2=17:8 19:4 23:8 31:4 37:4
k=186 case2=5:30/r2 11:16 17:10 19:6 31:6
k=188 case2=19:8 47:4
k=190 case2=5:30/r2 19:10
k=194 case2=5:30/r2
k=196 case2=7:28/r2 11:16 17:4
k=198 case2=5:30/r2 11:18 17:6
k=200 case2=17:8 29:4
k=202 case2=5:30/r2 7:28/r2 11:12 17:10 19:4 23:4 29:6
k=206 case2=5:30/r2 11:16 19:8 23:8
k=208 case2=7:28/r2 11:18 13:16 19:10
k=210 case2=5:30/r2
k=212 case2=11:12 53:4
k=214 case2=5:30/r2 7:28/r2 31:4 43:4
k=218 case2=5:30/r2 11:18
k=220 case2=7:28/r2 13:16 17:12 19:4 37:4
k=222 case2=5:30/r2 11:12 19:6 37:6
k=224 case2=7:32 19:8 23:4
k=226 case2=5:30/r2 7:28/r2 11:16 19:10 23:6
k=230 case2=5:30/r2 7:32 23:10 29:6
k=232 case2=7:28/r2 11:12 13:16 29:8
k=234 case2=5:30/r2 13:18 47:4
k=236 case2=7:32 11:16 17:12 59:4
k=238 case2=5:30/r2 7:28/r2 11:18
k=242 case2=5:30/r2 7:32 11:12
k=244 case2=7:28/r2 13:16 31:4 41:4 61:4
k=246 case2=5:30/r2 11:16 13:18 19:12 23:4 31:6 41:6
k=248 case2=7:32 11:18 23:6 31:8
k=250 case2=5:30/r2 7:28/r2 23:8
k=254 case2=5:30/r2 7:32
k=256 case2=7:28/r2 11:16 13:16 29:4 37:4 43:4
k=258 case2=5:30/r2 11:18 13:18 29:6 37:6 43:6
k=260 case2=13:20 29:8
k=262 case2=5:30/r2 7:28/r2 11:12
k=266 case2=5:30/r2 11:16
k=268 case2=7:28/r2 13:16 17:12 23:4 67:4
k=270 case2=5:30/r2 13:18 23:6
k=272 case2=13:20 23:8
k=274 case2=5:30/r2 7:28/r2 11:24 23:10 31:4
k=278 case2=5:30/r2 31:8
k=280 case2=7:28/r2 13:16 47:4
k=282 case2=5:30/r2 13:18 19:12 47:6
k=284 case2=11:24 13:20 17:12 29:4 41:4 71:4
k=286 case2=5:30/r2 7:28/r2 13:22 29:6 41:6
k=290 case2=5:30/r2 29:10
k=292 case2=7:28/r2 13:16 37:4 73:4
k=294 case2=5:30/r2 11:24 13:18 37:6 59:4
k=296 case2=13:20 37:8
k=298 case2=5:30/r2 7:28/r2 13:22 23:12 43:4
k=302 case2=5:30/r2
k=304 case2=7:28/r2 11:24 13:16 19:16 31:4 61:4
k=306 case2=13:18 17:18 31:6
k=308 case2=7:44 11:28 13:20 31:8
k=310 case2=7:28/r2 13:22 31:10
k=314 case2=7:44 11:24 29:6
k=316 case2=7:28/r2 17:12 29:8 53:4 79:4
k=318 case2=11:28 19:12 29:10 53:6
k=320 case2=7:44 23:12
k=322 case2=7:28/r2 17:18 19:16
k=326 case2=7:44 41:6 47:4
k=328 case2=7:28/r2 11:28 37:4 41:8 47:6
k=330 case2=5:66 37:6
k=332 case2=7:44 17:12 37:8 83:4
k=334 case2=5:66 7:28/r2 11:24 31:4 67:4
k=338 case2=5:66 7:44 11:28 17:18 31:8
k=340 case2=7:28/r2 17:20 19:16 29:4 31:10 43:4
k=342 case2=5:66 23:12 29:6 43:6
k=344 case2=11:24 29:8 43:8
k=346 case2=5:66 7:28/r2 29:10
k=350 case2=5:66
k=352 case2=7:28/r2 11:32 59:4
k=354 case2=5:66 11:24 17:18 19:12 59:6 71:4
k=356 case2=17:20 89:4
k=358 case2=5:66 7:28/r2 11:28 19:16
k=362 case2=5:66 11:32
k=364 case2=7:28/r2 11:24 13:28 17:12 23:12 31:4 37:4 41:4 61:4 73:4
k=366 case2=31:6 37:6 41:6 61:6
k=368 case2=11:28 23:16 31:8 37:8 41:8 53:4
k=370 case2=7:28/r2 17:18 31:10 37:10 53:6
k=374 case2=11:24 17:22 47:6
k=376 case2=7:28/r2 13:28 19:16 29:12 47:8
k=378 case2=11:28
k=380 case2=17:12 19:20
k=382 case2=7:28/r2 11:32 43:4
k=386 case2=17:18 23:12 43:8
k=388 case2=7:28/r2 11:28 13:28 17:20 97:4
k=390 case2=5:78 13:30 17:22 19:12 23:16
k=392 case2=7:56/r2 11:32
k=394 case2=5:78 7:28/r2 11:24 19:16 79:4
k=398 case2=5:78 7:56/r2 11:28 19:20
k=400 case2=7:28/r2 13:28 37:4 67:4
k=402 case2=5:78 13:30 17:18 31:12 37:6 67:6
k=404 case2=7:56/r2 17:20 29:12 37:8 41:4 101:4
k=406 case2=5:78 7:28/r2 11:36 17:22 37:10 41:6
k=410 case2=5:78 7:56/r2 41:10 59:4
k=412 case2=7:28/r2 13:28 19:16 23:16 59:6 103:4
k=414 case2=5:78 13:30 23:18 83:4
k=416 case2=7:56/r2 11:36 13:32 19:20
k=418 case2=5:78 7:28/r2 19:22 47:4
k=422 case2=5:78 7:56/r2 47:8 53:6
k=424 case2=7:28/r2 13:28 17:24 43:4 53:8 61:4 71:4
k=426 case2=11:36 13:30 19:12 43:6 61:6 71:6
k=428 case2=7:56/r2 13:32 43:8 107:4
k=430 case2=7:28/r2 19:16 23:12 43:10
k=434 case2=7:56/r2 19:20 23:16
k=436 case2=7:28/r2 11:36 13:28 19:22 23:18 37:4 73:4 109:4
k=438 case2=13:30 37:6 73:6
k=440 case2=7:56/r2 13:32 17:24 37:8
k=442 case2=7:28/r2 13:34 17:26 37:10
k=446 case2=7:56/r2 11:36 41:6
k=448 case2=7:28/r2 13:28 19:16 41:8
k=450 case2=5:90/r2 13:30 41:10
k=452 case2=7:56/r2 13:32 19:20 23:12 113:4
k=454 case2=5:90/r2 7:28/r2 13:34 19:22
k=458 case2=5:90/r2 7:56/r2 17:26 23:18
k=460 case2=7:28/r2 13:28 23:20 29:12
k=462 case2=5:90/r2 11:42 13:30 31:12
k=464 case2=7:56/r2 13:32 29:16 47:4
k=466 case2=5:90/r2 7:28/r2 11:36 13:34 43:4 47:6 67:4
k=470 case2=5:90/r2 7:56/r2 43:8 47:10 59:6
k=472 case2=7:28/r2 11:42 17:24 43:10 53:4 59:8 79:4
k=474 case2=5:90/r2 17:26 19:24 23:12 53:6 79:6
k=476 case2=7:56/r2 11:36 17:28 53:8
k=478 case2=5:90/r2 7:28/r2 23:16
k=482 case2=5:90/r2 7:56/r2 11:42 23:20
k=484 case2=7:28/r2 11:44/r2 41:4 61:4 97:4
k=486 case2=5:90/r2 11:36 41:6 61:6
k=488 case2=7:56/r2 17:24 29:12 41:8 61:8
k=490 case2=5:90/r2 7:28/r2 17:26 41:10
k=494 case2=5:90/r2 7:56/r2 11:44/r2 71:4
k=496 case2=7:28/r2 11:36 23:12 31:16 71:6 83:4
k=498 case2=5:90/r2 83:6
k=500 case2=7:56/r2 23:16
k=502 case2=5:90/r2 7:28/r2 11:42 23:18
k=506 case2=5:90/r2 7:56/r2 11:36 17:26
k=508 case2=7:28/r2 17:28 43:4 73:4 127:4
k=510 case2=5:90/r2 17:30 19:24 43:6 47:4 73:6
k=512 case2=7:56/r2 11:42 43:8 47:6
k=514 case2=5:90/r2 7:28/r2 11:44/r2 43:10 47:8 103:4
k=518 case2=5:90/r2 7:56/r2 23:12
k=520 case2=7:28/r2 13:40 17:24 29:16
k=522 case2=5:90/r2 11:42 17:26 23:16 29:18 31:12
k=524 case2=7:56/r2 11:44/r2 17:28 23:18 53:4 131:4
k=526 case2=5:90/r2 7:28/r2 11:36 17:30 23:20 31:16 53:6 59:4
k=530 case2=5:90/r2 7:56/r2 53:10 59:8
k=532 case2=7:28/r2 13:40 19:28 41:12 67:4 89:4
k=534 case2=5:90/r2 11:44/r2 67:6 89:6 107:4
k=536 case2=7:56/r2 17:24 67:8
k=538 case2=5:90/r2 7:28/r2 11:48 17:26
k=542 case2=5:90/r2 7:56/r2 17:30
k=544 case2=7:28/r2 11:44/r2 13:40 23:16 29:12 61:4 109:4
k=546 case2=5:90/r2 13:42 19:24 23:18 61:6
k=548 case2=7:56/r2 11:48 23:20 29:16 61:8 137:4
k=550 case2=5:90/r2 7:28/r2 19:28 29:18 79:4
k=554 case2=5:90/r2 7:56/r2 11:44/r2 17:26
k=556 case2=7:28/r2 13:40 17:28 31:16 47:4 139:4
k=558 case2=5:90/r2 11:48 13:42 17:30 31:18 43:12 47:6
k=560 case2=7:56/r2 47:8
k=562 case2=5:90/r2 7:28/r2 47:10
k=566 case2=5:90/r2 7:56/r2 71:6
k=568 case2=7:28/r2 11:48 13:40 17:24 19:28 71:8
k=570 case2=5:90/r2 13:42 17:26 19:30
k=572 case2=7:56/r2 11:52 13:44 17:28 29:12 41:12
k=574 case2=5:90/r2 7:28/r2 11:44/r2 17:30 23:24
k=578 case2=5:90/r2 7:56/r2 11:48 17:34 29:18 53:6 83:4
k=580 case2=7:28/r2 13:40 29:20 53:8 73:4 83:6 97:4
k=582 case2=5:90/r2 11:52 13:42 19:24 31:12 53:10 73:6 97:6
k=584 case2=7:56/r2 11:44/r2 13:44 17:24 59:4 73:8
k=586 case2=5:90/r2 7:28/r2 17:26 19:28 31:16 59:6
k=590 case2=5:90/r2 7:56/r2 17:30 59:10
k=592 case2=11:52 13:40 37:16
k=594 case2=5:90/r2 11:44/r2 13:42 17:34
k=596 case2=13:44 23:24 149:4
k=598 case2=5:90/r2 11:48 13:46 67:4
k=602 case2=5:90/r2 11:52 17:26 67:8
k=604 case2=11:44/r2 13:40 17:28 19:28 29:16 61:4 101:4 151:4
k=606 case2=13:42 17:30 19:30 29:18 61:6 101:6
k=608 case2=11:48 13:44 19:32 29:20 61:8
k=610 case2=13:46 17:34 47:12 61:10
k=614 case2=11:44/r2
k=616 case2=7:88 11:56 13:40 31:16 103:4
k=618 case2=11:48 13:42 19:24 23:24 31:18 103:6
k=620 case2=13:44 31:20 89:4
k=622 case2=7:88 11:52 13:46 19:28 89:6
k=626 case2=11:56 19:32
k=628 case2=7:88 11:48 17:36 29:12 37:16 53:4 79:4 157:4
k=630 case2=5:126 53:6 79:6
k=632 case2=11:52 29:16 53:8 79:8
k=634 case2=5:126 7:88 11:44/r2 13:46 29:18 53:10 71:4 127:4
k=638 case2=5:126 11:48 29:22 71:8
k=640 case2=7:88 19:28 23:24 107:4
k=642 case2=5:126 11:52 19:30 31:12 43:12 59:4 107:6
k=644 case2=7:92 11:44/r2 17:36 19:32 23:28 59:6
k=646 case2=5:126 7:88 11:56 13:46 19:34 31:16 59:8
k=650 case2=5:126 7:92 31:20
k=652 case2=7:88 11:52 41:12 73:4 109:4 163:4
k=654 case2=5:126 11:44/r2 19:24 73:6 109:6 131:4
k=656 case2=7:92 11:56 29:12 41:16 47:12 73:8
k=658 case2=5:126 7:88 11:48 13:46 19:28
k=662 case2=5:126 7:92 11:52 19:32 23:24 29:18 83:6
k=664 case2=7:88 11:44/r2 19:34 29:20 37:16 61:4 67:4 83:8
k=666 case2=23:28 29:22 37:18 61:6 67:6
k=668 case2=7:92 61:8 67:8 167:4
k=670 case2=7:88 13:46 61:10 67:10
k=674 case2=7:92 11:44/r2
k=676 case2=13:52/r2 17:36 19:28 31:16 97:4 113:4
k=678 case2=19:30 31:18 97:6 113:6
k=680 case2=17:40 19:32 31:20
k=682 case2=13:46 19:34 31:22
k=686 case2=
k=688 case2=13:52/r2 23:28 29:16 43:16 53:12
k=690 case2=5:138 23:30 29:18
k=692 case2=17:36 29:20 41:12 173:4
k=694 case2=5:138 11:44/r2 13:46 29:22 139:4
k=698 case2=5:138
k=700 case2=7:100 13:52/r2 37:16 59:4
k=702 case2=5:138 13:54 31:12 37:18 47:12 59:6
k=704 case2=11:44/r2 59:8 71:4 101:4
k=706 case2=5:138 7:100 13:46 23:24 31:16 59:10 71:6 79:4 101:6
k=710 case2=5:138 23:28 31:20 71:10 79:8 89:6
k=712 case2=7:100 13:52/r2 17:40 23:30 31:22 89:8
k=714 case2=5:138 11:44/r2 13:54 17:42
k=716 case2=179:4
k=718 case2=5:138 7:100 13:46 103:4
k=722 case2=5:138
k=724 case2=7:100 11:44/r2 13:52/r2 17:36 29:24 61:4 73:4 181:4
k=726 case2=11:66/r2 13:54 43:12 61:6 73:6
k=728 case2=7:104 13:56 17:40 23:24 61:8 73:8
k=730 case2=7:100 13:46 17:42 43:16 61:10 67:4 73:10
k=734 case2=7:104 11:44/r2 23:30 67:8
k=736 case2=7:100 11:66/r2 13:52/r2 23:32 31:16 37:16 41:16 67:10
k=738 case2=13:54 31:18 37:18 41:18
k=740 case2=7:104 13:56 17:36 31:20 37:20 53:12
k=742 case2=7:100 13:46 31:22 83:4
k=746 case2=7:104 11:66/r2 17:42 83:8 107:4
k=748 case2=7:100 11:68 13:52/r2 17:44 47:12 107:6
k=750 case2=5:150/r3 13:54 23:24
k=752 case2=7:104 13:56 29:24 47:16
k=754 case2=5:150/r3 7:100 11:44/r2 13:46 23:28 151:4
k=758 case2=5:150/r3 7:104 11:68 23:32
k=760 case2=13:52/r2 17:40 19:40 109:4 127:4
k=762 case2=5:150/r3 13:54 17:42 109:6 127:6
k=764 case2=11:44/r2 13:56 17:44 191:4
k=766 case2=5:150/r3 11:66/r2 13:46 59:12
k=770 case2=5:150/r3
k=772 case2=13:52/r2 17:36 23:24 37:16 41:12 43:16 97:4 193:4
k=774 case2=5:150/r3 11:44/r2 13:54 31:24 37:18 43:18 71:4 97:6
k=776 case2=11:66/r2 13:56 17:40 23:28 37:20 41:16 71:6 97:8
k=778 case2=5:150/r3 11:68 13:46 17:42 19:40 23:30 41:18 71:8
k=782 case2=5:150/r3 17:46 23:34
k=784 case2=7:112/r2 11:44/r2 13:52/r2 79:4 131:4 157:4
k=786 case2=5:150/r3 11:66/r2 79:6 131:6
k=788 case2=11:68 17:36 79:8 113:4 197:4
k=790 case2=5:150/r3 7:112/r2 79:10 113:6
k=794 case2=5:150/r3 11:44/r2 17:42 23:24 47:12
k=796 case2=7:112/r2 11:66/r2 13:52/r2 17:44 19:40 67:4 73:4 89:4 199:4
k=798 case2=5:150/r3 17:46 19:42 23:28 47:16 67:6 73:6 89:6
k=800 case2=23:30 67:8 73:8 89:8
k=802 case2=5:150/r3 7:112/r2 11:72 23:32 67:10 73:10
k=806 case2=5:150/r3 11:66/r2 101:6
k=808 case2=7:112/r2 13:52/r2 17:40 29:24 37:16 101:8
k=810 case2=5:150/r3 17:42 37:18 43:12
k=812 case2=7:116 11:72 17:44 37:20 41:12
k=814 case2=5:150/r3 7:112/r2 11:44/r2 17:46 19:40 37:22 43:16 163:4
k=818 case2=5:150/r3 7:116 41:18
k=820 case2=7:112/r2 13:52/r2 23:28 41:20 103:4 137:4
k=822 case2=5:150/r3 11:72 23:30 103:6 137:6
k=824 case2=7:116 11:44/r2 23:32 59:12 83:4 103:8
k=826 case2=5:150/r3 7:112/r2 11:66/r2 23:34 83:6
k=830 case2=5:150/r3 7:116 83:10
k=832 case2=7:112/r2 11:72 13:52/r2 19:40 139:4
k=834 case2=5:150/r3 11:44/r2 19:42 31:24 139:6 167:4
k=836 case2=7:116 11:66/r2 19:44 29:24
k=838 case2=5:150/r3 7:112/r2
k=842 case2=5:150/r3 7:116 11:72
k=844 case2=7:112/r2 11:44/r2 13:52/r2 37:16 47:16 53:12 71:4 211:4
k=846 case2=5:150/r3 11:66/r2 37:18 47:18 71:6
k=848 case2=37:20 53:16 71:8
k=850 case2=5:150/r3 7:112/r2 19:40 23:36 37:22 71:10
k=854 case2=5:150/r3 11:44/r2 19:44 107:6
k=856 case2=7:112/r2 11:66/r2 13:52/r2 41:16 43:16 107:8
k=858 case2=5:150/r3 11:78 13:66 41:18 43:18
k=860 case2=41:20 43:20
k=862 case2=5:150/r3 7:112/r2 11:72 79:4
k=866 case2=5:150/r3 11:66/r2 79:8
k=868 case2=7:112/r2 11:78 13:52/r2 19:40 31:28 73:4 79:10 97:4 109:4
k=870 case2=5:150/r3 13:66 19:42 29:30 67:12 73:6 97:6 109:6
k=872 case2=11:72 19:44 23:36 73:8 97:8 109:8
k=874 case2=5:150/r3 7:112/r2 11:44/r2 19:46 73:10
k=878 case2=5:150/r3 11:78
k=880 case2=7:112/r2 13:52/r2 37:16
k=882 case2=5:150/r3 11:72 13:66 37:18 59:12
k=884 case2=11:44/r2 13:68 17:52 37:20 89:4
k=886 case2=5:150/r3 7:112/r2 11:66/r2 19:40 37:22 47:12 89:6 127:4
k=890 case2=5:150/r3 19:44 47:16 89:10
k=892 case2=7:112/r2 11:72 13:52/r2 19:46 29:24 41:12 47:18 149:4 223:4
k=894 case2=5:150/r3 11:44/r2 13:66 23:36 31:24 43:12 149:6 179:4
k=896 case2=7:128 11:66/r2 13:68 41:16 53:12
k=898 case2=5:150/r3 7:112/r2 11:78 29:30 31:28 41:18 43:16
k=902 case2=5:150/r3 7:128 11:72 41:22 43:20 113:6
k=904 case2=7:112/r2 11:44/r2 13:52/r2 19:40 101:4 113:8 151:4 181:4
k=906 case2=5:150/r3 11:66/r2 13:66 19:42 83:4 101:6 151:6
k=908 case2=7:128 11:78 13:68 19:44 83:6 101:8 227:4
k=910 case2=5:150/r3 7:112/r2 13:70 19:46 83:8
k=914 case2=5:150/r3 7:128 11:44/r2 131:4
k=916 case2=7:112/r2 11:66/r2 13:52/r2 17:52 23:36 131:6 229:4
k=918 case2=5:150/r3 11:78 13:66 17:54
k=920 case2=7:128 13:68 23:40 29:24
k=922 case2=5:150/r3 7:112/r2 11:72 13:70 71:12 103:4
k=926 case2=5:150/r3 7:128 11:66/r2 29:30 103:8
k=928 case2=7:112/r2 13:52/r2 29:32 31:28
k=930 case2=5:150/r3 13:66 19:48
k=932 case2=13:68 17:52 41:12 47:12 233:4
k=934 case2=5:150/r3 7:112/r2 11:44/r2 13:70 17:54
k=938 case2=5:150/r3 23:36 41:18 47:18
k=940 case2=7:112/r2 13:52/r2 41:20 43:16 47:20 59:12 79:4 157:4
k=942 case2=5:150/r3 23:40 41:22 43:18 79:6 157:6
k=944 case2=11:44/r2 43:20 59:16 79:8
k=946 case2=5:150/r3 7:112/r2 11:66/r2 43:22 79:10
k=950 case2=5:150/r3 17:54
k=952 case2=7:112/r2 13:52/r2 17:56 53:16
k=954 case2=5:150/r3 11:44/r2 29:30 31:24 53:18 191:4
k=956 case2=11:66/r2 29:32 137:4 239:4
k=958 case2=5:150/r3 7:112/r2 31:28 107:4 137:6
k=962 case2=5:150/r3 107:8
k=964 case2=7:112/r2 11:44/r2 13:52/r2 17:52 23:40 97:4 193:4 241:4
k=966 case2=5:150/r3 11:66/r2 17:54 19:48 23:42 97:6
k=968 case2=11:88/r2 17:56 97:8
k=970 case2=5:150/r3 7:112/r2 97:10 139:4
k=974 case2=5:150/r3 11:44/r2 89:6
k=976 case2=7:112/r2 11:66/r2 13:52/r2 29:24 41:16 61:16 89:8 109:4 163:4
k=978 case2=5:150/r3 11:88/r2 41:18 43:12 47:12 89:10 109:6 163:6
k=980 case2=7:140/r2 17:52 41:20 109:8
k=982 case2=5:150/r3 7:112/r2 17:54 23:36 29:30 41:22 43:16 47:16
k=986 case2=5:150/r3 7:140/r2 11:66/r2 17:58 23:40 29:34 43:20 47:20
k=988 case2=7:112/r2 11:88/r2 13:52/r2 19:52 23:42 31:28 43:22 83:4
k=990 case2=5:150/r3 83:6
k=992 case2=7:140/r2 31:32 71:12 83:8
k=994 case2=5:150/r3 7:112/r2 11:44/r2 83:10 199:4
k=998 case2=5:150/r3 7:140/r2 11:88/r2 17:54 59:12
k=1000 case2=7:112/r2 13:52/r2 17:56 53:12 167:4
k=1002 case2=5:150/r3 17:58 19:48 59:16 67:12 167:6
k=1004 case2=7:140/r2 11:44/r2 23:36 29:24 53:16 101:4 251:4
k=1006 case2=5:150/r3 7:112/r2 11:66/r2 19:52 53:18 101:6
k=1010 case2=5:150/r3 7:140/r2 23:42 29:30 101:10
k=1012 case2=7:112/r2 11:92 13:52/r2 17:52 29:32 113:4 127:4
k=1014 case2=5:150/r3 11:44/r2 13:78/r2 17:54 29:34 31:24 113:6 127:6
k=1016 case2=7:140/r2 11:66/r2 17:56 113:8 127:8
k=1018 case2=5:150/r3 7:112/r2 11:88/r2 17:58 31:28
k=1022 case2=5:150/r3 7:140/r2 11:92 31:32
k=1024 case2=7:112/r2 11:44/r2 13:52/r2 19:52 41:24 43:16 47:12 103:4
k=1026 case2=5:150/r3 11:66/r2 13:78/r2 23:36 43:18 79:12 103:6
k=1028 case2=7:140/r2 11:88/r2 43:20 47:16 103:8 257:4
k=1030 case2=5:150/r3 7:112/r2 23:40 43:22 47:18 103:10
k=1034 case2=5:150/r3 7:140/r2 11:44/r2 47:22
k=1036 case2=7:112/r2 11:66/r2 13:52/r2 17:60 37:28 61:16 173:4
k=1038 case2=5:150/r3 11:88/r2 13:78/r2 19:48 29:30 173:6
k=1040 case2=7:140/r2 13:80 29:32 149:4
k=1042 case2=5:150/r3 7:112/r2 11:92 19:52 29:34 149:6
k=1046 case2=5:150/r3 7:140/r2 11:66/r2 131:6
k=1048 case2=7:112/r2 11:88/r2 13:52/r2 23:36 31:28 131:8
k=1050 case2=5:150/r3 13:78/r2
k=1052 case2=7:140/r2 11:92 13:80 17:60 23:40 31:32 53:12 263:4
k=1054 case2=5:150/r3 7:112/r2 11:44/r2 23:42 31:34 151:4 211:4
k=1058 case2=5:150/r3 7:140/r2 11:88/r2 23:46 53:18
k=1060 case2=7:112/r2 13:52/r2 19:52 53:20 59:16 89:4 97:4
k=1062 case2=5:150/r3 13:78/r2 59:18 71:12 89:6 97:6
k=1064 case2=7:140/r2 11:44/r2 13:80 19:56 41:24 89:8 97:8 107:4
k=1066 case2=5:150/r3 7:112/r2 11:66/r2 13:82 89:10 97:10 107:6
k=1070 case2=5:150/r3 7:140/r2 23:36 47:12 107:10
k=1072 case2=7:112/r2 13:52/r2 29:36 37:28 67:16 179:4
k=1074 case2=5:150/r3 11:44/r2 13:78/r2 19:48 23:40 31:24 43:24 47:16 179:6
k=1076 case2=7:140/r2 11:66/r2 13:80 23:42 47:18 269:4
k=1078 case2=5:150/r3 7:112/r2 11:88/r2 13:82 19:52 31:28 47:20 83:12
k=1082 case2=5:150/r3 7:140/r2 19:56 31:32
k=1084 case2=7:112/r2 11:44/r2 13:52/r2 17:60 31:34 109:4 181:4 271:4
k=1086 case2=5:150/r3 11:66/r2 13:78/r2 109:6 181:6
k=1088 case2=7:140/r2 11:88/r2 13:80 109:8
k=1090 case2=5:150/r3 7:112/r2 13:82 109:10
k=1094 case2=5:150/r3 7:140/r2 11:44/r2 137:6
k=1096 case2=7:112/r2 11:66/r2 13:52/r2 19:52 23:40 61:16 137:8 157:4
k=1098 case2=5:150/r3 11:88/r2 13:78/r2 23:42 61:18 157:6
k=1100 case2=7:140/r2 17:60 19:56 29:36
k=1102 case2=5:150/r3 7:112/r2 19:58 23:46
k=1106 case2=5:150/r3 7:140/r2 11:66/r2 101:6
k=1108 case2=7:112/r2 11:88/r2 13:52/r2 31:28 37:28 53:16 101:8 139:4 277:4
k=1110 case2=5:150/r3 13:78/r2 19:48 37:30 53:18 101:10 139:6
k=1112 case2=7:140/r2 31:32 53:20 139:8
k=1114 case2=5:150/r3 7:112/r2 11:44/r2 19:52 31:34 59:12 223:4
k=1118 case2=5:150/r3 7:140/r2 11:88/r2 19:56 59:16
k=1120 case2=7:112/r2 13:52/r2 19:58 47:16 59:18
k=1122 case2=5:150/r3 11:102 13:78/r2 17:66 47:18
k=1124 case2=7:140/r2 11:44/r2 47:20 113:4 281:4
k=1126 case2=5:150/r3 7:112/r2 11:66/r2 23:48 47:22 103:4 113:6
k=1130 case2=5:150/r3 7:140/r2 103:8 113:10
k=1132 case2=7:112/r2 11:102 13:52/r2 17:60 19:52 71:12 103:10 283:4
k=1134 case2=5:150/r3 11:44/r2 13:78/r2 67:12 227:4
k=1136 case2=7:140/r2 11:66/r2 19:56 71:16
k=1138 case2=5:150/r3 7:112/r2 11:88/r2 17:66 19:58 67:16 127:4 163:4
k=1142 case2=5:150/r3 7:140/r2 11:102 127:8
k=1144 case2=7:112/r2 11:44/r2 13:52/r2 37:28 41:24 191:4 229:4
k=1146 case2=5:150/r3 11:66/r2 13:78/r2 31:36 37:30 191:6
k=1148 case2=7:140/r2 11:88/r2 17:60 23:48 41:28
k=1150 case2=5:150/r3 7:112/r2
k=1154 case2=5:150/r3 7:140/r2 11:44/r2 17:66
k=1156 case2=7:112/r2 11:66/r2 13:52/r2 17:68/r2 19:58 29:36 53:12 61:16 89:12 97:4 193:4
k=1158 case2=5:150/r3 11:88/r2 13:78/r2 19:60 43:24 61:18 97:6 193:6
k=1160 case2=7:140/r2 29:40 53:16 83:12 97:8
k=1162 case2=5:150/r3 7:112/r2 11:102 53:18 97:10
k=1166 case2=5:150/r3 7:140/r2 11:66/r2 53:22 167:4
k=1168 case2=7:112/r2 11:88/r2 13:52/r2 73:16 167:6
k=1170 case2=5:150/r3 13:78/r2 17:66 23:48 107:4
k=1172 case2=7:140/r2 11:102 17:68/r2 59:12 107:6 293:4
k=1174 case2=5:150/r3 7:112/r2 11:44/r2 19:58 47:24 107:8 131:4
k=1178 case2=5:150/r3 7:140/r2 11:88/r2 59:18 131:8
k=1180 case2=13:52/r2 17:60 37:28 59:20 197:4
k=1182 case2=5:150/r3 11:102 13:78/r2 37:30 79:12 197:6
k=1184 case2=11:44/r2 29:36 37:32 41:24
k=1186 case2=5:150/r3 11:66/r2 17:66
k=1190 case2=5:150/r3 17:70 149:6
k=1192 case2=13:52/r2 19:58 23:48 109:4 149:8 199:4
k=1194 case2=5:150/r3 11:44/r2 13:78/r2 19:60 109:6 199:6 239:4
k=1196 case2=11:66/r2 13:92 17:60 23:52 109:8
k=1198 case2=5:150/r3 11:88/r2 109:10
## even k<=1200, 12!|k: Case(2) pairs=2191 problems=0 [] filtration_mismatch=0 direct_mismatch=0 no_explicit_witness=0 r_hist={1: 1618, 2: 460, 3: 113}
# total 23.0s
