Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0MainPart1.Coefficients199To224

Recurrence 4 lookup certificate: Scalar0Main 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.recurrence4Scalar0Main_coeff_199 :
Polynomial.coeff recurrence4Scalar0Main 199 = -((((69229653831770826639 * 10 ^ 70 + 8410699673037350561776704939174803990961512289911356028815192578468860) * 10 ^ 70 + 7713621013272784976445208083779809974845698774461404970200416645689446) * 10 ^ 70 + 7089002957852993464436970987881819172277618511396758316347930282413325) * 10 ^ 70 + 2716260555432663398735444779351412023563103794218946501452077565038629)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_200 :
Polynomial.coeff recurrence4Scalar0Main 200 = (((144754494370116973594 * 10 ^ 70 + 408342946467024384718197224975709243931749189702538206931016948148523) * 10 ^ 70 + 2295072464005916006819726670329069989159250895654883977420786528590115) * 10 ^ 70 + 4561824703629574261414358226068621018707746893795637344333633178872548) * 10 ^ 70 + 5168351891583932426409733039944212557836944534616477892371209368911123
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_201 :
Polynomial.coeff recurrence4Scalar0Main 201 = -((((298395302908907079623 * 10 ^ 70 + 3638113880760056258198574324095274374251076825524582293516409493456037) * 10 ^ 70 + 1478388241338762045594988113979323438937979137854920127944325482260935) * 10 ^ 70 + 4787170176422500926726057151994777477075247795110640433393080795546991) * 10 ^ 70 + 1159343291074587937327350674171867157250291785976365679405097761469172)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_202 :
Polynomial.coeff recurrence4Scalar0Main 202 = (((606421651309463205197 * 10 ^ 70 + 271904228559899542024436536539714169801545769376840533155681270136180) * 10 ^ 70 + 9862064238276916792964422938742673058740281111652388934596333411883280) * 10 ^ 70 + 8980799624517470156447180665066316879154826348321214874281127086212565) * 10 ^ 70 + 357845419764121530109799861842351514397096506697401419471958796347073
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_203 :
Polynomial.coeff recurrence4Scalar0Main 203 = -((((1215015898956361839175 * 10 ^ 70 + 1609241393377883672299818827079202391400970530033708040775726172092765) * 10 ^ 70 + 8036153568721135325872950187126922688261725241409782111066078196892937) * 10 ^ 70 + 3118418359521546477240104784641225877936447236411048076942143391212154) * 10 ^ 70 + 942061507701906623570094377197184565240020274055679693051028903625980)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_204 :
Polynomial.coeff recurrence4Scalar0Main 204 = (((2400017825429196184187 * 10 ^ 70 + 2037704379394176839252095373457591852403953727625241685465295027171086) * 10 ^ 70 + 9569371092294896335096820544911374362946372488986096339095799578836106) * 10 ^ 70 + 8192762998669492368159176275309239965627248339010645629347938628459492) * 10 ^ 70 + 3500190714758331887935746947555837561144000306350368427276098389296347
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_205 :
Polynomial.coeff recurrence4Scalar0Main 205 = -((((4673818020907277530326 * 10 ^ 70 + 9107195271655277137939538358848256417048711102941230415497609328648585) * 10 ^ 70 + 4762280900158936459626636884552989652030809338820748689759847208540829) * 10 ^ 70 + 3013434657228378338796140166838626841891570965819196757910849566443354) * 10 ^ 70 + 1012316962184376459663790790377346363676005822134189470539462334620368)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_206 :
Polynomial.coeff recurrence4Scalar0Main 206 = (((8973303362595724903074 * 10 ^ 70 + 6568457776799203066164071672042506282530724237339480516456114421442436) * 10 ^ 70 + 7183847252245907247074375716305594971894324328255162718825114917829595) * 10 ^ 70 + 1839137141487249804108675952954316385565772099160136509699696832635629) * 10 ^ 70 + 6748901343688026468897107268360547070428263734558322902168346979867288
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_207 :
Polynomial.coeff recurrence4Scalar0Main 207 = -((((16984519044061606634427 * 10 ^ 70 + 2652684282640515587063062805194311024289774521730183626192430937102181) * 10 ^ 70 + 9683898363432807717738131506037587933227996703568924365097011983599689) * 10 ^ 70 + 1197491788679028241153357605607276050929110722369516550138905125755599) * 10 ^ 70 + 3194281271572419232015293017194132671144395599928796859190422565136624)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_208 :
Polynomial.coeff recurrence4Scalar0Main 208 = (((31693506141692078909140 * 10 ^ 70 + 1662464155182005260738293933368141359698516698919890495580085576255027) * 10 ^ 70 + 97535431457383778070486072832762357606568364573196631301393053381913) * 10 ^ 70 + 5264799148777112227541033426503384498011108269256197186268787870935334) * 10 ^ 70 + 4174944052989711357246763955478172442068238561876806831656710009007993
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_209 :
Polynomial.coeff recurrence4Scalar0Main 209 = -((((58303922358194559079098 * 10 ^ 70 + 9062931107391548726935198631732860025570569632418460552098779334147958) * 10 ^ 70 + 8432121590113159937599740422656903681803706119848033164549327939111497) * 10 ^ 70 + 9865277217838058247700229477470040668451247299950192967673484218815581) * 10 ^ 70 + 981229532796353362556702735709096901081029242361686384975645136222300)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_210 :
Polynomial.coeff recurrence4Scalar0Main 210 = (((105737360029190930509605 * 10 ^ 70 + 2835489183047952549385793776998932797091212588776232188920807758966619) * 10 ^ 70 + 5192445081613740429126448979315030052059666214403328462405544171696904) * 10 ^ 70 + 4069188136453666153026844542382084944595716368019292615463495332676254) * 10 ^ 70 + 533502644553891609861950680724155162772802443071487970935780119082512
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_211 :
Polynomial.coeff recurrence4Scalar0Main 211 = -((((189039866162424230420278 * 10 ^ 70 + 6706705763643587486098636890016387977296902610445445649071908817299661) * 10 ^ 70 + 5276417102215455055273788680343768247430465822173832176973966397879514) * 10 ^ 70 + 4652950419011747126526020980960780583729931460479813023418292675078298) * 10 ^ 70 + 7176643661792489521251323374151046045801433685206862059061309764642321)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_212 :
Polynomial.coeff recurrence4Scalar0Main 212 = (((333166838240289480146560 * 10 ^ 70 + 360098308057139610739292080661015643250555985431267874152026175701221) * 10 ^ 70 + 295920162059151117041199155530507759736461505638773047486982595002677) * 10 ^ 70 + 3391691554201892288997677151806371046677511248616601783584584760296271) * 10 ^ 70 + 3134551415460418466584622913132126368720343998995662541950293587358900
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_213 :
Polynomial.coeff recurrence4Scalar0Main 213 = -((((578816228937237891797277 * 10 ^ 70 + 1342463326378169389466341157624238708142337203531948404582936780329428) * 10 ^ 70 + 3200032759518322895110767764133031103261683557360733637708045157065936) * 10 ^ 70 + 5520084518741202406583697873245066062296520524179146266604127482395278) * 10 ^ 70 + 6471845379800193096385259365138272459730250178704353703570839764175558)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_214 :
Polynomial.coeff recurrence4Scalar0Main 214 = (((991231473750250530539750 * 10 ^ 70 + 9651724168058040330817211741606798067671031339853035652293721091964914) * 10 ^ 70 + 9668038892567672274410525310540926870178183876668177127694270881419374) * 10 ^ 70 + 1857733853585279657065996452033229492618565706742612845090622205855271) * 10 ^ 70 + 6210479687331445176496439463788438887299862862049673933015406829872340
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_215 :
Polynomial.coeff recurrence4Scalar0Main 215 = -((((1673197899819372513763956 * 10 ^ 70 + 8551779816540573356677784818040145616561743930509715060807787949056819) * 10 ^ 70 + 3241328316646204016411308080864742332150565790929972170929870689546342) * 10 ^ 70 + 3715121480707709026791766964368030148849032172565382088359611272855534) * 10 ^ 70 + 5485597467800056775415869300238964916344810448875577471142458825585404)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_216 :
Polynomial.coeff recurrence4Scalar0Main 216 = (((2783793360676664016520556 * 10 ^ 70 + 3392388324786569296795287996211141660894566397215286954821327772730187) * 10 ^ 70 + 2947063506593499229654878233259499325034706434536229723066613673100792) * 10 ^ 70 + 3299047306483026828418153375447435154642992351118247763443207920881288) * 10 ^ 70 + 7655663417360755919702356204345650347820993811667560183588738846090943
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_217 :
Polynomial.coeff recurrence4Scalar0Main 217 = -((((4564788249980323395983317 * 10 ^ 70 + 1907675842802679550186362284213324704395653109198245641901202460707140) * 10 ^ 70 + 5280648931916052907503041792141242282691914062003864886024885479635720) * 10 ^ 70 + 9326213098246752258808686921793082374418313620079786462099540366409514) * 10 ^ 70 + 9657698044895426221584226969827324370794988024692750755126590385201308)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_218 :
Polynomial.coeff recurrence4Scalar0Main 218 = (((7376854750426866812303807 * 10 ^ 70 + 5842995250895460193452202032675530371742428839751250964922602485674419) * 10 ^ 70 + 9715060573469708002736045447059906453511682115346351968514127581611838) * 10 ^ 70 + 4731082983074595086364588876260064929732424875888223310357675241680854) * 10 ^ 70 + 8690979363349725478254409012217957411304214971493499110211620966123265
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_219 :
Polynomial.coeff recurrence4Scalar0Main 219 = -((((11747834191366161143898773 * 10 ^ 70 + 8235015613275785311075589696290533092193130748320379202055008370107126) * 10 ^ 70 + 3268196041521884873302808779465077176273776912098706047064409859165603) * 10 ^ 70 + 2690399994433108070571329438626576691124684542882457727279178522066357) * 10 ^ 70 + 96142333025560899315370143558856777924224265641950974122774839061806)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_220 :
Polynomial.coeff recurrence4Scalar0Main 220 = (((18435073118025289460075611 * 10 ^ 70 + 8111216885999511224079854704552589148016933764967254658911677688966842) * 10 ^ 70 + 1560087945425050808141847129503656803789833539589727610692615143129640) * 10 ^ 70 + 2727229098103955587258873692219377951967546085130919261868985274669877) * 10 ^ 70 + 1828631986020732249999996993549992600489554843914430940005778920644381
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_221 :
Polynomial.coeff recurrence4Scalar0Main 221 = -((((28503074646046906757061206 * 10 ^ 70 + 6840433841602541509757643916399246843706428846797136124085403271547899) * 10 ^ 70 + 3474392393848938338044647333636320980095926429565968100405507180013238) * 10 ^ 70 + 6099158045424373139163337953431451209097690461156980606987650455485817) * 10 ^ 70 + 3171324217334963156176265376203210381370921719767189878829345191414503)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_222 :
Polynomial.coeff recurrence4Scalar0Main 222 = (((43416185198649170438310992 * 10 ^ 70 + 4276881049724379857090461631254559513795615930671376048807732116392230) * 10 ^ 70 + 3050778835183691283183407531983306799512543453362949407242946798440411) * 10 ^ 70 + 8991048314160426167099739029172527051672526149272238693561174618077912) * 10 ^ 70 + 6654447649987281747086713999163178142989916634079116620942005144651094
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_223 :
Polynomial.coeff recurrence4Scalar0Main 223 = -((((65143496393151812568600100 * 10 ^ 70 + 258507758419116826521659037552606505762644235716055470522481989935430) * 10 ^ 70 + 2316861516762836642020439778261817014832150521642281618588691655831781) * 10 ^ 70 + 4482741721790249712525148269439526875501929705204619308137749525060817) * 10 ^ 70 + 3997209412363875297937129888559374808786812006716831734606464606310190)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_224 :
Polynomial.coeff recurrence4Scalar0Main 224 = (((96269364454585570568480920 * 10 ^ 70 + 1645314936088451297159425995415934253290728903244183149227930851224711) * 10 ^ 70 + 3533987579580864567700475702635346198565406470668450944301147616233236) * 10 ^ 70 + 6314735503239605277197976689587533318813772249810331046255740537780676) * 10 ^ 70 + 9365558532838718149701543334490373733902529897215848305387919732549851