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