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