Recurrence 4 lookup certificate: Scalar2Exceptional 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.recurrence4Scalar2Exceptional_coeff_280 : Polynomial.coeff recurrence4Scalar2Exceptional 280 = (((10098574203744825857941203 * 10 ^ 70 + 5122725375088564685063019210787201492381849687258752493213375080717474) * 10 ^ 70 + 2777004971277715059009584798361236493985777017908947837673938175982829) * 10 ^ 70 + 419934993978976986259995197772060468413829614965865764155066074771105) * 10 ^ 70 + 4518079735543513055528430062610410707829875215682567516335377527142566

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_281 : Polynomial.coeff recurrence4Scalar2Exceptional 281 = -((((7223986555610747853372565 * 10 ^ 70 + 5533165161410362529135675091104327766113718960817564956800750403137805) * 10 ^ 70 + 4157034243489024561548720597682974601029147091834338040740286268553947) * 10 ^ 70 + 8508566516470621455460467768409402808502662801707614583135763209087595) * 10 ^ 70 + 6027696519659419037937994545705308588922576484849394782785734139643803)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_282 : Polynomial.coeff recurrence4Scalar2Exceptional 282 = (((5093135538106177167115766 * 10 ^ 70 + 3904586370361990749994461066674315328582926123233591265054890201699695) * 10 ^ 70 + 1916397587853078231479571282317428677070789558296343054087899982548275) * 10 ^ 70 + 6744804569770112416020697544472452189311480216977047966302555585787805) * 10 ^ 70 + 3923054948247980756796606082513493496090119319835606309964696349704538

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_283 : Polynomial.coeff recurrence4Scalar2Exceptional 283 = -((((3538770071361602895536661 * 10 ^ 70 + 7956125025519755917326049849582420049041831523028759189026453912480197) * 10 ^ 70 + 9178550604316173396077130792777882260853450020825794403028430334265519) * 10 ^ 70 + 3564804940594976471354144212734417209546800381685271951618606811182583) * 10 ^ 70 + 9526775122479426013105679812876700688705802324110098719835691075940063)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_284 : Polynomial.coeff recurrence4Scalar2Exceptional 284 = (((2423031425778024001633313 * 10 ^ 70 + 1880600250296569384715172562978055146340227488222967228213762891654016) * 10 ^ 70 + 7634534499664920998783117341642592346457349629263631138640383865928593) * 10 ^ 70 + 2934050509992619143799275704063218748886553034849484366702881428232050) * 10 ^ 70 + 2205892193789000667049684973840560824901590667611806586984837537320072

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_285 : Polynomial.coeff recurrence4Scalar2Exceptional 285 = -((((1634961974009705919604250 * 10 ^ 70 + 276182048208358746762759053994686728043922790565132235647852061332905) * 10 ^ 70 + 3482469663949180491105781540478536913447633177384176843041664801939734) * 10 ^ 70 + 8506970397455721519688220568664285964234320042720755458925589290989870) * 10 ^ 70 + 6276081064451628576059943575716342745235480591564572074019000098921258)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_286 : Polynomial.coeff recurrence4Scalar2Exceptional 286 = (((1087260162403353666111290 * 10 ^ 70 + 2136755830544812437111296677100678943665086924915988383745784316115583) * 10 ^ 70 + 822919827941464006182538258891701204804514000056026886827678114451759) * 10 ^ 70 + 6164291794396705312934683070241215851138884451263738160130466568413705) * 10 ^ 70 + 196482611143881027031254455738855474108401815795035895705214319106852

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_287 : Polynomial.coeff recurrence4Scalar2Exceptional 287 = -((((712722851809740500562659 * 10 ^ 70 + 6870476302192944744640240919755936637430493255279123772880463493918709) * 10 ^ 70 + 5576063751218756047278963107951733082847435677386463693977677766685587) * 10 ^ 70 + 251740038706567647065004347030303258970952041424170641814434374646107) * 10 ^ 70 + 3007515105067546734362372668303959246514999002017255895197516592229109)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_288 : Polynomial.coeff recurrence4Scalar2Exceptional 288 = (((460706165949299482585558 * 10 ^ 70 + 8110850037480100590654581632720482817071310375600924907126197334093610) * 10 ^ 70 + 4114498314166736590782897393460942828390311050539211441189385932706460) * 10 ^ 70 + 2832874313687250271606524230602976631914225679393421325977581865613500) * 10 ^ 70 + 8472797507346634427090469594951981343216718621973719292226273502331068

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_289 : Polynomial.coeff recurrence4Scalar2Exceptional 289 = -((((293831057260146508566715 * 10 ^ 70 + 7181257736573563593950932004146728281445382582359398986000519499372403) * 10 ^ 70 + 2389737606130961972880784359548231720202861376519903910692069471713008) * 10 ^ 70 + 3760750193883346273651404145241273523670893003448978988973193497699436) * 10 ^ 70 + 5091539993784785955225729400479679460660980965151140453914194514937156)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_290 : Polynomial.coeff recurrence4Scalar2Exceptional 290 = (((185068498113986787578300 * 10 ^ 70 + 1019253904106626178881781264763438450992631592730161606635948305539613) * 10 ^ 70 + 1788399922911102727620879566342265102716520426332104468480333825520776) * 10 ^ 70 + 8660092221506207306552101980910443765842744409097966751563225582397424) * 10 ^ 70 + 9107075332596127764692029330485313869575943293005867628740180950396757

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_291 : Polynomial.coeff recurrence4Scalar2Exceptional 291 = -((((115265947990892450901649 * 10 ^ 70 + 8070822447081500340170643931169260841310838233532267379134161858782789) * 10 ^ 70 + 3921912703063942380980509335067970554947862880242059818334705824367838) * 10 ^ 70 + 1901341247493105771083016860578890225728118480082852410364672295017325) * 10 ^ 70 + 7562920615032341577846896920358487232908023120525036571616981845433226)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_292 : Polynomial.coeff recurrence4Scalar2Exceptional 292 = (((71122625324343700067315 * 10 ^ 70 + 935333897336316624343466256907495101034389675323631495794473141777205) * 10 ^ 70 + 2561212121899906125000597546256869596684471945304998432642294159402164) * 10 ^ 70 + 8948489669793048071628535629597670653534684317295495735768822822087477) * 10 ^ 70 + 2088332509864178769501743724801840471860803111447893769966292576467541

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_293 : Polynomial.coeff recurrence4Scalar2Exceptional 293 = -((((43584846588552915522463 * 10 ^ 70 + 5944216242716590526924597884539372005828350800429842885171951104487487) * 10 ^ 70 + 2972953638765886678446418427781168668160863029921075003578543175360784) * 10 ^ 70 + 4901666020927595051065222097474971593506704430153543049359133987313842) * 10 ^ 70 + 7437370081003463985558205424481182987101301459497717487470181804599614)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_294 : Polynomial.coeff recurrence4Scalar2Exceptional 294 = (((26611572118443861950955 * 10 ^ 70 + 7198363264416203324163841389408544555465097720588304144894687193475496) * 10 ^ 70 + 5871163858402434957744952991811511143449663552062038924102010351995513) * 10 ^ 70 + 4635357499889455523080297684044763001013937589618514903635585953907443) * 10 ^ 70 + 3469098038592627021136823339888150921157056010035570890437658516060883

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_295 : Polynomial.coeff recurrence4Scalar2Exceptional 295 = -((((16250970911328700141624 * 10 ^ 70 + 1388609256923794970013769425887483342756574438598188963956791917802657) * 10 ^ 70 + 1937293270251830678267962686535397500717449972976769436047853443947274) * 10 ^ 70 + 9129919721379784560607242270755975043772396297658271618197965030914361) * 10 ^ 70 + 9479784519513133785870436431805973484901155972286315271690779428127728)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_296 : Polynomial.coeff recurrence4Scalar2Exceptional 296 = (((9967904393954896299253 * 10 ^ 70 + 2959394977635999125640639460346130957383285068826011912201045754392169) * 10 ^ 70 + 8925408042555431555388733647133910692410503157423802975619919040233316) * 10 ^ 70 + 470490230846323768982735292799233566448220712051121903485467529552681) * 10 ^ 70 + 7225683258389471529088887666848529829371152064760099712913129901622031

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_297 : Polynomial.coeff recurrence4Scalar2Exceptional 297 = -((((6166710259217662109898 * 10 ^ 70 + 7448220809683293731045362452962204736053909655197778118436270164001840) * 10 ^ 70 + 2333811688329398717394064143764689009508012809564719603155779846445990) * 10 ^ 70 + 5074486932181028403536360928754911267881022537485786275185858570908357) * 10 ^ 70 + 5637944345424758978428391778075543115077290534184290555890973028532214)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_298 : Polynomial.coeff recurrence4Scalar2Exceptional 298 = (((3861087224828047436161 * 10 ^ 70 + 7590793076796925424267786185337242579558758114521931369829035443877476) * 10 ^ 70 + 1885041871152393847623716567307559428724765858352223659019322968815894) * 10 ^ 70 + 9289402857893879334752844715477851655534286534215651870850268679815503) * 10 ^ 70 + 580235103051418198656788975927959805225224489217444003286290922530240

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_299 : Polynomial.coeff recurrence4Scalar2Exceptional 299 = -((((2451414611052265757353 * 10 ^ 70 + 6873562917849703546753213184400344651858300811256704965418601374803697) * 10 ^ 70 + 1513233879755095753178490310474888859921524362873432169525406789369597) * 10 ^ 70 + 6610254692040563051175233291809125303623494783579596302915361484591429) * 10 ^ 70 + 9359650850717259457481283111123006585341978853786652572356497553987257)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_300 : Polynomial.coeff recurrence4Scalar2Exceptional 300 = (((1578254412310598391124 * 10 ^ 70 + 8117759154624282185247236454694011940826262955259962488263603961070343) * 10 ^ 70 + 2178184042898619816409707501687066947515994067023007440389339959919476) * 10 ^ 70 + 2216367393731117678144231526793536816148757329214947334642737415630707) * 10 ^ 70 + 6368304317515571722206577818555573725133787769075268011932611456274312

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_301 : Polynomial.coeff recurrence4Scalar2Exceptional 301 = -((((1028344613835756183287 * 10 ^ 70 + 4198778427389605722954281225080567428577228467251398050134793709254316) * 10 ^ 70 + 4867392669318903297959311950151801693975227463564095423857296921352059) * 10 ^ 70 + 9120202104534440895148245014439709548451467448476396749536422079319517) * 10 ^ 70 + 5254138517966057881475877235143911228393997842932199326233227397782739)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_302 : Polynomial.coeff recurrence4Scalar2Exceptional 302 = (((675749927215207754256 * 10 ^ 70 + 8371158703035032405497644973258846914815693131163699657781771630923934) * 10 ^ 70 + 1985180439381799885800457746306749116659342912782065294578631106610174) * 10 ^ 70 + 1994553597117267552900999908609272793629484730379925390149265127510785) * 10 ^ 70 + 4481169713731391443060004596885059583657920564223592870010614898424183

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_303 : Polynomial.coeff recurrence4Scalar2Exceptional 303 = -((((445905666355811966050 * 10 ^ 70 + 3334624613110369175568255142477831355709746654131861965710110240507523) * 10 ^ 70 + 5516828592803553411919249808557847461409807072424756792617833780606849) * 10 ^ 70 + 26335072042329687175884946322502289807246242739531354670324775368930) * 10 ^ 70 + 2560535766189333764728316023254236106620666890786057196727170755386411)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_304 : Polynomial.coeff recurrence4Scalar2Exceptional 304 = (((294154158394892570367 * 10 ^ 70 + 2190833397362096286845690706010159130555322722513804583990715632397691) * 10 ^ 70 + 4098838432665151508662493014941774145052364701402705429923274796183054) * 10 ^ 70 + 1060269516489824562287053190742031093063091205721085476173038518653552) * 10 ^ 70 + 126645805820757605076576449663394126232716933592673536445711482406913

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_305 : Polynomial.coeff recurrence4Scalar2Exceptional 305 = -((((193200359966625412133 * 10 ^ 70 + 3093416655748253670450045077191214835654296915040120926437810252820168) * 10 ^ 70 + 6943078280248758558596932893717628764315267011941540270824455167473930) * 10 ^ 70 + 9018077566478285691517310931422160435401185333379061350362774146001505) * 10 ^ 70 + 8874286523728437435729849215622591204532799708340075275857182646873483)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_306 : Polynomial.coeff recurrence4Scalar2Exceptional 306 = (((125905145740546425687 * 10 ^ 70 + 448067131821919069104116981439885229305045428943797596139708906336302) * 10 ^ 70 + 8765969398874965311028744336512301375289750801192400551035598224081184) * 10 ^ 70 + 2674741643707561825088624906092889804997064003309918259336512763414721) * 10 ^ 70 + 5884257715983479618472295312480990582905951893913879138741442051315425

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_307 : Polynomial.coeff recurrence4Scalar2Exceptional 307 = -((((81187594142168305146 * 10 ^ 70 + 4691774303775814612299092534604692254866370216867537681654347964554743) * 10 ^ 70 + 3680893269748389729730305844475451340445926451405800148634389252763257) * 10 ^ 70 + 9415236315966379014966454999314756366960315152271808480844158784472584) * 10 ^ 70 + 8848768594893389695042484691972716760932476533064141473650952093936097)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_308 : Polynomial.coeff recurrence4Scalar2Exceptional 308 = (((51693947250914128471 * 10 ^ 70 + 3696300231562696948840057012207144171227932273967040412641297347705528) * 10 ^ 70 + 3336487197353796608010404867679320526923055082518438790446369040853679) * 10 ^ 70 + 9878728978178843520243957046131309708670723890899100811286309686633975) * 10 ^ 70 + 7882201888415810680266864193738986740471809555109868525539456997434424

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_309 : Polynomial.coeff recurrence4Scalar2Exceptional 309 = -((((32450940373636053337 * 10 ^ 70 + 1008302957627922315213645529126160021012723376577680267214479458617276) * 10 ^ 70 + 5532367715213677781925831213887299295875739027780929685850536533913360) * 10 ^ 70 + 9724886271538936999145232680046367606815274660369771488588811356607532) * 10 ^ 70 + 1748108560040915244196590192612225930856504580445036260793513736674805)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_310 : Polynomial.coeff recurrence4Scalar2Exceptional 310 = (((20062133488787949376 * 10 ^ 70 + 4775161328288495081373617623012880204725749690069535949986312166719807) * 10 ^ 70 + 7833523553592354456353743595133611037046803095398080047107162247249717) * 10 ^ 70 + 2745916401842285050604208186124412387889785645254493365357202534413908) * 10 ^ 70 + 6732335151967303608347818619560483615452657500024060846960963055822500