bin1 := (6,7)(9,11)(10,13)(12,15)(16,20)(17,22)(18,24)(19,26)(25,33)(28,37)(29,
     39)(30,41)(31,43)(32,45)(34,48)(35,50)(36,52)(38,55)(42,60)(46,65)(49,69)
     (51,72)(56,78)(57,80)(58,82)(61,85)(62,87)(63,89)(64,91)(66,94)(67,96)
     (68,98)(70,101)(73,105)(74,107)(75,109)(76,111)(77,113)(79,116)(81,119)
     (83,122)(84,124)(86,127)(88,130)(90,110)(92,135)(95,139)(99,144)(102,148)
     (103,149)(104,151)(106,154)(108,157)(114,164)(117,141)(120,171)(121,173)
     (125,178)(133,187)(134,188)(136,191)(137,193)(138,195)(142,200)(143,202)
     (146,206)(152,213)(160,222)(161,223)(162,225)(163,227)(166,231)(168,198)
     (169,235)(172,205)(174,208)(175,242)(177,245)(179,248)(181,251)(182,253)
     (184,256)(185,258)(186,260)(189,264)(194,270)(197,274)(199,277)(201,279)
     (204,283)(207,287)(210,291)(212,294)(214,217)(216,298)(219,302)(220,304)
     (221,306)(224,310)(229,315)(230,271)(233,275)(237,284)(238,324)(240,327)
     (246,333)(247,335)(249,338)(252,342)(254,345)(257,348)(259,351)(261,354)
     (262,356)(263,358)(265,361)(267,359)(269,365)(272,369)(276,374)(281,379)
     (285,384)(286,386)(289,389)(295,299)(296,396)(303,402)(309,405)(311,407)
     (313,410)(314,412)(316,366)(317,416)(318,418)(320,421)(321,423)(323,426)
     (326,417)(329,422)(330,434)(331,436)(334,440)(336,443)(340,430)(346,433)
     (352,447)(355,451)(357,452)(360,466)(364,471)(367,475)(368,477)(371,481)
     (372,483)(373,485)(375,487)(377,489)(381,493)(382,495)(383,497)(385,478)
     (390,486)(391,506)(392,507)(395,509)(399,513)(403,517)(404,514)(409,521)
     (411,523)(413,526)(415,529)(420,510)(427,530)(428,541)(429,542)(431,543)
     (432,544)(435,547)(437,550)(438,551)(439,553)(442,557)(444,528)(446,476)
     (448,562)(450,484)(456,496)(457,559)(458,561)(459,570)(460,564)(461,572)
     (462,503)(463,575)(465,578)(468,581)(479,592)(491,602)(494,605)(498,587)
     (500,612)(501,613)(502,615)(505,619)(508,623)(511,627)(512,629)(516,633)
     (518,635)(520,637)(531,647)(532,649)(533,648)(534,614)(535,651)(536,653)
     (537,652)(538,656)(540,658)(545,659)(548,585)(549,667)(552,671)(555,674)
     (558,677)(560,628)(563,681)(565,683)(566,668)(568,678)(569,687)(571,689)
     (573,643)(574,692)(576,688)(577,694)(580,696)(589,595)(597,707)(604,714)
     (606,716)(609,720)(611,723)(616,711)(618,729)(620,722)(626,735)(630,739)
     (631,741)(632,742)(636,743)(640,731)(644,753)(650,746)(654,756)(655,763)
     (657,766)(664,773)(670,779)(673,783)(684,790)(685,795)(690,796)(695,765)
     (701,805)(704,808)(705,762)(706,811)(710,806)(715,817)(724,816)(727,803)
     (728,827)(732,830)(740,836)(744,841)(747,843)(749,846)(751,849)(752,847)
     (759,855)(764,860)(767,861)(769,862)(775,824)(776,868)(777,869)(781,871)
     (782,873)(784,876)(785,794)(786,872)(789,881)(792,882)(793,886)(798,892)
     (799,894)(800,895)(804,897)(809,901)(810,903)(812,898)(820,910)(821,912)
     (825,911)(826,915)(828,918)(829,920)(831,922)(832,865)(834,926)(838,928)
     (842,930)(852,887)(857,940)(858,942)(867,947)(875,891)(879,960)(880,921)
     (888,966)(893,968)(900,971)(919,954)(923,979)(932,991)(941,994)(949,981)
     (951,1002)(953,1004)(957,1006)(958,1003)(963,1009)(964,1010)(967,1011)
     (969,1013)(975,993)(978,996)(982,1019)(983,1015)(1007,1033)(1008,1029)
     (1012,1018)(1025,1043)(1030,1045)(1034,1048)(1036,1040)(1038,1051)(1047,
     1057)(1054,1059);