bin1 := (1,45,12,81)(2,10,48,78)(3,41,37,39)(4,44,46,60)(5,20,69,79)(6,49,58,40)
     (7,50,67,61)(8,16,80,36)(9,19,83,57)(11,66,13,82)(14,62,38,42)(15,65,47,
     63)(17,70,59,43)(18,71,68,64)(21,30,33,84)(22,54)(23,55,31,75)(24,26,53,
     51)(25,29,56,72)(27,34,74,52)(28,35,77,73)(32,76)(85,94,97,120)(86,109)
     (87,110,95,116)(88,90,108,106)(89,93,111,113)(91,98,115,107)(92,99,118,
     114)(96,117)(100,103,102,112)(101,104,105,119)(121,130,133,156)(122,145)
     (123,146,131,152)(124,126,144,142)(125,129,147,149)(127,134,151,143)(128,
     135,154,150)(132,153)(136,139,138,148)(137,140,141,155)(157,160,159,164)
     (158,161,162,165);