bin1 := (5,6)(7,8)(9,10)(11,13)(12,14)(15,18)(16,20)(19,24)(21,27)(23,30)(25,33)
     (28,36)(29,37)(31,40)(32,42)(34,45)(35,47)(38,50)(39,51)(41,54)(44,58)
     (46,61)(48,64)(49,66)(52,70)(53,72)(55,75)(56,76)(57,78)(59,81)(62,83)
     (67,88)(69,91)(73,96)(74,98)(77,101)(79,104)(82,107)(84,110)(85,112)(86,
     114)(87,115)(89,118)(90,120)(92,122)(93,124)(97,127)(99,130)(102,134)
     (103,136)(105,139)(106,141)(108,143)(109,145)(111,148)(113,151)(116,155)
     (117,157)(119,160)(123,162)(125,165)(126,166)(128,169)(129,170)(131,173)
     (132,175)(135,179)(138,182)(140,185)(142,188)(144,191)(146,193)(149,195)
     (153,199)(156,203)(158,206)(159,207)(161,210)(163,213)(164,214)(167,218)
     (168,220)(171,223)(174,227)(177,192)(178,229)(180,232)(181,234)(183,194)
     (186,238)(189,241)(190,242)(196,248)(197,250)(198,252)(200,254)(201,256)
     (204,259)(205,260)(208,264)(211,267)(212,269)(219,276)(221,279)(224,283)
     (225,285)(226,287)(228,290)(230,293)(231,295)(233,298)(235,301)(236,302)
     (237,303)(239,255)(240,307)(243,311)(244,312)(245,314)(246,316)(247,318)
     (249,320)(251,323)(253,326)(257,329)(258,331)(261,335)(262,337)(263,339)
     (265,342)(268,344)(270,346)(271,348)(272,343)(273,351)(275,354)(277,357)
     (281,360)(282,362)(284,365)(288,369)(289,371)(291,374)(292,345)(294,377)
     (296,379)(297,381)(299,384)(300,372)(304,389)(306,391)(309,394)(310,395)
     (313,399)(315,402)(317,405)(319,408)(321,409)(322,410)(324,413)(325,415)
     (327,418)(328,420)(330,414)(333,425)(334,427)(336,430)(338,433)(340,436)
     (341,438)(349,444)(350,446)(352,448)(353,449)(355,452)(356,454)(358,457)
     (359,459)(361,382)(364,463)(366,466)(367,468)(368,469)(373,473)(375,476)
     (376,478)(378,481)(380,483)(383,485)(385,488)(386,489)(387,491)(388,493)
     (390,496)(392,498)(393,499)(396,503)(397,505)(398,507)(403,511)(406,514)
     (407,423)(412,518)(416,521)(417,523)(419,526)(421,527)(422,529)(424,531)
     (428,535)(429,537)(431,539)(434,542)(439,546)(440,547)(441,460)(442,465)
     (443,549)(445,461)(447,553)(450,555)(451,556)(453,559)(455,562)(456,564)
     (458,567)(462,506)(464,504)(467,510)(470,577)(471,579)(472,581)(474,582)
     (475,584)(477,586)(479,589)(480,591)(482,594)(486,598)(487,600)(490,604)
     (492,497)(494,502)(495,609)(500,615)(501,533)(508,622)(509,624)(512,627)
     (513,629)(515,632)(516,634)(517,636)(519,639)(520,641)(522,644)(524,645)
     (525,647)(528,650)(530,652)(532,655)(536,656)(540,658)(541,660)(543,663)
     (544,665)(545,666)(550,671)(551,673)(552,619)(554,571)(557,676)(558,678)
     (560,681)(561,682)(563,685)(566,687)(568,688)(569,690)(570,692)(573,694)
     (574,695)(575,597)(576,697)(578,698)(580,701)(583,705)(585,706)(587,709)
     (588,710)(590,713)(592,716)(593,717)(595,720)(596,722)(599,724)(601,727)
     (602,729)(603,731)(605,734)(606,735)(608,737)(610,740)(611,742)(612,744)
     (613,746)(614,748)(616,751)(617,651)(618,753)(620,756)(621,757)(625,761)
     (628,765)(630,739)(631,768)(633,771)(635,773)(637,775)(638,776)(640,779)
     (642,782)(643,784)(653,791)(654,793)(659,798)(661,801)(662,764)(667,805)
     (669,670)(672,809)(679,814)(683,819)(686,822)(689,825)(691,827)(693,829)
     (696,804)(699,834)(700,760)(702,835)(703,837)(707,842)(708,843)(711,847)
     (712,849)(715,851)(719,856)(723,860)(730,865)(732,868)(733,870)(736,874)
     (743,879)(745,882)(747,884)(750,887)(752,890)(754,891)(758,889)(759,841)
     (766,900)(767,901)(769,904)(772,875)(774,908)(780,913)(781,914)(783,915)
     (787,892)(792,922)(794,924)(795,852)(796,926)(802,823)(803,930)(806,933)
     (807,935)(808,937)(810,940)(813,942)(815,944)(816,946)(817,948)(818,950)
     (820,952)(821,953)(824,858)(826,958)(830,947)(831,963)(832,895)(833,965)
     (836,969)(838,971)(839,934)(840,973)(845,976)(846,979)(848,981)(850,959)
     (853,918)(854,916)(855,867)(857,862)(863,896)(864,992)(866,993)(869,972)
     (871,995)(872,997)(873,998)(876,1000)(878,1002)(880,1005)(881,1006)(883,
     1008)(885,905)(886,1010)(894,1015)(897,1016)(898,1017)(899,1019)(902,987)
     (903,957)(906,912)(909,1013)(910,1028)(911,1030)(917,994)(919,1036)(920,
     1038)(921,1020)(923,1034)(925,1042)(927,1043)(929,1045)(931,961)(932,
     1047)(941,956)(949,1057)(951,1050)(960,1058)(962,1066)(964,1069)(966,
     1011)(967,1071)(970,1073)(974,1029)(975,1079)(977,1082)(978,1084)(980,
     1087)(983,1089)(984,1091)(985,1093)(986,1095)(988,1096)(989,1097)(990,
     1098)(991,1044)(996,1101)(999,1104)(1001,1088)(1003,1092)(1009,1037)
     (1012,1113)(1014,1049)(1018,1022)(1021,1107)(1025,1121)(1026,1033)(1027,
     1123)(1035,1128)(1039,1078)(1040,1132)(1041,1133)(1048,1065)(1051,1081)
     (1052,1140)(1053,1142)(1059,1143)(1061,1137)(1062,1141)(1064,1146)(1067,
     1147)(1068,1070)(1074,1149)(1075,1151)(1077,1136)(1080,1152)(1086,1155)
     (1102,1164)(1103,1165)(1106,1169)(1108,1117)(1110,1172)(1111,1174)(1112,
     1119)(1115,1176)(1116,1178)(1118,1160)(1122,1180)(1124,1158)(1125,1182)
     (1126,1183)(1127,1184)(1129,1161)(1130,1187)(1131,1188)(1135,1189)(1139,
     1190)(1144,1166)(1145,1194)(1148,1196)(1150,1198)(1154,1199)(1159,1200)
     (1162,1173)(1167,1197)(1181,1205)(1193,1213)(1195,1215)(1201,1209)(1206,
     1214)(1207,1220)(1216,1221)(1219,1222);