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