Recurrence 4 lookup certificate: Scalar1Second 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.recurrence4Scalar1Second_coeff_432 : Polynomial.coeff recurrence4Scalar1Second 432 = -(((92293160421528391693610906987671231981470 * 10 ^ 70 + 8411123080066116221583514139556082031401215693767902989845672401313877) * 10 ^ 70 + 1587618104894437688376834671828803733741272259238437252600824623241924) * 10 ^ 70 + 5689438219381902584021118731506223909707603405015295274294104594235169)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_433 : Polynomial.coeff recurrence4Scalar1Second 433 = ((9865534871663096497470216961597474778126 * 10 ^ 70 + 7600840356744552718271856138070699105413216688285631671057749384113258) * 10 ^ 70 + 644235644129417412797316870197551179637393283600869534620694162676377) * 10 ^ 70 + 2922484042333529615372816545184022612736848000355742567965362125169306

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_434 : Polynomial.coeff recurrence4Scalar1Second 434 = ((1277314558572554937260862677237733571596 * 10 ^ 70 + 7194696209167775395388160539186286945606547756839888748138506697414264) * 10 ^ 70 + 6482864011725457108950797121826933591053813692805432256297370085063066) * 10 ^ 70 + 8353193941311443860536048769889054304138901652478988354992180863122354

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_435 : Polynomial.coeff recurrence4Scalar1Second 435 = -(((1258341248498370616457025847042809136525 * 10 ^ 70 + 5046873303226664767048547744094260953889135688096419247382664901151249) * 10 ^ 70 + 5236188707441051869372655435103389149082000478757629261907769925985026) * 10 ^ 70 + 5377872471446351571576587064784732214277905444728530570272841018900553)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_436 : Polynomial.coeff recurrence4Scalar1Second 436 = ((521689453634931559915663054077059575808 * 10 ^ 70 + 8836381586833548243580139493126647377784022214023217006517794477426959) * 10 ^ 70 + 3144368632953912020837814535664004608077973961672886202580271613352720) * 10 ^ 70 + 2611694337095562236469398597959385445545111568062252600534499337681999

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_437 : Polynomial.coeff recurrence4Scalar1Second 437 = -(((169140714934240128907386854967896714829 * 10 ^ 70 + 8441630890784539228910542038446970006492757831522094708069542095390060) * 10 ^ 70 + 6065733236568789141948007966044716248780071625278635228947996194756176) * 10 ^ 70 + 9893069933939039869441395967474399916187910423718440827751131023718730)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_438 : Polynomial.coeff recurrence4Scalar1Second 438 = ((47701491235600412546430556787133665113 * 10 ^ 70 + 3818545074126602980992776768408120201073881050783571978230395341211058) * 10 ^ 70 + 7346407898649191314310853848291700013359253088838212543375597376636687) * 10 ^ 70 + 5713042147467019539498389472313527274333903251645359694926421884976916

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_439 : Polynomial.coeff recurrence4Scalar1Second 439 = -(((12143015170447985707380343957004830484 * 10 ^ 70 + 9085895414648407573018052535483418097653350808169150823916393281300565) * 10 ^ 70 + 9020437523130636039934148764547685205291221272517568829410960465627550) * 10 ^ 70 + 4448012366725809037330412597074424471409516999580098783673882152881168)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_440 : Polynomial.coeff recurrence4Scalar1Second 440 = ((2834093197715492165823315707975345677 * 10 ^ 70 + 7660770748397118879519875348828225107805244776638543965251717640743014) * 10 ^ 70 + 7225772638217509757514164552995808163118022482091308853126409507123224) * 10 ^ 70 + 3780054230845178768654481323155217440904149600127154195038380111242812

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_441 : Polynomial.coeff recurrence4Scalar1Second 441 = -(((610201898672522398999722967457936120 * 10 ^ 70 + 3368756903291421812357190480806696101652288967311236761804834178964742) * 10 ^ 70 + 6621163411989907848394605010264624190076255491272543763965453602258721) * 10 ^ 70 + 6883802407320188102496818717796311334301344332828586639642231711856508)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_442 : Polynomial.coeff recurrence4Scalar1Second 442 = ((121262511445674957642617872110460457 * 10 ^ 70 + 3229069730197936077784480283279593571300111878921280869845478607054109) * 10 ^ 70 + 2728710011413459045739278960481301689186923841613069971348751341627263) * 10 ^ 70 + 9178975083877407813037584367893669820220641495676298136009558204745145

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_443 : Polynomial.coeff recurrence4Scalar1Second 443 = -(((22147250232757464932069665865715125 * 10 ^ 70 + 5900503869562678470557491932944145341593043731918416737932504844813724) * 10 ^ 70 + 790254732056240190048792633747587988686326039183230225400267683681814) * 10 ^ 70 + 5766017266015467066786252392600652771470442639630615428603879138439385)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_444 : Polynomial.coeff recurrence4Scalar1Second 444 = ((3680133955605443598312169743716964 * 10 ^ 70 + 1178344328487360126145804318698578616673826166120440450002112309494942) * 10 ^ 70 + 9504855780099776838557502039829478682412367519739317920140800052034680) * 10 ^ 70 + 2070985285288328796489089522061235267475207243709823819996143109337155

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_445 : Polynomial.coeff recurrence4Scalar1Second 445 = -(((545343048244635067576609918316545 * 10 ^ 70 + 1163606875448203521744650447894719397791022687970364047224792122700715) * 10 ^ 70 + 8980596738924784257579577677711710293967890696362428026908470470236194) * 10 ^ 70 + 7823753541515004101529738889029865588627379306724229025932090247511994)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_446 : Polynomial.coeff recurrence4Scalar1Second 446 = ((69073958095257329092169318946068 * 10 ^ 70 + 7707155463768189873694905723539415864700235644942604893720236614947135) * 10 ^ 70 + 4487538555365643357905457715679320834140639585424939999770014938927948) * 10 ^ 70 + 1848020980475422290503858848118339283221140813946792789447835515422310

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_447 : Polynomial.coeff recurrence4Scalar1Second 447 = -(((6663150314511347383757700046469 * 10 ^ 70 + 7306415635447455102807512487875296617548097065247185958036900667414608) * 10 ^ 70 + 4250662025562805780128269835002615741929431352830230489664110353221877) * 10 ^ 70 + 4683726679236841287261320412654837265839504601405501616918851616806922)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_448 : Polynomial.coeff recurrence4Scalar1Second 448 = ((249114353396347346609473847117 * 10 ^ 70 + 1743761059086590697944270413017381876680368243327143129592199191018831) * 10 ^ 70 + 7475179620483886423977318012599749044634829612624918137053280658861662) * 10 ^ 70 + 6015019017367976763396166413511185121819735366369808964213216204533326

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_449 : Polynomial.coeff recurrence4Scalar1Second 449 = ((82347343361108022464160625882 * 10 ^ 70 + 6715146443615882751017809716337340318236332783841486994323993508865266) * 10 ^ 70 + 6486808143994354805239084648369791402267064939249444492905447892517587) * 10 ^ 70 + 1420629545280688993019955681346453518142199257874022371118349336005619

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_450 : Polynomial.coeff recurrence4Scalar1Second 450 = -(((27108641376715287201044496152 * 10 ^ 70 + 7362908783752558636603002907123357912123169339710069368082805535438867) * 10 ^ 70 + 4871930068468338267955807498019152832227505524657089398948927073467708) * 10 ^ 70 + 3504331513140061089495243174355005102963235577083158982185615878574003)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_451 : Polynomial.coeff recurrence4Scalar1Second 451 = ((5216481565002700763796217778 * 10 ^ 70 + 766064563936181887193722279153434946878789748967169869986249162602188) * 10 ^ 70 + 7708882690327228255509948785354395545844783344015732796675744554523701) * 10 ^ 70 + 8817893538300532413044985900144949717657914945685193414203812725209550

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_452 : Polynomial.coeff recurrence4Scalar1Second 452 = -(((749582790445526352527750500 * 10 ^ 70 + 1256578385492888280041107626109610200437214290290339310375107590727859) * 10 ^ 70 + 6874040876477797174468483772339328777573846275381975421680961391134268) * 10 ^ 70 + 7219223814695212053470871422377256111121886937483585150182024157317784)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_453 : Polynomial.coeff recurrence4Scalar1Second 453 = ((79204976205651100875261652 * 10 ^ 70 + 7269639131466920169037146649086249978306339736172754779240457478120077) * 10 ^ 70 + 3533135953539571789714414155433008461229216090448046629406504163899497) * 10 ^ 70 + 185596721824303587886897637266735820226506805860556854349759352650762

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_454 : Polynomial.coeff recurrence4Scalar1Second 454 = -(((4384153245845823932938283 * 10 ^ 70 + 9085831908115058936299892168952806000390502609464138177140572848553710) * 10 ^ 70 + 3956350556676477599978621822509233132901050846927699728588314984468946) * 10 ^ 70 + 5176457765473382653077203424134901749415829442086454063290237132752938)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_455 : Polynomial.coeff recurrence4Scalar1Second 455 = -(((473686399559926208910036 * 10 ^ 70 + 1440994976867615408426059015645857509349056500272879932344157720977557) * 10 ^ 70 + 6236474466290716859243452754405437007414232116621506213374524036184734) * 10 ^ 70 + 9686851738914542768788944784416068152833575511869461492327371690075178)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_456 : Polynomial.coeff recurrence4Scalar1Second 456 = ((191019149610022007307476 * 10 ^ 70 + 5146485898754404611667397183445087683028178096960181370632225601125350) * 10 ^ 70 + 895722293073166650665335175830401073201500540128709188429882110269542) * 10 ^ 70 + 9035878181525354737172312715981075878273350297774922511373934191382313

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_457 : Polynomial.coeff recurrence4Scalar1Second 457 = -(((35096007235436363528214 * 10 ^ 70 + 6765559211443597439059569817803888720835365711482725241994212826685039) * 10 ^ 70 + 486561333444847363893412665919924294804011612010472818873148511519545) * 10 ^ 70 + 2074708308731091686240298415216491270305938370308026583259691182692541)