bin1 := (1,2,3,5,8)(4,6,10,14,21)(7,11,16,24,17)(9,12,18,26,36)(13,19,25,34,48)
     (15,22,31,43,58)(20,28,39,53,69)(23,32,45,61,82)(27,37,50,35,49)(29,40,
     55,72,73)(30,41,56,74,98)(33,46,62,84,108)(38,51,66,89,115)(42,57,76,100,
     129)(44,59,79,99,128)(47,63,85,109,140)(52,67,91,118,153)(54,70,95,124,
     162)(60,80,103,133,172)(64,86,111,143,146)(65,87,112,145,144)(68,92,120,
     156,196)(71,96,126,164,207)(75,97,127,155,194)(77,78,101,131,169)(81,104,
     135,173,213)(83,106,138,178,149)(88,113,147,187,123)(90,116,151,188,227)
     (93,121,158,199,237)(94,122,160,114,148)(102,132,171,211,134)(105,136,
     175,137,176)(107,139,180,218,240)(110,141,183,222,265)(117,152,190,230,
     272)(119,154,193,233,277)(125,163,205,245,268)(130,167,186,226,270)(142,
     184,224,206,246)(150,177,216,257,302)(157,197,235,189,228)(159,200,238,
     281,248)(161,202,241,284,327)(165,198,236,280,324)(166,208,247,250,293)
     (168,209,249,292,336)(170,210,234,278,322)(174,214,254,297,325)(179,217,
     259,304,279)(181,219,261,262,306)(182,220,263,308,285)(185,225,269,312,
     350)(191,231,274,317,318)(192,232,275,319,353)(195,204,243,288,330)(201,
     239,283,326,258)(203,242,286,287,328)(212,252,295,339,363)(215,255,299,
     323,307)(221,264,310,223,266)(229,271,314,331,357)(244,289,332,349,374)
     (251,294,338,253,296)(256,300,341,365,384)(260,305,346,371,387)(267,311,
     345,273,316)(276,320,354,376,377)(282,313,351,301,342)(290,333,360,380,
     393)(291,334,361,335,359)(298,340,348,373,389)(303,343,368,385,370)(309,
     347,372,381,315)(321,355,378,392,358)(329,344,369,386,352)(337,362,375,
     390,367)(356,379,364,366,383)(382,394,395,398,400)(388,396,397,399,391);