Genus 2 Curves Database Igusa CM Invariants Database Quartic CM Fields Database

A quartic CM field field K is represented by invariants [D,A,B], where K = Q[x]/(x4+Ax2+B), and D is the discriminant of the totally real quadratic subfield (hence A2-4B = m2D for some m).

Class number: [Non-normal] [Cyclic]

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
[25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48]
[49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72]
[73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96]
[97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144]
[145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168]
[169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192]
[193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216]
[217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240]
[241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255] [256] [257] [258] [259] [260] [261] [262] [263] [264]
[265] [266] [267] [268] [269] [270] [271] [272] [273] [274] [275] [276] [277] [278] [279] [280] [281] [282] [283] [284] [285] [286] [287] [288]
[289] [290] [291] [292] [293] [294] [295] [296] [297] [298] [299] [300] [301] [302] [303] [304] [305] [306] [307] [308] [309] [310] [311] [312]
[313] [314] [315] [316] [317] [318] [319] [320] [321] [322] [323] [324] [325] [326] [327] [328] [329] [330] [331] [332] [333] [334] [335] [336]
[337] [338] [339] [340] [341] [342] [343] [344] [345] [346] [347] [348] [349] [350] [351] [352] [353] [354] [355] [356] [357] [358] [359] [360]
[361] [362] [363] [364] [365] [366] [367] [368] [369] [370] [371] [372] [373] [374] [375] [376] [377] [378] [379] [380] [381] [382] [383] [384]
[385] [386] [387] [388] [389] [390] [391] [392] [393] [394] [395] [396] [397] [398] [399] [400] [401] [402] [403] [404] [405] [406] [407] [408]
[409] [410] [411] [412] [413] [414] [415] [416] [417] [418] [419] [420] [421] [422] [423] [424] [425] [426] [427] [428] [429] [430] [431] [432]
[433] [434] [435] [436] [437] [438] [439] [440] [441] [442] [443] [444] [445] [446] [447] [448] [449] [450] [451] [452] [453] [454] [455] [456]
[457] [458] [459] [460] [461] [462] [463] [464] [465] [466] [467] [468] [469] [470] [471] [472] [473] [474] [475] [476] [477] [478] [479] [480]
[481] [482] [483] [484] [485] [486] [487] [488] [489] [490] [491] [492] [493] [494] [495] [496] [497] [498] [499] [500] [501] [502] [503] [504]
[505] [506] [507] [508] [509] [510] [511] [512] [513] [514] [515] [516] [517] [518] [519] [520] [521] [522] [523] [524] [525] [526] [527] [528]
[529] [530] [531] [532] [533] [534] [535] [536] [537] [538] [539] [540] [541] [542] [543] [544] [545] [546] [547] [548] [549] [550] [551] [552]
[553] [554] [555] [556] [557] [558] [559] [560] [561] [562] [563] [564] [565] [566] [567] [568] [569] [570] [571] [572] [573] [574] [575] [576]

Class group C257 non-normal (D4) quartic CM field invariants: 637 fields

