Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar3LeftPart1.Coefficients271To302

Recurrence 2 lookup certificate: Scalar3Left coefficient convolution #

This is a checked coefficient-lookup shard for the second pseudo-division recurrence in the order-seven certificate.

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

Polynomial.coeff recurrence2Scalar3Left 271 = -((434316069831086593216098100141482406719063516380174392265551877438 * 10 ^ 70 + 8567000268776526763363848529917839056645586855884526731091778441689043) * 10 ^ 70 + 4565231890202617250648216138681254154608443974583312244442798924008193)

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

Polynomial.coeff recurrence2Scalar3Left 272 = (144895382075903153247280153860803433708987632367002829943474574098 * 10 ^ 70 + 2053412019253460676215801042710409202897192853323806042416937539534182) * 10 ^ 70 + 4008316820125645075194731408782907935198225385797344953342869809515334

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

Polynomial.coeff recurrence2Scalar3Left 273 = -((40369915356466298683709893028304729639928299332598716225666146434 * 10 ^ 70 + 3053103883790582643243139641562881005776307838743508747423378736100183) * 10 ^ 70 + 2810785387167289865446488927280579882230449416373792115276231251532777)

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

Polynomial.coeff recurrence2Scalar3Left 274 = (7371651751877989276675173635261135897417479133178265119751486295 * 10 ^ 70 + 120560800595718761038217791494855058275893123556668842592565243035595) * 10 ^ 70 + 8022328014254603587123366479857243199678093463590740297325697554680042

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

Polynomial.coeff recurrence2Scalar3Left 275 = (849246811898244258080914493936243068839255312366519810878500170 * 10 ^ 70 + 1286477213066708179990269508406566651030424051297773510544584835363318) * 10 ^ 70 + 3343861739981041713843715648497445341391663395785211383134605105613353

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

Polynomial.coeff recurrence2Scalar3Left 276 = -((1783976599390030919080286878216595916531598092799215625580076262 * 10 ^ 70 + 612110386937745610338630705759458702925997050940776269979856036241235) * 10 ^ 70 + 9421022493755161709957850342756160635702947544177633266131566012569145)

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

Polynomial.coeff recurrence2Scalar3Left 277 = (1189442142158938731499784629568347737550296114613875968701424625 * 10 ^ 70 + 7984348155808856124633808370573042410724541674261529239710390572686249) * 10 ^ 70 + 5966588018546307760326562852626065518517779366466153050933270344738198

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

Polynomial.coeff recurrence2Scalar3Left 278 = -((603852247818257660857873324264719311084589280938070173966679875 * 10 ^ 70 + 3161007195970213278964989740757728858694411329515413130457096659611962) * 10 ^ 70 + 1293832768441161509013030262827539294773013457960967025681812137726429)

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

Polynomial.coeff recurrence2Scalar3Left 279 = (263745527854838823971464418939310248799332586398103005521575991 * 10 ^ 70 + 2556670814906964440811648233325405047846180483754925629403706259020587) * 10 ^ 70 + 5693355559319123023098170245668736233755608075774726689959633578248752

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

Polynomial.coeff recurrence2Scalar3Left 280 = -((103128366643587837518272033000595646330285835096856647615054403 * 10 ^ 70 + 6470281797179080481374846168459575674575269502782853994092568312678785) * 10 ^ 70 + 9016408196833948803068243890068836468523342836720971961761414664476007)

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

Polynomial.coeff recurrence2Scalar3Left 281 = (36647092090124733202064388506832656000638118067520325964536380 * 10 ^ 70 + 9544175266637682652437222063454144286324640661876317272033621825531188) * 10 ^ 70 + 713720817749329960448011295485522120588242705966290589463193562746884

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

Polynomial.coeff recurrence2Scalar3Left 282 = -((11873205463013750423285514616691982898369280385946984692943227 * 10 ^ 70 + 8241588785362172787134399175964015809012183677138833968874879162809391) * 10 ^ 70 + 6758047280752069902174638685870823477804653917639340857005536672509936)

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

Polynomial.coeff recurrence2Scalar3Left 283 = (3486284559662488851052490656220839857792623510348756277130762 * 10 ^ 70 + 4790520640906162283107261384088529655088416541212311444114464456987750) * 10 ^ 70 + 175783588906780209401495413267928182617680030552198217566189042894602

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

Polynomial.coeff recurrence2Scalar3Left 284 = -((910785893493690236917916504026216710557234617567588700332459 * 10 ^ 70 + 9026417581928162357463746149034341262110936396211100129416634336866916) * 10 ^ 70 + 8802234848595928547116191895176916427243249239874261825812059881594783)

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

Polynomial.coeff recurrence2Scalar3Left 285 = (202279716822981723036107431506657243102215960811244445286695 * 10 ^ 70 + 5607191889202733283174936805562234663654180269062157481467524342153616) * 10 ^ 70 + 5471850845926596653049904917341264484495431667104807310969700501778841

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

