bin1 := (2,4)(3,6)(5,9)(7,12)(8,14)(10,16)(11,18)(13,21)(15,23)(17,26)(19,29)
     (20,31)(22,34)(24,37)(25,39)(27,42)(28,44)(30,47)(32,50)(33,52)(35,55)
     (36,57)(38,60)(41,64)(43,67)(45,70)(46,72)(49,76)(51,79)(53,82)(54,84)
     (56,87)(58,89)(59,91)(61,94)(62,96)(63,97)(65,100)(66,101)(68,104)(69,
     106)(71,109)(73,112)(74,114)(75,115)(77,118)(78,120)(80,122)(81,124)(83,
     127)(85,129)(86,131)(88,134)(90,137)(92,140)(93,142)(95,145)(98,150)(99,
     152)(102,155)(103,157)(107,162)(108,164)(110,167)(111,169)(113,170)(116,
     175)(117,177)(119,180)(121,183)(123,186)(125,189)(126,191)(128,194)(130,
     197)(132,198)(133,151)(135,201)(136,203)(138,205)(139,207)(141,210)(143,
     212)(144,214)(146,216)(147,218)(148,219)(149,193)(153,225)(154,227)(156,
     230)(158,232)(159,234)(160,235)(161,237)(163,239)(165,242)(166,243)(168,
     246)(171,250)(172,252)(173,253)(174,255)(176,258)(178,261)(179,263)(181,
     238)(182,266)(184,268)(185,270)(187,273)(188,275)(190,192)(195,283)(196,
     285)(199,289)(202,293)(204,296)(206,298)(208,300)(209,301)(211,304)(213,
     307)(215,309)(220,315)(221,316)(222,318)(223,319)(224,321)(226,324)(228,
     327)(229,297)(231,329)(233,332)(240,338)(241,340)(244,345)(245,347)(247,
     350)(248,352)(249,353)(251,356)(254,361)(256,363)(257,365)(259,368)(260,
     370)(262,373)(264,376)(265,377)(267,379)(269,382)(271,385)(272,387)(274,
     390)(276,393)(277,395)(278,396)(279,398)(280,399)(282,401)(284,404)(286,
     394)(287,408)(288,409)(290,412)(291,413)(292,341)(294,417)(295,419)(299,
     424)(302,386)(303,428)(305,431)(306,362)(308,435)(310,344)(311,438)(312,
     439)(313,441)(314,442)(317,446)(320,449)(322,400)(323,450)(325,453)(326,
     421)(328,457)(330,460)(331,462)(333,465)(334,467)(335,468)(336,364)(337,
     470)(339,473)(342,476)(343,477)(346,481)(348,483)(349,485)(351,488)(354,
     491)(355,493)(357,486)(359,496)(360,497)(366,502)(367,504)(369,507)(371,
     383)(372,511)(374,475)(375,515)(378,518)(381,522)(384,464)(388,528)(389,
     530)(391,533)(392,459)(397,539)(402,544)(403,546)(405,547)(406,549)(407,
     499)(410,554)(411,556)(414,557)(415,513)(416,559)(418,560)(420,561)(422,
     458)(423,563)(425,545)(426,565)(427,454)(429,567)(430,569)(432,571)(433,
     512)(434,455)(436,572)(437,573)(440,576)(443,581)(444,583)(445,584)(447,
     586)(448,588)(451,591)(452,593)(456,595)(461,532)(463,600)(466,510)(469,
     604)(471,607)(472,520)(474,611)(478,614)(479,615)(480,610)(482,619)(484,
     526)(487,517)(489,622)(490,527)(492,625)(494,627)(495,582)(498,552)(500,
     631)(503,516)(506,635)(508,637)(509,639)(514,641)(519,538)(521,574)(523,
     650)(524,652)(525,653)(529,655)(531,570)(535,659)(536,660)(540,580)(541,
     662)(542,628)(543,664)(548,667)(550,669)(551,632)(553,671)(555,674)(562,
     680)(564,682)(566,684)(568,594)(577,689)(578,691)(579,692)(585,665)(587,
     699)(589,663)(596,670)(597,658)(598,704)(599,705)(601,618)(602,696)(603,
     666)(605,708)(606,623)(608,688)(612,679)(613,710)(616,712)(617,713)(620,
     646)(621,717)(624,718)(626,721)(629,722)(630,723)(633,693)(634,725)(636,
     726)(638,727)(640,695)(642,719)(643,729)(644,730)(645,731)(647,732)(648,
     733)(649,697)(651,728)(654,698)(656,737)(657,739)(661,673)(672,742)(675,
     736)(676,745)(677,687)(678,724)(681,748)(683,749)(690,751)(694,752)(700,
     707)(701,754)(702,711)(703,756)(706,759)(709,760)(714,762)(715,763)(716,
     757)(720,764)(734,767)(735,768)(738,746)(740,769)(741,770)(744,750)(747,
     771)(755,772)(758,761)(765,773)(774,775);