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