Recurrence 4 lookup certificate: Scalar1Exceptional 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.recurrence4Scalar1Exceptional_coeff_227 : Polynomial.coeff recurrence4Scalar1Exceptional 227 = -((((20113129604923859616082162 * 10 ^ 70 + 1059559928638866628028808745728605223647614398552862111524706754591923) * 10 ^ 70 + 2608645026559552089412704711954101387548601382067115109475218384367170) * 10 ^ 70 + 324318459952250692931367784555374133025433933182392704242029908545140) * 10 ^ 70 + 410757151492105633318028892342457637446674985743107222633455332243461)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_228 : Polynomial.coeff recurrence4Scalar1Exceptional 228 = (((30010228207890684904497319 * 10 ^ 70 + 971704108101876921153901153603274197366953816587148722430993945987888) * 10 ^ 70 + 5337841467184703807178654567828102361858306400462261154825436244352176) * 10 ^ 70 + 2664295452469426143420914820973234732859908883492819082118450249102142) * 10 ^ 70 + 9108777548350841066326468384952638627889643627148211252467164359566838

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_229 : Polynomial.coeff recurrence4Scalar1Exceptional 229 = -((((44182535169958162041597275 * 10 ^ 70 + 9990669025178031951396718332645286743653823294686156172597423206754136) * 10 ^ 70 + 3024851022758383808562157057244103170874697062877522558324447664841034) * 10 ^ 70 + 4865906692244456634325746000122762764286629131383491037543984563232601) * 10 ^ 70 + 4557685494556135041655897679077477743290267877158117731078668824743708)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_230 : Polynomial.coeff recurrence4Scalar1Exceptional 230 = (((64185067443980708468968048 * 10 ^ 70 + 6388852475465604442549216829411985482998936415259277555954264360849987) * 10 ^ 70 + 5425475009978490729098273872600699725900081743827080145009926045034796) * 10 ^ 70 + 7012972620542400251723942264150199222946071948240065663639139092490853) * 10 ^ 70 + 4429019226170963550983447866373517833023520412862886677623028269122369

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_231 : Polynomial.coeff recurrence4Scalar1Exceptional 231 = -((((92008793119435030555953685 * 10 ^ 70 + 400276567311326070332099989342146672636967180847799227867204916978488) * 10 ^ 70 + 9078410367144770253043555494843548179155062465639367312575031220175868) * 10 ^ 70 + 4058672059066966810666864167477141977857512428396586134415495814039207) * 10 ^ 70 + 9876297529446049415436405675623575249938975389339731817955197213760558)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_232 : Polynomial.coeff recurrence4Scalar1Exceptional 232 = (((130150589264685370838016906 * 10 ^ 70 + 2347771188489369916924388213840386765209591153026481229200748652512993) * 10 ^ 70 + 2876485863814814950652948853347283742111508206258068057854782943607212) * 10 ^ 70 + 9792212371966331208226712225190603295639528604122267644544963617605476) * 10 ^ 70 + 1127585503454870074997852606711162633091597153976910115328260724019964

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_233 : Polynomial.coeff recurrence4Scalar1Exceptional 233 = -((((181674308763356706509862102 * 10 ^ 70 + 5215800502835789279007027394313522797127601217350067935554335418220461) * 10 ^ 70 + 2808837472506184944134229956891696253577398204187658545551994408688463) * 10 ^ 70 + 2159089819506995188076323766166953916404694064757694753429328378165737) * 10 ^ 70 + 3331105764900740833042584397264624021805579486056004484491248022505337)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_234 : Polynomial.coeff recurrence4Scalar1Exceptional 234 = (((250253502075239949029919844 * 10 ^ 70 + 6831522812058553965509843687915972136653002077369120188159071446474735) * 10 ^ 70 + 3741990981936827333674989236453318317146549429586958896492572487137338) * 10 ^ 70 + 8401961758657962766269025067861219148865000729110916250456505891009618) * 10 ^ 70 + 258247576241425130089591331953818978387762479940797778347592364055517

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_235 : Polynomial.coeff recurrence4Scalar1Exceptional 235 = -((((340184387540537337159660319 * 10 ^ 70 + 927887006113514064856211129962028847960788681021311734740611682800135) * 10 ^ 70 + 8219580103954136047874339512003756725038003769630269123222970955493141) * 10 ^ 70 + 9803964342079078347665164077158726750493581405724096126349126804582222) * 10 ^ 70 + 6798987620906414113626485232263902696587842228829744361212273925865616)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_236 : Polynomial.coeff recurrence4Scalar1Exceptional 236 = (((456356313198773431075153311 * 10 ^ 70 + 8651024667492798131006317982121818245112296256811694776892447828043120) * 10 ^ 70 + 798244305257769202729780758826569031134295715368810600774633629270617) * 10 ^ 70 + 5380287475653792429201085845289878556843212747365348355440807163282736) * 10 ^ 70 + 7600625322255893771779399238292835801428658176122182675882085944329071

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_237 : Polynomial.coeff recurrence4Scalar1Exceptional 237 = -((((604166625575891624506492001 * 10 ^ 70 + 8073113952744384764508085815493061346530176079505667284792728129126064) * 10 ^ 70 + 1169283894090093982115305714670068695719822092632542574524060166375367) * 10 ^ 70 + 1270538129372920405634523933186741572054845455912276381766331249594277) * 10 ^ 70 + 4828498556070633345264814024507012353969798128592765856493767662199102)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_238 : Polynomial.coeff recurrence4Scalar1Exceptional 238 = (((789367986073853247108649486 * 10 ^ 70 + 4540711392261212105427957439096079986241571817208552902994876240129445) * 10 ^ 70 + 7134393445511049262922753947070962908818889278381870946850443601126659) * 10 ^ 70 + 2950565534353320077155601639422674027902494356318187489558700702277273) * 10 ^ 70 + 790816517549171333658949432344523102719881062302114348153685625877876

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_239 : Polynomial.coeff recurrence4Scalar1Exceptional 239 = -((((1017839123600729824371128414 * 10 ^ 70 + 3435302420857748039179585087309924689162852222962298426616062346881852) * 10 ^ 70 + 9623218582018989317261084299724251454641564952821716186052530374870847) * 10 ^ 70 + 5713983787909478680869523381551031252089297425175034286658049497387288) * 10 ^ 70 + 4214852294633342108118773985721499443755387153061494112927215364615452)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_240 : Polynomial.coeff recurrence4Scalar1Exceptional 240 = (((1295275011999642255891752179 * 10 ^ 70 + 57403587441097965486377648070550557380768028068680521254119889059619) * 10 ^ 70 + 9011839728694004421395267833243621953156987239601660390775036486420289) * 10 ^ 70 + 8259379339138789875124185703010343319423894116782096745658737249121445) * 10 ^ 70 + 3706353316607752299035009177538292006862678742079183893150851409107644

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_241 : Polynomial.coeff recurrence4Scalar1Exceptional 241 = -((((1626799515758911966616760178 * 10 ^ 70 + 1914322699264943747951353379264744279032114946201106953913789436142372) * 10 ^ 70 + 1273023641153929994252652288878784674377754720640709784845025815203807) * 10 ^ 70 + 1337861128373353125733105417294079047392222117909919968806986037932063) * 10 ^ 70 + 5009973010919867651229187060123712005685461980875532284225275787709510)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_242 : Polynomial.coeff recurrence4Scalar1Exceptional 242 = (((2016512361143016423461863560 * 10 ^ 70 + 9600732090062930053698334526244687129476016166451953855792600845459348) * 10 ^ 70 + 2199636887683825032903414097101683230650852945934647321173274263387859) * 10 ^ 70 + 8752864725045546395145647433964545952123691618188145048862679763124083) * 10 ^ 70 + 3218460272631234396719749591055575754738106521161446820002176054710480

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_243 : Polynomial.coeff recurrence4Scalar1Exceptional 243 = -((((2466992222499810843381571013 * 10 ^ 70 + 7897504567242274226644744940278924963396405394553288333445341317184531) * 10 ^ 70 + 1235477750145334942213848453071658779322463958680597246425997358524144) * 10 ^ 70 + 312236973557035858540664731900368471304532601946007617868900647274785) * 10 ^ 70 + 6921376433894038041205043415297249844856675365528980243935573472372675)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_244 : Polynomial.coeff recurrence4Scalar1Exceptional 244 = (((2978787784002340697842252208 * 10 ^ 70 + 1025043847373812125119007698873735622811441001240380412487699893738211) * 10 ^ 70 + 8281138276828062118974060097951835350394061073942925002368614739920019) * 10 ^ 70 + 4228074474245792306787883276091466611772832172271963836410909995670456) * 10 ^ 70 + 5096684915702741985392966668265400335300956986764749251461751187229760

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_245 : Polynomial.coeff recurrence4Scalar1Exceptional 245 = -((((3549937584571132147536733503 * 10 ^ 70 + 3533138234245136623123330478083479514177173561237470264405270781123087) * 10 ^ 70 + 9883623039430151590001100777900736034094096759954237613545205150438302) * 10 ^ 70 + 7441300513145294211338139432830266391619758596548762794171369919778250) * 10 ^ 70 + 8932213076867297271971307985414559761309459143909915980900916000344535)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_246 : Polynomial.coeff recurrence4Scalar1Exceptional 246 = (((4175565862880841497842741241 * 10 ^ 70 + 4919703890504057373414122508809737238186763275695281710814089992169626) * 10 ^ 70 + 2546523892577191016626083687492367457773749853231894160187798488030407) * 10 ^ 70 + 3915506373948150234079557791399413171680560860091968824449088618578982) * 10 ^ 70 + 3020309914033564568342829493260570554567332190428211581543884258582622

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_247 : Polynomial.coeff recurrence4Scalar1Exceptional 247 = -((((4847604103099919333189009211 * 10 ^ 70 + 701092228023550552059914216517848859486182800905592765941249320622849) * 10 ^ 70 + 2623186973801409745988306708182419297553932018037872415453877099056485) * 10 ^ 70 + 672311099965033397701445290331052410169531347244761977124012872162889) * 10 ^ 70 + 8326060445087970794503531940738344268817573156886370041549202290665276)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_248 : Polynomial.coeff recurrence4Scalar1Exceptional 248 = (((5554685401728554752174828449 * 10 ^ 70 + 233425830976581760512886234379546816529083565590345374224224724312316) * 10 ^ 70 + 1080552396361191416644056047524067535229416289630300474158195572316209) * 10 ^ 70 + 4377126571681093330729609571179451949523688471221935958819966001241030) * 10 ^ 70 + 9205842645919839599519181449396644285006931382190914503392952064371369

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_249 : Polynomial.coeff recurrence4Scalar1Exceptional 249 = -((((6282250467785144575310921659 * 10 ^ 70 + 5820995282580334005728409979640663838971331375717967706659768759273842) * 10 ^ 70 + 4131713901009917680972051192166102727403051320074557792207079385228820) * 10 ^ 70 + 9484499211868859687704164015566897784655277200939463688504215377734352) * 10 ^ 70 + 3461304633849520687925808160617154610322296444952542866440708142138720)