Recurrence 5 lookup certificate: Scalar1First 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.recurrence5Scalar1First_coeff_67 : Polynomial.coeff recurrence5Scalar1First 67 = -(((28546975877902474015403794780264331616632035352913210267463290119 * 10 ^ 70 + 4933900752962323689093626354644097343012285000241585465987439692506671) * 10 ^ 70 + 4840092304540312811424498683349791661053803530663016239741866563463468) * 10 ^ 70 + 9989228432803381793920847317740359910129627854686746219902058455845359)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_68 : Polynomial.coeff recurrence5Scalar1First 68 = ((641172093431329642010280548550149209739991296455078892156534964859 * 10 ^ 70 + 9667439111599967592477078317918676542151607755752296179363081626368673) * 10 ^ 70 + 5967379306828319658036656672668723006258181993505701693617546449046501) * 10 ^ 70 + 6136056637119606732637901902490555924680803344693190068477140534611565

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_69 : Polynomial.coeff recurrence5Scalar1First 69 = -(((13582519003958717349947438621061814705937024082407303679038085852559 * 10 ^ 70 + 8584352845403244682426373388772675952932386892231946432317430699463357) * 10 ^ 70 + 361483022900484325371755908645912293022094432784950976996344595465102) * 10 ^ 70 + 8173362771550386210155862164183698545768252085029640922619526480949561)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_70 : Polynomial.coeff recurrence5Scalar1First 70 = ((270083388781567260293418524490073403917470660881069091600300627078432 * 10 ^ 70 + 6183313859027979145180734052165741845565108963333375166789553374474382) * 10 ^ 70 + 9024646506347039757821623956325506811414460427121620295135132521082948) * 10 ^ 70 + 9825904993025132610131534610286199531603447594392503929987034472794304

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_71 : Polynomial.coeff recurrence5Scalar1First 71 = -(((5001061876458114550973717099901305171651973286262037872561531050486210 * 10 ^ 70 + 9913009993164588498080591111128385309484197916693530396165982340414982) * 10 ^ 70 + 4011768606492464866195419849688075387593197214592203497399909430014536) * 10 ^ 70 + 1647997847140593874956880299523017134092978218004414432608758281170319)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_72 : Polynomial.coeff recurrence5Scalar1First 72 = (((8 * 10 ^ 70 + 5015787267829037939007831141530297424457633932885889118962059828572526) * 10 ^ 70 + 774226966206287611553937913326860011021856348560222933722961701640976) * 10 ^ 70 + 5077429326586345474167325470725027163764893029688259238488965980878592) * 10 ^ 70 + 7468691488692137300024318503756846568589070474225875559170421506874355

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_73 : Polynomial.coeff recurrence5Scalar1First 73 = -((((128 * 10 ^ 70 + 9700970858390940532775642681004157690120052988854948599232522219855083) * 10 ^ 70 + 3772028360984868497294145910570147107185450807572144516924310698706179) * 10 ^ 70 + 7012275696510992896251218943370353180270655784504304195419679900934290) * 10 ^ 70 + 7992013239361441141109863343619406511978560574618949836621925144924958)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_74 : Polynomial.coeff recurrence5Scalar1First 74 = (((1629 * 10 ^ 70 + 1012431649903183848326729135895642294557084960359002624044351346589596) * 10 ^ 70 + 7537735253581702555629611574087138007449472912814302964940012191242572) * 10 ^ 70 + 299348981204128831533292539475782936496245173009873622656638810583783) * 10 ^ 70 + 744639354057034836477165343689334898729208715840709637942163821947307

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_75 : Polynomial.coeff recurrence5Scalar1First 75 = -((((13153 * 10 ^ 70 + 7013829330319526059551065556208426178642935130136360354718434899422199) * 10 ^ 70 + 146646208274437866943905831467065266194799959835517627631180089971002) * 10 ^ 70 + 6290598714395628225366340961393284571451115014388723573985231225981294) * 10 ^ 70 + 8364803289037983487064350901573928528891274051203096094478699591341247)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_76 : Polynomial.coeff recurrence5Scalar1First 76 = -((((92383 * 10 ^ 70 + 6948783906288068509430377521101629154101327149649171612752234512549887) * 10 ^ 70 + 8041451665616686470128601669576910188051242491474351618353539626675063) * 10 ^ 70 + 8488720028059089339570454374735718249214111050577977369719845067600765) * 10 ^ 70 + 352093830993729546923035191147339498490407089721051024965966395825977)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_77 : Polynomial.coeff recurrence5Scalar1First 77 = (((7638815 * 10 ^ 70 + 2786351189805005819075125479246109544447026910288053106908739667672687) * 10 ^ 70 + 308980552076407930908607704505618476910104172984438651230534876717633) * 10 ^ 70 + 1522007936016307940136250625891681304980549539682073033975621501454561) * 10 ^ 70 + 3867082295111710983649822713394150742821220538439072308194273131147674

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_78 : Polynomial.coeff recurrence5Scalar1First 78 = -((((234465363 * 10 ^ 70 + 1949052800375357990739933816305439726793742404626373699845304101618417) * 10 ^ 70 + 3719587271669828420659384551060285467716622602067400254229324897311947) * 10 ^ 70 + 683415846412448872157755959033953591683485073230547848805947370505093) * 10 ^ 70 + 3309487082347093529359420774845904781038731739061309259771014707025822)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_79 : Polynomial.coeff recurrence5Scalar1First 79 = (((5602049545 * 10 ^ 70 + 6735034132617841032382871073684697843025337908924411062009009797968910) * 10 ^ 70 + 9832995915582297797064342738961696862232697923957470337649840449138943) * 10 ^ 70 + 417514483552597387003606725507821333373876086268639365338394794122510) * 10 ^ 70 + 3433339192607899403353930966381287722405097373047747313459150558341803

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_80 : Polynomial.coeff recurrence5Scalar1First 80 = -((((117158310561 * 10 ^ 70 + 161511051582500655057785344415632944755567774255211372708733965979969) * 10 ^ 70 + 5984985882631891011251967774611227706867266572472131096809933493898905) * 10 ^ 70 + 9848813257036018730269475106982662670869857513355396038124887666516838) * 10 ^ 70 + 2070228229125158757424855627164997441098769058738505628369795130455304)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_81 : Polynomial.coeff recurrence5Scalar1First 81 = (((2236806946204 * 10 ^ 70 + 8166751291371872517062182517576243069688973915169256603265271895666372) * 10 ^ 70 + 8717716779041513647785344933372358211879872364665052574934425733203062) * 10 ^ 70 + 5503822397995659338941961728684607043084508023906991424914802941681583) * 10 ^ 70 + 4843223135461124885234227175471720962859789949573147599790330934384490

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_82 : Polynomial.coeff recurrence5Scalar1First 82 = -((((39779257671948 * 10 ^ 70 + 6603833901328464658265418427264067401598909618678538711079894177618527) * 10 ^ 70 + 4857971394038863006624816833659140055039322791851784275745084513639598) * 10 ^ 70 + 2050045130038080188617137144336478984919647213290027939734906406300662) * 10 ^ 70 + 6777602902257077828505155963932186668804148318732033615916828306791344)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_83 : Polynomial.coeff recurrence5Scalar1First 83 = (((666462738494522 * 10 ^ 70 + 1904634963207773404772480059684745947336787897137547285919020066909912) * 10 ^ 70 + 6980439593897407438203603058770905621366114517296375993619396410630837) * 10 ^ 70 + 3944984293803118239415013702183134080799092904535433905002395907587693) * 10 ^ 70 + 2901819508561465481549512123260422127876805552937617233434209244860042

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_84 : Polynomial.coeff recurrence5Scalar1First 84 = -((((10594101287520869 * 10 ^ 70 + 8234105681354761273755489407009585150186540895198850965640351631392344) * 10 ^ 70 + 6267633119775103284903784043186719410896460807900373385169857093633793) * 10 ^ 70 + 6025116355416575005915913467689233417332256363509492475897279380514637) * 10 ^ 70 + 3934760923499661202501844383336011710534423185634869504503969742734684)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_85 : Polynomial.coeff recurrence5Scalar1First 85 = (((160546977967259997 * 10 ^ 70 + 6745425524529986568495728962669390934997430517747265267741996301273290) * 10 ^ 70 + 4670692076240887502049815636217009097104305536389318402577481847730854) * 10 ^ 70 + 1867117023756026450244861058271464832235859965643158744153761803659172) * 10 ^ 70 + 4534113174383363405421333503583043217602385674757527315127642482587463

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_86 : Polynomial.coeff recurrence5Scalar1First 86 = -((((2327458653677306257 * 10 ^ 70 + 5647081406421369318863398803895531497115452687490617494511939899630174) * 10 ^ 70 + 5666762163168216099833563915834004763854199690952870209876174895225917) * 10 ^ 70 + 5348885027242025657850720591301111559820375573446310170258689955658220) * 10 ^ 70 + 4931453801632225662005533426881856579248611067067630637305442381577609)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_87 : Polynomial.coeff recurrence5Scalar1First 87 = (((32361230050788637101 * 10 ^ 70 + 1050800798333209378641065836471154231418550634375767008626405296322920) * 10 ^ 70 + 9703918679256560270556691623960764498983840933891343224326025913767976) * 10 ^ 70 + 2973562658803062982144510833786230734270923045915930271134642966894330) * 10 ^ 70 + 2900444035716100662940116927201277485901285695856193013036631373345646

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_88 : Polynomial.coeff recurrence5Scalar1First 88 = -((((432421245795615160105 * 10 ^ 70 + 9445649922969941226968405526069533528095701175022310076684181718740007) * 10 ^ 70 + 8438939836193223603764755904951989021794682018591285706519643739160672) * 10 ^ 70 + 2178952854236262781119012063701125669089751547766286502688826275680595) * 10 ^ 70 + 5912244773935179386228899914498138180468312139601302742628616083596781)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_89 : Polynomial.coeff recurrence5Scalar1First 89 = (((5562039496672553300876 * 10 ^ 70 + 5458911571772882756979718728414816939033481344977934250853925094322173) * 10 ^ 70 + 4781141696131404242568100490408133885231712213176488624904605960610635) * 10 ^ 70 + 7714991588992479449783808821546135201941749255239663311908877971083043) * 10 ^ 70 + 854416859311898392823422860360841885121168469509383005159399475175759

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_90 : Polynomial.coeff recurrence5Scalar1First 90 = -((((68958994930255590685098 * 10 ^ 70 + 1971324393957959280732827140031714565603178428439987363276471444925442) * 10 ^ 70 + 760449455894621155127258712400949688676519937742550570176369400069299) * 10 ^ 70 + 9948345525367859390735592003416876834202591807785898267627010036378923) * 10 ^ 70 + 9359652099969234630001663563536855090035843928512671776933150586704057)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_91 : Polynomial.coeff recurrence5Scalar1First 91 = (((825036222712578862141701 * 10 ^ 70 + 7594811581215465114185715361446299752869113571229675949500370013833879) * 10 ^ 70 + 2735057185551663014195633072393226412107777149703267731654097107465119) * 10 ^ 70 + 5803655012178709581982663403118706173679393206754197962885663083176649) * 10 ^ 70 + 2082598336426552144032261504870108666490769278201653916195405913108068

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_92 : Polynomial.coeff recurrence5Scalar1First 92 = -((((9534727625667439658403321 * 10 ^ 70 + 7631863004948700271336266113636944387983965395543273003741478165900160) * 10 ^ 70 + 499026930368389444937765340358131359584150199530764738251886845419589) * 10 ^ 70 + 8777308957204089954242081419006097655362576163704543096951401166066790) * 10 ^ 70 + 7662790284357354727326172593147951316071404157090077517002802527238878)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_93 : Polynomial.coeff recurrence5Scalar1First 93 = (((106530154851587731772984146 * 10 ^ 70 + 3348785926738573393180687400356224430165150347726893407573326033364416) * 10 ^ 70 + 9704896567570691051205653433558870290649811337127948223143893476157329) * 10 ^ 70 + 7548248738989905755673191335789027640876951382221037909714096605511084) * 10 ^ 70 + 7946108373906006169341710984046145554352583185383568965239289672222461

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_94 : Polynomial.coeff recurrence5Scalar1First 94 = -((((1151597063383116154988377033 * 10 ^ 70 + 2249471155148171359785373909502602261043299265312087306112584343510657) * 10 ^ 70 + 6918717660911505697459790680826958032696663801376277762816595754119305) * 10 ^ 70 + 5167486448170141293594501014588368950636719334612309719780554914252507) * 10 ^ 70 + 1516787126173697912444584622584784327519959446983624906674023549921114)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_95 : Polynomial.coeff recurrence5Scalar1First 95 = (((12052969035774863452719111297 * 10 ^ 70 + 2609894765653034834097037863598013536361923939632031902751132777324562) * 10 ^ 70 + 8890435493149699403246960539908185055491762813238277429970262079683910) * 10 ^ 70 + 5362445094048429303942634071769278252362280955856326814128846324118930) * 10 ^ 70 + 2977659088165578820870289650856140195849120192523697484396763327815790

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_96 : Polynomial.coeff recurrence5Scalar1First 96 = -((((122215967027882186941774454025 * 10 ^ 70 + 368187670163100254349086273164973636482380245156603234148410688126498) * 10 ^ 70 + 7526897666398530006810201094029348614409701836791047779243398443423474) * 10 ^ 70 + 3499411795033571866997377362791433750141761381088871070992166544758917) * 10 ^ 70 + 7905122563553490779931703980560105384048043956737363574671602283734439)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_97 : Polynomial.coeff recurrence5Scalar1First 97 = (((1201309632089800252921907711259 * 10 ^ 70 + 9799688446787751285519019257375415504798771698576323497666564895353347) * 10 ^ 70 + 3881925676288096670869833539397252208988118721376801689965207452982607) * 10 ^ 70 + 1036362624785702404727243520485216675270884605670994732876522515430063) * 10 ^ 70 + 3599620376807226023327553953550352302751063445647345860498590121924846

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_98 : Polynomial.coeff recurrence5Scalar1First 98 = -((((11452732638774247856375891262859 * 10 ^ 70 + 1500105032673028980100292609172482898771405328566605733650373040251742) * 10 ^ 70 + 3016630742280044226859028718365583985994338778719910802974508721993209) * 10 ^ 70 + 4718454010192532982507165594811427376019417107265075567137661718145628) * 10 ^ 70 + 9581702661310177295649424014300908101126799274760521646003711505210553)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_99 : Polynomial.coeff recurrence5Scalar1First 99 = (((105951878428630256461685441181790 * 10 ^ 70 + 911633330853517740073277086027759201051846379133028521923625048090606) * 10 ^ 70 + 7741074340474901487158933654675501444391835475606618142770808493372547) * 10 ^ 70 + 3356496440508454014135333491772475293571610943400281797677063547646521) * 10 ^ 70 + 8428278406858655230609165146635130449532950390528228238254589376201444

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_100 : Polynomial.coeff recurrence5Scalar1First 100 = -((((951608262621805603758224713273813 * 10 ^ 70 + 641020992366022325535760911282856841007807576513122833309288007859358) * 10 ^ 70 + 6385510110172937637825587297018961998691798420037071404383660427421491) * 10 ^ 70 + 6986516265789120955512819083103907829087091263811031989275698748724449) * 10 ^ 70 + 1349795837499490798961289430241121947417184920868008208793598328416233)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_101 : Polynomial.coeff recurrence5Scalar1First 101 = (((8301385498636232353637966731861065 * 10 ^ 70 + 6139814025316749680466925772421647035010086289993336960313251654824568) * 10 ^ 70 + 7250560124457119155817667401407746311099773606580031150882616318375904) * 10 ^ 70 + 4993244515166374658489633659851375016448415681837604118034223783112326) * 10 ^ 70 + 1295805438168735101174619933658516925735306216621503903189853106800845

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_102 : Polynomial.coeff recurrence5Scalar1First 102 = -((((70366877043547421122758499930878220 * 10 ^ 70 + 147363237788208422814174238061840757838615435950759077981564239361493) * 10 ^ 70 + 7625214789759347904518746312139401134696300622989575762472150845913845) * 10 ^ 70 + 2692845405732077413801811290267129760773211271304502793674263795177940) * 10 ^ 70 + 6167033130732500256884382765541908293578625208270026099958781646033484)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_103 : Polynomial.coeff recurrence5Scalar1First 103 = (((579808552897902278080893326830837799 * 10 ^ 70 + 9816641755665247177619537392140206173447611426587909362348681238565113) * 10 ^ 70 + 6087337708553945076554680266304953621167869976631225532031900994962150) * 10 ^ 70 + 3844185898104137783006651493862029511334129440667401222106594969910665) * 10 ^ 70 + 8380813277630235398042300600277956103262775003995630540818998076438103

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_104 : Polynomial.coeff recurrence5Scalar1First 104 = -((((4645845487674754288217290576043113037 * 10 ^ 70 + 9704652330077808059881774071519104133220235021505514262402731732221673) * 10 ^ 70 + 4980241233971198106596594523571015606127855078132987433119726255173812) * 10 ^ 70 + 2395688141635553267297199942427283502289936990658984510573837654888123) * 10 ^ 70 + 4098332791547603199539249666017390758776841491438983818475530228840922)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_105 : Polynomial.coeff recurrence5Scalar1First 105 = (((36213168042294322081411605141969448954 * 10 ^ 70 + 7405433373241210823825550171603013310596155453586339521148711362037370) * 10 ^ 70 + 5437707056309855748371530484410225487080200876454796006319967817043201) * 10 ^ 70 + 6784151638558074308780633209649589673238842446611808714293443295696466) * 10 ^ 70 + 7888617706571816250233637017893751168867272347241070628705228753295802

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_106 : Polynomial.coeff recurrence5Scalar1First 106 = -((((274688857003236296034434075786147248678 * 10 ^ 70 + 6421008113664014831050525689726976633566675279367336562117713808999650) * 10 ^ 70 + 8759843446007793278669374248178692387023769914825115323251404965521838) * 10 ^ 70 + 7539966974986310189142573084779829704634478468036209294175147348433526) * 10 ^ 70 + 2513973023955445738016469180200127039719155347696973997352783101006681)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_107 : Polynomial.coeff recurrence5Scalar1First 107 = (((2028305666697557796404335220463698937388 * 10 ^ 70 + 2237605726386591920418264841592525882303363864554334322315297663623099) * 10 ^ 70 + 2192809750007376371273241648236698212191801244555405855067852290244339) * 10 ^ 70 + 509254396352963826960627905955822085139985771132177043866842565375549) * 10 ^ 70 + 6739404925581462131472080468991063940799463822048491192403737990199218

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_108 : Polynomial.coeff recurrence5Scalar1First 108 = -((((14584216493461797879758747406505943209151 * 10 ^ 70 + 5500999627127828196455892182603660537003666289798873496213106967049306) * 10 ^ 70 + 2241752159100252457520632980954566793971280261323623359347680106204241) * 10 ^ 70 + 6339322583514555706036806333716071951867883589115757591345102141604515) * 10 ^ 70 + 706402127906689982222760803741809170069233483549775247326963181687470)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_109 : Polynomial.coeff recurrence5Scalar1First 109 = (((102146733725015838078140903435184078690271 * 10 ^ 70 + 6623096155357547519355745067870994344770367985287743203040149740408454) * 10 ^ 70 + 2431340790872984333115332406660734315125515130969267799288677146204830) * 10 ^ 70 + 7207825615437590229475608059507555773324462658100251339836069525215303) * 10 ^ 70 + 1779680978787020623487665255364489880048272557687183985844758046735593

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_110 : Polynomial.coeff recurrence5Scalar1First 110 = -((((697087206399508817744541189554905691067727 * 10 ^ 70 + 1323097612951370072832442000729148056641671021281316783423715152716805) * 10 ^ 70 + 4069917171976352593259122942349380539700630269996639477187228942816913) * 10 ^ 70 + 9160744285845647396358310061685622519599026064698549942264780272222612) * 10 ^ 70 + 6834656786907189496086833282593497437045146279114309336772670218998588)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_111 : Polynomial.coeff recurrence5Scalar1First 111 = (((4636562176893013538586791782794639440068576 * 10 ^ 70 + 6384639744173941716135397226242011633287466559831054380824996182567343) * 10 ^ 70 + 7797367224183122943327925997305726818411627346097075805660145243947409) * 10 ^ 70 + 5238901710198809175423352096104595180920076602069394263818821068782972) * 10 ^ 70 + 5189450959544589816466363569103243420301439891544674262243538499066981

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_112 : Polynomial.coeff recurrence5Scalar1First 112 = -((((30065769929895447354802406290185068138295989 * 10 ^ 70 + 5111381866059359015458302009801319537139814637910440784584348190134770) * 10 ^ 70 + 8352955033931345596884323748651079928135891255216328824411318571724439) * 10 ^ 70 + 7407858215727923567659592437150246845740326243766752860639348978821006) * 10 ^ 70 + 13301238919308518876361387811467187855945579580251332614449602356528)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_113 : Polynomial.coeff recurrence5Scalar1First 113 = (((190122194384391995269570896884219485953857444 * 10 ^ 70 + 6391495728532356258041172277929338963979312532470254361626064436631547) * 10 ^ 70 + 759615709208081082078010210345849304931889160042910306475991461460852) * 10 ^ 70 + 6334347519299714983113225515037186339904855451772179544015225295459061) * 10 ^ 70 + 6706221142941258367435556199897798900958526726831032929393734707846460

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_114 : Polynomial.coeff recurrence5Scalar1First 114 = -((((1172710501229437969752828936836529087758300364 * 10 ^ 70 + 399724634760073343590146570809353034533346387260846037938218814378477) * 10 ^ 70 + 6875308524053040916528051955115986647086485971363597381979068112356338) * 10 ^ 70 + 9917605742017514489913853695746460673806194947209933050258245899681128) * 10 ^ 70 + 9488453731023618701096608080106399612671206833919771457912674885451643)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_115 : Polynomial.coeff recurrence5Scalar1First 115 = (((7057583916110527786534305181794824121884581678 * 10 ^ 70 + 9260790700136261592463551984379467679674991524852531921752564864187716) * 10 ^ 70 + 3121794314720968508328581657334015653400788249474982281166161277467594) * 10 ^ 70 + 1516150334454539529512095360451653835361968578598194214938952218420595) * 10 ^ 70 + 9730417919466846896337395711372118983958326176755897417959985425153793

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_116 : Polynomial.coeff recurrence5Scalar1First 116 = -((((41450989853065871059496914668705574712587783792 * 10 ^ 70 + 6007577902806659845140556784350181081899382922743340033093885757595517) * 10 ^ 70 + 380352531265626759986945262989851788639349851391466417512972221069925) * 10 ^ 70 + 1718388485468395851719340883801028489064795305816901852017206428976086) * 10 ^ 70 + 6872781338839160664932159064620244284690716338330480659140763750508282)