bin1 := (2,4,6)(3,7,8)(5,11,13)(9,14,16)(10,18,20)(12,23,21)(15,27,28)(17,31,32)
     (19,36,38)(22,35,30)(24,42,40)(29,46,48)(33,52,53)(34,55,57)(37,60,58)
     (43,68,66)(47,73,74)(49,77,78)(54,84,85)(56,89,91)(59,88,81)(61,95,93)
     (65,100,76)(69,105,103)(75,109,111)(79,115,116)(86,123,124)(87,125,127)
     (90,130,128)(96,138,136)(110,151,152)(112,155,156)(117,162,163)(126,173,
     175)(129,172,166)(131,179,177)(135,184,159)(139,189,187)(144,194,154)
     (153,199,201)(157,205,206)(171,218,220)(174,223,221)(180,231,229)(200,
     246,247)(202,250,251)(207,257,258)(219,269,271)(222,268,264)(224,275,273)
     (228,280,260)(236,286,254)(243,292,249)(248,294,296)(252,300,301)(267,
     295,311)(270,314,312)(276,322,320)(297,335,336)(310,334,332)(313,333,345)
     (315,350,348)(319,352,344)(325,357,341)(329,346,338)(337,360,361);