zz1 := (1,2,3,4,5,6,7,8)(9,10,12,14,18,23,30,38,50,65,87,119,158,208,267,323)
     (11,13,16,21,27,35,45,58,77,105,141,185,242,228,284,335)(15,19,24,32,41,
     53,69,93,127,167,219,254,307,354,399,444)(17,22,29,37,49,63,85,116,155,
     203,262,315,362,408,186,243)(20,25,33,42,55,71,97,132,174,227,193,250,
     292,106,142,187)(26,34,44,57,75,103,138,182,237,257,311,357,404,449,213,
     272)(28,36,47,61,81,111,148,195,252,260,313,129,169,222,280,332)(31,39,
     51,66,89,122,161,212,271,278,330,377,421,123,162,214)(40,52,68,91,125,
     164,217,275)(43,56,73,100,135,178,232,287)(46,59,78,107,143,188,244,297)
     (48,62,83,114,152,200,259,238,294,343,388,170,223,281,165,218)(54,70,95,
     130,171,224,282,333)(60,79,108,145,191,247,301,204,263,316,364,409,452,
     92,126,166)(64,86,118,157,207,266,322,366)(67,90,124,163,216,274,327,375,
     419,462,490,509,521,432,474,497)(72,98,133,175,229,285,336,381,248,302,
     350,396,441,459,488,507)(74,101,136,179,234,289,299,268)(76,104,140,184,
     241,296,347,394,439,117,156,205,264,318,367,411)(80,109,146,192,249,303,
     304,351)(82,112,149,197,255,308,290,340)(84,115,154,202,261,314,361,390,
     435,172,225,206,265,320,370,321)(88,120,159,209,269,324,371,414,457,487,
     442,233,288,339,384,429)(94,128,168,221,279,331,378,423,466,363,196,253,
     306,121,160,211)(96,131,173,226,283,153,201,240)(99,134,177,231,286,337,
     382,427,358,405,450,483,505,190,246,300)(102,137,181,236,293,342,387,433,
     476,499,465,492,317,365,410,453)(110,147,194,251,305,352,397,113,150,198,
     256,310,319,368,412,455)(139,183,239,295,345,391,346,392)(144,189,245,
     298,348,344,389,434,477,500,180,235,291,341,385,430)(151,199,258,312,359,
     407,451,484)(176,230,215,273,326,374,418,460,489,508,520,525,393,437,479,
     502)(210,270,325,373,416,220,277,329)(276,328,376,420,463,491,510,522)
     (309,355,401,446,386,431,473,379,424,372,415,436,478,501,517,406)(334,
     380,417,458,475,498,516,523,526,503,518,524,527,481,485,506)(338,383,428,
     470,469,494,512,356,402,447,353,398,443,349,395,440)(369,413)(400,445,
     472,496,514,461,422,464)(403,448,482,504,519,515,426,468)(425,467,493,
     511)(438,480,454,486)(456,471,495,513);