bin1 := (1,2)(3,7)(4,6)(5,9)(8,10)(11,13)(12,14)(15,17)(16,20)(18,23)(19,22)(21,
     24)(25,29)(26,31)(27,33)(28,35)(30,34)(32,36)(37,49)(38,44)(39,45)(40,46)
     (41,54)(42,48)(43,57)(47,62)(50,58)(51,67)(52,60)(53,70)(55,63)(56,64)
     (59,77)(61,80)(65,75)(66,76)(68,78)(69,79)(71,81)(72,82)(73,83)(74,84)
     (85,94)(86,95)(87,105)(88,90)(89,98)(91,100)(92,101)(93,102)(96,114)(97,
     99)(103,121)(104,111)(106,115)(107,126)(108,117)(109,128)(110,129)(112,
     131)(113,120)(116,136)(118,138)(119,139)(122,132)(123,133)(124,134)(125,
     144)(127,147)(130,140)(135,153)(137,156)(141,159)(142,160)(143,162)(145,
     166)(146,155)(148,157)(149,172)(150,174)(151,175)(152,177)(154,181)(158,
     187)(161,176)(163,178)(164,195)(165,180)(167,182)(168,183)(169,184)(170,
     202)(171,186)(173,188)(179,213)(185,220)(189,225)(190,227)(191,199)(192,
     230)(193,206)(194,233)(196,228)(197,238)(198,216)(200,218)(201,226)(203,
     221)(204,222)(205,248)(207,251)(208,253)(209,217)(210,256)(211,224)(212,
     259)(214,254)(215,264)(219,252)(223,274)(229,283)(231,257)(232,287)(234,
     260)(235,261)(236,262)(237,293)(239,291)(240,266)(241,267)(242,268)(243,
     301)(244,270)(245,271)(246,272)(247,273)(249,304)(250,276)(255,317)(258,
     321)(263,327)(265,325)(269,335)(275,338)(277,311)(278,312)(279,313)(280,
     314)(281,315)(282,316)(284,318)(285,354)(286,356)(288,322)(289,361)(290,
     363)(292,326)(294,328)(295,329)(296,330)(297,331)(298,332)(299,333)(300,
     334)(302,336)(303,337)(305,339)(306,340)(307,341)(308,342)(309,343)(310,
     344)(319,390)(320,392)(323,397)(324,399)(345,381)(346,418)(347,383)(348,
     421)(349,385)(350,386)(351,425)(352,388)(353,389)(355,391)(357,362)(358,
     394)(359,432)(360,396)(364,400)(365,439)(366,419)(367,403)(368,442)(369,
     405)(370,406)(371,407)(372,408)(373,448)(374,410)(375,422)(376,451)(377,
     413)(378,414)(379,415)(380,416)(382,458)(384,461)(387,465)(393,398)(395,
     472)(401,479)(402,459)(404,482)(409,488)(411,462)(412,491)(417,457)(420,
     460)(423,463)(424,464)(426,466)(427,507)(428,468)(429,510)(430,470)(431,
     471)(433,473)(434,474)(435,475)(436,476)(437,519)(438,521)(440,480)(441,
     524)(443,483)(444,484)(445,485)(446,531)(447,532)(449,489)(450,536)(452,
     492)(453,540)(454,494)(455,495)(456,543)(467,554)(469,557)(477,566)(478,
     568)(481,571)(486,578)(487,579)(490,583)(493,587)(496,590)(497,544)(498,
     591)(499,546)(500,547)(501,548)(502,549)(503,550)(504,596)(505,552)(506,
     553)(508,527)(509,602)(511,558)(512,606)(513,560)(514,561)(515,609)(516,
     563)(517,611)(518,613)(520,533)(522,620)(523,539)(525,624)(526,573)(528,
     575)(529,628)(530,577)(534,581)(535,582)(537,637)(538,638)(541,588)(542,
     643)(545,645)(551,650)(555,574)(556,656)(559,660)(562,663)(564,665)(565,
     667)(567,580)(569,674)(570,586)(572,678)(576,682)(584,691)(585,692)(589,
     697)(592,646)(593,702)(594,648)(595,704)(597,651)(598,652)(599,653)(600,
     654)(601,655)(603,707)(604,619)(605,715)(607,661)(608,662)(610,664)(612,
     666)(614,718)(615,669)(616,670)(617,671)(618,728)(621,731)(622,676)(623,
     677)(625,679)(626,680)(627,736)(629,683)(630,737)(631,641)(632,686)(633,
     687)(634,688)(635,689)(636,690)(639,733)(640,694)(642,746)(644,698)(647,
     750)(649,752)(657,755)(658,673)(659,763)(668,766)(672,776)(675,779)(681,
     784)(684,785)(685,695)(693,781)(696,794)(699,747)(700,748)(701,797)(703,
     799)(705,801)(706,754)(708,756)(709,757)(710,758)(711,808)(712,760)(713,
     761)(714,762)(716,813)(717,814)(719,767)(720,817)(721,819)(722,811)(723,
     771)(724,772)(725,773)(726,774)(727,775)(729,777)(730,778)(732,827)(734,
     782)(735,783)(738,786)(739,787)(740,788)(741,789)(742,790)(743,836)(744,
     792)(745,793)(749,842)(751,844)(753,846)(759,853)(764,858)(765,859)(768,
     862)(769,864)(770,856)(780,872)(791,881)(795,840)(796,841)(798,843)(800,
     845)(802,890)(803,848)(804,815)(805,850)(806,893)(807,852)(809,854)(810,
     855)(812,857)(816,861)(818,901)(820,865)(821,866)(822,904)(823,868)(824,
     869)(825,870)(826,871)(828,839)(829,874)(830,834)(831,876)(832,877)(833,
     878)(835,880)(837,882)(838,883)(847,916)(849,860)(851,919)(863,927)(867,
     930)(873,884)(875,879)(885,911)(886,912)(887,913)(888,914)(889,915)(891,
     917)(892,918)(894,920)(895,921)(896,922)(897,923)(898,924)(899,925)(900,
     926)(902,928)(903,929)(905,931)(906,932)(907,933)(908,934)(909,935)(910,
     936)(937,961)(938,963)(939,951)(940,965)(941,966)(942,954)(943,968)(944,
     956)(945,957)(946,969)(947,959)(948,960)(949,971)(950,973)(952,975)(953,
     976)(955,978)(958,979)(962,972)(964,974)(967,970)(977,980)(981,985)(982,
     986)(983,987)(984,988)(989,991)(990,992);