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