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