Recurrence 5 lookup certificate: Scalar0Left coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_67 : Polynomial.coeff recurrence5Scalar0Left 67 = -(((6961171848130048714484517219058883060143599701529571315365317298 * 10 ^ 70 + 8779142370935281907173668014974788562580726978615159562929743288544507) * 10 ^ 70 + 1590434634550268756587920238552176791194212078419861143545797184087093) * 10 ^ 70 + 9490834771359892077432600621839205872454465315771340167740658459786684)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_68 : Polynomial.coeff recurrence5Scalar0Left 68 = ((158978925594333803977150002002886142437269682880624147302456216262 * 10 ^ 70 + 9503300517923723385313333972252436498475001513521107883083449080631946) * 10 ^ 70 + 2830645485090155706474769264513032287812673659578646558112463104918824) * 10 ^ 70 + 9942977986109382240683670771473896604559997238375814113560773531970748

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_69 : Polynomial.coeff recurrence5Scalar0Left 69 = -(((3411977030268802720367220494681585732844971229684769661796956177028 * 10 ^ 70 + 687767517036616655830752596587748035935169131245259782424494300428381) * 10 ^ 70 + 7498301610857525992426659398292468499650709799778628068981141508876639) * 10 ^ 70 + 8178521682044712439302097728684898648926306435411867758606081938825171)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_70 : Polynomial.coeff recurrence5Scalar0Left 70 = ((68340957516527985794434318023251451377657512806453859454420322571371 * 10 ^ 70 + 5655314584949466896842806248060478644117038163740065789735236317879770) * 10 ^ 70 + 8518553707044029134584545074145434747755736605424537688612863616174515) * 10 ^ 70 + 5783838633238234245222339613654670141258054701627194900638652541952461

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_71 : Polynomial.coeff recurrence5Scalar0Left 71 = -(((1262235619833756288479926380003179855822431444951069813494332769827254 * 10 ^ 70 + 2653708471202410897826052151613797024792072728663607448167346539644887) * 10 ^ 70 + 5762641367710199686833287405127679706439944766260014881768233193467611) * 10 ^ 70 + 7030930173654765343926218682447976537980444583738384456158012183034646)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_72 : Polynomial.coeff recurrence5Scalar0Left 72 = (((2 * 10 ^ 70 + 1006217070116358027564381508305579024695454728239400455242661336655702) * 10 ^ 70 + 1119010881665403947628621460621787122707266808641216979615964549929750) * 10 ^ 70 + 3018589749375983153307929872001315959963474428836975704602088340828088) * 10 ^ 70 + 64178997551876922269615350713361239321422927822396891493757891226923

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_73 : Polynomial.coeff recurrence5Scalar0Left 73 = -((((29 * 10 ^ 70 + 8841804242482120663961340773437855639861419080171948345604399852445723) * 10 ^ 70 + 600489668440420262867421286349746335943918585836453226226001247148378) * 10 ^ 70 + 600242389803766443539345963635996059137320922863405739827177913203216) * 10 ^ 70 + 3899919471079324333614381285815097893352548860100166528961625818343178)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_74 : Polynomial.coeff recurrence5Scalar0Left 74 = (((306 * 10 ^ 70 + 8502096716975368745682108161324771101619370236202217058378832904889284) * 10 ^ 70 + 4279570681438670969045491015133049919369554870541776533639313524566862) * 10 ^ 70 + 8138087948502157900757217997194686475606591239249135947746202388829462) * 10 ^ 70 + 1939930486003865695498090800223140969253577740719325731997396442735608

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_75 : Polynomial.coeff recurrence5Scalar0Left 75 = -((((2 * 10 ^ 70 + 6115390173210868981961352052560998544252622103711683112922301939812056) * 10 ^ 70 + 4573470498578347029895276101099696357621730303547042936376760961257200) * 10 ^ 70 + 4474415541750203955728758960531149421617620311754836509298952115537016) * 10 ^ 70 + 3711129600905042691850826399249278775346855906702134749200486792920572)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_76 : Polynomial.coeff recurrence5Scalar0Left 76 = -((((115383 * 10 ^ 70 + 5672427570552454695980561326629976456423973552268268391604880913241238) * 10 ^ 70 + 992941011691886237282620850838276585898017420150336921766201872728352) * 10 ^ 70 + 4522597747891782250553614384500836883890308019942092714860046110780729) * 10 ^ 70 + 4143886182269287511907811291909703675027212895767273814975691000167572)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_77 : Polynomial.coeff recurrence5Scalar0Left 77 = (((4235390 * 10 ^ 70 + 4756936098266810285498011213152794625045018871662017207693805552676660) * 10 ^ 70 + 4622158052867101810946610616446195313705020893019797618085602976829123) * 10 ^ 70 + 8358047527901518699026981292407223739836757469598202958383482385179943) * 10 ^ 70 + 5327786681588607396933756752580613323963766466473594724252577456509636

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_78 : Polynomial.coeff recurrence5Scalar0Left 78 = -((((112414434 * 10 ^ 70 + 3474144013302176375565360698941063645301738771710024629440642629362083) * 10 ^ 70 + 1049160839473185473289048049548705521734679540691396429090458103497567) * 10 ^ 70 + 7044671720652930194657767397799480384964173844789749259022155641003055) * 10 ^ 70 + 8541599768825308077743747934592120209653906396064327084588341218945464)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_79 : Polynomial.coeff recurrence5Scalar0Left 79 = (((2558442503 * 10 ^ 70 + 1576267339168011379307205223018916468278899351722358336757489505539144) * 10 ^ 70 + 7448963223093542542672977571142478895319549221635002704907956272719928) * 10 ^ 70 + 9258528281222132327686268918859504406360695663105101605201264250810189) * 10 ^ 70 + 5829889912821926263788594801695966359470352946354178496060249870687834

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_80 : Polynomial.coeff recurrence5Scalar0Left 80 = -((((52685929526 * 10 ^ 70 + 5939536676846717402173201559220626823837266295472235739573417059917627) * 10 ^ 70 + 6214622675563798103239367783032106751041219768767208072796989094957096) * 10 ^ 70 + 1692761994507316486436567420882317977193170136379255294376997979975594) * 10 ^ 70 + 7668143925792948878559186439126557005756354502150056301351117941617146)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_81 : Polynomial.coeff recurrence5Scalar0Left 81 = (((1005736262211 * 10 ^ 70 + 2975256815476024020997172704002874856017373931168421857232787926881549) * 10 ^ 70 + 2698863976601171378567397835290280559140293051042225328473646033786414) * 10 ^ 70 + 5035355267707442023904232849537009013382724885803631646263438082244773) * 10 ^ 70 + 2935522195792130593309293114001307122924253043535181005471167472148290

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_82 : Polynomial.coeff recurrence5Scalar0Left 82 = -((((18031698050680 * 10 ^ 70 + 99898839999210683704105027326379430138249826041147366317236316004680) * 10 ^ 70 + 7958049056851138183014669313801105041240242930193981059376397982041361) * 10 ^ 70 + 3094064240357622582325231111634814205026409759585701658539237386861312) * 10 ^ 70 + 1348340164996023093000608583682801038092851950847771783391402884903267)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_83 : Polynomial.coeff recurrence5Scalar0Left 83 = (((306072668423403 * 10 ^ 70 + 5128246574106966238863793958845051052357257802063319042246385316780321) * 10 ^ 70 + 9061323832150626830049630990559950663043680999073217894861340690795665) * 10 ^ 70 + 9984394491458701041018197150853082367901216700215050113390060657704060) * 10 ^ 70 + 8266466780748902092592441740394862650506453998750399821710836871204285

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_84 : Polynomial.coeff recurrence5Scalar0Left 84 = -((((4944826629142440 * 10 ^ 70 + 9762785807359531896154066271610184249877161351955728158164657113970057) * 10 ^ 70 + 2131345762243988280100614372908800641359080680028072036661154793827647) * 10 ^ 70 + 5072283041403977381895095261359817442163498572496276415210512673352881) * 10 ^ 70 + 2132906019572499623390290374269264483789849630626506963781829552207795)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_85 : Polynomial.coeff recurrence5Scalar0Left 85 = (((76320939788022832 * 10 ^ 70 + 9736230432053136580372485026899636750263149906681543718878466452781331) * 10 ^ 70 + 4207699189435223890241930579434893522181991738658184164444120013547487) * 10 ^ 70 + 8389407384116953301182571902005727279493594967311732981462672202898684) * 10 ^ 70 + 4331102460978970664399891057279422263693545191609081407697506132240057

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_86 : Polynomial.coeff recurrence5Scalar0Left 86 = -((((1128525617854152823 * 10 ^ 70 + 6846646111780882971470201173872433296138633567729550683392566204288822) * 10 ^ 70 + 3557889117510497112621446743588699610688933940334375344988907278217477) * 10 ^ 70 + 3105085569317462026393745741827161632438506162909993478895668304238929) * 10 ^ 70 + 5670755848373354634804546338085492794029869549074428866937990990675483)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_87 : Polynomial.coeff recurrence5Scalar0Left 87 = (((16020991713006682467 * 10 ^ 70 + 184552227669005848134346821704092844088729666930651447112428922504570) * 10 ^ 70 + 1300084098006298192398795688073843695695050664512855779159612878709012) * 10 ^ 70 + 2301780278968028789628346225072025804604907011171777717445157187089847) * 10 ^ 70 + 4406810609742527954479089366531736407602316791355317130422745492748771

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_88 : Polynomial.coeff recurrence5Scalar0Left 88 = -((((218738762809860455414 * 10 ^ 70 + 6970179081993743536121367350862519035393143979186007437770075156932853) * 10 ^ 70 + 206259652334323743586601168517808088546977945700498851202238893223015) * 10 ^ 70 + 3741180092508429581020106823522838478258545715787718055194122541692539) * 10 ^ 70 + 3193930613375022136357524873018206934871190015487456985274870666957215)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_89 : Polynomial.coeff recurrence5Scalar0Left 89 = (((2876312451889651298350 * 10 ^ 70 + 2706960040701484789781472539394619736320401941883845928271217199962698) * 10 ^ 70 + 4357588549558510921282251609895982914022389913513795362025611371873821) * 10 ^ 70 + 2197584581317229604831587004017497818045680279510475190456155610730195) * 10 ^ 70 + 994487610181857335963757848665822700924688197368049907946366271346787

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_90 : Polynomial.coeff recurrence5Scalar0Left 90 = -((((36470276080154047968875 * 10 ^ 70 + 8365811402723265620471398426213643193425000977763695631537472001814796) * 10 ^ 70 + 7768335417069847884374235236269432717757850812395502630024739542246856) * 10 ^ 70 + 2398657042788593019138244341654460339480090559338491196876204993204205) * 10 ^ 70 + 9366336831468191455862534862519052278055785348804826991048222501382547)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_91 : Polynomial.coeff recurrence5Scalar0Left 91 = (((446355393110020201752635 * 10 ^ 70 + 369210375448510680179377000103259786364800501495274777438778484014709) * 10 ^ 70 + 3946517116883074797866952093815855406817904809920069885141350997710904) * 10 ^ 70 + 5325681935003072038310148567399571039112417106200830179983427133882398) * 10 ^ 70 + 9391580255903806012625791979809082724151268289835252803766729772859618

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_92 : Polynomial.coeff recurrence5Scalar0Left 92 = -((((5277783206787948703061489 * 10 ^ 70 + 6861187815739873059175454303023101571168779351608313929668103185359465) * 10 ^ 70 + 3585589579218361508695929682098105661193969610361127194383927117052368) * 10 ^ 70 + 3963424263173528881773486919463783756542631682369816396277083442136877) * 10 ^ 70 + 935701556869488051667386998343394375801852637585731096366658607516106)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_93 : Polynomial.coeff recurrence5Scalar0Left 93 = (((60338969624270499719793584 * 10 ^ 70 + 2482578044460203236507223886342699921774065359118748281007572925083487) * 10 ^ 70 + 155524000808876779083149760930175998435482503922631146697754883619749) * 10 ^ 70 + 2795323705927630033189461005979605262623815520437701657780975330709093) * 10 ^ 70 + 5785922467662994356542666847871748110918760499494224545147598588552726

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_94 : Polynomial.coeff recurrence5Scalar0Left 94 = -((((667469573121262413835682193 * 10 ^ 70 + 200617315069550779772988985612738170089226523121163404950261118667674) * 10 ^ 70 + 1378660646753869118083735646384391936206069908038740499397024851119223) * 10 ^ 70 + 7747993679251058185692671872704067614597857417324840423372607539876088) * 10 ^ 70 + 3064110083704965847856126123604049582430979634227349040759811476939756)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_95 : Polynomial.coeff recurrence5Scalar0Left 95 = (((7148840896160518135910539223 * 10 ^ 70 + 3249101726684297149536776998159811798965203625392306351794063357417492) * 10 ^ 70 + 2610988351375112523449152766479698324829412059418729639110709624777040) * 10 ^ 70 + 6456399457400648013753690981781777615752118086490109174602705845777991) * 10 ^ 70 + 7419787614621621548664316198528256559164768188584314486742996895940789

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_96 : Polynomial.coeff recurrence5Scalar0Left 96 = -((((74177187739313041001473024899 * 10 ^ 70 + 6048372420114269340915743629944257998923170920655505151564017357951166) * 10 ^ 70 + 8177029645824505822431340542040060553105480527563635831410033756894394) * 10 ^ 70 + 6702346549921742287356818261040309952749090909569248073883117347199082) * 10 ^ 70 + 4486689480808012139555639695920866007014557855462929731372395490862289)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_97 : Polynomial.coeff recurrence5Scalar0Left 97 = (((746064154675521241567300682061 * 10 ^ 70 + 2639740083208684974708087665618777114372499802563402609793452961820171) * 10 ^ 70 + 1501317312878148376717342289143773930016205957637220781499345278678329) * 10 ^ 70 + 6546207738742408876421517458109771940356494377557826117084234216110157) * 10 ^ 70 + 5286538364370156526270122025210343041554361581100943230627410661743664

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_98 : Polynomial.coeff recurrence5Scalar0Left 98 = -((((7277413855136267363472898793934 * 10 ^ 70 + 5546030995531425739312683600333130545404595499866300302195937767407896) * 10 ^ 70 + 6688186944809402055006807806234899038876023446847668372116880967669932) * 10 ^ 70 + 3581356886137692594325427528391104957501216347006294768722987992576074) * 10 ^ 70 + 7263968231041552657832261989078459007277935781402662095069631788414706)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_99 : Polynomial.coeff recurrence5Scalar0Left 99 = (((68878384387257700236928023086260 * 10 ^ 70 + 1812996540345484970430717121638900105859482580471621002297707861119129) * 10 ^ 70 + 40363771556465002603757146023645025578817298309098318509209293253568) * 10 ^ 70 + 500813794477380479120694095234089230132578222053511785115142951883749) * 10 ^ 70 + 5988199989209278739999410306566575724805160168318817629878682586956938

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_100 : Polynomial.coeff recurrence5Scalar0Left 100 = -((((632836445290416887998320673665410 * 10 ^ 70 + 6189237666061026796210451135297612401074210433165403192605119672011017) * 10 ^ 70 + 3511848245147181478053698480207239178859616822286553863420173587071693) * 10 ^ 70 + 5022268587118660822376799619953286197888539616247192909297944887081518) * 10 ^ 70 + 9150391593500380583332450598647754608957917823991235286616350161651307)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_101 : Polynomial.coeff recurrence5Scalar0Left 101 = (((5646634237169576411328450345518963 * 10 ^ 70 + 5258604259325396400528522267570775978836939090481190359264382995388079) * 10 ^ 70 + 5216675505158651528999746112376225535383184105589404282259708200223040) * 10 ^ 70 + 5565503812083682013363648125109003879957388379692895133635429032671359) * 10 ^ 70 + 3188887104874579607719362719599719806494819576331310624671679123424555

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_102 : Polynomial.coeff recurrence5Scalar0Left 102 = -((((48950264604287651225622555605746846 * 10 ^ 70 + 9133257062298769004999950912338936823161341857017948356322297773986039) * 10 ^ 70 + 8724024152907064422328524085733229006539873035211211512331632929861008) * 10 ^ 70 + 8787263892882589772542022766376366403041632607389649241592336220746327) * 10 ^ 70 + 2820439207742529180423104249087530526226058582611330695897973276496091)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_103 : Polynomial.coeff recurrence5Scalar0Left 103 = (((412436244196466546188529602293063094 * 10 ^ 70 + 3244948920847631686535442043375682633561345507976096787101730654452038) * 10 ^ 70 + 3577498296607231398993649849943505857345625747873017709752408259904702) * 10 ^ 70 + 4628317058102920344666132671197489964190351137163893518669659222216311) * 10 ^ 70 + 5720450230423684913508898934209298637615121671794914428308173031152131

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_104 : Polynomial.coeff recurrence5Scalar0Left 104 = -((((3378754616392855834365628077840903728 * 10 ^ 70 + 5871335822901969630635812636192920808727134547654216553752057568556000) * 10 ^ 70 + 5546437849121339902819999454441004425139650607510597281215447801481686) * 10 ^ 70 + 6154387746088665922964655703677423777310012054812890251302667854509951) * 10 ^ 70 + 1815575207397206948233636721615042607294937886526229306056284806160997)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_105 : Polynomial.coeff recurrence5Scalar0Left 105 = (((26922128013505016303309356181866422751 * 10 ^ 70 + 3707539504607693288574101100649613522394814253393174826373481756033427) * 10 ^ 70 + 8161929955666699095644700401985982901248023160972121613354676456393147) * 10 ^ 70 + 6507706641336190437821527530315220620245177863412762720905722048050792) * 10 ^ 70 + 8443896344848343440554860794299093838430326861632767826543003297957462

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_106 : Polynomial.coeff recurrence5Scalar0Left 106 = -((((208719817884942623829843497246202826056 * 10 ^ 70 + 6945493367490144982717778227170108558482398845590059804143597313447643) * 10 ^ 70 + 748447001859018634226364669020007421478765137918773662005926211407881) * 10 ^ 70 + 8209915574526793387172953706616471326809802241070287801251272744447384) * 10 ^ 70 + 4019487344089474822235467617640687475466607098163751427812929499253384)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_107 : Polynomial.coeff recurrence5Scalar0Left 107 = (((1574934709146204610900422236147788217813 * 10 ^ 70 + 7630852040708022214546211759353472436200115630970852138945166104661334) * 10 ^ 70 + 1704799275246143638288043402184901956841121243201101003728151795594050) * 10 ^ 70 + 992229951098481388085962882158943744044837426128683784709694876068065) * 10 ^ 70 + 9942532626974911830542515610405569733047201158151340367900728180080563

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_108 : Polynomial.coeff recurrence5Scalar0Left 108 = -((((11570277056984943671745471907424640521606 * 10 ^ 70 + 9466202050558029079605752374751844210296951653523000936984628302529160) * 10 ^ 70 + 8356505201925131266756526477123526659360822274727452550420038409850636) * 10 ^ 70 + 9163878207528485132453882081987223769203034507571486924389395648744105) * 10 ^ 70 + 3276547396369002873325725619382958305635550922611109348441945682139617)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_109 : Polynomial.coeff recurrence5Scalar0Left 109 = (((82782823157911531074615132894592530446109 * 10 ^ 70 + 2932982389770265137007284747019971267141966518318712484416467651561202) * 10 ^ 70 + 4112153945214833693876020970633004480072877939757867377817855017546383) * 10 ^ 70 + 9115135848272249667734911037714543963793555982099900478814328202637753) * 10 ^ 70 + 7697780557868110821345527167587895172062475026764482525421920142301980

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_110 : Polynomial.coeff recurrence5Scalar0Left 110 = -((((577006102806154788313475767922679972858055 * 10 ^ 70 + 8781042636140435505646033396235204012289365091759769286533424008248150) * 10 ^ 70 + 8417815404406386879437420506888988383764840055561241902419269290984246) * 10 ^ 70 + 7293519427505228413026502686147119769259649932731876736575497396485791) * 10 ^ 70 + 4128334729418499110361092332376991730479027149282279159216035916013719)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_111 : Polynomial.coeff recurrence5Scalar0Left 111 = (((3919119389664327265872293918076812897309486 * 10 ^ 70 + 2755926834671168648376832141262294568029610495640606042555234779734622) * 10 ^ 70 + 796985578607170241599455933323336875272843767559007953597573214200493) * 10 ^ 70 + 8656599749108846238249323532763713671823338853324249381909615823566859) * 10 ^ 70 + 1326466942567853574635704513113333440980381977083071191134042363347849

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_112 : Polynomial.coeff recurrence5Scalar0Left 112 = -((((25946856636523092940125091389251581449880891 * 10 ^ 70 + 9792061529162961526451621318774132997897749210830166319653986680746678) * 10 ^ 70 + 7652074361545180010374417139243408444500976702719903668685538423220920) * 10 ^ 70 + 3992992267849571995680027703178771277914971271380428472482259375912384) * 10 ^ 70 + 7605786584346560970783107591850139753012218266928911069565692483685728)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_113 : Polynomial.coeff recurrence5Scalar0Left 113 = (((167488775742758254604251074583745564360595765 * 10 ^ 70 + 261267489206782153328032110999303643732589326845865473503627286210686) * 10 ^ 70 + 2483714326403536610310009210462177405961429176849787358080015635917844) * 10 ^ 70 + 751142950468122334979421506728603629571173617690940960256371219875523) * 10 ^ 70 + 4479368923961806070708256671737005165610371878541924027099289162174826

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_114 : Polynomial.coeff recurrence5Scalar0Left 114 = -((((1054397473760676349371580228763543912247605185 * 10 ^ 70 + 8260804108375864409430560007216872904688269831590520936995576039889953) * 10 ^ 70 + 1113986849807354437065309225915020137370743114830122017281094511589538) * 10 ^ 70 + 1175867260567537152451670436099029115064001232183815854814468246966873) * 10 ^ 70 + 6006327641795974136881724774958595401593477444247480660841521641114426)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_115 : Polynomial.coeff recurrence5Scalar0Left 115 = (((6475157576698074571621239399019288214334830501 * 10 ^ 70 + 5490300463169211601543815454509902856371022827145753846635403974771872) * 10 ^ 70 + 86027317109562901292899759567396053504729884585145085147613114753892) * 10 ^ 70 + 5103679637885087488788378243051097333552013890605504079189651798124551) * 10 ^ 70 + 162430192937229640151963780552608670920712374082911565164634329442641

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_116 : Polynomial.coeff recurrence5Scalar0Left 116 = -((((38799856154159466840421958550240043290743454919 * 10 ^ 70 + 447290751969380601101294653455677511068060969471990038830654717052860) * 10 ^ 70 + 1046632185923644173111462888898850605715692711418110182574721267312439) * 10 ^ 70 + 3114551663921270917240199846128793743385716539280253432911501597769441) * 10 ^ 70 + 4555058131911511073820498904002292329577549703834938592538330925360585)