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