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