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