Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar0ExceptionalPart0.Coefficients185To219

Recurrence 5 lookup certificate: Scalar0Exceptional coefficient convolution #

This is a checked coefficient-lookup shard for the fifth pseudo-division recurrence in the order-seven certificate.

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_185 :
Polynomial.coeff recurrence5Scalar0Exceptional 185 = ((((121 * 10 ^ 70 + 4299552935600502712812194525951334574809571489533425168005513686187408) * 10 ^ 70 + 3561995624877278662873549072201417250834470674995483785468863420249949) * 10 ^ 70 + 1597927057966084528028542294391966012435741028431512114842803952595665) * 10 ^ 70 + 3915794282385812913861651009264111699317720772850916614050418805980962) * 10 ^ 70 + 5790655582809190499215544951177985120411791647861744899982704391477670
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_186 :
Polynomial.coeff recurrence5Scalar0Exceptional 186 = -(((((251 * 10 ^ 70 + 1215551750229611937624250645284491896191328879925927529660199227149402) * 10 ^ 70 + 7778659628190026237605068342411913803018549197220305208492809003058741) * 10 ^ 70 + 4688349835791985578373329114701341931833479948661143772576281570780448) * 10 ^ 70 + 3397478855125423282911431891600830545763119917066902787668883064381488) * 10 ^ 70 + 9570461135527033775991928343267548720095293153202165684265437713338064)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_187 :
Polynomial.coeff recurrence5Scalar0Exceptional 187 = ((((508 * 10 ^ 70 + 8119895043011357031628029079089525139561726265312631424716745822514849) * 10 ^ 70 + 2655106443214303720463384515958265669540253551264987849137142366427174) * 10 ^ 70 + 7535066712164364289647251896184627530950402988672672555453193292370136) * 10 ^ 70 + 938004465917715868934386552854375743233439189576543464824002715837717) * 10 ^ 70 + 5057460788854983229097212851062865051668133736618139684129424141417970
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_188 :
Polynomial.coeff recurrence5Scalar0Exceptional 188 = -(((((1010 * 10 ^ 70 + 2224948494269363478389414809649317799075560330710068539195177700598121) * 10 ^ 70 + 6517954328261416182122036186800908073668131336060861793255822897169086) * 10 ^ 70 + 5481157782117681392637814443137897175695678679120212356371635388809235) * 10 ^ 70 + 5255078986618238655826762043384429548669613085655783785880230281016477) * 10 ^ 70 + 7340704104827488100828921238070945051163067562139789760887762118771875)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_189 :
Polynomial.coeff recurrence5Scalar0Exceptional 189 = ((((1965 * 10 ^ 70 + 7436979284926022443687136206676173551722609569213630430210694340132868) * 10 ^ 70 + 2367649481241741915408765394729036778874479039964509073835261513562012) * 10 ^ 70 + 8471953969489427896372020577146122618312630644227858609405969010958403) * 10 ^ 70 + 5972457786356028648229267126415778251204669413073180672469347542201821) * 10 ^ 70 + 1820097260647894184714389494836379356527465534117539452118759403728834
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_190 :
Polynomial.coeff recurrence5Scalar0Exceptional 190 = -(((((3749 * 10 ^ 70 + 2449515214815627357476573396697403270181195143110577403228997413796056) * 10 ^ 70 + 9783479720847991044557564006875144431214587893291086969392485574974708) * 10 ^ 70 + 466906401578536619646511472180493878738131944380258728796282833535198) * 10 ^ 70 + 7415160929110819142282945998676894358398805204196007037162142485578743) * 10 ^ 70 + 5562515184721451140458298396684286188669296716985294752221455813600024)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_191 :
Polynomial.coeff recurrence5Scalar0Exceptional 191 = ((((7010 * 10 ^ 70 + 28294504068573265345503608729700482066230899817442776327842244887380) * 10 ^ 70 + 6206343186988612339336802618743265457922662239412519142078212630460537) * 10 ^ 70 + 3373579125628609508208586482385031715266025357575777668414421862970886) * 10 ^ 70 + 5161625857243165210412634800540866036784278150694309323622431109712403) * 10 ^ 70 + 9532376834228015318289642041285495833028226086402851321677785812517659
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_192 :
Polynomial.coeff recurrence5Scalar0Exceptional 192 = -(((((12849 * 10 ^ 70 + 7356887032872058675390116377083681834588876240436833079846416237498973) * 10 ^ 70 + 5005614013063304548089891610915683450903870074239387781663399145018959) * 10 ^ 70 + 9262853080373558745730621193959372073390075279484971147352696409131855) * 10 ^ 70 + 5934980043257090111030756077424034098613292777913311521323494793395951) * 10 ^ 70 + 5365674318939281778284190592349510590397258398506475911970636078549118)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_193 :
Polynomial.coeff recurrence5Scalar0Exceptional 193 = ((((23094 * 10 ^ 70 + 5761529180307573572727220998720918088705242326271160877790676525433459) * 10 ^ 70 + 782293598226317446122410864838193019569932670386999980312708661970169) * 10 ^ 70 + 700800747430708315576947158082272303139675520707647223983538427613060) * 10 ^ 70 + 3464487389342690231149860185020601705944967461914759034058843467775561) * 10 ^ 70 + 1452135293403025088656711689846891601696681012810252011923259123531737
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_194 :
Polynomial.coeff recurrence5Scalar0Exceptional 194 = -(((((40700 * 10 ^ 70 + 3312173727303083823561882609326966757232339435802397222692298079870748) * 10 ^ 70 + 5781797439926024499868540461230003173309078649392643357174544714001346) * 10 ^ 70 + 8249061369878922088992846130888699609826098987973197519418612724516916) * 10 ^ 70 + 6855070369606594474009638233584307066200514046101606031170579894915989) * 10 ^ 70 + 3653939343557818566492210423932502418324616716483449562308901874271617)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_195 :
Polynomial.coeff recurrence5Scalar0Exceptional 195 = ((((70337 * 10 ^ 70 + 1304923228558340427633516570405537647659590499423407300945436094492841) * 10 ^ 70 + 3633775260648523660560522284999108034877894619251027392512264305399948) * 10 ^ 70 + 2202679417551694020218756002838298818987416506172645160943995689630791) * 10 ^ 70 + 2962736773307678484416823763676338462091715088845488846977866392539526) * 10 ^ 70 + 2165274985997934748317966759214062947938436677630641782295262787313545
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_196 :
Polynomial.coeff recurrence5Scalar0Exceptional 196 = -(((((119204 * 10 ^ 70 + 506008476381416230178707847482922857598485510912105911053667126859094) * 10 ^ 70 + 2691354175801587028017952453703385714322049979509022644113887192956096) * 10 ^ 70 + 6490799352742246760779279028419042363297122970857665997059500365361896) * 10 ^ 70 + 4507628221794753490399687317468327341632241136533319674503316610592126) * 10 ^ 70 + 3197516982022303885759539876862976995075735731985910748128985668437389)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_197 :
Polynomial.coeff recurrence5Scalar0Exceptional 197 = ((((198121 * 10 ^ 70 + 7777156940139854754207740026499873960992207254538868799501420934007685) * 10 ^ 70 + 2777563034268786389547550704442375372436541596157578359415158063687247) * 10 ^ 70 + 9931711459258663385651219587830817023374384895246183247903608829134059) * 10 ^ 70 + 2648155029049740498078253620453326107257170438658748988229389934557424) * 10 ^ 70 + 5538882094340938769600500398965971024398545377833672243108450243096208
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_198 :
Polynomial.coeff recurrence5Scalar0Exceptional 198 = -(((((322936 * 10 ^ 70 + 8431748250666965143916560334733544174041887694887880077341375784317228) * 10 ^ 70 + 1921586781145898466426322300143963381328376882693747309881641166707028) * 10 ^ 70 + 5027850981617380420341400510673391102748074473234102705431920987070311) * 10 ^ 70 + 3560706609973169438752349146433601640033133824482105761982203416262637) * 10 ^ 70 + 7145750050332584639644917261055422450169537879349171866694165201118220)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_199 :
Polynomial.coeff recurrence5Scalar0Exceptional 199 = ((((516238 * 10 ^ 70 + 6145418803508960184575571813951722966811360786425559676656188094996534) * 10 ^ 70 + 9812930713353770494044580364125003896656457808993760409237421687566725) * 10 ^ 70 + 6193307384244145338307442996633192952370783498919758110597210195661271) * 10 ^ 70 + 3857507807108707675673365666139799631915038210089000696889328172850657) * 10 ^ 70 + 8830194145377637168948831250592383250435964073727898224842703174821325
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_200 :
Polynomial.coeff recurrence5Scalar0Exceptional 200 = -(((((809334 * 10 ^ 70 + 3420483145815168916942547149015242619006477323584219014312964306234185) * 10 ^ 70 + 7721990448547050626687740595933900049582833955606934033244493719240068) * 10 ^ 70 + 5433275882913759878918666483426646958756461345240757606797625506742511) * 10 ^ 70 + 1213588892606733591846002311381637075504911201958795150370848815861468) * 10 ^ 70 + 3236153503703687639466432017274791769792078324934263254134055825222394)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_201 :
Polynomial.coeff recurrence5Scalar0Exceptional 201 = ((((1244344 * 10 ^ 70 + 1962815801213687409324504525336680580013631890502242323346895598003548) * 10 ^ 70 + 6419069230017071392701551390274656246366059103031993952121968680986032) * 10 ^ 70 + 3537225884872898883493311268274435652910145430191292138804186564500451) * 10 ^ 70 + 2201634199753196969532717734286999467517776535860941735590317490358945) * 10 ^ 70 + 3575671413896479496934092147881257525391457623012466931021589175134184
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_202 :
Polynomial.coeff recurrence5Scalar0Exceptional 202 = -(((((1876167 * 10 ^ 70 + 4748102031442464986196564016652589317951575900292581128309700678035769) * 10 ^ 70 + 4637939946889056568320986979967134282305235593069734245687538631253012) * 10 ^ 70 + 788362003889591203445055379172288420089806848355872072330136303218067) * 10 ^ 70 + 3433100415114956978543805986859607843906026119550735088188249445447044) * 10 ^ 70 + 7723777609072993571749828837148023918528288033900248263229171550365834)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_203 :
Polynomial.coeff recurrence5Scalar0Exceptional 203 = ((((2773939 * 10 ^ 70 + 8190148507410516962695481869333117650570572266429706067213245367431269) * 10 ^ 70 + 393134126488044327098003419590475842256662163196762174966407915208317) * 10 ^ 70 + 8344699798507938047104961224315783403503636118934037783211218953707279) * 10 ^ 70 + 2824503221277845748058755422807017112028956883890299611654050557656292) * 10 ^ 70 + 5892420708180656050002667035995601001132311418663616671349965792423072
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_204 :
Polynomial.coeff recurrence5Scalar0Exceptional 204 = -(((((4021465 * 10 ^ 70 + 4472954730348406766908643149641589080579034171402069580070204690200950) * 10 ^ 70 + 4229867505533661774084885191307405648270994171107788877960094773614949) * 10 ^ 70 + 8803117567453206346893551235526491908044032491326861186227400399953615) * 10 ^ 70 + 3226841878907354243248097923980615425876466621096259361474184602383172) * 10 ^ 70 + 1482254645377583732279734166357899885793402572768717560367409558479776)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_205 :
Polynomial.coeff recurrence5Scalar0Exceptional 205 = ((((5715994 * 10 ^ 70 + 9339031471891675142222890807189560562985816729374189602127532291702784) * 10 ^ 70 + 4124384802656960279474209569799614523418758783782403967885439431496097) * 10 ^ 70 + 2306737622657687427102416857902918714647020123339419134986753682019496) * 10 ^ 70 + 4598932298974136652189416998112011559288166331961296996046232961802374) * 10 ^ 70 + 669143887981895955141398828277209156807745712638541388399665023726789
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_206 :
Polynomial.coeff recurrence5Scalar0Exceptional 206 = -(((((7964664 * 10 ^ 70 + 9880622964789147860857341698375388619885069650386245188239477285932011) * 10 ^ 70 + 5284266610084337833563075714026102325194069785016362130716365780009688) * 10 ^ 70 + 7585481271203177051260768898885217812117916788639181099027242014395496) * 10 ^ 70 + 239809123976833784764845590460892195432549928719272275992603882743198) * 10 ^ 70 + 7442397242491486174806067772373510998515599110853317186422378307912175)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_207 :
Polynomial.coeff recurrence5Scalar0Exceptional 207 = ((((10877965 * 10 ^ 70 + 4962531864268599940649550822492108495982570799598287953409466742495143) * 10 ^ 70 + 7739533072834070769250312966514504408458685756304941127429520440974063) * 10 ^ 70 + 1507888899953610574850730958988484693245667868302778603131445542338366) * 10 ^ 70 + 8939895300979171310497291684884874903802452894824374864743906309326321) * 10 ^ 70 + 3792805356329971137960857265557427330688443184221146289318451474906905
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_208 :
Polynomial.coeff recurrence5Scalar0Exceptional 208 = -(((((14559793 * 10 ^ 70 + 1232552169639476311273887449369229758138625895435761141837253874499678) * 10 ^ 70 + 3363565391413021613927551668094945397321255118707926355478556823428020) * 10 ^ 70 + 3474708565295561216624798318023445119612316688323430590052499368535442) * 10 ^ 70 + 2797325359956437378164694758240465010773109401722184375462700211357258) * 10 ^ 70 + 898958933311088903263783380556972714069918859666691620273160805320329)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_209 :
Polynomial.coeff recurrence5Scalar0Exceptional 209 = ((((19094020 * 10 ^ 70 + 17683511269361751185880621554562160647260969059045687136834975231754) * 10 ^ 70 + 7678947403575438145062979605034104748803457620339870422867623387050250) * 10 ^ 70 + 3449659326054843202922017352817148107323161498075215739168801264727330) * 10 ^ 70 + 1033757974180401951779456063138510103237820882070863917992730690331488) * 10 ^ 70 + 3512276574202057327644770711539056778856088166721283508229511135096216
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_210 :
Polynomial.coeff recurrence5Scalar0Exceptional 210 = -(((((24528054 * 10 ^ 70 + 6076183140589851027978957875340008403947805665469122864379139398889596) * 10 ^ 70 + 578306253006404133501491415602285689947076851516562688785604478590713) * 10 ^ 70 + 4963862937973692229579389109136528019767398148940298559988892012577506) * 10 ^ 70 + 6866608840873669051212187258866221035172500350437142651675371272607548) * 10 ^ 70 + 5738732992052200550527812874974430387738482479405718024181762757794808)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_211 :
Polynomial.coeff recurrence5Scalar0Exceptional 211 = ((((30854565 * 10 ^ 70 + 1514450777907399384072491253614454889963620579356627345035384751080670) * 10 ^ 70 + 4652566246782781237605605329945668318802164037148088341275573650746970) * 10 ^ 70 + 664809987619680005972111472067141187021559629168215186393018015190790) * 10 ^ 70 + 5614829873167161150478440358785272226252639319176752004393920557778989) * 10 ^ 70 + 5617740055932153724517253120900009366994492047470549069395951535251008
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_212 :
Polynomial.coeff recurrence5Scalar0Exceptional 212 = -(((((37993291 * 10 ^ 70 + 7656168616049666382298081648134388381319944291881934627740903221490391) * 10 ^ 70 + 8255876311323372326454980518832211994792327744542016208409230264597361) * 10 ^ 70 + 4614005174858990521629687421221298052940215811118425891434217486760931) * 10 ^ 70 + 6412233632271254052824820321413304482743111202514774997935106307866632) * 10 ^ 70 + 236757729436993895759720487711734893746715885737851413993641280210502)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_213 :
Polynomial.coeff recurrence5Scalar0Exceptional 213 = ((((45775563 * 10 ^ 70 + 5111018309558120496381795706831852894627983863179534834576822043297644) * 10 ^ 70 + 8352531783198322418045725472267231256796190805677312510504046578409171) * 10 ^ 70 + 7735868248964940440127595021179584501017572261175651229499182280762804) * 10 ^ 70 + 4508632003018063891772994707384591046257046776319099778137500638121161) * 10 ^ 70 + 3161331870126471984172378647496558035883421322719587342659067754553840
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_214 :
Polynomial.coeff recurrence5Scalar0Exceptional 214 = -(((((53934596 * 10 ^ 70 + 5837283369037940225220609055681973731213469144325714849465820197278540) * 10 ^ 70 + 9548291907170165235265000711914205430067723781106714788233734486860438) * 10 ^ 70 + 4805161655387318222070932710135280401456420402439983537299808350744748) * 10 ^ 70 + 3348994271048830159984143989098235698142997553546535590975087412132186) * 10 ^ 70 + 90640853486450450650467892456501443424066795475533207311255008270769)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_215 :
Polynomial.coeff recurrence5Scalar0Exceptional 215 = ((((62104709 * 10 ^ 70 + 9609378863655903853449523525782014018687677949902437294052522040934615) * 10 ^ 70 + 9135991164457849464383973006120699766176753410217660329811266416052944) * 10 ^ 70 + 2273055541553267192038239377903029401707725667406774699832656154961570) * 10 ^ 70 + 883353252864966415668299379349852566166871263758337686364965274690945) * 10 ^ 70 + 7726413507557173558742766437658823236726719973811379871232991509943137
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_216 :
Polynomial.coeff recurrence5Scalar0Exceptional 216 = -(((((69832112 * 10 ^ 70 + 8898913853680158476820900138048437893817965529052039493445925538507785) * 10 ^ 70 + 3181489408516156837808548709013311371958774121896551889418682583236975) * 10 ^ 70 + 5712775343910708277982393481518176405688236698784128534612489699028951) * 10 ^ 70 + 2149097110048074952848268996073204512295395446302695603530172603395917) * 10 ^ 70 + 4811757589006641515794265628734501871177448272359788245211043649390631)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_217 :
Polynomial.coeff recurrence5Scalar0Exceptional 217 = ((((76598826 * 10 ^ 70 + 6405368873578925982842642545096032273544700757169999202279518774203182) * 10 ^ 70 + 1668473577009538886067613925183259038907258805816107895954825299580829) * 10 ^ 70 + 7881249350703877940120484060383017470093461080477759899955576794654958) * 10 ^ 70 + 5618891358218594805382204252107835225844262375964754453697659219267196) * 10 ^ 70 + 9241371170010141759901004842915780357459591723334939105066804514739803
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_218 :
Polynomial.coeff recurrence5Scalar0Exceptional 218 = -(((((81859643 * 10 ^ 70 + 1548089593908338397904972442219785249049482412703495366885023963392831) * 10 ^ 70 + 3302340382355147861927806653904774039362682279039540728465143773728664) * 10 ^ 70 + 5843418497555932511257876807054077839949683065667112796019267022482483) * 10 ^ 70 + 4514698245193690275740559517654945354787810296473721264541759064787462) * 10 ^ 70 + 1351062839558912586589317629050864417275679028650804027868457254440719)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_219 :
Polynomial.coeff recurrence5Scalar0Exceptional 219 = ((((85089970 * 10 ^ 70 + 841018599604080666416080552889860851145914220137349765275709861175428) * 10 ^ 70 + 3077661823374036748840610815816239541498667705774986451046555041971432) * 10 ^ 70 + 1875479019052224093363585277498976655909713784426132779637457913701627) * 10 ^ 70 + 1303835031586932377218254775243362704159543253523151942410747524034660) * 10 ^ 70 + 2234938217202014235504511712389119963507453525484194396637991460119653