Recurrence 2 lookup certificate: Scalar2Exceptional 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.recurrence2Scalar2Exceptional_coeff_201 : Polynomial.coeff recurrence2Scalar2Exceptional 201 = (119337343198546079390165946967288722277030886756610013286823 * 10 ^ 70 + 6377601564645778916830086374968205648333481306515166394691628139955680) * 10 ^ 70 + 4995542067762348171865641988646361662014278754345401902206973162260855

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_202 : Polynomial.coeff recurrence2Scalar2Exceptional 202 = -((316347301641980670972661629030978245231384387394779791501496 * 10 ^ 70 + 4718920737927145707113737461972280501537029341460088216576265612115980) * 10 ^ 70 + 500066936600870223042772900808141924157865086992105526223468394555182)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_203 : Polynomial.coeff recurrence2Scalar2Exceptional 203 = (609122013292579166868570270812346293039618446455945530454697 * 10 ^ 70 + 6538214792374876427263228034023691894730442818361820331821911708851375) * 10 ^ 70 + 4635770552824040429454058353339206530486996175109996537467502640085650

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_204 : Polynomial.coeff recurrence2Scalar2Exceptional 204 = -((993810614974209173615303917283226961928126154383114454838187 * 10 ^ 70 + 8627792818562200896578846663560338233930588243564585507203624905356975) * 10 ^ 70 + 3307806652100595485731821881657890102991270910544848932426224480025669)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_205 : Polynomial.coeff recurrence2Scalar2Exceptional 205 = (1441126440450558330830705749422636315477722158595046475618065 * 10 ^ 70 + 9331784849595257641451854640546788457399037463438678015619206211565461) * 10 ^ 70 + 2598840251151133212793297012354293839797379558108203555719509657204822

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_206 : Polynomial.coeff recurrence2Scalar2Exceptional 206 = -((1891585857911644724095387585805811798258448676586522351526358 * 10 ^ 70 + 2394900011771768446385743225720053358152771691006615333288098518960556) * 10 ^ 70 + 7592287346620585503337368012386036027063570690309671751495610004114191)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_207 : Polynomial.coeff recurrence2Scalar2Exceptional 207 = (2257674949285670538528266888898650731914951606972006221399531 * 10 ^ 70 + 4689910654635079272281756319225051171537201416851017695476333612379778) * 10 ^ 70 + 4400586460386964015626776048290521187381196403725494745512523024988365

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_208 : Polynomial.coeff recurrence2Scalar2Exceptional 208 = -((2435124064321593264782726081570743405080095921785961569610410 * 10 ^ 70 + 8541899086186663411165875138238357670713049258758550316733888192327324) * 10 ^ 70 + 5782962995761170352219777741651041614762799854831258670110563027966056)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_209 : Polynomial.coeff recurrence2Scalar2Exceptional 209 = (2323128665158843812254303272958506429976626523255851331711214 * 10 ^ 70 + 4348712255757328654920193072287829965723334129876206372736284893037132) * 10 ^ 70 + 4338514885878237614990539858529172720933566193487985722371058473240312

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_210 : Polynomial.coeff recurrence2Scalar2Exceptional 210 = -((1850251158687018682405686010053157485866518464214112131373062 * 10 ^ 70 + 1412684429329119827714971119585248578879762706411753144513502200062417) * 10 ^ 70 + 7311777477889059647846313675993215197117852022253236259795626907359296)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_211 : Polynomial.coeff recurrence2Scalar2Exceptional 211 = (999844759335918117457696792049896158356221237425939523420090 * 10 ^ 70 + 4505774761445314311861582878319323101060786497224983686953743258859666) * 10 ^ 70 + 7809362340647646036695305216300957246726336588539389228731715149608338

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_212 : Polynomial.coeff recurrence2Scalar2Exceptional 212 = (172667691473073397245309933489418906061035652061236304527927 * 10 ^ 70 + 7263542532584162772173940912955982868378830380987584144397540174031110) * 10 ^ 70 + 7160139025883828104138663396278947030881058330780214243129056288691221

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_213 : Polynomial.coeff recurrence2Scalar2Exceptional 213 = -((1537525216298552841241693272921907892561702453767085984881516 * 10 ^ 70 + 7527901753633731945454447230746334681455266252549061433743844146819328) * 10 ^ 70 + 7457861413513045396465901409160768184297124907871556487034634236882537)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_214 : Polynomial.coeff recurrence2Scalar2Exceptional 214 = (2906906566561407946261936806217326805641237932638683253143454 * 10 ^ 70 + 9083522642307595417906873027267319455864642826070227363610766018369862) * 10 ^ 70 + 7641205039554370610598182076622410177348386185733854831880860395217026

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_215 : Polynomial.coeff recurrence2Scalar2Exceptional 215 = -((4068165201831718641154420554831246860477578083933611899191395 * 10 ^ 70 + 6821464591840509011135991022962659971215601852310503723621766235207986) * 10 ^ 70 + 7333069820988128425135154168649259796487692837351344102658316183993581)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_216 : Polynomial.coeff recurrence2Scalar2Exceptional 216 = (4827062121131999937878779301584228464873338940496825160052509 * 10 ^ 70 + 5943923373056724929293194544052938694088097256159879807297602957064979) * 10 ^ 70 + 7438383722919951265690040401946069252561210154467709881642019310291131

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_217 : Polynomial.coeff recurrence2Scalar2Exceptional 217 = -((5050289128705462905440335045797793228228973363129768330223775 * 10 ^ 70 + 3427706938299119229893493644584318161384304404818719984824650784107530) * 10 ^ 70 + 6376895704500501202953599042977568921206855032139507291657194674741388)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_218 : Polynomial.coeff recurrence2Scalar2Exceptional 218 = (4695921734455754153652665710469805145154502638647539528385079 * 10 ^ 70 + 9149975960519606049071514221591539615798430129011923910488637441220633) * 10 ^ 70 + 8120609918731262606683130117505807357832950757091311894791735526322919

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_219 : Polynomial.coeff recurrence2Scalar2Exceptional 219 = -((3823340838027544483547667520066579002458070637517100150512246 * 10 ^ 70 + 9247385146247689399367367039683257693643944214738501376906933080620598) * 10 ^ 70 + 4891498076125751422093492205624789325149108238819922446134485631205562)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_220 : Polynomial.coeff recurrence2Scalar2Exceptional 220 = (2579808337619970358478182958921034214546334017553939347375799 * 10 ^ 70 + 7756369037268568411856700414198591690272677052172537981220552122403648) * 10 ^ 70 + 878140585337999988648843576294373697205479088396447394702051542820819

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_221 : Polynomial.coeff recurrence2Scalar2Exceptional 221 = -((1167452927884486130802910001559379866865266300830690912028352 * 10 ^ 70 + 6148059884282575975138906904016437441577682770767422727461070083734998) * 10 ^ 70 + 5388015961296442799038135345110776085242597424193353467737437266263378)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_222 : Polynomial.coeff recurrence2Scalar2Exceptional 222 = -((200246230787615287859059911874532535849359222701851053489620 * 10 ^ 70 + 6853294156195596857758955795753204702255286963542823660425283208785735) * 10 ^ 70 + 3290735272587958846044214634700091441760321555990539773160985475526275)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_223 : Polynomial.coeff recurrence2Scalar2Exceptional 223 = (1340995512893516178589984500105933717489447478860413301997226 * 10 ^ 70 + 7175076586175449157295474301184302520214265026293405351689493929889155) * 10 ^ 70 + 5675744765030284555619134779964626015792742872685847056164712866081831

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_224 : Polynomial.coeff recurrence2Scalar2Exceptional 224 = -((2134916773802097975409437932356696687575098664903675275993412 * 10 ^ 70 + 8940225608819894330482023823953279848139738262824768783013190447616134) * 10 ^ 70 + 130292529022660356083458076448430788001555846057400558080999918531651)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_225 : Polynomial.coeff recurrence2Scalar2Exceptional 225 = (2538217847206419670097852799123490657326136948745431671875072 * 10 ^ 70 + 938224420791960838920541622713482859877990636624511322537152947503976) * 10 ^ 70 + 6963750851023152793606567765914174810703965695585121685971999603108922

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_226 : Polynomial.coeff recurrence2Scalar2Exceptional 226 = -((2578474155427233493109003726730762272595744196718421071922396 * 10 ^ 70 + 4167797532980986084966823535485963844582281537559798035130221766754096) * 10 ^ 70 + 9847480657444460268984094703043950881532694426048473234329626233111392)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_227 : Polynomial.coeff recurrence2Scalar2Exceptional 227 = (2335623525285370332663248531030383196883861837162273704483959 * 10 ^ 70 + 561895726738587719096290043862039361241656173383313019336472303275702) * 10 ^ 70 + 8262097639127631478400571190885070512520968098101160936581015861116314

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_228 : Polynomial.coeff recurrence2Scalar2Exceptional 228 = -((1915775278732860887759814420899771190603650841562584873579235 * 10 ^ 70 + 6398147716597446878513067743187174049319882785302668463590891889415640) * 10 ^ 70 + 6685316598213087901978526095430939961899819437765144884072758732722477)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_229 : Polynomial.coeff recurrence2Scalar2Exceptional 229 = (1425411023739512973710906207031978440407562707587166903939852 * 10 ^ 70 + 6893520805305083059916429363784753209184820382036447399910938853786847) * 10 ^ 70 + 6936609362622450835798900555583711688264199676815211780964141207984405

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_230 : Polynomial.coeff recurrence2Scalar2Exceptional 230 = -((951835240251972387047244936661552624169947825752852231632587 * 10 ^ 70 + 5597967937160185045284738050301639259543780604520273587844280400848044) * 10 ^ 70 + 56560251411239865722011836639730752144168501139901541704869619145343)