Recurrence 4 lookup certificate: Scalar2Second 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.recurrence4Scalar2Second_coeff_66 : Polynomial.coeff recurrence4Scalar2Second 66 = (1188086339929135193552618948478582658218770887070240 * 10 ^ 70 + 608986251142448573795834351422682847885966112042403691187766160029085) * 10 ^ 70 + 4800913096202868718233376947494334187479201039018508299435776297131516

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_67 : Polynomial.coeff recurrence4Scalar2Second 67 = -((34667141728207446724050124909937190406161772851836180 * 10 ^ 70 + 4830720364491576453290640065916974250554684138327148320096238680560627) * 10 ^ 70 + 1762358556572240897642777266594263561714549541655292442832869584124505)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_68 : Polynomial.coeff recurrence4Scalar2Second 68 = (959823442557517152984234620302053185328734975210387226 * 10 ^ 70 + 6461016291227357396413284921716174016399098930431888191884848993859027) * 10 ^ 70 + 1555931677283544694734720266716394385478115122086562633715714935891839

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_69 : Polynomial.coeff recurrence4Scalar2Second 69 = -((25188629046204620369564242311071462007000613569831627298 * 10 ^ 70 + 2752313975431869292936805677414521999620984015750640341143714203635785) * 10 ^ 70 + 8394393641189768894199158517748927432434224813888173305638436761751024)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_70 : Polynomial.coeff recurrence4Scalar2Second 70 = (625423866137673611035224743176323397267396468642685479113 * 10 ^ 70 + 1861085835236898232086819825807606153558472180965798843464106117562960) * 10 ^ 70 + 6175197652861765166830220305009112934172664233931054752675540478656493

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_71 : Polynomial.coeff recurrence4Scalar2Second 71 = -((14650255139834851551333690296435588237958777576180902882077 * 10 ^ 70 + 4960465201908441785485811405096212510970970213455401282323245469123878) * 10 ^ 70 + 9316206583562314649131175746105241370187326890669954030570652701197663)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_72 : Polynomial.coeff recurrence4Scalar2Second 72 = (322264395319051118065467695344271574586139274726393509292312 * 10 ^ 70 + 1655965811798922810073607140261510337145352064036907889532735563431378) * 10 ^ 70 + 2356003347368869769143085667723062804132115640356758887230365180330137

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_73 : Polynomial.coeff recurrence4Scalar2Second 73 = -((6606746978101934570427934976156198793798255509100441107799432 * 10 ^ 70 + 6118060431272698923539295883196385353035940455671435648353323339703982) * 10 ^ 70 + 2861410591060772066748833890355222753397985452253567201616125048948404)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_74 : Polynomial.coeff recurrence4Scalar2Second 74 = (124578876348991385015863247297925451803955248721570577474870737 * 10 ^ 70 + 1792212596022340198976914282743649959732713637684697750599225992737755) * 10 ^ 70 + 5241726651915194935534115227856577309767021830522665943216631469932304

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_75 : Polynomial.coeff recurrence4Scalar2Second 75 = -((2106275149389905536208076263749099908678689136133942276028534961 * 10 ^ 70 + 7155681319451105261576636606228623179679947620826164740567348756346491) * 10 ^ 70 + 3067069613179779100968054089672557084447452596909522097370134577700731)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_76 : Polynomial.coeff recurrence4Scalar2Second 76 = (30096689252320667930372896774627823239117473601177113705616424982 * 10 ^ 70 + 6326102035288798054758823707662825327691169607738717704780967418257241) * 10 ^ 70 + 3841994499140168191386297731333712579086742654243990976179945085215507

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_77 : Polynomial.coeff recurrence4Scalar2Second 77 = -((297257331140007345420351625915339585101787765451419994219867750218 * 10 ^ 70 + 5563850111570296608492071744734020310112408401503293706149767589976462) * 10 ^ 70 + 8093032019407818014756576917801047884093518078627687514629971622715425)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_78 : Polynomial.coeff recurrence4Scalar2Second 78 = -((740035252812824005877131717189427756408101660173019551898046924038 * 10 ^ 70 + 8969592013247523709444133290299133048656669099877206539411031094256198) * 10 ^ 70 + 9134541476272108951996686067467105962492341910964509514632621464625943)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_79 : Polynomial.coeff recurrence4Scalar2Second 79 = (144066362585058243845745427659883409981624914691721587576982210673106 * 10 ^ 70 + 4960721316893568006308877364093279588888005533614293556994287556241165) * 10 ^ 70 + 2065685517086991088399551849428828781087698784557833225330023432018158

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_80 : Polynomial.coeff recurrence4Scalar2Second 80 = -((5064193354605047402782758512945269010735285755356039043145146269696583 * 10 ^ 70 + 9409831541084856406628150248984312989389165632453393333621264532002035) * 10 ^ 70 + 7158185250461232939343595653845987164200475865625387999835516645976017)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_81 : Polynomial.coeff recurrence4Scalar2Second 81 = ((13 * 10 ^ 70 + 2027337073985005383037671566197647341746430155766611458988264313199447) * 10 ^ 70 + 4369505291060253126240720339709719547069023358884550219796940392266460) * 10 ^ 70 + 6152979027451919571247900663331841145892840346183284522923427905219320

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_82 : Polynomial.coeff recurrence4Scalar2Second 82 = -(((294 * 10 ^ 70 + 4740364294647808617766947863864506594195664789895103595757935225452399) * 10 ^ 70 + 7413343082094074060084680983892168490092218250519731566059254489692684) * 10 ^ 70 + 9192010704927520317000637076995803378134679575582421722373293176401808)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_83 : Polynomial.coeff recurrence4Scalar2Second 83 = ((5873 * 10 ^ 70 + 9103014618976823436456600673949846179006008307154343078449469210767756) * 10 ^ 70 + 8078734259493552922824459572585225160627987374140371164040415452792496) * 10 ^ 70 + 8401447064040546198211730002525062443917609378943341562099662312207518

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_84 : Polynomial.coeff recurrence4Scalar2Second 84 = -(((106479 * 10 ^ 70 + 2543568903067150323483064921317349250248613905979938146244313399491633) * 10 ^ 70 + 1471633930770774601122308243940645133298448857568295439878477616235740) * 10 ^ 70 + 1737329466232096787727445906939098859206439258993690134836813828754126)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_85 : Polynomial.coeff recurrence4Scalar2Second 85 = ((1757487 * 10 ^ 70 + 8892122588952416440306693872972049393233867620342349829331110223884186) * 10 ^ 70 + 3308769791011938192650389819920876584102616912500922042441877921426551) * 10 ^ 70 + 4391771130204690743093667230403198204316091037932426684946335688586584

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_86 : Polynomial.coeff recurrence4Scalar2Second 86 = -(((26121012 * 10 ^ 70 + 6478427180080693807487549582972094203510534003266578038984634296237416) * 10 ^ 70 + 7873470606286602397681931741053088715343162870515644605648576755730) * 10 ^ 70 + 3189979582605137408285600159958464780350735127801177382887847708272964)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_87 : Polynomial.coeff recurrence4Scalar2Second 87 = ((337937030 * 10 ^ 70 + 4155958236124595452629875804893246553584938385379695924387971077938770) * 10 ^ 70 + 9093011766026378909806963918254918929840872864945080178549972653615404) * 10 ^ 70 + 5162145254246075229665014026785691188814867360828424541925016463801390

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_88 : Polynomial.coeff recurrence4Scalar2Second 88 = -(((3434389965 * 10 ^ 70 + 946552862816366709409819666780492282984628001352899387966925801250433) * 10 ^ 70 + 790026858453360070972217375414246274657352336795701179965809706914550) * 10 ^ 70 + 7920369663656239964011202876359303887839244552852773548871665555312988)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_89 : Polynomial.coeff recurrence4Scalar2Second 89 = ((15182020997 * 10 ^ 70 + 4308794749809329959154919967923453845203479353481520675048102443355321) * 10 ^ 70 + 376543540130855678917716608456766601223982561656049128023028243745740) * 10 ^ 70 + 8034503363099568420999596512489580704942767422796329494196077555983415

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_90 : Polynomial.coeff recurrence4Scalar2Second 90 = ((459393289015 * 10 ^ 70 + 2594671297353716302712122802426959433501796208003646259651280112010051) * 10 ^ 70 + 8772593106864960756066494912542224320429576152605097903716692570453589) * 10 ^ 70 + 2360163660972062218719517088635833728502332035782931885331038935735482

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_91 : Polynomial.coeff recurrence4Scalar2Second 91 = -(((18466143959016 * 10 ^ 70 + 8716069964694598542723497415947764014602026164308170660623853170466705) * 10 ^ 70 + 9448993561639580140023492617285139543731278119867276815130857455977777) * 10 ^ 70 + 409450309073942605052104645091201149501413620703714897190479920420815)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_92 : Polynomial.coeff recurrence4Scalar2Second 92 = ((453520789165496 * 10 ^ 70 + 8303335156114339212076992755662893565630916998495463901610687589765875) * 10 ^ 70 + 4664230887147489360862037864556194346286165642299183847893189304767837) * 10 ^ 70 + 9449184833946750499506516951057346573852745818477299596238924642396960

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_93 : Polynomial.coeff recurrence4Scalar2Second 93 = -(((9242124426432472 * 10 ^ 70 + 7078770821266662131353244714168373010277647355478016839185311353829057) * 10 ^ 70 + 318214910836053012710818893577117327943046018278957280976725079569887) * 10 ^ 70 + 4885564934645430014286524362917968370170254114303239627378344003111076)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_94 : Polynomial.coeff recurrence4Scalar2Second 94 = ((168736339302323804 * 10 ^ 70 + 7571492892887034645035643049518508496280103265413219152694199159208606) * 10 ^ 70 + 5984135536980380105370380368636305130564620323149694144326823847833830) * 10 ^ 70 + 9078106607620278516790264323606736028639734276314380730586173819808876

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_95 : Polynomial.coeff recurrence4Scalar2Second 95 = -(((2848548734281252426 * 10 ^ 70 + 5486698976061323115345676691622066038193611678430259423811704575015793) * 10 ^ 70 + 6882650002997882076194732316963153838322314075646095559831008221542842) * 10 ^ 70 + 341897513792374086107632310235499893600256456975348460227995735442116)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_96 : Polynomial.coeff recurrence4Scalar2Second 96 = ((45196196857582199541 * 10 ^ 70 + 3084753825052694459013247552682127693909542102889466614722210932160810) * 10 ^ 70 + 2753163511209521959963145818424987080625041287726353150991592873682881) * 10 ^ 70 + 3166175550175337826228550936728700803053841712725765578147128883975751

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_97 : Polynomial.coeff recurrence4Scalar2Second 97 = -(((680514964267919895294 * 10 ^ 70 + 8617318259823180121892807358661111322015839462338227730013458911993540) * 10 ^ 70 + 5205212327352570209413595930157734456636219862568832422937121113098393) * 10 ^ 70 + 7131016087321299394993984052063847658141119397657642087469171972767196)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_98 : Polynomial.coeff recurrence4Scalar2Second 98 = ((9784880746095259490535 * 10 ^ 70 + 5933552742981861157159292578672333648094365103868903005418748405703523) * 10 ^ 70 + 8850458001817866595321009770643411140431209168500026617828524148807846) * 10 ^ 70 + 5871963336208679552836456859862164272834117325681714021327631121415334

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_99 : Polynomial.coeff recurrence4Scalar2Second 99 = -(((134942765626567266982919 * 10 ^ 70 + 4789696699047320020604305797160999631084579064398881738107475302945764) * 10 ^ 70 + 9684881272057259262567546506398459934757732284609965720791556787448846) * 10 ^ 70 + 3929150752571444710468873747648466275442032114788232867251114611041731)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_100 : Polynomial.coeff recurrence4Scalar2Second 100 = ((1790635693520388832422279 * 10 ^ 70 + 4431385822732769558908366756319004180906984191979455858778089937280491) * 10 ^ 70 + 248423222626065940251251837400114483531321654967473841495025577547772) * 10 ^ 70 + 4357235696632092467018825293076934926745828932717869855759435253116260

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_101 : Polynomial.coeff recurrence4Scalar2Second 101 = -(((22918571574687880972988568 * 10 ^ 70 + 7074838075844619508251018571838547804638030579933625250589919487987275) * 10 ^ 70 + 4697411291982297261409318058232831428794783892430815758164807529342382) * 10 ^ 70 + 3193789402571520180004391877987166998093464740973442088169023637904592)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_102 : Polynomial.coeff recurrence4Scalar2Second 102 = ((283482845132699797004307019 * 10 ^ 70 + 5428483352412598686806089686629808823528913483319015275662138540066256) * 10 ^ 70 + 2951988116300581518207843336680127343727360169841111596179557592148955) * 10 ^ 70 + 8021652067665592724207087856622490812965134390275076370618129090558910

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_103 : Polynomial.coeff recurrence4Scalar2Second 103 = -(((3393938060034945146249261443 * 10 ^ 70 + 2086116311006027204241362212837532344533652018543196380554328326478080) * 10 ^ 70 + 6711677024306394202876917284328310434444360856323711876541307756080803) * 10 ^ 70 + 4488896253443354002144893976980916675568119102028237024679268650976535)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_104 : Polynomial.coeff recurrence4Scalar2Second 104 = ((39380684959590227017979604252 * 10 ^ 70 + 6259243008184703510368750720309903325255888831279699715993715384894647) * 10 ^ 70 + 8888948984231404571257473911609377364128673805572459158032922959186812) * 10 ^ 70 + 2750418226946330967575640750901854057857338412065372935026430533020143

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_105 : Polynomial.coeff recurrence4Scalar2Second 105 = -(((443346525697960534671413526816 * 10 ^ 70 + 1834110595200410838960538786378048128266833698627149840094445536866114) * 10 ^ 70 + 6351061142331489617492939813905386178204347071618044318014951732526376) * 10 ^ 70 + 1612393003226185553394713995184427213837107894622876483501773150548515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_106 : Polynomial.coeff recurrence4Scalar2Second 106 = ((4847263821306448428602718656041 * 10 ^ 70 + 8055502938740079525231650118359210512342764614936011489325466551382117) * 10 ^ 70 + 7016358740944232548823661936696095616491682139203065402094895883635164) * 10 ^ 70 + 6875113206946639777546652138356382146499488666149551016968179552321557

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_107 : Polynomial.coeff recurrence4Scalar2Second 107 = -(((51511520849696006536038280669475 * 10 ^ 70 + 556679445894859928685785064432087288339910037047855993723008901938309) * 10 ^ 70 + 493668897423505698423051619979016248732923316937271342910200256640730) * 10 ^ 70 + 683496400469447784463223946896322071316159162995789721570930603446878)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_108 : Polynomial.coeff recurrence4Scalar2Second 108 = ((532459302928519599402751338216938 * 10 ^ 70 + 2099884479506911871858881555642092750644112660916029776020865872555799) * 10 ^ 70 + 9764507612979758375589170779749260320209221264057472500537924103108922) * 10 ^ 70 + 6900858045578525620773887659434119286789049263487928643023209329304664

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_109 : Polynomial.coeff recurrence4Scalar2Second 109 = -(((5357096495088929647100551502304381 * 10 ^ 70 + 8305686949989922463363820183610196819311404385893666705215085849797650) * 10 ^ 70 + 7623895193652999212919075944480239264230287967606326013160857264676435) * 10 ^ 70 + 315579641799284575574083536224259519776763075912577267969421207707131)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_110 : Polynomial.coeff recurrence4Scalar2Second 110 = ((52491964365163984094204051050004938 * 10 ^ 70 + 9251330111350944132309552970424660728353982560691071266696438060149481) * 10 ^ 70 + 9372116296518883848207636873219574589442005314287723032385333382694790) * 10 ^ 70 + 6651149516296704868721962289366950583772203383944144600737602399665203

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_111 : Polynomial.coeff recurrence4Scalar2Second 111 = -(((501202234432557544649340939576789997 * 10 ^ 70 + 6405099055039751841310732413261523524692500654031234095521073329501085) * 10 ^ 70 + 6806076575690805624303970315877349230642770101095035811380462954809359) * 10 ^ 70 + 451623947523884250722968035056805795442231342053246961961095018204322)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_112 : Polynomial.coeff recurrence4Scalar2Second 112 = ((4665597723612261991596842509354781106 * 10 ^ 70 + 7279279932470257830906498159921210400832840443425178807097703493266685) * 10 ^ 70 + 208457578307592416643103395184776894125360022338616895534277518514062) * 10 ^ 70 + 8398493343993960482561220461307280736027700328285242645112813173272857

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_113 : Polynomial.coeff recurrence4Scalar2Second 113 = -(((42362017643231985120446195332559711933 * 10 ^ 70 + 4887088800531644391952372381856949258007416130590985961466326887353932) * 10 ^ 70 + 7488129534112890885366626018163451741267984927697095715229440753567778) * 10 ^ 70 + 4918204640324954379468797119852326035588159213686145526460155572567878)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_114 : Polynomial.coeff recurrence4Scalar2Second 114 = ((375325342338927330544481769100428252109 * 10 ^ 70 + 7131373369901096741784614159377852635973123479159703268365125099883232) * 10 ^ 70 + 6691349673044964842814911847105142780001364918713868234014546537537973) * 10 ^ 70 + 4488174164706077928476730561664692411405583700059859881880274854699680