z1 := (2,4)(3,6)(5,10)(7,14)(9,17)(11,21)(12,23)(25,39)(27,42)(28,44)(29,46)
     (31,48)(32,50)(33,52)(35,55)(36,56)(41,63)(47,72)(57,86)(58,88)(60,91)
     (61,82)(67,100)(68,102)(74,107)(75,109)(77,112)(79,115)(84,121)(87,126)
     (90,131)(93,135)(95,137)(96,128)(98,132)(101,144)(103,148)(104,150)(105,
     152)(106,154)(108,158)(113,165)(114,167)(116,170)(117,161)(129,179)(130,
     181)(136,190)(138,193)(142,197)(145,200)(153,212)(155,216)(159,220)(162,
     205)(171,203)(174,228)(175,233)(177,236)(182,242)(183,243)(184,245)(185,
     247)(187,250)(194,256)(196,259)(207,272)(208,274)(217,282)(226,291)(227,
     292)(231,297)(239,288)(244,309)(246,313)(251,319)(253,321)(254,323)(258,
     270)(260,329)(261,330)(262,332)(263,302)(265,326)(267,338)(271,342)(275,
     296)(277,344)(286,353)(289,355)(293,359)(294,361)(298,356)(310,371)(314,
     375)(315,377)(324,367)(327,389)(331,391)(333,395)(347,407)(349,378)(351,
     409)(362,416)(368,419)(380,427)(392,431)(396,435)(402,439)(410,441)(414,
     444)(418,449)(422,453)(428,456)(438,450)(440,464)(463,470)(466,473)(471,
     476)(480,483);