Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart2.Coefficients269To293

Recurrence 4 lookup certificate: Scalar0Left 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.recurrence4Scalar0Left_coeff_269 :
Polynomial.coeff recurrence4Scalar0Left 269 = (((3751092352073519263571261206 * 10 ^ 70 + 1045891807062574955542247409544923288018096944046670800554803935871810) * 10 ^ 70 + 4655987824790400435218791945419913565010636778040476274190457299367164) * 10 ^ 70 + 7993148494761302011516144903783717545733880888301118796987631994049601) * 10 ^ 70 + 6107665374582367234785006946392079928284412516953544093003089316813255
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_270 :
Polynomial.coeff recurrence4Scalar0Left 270 = -((((3074706506639132671083854064 * 10 ^ 70 + 450559853256497019827508445209448788707314779240495223651739694845699) * 10 ^ 70 + 1394607824224328434041573963057912453454194742248438366866147312420002) * 10 ^ 70 + 6798453052875846177725723948294239302720889258913635517070629380549152) * 10 ^ 70 + 3887761118568701979809887862862434350971271888742875120380245835832360)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_271 :
Polynomial.coeff recurrence4Scalar0Left 271 = (((2408107801855545054506516628 * 10 ^ 70 + 6380618268433260732397584215787886073448244764560183468988477772330732) * 10 ^ 70 + 1002622797710851178716159814685801369441253268967033390928076661852529) * 10 ^ 70 + 3262500934320512823163018593482785984436816398769755713210523488114103) * 10 ^ 70 + 7823246913054029528028341787850298429078049679284297488073679378410846
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_272 :
Polynomial.coeff recurrence4Scalar0Left 272 = -((((1785601959471234424862708208 * 10 ^ 70 + 3749776185879324607043281992765499549657524167758715607467864380709112) * 10 ^ 70 + 1896742789104457029789188816703552783995665818419683816921873975208446) * 10 ^ 70 + 6538283435667451190401404889315075985531250706227178865134423368330110) * 10 ^ 70 + 2509217983323354912753763434324288959376215325400271116865558494286214)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_273 :
Polynomial.coeff recurrence4Scalar0Left 273 = (((1231547780160483910977488914 * 10 ^ 70 + 3688125342924519388051510633534939921609536063570608662154846396479875) * 10 ^ 70 + 7568762103094828558131345350053955945026422956793006362204011821882760) * 10 ^ 70 + 6426667711090823140014932222132367087665277349442650305447374888072002) * 10 ^ 70 + 3133039893815060422322552346596894018621763509905921397046407926247674
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_274 :
Polynomial.coeff recurrence4Scalar0Left 274 = -((((760628463321804089429135617 * 10 ^ 70 + 6808212743405413713692773936776224609398516424407978923694585767530790) * 10 ^ 70 + 1794977869260450479352973551327661298884415891795034912793382961219749) * 10 ^ 70 + 4962657210087194986882361641594129802561676199102687358223979657905757) * 10 ^ 70 + 2515380761687356711719276168614379698612692641330575234812696142629030)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_275 :
Polynomial.coeff recurrence4Scalar0Left 275 = (((378858010942192954790454067 * 10 ^ 70 + 6799258796596637230830796367424693512514137568382269288568089049006605) * 10 ^ 70 + 3747772071123844150723252914931491425677507568056901150327561764760139) * 10 ^ 70 + 3622774549783856477923780912864540144409112548773915920883159567282673) * 10 ^ 70 + 6988472107645548520204959878720634965339388276742955499782251525720840
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_276 :
Polynomial.coeff recurrence4Scalar0Left 276 = -((((85084372015185715278614991 * 10 ^ 70 + 1168125882811349717029523875518785969797600110796195445427778873131067) * 10 ^ 70 + 6089674402354003002341233626187395323079781092999821756471578364221933) * 10 ^ 70 + 1019007162317718502884782668798177117610326825106613992567330837983611) * 10 ^ 70 + 5247934423035640609299500745858757404942039987783552499210514393212069)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_277 :
Polynomial.coeff recurrence4Scalar0Left 277 = -((((127252295122054497621420436 * 10 ^ 70 + 7452700694267282604510966899335871800142665967417106252707942202276) * 10 ^ 70 + 4355993512926215472191023162286734767229173336785570741727543875114549) * 10 ^ 70 + 5800311718023419474500983480318588981838976003470320289471300342134243) * 10 ^ 70 + 486413311694653978511077714399448683223084881948147944279769054243645)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_278 :
Polynomial.coeff recurrence4Scalar0Left 278 = (((268323250831792212182220747 * 10 ^ 70 + 5827788950882006022624454453229148673336185476287279155633291931154912) * 10 ^ 70 + 5005799574146512587854144735468281285191057926765979983097326877701041) * 10 ^ 70 + 7596130048935731536158873296543116400768354540795662740405100437393844) * 10 ^ 70 + 2133200098318768014968537876530570009449840227468934543562266258459917
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_279 :
Polynomial.coeff recurrence4Scalar0Left 279 = -((((350249931711303134292119132 * 10 ^ 70 + 6818130666623856366118930723875928677232979067489659769993306997880) * 10 ^ 70 + 4901364688407012548071362043843093821467467965160583897863615885174155) * 10 ^ 70 + 9679813903072974406293481711295487057309481396518755312790498426360377) * 10 ^ 70 + 3860005493469099554350397079632612722511168814676539993957537389510967)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_280 :
Polynomial.coeff recurrence4Scalar0Left 280 = (((385697621085427444366571933 * 10 ^ 70 + 5556042904531312755404497470420624618071548249832399478808252445488770) * 10 ^ 70 + 7911196206781212827303511063554237440445235818235623219554330986220578) * 10 ^ 70 + 5351022039233741411468847870689740182588350207459848863322329703628888) * 10 ^ 70 + 2391671707399034668692121151292096025997927699387388896740205021034697
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_281 :
Polynomial.coeff recurrence4Scalar0Left 281 = -((((386789361700266316337205180 * 10 ^ 70 + 8084444719022596189664764730694690668016054717307625738640422723236926) * 10 ^ 70 + 6418457165313706990770678231744169449507813393032978634627067751484530) * 10 ^ 70 + 7472220822918492894944517660182797925284145468621055010030524693496200) * 10 ^ 70 + 4639254152022648975305911757384593706710705295427141456420077822844572)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_282 :
Polynomial.coeff recurrence4Scalar0Left 282 = (((364356830456920125521582284 * 10 ^ 70 + 7627723191685887781922021311283777037274741879140974594633830671112537) * 10 ^ 70 + 8722372663288513143132118569752349238540263496835457724442861076115760) * 10 ^ 70 + 4625243376271074222753687110002749026408623467073440223422601458933719) * 10 ^ 70 + 5350249303615172133249568092821711588627792039516211525633090066385472
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_283 :
Polynomial.coeff recurrence4Scalar0Left 283 = -((((327506586349909977474925078 * 10 ^ 70 + 4001760999765060447256563496611923804131728084573606424918488025041026) * 10 ^ 70 + 6188304352807392841893370920326805127260404656859858046864598324417760) * 10 ^ 70 + 3776404153627643887209120793807587522008470782029325757125109600994216) * 10 ^ 70 + 4740237451826817409749604393221075420510383687639096143143390358243548)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_284 :
Polynomial.coeff recurrence4Scalar0Left 284 = (((283454109293618417538214871 * 10 ^ 70 + 3190348863162537268518206270583462442000588497168418007306782232400601) * 10 ^ 70 + 6191572788906512988332681547607591298033584359841643438941523866921237) * 10 ^ 70 + 8147405109876477176905765476248392795784684392701795126509059142406269) * 10 ^ 70 + 5418084327157064090097083316341023890212181111282809085824519496782266
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_285 :
Polynomial.coeff recurrence4Scalar0Left 285 = -((((237564268867767407182295129 * 10 ^ 70 + 968090555621749648016463844543889220869513147796459600880358475083395) * 10 ^ 70 + 3238620236766195460645767623025834264438974513032318387453275111169307) * 10 ^ 70 + 5350763771585921141967486839624523673213455993458735100805641634601408) * 10 ^ 70 + 5733660705909744839621794762822048717057807476867441427821298460579503)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_286 :
Polynomial.coeff recurrence4Scalar0Left 286 = (((193533643440021411306153267 * 10 ^ 70 + 1446173573942500124183543516565687148397726327489730937034157662790015) * 10 ^ 70 + 3546264364770250329336926262975059445340328700927208167496786071423090) * 10 ^ 70 + 94847115740358759288285468491528081752738886262057610740428079298059) * 10 ^ 70 + 1298498755780866371333041548415229156920920161674480472592521913142332
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_287 :
Polynomial.coeff recurrence4Scalar0Left 287 = -((((153654887470102726923196592 * 10 ^ 70 + 7536090454557890270878483808962866001421022496616641607726716218498624) * 10 ^ 70 + 6177721702625039939695438594521361855155493542716838826413889096935767) * 10 ^ 70 + 2946927640225351923486238566214635307366458977922200958825617638130980) * 10 ^ 70 + 246316668294330519691524000504276085715607885745633454392505581535682)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_288 :
Polynomial.coeff recurrence4Scalar0Left 288 = (((119113249544993062410468288 * 10 ^ 70 + 8895368439930737639229483653204627232013428527640755914011242174357739) * 10 ^ 70 + 1879169284326249961387172245765929924771705367230303046119553793420638) * 10 ^ 70 + 3195039678402756998276185341350338590687455818177837096687752982339938) * 10 ^ 70 + 1090047582088053992773868758036807426228054988829558157554112872510924
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_289 :
Polynomial.coeff recurrence4Scalar0Left 289 = -((((90277683919075133948998662 * 10 ^ 70 + 7437500008897643271872406389944219182144058383437595784537660832822077) * 10 ^ 70 + 1712794211692637758646377948508913161494106933430145940228122177362976) * 10 ^ 70 + 1037128624906733530700701141784295979055857340986706421532899966808831) * 10 ^ 70 + 4472744898213048591716811863737618691371153725452780784187208641170025)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_290 :
Polynomial.coeff recurrence4Scalar0Left 290 = (((66961575491549468705868928 * 10 ^ 70 + 8650006605195474975911296103682522033266983940996257724583217211665211) * 10 ^ 70 + 8745348240116057804283383796632454984029972261654964762860608153108192) * 10 ^ 70 + 797069396062679326823536587749168917464519618198081655406663547601306) * 10 ^ 70 + 7099852849793088770449484503558286188814679906472539281524200094926291
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_291 :
Polynomial.coeff recurrence4Scalar0Left 291 = -((((48639358196773982379132166 * 10 ^ 70 + 9595401538338087337509997575422543609125437163696846317558975770716354) * 10 ^ 70 + 7305626953516057696648333574021461269828175426049305323886163726889232) * 10 ^ 70 + 1189260259721446225978707058985798807552675601635530040553367449574759) * 10 ^ 70 + 1403104112781529764090996498849131228918497248600255081948541418550155)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_292 :
Polynomial.coeff recurrence4Scalar0Left 292 = (((34614351806002368694445519 * 10 ^ 70 + 8383470980197029765306180956841955877353172542271315536622914047491843) * 10 ^ 70 + 6577911245945837384017469066698804975729821860639743090314714984762780) * 10 ^ 70 + 3501256668234882182613207015921961450839242881758980856317972414335554) * 10 ^ 70 + 2125390470496325521423071303411424808053751999361924841461870797121376
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_293 :
Polynomial.coeff recurrence4Scalar0Left 293 = -((((24139643597479137579764460 * 10 ^ 70 + 2799766452536806845936242016763382440991949882156015308926791303914633) * 10 ^ 70 + 2023753927204968873513424342140114034109196985916507109140989120245224) * 10 ^ 70 + 4278993376870966344351785807762505991641995799483230357937965213634429) * 10 ^ 70 + 1478597042913504240370615152992644748133425713265870500461154195104853)