Recurrence 2 lookup certificate: Scalar4Main coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_93 : Polynomial.coeff recurrence2Scalar4Main 93 = (21768707 * 10 ^ 70 + 3319074545199998278159547420393718899397524107018466904304876181862893) * 10 ^ 70 + 9280989625243598833558731022792402069461434112500567156717768434745159

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_94 : Polynomial.coeff recurrence2Scalar4Main 94 = -((83382444 * 10 ^ 70 + 5959815267285047446514402712707818577596217519987682139886964849127082) * 10 ^ 70 + 9256542801484499372253469655203325752044855825920263531505773808733139)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_95 : Polynomial.coeff recurrence2Scalar4Main 95 = (300152328 * 10 ^ 70 + 7545854215164530109099935498435159703961031858523524151222160673769097) * 10 ^ 70 + 8449385248204582011862059116901447254428135962098081065773984007316407

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_96 : Polynomial.coeff recurrence2Scalar4Main 96 = -((999565066 * 10 ^ 70 + 5636689672446403442235935114865064479464766247480092296276893544482191) * 10 ^ 70 + 5064483300463019009087610318030581766227490718532132009945527788996405)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_97 : Polynomial.coeff recurrence2Scalar4Main 97 = (2994292985 * 10 ^ 70 + 7420368695605630342947730362971417449894199381225256534829338326018932) * 10 ^ 70 + 9138554892476508025734034901844715779848842724029078082864216123642034

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_98 : Polynomial.coeff recurrence2Scalar4Main 98 = -((7616782853 * 10 ^ 70 + 1324682919024471394514026798163264520171691212068957593842912649503247) * 10 ^ 70 + 7120329655092148566112583383669775803594722571732084874147213079635431)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_99 : Polynomial.coeff recurrence2Scalar4Main 99 = (13864244084 * 10 ^ 70 + 3414544898711660718966720424158451466301112407159388900516511740979551) * 10 ^ 70 + 3299301651664043093233919637883812488796212146451796218667085626568786

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_100 : Polynomial.coeff recurrence2Scalar4Main 100 = -((288436409 * 10 ^ 70 + 1197628878745525360723139995965786774838962512321627683329417121451230) * 10 ^ 70 + 8004945292895343234799487628456177814510296843518124033892485072371112)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_101 : Polynomial.coeff recurrence2Scalar4Main 101 = -((158782108135 * 10 ^ 70 + 6843492514281556817414437578929244787184001207716254837787375965366682) * 10 ^ 70 + 1947973546742751931929422246874357589612579545223192336997921641160624)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_102 : Polynomial.coeff recurrence2Scalar4Main 102 = (1054932420754 * 10 ^ 70 + 5112206938546669142744024993404491884992134638541715010290487611829001) * 10 ^ 70 + 2846488379277951886063533880734568560776011187198079948126756589812274

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_103 : Polynomial.coeff recurrence2Scalar4Main 103 = -((5347729779445 * 10 ^ 70 + 6675886533091737990104471423018041260670867059861973491846004657813170) * 10 ^ 70 + 9922929808797269631382728901502260385555265817105208347602084955740485)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_104 : Polynomial.coeff recurrence2Scalar4Main 104 = (24817902439485 * 10 ^ 70 + 4474104157441279445075035609469718907670402435477371272457291861171748) * 10 ^ 70 + 4549273565857196231838271207246132717354298944052156116044277665293088

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_105 : Polynomial.coeff recurrence2Scalar4Main 105 = -((107842170242512 * 10 ^ 70 + 4829849379954216152419429367123005672933037421557395871883104193059352) * 10 ^ 70 + 134264060821522775843675752166190451454830967428351696990735552102494)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_106 : Polynomial.coeff recurrence2Scalar4Main 106 = (418804949805655 * 10 ^ 70 + 6767680290884422919665232721027159049084729397746846340274961379717549) * 10 ^ 70 + 6166155492250374099497942004173334164564020633130402414439043401617493

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_107 : Polynomial.coeff recurrence2Scalar4Main 107 = -((1325115745051766 * 10 ^ 70 + 8220014587295843998608288506792287876047166552265841543565003608359539) * 10 ^ 70 + 1858283804831061598942804579251365421948864004552990865303479216902915)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_108 : Polynomial.coeff recurrence2Scalar4Main 108 = (2750729802837968 * 10 ^ 70 + 7069279671027966841336422899664093774155384902059859330748982307466414) * 10 ^ 70 + 8208435189851061624277916909998176244473142683379032793403420927441439

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_109 : Polynomial.coeff recurrence2Scalar4Main 109 = (444398811614565 * 10 ^ 70 + 784482198118174064718636790912623371389278133515075296824157325890375) * 10 ^ 70 + 8690020771956037351958718296004596136898095561341633674784556168094448

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_110 : Polynomial.coeff recurrence2Scalar4Main 110 = -((31526462079253535 * 10 ^ 70 + 514920276405864768046162972985770751612066121865006040446353477523583) * 10 ^ 70 + 2811509111911832223940285684928105868949029790783213690820589250854206)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_111 : Polynomial.coeff recurrence2Scalar4Main 111 = (118818000232643291 * 10 ^ 70 + 4301773752822373073763523401430552996767141874675196433221937329806187) * 10 ^ 70 + 6149347158204368056237810460043140057352790960585748700557008233670802

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_112 : Polynomial.coeff recurrence2Scalar4Main 112 = (23926725873534171 * 10 ^ 70 + 826098593673462868065893300733793082846399638551985902309446678508440) * 10 ^ 70 + 7620921296674911915224808712570259097318593497170728412269397132816536

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_113 : Polynomial.coeff recurrence2Scalar4Main 113 = -((2627351438604726611 * 10 ^ 70 + 4816642319959175853057715704923794167333853580589050970812332701684599) * 10 ^ 70 + 4060759850476793671151889075819507327015829345120673609165042656249729)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_114 : Polynomial.coeff recurrence2Scalar4Main 114 = (15749583774724378009 * 10 ^ 70 + 4657778449500366247413096600990116363385816876057885267418414080450314) * 10 ^ 70 + 8286659808112472083859979189063303829631470405046782369014795160062596

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_115 : Polynomial.coeff recurrence2Scalar4Main 115 = -((47907470629301076862 * 10 ^ 70 + 4621395706249176498642418876511056594840953396167231916848787628506769) * 10 ^ 70 + 3497680420475797225328180029211368119080572514704844265409803271009939)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_116 : Polynomial.coeff recurrence2Scalar4Main 116 = (10985859719237421517 * 10 ^ 70 + 2081622372887559089497362663992927379044347704053252003790974492104029) * 10 ^ 70 + 9670444114032896015073703264174110551832714683407779251148884404448631

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_117 : Polynomial.coeff recurrence2Scalar4Main 117 = (764433328644672075852 * 10 ^ 70 + 3805546629986458643107900556030617400972182800177695467551479502853098) * 10 ^ 70 + 4937660402363741792080416636476958201882475817154937540211138279638661

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_118 : Polynomial.coeff recurrence2Scalar4Main 118 = -((4848000089229824656638 * 10 ^ 70 + 3125567622411161587059238911950318446986529924091503641365912556605766) * 10 ^ 70 + 6225141408572524529073765200199690255000799439901247126256744898639918)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_119 : Polynomial.coeff recurrence2Scalar4Main 119 = (17138009860597048446649 * 10 ^ 70 + 1444638224321382997508691867385310704125380610547384488826470972516554) * 10 ^ 70 + 5998304656562609148976235012018997161306304607727244091779878236053477

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_120 : Polynomial.coeff recurrence2Scalar4Main 120 = -((28953321128216495479174 * 10 ^ 70 + 456169964962126587797895306696883976293549452258338517056445762942974) * 10 ^ 70 + 2216557297189056211701743329112324199370492714421725140473597488976715)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_121 : Polynomial.coeff recurrence2Scalar4Main 121 = -((75904435843073238333999 * 10 ^ 70 + 5551042427556993750639900008864670065840597078327175505186070951330124) * 10 ^ 70 + 351232463674658548505786548889562215511025522014535237759025115861444)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_122 : Polynomial.coeff recurrence2Scalar4Main 122 = (846477459632349175871613 * 10 ^ 70 + 6673686422083359515479464147078002656779761299993050213897961839458256) * 10 ^ 70 + 1643666450156690889335224726117354088347149999077265974508660383917124

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_123 : Polynomial.coeff recurrence2Scalar4Main 123 = -((3991545860204878873519143 * 10 ^ 70 + 5538339736818257141093107288077772831078988854924878065534023103156300) * 10 ^ 70 + 8768823299484832676250572869322541059583720412433191203590518205641143)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_124 : Polynomial.coeff recurrence2Scalar4Main 124 = (12650051693847502158391852 * 10 ^ 70 + 5474802905907651950871871434920248569968246946622819093272751112852223) * 10 ^ 70 + 5621581218794245873738624003501547333780229573082678144488084687605070

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_125 : Polynomial.coeff recurrence2Scalar4Main 125 = -((21793714389280097669156375 * 10 ^ 70 + 1617235482438571194995630874240033143052142047847441196876658947861110) * 10 ^ 70 + 9836949033443828113535986303905285241023208009677052696158462614567490)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_126 : Polynomial.coeff recurrence2Scalar4Main 126 = -((58326897119567058887784137 * 10 ^ 70 + 6344424321012859970994462055806337082149340363316878828388136034880702) * 10 ^ 70 + 7612555133331249099943421842621063465100527908759587708663334838624477)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_127 : Polynomial.coeff recurrence2Scalar4Main 127 = (759382780333859236919800007 * 10 ^ 70 + 2204905426277118825002575265095827091255846577889884952800813084230078) * 10 ^ 70 + 5069222419747592021800261526963981593865372769812427090742740483151215

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_128 : Polynomial.coeff recurrence2Scalar4Main 128 = -((3914788301951312963679688069 * 10 ^ 70 + 9438331027772603299789991299717327345161357784305444275386450596207663) * 10 ^ 70 + 1395235731463356902721885610095247680069668652767436999649058406956171)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_129 : Polynomial.coeff recurrence2Scalar4Main 129 = (11364881669289916241026333923 * 10 ^ 70 + 7777792084443408633429249544099961682378242729923072754347368465762627) * 10 ^ 70 + 1301114238285711685412174705429285648467171735075175155469318511794145

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_130 : Polynomial.coeff recurrence2Scalar4Main 130 = -((4203052715916917545803756059 * 10 ^ 70 + 4158305607901017847429379964487286500555144334721851260313415970352202) * 10 ^ 70 + 6473113723407645571697740556767204463541623272507772920296650711560660)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_131 : Polynomial.coeff recurrence2Scalar4Main 131 = -((137227176412893863710802281480 * 10 ^ 70 + 6767729811671224988345240618816200916414086214571061959414105322027218) * 10 ^ 70 + 4666633557674741812750292902375278199894663507757622797282255677221905)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_132 : Polynomial.coeff recurrence2Scalar4Main 132 = (698474561630178872887612207795 * 10 ^ 70 + 8153059565081415834221613997987142070675040474712656420759736617353969) * 10 ^ 70 + 137089002658235798071968872013048870475271187199013004366720385256781

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_133 : Polynomial.coeff recurrence2Scalar4Main 133 = -((1393027335762520473912765172838 * 10 ^ 70 + 3262750136816181382578014371999710977573332830032571070341792130891581) * 10 ^ 70 + 886031072914482547034023874558249889226256928114604144943701671409774)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_134 : Polynomial.coeff recurrence2Scalar4Main 134 = -((1857344820691942933900250089127 * 10 ^ 70 + 1148077623560742351392574908203229574847733057232979293409874740977478) * 10 ^ 70 + 3225699855204554261199025168959627666226565548432213897609319032321145)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_135 : Polynomial.coeff recurrence2Scalar4Main 135 = (17654820396919779607279819831317 * 10 ^ 70 + 3505745334808618773819419232272597790134351383182472099346203409813259) * 10 ^ 70 + 3805815071448549411631189988127662981916089967458402357892026715018279

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_136 : Polynomial.coeff recurrence2Scalar4Main 136 = -((20217597998976408683259720717314 * 10 ^ 70 + 6888876666838218593968045514509810237800670422499209520724468212031188) * 10 ^ 70 + 5664671640867935426718335658415760103085005314493133243543252104179138)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_137 : Polynomial.coeff recurrence2Scalar4Main 137 = -((170923283153777121146149758851099 * 10 ^ 70 + 3061080390127007280218577972971863241647835185179648671417043114787277) * 10 ^ 70 + 1248686690687623239349694771720852610299582566756905926032807375476822)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_138 : Polynomial.coeff recurrence2Scalar4Main 138 = (691089731476049364355603607156688 * 10 ^ 70 + 5811897429392581677753870877944045336669460945842608222221011825551495) * 10 ^ 70 + 5843795846566426755252594037374803835722570019398895034329884220389845

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_139 : Polynomial.coeff recurrence2Scalar4Main 139 = (765608942161927678326719220307323 * 10 ^ 70 + 4819052234854721907113556195385558009776047345505233822557528040761680) * 10 ^ 70 + 4288131984118097678069255421238262538305681579062675314864801509218053

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_140 : Polynomial.coeff recurrence2Scalar4Main 140 = -((14051473680258765386753550922316957 * 10 ^ 70 + 4095637989418848430476025500568089894216503687363508333715304544728202) * 10 ^ 70 + 8440972135307300899860220145701791874753275095560669167355215956302427)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_141 : Polynomial.coeff recurrence2Scalar4Main 141 = (41300994968632911731373512890196883 * 10 ^ 70 + 2632099360299445657175394525883032823566291724698297578178984098949548) * 10 ^ 70 + 8719977542081448353221836022473586075664244335006323683092483459264440

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_142 : Polynomial.coeff recurrence2Scalar4Main 142 = (34212195103267637136611821626131542 * 10 ^ 70 + 6390746893302748363161212333159156106398086814987558964606900245083632) * 10 ^ 70 + 106418300131693327593086875348511615187377048174258503988773049167532

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_143 : Polynomial.coeff recurrence2Scalar4Main 143 = -((578041423345630196095782398349781776 * 10 ^ 70 + 3116918675950860222422898420059467155254299738977237617802397768039386) * 10 ^ 70 + 9379430458808270354010539361091120023042962555324663007502979815705193)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_144 : Polynomial.coeff recurrence2Scalar4Main 144 = (1160199372130292638274781742659750974 * 10 ^ 70 + 8973936482836889494000148260939794988515048513517229589669601109380582) * 10 ^ 70 + 1127224859414605916694980451744618688677372845716546969456247296311805

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_145 : Polynomial.coeff recurrence2Scalar4Main 145 = (4001583468657955700598316175634554037 * 10 ^ 70 + 7018315955073232596684125062335047328999226983678289581394689541230967) * 10 ^ 70 + 8253797987769633554889858530924896851477950964895201671538982122567583

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_146 : Polynomial.coeff recurrence2Scalar4Main 146 = -((24464639848031059937466383865746064496 * 10 ^ 70 + 2704296145483668083183743723275836474674807297803679581025706250654881) * 10 ^ 70 + 7749253028637847552976212854378963175122852091254575563663940381631323)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_147 : Polynomial.coeff recurrence2Scalar4Main 147 = (3091509336681512360182351572511661827 * 10 ^ 70 + 6900914257724530906361528090565887928660381229058199452595682091300031) * 10 ^ 70 + 9746845441709154116275917536486153282190466442983424566788735623003572

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_148 : Polynomial.coeff recurrence2Scalar4Main 148 = (389577339830305751482501312618877638492 * 10 ^ 70 + 8139504195992559371646268609442604876163588557054054054019196006130687) * 10 ^ 70 + 4162735510905251662776668825828802429557938779745831529627733640346758

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_149 : Polynomial.coeff recurrence2Scalar4Main 149 = -((1435311722321903520386131861573005443345 * 10 ^ 70 + 8068204551773562345868385624719647942618498307530387915349574015420518) * 10 ^ 70 + 601889384184832334771008400010339600922922947902493859381973611360248)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_150 : Polynomial.coeff recurrence2Scalar4Main 150 = -((690144919464870399618404483399800834641 * 10 ^ 70 + 3590920690810510166126186169262239738815376732026752766595131561816133) * 10 ^ 70 + 6553628865436826789076017914072652304386301575081589048818897639919398)