bin1 := (1,2,5,7,3)(4,8,13,15,9)(6,11,19,21,12)(10,16,24,25,17)(14,22,31,32,23)
     (18,26,33,34,27)(20,28,35,37,29)(30,38,48,49,39)(36,45,61,63,46)(40,50,
     67,69,51)(41,52,71,73,53)(42,54,74,76,55)(43,56,78,79,57)(44,58,81,82,59)
     (47,64,90,91,65)(60,83,113,114,84)(62,86,117,119,87)(66,92,100,72,93)(68,
     94,128,129,95)(70,97,132,133,98)(75,102,139,140,103)(77,105,143,144,106)
     (80,109,150,151,110)(85,115,155,156,116)(88,120,124,160,121)(89,122,162,
     163,123)(96,130,169,170,131)(99,134,172,173,135)(101,137,177,179,138)
     (104,141,180,182,142)(107,145,183,184,146)(108,147,186,188,148)(112,152,
     181,192,153)(118,157,196,198,158)(125,164,202,203,165)(126,166,204,205,
     167)(136,174,210,211,175)(149,189,218,219,190)(154,178,212,216,185)(159,
     199,176,187,200)(161,197,228,231,201)(168,206,235,236,207)(171,208,237,
     239,209)(191,220,195,227,221)(193,223,248,249,224)(194,225,242,214,226)
     (213,234,253,256,241)(215,243,251,232,244)(217,245,257,254,238)(222,247,
     250,230,229)(233,240,255,260,252)(246,258,264,266,259)(261,267,272,265,
     268)(262,269,263,271,270);