Recurrence 4 lookup certificate: Scalar0Exceptional 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.recurrence4Scalar0Exceptional_coeff_105 : Polynomial.coeff recurrence4Scalar0Exceptional 105 = -(((28501490367949245360194402 * 10 ^ 70 + 8786455355441359046344088395258637800446691563654840547770519126146838) * 10 ^ 70 + 357570788556652342111755697835705705390194817759138295340784827477631) * 10 ^ 70 + 4326758495357137252283367413268868119016630641427629912850563926565939)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_106 : Polynomial.coeff recurrence4Scalar0Exceptional 106 = ((241789390327924739115518945 * 10 ^ 70 + 7158377241116502502547939754194844817034303732201492154612333577494887) * 10 ^ 70 + 7854418728466668731913218011673725682499154392108218949599254143914473) * 10 ^ 70 + 6726595375996686316439186783993043320853040558009463669720849508563692

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_107 : Polynomial.coeff recurrence4Scalar0Exceptional 107 = -(((1965391835784696744010144418 * 10 ^ 70 + 2509295752930540630173609203043113720482364115309984220796408534492383) * 10 ^ 70 + 7088342026991310542157085117568940733348395245450433696795586921873484) * 10 ^ 70 + 9763791996980091765092639124521177453345570456874720088445650123264994)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_108 : Polynomial.coeff recurrence4Scalar0Exceptional 108 = ((15235510509168482715957695858 * 10 ^ 70 + 7961402247601087063805844981448230331819986376181000798001421946650850) * 10 ^ 70 + 6613054694199652635756312796655342467454221048548701969191345127790709) * 10 ^ 70 + 619770248910409160276086571925568327180254791007520696873530503080636

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_109 : Polynomial.coeff recurrence4Scalar0Exceptional 109 = -(((111824699928951516694205900266 * 10 ^ 70 + 5991952870884775448130029844469344032817912110705853333199394300427389) * 10 ^ 70 + 1945027193406469208876462246583496783977500259821725725705677682240241) * 10 ^ 70 + 3463720020328087031097013244967646072546403697486005012022351644151429)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_110 : Polynomial.coeff recurrence4Scalar0Exceptional 110 = ((768028592654375804521131554802 * 10 ^ 70 + 5851925731200093435220460027268696054064089780754538406412265551386613) * 10 ^ 70 + 105740507946638771069894682856081609517816947457388231657700368592209) * 10 ^ 70 + 6709087946766390839890217995694276541961230162854118598318848351911244

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_111 : Polynomial.coeff recurrence4Scalar0Exceptional 111 = -(((4831613589295661986855633468580 * 10 ^ 70 + 1384930488231263723522129270120711907972339568587565661591425060472815) * 10 ^ 70 + 9666679787766918141243993386013503139821087583516974752299072272427621) * 10 ^ 70 + 351438733570172088911849285299518328426268131207486535742230220528253)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_112 : Polynomial.coeff recurrence4Scalar0Exceptional 112 = ((26596768393926822091163385874456 * 10 ^ 70 + 1019677032610479626156413409950847835218063468280060457555755038119848) * 10 ^ 70 + 6950565866670826582553068991727339381641626022811879330650299289274982) * 10 ^ 70 + 5545265254808518672377036612056985538851491504202395814449304032691828

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_113 : Polynomial.coeff recurrence4Scalar0Exceptional 113 = -(((112192436218739719722912748473773 * 10 ^ 70 + 2846547453316241049587459397776448693092373004177961095578587665308563) * 10 ^ 70 + 3620390723942333126395075289284314823343817718626419932607482642332513) * 10 ^ 70 + 4291356396904041231878820923238878858843190510706261982386965530153549)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_114 : Polynomial.coeff recurrence4Scalar0Exceptional 114 = ((129830451566675705586183234476143 * 10 ^ 70 + 8084908741751382511001701376357139965354923573823076073933475262216880) * 10 ^ 70 + 7093243239708285649524800018607743145094276302523627512855281750158880) * 10 ^ 70 + 3591470339453336217920509422824452961102383054700604851033552252276122

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_115 : Polynomial.coeff recurrence4Scalar0Exceptional 115 = ((4295781404109469310786234819995142 * 10 ^ 70 + 8022637663909189558908533102245111368830830866928945120841598338983050) * 10 ^ 70 + 9488489697784643668613354561538957894476467149918638450390554450407619) * 10 ^ 70 + 9278090854457574557400073134693862253976376745184777549383432341676447

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_116 : Polynomial.coeff recurrence4Scalar0Exceptional 116 = -(((67424883314271379303480714555217269 * 10 ^ 70 + 7811095950883412587160629257378452339325770800710353784665226171841787) * 10 ^ 70 + 436196599326751900643671764948040520737894881315877806549307623040208) * 10 ^ 70 + 6357365129466139182810489265394316306926751229962697816186870380169690)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_117 : Polynomial.coeff recurrence4Scalar0Exceptional 117 = ((712213164582673621460353345552425877 * 10 ^ 70 + 1370711402694969554595439443910851069119927587559772476019066892485851) * 10 ^ 70 + 6348227688776855468175323451407190671857406209090199922620302795220272) * 10 ^ 70 + 6942257384248255091775936624660310726798485936080351884100874320501352

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_118 : Polynomial.coeff recurrence4Scalar0Exceptional 118 = -(((6323601188259209558319489141635302328 * 10 ^ 70 + 5249902433332180200711767789738209908460509548219933171545894075513271) * 10 ^ 70 + 7476001143196434226590249238353615665141079826541132992783155236054221) * 10 ^ 70 + 4506762513614230362717543004316312556450182220008299643850853423086629)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_119 : Polynomial.coeff recurrence4Scalar0Exceptional 119 = ((50066533829516523674725384057966274998 * 10 ^ 70 + 87616426274033399413460100611001894445990868191493606101349187274127) * 10 ^ 70 + 147393732554147327671060830631794078467997345379489503770283882061574) * 10 ^ 70 + 3519517575685327654927993721530124260712087592338837967136374637021597

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_120 : Polynomial.coeff recurrence4Scalar0Exceptional 120 = -(((360776698124688996258269305582637750082 * 10 ^ 70 + 3482400835532390798443206982494125045168838912364578845912741063358584) * 10 ^ 70 + 9238825531632210455268883763045029345726546300957666988380031800865503) * 10 ^ 70 + 4455877452707439965967490137632297351335082819834789847934735295434139)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_121 : Polynomial.coeff recurrence4Scalar0Exceptional 121 = ((2374390287781706921075971808500992056485 * 10 ^ 70 + 4058052996040155257120539283141795409389802736476525108542060845429497) * 10 ^ 70 + 9251209275288514986273193468739336201205168126158461571350469296145465) * 10 ^ 70 + 5692588086558720777061654069769509915963071492409754005434648186210733

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_122 : Polynomial.coeff recurrence4Scalar0Exceptional 122 = -(((14124447569043168866990623492200490462450 * 10 ^ 70 + 5955606776241445406043304993015608240513341873697089143366835471639742) * 10 ^ 70 + 7267700081615312182541813156904145022942682651200714806454311790001022) * 10 ^ 70 + 6550175298794310546526533449706733848745397980837696561272510257061400)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_123 : Polynomial.coeff recurrence4Scalar0Exceptional 123 = ((73486858801738925546100302321972151224277 * 10 ^ 70 + 987950990933963976074683512701835940446030882266435785326349420735549) * 10 ^ 70 + 5322104547078173585811701266458974835309025984501967774253515596086913) * 10 ^ 70 + 7208828293920990153552781088115281327379420606423165605877432529172440

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_124 : Polynomial.coeff recurrence4Scalar0Exceptional 124 = -(((303222855015890395313669761005235369770021 * 10 ^ 70 + 5802150914556613367975872298174288506437985738970762759229566011493614) * 10 ^ 70 + 3540301556179995468385131446437005679846667076097432503209397583393165) * 10 ^ 70 + 9135262878772429765922293036355608797220228184443771307661055997403404)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_125 : Polynomial.coeff recurrence4Scalar0Exceptional 125 = ((586049129419783155388518958685694367104244 * 10 ^ 70 + 3533770374745641602175741347259439464064932504582764742331532928945328) * 10 ^ 70 + 7392419167667109967819621600822588144607591876216770356216720499785180) * 10 ^ 70 + 2073241145477291982370561848388079944356495683412358923546431514860052

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_126 : Polynomial.coeff recurrence4Scalar0Exceptional 126 = ((5854614422990901999008605019678060888581415 * 10 ^ 70 + 7440984952089541695801509324737659921420839955591693469309183817433240) * 10 ^ 70 + 9417102650187271918543593521398293193080216587532950228830037015503669) * 10 ^ 70 + 2916744681250076818614303962140393958726327369987189086544605302219883

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_127 : Polynomial.coeff recurrence4Scalar0Exceptional 127 = -(((98062645773399749666681335572290856445411832 * 10 ^ 70 + 1894866211644475167319895497636390991816616398499893167630620780288729) * 10 ^ 70 + 8147067064608444954913493928469431807751433277297781728841602655902637) * 10 ^ 70 + 5168617078766034265370057518980462855462545812416558983165253798374295)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_128 : Polynomial.coeff recurrence4Scalar0Exceptional 128 = ((964673377836400922001744577567009447401864019 * 10 ^ 70 + 5010732503616128328911491110291008541331131606034053289045259858391018) * 10 ^ 70 + 2698710673396062137407522417569397785935896660716382519333846251428752) * 10 ^ 70 + 6741299053579158649733716726886402475292943061636495484180370600244110

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_129 : Polynomial.coeff recurrence4Scalar0Exceptional 129 = -(((7754987334831978520384431672443153221754401519 * 10 ^ 70 + 3106581684212852912976168719749477450942032529446301617913719529054892) * 10 ^ 70 + 4638935580003540506681288294685555529579976443479557466701035932222591) * 10 ^ 70 + 687711606289562057012236613347923840005899396297304804044340911496398)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_130 : Polynomial.coeff recurrence4Scalar0Exceptional 130 = ((54936592268357319392267703787173867491454015841 * 10 ^ 70 + 1846738281050404952037582902225398472840763053791371550764644556250944) * 10 ^ 70 + 217817006279680840356014090537143340594896025438509579274481216614166) * 10 ^ 70 + 7946004066831852197181292112445642821831509656823307467628062403704879

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_131 : Polynomial.coeff recurrence4Scalar0Exceptional 131 = -(((351669303407664844566279730770298308659257559030 * 10 ^ 70 + 6890570089498583624764945371181598188361531175279249348106939344039958) * 10 ^ 70 + 1759429564636880810091014342034632630748918917005602264850778668511935) * 10 ^ 70 + 2427262797483878480181791336896380147977230246008857214224561460058717)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_132 : Polynomial.coeff recurrence4Scalar0Exceptional 132 = ((2043474870696770445667799518938812475295278530130 * 10 ^ 70 + 4143950109862039443331165386677297835719684782985048597483760697508845) * 10 ^ 70 + 2209191597066592333254296367839668485454359249290084738223867806421376) * 10 ^ 70 + 7234768267210329271985516829708706163536948077706059899725379582823979

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_133 : Polynomial.coeff recurrence4Scalar0Exceptional 133 = -(((10648102131117939252609013291874003164246494267762 * 10 ^ 70 + 7590098811878349405974419213270676119843575067785825303257965945743673) * 10 ^ 70 + 1044331773444293739791017961671167039608659909208799941710236629709308) * 10 ^ 70 + 6954773088556637487391932931528642620252602576986970450196768220288237)