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