Standard input is empty

Solving 6872997084689100999,2637233646... 1048 checks -> X=[1616572541]
Solving 9078653409261647225,20107865552... 2320 checks -> X=[449330371]
Solving 6204065810667370029,18117424300... 2176 checks -> X=[349128799]
Solving 8377764386947850835,8578715346... 1472 checks -> X=[1119824149]
Solving 573740668574541335,1222839214... 1840 checks -> X=[366744245]
Solving 2332788977645911185,2873099096... 932 checks -> X=[942965515]
Solving 3628246654071921643,3228289706... 2712 checks -> X=[883568971]
Solving 1051781834057508125,21773489276... 720 checks -> X=[48254453]
Solving 231618875206266229,1396571252... 568 checks -> X=[153207307]
Solving 1054427391929416527,2306821966... 1160 checks -> X=[434667057]
Solving 3866347130772167093,3607472612... 592 checks -> X=[965883929]
Solving 1647365987821490909,15437729212... 1280 checks -> X=[105983723]
Solving 6002977442217785433,33004176288... 4228 checks -> X=[182755029]
Solving 1715306797406913517,12547933676... 1328 checks -> X=[138192493]
Solving 8205240174491127561,21320918888... 3404 checks -> X=[391404047]
Solving 4623577622917713141,2721001092... 864 checks -> X=[1199975799]
Solving 4716848974187332491,16001583434... 1656 checks -> X=[300326737]
Solving 3235118873677335301,9713704596... 1000 checks -> X=[324816419]
Solving 7532560813147517523,7720540882... 1744 checks -> X=[1124836513]
Solving 7668193844491484229,724179847252... 920 checks -> X=[10588707]
Solving 7297637057282394417,27196750136... 1316 checks -> X=[267365413]
Solving 4670571022860213499,9370068410... 600 checks -> X=[494446939]
Solving 6284526614720855545,8780659448... 1908 checks -> X=[684042535]
Solving 779186956271707961,6085177144... 2372 checks -> X=[127197041]
Solving 2691150861675854331,4084040154... 432 checks -> X=[820340469]
Solving 8181997063728219983,16032984734... 1180 checks -> X=[522968681]
Solving 3254747771316518785,23882208552... 780 checks -> X=[137068547]
Solving 6849874937001463119,7691385286... 1508 checks -> X=[806108157]
Solving 446159984384169305,554617200... 1176 checks -> X=[446245165]
Solving 4196843341280442325,33889050836... 1016 checks -> X=[123802603]
Solving 140159740193776413,52129372... 2720 checks -> X=[366963729]
Solving 3229000156497733907,31059991346... 896 checks -> X=[103844539]
Solving 5180913751919036703,13855207198... 1388 checks -> X=[378776607]
Solving 73642367352099689,775842512... 1216 checks -> X=[109034651]
Solving 3575842063795004931,4361082562... 736 checks -> X=[716920371]
Solving 1000599995113654775,3429053262... 2200 checks -> X=[270495941]
Solving 7538814361091835351,35330417142... 1180 checks -> X=[213833127]
Solving 4714067939054859819,6931082730... 1208 checks -> X=[637304927]
Solving 4390917198334361121,9348579152... 1408 checks -> X=[461837239]
Solving 2712308344564603671,1430919719614... 2184 checks -> X=[1895501]
Solving 460242098262054959,315208750... 1680 checks -> X=[542182463]
Solving 4629669730041385973,10276710132... 1128 checks -> X=[433017791]
Solving 4747743268832838861,14927524396... 704 checks -> X=[323424613]
Solving 7155688703806949371,48590726650... 512 checks -> X=[146820869]
Solving 541396459556732241,4209054336... 1564 checks -> X=[127313079]
Solving 6022046125198766295,14640103094... 692 checks -> X=[407504655]
Solving 2655728759498482647,33753603054... 1184 checks -> X=[78540427]
Solving 3594455806369168845,44686923788... 896 checks -> X=[80566305]
Solving 3308919917120512199,20061095750... 1604 checks -> X=[166249537]
Solving 7144586549295260123,21656459610... 752 checks -> X=[326162623]
Solving 9220358631783155535,44166932382... 1132 checks -> X=[209046249]
Solving 8805684973095457905,31465474160... 1224 checks -> X=[282230385]
Solving 974715168644730125,3947411692... 1184 checks -> X=[254390875]
Solving 7641917898235414125,32049581388... 1184 checks -> X=[238166725]
Solving 1373726653948164221,8100117884... 1696 checks -> X=[166717501]
Solving 5495699868506122199,16745978606... 1104 checks -> X=[323236597]
Solving 2384342118540822565,45288060404... 536 checks -> X=[52709095]
Solving 3453569946716035545,154606357464... 2404 checks -> X=[22340673]
Solving 7918304455500551855,44624268270... 1600 checks -> X=[177074255]
Solving 5326934415412494203,656327904938... 1784 checks -> X=[8116249]
Solving 1665874740895087191,282020373814... 2340 checks -> X=[5906873]
Solving 3579323432572685465,32355607064... 708 checks -> X=[110307055]
Solving 8850347067892747303,33084276134... 948 checks -> X=[266412079]
Solving 3636597641904888067,14603061474... 1216 checks -> X=[248389819]
Solving 8745107477320259463,113172034310... 2020 checks -> X=[77232881]
Solving 3720582956431328625,33183028984... 1668 checks -> X=[111806421]
Solving 347036167708327617,30968241856... 2464 checks -> X=[11208639]
Solving 883166312938241055,3892145238... 1052 checks -> X=[224353203]
Solving 5826759696673011545,45103993456... 1160 checks -> X=[128832115]
Solving 5997632495662333397,95413648084... 1368 checks -> X=[62886293]
Solving 3595515580324964415,17150612990... 9140 checks -> X=[212001055]
Solving 8014101309440115417,337610802904... 1348 checks -> X=[23738751]
Solving 3738005419950950265,19646347216... 1840 checks -> X=[189411795]
Solving 4571484100064981253,34751398468... 792 checks -> X=[131982939]
Solving 1509521776486849911,90106867198... 2940 checks -> X=[16754371]
Solving 5454395663825584281,30782407520... 3212 checks -> X=[178204533]
Solving 931590259044275343,5343859294... 4628 checks -> X=[180154313]
Solving 764905553031668049,14843764368... 2056 checks -> X=[51353487]
Solving 7328249744608571917,62081756652... 816 checks -> X=[118074661]
Solving 8907507280717882701,66855600300... 1056 checks -> X=[133030171]
Solving 8741247340510580433,74778784352... 1132 checks -> X=[116719257]
Solving 2887051836796254897,45544879032... 1844 checks -> X=[63419069]
Solving 5460461117931969305,46152904664... 2052 checks -> X=[118525063]
Solving 4856737526597338733,54812349676... 1840 checks -> X=[88518293]
Solving 1731126053484912909,13616373484... 1072 checks -> X=[127065819]
Solving 6672229045574182907,88876197674... 952 checks -> X=[75021491]
Solving 4520473762736267891,166192943730... 1232 checks -> X=[27204607]
Solving 719823292146230751,5967162974... 756 checks -> X=[120340127]
Solving 7793301684247417899,197166575722... 952 checks -> X=[39518853]
Solving 2390503072583010999,22219728382... 5188 checks -> X=[107776541]
Solving 4978113409908739575,67966612030... 5232 checks -> X=[73164771]
Solving 8043067126751319945,310519708552... 1340 checks -> X=[25899905]
Solving 3683429702287686373,64204074884... 1024 checks -> X=[57387797]
Solving 374519551986895563,5716246282... 808 checks -> X=[65017583]
Solving 7927009545107768775,280181807174... 1524 checks -> X=[28289985]
Solving 8173493048028803717,104189769940... 728 checks -> X=[78392323]
Solving 7282096087032586145,88486538568... 1076 checks -> X=[82224085]
Solving 6086840445495027849,1273712915176... 1436 checks -> X=[4778799]
Solving 6995691631608330963,131832844882... 1616 checks -> X=[53057517]
Solving 7994770381962692921,884173048760... 3316 checks -> X=[9042167]
Solving 4146792407839936343,46362549814... 1812 checks -> X=[89351417]
Solving 2274126644502131001,67979445008... 960 checks -> X=[33467907]
Solving 2829057160766320393,78628794048... 4512 checks -> X=[35996317]
Solving 3461781732514363153,262193934464... 8756 checks -> X=[13203799]
Solving 5028081919955367315,102898507698... 800 checks -> X=[48843785]
Solving 7599581312891230949,144695142644... 1352 checks -> X=[52502281]
Solving 2223762304839193157,77345464388... 712 checks -> X=[28742207]
Solving 8096733972970876773,184482673588... 760 checks -> X=[43878547]
Solving 391474764288727785,7102412360... 964 checks -> X=[55543185]
Solving 4026922153425524427,109903515402... 1096 checks -> X=[36650769]
Solving 8789297568255441251,5830176345634... 1920 checks -> X=[1507553]
Solving 5746837297504241025,115602888872... 892 checks -> X=[49725675]
Solving 407121585546162527,46200827390... 5212 checks -> X=[8813521]
Solving 6148664016098621285,479604589300... 1240 checks -> X=[12820387]
Solving 2472718710042696059,54626499434... 1112 checks -> X=[45303353]
Solving 5294325837846652579,100879942722... 752 checks -> X=[52456373]
Solving 8554570653027664551,322013472894... 2292 checks -> X=[26566683]
Solving 6261044808217007975,402036989670... 1108 checks -> X=[15573055]
Solving 5981367587329930355,323254149330... 1248 checks -> X=[18504605]
Solving 2128674089006035647,92691028366... 1160 checks -> X=[22962183]
Solving 990646464981970973,3866676830844... 560 checks -> X=[256201]
Solving 1786369821692033935,62308688510... 5156 checks -> X=[28681639]
Solving 5805898820705226579,150644465202... 1264 checks -> X=[38548119]
Solving 2778070935624958161,86379657424... 3360 checks -> X=[32157039]
Solving 3733969165137249653,200778280436... 1096 checks -> X=[18599071]
Solving 9214780088215435545,274063951792... 2264 checks -> X=[33626845]
Solving 1722275619840330779,280137754314... 904 checks -> X=[6147827]
Solving 2236200203513785619,214651090578... 1888 checks -> X=[10417451]
Solving 9001041843652973969,2993118619736... 772 checks -> X=[3007243]
Solving 5476129831751418313,212349103088... 3016 checks -> X=[25787371]
Solving 4299177788111917349,127929822884... 528 checks -> X=[33596933]
Solving 2957553327350898563,242549423874... 512 checks -> X=[12193117]
Solving 720869119079664555,26102080106... 1256 checks -> X=[27641889]
Solving 8660542792081519005,1653823502556... 544 checks -> X=[5236669]
Solving 4690088595982803741,488616538268... 576 checks -> X=[9598893]
Solving 3245235783589130541,148751904044... 1312 checks -> X=[21814709]
Solving 8277632711558832825,532811456184... 1460 checks -> X=[15535345]
Solving 9146261324500201143,945653550518... 676 checks -> X=[9671817]
Solving 4545782703765394949,193932523844... 1016 checks -> X=[23442341]
Solving 6800738772323581587,2915780519666... 1168 checks -> X=[2332389]
Solving 2581218377706393271,120347380310... 2092 checks -> X=[21451793]
Solving 4291477767631060857,913842624480... 7084 checks -> X=[4696101]
Solving 343065599199112575,22745817526... 1732 checks -> X=[15089275]
Solving 4623231225583002939,875580733226... 4440 checks -> X=[5280157]
Solving 3937543255128866781,197015812124... 1296 checks -> X=[19987311]
Solving 9165231628199638871,1940541658198... 1340 checks -> X=[4723039]
Solving 2812785395425231787,369870054506... 888 checks -> X=[7604939]
Solving 2016447446618501037,1695020422060... 848 checks -> X=[1189631]
Solving 2156593403624850069,194216144804... 848 checks -> X=[11103763]
Solving 6879799018808409245,634757477660... 1264 checks -> X=[10838365]
Solving 7097785506850012925,1627474833148... 1232 checks -> X=[4361215]
Solving 5609304735801390219,11469164406922... 1640 checks -> X=[489077]
Solving 395423157755906469,906740872244... 696 checks -> X=[436093]
Solving 2151322009603878675,136108279282... 608 checks -> X=[15806575]
Solving 371168118897629193,47013141896... 1020 checks -> X=[7894719]
Solving 4540796241686992755,528746227602... 1040 checks -> X=[8587995]
Solving 2843994321478239145,660055158528... 6616 checks -> X=[4308749]
Solving 1751989261211707181,153669823564... 1360 checks -> X=[11400593]
Solving 387019665203332095,260820746550... 2132 checks -> X=[1483845]
Solving 3276317349285401811,746334690226... 1824 checks -> X=[4389853]
Solving 7143942462378672789,685377394516... 648 checks -> X=[10423493]
Solving 955409621471512535,211932458198... 1212 checks -> X=[4507991]
Solving 7418711161574453709,1108023599116... 1344 checks -> X=[6695457]
Solving 1217708766852727649,273334741544... 428 checks -> X=[4454939]
Solving 943345703753703697,928912849616... 1648 checks -> X=[1015537]
Solving 2692990218009831813,925058063252... 1016 checks -> X=[2911149]
Solving 2160872816009873009,7875675616632... 2372 checks -> X=[274373]
Solving 5856157250263794915,3806973114530... 976 checks -> X=[1538271]
Solving 8115945743394932273,5089480325048... 1716 checks -> X=[1594651]
Solving 8400917329992520749,2226362972812... 720 checks -> X=[3773379]
Solving 4081201061708964099,911102950882... 608 checks -> X=[4479429]
Solving 3459607791104685053,695468269468... 832 checks -> X=[4974469]
Solving 1447338428857083741,442364368124... 448 checks -> X=[3271847]
Solving 4060685118093732093,585991353980... 1248 checks -> X=[6929629]
Solving 6799892463616765625,893888766264... 884 checks -> X=[7607137]
Solving 8365338861873880125,1384458924316... 1392 checks -> X=[6042297]
Solving 1531898609864144385,296973316016... 1528 checks -> X=[5158455]
Solving 161936612343890405,71660469748... 744 checks -> X=[2259715]
Solving 3680693082994396675,673860424930... 1792 checks -> X=[5462075]
Solving 3253970962043808031,606354708766... 2252 checks -> X=[5366401]
Solving 9030247426412340975,5179542901350... 2164 checks -> X=[1743445]
Solving 3737587595233500087,740099984526... 1800 checks -> X=[5050139]
Solving 2416828475317215895,455802372078... 1040 checks -> X=[5302421]
Solving 7649993741701661955,1236014865826... 992 checks -> X=[6189227]
Solving 2566759223173889325,1445904463692... 864 checks -> X=[1775195]
Solving 7594047108814289175,1563151022318... 1200 checks -> X=[4858155]
Solving 5949442116394047413,1079507789028... 688 checks -> X=[5511229]
Solving 7962013008476600885,2407755619700... 2200 checks -> X=[3306821]
Solving 6983781592790124045,2747976814156... 1072 checks -> X=[2541429]
Solving 9197011254353294897,2277038071992... 868 checks -> X=[4039019]
Solving 258190885682857625,667202871640... 628 checks -> X=[386975]
Solving 3227296062983801085,734031743132... 1360 checks -> X=[4396647]
Solving 7797130411649529077,4963854654500... 528 checks -> X=[1570781]
Solving 7791780662351889015,1745883173558... 1044 checks -> X=[4462935]
Solving 3503126622800755297,1193884286208... 4480 checks -> X=[2934223]
Solving 6911797577538486001,2357646997240... 1956 checks -> X=[2931653]
Solving 463022152879233171,438729062834... 864 checks -> X=[1055369]
Solving 1795718973274460585,632721315016... 900 checks -> X=[2838095]
Solving 2322148232873119235,1452189689314... 896 checks -> X=[1599065]
Solving 5212871992669546779,7280842965002... 568 checks -> X=[715971]
Solving 4548612412014881375,2758369796982... 1516 checks -> X=[1649021]
Solving 6514826126120303145,3391360086152... 1500 checks -> X=[1921007]
Solving 2293590590095025733,4993241636324... 816 checks -> X=[459339]
Solving 6313233200554331471,2116822967238... 3940 checks -> X=[2982413]
Solving 6600315807359251523,2620998187682... 1552 checks -> X=[2518247]
Solving 347956371411586767,148637140038... 852 checks -> X=[2341013]
Solving 1081271568137997321,400828450568... 836 checks -> X=[2697609]
Solving 1023698642608485725,942195149372... 1232 checks -> X=[1086505]
Solving 1811696580217097333,15580599822980... 1760 checks -> X=[116279]
Solving 210094292645079931,80463721530... 584 checks -> X=[2610971]
Solving 328718456934505855,1230486760782... 1976 checks -> X=[267145]
Solving 4899092198874432507,1861198323946... 1416 checks -> X=[2632221]
Solving 7961802670629461217,10934994413456... 1496 checks -> X=[728103]
Solving 2995598351360094375,2539986933542... 900 checks -> X=[1179375]
Solving 7008278709267438141,5211969817052... 880 checks -> X=[1344651]
Solving 4681218415126526735,11776501579534... 4232 checks -> X=[397505]
Solving 5078005235249798735,5636184560326... 2276 checks -> X=[900965]
Solving 1014097789051280263,572888836894... 1676 checks -> X=[1770149]
Solving 1459062796614785449,8075441981640... 1716 checks -> X=[180679]
Solving 7252883839269619819,21483088137562... 736 checks -> X=[337609]
Solving 2222309085185781003,1136074975194... 528 checks -> X=[1956131]
Solving 2395887665061071757,1369880075948... 736 checks -> X=[1748977]
Solving 3515804004176930713,12122082437592... 756 checks -> X=[290033]
Solving 5421571581543821217,3106795660776... 1100 checks -> X=[1745069]
Solving 6320825575416777699,16524645225058... 560 checks -> X=[382509]
Solving 5075626546298028369,3646410543632... 840 checks -> X=[1391951]
Solving 2086938399638947203,2093455117666... 1392 checks -> X=[996887]
Solving 3080541749906564385,2217835336464... 1472 checks -> X=[1388985]
Solving 2962339089594261615,5225902479038... 2376 checks -> X=[566857]
Solving 4132239848794925543,4938623982182... 676 checks -> X=[836719]
Solving 3674625935554552407,2802175332862... 8572 checks -> X=[1311347]
Solving 3902784073788661515,7721144986314... 2296 checks -> X=[505467]
Solving 6355098639837201305,10043950799768... 1332 checks -> X=[632729]
Solving 1619129301607226925,6259318855340... 2080 checks -> X=[258675]
Solving 4903957499369412247,14203542245942... 820 checks -> X=[345263]
Solving 773163099522254333,1664624860732... 992 checks -> X=[464467]
Solving 3775875742111267381,4885505445828... 712 checks -> X=[772873]
Solving 5091442693133624379,85727512446010... 1032 checks -> X=[59391]
Solving 6386587728241145685,8760114914820... 704 checks -> X=[729053]
Solving 5432855075632404285,5898667560732... 832 checks -> X=[921031]
Solving 5198435747923759551,14723151592078... 2760 checks -> X=[353079]
Solving 8934853459466178511,8771519231814... 2724 checks -> X=[1018621]
Solving 2438209904557660449,2910457152360... 1132 checks -> X=[837741]
Solving 636870846047384931,3753121044674... 816 checks -> X=[169691]
Solving 5308053222718139985,8189355422232... 2484 checks -> X=[648165]
Solving 4375439956063214475,6776095810570... 936 checks -> X=[645717]
Solving 6687777215946987825,24163402094904... 1604 checks -> X=[276773]
Solving 5267445390662533183,6857107465910... 1684 checks -> X=[768173]
Solving 6414351564187713549,35254731116012... 1248 checks -> X=[181943]
Solving 1482378125475803625,1918005552208... 672 checks -> X=[772875]
Solving 8606525409705930309,18649065754692... 1000 checks -> X=[461499]
Solving 8780205749565912035,1491963593804450... 1888 checks -> X=[5885]
Solving 4035260225497981641,55756431682288... 1864 checks -> X=[72373]
Solving 2744716303516198727,17835688882758... 1828 checks -> X=[153889]
Solving 6412927061273744475,9510989730442... 872 checks -> X=[674265]
Solving 5367337921287481975,21051273633486... 1272 checks -> X=[254965]
Solving 228009099400540343,1209783309238... 660 checks -> X=[188471]
Solving 4625742634161024081,8368916646624... 2604 checks -> X=[552729]
Solving 816891358415209245,1866186785084... 704 checks -> X=[437733]
Solving 8776489636184361355,35754545785818... 1824 checks -> X=[245465]
Solving 4540469891800318517,26153424773892... 760 checks -> X=[173609]
Solving 6992578380057187707,14237646730026... 792 checks -> X=[491133]
Solving 2238603479648231477,7203664488548... 1424 checks -> X=[310759]
Solving 2007915229025980057,4344622888856... 1604 checks -> X=[462161]
Solving 6739915636054240419,14586636235042... 656 checks -> X=[462061]
Solving 5338282629375843341,29313345402700... 1952 checks -> X=[182111]
Solving 11711087740854283,108022950746... 560 checks -> X=[108413]
Solving 8844957288060297999,22548768590598... 1172 checks -> X=[392259]
Solving 7310889934860929079,35217759679702... 1628 checks -> X=[207591]
Solving 7100823292835554359,82937071947606... 1612 checks -> X=[85617]
Solving 4449758136878802275,82258214946018... 1120 checks -> X=[54095]
Solving 2113598283235473529,80835211803792... 1768 checks -> X=[26147]
Solving 2975124480586036313,33913441399256... 740 checks -> X=[87727]
Solving 1260034591398282675,23993803496210... 768 checks -> X=[52515]
Solving 4091397961556507993,21539001704792... 884 checks -> X=[189953]
Solving 423161092969887917,2208876650156... 688 checks -> X=[191573]
Solving 2861991700760765089,27568721752296... 1052 checks -> X=[103813]
Solving 4005188410377580787,38445994997970... 800 checks -> X=[104177]
Solving 3387206672075383605,13739475799140... 912 checks -> X=[246531]
Solving 1980912746257697631,27262393054134... 2068 checks -> X=[72661]
Solving 4929113118670829355,88530508393146... 1784 checks -> X=[55677]
Solving 5673080359820392027,22824061878154... 456 checks -> X=[248557]
Solving 1424443631105771045,9775545748084... 1480 checks -> X=[145715]
Solving 6438853662064995555,24898218997154... 1664 checks -> X=[258607]
Solving 2793818028034550179,14844862703810... 736 checks -> X=[188201]
Solving 805100618678867283,48085804153938... 1264 checks -> X=[16743]
Solving 4834890906265685265,24769542900888... 2036 checks -> X=[195195]
Solving 2440056652329007245,30978945681356... 1024 checks -> X=[78765]
Solving 3436053393724003311,239329483423974... 1988 checks -> X=[14357]
Solving 5401626815743159027,56390888542130... 1776 checks -> X=[95789]
Solving 8630287395209236041,200429350341536... 4020 checks -> X=[43059]
Solving 8496560376597826205,49073069896060... 1104 checks -> X=[173141]
Solving 3871956547527110387,24586504754290... 1808 checks -> X=[157483]
Solving 2135654500879873155,27040104645602... 832 checks -> X=[78981]
Solving 7385384727511568115,40021593166738... 1424 checks -> X=[184535]
Solving 4530958257041820443,6232404755216266... 776 checks -> X=[727]
Solving 412975927819062465,9399702487040... 8324 checks -> X=[43935]
Solving 3697561338494888505,189472781872160... 2636 checks -> X=[19515]
Solving 5862597800368197423,293673185430694... 1364 checks -> X=[19963]
Solving 7992355939576304373,58806671539252... 648 checks -> X=[135909]
Solving 1235413761948564871,8643064733830... 1956 checks -> X=[142937]
Solving 6341730025857486847,52566083507670... 1340 checks -> X=[120643]
Solving 7193847540122514873,1253065239521936... 1400 checks -> X=[5741]
Solving 9051180478791398937,80488563958144... 1844 checks -> X=[112453]
Solving 3012395189015893185,63912655416808... 812 checks -> X=[47133]
Solving 1903810094052523941,49096374023668... 696 checks -> X=[38777]
Solving 4783886866888482717,43918283392412... 928 checks -> X=[108927]
Solving 7525781968060455555,217791404049122... 832 checks -> X=[34555]
Solving 3497074072341619105,809320544401440... 2996 checks -> X=[4321]
Solving 8979243863952307277,259313364284012... 608 checks -> X=[34627]
Solving 4507891355560416605,42569444876540... 800 checks -> X=[105895]
Solving 9051628163773007475,25788114426703410... 688 checks -> X=[351]
Solving 1632573375847639025,20619808899136... 576 checks -> X=[79175]
Solving 4434256574096483607,79998855683950... 1176 checks -> X=[55429]
Solving 6482370495279619171,133056312594914... 1104 checks -> X=[48719]
Solving 2214212536969666765,23618015095084... 1648 checks -> X=[93751]
Solving 9221798636588448445,279203083215196... 992 checks -> X=[33029]
Solving 7219389952862676725,3734811149953156... 784 checks -> X=[1933]
Solving 3888837148620558393,45584240533944... 1828 checks -> X=[85311]
Solving 979286410096077811,10761389121934866... 976 checks -> X=[91]
Solving 1059229597647108485,13200274201172... 1912 checks -> X=[80243]
Solving 4373281055598956093,127207919210204... 1216 checks -> X=[34379]
Solving 4285864466623198975,91823555770742... 1884 checks -> X=[46675]
Solving 1934159651926757875,287607383179410... 896 checks -> X=[6725]
Solving 7255535013554402415,136456621360614... 1316 checks -> X=[53171]
Solving 4405457196874361485,117550956540780... 576 checks -> X=[37477]
Solving 7768013224837210545,220275435305520... 1704 checks -> X=[35265]
Solving 120210512055577079,2338316431510... 1180 checks -> X=[51409]
Solving 11425662151684327,408103060046... 1112 checks -> X=[27997]
Solving 2852596477987264975,854838620910366... 1916 checks -> X=[3337]
Solving 2482482272809422735,285178894070670... 2008 checks -> X=[8705]
Solving 6380775614790084015,176513198529254... 1044 checks -> X=[36149]
Solving 4381653633598706927,181382358486502... 1364 checks -> X=[24157]
Solving 6968181967578172157,234753292010172... 2608 checks -> X=[29683]
Solving 910092425226841255,19894904932454... 772 checks -> X=[45745]
Solving 3067676194155939219,133965509132818... 2528 checks -> X=[22899]
Solving 4110019293741847941,419090373575588... 656 checks -> X=[9807]
Solving 809495600365533963,19840092197514... 1496 checks -> X=[40801]
Solving 3457113791319166387,107701604137490... 448 checks -> X=[32099]
Solving 1852315269678817845,44701963655652... 528 checks -> X=[41437]
Solving 1148681129105982803,309367392706386... 736 checks -> X=[3713]
Solving 591345973922608233,44972695556896... 2108 checks -> X=[13149]
Solving 3717696761832928203,1714014182497562... 1088 checks -> X=[2169]
Solving 6267340402774341345,2283184117584848... 1904 checks -> X=[2745]
Solving 579823001889771185,28463158518968... 1572 checks -> X=[20371]
Solving 1044003742900008031,64155579360126... 4452 checks -> X=[16273]
Solving 7355880165964379661,229577109526380... 560 checks -> X=[32041]
Solving 8332083203175059475,265750748004754... 1392 checks -> X=[31353]
Solving 7147824691884248125,384808866333948... 864 checks -> X=[18575]
Solving 8838300832069785741,849101818807276... 464 checks -> X=[10409]
Solving 1609131692499253625,61241929329552... 2536 checks -> X=[26275]
Solving 2647763204886608139,93438374036682... 1288 checks -> X=[28337]
Solving 2365972651073323809,210551984616808... 1564 checks -> X=[11237]
Solving 2737867742082901037,98452578028716... 1088 checks -> X=[27809]
Solving 2620191375770305055,220091673726494... 2348 checks -> X=[11905]
Solving 5426524032292913283,241060993858370... 1168 checks -> X=[22511]
Solving 1776622040849559339,243673301445994... 1400 checks -> X=[7291]
Solving 3553224565159155951,672577051899878... 1316 checks -> X=[5283]
Solving 5845303972443378955,657884521370122... 1096 checks -> X=[8885]
Solving 2013486991678051695,83947758653614... 2064 checks -> X=[23985]
Solving 804371377450792069,57864281535828... 2664 checks -> X=[13901]
Solving 8806851122509426599,1191886740093070... 1816 checks -> X=[7389]
Solving 6958955771670043659,1072093016739402... 1352 checks -> X=[6491]
Solving 8457986137635614655,1737109496326646... 860 checks -> X=[4869]
Solving 8040074467540644009,426009350250440... 1668 checks -> X=[18873]
Solving 8073880652236053603,625445863537250... 1392 checks -> X=[12909]
Solving 7965660169539412675,435877437440578... 2288 checks -> X=[18275]
Solving 1856738362487953455,37892619642611310... 1976 checks -> X=[49]
Solving 999843475623027913,57261524307184... 1896 checks -> X=[17461]
Solving 4938634507006223113,636503996265832... 700 checks -> X=[7759]
Solving 3830047862204694395,1053658283966378... 440 checks -> X=[3635]
Solving 520705775165188041,33406413998208... 1180 checks -> X=[15587]
Solving 2291222189735608323,247619387204386... 944 checks -> X=[9253]
Solving 7249540779828529125,1796664381618420... 456 checks -> X=[4035]
Solving 90765076864400811,7431841234026... 408 checks -> X=[12213]
Solving 8488288432233062757,638841607005492... 3512 checks -> X=[13287]
Solving 7478584596144226341,1008847240807556... 432 checks -> X=[7413]
Solving 3069644509756295625,233877676945904... 2024 checks -> X=[13125]
Solving 3947419263870995461,600733414078628... 512 checks -> X=[6571]
Solving 1634403439826393247,469251633602262... 1660 checks -> X=[3483]
Solving 2886732286585057617,2352675050192408... 1796 checks -> X=[1227]
Solving 1013415128867203403,949779877100362... 1000 checks -> X=[1067]
Solving 6457790004745878403,726165523986818... 2112 checks -> X=[8893]
Solving 591920555075487801,64150921768768... 3992 checks -> X=[9227]
Solving 4745017714870872621,755696403062828... 592 checks -> X=[6279]
Solving 8749659084354375705,862120315722688... 3712 checks -> X=[10149]
Solving 5872200043621392825,1327050857311672... 4452 checks -> X=[4425]
Solving 3322037416255153365,410888981610452... 696 checks -> X=[8085]
Solving 4346448605043295473,23751085273460512... 1740 checks -> X=[183]
Solving 8365401793390837083,4008338185618826... 1784 checks -> X=[2087]
Solving 884695497734691063,132300807195702... 820 checks -> X=[6687]
Solving 5467281876893922107,1076024774034666... 1336 checks -> X=[5081]
Solving 1674587748842362423,2064843093516302... 1544 checks -> X=[811]
Solving 1436546504564139395,412208466159618... 992 checks -> X=[3485]
Solving 3815122985266447463,678003018526334... 3588 checks -> X=[5627]
Solving 1935892932453436125,418571444859420... 1008 checks -> X=[4625]
Solving 5633054610427366143,769227722308598... 660 checks -> X=[7323]
Solving 1433091898218951641,210470245003736... 804 checks -> X=[6809]
Solving 2450665044212141493,494185328539700... 936 checks -> X=[4959]
Solving 4857527639511814449,1233814488067248... 1848 checks -> X=[3937]
Solving 6426375702330318533,1183712599437412... 1120 checks -> X=[5429]
Solving 8278713338887363923,3674528778909266... 1408 checks -> X=[2253]
Solving 1644433068121809629,504582101298684... 848 checks -> X=[3259]
Solving 8397915432695739405,92284784974678508... 1360 checks -> X=[91]
Solving 7999734817350396531,12882020639856178... 1536 checks -> X=[621]
Solving 6830822369106962289,15079078077498488... 3236 checks -> X=[453]
Solving 7231245054504321081,5922395622033440... 1780 checks -> X=[1221]
Solving 918652776237202071,467984093854574... 696 checks -> X=[1963]
Solving 6175356111962773143,1264664368613886... 3756 checks -> X=[4883]
Solving 3922671934927333137,1492077571290648... 788 checks -> X=[2629]
Solving 5297998912427297683,23135366429813746... 1248 checks -> X=[229]
Solving 5424852804491697285,1407955568257620... 1224 checks -> X=[3853]
Solving 5229514868099752219,1679895556728714... 1192 checks -> X=[3113]
Solving 3820834778645270079,978948188229182... 2832 checks -> X=[3903]
Solving 5609565520496902899,1742642286575794... 1568 checks -> X=[3219]
Solving 3073965578159978187,2323481162629578... 936 checks -> X=[1323]
Solving 7030988533631283019,19476422530834938... 1152 checks -> X=[361]
Solving 269791472194948257,224265562922984... 844 checks -> X=[1203]
Solving 6096551961312450189,5118851352905996... 1104 checks -> X=[1191]
Solving 6064844317739805545,3111772353892512... 1236 checks -> X=[1949]
Solving 2150399065258671579,1104467932848474... 832 checks -> X=[1947]
Solving 7853308424442018555,9250068815597018... 560 checks -> X=[849]
Solving 3454270490960855145,1595506000441808... 1312 checks -> X=[2165]
Solving 21759182233052775,14457928392870... 788 checks -> X=[1505]
Solving 8590229885826586773,2810019589734676... 840 checks -> X=[3057]
Solving 4280130742792266675,1511879457007122... 800 checks -> X=[2831]
Solving 7176728345110170027,3993727515364330... 1144 checks -> X=[1797]
Solving 3066912950566148169,2273471423694960... 1288 checks -> X=[1349]
Solving 3725624028941488689,23431597666298800... 1880 checks -> X=[159]
Solving 3901230375476896111,1554894529881574... 692 checks -> X=[2509]
Solving 2582462467860449523,2627123568526226... 464 checks -> X=[983]
Solving 5105371898931182751,8817568046513718... 2836 checks -> X=[579]
Solving 7294672688262252895,3983982899103790... 1616 checks -> X=[1831]
Solving 9192716331047270763,6533558159949674... 680 checks -> X=[1407]
Solving 9163807288103888455,8031382373448766... 1264 checks -> X=[1141]
Solving 6180583951689700351,92247521667010518... 700 checks -> X=[67]
Solving 2712840806479041791,2759756669866190... 3256 checks -> X=[983]
Solving 8963586959124187831,4916942928758390... 3196 checks -> X=[1823]
Solving 6264156171842093835,4134756549069450... 696 checks -> X=[1515]
Solving 7612498359394907675,8800576138028442... 1152 checks -> X=[865]
Solving 5253593226121297897,5206732632428680... 1116 checks -> X=[1009]
Solving 226318504177292781,1388457080842380... 1104 checks -> X=[163]
Solving 2006587683689010759,1746377444462958... 1128 checks -> X=[1149]
Solving 3636436202535005991,5799738760023310... 2760 checks -> X=[627]
Solving 605408357912036343,448118695716502... 2044 checks -> X=[1351]
Solving 6875760795917729599,5763420616861966... 1640 checks -> X=[1193]
Solving 3925537942555847813,3495581427031956... 440 checks -> X=[1123]
Solving 3565162697212359425,10969731376038344... 980 checks -> X=[325]
Solving 7625833433491524651,5870541519237786... 1152 checks -> X=[1299]
Solving 3833149380072841541,5159016662278676... 1016 checks -> X=[743]
Solving 1772350656666858477,17902531885523724... 1392 checks -> X=[99]
Solving 2859203009261816217,2856346662599128... 1124 checks -> X=[1001]
Solving 5866485010970192745,11391233031009568... 2796 checks -> X=[515]
Solving 6301839496751909067,11735269081474202... 496 checks -> X=[537]
Solving 7616968778003011311,6395439780018398... 1436 checks -> X=[1191]
Solving 8931456347588068175,17756374448485022... 2172 checks -> X=[503]
Solving 2119806333998445143,19447764532095806... 2448 checks -> X=[109]
Solving 1061244967252621343,1164923125414398... 4332 checks -> X=[911]
Solving 5701576829446423401,18817085245697992... 1060 checks -> X=[303]
Solving 3417619471660874499,5630345093346178... 1152 checks -> X=[607]
Solving 5149913538312666765,6912635621896940... 608 checks -> X=[745]
Solving 4571310442391101179,13098310723183978... 1128 checks -> X=[349]
Solving 7825828005156914207,31683514190918894... 1728 checks -> X=[247]
Solving 7495551543078130257,12725893961082968... 692 checks -> X=[589]
Solving 2459481439849530525,4968649373433820... 592 checks -> X=[495]
Solving 1323543064059768897,2774723404737128... 1388 checks -> X=[477]
Solving 6245832962422294151,18869585989191550... 1260 checks -> X=[331]
Solving 3687812071980951725,29037890330558636... 880 checks -> X=[127]
Solving 5037290624220258721,162493245942588960... 1636 checks -> X=[31]
Solving 3643249981624787521,5962765927373416... 780 checks -> X=[611]
Solving 8714083676588329875,23237556470901938... 656 checks -> X=[375]
Solving 7289675471062276371,18739525632550450... 1104 checks -> X=[389]
Solving 7169978163787924671,29750946737709150... 6612 checks -> X=[241]
Solving 8102261248930543497,78662730572141288... 1644 checks -> X=[103]
Solving 1267553726719870521,2123205572395520... 4836 checks -> X=[597]
Solving 915695388478280443,3619349361574314... 568 checks -> X=[253]
Solving 6426465782616337583,14705871356101350... 2324 checks -> X=[437]
Solving 8758693264786835149,19507111948300748... 976 checks -> X=[449]
Solving 4487992645833488583,45333259048823086... 2352 checks -> X=[99]
Solving 7980789475865242745,31053655548113528... 2148 checks -> X=[257]
Solving 5862853060940382045,390856870729358812... 464 checks -> X=[15]
Solving 4307845700873156937,11247638905673800... 1204 checks -> X=[383]
Solving 937084087989681903,4399455812158054... 2868 checks -> X=[213]
Solving 2604391374844916685,19581890036427820... 944 checks -> X=[133]
Solving 3516396934201125531,11454061674922442... 616 checks -> X=[307]
Solving 3049992098069679895,32105179979680790... 780 checks -> X=[95]
Solving 3837340864745161737,9569428590387048... 1004 checks -> X=[401]
Solving 8187748192737955261,19825056156750652... 1424 checks -> X=[413]
Solving 7340993112473183745,35809722499869384... 1204 checks -> X=[205]
Solving 3316464180304196175,14739840801352142... 1400 checks -> X=[225]
Solving 2408806115834251471,6192303639676614... 1524 checks -> X=[389]
Solving 2607096695314053725,19901501490946844... 1312 checks -> X=[131]
Solving 1136803299417237837,3097556674161260... 512 checks -> X=[367]
Solving 1930331911536901769,11422082316786248... 1492 checks -> X=[169]
Solving 2089950190294844015,8969743305986430... 4572 checks -> X=[233]
Solving 7343350541160749635,41024304699222146... 1472 checks -> X=[179]
Solving 2251798340564221221,8433701650053508... 416 checks -> X=[267]
Solving 2616893288549404425,11630636837997512... 1764 checks -> X=[225]
Solving 2455380242940368939,9940810700163482... 944 checks -> X=[247]
Solving 1568742758522479473,30759661931813368... 1988 checks -> X=[51]
Solving 5350027628976059731,24208269814371122... 1024 checks -> X=[221]
Solving 6765327170423470287,38222187403522510... 1640 checks -> X=[177]
Solving 7910775639813155697,30543535288853624... 788 checks -> X=[259]
Solving 832956272908828155,18510139397973994... 632 checks -> X=[45]
Solving 1385867322166236477,6506419352892956... 1024 checks -> X=[213]
Solving 4589486646476700413,158258160223334524... 2048 checks -> X=[29]
Solving 4622319674490411585,22330046736668448... 5468 checks -> X=[207]
Solving 7262619435380069001,35085118045314536... 1084 checks -> X=[207]
Solving 8923808649152914537,59098070524191336... 1612 checks -> X=[151]
Solving 3479299694569596057,22161144551398832... 1592 checks -> X=[157]
Solving 4483567677113415959,46222347186736150... 764 checks -> X=[97]
Solving 8376300008575055935,45277297343648782... 2552 checks -> X=[185]
Solving 6613319847577050947,93145349965874018... 944 checks -> X=[71]
Solving 7965319758409178399,47132069576385582... 2288 checks -> X=[169]
Solving 1622424926132013503,22851055297633934... 1160 checks -> X=[71]
Solving 6302840874026878195,43467868096737234... 672 checks -> X=[145]
Solving 8639946507451540001,297929189912122056... 1428 checks -> X=[29]
Solving 13565554761850035,129195759636690... 464 checks -> X=[105]
Solving 4930726086347640615,60873161559847334... 788 checks -> X=[81]
Solving 1834232308009040461,18909611422773516... 448 checks -> X=[97]
Solving 7888871864604509965,1577774372920901996... 2576 checks -> X=[5]
Solving 1650023747795025183,33673954036633214... 5380 checks -> X=[49]
Solving 1834057482354485737,20607387442185288... 1348 checks -> X=[89]
Solving 7106167469600722575,173321157795139550... 2012 checks -> X=[41]
Solving 124886692876852103,1236501909671710... 2012 checks -> X=[101]
Solving 1888392256291140729,22751713931218640... 1616 checks -> X=[83]
Solving 4555492940551173621,92969243684717876... 1944 checks -> X=[49]
Solving 3027349436260239429,32552144475916628... 952 checks -> X=[93]
Solving 8189589864375459815,744508169488678174... 2220 checks -> X=[11]
Solving 2558782552041596583,284309172449066278... 2068 checks -> X=[9]
Solving 7304177672648458611,143219170051930610... 864 checks -> X=[51]
Solving 8998893007936498525,359955720317459964... 912 checks -> X=[25]
Solving 2335328890794619647,21425035695363574... 972 checks -> X=[109]
Solving 8885166859062184587,227824791258004698... 864 checks -> X=[39]
Solving 3389082822004121963,32903716718486586... 888 checks -> X=[103]
Solving 9105477787064988985,211755297373604352... 3204 checks -> X=[43]
Solving 9164033788345246425,122187117177936544... 2228 checks -> X=[75]
Solving 6332872128555199387,171158706177167514... 544 checks -> X=[37]
Solving 2212206570446663713,71361502272472992... 3988 checks -> X=[31]
Solving 2566486580190584521,48424275097935600... 1560 checks -> X=[53]
Solving 6836484006738821925,108515619154584484... 880 checks -> X=[63]
Solving 6211672158525140367,230061931797227398... 2644 checks -> X=[27]
Solving 6434668300750670673,194989948507596048... 944 checks -> X=[33]
Solving 4561788393973049379,106088102185419714... 928 checks -> X=[43]
Solving 465573105289952229,8167949215613236... 776 checks -> X=[57]
Solving 706636041942805529,9952620309053656... 1684 checks -> X=[71]
Solving 4932120913741762065,170073134956612504... 2164 checks -> X=[29]
Solving 3175218884565836207,77444363038191166... 1040 checks -> X=[41]
Solving 9102086631129807035,1300298090161401002... 2104 checks -> X=[7]
Solving 56547244556029575,753963260747134... 2444 checks -> X=[75]
Solving 2044506868668358507,41724629972823658... 1048 checks -> X=[49]
Solving 4543990986926077149,156689344376761308... 1392 checks -> X=[29]
Solving 8514869366120409191,207679740637083174... 916 checks -> X=[41]
Solving 3529716307740504711,392190700860056070... 804 checks -> X=[9]
Solving 9074149760526048775,362965990421041926... 3028 checks -> X=[25]
Solving 4320866285984801817,130935341999539416... 2612 checks -> X=[33]
Solving 1013029169396151573,27379166740436500... 424 checks -> X=[37]
Solving 4350641392470656099,71321990040502562... 1168 checks -> X=[61]
Solving 2111031031854068005,191911911986733444... 416 checks -> X=[11]
Solving 5822472188690793009,176438551172448304... 1416 checks -> X=[33]
Solving 542791064723219403,25847193558248522... 696 checks -> X=[21]
Solving 2871757274701389939,168926898511846482... 1424 checks -> X=[17]
Solving 850750889629339569,21814125375111232... 1096 checks -> X=[39]
Solving 6684771753786055225,267390870151442232... 1620 checks -> X=[25]
Solving 106442088418379049,35480696139459680... 1548 checks -> X=[3]
Solving 2448402160755892375,66173031371780910... 1168 checks -> X=[37]
Solving 6049520848604432191,128713209544775134... 1044 checks -> X=[47]
Solving 1088491530207773433,155498790029681912... 1252 checks -> X=[7]
Solving 4786636109097510209,208114613439022192... 1832 checks -> X=[23]
Solving 8840323189312874523,803665744482988602... 504 checks -> X=[11]
Solving 1979210890605776839,179928262782343358... 3224 checks -> X=[11]
Solving 941473685824642593,21894736879642824... 1044 checks -> X=[43]
Solving 4155602485211669935,831120497042333990... 804 checks -> X=[5]
Solving 7620508719738753515,245822861927056554... 2376 checks -> X=[31]
Solving 7885660880607393135,1126522982943913310... 1188 checks -> X=[7]
Solving 9071147988223179729,697780614478706136... 692 checks -> X=[13]
Solving 2486938064221416755,57835768935381810... 2000 checks -> X=[43]
Solving 4359168363997550829,132096011030228844... 1408 checks -> X=[33]
Solving 5421743091309619737,139019053623323544... 1076 checks -> X=[39]
Solving 8929203598488952375,357168143939558102... 1692 checks -> X=[25]
Solving 999950122874542575,333316707624847526... 1348 checks -> X=[3]
Solving 5434555964349126555,362303730956608442... 1576 checks -> X=[15]
Solving 7468763837884679235,1493752767576935842... 1600 checks -> X=[5]
Solving 5245705838925339669,194285401441679252... 504 checks -> X=[27]
Solving 6348725322930758295,577156847539159854... 3856 checks -> X=[11]