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