a := (2, 15)(3, 11)( 4, 17)( 5, 18)( 6, 16)( 7, 14)( 8, 19)( 9, 12) ( 10, 13)( 20, 34)( 21, 35)( 22, 37)( 23, 30)( 24, 31)( 25, 36)( 26, 32) ( 27, 29)( 28, 33)( 39, 40)( 41, 43)( 42, 45)( 44, 46)( 47, 52)( 48, 55) ( 49, 53)( 50, 51)( 56,122)( 57,125)( 58,124)( 59,119)( 60,127)( 61,121) ( 62,120)( 63,126)( 64,123)( 65, 95)( 66, 97)( 67, 92)( 68, 93)( 69, 96) ( 70, 94)( 71,100)( 72, 98)( 73, 99)( 74,818)( 75,573)( 76,498)( 77,676) ( 78,275)( 79,447)( 80,540)( 81,205)( 82,659)( 83,241)( 84,390)( 85,807) ( 86,483)( 87,564)( 88,132)( 89,138)( 90,757)( 91,637)(101,328)(102,398) (103,149)(104,612)(105,732)(106,277)(107,459)(108,648)(109,213)(110,554) (111,631)(112,619)(113,174)(114,365)(115,407)(116,544)(117,190)(118,529) (128,311)(129,249)(130,170)(131,668)(133,474)(134,585)(135,506)(136,449) (137,592)(139,172)(140,252)(141,500)(142,317)(143,665)(144,448)(145,479) (146,721)(147,774)(148,338)(150,163)(151,227)(152,801)(153,697)(154,418) (155,733)(156,402)(157,216)(158,280)(159,323)(160,611)(161,456)(162,650) (164,392)(165,484)(166,643)(167,804)(168,561)(169,237)(171,759)(173,712) (175,242)(176,305)(177,751)(178,745)(179,351)(180,510)(181,387)(182,243) (183,752)(184,352)(185,509)(186,743)(187,309)(188,388)(189,709)(191,332) (193,793)(194,606)(195,579)(196,438)(197,262)(198,784)(199,778)(200,295) (201,706)(202,737)(203,815)(204,430)(206,465)(207,287)(208,355)(209,716) (210,344)(211,379)(212,696)(214,769)(215,798)(217,689)(218,557)(219,553) (220,550)(221,551)(222,556)(223,558)(224,555)(225,552)(226,630)(228,735) (229,257)(230,385)(231,537)(233,451)(234,588)(235,669)(236,255)(238,476) (239,503)(240,318)(244,527)(245,368)(246,623)(247,546)(248,414)(250,565) (251,485)(253,760)(254,787)(256,636)(258,517)(259,330)(260,520)(261,519) (263,516)(264,518)(266,436)(267,598)(268,357)(269,288)(270,299)(271,468) (272,662)(273,426)(274,705)(276,340)(278,683)(279,718)(281,773)(282,692) (283,419)(284,800)(285,572)(286,658)(289,443)(290,677)(291,539)(292,492) (293,724)(294,700)(296,681)(297,533)(298,494)(300,654)(301,570)(302,445) (303,532)(304,548)(306,412)(307,620)(308,369)(310,633)(312,560)(313,487) (314,639)(315,805)(316,395)(319,764)(320,415)(321,723)(322,685)(324,343) (325,772)(326,691)(327,797)(329,785)(331,605)(333,582)(334,775)(335,790) (336,378)(339,644)(341,404)(342,729)(345,614)(346,464)(347,366)(348,406) (349,530)(350,618)(353,547)(354,632)(356,679)(358,660)(359,813)(360,571) (361,441)(362,495)(363,750)(364,713)(367,382)(370,746)(371,508)(372,444) (373,440)(374,439)(375,446)(376,442)(377,806)(380,722)(381,626)(383,526) (384,410)(386,617)(389,499)(391,480)(393,522)(394,666)(396,455)(397,421) (399,698)(400,765)(401,725)(403,687)(405,717)(408,741)(409,663)(411,512) (413,599)(416,726)(417,646)(420,613)(422,460)(423,652)(424,678)(425,568) (427,541)(428,788)(429,496)(432,607)(433,782)(434,776)(435,577)(437,792) (450,489)(452,559)(453,640)(454,758)(457,524)(458,795)(461,695)(462,688) (463,767)(466,538)(467,574)(469,656)(470,491)(471,674)(472,820)(473,567) (475,490)(477,802)(478,699)(481,638)(482,587)(486,502)(488,672)(493,704) (497,814)(501,762)(504,635)(505,562)(507,597)(511,525)(513,629)(514,625) (515,542)(521,581)(523,748)(528,711)(531,756)(534,736)(535,703)(536,808) (543,753)(545,742)(549,715)(563,667)(566,586)(569,707)(575,739)(576,812) (580,601)(583,781)(584,766)(589,641)(590,761)(591,749)(593,602)(594,603) (596,604)(600,686)(608,771)(609,682)(610,720)(615,794)(616,693)(621,747) (622,710)(624,754)(627,744)(628,755)(634,714)(642,671)(645,796)(647,684) (649,690)(651,768)(653,701)(655,811)(657,738)(661,780)(664,763)(670,803) (673,702)(675,734)(680,816)(694,727)(708,819)(719,728)(730,770)(731,799) (740,810)(777,789)(786,791)(809,817);