/* L3(8).2 as permutations of a set of cardinality 4672. */ G:=PermutationGroup<4672| (1, 2)(3, 5)(4, 7)(8, 11)(9, 12)(10, 14)(13, 18)(15, 20)(16, 21)(17, 23)(19, 26)(22, 30)(24, 32)(25, 33)(27, 36)(28, 37)(29, 39)(31, 42)(34, 35)(38, 49)(40, 51)(41, 52)(43, 55)(44, 56)(45, 58)(46, 60)(47, 61)(48, 63)(50, 66)(53, 54)(57, 73)(59, 75)(62, 78)(64, 80)(65, 81)(67, 84)(68, 85)(69, 87)(70, 89)(71, 90)(72, 92)(76, 97)(77, 99)(79, 102)(82, 83)(86, 109)(88, 111)(91, 114)(93, 116)(94, 117)(95, 118)(96, 119)(100, 123)(101, 124)(103, 127)(104, 128)(105, 130)(106, 132)(107, 133)(108, 135)(110, 138)(112, 141)(113, 143)(115, 146)(120, 151)(121, 152)(122, 153)(125, 126)(129, 160)(131, 162)(134, 165)(136, 167)(137, 168)(139, 171)(140, 172)(142, 175)(144, 177)(145, 178)(147, 181)(148, 182)(149, 184)(150, 186)(154, 190)(155, 191)(156, 193)(157, 195)(158, 196)(159, 198)(161, 201)(164, 205)(166, 208)(169, 170)(173, 215)(174, 216)(176, 219)(179, 180)(183, 226)(185, 228)(187, 230)(188, 231)(189, 232)(192, 236)(194, 238)(197, 241)(199, 243)(200, 244)(202, 247)(203, 248)(204, 250)(206, 252)(207, 253)(209, 256)(210, 257)(211, 259)(212, 261)(213, 262)(214, 264)(217, 268)(218, 269)(220, 272)(221, 273)(222, 275)(223, 277)(224, 278)(225, 280)(227, 283)(229, 286)(233, 290)(234, 291)(235, 293)(237, 296)(239, 299)(240, 301)(242, 304)(245, 246)(249, 311)(251, 313)(254, 255)(258, 320)(260, 322)(263, 325)(265, 327)(266, 328)(267, 329)(270, 271)(274, 336)(276, 338)(279, 341)(281, 343)(282, 344)(284, 347)(285, 348)(287, 349)(288, 350)(289, 352)(292, 356)(294, 358)(295, 359)(297, 362)(298, 363)(300, 366)(302, 368)(303, 369)(305, 372)(306, 373)(307, 375)(308, 377)(309, 378)(310, 380)(312, 383)(314, 386)(315, 387)(316, 389)(317, 391)(318, 392)(319, 394)(321, 397)(324, 401)(326, 404)(330, 408)(331, 409)(332, 411)(333, 413)(334, 414)(335, 416)(337, 419)(339, 422)(340, 424)(342, 427)(345, 346)(351, 436)(353, 438)(354, 439)(355, 441)(357, 444)(360, 361)(364, 451)(365, 452)(367, 455)(370, 371)(374, 461)(376, 463)(379, 466)(381, 468)(382, 469)(384, 385)(388, 473)(390, 475)(393, 478)(395, 403)(396, 480)(398, 483)(399, 484)(400, 486)(402, 487)(405, 490)(406, 491)(407, 493)(410, 497)(415, 501)(417, 503)(418, 504)(420, 507)(421, 508)(423, 511)(425, 513)(426, 514)(428, 517)(429, 518)(431, 521)(432, 522)(433, 524)(434, 526)(435, 528)(437, 531)(440, 534)(442, 536)(443, 537)(445, 540)(446, 541)(447, 543)(448, 545)(449, 546)(450, 548)(453, 552)(454, 553)(456, 556)(457, 557)(458, 558)(459, 559)(460, 561)(462, 564)(464, 567)(465, 569)(467, 572)(470, 576)(471, 577)(472, 579)(474, 582)(476, 585)(477, 587)(479, 589)(481, 482)(485, 595)(488, 489)(492, 601)(494, 603)(495, 604)(496, 606)(498, 609)(499, 611)(500, 613)(502, 615)(505, 506)(509, 622)(510, 623)(512, 626)(515, 516)(519, 633)(520, 634)(523, 637)(525, 639)(527, 641)(529, 643)(530, 644)(532, 647)(533, 648)(535, 651)(538, 539)(542, 658)(544, 660)(547, 663)(549, 665)(550, 666)(551, 667)(554, 555)(560, 676)(562, 678)(563, 679)(565, 682)(566, 683)(568, 686)(570, 688)(571, 689)(573, 692)(574, 693)(575, 695)(578, 699)(580, 701)(581, 702)(583, 705)(584, 706)(586, 709)(588, 711)(590, 712)(591, 713)(592, 715)(593, 716)(594, 718)(597, 719)(598, 720)(599, 721)(600, 723)(602, 726)(605, 730)(607, 732)(608, 733)(610, 736)(612, 738)(614, 740)(616, 743)(617, 744)(618, 745)(619, 747)(620, 748)(621, 750)(624, 754)(625, 755)(627, 758)(628, 759)(629, 761)(630, 763)(631, 764)(632, 766)(635, 770)(636, 772)(638, 775)(640, 778)(642, 781)(645, 646)(649, 788)(650, 789)(652, 790)(653, 791)(654, 793)(655, 795)(656, 796)(657, 798)(659, 801)(661, 804)(662, 806)(664, 809)(668, 812)(669, 813)(670, 815)(671, 817)(672, 818)(673, 820)(674, 822)(675, 824)(677, 827)(680, 681)(684, 833)(685, 834)(687, 837)(690, 691)(694, 844)(696, 846)(697, 847)(698, 849)(700, 852)(703, 704)(707, 859)(708, 860)(710, 863)(714, 867)(717, 870)(722, 875)(724, 877)(725, 878)(727, 881)(728, 882)(729, 884)(731, 887)(734, 735)(737, 893)(739, 896)(741, 742)(746, 901)(749, 904)(751, 906)(752, 907)(753, 908)(756, 757)(760, 915)(762, 917)(765, 920)(767, 922)(768, 923)(769, 924)(771, 927)(773, 929)(774, 930)(776, 933)(777, 934)(779, 937)(780, 938)(782, 941)(783, 942)(784, 944)(785, 946)(786, 947)(787, 948)(792, 954)(794, 956)(797, 959)(799, 961)(800, 962)(802, 965)(803, 966)(805, 968)(807, 970)(810, 973)(811, 974)(814, 978)(816, 980)(819, 983)(821, 985)(823, 987)(825, 989)(826, 990)(828, 993)(829, 994)(830, 996)(832, 998)(835, 1002)(836, 1003)(838, 1006)(839, 1007)(840, 1009)(841, 1011)(842, 1012)(843, 1014)(845, 1017)(848, 1021)(850, 1023)(851, 1024)(853, 1027)(854, 1028)(855, 1030)(856, 1032)(857, 1033)(858, 1035)(861, 1039)(862, 1040)(864, 1043)(865, 1044)(866, 1046)(868, 1049)(869, 1051)(871, 1054)(872, 1056)(873, 1058)(874, 1060)(876, 1063)(879, 880)(883, 1070)(885, 1072)(886, 1073)(888, 1076)(889, 1077)(890, 1079)(891, 1080)(892, 1081)(894, 1082)(895, 1083)(897, 1086)(898, 1088)(899, 1089)(900, 1091)(902, 1093)(903, 1095)(905, 1097)(909, 1101)(910, 1102)(911, 1104)(912, 1106)(913, 1107)(914, 1109)(916, 1112)(918, 1114)(919, 1116)(921, 1118)(925, 1122)(926, 1123)(928, 1126)(931, 932)(935, 1133)(936, 1134)(939, 940)(943, 1141)(945, 1143)(949, 1146)(950, 1147)(951, 1149)(952, 1151)(953, 1153)(955, 1156)(957, 1159)(958, 1161)(960, 1164)(963, 964)(967, 1117)(969, 1172)(971, 972)(975, 1178)(976, 1179)(977, 1181)(979, 1184)(981, 1187)(982, 1189)(984, 1192)(986, 1195)(988, 1198)(991, 992)(995, 1205)(997, 1096)(999, 1208)(1000, 1209)(1001, 1210)(1004, 1005)(1008, 1217)(1010, 1219)(1013, 1222)(1015, 1224)(1016, 1225)(1018, 1228)(1019, 1229)(1020, 1231)(1022, 1234)(1025, 1026)(1029, 1241)(1031, 1243)(1034, 1245)(1036, 1247)(1037, 1248)(1038, 1249)(1041, 1042)(1045, 1256)(1047, 1258)(1048, 1259)(1050, 1262)(1052, 1264)(1053, 1265)(1055, 1268)(1057, 1270)(1059, 1272)(1061, 1274)(1062, 1275)(1064, 1278)(1065, 1279)(1066, 1281)(1067, 1283)(1068, 1284)(1069, 1286)(1071, 1289)(1074, 1075)(1078, 1296)(1084, 1085)(1087, 1303)(1090, 1306)(1092, 1308)(1094, 1311)(1098, 1315)(1099, 1316)(1103, 1321)(1105, 1323)(1108, 1326)(1110, 1328)(1111, 1329)(1113, 1332)(1115, 1335)(1119, 1337)(1120, 1338)(1121, 1340)(1124, 1343)(1125, 1344)(1127, 1347)(1128, 1348)(1129, 1350)(1130, 1352)(1131, 1353)(1132, 1355)(1135, 1358)(1136, 1359)(1137, 1361)(1138, 1363)(1139, 1364)(1140, 1366)(1142, 1369)(1144, 1372)(1145, 1374)(1148, 1378)(1150, 1380)(1152, 1382)(1154, 1384)(1157, 1387)(1158, 1388)(1160, 1391)(1162, 1393)(1163, 1394)(1165, 1397)(1166, 1398)(1167, 1400)(1168, 1402)(1169, 1403)(1170, 1405)(1171, 1406)(1173, 1407)(1174, 1408)(1175, 1410)(1176, 1411)(1177, 1413)(1180, 1416)(1182, 1418)(1183, 1419)(1185, 1422)(1186, 1423)(1188, 1426)(1190, 1428)(1191, 1429)(1193, 1432)(1194, 1433)(1196, 1436)(1197, 1437)(1199, 1440)(1200, 1441)(1201, 1443)(1202, 1444)(1203, 1445)(1204, 1447)(1206, 1450)(1207, 1452)(1211, 1456)(1212, 1457)(1213, 1459)(1214, 1461)(1215, 1462)(1216, 1464)(1218, 1467)(1220, 1470)(1221, 1472)(1223, 1474)(1226, 1227)(1230, 1480)(1232, 1481)(1233, 1482)(1235, 1485)(1236, 1486)(1237, 1488)(1238, 1489)(1239, 1490)(1240, 1492)(1242, 1495)(1244, 1498)(1246, 1501)(1250, 1504)(1251, 1379)(1252, 1506)(1253, 1508)(1254, 1509)(1255, 1511)(1257, 1514)(1260, 1518)(1261, 1519)(1263, 1521)(1266, 1267)(1269, 1527)(1271, 1529)(1273, 1532)(1276, 1277)(1280, 1539)(1282, 1541)(1285, 1544)(1287, 1546)(1288, 1547)(1290, 1548)(1291, 1549)(1292, 1551)(1293, 1553)(1294, 1554)(1295, 1377)(1297, 1558)(1298, 1560)(1299, 1562)(1300, 1564)(1301, 1566)(1302, 1568)(1304, 1570)(1305, 1572)(1307, 1575)(1309, 1578)(1310, 1579)(1312, 1580)(1313, 1314)(1317, 1585)(1318, 1586)(1320, 1588)(1322, 1591)(1324, 1594)(1325, 1596)(1327, 1599)(1330, 1331)(1333, 1604)(1334, 1605)(1336, 1608)(1339, 1612)(1341, 1614)(1342, 1538)(1345, 1346)(1349, 1520)(1351, 1621)(1354, 1624)(1356, 1626)(1357, 1627)(1360, 1630)(1362, 1632)(1365, 1635)(1367, 1637)(1368, 1638)(1370, 1641)(1371, 1642)(1373, 1645)(1375, 1414)(1376, 1647)(1381, 1653)(1383, 1656)(1385, 1386)(1389, 1662)(1390, 1607)(1392, 1665)(1395, 1396)(1399, 1672)(1401, 1674)(1404, 1677)(1409, 1682)(1412, 1685)(1415, 1687)(1417, 1690)(1420, 1421)(1424, 1697)(1425, 1698)(1427, 1701)(1430, 1431)(1434, 1435)(1438, 1439)(1442, 1712)(1446, 1716)(1448, 1671)(1449, 1718)(1451, 1582)(1453, 1722)(1455, 1724)(1458, 1728)(1460, 1730)(1463, 1733)(1465, 1735)(1466, 1736)(1468, 1739)(1469, 1740)(1471, 1648)(1473, 1744)(1475, 1746)(1476, 1747)(1477, 1749)(1478, 1503)(1479, 1751)(1483, 1484)(1487, 1759)(1491, 1763)(1493, 1765)(1494, 1766)(1496, 1769)(1497, 1770)(1500, 1773)(1502, 1776)(1505, 1779)(1507, 1781)(1510, 1784)(1512, 1786)(1513, 1787)(1515, 1789)(1516, 1790)(1517, 1791)(1522, 1797)(1523, 1798)(1524, 1800)(1525, 1802)(1526, 1552)(1528, 1805)(1530, 1806)(1531, 1807)(1533, 1810)(1534, 1811)(1535, 1813)(1536, 1815)(1537, 1816)(1540, 1819)(1542, 1822)(1543, 1824)(1545, 1827)(1550, 1833)(1555, 1837)(1556, 1838)(1557, 1839)(1559, 1686)(1561, 1842)(1563, 1844)(1565, 1846)(1567, 1848)(1569, 1850)(1571, 1853)(1573, 1855)(1574, 1856)(1576, 1859)(1577, 1860)(1581, 1721)(1583, 1865)(1584, 1867)(1587, 1871)(1589, 1873)(1590, 1874)(1592, 1877)(1593, 1878)(1595, 1881)(1597, 1883)(1598, 1884)(1600, 1887)(1601, 1888)(1602, 1890)(1603, 1892)(1606, 1896)(1609, 1899)(1610, 1900)(1611, 1902)(1613, 1904)(1615, 1907)(1616, 1623)(1617, 1909)(1618, 1911)(1619, 1912)(1620, 1914)(1622, 1917)(1625, 1921)(1628, 1925)(1629, 1927)(1631, 1930)(1633, 1933)(1634, 1756)(1639, 1640)(1643, 1943)(1644, 1944)(1646, 1946)(1649, 1949)(1650, 1950)(1651, 1951)(1652, 1952)(1654, 1955)(1655, 1956)(1657, 1959)(1658, 1960)(1659, 1962)(1660, 1963)(1661, 1965)(1663, 1967)(1664, 1968)(1666, 1971)(1667, 1972)(1668, 1974)(1669, 1976)(1670, 1977)(1673, 1980)(1675, 1983)(1676, 1985)(1678, 1988)(1679, 1990)(1680, 1992)(1683, 1995)(1684, 1997)(1688, 2002)(1689, 2003)(1691, 2006)(1692, 2007)(1693, 2009)(1694, 2011)(1695, 2012)(1696, 2013)(1700, 2017)(1702, 2020)(1703, 2021)(1704, 2023)(1705, 2025)(1706, 2026)(1707, 2028)(1708, 2030)(1709, 2031)(1710, 2033)(1711, 1745)(1713, 2035)(1715, 2037)(1717, 2040)(1719, 1720)(1723, 2045)(1725, 2047)(1726, 2048)(1727, 2050)(1729, 2053)(1731, 2055)(1732, 2057)(1734, 2060)(1737, 1738)(1741, 2066)(1742, 2067)(1743, 2068)(1748, 2074)(1750, 2076)(1752, 2078)(1753, 2079)(1757, 1934)(1758, 2083)(1760, 2086)(1761, 1947)(1762, 2089)(1764, 2092)(1767, 1768)(1771, 2099)(1772, 1864)(1774, 1775)(1777, 2103)(1778, 2104)(1780, 2106)(1782, 2109)(1783, 2111)(1785, 2114)(1788, 2118)(1792, 2122)(1793, 2123)(1794, 2124)(1795, 1796)(1799, 2128)(1801, 2130)(1803, 1804)(1808, 1809)(1812, 2061)(1814, 2139)(1817, 2142)(1818, 1982)(1820, 2145)(1821, 2146)(1823, 2149)(1825, 2151)(1826, 2152)(1828, 2155)(1829, 2156)(1830, 2158)(1831, 2160)(1832, 2162)(1834, 2164)(1835, 2166)(1836, 2168)(1840, 1841)(1843, 2174)(1845, 2177)(1847, 2180)(1849, 2183)(1851, 2186)(1852, 2187)(1854, 2190)(1857, 1858)(1861, 2197)(1862, 2198)(1863, 2199)(1866, 2203)(1868, 2205)(1869, 2206)(1870, 2207)(1872, 2210)(1875, 1876)(1879, 2217)(1880, 2218)(1882, 2221)(1885, 1886)(1889, 2228)(1891, 2229)(1893, 2231)(1894, 2232)(1895, 2233)(1897, 1898)(1903, 2052)(1905, 2239)(1906, 2240)(1908, 2243)(1910, 2245)(1913, 2248)(1915, 2250)(1916, 2251)(1918, 2252)(1919, 2253)(1920, 2254)(1922, 2257)(1923, 2258)(1924, 2260)(1926, 2263)(1928, 2265)(1929, 2266)(1931, 2269)(1932, 2270)(1935, 2273)(1936, 2274)(1937, 2275)(1938, 2276)(1939, 2278)(1940, 2280)(1941, 2281)(1942, 2283)(1945, 2287)(1948, 2119)(1953, 2293)(1957, 1958)(1961, 2297)(1964, 2300)(1966, 2302)(1969, 1970)(1973, 2308)(1975, 2310)(1978, 2313)(1979, 2314)(1981, 2317)(1984, 2320)(1986, 2322)(1987, 2323)(1989, 2326)(1991, 2230)(1993, 2328)(1994, 2329)(1996, 2330)(1998, 2332)(1999, 2333)(2000, 2196)(2001, 2087)(2004, 2005)(2008, 2340)(2010, 2342)(2014, 2345)(2015, 2346)(2016, 2347)(2018, 2019)(2022, 2352)(2024, 2354)(2027, 2356)(2029, 2358)(2032, 2360)(2034, 2362)(2036, 2365)(2038, 2367)(2039, 2368)(2041, 2371)(2042, 2372)(2043, 2373)(2044, 2223)(2046, 2376)(2049, 2380)(2051, 2382)(2054, 2385)(2056, 2386)(2058, 2388)(2059, 2389)(2062, 2392)(2063, 2394)(2064, 2396)(2065, 2397)(2069, 2400)(2070, 2401)(2071, 2403)(2072, 2404)(2073, 2406)(2075, 2408)(2077, 2411)(2080, 2415)(2081, 2220)(2082, 2416)(2085, 2418)(2088, 2421)(2090, 2423)(2091, 2424)(2093, 2427)(2094, 2428)(2095, 2429)(2096, 2431)(2097, 2432)(2098, 2434)(2100, 2436)(2101, 2438)(2102, 2439)(2105, 2442)(2107, 2443)(2108, 2444)(2110, 2447)(2112, 2449)(2113, 2450)(2115, 2453)(2116, 2454)(2117, 2456)(2120, 2459)(2121, 2461)(2125, 2464)(2126, 2465)(2127, 2467)(2129, 2470)(2131, 2225)(2132, 2473)(2133, 2474)(2134, 2476)(2135, 2478)(2136, 2479)(2137, 2481)(2138, 2483)(2140, 2486)(2141, 2487)(2143, 2144)(2147, 2457)(2148, 2493)(2150, 2496)(2153, 2154)(2157, 2503)(2159, 2351)(2161, 2506)(2163, 2508)(2165, 2511)(2167, 2512)(2169, 2514)(2170, 2515)(2171, 2517)(2172, 2519)(2173, 2520)(2175, 2523)(2176, 2524)(2178, 2527)(2179, 2528)(2181, 2531)(2182, 2532)(2184, 2458)(2185, 2535)(2188, 2539)(2189, 2540)(2191, 2543)(2192, 2544)(2193, 2546)(2194, 2548)(2195, 2549)(2200, 2553)(2201, 2554)(2202, 2555)(2204, 2558)(2208, 2561)(2209, 2562)(2211, 2565)(2212, 2566)(2213, 2568)(2214, 2569)(2215, 2570)(2216, 2572)(2219, 2576)(2222, 2579)(2224, 2357)(2226, 2582)(2234, 2590)(2235, 2591)(2236, 2593)(2237, 2331)(2241, 2318)(2242, 2597)(2244, 2600)(2246, 2603)(2247, 2605)(2249, 2608)(2255, 2256)(2259, 2617)(2261, 2619)(2262, 2620)(2264, 2623)(2267, 2268)(2271, 2630)(2272, 2631)(2277, 2634)(2279, 2636)(2282, 2639)(2284, 2641)(2285, 2642)(2286, 2643)(2288, 2289)(2290, 2516)(2291, 2648)(2292, 2649)(2294, 2650)(2295, 2652)(2296, 2653)(2298, 2656)(2299, 2658)(2301, 2661)(2303, 2664)(2305, 2667)(2306, 2668)(2307, 2670)(2309, 2673)(2311, 2675)(2312, 2676)(2315, 2316)(2319, 2682)(2321, 2685)(2324, 2325)(2327, 2586)(2334, 2629)(2335, 2694)(2336, 2696)(2337, 2698)(2338, 2699)(2339, 2701)(2341, 2703)(2343, 2706)(2344, 2430)(2348, 2709)(2349, 2710)(2350, 2505)(2353, 2713)(2355, 2716)(2359, 2720)(2361, 2723)(2363, 2364)(2366, 2726)(2369, 2370)(2374, 2734)(2375, 2735)(2377, 2738)(2378, 2739)(2379, 2469)(2381, 2743)(2383, 2384)(2387, 2747)(2390, 2391)(2393, 2752)(2395, 2754)(2398, 2757)(2399, 2758)(2402, 2762)(2405, 2764)(2407, 2766)(2409, 2767)(2410, 2768)(2412, 2771)(2413, 2772)(2414, 2774)(2417, 2777)(2419, 2420)(2422, 2782)(2425, 2426)(2433, 2791)(2435, 2692)(2437, 2793)(2440, 2796)(2441, 2798)(2445, 2803)(2446, 2804)(2448, 2805)(2451, 2452)(2455, 2812)(2460, 2816)(2462, 2817)(2463, 2818)(2466, 2822)(2471, 2826)(2475, 2829)(2477, 2831)(2480, 2834)(2482, 2836)(2484, 2837)(2485, 2838)(2488, 2841)(2489, 2842)(2490, 2843)(2491, 2844)(2492, 2846)(2494, 2848)(2495, 2711)(2497, 2851)(2498, 2640)(2499, 2853)(2500, 2855)(2501, 2856)(2502, 2858)(2504, 2861)(2507, 2865)(2509, 2510)(2513, 2870)(2518, 2874)(2521, 2522)(2525, 2879)(2526, 2880)(2529, 2530)(2533, 2885)(2534, 2886)(2536, 2714)(2537, 2888)(2538, 2889)(2541, 2542)(2545, 2894)(2547, 2896)(2550, 2899)(2551, 2900)(2552, 2902)(2556, 2906)(2557, 2907)(2559, 2669)(2560, 2910)(2563, 2564)(2567, 2916)(2571, 2919)(2573, 2921)(2574, 2922)(2575, 2923)(2577, 2578)(2580, 2926)(2581, 2927)(2583, 2928)(2584, 2929)(2585, 2930)(2587, 2932)(2588, 2933)(2589, 2935)(2592, 2748)(2594, 2680)(2595, 2940)(2596, 2941)(2598, 2942)(2599, 2943)(2601, 2946)(2602, 2947)(2604, 2854)(2606, 2951)(2607, 2952)(2609, 2955)(2610, 2956)(2611, 2958)(2613, 2960)(2614, 2962)(2615, 2963)(2616, 2965)(2618, 2967)(2621, 2971)(2622, 2972)(2624, 2975)(2625, 2976)(2626, 2978)(2627, 2980)(2628, 2981)(2632, 2985)(2633, 2862)(2635, 2988)(2637, 2991)(2638, 2993)(2644, 2999)(2645, 3000)(2646, 3002)(2647, 3003)(2651, 3006)(2654, 3009)(2655, 3010)(2657, 3011)(2659, 3013)(2660, 3014)(2662, 3017)(2663, 3018)(2665, 3020)(2666, 3021)(2671, 3025)(2672, 3026)(2674, 2789)(2677, 3030)(2678, 3031)(2679, 3033)(2681, 2781)(2683, 3035)(2684, 3036)(2686, 3039)(2687, 3040)(2688, 3042)(2689, 3043)(2690, 3044)(2691, 3029)(2693, 3045)(2695, 3046)(2697, 3048)(2700, 3051)(2702, 3053)(2704, 3056)(2705, 3057)(2707, 3060)(2708, 3062)(2712, 3066)(2715, 3069)(2717, 3071)(2718, 3072)(2719, 3073)(2721, 2968)(2722, 3075)(2724, 3078)(2725, 2770)(2727, 3080)(2728, 3081)(2729, 3083)(2730, 3085)(2731, 3086)(2732, 3088)(2733, 3090)(2736, 2737)(2740, 3097)(2741, 3098)(2742, 2756)(2744, 3101)(2745, 3102)(2746, 3103)(2749, 3105)(2750, 3107)(2751, 3109)(2753, 3112)(2755, 3115)(2759, 3118)(2760, 3119)(2761, 3121)(2763, 3123)(2765, 3126)(2769, 3131)(2773, 3134)(2775, 2925)(2776, 3136)(2778, 3139)(2779, 3140)(2780, 3142)(2784, 3145)(2785, 3147)(2786, 3149)(2787, 3150)(2788, 3104)(2790, 3153)(2792, 3156)(2794, 3159)(2795, 3161)(2797, 3163)(2799, 3165)(2800, 3052)(2801, 3167)(2802, 3169)(2806, 3173)(2807, 3174)(2808, 3176)(2809, 3178)(2810, 3179)(2811, 3095)(2813, 3182)(2814, 3183)(2815, 3184)(2819, 3188)(2820, 3189)(2821, 3191)(2823, 3194)(2824, 2825)(2827, 3196)(2828, 3198)(2830, 3201)(2832, 3204)(2833, 3206)(2835, 3209)(2839, 3214)(2840, 3215)(2845, 3220)(2847, 2887)(2849, 2850)(2852, 3224)(2857, 3228)(2859, 3230)(2860, 3231)(2863, 3234)(2864, 3235)(2866, 3238)(2867, 3240)(2868, 3241)(2869, 3243)(2871, 3246)(2872, 3247)(2873, 3248)(2875, 3250)(2876, 3252)(2877, 3254)(2878, 3255)(2881, 3258)(2882, 3259)(2883, 3261)(2884, 3263)(2890, 3268)(2891, 3096)(2892, 3269)(2893, 3270)(2895, 3273)(2897, 3276)(2898, 3278)(2901, 3281)(2903, 3283)(2904, 3284)(2905, 3089)(2908, 2909)(2911, 3288)(2912, 3289)(2913, 3290)(2914, 3291)(2915, 3128)(2917, 3294)(2918, 3256)(2920, 3297)(2924, 3300)(2934, 3307)(2936, 3309)(2937, 3310)(2938, 3312)(2939, 3314)(2944, 2945)(2948, 3320)(2949, 3321)(2950, 3323)(2953, 2954)(2957, 3330)(2959, 3332)(2961, 3334)(2964, 3336)(2966, 3338)(2969, 3340)(2970, 3342)(2973, 2974)(2977, 3348)(2979, 3349)(2982, 3351)(2983, 3352)(2984, 3353)(2986, 3356)(2987, 3357)(2989, 3360)(2990, 3361)(2992, 3113)(2994, 3364)(2995, 3365)(2996, 3366)(2997, 3367)(2998, 3369)(3001, 3372)(3004, 3375)(3005, 3166)(3007, 3376)(3008, 3377)(3012, 3381)(3015, 3016)(3019, 3386)(3022, 3389)(3023, 3391)(3024, 3286)(3027, 3028)(3032, 3399)(3034, 3401)(3037, 3038)(3041, 3407)(3047, 3410)(3049, 3413)(3050, 3415)(3054, 3055)(3058, 3419)(3059, 3420)(3061, 3422)(3063, 3423)(3064, 3424)(3065, 3425)(3067, 3068)(3070, 3285)(3074, 3416)(3076, 3433)(3077, 3186)(3079, 3435)(3082, 3438)(3084, 3296)(3087, 3441)(3091, 3442)(3092, 3443)(3093, 3444)(3094, 3445)(3099, 3100)(3106, 3452)(3108, 3454)(3110, 3456)(3111, 3457)(3114, 3460)(3116, 3463)(3117, 3464)(3120, 3467)(3122, 3469)(3124, 3242)(3125, 3470)(3127, 3473)(3129, 3475)(3130, 3400)(3132, 3479)(3133, 3480)(3135, 3483)(3137, 3138)(3141, 3488)(3143, 3144)(3146, 3492)(3148, 3494)(3151, 3387)(3152, 3497)(3154, 3498)(3155, 3499)(3157, 3450)(3158, 3502)(3160, 3505)(3162, 3507)(3164, 3510)(3168, 3514)(3170, 3516)(3171, 3319)(3172, 3517)(3175, 3520)(3177, 3522)(3180, 3524)(3181, 3525)(3185, 3529)(3187, 3531)(3190, 3535)(3192, 3537)(3193, 3343)(3195, 3540)(3197, 3541)(3199, 3543)(3200, 3544)(3202, 3547)(3203, 3548)(3205, 3551)(3207, 3509)(3208, 3553)(3210, 3556)(3211, 3557)(3212, 3559)(3213, 3561)(3216, 3564)(3217, 3565)(3218, 3567)(3219, 3568)(3221, 3570)(3222, 3572)(3223, 3573)(3225, 3575)(3226, 3576)(3227, 3578)(3229, 3581)(3232, 3233)(3236, 3237)(3239, 3589)(3244, 3245)(3249, 3595)(3251, 3327)(3253, 3599)(3257, 3602)(3260, 3421)(3262, 3605)(3264, 3461)(3265, 3607)(3266, 3608)(3267, 3610)(3271, 3613)(3272, 3614)(3274, 3394)(3275, 3329)(3277, 3618)(3279, 3528)(3280, 3619)(3282, 3622)(3287, 3626)(3292, 3630)(3293, 3428)(3295, 3633)(3298, 3636)(3299, 3637)(3301, 3639)(3302, 3640)(3303, 3642)(3304, 3643)(3305, 3645)(3306, 3646)(3308, 3649)(3311, 3653)(3313, 3655)(3315, 3656)(3316, 3657)(3317, 3659)(3318, 3660)(3322, 3663)(3324, 3664)(3325, 3665)(3326, 3667)(3328, 3668)(3331, 3672)(3333, 3673)(3335, 3675)(3337, 3677)(3341, 3681)(3344, 3682)(3345, 3684)(3346, 3550)(3347, 3453)(3354, 3690)(3355, 3691)(3358, 3359)(3362, 3697)(3363, 3698)(3368, 3704)(3370, 3706)(3371, 3707)(3373, 3709)(3374, 3685)(3378, 3713)(3379, 3714)(3380, 3678)(3382, 3717)(3383, 3718)(3384, 3719)(3385, 3720)(3388, 3723)(3390, 3726)(3392, 3728)(3393, 3729)(3395, 3731)(3396, 3733)(3397, 3734)(3398, 3735)(3402, 3740)(3403, 3742)(3404, 3743)(3405, 3563)(3406, 3744)(3408, 3746)(3409, 3446)(3411, 3620)(3412, 3749)(3414, 3752)(3417, 3755)(3418, 3757)(3426, 3763)(3427, 3764)(3429, 3766)(3430, 3767)(3431, 3641)(3432, 3769)(3434, 3772)(3436, 3774)(3437, 3776)(3439, 3779)(3440, 3781)(3447, 3787)(3448, 3789)(3449, 3790)(3451, 3792)(3455, 3558)(3458, 3459)(3462, 3799)(3465, 3801)(3466, 3802)(3468, 3805)(3471, 3472)(3474, 3588)(3476, 3811)(3477, 3812)(3478, 3813)(3481, 3816)(3482, 3817)(3484, 3820)(3485, 3821)(3486, 3823)(3487, 3612)(3489, 3580)(3490, 3826)(3491, 3827)(3493, 3830)(3495, 3833)(3496, 3835)(3500, 3501)(3503, 3840)(3504, 3841)(3506, 3843)(3508, 3845)(3511, 3808)(3512, 3846)(3513, 3716)(3515, 3850)(3518, 3852)(3519, 3579)(3521, 3855)(3523, 3856)(3526, 3527)(3530, 3863)(3532, 3865)(3533, 3866)(3534, 3867)(3536, 3870)(3538, 3539)(3542, 3771)(3545, 3546)(3549, 3878)(3552, 3809)(3554, 3555)(3562, 3885)(3566, 3889)(3569, 3786)(3571, 3892)(3574, 3894)(3577, 3896)(3582, 3899)(3583, 3900)(3584, 3902)(3585, 3904)(3586, 3905)(3590, 3909)(3591, 3910)(3593, 3912)(3594, 3914)(3596, 3916)(3597, 3917)(3598, 3919)(3600, 3721)(3601, 3923)(3603, 3925)(3604, 3926)(3606, 3928)(3609, 3930)(3611, 3932)(3615, 3616)(3617, 3794)(3621, 3938)(3623, 3941)(3624, 3942)(3625, 3944)(3627, 3947)(3628, 3948)(3629, 3950)(3631, 3632)(3634, 3635)(3638, 3958)(3644, 3961)(3647, 3964)(3648, 3965)(3650, 3968)(3651, 3895)(3652, 3969)(3654, 3972)(3658, 3975)(3661, 3977)(3662, 3978)(3666, 3901)(3669, 3982)(3670, 3983)(3671, 3984)(3674, 3793)(3676, 3986)(3679, 3715)(3683, 3736)(3686, 3936)(3687, 3990)(3688, 3748)(3689, 3991)(3692, 3994)(3693, 3908)(3695, 3997)(3696, 3924)(3699, 3999)(3700, 4000)(3701, 4002)(3702, 4003)(3703, 4005)(3708, 4011)(3710, 4013)(3711, 3712)(3722, 4020)(3724, 4021)(3725, 4022)(3727, 4025)(3730, 4028)(3732, 4030)(3737, 4034)(3738, 4035)(3739, 4036)(3741, 4037)(3745, 4039)(3747, 3879)(3750, 4042)(3751, 4043)(3753, 4044)(3754, 4045)(3756, 4046)(3758, 4048)(3759, 4049)(3760, 4050)(3761, 4051)(3762, 4052)(3765, 4055)(3768, 4057)(3770, 4059)(3773, 4061)(3775, 4064)(3777, 4066)(3778, 4067)(3780, 4070)(3782, 4072)(3783, 3935)(3784, 4074)(3785, 3891)(3788, 4077)(3791, 3974)(3795, 4080)(3796, 4081)(3797, 4083)(3798, 4085)(3800, 4087)(3803, 4089)(3804, 4090)(3806, 3946)(3807, 4093)(3810, 3906)(3814, 4019)(3815, 4099)(3818, 3819)(3822, 4106)(3824, 3857)(3825, 4108)(3828, 4111)(3829, 4112)(3831, 4115)(3832, 4116)(3834, 4119)(3836, 4121)(3837, 4122)(3838, 3871)(3839, 4124)(3842, 4018)(3844, 4127)(3847, 4130)(3848, 4131)(3849, 4132)(3851, 4135)(3853, 4137)(3854, 4138)(3858, 4142)(3859, 4144)(3860, 4146)(3861, 4147)(3862, 4148)(3864, 4150)(3868, 4153)(3869, 4154)(3872, 4065)(3873, 3949)(3874, 4158)(3875, 4125)(3876, 4159)(3877, 4161)(3881, 4162)(3882, 4163)(3883, 4165)(3884, 4166)(3886, 4168)(3887, 4169)(3888, 4170)(3890, 4173)(3893, 4176)(3897, 3898)(3903, 4183)(3907, 4186)(3911, 4189)(3913, 4191)(3915, 4193)(3918, 4167)(3921, 4095)(3922, 4004)(3927, 4012)(3929, 4199)(3931, 4202)(3933, 4204)(3934, 4206)(3937, 4208)(3939, 3940)(3943, 4213)(3945, 4198)(3951, 3992)(3952, 4218)(3953, 4219)(3954, 4220)(3956, 4120)(3957, 4223)(3959, 4054)(3960, 4075)(3962, 4228)(3963, 4229)(3966, 3967)(3973, 4110)(3976, 4098)(3980, 4235)(3981, 4237)(3985, 4240)(3987, 4241)(3988, 4157)(3989, 4242)(3993, 4023)(3995, 4246)(3996, 4247)(3998, 4249)(4001, 4252)(4006, 4062)(4007, 4255)(4008, 4256)(4009, 4257)(4010, 4259)(4014, 4261)(4015, 4263)(4016, 4265)(4017, 4267)(4024, 4245)(4026, 4258)(4027, 4273)(4029, 4275)(4031, 4278)(4032, 4280)(4033, 4073)(4038, 4284)(4041, 4286)(4047, 4291)(4053, 4239)(4056, 4203)(4058, 4297)(4060, 4300)(4063, 4097)(4068, 4069)(4071, 4305)(4076, 4309)(4079, 4310)(4082, 4313)(4084, 4315)(4086, 4316)(4091, 4092)(4094, 4322)(4096, 4323)(4100, 4326)(4101, 4327)(4102, 4329)(4103, 4330)(4104, 4331)(4105, 4295)(4107, 4334)(4113, 4114)(4117, 4338)(4118, 4339)(4123, 4343)(4126, 4344)(4128, 4293)(4129, 4175)(4133, 4134)(4136, 4350)(4139, 4140)(4141, 4352)(4143, 4354)(4145, 4356)(4149, 4360)(4151, 4361)(4152, 4194)(4155, 4156)(4160, 4366)(4164, 4294)(4171, 4368)(4172, 4216)(4174, 4325)(4177, 4372)(4178, 4358)(4180, 4289)(4181, 4353)(4182, 4236)(4184, 4376)(4185, 4378)(4187, 4380)(4188, 4381)(4190, 4201)(4192, 4385)(4195, 4387)(4196, 4388)(4197, 4390)(4200, 4276)(4205, 4394)(4207, 4298)(4209, 4230)(4210, 4397)(4211, 4399)(4212, 4359)(4214, 4402)(4215, 4404)(4217, 4406)(4221, 4410)(4222, 4411)(4224, 4413)(4225, 4384)(4226, 4415)(4227, 4299)(4231, 4419)(4232, 4233)(4234, 4401)(4238, 4396)(4243, 4422)(4244, 4423)(4248, 4426)(4250, 4395)(4251, 4429)(4253, 4432)(4254, 4373)(4260, 4436)(4262, 4437)(4264, 4438)(4266, 4440)(4268, 4442)(4269, 4443)(4270, 4444)(4271, 4272)(4274, 4447)(4277, 4363)(4279, 4451)(4281, 4303)(4282, 4324)(4283, 4454)(4285, 4457)(4287, 4459)(4288, 4460)(4290, 4461)(4292, 4464)(4296, 4375)(4301, 4421)(4302, 4467)(4304, 4469)(4306, 4471)(4307, 4472)(4308, 4364)(4311, 4466)(4312, 4474)(4314, 4424)(4317, 4371)(4319, 4357)(4320, 4480)(4321, 4481)(4328, 4484)(4332, 4346)(4333, 4488)(4335, 4490)(4336, 4379)(4337, 4491)(4340, 4495)(4341, 4496)(4342, 4498)(4345, 4499)(4347, 4500)(4348, 4502)(4349, 4431)(4351, 4504)(4355, 4507)(4362, 4506)(4365, 4514)(4367, 4516)(4369, 4370)(4374, 4510)(4382, 4430)(4383, 4522)(4386, 4525)(4389, 4470)(4391, 4527)(4392, 4482)(4393, 4435)(4398, 4534)(4400, 4535)(4403, 4433)(4405, 4536)(4407, 4537)(4409, 4539)(4412, 4540)(4414, 4541)(4416, 4417)(4418, 4453)(4420, 4546)(4425, 4549)(4427, 4551)(4428, 4552)(4434, 4556)(4439, 4465)(4441, 4560)(4445, 4563)(4446, 4564)(4448, 4449)(4450, 4567)(4455, 4456)(4458, 4561)(4462, 4463)(4468, 4574)(4475, 4550)(4476, 4538)(4477, 4577)(4478, 4509)(4479, 4486)(4483, 4558)(4485, 4562)(4487, 4489)(4492, 4512)(4494, 4583)(4497, 4580)(4501, 4588)(4508, 4593)(4511, 4576)(4513, 4542)(4515, 4594)(4518, 4595)(4519, 4596)(4520, 4521)(4523, 4524)(4526, 4600)(4528, 4601)(4529, 4571)(4530, 4602)(4531, 4603)(4532, 4604)(4533, 4569)(4543, 4548)(4544, 4608)(4545, 4568)(4547, 4610)(4553, 4613)(4554, 4555)(4557, 4617)(4559, 4618)(4565, 4624)(4566, 4598)(4570, 4626)(4572, 4614)(4573, 4629)(4575, 4578)(4579, 4635)(4581, 4637)(4582, 4623)(4585, 4586)(4587, 4640)(4589, 4642)(4590, 4627)(4591, 4592)(4597, 4644)(4599, 4628)(4605, 4612)(4606, 4649)(4607, 4650)(4609, 4652)(4611, 4653)(4615, 4633)(4616, 4655)(4619, 4620)(4622, 4636)(4630, 4660)(4631, 4639)(4632, 4648)(4634, 4662)(4638, 4663)(4641, 4664)(4643, 4661)(4645, 4651)(4646, 4654)(4647, 4656)(4658, 4668)(4659, 4669)(4665, 4666)(4667, 4672)(4670, 4671), (1, 3, 6)(2, 4, 8)(5, 9, 13)(7, 10, 15)(11, 16, 22)(12, 17, 24)(14, 19, 27)(18, 25, 34)(20, 28, 38)(21, 29, 40)(23, 31, 43)(26, 35, 46)(30, 41, 53)(32, 44, 57)(33, 45, 59)(36, 47, 62)(37, 48, 64)(39, 50, 67)(42, 54, 70)(49, 65, 82)(51, 68, 86)(52, 69, 88)(55, 71, 91)(56, 72, 93)(58, 74, 95)(60, 76, 98)(61, 77, 100)(63, 79, 103)(66, 83, 106)(73, 94, 118)(75, 96, 120)(78, 101, 125)(80, 104, 129)(81, 105, 131)(84, 107, 134)(85, 108, 136)(87, 110, 139)(89, 112, 142)(90, 113, 144)(92, 115, 147)(97, 121, 153)(99, 122, 154)(102, 126, 157)(109, 137, 169)(111, 140, 173)(114, 145, 179)(116, 148, 183)(117, 149, 185)(119, 150, 187)(123, 155, 192)(124, 156, 194)(127, 158, 197)(128, 159, 199)(130, 161, 202)(132, 163, 204)(133, 164, 206)(135, 166, 209)(138, 170, 212)(141, 174, 217)(143, 176, 220)(146, 180, 223)(151, 188, 232)(152, 189, 233)(160, 200, 245)(162, 203, 249)(165, 207, 254)(167, 210, 258)(168, 211, 260)(171, 213, 263)(172, 214, 265)(175, 218, 270)(177, 221, 274)(178, 222, 276)(181, 224, 279)(182, 225, 281)(184, 227, 284)(186, 229, 287)(190, 234, 292)(191, 235, 294)(193, 237, 297)(195, 239, 300)(196, 240, 302)(198, 242, 305)(201, 246, 308)(205, 251, 314)(208, 255, 317)(215, 266, 329)(216, 267, 330)(219, 271, 333)(226, 282, 345)(228, 285, 286)(230, 288, 351)(231, 289, 353)(236, 295, 360)(238, 298, 364)(241, 303, 370)(243, 306, 374)(244, 307, 376)(247, 309, 379)(248, 310, 381)(250, 312, 384)(252, 315, 388)(253, 316, 390)(256, 318, 393)(257, 319, 395)(259, 321, 398)(261, 323, 400)(262, 324, 402)(264, 326, 405)(268, 331, 410)(269, 332, 412)(272, 334, 415)(273, 335, 417)(275, 337, 420)(277, 339, 423)(278, 340, 425)(280, 342, 428)(283, 346, 431)(290, 354, 440)(291, 355, 442)(293, 357, 445)(296, 361, 448)(299, 365, 453)(301, 367, 456)(304, 371, 458)(311, 382, 383)(313, 385, 470)(320, 396, 481)(322, 399, 485)(325, 403, 488)(327, 406, 492)(328, 407, 494)(336, 418, 505)(338, 421, 509)(341, 426, 515)(343, 429, 519)(344, 430, 520)(347, 432, 523)(348, 433, 525)(349, 434, 527)(350, 435, 529)(352, 437, 532)(356, 443, 538)(358, 446, 542)(359, 447, 544)(362, 449, 547)(363, 450, 549)(366, 454, 554)(368, 457, 369)(372, 459, 560)(373, 460, 562)(375, 462, 565)(377, 464, 568)(378, 465, 570)(380, 467, 573)(386, 471, 578)(387, 472, 580)(389, 474, 583)(391, 476, 586)(392, 477, 588)(394, 479, 590)(397, 482, 592)(401, 484, 594)(404, 489, 598)(408, 495, 605)(409, 496, 607)(411, 498, 610)(413, 499, 612)(414, 500, 478)(416, 502, 616)(419, 506, 619)(422, 510, 624)(424, 512, 627)(427, 516, 630)(436, 530, 645)(438, 503, 617)(439, 533, 649)(441, 535, 652)(444, 539, 655)(451, 550, 667)(452, 551, 668)(455, 555, 671)(461, 563, 680)(463, 566, 684)(466, 571, 690)(468, 574, 694)(469, 575, 696)(473, 581, 703)(475, 584, 707)(480, 591, 714)(483, 593, 717)(486, 596, 595)(487, 597, 713)(490, 599, 722)(491, 600, 724)(493, 602, 727)(497, 608, 734)(501, 614, 741)(504, 618, 746)(507, 620, 749)(508, 621, 751)(511, 625, 756)(513, 628, 760)(514, 629, 762)(517, 631, 765)(518, 632, 767)(521, 635, 771)(522, 636, 773)(524, 638, 776)(526, 640, 779)(528, 642, 782)(531, 646, 785)(534, 650, 651)(536, 653, 792)(537, 654, 794)(540, 656, 797)(541, 657, 799)(543, 659, 802)(545, 661, 805)(546, 662, 807)(548, 664, 810)(552, 669, 814)(553, 670, 816)(556, 672, 819)(557, 673, 821)(558, 674, 823)(559, 675, 825)(561, 677, 828)(564, 681, 831)(567, 685, 835)(569, 687, 838)(572, 691, 841)(576, 697, 848)(577, 698, 850)(579, 700, 853)(582, 704, 856)(585, 708, 861)(587, 710, 864)(589, 613, 739)(601, 725, 879)(603, 728, 883)(604, 729, 885)(606, 731, 888)(609, 735, 891)(611, 737, 894)(615, 742, 898)(622, 752, 908)(623, 753, 909)(626, 757, 912)(633, 768, 924)(634, 769, 925)(637, 774, 931)(639, 777, 935)(641, 780, 939)(643, 783, 943)(644, 784, 945)(647, 786, 745)(648, 787, 949)(658, 800, 963)(660, 803, 920)(663, 808, 971)(665, 733, 890)(666, 811, 975)(676, 826, 991)(678, 829, 995)(679, 830, 997)(682, 748, 903)(683, 832, 999)(686, 836, 1004)(688, 839, 1008)(689, 840, 1010)(692, 842, 1013)(693, 843, 1015)(695, 845, 1018)(699, 851, 1025)(701, 854, 1029)(702, 855, 1031)(705, 857, 1034)(706, 858, 1036)(709, 862, 1041)(711, 865, 1045)(712, 866, 1047)(715, 868, 1050)(716, 869, 1052)(718, 871, 1055)(719, 872, 1057)(720, 873, 1059)(721, 874, 1061)(723, 876, 1064)(726, 880, 1067)(730, 886, 1074)(732, 889, 1078)(736, 892, 893)(738, 895, 1084)(740, 897, 1087)(743, 899, 1090)(744, 900, 948)(747, 902, 1094)(750, 905, 1098)(754, 910, 1103)(755, 911, 1105)(758, 913, 1108)(759, 914, 1110)(761, 916, 968)(763, 918, 1115)(764, 919, 1117)(766, 921, 1119)(770, 926, 1124)(772, 928, 1127)(775, 932, 1130)(778, 936, 1135)(781, 940, 1138)(788, 950, 1148)(789, 951, 1150)(790, 952, 1152)(791, 953, 1154)(793, 955, 1157)(795, 957, 1160)(796, 958, 1162)(798, 960, 1165)(801, 964, 1168)(804, 967, 1171)(806, 969, 1173)(809, 972, 1175)(812, 976, 1180)(813, 977, 1182)(815, 979, 1185)(817, 981, 1188)(818, 982, 1190)(820, 984, 1193)(822, 986, 1196)(824, 988, 1199)(827, 992, 1202)(833, 1000, 1210)(834, 1001, 1211)(837, 1005, 1214)(844, 1016, 1226)(846, 1019, 1230)(847, 1020, 1232)(849, 1022, 1235)(852, 1026, 1238)(859, 1037, 1249)(860, 1038, 1250)(863, 1042, 1253)(867, 1048, 1260)(870, 1053, 1266)(875, 1062, 1276)(877, 1065, 1280)(878, 1066, 1282)(881, 1068, 1285)(882, 1069, 1287)(884, 1071, 1290)(887, 1075, 1293)(896, 1085, 1302)(901, 1092, 1309)(904, 1096, 1313)(906, 1099, 1317)(907, 1100, 1318)(915, 1111, 1330)(917, 1113, 1333)(922, 1120, 1339)(923, 1121, 1341)(927, 1125, 1345)(929, 1128, 1349)(930, 1129, 1351)(933, 1131, 1354)(934, 1132, 1356)(937, 1136, 1360)(938, 1137, 1362)(941, 1139, 1365)(942, 1140, 1367)(944, 1142, 1370)(946, 1144, 1373)(947, 1145, 1375)(954, 1155, 1385)(956, 1158, 1389)(959, 1163, 1395)(961, 1166, 1399)(962, 1167, 1401)(965, 1169, 1404)(966, 1170, 1118)(970, 1174, 1409)(973, 1176, 1412)(974, 1177, 1414)(978, 1183, 1420)(980, 1186, 1424)(983, 1191, 1430)(985, 1194, 1434)(987, 1197, 1438)(989, 1200, 1442)(990, 1201, 1247)(993, 1203, 1446)(994, 1204, 1448)(996, 1206, 1451)(998, 1207, 1453)(1002, 1212, 1458)(1003, 1213, 1460)(1006, 1215, 1463)(1007, 1216, 1465)(1009, 1218, 1468)(1011, 1220, 1471)(1012, 1221, 1473)(1014, 1223, 1475)(1017, 1227, 1478)(1021, 1233, 1483)(1023, 1236, 1487)(1024, 1237, 1178)(1027, 1239, 1491)(1028, 1240, 1493)(1030, 1242, 1496)(1032, 1244, 1499)(1033, 1093, 1310)(1035, 1246, 1502)(1039, 1251, 1505)(1040, 1252, 1507)(1043, 1254, 1510)(1044, 1255, 1512)(1046, 1257, 1515)(1049, 1261, 1350)(1051, 1263, 1522)(1054, 1267, 1525)(1056, 1269, 1528)(1058, 1271, 1530)(1060, 1273, 1533)(1063, 1277, 1536)(1070, 1288, 1289)(1072, 1291, 1550)(1073, 1292, 1552)(1076, 1294, 1555)(1077, 1295, 1556)(1079, 1297, 1559)(1080, 1298, 1561)(1081, 1299, 1563)(1082, 1300, 1565)(1083, 1301, 1567)(1086, 1256, 1513)(1088, 1304, 1571)(1089, 1305, 1573)(1091, 1307, 1576)(1095, 1312, 1581)(1097, 1314, 1582)(1101, 1319, 1587)(1102, 1320, 1589)(1104, 1322, 1592)(1106, 1324, 1595)(1107, 1325, 1597)(1109, 1327, 1600)(1112, 1331, 1172)(1114, 1334, 1606)(1116, 1336, 1609)(1122, 1279, 1538)(1123, 1342, 1615)(1126, 1346, 1618)(1133, 1357, 1134)(1141, 1368, 1639)(1143, 1371, 1643)(1146, 1376, 1648)(1147, 1377, 1649)(1149, 1379, 1651)(1151, 1381, 1654)(1153, 1383, 1657)(1156, 1386, 1659)(1159, 1390, 1663)(1161, 1392, 1666)(1164, 1396, 1669)(1179, 1415, 1688)(1181, 1417, 1691)(1184, 1421, 1694)(1187, 1425, 1699)(1189, 1427, 1702)(1192, 1431, 1705)(1195, 1435, 1708)(1198, 1439, 1710)(1205, 1449, 1719)(1208, 1454, 1723)(1209, 1455, 1725)(1217, 1466, 1737)(1219, 1469, 1741)(1222, 1441, 1711)(1224, 1476, 1748)(1225, 1477, 1750)(1228, 1443, 1713)(1229, 1479, 1752)(1231, 1480, 1753)(1234, 1484, 1756)(1241, 1494, 1767)(1243, 1497, 1771)(1245, 1500, 1774)(1248, 1503, 1777)(1258, 1516, 1529)(1259, 1517, 1792)(1262, 1520, 1795)(1264, 1523, 1799)(1265, 1524, 1801)(1268, 1526, 1803)(1270, 1422, 1695)(1272, 1531, 1808)(1274, 1534, 1812)(1275, 1535, 1814)(1278, 1537, 1817)(1281, 1540, 1820)(1283, 1542, 1823)(1284, 1543, 1825)(1286, 1545, 1828)(1296, 1557, 1840)(1303, 1569, 1851)(1306, 1574, 1857)(1308, 1577, 1861)(1311, 1498, 1772)(1315, 1583, 1866)(1316, 1584, 1868)(1321, 1590, 1875)(1323, 1593, 1879)(1326, 1598, 1885)(1328, 1601, 1889)(1329, 1602, 1891)(1332, 1603, 1893)(1335, 1607, 1897)(1337, 1610, 1901)(1338, 1611, 1903)(1340, 1613, 1905)(1343, 1616, 1908)(1344, 1617, 1910)(1347, 1619, 1913)(1348, 1620, 1915)(1352, 1622, 1918)(1353, 1623, 1919)(1355, 1625, 1922)(1358, 1628, 1926)(1359, 1629, 1928)(1361, 1631, 1931)(1363, 1633, 1934)(1364, 1634, 1935)(1366, 1636, 1937)(1369, 1640, 1940)(1372, 1644, 1436)(1374, 1646, 1947)(1378, 1650, 1779)(1380, 1652, 1953)(1382, 1655, 1957)(1384, 1658, 1961)(1387, 1660, 1964)(1388, 1661, 1966)(1391, 1664, 1969)(1393, 1667, 1973)(1394, 1668, 1975)(1397, 1670, 1718)(1398, 1671, 1978)(1400, 1673, 1981)(1402, 1675, 1984)(1403, 1676, 1986)(1405, 1678, 1989)(1406, 1679, 1991)(1407, 1680, 1993)(1408, 1681, 1994)(1410, 1683, 1996)(1411, 1684, 1998)(1413, 1686, 2000)(1416, 1689, 2004)(1418, 1692, 2008)(1419, 1693, 2010)(1423, 1696, 2014)(1426, 1700, 2018)(1428, 1703, 2022)(1429, 1704, 2024)(1432, 1706, 2027)(1433, 1707, 2029)(1437, 1709, 2032)(1440, 1621, 1916)(1444, 1714, 2036)(1445, 1715, 2038)(1447, 1717, 2041)(1450, 1720, 2042)(1452, 1721, 2043)(1456, 1726, 2049)(1457, 1727, 2051)(1459, 1729, 2054)(1461, 1731, 2056)(1462, 1732, 2058)(1464, 1734, 2061)(1467, 1738, 2064)(1470, 1742, 1838)(1472, 1743, 2069)(1474, 1745, 2071)(1481, 1754, 2080)(1482, 1755, 2081)(1485, 1757, 2082)(1486, 1758, 2084)(1488, 1760, 2087)(1489, 1761, 2088)(1490, 1762, 2090)(1492, 1764, 2093)(1495, 1768, 2096)(1501, 1775, 2101)(1504, 1778, 2105)(1506, 1780, 2107)(1508, 1782, 2110)(1509, 1783, 2112)(1511, 1785, 2115)(1514, 1788, 2119)(1518, 1793, 2124)(1519, 1794, 2026)(1521, 1796, 2125)(1527, 1804, 2132)(1532, 1809, 2135)(1539, 1818, 2143)(1541, 1821, 2147)(1544, 1826, 2153)(1546, 1829, 2157)(1547, 1830, 2159)(1548, 1831, 2161)(1549, 1832, 2074)(1551, 1834, 2165)(1553, 1835, 2167)(1554, 1836, 2169)(1558, 1841, 2172)(1560, 1685, 1999)(1562, 1843, 2175)(1564, 1845, 2178)(1566, 1847, 2181)(1568, 1849, 2184)(1570, 1852, 2188)(1572, 1854, 2191)(1575, 1858, 2194)(1578, 1862, 2199)(1579, 1863, 2200)(1580, 1864, 2201)(1585, 1869, 2207)(1586, 1870, 2208)(1588, 1872, 2211)(1591, 1876, 2214)(1594, 1880, 2219)(1596, 1882, 2222)(1599, 1886, 2225)(1604, 1894, 2233)(1605, 1895, 2234)(1608, 1898, 1662)(1612, 1904, 2238)(1614, 1906, 2241)(1624, 1920, 2255)(1626, 1923, 2259)(1627, 1924, 2261)(1630, 1929, 2267)(1632, 1932, 2271)(1635, 1936, 2275)(1637, 1938, 2277)(1638, 1939, 2279)(1641, 1941, 2282)(1642, 1942, 2284)(1645, 1945, 2288)(1647, 1948, 2068)(1653, 1954, 2293)(1656, 1958, 2295)(1665, 1970, 2305)(1672, 1979, 2315)(1674, 1982, 2318)(1677, 1987, 2324)(1682, 1730, 1995)(1687, 2001, 2334)(1690, 2005, 2337)(1697, 2015, 2347)(1698, 2016, 2348)(1701, 2019, 2350)(1712, 2034, 2363)(1716, 2039, 2369)(1722, 2044, 2374)(1724, 2046, 2377)(1728, 2052, 2383)(1733, 2059, 2390)(1735, 2062, 2393)(1736, 2063, 2395)(1739, 2065, 1740)(1744, 2070, 2402)(1746, 2072, 2405)(1747, 2073, 2407)(1749, 2075, 2409)(1751, 2077, 2412)(1759, 2085, 2419)(1763, 2091, 2425)(1765, 2094, 2310)(1766, 2095, 2430)(1769, 2097, 2433)(1770, 2098, 2435)(1773, 2100, 2437)(1776, 2102, 2365)(1781, 2108, 2445)(1784, 2113, 2451)(1786, 2116, 2455)(1787, 2117, 2457)(1789, 1859, 2195)(1790, 2120, 2460)(1791, 2121, 2462)(1797, 2126, 2466)(1798, 2127, 2468)(1800, 2129, 2471)(1802, 2131, 2166)(1805, 1956, 2013)(1806, 2133, 2475)(1807, 2134, 2477)(1810, 2136, 2480)(1811, 2137, 2482)(1813, 2138, 2484)(1815, 2140, 1959)(1816, 2141, 2488)(1819, 2144, 2490)(1822, 2148, 2494)(1824, 2150, 2497)(1827, 2154, 2500)(1833, 2163, 2509)(1837, 2170, 2516)(1839, 2171, 2518)(1842, 2173, 2521)(1844, 2176, 2525)(1846, 2179, 2529)(1848, 2182, 2533)(1850, 2185, 2536)(1853, 2189, 2541)(1855, 2192, 2545)(1856, 2193, 2547)(1860, 2196, 2550)(1865, 2202, 2556)(1867, 2204, 2559)(1871, 2209, 2563)(1873, 2212, 2567)(1874, 2213, 2524)(1877, 2215, 2571)(1878, 2216, 2573)(1881, 2220, 2577)(1883, 2223, 2580)(1884, 2224, 2581)(1887, 2226, 2583)(1888, 2227, 2584)(1890, 2109, 2446)(1892, 2230, 2587)(1896, 2235, 2592)(1899, 2236, 2594)(1900, 1997, 2331)(1902, 2237, 2595)(1907, 2242, 2598)(1909, 2244, 2601)(1911, 2246, 2604)(1912, 2247, 2606)(1914, 2249, 2609)(1917, 2033, 2361)(1921, 2256, 2614)(1925, 2262, 2621)(1927, 2264, 2624)(1930, 2268, 2627)(1933, 2272, 2632)(1943, 2285, 2643)(1944, 2286, 2644)(1946, 2289, 2646)(1949, 2290, 2647)(1950, 2291, 2106)(1951, 2292, 1952)(1955, 2294, 2651)(1960, 2296, 2654)(1962, 2298, 2657)(1963, 2299, 2659)(1965, 2301, 2662)(1967, 2303, 2665)(1968, 2304, 2666)(1971, 2306, 2669)(1972, 2307, 2671)(1974, 2309, 2674)(1976, 2311, 2328)(1977, 2312, 2677)(1980, 2316, 2680)(1983, 2319, 2683)(1985, 2321, 2686)(1988, 2325, 2689)(1990, 2314, 2679)(1992, 2327, 2691)(2002, 2335, 2695)(2003, 2336, 2697)(2006, 2338, 2700)(2007, 2339, 2030)(2009, 2341, 2704)(2011, 2343, 2431)(2012, 2344, 2461)(2017, 2349, 2711)(2020, 2351, 2274)(2021, 2273, 2576)(2023, 2353, 2714)(2025, 2355, 2251)(2028, 2357, 2718)(2031, 2359, 2721)(2035, 2364, 2725)(2037, 2366, 2727)(2040, 2370, 2730)(2045, 2375, 2736)(2047, 2378, 2740)(2048, 2379, 2741)(2050, 2381, 2744)(2053, 2384, 2746)(2055, 2329, 2675)(2057, 2387, 2748)(2060, 2391, 2483)(2066, 2398, 2758)(2067, 2399, 2759)(2076, 2410, 2769)(2078, 2413, 2773)(2079, 2414, 2775)(2083, 2417, 2778)(2086, 2420, 2780)(2089, 2422, 2783)(2092, 2426, 2786)(2099, 2385, 2554)(2103, 2440, 2797)(2104, 2441, 2799)(2111, 2448, 2806)(2114, 2452, 2809)(2118, 2458, 2814)(2122, 2463, 2819)(2123, 2183, 2534)(2128, 2469, 2824)(2130, 2472, 2582)(2139, 2485, 2839)(2142, 2489, 2597)(2145, 2491, 2845)(2146, 2492, 2847)(2149, 2495, 2849)(2151, 2498, 2852)(2152, 2499, 2854)(2155, 2501, 2857)(2156, 2502, 2859)(2158, 2504, 2862)(2160, 2505, 2863)(2162, 2507, 2408)(2164, 2510, 2867)(2168, 2513, 2871)(2174, 2522, 2877)(2177, 2526, 2881)(2180, 2530, 2436)(2186, 2537, 2889)(2187, 2538, 2890)(2190, 2542, 2892)(2197, 2551, 2901)(2198, 2552, 2903)(2203, 2557, 2908)(2205, 2401, 2761)(2206, 2560, 2911)(2210, 2564, 2913)(2217, 2574, 2923)(2218, 2575, 2924)(2221, 2578, 2415)(2228, 2585, 2447)(2229, 2586, 2931)(2231, 2588, 2934)(2232, 2589, 2936)(2239, 2382, 2745)(2240, 2596, 2682)(2243, 2599, 2944)(2245, 2602, 2948)(2248, 2607, 2953)(2250, 2610, 2957)(2252, 2611, 2943)(2253, 2612, 2959)(2254, 2613, 2961)(2257, 2615, 2964)(2258, 2616, 2966)(2260, 2618, 2968)(2263, 2622, 2973)(2265, 2625, 2977)(2266, 2626, 2979)(2269, 2628, 2694)(2270, 2629, 2982)(2276, 2633, 2986)(2278, 2635, 2989)(2280, 2637, 2992)(2281, 2638, 2994)(2283, 2640, 2996)(2287, 2645, 3001)(2297, 2655, 2656)(2300, 2660, 3015)(2302, 2663, 3019)(2308, 2672, 3027)(2313, 2678, 3032)(2317, 2681, 3034)(2320, 2684, 3037)(2322, 2687, 3041)(2323, 2688, 2826)(2326, 2690, 3045)(2330, 2692, 2940)(2332, 2693, 2515)(2333, 2514, 2872)(2340, 2702, 3054)(2342, 2705, 3058)(2345, 2707, 3061)(2346, 2708, 3063)(2352, 2712, 3067)(2354, 2715, 2906)(2356, 2717, 2927)(2358, 2719, 3074)(2360, 2722, 3076)(2362, 2724, 3079)(2367, 2728, 3082)(2368, 2729, 3084)(2371, 2731, 3087)(2372, 2732, 3089)(2373, 2733, 3091)(2376, 2737, 3094)(2380, 2742, 3099)(2386, 2428, 2788)(2388, 2749, 3106)(2389, 2750, 3108)(2392, 2751, 3110)(2394, 2753, 3113)(2396, 2755, 3116)(2397, 2756, 3117)(2400, 2760, 3120)(2403, 2716, 3070)(2404, 2763, 3124)(2406, 2765, 3127)(2411, 2770, 3132)(2416, 2776, 3137)(2418, 2779, 3141)(2421, 2781, 3143)(2423, 2784, 3146)(2424, 2785, 3148)(2427, 2787, 3151)(2429, 2789, 3152)(2432, 2790, 3154)(2434, 2792, 3157)(2438, 2794, 3160)(2439, 2795, 2726)(2442, 2800, 3166)(2443, 2801, 3168)(2444, 2802, 3170)(2449, 2807, 3175)(2450, 2808, 3177)(2453, 2810, 2543)(2454, 2811, 3180)(2456, 2813, 2493)(2459, 2815, 3185)(2464, 2820, 3190)(2465, 2821, 3192)(2467, 2823, 3195)(2470, 2825, 3097)(2473, 2827, 3197)(2474, 2828, 3199)(2476, 2830, 3202)(2478, 2832, 3205)(2479, 2833, 3207)(2481, 2835, 3210)(2486, 2840, 3216)(2487, 2652, 3007)(2496, 2850, 2907)(2503, 2860, 3232)(2506, 2864, 3236)(2508, 2866, 3239)(2511, 2868, 3242)(2512, 2869, 3244)(2517, 2873, 2757)(2519, 2875, 3251)(2520, 2876, 3253)(2523, 2878, 3256)(2527, 2882, 3260)(2528, 2883, 3262)(2531, 2553, 2904)(2532, 2884, 3264)(2535, 2887, 3267)(2539, 2891, 2540)(2544, 2893, 3271)(2546, 2895, 3274)(2548, 2897, 3277)(2549, 2898, 3279)(2555, 2905, 3285)(2558, 2909, 3286)(2561, 2912, 2562)(2565, 2914, 3292)(2566, 2915, 2888)(2568, 2917, 3295)(2569, 2918, 2570)(2572, 2920, 3298)(2579, 2925, 3301)(2590, 2937, 3311)(2591, 2938, 3313)(2593, 2939, 3315)(2600, 2945, 3318)(2603, 2949, 3322)(2605, 2950, 3324)(2608, 2954, 3327)(2617, 2967, 3339)(2619, 2969, 3341)(2620, 2970, 3343)(2623, 2974, 3044)(2630, 2983, 3353)(2631, 2984, 3354)(2634, 2987, 3358)(2636, 2990, 3362)(2639, 2995, 3224)(2641, 2997, 3368)(2642, 2998, 3370)(2648, 3004, 3011)(2649, 3005, 3051)(2650, 2699, 3050)(2653, 3008, 3378)(2658, 3012, 3382)(2661, 3016, 3348)(2664, 2747, 3104)(2667, 3022, 3390)(2668, 3023, 3392)(2670, 3024, 3393)(2673, 3028, 3396)(2676, 3029, 3397)(2685, 3038, 3404)(2696, 3047, 3411)(2698, 3049, 3414)(2701, 3052, 3000)(2703, 3055, 2818)(2706, 3059, 3421)(2709, 3064, 3425)(2710, 3065, 3426)(2713, 3068, 3428)(2720, 2999, 3371)(2723, 3077, 3434)(2734, 3092, 3444)(2735, 3093, 2844)(2738, 3095, 3269)(2739, 3096, 3446)(2743, 3100, 3448)(2752, 3111, 3458)(2754, 3114, 3461)(2762, 3122, 3078)(2764, 3125, 3471)(2766, 3128, 3474)(2767, 3129, 3476)(2768, 3130, 3477)(2771, 2842, 3218)(2772, 3133, 3481)(2774, 3135, 3484)(2777, 3138, 3486)(2782, 3144, 3490)(2791, 3155, 3500)(2793, 3158, 3503)(2796, 3162, 3508)(2798, 3164, 3511)(2803, 3171, 3517)(2804, 3172, 3518)(2805, 2930, 3305)(2812, 3181, 3526)(2816, 3186, 3530)(2817, 3187, 3532)(2822, 3193, 3538)(2829, 3200, 3545)(2831, 3203, 3549)(2834, 3208, 3554)(2836, 3211, 3558)(2837, 3212, 3560)(2838, 3213, 3562)(2841, 3217, 3566)(2843, 3219, 3569)(2846, 3221, 3571)(2848, 3222, 3234)(2851, 3223, 3574)(2853, 3225, 3323)(2855, 3226, 3577)(2856, 3227, 3579)(2858, 3229, 3582)(2861, 3233, 3585)(2865, 3237, 3587)(2870, 3245, 3592)(2874, 3249, 3596)(2879, 3257, 2880)(2885, 3265, 3608)(2886, 3266, 3609)(2894, 3272, 3615)(2896, 3275, 3617)(2899, 2952, 3326)(2900, 3280, 3620)(2902, 3282, 3623)(2910, 3287, 3627)(2916, 3293, 3631)(2919, 3296, 3634)(2921, 3299, 2922)(2926, 3302, 3641)(2928, 3303, 3643)(2929, 3304, 3644)(2932, 3306, 3647)(2933, 3036, 3403)(2935, 3308, 3650)(2941, 3316, 3658)(2942, 3317, 3332)(2946, 3319, 2947)(2951, 3325, 3666)(2955, 3328, 3669)(2956, 3329, 3670)(2958, 3331, 3498)(2960, 3333, 3017)(2962, 3334, 3674)(2963, 3335, 3676)(2965, 3337, 3678)(2971, 3344, 3683)(2972, 3345, 3685)(2975, 3346, 3686)(2976, 3347, 3687)(2978, 3014, 3384)(2980, 3350, 2981)(2985, 3355, 3692)(2988, 3359, 3695)(2991, 3115, 3462)(2993, 3363, 3699)(3002, 3373, 3710)(3003, 3374, 3711)(3006, 3361, 3060)(3009, 3379, 3715)(3010, 3380, 3716)(3013, 3383, 3505)(3018, 3385, 3721)(3020, 3387, 3723)(3021, 3388, 3724)(3025, 3394, 3730)(3026, 3395, 3732)(3030, 3376, 3541)(3031, 3398, 3736)(3033, 3400, 3738)(3035, 3402, 3741)(3039, 3405, 3214)(3040, 3406, 3745)(3042, 3408, 3642)(3043, 3409, 3747)(3046, 3349, 3688)(3048, 3412, 3750)(3053, 3416, 3754)(3056, 3417, 3756)(3057, 3418, 3758)(3062, 3209, 3555)(3066, 3427, 3765)(3069, 3429, 3573)(3071, 3430, 3243)(3072, 3431, 3768)(3073, 3432, 3770)(3075, 3338, 3679)(3080, 3436, 3775)(3081, 3437, 3777)(3083, 3439, 3780)(3085, 3255, 3601)(3086, 3440, 3782)(3088, 3196, 3123)(3090, 3103, 3450)(3098, 3447, 3788)(3101, 3415, 3753)(3102, 3449, 3791)(3105, 3451, 3675)(3107, 3453, 3276)(3109, 3455, 3795)(3112, 3459, 3698)(3118, 3465, 3248)(3119, 3466, 3803)(3121, 3468, 3806)(3126, 3472, 3808)(3131, 3478, 3507)(3134, 3482, 3818)(3136, 3485, 3822)(3139, 3270, 3612)(3140, 3487, 3824)(3142, 3489, 3173)(3145, 3491, 3828)(3147, 3493, 3831)(3149, 3495, 3834)(3150, 3496, 3836)(3153, 3259, 3522)(3156, 3501, 3838)(3159, 3504, 3842)(3161, 3506, 3844)(3163, 3509, 3510)(3165, 3512, 3847)(3167, 3513, 3848)(3169, 3515, 3851)(3174, 3519, 3853)(3176, 3521, 3660)(3178, 3258, 3603)(3179, 3523, 3857)(3182, 3527, 3860)(3183, 3188, 3533)(3184, 3528, 3861)(3189, 3534, 3868)(3191, 3536, 3871)(3194, 3539, 3289)(3198, 3542, 3874)(3201, 3546, 3499)(3204, 3550, 3879)(3206, 3552, 3880)(3215, 3563, 3886)(3220, 3443, 3785)(3228, 3580, 3897)(3230, 3583, 3901)(3231, 3584, 3903)(3235, 3586, 3906)(3238, 3588, 3907)(3240, 3590, 3336)(3241, 3591, 3911)(3246, 3593, 3913)(3247, 3594, 3915)(3250, 3597, 3918)(3252, 3598, 3920)(3254, 3600, 3922)(3261, 3604, 3927)(3263, 3606, 3799)(3268, 3611, 3551)(3273, 3616, 3935)(3278, 3548, 3877)(3281, 3621, 3939)(3283, 3624, 3943)(3284, 3625, 3945)(3288, 3628, 3949)(3290, 3629, 3951)(3291, 3352, 3689)(3294, 3632, 3953)(3297, 3635, 3955)(3300, 3638, 3959)(3307, 3648, 3966)(3309, 3651, 3663)(3310, 3652, 3970)(3312, 3654, 3516)(3314, 3386, 3722)(3320, 3661, 3978)(3321, 3662, 3969)(3330, 3671, 3867)(3340, 3680, 3987)(3342, 3681, 3950)(3351, 3645, 3962)(3356, 3693, 3995)(3357, 3694, 3996)(3360, 3696, 3998)(3364, 3700, 4001)(3365, 3701, 3575)(3366, 3702, 4004)(3367, 3703, 4006)(3369, 3705, 4008)(3372, 3708, 3605)(3375, 3712, 3381)(3377, 3564, 3887)(3389, 3725, 4023)(3391, 3727, 4026)(3399, 3737, 3812)(3401, 3739, 3568)(3407, 3746, 4040)(3410, 3748, 4041)(3413, 3751, 3578)(3419, 3759, 4050)(3420, 3760, 3926)(3422, 3761, 3556)(3423, 3553, 3881)(3424, 3762, 4053)(3433, 3771, 3863)(3435, 3773, 4062)(3438, 3778, 4068)(3441, 3783, 4073)(3442, 3784, 4075)(3445, 3786, 4076)(3452, 3793, 3990)(3454, 3794, 4079)(3456, 3796, 4082)(3457, 3797, 4084)(3460, 3798, 4086)(3463, 3697, 3789)(3464, 3800, 3595)(3467, 3804, 4091)(3469, 3728, 4027)(3470, 3807, 4094)(3473, 3809, 3932)(3475, 3810, 4095)(3479, 3814, 4098)(3480, 3815, 4100)(3483, 3819, 4103)(3488, 3825, 4109)(3492, 3829, 4113)(3494, 3832, 4117)(3497, 3837, 4123)(3502, 3839, 3740)(3514, 3849, 4133)(3520, 3854, 4139)(3524, 3858, 4143)(3525, 3859, 4145)(3529, 3862, 4149)(3531, 3864, 3925)(3535, 3869, 4155)(3537, 3872, 4157)(3540, 3873, 3787)(3543, 3875, 3975)(3544, 3776, 4065)(3547, 3876, 4160)(3557, 3882, 4164)(3559, 3883, 4166)(3561, 3884, 3668)(3565, 3888, 4171)(3567, 3890, 4174)(3570, 3891, 3639)(3572, 3893, 4177)(3576, 3895, 4179)(3581, 3898, 4108)(3589, 3908, 4187)(3599, 3921, 4020)(3602, 3924, 4197)(3607, 3929, 4200)(3610, 3931, 4203)(3613, 3933, 4205)(3614, 3934, 4207)(3618, 3936, 3878)(3619, 3937, 4209)(3622, 3940, 4115)(3626, 3946, 4215)(3630, 3952, 4186)(3633, 3954, 4221)(3636, 3956, 4222)(3637, 3957, 4224)(3640, 3960, 4226)(3646, 3963, 3749)(3649, 3967, 3790)(3653, 3971, 4232)(3655, 3792, 4078)(3656, 3973, 3826)(3657, 3974, 4066)(3659, 3976, 3673)(3664, 3979, 4234)(3665, 3980, 4236)(3667, 3981, 4238)(3672, 3985, 4159)(3677, 3909, 4188)(3682, 3988, 4064)(3684, 3989, 4243)(3690, 3992, 4245)(3691, 3993, 4219)(3704, 4007, 4256)(3706, 4009, 4258)(3707, 4010, 4241)(3709, 4012, 4049)(3713, 4014, 4262)(3714, 4015, 4264)(3717, 4016, 4266)(3718, 4017, 3843)(3719, 4018, 4268)(3720, 4019, 4005)(3726, 4024, 4271)(3729, 3763, 3983)(3731, 4029, 4276)(3733, 4031, 4279)(3734, 4032, 4170)(3735, 4033, 4242)(3742, 4038, 4285)(3743, 3964, 4230)(3744, 3885, 4167)(3752, 3896, 4180)(3755, 3865, 4151)(3757, 4047, 4292)(3764, 4054, 4294)(3766, 4056, 4296)(3767, 3930, 4201)(3769, 4058, 4298)(3772, 4060, 4301)(3774, 4063, 4303)(3779, 4069, 4304)(3781, 4071, 4306)(3801, 4088, 4318)(3802, 3866, 4152)(3805, 4092, 4320)(3811, 4096, 4324)(3813, 4097, 4112)(3816, 4101, 4328)(3817, 4102, 4090)(3820, 4104, 4332)(3821, 4105, 4333)(3823, 4107, 4335)(3827, 4110, 4336)(3830, 4114, 4127)(3833, 4118, 4309)(3835, 4120, 4070)(3840, 4125, 4344)(3841, 4126, 4345)(3845, 4128, 4162)(3846, 4129, 4346)(3850, 4134, 4349)(3852, 4136, 4280)(3855, 4140, 4350)(3856, 4141, 4353)(3870, 4156, 4364)(3889, 4172, 4369)(3892, 4175, 4322)(3894, 4178, 4373)(3899, 4181, 4261)(3900, 4169, 4237)(3902, 4182, 4374)(3904, 4184, 4377)(3905, 4185, 4379)(3910, 3986, 4135)(3912, 4190, 4383)(3914, 4192, 4386)(3916, 4194, 4387)(3917, 4195, 4045)(3919, 4193, 4323)(3923, 4196, 4389)(3928, 4198, 4085)(3938, 4210, 4398)(3941, 4211, 4400)(3942, 4212, 4235)(3944, 4214, 4403)(3947, 4216, 4405)(3948, 4217, 4407)(3958, 4225, 4414)(3961, 4227, 4416)(3965, 4231, 4067)(3968, 4044, 4289)(3972, 4233, 3977)(3982, 4165, 4310)(3984, 4239, 4420)(3991, 4244, 4315)(3994, 4055, 4295)(3997, 4248, 4427)(3999, 4250, 4428)(4000, 4251, 4430)(4002, 4253, 4433)(4003, 4254, 4388)(4011, 4130, 4124)(4013, 4260, 4036)(4021, 4269, 4444)(4022, 4270, 4445)(4025, 4272, 4259)(4028, 4274, 4448)(4030, 4277, 4450)(4034, 4281, 4452)(4035, 4282, 4453)(4037, 4283, 4455)(4039, 4059, 4299)(4042, 4287, 4460)(4043, 4288, 4137)(4046, 4290, 4462)(4048, 4223, 4412)(4051, 4249, 4410)(4052, 4293, 4111)(4057, 4265, 4439)(4061, 4302, 4468)(4072, 4307, 4447)(4074, 4308, 4473)(4077, 4176, 4371)(4080, 4311, 4360)(4081, 4312, 4475)(4083, 4314, 4476)(4087, 4317, 4478)(4089, 4319, 4479)(4093, 4321, 4482)(4099, 4325, 4437)(4106, 4284, 4456)(4116, 4337, 4492)(4119, 4340, 4411)(4121, 4341, 4497)(4122, 4342, 4326)(4131, 4347, 4501)(4132, 4348, 4503)(4138, 4351, 4505)(4142, 4339, 4494)(4144, 4355, 4508)(4146, 4357, 4509)(4147, 4358, 4510)(4148, 4359, 4511)(4150, 4343, 4352)(4153, 4362, 4512)(4154, 4363, 4513)(4158, 4365, 4515)(4161, 4305, 4470)(4163, 4220, 4409)(4168, 4367, 4517)(4173, 4370, 4263)(4183, 4375, 4519)(4189, 4382, 4481)(4191, 4384, 4523)(4199, 4391, 4528)(4202, 4392, 4529)(4204, 4393, 4530)(4206, 4395, 4532)(4208, 4396, 4516)(4213, 4401, 4402)(4218, 4408, 4538)(4228, 4417, 4543)(4229, 4418, 4544)(4240, 4421, 4547)(4246, 4424, 4549)(4247, 4425, 4313)(4252, 4431, 4554)(4255, 4434, 4557)(4257, 4435, 4490)(4267, 4441, 4399)(4273, 4446, 4565)(4275, 4449, 4566)(4278, 4397, 4533)(4286, 4458, 4569)(4291, 4463, 4571)(4297, 4465, 4422)(4300, 4466, 4541)(4316, 4477, 4527)(4327, 4483, 4404)(4329, 4485, 4580)(4330, 4486, 4581)(4331, 4487, 4454)(4334, 4489, 4564)(4338, 4493, 4583)(4354, 4506, 4591)(4356, 4467, 4573)(4361, 4390, 4526)(4366, 4472, 4471)(4368, 4504, 4590)(4372, 4518, 4378)(4376, 4520, 4380)(4381, 4521, 4597)(4385, 4524, 4413)(4394, 4531, 4552)(4406, 4507, 4592)(4415, 4542, 4607)(4419, 4545, 4609)(4423, 4548, 4604)(4426, 4550, 4611)(4429, 4553, 4614)(4432, 4555, 4615)(4436, 4540, 4495)(4438, 4558, 4514)(4440, 4559, 4619)(4442, 4561, 4621)(4443, 4562, 4622)(4451, 4499, 4586)(4457, 4568, 4625)(4459, 4570, 4627)(4461, 4500, 4587)(4464, 4572, 4628)(4469, 4575, 4631)(4474, 4576, 4632)(4480, 4578, 4634)(4484, 4579, 4636)(4488, 4582, 4638)(4491, 4534, 4567)(4496, 4584, 4639)(4498, 4585, 4594)(4502, 4589, 4643)(4522, 4598, 4610)(4525, 4599, 4645)(4535, 4605, 4648)(4536, 4606, 4593)(4537, 4546, 4595)(4539, 4563, 4623)(4551, 4612, 4654)(4556, 4616, 4656)(4560, 4620, 4658)(4574, 4630, 4655)(4577, 4633, 4661)(4588, 4641, 4665)(4596, 4640, 4644)(4600, 4646, 4664)(4601, 4618, 4650)(4602, 4617, 4657)(4603, 4647, 4613)(4608, 4651, 4667)(4624, 4637, 4629)(4626, 4659, 4649)(4635, 4662, 4670)(4642, 4666, 4668)(4652, 4663, 4671)(4660, 4669, 4672)>; c:=x; d:=y;