Recurrence 2 lookup certificate: Scalar4Exceptional 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.recurrence2Scalar4Exceptional_coeff_230 : Polynomial.coeff recurrence2Scalar4Exceptional 230 = (61018860610778648489795085654532544766265488821978954950 * 10 ^ 70 + 8856290925379039232125584811256234353990024108909589737625005455968187) * 10 ^ 70 + 6779941036796946402488885772187811318070156715553284057029157446005299

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_231 : Polynomial.coeff recurrence2Scalar4Exceptional 231 = -((371464117425536904282104240703699352818047457212708949055 * 10 ^ 70 + 8892123812768181278255876947666581457071126352376780995427861286778115) * 10 ^ 70 + 5695086199339554533356910422357134132789508192559069549720015683252560)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_232 : Polynomial.coeff recurrence2Scalar4Exceptional 232 = (453886887655759068117984671959655089791703252884800079056 * 10 ^ 70 + 5239133289109243896815416455860326053676258862094038917658057524200869) * 10 ^ 70 + 1714451987504763735761313349188218229742074416154389843364836967024756

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_233 : Polynomial.coeff recurrence2Scalar4Exceptional 233 = -((407203940182814923386669442563537413644965020445676283251 * 10 ^ 70 + 9141656806640676021264083217494565272220015547385592506555637031760573) * 10 ^ 70 + 5259010342063083705508238579491366989562785327959295475497828383617545)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_234 : Polynomial.coeff recurrence2Scalar4Exceptional 234 = (307112321324222999258654948725958882639293911247440306371 * 10 ^ 70 + 593063124751202171725222641457991351621479703614460019316363971963397) * 10 ^ 70 + 4849029371182080711960048615743333062093264489109991178135946167565689

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_235 : Polynomial.coeff recurrence2Scalar4Exceptional 235 = -((201861610761031274441077481543412695781470929784042990731 * 10 ^ 70 + 3196029878741548750663186186716211017153355878928804890601171616771372) * 10 ^ 70 + 5207035209328243704295815887345192270460031968936386939941721757913047)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_236 : Polynomial.coeff recurrence2Scalar4Exceptional 236 = (115718636918376423615425395485022236058613470848090569899 * 10 ^ 70 + 5639489344357128766700547358255955052332699877700835218640008640660334) * 10 ^ 70 + 2168993603400073416797623960461393525729095158702005603941970939699378

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_237 : Polynomial.coeff recurrence2Scalar4Exceptional 237 = -((55967529228447182363130041766554571379880160876816014011 * 10 ^ 70 + 9871789032007427027589022315088095708860110654551518774943998477144333) * 10 ^ 70 + 6040225290679753381906219294789612246128563036389314634603570944534262)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_238 : Polynomial.coeff recurrence2Scalar4Exceptional 238 = (20209978365248572984399379894335009916284409380354195104 * 10 ^ 70 + 2018648819985063570394819024451766482336690989265875298961698393236529) * 10 ^ 70 + 2840519678971634562841573581782281964036154419127613570781129814977926

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_239 : Polynomial.coeff recurrence2Scalar4Exceptional 239 = -((2119332177187025278604433443105868621566704081941381307 * 10 ^ 70 + 8091407355896048952337316727137082660410418288223077343881884410247300) * 10 ^ 70 + 1913424368111334156489972949490709495332308726968632726410553830075799)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_240 : Polynomial.coeff recurrence2Scalar4Exceptional 240 = -((4941298009733338781489923055688980258843921806139156242 * 10 ^ 70 + 8555115898793595455124963739304108346445996758942748147716988675946906) * 10 ^ 70 + 2845766069383371426346163884967157550682067659597142861551929422596986)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_241 : Polynomial.coeff recurrence2Scalar4Exceptional 241 = (6200903793737560732783672547889057087084708744087021873 * 10 ^ 70 + 2174666247854686125980214591181357694030495032608517012433081655783667) * 10 ^ 70 + 5398305442499995572722928396665676218867389903205570700307794012895587

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_242 : Polynomial.coeff recurrence2Scalar4Exceptional 242 = -((5065001271122000847692563511346649267108787112739571281 * 10 ^ 70 + 7582817059525463696368020622817697376634659331116851002654768329612278) * 10 ^ 70 + 8844025688421084661141408713950839632970290162596279626186393691198307)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_243 : Polynomial.coeff recurrence2Scalar4Exceptional 243 = (3386241784222754003455129614898291860781332625291265139 * 10 ^ 70 + 1171396489854476452494397834832529551895347678224192277523100748867229) * 10 ^ 70 + 3271174967585986109174307962222911532648967659432528068698355936973258

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_244 : Polynomial.coeff recurrence2Scalar4Exceptional 244 = -((1962300206128876470987872811227947489427721573138775354 * 10 ^ 70 + 8907938948272253584257933165502070091975662251802544458315331250536447) * 10 ^ 70 + 9086167811601135709868409560498801316410050832151704012982204777309979)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_245 : Polynomial.coeff recurrence2Scalar4Exceptional 245 = (999828914770475479496653453589168103321690989640514325 * 10 ^ 70 + 4924132906801461062411948344503855521905954330496102293451405660662934) * 10 ^ 70 + 2156840886067549846362787904134296483107420392978273982756064795918175

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_246 : Polynomial.coeff recurrence2Scalar4Exceptional 246 = -((443112010898769754341633303365494566557725995674108343 * 10 ^ 70 + 8564404164604148834315624269733902464817267760780957816504252689873650) * 10 ^ 70 + 7210938182727684191640398214202138530309338726035082245830657524637830)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_247 : Polynomial.coeff recurrence2Scalar4Exceptional 247 = (162825423424902527964442092311802134521055822274690018 * 10 ^ 70 + 9795379408853316015199253232978815153212563108618143913886538736905555) * 10 ^ 70 + 1347922877590076021367321342343939843479217299402102167400906694889698

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_248 : Polynomial.coeff recurrence2Scalar4Exceptional 248 = -((41620402360185900816815005869275350511771590078932010 * 10 ^ 70 + 9337895402615587877282243170255877641764821723315634620023557799874107) * 10 ^ 70 + 9698313923191526049211570555588090544659625787105357410235515614157548)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_249 : Polynomial.coeff recurrence2Scalar4Exceptional 249 = -((747400406011332661575000223651873812351605414293910 * 10 ^ 70 + 7752961113159913660957047174840859225634634950901075766146371478723194) * 10 ^ 70 + 5104544331215203870952627626591440467639441184430548457655215501883076)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_250 : Polynomial.coeff recurrence2Scalar4Exceptional 250 = (10041624376136906734445141245980917936116200459782579 * 10 ^ 70 + 9763662031113331664872562121840111009900132102956732920657566641566308) * 10 ^ 70 + 4130005162851477814783021043746207406018113023410604320354522673000912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_251 : Polynomial.coeff recurrence2Scalar4Exceptional 251 = -((8484860784090358989101794293074434100383019201556147 * 10 ^ 70 + 9906423262069630524166612325891901049039983779169041785580257527486116) * 10 ^ 70 + 5677063847260192535675108972256254313225632829849778124204346305126750)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_252 : Polynomial.coeff recurrence2Scalar4Exceptional 252 = (5056836126659377951261092963854317019345731462766959 * 10 ^ 70 + 8837683103459549563678689691327237456828742205888226311006091156065895) * 10 ^ 70 + 2508756363301789361952399931885743000355413054525528761700633611099732

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_253 : Polynomial.coeff recurrence2Scalar4Exceptional 253 = -((2470039868257528424321356455374481243462640708781375 * 10 ^ 70 + 3377352666256199214479360055220525613105689560852471099040189444548405) * 10 ^ 70 + 5213213467375095937902584291018046993381561404489196750237811424592908)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_254 : Polynomial.coeff recurrence2Scalar4Exceptional 254 = (1019807870319997500752343967018355726615981241552135 * 10 ^ 70 + 8475135832986766477554126902307018192088594243391827459678578714027552) * 10 ^ 70 + 2857832388443833985122254305580469830083385962413611857159779689415528

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_255 : Polynomial.coeff recurrence2Scalar4Exceptional 255 = -((348789332376061931792825777903971458605353640295909 * 10 ^ 70 + 396089532893117278862773837171162158505976993863504808431870473996272) * 10 ^ 70 + 9788541325823936096127707156385707940158661050752624566195219551601785)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_256 : Polynomial.coeff recurrence2Scalar4Exceptional 256 = (88754457999326641625954903931535581536313817094018 * 10 ^ 70 + 8551093926814303110774905084154630820257488905375682778576923278714943) * 10 ^ 70 + 5626778890513037936822997885681690641152632203452278804944148718598250

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_257 : Polynomial.coeff recurrence2Scalar4Exceptional 257 = -((7939747545981148227806190290173769543701841779549 * 10 ^ 70 + 4297835509939604902401665620078112693137424000009441516959515850744036) * 10 ^ 70 + 7649342367060157410729820078425166341421666025650717869229738756323737)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_258 : Polynomial.coeff recurrence2Scalar4Exceptional 258 = -((8463500350994569559327435395460511120989134013498 * 10 ^ 70 + 3045964629888300894238237346352698897830831395135869230861963558058181) * 10 ^ 70 + 3694090414450281879659988652152046867269308567232971604568949618336832)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_259 : Polynomial.coeff recurrence2Scalar4Exceptional 259 = (7290169664303616317120299279561301463955016956333 * 10 ^ 70 + 918330830191001791493513142203484526807352623705171234444233385249526) * 10 ^ 70 + 3173935879741437032519952684425571320427116422334465534771684311332953

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_260 : Polynomial.coeff recurrence2Scalar4Exceptional 260 = -((3867082328500726837612560928033312296897487527419 * 10 ^ 70 + 9644143631163085740642453686071136115788240514204565765268941127544823) * 10 ^ 70 + 2874385801957313990063276021809564288110622941817859609833930062616898)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_261 : Polynomial.coeff recurrence2Scalar4Exceptional 261 = (1629305643299178579691274881655089489995230209563 * 10 ^ 70 + 9619219731149411566650547390311113820193703505107333593431198615422575) * 10 ^ 70 + 3827336229734745001359955974558064068168019888306826048048359798206159