Polynomial.coeff recurrence2Scalar3Left 286 = -((33199562483496707529058535382820952440144262580437255163149 * 10 ^ 70 + 8329421205311743021416361394673536969594144725382469935685423643401872) * 10 ^ 70 + 5873467886425891251627758396096286485553171376887375282047879121113253)

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

Polynomial.coeff recurrence2Scalar3Left 287 = (1153546380953813016905086390015788760117072535095194832875 * 10 ^ 70 + 4577944870034637161044659520097170079366437451842893915862857003330340) * 10 ^ 70 + 1500703778537420219615251309643693840984484760219824124558346254850821

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

Polynomial.coeff recurrence2Scalar3Left 288 = (2037191791666764524557826224393550972339258467353710386602 * 10 ^ 70 + 1096500913987448302194533812998301885460954459820729304966738436462670) * 10 ^ 70 + 9804859735361800658966297810260429641074995747433096690319224319124370

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

Polynomial.coeff recurrence2Scalar3Left 289 = -((1139944849454389025610869780540873242551087576330215506831 * 10 ^ 70 + 6456392274140915531953177802790844697767149385805988872543148891342377) * 10 ^ 70 + 8794049604519850942104412801768428132562859156599084484168475130884678)

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

Polynomial.coeff recurrence2Scalar3Left 290 = (425671956373243048242988645623287629224591603408010799592 * 10 ^ 70 + 2908124471102106863436747574877282073943557761864353197640497528976851) * 10 ^ 70 + 1144827741011433669690256287654528129855526076968639379653862063526667

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

Polynomial.coeff recurrence2Scalar3Left 291 = -((129745821592298905088680670409947193936524243212850523133 * 10 ^ 70 + 2548981527809766043236639482096068078167107167725361360980825247689241) * 10 ^ 70 + 6186146908000912027740861346845713286696085577072657070786381415802456)

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

Polynomial.coeff recurrence2Scalar3Left 292 = (33872963015563760586207504300870743870656869479596736673 * 10 ^ 70 + 6204462404705550640664668622878826770436217147132889504582033910209198) * 10 ^ 70 + 7296329217827020549704906690509115267554977349215352322206548347304392

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

Polynomial.coeff recurrence2Scalar3Left 293 = -((7603089042989055738458025309144434501468696642094282378 * 10 ^ 70 + 6749427979357848338458546100138585798281121999113497444054161163898331) * 10 ^ 70 + 7674369824248847568667041387021728907303107572589164323147576733209391)

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

Polynomial.coeff recurrence2Scalar3Left 294 = (1419052720223751571944422779970857221116717647274002134 * 10 ^ 70 + 5227329073628045752696506178526759739218637993869357994502122404960906) * 10 ^ 70 + 6932057267701587581851475154183020907375114510519579650652908631716000

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

Polynomial.coeff recurrence2Scalar3Left 295 = -((194003756542732719049738988906724825436138767935294431 * 10 ^ 70 + 3826506934366555668380464996438483205333835560668243953276931929560794) * 10 ^ 70 + 9599034754100388381513117760884878691975555090736517573840068191911537)

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

Polynomial.coeff recurrence2Scalar3Left 296 = (6880057698139600313940743723108941414520343344031620 * 10 ^ 70 + 1240449705232015570366527914403337662342783183726866147468183265308211) * 10 ^ 70 + 6022532868662731799005426043550624963109425824764645472168592865393954

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

Polynomial.coeff recurrence2Scalar3Left 297 = (6968343319930727609644153030869861766676523044332966 * 10 ^ 70 + 2250159409667240892342817752332525524016064999368277301766110009582322) * 10 ^ 70 + 3152228260231353705510815322155990670202516872840254730206905268046412

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

Polynomial.coeff recurrence2Scalar3Left 298 = -((3130518517728863549985892794080010383580671580744169 * 10 ^ 70 + 1736830088714939532207038198681997698609202045401296191078042572486668) * 10 ^ 70 + 5967357798926310432036364888516476059206650095447135721443407344272614)

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

Polynomial.coeff recurrence2Scalar3Left 299 = (905898633329504717402625642810049390201961155023202 * 10 ^ 70 + 4550879286029373070153259481794034222649133207763808348831934179527296) * 10 ^ 70 + 5383116513305398358748592134486148654066687332949853765173549523941957

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

Polynomial.coeff recurrence2Scalar3Left 300 = -((209063476771636732478779418303799838820568916143858 * 10 ^ 70 + 2618450284389013046462836037811222556122884553084584733188321899591296) * 10 ^ 70 + 307415701238141321333466906664082949156614833655688340713264792196433)

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

Polynomial.coeff recurrence2Scalar3Left 301 = (40215594208705658121168598327301841177826311830710 * 10 ^ 70 + 6405273298286451831062528174481963979954535161775101956056009698583925) * 10 ^ 70 + 5114382151083417756069182981072265663767680019258024392227779062570875

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

Polynomial.coeff recurrence2Scalar3Left 302 = -((6371249380115264251495751393145544065269226544764 * 10 ^ 70 + 5295576401610280460867788479696206812355644345498252545038946243736674) * 10 ^ 70 + 3094854963038352795619165747704315573566668880068683612917061562098649)