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