Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2SecondPart1.Coefficients297To323

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_297 :

Polynomial.coeff recurrence4Scalar2Second 297 = -((((8449560885653012815484 * 10 ^ 70 + 441529219880176232063077822688728601094094612357381117033088965331912) * 10 ^ 70 + 4030594965017654786308515038404643889542820373174593753051630881692401) * 10 ^ 70 + 1120962492488179697847370773199770913875250917302717748460475435742148) * 10 ^ 70 + 6170045490795188600537362742951923391080698819035576170134709869220138)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_298 :

Polynomial.coeff recurrence4Scalar2Second 298 = (((784898976550181021266 * 10 ^ 70 + 4766711978533553495853338708562182673789017883238290452353780426172497) * 10 ^ 70 + 1672676559925854024237352107517051161360635724998361997225302917444665) * 10 ^ 70 + 4057184051256524484053238879795101288586576721943555477795944527302580) * 10 ^ 70 + 9438283014508572678289182692861616535911528051209241100700800904854374

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_299 :

Polynomial.coeff recurrence4Scalar2Second 299 = (((2329729815238147931353 * 10 ^ 70 + 1407506080725104113298074479076403117182860123693836711542880560224493) * 10 ^ 70 + 1671665987971530397621250608750704078090294186961186396959185775229829) * 10 ^ 70 + 5608057855214194870615711904822765805432303265230003941114274773651217) * 10 ^ 70 + 5627514923039619874194580250731319141919480768296764963121699981421239

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_300 :

Polynomial.coeff recurrence4Scalar2Second 300 = -((((3158299859552003938811 * 10 ^ 70 + 7586260964748519255847289266166973099292041111124450966737841151493759) * 10 ^ 70 + 9330200554196717103098697425505119506402087773782577279755232606268960) * 10 ^ 70 + 5861941692076154878748646246603707215825967900553777524453043190132480) * 10 ^ 70 + 4987652474655411290518906694204241749919262573872587454306892478519331)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_301 :

Polynomial.coeff recurrence4Scalar2Second 301 = (((2960882257395221681985 * 10 ^ 70 + 524319379567714870584060159991844491966047011069230232462684892011430) * 10 ^ 70 + 7407794395670075794717543265247118887708940122895233851009489584573956) * 10 ^ 70 + 9992488387016701178297875745685083410427898604847828459482722459527538) * 10 ^ 70 + 6034635671804714791620456771422036774397291497237632181154274827895528

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_302 :

Polynomial.coeff recurrence4Scalar2Second 302 = -((((2397808796990922303844 * 10 ^ 70 + 8281651245969530831064055662726398423057674600417135781754842531273461) * 10 ^ 70 + 9337428178130051984951751090604842216171496193766087600355139206340888) * 10 ^ 70 + 2027565555505767545686170400467036254131955652197444147336130712213383) * 10 ^ 70 + 7754355093781726675493416086762889149319263235043008802332285658370474)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_303 :

Polynomial.coeff recurrence4Scalar2Second 303 = (((1786271628011536291180 * 10 ^ 70 + 119488357279229407946689243199548546087917627083713498656275393228798) * 10 ^ 70 + 9883879747078891056837364343897633810359135311990956800167744351167142) * 10 ^ 70 + 6045524459427556467840849168669075526052176322313192210857211838910769) * 10 ^ 70 + 935363717937898367162762931135265559286504308462346651998028404322009

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_304 :

Polynomial.coeff recurrence4Scalar2Second 304 = -((((1257259165250066182576 * 10 ^ 70 + 9656053703516549679440997929544994083599588507746707250682245620129552) * 10 ^ 70 + 295148467418660824053045419503248080452797995120833611446856978084714) * 10 ^ 70 + 6029067315491812662984590125981288619733428616718382248066031671151947) * 10 ^ 70 + 5134890205912883605685763506672482608491460391969924937875186217219232)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_305 :

Polynomial.coeff recurrence4Scalar2Second 305 = (((847663108890951293460 * 10 ^ 70 + 3770025413860124122158012948372648389201145700867524168565371626004411) * 10 ^ 70 + 7839387215933854751503063702323221097978590239284927233390204858327518) * 10 ^ 70 + 2221791913533628998725092041248364702564723597652728650314927834225652) * 10 ^ 70 + 1721173899724426661687705447548028334488448241920168267285465037935391

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_306 :

