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