z1 := (4,5,7)(8,11,17)(9,13,21)(10,15,24)(12,19,31)(16,26,41)(18,29,47)(20,33,
     54)(22,35,57)(23,37,61)(25,39,65)(27,43,71)(28,45,75)(30,49,82)(32,52,87)
     (34,56,93)(36,59,97)(38,63,104)(40,67,111)(42,70,116)(44,73,121)(46,77,
     127)(48,80,132)(50,84,137)(51,86,141)(55,91,148)(58,95,153)(60,99,159)
     (62,102,164)(64,106,171)(66,109,177)(68,113,184)(72,119,193)(74,123,199)
     (76,125,201)(78,129,207)(79,131,211)(83,135,218)(85,139,225)(89,145,233)
     (90,142,228)(92,150,241)(94,117,189)(96,155,250)(101,162,257)(103,166,
     163)(105,169,267)(107,173,273)(108,175,277)(110,179,283)(112,182,140)
     (114,186,262)(115,187,295)(118,191,301)(120,195,307)(122,198,312)(124,
     200,314)(128,205,322)(130,209,329)(133,214,251)(134,216,341)(136,220,347)
     (138,223,352)(144,231,362)(146,235,158)(147,237,371)(149,239,375)(151,
     243,196)(152,245,384)(154,248,388)(157,252,391)(161,256,398)(165,261,258)
     (167,264,406)(168,265,407)(170,269,413)(174,275,421)(176,279,426)(178,
     282,431)(180,285,436)(183,289,385)(185,292,400)(188,297,449)(190,299,451)
     (192,303,455)(194,306,460)(197,310,465)(202,317,475)(203,288,439)(204,
     320,479)(206,324,408)(208,327,488)(210,331,276)(212,334,286)(213,336,501)
     (215,339,419)(217,343,511)(219,247,386)(222,350,520)(224,354,526)(227,
     357,532)(229,359,535)(230,309,463)(232,364,249)(234,367,545)(236,370,548)
     (238,373,304)(240,377,557)(244,382,564)(253,393,578)(255,396,493)(259,
     401,587)(260,402,399)(263,405,591)(266,409,595)(268,412,600)(270,363,539)
     (271,416,604)(272,417,605)(274,338,505)(278,424,612)(280,427,617)(281,
     429,342)(284,434,626)(287,437,630)(291,442,404)(293,445,641)(296,448,645)
     (298,450,646)(300,361,387)(302,454,652)(305,458,658)(311,467,394)(313,
     470,670)(315,472,673)(316,474,568)(318,477,679)(319,435,415)(321,481,684)
     (323,483,686)(325,418,607)(326,486,547)(328,490,428)(330,422,610)(332,
     494,485)(333,496,616)(335,499,691)(337,503,709)(340,508,716)(344,438,632)
     (345,513,723)(346,514,725)(348,441,635)(349,518,729)(351,522,543)(353,
     525,737)(355,528,740)(356,530,615)(358,534,744)(360,536,746)(365,542,753)
     (366,392,576)(368,521,711)(372,456,655)(374,553,763)(376,556,693)(378,
     559,769)(379,461,529)(380,517,689)(381,562,395)(383,566,778)(389,573,783)
     (390,527,599)(397,583,794)(403,590,803)(410,597,806)(411,598,807)(414,
     602,812)(420,608,816)(423,473,674)(425,614,820)(432,622,826)(433,624,827)
     (440,634,495)(443,638,575)(444,639,839)(446,643,821)(452,649,846)(453,
     584,795)(457,657,852)(459,659,855)(462,636,815)(464,662,554)(466,665,788)
     (468,667,620)(469,668,867)(471,672,869)(476,677,873)(478,680,648)(480,
     682,877)(484,688,606)(487,692,749)(489,695,886)(491,509,717)(497,701,893)
     (498,703,531)(500,705,854)(502,707,899)(504,577,787)(506,713,745)(507,
     714,906)(510,719,666)(512,721,631)(516,727,569)(519,726,683)(523,734,653)
     (524,735,875)(533,743,929)(537,748,932)(538,733,593)(540,715,871)(541,
     751,935)(544,755,885)(546,756,941)(549,758,805)(551,585,796)(552,761,944)
     (555,765,901)(558,767,786)(560,771,952)(561,773,940)(565,738,922)(567,
     669,774)(570,747,603)(571,644,844)(572,782,963)(574,582,792)(579,664,864)
     (581,790,967)(586,798,972)(588,801,824)(589,802,656)(592,757,943)(596,
     764,946)(601,810,980)(611,818,633)(618,822,760)(619,754,938)(621,651,848)
     (627,830,937)(628,702,894)(629,724,912)(637,671,728)(640,741,926)(642,
     842,889)(647,742,928)(660,857,825)(661,859,931)(663,862,858)(675,690,882)
     (676,872,759)(694,797,861)(696,881,895)(697,888,785)(699,890,829)(700,
     892,918)(704,896,739)(706,898,1014)(710,777,960)(712,903,1018)(722,911,
     1024)(730,876,1004)(731,799,942)(732,917,781)(736,919,995)(750,934,1001)
     (752,884,768)(766,948,982)(770,951,947)(772,954,1039)(775,957,1043)(776,
     959,977)(779,962,849)(780,841,865)(789,966,971)(791,969,986)(793,817,984)
     (800,973,866)(808,978,853)(809,838,868)(813,851,843)(819,828,945)(831,
     856,983)(834,987,1048)(836,880,1006)(837,990,936)(845,994,1029)(847,997,
     913)(850,915,1027)(860,1000,1055)(863,955,1041)(874,902,1017)(878,914,
     1026)(883,904,1019)(891,1011,974)(900,927,1008)(908,1022,970)(909,968,
     953)(910,1023,1061)(923,1033,991)(939,999,1047)(958,976,1046)(961,1003,
     1037)(964,975,965)(985,1002,998)(988,1049,1042)(992,1010,993)(996,1025,
     1060)(1007,1057,1031)(1009,1056,1052)(1013,1034,1015)(1016,1059,1065)
     (1035,1053,1064)(1058,1062,1066);