Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2SecondPart2.Coefficients350To373

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

Polynomial.coeff recurrence4Scalar2Second 350 = (((24613942 * 10 ^ 70 + 4649631578604410694649281217779524828402434776427660313728057354505687) * 10 ^ 70 + 5632680287441792894043102607565805193914882827480979718297425680760927) * 10 ^ 70 + 3439348255022174362363318426678581146464632116869128693880989434776911) * 10 ^ 70 + 1654288979433561018557406658666373906253171104332132962660687189158890

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

Polynomial.coeff recurrence4Scalar2Second 351 = -((((8854950 * 10 ^ 70 + 8114682616149435569230831252835426064573280635912367458351791638072171) * 10 ^ 70 + 2667045885320154054631821785724319340378865358304197894397458320492174) * 10 ^ 70 + 7371526824700755186467198871071076708911828396093121506922746103028287) * 10 ^ 70 + 4930178604013106252909718829966754787561634782896608133553110181782716)

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

Polynomial.coeff recurrence4Scalar2Second 352 = (((3167829 * 10 ^ 70 + 4275485430866934025278209388058009233880834624899422972592529407836257) * 10 ^ 70 + 133839849501168073003797596112697819143602299349061268823675410396952) * 10 ^ 70 + 9538217106008092583283729842554776343101953894816515778888858799200125) * 10 ^ 70 + 7302432336028759171537876094345265588602789236184058235436252711787848

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

Polynomial.coeff recurrence4Scalar2Second 353 = -((((1140362 * 10 ^ 70 + 1532273285067526731115977772352714551447338116026082575382916821416051) * 10 ^ 70 + 6607909585660839062793242235698929292806921138748912110147168885731778) * 10 ^ 70 + 3240449305166716821478222243094579574275424307810772808901604845203497) * 10 ^ 70 + 1545523562122321602339616411655562891051307486628477971028693981357421)

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

Polynomial.coeff recurrence4Scalar2Second 354 = (((419706 * 10 ^ 70 + 451502378994628404887624285703200862889449433384398944060275028391831) * 10 ^ 70 + 7848857926668490877928775477993281934257854640569102927399450968596707) * 10 ^ 70 + 371915386526935404407220774990873634212304845660622779089922634504558) * 10 ^ 70 + 7617434634673666297408380763453726147355283069235184735609020891770277

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

Polynomial.coeff recurrence4Scalar2Second 355 = -((((160660 * 10 ^ 70 + 3959082253508613362737865208393491433954096784706141948818796033332635) * 10 ^ 70 + 6596236763267337742679927143975313832955682897107706832762166130386531) * 10 ^ 70 + 91317592033438728179293270120483045244924974206486566743751549648644) * 10 ^ 70 + 3670825561925666345249726738848885158668553213546080925893322617167980)

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

Polynomial.coeff recurrence4Scalar2Second 356 = (((64746 * 10 ^ 70 + 7663838124002054245662726956171545139771433818872341162732720639706092) * 10 ^ 70 + 7858838695269292353928998944421584399747182760778517733739249626309380) * 10 ^ 70 + 5354011740640029902150209902889069779917588330117604363659350457844736) * 10 ^ 70 + 6741499856560760710109967932857496797442776979703130214761814177338961

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

Polynomial.coeff recurrence4Scalar2Second 357 = -((((27500 * 10 ^ 70 + 3638579313436428947342603418395780173378249578303323246596933821467329) * 10 ^ 70 + 7533745893989557654845352123269105068277997411420973471095841055197834) * 10 ^ 70 + 3022355946274695084521240036019577533244131635328257096742003209595107) * 10 ^ 70 + 8161769118556884419055228440457322270814683910684161256395361727695438)

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

Polynomial.coeff recurrence4Scalar2Second 358 = (((12178 * 10 ^ 70 + 9262337281236750491807883685589110398287586642687252892885863569711373) * 10 ^ 70 + 6464456777063091583841617325489120449324510971565186139230099664382078) * 10 ^ 70 + 2087447999659611911933784726526188971098776363358749744444668938036909) * 10 ^ 70 + 6811437315404401964661743820566768267695913042161028785254764669319015

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

Polynomial.coeff recurrence4Scalar2Second 359 = -((((5528 * 10 ^ 70 + 3609196222633524870789512590231333535113835876604064314832844242986336) * 10 ^ 70 + 9570577207278679287722922913647365738826470448536121456490255762284994) * 10 ^ 70 + 8179058803557300326272546234500699589789921800273136344777990322515155) * 10 ^ 70 + 9934407022674337752953654334127046865816020800123308324381402601946686)

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

Polynomial.coeff recurrence4Scalar2Second 360 = (((2528 * 10 ^ 70 + 9391257315151386142532010863348043555875222958441573928164909629536171) * 10 ^ 70 + 8055610094551421714085553120084634096522519876504863996303408005131673) * 10 ^ 70 + 2743017791513554909427283077551012016071626009295920589257390665881436) * 10 ^ 70 + 2565344324076972168347101138421614056106384747689434791113892094175396

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

Polynomial.coeff recurrence4Scalar2Second 361 = -((((1150 * 10 ^ 70 + 5306018912493641809635683971246377437933491339348694914382768833083684) * 10 ^ 70 + 4511511787608956000946934333280116180321983326921038439909878743659172) * 10 ^ 70 + 8992395745835156685722533588041451227262115116251585355218465737238975) * 10 ^ 70 + 3670528924338199864275615251901204088329815132076066859827383703933830)

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

