Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1FirstPart1.Coefficients312To336

Recurrence 5 lookup certificate: Scalar1First coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_312 :
Polynomial.coeff recurrence5Scalar1First 312 = (((69079247473852752138351586682845738997060386193469721976387 * 10 ^ 70 + 5778709084931343101872569048265105891803911944653943222913493171575404) * 10 ^ 70 + 6514283793592969886963680451584621374854110338707276742056537388598431) * 10 ^ 70 + 267199815886923211672663435540674196650905228511330499086800214211010) * 10 ^ 70 + 8189722854942155437997103267967817250368940109693300210295124599683792
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_313 :
Polynomial.coeff recurrence5Scalar1First 313 = -((((27115505359945359015626655499972480965695423111871542294542 * 10 ^ 70 + 1272378148438607922235656404794158709376617409389308433626950305105634) * 10 ^ 70 + 14552962899440751169366252371217858632486365573456860375393918509229) * 10 ^ 70 + 839069573597509583920011663613793771677242511494859882810359024590790) * 10 ^ 70 + 9090729430909335382276913151735956235351559089773522196291692415918634)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_314 :
Polynomial.coeff recurrence5Scalar1First 314 = (((9333001973586099895456632487862623710826499896443011414346 * 10 ^ 70 + 9089255511860709169931982074500962679302645434246899140827647378958594) * 10 ^ 70 + 5620498030914297864270910187625942296803661393213802482244511209245514) * 10 ^ 70 + 6932710507614736788718604731045236312931825844927024743941729180610537) * 10 ^ 70 + 4224454250507934616542756328775720219557628288956808350460876022211379
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_315 :
Polynomial.coeff recurrence5Scalar1First 315 = -((((2525968983043127022998964497814959505398642210138886965468 * 10 ^ 70 + 8929191423911683763886765985535266202574907435538447503299435873406325) * 10 ^ 70 + 5667071181590365106660212626147172846518247586660022411144169871400242) * 10 ^ 70 + 7209885605918703922380322266701536267111486357194078091704001354963677) * 10 ^ 70 + 7659985461712267502826836128355615475430685676521587036837505420929181)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_316 :
Polynomial.coeff recurrence5Scalar1First 316 = (((275724165867763396929646829214302048146541722963171077479 * 10 ^ 70 + 90100302312866946200552645339791865642319542263603280308976872907700) * 10 ^ 70 + 4060102059441467361659465016380972983836578034610259700449572167068820) * 10 ^ 70 + 4077093947402522738445239126356767117377204600339384028410995335355533) * 10 ^ 70 + 53058960687116602696560680573167594063632681087554653454902289290246
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_317 :
Polynomial.coeff recurrence5Scalar1First 317 = (((279871210892504894961547627070934590377059085080930175252 * 10 ^ 70 + 2611303093021181515708245894729820828010120572455120391164875950069759) * 10 ^ 70 + 9121767771955700977105257982224368223773890593330931889521361434386) * 10 ^ 70 + 3025261528555449569869069139426578687370805152021700570641527423509215) * 10 ^ 70 + 8867930723543745048131836888422605732509432399590366369104492712851188
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_318 :
Polynomial.coeff recurrence5Scalar1First 318 = -((((301717084635880083114515995650004941110060630973339665872 * 10 ^ 70 + 2676555358514044280351150955691488526636416221964418718723887666222954) * 10 ^ 70 + 8701533419724880241866288028334923798788914496982451405060813558666043) * 10 ^ 70 + 6839804464521504235948518945627459960177049811890633470245066986032642) * 10 ^ 70 + 1312430224216914933136084057983854246599224494407944267957911771695821)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_319 :
Polynomial.coeff recurrence5Scalar1First 319 = (((207365504784892349084661296099611839064776163905154767317 * 10 ^ 70 + 4058588311033991775490148318522550547358807157100232695355630784653283) * 10 ^ 70 + 373608828090694030245558194902395992811369794313960191295383267897564) * 10 ^ 70 + 2973181639544271335665964673019781438649790405213081358410891575324427) * 10 ^ 70 + 2670783076025521540497531876884474808780784323660042002860130332266183
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_320 :
Polynomial.coeff recurrence5Scalar1First 320 = -((((120763665885219217538753317393013412214762068741157187718 * 10 ^ 70 + 5097536887850522439231182954887163848115883380444531803739683938041036) * 10 ^ 70 + 6073906302848219231904517449098492948835869849703565008418257957373400) * 10 ^ 70 + 4469877434708482180448123939635135297235626050791096323771450622911619) * 10 ^ 70 + 4708981466646745594138183540833003392416469776342540362716302287885226)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_321 :
Polynomial.coeff recurrence5Scalar1First 321 = (((64292234060296693753188898936449204194693478839882663928 * 10 ^ 70 + 5750859614339540159753378752684892507321492653737490666869698237104632) * 10 ^ 70 + 8585608261435606672376337064836794445081988297503569074371643126870973) * 10 ^ 70 + 8402375557480877617127288043556605056434978112559360255528361292974921) * 10 ^ 70 + 7848660040624082079444158375793683906779041690577615886852976682778122
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_322 :
Polynomial.coeff recurrence5Scalar1First 322 = -((((32353861560458656018569093949393123480466828214908968894 * 10 ^ 70 + 7355487733880426263203920769604445226241707231849681663333988014024228) * 10 ^ 70 + 9710693649159292245614047835647508567426521222408200333968580411821416) * 10 ^ 70 + 8333582989749845439663573771789571477041321138560528162209166707786652) * 10 ^ 70 + 3742283018596949549176072133268842526808191605259588130439992350057395)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_323 :
Polynomial.coeff recurrence5Scalar1First 323 = (((15681986732591020541227643712721765569337104309806814168 * 10 ^ 70 + 9177303264204326685783195697565177263254834118884510056562031199721683) * 10 ^ 70 + 9709040762535034921082647993856234553682639010170696165125997078940541) * 10 ^ 70 + 9670789562725765256981564692519870593136154137731864760306363608496687) * 10 ^ 70 + 6263154793652215602160197251914424338832053201487422304948181422900492
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_324 :
Polynomial.coeff recurrence5Scalar1First 324 = -((((7409859255552543690807680786627975724869237762147511204 * 10 ^ 70 + 130789975216925112619200252500063546694039354714512625294889868869317) * 10 ^ 70 + 1788566393797536691563209817594104674508742071137653544245584568562626) * 10 ^ 70 + 7351462105061111981741672411087721087608504403024504389383188760835115) * 10 ^ 70 + 491981525024079274397356955511641819315657686028984443383204754156154)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_325 :
Polynomial.coeff recurrence5Scalar1First 325 = (((3440721498987501634776724425036167887897350500683931453 * 10 ^ 70 + 950603726229333953346552741174050146386726852669487937876503035840534) * 10 ^ 70 + 4785006767551642783880439295785465668005870555080805980998696250442823) * 10 ^ 70 + 6455753570785328591452034621518253079722725933618869215303740872191218) * 10 ^ 70 + 215550872025206327614428468066399051824653434003149035615271770955136
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_326 :
Polynomial.coeff recurrence5Scalar1First 326 = -((((1578213939604285794504102552260410188104699242411122183 * 10 ^ 70 + 6652125034650823676931817770304086397280619744937053428645940861609837) * 10 ^ 70 + 4005540149356725803029621221223983942560225420175068899544049066821443) * 10 ^ 70 + 7105433089884602799971233782949388905342895621475840285732497693310857) * 10 ^ 70 + 8302492739614118112380594168668634887865926917082887924980110927695579)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_327 :
Polynomial.coeff recurrence5Scalar1First 327 = (((717125476711076084734857112674628463885512541371503227 * 10 ^ 70 + 7206944381105199846595897291232371591328691285947131084160952959250658) * 10 ^ 70 + 4125575009322899145207561445685986533665150454562385448014997866660259) * 10 ^ 70 + 750296119322715290441188324412075278211010575918818988727371483802184) * 10 ^ 70 + 1266435540829355320404961396489257571291661425971683651849054682405847
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_328 :
Polynomial.coeff recurrence5Scalar1First 328 = -((((323113308283949676555563662549286869627861107543953761 * 10 ^ 70 + 5646818251136644681777551535761008987959473571850858944301525062975401) * 10 ^ 70 + 7136953072259222433715844305300089319304407301032734797740035676579139) * 10 ^ 70 + 9300630095177794732199697475990359929477172136309279377706488475625525) * 10 ^ 70 + 5537186694605721328269784523220994099360607537584129820382223339510118)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_329 :
Polynomial.coeff recurrence5Scalar1First 329 = (((144293511584211002602904369551754503549650431288050989 * 10 ^ 70 + 8486550632109172273410857247322023882643536910343689583933939044404846) * 10 ^ 70 + 6099308526577690166625532966226114655631869100322282029180215773832233) * 10 ^ 70 + 6294745882207706388368868402089580326422829367129557255625312417640404) * 10 ^ 70 + 8382991705697558395548921429969684777397376759140302053065988028326836
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_330 :
Polynomial.coeff recurrence5Scalar1First 330 = -((((63777525572508111949439343892223620488850571341149998 * 10 ^ 70 + 2065889910508066718700866232383491285011378957054139974036246804504792) * 10 ^ 70 + 630562767860014142974022606304580411602983172540386341865905460041473) * 10 ^ 70 + 6463014646190246225400686284958899827736407421075576265550365375216188) * 10 ^ 70 + 2642445433702314761116871721823261358961330693597341690495873112426828)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_331 :
Polynomial.coeff recurrence5Scalar1First 331 = (((27848296252667688220477042841878370954672188141891196 * 10 ^ 70 + 6225021491657123245666047221944380894152102768426062694574769392052871) * 10 ^ 70 + 1901512057119113449375473391103033308457235949786421895254630238394045) * 10 ^ 70 + 1262282706426260739248373270040058291742353787020816477561781723814988) * 10 ^ 70 + 7190029620522498671625542394625837017290203587911076052320360540745748
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_332 :
Polynomial.coeff recurrence5Scalar1First 332 = -((((11988107447060372089640393952514123780298736210655561 * 10 ^ 70 + 963057708241608784952440232186691930181682203441791166967654664223820) * 10 ^ 70 + 2429789283736722648915352939694304923028588958104721219387939173750181) * 10 ^ 70 + 6184581697102794670328848560795339056764048856011848223940662561786270) * 10 ^ 70 + 5717401892203729653545068760045295355852690534856815453608971228975285)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_333 :
Polynomial.coeff recurrence5Scalar1First 333 = (((5077582201663134479213581660438201718161856486567266 * 10 ^ 70 + 749169382559354046313075830894215781841118938224181076809260797755971) * 10 ^ 70 + 1683767874399672330153396253382198143488126173722825446319418362896626) * 10 ^ 70 + 1772423836198601920087820828599856935544944881066586484321901029107992) * 10 ^ 70 + 8326642255732399778771483545142290983206922694707223523811198498195491
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_334 :
Polynomial.coeff recurrence5Scalar1First 334 = -((((2112124108941775558681141130576904879343115982018460 * 10 ^ 70 + 7979855552486144468740402952937858754721964300790032237386238443040990) * 10 ^ 70 + 3564032737077267462768303752880929267503293462444481188056530567209776) * 10 ^ 70 + 4144343016235234946986427977308925789000380606894584733023087711143699) * 10 ^ 70 + 4590171484291409600429338818935513548201719599756755055709446253647848)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_335 :
Polynomial.coeff recurrence5Scalar1First 335 = (((861430896687833273624188078297222507696399542754242 * 10 ^ 70 + 7229737859459512688069701864659871821702766672720911304481426753499721) * 10 ^ 70 + 7814674474566207886234173407358711891445603792403170825665375320326608) * 10 ^ 70 + 8887486805342392567423738995322471784751883227415735488889348896163839) * 10 ^ 70 + 5886242660214992880597864477965320175125967760370790371757117607684394
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_336 :
Polynomial.coeff recurrence5Scalar1First 336 = -((((343964606621482416564355080509787292516229906426425 * 10 ^ 70 + 4900387294694258584415797779832985393051443852209066813402188311563928) * 10 ^ 70 + 7590408414303290131755406751519101599823744434397473846401742692649329) * 10 ^ 70 + 3443332874792173512371833096684043684494488498562337845233773192849496) * 10 ^ 70 + 2366806546522154883545159940964872880462987599736330085913339365663534)