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