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