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