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