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