Polynomial.coeff recurrence4Scalar2Second 306 = -((((551793119035177453264 * 10 ^ 70 + 4173383481486614861991483724215771454795674350464521416961777366936787) * 10 ^ 70 + 8579359619220489026588892798574822968832210347376804831184937070445051) * 10 ^ 70 + 1959806174538785795948700058961149177236876186962141386587272431080811) * 10 ^ 70 + 9650771824871037527046149544275241503508875817888005410318611070666583)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_307 :

Polynomial.coeff recurrence4Scalar2Second 307 = (((348481989960627060580 * 10 ^ 70 + 141912477852201681639288981302680855596215673866220708516537248137327) * 10 ^ 70 + 3767269304158641547332992511758079845798403616935263183626439831388615) * 10 ^ 70 + 542679570387446592792276743755898213903335826588537332398400101278865) * 10 ^ 70 + 5409824973773401416022470101963833525716529357257478907019859174595268

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_308 :

Polynomial.coeff recurrence4Scalar2Second 308 = -((((214162547608151658413 * 10 ^ 70 + 9392542396251794930407355572191444050451479484721976870215388383925128) * 10 ^ 70 + 2171967397675292758253044634364305924534366691407154904898021138022950) * 10 ^ 70 + 7349059669978285810503240961502097995617688587128755755731331848899946) * 10 ^ 70 + 1909832858187258213975743628019922280514785937356470317642245963895724)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_309 :

Polynomial.coeff recurrence4Scalar2Second 309 = (((128309473538157266119 * 10 ^ 70 + 7260145623629924742109387998911306009600055756155449738654117525934789) * 10 ^ 70 + 2170505400208665389722513230239438802671205319913414917667351912596304) * 10 ^ 70 + 4539478798907164520432859352664668473212552615221950217061024368333762) * 10 ^ 70 + 5389429538167599767485828212989717844017613866883823686682820485501030

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_310 :

Polynomial.coeff recurrence4Scalar2Second 310 = -((((75014438387879097386 * 10 ^ 70 + 9164682818308361348053377672820993518973681861645199621858679482399135) * 10 ^ 70 + 4162609991874797715895514310929339178342582803018540147088229503023559) * 10 ^ 70 + 326322102196750257458981051679247945372968730816314337634601764547892) * 10 ^ 70 + 8700774519041768375790371873015704306669445340612497625721471832495273)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_311 :

Polynomial.coeff recurrence4Scalar2Second 311 = (((42807039867042015457 * 10 ^ 70 + 5958985712910751185473206818545301491802095535146786213390017249307339) * 10 ^ 70 + 1800186020449780232449245360145292065857326221490086667386589116568171) * 10 ^ 70 + 184203061109199102143829329242462409231296305186688948327280821431555) * 10 ^ 70 + 2144144879152224298815403528111783947468791302022624365736281443342532

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_312 :

Polynomial.coeff recurrence4Scalar2Second 312 = -((((23834001532131062437 * 10 ^ 70 + 2074665454212585316310513714433585165777909258696086971192280156893120) * 10 ^ 70 + 2505945288138621596600707288663761744712182719658409565879567507670004) * 10 ^ 70 + 9407950354496866348716068231679597030724000381115938141321036715401488) * 10 ^ 70 + 452054262851108554882223623505599758728286323879312513887858975641776)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_313 :

Polynomial.coeff recurrence4Scalar2Second 313 = (((12933277041835473578 * 10 ^ 70 + 9803339331946121134080698712056339353184794228461473301638932902115724) * 10 ^ 70 + 2250011560581647670372037418050549386712570655518133457921019443153783) * 10 ^ 70 + 5430136178962054946262505141154889718109463928818874825610781080966248) * 10 ^ 70 + 1707457391693860525407063561388546663970945035450901156938914686869847

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_314 :

Polynomial.coeff recurrence4Scalar2Second 314 = -((((6826314821385306612 * 10 ^ 70 + 7427035887104210208445241041451172237583234012295204109886898010520081) * 10 ^ 70 + 3844308245984214463007004793923088485815138092692081644402490698004151) * 10 ^ 70 + 3998535965066601016936459897487358493698060735280427152353149532832153) * 10 ^ 70 + 4457409480082344560138794583591086204640172390724764077053009927089550)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_315 :

