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