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