K Quartic invariants Cl(OK) Igusa invariants Kr Reflex invariants Cl(OKr) Igusa invariants
1) [5, 4933, 6029021] C257 619) [6029021, 3961, 2415125] C257
2) [5, 3926, 3483449] C257 ---) [3483449, 1963, 92480] C39835
3) [5, 1833, 838441] C257 555) [838441, 1331, 233280] C257
4) [5, 4877, 5946181] C257 618) [5946181, 3669, 1878845] C257
5) [5, 3782, 3493961] C257 ---) [3493961, 1891, 20480] C771
6) [5, 3206, 2221129] C257 ---) [2221129, 1603, 87120] C771
7) [5, 5534, 7286369] C257 ---) [7286369, 2767, 92480] C6425
8) [5, 5174, 6492569] C257 621) [6492569, 2587, 50000] C257
9) [5, 2222, 1162321] C257 566) [1162321, 1111, 18000] C257
10) [5, 3729, 3325849] C257 596) [3325849, 2363, 564480] C257
11) [5, 3981, 3425809] C257 ---) [3425809, 2167, 317520] C1285
12) [5, 3997, 3714341] C257 602) [3714341, 3589, 2291645] C257
13) [5, 4321, 4664249] C257 608) [4664249, 3307, 1568000] C257
14) [5, 2062, 1016881] C257 ---) [1016881, 1031, 11520] C771
15) [5, 3542, 3131321] C257 594) [3131321, 1771, 1280] C257
16) [5, 2833, 1855961] C257 580) [1855961, 1691, 250880] C257
17) [5, 3357, 2784961] C257 591) [2784961, 2719, 1152000] C257
18) [5, 3422, 2758241] C257 590) [2758241, 1711, 42320] C257
19) [5, 3734, 3137209] C257 595) [3137209, 1867, 87120] C257
20) [5, 3521, 3095849] C257 593) [3095849, 2707, 1058000] C257
21) [5, 4654, 5316929] C257 610) [5316929, 2327, 24500] C257
22) [5, 3854, 3453409] C257 598) [3453409, 1927, 64980] C257
23) [5, 3254, 2359129] C257 588) [2359129, 1627, 72000] C257
24) [5, 4449, 4606489] C257 607) [4606489, 2683, 648000] C257
25) [5, 2737, 1824281] C257 578) [1824281, 2299, 865280] C257
26) [5, 4669, 4518929] C257 604) [4518929, 2423, 338000] C257
27) [5, 2558, 1624321] C257 575) [1624321, 1279, 2880] C257
28) [5, 2678, 1716041] C257 ---) [1716041, 1339, 19220] C771
29) [5, 5374, 5867969] C257 616) [5867969, 2687, 338000] C257
30) [5, 5209, 5808809] C257 614) [5808809, 2803, 512000] C257
31) [8, 2366, 875201] C257 560) [875201, 1183, 131072] C257
32) [8, 2330, 1278817] C257 570) [1278817, 1165, 19602] C257
33) [8, 1178, 346849] C257 537) [346849, 589, 18] C257
34) [8, 4214, 3599641] C257 600) [3599641, 2107, 209952] C257
35) [8, 2990, 2209937] C257 585) [2209937, 1495, 6272] C257
36) [8, 7190, 12867577] C257 636) [12867577, 3595, 14112] C257
37) [8, 1566, 348097] C257 538) [348097, 783, 66248] C257
38) [8, 1498, 508513] C257 ---) [508513, 749, 13122] C1799
39) [8, 2654, 1252897] C257 ---) [1252897, 1327, 127008] C771
40) [8, 2942, 1260673] C257 569) [1260673, 1471, 225792] C257
41) [8, 3518, 2786753] C257 592) [2786753, 1759, 76832] C257
42) [8, 4358, 4582153] C257 ---) [4582153, 2179, 41472] C1285
43) [8, 1594, 603457] C257 ---) [603457, 797, 7938] C771
44) [8, 5606, 6363817] C257 ---) [6363817, 2803, 373248] C1799
45) [8, 3070, 1848193] C257 579) [1848193, 1535, 127008] C257
46) [8, 1642, 491633] C257 544) [491633, 821, 45602] C257
47) [8, 7718, 14866793] C257 ---) [14866793, 3859, 6272] C1285
48) [8, 3230, 2083937] C257 583) [2083937, 1615, 131072] C257
49) [8, 1338, 224449] C257 532) [224449, 669, 55778] C257
50) [8, 7942, 14163209] C257 637) [14163209, 3971, 401408] C257
51) [8, 1726, 740897] C257 554) [740897, 863, 968] C257
52) [8, 2778, 1094689] C257 565) [1094689, 1389, 208658] C257
53) [8, 1882, 864673] C257 559) [864673, 941, 5202] C257
54) [8, 1610, 645137] C257 552) [645137, 805, 722] C257
55) [8, 1530, 402817] C257 ---) [402817, 765, 45602] C771
56) [8, 6646, 11013529] C257 632) [11013529, 3323, 7200] C257
57) [8, 4742, 5521289] C257 612) [5521289, 2371, 25088] C257
58) [8, 5282, 6787609] C257 625) [6787609, 2641, 46818] C257
59) [8, 5830, 5843017] C257 615) [5843017, 2915, 663552] C257
60) [8, 6710, 11199577] C257 633) [11199577, 3355, 14112] C257
61) [8, 4982, 3696281] C257 601) [3696281, 2491, 627200] C257
62) [8, 8182, 16649753] C257 ---) [16649753, 4091, 21632] C10537
63) [8, 7478, 12595673] C257 635) [12595673, 3739, 346112] C257
64) [8, 6454, 10362329] C257 631) [10362329, 3227, 12800] C257
65) [8, 4982, 6111769] C257 620) [6111769, 2491, 23328] C257
66) [13, 2334, 662177] C257 ---) [662177, 1167, 174928] C771
67) [13, 4382, 4530913] C257 606) [4530913, 2191, 67392] C257
68) [13, 2382, 1377713] C257 573) [1377713, 1191, 10192] C257
69) [13, 2826, 1932869] C257 581) [1932869, 1413, 15925] C257
70) [13, 2469, 996161] C257 ---) [996161, 3011, 25168] C771
71) [13, 3950, 3833233] C257 603) [3833233, 1975, 16848] C257
72) [13, 4670, 5332417] C257 611) [5332417, 2335, 29952] C257
73) [13, 3734, 3216121] C257 ---) [3216121, 1867, 67392] C771
74) [13, 1758, 751841] C257 ---) [751841, 879, 5200] C771
75) [13, 2205, 955217] C257 561) [955217, 2939, 10192] C257
76) [13, 5606, 5939881] C257 617) [5939881, 2803, 479232] C257
77) [13, 3278, 2566513] C257 589) [2566513, 1639, 29952] C257
78) [13, 2070, 858233] C257 558) [858233, 1035, 53248] C257
79) [13, 2358, 987353] C257 563) [987353, 1179, 100672] C257
80) [17, 838, 96953] C257 523) [96953, 419, 19652] C257
81) [17, 670, 102433] C257 524) [102433, 335, 2448] C257
82) [17, 5494, 6566809] C257 623) [6566809, 2747, 244800] C257
83) [17, 6454, 9886937] C257 630) [9886937, 3227, 131648] C257
84) [17, 5926, 6576169] C257 624) [6576169, 2963, 550800] C257
85) [17, 2242, 1256573] C257 ---) [1256573, 1121, 17] C771
86) [17, 1538, 561373] C257 548) [561373, 769, 7497] C257
87) [17, 2642, 1687853] C257 576) [1687853, 1321, 14297] C257
88) [17, 4390, 4729897] C257 ---) [4729897, 2195, 22032] C1285
89) [17, 5686, 7402649] C257 626) [7402649, 2843, 170000] C257
90) [17, 6166, 8978297] C257 629) [8978297, 3083, 131648] C257
91) [17, 2194, 1053197] C257 564) [1053197, 1097, 37553] C257
92) [17, 6790, 11524937] C257 634) [11524937, 3395, 272] C257
93) [17, 5878, 5695769] C257 613) [5695769, 2939, 735488] C257
94) [17, 5926, 7665257] C257 627) [7665257, 2963, 278528] C257
95) [17, 5846, 8534137] C257 628) [8534137, 2923, 2448] C257
96) [17, 7222, 8442521] C257 ---) [8442521, 3611, 1149200] C771
97) [17, 5174, 6535897] C257 622) [6535897, 2587, 39168] C257
98) [29, 2282, 1229381] C257 ---) [1229381, 1141, 18125] C771
99) [29, 2926, 885713] C257 ---) [885713, 1463, 313664] C2313
100) [29, 2926, 579473] C257 549) [579473, 1463, 390224] C257
101) [29, 2938, 2096597] C257 ---) [2096597, 1469, 15341] C771
102) [29, 2222, 632977] C257 551) [632977, 1111, 150336] C257
103) [29, 1318, 417577] C257 ---) [417577, 659, 4176] C1799
104) [29, 3094, 1233209] C257 ---) [1233209, 1547, 290000] C1285
105) [29, 757, 102481] C257 525) [102481, 1514, 163125] C257
106) [29, 1966, 964433] C257 562) [964433, 983, 464] C257
107) [37, 2366, 1207681] C257 568) [1207681, 1183, 47952] C257
108) [37, 2106, 906197] C257 ---) [906197, 1053, 50653] C771
109) [41, 3814, 3508073] C257 599) [3508073, 1907, 32144] C257
110) [41, 1306, 379013] C257 539) [379013, 653, 11849] C257
111) [41, 1850, 855461] C257 556) [855461, 925, 41] C257
112) [41, 690, 91309] C257 521) [91309, 345, 6929] C257
113) [41, 1067, 114052] C257 490) [28513, 687, 110864] C257
114) [41, 2474, 1329269] C257 572) [1329269, 1237, 50225] C257
115) [41, 4582, 5246057] C257 609) [5246057, 2291, 656] C257
116) [41, 5030, 6112681] C257 ---) [6112681, 2515, 53136] C771
117) [41, 1138, 323597] C257 535) [323597, 569, 41] C257
118) [41, 3686, 3386153] C257 597) [3386153, 1843, 2624] C257
119) [53, 2314, 1321477] C257 571) [1321477, 1157, 4293] C257
120) [53, 617, 85513] C257 518) [85513, 1234, 38637] C257
121) [61, 4049, 2387169] C257 ---) [265241, 2919, 472384] C2827
122) [61, 510, 49409] C257 507) [49409, 255, 3904] C257
123) [61, 2062, 672561] C257 516) [74729, 1031, 97600] C257
124) [61, 1766, 700633] C257 ---) [700633, 883, 19764] C771
125) [61, 2750, 1574401] C257 574) [1574401, 1375, 79056] C257
126) [73, 1922, 857821] C257 557) [857821, 961, 16425] C257
127) [73, 8374, 16334937] C257 577) [1814993, 4187, 299008] C257
128) [73, 4230, 2211977] C257 586) [2211977, 2115, 565312] C257
129) [89, 3958, 2270297] C257 587) [2270297, 1979, 411536] C257
130) [89, 1114, 301349] C257 ---) [301349, 557, 2225] C771
131) [89, 3158, 2128697] C257 584) [2128697, 1579, 91136] C257
132) [97, 1730, 465373] C257 ---) [465373, 865, 70713] C771
133) [97, 2694, 1193609] C257 567) [1193609, 1347, 155200] C257
134) [101, 858, 183637] C257 529) [183637, 429, 101] C257
135) [101, 974, 211313] C257 ---) [211313, 487, 6464] C4883
136) [109, 1286, 397753] C257 541) [397753, 643, 3924] C257
137) [109, 2309, 865233] C257 522) [96137, 3131, 504016] C257
138) [109, 617, 89041] C257 519) [89041, 1234, 24525] C257
139) [109, 1362, 442397] C257 543) [442397, 681, 5341] C257
140) [109, 2470, 1183401] C257 ---) [131489, 1235, 85456] C771
141) [113, 611, 69572] C257 470) [17393, 1222, 95033] C257
142) [113, 2806, 1939481] C257 582) [1939481, 1403, 7232] C257
143) [113, 1223, 373904] C257 485) [23369, 1091, 11300] C257
144) [113, 1335, 437392] C257 487) [27337, 1219, 36612] C257
145) [137, 2854, 2027561] C257 ---) [2027561, 1427, 2192] C3855
146) [137, 554, 32341] C257 493) [32341, 277, 11097] C257
147) [137, 787, 51236] C257 433) [12809, 1123, 158372] C257
148) [137, 4454, 4529897] C257 605) [4529897, 2227, 107408] C257
149) [149, 1546, 596933] C257 550) [596933, 773, 149] C257
150) [149, 1402, 118901] C257 526) [118901, 701, 93125] C257
151) [173, 898, 200909] C257 530) [200909, 449, 173] C257
152) [173, 1354, 441029] C257 542) [441029, 677, 4325] C257
153) [173, 3693, 91033] C257 520) [91033, 3935, 24912] C257
154) [181, 430, 20161] C257 481) [20161, 215, 6516] C257
155) [181, 989, 231453] C257 ---) [25717, 1978, 52309] C771
156) [193, 1850, 292837] C257 534) [292837, 925, 140697] C257
157) [193, 882, 64013] C257 ---) [64013, 441, 32617] C2313
158) [193, 6387, 3557264] C257 531) [222329, 3603, 521872] C257
159) [233, 1726, 14081] C257 450) [14081, 863, 182672] C257
160) [241, 1575, 620096] C257 410) [9689, 999, 188944] C257
161) [241, 906, 42293] C257 502) [42293, 453, 40729] C257
162) [241, 1315, 381636] C257 415) [10601, 1119, 246784] C257
163) [241, 1310, 182241] C257 ---) [20249, 655, 61696] C771
164) [269, 1021, 236333] C257 533) [236333, 2042, 97109] C257
165) [269, 1265, 380621] C257 540) [380621, 2530, 77741] C257
166) [269, 1514, 546149] C257 547) [546149, 757, 6725] C257
167) [277, 3077, 389133] C257 504) [43237, 2705, 2493] C257
168) [277, 2398, 156753] C257 ---) [17417, 1199, 320212] C771
169) [277, 561, 76949] C257 517) [76949, 1122, 6925] C257
170) [277, 1321, 385777] C257 ---) [7873, 863, 89748] C2313
171) [281, 3526, 518473] C257 546) [518473, 1763, 647424] C257
172) [281, 1007, 245012] C257 510) [61253, 2014, 34001] C257
173) [281, 3346, 1089325] C257 505) [43573, 1673, 427401] C257
174) [281, 1683, 590032] C257 498) [36877, 3273, 13769] C257
175) [293, 1217, 343829] C257 536) [343829, 2434, 105773] C257
176) [293, 1258, 338213] C257 ---) [338213, 629, 14357] C2313
177) [293, 1709, 40961] C257 501) [40961, 3418, 2756837] C257
178) [293, 686, 42641] C257 503) [42641, 343, 18752] C257
179) [293, 1541, 39241] C257 500) [39241, 3082, 2217717] C257
180) [293, 445, 49433] C257 508) [49433, 890, 293] C257
181) [313, 1066, 222741] C257 ---) [24749, 533, 15337] C771
182) [317, 3214, 2562161] C257 509) [52289, 1607, 5072] C257
183) [317, 542, 27793] C257 489) [27793, 271, 11412] C257
184) [317, 1750, 35257] C257 496) [35257, 875, 182592] C257
185) [317, 1634, 514061] C257 545) [514061, 817, 38357] C257
186) [337, 1179, 244304] C257 461) [15269, 2358, 412825] C257
187) [337, 1114, 147141] C257 467) [16349, 557, 40777] C257
188) [353, 2054, 693257] C257 553) [693257, 1027, 90368] C257
189) [397, 414, 36497] C257 497) [36497, 207, 1588] C257
190) [421, 6126, 6687569] C257 528) [136481, 3063, 673600] C257
191) [433, 574, 54657] C257 379) [6073, 287, 6928] C257
192) [433, 578, 67933] C257 513) [67933, 289, 3897] C257
193) [449, 1675, 35876] C257 405) [8969, 1343, 179600] C257
194) [457, 498, 16301] C257 466) [16301, 249, 11425] C257
195) [461, 3830, 97241] C257 ---) [97241, 1915, 892496] C771
196) [509, 2277, 853225] C257 495) [34129, 3815, 1172736] C257
197) [509, 874, 26053] C257 486) [26053, 437, 41229] C257
198) [509, 2245, 12829] C257 435) [12829, 2041, 114525] C257
199) [541, 2357, 1223181] C257 460) [15101, 1913, 65461] C257
200) [569, 2630, 627641] C257 434) [12809, 1315, 275396] C257
201) [569, 3158, 708857] C257 ---) [708857, 1579, 446096] C771
202) [641, 1430, 8681] C257 404) [8681, 715, 125636] C257
203) [653, 2641, 11801] C257 426) [11801, 1531, 441428] C257
204) [653, 542, 31649] C257 491) [31649, 271, 10448] C257
205) [653, 342, 18793] C257 477) [18793, 171, 2612] C257
206) [661, 2373, 1304501] C257 419) [10781, 1657, 79981] C257
207) [701, 213, 6961] C257 392) [6961, 426, 17525] C257
208) [757, 2449, 1267569] C257 464) [15649, 2563, 981072] C257
209) [757, 1541, 475389] C257 376) [5869, 1861, 218773] C257
210) [769, 2342, 140841] C257 463) [15649, 1171, 307600] C257
211) [769, 467, 49716] C257 242) [1381, 934, 19225] C257
212) [773, 385, 35317] C257 ---) [35317, 770, 6957] C771
213) [773, 1538, 68813] C257 ---) [68813, 769, 130637] C771
214) [797, 3398, 17401] C257 471) [17401, 1699, 717300] C257
215) [809, 1670, 684281] C257 326) [4049, 835, 3236] C257
216) [821, 349, 20393] C257 482) [20393, 698, 40229] C257
217) [821, 3382, 967897] C257 480) [19753, 1691, 472896] C257
218) [829, 2546, 1219293] C257 459) [15053, 1273, 100309] C257
219) [877, 378, 32213] C257 492) [32213, 189, 877] C257
220) [929, 2483, 1438900] C257 ---) [14389, 2765, 8361] C771
221) [929, 3919, 1375700] C257 448) [13757, 2269, 45521] C257
222) [977, 2418, 332269] C257 389) [6781, 1209, 282353] C257
223) [997, 1798, 552969] C257 511) [61441, 899, 63808] C257
224) [1013, 2085, 1013617] C257 403) [8377, 2503, 1312848] C257
225) [1013, 558, 13009] C257 437) [13009, 279, 16208] C257
226) [1021, 333, 21341] C257 483) [21341, 666, 25525] C257
227) [1033, 1702, 658089] C257 515) [73121, 851, 16528] C257
228) [1049, 1802, 774037] C257 385) [6397, 901, 9441] C257
229) [1049, 2095, 121424] C257 396) [7589, 2225, 1008089] C257
230) [1069, 1041, 257825] C257 ---) [10313, 2082, 52381] C1799
231) [1109, 3414, 2044393] C257 427) [12097, 1707, 217364] C257
232) [1117, 1413, 465353] C257 408) [9497, 2826, 135157] C257
233) [1117, 794, 45909] C257 352) [5101, 397, 27925] C257
234) [1153, 266, 13077] C257 247) [1453, 133, 1153] C257
235) [1181, 2078, 1003937] C257 402) [8297, 1039, 18896] C257
236) [1201, 3407, 2834356] C257 453) [14461, 2549, 30025] C257
237) [1201, 1098, 296597] C257 ---) [6053, 549, 1201] C771
238) [1213, 3849, 486521] C257 411) [9929, 2111, 19408] C257
239) [1277, 1174, 17657] C257 472) [17657, 587, 81728] C257
240) [1277, 593, 72269] C257 514) [72269, 1186, 62573] C257
241) [1301, 1157, 261481] C257 263) [2161, 1215, 83264] C257
242) [1381, 934, 19225] C257 211) [769, 467, 49716] C257
243) [1381, 842, 39141] C257 339) [4349, 421, 34525] C257
244) [1433, 274, 13037] C257 438) [13037, 137, 1433] C257
245) [1433, 2795, 43892] C257 420) [10973, 3029, 1961777] C257
246) [1453, 866, 135181] C257 527) [135181, 433, 13077] C257
247) [1453, 133, 1153] C257 234) [1153, 266, 13077] C257
248) [1453, 1933, 436833] C257 362) [5393, 2715, 1679668] C257
249) [1597, 533, 67429] C257 512) [67429, 1066, 14373] C257
250) [1733, 2901, 273469] C257 368) [5581, 2161, 764253] C257
251) [1753, 447, 38996] C257 ---) [9749, 894, 43825] C771
252) [1789, 1422, 391025] C257 ---) [15641, 711, 28624] C771
253) [1801, 4478, 143217] C257 465) [15913, 2239, 1217476] C257
254) [1801, 2895, 74084] C257 ---) [18521, 5790, 8084689] C771
255) [1877, 1685, 198793] C257 328) [4057, 2427, 1471568] C257
256) [1933, 461, 48781] C257 506) [48781, 922, 17397] C257
257) [1997, 337, 27893] C257 ---) [27893, 674, 1997] C1285
258) [1997, 1481, 4657] C257 344) [4657, 2962, 2174733] C257
259) [2053, 705, 37517] C257 499) [37517, 1410, 346957] C257
260) [2053, 2910, 14753] C257 458) [14753, 1455, 525568] C257
261) [2069, 2081, 647633] C257 440) [13217, 4162, 1740029] C257
262) [2141, 5641, 5102873] C257 473) [17657, 4259, 4530356] C257
263) [2161, 1215, 83264] C257 241) [1301, 1157, 261481] C257
264) [2237, 1549, 505337] C257 ---) [10313, 3098, 378053] C1799
265) [2273, 827, 102224] C257 384) [6389, 1654, 275033] C257
266) [2281, 3610, 621189] C257 397) [7669, 1805, 659209] C257
267) [2293, 282, 10709] C257 417) [10709, 141, 2293] C257
268) [2293, 1342, 303489] C257 494) [33721, 671, 36688] C257
269) [2333, 449, 21821] C257 484) [21821, 898, 114317] C257
270) [2333, 2141, 655457] C257 ---) [5417, 3115, 149312] C1799
271) [2341, 4933, 2964825] C257 439) [13177, 3163, 758484] C257
272) [2357, 4870, 5325833] C257 457) [14753, 2435, 150848] C257
273) [2381, 2189, 383033] C257 ---) [7817, 4378, 3259589] C1285
274) [2417, 5255, 1218368] C257 478) [19037, 5485, 5803217] C257
275) [2417, 4370, 1980173] C257 425) [11717, 2185, 698513] C257
276) [2417, 419, 38452] C257 409) [9613, 838, 21753] C257
277) [2437, 2825, 1921437] C257 ---) [4357, 1937, 21933] C1285
278) [2441, 3055, 62516] C257 ---) [15629, 6110, 9082961] C2313
279) [2477, 505, 13597] C257 444) [13597, 1010, 200637] C257
280) [2621, 2546, 1526173] C257 432) [12613, 1273, 23589] C257
281) [2753, 2471, 1371604] C257 ---) [2029, 1713, 465257] C1799
282) [2801, 415, 42356] C257 414) [10589, 830, 2801] C257
283) [2833, 1807, 45028] C257 ---) [11257, 3614, 3085137] C4369
284) [2837, 2525, 1218713] C257 335) [4217, 3547, 1373108] C257
285) [2837, 1449, 507169] C257 295) [3001, 2898, 70925] C257
286) [2837, 3017, 2189753] C257 395) [7577, 3955, 726272] C257
287) [2861, 401, 5153] C257 354) [5153, 802, 140189] C257
288) [2897, 1015, 256832] C257 324) [4013, 2030, 2897] C257
289) [2897, 427, 27476] C257 390) [6869, 854, 72425] C257
290) [2909, 309, 5689] C257 371) [5689, 618, 72725] C257
291) [2953, 4870, 4228297] C257 400) [7993, 2435, 425232] C257
292) [2957, 2402, 11213] C257 422) [11213, 1201, 357797] C257
293) [2957, 253, 9349] C257 407) [9349, 506, 26613] C257
294) [2957, 337, 27653] C257 488) [27653, 674, 2957] C257
295) [3001, 2898, 70925] C257 285) [2837, 1449, 507169] C257
296) [3061, 5350, 6372009] C257 451) [14449, 2675, 195904] C257
297) [3109, 2826, 491813] C257 412) [10037, 1413, 376189] C257
298) [3169, 2714, 814693] C257 388) [6733, 1357, 256689] C257
299) [3209, 4567, 2229200] C257 366) [5573, 2317, 3209] C257
300) [3301, 3930, 1629749] C257 443) [13469, 1965, 557869] C257
301) [3373, 4270, 1104273] C257 446) [13633, 2135, 863488] C257
302) [3389, 4197, 600397] C257 429) [12253, 5037, 6266261] C257
303) [3413, 4850, 5211677] C257 380) [6197, 2425, 167237] C257
304) [3449, 3871, 1324100] C257 441) [13241, 5899, 5518400] C257
305) [3469, 6349, 1230633] C257 ---) [15193, 4807, 1123956] C771
306) [3517, 5665, 7768953] C257 416) [10657, 3847, 1139508] C257
307) [3529, 1699, 170244] C257 ---) [4729, 3398, 2205625] C771
308) [3533, 502, 6473] C257 386) [6473, 251, 14132] C257
309) [3541, 565, 8101] C257 ---) [8101, 1130, 286821] C3341
310) [3581, 4529, 4654373] C257 436) [12893, 5801, 1292741] C257
311) [3581, 4654, 3352273] C257 383) [6337, 2327, 515664] C257
312) [3593, 2819, 1985792] C257 398) [7757, 5638, 3593] C257
313) [3673, 1315, 166932] C257 343) [4637, 2630, 1061497] C257
314) [3697, 747, 27668] C257 391) [6917, 1494, 447337] C257
315) [3701, 4914, 1758493] C257 455) [14533, 2457, 1069589] C257
316) [3709, 2117, 1008225] C257 ---) [4481, 4234, 448789] C771
317) [3761, 3223, 2325200] C257 375) [5813, 3829, 455081] C257
318) [3761, 2419, 1303988] C257 387) [6653, 4838, 635609] C257
319) [3793, 5774, 991521] C257 428) [12241, 2887, 1835812] C257
320) [3821, 2173, 10301] C257 ---) [10301, 4346, 4680725] C771
321) [3917, 2754, 1880461] C257 462) [15541, 1377, 3917] C257
322) [3917, 4970, 1647173] C257 445) [13613, 2485, 1132013] C257
323) [4013, 3857, 684281] C257 327) [4049, 3719, 1027328] C257
324) [4013, 2030, 2897] C257 288) [2897, 1015, 256832] C257
325) [4021, 5466, 5523125] C257 ---) [8837, 2733, 486541] C771
326) [4049, 835, 3236] C257 215) [809, 1670, 684281] C257
327) [4049, 3719, 1027328] C257 323) [4013, 3857, 684281] C257
328) [4057, 2427, 1471568] C257 255) [1877, 1685, 198793] C257
329) [4057, 3563, 933264] C257 ---) [6481, 3863, 3651300] C1285
330) [4073, 290, 4733] C257 345) [4733, 145, 4073] C257
331) [4153, 1123, 231184] C257 452) [14449, 2246, 336393] C257
332) [4157, 245, 5653] C257 369) [5653, 490, 37413] C257
333) [4157, 853, 6269] C257 381) [6269, 1706, 702533] C257
334) [4217, 2267, 1047616] C257 ---) [16369, 4534, 948825] C771
335) [4217, 3547, 1373108] C257 284) [2837, 2525, 1218713] C257
336) [4253, 4153, 4004573] C257 421) [11093, 5725, 1535333] C257
337) [4261, 305, 13669] C257 447) [13669, 610, 38349] C257
338) [4337, 1554, 586381] C257 ---) [2029, 777, 4337] C1799
339) [4349, 421, 34525] C257 243) [1381, 842, 39141] C257
340) [4373, 3762, 2681053] C257 406) [9277, 1881, 214277] C257
341) [4549, 8473, 10113417] C257 449) [13873, 4331, 4658176] C257
342) [4621, 2793, 8237] C257 401) [8237, 5586, 7767901] C257
343) [4637, 2630, 1061497] C257 313) [3673, 1315, 166932] C257
344) [4657, 2962, 2174733] C257 258) [1997, 1481, 4657] C257
345) [4733, 145, 4073] C257 330) [4073, 290, 4733] C257
346) [4733, 3373, 656453] C257 442) [13397, 6746, 8751317] C257
347) [4801, 3778, 2627325] C257 424) [11677, 1889, 235249] C257
348) [4801, 1006, 176193] C257 479) [19577, 503, 19204] C257
349) [4909, 3378, 1890557] C257 357) [5237, 1689, 240541] C257
350) [5009, 5347, 103696] C257 ---) [6481, 4191, 500900] C1285
351) [5077, 3405, 2531693] C257 393) [7013, 6265, 8534437] C257
352) [5101, 397, 27925] C257 233) [1117, 794, 45909] C257
353) [5113, 6071, 3476196] C257 418) [10729, 7003, 8180800] C257
354) [5153, 802, 140189] C257 287) [2861, 401, 5153] C257
355) [5197, 7506, 1092509] C257 ---) [9029, 3753, 3248125] C1799
356) [5209, 2646, 416825] C257 ---) [16673, 1323, 333376] C771
357) [5237, 1689, 240541] C257 349) [4909, 3378, 1890557] C257
358) [5237, 4970, 5986693] C257 423) [11317, 2485, 47133] C257
359) [5237, 5309, 4154237] C257 399) [7853, 4309, 4404317] C257
360) [5237, 2221, 1231901] C257 413) [10181, 4442, 5237] C257
361) [5309, 325, 14461] C257 454) [14461, 650, 47781] C257
362) [5393, 2715, 1679668] C257 248) [1453, 1933, 436833] C257
363) [5437, 6365, 9528877] C257 474) [18013, 8029, 440397] C257
364) [5557, 8297, 5194429] C257 ---) [14389, 5621, 7607533] C771
365) [5557, 3985, 67653] C257 394) [7517, 5709, 4673437] C257
366) [5573, 2317, 3209] C257 299) [3209, 4567, 2229200] C257
367) [5581, 7073, 12393817] C257 456) [14737, 5963, 1428736] C257
368) [5581, 2161, 764253] C257 250) [1733, 2901, 273469] C257
369) [5653, 490, 37413] C257 332) [4157, 245, 5653] C257
370) [5657, 2423, 1228724] C257 382) [6269, 4846, 956033] C257
371) [5689, 618, 72725] C257 290) [2909, 309, 5689] C257
372) [5693, 8674, 8767117] C257 468) [16573, 4337, 2510613] C257
373) [5801, 3238, 2249897] C257 ---) [13313, 1619, 92816] C1799
374) [5801, 3163, 295312] C257 476) [18457, 6326, 8823321] C257
375) [5813, 3829, 455081] C257 317) [3761, 3223, 2325200] C257
376) [5869, 1861, 218773] C257 209) [757, 1541, 475389] C257
377) [5869, 7613, 10673125] C257 469) [17077, 7637, 710149] C257
378) [5897, 3022, 2188769] C257 475) [18089, 1511, 23588] C257
379) [6073, 287, 6928] C257 191) [433, 574, 54657] C257
380) [6197, 2425, 167237] C257 303) [3413, 4850, 5211677] C257
381) [6269, 1706, 702533] C257 333) [4157, 853, 6269] C257
382) [6269, 4846, 956033] C257 370) [5657, 2423, 1228724] C257
383) [6337, 2327, 515664] C257 311) [3581, 4654, 3352273] C257
384) [6389, 1654, 275033] C257 265) [2273, 827, 102224] C257
385) [6397, 901, 9441] C257 228) [1049, 1802, 774037] C257
386) [6473, 251, 14132] C257 308) [3533, 502, 6473] C257
387) [6653, 4838, 635609] C257 318) [3761, 2419, 1303988] C257
388) [6733, 1357, 256689] C257 298) [3169, 2714, 814693] C257
389) [6781, 1209, 282353] C257 222) [977, 2418, 332269] C257
390) [6869, 854, 72425] C257 289) [2897, 427, 27476] C257
391) [6917, 1494, 447337] C257 314) [3697, 747, 27668] C257
392) [6961, 426, 17525] C257 207) [701, 213, 6961] C257
393) [7013, 6265, 8534437] C257 351) [5077, 3405, 2531693] C257
394) [7517, 5709, 4673437] C257 365) [5557, 3985, 67653] C257
395) [7577, 3955, 726272] C257 286) [2837, 3017, 2189753] C257
396) [7589, 2225, 1008089] C257 229) [1049, 2095, 121424] C257
397) [7669, 1805, 659209] C257 266) [2281, 3610, 621189] C257
398) [7757, 5638, 3593] C257 312) [3593, 2819, 1985792] C257
399) [7853, 4309, 4404317] C257 359) [5237, 5309, 4154237] C257
400) [7993, 2435, 425232] C257 291) [2953, 4870, 4228297] C257
401) [8237, 5586, 7767901] C257 342) [4621, 2793, 8237] C257
402) [8297, 1039, 18896] C257 235) [1181, 2078, 1003937] C257
403) [8377, 2503, 1312848] C257 224) [1013, 2085, 1013617] C257
404) [8681, 715, 125636] C257 202) [641, 1430, 8681] C257
405) [8969, 1343, 179600] C257 193) [449, 1675, 35876] C257
406) [9277, 1881, 214277] C257 340) [4373, 3762, 2681053] C257
407) [9349, 506, 26613] C257 293) [2957, 253, 9349] C257
408) [9497, 2826, 135157] C257 232) [1117, 1413, 465353] C257
409) [9613, 838, 21753] C257 276) [2417, 419, 38452] C257
410) [9689, 999, 188944] C257 160) [241, 1575, 620096] C257
411) [9929, 2111, 19408] C257 238) [1213, 3849, 486521] C257
412) [10037, 1413, 376189] C257 297) [3109, 2826, 491813] C257
413) [10181, 4442, 5237] C257 360) [5237, 2221, 1231901] C257
414) [10589, 830, 2801] C257 282) [2801, 415, 42356] C257
415) [10601, 1119, 246784] C257 162) [241, 1315, 381636] C257
416) [10657, 3847, 1139508] C257 306) [3517, 5665, 7768953] C257
417) [10709, 141, 2293] C257 267) [2293, 282, 10709] C257
418) [10729, 7003, 8180800] C257 353) [5113, 6071, 3476196] C257
419) [10781, 1657, 79981] C257 206) [661, 2373, 1304501] C257
420) [10973, 3029, 1961777] C257 245) [1433, 2795, 43892] C257
421) [11093, 5725, 1535333] C257 336) [4253, 4153, 4004573] C257
422) [11213, 1201, 357797] C257 292) [2957, 2402, 11213] C257
423) [11317, 2485, 47133] C257 358) [5237, 4970, 5986693] C257
424) [11677, 1889, 235249] C257 347) [4801, 3778, 2627325] C257
425) [11717, 2185, 698513] C257 275) [2417, 4370, 1980173] C257
426) [11801, 1531, 441428] C257 203) [653, 2641, 11801] C257
427) [12097, 1707, 217364] C257 231) [1109, 3414, 2044393] C257
428) [12241, 2887, 1835812] C257 319) [3793, 5774, 991521] C257
429) [12253, 5037, 6266261] C257 302) [3389, 4197, 600397] C257
430) [12413, 145, 2153] C257 ---) [2153, 290, 12413] C1285
431) [12541, 1349, 376569] C257 ---) [4649, 2698, 313525] C771
432) [12613, 1273, 23589] C257 280) [2621, 2546, 1526173] C257
433) [12809, 1123, 158372] C257 147) [137, 787, 51236] C257
434) [12809, 1315, 275396] C257 200) [569, 2630, 627641] C257
435) [12829, 2041, 114525] C257 198) [509, 2245, 12829] C257
436) [12893, 5801, 1292741] C257 310) [3581, 4529, 4654373] C257
437) [13009, 279, 16208] C257 225) [1013, 558, 13009] C257
438) [13037, 137, 1433] C257 244) [1433, 274, 13037] C257
439) [13177, 3163, 758484] C257 271) [2341, 4933, 2964825] C257
440) [13217, 4162, 1740029] C257 261) [2069, 2081, 647633] C257
441) [13241, 5899, 5518400] C257 304) [3449, 3871, 1324100] C257
442) [13397, 6746, 8751317] C257 346) [4733, 3373, 656453] C257
443) [13469, 1965, 557869] C257 300) [3301, 3930, 1629749] C257
444) [13597, 1010, 200637] C257 279) [2477, 505, 13597] C257
445) [13613, 2485, 1132013] C257 322) [3917, 4970, 1647173] C257
446) [13633, 2135, 863488] C257 301) [3373, 4270, 1104273] C257
447) [13669, 610, 38349] C257 337) [4261, 305, 13669] C257
448) [13757, 2269, 45521] C257 221) [929, 3919, 1375700] C257
449) [13873, 4331, 4658176] C257 341) [4549, 8473, 10113417] C257
450) [14081, 863, 182672] C257 159) [233, 1726, 14081] C257
451) [14449, 2675, 195904] C257 296) [3061, 5350, 6372009] C257
452) [14449, 2246, 336393] C257 331) [4153, 1123, 231184] C257
453) [14461, 2549, 30025] C257 236) [1201, 3407, 2834356] C257
454) [14461, 650, 47781] C257 361) [5309, 325, 14461] C257
455) [14533, 2457, 1069589] C257 315) [3701, 4914, 1758493] C257
456) [14737, 5963, 1428736] C257 367) [5581, 7073, 12393817] C257
457) [14753, 2435, 150848] C257 272) [2357, 4870, 5325833] C257
458) [14753, 1455, 525568] C257 260) [2053, 2910, 14753] C257
459) [15053, 1273, 100309] C257 218) [829, 2546, 1219293] C257
460) [15101, 1913, 65461] C257 199) [541, 2357, 1223181] C257
461) [15269, 2358, 412825] C257 186) [337, 1179, 244304] C257
462) [15541, 1377, 3917] C257 321) [3917, 2754, 1880461] C257
463) [15649, 1171, 307600] C257 210) [769, 2342, 140841] C257
464) [15649, 2563, 981072] C257 208) [757, 2449, 1267569] C257
465) [15913, 2239, 1217476] C257 253) [1801, 4478, 143217] C257
466) [16301, 249, 11425] C257 194) [457, 498, 16301] C257
467) [16349, 557, 40777] C257 187) [337, 1114, 147141] C257
468) [16573, 4337, 2510613] C257 372) [5693, 8674, 8767117] C257
469) [17077, 7637, 710149] C257 377) [5869, 7613, 10673125] C257
470) [17393, 1222, 95033] C257 141) [113, 611, 69572] C257
471) [17401, 1699, 717300] C257 214) [797, 3398, 17401] C257
472) [17657, 587, 81728] C257 239) [1277, 1174, 17657] C257
473) [17657, 4259, 4530356] C257 262) [2141, 5641, 5102873] C257
474) [18013, 8029, 440397] C257 363) [5437, 6365, 9528877] C257
475) [18089, 1511, 23588] C257 378) [5897, 3022, 2188769] C257
476) [18457, 6326, 8823321] C257 374) [5801, 3163, 295312] C257
477) [18793, 171, 2612] C257 205) [653, 342, 18793] C257
478) [19037, 5485, 5803217] C257 274) [2417, 5255, 1218368] C257
479) [19577, 503, 19204] C257 348) [4801, 1006, 176193] C257
480) [19753, 1691, 472896] C257 217) [821, 3382, 967897] C257
481) [20161, 215, 6516] C257 154) [181, 430, 20161] C257
482) [20393, 698, 40229] C257 216) [821, 349, 20393] C257
483) [21341, 666, 25525] C257 226) [1021, 333, 21341] C257
484) [21821, 898, 114317] C257 269) [2333, 449, 21821] C257
485) [23369, 1091, 11300] C257 143) [113, 1223, 373904] C257
486) [26053, 437, 41229] C257 197) [509, 874, 26053] C257
487) [27337, 1219, 36612] C257 144) [113, 1335, 437392] C257
488) [27653, 674, 2957] C257 294) [2957, 337, 27653] C257
489) [27793, 271, 11412] C257 183) [317, 542, 27793] C257
490) [28513, 687, 110864] C257 113) [41, 1067, 114052] C257
491) [31649, 271, 10448] C257 204) [653, 542, 31649] C257
492) [32213, 189, 877] C257 219) [877, 378, 32213] C257
493) [32341, 277, 11097] C257 146) [137, 554, 32341] C257
494) [33721, 671, 36688] C257 268) [2293, 1342, 303489] C257
495) [34129, 3815, 1172736] C257 196) [509, 2277, 853225] C257
496) [35257, 875, 182592] C257 184) [317, 1750, 35257] C257
497) [36497, 207, 1588] C257 189) [397, 414, 36497] C257
498) [36877, 3273, 13769] C257 174) [281, 1683, 590032] C257
499) [37517, 1410, 346957] C257 259) [2053, 705, 37517] C257
500) [39241, 3082, 2217717] C257 179) [293, 1541, 39241] C257
501) [40961, 3418, 2756837] C257 177) [293, 1709, 40961] C257
502) [42293, 453, 40729] C257 161) [241, 906, 42293] C257
503) [42641, 343, 18752] C257 178) [293, 686, 42641] C257
504) [43237, 2705, 2493] C257 167) [277, 3077, 389133] C257
505) [43573, 1673, 427401] C257 173) [281, 3346, 1089325] C257
506) [48781, 922, 17397] C257 256) [1933, 461, 48781] C257
507) [49409, 255, 3904] C257 122) [61, 510, 49409] C257
508) [49433, 890, 293] C257 180) [293, 445, 49433] C257
509) [52289, 1607, 5072] C257 182) [317, 3214, 2562161] C257
510) [61253, 2014, 34001] C257 172) [281, 1007, 245012] C257
511) [61441, 899, 63808] C257 223) [997, 1798, 552969] C257
512) [67429, 1066, 14373] C257 249) [1597, 533, 67429] C257
513) [67933, 289, 3897] C257 192) [433, 578, 67933] C257
514) [72269, 1186, 62573] C257 240) [1277, 593, 72269] C257
515) [73121, 851, 16528] C257 227) [1033, 1702, 658089] C257
516) [74729, 1031, 97600] C257 123) [61, 2062, 672561] C257
517) [76949, 1122, 6925] C257 169) [277, 561, 76949] C257
518) [85513, 1234, 38637] C257 120) [53, 617, 85513] C257
519) [89041, 1234, 24525] C257 138) [109, 617, 89041] C257
520) [91033, 3935, 24912] C257 153) [173, 3693, 91033] C257
521) [91309, 345, 6929] C257 112) [41, 690, 91309] C257
522) [96137, 3131, 504016] C257 137) [109, 2309, 865233] C257
523) [96953, 419, 19652] C257 80) [17, 838, 96953] C257
524) [102433, 335, 2448] C257 81) [17, 670, 102433] C257
525) [102481, 1514, 163125] C257 105) [29, 757, 102481] C257
526) [118901, 701, 93125] C257 150) [149, 1402, 118901] C257
527) [135181, 433, 13077] C257 246) [1453, 866, 135181] C257
528) [136481, 3063, 673600] C257 190) [421, 6126, 6687569] C257
529) [183637, 429, 101] C257 134) [101, 858, 183637] C257
530) [200909, 449, 173] C257 151) [173, 898, 200909] C257
531) [222329, 3603, 521872] C257 158) [193, 6387, 3557264] C257
532) [224449, 669, 55778] C257 49) [8, 1338, 224449] C257
533) [236333, 2042, 97109] C257 164) [269, 1021, 236333] C257
534) [292837, 925, 140697] C257 156) [193, 1850, 292837] C257
535) [323597, 569, 41] C257 117) [41, 1138, 323597] C257
536) [343829, 2434, 105773] C257 175) [293, 1217, 343829] C257
537) [346849, 589, 18] C257 33) [8, 1178, 346849] C257
538) [348097, 783, 66248] C257 37) [8, 1566, 348097] C257
539) [379013, 653, 11849] C257 110) [41, 1306, 379013] C257
540) [380621, 2530, 77741] C257 165) [269, 1265, 380621] C257
541) [397753, 643, 3924] C257 136) [109, 1286, 397753] C257
542) [441029, 677, 4325] C257 152) [173, 1354, 441029] C257
543) [442397, 681, 5341] C257 139) [109, 1362, 442397] C257
544) [491633, 821, 45602] C257 46) [8, 1642, 491633] C257
545) [514061, 817, 38357] C257 185) [317, 1634, 514061] C257
546) [518473, 1763, 647424] C257 171) [281, 3526, 518473] C257
547) [546149, 757, 6725] C257 166) [269, 1514, 546149] C257
548) [561373, 769, 7497] C257 86) [17, 1538, 561373] C257
549) [579473, 1463, 390224] C257 100) [29, 2926, 579473] C257
550) [596933, 773, 149] C257 149) [149, 1546, 596933] C257
551) [632977, 1111, 150336] C257 102) [29, 2222, 632977] C257
552) [645137, 805, 722] C257 54) [8, 1610, 645137] C257
553) [693257, 1027, 90368] C257 188) [353, 2054, 693257] C257
554) [740897, 863, 968] C257 51) [8, 1726, 740897] C257
555) [838441, 1331, 233280] C257 3) [5, 1833, 838441] C257
556) [855461, 925, 41] C257 111) [41, 1850, 855461] C257
557) [857821, 961, 16425] C257 126) [73, 1922, 857821] C257
558) [858233, 1035, 53248] C257 78) [13, 2070, 858233] C257
559) [864673, 941, 5202] C257 53) [8, 1882, 864673] C257
560) [875201, 1183, 131072] C257 31) [8, 2366, 875201] C257
561) [955217, 2939, 10192] C257 75) [13, 2205, 955217] C257
562) [964433, 983, 464] C257 106) [29, 1966, 964433] C257
563) [987353, 1179, 100672] C257 79) [13, 2358, 987353] C257
564) [1053197, 1097, 37553] C257 91) [17, 2194, 1053197] C257
565) [1094689, 1389, 208658] C257 52) [8, 2778, 1094689] C257
566) [1162321, 1111, 18000] C257 9) [5, 2222, 1162321] C257
567) [1193609, 1347, 155200] C257 133) [97, 2694, 1193609] C257
568) [1207681, 1183, 47952] C257 107) [37, 2366, 1207681] C257
569) [1260673, 1471, 225792] C257 40) [8, 2942, 1260673] C257
570) [1278817, 1165, 19602] C257 32) [8, 2330, 1278817] C257
571) [1321477, 1157, 4293] C257 119) [53, 2314, 1321477] C257
572) [1329269, 1237, 50225] C257 114) [41, 2474, 1329269] C257
573) [1377713, 1191, 10192] C257 68) [13, 2382, 1377713] C257
574) [1574401, 1375, 79056] C257 125) [61, 2750, 1574401] C257
575) [1624321, 1279, 2880] C257 27) [5, 2558, 1624321] C257
576) [1687853, 1321, 14297] C257 87) [17, 2642, 1687853] C257
577) [1814993, 4187, 299008] C257 127) [73, 8374, 16334937] C257
578) [1824281, 2299, 865280] C257 25) [5, 2737, 1824281] C257
579) [1848193, 1535, 127008] C257 45) [8, 3070, 1848193] C257
580) [1855961, 1691, 250880] C257 16) [5, 2833, 1855961] C257
581) [1932869, 1413, 15925] C257 69) [13, 2826, 1932869] C257
582) [1939481, 1403, 7232] C257 142) [113, 2806, 1939481] C257
583) [2083937, 1615, 131072] C257 48) [8, 3230, 2083937] C257
584) [2128697, 1579, 91136] C257 131) [89, 3158, 2128697] C257
585) [2209937, 1495, 6272] C257 35) [8, 2990, 2209937] C257
586) [2211977, 2115, 565312] C257 128) [73, 4230, 2211977] C257
587) [2270297, 1979, 411536] C257 129) [89, 3958, 2270297] C257
588) [2359129, 1627, 72000] C257 23) [5, 3254, 2359129] C257
589) [2566513, 1639, 29952] C257 77) [13, 3278, 2566513] C257
590) [2758241, 1711, 42320] C257 18) [5, 3422, 2758241] C257
591) [2784961, 2719, 1152000] C257 17) [5, 3357, 2784961] C257
592) [2786753, 1759, 76832] C257 41) [8, 3518, 2786753] C257
593) [3095849, 2707, 1058000] C257 20) [5, 3521, 3095849] C257
594) [3131321, 1771, 1280] C257 15) [5, 3542, 3131321] C257
595) [3137209, 1867, 87120] C257 19) [5, 3734, 3137209] C257
596) [3325849, 2363, 564480] C257 10) [5, 3729, 3325849] C257
597) [3386153, 1843, 2624] C257 118) [41, 3686, 3386153] C257
598) [3453409, 1927, 64980] C257 22) [5, 3854, 3453409] C257
599) [3508073, 1907, 32144] C257 109) [41, 3814, 3508073] C257
600) [3599641, 2107, 209952] C257 34) [8, 4214, 3599641] C257
601) [3696281, 2491, 627200] C257 61) [8, 4982, 3696281] C257
602) [3714341, 3589, 2291645] C257 12) [5, 3997, 3714341] C257
603) [3833233, 1975, 16848] C257 71) [13, 3950, 3833233] C257
604) [4518929, 2423, 338000] C257 26) [5, 4669, 4518929] C257
605) [4529897, 2227, 107408] C257 148) [137, 4454, 4529897] C257
606) [4530913, 2191, 67392] C257 67) [13, 4382, 4530913] C257
607) [4606489, 2683, 648000] C257 24) [5, 4449, 4606489] C257
608) [4664249, 3307, 1568000] C257 13) [5, 4321, 4664249] C257
609) [5246057, 2291, 656] C257 115) [41, 4582, 5246057] C257
610) [5316929, 2327, 24500] C257 21) [5, 4654, 5316929] C257
611) [5332417, 2335, 29952] C257 72) [13, 4670, 5332417] C257
612) [5521289, 2371, 25088] C257 57) [8, 4742, 5521289] C257
613) [5695769, 2939, 735488] C257 93) [17, 5878, 5695769] C257
614) [5808809, 2803, 512000] C257 30) [5, 5209, 5808809] C257
615) [5843017, 2915, 663552] C257 59) [8, 5830, 5843017] C257
616) [5867969, 2687, 338000] C257 29) [5, 5374, 5867969] C257
617) [5939881, 2803, 479232] C257 76) [13, 5606, 5939881] C257
618) [5946181, 3669, 1878845] C257 4) [5, 4877, 5946181] C257
619) [6029021, 3961, 2415125] C257 1) [5, 4933, 6029021] C257
620) [6111769, 2491, 23328] C257 65) [8, 4982, 6111769] C257
621) [6492569, 2587, 50000] C257 8) [5, 5174, 6492569] C257
622) [6535897, 2587, 39168] C257 97) [17, 5174, 6535897] C257
623) [6566809, 2747, 244800] C257 82) [17, 5494, 6566809] C257
624) [6576169, 2963, 550800] C257 84) [17, 5926, 6576169] C257
625) [6787609, 2641, 46818] C257 58) [8, 5282, 6787609] C257
626) [7402649, 2843, 170000] C257 89) [17, 5686, 7402649] C257
627) [7665257, 2963, 278528] C257 94) [17, 5926, 7665257] C257
628) [8534137, 2923, 2448] C257 95) [17, 5846, 8534137] C257
629) [8978297, 3083, 131648] C257 90) [17, 6166, 8978297] C257
630) [9886937, 3227, 131648] C257 83) [17, 6454, 9886937] C257
631) [10362329, 3227, 12800] C257 64) [8, 6454, 10362329] C257
632) [11013529, 3323, 7200] C257 56) [8, 6646, 11013529] C257
633) [11199577, 3355, 14112] C257 60) [8, 6710, 11199577] C257
634) [11524937, 3395, 272] C257 92) [17, 6790, 11524937] C257
635) [12595673, 3739, 346112] C257 63) [8, 7478, 12595673] C257
636) [12867577, 3595, 14112] C257 36) [8, 7190, 12867577] C257
637) [14163209, 3971, 401408] C257 50) [8, 7942, 14163209] C257