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