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