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