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