G:= PermutationGroup<2618 | \[ 233, 322, 191, 206, 377, 273, 205, 183, 90, 132, 88, 185, 72, 133, 264, 217, 222, 56, 372, 309, 374, 27, 368, 358, 367, 65, 35, 240, 57, 152, 209, 157, 114, 36, 78, 341, 251, 53, 106, 116, 223, 101, 29, 105, 160, 79, 297, 234, 247, 207, 130, 69, 312, 91, 112, 11, 77, 343, 214, 49, 169, 186, 378, 63, 370, 319, 260, 110, 354, 350, 75, 259, 96, 258, 74, 363, 291, 369, 44, 192, 177, 182, 255, 30, 274, 337, 162, 24, 184, 9, 28, 308, 203, 168, 138, 361, 242, 140, 371, 86, 235, 20, 42, 22, 81, 97, 302, 236, 164, 340, 349, 279, 219, 62, 92, 356, 19, 33, 216, 190, 215, 225, 195, 149, 246, 208, 123, 355, 131, 85, 275, 357, 7, 254, 87, 342, 248, 142, 25, 150, 288, 317, 321, 314, 41, 165, 300, 323, 202, 210, 55, 263, 226, 124, 193, 232, 83, 156, 71, 80, 54, 115, 346, 45, 39, 271, 313, 241, 292, 221, 272, 137, 338, 330, 359, 70, 46, 99, 334, 250, 5, 47, 244, 84, 289, 376, 188, 253, 134, 270, 1, 109, 256, 249, 107, 286, 121, 199, 238, 159, 318, 311, 111, 113, 21, 2, 362, 103, 102, 66, 332, 213, 230, 229, 155, 333, 6, 228, 129, 278, 170, 268, 73, 326, 269, 153, 261, 365, 60, 94, 290, 122, 166, 58, 126, 148, 16, 220, 51, 347, 212, 146, 31, 17, 283, 125, 59, 298, 151, 287, 373, 344, 252, 316, 284, 197, 23, 200, 61, 82, 172, 147, 89, 315, 119, 198, 310, 8, 158, 320, 3, 171, 306, 353, 204, 154, 15, 266, 194, 48, 281, 282, 245, 351, 305, 196, 180, 143, 117, 189, 304, 13, 348, 327, 366, 120, 67, 227, 299, 218, 352, 345, 280, 43, 95, 237, 364, 135, 243, 267, 276, 26, 93, 128, 76, 231, 285, 108, 98, 339, 211, 163, 201, 187, 328, 335, 294, 325, 375, 336, 295, 141, 307, 173, 331, 360, 52, 136, 296, 178, 64, 179, 303, 324, 127, 4, 161, 174, 167, 40, 32, 144, 239, 100, 301, 176, 181, 18, 175, 293, 145, 139, 277, 265, 262, 224, 50, 37, 104, 38, 68, 12, 257, 14, 329, 118, 10, 34, 848, 2546, 2292, 917, 1875, 2498, 2032, 394, 648, 2093, 401, 1680, 1048, 925, 1690, 994, 2014, 1981, 2075, 1146, 1195, 1793, 2215, 677, 1621, 1688, 1522, 2204, 700, 909, 1340, 1034, 2045, 437, 930, 1120, 1471, 2098, 1698, 1152, 2341, 1617, 1517, 1814, 2555, 477, 2289, 868, 1712, 947, 1039, 754, 1920, 1205, 1813, 1766, 1845, 579, 1385, 2151, 2170, 1781, 1532, 1551, 1597, 1133, 1580, 1501, 663, 766, 402, 1692, 1123, 1558, 1846, 1353, 1383, 1263, 1911, 1001, 2510, 384, 2118, 931, 750, 1999, 1209, 1882, 1325, 1219, 1750, 1395, 1606, 2065, 2162, 921, 1339, 724, 1943, 583, 1632, 1833, 649, 2396, 1683, 1743, 959, 1812, 1462, 2472, 1443, 1808, 863, 1049, 887, 886, 1293, 1108, 918, 558, 741, 1552, 1507, 518, 828, 2294, 1510, 1966, 711, 581, 1556, 2357, 1296, 1229, 1221, 829, 1749, 1521, 1956, 2066, 2315, 2405, 1670, 2409, 1960, 2260, 855, 1482, 865, 608, 2448, 1159, 1467, 2358, 1112, 2499, 1877, 1050, 511, 2393, 2340, 628, 2202, 940, 1703, 1028, 2256, 682, 1840, 602, 1329, 1114, 2252, 1496, 1354, 586, 414, 2283, 383, 860, 1792, 678, 762, 1127, 1291, 1453, 2319, 2154, 2326, 2236, 876, 1426, 862, 1717, 1667, 910, 1171, 1480, 2500, 965, 966, 2108, 1121, 433, 1041, 1068, 907, 554, 2208, 589, 2071, 2427, 1122, 2429, 625, 2378, 1991, 2465, 524, 716, 429, 1821, 1473, 548, 2187, 2588, 1671, 2577, 1115, 2430, 2102, 2233, 1194, 2329, 2284, 2127, 681, 542, 2462, 1857, 2152, 546, 1602, 2426, 1732, 2210, 680, 616, 2558, 540, 1180, 1640, 975, 2570, 2042, 1795, 2097, 1016, 1791, 726, 592, 2133, 1575, 1753, 647, 2406, 2514, 2490, 2552, 1693, 1027, 893, 1495, 995, 1210, 1547, 1992, 1461, 1901, 815, 1746, 2327, 1563, 2352, 2534, 2533, 673, 2255, 1440, 1158, 483, 2387, 1412, 529, 1892, 1199, 2194, 728, 1274, 2257, 1768, 575, 1629, 1245, 1893, 779, 1023, 1044, 1004, 2586, 1304, 2049, 2159, 1896, 2287, 1961, 1088, 1909, 697, 1931, 1498, 2280, 983, 837, 2453, 1987, 2270, 1062, 1829, 949, 1196, 1344, 768, 2423, 604, 2437, 822, 1174, 2052, 1633, 1063, 1476, 1613, 513, 2196, 2433, 2048, 638, 1998, 1914, 2565, 1147, 1485, 390, 1657, 1646, 668, 903, 1627, 405, 650, 1270, 2460, 722, 1884, 1723, 2394, 694, 672, 1819, 1051, 576, 1269, 1477, 1486, 2592, 1964, 1660, 1803, 1559, 1400, 1043, 2073, 1408, 1787, 536, 485, 1207, 2515, 1252, 2059, 615, 465, 1615, 986, 2029, 380, 802, 777, 2082, 1018, 2163, 1117, 1885, 1236, 1119, 1362, 2506, 2242, 2615, 748, 1215, 1742, 1809, 1032, 794, 2332, 2435, 1142, 449, 1861, 505, 2005, 617, 2359, 2467, 1866, 1110, 756, 2410, 1637, 2311, 1599, 2267, 1740, 1825, 464, 1715, 1780, 1332, 1600, 1073, 797, 2414, 2521, 2610, 1953, 1459, 469, 1197, 420, 1216, 2132, 1015, 1831, 2399, 1704, 765, 996, 2511, 1487, 1134, 2541, 595, 2200, 977, 1223, 506, 1356, 2397, 2290, 1198, 454, 2491, 941, 2078, 1124, 658, 2356, 1839, 771, 2407, 1097, 2223, 2002, 2250, 2432, 646, 1881, 426, 867, 547, 1722, 1668, 1017, 2056, 1870, 2459, 2263, 2122, 444, 1214, 2176, 541, 423, 1557, 1622, 1863, 1275, 1864, 1818, 1328, 1414, 2392, 1915, 487, 1095, 911, 1796, 1675, 2382, 1908, 1292, 2037, 2571, 1790, 2443, 1973, 1756, 467, 2225, 735, 1890, 2323, 1718, 1042, 1656, 499, 1849, 1990, 1588, 946, 1432, 1591, 2584, 2348, 1000, 2316, 2391, 894, 1126, 1254, 2062, 839, 1185, 1227, 1299, 2254, 1935, 2017, 1827, 1406, 1841, 739, 500, 1907, 738, 2103, 1186, 388, 2101, 915, 512, 1854, 1300, 533, 742, 1897, 1932, 1386, 1421, 2070, 596, 445, 1401, 1184, 1962, 714, 1969, 695, 2369, 1380, 871, 539, 1659, 1025, 605, 2165, 1988, 2401, 688, 612, 1009, 884, 1248, 463, 1382, 2167, 1337, 835, 2117, 1294, 1169, 920, 2000, 1452, 1976, 1706, 2601, 2107, 1071, 878, 2128, 1228, 1626, 2608, 1794, 1373, 1564, 2312, 2076, 1611, 2527, 2036, 1631, 1183, 1350, 1102, 1327, 879, 1316, 2582, 428, 2088, 1388, 2034, 1279, 577, 1879, 2602, 1036, 2322, 2285, 968, 1497, 2064, 2548, 502, 2182, 989, 1697, 2262, 1582, 1359, 760, 1434, 1295, 637, 889, 1797, 1402, 1301, 749, 1904, 783, 461, 503, 1748, 2145, 2381, 1941, 1024, 1094, 531, 1333, 2476, 823, 784, 969, 644, 2178, 982, 1460, 2559, 1010, 861, 422, 1910, 1822, 2085, 1873, 708, 2238, 1686, 1366, 661, 530, 717, 1644, 1428, 1736, 2231, 517, 418, 1090, 2363, 2422, 956, 2492, 2537, 1283, 2449, 2198, 2444, 1168, 2179, 2137, 436, 624, 2195, 1645, 1442, 2593, 882, 398, 780, 1430, 632, 1456, 2314, 1290, 1479, 424, 2063, 486, 2519, 495, 730, 2177, 1565, 396, 1894, 1834, 2501, 684, 667, 2084, 622, 1826, 2488, 1342, 1303, 2350, 906, 1711, 456, 1193, 883, 698, 727, 475, 2596, 1157, 1085, 1811, 1278, 2043, 2058, 1734, 1431, 1092, 1695, 1022, 543, 1982, 1323, 2288, 2563, 1570, 2261, 1276, 2562, 2308, 1438, 1687, 2146, 2384, 1455, 1905, 1985, 798, 2483, 1030, 2147, 1026, 1234, 2373, 721, 1658, 1058, 1874, 1384, 992, 2528, 1838, 1170, 399, 1635, 1130, 2572, 1672, 2342, 2138, 2188, 781, 2016, 1539, 2324, 1136, 1101, 1650, 2115, 2166, 409, 1268, 2109, 1182, 1256, 758, 1506, 1264, 631, 1625, 1222, 2144, 1377, 877, 515, 2226, 2609, 1603, 1871, 1419, 1957, 2090, 1940, 2539, 1511, 731, 1321, 403, 2046, 832, 1389, 2012, 507, 614, 1128, 1178, 1335, 2050, 2485, 1225, 1493, 654, 1739, 712, 1116, 1971, 2089, 1993, 2096, 473, 1376, 2362, 814, 1394, 1306, 1921, 1886, 751, 2505, 590, 1578, 2077, 1179, 553, 1641, 2503, 2072, 2081, 2372, 1918, 1441, 1996, 2580, 993, 676, 685, 2481, 1357, 1472, 2535, 932, 587, 1900, 744, 1035, 960, 1661, 1898, 2008, 439, 786, 1140, 1924, 2346, 2227, 1917, 958, 1271, 2309, 1187, 1490, 1782, 1810, 1500, 1942, 2618, 2334, 2328, 752, 1238, 1091, 1224, 1682, 2428, 1702, 2474, 1189, 2126, 1778, 1805, 1363, 629, 2466, 2513, 580, 1719, 1164, 2039, 1728, 1553, 1251, 2495, 601, 952, 2451, 1612, 790, 1282, 2420, 706, 1466, 1963, 2545, 1239, 1081, 2383, 1807, 733, 833, 2482, 1700, 2464, 745, 2114, 2241, 2006, 737, 2371, 2436, 984, 2112, 2106, 2211, 1392, 1200, 1757, 2258, 1078, 729, 457, 1489, 691, 522, 2455, 2083, 387, 1420, 1906, 2408, 913, 788, 1131, 2265, 2607, 2157, 2251, 904, 2296, 943, 2068, 988, 1403, 2009, 1701, 1525, 2286, 2551, 1520, 2061, 852, 1429, 1298, 891, 1972, 2276, 392, 2507, 480, 1593, 1779, 2268, 2454, 421, 858, 1515, 501, 793, 2169, 1623, 574, 1405, 2590, 1950, 970, 2549, 413, 1995, 1569, 504, 1246, 807, 789, 1788, 792, 555, 1694, 2452, 1649, 521, 1783, 573, 2484, 1082, 481, 757, 451, 2468, 866, 1317, 2606, 2617, 2192, 1475, 2470, 2566, 2587, 379, 2331, 1786, 2523, 2218, 441, 1763, 519, 2600, 1076, 2540, 2529, 1371, 1415, 452, 1533, 1891, 1103, 516, 2244, 645, 623, 1726, 2604, 1260, 1244, 2461, 2530, 552, 1655, 1347, 652, 2259, 1619, 1503, 1003, 2411, 1620, 1771, 817, 2403, 1744, 2398, 1367, 922, 974, 1427, 1589, 2143, 2302, 1155, 419, 1409, 1458, 1202, 2253, 1562, 626, 1484, 2477, 2232, 1777, 2591, 664, 710, 851, 2616, 1804, 1970, 1011, 1064, 2504, 642, 1056, 662, 2303, 1047, 2019, 1312, 1523, 1145, 2015, 1754, 1636, 1980, 510, 709, 2438, 1019, 1984, 1397, 2471, 2532, 1944, 1542, 1425, 2524, 1349, 967, 2611, 1699, 1423, 2214, 702, 1265, 1851, 1860, 1614, 2573, 2222, 1093, 1751, 1336, 1745, 1903, 561, 2440, 2333, 395, 1372, 1587, 1280, 1859, 869, 2310, 1287, 1390, 888, 2040, 494, 1876, 1212, 1978, 438, 621, 1830, 389, 2595, 666, 1289, 850, 1233, 1255, 425, 1463, 1021, 2355, 1762, 905, 532, 2185, 2335, 1684, 1494, 801, 2339, 1513, 955, 1926, 2035, 2365, 2525, 569, 908, 1232, 747, 1609, 2583, 669, 715, 1566, 482, 1322, 520, 1334, 619, 1737, 653, 937, 2354, 2279, 818, 2091, 2364, 696, 1677, 1666, 2561, 651, 2487, 1869, 813, 806, 476, 435, 2585, 1433, 1098, 1258, 386, 1785, 1315, 2402, 1710, 460, 1752, 585, 827, 773, 655, 1836, 1411, 1616, 841, 803, 442, 2366, 2313, 2603, 2168, 415, 1747, 1474, 1643, 1673, 1948, 2086, 799, 1348, 1444, 1188, 1568, 740, 1888, 1309, 1192, 492, 1267, 1730, 1776, 1173, 769, 1220, 551, 1784, 1837, 2509, 2148, 571, 2041, 1040, 1594, 704, 1681, 2027, 897, 999, 2228, 2613, 1369, 811, 2377, 1571, 2124, 1867, 2395, 2155, 1968, 563, 1345, 1848, 2336, 1584, 1828, 1761, 885, 890, 998, 1925, 1007, 1758, 926, 2033, 1454, 938, 1540, 1922, 640, 902, 1338, 2119, 1878, 582, 613, 391, 1741, 417, 639, 2189, 1079, 2542, 656, 665, 2567, 2375, 1945, 1358, 588, 2390, 1536, 2543, 836, 1514, 896, 1313, 671, 430, 2057, 1151, 432, 599, 951, 972, 2011, 1286, 690, 2274, 923, 1045, 772, 2230, 537, 1318, 847, 821, 1203, 1535, 618, 1733, 844, 2171, 1652, 838, 1815, 2581, 812, 2478, 643, 2249, 2458, 1555, 2074, 1177, 976, 1033, 1572, 2004, 2538, 1713, 1160, 393, 2360, 1789, 2217, 1528, 1772, 1927, 928, 2173, 1735, 2389, 1084, 528, 1549, 1531, 2579, 2306, 1537, 1663, 826, 2531, 2494, 1067, 1418, 1324, 1938, 1087, 1060, 1241, 1343, 1249, 1590, 453, 939, 1689, 2445, 557, 1381, 1396, 985, 2235, 825, 2599, 1172, 2219, 2247, 1509, 1595, 566, 800, 1037, 1176, 755, 1512, 1505, 2131, 857, 2024, 591, 1583, 474, 1129, 2174, 1639, 1560, 400, 1055, 1191, 2110, 1685, 2489, 1902, 2269, 2330, 1277, 2447, 497, 1181, 385, 1307, 635, 1445, 1939, 892, 2446, 1664, 559, 2614, 459, 1725, 578, 2512, 1439, 416, 679, 1806, 2248, 490, 2013, 1592, 2576, 1516, 723, 929, 1488, 2229, 1029, 472, 934, 1014, 584, 1320, 1577, 1083, 2517, 508, 1986, 2415, 2281, 1899, 2203, 2598, 1166, 2450, 1678, 1311, 895, 1653, 630, 2095, 1842, 1370, 1607, 2080, 2502, 1483, 1880, 1801, 458, 1708, 1137, 1729, 796, 810, 447, 1802, 1211, 1201, 675, 2149, 963, 2344, 759, 2092, 1163, 2353, 2479, 2457, 1727, 1720, 1774, 1148, 2480, 562, 2297, 1075, 1997, 2379, 2298, 2574, 2135, 2030, 2113, 1954, 491, 2568, 1545, 484, 1053, 1868, 707, 2201, 1072, 1949, 1923, 1502, 1006, 2272, 1994, 450, 2522, 912, 1967, 2325, 2612, 1989, 2264, 1089, 1817, 2416, 1175, 1534, 856, 1596, 2434, 898, 874, 1946, 2266, 1674, 1099, 606, 1261, 1086, 633, 2134, 598, 411, 936, 1012, 1190, 683, 657, 2246, 572, 2275, 434, 2190, 1855, 2104, 1769, 845, 2245, 600, 1138, 1213, 567, 734, 1934, 446, 819, 705, 864, 795, 981, 1132, 489, 689, 1154, 670, 873, 713, 1651, 1624, 990, 2018, 611, 927, 1665, 2206, 2368, 2271, 1235, 859, 2508, 1974, 1346, 2301, 2139, 545, 2180, 1527, 791, 556, 1679, 1895, 2557, 2022, 1586, 1206, 962, 980, 2293, 1125, 2376, 2240, 1765, 2291, 1262, 1038, 2055, 2569, 2421, 787, 1417, 1285, 1731, 2120, 1800, 620, 846, 2129, 2380, 1464, 1598, 1404, 1605, 2023, 1424, 2053, 1061, 1714, 1872, 1852, 1302, 496, 1709, 1057, 2578, 1696, 1844, 1767, 1546, 687, 1530, 782, 831, 1470, 2001, 1305, 2136, 2087, 1654, 2305, 2031, 1118, 2345, 1410, 948, 2130, 2020, 1451, 764, 659, 410, 924, 440, 2181, 2121, 842, 2295, 1573, 1705, 1576, 2560, 2400, 1391, 2220, 816, 2010, 945, 1478, 2564, 809, 699, 2424, 1499, 1929, 564, 1310, 1618, 2221, 1330, 1755, 954, 1387, 933, 1524, 455, 2153, 2111, 1162, 1374, 2550, 843, 2318, 1266, 804, 1947, 2183, 1066, 2556, 1208, 2199, 964, 1543, 2067, 720, 899, 1167, 944, 743, 2060, 2497, 2575, 1218, 881, 961, 1217, 1226, 1965, 1341, 2123, 2404, 2234, 1491, 901, 2051, 1798, 1977, 397, 2197, 2417, 526, 1416, 2419, 1141, 2320, 900, 1002, 1257, 2338, 2337, 1237, 2184, 1139, 2207, 2361, 1628, 1760, 761, 778, 2347, 2160, 853, 597, 527, 1436, 1143, 1759, 1669, 693, 1916, 1368, 462, 1080, 2100, 1161, 641, 1504, 1247, 820, 498, 1109, 634, 2164, 840, 2105, 1399, 1955, 2594, 2116, 404, 479, 2158, 1716, 1144, 2161, 2186, 776, 593, 2605, 1393, 1378, 1913, 2536, 550, 1883, 2237, 1554, 2431, 1959, 2469, 2418, 1820, 1824, 1581, 774, 2172, 1314, 488, 880, 1858, 1450, 1775, 2079, 549, 2224, 1437, 2520, 2278, 2349, 1398, 2094, 2299, 2343, 1979, 692, 805, 2473, 1952, 607, 1240, 1608, 2205, 1273, 2142, 1407, 1933, 2547, 514, 2141, 953, 1823, 2374, 1975, 746, 2047, 466, 2493, 1031, 1150, 1707, 1561, 570, 2526, 2304, 1231, 919, 1638, 594, 1230, 1676, 1764, 1936, 523, 875, 1204, 957, 1983, 1958, 2463, 1288, 2439, 1865, 538, 2026, 1243, 1526, 1567, 535, 1319, 1360, 978, 1469, 1508, 1059, 991, 1853, 849, 987, 725, 2425, 1648, 971, 2099, 2191, 1773, 2412, 1297, 2175, 1253, 1856, 2125, 2156, 1250, 2193, 2003, 448, 1326, 1013, 1365, 870, 979, 1005, 1413, 1242, 1529, 2553, 1106, 1544, 1379, 973, 544, 1435, 732, 1465, 443, 1912, 478, 718, 2544, 382, 1519, 1448, 916, 431, 1928, 2069, 1165, 1364, 1111, 703, 1355, 2496, 1548, 1449, 2007, 1538, 1604, 753, 471, 636, 568, 834, 2456, 854, 2351, 1642, 1284, 1259, 1070, 1052, 2370, 1375, 719, 1930, 1610, 767, 914, 2282, 2367, 1847, 609, 1843, 935, 1951, 1331, 2307, 1272, 674, 525, 1937, 1422, 1281, 2216, 763, 785, 1647, 1104, 1889, 1492, 407, 660, 1919, 2516, 2386, 775, 701, 509, 603, 534, 2273, 470, 1308, 2300, 1862, 2589, 406, 1662, 2209, 1446, 950, 1738, 1770, 2388, 1481, 2025, 1096, 1447, 468, 1634, 2054, 824, 1550, 2212, 736, 493, 2486, 2239, 1799, 1105, 1107, 1887, 1153, 565, 2554, 1113, 1020, 872, 1832, 2518, 2277, 1077, 1135, 686, 1054, 2442, 2243, 610, 2597, 1541, 830, 1100, 2475, 2321, 2385, 627, 412, 1149, 2044, 1074, 2413, 1457, 2140, 2317, 381, 1574, 2213, 1351, 1585, 770, 1008, 1691, 427, 1630, 2038, 1518, 1850, 808, 1046, 2028, 408, 2441, 997, 1579, 1352, 1816, 1156, 1065, 1601, 560, 1721, 1468, 1069, 2150, 942, 1361, 2021, 1835, 1724 ], \[ 303, 179, 240, 57, 199, 266, 204, 93, 114, 223, 83, 70, 343, 78, 126, 71, 124, 247, 35, 237, 168, 173, 94, 16, 219, 31, 135, 46, 255, 49, 222, 189, 231, 150, 307, 137, 175, 207, 234, 304, 319, 118, 224, 263, 211, 174, 280, 64, 91, 272, 208, 13, 10, 121, 183, 95, 321, 123, 156, 28, 239, 76, 160, 325, 205, 74, 214, 345, 62, 216, 342, 60, 357, 14, 172, 233, 112, 248, 24, 38, 151, 288, 45, 358, 164, 34, 273, 142, 85, 7, 213, 65, 145, 188, 195, 155, 54, 96, 264, 99, 299, 52, 82, 186, 100, 2, 180, 72, 143, 191, 103, 187, 274, 271, 351, 162, 296, 21, 159, 89, 134, 184, 58, 17, 127, 147, 348, 254, 268, 261, 19, 182, 167, 109, 141, 98, 331, 212, 276, 365, 232, 111, 244, 149, 228, 84, 361, 210, 88, 369, 355, 293, 178, 344, 104, 217, 37, 6, 140, 229, 36, 163, 297, 326, 4, 295, 310, 8, 287, 292, 378, 56, 170, 221, 129, 125, 11, 196, 75, 330, 327, 336, 181, 130, 257, 47, 68, 192, 262, 26, 285, 279, 153, 157, 106, 154, 41, 97, 269, 190, 92, 249, 177, 146, 201, 227, 148, 203, 158, 368, 51, 152, 30, 252, 230, 73, 260, 341, 301, 250, 338, 359, 374, 275, 366, 50, 225, 42, 305, 165, 245, 332, 69, 79, 102, 197, 23, 12, 132, 80, 86, 312, 314, 198, 243, 377, 242, 32, 335, 322, 44, 33, 258, 215, 29, 259, 300, 226, 117, 59, 122, 66, 352, 218, 209, 324, 313, 350, 346, 161, 18, 43, 105, 238, 253, 372, 120, 39, 317, 136, 27, 235, 290, 328, 298, 373, 48, 144, 318, 277, 347, 138, 22, 356, 101, 284, 53, 185, 176, 376, 241, 353, 371, 370, 63, 323, 131, 360, 194, 339, 306, 364, 265, 67, 236, 311, 20, 281, 334, 55, 128, 61, 119, 267, 115, 283, 1, 340, 256, 139, 81, 289, 15, 302, 40, 220, 363, 108, 206, 329, 87, 278, 294, 308, 354, 5, 333, 166, 291, 309, 362, 251, 315, 246, 270, 282, 113, 337, 367, 193, 349, 169, 90, 9, 316, 133, 375, 3, 25, 171, 320, 286, 107, 116, 200, 110, 77, 202, 2347, 1525, 1000, 1464, 1505, 738, 2608, 1142, 2046, 653, 1042, 1557, 964, 763, 1737, 565, 715, 2111, 1925, 1865, 2005, 1548, 1924, 596, 1579, 883, 748, 2137, 1523, 2580, 1022, 1404, 1649, 1822, 2572, 2178, 910, 1052, 1781, 648, 1119, 758, 557, 584, 1857, 1157, 435, 1552, 1620, 1677, 2060, 1292, 524, 836, 1727, 1174, 2380, 1079, 992, 1880, 1817, 2534, 1021, 1245, 1657, 2496, 1874, 2277, 1824, 1714, 2322, 548, 414, 1622, 2278, 2225, 1302, 2488, 2173, 1923, 1254, 2396, 631, 507, 1581, 2387, 1554, 2320, 976, 380, 476, 1643, 2354, 714, 2368, 1992, 1379, 880, 1660, 1213, 1321, 2068, 2132, 1544, 1206, 383, 1559, 1058, 2166, 2099, 2062, 1666, 2577, 1320, 2209, 1697, 784, 462, 2318, 2301, 2227, 640, 1023, 1036, 1134, 747, 828, 799, 2252, 1851, 2480, 2089, 939, 2294, 1877, 1839, 1772, 2463, 1363, 2138, 1594, 1444, 607, 1343, 2014, 1887, 1993, 2452, 2280, 744, 2180, 1626, 666, 2600, 1433, 2419, 1593, 1374, 945, 606, 1775, 951, 527, 2592, 1633, 750, 1002, 2364, 961, 1166, 1516, 1659, 1950, 1170, 725, 1625, 454, 2032, 2349, 1490, 1445, 1394, 1861, 1460, 1511, 1088, 2503, 1384, 806, 1527, 457, 1026, 444, 502, 432, 1163, 2124, 1050, 616, 1392, 547, 549, 413, 954, 2226, 1357, 990, 455, 733, 1086, 1043, 1310, 2142, 1319, 838, 417, 1108, 1640, 644, 1103, 2447, 975, 1972, 573, 2082, 691, 2542, 2276, 2310, 2273, 408, 1411, 1573, 570, 1898, 873, 1687, 966, 2457, 1812, 1652, 1341, 2196, 1309, 1515, 2441, 1928, 775, 2491, 1141, 679, 984, 1508, 2058, 1294, 1458, 1335, 613, 1592, 2023, 999, 1212, 751, 1767, 1939, 411, 2107, 907, 2528, 1367, 1966, 2121, 1368, 2236, 1130, 2167, 1442, 2267, 2615, 386, 538, 952, 1068, 2063, 1104, 493, 2204, 1037, 1150, 1271, 1629, 1447, 2519, 1360, 912, 1358, 2367, 1663, 1771, 1028, 1454, 1006, 1914, 2508, 2118, 1779, 1045, 687, 885, 811, 661, 869, 2096, 916, 874, 948, 567, 1569, 1967, 2557, 1113, 1155, 396, 641, 989, 2214, 876, 422, 2302, 1039, 1202, 1316, 1696, 1662, 2189, 1264, 1638, 2230, 1035, 1624, 2259, 1160, 2136, 385, 672, 851, 1754, 2009, 1570, 552, 1140, 1409, 2125, 2481, 1090, 1755, 2331, 1351, 2440, 426, 1235, 491, 1596, 1495, 427, 464, 2414, 2224, 382, 2536, 1328, 1046, 904, 680, 597, 1143, 1899, 2459, 2510, 1650, 1957, 2432, 654, 700, 1562, 1667, 2513, 511, 875, 2538, 1076, 2313, 1821, 1986, 850, 1526, 465, 2594, 946, 2260, 2363, 2222, 1257, 1683, 2172, 1323, 2357, 2021, 1571, 2289, 436, 2287, 1707, 2024, 1449, 1512, 2511, 1813, 2171, 2574, 825, 2078, 1843, 388, 722, 1534, 2108, 2471, 2231, 519, 2340, 2004, 1863, 1407, 1359, 712, 1882, 2404, 827, 1509, 2153, 656, 949, 877, 726, 1478, 1787, 1955, 1616, 1869, 2249, 1689, 1795, 1743, 2207, 2185, 1378, 554, 655, 844, 486, 1244, 441, 2599, 522, 935, 866, 1897, 1705, 1730, 1810, 2502, 1015, 1388, 379, 2461, 437, 841, 787, 594, 824, 1991, 2164, 2532, 452, 635, 1806, 2232, 1227, 1146, 906, 1883, 423, 2179, 718, 2397, 2413, 1295, 1138, 1334, 1876, 1007, 1375, 1820, 2482, 774, 997, 1681, 1054, 1305, 521, 615, 1690, 1017, 1867, 2250, 2216, 2298, 577, 2395, 2194, 2350, 1919, 619, 1091, 2243, 2080, 745, 717, 1057, 433, 2442, 1840, 542, 893, 1425, 2378, 1647, 2321, 1059, 1325, 1587, 649, 2555, 807, 1975, 1721, 1900, 2150, 2509, 1547, 1275, 855, 1885, 1674, 2512, 2144, 1462, 1679, 2465, 1933, 643, 1481, 1284, 2409, 1183, 2371, 2472, 1805, 905, 600, 1586, 1823, 711, 1312, 1331, 2217, 1809, 731, 1947, 1247, 1441, 1796, 2522, 1438, 1178, 1722, 1600, 2581, 981, 803, 2251, 1003, 1184, 2589, 1263, 2234, 1668, 1135, 1864, 1421, 2305, 699, 1902, 786, 1485, 1352, 2268, 1218, 2416, 704, 515, 1503, 1611, 2131, 979, 2462, 1555, 1750, 2584, 2040, 1398, 459, 1935, 1915, 1246, 1008, 2398, 2285, 1239, 943, 2212, 757, 760, 2493, 1162, 755, 2401, 1419, 443, 2007, 1893, 1695, 2279, 2515, 709, 645, 1701, 2612, 651, 2537, 482, 2437, 1513, 2526, 1917, 2159, 2081, 387, 816, 2088, 2087, 764, 804, 753, 1921, 909, 2391, 2013, 1691, 1615, 2261, 430, 2219, 587, 1071, 1080, 1568, 2567, 1501, 1748, 2383, 497, 707, 449, 973, 483, 1836, 2407, 1735, 625, 470, 1642, 2050, 2275, 2517, 496, 2606, 1175, 1209, 2553, 475, 1580, 769, 1229, 2360, 746, 2030, 1426, 555, 2583, 405, 2598, 972, 1177, 1402, 2436, 1970, 862, 1913, 566, 1040, 986, 1265, 2445, 2053, 781, 2492, 2101, 2435, 2011, 2191, 1486, 392, 2376, 788, 2586, 390, 1811, 1307, 1465, 2146, 1238, 783, 1635, 2490, 1387, 1850, 702, 2139, 1646, 2127, 847, 2334, 2031, 1413, 420, 400, 1489, 2175, 2327, 1553, 1903, 485, 1678, 1749, 694, 2126, 795, 1889, 2205, 1479, 1551, 1694, 1608, 2288, 1938, 730, 1222, 1541, 831, 1196, 1422, 843, 397, 1487, 2283, 1228, 932, 1416, 805, 2237, 2308, 2303, 2560, 446, 859, 667, 488, 1123, 2456, 2568, 1414, 1717, 1386, 2616, 1522, 897, 675, 1167, 1976, 1110, 965, 2272, 1602, 1784, 1282, 991, 1595, 1944, 1916, 749, 2469, 632, 2114, 868, 833, 834, 692, 1803, 1094, 1396, 2539, 1835, 1095, 940, 890, 872, 2020, 2365, 1639, 1073, 500, 1429, 2073, 1024, 2054, 1661, 2348, 1601, 1599, 1044, 686, 2618, 2265, 2034, 2295, 1450, 1070, 2105, 2244, 1558, 2306, 1483, 1807, 1578, 1788, 1906, 394, 1107, 1067, 882, 581, 523, 1191, 2177, 421, 1330, 1648, 2197, 461, 1673, 790, 815, 953, 1518, 2500, 1399, 1909, 2319, 681, 1999, 1776, 2535, 1217, 1208, 434, 2344, 2246, 1951, 879, 2523, 553, 928, 2044, 1958, 1636, 2485, 969, 826, 1461, 2607, 1267, 1340, 2151, 1520, 2026, 2202, 2256, 2300, 1491, 796, 2293, 1802, 1542, 2569, 1242, 2529, 2603, 1761, 995, 401, 1949, 2238, 582, 1493, 2336, 1591, 571, 958, 1529, 381, 2317, 1543, 797, 779, 2339, 599, 1329, 1866, 530, 1145, 2193, 1703, 1628, 1062, 1025, 601, 1946, 947, 1353, 1195, 415, 2546, 2582, 1194, 412, 2466, 1654, 1858, 1510, 1699, 2433, 2071, 978, 2585, 1060, 2006, 1133, 2100, 440, 1125, 2315, 1435, 1786, 2067, 406, 1084, 1502, 903, 2103, 1539, 1981, 2253, 743, 580, 1231, 536, 1789, 1232, 579, 814, 765, 605, 1168, 1845, 2130, 1211, 1852, 1148, 1780, 1477, 1207, 1531, 1890, 1364, 514, 2022, 1362, 517, 1715, 1589, 2239, 1101, 677, 2061, 2112, 710, 919, 1760, 2501, 2385, 2174, 1255, 690, 773, 626, 416, 927, 2558, 1799, 1315, 1366, 1770, 1156, 1572, 1243, 967, 2271, 2093, 384, 1713, 1538, 2544, 728, 2458, 1469, 1741, 2559, 1894, 1281, 2123, 614, 469, 2545, 1278, 451, 670, 1221, 2213, 403, 1074, 593, 980, 1436, 1818, 2346, 564, 1401, 2468, 1631, 1979, 2274, 583, 1604, 1216, 886, 2036, 2059, 2008, 962, 1994, 662, 2434, 1115, 516, 971, 922, 1744, 447, 1430, 950, 1989, 2097, 590, 2025, 2017, 2113, 1097, 2476, 561, 2494, 1189, 1237, 1029, 2128, 1032, 2049, 1151, 1290, 2002, 1940, 1393, 1453, 1546, 576, 1768, 1545, 1831, 1259, 970, 1111, 1693, 2578, 902, 856, 1065, 996, 1556, 1618, 2241, 1929, 1537, 618, 1403, 478, 1907, 1126, 588, 761, 391, 1576, 1473, 1268, 817, 1881, 1682, 1488, 1763, 1345, 1251, 1953, 545, 1982, 2018, 2092, 508, 1995, 2561, 2154, 2140, 849, 685, 424, 1597, 2338, 1376, 1346, 1241, 1128, 1390, 1888, 1077, 1688, 1645, 1165, 2208, 1702, 1089, 2460, 2438, 2422, 1990, 652, 2518, 610, 1181, 1169, 2145, 1671, 1588, 2181, 1333, 509, 1391, 558, 2090, 2162, 2091, 2292, 506, 1736, 494, 1056, 1609, 634, 2248, 2525, 823, 2373, 2299, 1637, 1448, 1072, 2470, 1567, 2486, 1607, 1644, 1467, 2521, 845, 2533, 608, 697, 968, 1269, 2215, 1934, 1117, 1651, 1680, 1746, 642, 501, 2540, 1961, 1800, 1832, 1192, 1443, 1494, 791, 2190, 1804, 2377, 592, 2430, 1873, 1630, 1892, 1356, 870, 2235, 2499, 650, 2290, 1354, 800, 1476, 1814, 896, 1598, 2390, 2478, 1279, 956, 467, 1984, 1684, 776, 2309, 2038, 1655, 674, 1373, 1550, 1670, 848, 762, 2429, 2065, 1560, 1794, 1100, 1704, 1833, 2507, 1010, 2109, 550, 917, 2564, 1180, 1122, 2566, 1617, 2596, 1248, 1926, 445, 1049, 2483, 1641, 1327, 395, 1507, 2406, 2307, 1348, 2245, 1081, 2240, 1019, 1829, 2269, 2184, 1672, 1308, 1069, 1747, 1504, 1751, 1434, 2255, 1945, 2156, 2161, 1347, 2477, 1726, 1582, 1173, 1187, 1149, 782, 2075, 2381, 1497, 1612, 1277, 865, 1012, 2455, 2597, 531, 2451, 1742, 1725, 1698, 2399, 1936, 2188, 1716, 1533, 658, 1355, 1230, 1324, 1987, 1147, 881, 2388, 756, 1856, 1996, 490, 1121, 1297, 1565, 863, 604, 1790, 1669, 2332, 2098, 1253, 2165, 499, 1031, 489, 1740, 2358, 1834, 785, 2611, 1011, 480, 1846, 2614, 2421, 2072, 901, 2595, 1797, 1920, 693, 492, 1825, 1849, 915, 2297, 2326, 2281, 1930, 2355, 2374, 1055, 1879, 1262, 2543, 563, 551, 2296, 1905, 1423, 466, 2443, 458, 1420, 2192, 2152, 2228, 2605, 529, 589, 777, 2345, 898, 518, 930, 559, 2375, 1190, 1200, 1561, 2613, 1841, 1830, 820, 1785, 1798, 1514, 2304, 404, 2120, 1446, 1878, 630, 1139, 889, 2286, 1686, 575, 974, 668, 1783, 1112, 639, 487, 1962, 2579, 520, 1632, 1053, 2233, 2056, 740, 1034, 2047, 1381, 988, 2601, 556, 1753, 2182, 1093, 2474, 1144, 669, 819, 931, 1099, 569, 1186, 1752, 832, 2027, 1188, 2393, 1871, 2563, 1937, 2000, 665, 474, 1718, 720, 1314, 1549, 1623, 2550, 629, 944, 578, 410, 2410, 450, 1385, 2258, 2541, 1901, 684, 526, 1350, 708, 1517, 802, 683, 1927, 1968, 2551, 899, 2335, 2195, 2384, 1521, 1918, 1205, 829, 1298, 1153, 767, 612, 955, 888, 2085, 1777, 1287, 1033, 1731, 835, 921, 1665, 1584, 2516, 2052, 1038, 1106, 1656, 1018, 468, 937, 1819, 987, 1474, 1349, 2392, 1301, 1273, 2530, 428, 1506, 2531, 1439, 2370, 2083, 2342, 1653, 2069, 1912, 1198, 2366, 2198, 1389, 409, 1859, 1528, 1472, 657, 2356, 2527, 2576, 1910, 1826, 2200, 1075, 1658, 2147, 1215, 1365, 887, 2199, 1016, 620, 1214, 860, 393, 1791, 2487, 539, 2450, 812, 660, 2134, 1564, 1886, 1540, 2571, 1801, 1137, 2449, 960, 2379, 918, 1922, 2394, 2039, 925, 1605, 2247, 1577, 2119, 908, 1774, 703, 431, 1815, 2369, 857, 1870, 528, 736, 1530, 1339, 2524, 1083, 1773, 1182, 460, 977, 2420, 998, 663, 878, 821, 1484, 2037, 471, 1172, 1440, 1728, 2051, 456, 1286, 2086, 2497, 938, 2604, 1971, 1575, 1204, 864, 1272, 1203, 505, 1723, 1837, 1361, 1634, 1344, 2066, 1519, 2403, 1410, 2035, 1585, 759, 2116, 1304, 1745, 1270, 698, 1197, 1132, 2495, 1969, 1603, 1498, 1583, 1868, 2562, 754, 2311, 1240, 929, 794, 1408, 2479, 1047, 498, 734, 510, 1311, 1291, 2467, 1988, 1283, 884, 628, 627, 1102, 1978, 429, 2362, 1159, 2012, 2454, 2041, 1210, 572, 591, 1758, 1932, 448, 1862, 2257, 2076, 484, 1500, 1700, 512, 923, 2160, 402, 1382, 1711, 1193, 1004, 1152, 2323, 2095, 2514, 1226, 544, 647, 1225, 1960, 1782, 2575, 1288, 840, 2028, 1590, 1792, 1732, 1096, 2163, 673, 689, 1371, 2402, 2186, 1405, 2135, 813, 2337, 934, 1001, 1980, 1563, 741, 2110, 1872, 2341, 983, 713, 1466, 1931, 1492, 623, 924, 1293, 1027, 1480, 636, 1685, 1280, 1532, 1250, 2411, 1838, 2591, 2314, 846, 2408, 2169, 495, 798, 418, 2077, 723, 1431, 1380, 2048, 2218, 1318, 407, 1296, 1676, 2149, 1116, 2084, 2043, 2361, 1179, 1129, 2141, 871, 716, 2554, 2117, 678, 1998, 1896, 2593, 1875, 1260, 914, 1468, 473, 920, 598, 854, 705, 911, 1372, 2329, 1759, 472, 2187, 701, 1606, 696, 2552, 2484, 2333, 1092, 1276, 2417, 546, 810, 963, 2168, 2372, 439, 1764, 2439, 729, 2284, 1009, 2148, 1720, 2170, 1456, 1114, 2489, 1973, 1738, 1574, 2520, 957, 1289, 595, 2291, 752, 1619, 1997, 2155, 2428, 1943, 1535, 2609, 1952, 1847, 1710, 671, 659, 1942, 419, 1061, 2312, 541, 993, 611, 1963, 837, 1739, 2359, 1793, 2418, 646, 2033, 1778, 1098, 585, 2206, 2505, 1459, 2029, 2064, 858, 2220, 2263, 2316, 985, 637, 2382, 2610, 1432, 809, 2453, 2330, 2328, 2475, 638, 2423, 481, 2016, 2415, 2157, 1326, 1664, 1220, 2010, 1610, 695, 2587, 1300, 2143, 1337, 2351, 1457, 1475, 2158, 1171, 1303, 789, 534, 2074, 1985, 1854, 1342, 1266, 719, 533, 1524, 1370, 2548, 2254, 537, 568, 2266, 959, 2547, 1848, 2262, 772, 2223, 621, 2282, 737, 1064, 2405, 1418, 2565, 933, 602, 1765, 1383, 1855, 926, 1412, 2424, 1437, 2549, 1336, 842, 1224, 982, 2464, 525, 1164, 1974, 942, 891, 1860, 1332, 1948, 778, 1258, 742, 2570, 936, 1066, 1965, 1005, 739, 2386, 438, 1085, 1977, 1959, 1236, 1769, 1161, 1118, 1884, 892, 1712, 1199, 2104, 504, 1299, 1621, 503, 1964, 1471, 801, 867, 1828, 900, 1954, 1463, 853, 1127, 1105, 2203, 1941, 1078, 2473, 732, 780, 633, 861, 2446, 1706, 2506, 2210, 2324, 1317, 994, 586, 617, 1041, 839, 2221, 682, 1338, 1201, 1827, 1322, 894, 1377, 1395, 724, 1451, 1692, 1983, 1131, 2590, 1452, 1427, 535, 721, 1762, 1734, 1274, 1120, 1733, 2556, 560, 792, 479, 1499, 540, 1185, 2201, 513, 2102, 895, 818, 609, 2176, 2122, 1234, 2389, 1911, 2183, 2270, 1176, 2133, 398, 389, 2426, 766, 1415, 1729, 1842, 1369, 2242, 676, 543, 1496, 2504, 2617, 624, 1816, 442, 1613, 1051, 941, 913, 1956, 399, 1261, 852, 822, 1417, 1470, 1063, 2343, 622, 2353, 1675, 2325, 1048, 768, 2129, 425, 1014, 2588, 463, 1719, 2019, 1136, 1158, 1853, 2015, 1708, 1219, 2001, 2106, 2045, 1249, 1223, 532, 2094, 1397, 2057, 1895, 2444, 771, 477, 1808, 664, 2425, 1082, 1627, 2573, 1233, 1566, 1536, 1256, 2264, 453, 735, 2412, 1756, 2042, 1844, 1124, 603, 1455, 1709, 1087, 1891, 1313, 688, 574, 1482, 1285, 2229, 1306, 727, 706, 2055, 1020, 2003, 1030, 1013, 830, 1109, 2602, 1252, 2427, 562, 1757, 808, 2211, 1614, 2079, 2070, 2400, 2498, 2115, 770, 2448, 1766, 1908, 2431, 1406, 1904, 1724, 1400, 793, 1428, 1424, 2352, 1154 ]>; size:= 78382080; name:= "12_1.U4(3).2_2'"; compfactor:= < 10, 3, 3 >; M:= 12; A:= 2;