Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2SecondPart0.Coefficients189To216

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.

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_189 :
Polynomial.coeff recurrence4Scalar2Second 189 = -((((11526934743377917 * 10 ^ 70 + 5622252648615491893258664881148584238476888805612871636621537013267050) * 10 ^ 70 + 4689447614345328380938918880831959011166023759260566329713985558857485) * 10 ^ 70 + 3840273591596968480494761065110696622629976767625308351611046248068323) * 10 ^ 70 + 3427156802308350950134154031637089186631564867995074270170589719872708)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_190 :
Polynomial.coeff recurrence4Scalar2Second 190 = (((26866765760867292 * 10 ^ 70 + 3914245277040041693796894188214191996753947553428232749491153925191352) * 10 ^ 70 + 5044405560318638107171622779536861075669810849155763818958067573185380) * 10 ^ 70 + 8112715456462249434551999938986513819493767594786981622600180495241631) * 10 ^ 70 + 9104324895962791901807252108366276683998372601975051718448685347254591
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_191 :
Polynomial.coeff recurrence4Scalar2Second 191 = -((((61712687556374619 * 10 ^ 70 + 7325997529062949729314002013848140287644720491061062553104787997179010) * 10 ^ 70 + 576837625455929376520193472354648960975974603479023582384617255939203) * 10 ^ 70 + 7074978045389166328436255622444187082405708642911924504239770187490509) * 10 ^ 70 + 7269817310109984868594542686529889110469754135139515946670422011406253)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_192 :
Polynomial.coeff recurrence4Scalar2Second 192 = (((139700607647497358 * 10 ^ 70 + 735455864556194263341558342733505525281993976254617920531639803598128) * 10 ^ 70 + 2928923491167283541883162542096669972839374041773660942638799130787408) * 10 ^ 70 + 4578213046222303256023974305683304527229321265289041049787117179447742) * 10 ^ 70 + 6868557902265917954608867646555988535185821420353964140275367736419571
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_193 :
Polynomial.coeff recurrence4Scalar2Second 193 = -((((311668713152455927 * 10 ^ 70 + 2148202871081949923090617693563508044564864047776592747747627361936694) * 10 ^ 70 + 3089333719811736969078794629955210903811999083322139347179594533326183) * 10 ^ 70 + 711359650658645442213407634869528706231821187617043150063786713483228) * 10 ^ 70 + 8934836256088699172328652165399907171640488845320150144051359863818235)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_194 :
Polynomial.coeff recurrence4Scalar2Second 194 = (((685274465653650451 * 10 ^ 70 + 687732969787357079974124509879077822935692621810372381699191491733496) * 10 ^ 70 + 7941406161795039555449849605693578531000381471539168343336659354389013) * 10 ^ 70 + 1899477677342195659536347458981227812778276835618340322356384668164330) * 10 ^ 70 + 4334837457156654064844065783784060917949829940764638886599496374474978
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_195 :
Polynomial.coeff recurrence4Scalar2Second 195 = -((((1484966567276350065 * 10 ^ 70 + 5049254221399608906614115834970508288544908662157855304720761080776219) * 10 ^ 70 + 9907637554984644415787993036831813721193191618607804567711016774510404) * 10 ^ 70 + 9348876506772230264123328637402624868043638156036401375268385328827006) * 10 ^ 70 + 7955733833881013523799163196768125859437039360792289620054626236143754)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_196 :
Polynomial.coeff recurrence4Scalar2Second 196 = (((3171413771574968235 * 10 ^ 70 + 8890148570598250493071859419636631736014829339222492634018657819436538) * 10 ^ 70 + 7252458663297939434909324108975679325770002984367120212376498562784110) * 10 ^ 70 + 704523188140973814694086470786590201699827282127734412240135014881032) * 10 ^ 70 + 8364278100045485414011665410118013248399597941238625615361499762579773
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_197 :
Polynomial.coeff recurrence4Scalar2Second 197 = -((((6675372225939336358 * 10 ^ 70 + 8892705635622491064825197938999781747171404048103506520923620565850883) * 10 ^ 70 + 6418988993967919661536507794045485287282463783775043249176078144158708) * 10 ^ 70 + 1010870656198812204951747326395790109034954714875036757731982642598953) * 10 ^ 70 + 2001155143911526993049721529574377862654860086498698862186824459078299)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_198 :
Polynomial.coeff recurrence4Scalar2Second 198 = (((13847951360760626321 * 10 ^ 70 + 1597343200386334933138593658061109402957715366805179150011168171980043) * 10 ^ 70 + 7945371579145089956272886692591908202053551376702060861323639382159475) * 10 ^ 70 + 5337285192613649300335437861610113660804327076777952171390700188903726) * 10 ^ 70 + 2521193218724192830823667042311203298272836015978304834264157847950750
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_199 :
Polynomial.coeff recurrence4Scalar2Second 199 = -((((28312809271627582405 * 10 ^ 70 + 8199338386998475560806305259836434785503488799117417690821039997927149) * 10 ^ 70 + 7992742226228972949581556039719381525606277729530297817752377094281793) * 10 ^ 70 + 5371188200039524677075325110130779937473342552706747881852857147835527) * 10 ^ 70 + 4212861118343899363161599933849948569581363532979419991466808252110379)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_200 :
Polynomial.coeff recurrence4Scalar2Second 200 = (((57051421445719341199 * 10 ^ 70 + 5629812791199478404466243321359794430640938231786869523065551105130646) * 10 ^ 70 + 8643589979573198572133801496920664105209378657191921400964837266338821) * 10 ^ 70 + 3213553874550815205279455068729479630231475382731543343056892465327505) * 10 ^ 70 + 2576136345411156082627767537022414345964898243711993676073897552904124
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_201 :
Polynomial.coeff recurrence4Scalar2Second 201 = -((((113300911988694870162 * 10 ^ 70 + 1343854555088590802471966048463163860345781931637106370309381429385900) * 10 ^ 70 + 2021108081529226554354109958558355957319796209941898239971310416556097) * 10 ^ 70 + 7839124306267874553520488092340497699017401540797898777712591173906988) * 10 ^ 70 + 8576480151380873485089324018229319472953713027970644995983006607334386)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_202 :
Polynomial.coeff recurrence4Scalar2Second 202 = (((221758218750791532100 * 10 ^ 70 + 2232582985068870672762340346622991021076245216851823094162291476333518) * 10 ^ 70 + 9891757123789427678944220328342864272225578023656095630271312072500598) * 10 ^ 70 + 6614817562968331569890293228477497314640268124778191538589673542143752) * 10 ^ 70 + 948751779309164920304413275511232726284345560755400073454716489906617
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_203 :
Polynomial.coeff recurrence4Scalar2Second 203 = -((((427759711881343102765 * 10 ^ 70 + 9731564162659130280018145341932097856770406578564220783121808612327447) * 10 ^ 70 + 7952622408807118111106646948589525101715306305897459178043900852395197) * 10 ^ 70 + 8684744017107067374532408429598465367080876691697428221969246967874562) * 10 ^ 70 + 6285156747604356863725182998793470953641407995329043188372284616206019)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_204 :
Polynomial.coeff recurrence4Scalar2Second 204 = (((813180044468260105113 * 10 ^ 70 + 9369885727075235924419205448550340992921191970685170287076857935130367) * 10 ^ 70 + 1665691561113388069829709448136416566333790672643973093068753986990380) * 10 ^ 70 + 9695842647314086468510412829975129686574070998791356520336067267260125) * 10 ^ 70 + 7239305927526976435473606098232234603873295657679457242395727414227695
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_205 :
Polynomial.coeff recurrence4Scalar2Second 205 = -((((1523460996949468429561 * 10 ^ 70 + 7611055501692692876005197661792039857219607642543072947231544731982588) * 10 ^ 70 + 5797630165276635639122246894791362535373672580330185749190554902140036) * 10 ^ 70 + 8949745399645635852779242823927435567542759346838142473573354211891580) * 10 ^ 70 + 5291489350247735705813671855637926736376061869060666644609075299229016)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_206 :
Polynomial.coeff recurrence4Scalar2Second 206 = (((2812697348341088543075 * 10 ^ 70 + 2021133283366201346821019174521898853239608533073685028187776876039305) * 10 ^ 70 + 2676044087887793722248375526019733888576214451719029890016790181611613) * 10 ^ 70 + 2192666607153638874955501443622749109261141918121151098079658766741931) * 10 ^ 70 + 5570720017784267337614669919459617153774531648761583024598246904207653
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_207 :
Polynomial.coeff recurrence4Scalar2Second 207 = -((((5117394676927073910549 * 10 ^ 70 + 2546181117708236738513489217464705080630481708655024626015552048739193) * 10 ^ 70 + 3248990690859208812842893217306397621338452876863445733476575207094495) * 10 ^ 70 + 5932397323013596859675650155368329979076686727955959227115012845798462) * 10 ^ 70 + 2917630997617728422948392833124024079964457728412987893585449713765076)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_208 :
Polynomial.coeff recurrence4Scalar2Second 208 = (((9174746195036349656077 * 10 ^ 70 + 8281146785276939880390886303061189042905323570310023207789714959349905) * 10 ^ 70 + 6974839929804962777127689953155369915349588769632305684672773666271626) * 10 ^ 70 + 8919178318318677923341889755123610531331733390986674379743519575925520) * 10 ^ 70 + 2330985266219640745025354594109407412652977250547534661371276235821392
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_209 :
Polynomial.coeff recurrence4Scalar2Second 209 = -((((16208431884267178277318 * 10 ^ 70 + 8764122045821344751416273221363342359124476202262460764515115869497771) * 10 ^ 70 + 309096496703398502382674275011783753513350771999068596935871416337043) * 10 ^ 70 + 5796664762159442581667728253643542634469241142968965598829250969829791) * 10 ^ 70 + 9371768420826108956197832975465220376168201391933979297471472857561649)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_210 :
Polynomial.coeff recurrence4Scalar2Second 210 = (((28214321764309905233662 * 10 ^ 70 + 5902686410678378816636810419367445329827839355251504866682083573906403) * 10 ^ 70 + 909011988906104102917623564137146036948643093526004985636307084615169) * 10 ^ 70 + 1334138360813142285593857224588412667138492253537943752916221573496379) * 10 ^ 70 + 5232265198828707784538014544639573902908969560214347864192394428443332
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_211 :
Polynomial.coeff recurrence4Scalar2Second 211 = -((((48390132638288227902049 * 10 ^ 70 + 6958594310975560806478011701813604567059822051678132592716941734255519) * 10 ^ 70 + 913800181524071101807427646358346419783295027028818896034557037548108) * 10 ^ 70 + 7216342427563092771954871619499491292315959082274552550094524984927077) * 10 ^ 70 + 8244926480726151420971049960974085917144582539464752217269307149705433)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_212 :
Polynomial.coeff recurrence4Scalar2Second 212 = (((81766648684862995283599 * 10 ^ 70 + 6569393581995608273344664225100444587185525081782349380997104096530400) * 10 ^ 70 + 1946158537973988122430477918631609644856609440002040648232327043594246) * 10 ^ 70 + 7750498530867661786744835728428965135107125174038136060607191626026088) * 10 ^ 70 + 1044153685157033454992648361272445139267616691543578734373511709836241
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_213 :
Polynomial.coeff recurrence4Scalar2Second 213 = -((((136112395269813046014165 * 10 ^ 70 + 2289881853891344894417686208598955726302816850169607155476007415959182) * 10 ^ 70 + 2904223817385666082450630431216758695160914932634921549312101723026530) * 10 ^ 70 + 5170582538851987427392577964122652878820476014377090075412648899663461) * 10 ^ 70 + 5985888619917089701023833323810168748941645099509472423782867653205261)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_214 :
Polynomial.coeff recurrence4Scalar2Second 214 = (((223196299376592521190681 * 10 ^ 70 + 1636736487816946343940175387989508495363580501757640915589767322314357) * 10 ^ 70 + 333947863820557247486563888407337681806575305609905610950320254045300) * 10 ^ 70 + 802942307994358994579606021010740756667194834679051963696939976876150) * 10 ^ 70 + 5541161033667689364905344974732223050847111933586492779147514933663848
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_215 :
Polynomial.coeff recurrence4Scalar2Second 215 = -((((360499911778597616071713 * 10 ^ 70 + 158849365133044347891343735449423757348036300878284891999074837321594) * 10 ^ 70 + 5056097945360680070616313685652250538519467899127755286775271499514970) * 10 ^ 70 + 967329602127643598781692058104374529041542264875770897452587607444697) * 10 ^ 70 + 196470809754470606488414672878602325694622433045548336540149749131636)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_216 :
Polynomial.coeff recurrence4Scalar2Second 216 = (((573466231107560592523791 * 10 ^ 70 + 1898487076734113320928895857873415722679664038510600413415555617440787) * 10 ^ 70 + 6312868604954235752822991860555975642478100340353253206175458327622653) * 10 ^ 70 + 906298606917841640678924341129128048564330067481731076308969498501481) * 10 ^ 70 + 5927092153193701803615505988174420289467926980188372867057264587855821