bin1 := (2,3,6,4)(5,8,14,9)(7,11,19,12)(10,16,26,17)(13,20,30,21)(15,23,35,24)
     (18,27,41,28)(22,32,48,33)(25,37,56,38)(29,43,64,44)(31,46,68,47)(34,50,
     73,51)(36,53,78,54)(39,58,71,49)(40,59)(42,61,87,62)(45,66,70,67)(52,75,
     91,76)(55,79,107,80)(57,82,110,83)(60,85)(63,89,118,90)(65,92,119,93)(69,
     96,125,97)(72,99)(74,86,114,100)(77,103,134,104)(81,108,130,101)(84,112,
     146,113)(88,115,149,116)(94,121,148,122)(95,123)(98,127,162,128)(102,131,
     165,132)(105,135,168,136)(106,137,126,138)(109,140,173,141)(111,143,176,
     144)(117,151,182,152)(120,155,142,156)(124,133,166,145)(129,163)(139,158,
     185,171)(147,178,164,179)(150,180,201,181)(153,183,187,159)(154,184,198,
     175)(157,186,197,174)(161,188,170,177)(167,192,203,193)(172,190,191,195)
     (189,194)(196,204,206,199)(202,207,208,205);