bin1 := (2,4)(5,9)(8,13)(10,17)(11,19)(14,24)(18,29)(20,32)(26,40)(30,46)(33,51)
     (35,54)(41,62)(47,70)(52,76)(55,80)(56,63)(58,84)(60,79)(65,93)(72,101)
     (81,112)(82,114)(83,116)(85,120)(94,131)(102,125)(113,151)(115,155)(117,
     158)(118,140)(121,163)(123,165)(124,132)(126,169)(129,148)(134,178)(142,
     187)(152,199)(156,204)(159,208)(164,215)(166,219)(167,221)(170,226)(172,
     218)(179,235)(188,246)(200,259)(209,269)(211,245)(216,276)(220,281)(222,
     285)(223,287)(224,289)(227,293)(229,236)(230,260)(231,298)(233,254)(238,
     305)(241,247)(242,310)(249,318)(282,352)(286,357)(288,359)(294,366)(295,
     368)(296,370)(297,338)(299,375)(300,349)(304,378)(306,383)(307,384)(309,
     387)(311,391)(313,389)(319,398)(329,406)(340,397)(353,429)(360,438)(362,
     440)(367,447)(369,450)(371,454)(373,457)(376,460)(377,449)(379,412)(380,
     465)(381,403)(385,472)(386,473)(388,476)(392,481)(393,399)(395,485)(407,
     495)(439,523)(451,537)(455,542)(456,543)(461,550)(463,553)(464,520)(466,
     557)(467,511)(471,503)(477,568)(482,573)(483,574)(484,576)(486,579)(488,
     569)(497,586)(501,585)(515,600)(524,608)(525,595)(527,611)(538,624)(544,
     631)(546,633)(551,640)(552,641)(554,644)(555,630)(556,647)(558,650)(559,
     621)(560,589)(561,583)(562,655)(565,584)(575,669)(577,673)(580,677)(581,
     671)(582,680)(587,685)(601,693)(609,699)(632,722)(642,733)(645,737)(651,
     743)(652,732)(653,696)(654,703)(656,749)(657,687)(658,691)(670,759)(674,
     763)(678,766)(681,768)(682,770)(686,772)(694,777)(700,783)(701,779)(702,
     776)(714,792)(723,798)(724,773)(725,801)(734,811)(738,815)(740,817)(744,
     823)(746,797)(747,825)(750,829)(751,787)(752,791)(767,843)(769,845)(771,
     848)(774,816)(778,854)(784,861)(785,859)(793,868)(799,873)(824,889)(826,
     899)(830,880)(831,884)(846,913)(849,914)(851,891)(853,901)(863,917)(869,
     925)(874,930)(875,922)(876,927)(877,924)(878,890)(886,939)(892,946)(900,
     953)(904,950)(915,940)(921,964)(926,968)(931,974)(932,965)(944,982)(961,
     985)(962,992)(967,987)(975,996)(977,984)(981,993)(983,999);