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_294 : Polynomial.coeff recurrence4Scalar1Exceptional 294 = (((1632438185893987025368894 * 10 ^ 70 + 8271922381840033489851870586407153558678771415349408360553882630570247) * 10 ^ 70 + 4659364573820665687436165830954507478966642708365448341592134213906191) * 10 ^ 70 + 4640325036950587320025915466932312597096202399627998216479632040500023) * 10 ^ 70 + 8746997696905216501268430365604091767443391148947179451146061426234000

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_295 : Polynomial.coeff recurrence4Scalar1Exceptional 295 = -((((974567161934249696010356 * 10 ^ 70 + 4691379194035945156860429741813348516585416812699672789660578103055324) * 10 ^ 70 + 204713068176900037062428255042516578042664133933691090677676731713714) * 10 ^ 70 + 5383583488247874651107969526877168194133520793608849108786965848496344) * 10 ^ 70 + 340336391626819103459522136912121781558087028269996103565312703404070)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_296 : Polynomial.coeff recurrence4Scalar1Exceptional 296 = (((572540546658626566005694 * 10 ^ 70 + 4778599439264739674030513314675181277011783275858433156406697523852527) * 10 ^ 70 + 8576593663327178984502711233400353400929352601329326149211452194522210) * 10 ^ 70 + 6688656877972735082138747873627091079601131288574265729774617968099910) * 10 ^ 70 + 2219530947368217262200830963841589311895122889807660111813864529905498

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_297 : Polynomial.coeff recurrence4Scalar1Exceptional 297 = -((((331232712898305272553676 * 10 ^ 70 + 5442862086522452344417927447278744730343012362400070694217114018477477) * 10 ^ 70 + 9409598111342997100224102476321419444010951075177682189910952360059325) * 10 ^ 70 + 4844952700085428645933502258179846486902016151220503435746833220383912) * 10 ^ 70 + 138262177428440337660330472523961323207008623494876528613378941008690)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_298 : Polynomial.coeff recurrence4Scalar1Exceptional 298 = (((188961118456282703579034 * 10 ^ 70 + 378959633777814595670682481846711600102118203257552561622143052552568) * 10 ^ 70 + 5929892557650213248954939105339094142668624275443655430960240976884776) * 10 ^ 70 + 5519754964444715747575330668723678783089356406999118364516345783782364) * 10 ^ 70 + 3815940332422919946487726816258702448110386622206655641631854403906335

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_299 : Polynomial.coeff recurrence4Scalar1Exceptional 299 = -((((106535512876377735754992 * 10 ^ 70 + 8596720292607967127687122686515618049577590506219592878696112406174612) * 10 ^ 70 + 7019413797582755290929154074966214753557330307952333774424063794181671) * 10 ^ 70 + 3257153080748574180436500200682723517138497430286215244158110489105446) * 10 ^ 70 + 9762541172726850023531783804298947530792269464117850798793787799961503)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_300 : Polynomial.coeff recurrence4Scalar1Exceptional 300 = (((59567702022884465820469 * 10 ^ 70 + 2082556068630790363220026791009388011289533759711475745453256247343831) * 10 ^ 70 + 3224412164075378159577089161685360447357365284394595639870044828004606) * 10 ^ 70 + 4322569363050250979514881399149758177981296229451031665734030407858649) * 10 ^ 70 + 6971959351440157764431925255254967458143200231755290134608503632784036

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_301 : Polynomial.coeff recurrence4Scalar1Exceptional 301 = -((((33198718534819545738006 * 10 ^ 70 + 9836804607314133894232915193539239076202201403069081804593981749885996) * 10 ^ 70 + 1936168218137521396445113955143264137932380429965521270450354702972538) * 10 ^ 70 + 332459397851547232441701879597957840899510757165945313503217807418240) * 10 ^ 70 + 5544025453773866894500561890159570580016580264742284004777938751146168)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_302 : Polynomial.coeff recurrence4Scalar1Exceptional 302 = (((18568541814574563759227 * 10 ^ 70 + 6524175153975102775730363274000968308337230713205007673083613051249674) * 10 ^ 70 + 8386251740607647765054567034273488536466938102473702835163270034185180) * 10 ^ 70 + 5915647876938576543098912370121812975416698252157768850193641616669168) * 10 ^ 70 + 7737418811035815163520403092998536023834927926300408472837882914562554

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_303 : Polynomial.coeff recurrence4Scalar1Exceptional 303 = -((((10508318112582739838846 * 10 ^ 70 + 490716292417077646827543208053901700108086421193638146429016749988025) * 10 ^ 70 + 4563540467490154922841081377911924933446118661719825535288559219584763) * 10 ^ 70 + 5319084221587933541008000543225661363988640623051392154442283325393374) * 10 ^ 70 + 1664919948051031912951208729037719184367666713699187673052902499613785)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_304 : Polynomial.coeff recurrence4Scalar1Exceptional 304 = (((6067805385324003413044 * 10 ^ 70 + 8548440033087302544226641455743310949326768773505722478815757059848006) * 10 ^ 70 + 2974958813314252999098376983104141390115198520436908713411424282080369) * 10 ^ 70 + 8528805419603909688933218493763803604519029782115096511110193577032973) * 10 ^ 70 + 2309831235066378338600671542252447899050675383205089301635714234389442

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_305 : Polynomial.coeff recurrence4Scalar1Exceptional 305 = -((((3598664665298428259056 * 10 ^ 70 + 5845581551484636377187442402438830427089995822424962769304903253673105) * 10 ^ 70 + 953941082343543262097450895788916989062897553414643076892603137115688) * 10 ^ 70 + 8302430266914142103645652131554932736331491921265401643729862344725401) * 10 ^ 70 + 1288540753843178691158710789010182895769078390420816934999645359048935)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_306 : Polynomial.coeff recurrence4Scalar1Exceptional 306 = (((2198057681074446547263 * 10 ^ 70 + 4539763340331136115122849281013518006099849739743570296372855040010) * 10 ^ 70 + 3729436223571710046912701631889073252361518665358224087100904219601131) * 10 ^ 70 + 2236727967971430396460075848886436611113051122580475160253712162629484) * 10 ^ 70 + 7950104593014470166059774676707944502610729792655087935954401156278011

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_307 : Polynomial.coeff recurrence4Scalar1Exceptional 307 = -((((1379646179575280980460 * 10 ^ 70 + 4016232673863059160992408716103315206609862641290345191922892788431936) * 10 ^ 70 + 8133780014583409458731331617406395142253325205541834053084641165103125) * 10 ^ 70 + 3766606064293213365047168629658148840660678311668516975616767576390136) * 10 ^ 70 + 9068526618375891869560741619352644456172199555986726695641063535954742)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_308 : Polynomial.coeff recurrence4Scalar1Exceptional 308 = (((884239478340075435617 * 10 ^ 70 + 4269127658979301511973701609256330344100316154192806495419022536450853) * 10 ^ 70 + 1849257473682726200441671847891947021812711333902037530397531765413380) * 10 ^ 70 + 2665125281618728775711146012273394550615592129921024316606818436310750) * 10 ^ 70 + 1907974758945527079389373590858772317754870939393503046494412524547015

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_309 : Polynomial.coeff recurrence4Scalar1Exceptional 309 = -((((573808065275258891176 * 10 ^ 70 + 2010172748822025417116978591389898362356411057526988946557179061746371) * 10 ^ 70 + 2488018152245266337677383443443783120028931001507593314359222194253165) * 10 ^ 70 + 3284079944824841243259266000794025701219223636992351621573013905498969) * 10 ^ 70 + 1884764921710773261599962953067563541349978161105907622401701940117149)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_310 : Polynomial.coeff recurrence4Scalar1Exceptional 310 = (((373817669402979534037 * 10 ^ 70 + 8960949101998350126878968920712805061934441061321773413066701654641116) * 10 ^ 70 + 9534404314379574483476175147157207383312928130117927854301144790288284) * 10 ^ 70 + 7429476901928104109574295835299532126230716402485559413845389318487360) * 10 ^ 70 + 6563221277817833530028572740104992967594229526368605818491006539657510

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_311 : Polynomial.coeff recurrence4Scalar1Exceptional 311 = -((((242717942800001806443 * 10 ^ 70 + 1575818202114623491492460839976639011844396434268672623711015805433634) * 10 ^ 70 + 1015596140375634808060172269718425591965116277241772020960737484007062) * 10 ^ 70 + 3958461305408208779865736462789041057057014593743856397416629013123373) * 10 ^ 70 + 2425859286948798767276508723413168230410823751647103504504861248709184)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_312 : Polynomial.coeff recurrence4Scalar1Exceptional 312 = (((156204472350645393000 * 10 ^ 70 + 6440686415172639354068660058843878303295420184085947064469605003626040) * 10 ^ 70 + 6117139040132812041637888631716447084281696913171044612926633530031700) * 10 ^ 70 + 9131186337131356313427720940847158061387853844960813337747666116462669) * 10 ^ 70 + 9606732749932667001805992899418818722520005904337430293651280670556847

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_313 : Polynomial.coeff recurrence4Scalar1Exceptional 313 = -((((99252507037498162080 * 10 ^ 70 + 4190747421235003703768896787155265410636630753868354237075559217081911) * 10 ^ 70 + 4030708369425142581152544755068912752905049596335367000826001756365027) * 10 ^ 70 + 826619007130793065669009117925693361921476814891647708157621263331871) * 10 ^ 70 + 3586791639646774479912335090317388314111286870803851995760896816521938)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_314 : Polynomial.coeff recurrence4Scalar1Exceptional 314 = (((62103865585272468164 * 10 ^ 70 + 6443189326201000049640667616387247073032387328873934413448522050988345) * 10 ^ 70 + 8684578190171410115676093466454746868440056477283198598907408496806092) * 10 ^ 70 + 9270438855860190859648922588667752606045714212173008080236336153406064) * 10 ^ 70 + 2454500309806612144722512824811719331417253530464562051864569618383316

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_315 : Polynomial.coeff recurrence4Scalar1Exceptional 315 = -((((38204150755834228461 * 10 ^ 70 + 9526613086408022656642871854674171537332333013348768946691702155604901) * 10 ^ 70 + 26730525879697634504760533299525663800055939238484043686713723349267) * 10 ^ 70 + 6352021906226013554263710164470929992872608443490894604133724882173170) * 10 ^ 70 + 6320047289200127045236603352909006568124663469772292510824625291471886)