# 202 high merit abc triples
# each line contains [a,b]
# sorted by c = a + b
# source: https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=3
[24833, 5020969537415167]
[44, 14087010572580078081]
[188728275341281, 30687043271724658719]
[2477678547239, 613474843408551921511]
[289111328125, 1628886484491098486528]
[110330191652531040475, 3651621299988620198933]
[377933067, 3972256707877558203125]
[1289066038662879404041, 39453125000000000000000]
[82800367216340571, 78295316104448477385125]
[720077960137146368, 121494451649631319056757]
[557832031250, 126612145087527382220763]
[139344708952637771, 164883187567419514159104]
[1696555248485695128859, 386984662267854848000000]
[25161368403091, 570243460709396737065659]
[312785683886639043920000, 521510164210797278536573]
[162729, 1042151581574097478352896]
[420707233300201, 2095497085117617283137815]
[2704798098231340213727, 2282915619421863094395648]
[273107879572591, 2737390021480156653158400]
[3005846374259060721, 4926054421161533193359375]
[3463816043689, 14552958405387161183956311]
[1150214810701824, 27270489383229770695157551]
[12558771894353185783, 29998073834107591730798592]
[226528683441437300000, 61205917571030987668745001]
[31117999167337103924704, 75929189120022207165685625]
[24266759909, 115083567798137664794921875]
[1025227, 191008735430507276015771648]
[8168354035667660710457, 201889741674926757812500000]
[8654525279998779296875, 229727166528260169448321941]
[24177718603515625, 257105151822500460145178903]
[10888990400037112340748947, 313598822099962887659251053]
[8057670828586578369140625, 336279695268097676087263232]
[2707160810382798173125, 362056449426413786635575296]
[6677810878020726899, 362853092519923466461694976]
[25042000461254908942243489, 746238520246620316957147136]
[5221930928159181681, 852261232797199554443359375]
[326020305429710586075065, 1084841796426358147681681408]
[11745463940603527909, 1092734360998619466244472091]
[1220490749793073, 1293730089605146013383786496]
[704351246414667032104101, 1330154843488105332967895899]
[44790692380548068359375, 3417300183328464869570036529]
[584782324546968610349056000, 3410296576766975505986261811]
[1268199764913417288439021568, 3097532453432709681191796723]
[464743623105438551, 6045120559074418176746593449]
[12871401376042325701, 6982755521222696737060546875]
[393927551841835417600000, 10704872737453891276395489673]
[146767394485224241, 13669290314405085785446416384]
[259217962079863808, 13821594916284084320068359375]
[457311092558307719056799, 13907329461548919677734375000]
[22085158925511, 20716509203959465726291916489]
[1166734795934435022801, 37173286594669935706660000000]
[23819819904139264, 45729959189003560490241156111]
[14822655189548692237, 82397063796300715934718885888]
[19640442097275829793832015625, 128103440127920164447537621239]
[210843112500000000000000, 151621931292374320157056076023]
[916042593694120132608, 179239666784997133807373046875]
[55204820542052128964537745408, 183636889121597576688232421875]
[47083785239352742984619140625, 311958186094982909351657447424]
[223270703038574259899031, 649307365977022004946459915625]
[48831649786182106087424, 696575699559416875031183834451]
[26241147001833881, 735341985345060666070927734375]
[11529295992324189492061, 850844577839153422257109336064]
[43605851614077490795377441, 1196303870365848004271875000000]
[153067271526435328, 1698672872200340782815590402973]
[34724249599609375, 2161685176079980461508417028096]
[139454367457789127349853515625, 2611256810956342725139772205092]
[946405371868870625, 32374802723214377186364016433232]
[22179156666895547093, 34913183682284144146198407675904]
[2203646221741844640625, 71649217146644876178683022088368]
[522126500272673131, 74392346486376275746647573022869]
[12001326673135741, 88165084791245000367415481104259]
[134783940126171875, 92834181056683026002118828883968]
[8450559419, 98004013227865393267570508531596]
[8628951430756189421875, 543059049820697074202106338131661]
[653183680307783067, 1399554597612075731651306152343750]
[563724163211882114410400390625, 2834612346924429283958528844636703]
[20443728973364345302466693353, 3891320061619085979788813136822272]
[51064811, 7826989785439209430125504708476928]
[5928730440118282309, 8026769053317573738092929801519104]
[15882708203729084657, 8095815186379034155707810947817231]
[132046922795404799862196390866944, 11667685877417927676691911275148681]
[107765161, 16814226186045162242785754358008663]
[119529069824030642258141, 24065179596584182939170785357741859]
[14635787791951924463179043, 46705984699784297218048531659032073]
[531282935989, 73641904553285149488361689250267136]
[246674545293823961128566332, 76176897712118105169434411798376043]
[3571424655943961575, 101377134565314715862969604202561536]
[8149759554184307428900880126953125, 184801588605534844978995877224906752]
[1930918010415108319945854879268864, 235893069010853185460952493636853625]
[85717547314243276096263352623251456, 196896131374561764052712527083765625]
[785717171553879, 320913062252451680627140051026068480]
[2177034288120125, 347345003492078554423324947106496512]
[3151436082461322439439, 362699499596064472208208499370919936]
[5115242004936559, 407247779300418982064337092595063441]
[14564302259024534457919995904, 473782006353804365815880319819440825]
[6346605553, 492975898921684287283512668474514447]
[16381703817, 673285248040832681703391296050586439]
[3499761479721725337104, 939144804663370588943106307327397271]
[19954407093901006131733888, 1475498869662093155080293491744105475]
[2395269484225019653222026969088, 2003563160751184488307461284060069849]
[17449402268886407318558803753801, 2481883971970720407896821114796246199]
[26323433299859116561308330229760000, 2468757154125328622430804067288873801]
[100392141091355154507792843, 3259846319543580408464554373004099125]
[664559691245401291839706490968570625, 4051734037392610655275387090022711296]
[947879669685667223, 8873939344779791540547225129034332777]
[1064688249377365, 9509162922100286472565114284547861931]
[3211838877954855105157369, 12209871893875847187098385907192246272]
[25220932830213426279247196812890625, 17485613666400818352222466948402205184]
[612751029392585241125380931715072, 19284753446797077583139474701971746875]
[4947958397180247015424, 81281131236689787773584530930848687701]
[3726611675441373705930335953354752, 149396799168455271303955954571533203125]
[1871533462882238491, 192664186774168804232699779530337812480]
[6646061257, 575964977644707347858848400000000000000]
[613737032673817, 645918268034832102287372054052905524096]
[377565317854343860884519486242527597573, 667868939308135273866355419158935546875]
[1414453227013534511, 1125624004909102222880796755116492324864]
[182508082033529762785, 3060767416910056002472159721508923506688]
[194478079441586388803257968359375, 4836408215518349253440286038941680046129]
[110694767111422864255245173136013049441, 5189591376653295184950594460805637341184]
[141738889709, 6489879932415727624554342702727592889600]
[31261091101632060539508193, 12350667342087531953099217904903692170432]
[16200223889602590484425974658203125, 17559612403195901873349647254322548736523]
[217516454110418641, 27689002447974085937827090452128388713984]
[6550522328618816671368570797982255939584, 24279679373455112368311802677123619051041]
[1415984465382688265592062411773681640625, 94102062037665644636271274633380277256192]
[4540491232680271727181814229009053, 346161690323630949799787836931802714350322]
[6138890983448361554523121, 376351383495147294840641784667968750000000]
[62777244480777763083, 428724951510323033018951218209842281587061]
[1477429, 920145274072691722806601822790960021504000]
[70481196916823187, 2624990993600261964900937229950772705078125]
[429280172117791132385483537443684438408457, 2902879259661729548771784436643414887366656]
[2384990205200861462116854028584329, 5037698588038241041943612289487253637431296]
[130688410876456206336, 18060557607961536446730761769935514491059289]
[4565898668084229944277303564365714370330624, 16112759306016723261898484955672890365997501]
[695606563606442148006101677581923, 57576591665034362126590541368210176398589952]
[347070856691718238923, 81731210433363973133827748929143308281761077]
[41384332596026661258466773453425380333980777, 48326710094123879889444068603515625000000000]
[2063261961823521511058423651, 109031397653295178343967849129618747730638849]
[1628995676032061914468351888326691, 151313210503692653503645417054628785562845184]
[1174617623690853431050479412078857421875, 328180142041139483548694725092626151261825308]
[1836663805028956328780786321829823, 341369987831125687798753779436199529840279552]
[12893223714967486449319936, 1282060125929359208099325277659184767755859375]
[2831054986033663935641, 3035095189189615974361751964815916131618664375]
[33373, 3049839593068543793069682623505794397543562659]
[9168840339054545809, 5785662043817054242167132959765125700287109375]
[674319184954167467886814321451800429, 32072945385497021757428645032113185678548199571]
[553611389360227869798332916832, 109098170963255825195876997895538806915283203125]
[1687985790084250677387, 141949861450245248022563279756750812935501119488]
[1047285008500551591948178915459225, 146839682795137930866165342911043074963960437671]
[38035127243, 150815359125848074407376393311363522682778682421]
[3971503294809916729784891216754913330078125, 199229281157617277256340351246053758806673852944]
[14374840518453389237877059261, 230655032318478725257507881389976146421463667011]
[16410601, 324209127189310500467198327318538505890963105024]
[8586691821664036606825416363808239201, 4268988480871009762247730669377365073620925432674]
[161454787645657371939881483, 10932551178516657054123763302384965779853401915392]
[4356977468, 24329989780515009588423793281389467201263427734375]
[194044179727679164565036392723359534328254464, 30345050917391008073990518318005838144841451042411]
[794273367811372674931841932573067011015638202897, 38277582095597707065831633546528372988984361797103]
[792844152694991298285564892522643750137851562500, 127080991582810400058157802138832810096375149245861]
[218312028734669511361729, 406680828357186701864265471296308414726679922999296]
[145114547144850771075432984934127871829439, 478370551231697723988140468339630762475874048170561]
[175826059583070075463921981221, 1766056992315991023436652356985106543952709733458500]
[647644820670347717524964511029129, 2333927869495867424036868151975288962272898208000119]
[6044112236696882681065850397930035, 184722922760676649502680217573144339254388748010044493]
[149008532570008716904458718689, 1649131691126025316044641356088480021588782278393471775]
[1982865374388834895633915535908613275882944, 1649131691125033883357447236657728203838261780672967681]
[83347433115832217811681603668212427452254649439428125, 1922877609521984827219243213974858670472539036138938851]
[5482474433575759854689047243627307307663828298730881, 2427666149827775581474264951015301706957873433664159744]
[375505036037961328255742517127159029988681636797089, 3203328570757243978863793056017764424146572017664000000]
[302817941844203337024782087, 3877361498603053275890643765785482284784577027965452288]
[6383506767777189291700242535849759902342269604947081, 4029415384727100446779695778840655465861318710937500000]
[333101198767152070635432044699, 4716418511051923209358717412852717539900164721868800000]
[98510087171258464329115223138227, 14373412790223329808678441598877578664935615190196783648]
[1510172634014460572671018731233386121, 38110972058470684008789302354161863817462824338932629504]
[2015151951376482046119908140736919923326976, 42122630888571294251813794848079430121764716418699719899]
[121588887369723164152821276243876547801631, 398703807810572411498315063055075847178723756123452198369]
[318306095337360132090430620573027032629473861845141946368, 353869912946906944901308235078781710425035644286207663007]
[27027732776139404140491414984430327896517325, 824510321926420065813537737857678172568620732043535537459]
[116051814817175188995924281418394057836364267701, 1168903597518928984229368851478883329604266909211232305152]
[12887364131254655099910734519749499397, 22305047981483218559409661579858523593970061897851450500603]
[374767263669735324912532848758465179, 27196791441961265221185690344499359288954918384552001953125]
[32369029077396804350866354260583803570270296990195646464, 934721522815394923868944475960856257790771164306545497712911]
[7958374958079, 698042392297968606058159789361760359205584406924356012673597440]
[329961269651361232112784558987114964002537472000000, 2687749472267450137980002240415992761067439593490099197827660637]
[848190690196629253709410699575926286450688000000000000000000, 2687325402016493628287652758435855855975403635064552199072945733]
[297821847037375790182048338974904789595625, 1408449959449829865903874434854235561618770503906729026505861496832]
[922815434786010581540958753029247178966000261, 867073024123444714825006372969734121512218816498870046793708668452864]
[388365712944346688648070164763973109755796355853949, 24411408707750782855607390395369452215770875147736026890244203644146051]
[2346235935062041528821551061906990577360196568293362206476241424829382656, 554544301513265583921340381989235861326653471863311966599268406554906945469]
[16549979536155372440576842641546988596745200315567, 23951364622681064001554421864319328979187184666200812488706743607692055543808]
[32790610852822302675772069469399953243440854586259736430583993109870250793463, 1505981050682367209644189703455091096976881693629334712531714210123638916015625]
[1971552818877002036264176245186405505433321865968173, 306119960730765513765033701037699056261760300328679501377156823415614431176459731]
[12107308913642286980768214025994818038644498026458433249, 123676029973211471508626542891385793722839330765833024605289917961355501973541566751]
[6076542700690680970287890694505190153107603050839637477768938585102002911740657261, 9269874296098644349859031238354610813235430776263605108213374933834870534152350370951875]
[3373333932703444106995538502464295541588293110296431936190972211329, 116533468591822900169219808189691435211380903925480756466726006692624650895595550537109375]
[2507927603090415299156929168017213432484899585426308899833648189873033962717184, 116533468590568936367681347207978377515586288286243235265096028828928419664531415500173441]
[454706363197252713600001231975318360612675868588903908546411045644584041, 1028673825701074701587123624563195756962445311130745382010936737060546875000000000000000000000]
[40088871825669269806676699404398438617069570145882198913022304508970275069, 10297818852381490627980605609794739794565468993810712757163364188160000000000000000000000000000000000000000]
[39590256758143909424533741609695181914455679917839575312452349251518764036737929216, 291550496198577256536957307136564810380957037620342264865157097947944616551250527735164675371741649152587890625]
[1048939681548379254308882849834469104927074573378238354092199547830927381138221767121282750046184687301, 23724884266159156491716456288930953534760061510001800927662233951258392815621616838253961710864057277348138086381368339061737060546875]
[21591025518482133930182161605065144304054700522010519796955216251782279518669214259276876206249772391638921587693, 40414149916812715450157525058618227469356101850729602270536023722201740409738043351986094947591235686075016064862986382240676122220388665033490432]
[200398080358025345395810836820570481627036444718446040044293526298229968888925363009795367369554118415634224625348520751241764896657391112053345531715077241759416263456482147198861618819679903005531094723225903, 5278577413810758801836010336474257081883761964306697554569883787947083983259634224939149028232335253918404296950283954475888327797363791921789961810521763910405762900235571569192918009392977763693956431577644140308580578135888572433032095432281494140625]