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