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