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