Polynomial.coeff recurrence4Scalar2Second 315 = (((3493276745670053801 * 10 ^ 70 + 2588066474405007895788859692005274833663426807345811159682913914410330) * 10 ^ 70 + 3514301825933209584468824488276243370997947924741791683000906828122107) * 10 ^ 70 + 6164912452075945037549679303851628434228331393337939406471043004498324) * 10 ^ 70 + 5658198194787192201831591164954574543725522951793024051607891299142296

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_316 :

Polynomial.coeff recurrence4Scalar2Second 316 = -((((1724340918298957564 * 10 ^ 70 + 4730044325946415277987538685132849379316958683095069811176448175420532) * 10 ^ 70 + 8060063669957511228182697954106958774753366886530688804035613402966590) * 10 ^ 70 + 2305997317611982181984419966463124891007340739351135468024631640643914) * 10 ^ 70 + 9202673324902594879358361576574308047323068869382888065611530839492966)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_317 :

Polynomial.coeff recurrence4Scalar2Second 317 = (((814149802527489526 * 10 ^ 70 + 3603850464146809878950728944429416189006118605285426800892826033006097) * 10 ^ 70 + 4443606163216808295349636040634484834694711071032472938604278981700992) * 10 ^ 70 + 4241509093639028931548857840097238666926158144240911301652911434742607) * 10 ^ 70 + 2545917056691780004436237240663831948597182173018639620929889937298486

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_318 :

Polynomial.coeff recurrence4Scalar2Second 318 = -((((362291971084279449 * 10 ^ 70 + 7871149498654464042557062152691245167565282183709543307952470711815902) * 10 ^ 70 + 2827156713435477448994156020685130265006327306567436293134673388736523) * 10 ^ 70 + 139385728188332713549252208274179756319976551909157321470585339845069) * 10 ^ 70 + 7840540761249775805095212489860283434797580004318715176693572285366395)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_319 :

Polynomial.coeff recurrence4Scalar2Second 319 = (((147570288028413073 * 10 ^ 70 + 4540384513570271272844630324308556125138316188120926691753131151507569) * 10 ^ 70 + 9117228661855584304080166409189393406240864837353161677588142076371498) * 10 ^ 70 + 4080861423700843678078367958755628279037987432253312218889304954947261) * 10 ^ 70 + 8529758129010362329572241584709355059094535241616115844535733590399491

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_320 :

Polynomial.coeff recurrence4Scalar2Second 320 = -((((51243623628564972 * 10 ^ 70 + 4512502912561195592781082425618513359272890175836037565294700986227777) * 10 ^ 70 + 6349298681302962175916360742944697143110737789601801547119945345643650) * 10 ^ 70 + 8628178432154423144261061733653527726629226393359102187893167490678563) * 10 ^ 70 + 3720870182125746559579923414549673105423972250034232434278476136650583)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_321 :

Polynomial.coeff recurrence4Scalar2Second 321 = (((11532892807728431 * 10 ^ 70 + 8813364049199400057443850733993167632666104786877184642047011820441400) * 10 ^ 70 + 7369954582212796246081576195762075896326062330905638214453311090192380) * 10 ^ 70 + 9761705102903782195413605672243578217730943092823810472271989196437232) * 10 ^ 70 + 7323444357058759075245883889904437792748678544268148181372563677503605

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_322 :

Polynomial.coeff recurrence4Scalar2Second 322 = (((2581552687645464 * 10 ^ 70 + 9785688496611404529761258127235640024283954954883183809121161906828910) * 10 ^ 70 + 3964269792106920550566164330688261038448955597769110676150936634108277) * 10 ^ 70 + 8156718470841115476012652813320557923258236036999850605651028445141562) * 10 ^ 70 + 7282837104345115842980637708380090363560990085539403731727797914567650

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_323 :

Polynomial.coeff recurrence4Scalar2Second 323 = -((((6024882519969523 * 10 ^ 70 + 7723463221922231519751687854439279346804226719702118765415752858577141) * 10 ^ 70 + 5836042792823061045484752598697435616155600395950775496212802221603836) * 10 ^ 70 + 9685234051739979468079978006696358469361502343846329666856482334141274) * 10 ^ 70 + 229964171541168125506101048942142615304107812176051600200103019681743)