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