Recurrence 5 lookup certificate: Scalar1Exceptional coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_362 : Polynomial.coeff recurrence5Scalar1Exceptional 362 = -((((36707239259328763023605099603840680132 * 10 ^ 70 + 1888460396002603313116876070513469151371004624326379705866940433037483) * 10 ^ 70 + 8034380775870744233241290408199427839807890527477638378704864036046058) * 10 ^ 70 + 1507892569513594425568073667779004652765158332677933094715454218777644) * 10 ^ 70 + 3992679187290564154597576533183298022141780689642617935645373623027156)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_363 : Polynomial.coeff recurrence5Scalar1Exceptional 363 = (((6825196189979622334377593098527800209 * 10 ^ 70 + 4896054940028876358320530476486956122006328182559294772518145984965249) * 10 ^ 70 + 1636480896595808921238946524694235743242266133711861086956536501527129) * 10 ^ 70 + 7988513881951892224500755503245810202443276658883212309282755332896452) * 10 ^ 70 + 6369062363935424446244843168612036605218193867972179999203185433746097

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_364 : Polynomial.coeff recurrence5Scalar1Exceptional 364 = -((((335051390301929325266190219898849797 * 10 ^ 70 + 579635457394470459142619503814701793175143107540083887137670787450485) * 10 ^ 70 + 297528816682696706320552618802005861629571590922235002997781311971284) * 10 ^ 70 + 6496909259551424549719466739771756761208134690560390233441497896562349) * 10 ^ 70 + 8501424793373942213308581775506468948193005773615376165162822384396213)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_365 : Polynomial.coeff recurrence5Scalar1Exceptional 365 = -((((537580659299944473373727615342644919 * 10 ^ 70 + 8836397963561981081291167315708230092196455439983374725417450059777341) * 10 ^ 70 + 7566946105322926248094615959884648671836328172966406622717945591973085) * 10 ^ 70 + 174478185071296706143344096130720758143574303872375281080542371919564) * 10 ^ 70 + 1089857623412900736801931091864464385724054568562637812230403630145609)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_366 : Polynomial.coeff recurrence5Scalar1Exceptional 366 = (((385132035321086405013471593156636357 * 10 ^ 70 + 3926881288780403815188696611594908489721669575992350250803940628475098) * 10 ^ 70 + 4083343215925094184405288366887787699209885540283613059273914490612993) * 10 ^ 70 + 3326839667055013251070790885186123154440385105444008241632348990438983) * 10 ^ 70 + 6966422850652579502261695064284022734895961602507637733964572382846910

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_367 : Polynomial.coeff recurrence5Scalar1Exceptional 367 = -((((190656661908334444520109906449471415 * 10 ^ 70 + 8643770018342837543577497445696953832837824290195961109991708329495608) * 10 ^ 70 + 3127826255608607298946954701973340433167974572773052510001373657902663) * 10 ^ 70 + 1336078088732733284582837563069326774387150383979032694202963161303523) * 10 ^ 70 + 7067104197691440522982311166212805944086087347012323064488538657417056)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_368 : Polynomial.coeff recurrence5Scalar1Exceptional 368 = (((81446077707704404923859971757567868 * 10 ^ 70 + 6290808018099563714050349034431407688514736132452956580817848823369224) * 10 ^ 70 + 9184527970155464861965845019485505720419484731859914829228011290710557) * 10 ^ 70 + 1954906211961058604666692007235644681054488544698306872415761618234113) * 10 ^ 70 + 5038591507658433483446204181547635884052059415290816394671701460460607

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_369 : Polynomial.coeff recurrence5Scalar1Exceptional 369 = -((((31950634731797665187948212561793699 * 10 ^ 70 + 8789032558951927899188710443177660477597844197660274160101282854375674) * 10 ^ 70 + 527309907261861761084388968543667224104591652289535725497008734838407) * 10 ^ 70 + 277976010826250930243208474564831858097709145069618203153750825491799) * 10 ^ 70 + 4595676268680372984980397577579463019490824889305070683460271718543468)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_370 : Polynomial.coeff recurrence5Scalar1Exceptional 370 = (((11802351565883735350439060545799904 * 10 ^ 70 + 4072508794551959653527261955591603217130545322056826549122372609009685) * 10 ^ 70 + 8624532112052407312238138347102498434332591768840383597575406033675105) * 10 ^ 70 + 7162039955423633427915552063865302125385568545025100187127098554459707) * 10 ^ 70 + 5887403245175250888619853839394337252871385215932935528770598148100553

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_371 : Polynomial.coeff recurrence5Scalar1Exceptional 371 = -((((4151575692487954759621635054455146 * 10 ^ 70 + 8123538375452406661585830968773567100729794909133451599103908990782836) * 10 ^ 70 + 6061006220144135090276760541345863022595568282023184964943569678212611) * 10 ^ 70 + 7250785300715521649601804351547649406467849503789994611841587001118272) * 10 ^ 70 + 3100986671066200185033705018492747778686696555208849934299074798913662)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_372 : Polynomial.coeff recurrence5Scalar1Exceptional 372 = (((1396977176688767010229058270933971 * 10 ^ 70 + 3898534638661191382717582269449854485382620746166511572105773310425618) * 10 ^ 70 + 3616445112377973315310413233921043781844889409070420363914278873934221) * 10 ^ 70 + 714916670881558875137488451832149850187453754069304891399508786705469) * 10 ^ 70 + 6675332264834107210765439637421117808960304899461119911392187453776825

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_373 : Polynomial.coeff recurrence5Scalar1Exceptional 373 = -((((449930429576492523855406377661078 * 10 ^ 70 + 9086279470277145081138010384731707949547581201974783316311401565058105) * 10 ^ 70 + 9444766442148752396658928920497081468003927795385358929489422769696091) * 10 ^ 70 + 4903830008237716743740966598657466036724711253764137825582624631532209) * 10 ^ 70 + 12297041627205886632018402135091614376852412412099936051171353566937)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_374 : Polynomial.coeff recurrence5Scalar1Exceptional 374 = (((138356538244971380793203761675903 * 10 ^ 70 + 2567135025328605012601989536090009122841369646219199378368039291790714) * 10 ^ 70 + 41021605373745024481856213176172335900815938663205780477854673609335) * 10 ^ 70 + 5374429638304225483813682824717719623615826946994578546562276414927401) * 10 ^ 70 + 5524079130367233250183145987619988117103747597872694589512097999581034

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_375 : Polynomial.coeff recurrence5Scalar1Exceptional 375 = -((((40390647692496897602028792000807 * 10 ^ 70 + 1365273769037002300810960150068439107140349463836652236541637798534459) * 10 ^ 70 + 4865494810803222852792205834690992411463750722334160466533820365053543) * 10 ^ 70 + 7363812260577444529736389170885220408368718792369826731075282566183893) * 10 ^ 70 + 3312748335051808481244012538112092240458919925516901077592117526202094)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_376 : Polynomial.coeff recurrence5Scalar1Exceptional 376 = (((11080681258211045594060379719641 * 10 ^ 70 + 8430386298690790997323760873421495994950331875878726894326820094431111) * 10 ^ 70 + 6806204629014384672902222285691673615601577713864945876415616334015834) * 10 ^ 70 + 2378804412000522547069905577629983526936664123907249328373703013382123) * 10 ^ 70 + 5331715206942105096665365368205315896462119236984470017753399767578347

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_377 : Polynomial.coeff recurrence5Scalar1Exceptional 377 = -((((2805048017336980407512006482125 * 10 ^ 70 + 1529939714035272224715538428966451088007470380717930898506675228244312) * 10 ^ 70 + 9383658844561448443182810364606645796490831803434077899246910434044133) * 10 ^ 70 + 857864541465381078282787842363649042879291257099361168617467167641808) * 10 ^ 70 + 8770597141551202510004275950089561831809807010226440454806293042752111)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_378 : Polynomial.coeff recurrence5Scalar1Exceptional 378 = (((631811094125512386324115626766 * 10 ^ 70 + 4704795579768330229819496611085518733846060293222469285798312582844999) * 10 ^ 70 + 7887945126677299934031727596744433524680716473018167201678958192009070) * 10 ^ 70 + 8673235584992385875554192407136583602453828712174518011762902871582817) * 10 ^ 70 + 6558154213132174566452851719404353982982637825023253010277294521099336

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_379 : Polynomial.coeff recurrence5Scalar1Exceptional 379 = -((((115435175388248151907451605707 * 10 ^ 70 + 5128236481507551169973154495033581130183913160532866431827403293577526) * 10 ^ 70 + 299743598892304428315460692847188585155545845893889812806702642411776) * 10 ^ 70 + 6571940223318434590438368714813512618838953783626326765074108168202465) * 10 ^ 70 + 3840503529101792003562746334725883633283789788925310481444532102908910)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_380 : Polynomial.coeff recurrence5Scalar1Exceptional 380 = (((11145060379671509390076018971 * 10 ^ 70 + 8616090231280127423001051800686795421873048182056879424908250705105199) * 10 ^ 70 + 2348418807020182488015426883055738268612013504610685780884544569142601) * 10 ^ 70 + 3534607364209309460663186629821569329386910869885775808711311437221768) * 10 ^ 70 + 3198663836583949461364904354460066226385467586632265947381239727139257

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_381 : Polynomial.coeff recurrence5Scalar1Exceptional 381 = (((3348346565696827143006259034 * 10 ^ 70 + 5090455371168827787020641916174540767421330327184298824428567599279489) * 10 ^ 70 + 8028345843841891718973977870437021191556736587976338239541777740387820) * 10 ^ 70 + 2499714571759595654879098104989517916332267609683394843110852346728130) * 10 ^ 70 + 7353553954342636819098959476979770314948466918740681799810912971453657

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_382 : Polynomial.coeff recurrence5Scalar1Exceptional 382 = -((((2693932424234780832732179796 * 10 ^ 70 + 7939370384181989085740599666174518174687176511873715594867390238449170) * 10 ^ 70 + 5613591143740190468099800902375411884740473474323579170096392345481543) * 10 ^ 70 + 1107386843702531298426163501717945059701195247917293286976903881490692) * 10 ^ 70 + 2532476871669128489390378079155905090430769563701637107283673680172257)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_383 : Polynomial.coeff recurrence5Scalar1Exceptional 383 = (((1169741903514739228169303032 * 10 ^ 70 + 4599689310492587555709914481627144398394924081208238957340049827934653) * 10 ^ 70 + 4918178949042169382598538356813816906518133874283115221498808695219102) * 10 ^ 70 + 6312653828029490289555233434123914545080948996610428947186471965266142) * 10 ^ 70 + 6842377183872408007101224732911221312334091227167109821289409289013396

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_384 : Polynomial.coeff recurrence5Scalar1Exceptional 384 = -((((407818674991069471072099327 * 10 ^ 70 + 1707616238817509460113103632230947948255867346780382005128646999325795) * 10 ^ 70 + 7178200176832715883436823019781487838943069612732169002119525900956203) * 10 ^ 70 + 8624435156209798582142264696978638841849770302993300748809283420613219) * 10 ^ 70 + 8863240518158489851059806051756928804111227288194957268347597665759804)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_385 : Polynomial.coeff recurrence5Scalar1Exceptional 385 = (((124029176712217823530993161 * 10 ^ 70 + 3533897846538950921237813271891079400678998853792269886330834714133944) * 10 ^ 70 + 7967271712819935147580035241737837592901155065811736736060001790650435) * 10 ^ 70 + 9830264745169305388604149306634704312969034232020088405783282238554468) * 10 ^ 70 + 3692351263947414041517931595639707054594848439420939724092069327356557

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_386 : Polynomial.coeff recurrence5Scalar1Exceptional 386 = -((((33818888281238083708044722 * 10 ^ 70 + 5787319771452155005715279128753488239497588956432081602045280942640179) * 10 ^ 70 + 8065750652931011865484047066797981193317295467419918480471458936866646) * 10 ^ 70 + 473985156845036009552890560151781681904138535989897121975799567673662) * 10 ^ 70 + 8332570772218881813747503056253943286932954419704191570541989887127142)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_387 : Polynomial.coeff recurrence5Scalar1Exceptional 387 = (((8323774464341653217021035 * 10 ^ 70 + 2258125457792182478862186939334011074497994028898844328480812011635718) * 10 ^ 70 + 5176425765943017011764129786866385032242489279598146396651875693828695) * 10 ^ 70 + 3922276732013584768014194190856634203044511518520700870780115286016861) * 10 ^ 70 + 3148688700644817433401344694832353593762340808379727628544804144827637

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_388 : Polynomial.coeff recurrence5Scalar1Exceptional 388 = -((((1835934166351940622774946 * 10 ^ 70 + 1603560265119847238834996801878481397234256482614124172105958804755143) * 10 ^ 70 + 1353813928295573508581532623578754484834953870796737646516799518817584) * 10 ^ 70 + 603049726126178236165122539141835320901297979081051168277441305190441) * 10 ^ 70 + 6216897087279296740068885570689196881820948574975238529251129344988854)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_389 : Polynomial.coeff recurrence5Scalar1Exceptional 389 = (((353362235131141899608932 * 10 ^ 70 + 3587285260056535970802790409738203742359454890441518895663906438532916) * 10 ^ 70 + 5945221429922441636894900675507071857261664237270263971132403026111380) * 10 ^ 70 + 6171737509592854158086956380852824794353421164783016900223683969079318) * 10 ^ 70 + 2629737797127215422111342394503932951450249108659553182995119720534681

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_390 : Polynomial.coeff recurrence5Scalar1Exceptional 390 = -((((55016026110522514658506 * 10 ^ 70 + 4588014504598740161723642756140854333342064954829444724953862675483915) * 10 ^ 70 + 8515106764223380616665566659337254750200112905706998694035734667593638) * 10 ^ 70 + 1947097702510986423984655755803774023083599417666688785764192246603597) * 10 ^ 70 + 8300564529472514312752817662706079447025787204570158598934315967277194)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_391 : Polynomial.coeff recurrence5Scalar1Exceptional 391 = (((5003451963078258005865 * 10 ^ 70 + 7554227079761463544145948507793875438639328495388076674793295488074539) * 10 ^ 70 + 1592206549898648441442532872686978871679622399248591968882010358257281) * 10 ^ 70 + 2955492327260133560786004224203741833075598297798423670389708104038023) * 10 ^ 70 + 6899057552548202610687098283141072162339498653158659429613672564924806

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_392 : Polynomial.coeff recurrence5Scalar1Exceptional 392 = (((720892982574318692369 * 10 ^ 70 + 5470788943111916757223109203738335968180719226388132887373885190257901) * 10 ^ 70 + 9868746600882371063785460791975714560721585446102131507991487064896347) * 10 ^ 70 + 184971488125567134662634537621900638321068159579946755457420986639945) * 10 ^ 70 + 138162314047374702660433816730580945951821002881100599008091804684375

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_393 : Polynomial.coeff recurrence5Scalar1Exceptional 393 = -((((557642553137562246535 * 10 ^ 70 + 853938513768944271709081104303797626175469369571667324216295569155702) * 10 ^ 70 + 3905144994027826800761284562545470290582699625718085043271655805116703) * 10 ^ 70 + 2533532990319559339537156470190278565534192121295264485101151521258053) * 10 ^ 70 + 3230471710106911884389209705740779361040439696798220433274311185796441)