z1 := (1,2,3)(4,5,7)(6,8,11)(9,12,16)(10,13,18)(14,19,25)(15,20,27)(17,22,30)
     (21,28,37)(23,31,41)(24,32,43)(26,34,46)(29,38,51)(33,44,57)(35,47,61)
     (36,48,62)(39,52,67)(40,53,69)(42,54,71)(45,58,76)(49,63,82)(50,64,84)
     (55,72,93)(56,73,94)(59,77,99)(60,78,101)(65,85,109)(66,86,111)(68,88,
     114)(70,90,117)(74,95,123)(75,96,125)(79,102,131)(80,103,133)(81,104,135)
     (83,106,137)(87,112,144)(89,115,148)(91,118,152)(92,119,154)(97,126,162)
     (98,127,164)(100,128,166)(105,108,139)(107,138,177)(110,141,181)(113,145,
     186)(116,149,191)(120,155,198)(121,156,199)(122,157,201)(124,159,204)
     (129,167,213)(130,168,214)(132,170,217)(134,172,220)(136,174,223)(140,
     179,229)(142,182,233)(143,183,234)(146,187,239)(147,188,240)(150,192,245)
     (151,193,247)(153,195,250)(158,202,258)(160,205,262)(161,206,264)(163,
     208,267)(165,210,270)(169,215,276)(171,218,279)(173,221,282)(175,224,286)
     (176,225,288)(178,227,291)(180,230,295)(184,235,301)(185,236,303)(189,
     241,309)(190,242,311)(194,248,317)(196,251,321)(197,252,322)(200,255,326)
     (203,259,331)(207,265,338)(209,268,341)(211,271,345)(212,272,347)(216,
     277,353)(219,280,357)(222,283,361)(226,289,368)(228,292,371)(231,296,375)
     (232,297,377)(237,304,385)(238,305,387)(243,312,395)(244,313,397)(246,
     315,399)(249,318,402)(253,323,408)(254,324,410)(256,327,413)(257,328,415)
     (260,332,420)(261,333,422)(263,335,396)(266,339,314)(269,342,431)(273,
     348,437)(274,349,398)(275,350,440)(278,354,444)(281,358,449)(284,362,453)
     (285,363,455)(287,365,458)(290,369,463)(293,372,434)(294,373,468)(298,
     378,473)(299,379,475)(300,380,477)(302,382,480)(306,388,484)(307,389,486)
     (308,390,487)(310,392,490)(316,400,497)(319,403,501)(320,404,502)(325,
     411,509)(329,416,515)(330,417,517)(334,423,524)(336,367,460)(337,425,526)
     (340,428,409)(343,432,534)(344,433,536)(346,435,538)(351,441,545)(352,
     442,547)(355,445,550)(356,446,552)(359,450,557)(360,370,464)(364,456,563)
     (366,459,567)(374,469,577)(376,470,579)(381,478,586)(383,481,590)(384,
     424,525)(386,482,592)(391,488,599)(393,491,603)(394,492,605)(401,498,612)
     (405,503,617)(406,504,619)(407,505,621)(412,510,625)(414,512,628)(418,
     518,635)(419,519,637)(421,521,640)(426,527,647)(427,528,649)(429,530,652)
     (430,531,654)(436,539,662)(438,541,665)(439,542,507)(443,454,560)(447,
     553,559)(448,554,678)(451,476,584)(452,558,682)(457,564,687)(461,568,692)
     (462,569,694)(465,572,698)(466,573,700)(467,574,702)(471,580,709)(472,
     581,710)(474,583,713)(479,587,718)(483,593,725)(485,595,727)(489,600,733)
     (493,606,740)(494,607,742)(495,608,744)(496,609,714)(499,613,750)(500,
     614,752)(506,622,760)(508,623,762)(511,626,765)(513,629,768)(514,630,770)
     (516,632,773)(520,638,779)(522,641,783)(523,642,784)(529,650,793)(532,
     655,799)(533,656,801)(535,658,804)(537,660,807)(540,663,811)(543,667,764)
     (544,668,816)(546,670,819)(548,672,822)(549,673,823)(551,675,826)(555,
     679,830)(556,680,831)(561,683,834)(562,684,835)(565,688,839)(566,689,841)
     (570,695,846)(571,696,848)(575,703,855)(576,704,857)(578,706,860)(582,
     711,866)(585,715,869)(588,719,874)(589,720,829)(591,722,878)(594,645,787)
     (596,728,885)(597,729,886)(598,730,888)(601,734,893)(602,735,895)(604,
     737,898)(610,746,907)(611,747,909)(615,753,915)(616,754,916)(618,756,919)
     (620,657,802)(624,763,927)(627,766,930)(631,771,935)(633,774,939)(634,
     775,940)(636,777,942)(639,780,946)(643,785,952)(644,786,954)(646,788,956)
     (648,790,959)(651,794,963)(653,796,966)(659,805,976)(661,808,980)(664,
     812,984)(666,813,986)(669,817,991)(671,820,995)(674,824,1000)(676,827,
     1004)(677,828,1006)(681,832,1010)(685,836,1014)(686,837,1016)(690,842,
     1021)(691,818,992)(693,844,1024)(697,849,1029)(699,850,1031)(701,852,
     1034)(705,858,1040)(707,861,1044)(708,862,1046)(712,717,871)(716,870,
     1053)(721,876,1059)(723,879,1063)(724,880,1064)(726,882,1067)(731,889,
     1074)(732,890,1076)(736,896,1082)(738,899,1085)(739,900,1086)(741,902,
     1089)(743,904,972)(745,905,1092)(748,910,983)(749,911,1098)(751,913,1101)
     (755,917,1106)(757,920,1110)(758,921,1111)(759,922,1113)(761,924,1116)
     (767,931,1123)(769,933,1126)(772,936,1130)(776,847,1027)(778,943,1136)
     (781,947,1140)(782,948,1141)(789,957,1151)(791,960,1155)(792,961,1157)
     (795,964,1160)(797,967,1163)(798,968,1164)(800,970,1165)(803,973,1168)
     (806,977,1172)(809,981,1176)(810,982,1178)(814,987,1182)(815,988,1184)
     (821,996,1193)(825,1001,1199)(833,1011,1209)(838,1017,1216)(840,1019,
     1219)(843,1022,1222)(845,1025,1225)(851,1032,1231)(853,1035,1235)(854,
     1036,1237)(856,1038,1240)(859,1041,1244)(863,999,1196)(864,1047,1249)
     (865,1048,1251)(867,1050,1254)(868,1051,1255)(872,1055,1260)(873,1056,
     1262)(875,994,1190)(877,1060,1267)(881,1065,1273)(883,1068,1276)(884,
     1069,1277)(887,1072,1281)(891,1077,1286)(892,1078,1288)(894,990,1186)
     (897,965,1161)(901,1087,1298)(903,1090,1301)(906,1093,1304)(908,1094,
     1306)(912,1099,1312)(914,1102,1316)(918,1107,1320)(923,1114,1325)(925,
     1117,1329)(926,1118,1331)(928,998,1195)(929,1120,1334)(932,1124,1338)
     (934,1127,1340)(937,1131,1343)(938,1132,1345)(941,1134,1348)(944,1137,
     1352)(945,1138,1354)(949,1142,1359)(950,1143,1361)(951,1144,1363)(953,
     1146,1103)(955,1148,1368)(958,1152,1373)(962,1158,1380)(969,1104,1317)
     (971,1166,1387)(974,1169,1391)(975,1170,1393)(978,1173,1397)(979,1112,
     1324)(985,1180,1405)(989,1185,1410)(993,1189,1415)(997,1194,1421)(1002,
     1200,1427)(1003,1201,1429)(1005,1202,1431)(1007,1204,1434)(1008,1205,
     1436)(1009,1206,1438)(1012,1210,1376)(1013,1211,1400)(1015,1213,1445)
     (1018,1217,1449)(1020,1220,1453)(1023,1223,1457)(1026,1030,1229)(1028,
     1227,1461)(1033,1232,1467)(1037,1238,1474)(1039,1241,1478)(1042,1245,
     1483)(1043,1246,1485)(1045,1248,1487)(1049,1252,1492)(1052,1256,1496)
     (1054,1258,1499)(1057,1263,1504)(1058,1264,1505)(1061,1268,1510)(1062,
     1269,1512)(1066,1274,1518)(1070,1278,1522)(1071,1279,1524)(1073,1282,
     1527)(1075,1283,1224)(1079,1289,1533)(1080,1290,1535)(1081,1291,1536)
     (1083,1293,1538)(1084,1294,1540)(1088,1299,1546)(1091,1302,1549)(1095,
     1307,1555)(1096,1308,1557)(1097,1309,1559)(1100,1313,1564)(1105,1318,
     1569)(1108,1321,1573)(1109,1322,1574)(1115,1326,1577)(1119,1332,1584)
     (1121,1335,1588)(1122,1336,1590)(1125,1339,1593)(1128,1341,1129)(1133,
     1346,1600)(1135,1349,1604)(1139,1355,1610)(1145,1364,1620)(1147,1366,
     1448)(1149,1369,1625)(1150,1370,1626)(1153,1374,1629)(1154,1375,1631)
     (1156,1377,1632)(1159,1381,1637)(1162,1384,1641)(1167,1388,1646)(1171,
     1394,1653)(1174,1398,1657)(1175,1399,1659)(1177,1401,1661)(1179,1403,
     1663)(1181,1406,1666)(1183,1408,1669)(1187,1412,1673)(1188,1413,1675)
     (1191,1417,1680)(1192,1418,1682)(1197,1424,1473)(1198,1425,1495)(1203,
     1432,1696)(1207,1439,1704)(1208,1440,1706)(1212,1444,1710)(1214,1446,
     1713)(1215,1447,1714)(1218,1450,1717)(1221,1454,1722)(1226,1459,1314)
     (1228,1462,1730)(1230,1464,1733)(1233,1468,1738)(1234,1469,1740)(1236,
     1471,1743)(1239,1475,1747)(1242,1479,1751)(1243,1480,1752)(1247,1486,
     1757)(1250,1489,1761)(1253,1493,1766)(1257,1497,1769)(1259,1500,1773)
     (1261,1502,1776)(1265,1506,1781)(1266,1507,1783)(1270,1513,1788)(1271,
     1514,1790)(1272,1515,1791)(1275,1519,1795)(1280,1525,1801)(1284,1528,
     1805)(1285,1509,1558)(1287,1530,1808)(1292,1537,1815)(1295,1541,1820)
     (1296,1542,1822)(1297,1543,1824)(1300,1547,1828)(1303,1550,1832)(1305,
     1552,1834)(1310,1560,1839)(1311,1561,1840)(1315,1565,1844)(1319,1570,
     1849)(1323,1575,1855)(1327,1578,1371)(1328,1579,1860)(1330,1581,1863)
     (1333,1585,1868)(1337,1591,1873)(1342,1596,1567)(1344,1531,1809)(1347,
     1601,1881)(1350,1605,1886)(1351,1606,1888)(1353,1608,1890)(1356,1611,
     1893)(1357,1612,1894)(1358,1613,1895)(1360,1615,1898)(1362,1617,1900)
     (1365,1621,1905)(1367,1623,1908)(1372,1627,1913)(1378,1633,1919)(1379,
     1634,1921)(1382,1638,1926)(1383,1639,1928)(1385,1642,1932)(1386,1643,
     1934)(1389,1647,1939)(1390,1648,1941)(1392,1650,1943)(1395,1654,1948)
     (1396,1655,1950)(1402,1662,1957)(1404,1442,1523)(1407,1667,1476)(1409,
     1670,1965)(1411,1671,1967)(1414,1676,1972)(1416,1678,1962)(1419,1683,
     1980)(1420,1684,1981)(1422,1686,1616)(1423,1687,1985)(1426,1689,1986)
     (1428,1691,1989)(1430,1693,1992)(1433,1697,1995)(1435,1699,1998)(1437,
     1701,2001)(1441,1707,2008)(1443,1708,2010)(1451,1718,2016)(1452,1719,
     2018)(1455,1554,1836)(1456,1723,2022)(1458,1725,2025)(1460,1727,2027)
     (1463,1731,2032)(1465,1734,2036)(1466,1735,2038)(1470,1741,2044)(1472,
     1744,1688)(1477,1748,2050)(1481,1753,2056)(1482,1566,1845)(1484,1755,
     2058)(1488,1759,2063)(1490,1762,2066)(1491,1763,2068)(1494,1767,2072)
     (1498,1770,2075)(1501,1774,2080)(1503,1777,2083)(1508,1784,2091)(1511,
     1786,2094)(1516,1792,2100)(1517,1775,2081)(1520,1796,2104)(1521,1797,
     2106)(1526,1802,2112)(1529,1806,2117)(1532,1810,2120)(1534,1812,2122)
     (1539,1817,2127)(1544,1825,2131)(1545,1826,2133)(1548,1829,1563)(1551,
     1635,1922)(1553,1835,2140)(1556,1580,1861)(1562,1841,2147)(1568,1846,
     2152)(1571,1850,2157)(1572,1851,2159)(1576,1856,2082)(1582,1864,1712)
     (1583,1865,2171)(1586,1869,2176)(1587,1870,2178)(1589,1872,2181)(1592,
     1874,2183)(1594,1603,1883)(1595,1876,2185)(1597,1878,2187)(1598,1879,
     2188)(1599,1880,2189)(1602,1882,1821)(1607,1889,2198)(1609,1891,2201)
     (1614,1896,2205)(1618,1901,2209)(1619,1902,2211)(1622,1906,2216)(1624,
     1909,2220)(1628,1914,1816)(1630,1916,2227)(1636,1923,2235)(1640,1929,
     2241)(1644,1935,2246)(1645,1936,2248)(1649,1942,2253)(1651,1944,2256)
     (1652,1945,2257)(1656,1951,2262)(1658,1953,2265)(1660,1955,2268)(1664,
     1959,2273)(1665,1960,2275)(1668,1963,2277)(1672,1968,1807)(1674,1969,
     2281)(1677,1973,2286)(1679,1975,2288)(1681,1977,2291)(1685,1982,2296)
     (1690,1987,2299)(1692,1990,2074)(1694,1993,2305)(1695,1887,2195)(1698,
     1996,2308)(1700,1999,1827)(1702,2002,2311)(1703,2003,2312)(1705,2005,
     2315)(1709,2011,2320)(1711,2012,2322)(1715,1862,2169)(1716,2015,2325)
     (1720,2019,2329)(1721,2020,2331)(1724,2023,2334)(1726,2026,2337)(1728,
     2028,2250)(1729,2029,2340)(1732,2033,2345)(1736,2039,2351)(1737,2040,
     2353)(1739,2041,2355)(1742,2045,2278)(1745,2047,2078)(1746,2048,2362)
     (1749,2051,2364)(1750,2052,2365)(1754,1931,2243)(1756,2059,2372)(1758,
     2061,2374)(1760,2064,2377)(1764,2069,2383)(1765,2070,2385)(1768,2073,
     2389)(1771,2076,1818)(1772,2077,1833)(1778,2084,1961)(1779,2085,2396)
     (1780,2086,2397)(1782,2088,2400)(1785,2092,2376)(1787,2095,2406)(1789,
     2097,2408)(1793,2101,2411)(1794,2009,2318)(1798,2107,2417)(1799,2108,
     2419)(1800,2109,2421)(1803,2113,2425)(1804,2114,2427)(1811,2121,2434)
     (1813,2123,2437)(1814,2124,2439)(1819,2128,2443)(1823,2130,2445)(1830,
     2136,2174)(1831,2137,2453)(1837,2142,2459)(1838,2143,2424)(1842,2148,
     2466)(1843,2149,2468)(1847,2153,2471)(1848,2154,2017)(1852,2160,2478)
     (1853,2161,2480)(1854,2162,2373)(1857,2165,2483)(1858,2166,2485)(1859,
     2167,2487)(1866,2172,2493)(1867,2173,2495)(1871,2179,2500)(1875,2184,
     2379)(1877,2186,2507)(1884,2192,2499)(1885,2193,2512)(1892,2202,2521)
     (1897,2206,2526)(1899,1915,2175)(1903,2212,2531)(1904,2213,2533)(1907,
     2217,2538)(1910,2221,2489)(1911,2222,2543)(1912,2223,2545)(1917,2228,
     2549)(1918,2229,2210)(1920,2231,2103)(1924,2236,2554)(1925,2237,2465)
     (1927,2238,2556)(1930,2242,2561)(1933,2245,2564)(1937,2249,2568)(1938,
     1974,2287)(1940,2251,2570)(1946,2258,2037)(1947,2259,2578)(1949,2260,
     2579)(1952,2263,2582)(1954,2266,2583)(1956,2269,2587)(1958,2271,2589)
     (1964,2046,2360)(1966,2279,2596)(1970,2282,2600)(1971,2283,2602)(1976,
     2289,2608)(1978,2292,2612)(1979,2293,2407)(1983,2297,2617)(1984,2298,
     2618)(1988,2300,2060)(1991,2302,2098)(1994,2226,2547)(1997,2309,2627)
     (2000,2310,2629)(2004,2313,2632)(2006,2316,2636)(2007,2196,2515)(2013,
     2323,2643)(2014,2324,2645)(2021,2332,2652)(2024,2335,2656)(2030,2341,
     2663)(2031,2342,2664)(2034,2346,2669)(2035,2347,2670)(2042,2356,2678)
     (2043,2357,2679)(2049,2363,2684)(2053,2366,2687)(2054,2367,2689)(2055,
     2368,2691)(2057,2370,2164)(2062,2244,2562)(2065,2378,2699)(2067,2380,
     2700)(2071,2386,2704)(2079,2215,2535)(2087,2398,2712)(2089,2401,2715)
     (2090,2390,2707)(2093,2403,2717)(2096,2145,2462)(2099,2409,2721)(2102,
     2412,2724)(2105,2414,2726)(2110,2422,2733)(2111,2423,2735)(2115,2428,
     2317)(2116,2429,2738)(2118,2431,2741)(2119,2432,2743)(2125,2440,2748)
     (2126,2441,2750)(2129,2444,2581)(2132,2447,2755)(2134,2449,2594)(2135,
     2450,2758)(2138,2454,2762)(2139,2455,2394)(2141,2457,2766)(2144,2461,
     2769)(2146,2463,2772)(2150,2469,2777)(2151,2470,2779)(2155,2473,2781)
     (2156,2474,2716)(2158,2476,2782)(2163,2481,2785)(2168,2488,2790)(2170,
     2490,2792)(2177,2497,2798)(2180,2486,2788)(2182,2502,2801)(2190,2510,
     2807)(2191,2511,2809)(2194,2513,2812)(2197,2516,2815)(2199,2518,2818)
     (2200,2280,2597)(2203,2522,2822)(2204,2523,2824)(2207,2527,2828)(2208,
     2528,2830)(2214,2534,2835)(2218,2539,2839)(2219,2540,2840)(2224,2458,
     2767)(2225,2546,2845)(2230,2413,2639)(2232,2551,2851)(2233,2496,2261)
     (2234,2552,2853)(2239,2557,2857)(2240,2558,2859)(2247,2566,2864)(2252,
     2571,2868)(2254,2477,2783)(2255,2573,2869)(2264,2307,2624)(2267,2584,
     2879)(2270,2588,2883)(2272,2590,2885)(2274,2591,2530)(2276,2593,2888)
     (2284,2603,2881)(2285,2555,2855)(2290,2609,2900)(2294,2614,2905)(2295,
     2615,2906)(2301,2620,2630)(2303,2621,2911)(2304,2622,2913)(2306,2623,
     2560)(2314,2633,2919)(2319,2638,2925)(2321,2640,2926)(2326,2647,2933)
     (2327,2648,2934)(2328,2649,2381)(2330,2650,2402)(2333,2653,2939)(2336,
     2657,2942)(2338,2659,2944)(2339,2660,2946)(2343,2665,2951)(2344,2666,
     2953)(2348,2491,2793)(2349,2671,2677)(2350,2672,2956)(2352,2519,2819)
     (2354,2675,2959)(2358,2577,2873)(2359,2680,2962)(2361,2681,2964)(2369,
     2692,2971)(2371,2694,2974)(2375,2697,2475)(2382,2701,2978)(2384,2703,
     2980)(2387,2705,2472)(2388,2452,2760)(2391,2708,2984)(2392,2709,2985)
     (2393,2529,2831)(2395,2710,2426)(2399,2713,2460)(2404,2718,2994)(2405,
     2719,2996)(2410,2722,2998)(2415,2727,3001)(2416,2728,3002)(2418,2729,
     3003)(2420,2731,3006)(2430,2739,3014)(2433,2744,3015)(2435,2746,3017)
     (2436,2448,2756)(2438,2580,2875)(2442,2751,3022)(2446,2754,2601)(2451,
     2759,3029)(2456,2764,3034)(2464,2773,3037)(2467,2775,3040)(2479,2784,
     3045)(2482,2763,3032)(2484,2787,2544)(2492,2794,2747)(2494,2796,3052)
     (2498,2698,2977)(2501,2799,2725)(2503,2802,3058)(2504,2803,3059)(2505,
     2765,2740)(2506,2804,3061)(2508,2806,3064)(2509,2771,2585)(2514,2813,
     3068)(2517,2816,3071)(2520,2820,2737)(2524,2825,3078)(2525,2686,2626)
     (2532,2734,3009)(2536,2836,3086)(2537,2837,2848)(2541,2841,3090)(2542,
     2842,3091)(2548,2847,3094)(2550,2849,2658)(2553,2854,2823)(2559,2860,
     3102)(2563,2863,3056)(2565,2673,2706)(2567,2865,3105)(2569,2866,2742)
     (2572,2606,2770)(2574,2870,3108)(2575,2871,3110)(2576,2872,3112)(2586,
     2880,3118)(2592,2886,3122)(2595,2889,2838)(2598,2892,3128)(2599,2893,
     3129)(2604,2896,3131)(2605,2897,3106)(2607,2898,3134)(2610,2901,3138)
     (2611,2902,2702)(2613,2903,3139)(2616,2761,3030)(2619,2909,2982)(2625,
     2915,3149)(2628,2916,3151)(2631,2917,3153)(2634,2920,3156)(2635,2921,
     3158)(2637,2923,3081)(2641,2927,3163)(2642,2928,3164)(2644,2930,3167)
     (2646,2932,2676)(2651,2936,2991)(2654,2940,3177)(2655,2941,3147)(2661,
     2947,3179)(2662,2948,2667)(2668,2954,3184)(2674,2957,3188)(2682,2965,
     2963)(2683,2966,3197)(2685,2967,3115)(2688,2931,2844)(2690,2969,3200)
     (2693,2972,3202)(2695,2975,2914)(2696,2976,3205)(2711,2987,3020)(2714,
     2990,3215)(2720,2918,3154)(2723,2999,3222)(2730,3004,3226)(2732,3007,
     3230)(2736,3011,2887)(2745,3016,3239)(2749,3019,2894)(2752,3023,3245)
     (2753,3024,2811)(2757,3027,3247)(2768,3036,3035)(2774,3038,3254)(2776,
     3041,3257)(2778,2890,3125)(2780,3042,3258)(2786,3046,3085)(2789,3048,
     3262)(2791,3049,3264)(2795,3051,3266)(2797,3053,3269)(2800,3055,2997)
     (2805,3062,3066)(2808,2876,3065)(2810,3067,3279)(2814,3069,3280)(2817,
     3072,2829)(2821,3075,3285)(2826,3079,3238)(2827,2929,3165)(2832,3082,
     3292)(2833,3083,3293)(2834,3084,3294)(2843,3092,3288)(2846,3093,3300)
     (2850,3096,3305)(2852,3097,3306)(2856,3099,3309)(2858,3100,3311)(2861,
     2908,3144)(2862,3103,3314)(2867,2995,3219)(2874,3114,3320)(2877,3116,
     2970)(2878,3117,3323)(2882,2950,3181)(2884,3120,3325)(2891,3126,3329)
     (2895,3130,3334)(2899,3135,3337)(2904,3140,3342)(2907,3143,3345)(2910,
     3145,3347)(2912,3146,3349)(2922,3159,3358)(2924,3161,3360)(2935,3171,
     3031)(2937,3173,3162)(2938,3174,3367)(2943,2955,3185)(2945,3178,3369)
     (2949,3180,3370)(2952,3182,3371)(2958,3189,3376)(2960,3191,3170)(2961,
     3192,3379)(2968,3198,3385)(2973,3203,3390)(2979,3111,3318)(2981,3208,
     3396)(2983,3209,3398)(2986,3210,3400)(2988,3212,3401)(2989,3213,3402)
     (2992,3216,3406)(2993,3217,3186)(3000,3223,3411)(3005,3227,3308)(3008,
     3231,3133)(3010,3233,3416)(3012,3235,3121)(3013,3236,3132)(3018,3241,
     3383)(3021,3070,3281)(3025,3063,3276)(3026,3246,3419)(3028,3248,3328)
     (3033,3252,3424)(3039,3255,3199)(3043,3113,3319)(3044,3259,3388)(3047,
     3261,3431)(3050,3265,3436)(3054,3270,3157)(3057,3272,3439)(3060,3274,
     3271)(3073,3224,3243)(3074,3284,3447)(3076,3286,3449)(3077,3287,3450)
     (3080,3290,3335)(3087,3296,3211)(3088,3297,3455)(3089,3298,3348)(3095,
     3303,3460)(3098,3307,3462)(3101,3312,3465)(3104,3315,3107)(3109,3317,
     3470)(3119,3142,3331)(3123,3326,3275)(3124,3327,3477)(3127,3330,3244)
     (3136,3338,3486)(3137,3339,3282)(3141,3343,3469)(3148,3350,3256)(3150,
     3352,3494)(3152,3354,3496)(3155,3356,3341)(3160,3359,3498)(3166,3362,
     3501)(3168,3195,3381)(3169,3364,3503)(3172,3365,3505)(3175,3368,3508)
     (3176,3340,3487)(3183,3372,3479)(3187,3374,3514)(3190,3377,3516)(3193,
     3380,3517)(3194,3302,3458)(3196,3382,3519)(3201,3387,3229)(3204,3391,
     3526)(3206,3393,3420)(3207,3394,3529)(3214,3403,3507)(3218,3355,3497)
     (3220,3408,3405)(3221,3409,3535)(3225,3412,3538)(3228,3410,3484)(3232,
     3415,3427)(3234,3417,3542)(3237,3418,3473)(3240,3332,3480)(3242,3414,
     3539)(3249,3421,3543)(3250,3422,3544)(3251,3423,3545)(3253,3425,3547)
     (3260,3361,3500)(3263,3433,3553)(3267,3437,3366)(3268,3291,3452)(3273,
     3440,3373)(3277,3442,3558)(3278,3443,3560)(3283,3446,3562)(3289,3333,
     3481)(3295,3430,3344)(3299,3456,3568)(3301,3457,3569)(3304,3395,3397)
     (3310,3464,3532)(3313,3466,3316)(3321,3474,3577)(3322,3475,3578)(3324,
     3476,3453)(3336,3483,3581)(3346,3490,3579)(3351,3492,3586)(3353,3495,
     3589)(3357,3485,3582)(3363,3435,3555)(3375,3515,3599)(3384,3520,3510)
     (3386,3522,3602)(3389,3524,3413)(3392,3527,3512)(3399,3531,3605)(3407,
     3489,3583)(3426,3548,3441)(3428,3549,3611)(3429,3550,3612)(3432,3551,
     3499)(3434,3554,3546)(3438,3557,3566)(3444,3561,3618)(3445,3559,3616)
     (3448,3563,3617)(3451,3565,3621)(3454,3567,3622)(3459,3537,3502)(3461,
     3571,3588)(3463,3572,3625)(3467,3574,3488)(3468,3534,3523)(3471,3576,
     3472)(3478,3482,3580)(3491,3584,3630)(3493,3587,3627)(3504,3591,3634)
     (3506,3556,3541)(3509,3594,3525)(3511,3595,3635)(3513,3596,3636)(3518,
     3600,3530)(3521,3601,3614)(3528,3604,3597)(3533,3606,3592)(3536,3598,
     3637)(3540,3608,3632)(3552,3613,3641)(3564,3620,3642)(3570,3624,3629)
     (3573,3626,3575)(3585,3631,3609)(3590,3607,3603)(3593,3628,3633)(3610,
     3640,3646)(3615,3638,3619)(3623,3643,3647)(3639,3644,3648);