z1 := (2,4)(3,6)(5,10)(7,14)(8,15)(11,20)(13,22)(16,27)(18,29)(23,35)(24,36)
     (25,37)(28,41)(30,44)(31,45)(32,47)(33,49)(34,50)(38,57)(39,58)(40,60)
     (42,64)(43,66)(46,72)(48,75)(51,80)(52,82)(53,84)(54,86)(56,89)(59,95)
     (61,99)(63,101)(65,105)(67,109)(68,110)(69,107)(70,113)(71,115)(74,118)
     (76,121)(78,124)(81,129)(83,133)(85,135)(87,138)(90,142)(91,143)(92,145)
     (93,147)(94,149)(96,120)(97,153)(98,155)(100,159)(102,163)(104,165)(106,
     168)(108,170)(111,175)(112,177)(114,180)(116,130)(117,182)(119,186)(122,
     191)(123,193)(125,196)(127,198)(128,200)(131,204)(132,206)(134,210)(136,
     214)(139,217)(140,218)(141,220)(144,225)(146,229)(148,232)(150,236)(151,
     237)(152,239)(154,243)(156,247)(157,172)(160,252)(161,253)(164,258)(166,
     259)(167,261)(169,265)(173,270)(174,272)(178,276)(179,278)(183,284)(184,
     285)(185,287)(187,248)(190,292)(192,295)(194,298)(195,300)(197,303)(199,
     306)(201,310)(203,213)(205,313)(207,317)(208,318)(209,320)(212,324)(215,
     329)(216,331)(219,337)(221,268)(222,340)(223,342)(226,346)(228,348)(230,
     351)(231,353)(233,327)(234,355)(238,311)(242,336)(244,364)(245,267)(246,
     366)(249,321)(250,275)(254,362)(255,375)(256,376)(260,381)(262,384)(263,
     333)(264,314)(266,388)(271,394)(273,396)(274,297)(279,399)(280,368)(281,
     401)(282,403)(286,365)(290,408)(291,409)(293,412)(294,413)(299,322)(301,
     418)(302,419)(304,423)(305,323)(307,426)(308,417)(312,427)(315,430)(316,
     432)(325,441)(328,422)(330,447)(332,449)(334,451)(335,453)(341,458)(345,
     383)(350,445)(352,464)(357,470)(359,436)(361,474)(367,481)(371,483)(372,
     397)(373,466)(374,469)(377,460)(378,487)(379,489)(380,491)(386,499)(390,
     502)(391,503)(392,456)(404,510)(407,512)(410,514)(411,515)(414,518)(420,
     462)(421,522)(424,526)(429,530)(433,534)(435,536)(437,537)(440,521)(442,
     541)(443,542)(448,547)(450,485)(452,553)(455,554)(457,556)(459,559)(461,
     560)(465,562)(471,544)(472,568)(475,570)(476,540)(477,572)(479,574)(480,
     575)(482,555)(484,508)(488,581)(490,584)(493,586)(494,588)(495,531)(496,
     565)(498,577)(500,593)(501,594)(504,535)(505,599)(506,580)(507,601)(509,
     602)(511,583)(513,524)(516,607)(519,609)(520,610)(523,614)(525,571)(528,
     618)(529,619)(533,623)(538,627)(539,628)(543,608)(545,635)(548,636)(551,
     576)(552,640)(557,647)(558,648)(561,652)(563,655)(564,657)(569,625)(579,
     667)(587,629)(592,658)(595,681)(597,650)(598,630)(600,637)(603,677)(605,
     678)(606,643)(611,691)(612,692)(613,616)(622,698)(624,700)(626,702)(631,
     651)(639,693)(642,697)(644,716)(646,717)(649,722)(653,660)(656,682)(659,
     694)(662,690)(664,696)(670,728)(671,719)(672,730)(674,724)(675,680)(676,
     729)(683,734)(688,723)(689,703)(704,709)(708,746)(710,748)(714,735)(726,
     727)(731,751)(739,754)(741,745);