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