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