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