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