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