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