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