Recurrence 4 lookup certificate: Scalar1First coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_97 : Polynomial.coeff recurrence4Scalar1First 97 = -(((129392609310479171255 * 10 ^ 70 + 5397891265511915293218200672376495475581431235959383523580902625903332) * 10 ^ 70 + 1084328841548516342918549791064357767747418659332969479277536182131522) * 10 ^ 70 + 3312260529996916898195707416175557544536219036200809355056910966614480)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_98 : Polynomial.coeff recurrence4Scalar1First 98 = ((1863750949562697238326 * 10 ^ 70 + 9747946708394149619297007467656441252156373517013749352762782922709870) * 10 ^ 70 + 5902414752728270576256174036001109242028098295229599297300503011924818) * 10 ^ 70 + 7809998613803063478836194445083635722024117796793826896425507191626350

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_99 : Polynomial.coeff recurrence4Scalar1First 99 = -(((25819274771531981660998 * 10 ^ 70 + 5917577828013675450950733545342609951309378896453798145414294975140105) * 10 ^ 70 + 1870010111710032578482085480158938246116384370410470609547354672996298) * 10 ^ 70 + 1444786738847538675338876256286880963892657205577614287090928563146216)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_100 : Polynomial.coeff recurrence4Scalar1First 100 = ((344869907367034617635578 * 10 ^ 70 + 794008286255646590837432012008624275682360657444202551996750961551310) * 10 ^ 70 + 5878378917576422300375574886438566326898637061287265268502166229878281) * 10 ^ 70 + 6001147161366260064947118649554541356349504917124788946893426345548540

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_101 : Polynomial.coeff recurrence4Scalar1First 101 = -(((4450114320154813275349324 * 10 ^ 70 + 195669553807137564629899664354405261609474980131023428012283476309517) * 10 ^ 70 + 4874070745918843363824091664276375937586093829560843256418003592564892) * 10 ^ 70 + 8156535801311350594009935570615894878381560384274807219833222784541812)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_102 : Polynomial.coeff recurrence4Scalar1First 102 = ((55562359351580482281880358 * 10 ^ 70 + 2538014636209657951000381002725515753619902001055571113224286315705805) * 10 ^ 70 + 2858442022717081708296300584242132706143643781067250601082739293804711) * 10 ^ 70 + 4509183624576928239657013578072719876108940030513348557983065102860976

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_103 : Polynomial.coeff recurrence4Scalar1First 103 = -(((672134381912668617900538843 * 10 ^ 70 + 877304522789447356766380393278902812176992419505475807635592667919772) * 10 ^ 70 + 1577562451702101406886794862725478407701704212784187951785979337497399) * 10 ^ 70 + 3313265495835860426212121850729639435885077361305561431205249024798872)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_104 : Polynomial.coeff recurrence4Scalar1First 104 = ((7886465543777286245390717622 * 10 ^ 70 + 2456002336363050199692812675592266012952144072909754082128850191275009) * 10 ^ 70 + 2270509039693993167071110772197164972417109449818706313580295235496514) * 10 ^ 70 + 9299217849829733138053626109090174715741436907484957394238021504843635

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_105 : Polynomial.coeff recurrence4Scalar1First 105 = -(((89841630451946888951333371658 * 10 ^ 70 + 4632901658323283634877259100320916471438352338423969207746508952055600) * 10 ^ 70 + 6233928022217904867290348081736879627914022725323678402585463097686101) * 10 ^ 70 + 4625503721983433654297629528752907963532313177215244803366476754744013)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_106 : Polynomial.coeff recurrence4Scalar1First 106 = ((994506197374288656392520707558 * 10 ^ 70 + 7816206403701599124118784411233787101160139802020018421660213919896224) * 10 ^ 70 + 2707374974177589115545809175288750796016840309230944355521512971089649) * 10 ^ 70 + 8362673410474489539240256877985051256009096257570079153124642377671622

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_107 : Polynomial.coeff recurrence4Scalar1First 107 = -(((10705232218363285836132549097511 * 10 ^ 70 + 8625767559104082193605946571655382823042624136657748619278871143012649) * 10 ^ 70 + 9878258535573054833395458700418793899073926348284794064150228647391229) * 10 ^ 70 + 4133550346819777209649147129390487651592434685649786211658533222276538)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_108 : Polynomial.coeff recurrence4Scalar1First 108 = ((112133085308131377798562473227151 * 10 ^ 70 + 3202989519828741253340526893194970062009114733615819958082813413592054) * 10 ^ 70 + 9473991767699910839592006985168736523316437140041243921453484488315071) * 10 ^ 70 + 4043116353868747911590962734285492139361964917538430414383275370750839

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_109 : Polynomial.coeff recurrence4Scalar1First 109 = -(((1143623794498633207427570047928014 * 10 ^ 70 + 3367412819250727513578298835033260609314611178203536968346734262830215) * 10 ^ 70 + 8353905257789950456386770773076644892229890356097849862767415150014236) * 10 ^ 70 + 9944519637419500825932263089306876112839351160845931756826193220748244)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_110 : Polynomial.coeff recurrence4Scalar1First 110 = ((11362762349448780000661267038844991 * 10 ^ 70 + 4792842592110432622476892760244347528935561940016727163975991217478591) * 10 ^ 70 + 5157735328563493097030971764405309002473111119412255242581635874728616) * 10 ^ 70 + 6493916021165774606009556112981040823100514012095990756162382598353445

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_111 : Polynomial.coeff recurrence4Scalar1First 111 = -(((110041417431940752062548289781863081 * 10 ^ 70 + 4376000872706055480594082439054610886935238489441791069722199777796866) * 10 ^ 70 + 5343598599847382854445237329861073952564498350724393389933142327534977) * 10 ^ 70 + 4055736621520895260207776871949691592949879553460630481654028767985504)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_112 : Polynomial.coeff recurrence4Scalar1First 112 = ((1039210649645158129342724207349436539 * 10 ^ 70 + 675327868202785716494982007433380980451961409183442015315332590512932) * 10 ^ 70 + 8410666444730780784417850403763074289503083395362251101487444642996238) * 10 ^ 70 + 1626090808410985954525747049790809848235587120806469157941142155708212

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_113 : Polynomial.coeff recurrence4Scalar1First 113 = -(((9574488718705527583313003381759024036 * 10 ^ 70 + 1772958540739158462755651300559094633886838413075368224598504786646622) * 10 ^ 70 + 1497011261300464983482117231622744639645836953241979654910474651493168) * 10 ^ 70 + 2396489504339665486511867998104218436295055093619296511986658626545990)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_114 : Polynomial.coeff recurrence4Scalar1First 114 = ((86093283663389167705052223604753506184 * 10 ^ 70 + 8180885802184394612034695813511938174858377792235030297057198167769520) * 10 ^ 70 + 4518379302800767477064797494496855205833547550523031149640535973567839) * 10 ^ 70 + 6997042187857693164593384707393299683341731609257640608580616273980491

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_115 : Polynomial.coeff recurrence4Scalar1First 115 = -(((755841812347524707791789486722902811970 * 10 ^ 70 + 2313932438509953532844888391372960877874710293175429849784863740809772) * 10 ^ 70 + 915353159351981642811527577001579500794480670548975856859704317686149) * 10 ^ 70 + 4914495223397829897298181578209773152483308189376005639138422448451909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_116 : Polynomial.coeff recurrence4Scalar1First 116 = ((6481227434593589119034719502682847909510 * 10 ^ 70 + 4190647407638107449324980367684880443377461679285607425429804477330933) * 10 ^ 70 + 259652434009283856510273918342020348525241521362293656855557488618958) * 10 ^ 70 + 2979480794080300456935905366160820853248844432424332572138158778741604

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_117 : Polynomial.coeff recurrence4Scalar1First 117 = -(((54299595374493603404768267819279033465989 * 10 ^ 70 + 3230496376719790082153287443354291932313758855379417561708032391945486) * 10 ^ 70 + 8531464538595565136065800200267074662098517908961256295887692327128733) * 10 ^ 70 + 377011971778623409064642096054011535832646149811985968071677496380558)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_118 : Polynomial.coeff recurrence4Scalar1First 118 = ((444620620084843664776221108172005724405082 * 10 ^ 70 + 8891454405036674598346279745783508469083894974768476001067936062251653) * 10 ^ 70 + 7832113437750631484078318759002347654835773919168879769250164872848843) * 10 ^ 70 + 154147844976888223327024133017614215254460747077888212816998854685836

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_119 : Polynomial.coeff recurrence4Scalar1First 119 = -(((3559345492510574305286155949738986283724689 * 10 ^ 70 + 9785494557175688727278993183876967963344696183494558916196708934712648) * 10 ^ 70 + 1163761808941880101073586215435746770088080629025020526059991948036457) * 10 ^ 70 + 4082066528598026375730309504365925879036753566350026614731215740385847)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_120 : Polynomial.coeff recurrence4Scalar1First 120 = ((27865440205704561106671880266331660639554772 * 10 ^ 70 + 3370511549709318033879969437674430247075440119027214779172696340675301) * 10 ^ 70 + 8538493560286128522263932192332117504351507795193925774101386184303700) * 10 ^ 70 + 6540199861227365696349849809594480748733562300841438849519104075365286

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_121 : Polynomial.coeff recurrence4Scalar1First 121 = -(((213402220541188117021738720135525701376873725 * 10 ^ 70 + 3195002614652583217529796957152862825341957819925995159147940993581465) * 10 ^ 70 + 9754067148978080052320022623599994773302676758662991679665391065920397) * 10 ^ 70 + 7909592110648289365572465099386808273197753284917671703868291957370010)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_122 : Polynomial.coeff recurrence4Scalar1First 122 = ((1599138621320932665533618517659131533598494749 * 10 ^ 70 + 6276688145478707450576452086793565157400462475715390701402257346158440) * 10 ^ 70 + 6921519567692069082208509110279211037215290325221969024481233369427278) * 10 ^ 70 + 3423562218076665826054109831297944864614337820009383766261963752961575

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_123 : Polynomial.coeff recurrence4Scalar1First 123 = -(((11728422131036760979055434019656060727493132337 * 10 ^ 70 + 470482778370215623755898193819705412405547660447826332533773833588494) * 10 ^ 70 + 3577929683691389020639754272791636446899086803605102959409259802621883) * 10 ^ 70 + 8283396622928748186713530478663327909930426768976907568544028058063915)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_124 : Polynomial.coeff recurrence4Scalar1First 124 = ((84210671164746861265692740138135081968916477335 * 10 ^ 70 + 2038565427723129686147254829558356990051920622350411158009119599806344) * 10 ^ 70 + 2704253658127996664923560705002250786786275042087866997190005101967209) * 10 ^ 70 + 9049763819429630316188662541471719419388167743219832899208870904589209

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_125 : Polynomial.coeff recurrence4Scalar1First 125 = -(((592069149871077944726042632882237271680532215611 * 10 ^ 70 + 5697571668130487289124798704004279377765866039811229677356417735088668) * 10 ^ 70 + 6624257869832752439393002219426321899172575745321120870312603898032679) * 10 ^ 70 + 7325733928855340777780862866801782317841002213222847096216657453796735)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_126 : Polynomial.coeff recurrence4Scalar1First 126 = ((4077138039877318614774858929442855274114289010636 * 10 ^ 70 + 9718672019072308557317509350229596194323265004046584895073211883669071) * 10 ^ 70 + 8906846516690705970076365052177092677752493778499722308551753430085110) * 10 ^ 70 + 9676536369136901693238776336583707195978410903749102007315675204216506

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_127 : Polynomial.coeff recurrence4Scalar1First 127 = -(((27505051128543725880570684193317394368527297314575 * 10 ^ 70 + 7010588356332171293268131107097890348586999730659431598969974914430492) * 10 ^ 70 + 2130206575819946838446021090654780816686097411062302719401433458584568) * 10 ^ 70 + 722008889885019228153669022391828554406003504039330097823385944597382)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_128 : Polynomial.coeff recurrence4Scalar1First 128 = ((181817891527707098846432927691679648742411161127561 * 10 ^ 70 + 29818053124029450692731603179398356827722166665610541112978881760194) * 10 ^ 70 + 2139722958714758538170551189437974402861624600937779973028449112622041) * 10 ^ 70 + 8511961783480584082066244781556191138022185463367688450476713542552153

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_129 : Polynomial.coeff recurrence4Scalar1First 129 = -(((1177925542687752629402567305462750200947795891047821 * 10 ^ 70 + 1550680416783910814452048135909343571423744451712222404712517176715697) * 10 ^ 70 + 6367483892531759165016255622720108975358372338928388052301641180812010) * 10 ^ 70 + 7055250316185455831326001214005585974284275273621352130796666688467012)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_130 : Polynomial.coeff recurrence4Scalar1First 130 = ((7480715227982912333719891211069455695838505808963028 * 10 ^ 70 + 9163878707298754905672243553952187119293033074093084028702086529155996) * 10 ^ 70 + 2920425523276744790772567705595064612781484976303936027831875647351060) * 10 ^ 70 + 2249201593555804363365951338966943896782642929609103862748307959232454

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_131 : Polynomial.coeff recurrence4Scalar1First 131 = -(((46579699521249231083764034393895772957866822295494769 * 10 ^ 70 + 6509125954134831907212605642652025904713790486741891535779820667333563) * 10 ^ 70 + 4073819818130922616688527742222992741781148732648648123299995553794215) * 10 ^ 70 + 7527987310568998061508299575575319285949389185071472437031433513516242)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_132 : Polynomial.coeff recurrence4Scalar1First 132 = ((284419976367939857043706345313491960229599930684122044 * 10 ^ 70 + 751894841951167893560682077874698988400576464749874688706436638426257) * 10 ^ 70 + 8389959985342835655867144978053235442315516382964209748357798627281869) * 10 ^ 70 + 2275616440559155122826178227221724196749557435359823398362550847874295

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_133 : Polynomial.coeff recurrence4Scalar1First 133 = -(((1703383477936989462958709295834383069095002002388675762 * 10 ^ 70 + 4929341397790767443629927551123715716187507602226353516083920759756228) * 10 ^ 70 + 6170876363453909977863215906213802524284807090564730332684739338438148) * 10 ^ 70 + 1911929158115984378746262509942981048639020474621594686297597903770815)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_134 : Polynomial.coeff recurrence4Scalar1First 134 = ((10007609814354419190568853620788779728902495442073110801 * 10 ^ 70 + 4899511491715272833159046193543833898987372562409231746474545371022627) * 10 ^ 70 + 4700753356086079180068952633024543761474862251474027064462942108476553) * 10 ^ 70 + 8903789905950511096561777405507316168987231858261305917949879595978255