// Imaginary quadratic fields with class group exponent at most 8. // // list of discriminants and class group by abilian invariants // // Assuming ERH the list is complete for exponent 1,2,3,4,5, and 8 [ <-430950520, [ 2, 2, 2, 8, 8, 8 ]>, <-31078723, [ 8, 8, 8 ]>, <-29493555, [ 2, 2, 2, 2, 8, 8 ]>, <-28663635, [ 2, 2, 2, 2, 8, 8 ]>, <-17168515, [ 2, 4, 8, 8 ]>, <-15898740, [ 2, 2, 2, 2, 8, 8 ]>, <-15337315, [ 2, 4, 8, 8 ]>, <-12517428, [ 2, 2, 2, 4, 4, 8 ]>, <-11148180, [ 2, 2, 4, 8, 8 ]>, <-7538388, [ 2, 2, 2, 8, 8 ]>, <-6585987, [ 2, 2, 8, 8 ]>, <-6174168, [ 2, 2, 2, 8, 8 ]>, <-6005748, [ 2, 2, 2, 8, 8 ]>, <-5761140, [ 2, 2, 2, 2, 6, 6 ]>, <-5692440, [ 2, 2, 4, 8, 8 ]>, <-5358340, [ 2, 4, 8, 8 ]>, <-4903395, [ 2, 2, 2, 8, 8 ]>, <-4886995, [ 4, 8, 8 ]>, <-4800772, [ 4, 8, 8 ]>, <-4696692, [ 2, 2, 2, 2, 6, 6 ]>, <-3892980, [ 2, 2, 2, 2, 6, 6 ]>, <-3608760, [ 2, 2, 2, 8, 8 ]>, <-3598980, [ 2, 2, 2, 2, 4, 8 ]>, <-3536260, [ 2, 2, 2, 8, 8 ]>, <-3468595, [ 2, 2, 8, 8 ]>, <-3452020, [ 2, 2, 2, 8, 8 ]>, <-3352020, [ 2, 2, 2, 8, 8 ]>, <-3121035, [ 2, 2, 8, 8 ]>, <-3081540, [ 2, 2, 2, 2, 4, 8 ]>, <-3040888, [ 4, 8, 8 ]>, <-2999560, [ 2, 2, 8, 8 ]>, <-2523928, [ 2, 2, 8, 8 ]>, <-2443155, [ 2, 2, 2, 4, 8 ]>, <-2420635, [ 2, 2, 8, 8 ]>, <-2401867, [ 4, 8, 8 ]>, <-2376660, [ 2, 2, 2, 8, 8 ]>, <-2345595, [ 2, 2, 8, 8 ]>, <-2309307, [ 2, 2, 8, 8 ]>, <-2229123, [ 4, 8, 8 ]>, <-2209467, [ 4, 8, 8 ]>, <-2188920, [ 2, 2, 4, 4, 8 ]>, <-2104707, [ 2, 2, 8, 8 ]>, <-2103220, [ 2, 2, 8, 8 ]>, <-2095060, [ 2, 2, 8, 8 ]>, <-2078440, [ 2, 2, 8, 8 ]>, <-2045323, [ 4, 4, 8 ]>, <-2043195, [ 2, 2, 2, 4, 8 ]>, <-1937635, [ 2, 2, 8, 8 ]>, <-1935507, [ 2, 2, 8, 8 ]>, <-1928595, [ 2, 2, 8, 8 ]>, <-1842715, [ 2, 2, 8, 8 ]>, <-1707288, [ 2, 2, 8, 8 ]>, <-1702155, [ 2, 2, 2, 6, 6 ]>, <-1592115, [ 2, 2, 8, 8 ]>, <-1567720, [ 2, 2, 8, 8 ]>, <-1562484, [ 2, 2, 2, 8, 8 ]>, <-1519960, [ 2, 2, 8, 8 ]>, <-1490952, [ 2, 2, 8, 8 ]>, <-1472115, [ 2, 2, 8, 8 ]>, <-1446907, [ 2, 2, 4, 8 ]>, <-1408740, [ 2, 2, 8, 8 ]>, <-1390180, [ 2, 2, 8, 8 ]>, <-1368840, [ 2, 2, 2, 4, 8 ]>, <-1364808, [ 2, 2, 8, 8 ]>, <-1362760, [ 2, 2, 8, 8 ]>, <-1307523, [ 2, 2, 8, 8 ]>, <-1291620, [ 2, 2, 2, 4, 8 ]>, <-1282260, [ 2, 2, 2, 6, 6 ]>, <-1278552, [ 2, 2, 8, 8 ]>, <-1232340, [ 2, 2, 2, 4, 8 ]>, <-1199220, [ 2, 2, 2, 6, 6 ]>, <-1196052, [ 2, 2, 2, 6, 6 ]>, <-1185240, [ 2, 2, 2, 6, 6 ]>, <-1172395, [ 2, 2, 6, 6 ]>, <-1162392, [ 2, 2, 2, 6, 6 ]>, <-1115268, [ 2, 2, 2, 4, 8 ]>, <-1076712, [ 2, 2, 2, 4, 8 ]>, <-1065540, [ 2, 2, 2, 4, 8 ]>, <-1039795, [ 2, 8, 8 ]>, <-990964, [ 2, 2, 8, 8 ]>, <-980148, [ 2, 2, 8, 8 ]>, <-963235, [ 2, 2, 4, 8 ]>, <-959803, [ 4, 4, 8 ]>, <-941640, [ 2, 2, 2, 6, 6 ]>, <-937560, [ 2, 2, 8, 8 ]>, <-899283, [ 2, 2, 6, 6 ]>, <-894660, [ 2, 2, 2, 4, 8 ]>, <-876435, [ 2, 2, 8, 8 ]>, <-876315, [ 2, 2, 8, 8 ]>, <-857220, [ 2, 2, 2, 4, 8 ]>, <-850795, [ 2, 8, 8 ]>, <-844440, [ 2, 2, 8, 8 ]>, <-834360, [ 2, 2, 8, 8 ]>, <-820120, [ 2, 2, 6, 6 ]>, <-809115, [ 2, 2, 8, 8 ]>, <-806520, [ 2, 2, 2, 4, 8 ]>, <-788307, [ 2, 2, 4, 8 ]>, <-743028, [ 2, 2, 8, 8 ]>, <-742980, [ 2, 2, 2, 6, 6 ]>, <-740532, [ 2, 2, 6, 6 ]>, <-740355, [ 2, 2, 6, 6 ]>, <-713883, [ 2, 8, 8 ]>, <-705432, [ 2, 2, 2, 4, 8 ]>, <-703560, [ 2, 2, 2, 4, 8 ]>, <-697620, [ 2, 2, 2, 6, 6 ]>, <-692692, [ 2, 2, 4, 8 ]>, <-688755, [ 2, 2, 4, 8 ]>, <-680043, [ 2, 2, 6, 6 ]>, <-674520, [ 2, 2, 2, 4, 8 ]>, <-668980, [ 2, 2, 6, 6 ]>, <-646195, [ 2, 8, 8 ]>, <-644280, [ 2, 2, 2, 4, 8 ]>, <-630147, [ 2, 8, 8 ]>, <-611403, [ 2, 8, 8 ]>, <-603988, [ 2, 2, 4, 8 ]>, <-603460, [ 2, 2, 6, 6 ]>, <-590835, [ 2, 2, 4, 8 ]>, <-585915, [ 2, 2, 4, 8 ]>, <-568888, [ 4, 4, 8 ]>, <-566040, [ 2, 2, 8, 8 ]>, <-563955, [ 2, 2, 4, 8 ]>, <-563640, [ 2, 2, 2, 4, 8 ]>, <-559083, [ 2, 8, 8 ]>, <-557832, [ 2, 8, 8 ]>, <-553540, [ 2, 8, 8 ]>, <-549915, [ 2, 8, 8 ]>, <-522795, [ 2, 2, 6, 6 ]>, <-519915, [ 2, 2, 4, 8 ]>, <-518635, [ 2, 8, 8 ]>, <-516243, [ 2, 2, 4, 8 ]>, <-514228, [ 2, 2, 4, 8 ]>, <-512715, [ 2, 2, 6, 6 ]>, <-507892, [ 2, 2, 6, 6 ]>, <-505960, [ 2, 2, 4, 8 ]>, <-503659, [ 4, 4, 8 ]>, <-502660, [ 2, 8, 8 ]>, <-492388, [ 2, 8, 8 ]>, <-489787, [ 8, 8 ]>, <-488523, [ 2, 8, 8 ]>, <-480907, [ 2, 4, 8 ]>, <-474628, [ 2, 2, 4, 8 ]>, <-458920, [ 2, 2, 6, 6 ]>, <-457620, [ 2, 2, 4, 8 ]>, <-453435, [ 2, 2, 6, 6 ]>, <-448035, [ 2, 2, 4, 8 ]>, <-443667, [ 2, 8, 8 ]>, <-435435, [ 2, 2, 2, 4, 4 ]>, <-433540, [ 2, 8, 8 ]>, <-428835, [ 2, 2, 4, 8 ]>, <-423640, [ 2, 2, 6, 6 ]>, <-419640, [ 2, 2, 6, 6 ]>, <-417435, [ 2, 8, 8 ]>, <-409960, [ 2, 8, 8 ]>, <-404547, [ 2, 2, 6, 6 ]>, <-397155, [ 2, 2, 6, 6 ]>, <-394420, [ 2, 2, 6, 6 ]>, <-393108, [ 2, 2, 6, 6 ]>, <-386628, [ 2, 2, 4, 8 ]>, <-385795, [ 2, 4, 8 ]>, <-383380, [ 2, 8, 8 ]>, <-374595, [ 2, 2, 4, 8 ]>, <-374088, [ 2, 2, 4, 8 ]>, <-369835, [ 2, 4, 8 ]>, <-366760, [ 2, 8, 8 ]>, <-366360, [ 2, 2, 4, 8 ]>, <-361284, [ 2, 2, 2, 4, 8 ]>, <-357627, [ 2, 8, 8 ]>, <-353860, [ 2, 8, 8 ]>, <-352968, [ 2, 2, 6, 6 ]>, <-343380, [ 2, 2, 6, 6 ]>, <-341715, [ 2, 2, 6, 6 ]>, <-340195, [ 8, 8 ]>, <-337755, [ 2, 2, 4, 8 ]>, <-323323, [ 2, 2, 2, 8 ]>, <-321763, [ 8, 8 ]>, <-321123, [ 2, 8, 8 ]>, <-320307, [ 2, 4, 8 ]>, <-319515, [ 2, 2, 4, 8 ]>, <-315723, [ 2, 6, 6 ]>, <-308760, [ 2, 2, 4, 8 ]>, <-304980, [ 2, 2, 2, 2, 8 ]>, <-304843, [ 2, 4, 8 ]>, <-304612, [ 2, 2, 4, 8 ]>, <-304152, [ 2, 2, 4, 8 ]>, <-303160, [ 2, 2, 6, 6 ]>, <-298452, [ 2, 2, 2, 2, 8 ]>, <-296835, [ 2, 2, 4, 8 ]>, <-289912, [ 2, 8, 8 ]>, <-287155, [ 2, 6, 6 ]>, <-286180, [ 2, 8, 8 ]>, <-283195, [ 2, 8, 8 ]>, <-280635, [ 2, 8, 8 ]>, <-275352, [ 2, 2, 4, 8 ]>, <-272283, [ 2, 4, 8 ]>, <-266532, [ 2, 2, 4, 8 ]>, <-265560, [ 2, 8, 8 ]>, <-264180, [ 2, 2, 2, 4, 4 ]>, <-263112, [ 2, 8, 8 ]>, <-259435, [ 2, 4, 8 ]>, <-257748, [ 2, 8, 8 ]>, <-253995, [ 2, 2, 4, 8 ]>, <-247080, [ 2, 2, 4, 8 ]>, <-244920, [ 2, 2, 4, 8 ]>, <-243507, [ 2, 8, 8 ]>, <-237595, [ 2, 4, 8 ]>, <-236467, [ 2, 4, 8 ]>, <-232932, [ 2, 2, 4, 8 ]>, <-231240, [ 2, 2, 6, 6 ]>, <-230763, [ 2, 4, 8 ]>, <-230395, [ 2, 4, 8 ]>, <-230280, [ 2, 2, 4, 8 ]>, <-228228, [ 2, 2, 2, 4, 4 ]>, <-227032, [ 2, 4, 8 ]>, <-224580, [ 2, 2, 6, 6 ]>, <-221995, [ 8, 8 ]>, <-220980, [ 2, 2, 4, 8 ]>, <-220915, [ 2, 4, 8 ]>, <-219219, [ 2, 2, 4, 8 ]>, <-218395, [ 8, 8 ]>, <-214008, [ 2, 6, 6 ]>, <-213780, [ 2, 2, 4, 8 ]>, <-213060, [ 2, 2, 4, 8 ]>, <-212667, [ 2, 2, 2, 8 ]>, <-212520, [ 2, 2, 2, 2, 8 ]>, <-211432, [ 2, 6, 6 ]>, <-209352, [ 2, 2, 4, 8 ]>, <-207955, [ 2, 4, 8 ]>, <-207480, [ 2, 2, 2, 4, 4 ]>, <-205620, [ 2, 2, 4, 8 ]>, <-204568, [ 2, 6, 6 ]>, <-199795, [ 8, 8 ]>, <-199563, [ 2, 2, 2, 8 ]>, <-199348, [ 2, 6, 6 ]>, <-198835, [ 2, 2, 2, 8 ]>, <-198795, [ 2, 6, 6 ]>, <-198660, [ 2, 2, 2, 4, 4 ]>, <-196168, [ 2, 4, 8 ]>, <-195960, [ 2, 2, 6, 6 ]>, <-193620, [ 2, 2, 4, 8 ]>, <-193323, [ 8, 8 ]>, <-192003, [ 2, 6, 6 ]>, <-189987, [ 2, 4, 8 ]>, <-189267, [ 2, 4, 8 ]>, <-187224, [ 2, 8, 8 ]>, <-186235, [ 2, 4, 8 ]>, <-185640, [ 2, 2, 2, 2, 8 ]>, <-185235, [ 2, 4, 8 ]>, <-184008, [ 2, 2, 4, 8 ]>, <-183768, [ 2, 2, 6, 6 ]>, <-183540, [ 2, 2, 2, 2, 8 ]>, <-183012, [ 2, 6, 6 ]>, <-180840, [ 2, 2, 6, 6 ]>, <-175960, [ 2, 4, 8 ]>, <-175560, [ 2, 2, 2, 2, 8 ]>, <-175483, [ 2, 4, 8 ]>, <-173755, [ 2, 4, 8 ]>, <-173667, [ 2, 4, 8 ]>, <-173128, [ 2, 4, 8 ]>, <-172635, [ 2, 4, 8 ]>, <-163947, [ 2, 4, 8 ]>, <-160563, [ 2, 4, 8 ]>, <-159960, [ 2, 2, 4, 8 ]>, <-157795, [ 2, 4, 8 ]>, <-157080, [ 2, 2, 2, 2, 8 ]>, <-155155, [ 2, 2, 2, 8 ]>, <-154212, [ 2, 6, 6 ]>, <-152395, [ 8, 8 ]>, <-152355, [ 2, 6, 6 ]>, <-150052, [ 2, 4, 8 ]>, <-148852, [ 2, 6, 6 ]>, <-147940, [ 2, 4, 8 ]>, <-145860, [ 2, 2, 2, 2, 6 ]>, <-143220, [ 2, 2, 2, 2, 8 ]>, <-143115, [ 2, 2, 2, 8 ]>, <-140595, [ 2, 2, 2, 8 ]>, <-139867, [ 2, 4, 8 ]>, <-139780, [ 2, 4, 8 ]>, <-138468, [ 2, 6, 6 ]>, <-138292, [ 2, 4, 8 ]>, <-137067, [ 2, 6, 6 ]>, <-133315, [ 2, 4, 8 ]>, <-132483, [ 2, 4, 8 ]>, <-132328, [ 2, 6, 6 ]>, <-131560, [ 2, 2, 2, 8 ]>, <-130515, [ 2, 2, 2, 8 ]>, <-128632, [ 8, 8 ]>, <-128472, [ 2, 4, 8 ]>, <-126555, [ 2, 2, 2, 8 ]>, <-125652, [ 2, 6, 6 ]>, <-125643, [ 2, 4, 8 ]>, <-124683, [ 2, 4, 8 ]>, <-124392, [ 2, 4, 8 ]>, <-123508, [ 2, 4, 8 ]>, <-123123, [ 2, 2, 2, 8 ]>, <-121720, [ 2, 6, 6 ]>, <-121560, [ 2, 8, 8 ]>, <-120120, [ 2, 2, 2, 2, 8 ]>, <-119595, [ 2, 2, 2, 8 ]>, <-119112, [ 2, 6, 6 ]>, <-118843, [ 7, 7 ]>, <-117507, [ 2, 4, 8 ]>, <-117480, [ 2, 2, 6, 6 ]>, <-117096, [ 2, 2, 4, 8 ]>, <-117028, [ 8, 8 ]>, <-116932, [ 2, 4, 8 ]>, <-116083, [ 6, 6 ]>, <-115780, [ 2, 6, 6 ]>, <-113883, [ 2, 2, 2, 8 ]>, <-112980, [ 2, 2, 4, 8 ]>, <-112884, [ 2, 8, 8 ]>, <-112795, [ 6, 6 ]>, <-112035, [ 2, 2, 2, 8 ]>, <-111435, [ 2, 2, 4, 4 ]>, <-111112, [ 2, 4, 8 ]>, <-110635, [ 2, 4, 8 ]>, <-110523, [ 2, 4, 8 ]>, <-108915, [ 2, 4, 8 ]>, <-108003, [ 2, 4, 8 ]>, <-107848, [ 2, 6, 6 ]>, <-106536, [ 2, 8, 8 ]>, <-106260, [ 2, 2, 2, 2, 6 ]>, <-105315, [ 2, 2, 4, 4 ]>, <-104980, [ 2, 4, 8 ]>, <-104403, [ 8, 8 ]>, <-104091, [ 2, 4, 8 ]>, <-104052, [ 2, 2, 2, 8 ]>, <-102795, [ 2, 2, 2, 8 ]>, <-101752, [ 2, 4, 8 ]>, <-100947, [ 2, 2, 2, 8 ]>, <-100488, [ 2, 6, 6 ]>, <-100195, [ 8, 8 ]>, <-100104, [ 2, 8, 8 ]>, <-99528, [ 2, 2, 2, 8 ]>, <-98427, [ 2, 4, 8 ]>, <-96915, [ 2, 2, 2, 8 ]>, <-95979, [ 2, 4, 8 ]>, <-95880, [ 2, 2, 2, 8 ]>, <-95640, [ 2, 8, 8 ]>, <-95448, [ 2, 6, 6 ]>, <-94963, [ 4, 8 ]>, <-94395, [ 2, 2, 2, 6 ]>, <-93940, [ 2, 2, 2, 8 ]>, <-92827, [ 6, 6 ]>, <-92820, [ 2, 2, 2, 2, 8 ]>, <-92568, [ 2, 2, 4, 4 ]>, <-92235, [ 2, 2, 2, 8 ]>, <-90948, [ 2, 2, 2, 8 ]>, <-89947, [ 2, 2, 8 ]>, <-89355, [ 2, 2, 2, 8 ]>, <-89284, [ 2, 8, 8 ]>, <-87780, [ 2, 2, 2, 2, 6 ]>, <-87720, [ 2, 2, 6, 6 ]>, <-87283, [ 4, 8 ]>, <-86955, [ 2, 2, 2, 6 ]>, <-86020, [ 2, 2, 2, 8 ]>, <-85540, [ 2, 2, 2, 8 ]>, <-85195, [ 8, 8 ]>, <-84760, [ 2, 4, 8 ]>, <-84315, [ 2, 2, 2, 8 ]>, <-84072, [ 2, 6, 6 ]>, <-83395, [ 6, 6 ]>, <-83220, [ 2, 2, 2, 8 ]>, <-83028, [ 2, 2, 2, 8 ]>, <-82632, [ 2, 4, 8 ]>, <-82555, [ 2, 4, 4 ]>, <-82212, [ 2, 2, 2, 8 ]>, <-81867, [ 6, 6 ]>, <-81780, [ 2, 2, 4, 8 ]>, <-81592, [ 2, 4, 8 ]>, <-81403, [ 4, 8 ]>, <-80835, [ 2, 4, 8 ]>, <-80808, [ 2, 2, 2, 8 ]>, <-80067, [ 4, 8 ]>, <-79048, [ 8, 8 ]>, <-78708, [ 2, 6, 6 ]>, <-78180, [ 2, 6, 6 ]>, <-77995, [ 4, 8 ]>, <-77140, [ 2, 2, 2, 8 ]>, <-76843, [ 4, 8 ]>, <-76755, [ 2, 2, 2, 8 ]>, <-76323, [ 2, 2, 8 ]>, <-75012, [ 2, 2, 2, 8 ]>, <-74820, [ 2, 2, 2, 8 ]>, <-74635, [ 2, 2, 8 ]>, <-74347, [ 2, 2, 8 ]>, <-73780, [ 2, 2, 2, 8 ]>, <-73723, [ 4, 8 ]>, <-73320, [ 2, 2, 2, 8 ]>, <-73315, [ 2, 2, 8 ]>, <-73140, [ 2, 2, 4, 4 ]>, <-72435, [ 2, 6, 6 ]>, <-71940, [ 2, 2, 2, 8 ]>, <-71395, [ 4, 8 ]>, <-70035, [ 2, 2, 2, 6 ]>, <-69960, [ 2, 2, 2, 8 ]>, <-69540, [ 2, 2, 2, 8 ]>, <-69160, [ 2, 2, 2, 8 ]>, <-68068, [ 2, 2, 2, 8 ]>, <-67483, [ 4, 8 ]>, <-67480, [ 2, 6, 6 ]>, <-66840, [ 2, 4, 8 ]>, <-66595, [ 4, 8 ]>, <-65395, [ 2, 2, 8 ]>, <-65076, [ 2, 2, 2, 8 ]>, <-64740, [ 2, 2, 2, 8 ]>, <-64515, [ 2, 2, 2, 8 ]>, <-64491, [ 2, 4, 8 ]>, <-64155, [ 2, 2, 2, 6 ]>, <-63960, [ 2, 2, 2, 8 ]>, <-63640, [ 2, 4, 8 ]>, <-63499, [ 7, 7 ]>, <-63492, [ 2, 2, 2, 6 ]>, <-63427, [ 2, 2, 8 ]>, <-63240, [ 2, 2, 2, 8 ]>, <-63220, [ 2, 4, 8 ]>, <-62580, [ 2, 2, 2, 8 ]>, <-61908, [ 2, 2, 2, 8 ]>, <-60099, [ 2, 6, 6 ]>, <-60027, [ 2, 2, 8 ]>, <-58920, [ 2, 6, 6 ]>, <-58888, [ 4, 8 ]>, <-58548, [ 2, 2, 4, 4 ]>, <-58123, [ 4, 8 ]>, <-57720, [ 2, 2, 2, 8 ]>, <-57715, [ 2, 4, 4 ]>, <-57540, [ 2, 2, 2, 8 ]>, <-57387, [ 2, 4, 4 ]>, <-57043, [ 4, 8 ]>, <-56980, [ 2, 2, 2, 8 ]>, <-56760, [ 2, 2, 2, 8 ]>, <-56667, [ 4, 8 ]>, <-56155, [ 4, 8 ]>, <-55315, [ 2, 2, 8 ]>, <-54723, [ 2, 2, 8 ]>, <-54712, [ 4, 8 ]>, <-54708, [ 2, 4, 8 ]>, <-54595, [ 4, 8 ]>, <-54516, [ 2, 2, 2, 8 ]>, <-54340, [ 2, 2, 2, 8 ]>, <-54195, [ 6, 6 ]>, <-53592, [ 2, 2, 4, 4 ]>, <-53515, [ 2, 2, 8 ]>, <-53268, [ 2, 4, 8 ]>, <-52440, [ 2, 2, 2, 8 ]>, <-52360, [ 2, 2, 2, 6 ]>, <-52059, [ 2, 4, 8 ]>, <-52003, [ 2, 2, 8 ]>, <-51748, [ 4, 8 ]>, <-51348, [ 2, 6, 6 ]>, <-51060, [ 2, 2, 2, 8 ]>, <-51051, [ 2, 2, 2, 6 ]>, <-50955, [ 2, 2, 8 ]>, <-50388, [ 2, 2, 2, 6 ]>, <-50235, [ 2, 4, 8 ]>, <-50232, [ 2, 2, 2, 8 ]>, <-50020, [ 2, 4, 8 ]>, <-49812, [ 2, 6, 6 ]>, <-49560, [ 2, 2, 2, 8 ]>, <-49476, [ 2, 2, 2, 8 ]>, <-49128, [ 2, 6, 6 ]>, <-48472, [ 6, 6 ]>, <-48360, [ 2, 2, 2, 8 ]>, <-48052, [ 6, 6 ]>, <-47940, [ 2, 2, 2, 8 ]>, <-47595, [ 2, 2, 8 ]>, <-47523, [ 2, 2, 8 ]>, <-47355, [ 2, 2, 2, 6 ]>, <-47307, [ 4, 8 ]>, <-46852, [ 2, 4, 4 ]>, <-46740, [ 2, 2, 2, 6 ]>, <-46587, [ 6, 6 ]>, <-46020, [ 2, 2, 2, 8 ]>, <-45843, [ 2, 2, 8 ]>, <-45835, [ 6, 6 ]>, <-45780, [ 2, 2, 2, 8 ]>, <-45595, [ 4, 8 ]>, <-45220, [ 2, 2, 2, 6 ]>, <-44772, [ 2, 2, 2, 8 ]>, <-44520, [ 2, 2, 2, 8 ]>, <-44251, [ 4, 8 ]>, <-44115, [ 2, 4, 4 ]>, <-44067, [ 4, 8 ]>, <-44020, [ 2, 2, 8 ]>, <-44004, [ 2, 6, 6 ]>, <-43827, [ 6, 6 ]>, <-43795, [ 4, 8 ]>, <-43563, [ 4, 8 ]>, <-43555, [ 4, 8 ]>, <-43435, [ 2, 4, 4 ]>, <-43428, [ 2, 2, 2, 6 ]>, <-42627, [ 4, 8 ]>, <-42619, [ 6, 6 ]>, <-42427, [ 2, 2, 6 ]>, <-42420, [ 2, 2, 4, 4 ]>, <-42315, [ 2, 2, 2, 6 ]>, <-42211, [ 4, 8 ]>, <-42196, [ 2, 4, 8 ]>, <-42180, [ 2, 2, 2, 8 ]>, <-41923, [ 4, 8 ]>, <-41860, [ 2, 2, 2, 6 ]>, <-41496, [ 2, 2, 2, 8 ]>, <-41412, [ 2, 2, 2, 6 ]>, <-40803, [ 2, 2, 8 ]>, <-40755, [ 2, 2, 2, 4 ]>, <-40692, [ 6, 6 ]>, <-40467, [ 2, 2, 8 ]>, <-40443, [ 2, 2, 8 ]>, <-40299, [ 2, 6, 6 ]>, <-40296, [ 2, 4, 8 ]>, <-40227, [ 2, 2, 8 ]>, <-40020, [ 2, 2, 2, 8 ]>, <-39955, [ 4, 8 ]>, <-39928, [ 2, 2, 8 ]>, <-39732, [ 2, 2, 2, 6 ]>, <-39480, [ 2, 2, 2, 6 ]>, <-39435, [ 2, 2, 8 ]>, <-39235, [ 2, 2, 8 ]>, <-38995, [ 4, 8 ]>, <-38883, [ 4, 8 ]>, <-38760, [ 2, 2, 2, 8 ]>, <-38595, [ 2, 2, 8 ]>, <-38280, [ 2, 2, 2, 6 ]>, <-38040, [ 2, 4, 8 ]>, <-37947, [ 2, 2, 8 ]>, <-37720, [ 2, 2, 8 ]>, <-37587, [ 2, 2, 8 ]>, <-37555, [ 2, 2, 6 ]>, <-37515, [ 2, 2, 8 ]>, <-37492, [ 2, 2, 8 ]>, <-37380, [ 2, 2, 2, 8 ]>, <-37363, [ 5, 5 ]>, <-37219, [ 6, 6 ]>, <-37128, [ 2, 2, 2, 6 ]>, <-36955, [ 4, 8 ]>, <-36915, [ 2, 2, 8 ]>, <-36708, [ 2, 2, 2, 6 ]>, <-36660, [ 2, 2, 2, 8 ]>, <-36472, [ 4, 8 ]>, <-36363, [ 2, 2, 8 ]>, <-36355, [ 4, 8 ]>, <-36120, [ 2, 2, 2, 6 ]>, <-35763, [ 2, 2, 8 ]>, <-35512, [ 4, 8 ]>, <-35380, [ 2, 2, 8 ]>, <-35160, [ 2, 4, 8 ]>, <-35155, [ 4, 8 ]>, <-35112, [ 2, 2, 2, 6 ]>, <-34980, [ 2, 2, 2, 6 ]>, <-34867, [ 6, 6 ]>, <-34840, [ 2, 4, 4 ]>, <-34827, [ 2, 2, 6 ]>, <-34804, [ 2, 4, 8 ]>, <-34755, [ 2, 2, 8 ]>, <-34552, [ 4, 8 ]>, <-34507, [ 3, 6 ]>, <-34027, [ 3, 6 ]>, <-33915, [ 2, 2, 2, 4 ]>, <-33748, [ 2, 2, 8 ]>, <-33672, [ 2, 2, 8 ]>, <-33592, [ 2, 2, 8 ]>, <-33540, [ 2, 2, 2, 8 ]>, <-33288, [ 2, 4, 8 ]>, <-33060, [ 2, 2, 2, 6 ]>, <-32968, [ 6, 6 ]>, <-32395, [ 2, 2, 8 ]>, <-32331, [ 8, 8 ]>, <-32235, [ 2, 2, 8 ]>, <-31908, [ 6, 6 ]>, <-31864, [ 8, 8 ]>, <-31668, [ 2, 2, 2, 8 ]>, <-31620, [ 2, 2, 2, 6 ]>, <-31515, [ 2, 2, 8 ]>, <-31395, [ 2, 2, 2, 4 ]>, <-31080, [ 2, 2, 2, 8 ]>, <-30660, [ 2, 2, 2, 6 ]>, <-30580, [ 2, 2, 8 ]>, <-30552, [ 2, 2, 8 ]>, <-30360, [ 2, 2, 2, 6 ]>, <-30340, [ 2, 4, 4 ]>, <-30328, [ 4, 8 ]>, <-29892, [ 2, 2, 8 ]>, <-29667, [ 2, 2, 8 ]>, <-29640, [ 2, 2, 2, 6 ]>, <-29523, [ 4, 8 ]>, <-29512, [ 2, 2, 8 ]>, <-29380, [ 2, 2, 8 ]>, <-29172, [ 2, 2, 2, 6 ]>, <-28840, [ 2, 2, 8 ]>, <-28644, [ 2, 2, 2, 6 ]>, <-28308, [ 2, 2, 8 ]>, <-28203, [ 2, 2, 8 ]>, <-28120, [ 2, 2, 8 ]>, <-28083, [ 2, 2, 8 ]>, <-27640, [ 6, 6 ]>, <-27435, [ 2, 2, 6 ]>, <-27412, [ 2, 2, 8 ]>, <-27307, [ 2, 8 ]>, <-27156, [ 2, 6, 6 ]>, <-27115, [ 2, 2, 6 ]>, <-27060, [ 2, 2, 2, 6 ]>, <-26980, [ 2, 2, 8 ]>, <-26772, [ 2, 2, 8 ]>, <-26760, [ 2, 6, 6 ]>, <-26520, [ 2, 2, 2, 6 ]>, <-26488, [ 2, 2, 8 ]>, <-26187, [ 2, 2, 6 ]>, <-26180, [ 2, 2, 2, 8 ]>, <-26040, [ 2, 2, 2, 6 ]>, <-25988, [ 8, 8 ]>, <-25960, [ 2, 2, 8 ]>, <-25795, [ 2, 2, 6 ]>, <-25755, [ 2, 2, 6 ]>, <-25707, [ 2, 2, 6 ]>, <-25620, [ 2, 2, 2, 8 ]>, <-25608, [ 2, 4, 4 ]>, <-25419, [ 4, 8 ]>, <-25347, [ 2, 2, 6 ]>, <-25080, [ 2, 2, 2, 8 ]>, <-24955, [ 2, 2, 6 ]>, <-24915, [ 2, 2, 6 ]>, <-24472, [ 2, 2, 8 ]>, <-24420, [ 2, 2, 2, 6 ]>, <-24388, [ 2, 2, 6 ]>, <-24360, [ 2, 2, 2, 6 ]>, <-24340, [ 6, 6 ]>, <-24180, [ 2, 2, 2, 6 ]>, <-24168, [ 2, 2, 8 ]>, <-24123, [ 2, 2, 6 ]>, <-24115, [ 2, 2, 6 ]>, <-24035, [ 2, 2, 8 ]>, <-24024, [ 2, 2, 2, 8 ]>, <-24004, [ 4, 8 ]>, <-23944, [ 4, 8 ]>, <-23892, [ 2, 2, 8 ]>, <-23835, [ 2, 2, 8 ]>, <-23683, [ 3, 6 ]>, <-23640, [ 2, 4, 4 ]>, <-23460, [ 2, 2, 2, 8 ]>, <-23380, [ 2, 2, 8 ]>, <-23268, [ 2, 2, 8 ]>, <-23188, [ 2, 2, 6 ]>, <-23155, [ 4, 8 ]>, <-23140, [ 2, 2, 8 ]>, <-23115, [ 2, 2, 6 ]>, <-23028, [ 2, 2, 8 ]>, <-22971, [ 2, 2, 8 ]>, <-22792, [ 2, 2, 8 ]>, <-22763, [ 4, 8 ]>, <-22740, [ 2, 2, 8 ]>, <-22632, [ 2, 2, 8 ]>, <-22515, [ 2, 2, 8 ]>, <-22456, [ 4, 8 ]>, <-22443, [ 3, 6 ]>, <-22440, [ 2, 2, 2, 6 ]>, <-22420, [ 2, 2, 8 ]>, <-22395, [ 6, 6 ]>, <-22372, [ 2, 2, 8 ]>, <-22360, [ 2, 2, 8 ]>, <-22260, [ 2, 2, 2, 6 ]>, <-22243, [ 2, 8 ]>, <-22155, [ 2, 2, 8 ]>, <-22152, [ 2, 2, 8 ]>, <-21912, [ 2, 2, 8 ]>, <-21835, [ 2, 8 ]>, <-21828, [ 2, 2, 8 ]>, <-21736, [ 2, 2, 8 ]>, <-21715, [ 2, 8 ]>, <-21571, [ 4, 8 ]>, <-21252, [ 2, 2, 2, 6 ]>, <-21243, [ 4, 8 ]>, <-21147, [ 2, 2, 8 ]>, <-21112, [ 2, 2, 6 ]>, <-20995, [ 2, 2, 6 ]>, <-20955, [ 2, 2, 6 ]>, <-20868, [ 2, 2, 8 ]>, <-20760, [ 2, 4, 8 ]>, <-20740, [ 2, 2, 8 ]>, <-20568, [ 6, 6 ]>, <-20355, [ 2, 2, 6 ]>, <-20235, [ 2, 2, 8 ]>, <-20163, [ 2, 2, 8 ]>, <-20155, [ 4, 4 ]>, <-20148, [ 2, 4, 4 ]>, <-20091, [ 4, 8 ]>, <-20020, [ 2, 2, 2, 4 ]>, <-19995, [ 2, 2, 8 ]>, <-19987, [ 2, 8 ]>, <-19947, [ 4, 4 ]>, <-19812, [ 2, 2, 8 ]>, <-19803, [ 2, 2, 6 ]>, <-19720, [ 2, 2, 8 ]>, <-19651, [ 3, 6 ]>, <-19635, [ 2, 2, 2, 4 ]>, <-19608, [ 2, 2, 8 ]>, <-19560, [ 2, 2, 8 ]>, <-19380, [ 2, 2, 2, 4 ]>, <-19320, [ 2, 2, 2, 4 ]>, <-19272, [ 2, 2, 8 ]>, <-19240, [ 2, 4, 4 ]>, <-19227, [ 2, 2, 8 ]>, <-19195, [ 2, 8 ]>, <-19140, [ 2, 2, 2, 6 ]>, <-19108, [ 4, 8 ]>, <-18915, [ 2, 2, 6 ]>, <-18907, [ 2, 8 ]>, <-18795, [ 2, 2, 6 ]>, <-18760, [ 2, 2, 8 ]>, <-18715, [ 2, 8 ]>, <-18676, [ 2, 2, 8 ]>, <-18564, [ 2, 2, 2, 8 ]>, <-18555, [ 6, 6 ]>, <-18532, [ 4, 8 ]>, <-18408, [ 2, 2, 8 ]>, <-18403, [ 2, 8 ]>, <-18340, [ 2, 2, 6 ]>, <-18291, [ 2, 2, 8 ]>, <-18088, [ 2, 2, 6 ]>, <-18040, [ 2, 2, 6 ]>, <-17940, [ 2, 2, 2, 6 ]>, <-17880, [ 2, 2, 8 ]>, <-17688, [ 2, 2, 8 ]>, <-17556, [ 2, 2, 2, 6 ]>, <-17515, [ 2, 8 ]>, <-17427, [ 4, 4 ]>, <-17355, [ 2, 2, 8 ]>, <-17347, [ 2, 8 ]>, <-17272, [ 4, 8 ]>, <-17227, [ 2, 8 ]>, <-17220, [ 2, 2, 2, 4 ]>, <-17160, [ 2, 2, 2, 6 ]>, <-17131, [ 3, 6 ]>, <-17115, [ 2, 2, 8 ]>, <-17112, [ 2, 2, 8 ]>, <-17080, [ 2, 2, 8 ]>, <-17043, [ 2, 2, 6 ]>, <-16995, [ 2, 2, 8 ]>, <-16872, [ 2, 2, 6 ]>, <-16835, [ 2, 2, 8 ]>, <-16779, [ 2, 2, 8 ]>, <-16692, [ 2, 2, 8 ]>, <-16627, [ 3, 6 ]>, <-16555, [ 2, 2, 4 ]>, <-16548, [ 2, 2, 8 ]>, <-16440, [ 2, 2, 8 ]>, <-16212, [ 2, 2, 8 ]>, <-16195, [ 2, 8 ]>, <-16107, [ 2, 2, 6 ]>, <-16027, [ 2, 8 ]>, <-16008, [ 2, 2, 8 ]>, <-15960, [ 2, 2, 2, 6 ]>, <-15736, [ 4, 8 ]>, <-15715, [ 2, 8 ]>, <-15652, [ 2, 2, 6 ]>, <-15640, [ 2, 2, 6 ]>, <-15555, [ 2, 2, 6 ]>, <-15544, [ 6, 6 ]>, <-15540, [ 2, 2, 2, 6 ]>, <-15387, [ 2, 8 ]>, <-15283, [ 2, 6 ]>, <-15067, [ 2, 8 ]>, <-14980, [ 2, 2, 6 ]>, <-14952, [ 2, 2, 6 ]>, <-14835, [ 2, 2, 6 ]>, <-14820, [ 2, 2, 2, 4 ]>, <-14795, [ 4, 8 ]>, <-14763, [ 2, 2, 4 ]>, <-14707, [ 2, 8 ]>, <-14595, [ 2, 2, 6 ]>, <-14547, [ 4, 4 ]>, <-14532, [ 2, 2, 6 ]>, <-14443, [ 2, 6 ]>, <-14388, [ 2, 2, 8 ]>, <-14280, [ 2, 2, 2, 4 ]>, <-14260, [ 2, 2, 6 ]>, <-14235, [ 2, 2, 6 ]>, <-14212, [ 2, 2, 6 ]>, <-14155, [ 4, 4 ]>, <-14008, [ 4, 4 ]>, <-13908, [ 2, 2, 8 ]>, <-13827, [ 2, 8 ]>, <-13795, [ 2, 8 ]>, <-13780, [ 2, 2, 6 ]>, <-13755, [ 2, 2, 8 ]>, <-13668, [ 2, 2, 6 ]>, <-13560, [ 2, 2, 8 ]>, <-13515, [ 2, 2, 8 ]>, <-13432, [ 4, 8 ]>, <-13395, [ 2, 2, 6 ]>, <-13363, [ 2, 8 ]>, <-13332, [ 2, 2, 8 ]>, <-13288, [ 2, 8 ]>, <-13272, [ 2, 2, 8 ]>, <-13195, [ 2, 2, 4 ]>, <-13192, [ 2, 8 ]>, <-13080, [ 2, 2, 6 ]>, <-13048, [ 4, 8 ]>, <-13035, [ 2, 2, 6 ]>, <-12948, [ 2, 2, 8 ]>, <-12859, [ 2, 8 ]>, <-12840, [ 2, 2, 8 ]>, <-12835, [ 2, 8 ]>, <-12804, [ 2, 2, 8 ]>, <-12792, [ 2, 2, 8 ]>, <-12772, [ 2, 8 ]>, <-12760, [ 2, 2, 6 ]>, <-12747, [ 2, 8 ]>, <-12660, [ 2, 2, 8 ]>, <-12628, [ 2, 2, 6 ]>, <-12595, [ 4, 4 ]>, <-12580, [ 2, 2, 8 ]>, <-12451, [ 5, 5 ]>, <-12408, [ 2, 2, 6 ]>, <-12376, [ 2, 2, 6 ]>, <-12259, [ 2, 8 ]>, <-12243, [ 2, 2, 6 ]>, <-12180, [ 2, 2, 2, 4 ]>, <-12084, [ 2, 2, 8 ]>, <-12067, [ 3, 6 ]>, <-12040, [ 2, 2, 8 ]>, <-12027, [ 2, 8 ]>, <-11940, [ 2, 2, 8 ]>, <-11928, [ 2, 2, 6 ]>, <-11832, [ 2, 2, 8 ]>, <-11803, [ 2, 6 ]>, <-11748, [ 2, 2, 6 ]>, <-11739, [ 2, 2, 8 ]>, <-11715, [ 2, 2, 4 ]>, <-11635, [ 2, 8 ]>, <-11620, [ 2, 2, 6 ]>, <-11572, [ 2, 8 ]>, <-11571, [ 2, 2, 8 ]>, <-11523, [ 2, 8 ]>, <-11460, [ 2, 2, 8 ]>, <-11316, [ 2, 2, 8 ]>, <-11284, [ 2, 2, 8 ]>, <-11235, [ 2, 2, 6 ]>, <-11220, [ 2, 2, 2, 6 ]>, <-11155, [ 2, 6 ]>, <-11092, [ 2, 8 ]>, <-11067, [ 2, 2, 4 ]>, <-10948, [ 2, 2, 4 ]>, <-10920, [ 2, 2, 2, 4 ]>, <-10915, [ 2, 6 ]>, <-10868, [ 2, 2, 8 ]>, <-10824, [ 2, 2, 8 ]>, <-10803, [ 4, 4 ]>, <-10795, [ 2, 6 ]>, <-10788, [ 2, 2, 6 ]>, <-10740, [ 2, 2, 6 ]>, <-10707, [ 2, 6 ]>, <-10660, [ 2, 2, 8 ]>, <-10635, [ 2, 8 ]>, <-10563, [ 2, 8 ]>, <-10488, [ 2, 2, 6 ]>, <-10452, [ 2, 2, 6 ]>, <-10420, [ 2, 8 ]>, <-10387, [ 2, 8 ]>, <-10360, [ 2, 2, 6 ]>, <-10248, [ 2, 2, 6 ]>, <-10227, [ 2, 8 ]>, <-10212, [ 2, 2, 6 ]>, <-10203, [ 2, 8 ]>, <-10168, [ 4, 4 ]>, <-10132, [ 2, 8 ]>, <-10120, [ 2, 2, 6 ]>, <-9960, [ 2, 2, 8 ]>, <-9955, [ 4, 4 ]>, <-9940, [ 2, 2, 6 ]>, <-9912, [ 2, 2, 8 ]>, <-9880, [ 2, 2, 8 ]>, <-9867, [ 2, 2, 4 ]>, <-9860, [ 2, 2, 8 ]>, <-9843, [ 2, 6 ]>, <-9835, [ 2, 8 ]>, <-9780, [ 2, 2, 8 ]>, <-9768, [ 2, 2, 8 ]>, <-9748, [ 3, 6 ]>, <-9672, [ 2, 2, 6 ]>, <-9640, [ 2, 8 ]>, <-9595, [ 4, 4 ]>, <-9588, [ 2, 2, 8 ]>, <-9492, [ 2, 2, 6 ]>, <-9483, [ 2, 8 ]>, <-9480, [ 2, 2, 6 ]>, <-9460, [ 2, 2, 8 ]>, <-9435, [ 2, 2, 8 ]>, <-9412, [ 2, 8 ]>, <-9384, [ 2, 2, 6 ]>, <-9348, [ 2, 2, 8 ]>, <-9316, [ 4, 8 ]>, <-9240, [ 2, 2, 2, 4 ]>, <-9219, [ 2, 8 ]>, <-9156, [ 2, 2, 8 ]>, <-9139, [ 2, 6 ]>, <-9060, [ 2, 2, 8 ]>, <-9048, [ 2, 2, 6 ]>, <-8968, [ 2, 8 ]>, <-8932, [ 2, 2, 4 ]>, <-8835, [ 2, 2, 4 ]>, <-8827, [ 2, 6 ]>, <-8787, [ 2, 6 ]>, <-8772, [ 2, 2, 6 ]>, <-8760, [ 2, 2, 6 ]>, <-8740, [ 2, 2, 6 ]>, <-8715, [ 2, 2, 4 ]>, <-8680, [ 2, 2, 4 ]>, <-8643, [ 2, 8 ]>, <-8635, [ 2, 8 ]>, <-8580, [ 2, 2, 2, 4 ]>, <-8555, [ 4, 8 ]>, <-8547, [ 2, 2, 4 ]>, <-8520, [ 2, 2, 8 ]>, <-8515, [ 2, 8 ]>, <-8395, [ 2, 6 ]>, <-8340, [ 2, 2, 8 ]>, <-8323, [ 2, 6 ]>, <-8308, [ 2, 8 ]>, <-8283, [ 2, 8 ]>, <-8260, [ 2, 2, 6 ]>, <-8211, [ 2, 2, 6 ]>, <-8184, [ 2, 2, 8 ]>, <-8155, [ 2, 6 ]>, <-8148, [ 2, 2, 6 ]>, <-8052, [ 2, 2, 4 ]>, <-8043, [ 2, 8 ]>, <-8040, [ 2, 2, 8 ]>, <-8008, [ 2, 2, 4 ]>, <-7995, [ 2, 2, 4 ]>, <-7923, [ 2, 8 ]>, <-7912, [ 2, 6 ]>, <-7896, [ 2, 2, 8 ]>, <-7843, [ 2, 8 ]>, <-7828, [ 2, 8 ]>, <-7780, [ 2, 8 ]>, <-7755, [ 2, 2, 4 ]>, <-7752, [ 2, 2, 8 ]>, <-7707, [ 2, 8 ]>, <-7683, [ 2, 6 ]>, <-7672, [ 4, 4 ]>, <-7620, [ 2, 2, 6 ]>, <-7588, [ 2, 8 ]>, <-7579, [ 2, 8 ]>, <-7540, [ 2, 2, 4 ]>, <-7491, [ 2, 8 ]>, <-7480, [ 2, 2, 4 ]>, <-7395, [ 2, 2, 4 ]>, <-7368, [ 2, 8 ]>, <-7347, [ 2, 8 ]>, <-7332, [ 2, 2, 6 ]>, <-7320, [ 2, 2, 6 ]>, <-7315, [ 2, 2, 4 ]>, <-7176, [ 2, 2, 8 ]>, <-7140, [ 2, 2, 2, 4 ]>, <-7107, [ 2, 6 ]>, <-7059, [ 4, 8 ]>, <-7035, [ 2, 2, 4 ]>, <-6987, [ 2, 6 ]>, <-6963, [ 2, 6 ]>, <-6955, [ 2, 6 ]>, <-6952, [ 2, 8 ]>, <-6923, [ 2, 8 ]>, <-6916, [ 2, 2, 6 ]>, <-6888, [ 2, 2, 6 ]>, <-6868, [ 2, 8 ]>, <-6820, [ 2, 2, 4 ]>, <-6792, [ 2, 8 ]>, <-6771, [ 2, 8 ]>, <-6747, [ 2, 8 ]>, <-6715, [ 2, 6 ]>, <-6708, [ 2, 2, 4 ]>, <-6699, [ 2, 2, 6 ]>, <-6643, [ 2, 6 ]>, <-6612, [ 2, 2, 4 ]>, <-6603, [ 2, 6 ]>, <-6580, [ 2, 2, 4 ]>, <-6555, [ 2, 2, 6 ]>, <-6532, [ 2, 8 ]>, <-6440, [ 2, 2, 8 ]>, <-6420, [ 2, 2, 4 ]>, <-6392, [ 4, 8 ]>, <-6360, [ 2, 4, 4 ]>, <-6355, [ 4, 4 ]>, <-6328, [ 4, 4 ]>, <-6315, [ 2, 8 ]>, <-6312, [ 2, 8 ]>, <-6307, [ 2, 4 ]>, <-6235, [ 2, 6 ]>, <-6232, [ 2, 6 ]>, <-6216, [ 2, 2, 6 ]>, <-6195, [ 2, 2, 4 ]>, <-6180, [ 2, 2, 6 ]>, <-6148, [ 2, 8 ]>, <-6132, [ 2, 2, 6 ]>, <-6123, [ 4, 4 ]>, <-6099, [ 2, 8 ]>, <-6072, [ 2, 2, 6 ]>, <-6052, [ 4, 4 ]>, <-6040, [ 2, 8 ]>, <-5995, [ 2, 8 ]>, <-5992, [ 2, 8 ]>, <-5947, [ 8 ]>, <-5928, [ 2, 2, 6 ]>, <-5923, [ 7 ]>, <-5908, [ 2, 8 ]>, <-5907, [ 2, 8 ]>, <-5896, [ 2, 8 ]>, <-5883, [ 2, 8 ]>, <-5860, [ 2, 8 ]>, <-5848, [ 2, 8 ]>, <-5835, [ 2, 6 ]>, <-5811, [ 2, 6 ]>, <-5795, [ 4, 8 ]>, <-5763, [ 2, 6 ]>, <-5720, [ 2, 2, 8 ]>, <-5707, [ 8 ]>, <-5668, [ 2, 8 ]>, <-5640, [ 2, 2, 8 ]>, <-5595, [ 2, 6 ]>, <-5587, [ 8 ]>, <-5572, [ 2, 8 ]>, <-5523, [ 2, 6 ]>, <-5467, [ 2, 4 ]>, <-5460, [ 2, 2, 2, 2 ]>, <-5428, [ 2, 8 ]>, <-5412, [ 2, 2, 4 ]>, <-5395, [ 2, 6 ]>, <-5380, [ 2, 8 ]>, <-5320, [ 2, 2, 6 ]>, <-5307, [ 2, 6 ]>, <-5236, [ 2, 2, 6 ]>, <-5208, [ 2, 2, 4 ]>, <-5187, [ 2, 2, 4 ]>, <-5160, [ 2, 2, 4 ]>, <-5140, [ 2, 6 ]>, <-5124, [ 2, 2, 6 ]>, <-5115, [ 2, 2, 4 ]>, <-5107, [ 7 ]>, <-5083, [ 2, 4 ]>, <-5035, [ 2, 6 ]>, <-5032, [ 2, 6 ]>, <-5016, [ 2, 2, 6 ]>, <-4984, [ 2, 8 ]>, <-4980, [ 2, 2, 8 ]>, <-4947, [ 2, 6 ]>, <-4920, [ 2, 2, 6 ]>, <-4899, [ 2, 8 ]>, <-4888, [ 2, 6 ]>, <-4884, [ 2, 2, 8 ]>, <-4872, [ 2, 2, 6 ]>, <-4867, [ 8 ]>, <-4843, [ 8 ]>, <-4795, [ 2, 6 ]>, <-4755, [ 2, 6 ]>, <-4747, [ 8 ]>, <-4740, [ 2, 2, 4 ]>, <-4712, [ 2, 8 ]>, <-4708, [ 2, 6 ]>, <-4692, [ 2, 2, 6 ]>, <-4683, [ 2, 8 ]>, <-4648, [ 2, 6 ]>, <-4603, [ 7 ]>, <-4596, [ 2, 8 ]>, <-4587, [ 2, 6 ]>, <-4515, [ 2, 2, 4 ]>, <-4488, [ 2, 2, 4 ]>, <-4452, [ 2, 2, 4 ]>, <-4440, [ 2, 2, 4 ]>, <-4420, [ 2, 2, 4 ]>, <-4387, [ 8 ]>, <-4360, [ 2, 6 ]>, <-4340, [ 2, 2, 8 ]>, <-4324, [ 2, 8 ]>, <-4323, [ 2, 4 ]>, <-4267, [ 8 ]>, <-4260, [ 2, 2, 4 ]>, <-4251, [ 2, 8 ]>, <-4228, [ 2, 8 ]>, <-4216, [ 2, 8 ]>, <-4195, [ 8 ]>, <-4180, [ 2, 2, 4 ]>, <-4179, [ 2, 8 ]>, <-4155, [ 2, 6 ]>, <-4152, [ 2, 6 ]>, <-4147, [ 2, 6 ]>, <-4123, [ 2, 4 ]>, <-4120, [ 2, 6 ]>, <-4035, [ 2, 6 ]>, <-4027, [ 3, 3 ]>, <-4020, [ 2, 2, 4 ]>, <-4008, [ 2, 8 ]>, <-3976, [ 2, 8 ]>, <-3972, [ 2, 6 ]>, <-3963, [ 8 ]>, <-3955, [ 2, 6 ]>, <-3939, [ 2, 8 ]>, <-3907, [ 7 ]>, <-3892, [ 2, 6 ]>, <-3883, [ 8 ]>, <-3880, [ 2, 6 ]>, <-3876, [ 2, 2, 6 ]>, <-3864, [ 2, 2, 6 ]>, <-3835, [ 2, 6 ]>, <-3828, [ 2, 2, 4 ]>, <-3819, [ 2, 8 ]>, <-3796, [ 2, 6 ]>, <-3795, [ 2, 2, 4 ]>, <-3787, [ 8 ]>, <-3784, [ 2, 8 ]>, <-3768, [ 2, 6 ]>, <-3763, [ 6 ]>, <-3752, [ 2, 8 ]>, <-3732, [ 2, 8 ]>, <-3723, [ 2, 6 ]>, <-3720, [ 2, 2, 6 ]>, <-3652, [ 2, 6 ]>, <-3640, [ 2, 2, 4 ]>, <-3619, [ 2, 6 ]>, <-3595, [ 8 ]>, <-3588, [ 2, 2, 4 ]>, <-3556, [ 2, 8 ]>, <-3540, [ 2, 2, 6 ]>, <-3531, [ 2, 8 ]>, <-3523, [ 6 ]>, <-3507, [ 2, 4 ]>, <-3480, [ 2, 2, 4 ]>, <-3460, [ 2, 8 ]>, <-3451, [ 2, 6 ]>, <-3448, [ 8 ]>, <-3444, [ 2, 2, 6 ]>, <-3435, [ 2, 8 ]>, <-3432, [ 2, 2, 4 ]>, <-3427, [ 6 ]>, <-3403, [ 8 ]>, <-3363, [ 2, 8 ]>, <-3355, [ 2, 4 ]>, <-3336, [ 2, 8 ]>, <-3315, [ 2, 2, 2 ]>, <-3304, [ 2, 6 ]>, <-3268, [ 2, 6 ]>, <-3256, [ 2, 6 ]>, <-3252, [ 2, 6 ]>, <-3243, [ 2, 4 ]>, <-3235, [ 6 ]>, <-3220, [ 2, 2, 4 ]>, <-3192, [ 2, 2, 4 ]>, <-3187, [ 7 ]>, <-3172, [ 2, 4 ]>, <-3171, [ 2, 8 ]>, <-3160, [ 2, 8 ]>, <-3144, [ 2, 8 ]>, <-3140, [ 2, 8 ]>, <-3115, [ 2, 6 ]>, <-3108, [ 2, 2, 4 ]>, <-3080, [ 2, 2, 8 ]>, <-3067, [ 7 ]>, <-3048, [ 2, 6 ]>, <-3019, [ 7 ]>, <-3012, [ 2, 6 ]>, <-3003, [ 2, 2, 2 ]>, <-2995, [ 8 ]>, <-2980, [ 2, 8 ]>, <-2968, [ 2, 4 ]>, <-2964, [ 2, 2, 6 ]>, <-2955, [ 2, 6 ]>, <-2947, [ 8 ]>, <-2923, [ 6 ]>, <-2920, [ 2, 6 ]>, <-2884, [ 2, 8 ]>, <-2868, [ 2, 8 ]>, <-2856, [ 2, 2, 6 ]>, <-2827, [ 8 ]>, <-2820, [ 2, 2, 6 ]>, <-2795, [ 2, 6 ]>, <-2788, [ 2, 4 ]>, <-2787, [ 6 ]>, <-2760, [ 2, 2, 4 ]>, <-2755, [ 2, 4 ]>, <-2740, [ 2, 6 ]>, <-2739, [ 2, 8 ]>, <-2728, [ 2, 6 ]>, <-2715, [ 2, 4 ]>, <-2707, [ 7 ]>, <-2683, [ 5 ]>, <-2680, [ 2, 6 ]>, <-2676, [ 2, 6 ]>, <-2667, [ 2, 4 ]>, <-2660, [ 2, 2, 6 ]>, <-2635, [ 2, 6 ]>, <-2632, [ 2, 4 ]>, <-2611, [ 8 ]>, <-2595, [ 2, 6 ]>, <-2587, [ 8 ]>, <-2584, [ 2, 8 ]>, <-2580, [ 2, 2, 4 ]>, <-2568, [ 2, 8 ]>, <-2563, [ 6 ]>, <-2555, [ 2, 6 ]>, <-2515, [ 6 ]>, <-2472, [ 2, 6 ]>, <-2467, [ 7 ]>, <-2451, [ 2, 4 ]>, <-2443, [ 6 ]>, <-2440, [ 2, 6 ]>, <-2436, [ 2, 2, 4 ]>, <-2424, [ 2, 6 ]>, <-2419, [ 8 ]>, <-2395, [ 8 ]>, <-2392, [ 2, 4 ]>, <-2388, [ 2, 6 ]>, <-2387, [ 2, 6 ]>, <-2379, [ 4, 4 ]>, <-2356, [ 2, 8 ]>, <-2355, [ 2, 6 ]>, <-2347, [ 5 ]>, <-2328, [ 2, 8 ]>, <-2323, [ 8 ]>, <-2308, [ 8 ]>, <-2307, [ 8 ]>, <-2296, [ 2, 8 ]>, <-2292, [ 2, 8 ]>, <-2283, [ 6 ]>, <-2280, [ 2, 2, 4 ]>, <-2260, [ 2, 6 ]>, <-2251, [ 7 ]>, <-2248, [ 8 ]>, <-2244, [ 2, 2, 4 ]>, <-2235, [ 2, 6 ]>, <-2227, [ 6 ]>, <-2212, [ 2, 4 ]>, <-2211, [ 2, 8 ]>, <-2203, [ 5 ]>, <-2184, [ 2, 2, 6 ]>, <-2179, [ 7 ]>, <-2163, [ 2, 4 ]>, <-2148, [ 2, 6 ]>, <-2139, [ 2, 4 ]>, <-2132, [ 2, 6 ]>, <-2091, [ 2, 6 ]>, <-2083, [ 7 ]>, <-2072, [ 2, 8 ]>, <-2068, [ 2, 6 ]>, <-2067, [ 2, 4 ]>, <-2059, [ 8 ]>, <-2040, [ 2, 2, 4 ]>, <-2035, [ 2, 4 ]>, <-2020, [ 2, 4 ]>, <-2011, [ 7 ]>, <-2004, [ 2, 8 ]>, <-1995, [ 2, 2, 2 ]>, <-1992, [ 2, 4 ]>, <-1987, [ 7 ]>, <-1972, [ 2, 6 ]>, <-1963, [ 6 ]>, <-1955, [ 2, 6 ]>, <-1947, [ 2, 4 ]>, <-1939, [ 8 ]>, <-1924, [ 2, 8 ]>, <-1915, [ 6 ]>, <-1912, [ 8 ]>, <-1892, [ 2, 6 ]>, <-1876, [ 2, 8 ]>, <-1867, [ 5 ]>, <-1864, [ 8 ]>, <-1860, [ 2, 2, 4 ]>, <-1848, [ 2, 2, 2 ]>, <-1843, [ 6 ]>, <-1828, [ 8 ]>, <-1812, [ 2, 6 ]>, <-1803, [ 8 ]>, <-1795, [ 8 ]>, <-1787, [ 7 ]>, <-1780, [ 2, 4 ]>, <-1771, [ 2, 4 ]>, <-1768, [ 2, 4 ]>, <-1752, [ 2, 4 ]>, <-1747, [ 5 ]>, <-1731, [ 8 ]>, <-1723, [ 5 ]>, <-1720, [ 2, 6 ]>, <-1716, [ 2, 2, 4 ]>, <-1672, [ 2, 4 ]>, <-1668, [ 2, 6 ]>, <-1659, [ 2, 4 ]>, <-1651, [ 8 ]>, <-1640, [ 2, 8 ]>, <-1635, [ 2, 4 ]>, <-1627, [ 7 ]>, <-1624, [ 2, 8 ]>, <-1608, [ 2, 8 ]>, <-1603, [ 6 ]>, <-1595, [ 2, 8 ]>, <-1588, [ 6 ]>, <-1572, [ 2, 6 ]>, <-1563, [ 6 ]>, <-1560, [ 2, 2, 4 ]>, <-1555, [ 4 ]>, <-1547, [ 2, 6 ]>, <-1540, [ 2, 2, 2 ]>, <-1528, [ 8 ]>, <-1523, [ 7 ]>, <-1515, [ 2, 6 ]>, <-1508, [ 2, 8 ]>, <-1507, [ 4 ]>, <-1491, [ 2, 6 ]>, <-1483, [ 7 ]>, <-1480, [ 2, 6 ]>, <-1464, [ 2, 6 ]>, <-1443, [ 2, 4 ]>, <-1435, [ 2, 2 ]>, <-1432, [ 6 ]>, <-1428, [ 2, 2, 2 ]>, <-1419, [ 2, 6 ]>, <-1416, [ 2, 8 ]>, <-1411, [ 4 ]>, <-1387, [ 4 ]>, <-1380, [ 2, 2, 2 ]>, <-1363, [ 6 ]>, <-1348, [ 8 ]>, <-1347, [ 6 ]>, <-1339, [ 8 ]>, <-1320, [ 2, 2, 2 ]>, <-1315, [ 6 ]>, <-1299, [ 8 ]>, <-1288, [ 2, 4 ]>, <-1272, [ 2, 6 ]>, <-1267, [ 6 ]>, <-1252, [ 8 ]>, <-1243, [ 4 ]>, <-1240, [ 2, 4 ]>, <-1236, [ 2, 6 ]>, <-1235, [ 2, 6 ]>, <-1227, [ 4 ]>, <-1220, [ 2, 8 ]>, <-1219, [ 6 ]>, <-1204, [ 2, 4 ]>, <-1203, [ 6 ]>, <-1195, [ 8 ]>, <-1192, [ 6 ]>, <-1171, [ 7 ]>, <-1163, [ 7 ]>, <-1155, [ 2, 2, 2 ]>, <-1147, [ 6 ]>, <-1144, [ 2, 6 ]>, <-1140, [ 2, 2, 4 ]>, <-1131, [ 2, 4 ]>, <-1128, [ 2, 4 ]>, <-1123, [ 5 ]>, <-1108, [ 6 ]>, <-1099, [ 6 ]>, <-1092, [ 2, 2, 2 ]>, <-1060, [ 2, 4 ]>, <-1059, [ 6 ]>, <-1051, [ 5 ]>, <-1048, [ 6 ]>, <-1043, [ 8 ]>, <-1032, [ 2, 4 ]>, <-1027, [ 4 ]>, <-1023, [ 2, 8 ]>, <-1015, [ 2, 8 ]>, <-1012, [ 2, 2 ]>, <-1003, [ 4 ]>, <-996, [ 2, 6 ]>, <-995, [ 8 ]>, <-987, [ 2, 4 ]>, <-984, [ 2, 6 ]>, <-979, [ 8 ]>, <-955, [ 4 ]>, <-952, [ 2, 4 ]>, <-948, [ 2, 6 ]>, <-947, [ 5 ]>, <-939, [ 8 ]>, <-915, [ 2, 4 ]>, <-907, [ 3 ]>, <-904, [ 8 ]>, <-903, [ 2, 8 ]>, <-888, [ 2, 6 ]>, <-884, [ 2, 8 ]>, <-883, [ 3 ]>, <-868, [ 2, 4 ]>, <-859, [ 7 ]>, <-856, [ 6 ]>, <-852, [ 2, 4 ]>, <-843, [ 6 ]>, <-840, [ 2, 2, 2 ]>, <-835, [ 6 ]>, <-827, [ 7 ]>, <-820, [ 2, 4 ]>, <-811, [ 7 ]>, <-808, [ 6 ]>, <-804, [ 2, 6 ]>, <-795, [ 2, 2 ]>, <-787, [ 5 ]>, <-772, [ 4 ]>, <-771, [ 6 ]>, <-763, [ 4 ]>, <-760, [ 2, 2 ]>, <-744, [ 2, 6 ]>, <-740, [ 2, 8 ]>, <-739, [ 5 ]>, <-728, [ 2, 6 ]>, <-723, [ 4 ]>, <-715, [ 2, 2 ]>, <-712, [ 8 ]>, <-708, [ 2, 2 ]>, <-707, [ 6 ]>, <-696, [ 2, 6 ]>, <-691, [ 5 ]>, <-683, [ 5 ]>, <-680, [ 2, 6 ]>, <-667, [ 4 ]>, <-663, [ 2, 8 ]>, <-660, [ 2, 2, 2 ]>, <-651, [ 2, 4 ]>, <-644, [ 2, 8 ]>, <-643, [ 3 ]>, <-632, [ 8 ]>, <-628, [ 6 ]>, <-627, [ 2, 2 ]>, <-619, [ 5 ]>, <-616, [ 2, 4 ]>, <-595, [ 2, 2 ]>, <-587, [ 7 ]>, <-583, [ 8 ]>, <-580, [ 2, 4 ]>, <-579, [ 8 ]>, <-571, [ 5 ]>, <-568, [ 4 ]>, <-564, [ 2, 4 ]>, <-555, [ 2, 2 ]>, <-552, [ 2, 4 ]>, <-548, [ 8 ]>, <-547, [ 3 ]>, <-532, [ 2, 2 ]>, <-523, [ 5 ]>, <-520, [ 2, 2 ]>, <-516, [ 2, 6 ]>, <-515, [ 6 ]>, <-499, [ 3 ]>, <-487, [ 7 ]>, <-483, [ 2, 2 ]>, <-472, [ 6 ]>, <-467, [ 7 ]>, <-463, [ 7 ]>, <-456, [ 2, 4 ]>, <-452, [ 8 ]>, <-451, [ 6 ]>, <-443, [ 5 ]>, <-440, [ 2, 6 ]>, <-436, [ 6 ]>, <-435, [ 2, 2 ]>, <-427, [ 2 ]>, <-424, [ 6 ]>, <-420, [ 2, 2, 2 ]>, <-411, [ 6 ]>, <-408, [ 2, 2 ]>, <-403, [ 2 ]>, <-399, [ 2, 8 ]>, <-395, [ 8 ]>, <-388, [ 4 ]>, <-379, [ 3 ]>, <-376, [ 8 ]>, <-372, [ 2, 2 ]>, <-371, [ 8 ]>, <-355, [ 4 ]>, <-347, [ 5 ]>, <-340, [ 2, 2 ]>, <-339, [ 6 ]>, <-331, [ 3 ]>, <-328, [ 4 ]>, <-323, [ 4 ]>, <-312, [ 2, 2 ]>, <-308, [ 2, 4 ]>, <-307, [ 3 ]>, <-299, [ 8 ]>, <-295, [ 8 ]>, <-292, [ 4 ]>, <-291, [ 4 ]>, <-283, [ 3 ]>, <-280, [ 2, 2 ]>, <-276, [ 2, 4 ]>, <-267, [ 2 ]>, <-264, [ 2, 4 ]>, <-260, [ 2, 4 ]>, <-259, [ 4 ]>, <-255, [ 2, 6 ]>, <-251, [ 7 ]>, <-248, [ 8 ]>, <-247, [ 6 ]>, <-244, [ 6 ]>, <-235, [ 2 ]>, <-232, [ 2 ]>, <-231, [ 2, 6 ]>, <-228, [ 2, 2 ]>, <-227, [ 5 ]>, <-223, [ 7 ]>, <-219, [ 4 ]>, <-212, [ 6 ]>, <-211, [ 3 ]>, <-203, [ 4 ]>, <-195, [ 2, 2 ]>, <-187, [ 2 ]>, <-184, [ 4 ]>, <-183, [ 8 ]>, <-179, [ 5 ]>, <-168, [ 2, 2 ]>, <-164, [ 8 ]>, <-163, []>, <-155, [ 4 ]>, <-152, [ 6 ]>, <-151, [ 7 ]>, <-148, [ 2 ]>, <-139, [ 3 ]>, <-136, [ 4 ]>, <-132, [ 2, 2 ]>, <-131, [ 5 ]>, <-127, [ 5 ]>, <-123, [ 2 ]>, <-120, [ 2, 2 ]>, <-116, [ 6 ]>, <-115, [ 2 ]>, <-111, [ 8 ]>, <-107, [ 3 ]>, <-104, [ 6 ]>, <-103, [ 5 ]>, <-95, [ 8 ]>, <-91, [ 2 ]>, <-88, [ 2 ]>, <-87, [ 6 ]>, <-84, [ 2, 2 ]>, <-83, [ 3 ]>, <-79, [ 5 ]>, <-71, [ 7 ]>, <-68, [ 4 ]>, <-67, []>, <-59, [ 3 ]>, <-56, [ 4 ]>, <-55, [ 4 ]>, <-52, [ 2 ]>, <-51, [ 2 ]>, <-47, [ 5 ]>, <-43, []>, <-40, [ 2 ]>, <-39, [ 4 ]>, <-35, [ 2 ]>, <-31, [ 3 ]>, <-24, [ 2 ]>, <-23, [ 3 ]>, <-20, [ 2 ]>, <-19, []>, <-15, [ 2 ]>, <-11, []>, <-8, []>, <-7, []>, <-4, []>, <-3, []> ]