b21 := (1,3,6)(2,4,8)(5,9,14)(7,11,17)(10,15,22)(12,18,26)(13,19,28)(16,23,33)
     (20,29,40)(21,30,42)(24,34,47)(25,35,49)(27,37,52)(31,43,59)(32,44,61)
     (36,50,68)(38,53,72)(39,54,74)(41,56,77)(45,62,84)(46,63,86)(48,65,89)
     (51,69,94)(55,75,101)(57,78,105)(58,79,107)(60,81,110)(64,87,117)(66,90,
     121)(67,91,123)(70,95,128)(71,96,130)(73,98,133)(76,102,138)(80,108,145)
     (82,111,149)(83,112,151)(85,114,154)(88,118,159)(92,124,166)(93,125,168)
     (97,131,175)(99,134,179)(100,135,181)(103,139,186)(104,140,188)(106,142,
     191)(109,146,196)(113,152,203)(115,155,207)(116,156,209)(119,160,214)
     (120,161,216)(122,163,219)(126,169,226)(127,170,228)(129,172,231)(132,
     176,236)(136,182,243)(137,183,245)(141,189,252)(143,192,256)(144,193,258)
     (147,197,263)(148,198,265)(150,200,268)(153,204,273)(157,210,280)(158,
     211,282)(162,217,289)(164,220,293)(165,221,295)(167,223,298)(171,229,305)
     (173,232,309)(174,233,311)(177,237,315)(178,238,317)(180,240,320)(184,
     246,326)(185,247,328)(187,249,331)(190,253,336)(194,259,343)(195,260,345)
     (199,266,352)(201,269,356)(202,270,358)(205,274,363)(206,275,365)(208,
     277,368)(212,283,375)(213,284,377)(215,286,380)(218,290,385)(222,296,392)
     (224,299,396)(225,300,398)(227,302,401)(230,306,406)(234,312,413)(235,
     313,415)(239,318,421)(241,321,425)(242,322,427)(244,323,429)(248,329,436)
     (250,332,440)(251,333,442)(254,337,447)(255,338,448)(257,340,451)(261,
     346,458)(262,347,460)(264,349,463)(267,353,468)(271,359,475)(272,360,477)
     (276,366,484)(278,369,488)(279,370,490)(281,372,493)(285,378,500)(287,
     381,504)(288,382,506)(291,386,511)(292,387,512)(294,389,515)(297,393,520)
     (301,399,527)(303,402,531)(304,403,533)(307,407,502)(308,408,538)(310,
     410,541)(314,416,547)(316,418,550)(319,422,555)(324,430,564)(325,431,566)
     (327,433,569)(330,437,574)(334,443,581)(335,444,583)(339,449,589)(341,
     452,592)(342,453,594)(344,455,597)(348,461,603)(350,464,607)(351,465,609)
     (354,469,614)(355,470,616)(357,472,619)(361,478,626)(362,479,628)(364,
     481,631)(367,485,636)(371,491,643)(373,494,647)(374,495,649)(376,497,652)
     (379,501,657)(383,507,663)(384,508,665)(388,513,671)(390,516,675)(391,
     517,677)(394,521,681)(395,522,683)(397,524,686)(400,528,691)(404,534,698)
     (405,535,700)(409,539,705)(411,473,620)(412,542,709)(414,544,712)(417,
     548,717)(419,551,721)(420,552,723)(423,556,728)(424,557,730)(426,559,733)
     (428,561,735)(432,567,742)(434,570,746)(435,571,748)(438,575,753)(439,
     576,755)(441,578,758)(445,584,765)(446,585,767)(450,471,617)(454,595,778)
     (456,598,782)(457,480,629)(459,600,785)(462,604,790)(466,610,796)(467,
     611,798)(474,621,808)(476,623,811)(482,632,821)(483,633,823)(486,637,828)
     (487,638,830)(489,640,833)(492,644,838)(496,650,845)(498,653,849)(499,
     654,851)(503,658,856)(505,660,859)(509,666,865)(510,667,867)(514,672,873)
     (518,678,880)(519,679,882)(523,684,888)(525,687,802)(526,688,893)(529,
     692,898)(530,693,900)(532,695,903)(536,701,910)(537,702,912)(540,706,917)
     (543,710,922)(545,713,926)(546,714,927)(549,718,932)(553,724,938)(554,
     725,940)(558,731,947)(560,734,754)(562,736,952)(563,737,953)(565,739,956)
     (568,743,961)(572,749,968)(573,750,970)(577,756,976)(579,759,980)(580,
     760,982)(582,762,985)(586,768,991)(587,769,993)(588,770,995)(590,772,998)
     (591,773,1000)(593,775,1003)(596,779,1008)(599,783,1013)(601,786,1017)
     (602,787,1019)(605,791,1024)(606,792,1026)(608,794,1029)(612,799,1034)
     (613,800,1036)(615,639,831)(618,804,1040)(622,809,1046)(624,812,1049)
     (625,813,1051)(627,815,1054)(630,818,1058)(634,824,1065)(635,825,1067)
     (641,834,1076)(642,835,1078)(645,839,1083)(646,840,1085)(648,842,1088)
     (651,846,1093)(655,852,1100)(656,853,1102)(659,857,1107)(661,860,1111)
     (662,861,1113)(664,863,1116)(668,868,1121)(669,869,1122)(670,870,1124)
     (673,874,1129)(674,875,1131)(676,877,1134)(680,883,1141)(682,885,1144)
     (685,889,1149)(689,894,1154)(690,895,1156)(694,901,1163)(696,904,1167)
     (697,905,1169)(699,907,1172)(703,913,1178)(704,914,1180)(707,918,1185)
     (708,919,1187)(711,923,1191)(715,928,1197)(716,929,1199)(719,933,1204)
     (720,934,1206)(722,935,1208)(726,941,1215)(727,942,1217)(729,944,1220)
     (732,948,1225)(738,954,1232)(740,957,1236)(741,958,1238)(744,962,1243)
     (745,963,1244)(747,965,1247)(751,971,1253)(752,972,1255)(757,977,1261)
     (761,983,1266)(763,986,1269)(764,987,1271)(766,989,1274)(771,996,1282)
     (774,1001,1287)(776,1004,1291)(777,1005,1293)(780,1009,1296)(781,1010,
     1298)(784,1014,1303)(788,1020,1309)(789,1021,1311)(793,1027,1318)(795,
     1030,1322)(797,1032,1324)(801,1037,1330)(803,1038,1332)(805,1041,1336)
     (806,1042,1153)(807,1043,1339)(810,1047,1344)(814,1052,1350)(816,1055,
     1354)(817,1056,1356)(819,1059,1359)(820,1060,1360)(822,1062,1363)(826,
     1068,1369)(827,1069,1371)(829,1071,1374)(832,1073,1377)(836,1079,1384)
     (837,1080,1386)(841,1086,1393)(843,1089,1397)(844,1090,1398)(847,1094,
     1403)(848,1095,1405)(850,1097,1408)(854,1103,1415)(855,1104,1417)(858,
     1108,1422)(862,1114,1429)(864,1117,1433)(866,1119,1436)(871,1125,1443)
     (872,1126,1445)(876,1132,1452)(878,1135,1455)(879,1136,1457)(881,1138,
     1460)(884,1142,1465)(886,1145,1469)(887,1146,1471)(890,1150,1476)(891,
     1151,1478)(892,1152,1480)(896,1157,1484)(897,1158,1486)(899,1160,1488)
     (902,1164,1493)(906,1170,1499)(908,1173,1503)(909,1023,1313)(911,1175,
     1506)(915,1181,1513)(916,1182,1514)(920,1188,1166)(921,1128,1447)(924,
     1192,1525)(925,1193,1527)(930,1200,1535)(931,1201,1537)(936,1209,1546)
     (937,1210,1548)(939,1212,1551)(943,1218,1558)(945,1221,1562)(946,1222,
     1564)(949,1226,1568)(950,1227,1570)(951,1228,1572)(955,1233,1577)(959,
     1239,1584)(960,1240,1586)(964,1245,1592)(966,1248,1596)(967,1249,1598)
     (969,1250,1599)(973,1256,1605)(974,1257,1607)(975,1258,1609)(978,1262,
     1614)(979,1263,1616)(981,1265,1619)(984,1061,1361)(988,1272,1627)(990,
     1275,1630)(992,1277,1633)(994,1279,1636)(997,1283,1641)(999,1284,1642)
     (1002,1288,1646)(1006,1294,1653)(1007,1295,1655)(1011,1299,1660)(1012,
     1300,1662)(1015,1184,1516)(1016,1304,1667)(1018,1306,1670)(1022,1312,
     1676)(1025,1315,1679)(1028,1319,1684)(1031,1308,1672)(1033,1325,1691)
     (1035,1327,1694)(1039,1333,1700)(1044,1340,1707)(1045,1341,1709)(1048,
     1345,1714)(1050,1347,1717)(1053,1351,1722)(1057,1357,1729)(1063,1364,
     1737)(1064,1365,1739)(1066,1366,1741)(1070,1372,1748)(1072,1375,1751)
     (1074,1378,1755)(1075,1379,1757)(1077,1381,1760)(1081,1387,1766)(1082,
     1388,1768)(1084,1390,1771)(1087,1394,1776)(1091,1399,1780)(1092,1400,
     1782)(1096,1406,1789)(1098,1409,1792)(1099,1410,1794)(1101,1412,1797)
     (1105,1418,1804)(1106,1419,1806)(1109,1423,1811)(1110,1424,1813)(1112,
     1426,1816)(1115,1430,1821)(1118,1434,1826)(1120,1437,1830)(1123,1440,
     1834)(1127,1446,1812)(1130,1449,1843)(1133,1453,1848)(1137,1458,1853)
     (1139,1461,1857)(1140,1462,1858)(1143,1466,1863)(1147,1472,1334)(1148,
     1473,1870)(1155,1481,1879)(1161,1489,1888)(1162,1490,1890)(1165,1494,
     1895)(1168,1496,1898)(1171,1500,1903)(1174,1504,1907)(1176,1507,1910)
     (1177,1508,1912)(1179,1510,1914)(1183,1515,1920)(1186,1518,1923)(1189,
     1521,1927)(1190,1522,1929)(1194,1528,1454)(1195,1529,1936)(1196,1530,
     1938)(1198,1532,1560)(1202,1538,1946)(1203,1539,1948)(1205,1541,1505)
     (1207,1543,1952)(1211,1549,1959)(1213,1552,1963)(1214,1553,1965)(1216,
     1555,1968)(1219,1559,1973)(1223,1565,1979)(1224,1566,1981)(1229,1573,
     1989)(1230,1574,1991)(1231,1575,1993)(1234,1578,1997)(1235,1579,1999)
     (1237,1581,2001)(1241,1587,1778)(1242,1588,2009)(1246,1593,2014)(1251,
     1600,2020)(1252,1349,1719)(1254,1602,2023)(1259,1610,2031)(1260,1611,
     2033)(1264,1617,2039)(1267,1621,1833)(1268,1622,2043)(1270,1624,2045)
     (1273,1628,2048)(1276,1631,2052)(1278,1634,2056)(1280,1637,2060)(1281,
     1638,2062)(1285,1643,2068)(1286,1302,1664)(1289,1647,2073)(1290,1648,
     2075)(1292,1650,2078)(1297,1657,2086)(1301,1663,1815)(1305,1668,2096)
     (1307,1671,2100)(1310,1673,2103)(1314,1678,2109)(1316,1680,2112)(1317,
     1681,2114)(1320,1685,2119)(1321,1686,2121)(1323,1688,2124)(1326,1692,
     2128)(1328,1695,2132)(1329,1464,1860)(1331,1697,2135)(1335,1701,2140)
     (1337,1703,2143)(1338,1704,2145)(1342,1710,1856)(1343,1711,2152)(1346,
     1715,2156)(1348,1718,2160)(1352,1723,2166)(1353,1724,2168)(1355,1726,
     2171)(1358,1730,2175)(1362,1734,2180)(1367,1742,2189)(1368,1743,1917)
     (1370,1745,2193)(1373,1749,1442)(1376,1752,2200)(1380,1758,2207)(1382,
     1761,2211)(1383,1762,2213)(1385,1764,2216)(1389,1769,2221)(1391,1772,
     2225)(1392,1773,2227)(1395,1777,2232)(1396,1608,2028)(1401,1783,2238)
     (1402,1784,2240)(1404,1786,2243)(1407,1790,2247)(1411,1795,2253)(1413,
     1798,2257)(1414,1799,2259)(1416,1801,2262)(1420,1807,2268)(1421,1808,
     2270)(1425,1814,2274)(1427,1817,2277)(1428,1818,2278)(1431,1822,2282)
     (1432,1823,2284)(1435,1827,2289)(1438,1831,2294)(1439,1832,2296)(1441,
     1835,2299)(1444,1837,2302)(1448,1841,1603)(1450,1844,2309)(1451,1845,
     2311)(1456,1850,2317)(1459,1854,2322)(1463,1859,2326)(1467,1864,2331)
     (1468,1865,2333)(1470,1867,2336)(1474,1871,2341)(1475,1872,2343)(1477,
     1874,2346)(1479,1876,2349)(1482,1880,2354)(1483,1881,2356)(1485,1883,
     2359)(1487,1885,2361)(1491,1891,2367)(1492,1892,2369)(1495,1896,2371)
     (1497,1899,2374)(1498,1900,2376)(1501,1904,2381)(1502,1905,2383)(1509,
     1913,2390)(1511,1915,2392)(1512,1916,2394)(1517,1921,2399)(1519,1924,
     2110)(1520,1925,2403)(1523,1930,2409)(1524,1931,2411)(1526,1933,2414)
     (1531,1939,2419)(1533,1940,2421)(1534,1941,2423)(1536,1943,2426)(1542,
     1950,2434)(1544,1953,2437)(1545,1954,2439)(1547,1956,2442)(1550,1960,
     2447)(1554,1966,2454)(1556,1969,2456)(1557,1970,2458)(1561,1974,2463)
     (1563,1976,2466)(1567,1982,2472)(1569,1984,2475)(1571,1986,2138)(1576,
     1994,1805)(1580,2000,2490)(1582,2002,2493)(1583,2003,2495)(1585,2005,
     2497)(1589,2010,2388)(1590,2011,2503)(1591,2012,2504)(1594,2015,2508)
     (1595,2016,2510)(1597,2018,2513)(1601,2021,2516)(1604,2024,2420)(1606,
     2026,2521)(1612,2034,2530)(1613,2035,2531)(1615,1652,2080)(1618,2040,
     2537)(1620,2042,2540)(1623,1861,2328)(1625,2046,2545)(1626,2047,2547)
     (1629,2049,2549)(1632,2053,2553)(1635,2057,2558)(1639,2063,2564)(1640,
     2064,2566)(1644,2069,2572)(1645,2070,2574)(1649,2076,2581)(1651,2079,
     2585)(1654,2082,2588)(1656,2084,2591)(1658,1932,2412)(1659,1851,2318)
     (1661,2088,2595)(1665,2092,2599)(1666,2093,2601)(1669,2097,2606)(1674,
     2104,2613)(1675,2105,2418)(1677,2107,2616)(1682,2115,2624)(1683,2116,
     2626)(1687,2122,2633)(1689,2125,2637)(1690,1725,2169)(1693,2129,2642)
     (1696,2133,1705)(1698,2136,2647)(1699,2137,2649)(1702,2141,2653)(1706,
     2146,2658)(1708,2148,2661)(1712,2153,2665)(1713,2154,2667)(1716,2157,
     2671)(1720,2162,2677)(1721,2163,2679)(1727,2130,1977)(1728,2172,2686)
     (1731,2176,2691)(1732,2177,2693)(1733,2178,2695)(1735,2181,2698)(1736,
     2182,2700)(1738,2184,2703)(1740,2186,2705)(1744,2191,2711)(1746,2194,
     2714)(1747,2195,2716)(1750,2197,2719)(1753,2201,2724)(1754,2202,2726)
     (1756,2204,2729)(1759,2208,2732)(1763,2214,2738)(1765,2217,2741)(1767,
     2219,2744)(1770,2222,2747)(1774,2228,2754)(1775,2229,2756)(1779,2233,
     2761)(1781,2235,2764)(1785,2241,2769)(1787,2244,2772)(1788,2218,2742)
     (1791,2248,2776)(1793,2250,2779)(1796,2254,2783)(1800,2260,2789)(1802,
     2263,2205)(1803,2264,2794)(1809,2271,2802)(1810,2272,2803)(1819,2279,
     2810)(1820,2280,2812)(1824,2285,2817)(1825,2286,2819)(1828,2290,2822)
     (1829,2291,2824)(1836,2300,2833)(1838,2303,2837)(1839,2304,2839)(1840,
     2089,2596)(1842,2306,2841)(1846,2312,2847)(1847,2313,2849)(1849,2315,
     2852)(1852,2319,2857)(1855,2323,2862)(1862,2329,2869)(1866,2334,2875)
     (1868,2337,2879)(1869,2338,2881)(1873,2344,2888)(1875,2347,2892)(1877,
     2350,2896)(1878,2351,2898)(1882,2357,2905)(1884,2360,2305)(1886,2362,
     2911)(1887,2363,2913)(1889,2365,2916)(1893,1971,2459)(1894,2127,2639)
     (1897,2372,2924)(1901,2377,2930)(1902,2378,2932)(1906,2384,2939)(1908,
     2198,2720)(1909,2386,2942)(1911,2387,2943)(1918,2395,2948)(1919,2396,
     2950)(1922,2397,2951)(1926,2404,2477)(1928,2406,2961)(1934,2415,2969)
     (1935,2416,2971)(1937,2417,2973)(1942,2424,2978)(1944,2427,2982)(1945,
     2428,2984)(1947,2430,2987)(1949,2432,2990)(1951,2435,2276)(1955,2440,
     2752)(1957,2443,3000)(1958,2444,3002)(1961,2448,3006)(1962,2449,3008)
     (1964,2451,3011)(1967,2455,3016)(1972,2460,3021)(1975,2464,3026)(1978,
     2467,3029)(1980,2469,3032)(1983,2473,3036)(1985,2476,3040)(1987,2478,
     3042)(1988,2479,3044)(1990,2481,3047)(1992,1995,2484)(1996,2485,2832)
     (1998,2487,3052)(2004,2496,2840)(2006,2498,3063)(2007,2499,3065)(2008,
     2500,2831)(2013,2505,3070)(2017,2511,3075)(2019,2514,3079)(2022,2517,
     3083)(2025,2519,3086)(2027,2522,3090)(2029,2524,3093)(2030,2525,3092)
     (2032,2527,3097)(2036,2532,3102)(2037,2533,3104)(2038,2534,2165)(2041,
     2538,3109)(2044,2542,2393)(2050,2550,3121)(2051,2144,2655)(2054,2554,
     3125)(2055,2555,3126)(2058,2559,3129)(2059,2560,2099)(2061,2562,3131)
     (2065,2567,3134)(2066,2568,3136)(2067,2569,3137)(2071,2575,3144)(2072,
     2576,3146)(2074,2578,3149)(2077,2582,3153)(2081,2586,3157)(2083,2589,
     3160)(2085,2592,3164)(2087,2593,3165)(2090,2573,3141)(2091,2597,2907)
     (2094,2602,2580)(2095,2603,3173)(2098,2607,2438)(2101,2609,3180)(2102,
     2610,3182)(2106,2614,3186)(2108,2617,3189)(2111,2619,3192)(2113,2621,
     3168)(2117,2627,3200)(2118,2628,3202)(2120,2630,3205)(2123,2634,3209)
     (2126,2638,2890)(2131,2643,3216)(2134,2645,3218)(2139,2650,2483)(2142,
     2654,3227)(2147,2659,3233)(2149,2662,2945)(2150,2297,2829)(2151,2663,
     3238)(2155,2668,3244)(2158,2672,3248)(2159,2673,3250)(2161,2675,3252)
     (2164,2680,3258)(2167,2681,3259)(2170,2683,3262)(2173,2687,3265)(2174,
     2688,3267)(2179,2696,3275)(2183,2701,3277)(2185,2704,3281)(2187,2706,
     3283)(2188,2707,3285)(2190,2709,3287)(2192,2712,3290)(2196,2717,3294)
     (2199,2721,3297)(2203,2727,3302)(2206,2730,3306)(2209,2733,3310)(2210,
     2734,3312)(2212,2736,3315)(2215,2739,3319)(2220,2745,2915)(2223,2748,
     3328)(2224,2749,3330)(2226,2751,3333)(2230,2757,3339)(2231,2758,2563)
     (2234,2762,2860)(2236,2765,3347)(2237,2766,3349)(2239,2767,2561)(2242,
     2770,3353)(2245,2773,3355)(2249,2777,3357)(2251,2780,3361)(2252,2781,
     3363)(2255,2708,2970)(2256,2784,3366)(2258,2786,3368)(2261,2790,3373)
     (2265,2795,3379)(2266,2796,3381)(2267,2797,3383)(2269,2799,3386)(2273,
     2804,3391)(2275,2806,3394)(2281,2813,3402)(2283,2815,3405)(2287,2820,
     3409)(2288,2821,2631)(2292,2825,3413)(2293,2826,3415)(2295,2486,2598)
     (2298,2830,3418)(2301,2834,3421)(2307,2842,3428)(2308,2843,3429)(2310,
     2844,3430)(2314,2850,3437)(2316,2853,3440)(2320,2858,3446)(2321,2859,
     3448)(2324,2863,3452)(2325,2864,3454)(2327,2866,3457)(2330,2870,3462)
     (2332,2872,3465)(2335,2876,3470)(2339,2882,3476)(2340,2883,3478)(2342,
     2885,3481)(2345,2889,3486)(2348,2893,3489)(2352,2899,3495)(2353,2900,
     3497)(2355,2902,3500)(2358,2906,3504)(2364,2914,3511)(2366,2917,3513)
     (2368,2919,3516)(2370,2921,3518)(2373,2925,3523)(2375,2927,3525)(2379,
     2933,3531)(2380,2934,3532)(2382,2936,3534)(2385,2940,3240)(2389,2944,
     3542)(2391,2946,3544)(2398,2952,2697)(2400,2954,3552)(2401,2955,3554)
     (2402,2956,3556)(2405,2959,3560)(2407,2962,2446)(2408,2963,3564)(2410,
     2965,3566)(2413,2967,3569)(2422,2976,3578)(2425,2979,3582)(2429,2985,
     3589)(2431,2988,3593)(2433,2991,3597)(2436,2994,3601)(2441,2997,3605)
     (2445,3003,3609)(2450,3009,3616)(2452,3012,3620)(2453,3013,3622)(2457,
     3017,3627)(2461,3022,3633)(2462,3023,3635)(2465,3027,3637)(2468,3030,
     3641)(2470,2520,3087)(2471,3033,3645)(2474,3037,3649)(2480,3045,3658)
     (2482,3048,3661)(2488,3053,3667)(2489,3054,3669)(2491,3056,3672)(2492,
     3057,3674)(2494,3059,3676)(2501,3067,3684)(2502,3068,3686)(2506,3071,
     3690)(2507,3072,2600)(2509,3073,2725)(2512,3076,2878)(2515,3080,3698)
     (2518,3084,3279)(2523,3091,3706)(2526,3095,2551)(2528,3098,3712)(2529,
     3099,3714)(2535,3105,3720)(2536,3106,3722)(2539,3110,3725)(2541,3111,
     3726)(2543,3113,3729)(2544,3114,3731)(2546,3116,3734)(2548,3118,3737)
     (2552,3122,3742)(2556,2947,3545)(2557,3127,3747)(2565,3133,3754)(2570,
     3138,3759)(2571,3139,3761)(2577,3147,3770)(2579,3150,3774)(2583,3154,
     3778)(2584,2755,3336)(2587,3158,3783)(2590,3161,3786)(2594,3166,3790)
     (2604,3174,3796)(2605,3175,3798)(2608,3178,3802)(2612,3183,3201)(2615,
     3187,3811)(2618,3190,3814)(2620,3193,3103)(2622,3195,3817)(2623,3196,
     3819)(2625,3197,3821)(2629,3203,3827)(2632,3206,3831)(2635,3210,3834)
     (2636,3034,2785)(2640,3213,3838)(2641,3214,3840)(2644,3217,3844)(2646,
     3219,3846)(2648,3220,3081)(2651,3223,3850)(2652,3224,3184)(2656,3229,
     3856)(2657,3230,3858)(2660,3234,3863)(2664,3239,3868)(2666,3241,3870)
     (2669,3225,3852)(2670,3245,3873)(2674,3251,3372)(2676,3253,3881)(2678,
     3255,3884)(2682,3260,3889)(2684,3263,3893)(2685,3264,3895)(2689,3268,
     3900)(2690,3269,3902)(2692,3271,3905)(2694,3273,3807)(2699,3276,3826)
     (2702,3278,3911)(2710,3288,3918)(2713,3291,3907)(2715,2996,3603)(2718,
     3035,3646)(2722,3298,3928)(2723,3299,3243)(2728,3303,3934)(2731,3307,
     3937)(2735,3313,3944)(2737,3316,3948)(2740,3320,3952)(2743,3322,3955)
     (2746,3325,3842)(2750,3331,3964)(2753,3334,3968)(2759,3341,3974)(2760,
     3342,3976)(2763,3345,3979)(2768,3351,3985)(2774,3356,3991)(2775,3050,
     3663)(2778,3358,3994)(2782,3364,4000)(2787,3369,4006)(2788,3370,4008)
     (2791,3374,3317)(2792,3375,4013)(2793,3376,4015)(2798,3384,4023)(2800,
     3387,4027)(2801,3388,4029)(2805,3392,4034)(2807,3395,4037)(2808,3396,
     4039)(2809,3397,3733)(2811,3399,4042)(2814,3403,4047)(2816,3406,4051)
     (2818,3407,3058)(2823,3411,4055)(2827,3416,3862)(2828,3417,4062)(2835,
     3422,3772)(2836,3423,4069)(2838,3424,4071)(2845,3431,3188)(2846,3432,
     4077)(2848,3434,4079)(2851,3438,4083)(2854,3441,3151)(2855,3442,4086)
     (2856,3443,4088)(2861,3449,4095)(2865,3455,4102)(2867,3458,4106)(2868,
     3459,3001)(2871,3463,4110)(2873,3466,3710)(2874,3467,4114)(2877,3471,
     3194)(2880,3473,4120)(2884,3479,4126)(2886,3482,4128)(2887,3483,4130)
     (2891,3487,4132)(2894,3490,4136)(2895,3491,4138)(2897,3492,4140)(2901,
     3498,4147)(2903,3501,4151)(2904,3502,4153)(2908,3077,3695)(2909,3505,
     4156)(2910,3506,4158)(2912,3508,4160)(2918,3514,4165)(2920,3517,4168)
     (2922,3519,4171)(2923,3520,4172)(2926,3524,4175)(2928,3526,4177)(2929,
     3527,3461)(2935,3533,4183)(2937,3535,4186)(2938,3536,4188)(2941,3538,
     4190)(2949,3547,4200)(2953,3551,4202)(2957,3557,4207)(2958,3558,4209)
     (2960,3561,4212)(2964,3565,4216)(2966,3567,4219)(2968,3570,4223)(2972,
     3573,4226)(2974,3575,4229)(2975,3576,4231)(2977,3579,4234)(2980,3583,
     4238)(2981,3584,4239)(2983,3586,3758)(2986,3590,4245)(2989,3594,4248)
     (2992,3598,4253)(2993,3599,3350)(2995,3602,4258)(2998,3389,4030)(2999,
     3606,4261)(3004,3610,4085)(3005,3611,4265)(3007,3613,4266)(3010,3617,
     4270)(3014,3623,3108)(3015,3624,4276)(3018,3628,4281)(3019,3629,4283)
     (3020,3630,4285)(3024,3354,3988)(3028,3638,4292)(3031,3642,4295)(3038,
     3650,4300)(3039,3651,3559)(3041,3653,4304)(3043,3655,4307)(3046,3659,
     3167)(3049,3662,3809)(3051,3664,4314)(3055,3670,4321)(3060,3677,4328)
     (3061,3678,4330)(3062,3679,4332)(3064,3681,4335)(3066,3682,4297)(3069,
     3687,4340)(3074,3692,4122)(3078,3222,3849)(3082,3699,4348)(3085,3701,
     4350)(3088,3212,3836)(3089,3704,4354)(3094,3707,4357)(3096,3709,4360)
     (3100,3715,3612)(3101,3716,3475)(3107,3723,4372)(3112,3727,4376)(3115,
     3732,3946)(3117,3735,4383)(3119,3738,4386)(3120,3739,3883)(3123,3608,
     4263)(3124,3743,4390)(3128,3748,4395)(3130,3750,4397)(3132,3752,4400)
     (3135,3755,4402)(3140,3762,3170)(3142,3764,4409)(3143,3765,4411)(3145,
     3767,4414)(3148,3771,4419)(3152,3775,4423)(3155,3779,3284)(3156,3780,
     4241)(3159,3784,4430)(3162,3787,4433)(3163,3515,4166)(3169,3791,4437)
     (3171,3792,4438)(3172,3793,3691)(3176,3799,4443)(3177,3800,4445)(3179,
     3803,4448)(3181,3805,4451)(3185,3808,4454)(3191,3242,3871)(3198,3822,
     4464)(3199,3823,4466)(3204,3828,4468)(3207,3832,4472)(3208,3713,4363)
     (3211,3835,3305)(3215,3841,4482)(3221,3848,4486)(3226,3853,4490)(3228,
     3854,4389)(3231,3859,4497)(3232,3860,3257)(3235,3864,3282)(3236,3744,
     4391)(3237,3865,4501)(3246,3874,4509)(3247,3875,3632)(3249,3877,4512)
     (3254,3882,4517)(3256,3885,4520)(3261,3890,4387)(3266,3897,4532)(3270,
     3903,4537)(3272,3906,4539)(3274,3908,4540)(3280,3912,4544)(3286,3915,
     4548)(3289,3919,4506)(3292,3921,4552)(3293,3922,4554)(3295,3924,4557)
     (3296,3925,4559)(3300,3930,4565)(3301,3931,4567)(3304,3935,4571)(3308,
     3938,4575)(3309,3939,3640)(3311,3941,4579)(3314,3945,4583)(3318,3949,
     4586)(3321,3953,4591)(3323,3956,4439)(3324,3957,4595)(3326,3959,3753)
     (3327,3960,4597)(3329,3961,4599)(3332,3965,4604)(3335,3969,4608)(3337,
     3966,3876)(3338,3971,4611)(3340,3972,4613)(3343,3977,4525)(3344,3978,
     4617)(3346,3980,3958)(3348,3982,4038)(3352,3986,4624)(3359,3995,4632)
     (3360,3996,4634)(3362,3998,4636)(3365,4001,4638)(3367,4003,4641)(3371,
     4009,4366)(3377,4016,4654)(3378,4017,4656)(3380,4019,4659)(3382,4020,
     4661)(3385,4024,4666)(3390,4031,4673)(3393,4035,4677)(3398,3927,4561)
     (3400,4043,4685)(3401,4044,4686)(3404,4048,4365)(3408,4052,4125)(3410,
     4053,3657)(3412,4056,4696)(3414,4058,3618)(3419,4064,4702)(3420,4065,
     4704)(3425,3647,3693)(3426,4072,3983)(3427,4073,4712)(3433,4078,4715)
     (3435,4080,4718)(3436,4081,4720)(3439,4084,4724)(3444,4089,4444)(3445,
     4090,4726)(3447,4092,4729)(3450,4096,4500)(3451,4097,4135)(3453,4099,
     4736)(3456,4103,3801)(3460,4108,4745)(3464,4111,4748)(3468,4115,4752)
     (3469,4116,4754)(3472,4118,4755)(3474,4121,4758)(3477,4123,4760)(3480,
     4127,4763)(3484,3683,4061)(3485,4131,4767)(3488,4133,4770)(3493,4141,
     4774)(3494,4142,4206)(3496,4144,4778)(3499,4148,3824)(3503,4154,4787)
     (3507,4159,4167)(3509,4161,4793)(3510,4162,4794)(3512,4163,4796)(3521,
     4036,4678)(3522,4173,4801)(3528,4178,4807)(3529,4179,4809)(3530,4180,
     4810)(3537,4189,4817)(3539,4191,4820)(3540,4192,4139)(3541,4193,4822)
     (3543,4195,4362)(3546,4198,4827)(3548,3718,4368)(3549,4201,4830)(3550,
     3577,4232)(3553,4204,4834)(3555,4205,4836)(3562,4213,4843)(3563,4214,
     4845)(3568,4220,4852)(3571,4025,4667)(3572,4224,4857)(3574,4227,4861)
     (3580,4235,4867)(3581,4236,4869)(3585,4240,4872)(3587,4242,4874)(3588,
     4243,4876)(3591,4169,4772)(3592,4246,4087)(3595,4249,4883)(3596,4250,
     4582)(3600,4255,4889)(3604,4259,4893)(3607,4262,4895)(3614,4267,3878)
     (3615,4268,4900)(3619,4271,4904)(3621,4273,3660)(3625,4277,4421)(3626,
     4278,4910)(3631,4286,4146)(3634,4288,4789)(3636,4290,4921)(3639,4032,
     4674)(3644,4296,4927)(3648,4208,4838)(3652,4302,4590)(3654,4305,4934)
     (3656,4308,4938)(3665,4315,4945)(3666,4316,3675)(3668,4318,4948)(3671,
     4322,4953)(3673,4324,4955)(3680,4333,4963)(3685,4337,4968)(3688,4341,
     4972)(3689,4342,4974)(3694,4344,4975)(3696,4345,4977)(3697,4346,4978)
     (3700,3719,4369)(3702,4351,4564)(3703,4352,4984)(3705,4355,4988)(3708,
     4358,4992)(3711,4361,4995)(3717,4367,3724)(3721,4371,5001)(3728,4377,
     5008)(3730,4378,5009)(3736,4384,5016)(3740,4388,5020)(3741,3861,4413)
     (3745,4392,5023)(3746,4393,5024)(3749,4396,5026)(3751,4398,5029)(3756,
     4403,5033)(3757,4404,5035)(3760,4082,4721)(3763,4407,5039)(3766,4412,
     5042)(3768,4415,5044)(3769,4416,5046)(3773,4420,5051)(3776,4424,5055)
     (3777,4425,5057)(3781,3810,4455)(3782,4428,4442)(3785,4431,5063)(3788,
     4434,4792)(3789,4435,5067)(3794,4233,4865)(3797,4440,5072)(3804,4449,
     5080)(3806,4452,5083)(3812,4457,5079)(3813,4458,4228)(3815,4460,5089)
     (3816,4461,5091)(3818,4021,4662)(3820,4463,5094)(3825,4401,4475)(3829,
     4469,5099)(3830,4470,5101)(3833,4473,5104)(3837,4477,5107)(3839,4479,
     5109)(3843,4483,5114)(3845,4484,5116)(3847,4485,5117)(3851,4488,5120)
     (3855,4492,5125)(3857,4494,5128)(3866,4502,5133)(3867,4503,5134)(3869,
     4505,5136)(3872,4507,5138)(3879,4513,5143)(3880,4514,5145)(3886,4521,
     5151)(3887,4522,5152)(3888,4523,5154)(3891,4526,5157)(3892,4527,5158)
     (3894,4529,5160)(3896,4456,5086)(3898,4533,5165)(3899,4256,4890)(3901,
     4534,5167)(3904,4538,5171)(3909,4541,5174)(3910,4542,5176)(3913,4545,
     5180)(3914,4546,4647)(3917,4549,5184)(3920,4551,5187)(3923,4555,5038)
     (3926,4560,4651)(3929,4563,5198)(3932,4323,4954)(3933,4568,5202)(3936,
     4572,4795)(3940,4577,5211)(3942,4580,5214)(3943,4581,4630)(3947,4584,
     5217)(3950,4587,5221)(3951,4588,5223)(3954,4592,5227)(3962,4600,5234)
     (3963,4601,5236)(3967,4605,5241)(3970,4609,5246)(3973,4614,5250)(3975,
     4615,5252)(3981,4619,5257)(3984,4621,5260)(3987,4625,5265)(3989,4626,
     5267)(3990,4627,4511)(3992,4629,5270)(3993,4510,5140)(3997,4635,5275)
     (3999,4385,5017)(4002,4639,5280)(4004,4642,5284)(4005,4643,5286)(4007,
     4645,5288)(4010,4648,5289)(4011,4649,5291)(4012,4650,5293)(4014,4652,
     5295)(4018,4657,5301)(4022,4663,5308)(4026,4668,5312)(4028,4670,5315)
     (4033,4616,5253)(4040,4681,5219)(4041,4682,5323)(4045,4687,4676)(4046,
     4688,5329)(4049,4690,5331)(4050,4691,5333)(4054,4694,5336)(4057,4697,
     5339)(4059,4698,5341)(4060,4699,5343)(4063,4701,5346)(4066,4705,5351)
     (4067,4706,5353)(4068,4707,5355)(4070,4708,5356)(4074,4713,5361)(4075,
     4109,4746)(4091,4727,4728)(4093,4730,5103)(4094,4731,5122)(4098,4734,
     5378)(4100,4737,5382)(4101,4738,5384)(4104,4741,5387)(4105,4152,4784)
     (4107,4743,5195)(4112,4749,5395)(4113,4750,5396)(4117,4474,5105)(4119,
     4756,5053)(4124,4761,5405)(4129,4764,5409)(4134,4655,5298)(4137,4742,
     5388)(4143,4776,5417)(4145,4779,5420)(4149,4781,5423)(4150,4782,5424)
     (4155,4788,5428)(4157,4790,5430)(4164,4417,5047)(4170,4799,5436)(4174,
     4802,5439)(4176,4804,4997)(4181,4811,4499)(4182,4536,5054)(4184,4813,
     5381)(4185,4814,5447)(4187,4816,5449)(4194,4823,5456)(4196,4825,4410)
     (4197,4826,5457)(4199,4828,5460)(4203,4832,4672)(4210,4839,5469)(4211,
     4840,5471)(4215,4846,5338)(4217,4848,5479)(4218,4849,5481)(4221,4853,
     5485)(4222,4854,5486)(4225,4858,4716)(4237,4870,4628)(4244,4877,5507)
     (4247,4880,5510)(4251,4885,5516)(4252,4886,5518)(4254,4887,5520)(4257,
     4891,5525)(4260,4798,5434)(4264,4897,5530)(4269,4901,5535)(4272,4905,
     5197)(4274,4907,5541)(4275,4908,4675)(4279,4911,5544)(4280,4912,4329)
     (4282,4913,5547)(4284,4915,5422)(4287,4785,5274)(4289,4919,5553)(4291,
     4922,4612)(4293,4924,5559)(4294,4925,5560)(4298,4740,4671)(4299,4928,
     5562)(4301,4930,5564)(4303,4931,5565)(4306,4935,5570)(4309,4939,5574)
     (4310,4940,5576)(4311,4941,5578)(4312,4942,5579)(4313,4943,5580)(4317,
     4946,5583)(4319,4949,5585)(4320,4950,5587)(4325,4956,5593)(4326,4957,
     5595)(4327,4958,5597)(4331,4960,5599)(4334,4964,5601)(4336,4966,5603)
     (4338,4969,4926)(4339,4970,5606)(4343,4856,5488)(4347,4979,5612)(4349,
     4981,5615)(4353,4985,5619)(4356,4989,5299)(4359,4896,5529)(4364,4996,
     5630)(4370,4999,5632)(4373,5003,4875)(4374,5004,5637)(4375,5005,5100)
     (4379,5010,5642)(4380,5011,5644)(4381,5012,5645)(4382,5013,4394)(4399,
     5030,5661)(4405,5036,4766)(4406,5037,5666)(4408,4589,5224)(4418,5048,
     5672)(4422,5052,5594)(4426,5058,5678)(4427,5059,5679)(4429,5060,5681)
     (4432,5064,5015)(4436,5068,5688)(4441,5073,5692)(4446,5076,5696)(4447,
     5077,5698)(4450,5081,5702)(4453,5084,5705)(4459,5088,5709)(4462,5092,
     5713)(4465,5096,5718)(4467,5097,5720)(4471,5102,5723)(4476,5106,5726)
     (4478,5108,5729)(4480,5110,5731)(4481,5111,5733)(4487,5118,5737)(4489,
     5121,5404)(4491,5123,4868)(4493,5126,4558)(4495,5129,5746)(4496,5130,
     5534)(4498,5131,5749)(4504,5135,5752)(4508,4723,5367)(4515,4644,5287)
     (4516,5146,4717)(4518,5148,5762)(4519,5149,5230)(4524,5155,5768)(4528,
     5159,5772)(4530,5161,5775)(4531,5162,5216)(4535,5168,5782)(4543,5177,
     5244)(4547,5182,5753)(4550,5185,5793)(4553,5189,5796)(4556,5191,5799)
     (4562,5196,5801)(4566,5200,5804)(4569,5203,5290)(4570,5204,5808)(4573,
     5206,5811)(4574,5207,5812)(4576,5209,5815)(4578,4812,5445)(4585,5218,
     5821)(4593,5228,5264)(4594,5229,5828)(4596,5231,5829)(4598,5233,5830)
     (4602,5237,5834)(4603,5238,5835)(4606,5242,5119)(4607,5243,5839)(4610,
     5247,5843)(4618,5255,5850)(4620,5258,5854)(4622,5261,5857)(4623,5262,
     5858)(4631,5271,5266)(4633,5273,5864)(4637,5277,5868)(4640,5281,5173)
     (4646,5181,5789)(4653,5296,5880)(4658,5302,5885)(4660,5304,5887)(4664,
     5309,5892)(4665,5310,5894)(4669,5313,5897)(4679,5320,5902)(4680,5321,
     5904)(4683,5324,5907)(4684,4689,5330)(4692,5269,5862)(4693,5334,5915)
     (4695,5337,5918)(4700,5344,5924)(4703,5348,5925)(4709,5357,5186)(4711,
     5358,5934)(4714,5362,5938)(4719,5364,5941)(4722,5366,5249)(4725,5369,
     5946)(4732,5375,5951)(4733,5376,5952)(4735,5379,5955)(4739,5385,5959)
     (4744,5390,4791)(4747,5392,5478)(4751,5397,5964)(4753,5019,5651)(4757,
     5401,5969)(4759,5403,5972)(4762,5406,5975)(4765,5156,5769)(4768,5411,
     5978)(4769,5412,5980)(4771,5319,5193)(4773,5414,5982)(4775,5415,5984)
     (4780,5421,5989)(4783,5425,5993)(4786,5426,5995)(4797,5433,6000)(4800,
     5437,6002)(4803,5440,6006)(4805,4917,5550)(4806,5441,6007)(4808,5443,
     6010)(4815,5408,5340)(4818,5451,5082)(4819,5452,6017)(4821,5454,5740)
     (4824,5419,5986)(4829,5461,6024)(4831,5463,6013)(4833,5464,6026)(4835,
     5465,6028)(4837,5467,6030)(4841,5472,6036)(4842,5473,6038)(4844,5475,
     6040)(4847,5477,6043)(4850,5482,5920)(4851,5483,6047)(4855,5487,6049)
     (4859,5491,6052)(4860,5492,6054)(4862,5494,6057)(4863,5495,5917)(4864,
     5496,5453)(4866,5497,5444)(4871,5501,6063)(4873,5503,6066)(4878,5508,
     6071)(4879,5322,5905)(4881,5511,6074)(4882,5512,6076)(4884,5514,5380)
     (4888,5521,5345)(4892,5526,6086)(4894,5098,5263)(4898,5531,6089)(4899,
     5532,5049)(4902,5536,6093)(4903,5537,5767)(4906,5540,6097)(4914,5548,
     6104)(4916,5549,5875)(4918,5551,6107)(4920,5554,6109)(4923,5557,6112)
     (4929,5563,6116)(4932,5566,6120)(4933,5567,6121)(4936,5571,6126)(4937,
     5572,6127)(4944,5581,6133)(4947,5584,5763)(4951,5588,6139)(4952,5589,
     6140)(4959,5598,6145)(4961,5600,6148)(4962,5386,5370)(4965,5006,5639)
     (4967,5604,5701)(4971,5484,5462)(4973,5607,6154)(4976,5031,5662)(4980,
     5613,5552)(4982,5616,6162)(4983,5602,6149)(4986,5620,6164)(4987,5034,
     5664)(4990,5623,6166)(4991,5624,5278)(4993,5626,5628)(4994,5627,6170)
     (4998,5179,5788)(5000,5633,5558)(5002,5635,5300)(5007,5640,6175)(5014,
     5647,6056)(5018,5650,5500)(5021,5653,6185)(5022,5654,6187)(5025,5656,
     6190)(5027,5093,5714)(5028,5658,6193)(5032,5466,6029)(5040,5398,5965)
     (5041,5212,5817)(5043,5668,6203)(5045,5669,6204)(5050,5673,6208)(5056,
     5675,6211)(5061,5682,6219)(5062,5683,6221)(5065,5066,5686)(5069,5689,
     6226)(5070,5690,6069)(5071,5691,5860)(5074,5693,5394)(5075,5694,6230)
     (5078,5699,6234)(5085,5222,5823)(5087,5707,6196)(5090,5711,6242)(5095,
     5716,6246)(5113,5734,6260)(5115,5631,5350)(5124,5741,6266)(5127,5744,
     6268)(5132,5750,6272)(5137,5754,6274)(5139,5577,5347)(5141,5756,6275)
     (5142,5757,6276)(5144,5172,5784)(5147,5760,6280)(5150,5327,5235)(5153,
     5660,5596)(5163,5777,6289)(5164,5778,6290)(5166,5779,6037)(5169,5582,
     6134)(5170,5314,5898)(5175,5785,6227)(5178,5787,6198)(5183,5791,6296)
     (5188,5795,6300)(5190,5797,6301)(5192,5800,6304)(5194,5232,5519)(5199,
     5220,5822)(5201,5805,6307)(5205,5809,5962)(5208,5813,5879)(5210,5695,
     6231)(5213,5818,6315)(5215,5820,6317)(5226,5826,6323)(5239,5836,6327)
     (5240,5837,5833)(5245,5840,6330)(5248,5844,6332)(5251,5845,6334)(5254,
     5848,6337)(5256,5851,6338)(5259,5855,6341)(5268,5861,5807)(5272,5863,
     6348)(5276,5866,6350)(5279,5869,5328)(5282,5872,6130)(5283,5873,5794)
     (5285,5317,5901)(5292,5877,6105)(5294,5878,6058)(5297,5881,6359)(5303,
     5886,5618)(5305,5888,6365)(5306,5871,6250)(5307,5889,5389)(5311,5738,
     6263)(5316,5900,5751)(5318,5539,6095)(5325,5908,6379)(5326,5909,6380)
     (5332,5912,5687)(5335,5916,6386)(5342,5921,6390)(5349,5926,6393)(5352,
     5790,6295)(5354,5929,6397)(5359,5935,6402)(5360,5936,6404)(5363,5939,
     6333)(5365,5942,6410)(5368,5945,6414)(5371,5947,6416)(5372,5948,6418)
     (5373,5747,6060)(5374,5949,5634)(5377,5953,6215)(5383,5957,6426)(5391,
     5961,6429)(5393,5963,5490)(5399,5966,6431)(5400,5967,6415)(5402,5970,
     5700)(5407,5976,6440)(5410,5825,6321)(5413,5981,6444)(5416,5773,6285)
     (5418,5985,6448)(5427,5996,5591)(5429,5998,5816)(5431,5629,6171)(5432,
     5999,5842)(5435,6001,6455)(5438,6003,6457)(5442,6008,6462)(5446,6011,
     6465)(5448,6012,5764)(5450,6014,6468)(5455,6019,6405)(5458,6021,6473)
     (5459,6022,6475)(5468,6031,6481)(5470,6033,6484)(5474,6039,6488)(5476,
     6041,6491)(5480,6044,6117)(5489,6050,6497)(5493,6055,5977)(5498,6061,
     6504)(5499,6062,6506)(5502,6064,6113)(5504,6067,6228)(5505,5677,6213)
     (5506,6068,6421)(5509,6072,6513)(5513,6077,6517)(5515,6078,6518)(5517,
     6080,5561)(5522,6083,6088)(5523,6084,6522)(5524,5555,6110)(5528,6087,
     6524)(5533,6091,6526)(5538,6094,6529)(5542,6099,6419)(5543,6100,6533)
     (5545,6101,6147)(5546,6102,6535)(5556,6111,6474)(5568,6122,6546)(5569,
     6123,6548)(5573,6128,6551)(5575,5910,6381)(5586,6137,6558)(5590,6141,
     6560)(5592,6142,6562)(5605,6152,6108)(5608,6155,6569)(5609,6131,6553)
     (5610,6156,6570)(5611,6157,6346)(5614,6159,5806)(5617,6163,6574)(5621,
     6165,6576)(5622,5832,6224)(5625,6168,6578)(5636,6173,6583)(5638,6174,
     6502)(5641,6176,6299)(5643,6178,6589)(5646,6179,6590)(5648,6098,6531)
     (5649,6181,6593)(5652,6184,5771)(5655,6188,6599)(5657,6191,6601)(5659,
     6194,6605)(5663,6197,6608)(5665,6199,6610)(5667,6201,6611)(5670,6205,
     6510)(5671,6206,6617)(5674,6209,6621)(5676,6212,6624)(5680,6216,6042)
     (5684,6222,6629)(5685,6223,6631)(5697,6009,6463)(5703,5727,6254)(5704,
     6235,6636)(5706,6237,6499)(5708,6239,6639)(5710,6241,6642)(5712,6243,
     6644)(5715,6217,6626)(5717,6247,5937)(5719,6249,5780)(5721,6251,6284)
     (5722,5758,6277)(5724,6124,6549)(5725,6252,6649)(5728,6255,6650)(5730,
     6257,6652)(5732,6258,6654)(5735,6016,5742)(5736,6261,6656)(5739,6264,
     6434)(5743,6267,6584)(5745,5954,6200)(5748,6270,6539)(5755,6096,6530)
     (5759,6278,6665)(5761,6281,6669)(5765,6015,5987)(5766,6283,6670)(5770,
     5792,6297)(5774,6286,6672)(5776,6288,6673)(5781,6292,6677)(5783,6293,
     6432)(5786,6294,6679)(5798,6302,6244)(5802,6306,6153)(5803,6136,6557)
     (5810,6309,6687)(5814,6312,6690)(5819,6316,6693)(5824,6320,6696)(5827,
     5973,6436)(5831,6325,6700)(5838,6119,6059)(5841,6331,6189)(5846,6335,
     6363)(5847,6336,6454)(5849,6106,6537)(5852,6075,6515)(5853,6339,6708)
     (5856,6143,6563)(5859,6344,6714)(5865,6349,6664)(5867,6319,5874)(5870,
     6351,6425)(5876,6354,6720)(5882,6360,6725)(5883,6361,6726)(5884,6362,
     6728)(5890,6326,6701)(5891,6367,6682)(5893,6368,6732)(5895,6370,6735)
     (5896,5997,6229)(5899,6372,5914)(5903,6374,6739)(5906,6377,6741)(5911,
     6382,6648)(5913,6383,6745)(5919,6388,6751)(5922,6233,6634)(5923,6391,
     6753)(5927,6394,6756)(5928,6395,6758)(5930,6398,6759)(5931,6303,6467)
     (5932,6399,6048)(5933,6400,6761)(5940,6407,6763)(5943,6411,6767)(5944,
     6412,6768)(5950,6343,6712)(5956,6424,6776)(5958,6427,6777)(5960,6389,
     6752)(5968,6433,6461)(5971,6291,6675)(5974,6437,6782)(5979,6441,6785)
     (5983,6445,6788)(5988,6449,6588)(5990,6387,6749)(5991,6450,6401)(5992,
     6451,6792)(5994,6452,6793)(6004,6324,6423)(6005,6458,6797)(6018,6469,
     6802)(6020,6471,6803)(6023,6476,6805)(6025,6428,6628)(6027,6477,6456)
     (6032,6482,6483)(6035,6485,6810)(6045,6493,6813)(6046,6494,6245)(6051,
     6498,6816)(6053,6500,6818)(6065,6508,6822)(6070,6511,6443)(6073,6373,
     6737)(6079,6519,6827)(6081,6520,6829)(6082,6115,6542)(6085,6523,6503)
     (6090,6512,6824)(6092,6527,6834)(6103,6536,6615)(6114,6541,6842)(6118,
     6543,6716)(6125,6135,6556)(6129,6552,6843)(6132,6554,6851)(6138,6559,
     6855)(6144,6564,6857)(6146,6565,6742)(6150,6566,6858)(6151,6567,6220)
     (6158,6571,6860)(6160,6572,6600)(6161,6409,6765)(6167,6550,6495)(6169,
     6579,6865)(6172,6581,6841)(6177,6587,6870)(6180,6591,6489)(6182,6594,
     6872)(6183,6595,6873)(6186,6597,6378)(6192,6602,6878)(6195,6606,6592)
     (6202,6612,6886)(6207,6618,6892)(6210,6622,6396)(6214,6625,6585)(6218,
     6627,6897)(6225,6534,6837)(6232,6633,6686)(6236,6364,6729)(6238,6638,
     6903)(6240,6640,6904)(6248,6646,6907)(6253,6376,6366)(6256,6651,6821)
     (6259,6655,6912)(6262,6480,6808)(6265,6561,6790)(6269,6470,6403)(6271,
     6660,6915)(6273,6661,6568)(6279,6666,6919)(6282,6413,6769)(6287,6521,
     6830)(6298,6681,6800)(6305,6613,6887)(6308,6501,6532)(6310,6688,6933)
     (6311,6689,6934)(6313,6466,6799)(6314,6691,6937)(6318,6694,6442)(6322,
     6698,6516)(6328,6703,6942)(6329,6609,6884)(6340,6709,6946)(6342,6711,
     6948)(6345,6586,6868)(6347,6392,6754)(6352,6718,6951)(6353,6719,6952)
     (6355,6721,6828)(6356,6722,6930)(6357,6723,6956)(6358,6724,6796)(6369,
     6733,6958)(6371,6736,6967)(6375,6740,6970)(6384,6746,6974)(6385,6747,
     6975)(6406,6762,6982)(6408,6764,6984)(6417,6772,6988)(6420,6774,6990)
     (6422,6775,6991)(6430,6778,6994)(6435,6779,6995)(6438,6783,6998)(6439,
     6705,6898)(6446,6789,6885)(6447,6713,6949)(6453,6794,6715)(6459,6717,
     6950)(6460,6647,6908)(6464,6798,6659)(6472,6804,7007)(6478,6806,6925)
     (6479,6807,6923)(6486,6811,7011)(6487,6637,6902)(6490,6603,6879)(6492,
     6812,6755)(6496,6814,7012)(6505,6630,6658)(6507,6820,6547)(6509,6823,
     7015)(6514,6738,6968)(6525,6831,6957)(6528,6598,6875)(6538,6839,6596)
     (6540,6840,7022)(6544,6845,6692)(6545,6846,6685)(6555,6852,6954)(6573,
     6861,7033)(6575,6863,6867)(6577,6710,6947)(6580,6680,6929)(6582,6866,
     7035)(6604,6880,7023)(6607,6883,7042)(6614,6888,7045)(6616,6889,7046)
     (6619,6635,6773)(6620,6893,6881)(6623,6895,7051)(6632,6900,6727)(6641,
     6744,6973)(6643,6905,6645)(6653,6795,6935)(6657,6869,6702)(6662,6916,
     7059)(6663,6917,6817)(6667,6920,6983)(6668,6921,6832)(6671,6924,7063)
     (6674,6926,6844)(6676,6853,6854)(6678,6927,6683)(6684,6910,6801)(6697,
     6939,7067)(6699,6940,7068)(6704,6943,6815)(6706,6859,7032)(6707,6944,
     6932)(6730,6945,7031)(6731,6962,7074)(6734,6964,6976)(6743,6972,7081)
     (6748,6787,7001)(6750,6977,7084)(6757,6891,7048)(6760,6980,7085)(6766,
     6894,6848)(6770,6901,6986)(6771,6987,7006)(6780,6911,6993)(6781,6996,
     6784)(6786,7000,6874)(6791,7002,6849)(6809,7010,7062)(6819,7013,7099)
     (6826,7016,6979)(6833,6922,6978)(6835,7020,7018)(6836,7021,7098)(6838,
     6953,7019)(6847,7026,6960)(6850,7027,7101)(6856,7029,7078)(6862,7034,
     7009)(6871,6999,7036)(6876,7038,7102)(6877,7008,6955)(6882,7040,6969)
     (6890,7047,7108)(6896,7052,7077)(6899,7053,7100)(6906,7055,7024)(6909,
     7056,6997)(6913,7057,7113)(6914,7058,6965)(6918,7061,7104)(6928,7064,
     7091)(6931,7066,7117)(6936,7003,7094)(6941,7069,7119)(6959,7073,7093)
     (6961,7070,7120)(6963,7075,7017)(6966,7005,7096)(6971,7079,7071)(6981,
     7049,7109)(6985,7088,7082)(6989,7090,7116)(6992,7089,7025)(7004,7095,
     7043)(7014,7044,7092)(7028,7030,7039)(7037,7105,7111)(7041,7106,7127)
     (7050,7083,7114)(7054,7110,7124)(7060,7115,7107)(7065,7072,7076)(7086,
     7097,7122)(7103,7125,7123)(7112,7118,7126);