z1 := (1,2,8,5)(3,13,29,16)(4,10,28,19)(6,24,30,25)(7,12,18,23)(9,31,21,34)
     (11,37,22,38)(14,45,26,47)(15,42,54,50)(17,44,49,53)(20,58,70,59)(27,65,
     55,68)(32,74,39,76)(33,72,56,78)(35,73,61,80)(36,81,57,82)(40,86,62,89)
     (41,91,51,94)(43,97,52,98)(46,101,60,104)(48,103,69,106)(63,115,66,117)
     (64,119,67,120)(71,125,79,127)(75,130,83,133)(77,132,90,136)(84,143,87,
     145)(85,147,88,148)(92,157,99,159)(93,154,107,161)(95,156,109,164)(96,
     165,108,166)(100,129,110,134)(102,172,105,173)(111,177,113,179)(112,180,
     114,181)(116,186,121,187)(118,185,123,191)(122,194,124,197)(126,196,137,
     193)(128,200,138,202)(131,205,135,206)(139,211,141,213)(140,214,142,215)
     (144,220,149,221)(146,219,151,225)(150,153,152,162)(155,231,163,232)(158,
     236,167,239)(160,238,170,242)(168,192,169,195)(171,247,175,248)(174,251,
     176,254)(178,257,182,258)(183,263,189,265)(184,267,190,268)(188,273,198,
     276)(199,283,201,284)(203,280,207,282)(204,287,209,288)(208,291,210,294)
     (212,297,216,298)(217,303,223,305)(218,307,224,308)(222,313,228,316)(226,
     319,227,320)(229,321,233,322)(230,323,243,324)(234,327,244,330)(235,331,
     240,334)(237,337,241,338)(245,261,246,262)(249,349,252,351)(250,259,253,
     255)(256,356,260,357)(264,364,269,365)(266,348,277,346)(270,370,278,373)
     (271,375,274,377)(272,379,275,380)(279,385,281,386)(285,389,286,392)(289,
     360,292,362)(290,299,293,295)(296,400,300,401)(301,407,302,408)(304,410,
     309,411)(306,396,317,394)(310,416,318,419)(311,421,314,423)(312,425,315,
     426)(325,443,328,445)(326,447,329,448)(332,376,339,381)(333,454,341,459)
     (335,456,343,462)(336,390,342,387)(340,465,344,467)(345,469,347,471)(350,
     427,353,422)(352,475,354,478)(355,479,358,480)(359,485,361,487)(363,489,
     367,490)(366,493,374,496)(368,417,371,414)(369,499,372,500)(378,507,383,
     511)(382,393,384,395)(388,516,391,517)(397,523,398,524)(399,525,402,526)
     (403,531,405,533)(404,534,406,535)(409,541,413,542)(412,545,420,548)(415,
     551,418,552)(424,559,429,562)(428,565,430,568)(431,569,433,570)(432,571,
     434,572)(435,573,437,575)(436,576,438,577)(439,579,441,581)(440,582,442,
     583)(444,588,449,589)(446,587,451,593)(450,453,452,460)(455,540,461,538)
     (457,486,463,488)(458,508,468,512)(464,599,466,600)(470,536,472,532)(473,
     519,476,520)(474,592,477,586)(481,529,483,527)(482,616,484,617)(491,621,
     494,623)(492,620,495,619)(497,629,501,630)(498,555,503,550)(502,505,504,
     509)(506,626,510,628)(513,606,514,609)(515,639,518,640)(521,574,522,578)
     (528,648,530,649)(537,564,539,567)(543,653,546,655)(544,657,547,658)(549,
     636,553,635)(554,557,556,560)(558,624,561,627)(563,671,566,673)(580,654,
     584,659)(585,597,591,598)(590,689,596,690)(594,683,595,681)(601,625,602,
     622)(603,684,604,682)(605,693,607,694)(608,692,610,688)(611,669,613,670)
     (612,637,614,638)(615,697,618,698)(631,703,634,706)(632,647,633,650)(641,
     707,642,708)(643,677,645,678)(644,709,646,710)(651,687,652,685)(656,672,
     661,675)(660,701,662,704)(663,699,666,700)(664,713,665,714)(667,705,668,
     702)(674,715,676,716)(679,686,680,691)(695,717,696,718)(711,719,712,720);