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 C3 x C18 non-normal (D4) quartic CM field invariants: 681 fields

K Quartic invariants Cl(OK) Igusa invariants Kr Reflex invariants Cl(OKr) Igusa invariants
1) [5, 886, 170329] C3 x C18 ---) [170329, 443, 6480] C3 x C3 x C18
2) [5, 2026, 1023749] C3 x C18 680) [1023749, 1013, 605] C3 x C18
3) [5, 469, 54539] C3 x C18 ---) [218156, 938, 1805] C3 x C3 x C18
4) [5, 331, 22109] C3 x C18 537) [22109, 167, 1445] C3 x C18
5) [5, 1685, 684245] C3 x C18 ---) [684245, 1085, 123245] C3 x C72
6) [5, 629, 97009] C3 x C18 627) [97009, 423, 20480] C3 x C18
7) [5, 1661, 689069] C3 x C18 ---) [689069, 1217, 198005] C6 x C18
8) [5, 977, 213781] C3 x C18 657) [213781, 909, 153125] C3 x C18
9) [5, 1229, 377509] C3 x C18 672) [377509, 933, 123245] C3 x C18
10) [5, 496, 60659] C3 x C18 663) [242636, 992, 3380] C3 x C18
11) [5, 2146, 992909] C3 x C18 ---) [992909, 1073, 39605] C6 x C18
12) [5, 1541, 555389] C3 x C18 676) [555389, 937, 80645] C3 x C18
13) [5, 266, 17684] C3 x C18 421) [4421, 202, 5780] C3 x C18
14) [5, 865, 172745] C3 x C18 ---) [172745, 515, 23120] C3 x C72
15) [5, 374, 33164] C3 x C18 565) [33164, 328, 18605] C3 x C18
16) [5, 316, 22964] C3 x C18 ---) [5741, 158, 500] C3 x C3 x C18
17) [5, 311, 23629] C3 x C18 ---) [23629, 207, 4805] C3 x C126
18) [5, 142, 5021] C3 x C18 434) [5021, 71, 5] C3 x C18
19) [5, 1174, 312569] C3 x C18 ---) [312569, 587, 8000] C3 x C3 x C18
20) [5, 1090, 296845] C3 x C18 ---) [296845, 545, 45] C3 x C3 x C72
21) [5, 167, 6971] C3 x C18 555) [27884, 334, 5] C3 x C18
22) [5, 901, 179489] C3 x C18 ---) [179489, 847, 134480] C3 x C126
23) [5, 753, 133141] C3 x C18 636) [133141, 461, 19845] C3 x C18
24) [8, 526, 68777] C3 x C18 611) [68777, 263, 98] C3 x C18
25) [8, 1526, 334361] C3 x C18 670) [334361, 763, 61952] C3 x C18
26) [8, 410, 38153] C3 x C18 577) [38153, 205, 968] C3 x C18
27) [8, 586, 82961] C3 x C18 623) [82961, 293, 722] C3 x C18
28) [8, 208, 10798] C3 x C18 583) [43192, 208, 18] C3 x C18
29) [8, 414, 33049] C3 x C18 564) [33049, 207, 2450] C3 x C18
30) [8, 554, 62617] C3 x C18 605) [62617, 277, 3528] C3 x C18
31) [8, 914, 207881] C3 x C18 656) [207881, 457, 242] C3 x C18
32) [8, 1490, 386825] C3 x C18 ---) [15473, 745, 42050] C3 x C90
33) [8, 1222, 373289] C3 x C18 ---) [373289, 611, 8] C3 x C3 x C18
34) [8, 1190, 350825] C3 x C18 510) [14033, 595, 800] C3 x C18
35) [8, 946, 223081] C3 x C18 ---) [223081, 473, 162] C6 x C18
36) [8, 1622, 509753] C3 x C18 ---) [509753, 811, 36992] C3 x C36
37) [8, 2230, 1142873] C3 x C18 681) [1142873, 1115, 25088] C3 x C18
38) [8, 314, 13399] C3 x C18 595) [53596, 314, 11250] C3 x C18
39) [12, 1058, 276769] C3 x C18 668) [276769, 529, 768] C3 x C18
40) [12, 1206, 286809] C3 x C18 669) [286809, 603, 19200] C3 x C18
41) [12, 1046, 235897] C3 x C18 661) [235897, 523, 9408] C3 x C18
42) [12, 1334, 444697] C3 x C18 675) [444697, 667, 48] C3 x C18
43) [12, 778, 140521] C3 x C18 637) [140521, 389, 2700] C3 x C18
44) [12, 2438, 598153] C3 x C18 677) [598153, 1219, 221952] C3 x C18
45) [12, 286, 19477] C3 x C18 ---) [19477, 143, 243] C3 x C90
46) [12, 250, 9277] C3 x C18 482) [9277, 125, 1587] C3 x C18
47) [12, 818, 94273] C3 x C18 625) [94273, 409, 18252] C3 x C18
48) [12, 1910, 392857] C3 x C18 673) [392857, 955, 129792] C3 x C18
49) [12, 790, 71353] C3 x C18 614) [71353, 395, 21168] C3 x C18
50) [12, 248, 15373] C3 x C18 516) [15373, 490, 44652] C3 x C18
51) [12, 1898, 883273] C3 x C18 679) [883273, 949, 4332] C3 x C18
52) [12, 154, 3046] C3 x C18 500) [12184, 122, 675] C3 x C18
53) [12, 1542, 239433] C3 x C18 662) [239433, 771, 88752] C3 x C18
54) [12, 1622, 656953] C3 x C18 678) [656953, 811, 192] C3 x C18
55) [13, 558, 37073] C3 x C18 576) [37073, 279, 10192] C3 x C18
56) [13, 201, 5651] C3 x C18 540) [22604, 402, 17797] C3 x C18
57) [13, 361, 32317] C3 x C18 ---) [32317, 661, 36517] C6 x C90
58) [13, 1501, 268797] C3 x C18 667) [268797, 1193, 288613] C3 x C18
59) [13, 886, 121161] C3 x C18 632) [121161, 443, 18772] C3 x C18
60) [13, 618, 76709] C3 x C18 619) [76709, 309, 4693] C3 x C18
61) [13, 168, 3299] C3 x C18 504) [13196, 336, 15028] C3 x C18
62) [13, 674, 69837] C3 x C18 612) [69837, 337, 10933] C3 x C18
63) [13, 753, 89333] C3 x C18 ---) [89333, 905, 3757] C6 x C18
64) [13, 248, 15259] C3 x C18 604) [61036, 496, 468] C3 x C18
65) [13, 941, 221341] C3 x C18 ---) [221341, 1637, 171925] C3 x C3 x C36
66) [13, 410, 22252] C3 x C18 539) [22252, 464, 3757] C3 x C18
67) [13, 613, 81849] C3 x C18 622) [81849, 1091, 277108] C3 x C18
68) [13, 921, 166037] C3 x C18 643) [166037, 1225, 1573] C3 x C18
69) [13, 1517, 265009] C3 x C18 666) [265009, 1159, 269568] C3 x C18
70) [13, 690, 116477] C3 x C18 ---) [116477, 345, 637] C3 x C36
71) [13, 737, 51549] C3 x C18 ---) [51549, 457, 39325] C3 x C3 x C18
72) [17, 1070, 279425] C3 x C18 494) [11177, 535, 1700] C3 x C18
73) [17, 649, 47122] C3 x C18 ---) [188488, 1298, 232713] C3 x C252
74) [17, 3030, 640377] C3 x C18 613) [71153, 1515, 413712] C3 x C18
75) [17, 1118, 279569] C3 x C18 ---) [279569, 559, 8228] C3 x C414
76) [17, 2054, 619529] C3 x C18 ---) [619529, 1027, 108800] C6 x C18
77) [17, 709, 48214] C3 x C18 652) [192856, 1418, 309825] C3 x C18
78) [17, 837, 169324] C3 x C18 645) [169324, 1674, 23273] C3 x C18
79) [17, 1342, 280241] C3 x C18 ---) [280241, 671, 42500] C3 x C144
80) [17, 673, 57026] C3 x C18 ---) [228104, 1346, 224825] C3 x C144
81) [17, 618, 38293] C3 x C18 ---) [38293, 309, 14297] C6 x C18
82) [17, 847, 178124] C3 x C18 ---) [178124, 1694, 4913] C3 x C3 x C18
83) [17, 394, 35477] C3 x C18 ---) [35477, 197, 833] C3 x C36
84) [21, 298, 20101] C3 x C18 531) [20101, 149, 525] C3 x C18
85) [21, 1082, 268405] C3 x C18 ---) [268405, 541, 6069] C3 x C72
86) [21, 1049, 58753] C3 x C18 ---) [58753, 703, 108864] C3 x C36
87) [21, 818, 163165] C3 x C18 ---) [163165, 409, 1029] C3 x C36
88) [21, 1373, 150985] C3 x C18 ---) [150985, 1411, 459984] C3 x C36
89) [21, 725, 131401] C3 x C18 ---) [131401, 1450, 21] C3 x C252
90) [21, 869, 149053] C3 x C18 639) [149053, 1738, 158949] C3 x C18
91) [21, 578, 81421] C3 x C18 621) [81421, 289, 525] C3 x C18
92) [21, 509, 36793] C3 x C18 575) [36793, 759, 61236] C3 x C18
93) [21, 433, 39685] C3 x C18 ---) [39685, 866, 28749] C3 x C36
94) [24, 1988, 877060] C3 x C18 ---) [219265, 994, 27744] C3 x C36
95) [24, 1258, 89185] C3 x C18 ---) [89185, 629, 76614] C3 x C36
96) [24, 1142, 325177] C3 x C18 ---) [325177, 571, 216] C3 x C3 x C36
97) [24, 1814, 352249] C3 x C18 671) [352249, 907, 117600] C3 x C18
98) [24, 868, 157252] C3 x C18 579) [39313, 434, 7776] C3 x C18
99) [24, 404, 25804] C3 x C18 549) [25804, 202, 3750] C3 x C18
100) [24, 142, 4657] C3 x C18 427) [4657, 71, 96] C3 x C18
101) [24, 332, 27532] C3 x C18 553) [27532, 166, 6] C3 x C18
102) [24, 1100, 232516] C3 x C18 602) [58129, 550, 17496] C3 x C18
103) [24, 1468, 377380] C3 x C18 ---) [94345, 734, 40344] C3 x C3 x C36
104) [24, 950, 225241] C3 x C18 660) [225241, 475, 96] C3 x C18
105) [24, 586, 32833] C3 x C18 ---) [32833, 293, 13254] C3 x C3 x C18
106) [28, 1744, 755652] C3 x C18 650) [188913, 872, 1183] C3 x C18
107) [28, 1390, 235617] C3 x C18 ---) [235617, 695, 61852] C3 x C3 x C18
108) [28, 2032, 1008708] C3 x C18 ---) [252177, 1016, 5887] C3 x C3 x C18
109) [28, 2578, 180321] C3 x C18 647) [180321, 1289, 370300] C3 x C18
110) [28, 1200, 308228] C3 x C18 620) [77057, 600, 12943] C3 x C18
111) [28, 1286, 215881] C3 x C18 659) [215881, 643, 49392] C3 x C18
112) [28, 866, 186481] C3 x C18 ---) [186481, 433, 252] C3 x C3 x C18
113) [28, 746, 63417] C3 x C18 609) [63417, 373, 18928] C3 x C18
114) [28, 2368, 813156] C3 x C18 655) [203289, 1184, 147175] C3 x C18
115) [28, 1030, 264777] C3 x C18 665) [264777, 515, 112] C3 x C18
116) [28, 1894, 249897] C3 x C18 664) [249897, 947, 161728] C3 x C18
117) [29, 613, 75085] C3 x C18 ---) [75085, 1226, 75429] C3 x C6 x C18
118) [29, 419, 13259] C3 x C18 592) [53036, 838, 122525] C3 x C18
119) [29, 314, 3508] C3 x C18 317) [877, 162, 5684] C3 x C18
120) [29, 1434, 110293] C3 x C18 ---) [110293, 717, 100949] C6 x C18
121) [29, 1465, 94241] C3 x C18 624) [94241, 935, 194996] C3 x C18
122) [29, 609, 27289] C3 x C18 ---) [27289, 667, 104400] C3 x C3 x C72
123) [29, 698, 60437] C3 x C18 ---) [60437, 349, 15341] C3 x C6 x C18
124) [33, 314, 15112] C3 x C18 ---) [15112, 628, 38148] C3 x C72
125) [33, 920, 45247] C3 x C18 648) [180988, 1840, 665412] C3 x C18
126) [33, 322, 25096] C3 x C18 ---) [25096, 644, 3300] C3 x C144
127) [33, 719, 124876] C3 x C18 633) [124876, 1438, 17457] C3 x C18
128) [33, 538, 62824] C3 x C18 ---) [62824, 1076, 38148] C3 x C36
129) [33, 3647, 2050948] C3 x C18 ---) [512737, 2355, 232848] C3 x C36
130) [33, 806, 153961] C3 x C18 ---) [153961, 403, 2112] C3 x C36
131) [33, 1159, 303076] C3 x C18 ---) [75769, 1451, 507408] C3 x C36
132) [33, 2390, 405817] C3 x C18 674) [405817, 1195, 255552] C3 x C18
133) [33, 623, 96364] C3 x C18 ---) [96364, 1246, 2673] C3 x C3 x C18
134) [33, 895, 199588] C3 x C18 ---) [49897, 1119, 200772] C3 x C3 x C36
135) [33, 463, 39724] C3 x C18 580) [39724, 926, 55473] C3 x C18
136) [37, 797, 98113] C3 x C18 ---) [98113, 1594, 242757] C6 x C18
137) [37, 505, 62637] C3 x C18 ---) [62637, 1010, 4477] C3 x C3 x C18
138) [37, 466, 54141] C3 x C18 596) [54141, 233, 37] C3 x C18
139) [37, 1589, 57721] C3 x C18 ---) [57721, 959, 100048] C3 x C36
140) [37, 778, 144069] C3 x C18 638) [144069, 389, 1813] C3 x C18
141) [37, 653, 76549] C3 x C18 618) [76549, 1306, 120213] C3 x C18
142) [37, 371, 4357] C3 x C18 ---) [4357, 239, 4477] C3 x C90
143) [41, 702, 122545] C3 x C18 ---) [122545, 351, 164] C3 x C72
144) [41, 586, 51368] C3 x C18 ---) [51368, 1172, 137924] C6 x C18
145) [41, 2415, 1254276] C3 x C18 569) [34841, 3531, 1157184] C3 x C18
146) [41, 950, 223001] C3 x C18 ---) [223001, 475, 656] C6 x C18
147) [41, 1430, 67769] C3 x C18 ---) [401, 715, 110864] C3 x C90
148) [41, 569, 73468] C3 x C18 615) [73468, 1138, 29889] C3 x C18
149) [44, 694, 50009] C3 x C18 589) [50009, 347, 17600] C3 x C18
150) [44, 854, 164729] C3 x C18 642) [164729, 427, 4400] C3 x C18
151) [44, 1288, 251012] C3 x C18 606) [62753, 644, 40931] C3 x C18
152) [44, 442, 44441] C3 x C18 586) [44441, 221, 1100] C3 x C18
153) [44, 2290, 127601] C3 x C18 634) [127601, 1145, 295856] C3 x C18
154) [44, 344, 28484] C3 x C18 467) [7121, 172, 275] C3 x C18
155) [53, 605, 24713] C3 x C18 ---) [24713, 1195, 54272] C3 x C72
156) [53, 922, 34229] C3 x C18 ---) [34229, 461, 44573] C6 x C90
157) [56, 1094, 159209] C3 x C18 641) [159209, 547, 35000] C3 x C18
158) [56, 566, 42233] C3 x C18 ---) [42233, 283, 9464] C3 x C36
159) [56, 454, 45929] C3 x C18 ---) [45929, 227, 1400] C3 x C72
160) [56, 806, 112009] C3 x C18 ---) [112009, 403, 12600] C3 x C36
161) [56, 1594, 41105] C3 x C18 ---) [41105, 797, 148526] C3 x C72
162) [57, 77, 1354] C3 x C18 ---) [5416, 154, 513] C3 x C36
163) [57, 357, 21474] C3 x C18 ---) [9544, 714, 41553] C3 x C36
164) [57, 926, 213457] C3 x C18 ---) [213457, 463, 228] C3 x C144
165) [57, 343, 24268] C3 x C18 544) [24268, 686, 20577] C3 x C18
166) [57, 587, 82024] C3 x C18 ---) [82024, 1174, 16473] C3 x C36
167) [57, 295, 21628] C3 x C18 536) [21628, 590, 513] C3 x C18
168) [61, 1986, 931149] C3 x C18 629) [103461, 993, 13725] C3 x C18
169) [61, 1186, 263565] C3 x C18 ---) [29285, 593, 22021] C6 x C18
170) [73, 505, 63738] C3 x C18 ---) [28328, 1010, 73] C6 x C18
171) [73, 743, 129964] C3 x C18 635) [129964, 1486, 32193] C3 x C18
172) [73, 380, 30187] C3 x C18 631) [120748, 760, 23652] C3 x C18
173) [76, 934, 187689] C3 x C18 649) [187689, 467, 7600] C3 x C18
174) [76, 1258, 358857] C3 x C18 581) [39873, 629, 9196] C3 x C18
175) [76, 1720, 635556] C3 x C18 640) [158889, 860, 26011] C3 x C18
176) [76, 950, 214681] C3 x C18 658) [214681, 475, 2736] C3 x C18
177) [76, 254, 9973] C3 x C18 486) [9973, 127, 1539] C3 x C18
178) [76, 1058, 220257] C3 x C18 545) [24473, 529, 14896] C3 x C18
179) [76, 368, 33172] C3 x C18 478) [8293, 184, 171] C3 x C18
180) [77, 442, 23893] C3 x C18 543) [23893, 221, 6237] C3 x C18
181) [77, 277, 12233] C3 x C18 ---) [12233, 554, 27797] C3 x C36
182) [77, 370, 9277] C3 x C18 481) [9277, 185, 6237] C3 x C18
183) [88, 938, 164961] C3 x C18 ---) [18329, 469, 13750] C3 x C3 x C90
184) [88, 316, 21796] C3 x C18 445) [5449, 158, 792] C3 x C18
185) [89, 1334, 80345] C3 x C18 ---) [80345, 667, 91136] C3 x C36
186) [89, 1631, 664484] C3 x C18 644) [166121, 3262, 2225] C3 x C18
187) [89, 971, 230704] C3 x C18 601) [57676, 1942, 20025] C3 x C18
188) [89, 410, 24581] C3 x C18 546) [24581, 205, 4361] C3 x C18
189) [92, 570, 9097] C3 x C18 480) [9097, 285, 18032] C3 x C18
190) [92, 490, 36473] C3 x C18 574) [36473, 245, 5888] C3 x C18
191) [93, 473, 33589] C3 x C18 566) [33589, 946, 89373] C3 x C18
192) [97, 758, 118809] C3 x C18 505) [13201, 379, 6208] C3 x C18
193) [97, 1367, 63628] C3 x C18 610) [63628, 2734, 1614177] C3 x C18
194) [97, 1126, 161769] C3 x C18 ---) [161769, 563, 38800] C3 x C9 x C18
195) [97, 1718, 235033] C3 x C18 ---) [235033, 859, 125712] C3 x C6 x C18
196) [109, 458, 31077] C3 x C18 410) [3453, 229, 5341] C3 x C18
197) [113, 473, 40988] C3 x C18 582) [40988, 946, 59777] C3 x C18
198) [113, 149, 5296] C3 x C18 349) [1324, 298, 1017] C3 x C18
199) [113, 881, 74684] C3 x C18 617) [74684, 1762, 477425] C3 x C18
200) [113, 497, 4546] C3 x C18 ---) [18184, 994, 228825] C3 x C72
201) [113, 495, 34108] C3 x C18 567) [34108, 990, 108593] C3 x C18
202) [124, 1582, 482337] C3 x C18 594) [53593, 791, 35836] C3 x C18
203) [129, 995, 247216] C3 x C18 ---) [61804, 1990, 1161] C3 x C3 x C18
204) [133, 797, 26833] C3 x C18 551) [26833, 1594, 527877] C3 x C18
205) [133, 706, 98541] C3 x C18 ---) [10949, 353, 6517] C3 x C3 x C18
206) [137, 433, 41084] C3 x C18 ---) [41084, 866, 23153] C3 x C3 x C18
207) [141, 1361, 403825] C3 x C18 ---) [16153, 1147, 324864] C3 x C72
208) [149, 1645, 519125] C3 x C18 ---) [20765, 1009, 149] C6 x C18
209) [152, 98, 2249] C3 x C18 ---) [2249, 49, 38] C3 x C72
210) [152, 860, 111332] C3 x C18 ---) [27833, 430, 18392] C3 x C3 x C72
211) [157, 285, 15557] C3 x C18 517) [15557, 570, 18997] C3 x C18
212) [161, 1294, 395425] C3 x C18 518) [15817, 647, 5796] C3 x C18
213) [161, 743, 70352] C3 x C18 420) [4397, 497, 7889] C3 x C18
214) [173, 405, 4633] C3 x C18 ---) [4633, 810, 145493] C3 x C36
215) [184, 1006, 64593] C3 x C18 468) [7177, 503, 47104] C3 x C18
216) [188, 336, 28036] C3 x C18 465) [7009, 168, 47] C3 x C18
217) [193, 3046, 2270121] C3 x C18 587) [46329, 1523, 12352] C3 x C18
218) [193, 2579, 620176] C3 x C18 ---) [38761, 1531, 111168] C3 x C126
219) [193, 499, 56412] C3 x C18 ---) [6268, 998, 23353] C3 x C3 x C18
220) [193, 303, 20588] C3 x C18 532) [20588, 606, 9457] C3 x C18
221) [201, 741, 125964] C3 x C18 509) [13996, 1482, 45225] C3 x C18
222) [213, 606, 61137] C3 x C18 459) [6793, 303, 7668] C3 x C18
223) [213, 266, 16837] C3 x C18 ---) [16837, 133, 213] C3 x C72
224) [217, 1126, 94761] C3 x C18 488) [10529, 563, 55552] C3 x C18
225) [229, 226, 11853] C3 x C18 ---) [1317, 113, 229] C18
226) [229, 25, 99] C3 x C18 ---) [44, 50, 229] C18
227) [229, 224, 4300] C3 x C18 ---) [172, 112, 2061] C18
228) [229, 50, 396] C3 x C18 ---) [44, 100, 916] C18
229) [229, 133, 4365] C3 x C18 ---) [485, 266, 229] C2 x C18
230) [229, 189, 6125] C3 x C18 ---) [5, 217, 11221] C18
231) [233, 571, 45104] C3 x C18 495) [11276, 1142, 145625] C3 x C18
232) [236, 1286, 35849] C3 x C18 573) [35849, 643, 94400] C3 x C18
233) [237, 473, 18901] C3 x C18 ---) [18901, 946, 148125] C3 x C36
234) [241, 1655, 679876] C3 x C18 ---) [169969, 3310, 19521] C6 x C18
235) [241, 364, 27099] C3 x C18 499) [12044, 728, 24100] C3 x C18
236) [241, 1998, 531425] C3 x C18 ---) [21257, 999, 116644] C6 x C18
237) [248, 214, 10457] C3 x C18 ---) [10457, 107, 248] C3 x C3 x C18
238) [249, 779, 91888] C3 x C18 ---) [22972, 1558, 239289] C3 x C126
239) [257, 295, 7300] C3 x C18 ---) [73, 590, 57825] C18
240) [257, 187, 7136] C3 x C18 ---) [1784, 374, 6425] C18
241) [257, 229, 11504] C3 x C18 ---) [2876, 458, 6425] C18
242) [257, 687, 9988] C3 x C18 ---) [2497, 755, 37008] C18
243) [257, 49, 22] C3 x C18 ---) [88, 98, 2313] C18
244) [257, 86, 1592] C3 x C18 ---) [1592, 172, 1028] C18
245) [257, 255, 16192] C3 x C18 ---) [253, 225, 12593] C18
246) [257, 213, 3568] C3 x C18 318) [892, 426, 31097] C3 x C18
247) [268, 1558, 602553] C3 x C18 501) [12297, 779, 1072] C3 x C18
248) [269, 365, 21941] C3 x C18 ---) [21941, 730, 45461] C3 x C72
249) [277, 130, 3117] C3 x C18 403) [3117, 65, 277] C3 x C18
250) [301, 1685, 86661] C3 x C18 484) [9629, 873, 188125] C3 x C18
251) [309, 445, 32125] C3 x C18 ---) [1285, 461, 37389] C3 x C36
252) [313, 466, 53037] C3 x C18 450) [5893, 233, 313] C3 x C18
253) [316, 282, 14825] C3 x C18 ---) [593, 141, 1264] C18
254) [316, 150, 569] C3 x C18 ---) [569, 75, 1264] C18
255) [316, 110, 1761] C3 x C18 ---) [1761, 55, 316] C126
256) [321, 251, 13744] C3 x C18 ---) [3436, 502, 8025] C18
257) [321, 75, 684] C3 x C18 ---) [76, 150, 2889] C18
258) [321, 128, 3775] C3 x C18 ---) [604, 256, 1284] C18
259) [321, 233, 12850] C3 x C18 ---) [2056, 466, 2889] C72
260) [321, 25, 76] C3 x C18 ---) [76, 50, 321] C18
261) [321, 426, 19368] C3 x C18 ---) [2152, 852, 104004] C36
262) [321, 510, 18801] C3 x C18 376) [2089, 255, 11556] C3 x C18
263) [329, 662, 25337] C3 x C18 ---) [25337, 331, 21056] C3 x C36
264) [341, 962, 164525] C3 x C18 454) [6581, 481, 16709] C3 x C18
265) [344, 228, 7492] C3 x C18 369) [1873, 114, 1376] C3 x C18
266) [353, 182, 7928] C3 x C18 475) [7928, 364, 1412] C3 x C18
267) [409, 2982, 1987497] C3 x C18 ---) [24537, 1491, 58896] C3 x C126
268) [409, 1839, 800388] C3 x C18 538) [22233, 2507, 320656] C3 x C18
269) [421, 383, 35725] C3 x C18 ---) [1429, 766, 3789] C3 x C90
270) [428, 142, 3329] C3 x C18 407) [3329, 71, 428] C3 x C18
271) [461, 937, 158525] C3 x C18 ---) [6341, 1585, 55781] C3 x C36
272) [469, 165, 1061] C3 x C18 ---) [1061, 330, 22981] C18
273) [469, 253, 15885] C3 x C18 ---) [1765, 506, 469] C3 x C36
274) [469, 137, 3637] C3 x C18 ---) [3637, 274, 4221] C18
275) [469, 174, 65] C3 x C18 ---) [65, 87, 1876] C36
276) [469, 769, 144909] C3 x C18 ---) [1789, 565, 4221] C18
277) [469, 433, 4545] C3 x C18 ---) [505, 391, 16884] C72
278) [469, 193, 6381] C3 x C18 ---) [709, 386, 11725] C18
279) [472, 2180, 100612] C3 x C18 ---) [25153, 1090, 271872] C3 x C90
280) [473, 323, 20288] C3 x C18 ---) [317, 305, 23177] C18
281) [473, 153, 58] C3 x C18 ---) [232, 306, 23177] C36
282) [473, 35, 188] C3 x C18 ---) [188, 70, 473] C18
283) [473, 358, 1769] C3 x C18 ---) [1769, 179, 7568] C36
284) [489, 1203, 175860] C3 x C18 ---) [4885, 1189, 489] C3 x C36
285) [508, 822, 95769] C3 x C18 ---) [10641, 411, 18288] C3 x C3 x C18
286) [521, 140, 211] C3 x C18 313) [844, 280, 18756] C3 x C18
287) [521, 1523, 267152] C3 x C18 523) [16697, 3046, 1250921] C3 x C18
288) [536, 354, 27979] C3 x C18 384) [2284, 450, 22646] C3 x C18
289) [537, 187, 2164] C3 x C18 290) [541, 374, 26313] C3 x C18
290) [541, 374, 26313] C3 x C18 289) [537, 187, 2164] C3 x C18
291) [541, 317, 8757] C3 x C18 321) [973, 634, 65461] C3 x C18
292) [568, 1258, 190593] C3 x C18 ---) [2353, 629, 51262] C36
293) [568, 746, 134017] C3 x C18 ---) [793, 373, 1278] C72
294) [568, 596, 7012] C3 x C18 ---) [1753, 298, 20448] C18
295) [568, 502, 6201] C3 x C18 ---) [689, 251, 14200] C72
296) [568, 1172, 16228] C3 x C18 ---) [4057, 586, 81792] C18
297) [569, 467, 47552] C3 x C18 398) [2972, 934, 27881] C3 x C18
298) [573, 137, 4549] C3 x C18 425) [4549, 274, 573] C3 x C18
299) [581, 1522, 465245] C3 x C18 ---) [3845, 761, 28469] C3 x C72
300) [617, 179, 7856] C3 x C18 372) [1964, 358, 617] C3 x C18
301) [632, 202, 4513] C3 x C18 424) [4513, 101, 1422] C3 x C18
302) [633, 370, 3208] C3 x C18 ---) [3208, 740, 124068] C3 x C36
303) [649, 871, 170028] C3 x C18 528) [18892, 1742, 78529] C3 x C18
304) [681, 1245, 128556] C3 x C18 512) [14284, 2490, 1035801] C3 x C18
305) [681, 931, 167488] C3 x C18 388) [2617, 1119, 24516] C3 x C18
306) [701, 638, 817] C3 x C18 ---) [817, 319, 25236] C3 x C90
307) [737, 372, 33859] C3 x C18 394) [2764, 744, 2948] C3 x C18
308) [761, 141, 214] C3 x C18 ---) [856, 282, 19025] C18
309) [761, 503, 31100] C3 x C18 ---) [1244, 1006, 128609] C18
310) [789, 137, 2917] C3 x C18 ---) [2917, 274, 7101] C3 x C3 x C18
311) [809, 787, 154640] C3 x C18 ---) [9665, 1574, 809] C6 x C18
312) [844, 224, 4948] C3 x C18 342) [1237, 112, 1899] C3 x C18
313) [844, 280, 18756] C3 x C18 286) [521, 140, 211] C3 x C18
314) [849, 263, 6892] C3 x C18 462) [6892, 526, 41601] C3 x C18
315) [869, 146, 1853] C3 x C18 ---) [1853, 73, 869] C3 x C36
316) [877, 1005, 250533] C3 x C18 401) [3093, 1493, 148213] C3 x C18
317) [877, 162, 5684] C3 x C18 119) [29, 314, 3508] C3 x C18
318) [892, 426, 31097] C3 x C18 246) [257, 213, 3568] C3 x C18
319) [921, 386, 33565] C3 x C18 ---) [685, 193, 921] C3 x C36
320) [953, 830, 11168] C3 x C18 ---) [2792, 1660, 644228] C6 x C18
321) [973, 634, 65461] C3 x C18 291) [541, 317, 8757] C3 x C18
322) [977, 1153, 244178] C3 x C18 ---) [8072, 2306, 352697] C3 x C36
323) [993, 299, 16144] C3 x C18 ---) [1009, 598, 24825] C126
324) [993, 435, 45072] C3 x C18 ---) [313, 359, 3972] C18
325) [993, 181, 1984] C3 x C18 ---) [124, 362, 24825] C18
326) [997, 417, 1349] C3 x C18 352) [1349, 834, 168493] C3 x C18
327) [997, 1234, 376701] C3 x C18 383) [2229, 617, 997] C3 x C18
328) [1016, 294, 17545] C3 x C18 ---) [145, 147, 1016] C72
329) [1061, 361, 485] C3 x C18 ---) [485, 722, 128381] C6 x C18
330) [1081, 435, 34064] C3 x C18 379) [2129, 870, 52969] C3 x C18
331) [1084, 298, 4857] C3 x C18 ---) [4857, 149, 4336] C3 x C3 x C18
332) [1117, 837, 74333] C3 x C18 ---) [1517, 1137, 322813] C3 x C36
333) [1129, 199, 2844] C3 x C18 ---) [316, 398, 28225] C3 x C6
334) [1129, 270, 161] C3 x C18 ---) [161, 135, 4516] C6
335) [1137, 113, 634] C3 x C18 ---) [2536, 226, 10233] C3 x C36
336) [1141, 250, 11061] C3 x C18 ---) [1229, 125, 1141] C3 x C3 x C18
337) [1149, 1266, 359325] C3 x C18 363) [1597, 633, 10341] C3 x C18
338) [1153, 1312, 14103] C3 x C18 ---) [6268, 2624, 1664932] C3 x C3 x C18
339) [1153, 910, 188577] C3 x C18 ---) [20953, 455, 4612] C3 x C90
340) [1181, 1285, 51125] C3 x C18 ---) [2045, 1441, 199589] C3 x C36
341) [1193, 181, 734] C3 x C18 397) [2936, 362, 29825] C3 x C18
342) [1237, 112, 1899] C3 x C18 312) [844, 224, 4948] C3 x C18
343) [1244, 1744, 311300] C3 x C18 402) [3113, 872, 112271] C3 x C18
344) [1257, 286, 337] C3 x C18 ---) [337, 143, 5028] C18
345) [1293, 170, 2053] C3 x C18 375) [2053, 85, 1293] C3 x C18
346) [1304, 154, 4625] C3 x C18 ---) [185, 77, 326] C36
347) [1304, 506, 31409] C3 x C18 ---) [641, 253, 8150] C18
348) [1304, 74, 65] C3 x C18 ---) [65, 37, 326] C36
349) [1324, 298, 1017] C3 x C18 198) [113, 149, 5296] C3 x C18
350) [1324, 5270, 5227321] C3 x C18 584) [43201, 2635, 428976] C3 x C18
351) [1333, 1210, 360693] C3 x C18 ---) [4453, 605, 1333] C3 x C36
352) [1349, 834, 168493] C3 x C18 326) [997, 417, 1349] C3 x C18
353) [1381, 421, 43965] C3 x C18 ---) [4885, 842, 1381] C6 x C18
354) [1489, 646, 67104] C3 x C18 ---) [1864, 1292, 148900] C36
355) [1489, 84, 275] C3 x C18 ---) [44, 168, 5956] C18
356) [1489, 279, 1220] C3 x C18 ---) [305, 558, 72961] C36
357) [1489, 1270, 22041] C3 x C18 ---) [2449, 635, 95296] C18
358) [1489, 678, 19625] C3 x C18 ---) [785, 339, 23824] C6 x C18
359) [1489, 403, 31296] C3 x C18 ---) [489, 806, 37225] C18
360) [1509, 173, 7105] C3 x C18 ---) [145, 346, 1509] C72
361) [1561, 2482, 1234125] C3 x C18 ---) [5485, 1241, 76489] C3 x C36
362) [1577, 350, 5393] C3 x C18 442) [5393, 175, 6308] C3 x C18
363) [1597, 633, 10341] C3 x C18 337) [1149, 1266, 359325] C3 x C18
364) [1676, 1750, 658361] C3 x C18 443) [5441, 875, 26816] C3 x C18
365) [1709, 402, 33565] C3 x C18 ---) [685, 201, 1709] C6 x C18
366) [1772, 338, 209] C3 x C18 ---) [209, 169, 7088] C18
367) [1789, 1417, 501525] C3 x C18 382) [2229, 1433, 44725] C3 x C18
368) [1837, 922, 205173] C3 x C18 ---) [2533, 461, 1837] C3 x C72
369) [1873, 114, 1376] C3 x C18 265) [344, 228, 7492] C3 x C18
370) [1901, 65, 581] C3 x C18 ---) [581, 130, 1901] C18
371) [1929, 146, 3400] C3 x C18 ---) [136, 292, 7716] C36
372) [1964, 358, 617] C3 x C18 300) [617, 179, 7856] C3 x C18
373) [1969, 2622, 175025] C3 x C18 464) [7001, 1311, 385924] C3 x C18
374) [1981, 197, 5245] C3 x C18 ---) [5245, 394, 17829] C3 x C72
375) [2053, 85, 1293] C3 x C18 345) [1293, 170, 2053] C3 x C18
376) [2089, 255, 11556] C3 x C18 262) [321, 510, 18801] C3 x C18
377) [2089, 1078, 156825] C3 x C18 ---) [697, 539, 33424] C6 x C18
378) [2101, 413, 97] C3 x C18 ---) [97, 323, 8404] C18
379) [2129, 870, 52969] C3 x C18 330) [1081, 435, 34064] C3 x C18
380) [2137, 775, 59868] C3 x C18 457) [6652, 1550, 361153] C3 x C18
381) [2217, 101, 1996] C3 x C18 ---) [1996, 202, 2217] C3 x C90
382) [2229, 1433, 44725] C3 x C18 367) [1789, 1417, 501525] C3 x C18
383) [2229, 617, 997] C3 x C18 327) [997, 1234, 376701] C3 x C18
384) [2284, 450, 22646] C3 x C18 288) [536, 354, 27979] C3 x C18
385) [2429, 385, 7301] C3 x C18 ---) [149, 493, 60725] C18
386) [2433, 1703, 588196] C3 x C18 399) [3001, 2407, 1177572] C3 x C18
387) [2481, 1496, 1279] C3 x C18 439) [5116, 2992, 2232900] C3 x C18
388) [2617, 1119, 24516] C3 x C18 305) [681, 931, 167488] C3 x C18
389) [2617, 283, 19368] C3 x C18 ---) [2152, 566, 2617] C6 x C18
390) [2636, 456, 49348] C3 x C18 ---) [73, 228, 659] C18
391) [2661, 1101, 249165] C3 x C18 ---) [565, 697, 2661] C3 x C36
392) [2677, 746, 42757] C3 x C18 ---) [253, 373, 24093] C18
393) [2749, 97, 1665] C3 x C18 ---) [185, 194, 2749] C6 x C18
394) [2764, 744, 2948] C3 x C18 307) [737, 372, 33859] C3 x C18
395) [2777, 69, 496] C3 x C18 ---) [124, 138, 2777] C18
396) [2857, 139, 4116] C3 x C18 ---) [21, 257, 2857] C18
397) [2936, 362, 29825] C3 x C18 341) [1193, 181, 734] C3 x C18
398) [2972, 934, 27881] C3 x C18 297) [569, 467, 47552] C3 x C18
399) [3001, 2407, 1177572] C3 x C18 386) [2433, 1703, 588196] C3 x C18
400) [3061, 145, 4491] C3 x C18 ---) [1996, 290, 3061] C3 x C90
401) [3093, 1493, 148213] C3 x C18 316) [877, 1005, 250533] C3 x C18
402) [3113, 872, 112271] C3 x C18 343) [1244, 1744, 311300] C3 x C18
403) [3117, 65, 277] C3 x C18 249) [277, 130, 3117] C3 x C18
404) [3173, 241, 7381] C3 x C18 ---) [61, 429, 3173] C18
405) [3229, 242, 1725] C3 x C18 ---) [69, 121, 3229] C18
406) [3309, 242, 1405] C3 x C18 ---) [1405, 121, 3309] C3 x C36
407) [3329, 71, 428] C3 x C18 270) [428, 142, 3329] C3 x C18
408) [3356, 58, 2] C3 x C18 ---) [8, 58, 839] C18
409) [3389, 301, 1469] C3 x C18 ---) [1469, 602, 84725] C3 x C36
410) [3453, 229, 5341] C3 x C18 196) [109, 458, 31077] C3 x C18
411) [3569, 1054, 220625] C3 x C18 ---) [353, 527, 14276] C18
412) [3569, 313, 23600] C3 x C18 ---) [236, 626, 3569] C18
413) [3569, 174, 4000] C3 x C18 ---) [40, 348, 14276] C36
414) [3788, 168, 3268] C3 x C18 ---) [817, 84, 947] C3 x C90
415) [3877, 73, 363] C3 x C18 ---) [12, 146, 3877] C18
416) [3889, 927, 213860] C3 x C18 ---) [185, 539, 62224] C2 x C18
417) [3889, 1222, 124425] C3 x C18 ---) [553, 611, 62224] C18
418) [3981, 762, 1845] C3 x C18 ---) [205, 381, 35829] C36
419) [4364, 134, 125] C3 x C18 ---) [5, 67, 1091] C18
420) [4397, 497, 7889] C3 x C18 213) [161, 743, 70352] C3 x C18
421) [4421, 202, 5780] C3 x C18 13) [5, 266, 17684] C3 x C18
422) [4481, 185, 7436] C3 x C18 ---) [44, 370, 4481] C18
423) [4481, 153, 4732] C3 x C18 ---) [28, 306, 4481] C18
424) [4513, 101, 1422] C3 x C18 301) [632, 202, 4513] C3 x C18
425) [4549, 274, 573] C3 x C18 298) [573, 137, 4549] C3 x C18
426) [4597, 127, 2883] C3 x C18 ---) [12, 254, 4597] C18
427) [4657, 71, 96] C3 x C18 100) [24, 142, 4657] C3 x C18
428) [4684, 144, 500] C3 x C18 ---) [5, 72, 1171] C18
429) [4729, 69, 8] C3 x C18 ---) [8, 138, 4729] C18
430) [4729, 123, 2600] C3 x C18 ---) [104, 246, 4729] C2 x C18
431) [4892, 70, 2] C3 x C18 ---) [8, 70, 1223] C18
432) [4933, 273, 7533] C3 x C18 ---) [93, 546, 44397] C18
433) [5009, 814, 85505] C3 x C18 ---) [1745, 407, 20036] C3 x C72
434) [5021, 71, 5] C3 x C18 18) [5, 142, 5021] C3 x C18
435) [5053, 393, 37349] C3 x C18 ---) [221, 786, 5053] C3 x C36
436) [5081, 702, 41905] C3 x C18 ---) [145, 351, 20324] C72
437) [5081, 327, 15300] C3 x C18 ---) [17, 654, 45729] C18
438) [5081, 129, 2890] C3 x C18 ---) [40, 258, 5081] C2 x C18
439) [5116, 2992, 2232900] C3 x C18 387) [2481, 1496, 1279] C3 x C18
440) [5281, 247, 13932] C3 x C18 ---) [172, 494, 5281] C18
441) [5297, 219, 72] C3 x C18 ---) [8, 438, 47673] C18
442) [5393, 175, 6308] C3 x C18 362) [1577, 350, 5393] C3 x C18
443) [5441, 875, 26816] C3 x C18 364) [1676, 1750, 658361] C3 x C18
444) [5441, 275, 6664] C3 x C18 ---) [136, 550, 48969] C3 x C36
445) [5449, 158, 792] C3 x C18 184) [88, 316, 21796] C3 x C18
446) [5521, 178, 2400] C3 x C18 ---) [24, 356, 22084] C6
447) [5613, 410, 19573] C3 x C18 ---) [37, 205, 5613] C18
448) [5689, 1039, 29520] C3 x C18 ---) [205, 577, 51201] C3 x C36
449) [5741, 237, 1125] C3 x C18 ---) [5, 474, 51669] C18
450) [5893, 233, 313] C3 x C18 252) [313, 466, 53037] C3 x C18
451) [5937, 770, 94792] C3 x C18 ---) [328, 1540, 213732] C3 x C72
452) [6092, 658, 10769] C3 x C18 ---) [89, 329, 24368] C18
453) [6209, 1318, 36905] C3 x C18 ---) [305, 659, 99344] C36
454) [6581, 481, 16709] C3 x C18 264) [341, 962, 164525] C3 x C18
455) [6637, 346, 3381] C3 x C18 ---) [69, 173, 6637] C18
456) [6637, 85, 147] C3 x C18 ---) [12, 170, 6637] C18
457) [6652, 1550, 361153] C3 x C18 380) [2137, 775, 59868] C3 x C18
458) [6729, 89, 298] C3 x C18 ---) [1192, 178, 6729] C3 x C36
459) [6793, 303, 7668] C3 x C18 222) [213, 606, 61137] C3 x C18
460) [6809, 83, 20] C3 x C18 ---) [5, 166, 6809] C6
461) [6881, 167, 5252] C3 x C18 ---) [1313, 334, 6881] C3 x C72
462) [6892, 526, 41601] C3 x C18 314) [849, 263, 6892] C3 x C18
463) [7001, 257, 14762] C3 x C18 ---) [488, 514, 7001] C6 x C18
464) [7001, 1311, 385924] C3 x C18 373) [1969, 2622, 175025] C3 x C18
465) [7009, 168, 47] C3 x C18 216) [188, 336, 28036] C3 x C18
466) [7113, 89, 202] C3 x C18 ---) [808, 178, 7113] C3 x C36
467) [7121, 172, 275] C3 x C18 154) [44, 344, 28484] C3 x C18
468) [7177, 503, 47104] C3 x C18 215) [184, 1006, 64593] C3 x C18
469) [7249, 1462, 70425] C3 x C18 ---) [313, 731, 115984] C18
470) [7256, 192, 1960] C3 x C18 ---) [40, 96, 1814] C3 x C36
471) [7349, 762, 115765] C3 x C18 ---) [685, 381, 7349] C6 x C18
472) [7388, 86, 2] C3 x C18 ---) [8, 86, 1847] C18
473) [7441, 443, 32320] C3 x C18 ---) [505, 886, 66969] C72
474) [7673, 240, 6727] C3 x C18 ---) [28, 480, 30692] C18
475) [7928, 364, 1412] C3 x C18 266) [353, 182, 7928] C3 x C18
476) [7948, 920, 140068] C3 x C18 ---) [97, 460, 17883] C18
477) [8017, 1459, 482064] C3 x C18 ---) [249, 803, 128272] C18
478) [8293, 184, 171] C3 x C18 179) [76, 368, 33172] C3 x C18
479) [9073, 305, 2842] C3 x C18 ---) [232, 610, 81657] C36
480) [9097, 285, 18032] C3 x C18 189) [92, 570, 9097] C3 x C18
481) [9277, 185, 6237] C3 x C18 182) [77, 370, 9277] C3 x C18
482) [9277, 125, 1587] C3 x C18 46) [12, 250, 9277] C3 x C18
483) [9461, 837, 59245] C3 x C18 ---) [205, 1401, 463589] C3 x C36
484) [9629, 873, 188125] C3 x C18 250) [301, 1685, 86661] C3 x C18
485) [9937, 340, 18963] C3 x C18 ---) [172, 680, 39748] C18
486) [9973, 127, 1539] C3 x C18 177) [76, 254, 9973] C3 x C18
487) [10333, 169, 4557] C3 x C18 ---) [93, 338, 10333] C18
488) [10529, 563, 55552] C3 x C18 224) [217, 1126, 94761] C3 x C18
489) [10617, 139, 2176] C3 x C18 ---) [136, 278, 10617] C3 x C36
490) [10636, 208, 180] C3 x C18 ---) [5, 104, 2659] C18
491) [10844, 106, 98] C3 x C18 ---) [8, 106, 2711] C18
492) [10929, 266, 6760] C3 x C18 ---) [40, 532, 43716] C36
493) [10997, 269, 15341] C3 x C18 ---) [29, 538, 10997] C18
494) [11177, 535, 1700] C3 x C18 72) [17, 1070, 279425] C3 x C18
495) [11276, 1142, 145625] C3 x C18 231) [233, 571, 45104] C3 x C18
496) [11353, 443, 46224] C3 x C18 ---) [321, 886, 11353] C3 x C3 x C18
497) [11669, 333, 24805] C3 x C18 ---) [205, 666, 11669] C3 x C36
498) [11833, 878, 3393] C3 x C18 ---) [377, 439, 47332] C3 x C36
499) [12044, 728, 24100] C3 x C18 235) [241, 364, 27099] C3 x C18
500) [12184, 122, 675] C3 x C18 52) [12, 154, 3046] C3 x C18
501) [12297, 779, 1072] C3 x C18 247) [268, 1558, 602553] C3 x C18
502) [12541, 4033, 2407725] C3 x C18 ---) [1189, 2065, 1015821] C6 x C18
503) [12777, 827, 14464] C3 x C18 ---) [904, 1654, 626073] C3 x C144
504) [13196, 336, 15028] C3 x C18 61) [13, 168, 3299] C3 x C18
505) [13201, 379, 6208] C3 x C18 192) [97, 758, 118809] C3 x C18
506) [13269, 413, 39325] C3 x C18 ---) [13, 253, 13269] C18
507) [13564, 466, 33] C3 x C18 ---) [33, 233, 13564] C18
508) [13721, 766, 23200] C3 x C18 ---) [232, 1532, 493956] C6 x C18
509) [13996, 1482, 45225] C3 x C18 221) [201, 741, 125964] C3 x C18
510) [14033, 595, 800] C3 x C18 34) [8, 1190, 350825] C3 x C18
511) [14141, 421, 12493] C3 x C18 ---) [13, 417, 14141] C18
512) [14284, 2490, 1035801] C3 x C18 304) [681, 1245, 128556] C3 x C18
513) [14533, 1229, 83317] C3 x C18 ---) [493, 2458, 1177173] C6 x C18
514) [15013, 181, 4437] C3 x C18 ---) [493, 362, 15013] C6 x C18
515) [15061, 393, 4725] C3 x C18 ---) [21, 445, 15061] C18
516) [15373, 490, 44652] C3 x C18 50) [12, 248, 15373] C3 x C18
517) [15557, 570, 18997] C3 x C18 211) [157, 285, 15557] C3 x C18
518) [15817, 647, 5796] C3 x C18 212) [161, 1294, 395425] C3 x C18
519) [15961, 839, 140068] C3 x C18 ---) [97, 1151, 63844] C18
520) [16141, 661, 8349] C3 x C18 ---) [69, 849, 145269] C18
521) [16369, 395, 2176] C3 x C18 ---) [136, 790, 147321] C36
522) [16481, 215, 7436] C3 x C18 ---) [44, 430, 16481] C18
523) [16697, 3046, 1250921] C3 x C18 287) [521, 1523, 267152] C3 x C18
524) [17132, 542, 4913] C3 x C18 ---) [17, 271, 17132] C18
525) [17417, 268, 539] C3 x C18 ---) [44, 536, 69668] C18
526) [18061, 437, 7105] C3 x C18 ---) [145, 874, 162549] C3 x C72
527) [18097, 143, 588] C3 x C18 ---) [12, 286, 18097] C18
528) [18892, 1742, 78529] C3 x C18 303) [649, 871, 170028] C3 x C18
529) [19429, 517, 61965] C3 x C18 ---) [85, 1034, 19429] C2 x C18
530) [19736, 314, 4913] C3 x C18 ---) [17, 157, 4934] C18
531) [20101, 149, 525] C3 x C18 84) [21, 298, 20101] C3 x C18
532) [20588, 606, 9457] C3 x C18 220) [193, 303, 20588] C3 x C18
533) [20649, 233, 8410] C3 x C18 ---) [40, 466, 20649] C36
534) [20841, 259, 11560] C3 x C18 ---) [40, 518, 20841] C3 x C36
535) [21589, 157, 765] C3 x C18 ---) [85, 314, 21589] C2 x C18
536) [21628, 590, 513] C3 x C18 167) [57, 295, 21628] C3 x C18
537) [22109, 167, 1445] C3 x C18 4) [5, 331, 22109] C3 x C18
538) [22233, 2507, 320656] C3 x C18 268) [409, 1839, 800388] C3 x C18
539) [22252, 464, 3757] C3 x C18 66) [13, 410, 22252] C3 x C18
540) [22604, 402, 17797] C3 x C18 56) [13, 201, 5651] C3 x C18
541) [22889, 403, 34880] C3 x C18 ---) [545, 806, 22889] C3 x C36
542) [23189, 773, 143585] C3 x C18 ---) [65, 1291, 371024] C6 x C18
543) [23893, 221, 6237] C3 x C18 180) [77, 442, 23893] C3 x C18
544) [24268, 686, 20577] C3 x C18 165) [57, 343, 24268] C3 x C18
545) [24473, 529, 14896] C3 x C18 178) [76, 1058, 220257] C3 x C18
546) [24581, 205, 4361] C3 x C18 188) [89, 410, 24581] C3 x C18
547) [25513, 499, 55872] C3 x C18 ---) [97, 998, 25513] C18
548) [25729, 199, 3468] C3 x C18 ---) [12, 398, 25729] C18
549) [25804, 202, 3750] C3 x C18 99) [24, 404, 25804] C3 x C18
550) [26761, 169, 450] C3 x C18 ---) [8, 338, 26761] C18
551) [26833, 1594, 527877] C3 x C18 204) [133, 797, 26833] C3 x C18
552) [27129, 368, 6727] C3 x C18 ---) [28, 736, 108516] C18
553) [27532, 166, 6] C3 x C18 101) [24, 332, 27532] C3 x C18
554) [27736, 352, 3240] C3 x C18 ---) [40, 176, 6934] C3 x C36
555) [27884, 334, 5] C3 x C18 21) [5, 167, 6971] C3 x C18
556) [28361, 169, 50] C3 x C18 ---) [8, 338, 28361] C18
557) [28389, 593, 24037] C3 x C18 ---) [13, 337, 28389] C18
558) [29553, 249, 8112] C3 x C18 ---) [12, 498, 29553] C18
559) [29901, 653, 39325] C3 x C18 ---) [13, 349, 29901] C18
560) [30169, 523, 60840] C3 x C18 ---) [40, 1046, 30169] C2 x C18
561) [30553, 571, 73872] C3 x C18 ---) [57, 1142, 30553] C18
562) [30829, 802, 37485] C3 x C18 ---) [85, 401, 30829] C2 x C18
563) [32649, 217, 3610] C3 x C18 ---) [40, 434, 32649] C3 x C36
564) [33049, 207, 2450] C3 x C18 29) [8, 414, 33049] C3 x C18
565) [33164, 328, 18605] C3 x C18 15) [5, 374, 33164] C3 x C18
566) [33589, 946, 89373] C3 x C18 191) [93, 473, 33589] C3 x C18
567) [34108, 990, 108593] C3 x C18 201) [113, 495, 34108] C3 x C18
568) [34789, 213, 2645] C3 x C18 ---) [5, 409, 34789] C18
569) [34841, 3531, 1157184] C3 x C18 145) [41, 2415, 1254276] C3 x C18
570) [35041, 423, 35972] C3 x C18 ---) [17, 807, 140164] C18
571) [35041, 382, 1440] C3 x C18 ---) [40, 764, 140164] C36
572) [35481, 379, 27040] C3 x C18 ---) [40, 758, 35481] C3 x C36
573) [35849, 643, 94400] C3 x C18 232) [236, 1286, 35849] C3 x C18
574) [36473, 245, 5888] C3 x C18 190) [92, 490, 36473] C3 x C18
575) [36793, 759, 61236] C3 x C18 92) [21, 509, 36793] C3 x C18
576) [37073, 279, 10192] C3 x C18 55) [13, 558, 37073] C3 x C18
577) [38153, 205, 968] C3 x C18 26) [8, 410, 38153] C3 x C18
578) [39217, 1067, 196384] C3 x C18 ---) [136, 2134, 352953] C3 x C36
579) [39313, 434, 7776] C3 x C18 98) [24, 868, 157252] C3 x C18
580) [39724, 926, 55473] C3 x C18 135) [33, 463, 39724] C3 x C18
581) [39873, 629, 9196] C3 x C18 174) [76, 1258, 358857] C3 x C18
582) [40988, 946, 59777] C3 x C18 197) [113, 473, 40988] C3 x C18
583) [43192, 208, 18] C3 x C18 28) [8, 208, 10798] C3 x C18
584) [43201, 2635, 428976] C3 x C18 350) [1324, 5270, 5227321] C3 x C18
585) [44169, 213, 300] C3 x C18 ---) [12, 426, 44169] C18
586) [44441, 221, 1100] C3 x C18 152) [44, 442, 44441] C3 x C18
587) [46329, 1523, 12352] C3 x C18 217) [193, 3046, 2270121] C3 x C18
588) [47353, 811, 152592] C3 x C18 ---) [33, 1079, 189412] C18
589) [50009, 347, 17600] C3 x C18 149) [44, 694, 50009] C3 x C18
590) [51029, 397, 26645] C3 x C18 ---) [5, 461, 51029] C18
591) [52881, 393, 25392] C3 x C18 ---) [12, 786, 52881] C18
592) [53036, 838, 122525] C3 x C18 118) [29, 419, 13259] C3 x C18
593) [53561, 235, 416] C3 x C18 ---) [104, 470, 53561] C3 x C36
594) [53593, 791, 35836] C3 x C18 202) [124, 1582, 482337] C3 x C18
595) [53596, 314, 11250] C3 x C18 38) [8, 314, 13399] C3 x C18
596) [54141, 233, 37] C3 x C18 138) [37, 466, 54141] C3 x C18
597) [54409, 313, 10890] C3 x C18 ---) [40, 626, 54409] C2 x C18
598) [56081, 239, 260] C3 x C18 ---) [65, 478, 56081] C6 x C18
599) [56713, 355, 17328] C3 x C18 ---) [12, 710, 56713] C18
600) [56977, 415, 28812] C3 x C18 ---) [12, 830, 56977] C18
601) [57676, 1942, 20025] C3 x C18 187) [89, 971, 230704] C3 x C18
602) [58129, 550, 17496] C3 x C18 102) [24, 1100, 232516] C3 x C18
603) [59689, 1282, 172125] C3 x C18 ---) [85, 641, 59689] C3 x C36
604) [61036, 496, 468] C3 x C18 64) [13, 248, 15259] C3 x C18
605) [62617, 277, 3528] C3 x C18 30) [8, 554, 62617] C3 x C18
606) [62753, 644, 40931] C3 x C18 151) [44, 1288, 251012] C3 x C18
607) [62949, 293, 5725] C3 x C18 ---) [229, 586, 62949] C3 x C3 x C18
608) [62969, 273, 2890] C3 x C18 ---) [40, 546, 62969] C6 x C18
609) [63417, 373, 18928] C3 x C18 113) [28, 746, 63417] C3 x C18
610) [63628, 2734, 1614177] C3 x C18 193) [97, 1367, 63628] C3 x C18
611) [68777, 263, 98] C3 x C18 24) [8, 526, 68777] C3 x C18
612) [69837, 337, 10933] C3 x C18 62) [13, 674, 69837] C3 x C18
613) [71153, 1515, 413712] C3 x C18 74) [17, 3030, 640377] C3 x C18
614) [71353, 395, 21168] C3 x C18 49) [12, 790, 71353] C3 x C18
615) [73468, 1138, 29889] C3 x C18 148) [41, 569, 73468] C3 x C18
616) [73469, 313, 6125] C3 x C18 ---) [5, 589, 73469] C18
617) [74684, 1762, 477425] C3 x C18 199) [113, 881, 74684] C3 x C18
618) [76549, 1306, 120213] C3 x C18 141) [37, 653, 76549] C3 x C18
619) [76709, 309, 4693] C3 x C18 60) [13, 618, 76709] C3 x C18
620) [77057, 600, 12943] C3 x C18 110) [28, 1200, 308228] C3 x C18
621) [81421, 289, 525] C3 x C18 91) [21, 578, 81421] C3 x C18
622) [81849, 1091, 277108] C3 x C18 67) [13, 613, 81849] C3 x C18
623) [82961, 293, 722] C3 x C18 27) [8, 586, 82961] C3 x C18
624) [94241, 935, 194996] C3 x C18 121) [29, 1465, 94241] C3 x C18
625) [94273, 409, 18252] C3 x C18 47) [12, 818, 94273] C3 x C18
626) [95657, 313, 578] C3 x C18 ---) [8, 626, 95657] C18
627) [97009, 423, 20480] C3 x C18 6) [5, 629, 97009] C3 x C18
628) [101009, 3523, 47360] C3 x C18 ---) [185, 2971, 1616144] C6 x C18
629) [103461, 993, 13725] C3 x C18 168) [61, 1986, 931149] C3 x C18
630) [113961, 1023, 5220] C3 x C18 ---) [145, 2046, 1025649] C3 x C72
631) [120748, 760, 23652] C3 x C18 172) [73, 380, 30187] C3 x C18
632) [121161, 443, 18772] C3 x C18 59) [13, 886, 121161] C3 x C18
633) [124876, 1438, 17457] C3 x C18 127) [33, 719, 124876] C3 x C18
634) [127601, 1145, 295856] C3 x C18 153) [44, 2290, 127601] C3 x C18
635) [129964, 1486, 32193] C3 x C18 171) [73, 743, 129964] C3 x C18
636) [133141, 461, 19845] C3 x C18 23) [5, 753, 133141] C3 x C18
637) [140521, 389, 2700] C3 x C18 43) [12, 778, 140521] C3 x C18
638) [144069, 389, 1813] C3 x C18 140) [37, 778, 144069] C3 x C18
639) [149053, 1738, 158949] C3 x C18 90) [21, 869, 149053] C3 x C18
640) [158889, 860, 26011] C3 x C18 175) [76, 1720, 635556] C3 x C18
641) [159209, 547, 35000] C3 x C18 157) [56, 1094, 159209] C3 x C18
642) [164729, 427, 4400] C3 x C18 150) [44, 854, 164729] C3 x C18
643) [166037, 1225, 1573] C3 x C18 68) [13, 921, 166037] C3 x C18
644) [166121, 3262, 2225] C3 x C18 186) [89, 1631, 664484] C3 x C18
645) [169324, 1674, 23273] C3 x C18 78) [17, 837, 169324] C3 x C18
646) [178441, 499, 17640] C3 x C18 ---) [40, 998, 178441] C6 x C18
647) [180321, 1289, 370300] C3 x C18 109) [28, 2578, 180321] C3 x C18
648) [180988, 1840, 665412] C3 x C18 125) [33, 920, 45247] C3 x C18
649) [187689, 467, 7600] C3 x C18 173) [76, 934, 187689] C3 x C18
650) [188913, 872, 1183] C3 x C18 106) [28, 1744, 755652] C3 x C18
651) [192561, 878, 160] C3 x C18 ---) [40, 1756, 770244] C3 x C36
652) [192856, 1418, 309825] C3 x C18 77) [17, 709, 48214] C3 x C18
653) [195369, 803, 112360] C3 x C18 ---) [40, 1606, 195369] C3 x C36
654) [197161, 499, 12960] C3 x C18 ---) [40, 998, 197161] C6 x C18
655) [203289, 1184, 147175] C3 x C18 114) [28, 2368, 813156] C3 x C18
656) [207881, 457, 242] C3 x C18 31) [8, 914, 207881] C3 x C18
657) [213781, 909, 153125] C3 x C18 8) [5, 977, 213781] C3 x C18
658) [214681, 475, 2736] C3 x C18 176) [76, 950, 214681] C3 x C18
659) [215881, 643, 49392] C3 x C18 111) [28, 1286, 215881] C3 x C18
660) [225241, 475, 96] C3 x C18 104) [24, 950, 225241] C3 x C18
661) [235897, 523, 9408] C3 x C18 41) [12, 1046, 235897] C3 x C18
662) [239433, 771, 88752] C3 x C18 53) [12, 1542, 239433] C3 x C18
663) [242636, 992, 3380] C3 x C18 10) [5, 496, 60659] C3 x C18
664) [249897, 947, 161728] C3 x C18 116) [28, 1894, 249897] C3 x C18
665) [264777, 515, 112] C3 x C18 115) [28, 1030, 264777] C3 x C18
666) [265009, 1159, 269568] C3 x C18 69) [13, 1517, 265009] C3 x C18
667) [268797, 1193, 288613] C3 x C18 58) [13, 1501, 268797] C3 x C18
668) [276769, 529, 768] C3 x C18 39) [12, 1058, 276769] C3 x C18
669) [286809, 603, 19200] C3 x C18 40) [12, 1206, 286809] C3 x C18
670) [334361, 763, 61952] C3 x C18 25) [8, 1526, 334361] C3 x C18
671) [352249, 907, 117600] C3 x C18 97) [24, 1814, 352249] C3 x C18
672) [377509, 933, 123245] C3 x C18 9) [5, 1229, 377509] C3 x C18
673) [392857, 955, 129792] C3 x C18 48) [12, 1910, 392857] C3 x C18
674) [405817, 1195, 255552] C3 x C18 132) [33, 2390, 405817] C3 x C18
675) [444697, 667, 48] C3 x C18 42) [12, 1334, 444697] C3 x C18
676) [555389, 937, 80645] C3 x C18 12) [5, 1541, 555389] C3 x C18
677) [598153, 1219, 221952] C3 x C18 44) [12, 2438, 598153] C3 x C18
678) [656953, 811, 192] C3 x C18 54) [12, 1622, 656953] C3 x C18
679) [883273, 949, 4332] C3 x C18 51) [12, 1898, 883273] C3 x C18
680) [1023749, 1013, 605] C3 x C18 2) [5, 2026, 1023749] C3 x C18
681) [1142873, 1115, 25088] C3 x C18 37) [8, 2230, 1142873] C3 x C18