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