# List of S-integral points (x,y) on the elliptic curve # y^2 + x*y = x^3 - 5818216808130*x + 5401285759982786436, where # S is the set of the first 12 primes. # It contains 1040 points in total. # For each point P, only one of +P, -P is listed. # Format: "(P(x),P(y))". # Computing this list took 191308 seconds. # Authors: Rafael von Känel and Benjamin Matschke, 2015. # License: Creative commons 3.0 by-nc. # (1402932,-701466) (1067634,637035330) (1145136,489626526) (1194816,393470238) (987594,785948706) (1284264,216935646) (674526,1335195138) (593310,1468762464) (1296168,193075194) (1909968,1119848094) (1573410,376054914) (1517424,257249010) (2157906,1700254956) (1380054,13917576) (-2375304,2413591338) (1365048,51389034) (-878730,3136583784) (1467138,151466754) (2749200,3189953694) (-1106022,3238358148) (1368480,43776066) (-1693224,3225493086) (1375014,28389090) (3911886,6517561026) (1437384,88804830) (1367778,45350274) (-1055920,3220394654) (-1479696,3282611826) (1372946,33452588) (1410240,28567074) (13230858,47370142164) (6234735/4,2757424317/8) (1957908,1229957814) (8273667/4,11901241419/8) (1532820,289793046) (5525859/4,63341079/8) (-2623596,1615949526) (1406880,19468866) (23297178,111857001348) (9997960/9,14989384298/27) (1106958,562635714) (2582420,2755172246) (5904867/4,1364226819/8) (367284,1820226630) (21111501/16,9347051739/64) (24769029/16,20614981125/64) (1998516,1324026246) (1790382,849673794) (40650696/25,61118660454/125) (1621482,479146914) (44961024/25,108459750822/125) (72370488,615288009054) (1404150,9858594) (-2766156,575674950) (22115181/16,138553419/64) (34318326/25,4245112536/125) (-1459368,3284646474) (34522554/25,1326081732/125) (-2520768,2013726114) (22827189/16,4221433839/64) (5039796,10199792838) (35549166/49,428565973998/343) (1275336,234767838) (38164584/25,34574884242/125) (2101982,1566988064) (66753282/49,19667237934/343) (-725040,3039866526) (5648259/4,264608079/8) (10867604,35004387926) (177116655/4,2353556501493/8) (1404948,13131318) (2402868,2299776294) (95320065/64,101464984293/512) (11274292/9,7553474066/27) (3310275/4,8587246623/8) (842403/4,16365573267/8) (33260916/25,15465290046/125) (-218226,2580918960) (163303176/121,112078955886/1331) (69320640/49,13490176818/343) (8743818,24956213538) (-393324,2762239638) (48773179/36,15836553761/216) (69460512/49,15729247794/343) (7311450,18803579106) (1458834,134027436) (356851056/121,4959175933878/1331) (488242830/289,3078615514992/4913) (1704648,659967834) (811638,1101261858) (363199800/289,1335040513278/4913) (31143216,173276106546) (12652546/9,438276100/27) (233126094/121,1541397583590/1331) (1567976,364465886) (29285364/25,54865875102/125) (4118303/4,5666117737/8) (-658794,2991711906) (393330936/289,295514047230/4913) (-140101935/64,1416450349437/512) (1378868,17836838) (844324176/529,5165309131602/12167) (1850466,984612738) (19808661/16,19758697599/64) (7908436/9,26541950690/27) (1037451834/169,31142724592836/2197) (1421184,53932386) (11561044/9,5841251426/27) (10763229/16,85647131859/64) (399389142/289,22737263874/4913) (-2720520,1047625566) (-2770950,498846306) (498982368/361,12189259722/6859) (4950767/4,2475352597/8) (43111380/49,336503580762/343) (-2433318,2270818884) (862749984/625,197503078098/15625) (-5157393/4,26246568237/8) (165869940/121,51152233794/1331) (16999590,69411516024) (170425368/121,31895375934/1331) (23211837/16,7488546531/64) (80274324/25,556370822958/125) (12849688/9,1841729998/27) (122169846/25,1209480115416/125) (34009314/25,7688686428/125) (-30775632/49,1018060778622/343) (9863328,30120979998) (510146730/361,244685898294/6859) (825299319/1444,82523466500667/54872) (1298964,187455990) (407437734/289,135086553528/4913) (13953624,51384046410) (71170968/49,41381766642/343) (78696726/25,534224502234/125) (1389828297/1024,2233255224939/32768) (-489420,2851841766) (89876649/64,5440955577/512) (63560244,506340531750) (1886556192/1369,1026456343014/50653) (-2071590,2927475426) (-1403169/4,21762438945/8) (391202964/289,372270692118/4913) (68780496/49,2574050718/343) (116410146,1255664490588) (8910264,25704887646) (1359282486/961,1153590496158/29791) (5127031374/4225,98032690720752/274625) (946632,860842074) (111647808/169,2984189407818/2197) (32162106/25,26561610564/125) (-431674188/169,4169909857998/2197) (5524355/4,78232747/8) (20945685/16,10689456621/64) (81403092/169,3616556011518/2197) (34782214/9,172067375126/27) (174003384/121,120063986106/1331) (51952344/25,188809593318/125) (258731958/169,628018992138/2197) (1382046,3947616) (4740024,9180268266) (242106,2001591138) (6227598,14512139184) (975216,808674546) (-2397676,2360776310) (1992992439/1444,736926721107/54872) (-2625792,1605821214) (210843768,3061243677738) (169804710/121,7095330456/1331) (31791384/25,30263047842/125) (393833478/529,14808963503688/12167) (7028688,17652683154) (1926281262/1369,1014771022752/50653) (22282920,104582643834) (23510429/16,9998060825/64) (456866004/169,6743270344062/2197) (8524926,23982087936) (-2581320,1795749354) (55754868/49,172738390602/343) (430737789/400,4957459074123/8000) (74160794/49,85385824334/343) (369231456/169,3877328509302/2197) (240736458/169,134325297588/2197) (135377504/25,1439516831098/125) (68747016/49,594341490/343) (1266482286,45070439266626) (1161402708/841,250630032606/24389) (-40549875/16,125959541691/64) (112944216/25,1055391640674/125) (756831078/529,906757572648/12167) (15223071/4,49546533705/8) (121796692/81,166382619526/729) (226104519/100,1949570519277/1000) (34485524/25,2010052558/125) (-582034983/256,10746030773109/4096) (48686875/36,16924469621/216) (-89036268/289,13151218920054/4913) (3287958,4669143714) (41378814840/28561,544935366153966/4826809) (625037736/49,15362994483570/343) (114254206/81,21386735794/729) (-2851020807/1024,4428424742397/32768) (34557204/25,-3962802/125) (5313903/4,1021799877/8) (2184069396/9025,1716239734065546/857375) (-877206,3135731106) (387032526/169,4439490763872/2197) (541630056/361,1517759265342/6859) (3491550,5256762144) (902863416/841,15264509764182/24389) (138000294/121,663551795526/1331) (1616237076,64975811611638) (50507479/36,313701611/216) (506498646/361,16524383592/6859) (777744984,21689320966986) (12978975/4,36371195673/8) (-56219406/25,333520621818/125) (755902920/529,860962389522/12167) (572087838/121,12165303395238/1331) (16306128,65154428574) (9517791/4,17930888385/8) (107669992/81,91946211886/729) (143535774/625,31548338177682/15625) (840186/25,285200359044/125) (-16858028/9,84235614178/27) (3722183085/2704,3435207156867/140608) (1191225720,41113449026346) (506484678/361,12406826712/6859) (44263904,294042199070) (35720766/25,8819100474/125) (-291946146/121,3092671009446/1331) (1326447816/961,390184418658/29791) (-27329910/49,998508767502/343) (157651374/169,1946194407552/2197) (16038255/4,54556005597/8) (8021282439/5476,59394557023485/405224) (25199284/9,89758503922/27) (155217360/169,2003345184378/2197) (21182781/16,8767810857/64) (730000596/529,173255687322/12167) (-462635949/196,6715559242797/2744) (6625866,16050970146) (-102425424/121,4150168804986/1331) (5031573573/16,356887023823047/64) (169788180/121,5611986546/1331) (1100086320/841,4124521535226/24389) (83103362/169,3582095069948/2197) (35309256/25,4226652006/125) (2829286164/961,110587309124106/29791) (285967551/196,368832716547/2744) (84950034/49,248270180628/343) (2902739304/529,143255117201046/12167) (411563646/289,296313728448/4913) (-153745/4,18973582597/8) (87888801/64,16738889685/512) (13444071366/9025,170399103612126/857375) (117586968/49,786137555442/343) (56078850/49,168383424558/343) (1445894740/2601,202824989736674/132651) (83256537/64,94000676343/512) (8520542253/5776,73886679850749/438976) (127381620/49,960229762122/343) (3232365816/2401,10727561317962/117649) (-35333034/289,12145243635528/4913) (196804776/121,652106433678/1331) (241679760/121,1758680789334/1331) (163239168/121,113546253318/1331) (173412090/121,106234529916/1331) (4276894964/3025,6210457636778/166375) (149124837/16,1765000093431/64) (262385808,4249901050014) (221162197/144,511843548649/1728) (2810903700/1369,73546994142318/50653) (91647777/64,39596341731/512) (63533982,506026445664) (18572174696/13225,16166007131774/1520875) (137089419/100,38273685327/1000) (493304070/169,8005640846952/2197) (338769498/121,4424150851548/1331) (-231197387/1296,118344399230719/46656) (227857620/169,191147109438/2197) (18613450740/14641,430072997345814/1771561) (47753337/64,621726071793/512) (-102062952/289,13376499881982/4913) (4094972454/3025,12583441315182/166375) (-51877320/49,1104963430278/343) (192339786/121,546545648076/1331) (369611526/289,1118151873240/4913) (920869239/676,1010796702765/17576) (-986905356/1369,153831394542558/50653) (6009902958/1369,406577745563322/50653) (322170664/225,260095846082/3375) (-858080814/529,39568473608910/12167) (67468482/49,8048060292/343) (-1005465654/361,50543580342/6859) (3318885984/2401,-77847856386/117649) (237350708/169,24464346158/2197) (5864471751/100,448696960039821/1000) (-449801934/169,3135284257962/2197) (32442465/64,822616195587/512) (1031801232/289,26962453534002/4913) (2194521250/1521,5949747416036/59319) (498857298/361,36751898196/6859) (123920276,1379152767638) (856202286/529,5752388035662/12167) (-50556264/25,372978378726/125) (-277162069/100,487098437591/1000) (872209038/361,16001085624726/6859) (1469653001/1024,2758484315605/32768) (1473253716/361,48304709280354/6859) (57251142/49,152559416904/343) (5357030097/4096,44438383840071/262144) (308537076/625,25428793128726/15625) (213645684/25,3009323538942/125) (87283648/81,450742468562/729) (1408868184/25,52830530737638/125) (21677529/64,953587789431/512) (333399102/529,17137076970336/12167) (-120141159/64,1595768496225/512) (177547188/361,11182338996402/6859) (759038778,20911533102948) (-64685850/49,1126470172008/343) (969209274/625,5121564618468/15625) (1318784481/1024,6871688210625/32768) (2766050832/169,143959738197306/2197) (96767496570/361,30099790439877756/6859) (68759552/49,1589254862/343) (-66161064/25,188251357794/125) (493176750/361,335998433046/6859) (-1347477045/484,1543799699733/10648) (341387374/729,32809608287648/19683) (30981171/196,5811343143297/2744) (185201184/529,22456641236946/12167) (113667094/81,3622108114/729) (85890813816/361,25170031871772042/6859) (375225585/256,608255408271/4096) (5421309744/841,374406438475770/24389) (119704180/81,126783849014/729) (47294719113/18496,6766465971621513/2515456) (-2335025616/4225,798286759449522/274625) (1860103458/1369,3293175494172/50653) (77263860/49,131478766698/343) (9694340976/961,929247483300258/29791) (60812401101/38416,2985700928062161/7529536) (227839764/121,1408594401330/1331) (-286183128/169,7086249855426/2197) (251350333/144,1295859864127/1728) (25863524436/15625,1078554190777566/1953125) (246339954,3866052130626) (731158578/529,34090744398/12167) (-24880375824/9025,600691495519266/857375) (917950008/361,18200617327182/6859) (-843734706/361,17131489774230/6859) (880713696/625,402188556306/15625) (16686056698/1089,2129900629753508/35937) (-226627242/121,4152666183558/1331) (907929915/676,1717837533099/17576) (1283402208/961,3377958547134/29791) (-488714316/2401,301733569875270/117649) (5526019281/4096,22340428699719/262144) (769025154/529,1500279833796/12167) (323781462/49,5481186183822/343) (770634944/529,1578117317842/12167) (336447120/289,2225230999602/4913) (1687900824/3025,253834493490822/166375) (1046148546/1369,59944497088890/50653) (3289954056/2401,4679212075194/117649) (122504290932/89401,1060982023935426/26730899) (-124423161/100,3273890383893/1000) (28081809768/20449,95613710328258/2924207) (-339812546/225,11064910144478/3375) (307000974,5378781117360) (68097213/16,486153677091/64) (11023794/121,2937794087526/1331) (174244426896/130321,5184438108828078/47045881) (1203775554/841,1853086322634/24389) (21154620976/4761,2693718593215142/328509) (5926838614/2601,264326510963446/132651) (1091107060/729,4204553481442/19683) (9059875680/2401,717086584967934/117649) (636686226/625,11382545108076/15625) (3720846531/4,226962474614943/8) (984313614/1225,47822810532342/42875) (21279433674/15625,113794022722218/1953125) (970321440/529,11534887849938/12167) (-2567580486/961,40822225692510/29791) (10436083776/7225,63705604789446/614125) (35178504/121,2571883089210/1331) (30467576640/17689,1644442643972262/2352637) (7485356766/841,625845534321354/24389) (267249576,4368623576286) (221319732/2401,259510152651366/117649) (13369863741/10000,110310310518489/1000000) (25659299262/17689,274484348395536/2352637) (34810845204/24025,421634281546482/3723875) (3360356193/1024,152405102588127/32768) (4496342784/361,296179880947254/6859) (9934199976/7225,17493454957746/614125) (-592831498/361,22260164392886/6859) (810005976/361,13083733944942/6859) (-101175360/289,13361388367038/4913) (796558576/729,11608178657050/19683) (863932014/625,-4330908462/15625) (761281959/484,3992568346299/10648) (-39151320567/18496,7220162051613129/2515456) (-21236946/289,11861220984738/4913) (638591079/484,1556536440963/10648) (114551427/4,1221699317739/8) (3153578403/4,177090671690727/8) (241117367529/87616,82919650781216841/25934336) (529589076/361,1037005937442/6859) (-603589841/6084,1160255233796047/474552) (-133085666/81,2365678350784/729) (1792022976/25,75813554509734/125) (-15044574/361,16294687318692/6859) (114956001072/83521,600870551298546/24137569) (-1157237934/625,48994082677164/15625) (-82148418/289,13029090836352/4913) (-246764922/529,34446045201198/12167) (298122539/100,3813233963867/1000) (3047404606/2601,58169265091088/132651) (-933880416/841,79015869682890/24389) (1832483739/1444,13571282627457/54872) (24832790481/16384,531741106190247/2097152) (3300007156/1521,102524868841322/59319) (20066691060/14641,69080560590486/1771561) (-3979727727/3136,575668603548933/175616) (14029372029/10000,-30763959117/1000000) (16614922932,2141636734628934) (3514743219/2116,54969894888105/97336) (931685232,28437751132914) (1251787672/1089,17295175569866/35937) (1249364166,44159751003096) (324599775384/231361,194688889451850/111284641) (9026909424/625,846268531619982/15625) (3019098483/196,163944752382321/2744) (85968141780/61009,386457554275482/15069223) (11096920341/4624,720754677629535/314432) (21809781876/14641,352050575912886/1771561) (7690929360/841,652946882921946/24389) (8318841012/169,757793811870798/2197) (36143104890/1369,6842894078829828/50653) (22482302088/14641,523706844533034/1771561) (-76891643/144,4995484440547/1728) (808490065/576,99371434739/13824) (2620184880/121,133308150026874/1331) (-2849331174/4225,824807276429154/274625) (37935293241/25600,746920826584131/4096000) (202871217/256,4647325570689/4096) (347656233556/275625,38002727994428254/144703125) (16611624349/11664,76204749560831/1259712) (1405680951/676,26602740158613/17576) (-94127983/256,11211275189969/4096) (101359818264/961,32260046350227510/29791) (31336966356/529,5542459277696730/12167) (1223241402/961,7139608610844/29791) (244089412704/330625,233406549594335742/190109375) (18646721274,2546256348954210) (1027018080/841,8338440548874/24389) (-672923136/529,39888867603246/12167) (2041917400/1521,5872199584486/59319) (687029392/9,17997982749866/27) (-5640049641/5476,1300795387529145/405224) (3019775187/2116,6507636745989/97336) (3398933638/81,197823407480722/729) (-9512593/4,19256189149/8) (3418038804/289,195936026213238/4913) (4800450990/43681,19924043246899746/9129329) (1569840537/64,61902672897111/512) (3479088222/121,204490716438864/1331) (1818386509/1296,132455646145/46656) (217187839956/361,101214077435468994/6859) (3927430009/2304,72978847971221/110592) (8178544056/5929,7352033244018/456533) (7260614886/361,614343968652792/6859) (800432712/49,22408915166322/343) (2990731170/289,159434802089052/4913) (-184357736/81,1909259098874/729) (-61585278/121,3818877947844/1331) (5437616248/1521,326379083351602/59319) (120498000150/83521,2416543089730914/24137569) (3805252554/121,234041618018310/1331) (3806535045/2704,3086623153407/140608) (133202910/361,12467593806384/6859) (-4028630909/4356,908874281030971/287496) (35402863764/25921,207581193593430/4173281) (-66618467394/60025,47642267852709594/14706125) (6001800116/25921,8415212557881478/4173281) (7677116229/5776,55472701671201/438976) (-16419400674/7225,1612307951893146/614125) (782099880/121,20522289919374/1331) (27425294706/625,4534724500925196/15625) (287182403733/226576,27005739637119153/107850176) (-9519421560/28561,13045231605926766/4826809) (21254546745/1024,3078294839256963/32768) (3425938224/625,183649370994318/15625) (1831915216/1521,22229187049822/59319) (260874363/676,31503549966279/17576) (24877324824/17689,42187029477606/2352637) (5565901449/256,412745770317171/4096) (144131621016/13225,53470710118715466/1520875) (11885918118/8281,63623228043558/753571) (158591891142/104329,8860183311971478/33698267) (18187441528/12321,232980942228214/1367631) (1995868347/1444,133550749401/54872) (59298665/64,459390184537/512) (25771957698/17689,305995701553788/2352637) (102783251184/34225,24523986368445378/6331625) (319584865044/231361,961799304657270/111284641) (-3751019001/1444,94897791786927/54872) (-543142977/196,1359894915051/2744) (12773207151/16900,2631511845573909/2197000) (28753614432/20449,50060220840066/2924207) (245322910/9,3827512979248/27) (-2144447052/961,80374599120954/29791) (4443393711/2500,102579818998641/125000) (18269940621/13456,104724678408873/1560896) (421767896,8661490200266) (9033052918/6561,12652815456514/531441) (1870939584/1369,2424609305178/50653) (18826216176/13225,89859299769354/1520875) (20637165653/5776,2412553229497673/438976) (-30003935919/10816,497417891394507/1124864) (195605060529/135424,5164350943357887/49836032) (-2106894760/841,50333698246486/24389) (10260667533/5776,359335612694253/438976) (305218001/256,1632066222911/4096) (-235951602/121,4067249048448/1331) (-1461615474/529,7558228825200/12167) (-8011662710/6561,1737506806933076/531441) (2027556591/196,88995588078879/2744) (-16965465/3364,454683809563257/195112) (5693245552/3969,20634580473058/250047) (4220927233/576,260881057046347/13824) (-4116228594/13225,4076076959134176/1520875) (114155426950/6561,38212476808977496/531441) (2866747444/2025,3788189804782/91125) (1851677776/441,68660111020486/9261) (-780390366/529,39945573332196/12167) (-158654700906/130321,153776852508585576/47045881) (-139912460871/160000,200587853217675333/64000000) (4029047661/400,248956540220499/8000) (-390876035/144,1890828156703/1728) (7739816074/5625,10949388560518/421875) (2682328224/3025,161177853967122/166375) (91322580864/67081,1031180215070550/17373979) (10142243094/7225,4903517628858/614125) (229540706/25,3367504595164/125) (-2777572620/1369,150772711022238/50653) (81675889194/2401,23282996891200194/117649) (-17736386642/6561,623735628120784/531441) (1537830246/2401,163722651317112/117649) (-5825921415/7744,2084337759370953/681472) (12651336129/7744,344486853827211/681472) (1117227029/784,1368794161937/21952) (140356499754/67081,26828150499126444/17373979) (48518300208/28561,3123251967333666/4826809) (15192199488/841,1856416270621866/24389) (897908010/841,15535136820564/24389) (217634519892/152881,3534783732959034/59776471) (67690844211/12100,16184836688561529/1331000) (107567440864/77841,114669884712914/21717639) (29511065574/21025,21722663119992/3048625) (8822707887/3844,484546365449979/238328) (60065336214/25,14720793470275128/125) (205540875237/2704,93133578571203117/140608) (13911731223/5476,1072888012622241/405224) (-8184045927/4096,788862423528477/262144) (59774660994/64009,14316268774871676/16194277) (1233855156/289,37528953944838/4913) (14933990969/10816,12742678717495/1124864) (19407075069/8464,1578775700138919/778688) (134962237719/96100,325664108520783/29791000) (104223889086/67081,5804382321952374/17373979) (21393730011/3364,2930036557266795/195112) (2906467194/841,125675394899370/24389) (1183827675/676,13403690429631/17576) (2506000333044/1874161,282259747495092630/2565726409) (365693241/4096,579234226654029/262144) (168232680/361,11457440328894/6859) (4732472901/4624,226278480449895/314432) (14065406580/8281,487203740435586/753571) (263841482646/190969,600716001309690/83453453) (40295795230/29241,101271007365776/5000211) (1704725692275/1214404,10572224259617877/1338273208) (17986824372/169,2411571249980238/2197) (842531284/81,23845456966310/729) (20053922352/961,2821376699681934/29791) (417077038920/303601,5264789047874646/167284151) (59771346501/21904,10166705494502925/3241792) (11710119066/8281,28562615560998/753571) (276971466864/162409,43302651160135782/65450827) (176181861666/104329,21064113656507940/33698267) (15801171216/13225,598479641837766/1520875) (6032527275/5476,232097408562219/405224) (4422903678/2401,113619115928226/117649) (10849785768/361,1126502842712586/6859) (29646283129/9216,3952540746297475/884736) (405933298356/279841,17273382802073094/148035889) (53185208025/7744,11590521260094543/681472) (2678633632/2601,93884888673034/132651) (16245971256/961,2050437103286358/29791) (3905638374/2401,57687784802040/117649) (40495033146/4225,7911160278172386/274625) (68738866782/20449,14268876481955616/2924207) (78132183967/324,21837821848216973/5832) (252755711949/8464,126658558185310869/778688) (4206528078/529,261456162528048/12167) (417136644226/275625,36002407324086524/144703125) (-25059545304/14641,5699635303177866/1771561) (5131974999/4900,231562390543203/343000) (30456298424/841,5303210083409494/24389) (32523747441/123904,86038591526202585/43614208) (41577171936/28561,615463484406642/4826809) (63023752506/67081,15180672324705852/17373979) (305452593449/102400,125105141459600053/32768000) (999159156/25,31524167988606/125) (49298490066/21025,6570561186245154/3048625) (5059234224/361,354794751654474/6859) (13678879929/64,1599681099229137/512) (386465183274/330625,84372077742833868/190109375) (1470494230/1521,48884187688526/59319) (198796228840/23409,85377324542296202/3581577) (1383703361/1024,2645725718353/32768) (-2069639563/784,33780515000051/21952) (220002540528/142129,17241610800366402/53582633) (215829994494/152881,1931714082795360/59776471) (4639219026/961,282262847612436/29791) (-29939752662/64009,45866428197121578/16194277) (5088589902/1369,300128290371642/50653) (-1721187916/841,72113083285390/24389) (14016446526/625,1650020199319776/15625) (24647091375/196,3868564341183639/2744) (208796124658/159201,10298955393146036/63521199) (3206262864/9025,1575906881617698/857375) (64154147347/12996,14585922603142531/1481544) (231286466388/162409,3947933305641378/65450827) (430150141089/78400,258416288197796877/21952000) (7857832629/4624,203869180179087/314432) (136609836564/525625,753164482824697038/381078125) (81671447055/9604,22484269742207253/941192) (-5041369814/2025,192470354506324/91125) (-23754291459/10000,2413303241098611/1000000) (94414620738/41209,16924234539435558/8365427) (-45369375432/28561,15744853866645786/4826809) (27108850467/1156,4440213344283951/39304) (103764738036/17689,30948501175770270/2352637) (25850594068/42849,12883697211367882/8869743) (11311421236/1089,1172930571728870/35937) (3303629054730/2393209,46541024134874508/3702294323) (26841949920/17689,605280015992742/2352637) (27763675146/20449,196508797784382/2924207) (341038146909/250000,6668230660322577/125000000) (22318686354/15625,135972494851308/1953125) (23781624980/1369,3633374578134638/50653) (2511718414/441,116020636737536/9261) (6017107363/4356,2467007340439/287496) (917790071/676,1182078575341/17576) (738992128242/43681,629062585278232866/9129329) (210249614496/13225,95343061826471574/1520875) (45502302882,9706195775343324) (49331874804/34969,194881763506338/6539203) (-752074797120/395641,770989067383334406/248858189) (189254295801/10816,81577997750982039/1124864) (99670549890/289,31465018734890082/4913) (31649653984/6561,5028841702597346/531441) (2780354682004/2030625,121894312870741142/2893640625) (2720780001/64,141684357576885/512) (59058249882/47089,2828606405264004/10218313) (126811027929/92416,991195690030059/28094464) (272306568713/87616,107952028370747359/25934336) (52642512724/21609,7570141121034274/3176523) (3872673641136/3258025,2384418147268461594/5880735125) (1500003089621/1024144,151550910605679383/1036433728) (21229765712/14641,204609300617954/1771561) (-1874932300/961,91007357360954/29791) (4127115415/2916,6421649241311/157464) (79859440641/12544,21134479321731495/1404928) (14326273881/256,1713064556121531/4096) (39061147206/20449,3276044494823400/2924207) (121274084052/117649,28488099642195738/40353607) (133427575713/92416,2874658144910457/28094464) (2672097989/784,110080409972651/21952) (2155604363994/1500625,159684163340360772/1838265625) (106377146985/33856,26522278191996231/6229504) (164737162461/115600,2453105593349121/39304000) (66952870077/94864,37481011775624481/29218112) (66955731561/18496,14175493350687903/2515456) (-369664704186/165649,181877463915496584/67419143) (37631217684,7299973559672886) (814014914529/577600,11487260737175997/438976000) (-5387863395/1936,16946144732511/85184) (290974846314/105625,110012155465422612/34328125) (6130206886/4761,69079793683624/328509) (-56677936488/405769,644198931279320754/258474853) (-10569303666/4225,569883269608368/274625) (200056960/6561,1214646310865474/531441) (40727982408/34969,2955320504300622/6539203) (150211606144/29241,52685134003349830/5000211) (953577916500/707281,51800454316834374/594823321) (11704826359/8100,76544445671893/729000) (22777705274/361,3434983780512374/6859) (-7436355000/116281,95273862871317126/39651821) (29001158034/15625,1947833715296202/1953125) (7479464304/25921,8077120398215646/4173281) (164590183785/64,66773082032941407/512) (25111942696/18225,51058991475314/2460375) (359506223976/105625,171677106504081426/34328125) (3598087793664/330625,6668935502195486562/190109375) (-506015423052/724201,1861944501045611634/616295051) (10558736807700/8116801,4247168469073038006/23124766049) (30240634590/20449,514719538393182/2924207) (281746249122/25921,146120875455986754/4173281) (-18113098604/13689,5260403444298670/1601613) (561939322169/73984,402090456488125099/20123648) (130623139488/41209,36265131203528058/8365427) (21176810034/529,3075990328550196/12167) (-1871451426/1225,140439759670512/42875) (45218293758/25921,3120182443723008/4173281) (23351333812/8649,2461522333393678/804357) (101611780104/2401,32336396717215674/117649) (819048456576/105625,708844974072912474/34328125) (-27471216336/83521,65127983934722034/24137569) (4712793089664/13225,10230482876103611382/1520875) (285172559166/279841,107744316435923682/148035889) (408948381705/295936,856661345809419/160989184) (1281758449926/600625,764892824035890126/465484375) (1031290159467/33124,1044152845173013029/6028568) (1104972382816/680625,271451583973192786/561515625) (59179985673/43264,406038539411283/8998912) (496496406978/961,349832284908629694/29791) (2085012230/289,90432817211842/4913) (374374879380/279841,16078589953818774/148035889) (58593307833/65536,16032974151234093/16777216) (19507211686452/14115049,224428618386857262/53030239093) (1238727186498/693889,484430572966025148/578009537) (689977191369/160000,497687801993296797/64000000) (1423978313664/1030225,2224322044737582/1045678375) (2845242080409/1308736,2603544758590614879/1497193984) (574763277754/11025,435257585839017682/1157625) (-147354578808/277729,422693977123475394/146363183) (132602087019/96100,437631632331177/29791000) (11746197632/49,1272946138628942/343) (15827416032756/12355225,9701983339649288034/43428615875) (-118527045612/43681,10053806799216822/9129329) (4728814792/8649,1241628542852098/804357) (2148907638870,3150115491198270984) (8531484430179/5597956,3592159650169887705/13244763896) (-340192977420/130321,78799160112482646/47045881) (368278378809/1024,223482304364470659/32768) (-2883560677071/1048576,836571507998128599/1073741824) (13653714531/4,1595410340608995/8) (1998227906260/7569,2824464369473608858/658503) (157787212179/136900,24076164283481127/50653000) (3878414622081/3385600,3045028855897458951/6229504000) (1023508833414/717409,40047118072867368/607645423) (4519563963729/2238016,4596257737979157141/3348071936) (1261556510817/937024,82545070363047573/907039232) (-1493861428176/8265625,60339973960637472918/23763671875) (5444651367444/4225,12704228752123399542/274625) (941613238605/753424,186735460561692897/653972032) (848449786485/698896,208011333503421231/584277056) (4556229648294/4380649,6314295942557301642/9168698357) (-583730058399/262144,363178445867323503/134217728) (107443711785/53824,16466230279454223/12487168) (3978995128176/4515625,9391093210162291674/9595703125) (367277044936/308025,68082795690550394/170953875) (-4125111/33856,14478732885759825/6229504) (93532408425/65536,1124446826464971/16777216) (320346936090/165649,79194876092511918/67419143) (269771273840/162409,36967117485401702/65450827) (13586071175499/9897316,1059697869710027631/31136956136) (239736410694/180625,9995127973233528/76765625) (14900587536/28561,7642581934968642/4826809) (28975802283840/17631601,38979432294545922126/74035092599) (262091891289801/185395456,93287814084511086723/2524344528896) (71428501876/7569,18516172520469578/658503) (415726333512/279841,28155943756335486/148035889) (48540762919/34596,18142124943065/6434856) (2746886675142/2474329,2166170547131518728/3892119517) (478355383988/346921,3649954637259662/204336469) (1304335338126/707281,577193423781355536/594823321) (151401549832/110889,1873680206562998/36926037) (5202980911326/4092529,2009688354687803502/8279186167) (50494270919079/484,358808304735162579963/10648) (-3080992091271/1132096,1252696144794129015/1204550144) (-22969369134/30625,16383785311903764/5359375) (-524820772419/283024,471830465567027883/150568768) (4746043315569/4000000,3277089915582283503/8000000000) (217103379274/110889,45412026814965556/36926037) (393407120262/279841,2395849011765186/148035889) (11196612092685/8133904,567425102906119713/23197894208) (184390593321/6400,78902276108371341/512000) (1977207331905/1401856,48174047812138641/1659797504) (2968322014974/2989441,4011547884434060160/5168743489) (2612327373460/1896129,55433211475369238/2610969633) (614297548176/444889,3291451912974618/296740963) (-8306738382186/15768841,180634996585797989736/62618067611) (-387009994290/923521,2473420346028883056/887503681) (589856414601/10240000,73754934267221707749/32768000000) (414162254361/350464,86906729315476533/207474688) (142480112443/36,53780872237507553/216) (-1545418796064/923521,2869937274839031426/887503681) (-7561179940236/3286969,15331189685721488382/5959274797) (750455097734/225625,512078952266100152/107171875) (-21618469608216/9150625,67613218436754811902/27680640625) (-139525841004/89401,87379329742290834/26730899) (112482289825/5184,37496894521571587/373248) (8207867423757/226576,23462227281381238239/107850176) (574701078744/395641,30083288148007170/248858189) (73964660212/441,20112912381267614/9261) (-704644161622/279841,299438942036969396/148035889) (-7545354088749/7496644,65685508679268138147/20525811272) (17126547317616/11122225,11301450311914572606/37092620375) (1512654978697/1327104,764175325538341477/1528823808) (136568048377/20736,47462372342337061/2985984) (523631182629/94864,347436858737993037/29218112) (151028466627/174724,73655589119748051/73034632) (587237914215/417316,5484316536298671/269586136) (93235972066122/62236321,106304436075250683906/490982336369) (2784348731796/1677025,1222982487493574634/2171747375) (745619536624/540225,5313380884036898/397065375) (20583575080401/3748096,85554087140689440753/7256313856) (7988129539560/8281,22576639613462470446/753571) (1746306040372/1185921,210238773484735846/1291467969) (82943216685849/31360000,512213424776526380307/175616000000) (4652083993881/3385600,191298526399784901/6229504000) (2277446574936/3822025,10943599612074960426/7472058875) (14445715916784/289,54904461097263446994/4913) (-6268645047264/3705625,23013304999877115834/7133328125) (9160276020052/6517809,246846060370787398/16639966377) (-8311830903006/3258025,11227392026879933418/5880735125) (2711570137896/3553225,7938412019603197014/6697829125) (155468845181550/1874161,1937579748946715969904/2565726409) (81270758985904/1375929,732009069686070933446/1613964717) (117623730626544/66015625,445426335614975076822/536376953125) (136977593536866/3455881,1600121493390403272804/6424482779) (637573719058/998001,1390151499263611822/997002999) (3635860246689/2310400,1322753252382632823/3511808000) (84888670975/49284,7648431632102887/10941048) (-290484708006/104329,4296082181841942/33698267) (178951360351674/121242121,227000754622375578300/1334996994331) (1691970720465/1183744,92270750110501497/1287913472) (186064961666/116281,17178515971445146/39651821) (17615058120/67081,34271454537187134/17373979) (6025823847096/2608225,8720579603662062786/4212283375) (2877688423569/3136,4881541516796589891/175616) (41238423085089/25321024,63013449644830495443/127415392768) (942476011832/162409,845780249975651918/65450827) (335937339291/4900,194578951697192901/343000) (165056196470/117649,28026801665528/40353607) (3359138317302/101761,6140081879973861726/32461759) (-563027975144/680625,1744384925857237646/561515625) (101286717992339/39564100,671358224004031130683/248858189000) (5865059638810/5517801,8371358851818414986/12961314549) (2127407751613785/1549839424,2082217308045721280727/61014078444032) (3644928632346/2989441,1786626702094288482/5168743489) (-11706266746302/5285401,33119135235699379716/12151136899) (-425437673219/176400,172334111044129369/74088000) (963391586774/717409,59660022886071224/607645423) (79862619942433/65804544,190411071534747186007/533806460928) (2784764440296/43681,4643537325293147802/9129329) (39465485892057/19430464,119914985081801050473/85649485312) (-46510583418/1151329,2932907550493954776/1235376017) (1169482227826/998001,436819724659738612/997002999) (58184307906915/2869636,440765724979834086741/4861163384) (21153874665306/13225,97292411347615433526/1520875) (1843370503819/272484,2361035552209604099/142236648) (808657557494/21025,725732958772791938/3048625) (16692663239706/10106041,17496217197374124444/32127104339) (-3427063773324/1874161,8085852550269300342/2565726409) (5507600362456/2518569,7073169062003728330/3996969003) (-220778578522/101761,90765668315964062/32461759) (685446703016/289,567486918057828478/4913) (222228447829127/156400036,104252453582460374209/1955938850216) (11942605207209/8340544,1856520735451935711/24087491072) (686038664724/525625,66661449551187918/381078125) (29668606826466/20205025,13992830081931311076/90821587375) (504437739549/13456,357517499334966321/1560896) (77581109328116/1874161,682147362599044289942/2565726409) (3211211719006/2518569,940923421604498198/3996969003) (5243066153824/3980025,1193838720654322042/7940149875) (3326117962421/2446096,240282457116449747/3825694144) (3180653519546/4774225,14072738929185754514/10431681625) (-11551433782209/6708100,55812210237291278919/17373979000) (17981710781268/14641,76249935231582028998/1771561) (-51427237980876/18498601,23968747209516091566/79562482901) (67501041412916/43681,554574194634979250854/9129329) (44806986582912/33605209,22947903547291071462/194809396573) (6165221370510/4231249,1134250860211622898/8703679193) (277057336667159/189172516,380096147612832843349/2601878785064) (514879381897716/645922225,18493098385390788485994/16416113348375) (1131080765364/1677025,2899957489930226298/2171747375) (7007752656111/2775556,12057791817080603973/4624076296) (19427921023944/3025,85632131399730766518/166375) (-892549828257/662596,1772401764240340707/539353144) (1309899760191/611524,794918507595796923/478211768) (15519808439139/11957764,7840950620223762231/41349947912) (233718398355894/14161,3573038183293329824184/1685159) (45007497378506/9765625,266814783450142580404/30517578125) (-8901304033536/7263025,64013037561409878222/19573852375) (48231317196456/55875625,422104297339781462346/417670296875) (940662496642/7569,912115965869704132/658503) (-941790284620/405769,654299316518887502/258474853) (-1678168067571/1024144,3364926353242142889/1036433728) (1594031643568209/1158721600,1052847472524977519043/39442883264000) (-2086286572371/1430416,5619424375700388375/1710777536) (4577779328815/492804,9491038740463700987/345948408) (-20397942963024/8265625,51714293398170664026/23763671875) (117602159003553/83759104,7208188042319975697/766563319808) (24651243661291/11573604,64315494759525255035/39373400808) (-14395020673966/5784025,29415409214739934138/13910580125) (106188543742656/1890625,1093183986014416123554/2599609375) (-81598530049296/87740689,2600375017864586362194/821867033863) (5470712660361/160000,12763645722906730941/64000000) (241733670748771/172186884,19596628034694147763/2259436291848) (1909648542153/4194304,14491015422506495493/8589934592) (19294946519124/12780625,11009697051845207418/45690734375) (1486191694597896,57294408386916566732766) (21107867315377/5184,96975729235547104429/373248) (28821939446160/10310521,109662000497623811706/33107082931) (-1748525176101/3422500,18177256954124828907/6331625000) (107283105195618/27447121,935796370794299901732/143795466919) (56536068571929/40960000,3436890907499396733/262144000000) (-252565080508140/119530489,3757525227673200865038/1306826836237) (6437623078329/46348864,676436804494094307231/315543066112) (81545105419/656100,1149658653185019883/531441000) (65563079061166/731025,530652941279003991824/625026375) (-26727070625754/9765625,27758741355008219706/30517578125) (202185919917576/8254129,2861191529057424844302/23714112617) (613262650246/1656369,3870867595272682958/2131746903) (899678275958/508369,291307951323797128/362467097) (281191671720424/284765625,3778090779752227584782/4805419921875) (280817071059732/42471289,4427557233879467055054/276785390413) (147873423215145/350464,1798115304366771902733/207474688) (-54373079221448/19686969,55566681478550755334/87351081453) (425606356991504/308880625,112427012292840911858/5428576984375) (-1655519382555224/818589321,69879278129573372448286/23420659063131) (-6286786371651/5550736,42460325867751370401/13077534016) (174800895879201/77721856,1315821619419359447961/685195882496) (92095749587494/18275625,796749845894934815672/78128296875) (1840678553076/4826809,19080171793221332958/10604499373) (1103676630821664/815730721,1797253394389489911330/23298085122481) (1405629229011060/982132921,2327970156232209107394/30779063611219) (229916281562256/41075281,3204117670145814174702/263251475929) (38054633172242/64009,234746342889777470666/16194277) (476087373133986/136585969,8363619574292268233700/1596280219703) (-1890226763099/7290000,51677309248749335251/19683000000) (-311896166238/4092529,20015161759775832558/8279186167) (48815648479911/14212900,272781284331306370281/53582633000) (258032194595328/66863329,3474965273444631949182/546741441233) (77534684387016/80874049,610098748254916792602/727300322657) (-5571276881689/39062500,609303877397211575309/244140625000) (394613921435709/285610000,33031384252126134627/4826809000000) (34168796532530/24019801,6696340593184775866/117721044701) (1634829750418797/21904,66100996004893385880723/3241792) (176329284345042/125238481,31570581147843329364/1401543840871) (2957585149456788/3648280801,243042334437052338828054/220359808661201) (-4546885477576/1771561,4368117700305059530/2357947691) (775794949682376/544989025,750967728253092133566/12722768788625) (181178931641268/25921,2438703033279305401734/4173281) (-266438862738591/286557184,15347481896921431654401/4850840010752) (-352871643537384/316733209,18269233776239657926818/5636900920573) (756013518570337/527529024,966147375772819994653/12116286623232) (1124154122818686/34000561,37590206159168284644576/198257271191) (294240431562256/49660209,4680219229018740071090/349955492823) (2057353765486329/1368408064,11532157667421106816563/50620151103488) (389064760332816/494209,7674022512175994886882/347428927) (-271809798338679/130873600,4373384508968705452461/1497193984000) (549234973119160/400280049,283474514868960851398/8008402940343) (2571186188782473/138674176,129309370542200014959909/1633027096576) (40727889543394/65025,259911782041175219812/16581375) (-403584483752243/273042576,14811153286429046559671/4511755525824) (-137169990792519/312582400,15504848289584585842539/5526456832000) (339759825915624/207331201,1541607238210843260834/2985361963199) (448261560631104/4225,9490663632483321936162/274625) (668707176147336/452625625,1665962334424129021134/9629610171875) (15411388605592/5184729,44735054176907668322/11805627933) (226775873754165/226576,3414972018996617024499/107850176) (238957442796552/70241161,2941270218829113635094/588691170341) (6423380885829504/4950107449,66223978525789562660538/348274709789293) (-427246182195720/169338169,4420951632783340936098/2203597593197) (1137016596598338/146482609,36666975061018250180868/1772879016727) (3487344711414330/243049,205939900204317175986372/119823157) (5199385850475546/4066230289,59145745837140797335548/259291306838663) (7978034045663526/5669337025,8742440351744939463816/426872731297375) (6276470645053953/5555615296,214971186813941433432003/414093341702656) (-2897353428279279/1048723456,21207120950510903032377/33961860399104) (10344829224497032/7367303889,6245729292734829360046/632357794704537) (2321825497208814/2164947841,63254561532523637709264/100732858093889) (1140135617011546/858197025,3208627929128770899134/25140881847375) (-872443733519355/320696464,6018988189738995564573/5743032277312) (14168836383045096/10255410361,7457702594634419790342/1038555151848109) (11980708687486452/33860761,1311300275642047255637346/197035768259) (1078636142255961/1212153856,40648073080565678433501/42202348650496) (1818845416585224/1828161049,60382876627761689546598/78166681972093) (-93125671601091/36917776,450410735194272420861/224312406976) (3629371434923523/1156,218648751891870727524387/39304) (9104993255215569/6400000000,29268863968570934542503/512000000000000) (-289704581394751896/370229656225,693504910997945197476266778/225271787774944625) (2583050948773704/21025,131280081902033392421502/3048625) (5227507487618913/861184,377954198386088339438913/799178752) (1873801212817389/1369296016,2222519632037432625255/50669429776064) (25089566534343622/12554530209,1862279484249897294112744/1406697446327823) (17007888525102292/8988746481,919660261517685275541286/852214065117129) (455434893848169/206899456,5370100233466754160339/2976041775104) (5854568863808478/3049579729,192377338968181624427598/168406941374567) (37896570491723744/27614130625,159886069601372176722622/4588778156609375) (307552995636784/517244049,17253455897511432646622/11763681406407) (158336522184579105/122825015296,8919455487435708126627279/43045746160697344) (8939243656060041/9166913536,709838739676677175801179/877676969590784) (368866279342999/68062500,6475345909878293801557/561515625000) (4257331397325648/724201,277781499389289742293318/616295051) (1797685011040779832/1300509879201,-649292849612053760228734/1483100165730941199) (46901708323421460/114340249,10156984241625553816012302/1222640282557) (19679209564873419/13767267556,116014416747511532281989/1615368571415704) (45445653091614088/36036009,9687943892302564822527178/216324162027) (134025617580775671/74521356196,17653472405536845317292453/20343286942521256) (4432724618220777/19430464,295098887275963775369031/85649485312) (755742195440303646/16097265625,656094181657304802481231056/2042340576171875) (-7487759601566096/2701400625,67927125278254571997758/140405297484375) (843574044595469214/806844025,774777397641693612631975002/22918404530125) (722246956704447156/14430015625,613059068732340265294282446/1733405626953125) (5676994482130543/3420144324,112453267582697667821297/200016880356168) (-625470100476150674/228603515625,100222538591649967961493824/109301055908203125) (2560294365304096404/1773502129441,240997501429644653130600150/2361824217338333489) (2144781055024367689/1452699878400,299291406566523930997891253/1750910109437952000) (16597410023610915/857435524,2122152885444835502157627/25107427013768) (2032906988661184425/2660909056,2898452884697138340419038251/137260332744704) (5491958539330009048/547983387081,12525534653439230456388196906/405649634137193979) (58273566200274200862/90428308369,444831775954637474278364163648/27192967894567097) (906030644749044422/184825187569,772967118027959439533788088/79458750863351497) (28896700215091137776/20576883630625,994205513832694361488803374/93340345103150359375) (2497071140354849982/89401,3945902336229778562867386416/26730899) (9488047114472600371/476100,29225718725792434721857611599/328509000) (575993783096113219392/416697060359281,1592389489508480125451455986/8506103347946600178679) (274975265213451262769/7666785058816,4549307056550765849914712816855/21228530482215387136) (956631057879264726534/21712384719025,29542408232124432094123149579342/101172222017928436375) (13460811703944139272052/4741984546960761,1119296373495789036622712874105086/326542867069745664274509) (-541810699479572518775/364640106184704,22851760008196593485226884050523/6963004108935536836608)