Recurrence 2 lookup certificate: Scalar3Exceptional coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_154 : Polynomial.coeff recurrence2Scalar3Exceptional 154 = -((1215161851335629625753188893630233895565298 * 10 ^ 70 + 1829539860101475085856323803197562077684954257357216973211490665858265) * 10 ^ 70 + 6995890206147780608042513040766859675188563655489486763304845113430466)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_155 : Polynomial.coeff recurrence2Scalar3Exceptional 155 = (1535799896921156096716819765403544408759558 * 10 ^ 70 + 1162232015830514989929573022137762593789857237132054316595976254026841) * 10 ^ 70 + 8117364106502377766765417579162602984535168220822274144843780350259912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_156 : Polynomial.coeff recurrence2Scalar3Exceptional 156 = (5020273662757718212096429127678748002331407 * 10 ^ 70 + 7149037615559387114797805560728782808035613818087601147818894095296628) * 10 ^ 70 + 842802930053175666132890548469995507361266461081569648974142746621432

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_157 : Polynomial.coeff recurrence2Scalar3Exceptional 157 = -((37458948820033618888917781769912043488663911 * 10 ^ 70 + 7492689418057683849332015353001277467349191661002053143238601537543633) * 10 ^ 70 + 1562332465957945070414438635543447329845330693572377952086017930251488)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_158 : Polynomial.coeff recurrence2Scalar3Exceptional 158 = (121318638972008267398406939923528433283778626 * 10 ^ 70 + 9346170828026674747688110278399032316743358165574845097729967613673369) * 10 ^ 70 + 6939571310104402804905336374418596214860552422473939343281642740243176

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_159 : Polynomial.coeff recurrence2Scalar3Exceptional 159 = -((199244320468975969115581989145926692888938285 * 10 ^ 70 + 3097459056953181484586658315573693870738856249229369575729033739669129) * 10 ^ 70 + 2049263030026131483598003172121176457613216988229586905436764423011543)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_160 : Polynomial.coeff recurrence2Scalar3Exceptional 160 = -((202836935821772713089161767568643814125260208 * 10 ^ 70 + 7179985818879197422644123508396266199771957079141091642331131652560172) * 10 ^ 70 + 4677052415710522791529131164657336195716521299844378517100698286152646)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_161 : Polynomial.coeff recurrence2Scalar3Exceptional 161 = (2667860707621938719523116861133847057941151828 * 10 ^ 70 + 5783130183528571797096371669416677250438391779741646845891869919719784) * 10 ^ 70 + 6513310361930431758563911457180140581865870900306540254107787756165363

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_162 : Polynomial.coeff recurrence2Scalar3Exceptional 162 = -((10146314541084049589700954179083483276642659565 * 10 ^ 70 + 4732660249813723238486304189794008657385210439816179679408839671173067) * 10 ^ 70 + 6094844269369326802904862828273035611871676938022993736330817777041117)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_163 : Polynomial.coeff recurrence2Scalar3Exceptional 163 = (22586027962198533022758062207309605075550401902 * 10 ^ 70 + 7028474223596737232194490375666175020633905067281069663352390383276778) * 10 ^ 70 + 5506473208576847970841945378193445023199063282561123103109908895668489

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_164 : Polynomial.coeff recurrence2Scalar3Exceptional 164 = -((16353414018697809966668130285433723880534301073 * 10 ^ 70 + 5728464633174421659910181733490824520236043932777356568137378395198423) * 10 ^ 70 + 6767874051745735099565161272573519475904580737938400197327743399317635)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_165 : Polynomial.coeff recurrence2Scalar3Exceptional 165 = -((110066805459163397930326393928768621741983479844 * 10 ^ 70 + 1311276988346748791128157024394556344265081664562833812538110726712605) * 10 ^ 70 + 2372031903775437412052098740554303930963733833116858400800578214752539)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_166 : Polynomial.coeff recurrence2Scalar3Exceptional 166 = (614346061059074973170459941123445679755298635797 * 10 ^ 70 + 7551373095973033209626614279386120480285241666312500392381326740402565) * 10 ^ 70 + 8822795439430839211433253354701637862499008206458183286403924474207105

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_167 : Polynomial.coeff recurrence2Scalar3Exceptional 167 = -((1851738354463883321820860284677958024592746846362 * 10 ^ 70 + 5490954752783674885106920263851045213330534883682702312444235530095541) * 10 ^ 70 + 1951123118148615867127607801649217685803911460302737256005608807778238)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_168 : Polynomial.coeff recurrence2Scalar3Exceptional 168 = (3487668584451909712574996273795168292602458774077 * 10 ^ 70 + 288465068991649430844313900237838572334335971497208322453737464761461) * 10 ^ 70 + 5394246504617762025562590000949696136113825363695573451426421313831045

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_169 : Polynomial.coeff recurrence2Scalar3Exceptional 169 = -((1622685165718454702304235665048833157334266365142 * 10 ^ 70 + 9553228836029302763126770130163702592621349347089901576162863565652537) * 10 ^ 70 + 8634884686412782078611767482740314667587100699071069464020306140436187)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_170 : Polynomial.coeff recurrence2Scalar3Exceptional 170 = -((17919487584691976251922982972045908905956342755450 * 10 ^ 70 + 7795951406845268903094000898204112419998384846947922062204526929434729) * 10 ^ 70 + 8904550826457233844590978633039098521665686684591641334445409300367516)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_171 : Polynomial.coeff recurrence2Scalar3Exceptional 171 = (88847134672125999820967319938512512883822288748565 * 10 ^ 70 + 1757373364938937568169844775213147338562177940588501160071828596566604) * 10 ^ 70 + 689724722693466287204047411332948530533388287247797768341085088593853

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_172 : Polynomial.coeff recurrence2Scalar3Exceptional 172 = -((260722994866523147480923753370752822998156518860307 * 10 ^ 70 + 7402365046728561672374784317923915016358188331905982472063545899391179) * 10 ^ 70 + 6420575362505039009180225226430214353414123799290555212067505666414795)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_173 : Polynomial.coeff recurrence2Scalar3Exceptional 173 = (528801820795431791183080892305914830215441386479409 * 10 ^ 70 + 96005891092715950849897257127667114274238800853085198496344234169841) * 10 ^ 70 + 4416848332929655175269291282536482380529063487846948892270423440204666

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_174 : Polynomial.coeff recurrence2Scalar3Exceptional 174 = -((573815729533203281512469094542583651873626729199322 * 10 ^ 70 + 9686426272638253893874708164361440763709108562279253932499216804020324) * 10 ^ 70 + 9004800754091875840005330928537751093165747764864632326019155213756083)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_175 : Polynomial.coeff recurrence2Scalar3Exceptional 175 = -((880773829345662113112377822751718554601654459802124 * 10 ^ 70 + 3465970037706933464083376667530927957635425007529980982236633774719280) * 10 ^ 70 + 2081494654195731185360114016179619506028476794315259093819894249741783)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_176 : Polynomial.coeff recurrence2Scalar3Exceptional 176 = (7196999918590494547174004086476424673215134408474614 * 10 ^ 70 + 3869610978500934663529937466866019770744543697959172970952239710863004) * 10 ^ 70 + 9894473942416628070991170481255982374694517144366332781230760826150566

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_177 : Polynomial.coeff recurrence2Scalar3Exceptional 177 = -((24878940668600165744077723368319086279647016582680624 * 10 ^ 70 + 127209871413662893685305340586456418658173175758860837283397975774337) * 10 ^ 70 + 6942485306231824650905920755764192221118505546676963937970057036684819)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_178 : Polynomial.coeff recurrence2Scalar3Exceptional 178 = (62000461475457865459364728575184543627117941968928044 * 10 ^ 70 + 1320266908074439091277821458167170762534276732362340706181321580358950) * 10 ^ 70 + 1730475825870076451627254869143146658531283365109582243301499806581401

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_179 : Polynomial.coeff recurrence2Scalar3Exceptional 179 = -((117139592419128537281811910429535657005274069167316293 * 10 ^ 70 + 5901147428294716473701452546936124600633857540918733901602857960301457) * 10 ^ 70 + 326719947111487210493179915764889200717249128328169241583504429709611)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_180 : Polynomial.coeff recurrence2Scalar3Exceptional 180 = (145041648296022743763519327882542436996858289286691702 * 10 ^ 70 + 7554787291395834447956343273519602937402359564613240271698238159693135) * 10 ^ 70 + 8450124105246430244033550958427331521633167816218082916477463523984732

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_181 : Polynomial.coeff recurrence2Scalar3Exceptional 181 = (21791631821121732811499945165328453544323772918546876 * 10 ^ 70 + 1756561304503461669021514548229479635182164193350923614717150968766570) * 10 ^ 70 + 4235094673612960855514193516720970363901742731729399913484459549134738

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_182 : Polynomial.coeff recurrence2Scalar3Exceptional 182 = -((814688627492802010540678121230836484920308986077851441 * 10 ^ 70 + 2443182723941707728541493269123431861744856793065661980428673009875311) * 10 ^ 70 + 1185115985538105168474144608176061566853274868546296187787517057496559)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_183 : Polynomial.coeff recurrence2Scalar3Exceptional 183 = (3123278390651112475236464383171354943242300699356423755 * 10 ^ 70 + 9676534996767089890476864402575289112210767429141988625485819162349273) * 10 ^ 70 + 9333943664794089181695260821118863388821100266933102497375731980974595

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_184 : Polynomial.coeff recurrence2Scalar3Exceptional 184 = -((8446144481471109994937101740796438806872330130678815133 * 10 ^ 70 + 8150318311524293245818288945260732118002077498562913088950634933312895) * 10 ^ 70 + 9222825583947541031930606723536337527398855265076877890507497246343196)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_185 : Polynomial.coeff recurrence2Scalar3Exceptional 185 = (18728132947115285390089378017355263653693068935481205813 * 10 ^ 70 + 6709539806684871967099217046556268965093022446633872751569184352993290) * 10 ^ 70 + 7783435299050633084087127300562718752151008537160283656504043136859657

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_186 : Polynomial.coeff recurrence2Scalar3Exceptional 186 = -((35354995502494037216846904897994098202947117139233644854 * 10 ^ 70 + 361926800468311259025052716944897601066588539581963525595198055497768) * 10 ^ 70 + 9917078528522496300482091250653741426106935897770167680186932055508009)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_187 : Polynomial.coeff recurrence2Scalar3Exceptional 187 = (56508292123861458159739666485552810187101466148259392663 * 10 ^ 70 + 5751062448729705811372276537206784088828882355999703449941557677777973) * 10 ^ 70 + 9734509167019097369541093970453799725985208340028331478783565896377337

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_188 : Polynomial.coeff recurrence2Scalar3Exceptional 188 = -((72025867391285502942987050221425726630974738818311620647 * 10 ^ 70 + 9133975878556107683738177795141667734526730263356357050502919613811836) * 10 ^ 70 + 9587727411414793411096693574517977729329955700478428546484777802577542)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_189 : Polynomial.coeff recurrence2Scalar3Exceptional 189 = (55451801210085077846796220899195539842012066446095431638 * 10 ^ 70 + 6091519729944246526359636391082051992211973384961665644564697701223080) * 10 ^ 70 + 2350614828600288061629717975284404074538900805900330655476957780166526

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_190 : Polynomial.coeff recurrence2Scalar3Exceptional 190 = (45420753326614391401823423809649338271858452166628403772 * 10 ^ 70 + 6679086734912351799959862149681221711000321333714601883247440778919396) * 10 ^ 70 + 2179134254449055845246312389355168752660933788063022506363455495554154

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_191 : Polynomial.coeff recurrence2Scalar3Exceptional 191 = -((315165588283771636561250803543232088456836407120921448245 * 10 ^ 70 + 3031177304479744066425074157960357964823203671867451188676128999841745) * 10 ^ 70 + 5339638014964343077487225292920790798883363103226731054938048162598063)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_192 : Polynomial.coeff recurrence2Scalar3Exceptional 192 = (865905139588887024447659938093115531690309886147271195680 * 10 ^ 70 + 8180467614479308745286692303187295790507503252584986317964536857562466) * 10 ^ 70 + 7914238481410142865189897179419702992160475966818439614323326535879710

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_193 : Polynomial.coeff recurrence2Scalar3Exceptional 193 = -((1808327789752621657483032119438153674796110677435762682687 * 10 ^ 70 + 3792190049958167463042120056254235186592531498295816753306531021205927) * 10 ^ 70 + 4345931239476313821182163231226608156399264476600529196704829871879617)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_194 : Polynomial.coeff recurrence2Scalar3Exceptional 194 = (3184482460155083941476145689845555728760907486205535667200 * 10 ^ 70 + 8586683272540561746666429030273770651834479812735214969816765588063388) * 10 ^ 70 + 3876673829446702578480631470570507897908926890317263449754368685198146

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_195 : Polynomial.coeff recurrence2Scalar3Exceptional 195 = -((4853540504044308223548486697949603539001407047583591315992 * 10 ^ 70 + 8958226757840216149835086600320594118041651256170735448732497847817076) * 10 ^ 70 + 3628717260477492590093256038203889233143047854373919928866910508152948)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_196 : Polynomial.coeff recurrence2Scalar3Exceptional 196 = (6337024452220498094575580956224891392528765612090663747322 * 10 ^ 70 + 8484200824108089548224788205398907287553166398101006027906782607547022) * 10 ^ 70 + 4070047126394900784801375832006817241653021906065417828224529888165619

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_197 : Polynomial.coeff recurrence2Scalar3Exceptional 197 = -((6656175820214390206585207140217812568424732790801875762068 * 10 ^ 70 + 4796593799036198601825939115197353983577131013589794865983635102552003) * 10 ^ 70 + 6053338427659644766185676052137137071385764723184541404366316919089967)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_198 : Polynomial.coeff recurrence2Scalar3Exceptional 198 = (4226517498204184773286426092805374117130989650784551366370 * 10 ^ 70 + 3887294321606854677385982930732087616879310778462401290114439380442357) * 10 ^ 70 + 9452726598197167697113901804129671432774419261053914690370686093108151

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_199 : Polynomial.coeff recurrence2Scalar3Exceptional 199 = (3098515787395011543131308434030150593732746959089345628918 * 10 ^ 70 + 705118789291052840444032188268946898611870222551243428440551333551631) * 10 ^ 70 + 8432148408662313786180314810876666243601308968048192589596182848081961