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