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