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