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