Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1ExceptionalPart1.Coefficients219To253

Recurrence 5 lookup certificate: Scalar1Exceptional 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.recurrence5Scalar1Exceptional_coeff_219 :
Polynomial.coeff recurrence5Scalar1Exceptional 219 = ((((8171358 * 10 ^ 70 + 1874890636618139433033419742676499622343188088271010510610962951907005) * 10 ^ 70 + 4642835747121620948735380809084120032456009515097744651682697489478989) * 10 ^ 70 + 1849241524668612888897165027974581581906599839363015403181354945754327) * 10 ^ 70 + 7887906501244382964642301512860216047865289124765188514327200378084107) * 10 ^ 70 + 1585816567868335246453684959937061639078820266545949806195898554277996
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_220 :
Polynomial.coeff recurrence5Scalar1Exceptional 220 = -(((((7648317 * 10 ^ 70 + 7294655383788346898571084292230909886742196154596075150316046988218957) * 10 ^ 70 + 9502204766578836017192895611619013262558934438912188438212085242472348) * 10 ^ 70 + 4173381864491758666771860784601369819324441809744520898123566778958182) * 10 ^ 70 + 2351296903364237072715386191870132642490124098412671288640610018536331) * 10 ^ 70 + 1587749802098011579276281965526379943244467332225956058312547246923396)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_221 :
Polynomial.coeff recurrence5Scalar1Exceptional 221 = ((((6837798 * 10 ^ 70 + 1136493508124252030650586601279655060534750178518369221280309706964486) * 10 ^ 70 + 8402684816251714083734231192941052775120138969615812192980173893286659) * 10 ^ 70 + 9202206490403698135184747804563667964536628210651941571499966194093995) * 10 ^ 70 + 9576390857833184169406053352917220121796791148034877464100102228286714) * 10 ^ 70 + 8278408533271926478228949260939581777718027515161644974650005896545909
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_222 :
Polynomial.coeff recurrence5Scalar1Exceptional 222 = -(((((5771788 * 10 ^ 70 + 6948792544150879092472046792265573520264631955072964126659395792458471) * 10 ^ 70 + 2714670366123722126874994352899144957496538978204684197482523298622969) * 10 ^ 70 + 4208029554957495932840177894348558644421189282057404033858934753588981) * 10 ^ 70 + 2640298843992123103375116678067333707447143808024641389489056345098054) * 10 ^ 70 + 7317947943034005692424581773007619262005966779759953820517979787616370)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_223 :
Polynomial.coeff recurrence5Scalar1Exceptional 223 = ((((4504156 * 10 ^ 70 + 9936586255992427648636519255555821298097691369704956351114223719685318) * 10 ^ 70 + 2871826751591512633570366919068935419662437496877082656699072744315932) * 10 ^ 70 + 5232771908587496521034833570444191932041156309840403649284589158799401) * 10 ^ 70 + 7070756484176264007867802077895390741290583765645286051948990477032586) * 10 ^ 70 + 3296812641079220972199147810700500746191903545181161206983921330670763
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_224 :
Polynomial.coeff recurrence5Scalar1Exceptional 224 = -(((((3106683 * 10 ^ 70 + 1733682986209831924639322121497120543116679079903979737686839151172869) * 10 ^ 70 + 7164019702035185761071199290764642306886972827402337089650083336909847) * 10 ^ 70 + 9720944222778869620925159467642555437739769980667080866476450176694847) * 10 ^ 70 + 4403893177081515845946098901136719114651787931259179539661217279420788) * 10 ^ 70 + 7611420205940489298024195577087481780461021462802020286355979408663701)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_225 :
Polynomial.coeff recurrence5Scalar1Exceptional 225 = ((((1662810 * 10 ^ 70 + 1662102171296915085715960261887069693859706818240026387281530850957340) * 10 ^ 70 + 1021390490234784359491193487321762353157975839151530381639687779468029) * 10 ^ 70 + 6652705714896032156454023546416530082390074351854389213514080026314100) * 10 ^ 70 + 9828545280927677779035170203786683889423044564855032413851720949475525) * 10 ^ 70 + 725041275394507637238975692350873072275707052916022872320497586182046
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_226 :
Polynomial.coeff recurrence5Scalar1Exceptional 226 = -(((((259821 * 10 ^ 70 + 7627976679104925846816662407384882961720355408052710789554314932112178) * 10 ^ 70 + 4712064609185022669695326872497736971114681680118183303556385981688083) * 10 ^ 70 + 8494744382564113471724603960058082074814148595796202802577882259927161) * 10 ^ 70 + 2395970152653172158607139812209808196246567723358510342531671428396304) * 10 ^ 70 + 5509405446695199843876284429826291504101966286897609424660500496410141)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_227 :
Polynomial.coeff recurrence5Scalar1Exceptional 227 = -(((((1019570 * 10 ^ 70 + 9846607694493169395591271704734764114170910904657764688680436282335416) * 10 ^ 70 + 4115691592205505478504211205305731589347666630530589221994148355604554) * 10 ^ 70 + 8258483382069104391152931076576963768683371921287628468207552483513949) * 10 ^ 70 + 5220197003542763852206984949415966707560149825544104988029345851594391) * 10 ^ 70 + 194930049826990923171763428662546114132556544019376117454218253168112)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_228 :
Polynomial.coeff recurrence5Scalar1Exceptional 228 = ((((2105138 * 10 ^ 70 + 7270145081873192260882387433651815109499186265852278568258808563234686) * 10 ^ 70 + 8599121693896878555314186267808867497646319141759552829870868698469816) * 10 ^ 70 + 6673371549381941057163691176022221217535749629310694714834115729579616) * 10 ^ 70 + 86529477569956916450278040471733368583235444165514852173939259221685) * 10 ^ 70 + 1708923602435795527501954845521432167551671732118977678234295248328190
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_229 :
Polynomial.coeff recurrence5Scalar1Exceptional 229 = -(((((2945504 * 10 ^ 70 + 2649756939591963478993810444630040524793465113282012150771651538658955) * 10 ^ 70 + 3251954699955989103638867357127070749413942148913407999379802247639112) * 10 ^ 70 + 7038732565302506816982690137499189834781048429566592441277840727375010) * 10 ^ 70 + 8617529582078198341891093062648213275238732503758192973298137961898328) * 10 ^ 70 + 3610606418344662882915608741381079517563981151052048633472751851107229)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_230 :
Polynomial.coeff recurrence5Scalar1Exceptional 230 = ((((3512173 * 10 ^ 70 + 1565005600137001953825089137345712690935120572542729004736561051662462) * 10 ^ 70 + 636658733728812856859134725822379717569300934701768140681569324368163) * 10 ^ 70 + 3650366129569420700314840289464457001868290710381833090699762713326985) * 10 ^ 70 + 9992913571526903994583634811310905424756765771361788083598755404736809) * 10 ^ 70 + 4499987594925062098097583030278298773450730604167399521078443289720183
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_231 :
Polynomial.coeff recurrence5Scalar1Exceptional 231 = -(((((3800784 * 10 ^ 70 + 173518863261814616133107287356308673370441068475598671748611961484261) * 10 ^ 70 + 4432265281635444583430758764129426587027184705859089933585719309850035) * 10 ^ 70 + 5067763019371980922760278557288194268185140792953847572254197759710352) * 10 ^ 70 + 4972017008269340326222026647302726750328927439014501987638091553410809) * 10 ^ 70 + 570341931767985793195524107906799129933604526238613932587138741220844)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_232 :
Polynomial.coeff recurrence5Scalar1Exceptional 232 = ((((3829560 * 10 ^ 70 + 5077653916831807215426236092145532363491186044570508625045056496913972) * 10 ^ 70 + 2370947651738837601676874649847225371278784902817528011887547277542301) * 10 ^ 70 + 8957315895475571381872101775446692297346397867277644869399911447077371) * 10 ^ 70 + 3097148750711531491382552351497536557809990155677486833657998297084007) * 10 ^ 70 + 9557012971334703775196144632282613917288846366896825887634869239304529
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_233 :
Polynomial.coeff recurrence5Scalar1Exceptional 233 = -(((((3635353 * 10 ^ 70 + 8916619033523006510034528791618718863876165017796903517336943423747250) * 10 ^ 70 + 2043007562862899187877476171823549802025338650549013919109017805353883) * 10 ^ 70 + 4252196734423451287663387940391091997889352462654925089258704761756181) * 10 ^ 70 + 2165320862213063342851253092453499786320636969147819035406252276237471) * 10 ^ 70 + 6039331638307927050991597485197190012281021074262737832521223638588972)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_234 :
Polynomial.coeff recurrence5Scalar1Exceptional 234 = ((((3267985 * 10 ^ 70 + 1765911737660984663081473579212118162520308295191218882024603522298168) * 10 ^ 70 + 1690967855370151284643932003985664976123001020037991167405957483457469) * 10 ^ 70 + 744719911866424025070170139602322453582538310928627913411059733179119) * 10 ^ 70 + 3430633929886320221059397043972872051647893061708339081432039414164677) * 10 ^ 70 + 1172822432655471972549531126462224109068775478551322356111362209208737
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_235 :
Polynomial.coeff recurrence5Scalar1Exceptional 235 = -(((((2783778 * 10 ^ 70 + 5081144197036236197882392653692137407309060340514873371617583083764721) * 10 ^ 70 + 2851897015453696677265247790203921147866632269489428439092689960277088) * 10 ^ 70 + 7879553434645687887858797797064594518001186466318105185841962989045962) * 10 ^ 70 + 1278477112651578935201982467651302981793956178653011815662526488681970) * 10 ^ 70 + 7221409291994944218955051821193804288090484411112439877807170481777693)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_236 :
Polynomial.coeff recurrence5Scalar1Exceptional 236 = ((((2239201 * 10 ^ 70 + 7889024925154106295640289390638469006489524220841082130990551246039049) * 10 ^ 70 + 2470822773260345148574105987023992991789435171239099985798513865332809) * 10 ^ 70 + 995603321871323760443510359877765926899533722428169348957681709439604) * 10 ^ 70 + 1915558694160400686687375495601006788132172005032157942921547777071919) * 10 ^ 70 + 9280318462606274650215852337330566841391239906208437347080229441301131
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_237 :
Polynomial.coeff recurrence5Scalar1Exceptional 237 = -(((((1685407 * 10 ^ 70 + 3332988291438694844688022521353716982005620715225355812373691565584874) * 10 ^ 70 + 8017607068780172859414718682097113659403714050356251200103351863941036) * 10 ^ 70 + 6478808158762045998945339005636514231079893379116549224001077591465818) * 10 ^ 70 + 4892321184398578615101493473369742141548457325575862216102891306510597) * 10 ^ 70 + 5157252292804848156137465291066113465935037739502907239771763211972272)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_238 :
Polynomial.coeff recurrence5Scalar1Exceptional 238 = ((((1164232 * 10 ^ 70 + 3788455249276262375165593881734130588304697199454977359855168162006380) * 10 ^ 70 + 1206149327349752765821611420980398923845056925956775025275475919966761) * 10 ^ 70 + 5459869676828730191333267109587413315203060870529394692207816554370458) * 10 ^ 70 + 3033817844205565232796678530211961250531137725808143020629632416504237) * 10 ^ 70 + 1221664793671700836065029289554594381298255162107416047804899792355256
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_239 :
Polynomial.coeff recurrence5Scalar1Exceptional 239 = -(((((705930 * 10 ^ 70 + 3374858829524705778747327654744756503527953361969013782666246119609631) * 10 ^ 70 + 8611329434614252979506981531334608019508734195241915330640783692358060) * 10 ^ 70 + 2012669914069177385399141836843089023351154975833628486646788201078554) * 10 ^ 70 + 9480204119141214818194594887446654346197409978129826819701293036298453) * 10 ^ 70 + 6230799734366034442550808494065853823455294009921443148576820640663908)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_240 :
Polynomial.coeff recurrence5Scalar1Exceptional 240 = ((((328616 * 10 ^ 70 + 841302547426984786534439274146093956520760772012457572799658210208681) * 10 ^ 70 + 1891780324267342280331532486194059613510137842580788413172680071319184) * 10 ^ 70 + 2932461510584456070064433265780817322481312679766843783816358177412013) * 10 ^ 70 + 7533927992178705271008992998260903765038161502677951766877219620123268) * 10 ^ 70 + 1579465442529362028195616728051889512509055731163567420673382053872486
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_241 :
Polynomial.coeff recurrence5Scalar1Exceptional 241 = -(((((39171 * 10 ^ 70 + 1154755726949945576138838116185298956093526239488799585712018801537962) * 10 ^ 70 + 5251977772857705062895388473148258753400474400320378184158844070332967) * 10 ^ 70 + 9625247956608466166423991628537481163825904587519260541938196272309451) * 10 ^ 70 + 8278859662860581336163136455903157158540399072793619605639161796774150) * 10 ^ 70 + 6922344638597171400612091703915078606148356183908879604704058681743215)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_242 :
Polynomial.coeff recurrence5Scalar1Exceptional 242 = -(((((164801 * 10 ^ 70 + 1582433025580855327204271281937665045938827125356892206371092377802979) * 10 ^ 70 + 6119763998649072588039323703913445738183352046296180584208832242394968) * 10 ^ 70 + 1280679803656641436806357494245671468976446713013225999522352252139033) * 10 ^ 70 + 4226229315924833360337711417860096175749680912352649027163971381469754) * 10 ^ 70 + 6842330959621040291024243470810614144760818553726232367761957851788655)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_243 :
Polynomial.coeff recurrence5Scalar1Exceptional 243 = ((((292442 * 10 ^ 70 + 1472953507722844783067324220702395498710833253521393797950881391378352) * 10 ^ 70 + 501449304217343700190103835952212281301754872386661138776382194374966) * 10 ^ 70 + 157150490289719017650346706545645072155386243915449431471519886786717) * 10 ^ 70 + 3351727589049653590113481195383891905632340084175138555033801942060246) * 10 ^ 70 + 4770280486513702988964526500507596491960823488463587121631507185337611
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_244 :
Polynomial.coeff recurrence5Scalar1Exceptional 244 = -(((((356976 * 10 ^ 70 + 1227688542498022471067402966710655917361723661574020100901597112681015) * 10 ^ 70 + 457375589402725973773695854699621869853217050204487771793127379831957) * 10 ^ 70 + 9507405755425833465764884192039404519822556845513211586631565639859334) * 10 ^ 70 + 3828782527283959848911918222907688559830550552663295533442315950927193) * 10 ^ 70 + 7100910685283667703079298803996001293398279637943908153147345230291331)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_245 :
Polynomial.coeff recurrence5Scalar1Exceptional 245 = ((((373282 * 10 ^ 70 + 4306918802713110990236531752192648888727557826126175135412399527817050) * 10 ^ 70 + 239478855262291495889251692517924000877007951020304751468423800216398) * 10 ^ 70 + 5500547096147027183572988695573394996295032287105513123161264129855986) * 10 ^ 70 + 4650918145462250339460586765436504595412361340613335836851826035284654) * 10 ^ 70 + 2741314762598207211777005790438831933306393251958889418688434888165470
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_246 :
Polynomial.coeff recurrence5Scalar1Exceptional 246 = -(((((355943 * 10 ^ 70 + 3882687568030657150947270178436796961844041091952736448390625727968387) * 10 ^ 70 + 9573919350115410963973293357338303715718589719353582034041892761162820) * 10 ^ 70 + 4900158555302034612692535793596000270683502832054976857088227010483717) * 10 ^ 70 + 5465958024920052568472009873425794439856952274648610383906482125901386) * 10 ^ 70 + 9753663440015268134100226610936119038474306454008025505219271784621290)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_247 :
Polynomial.coeff recurrence5Scalar1Exceptional 247 = ((((317881 * 10 ^ 70 + 4418117247195145634105225757703114961161535558982798872750755828176065) * 10 ^ 70 + 396786052639261403215803386903309485046421108011507485608501930531233) * 10 ^ 70 + 4257032754553571959609729711729590926955108873995016915312697186428512) * 10 ^ 70 + 8729653487777898183829263366788960116283771065246673724648542451442420) * 10 ^ 70 + 1020489324499120661084209318505659105758590810517581178927128698682039
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_248 :
Polynomial.coeff recurrence5Scalar1Exceptional 248 = -(((((269587 * 10 ^ 70 + 4021053451563221754437296440312479739548986688181572636192127763099593) * 10 ^ 70 + 5865827963202236498271839221449209095404260651537471850160194883895171) * 10 ^ 70 + 2772141979384197147277626890267006094918075325192823084187529440801463) * 10 ^ 70 + 5946332019766737150619523118644086340764086180725380578102426590016192) * 10 ^ 70 + 9384390378419026845815635167609219519625501817010103798146467241118713)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_249 :
Polynomial.coeff recurrence5Scalar1Exceptional 249 = ((((218860 * 10 ^ 70 + 741775966083347273060521287593520274906002264150704165397550253919842) * 10 ^ 70 + 8627172660209238023075581135157188235334513652197396414349523305483061) * 10 ^ 70 + 9116202412719314161066785754122348342922295975077047292842734597252279) * 10 ^ 70 + 9463631320150629394833582940567466927880371709113783732068964320143643) * 10 ^ 70 + 3755348382638131135159886178346572017922670224810593561958579494552728
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_250 :
Polynomial.coeff recurrence5Scalar1Exceptional 250 = -(((((170931 * 10 ^ 70 + 3508723391467162176730320802131676491103145715916726638327140716831575) * 10 ^ 70 + 6975664401997080109802730069712544415550602702587696198599921512713453) * 10 ^ 70 + 5803655397145911792752094438864373668687090833627253442599494794180533) * 10 ^ 70 + 3408365871004667851138305359991691391730838290258969760028540590113146) * 10 ^ 70 + 7654186201634678004020948582900761272555621407086025630071180485962839)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_251 :
Polynomial.coeff recurrence5Scalar1Exceptional 251 = ((((128837 * 10 ^ 70 + 2200488560630454627895815571751105610857605496630978037187386745642432) * 10 ^ 70 + 7479655338905547619441819345597979403376674596085089739635845342194694) * 10 ^ 70 + 6630297072853009992719567174829190394481038673025782787879117697912585) * 10 ^ 70 + 2386111165083330941785846873932042638362155149246766802031966597749041) * 10 ^ 70 + 9762633918702177651289614784516616975917495298995000333214679649002403
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_252 :
Polynomial.coeff recurrence5Scalar1Exceptional 252 = -(((((93906 * 10 ^ 70 + 5503896262835393815990375275142383655734640889323310234380388679910979) * 10 ^ 70 + 8628345666634559954091394764923281659469381330686776703555858427735571) * 10 ^ 70 + 8897209254096097080670960695593447521752826520728303137667950115295082) * 10 ^ 70 + 4590118896357020476936098980523570708151061970872815865840358387007404) * 10 ^ 70 + 8084448359151785053837845821380012319214531555362465749955557350310940)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_253 :
Polynomial.coeff recurrence5Scalar1Exceptional 253 = ((((66266 * 10 ^ 70 + 2981978818252643086512728246560814299181731020246835067067979922006009) * 10 ^ 70 + 8335149228784719653109499418310576641232806783139614271458841929175636) * 10 ^ 70 + 8148153492452083393748183146516163789692813659408895630740325005637562) * 10 ^ 70 + 4309896133369146070092556928253952760713661587656431863685931630745545) * 10 ^ 70 + 416121778604959332759732683761822969524356334526404111817827572016047