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