Polynomial.coeff recurrence4Scalar2Second 362 = (((515 * 10 ^ 70 + 9304596066441931816268954318287811960194891210132274310610876954698625) * 10 ^ 70 + 4956091204336155641580709467287804151750179995676270921251113941631772) * 10 ^ 70 + 7715545444484516768393165078538044335713049457366570071771349358887631) * 10 ^ 70 + 4674948876737023654886364191378256806307941408936699529781013712262950

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

Polynomial.coeff recurrence4Scalar2Second 363 = -((((226 * 10 ^ 70 + 7715368189517989667968101000364125693186158005703156044778617512339877) * 10 ^ 70 + 9311007445330797416947454172333403438213386912224447634257984094240954) * 10 ^ 70 + 7608684419794467229772845578947841712900331974356554960340726577246669) * 10 ^ 70 + 9300770643005517207633726943649712937164914878864683054314653970921212)

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

Polynomial.coeff recurrence4Scalar2Second 364 = (((97 * 10 ^ 70 + 3687629274417532545141351887426298570056085424054336815894858243691725) * 10 ^ 70 + 5132733775808842632517239535182196220928296446711585496454301831933412) * 10 ^ 70 + 4731137899047094152981579676195564835128498529275687000321597280575257) * 10 ^ 70 + 2055477771330187406605471252277674658746826390388633527990451055129339

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

Polynomial.coeff recurrence4Scalar2Second 365 = -((((40 * 10 ^ 70 + 7542610115178977853011827445240182322865817530526743654231639268163725) * 10 ^ 70 + 5110008771740639425544160339760744892067933574783933093534549155499219) * 10 ^ 70 + 2739383285079969524182495910039123891351499874892851151897676777304035) * 10 ^ 70 + 5529196986506026736887405057843302195570809246432916788075233287486216)

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

Polynomial.coeff recurrence4Scalar2Second 366 = (((16 * 10 ^ 70 + 6043545246945017147781475828708791387907120973046048315974345681792248) * 10 ^ 70 + 6972123852828869964880141880053206220131340650344402114698609880525131) * 10 ^ 70 + 7686730175037654104048735644022273488384283632896549829288101482447585) * 10 ^ 70 + 5543070223222153078304535300360150102693050284636831023676142527950208

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

Polynomial.coeff recurrence4Scalar2Second 367 = -((((6 * 10 ^ 70 + 5772642657110858163351292263148777373612636437863702791768280588992675) * 10 ^ 70 + 1774576021211250579198545503901580458652210369119675631243624787970901) * 10 ^ 70 + 8693277069700709217663003503327678870617710084939742606440072566691159) * 10 ^ 70 + 102204491967438636222404321569260453427741376652299741089928339788543)

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

Polynomial.coeff recurrence4Scalar2Second 368 = (((2 * 10 ^ 70 + 5299182972517814490792503779387711620264033771927071846433688573014120) * 10 ^ 70 + 3985691218669222810474166477009352067775991964985260786226028162931064) * 10 ^ 70 + 9615067869730173195077943051464282672547798458089970153168240845204700) * 10 ^ 70 + 7555664353920072760278469805418631288140631750739364979233008735377214

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

Polynomial.coeff recurrence4Scalar2Second 369 = -(((9435458559893092415883854746688688989717238944575628913231885475046567 * 10 ^ 70 + 8121398216074356732686778275179725380062088909593527969024518182341260) * 10 ^ 70 + 3517841871126346126807035494309986010083325325873092498463444006945227) * 10 ^ 70 + 858467265831738011904806403478642664707446630184930569502230660574123)

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

Polynomial.coeff recurrence4Scalar2Second 370 = ((3405496360603659868909366727457203082276886722668068719815467489306059 * 10 ^ 70 + 9353450597712886727732545395731705353513835392947733880231480169630789) * 10 ^ 70 + 6457106139589576622522939313880223289982221240641829229198196388971642) * 10 ^ 70 + 9622671484238111488836155867651408399262390130601174200956262449928241

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

Polynomial.coeff recurrence4Scalar2Second 371 = -(((1186392539466391650923984287822092345503922155314499970260161022628613 * 10 ^ 70 + 1712163971997937434859857298797395259641599416661134254426160685375879) * 10 ^ 70 + 546901783139054670765777342932235090255441525982485304172363015016870) * 10 ^ 70 + 8417875094460636767145244188733556143792143766770227247127144168381642)

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

Polynomial.coeff recurrence4Scalar2Second 372 = ((397489113425347366061235232817874375687561252344874596656073870052741 * 10 ^ 70 + 2012575584898280690586682833964834216431500029920817955277477694378573) * 10 ^ 70 + 840803541265603297412087230492954731341498891113496241287734541232162) * 10 ^ 70 + 7900726438017781087046298400841922576880225575928100770930425327275073

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

Polynomial.coeff recurrence4Scalar2Second 373 = -(((127400253956792869856064953187608958370253417813907931144198896448211 * 10 ^ 70 + 1654281418417781322351254925694016146726704016602849388150129592157927) * 10 ^ 70 + 9626092243284805006931823682727843460983935974557539242744889453659014) * 10 ^ 70 + 3530435699680555902711901895062748485046762472594144627828376264091599)