Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar3MainPart0.Coefficients193To233

Recurrence 2 lookup certificate: Scalar3Main coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_193 :
Polynomial.coeff recurrence2Scalar3Main 193 = (7301992695299001316703198460388135553728618067195985799562513 * 10 ^ 70 + 923375329033568322111373585460811405303856748945393017143988407199519) * 10 ^ 70 + 9719720847914541167773117170490304349622382840458711678655868405761836
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_194 :
Polynomial.coeff recurrence2Scalar3Main 194 = -((8887753612172579844192206622439442562716040712792633202792009 * 10 ^ 70 + 5754295382824216713221790330129362084086532462821554060548166714214593) * 10 ^ 70 + 5088201932695442031278667732436668012407000456497403798932464651012920)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_195 :
Polynomial.coeff recurrence2Scalar3Main 195 = -((11591641582185166639212682747198104829491151555392082000096696 * 10 ^ 70 + 6366258197451839988638232187807276935969580210241009534783472318590397) * 10 ^ 70 + 795874395142639854117631454727254917983750089735774647095707528267232)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_196 :
Polynomial.coeff recurrence2Scalar3Main 196 = (99206092870155315372884897110134496242921100085793996961950024 * 10 ^ 70 + 8250441719822203775320629359800197101458397477105539048777913096151574) * 10 ^ 70 + 4854892388013193344221761240807111603654314020156129629429298574921371
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_197 :
Polynomial.coeff recurrence2Scalar3Main 197 = -((311410677690717600156058848577804928776213259612041147982577483 * 10 ^ 70 + 1129484540105774180733311779460532210965008576570498260856313058180913) * 10 ^ 70 + 5532591438967011213150935106755511018762389651695947701763756987368693)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_198 :
Polynomial.coeff recurrence2Scalar3Main 198 = (609806307112725055764508266313380454289419165346132250576452711 * 10 ^ 70 + 8431547783834317224867036218905750720914032631770149088908809932695855) * 10 ^ 70 + 2857202705644962385418308973137701502686790084317834812546883926921150
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_199 :
Polynomial.coeff recurrence2Scalar3Main 199 = -((535800684655971970880251889562175198145648379805451700585149354 * 10 ^ 70 + 4847633880464052420920239337075032803145642018809226773020172889533463) * 10 ^ 70 + 766324981517307811306835730003775440451375803611308493347458779161128)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_200 :
Polynomial.coeff recurrence2Scalar3Main 200 = -((1412376319287922859005866195418026463802134297559994360845690289 * 10 ^ 70 + 6702499266747119024294834752106884748360959489899969066188189736667503) * 10 ^ 70 + 3824825443883816867332626385428925781249640162104276352101572218086158)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_201 :
Polynomial.coeff recurrence2Scalar3Main 201 = (8412766427181781192419757768110016704173268210229698567355426583 * 10 ^ 70 + 8358134084752538500523723841790756535083425311241258726711686183416885) * 10 ^ 70 + 464076517246355682057749410121221784658763636065316030053891466678017
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_202 :
Polynomial.coeff recurrence2Scalar3Main 202 = -((24563621546589636210340619763296186472806937750063609215628983659 * 10 ^ 70 + 7802873343322735593582441241743893578114893898292830775683657310260483) * 10 ^ 70 + 2236935916477594323926571749364034339066983178902205954323834696959154)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_203 :
Polynomial.coeff recurrence2Scalar3Main 203 = (49140163239598231066095467579816833795287886343252463847537448553 * 10 ^ 70 + 7215971202756440482768885821469647817209839330587594166598466694775433) * 10 ^ 70 + 7700954410650130165666218059508570119357073930967807200552038010037262
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_204 :
Polynomial.coeff recurrence2Scalar3Main 204 = -((59451399445788166318374032105653640574689948667694757586448701042 * 10 ^ 70 + 1386350313138483799258672259334918803783690776016882523144174625237865) * 10 ^ 70 + 6800940177874070218184543034974839363115512449264763636080066017101985)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_205 :
Polynomial.coeff recurrence2Scalar3Main 205 = -((24680904611689541127869669128742400521775839701447965668661391674 * 10 ^ 70 + 90386696109506295423298246630013056779924660165358483272808230833300) * 10 ^ 70 + 1687633381567491276574422266654133538651488662772659275661778879902370)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_206 :
Polynomial.coeff recurrence2Scalar3Main 206 = (392624972731296863894755649336504866440576648426369397009197928264 * 10 ^ 70 + 1254730427540361024241776076015405804034720718630033744394884899232989) * 10 ^ 70 + 1621705987487290609049315872777768208382643643121599461208624235127642
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_207 :
Polynomial.coeff recurrence2Scalar3Main 207 = -((1375949853357741385243612079790120920344041394934309769808389540643 * 10 ^ 70 + 1295678807490611533532521383261491548833209054830151561469335505564127) * 10 ^ 70 + 5255984306585488659864677333187588013405084366779961344805922021185901)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_208 :
Polynomial.coeff recurrence2Scalar3Main 208 = (3353511793523122292422297762032460553032666408665548185029464430012 * 10 ^ 70 + 6647880813157854903149617583830727514537154769165565346194903385935206) * 10 ^ 70 + 2137803277582467222976805967497038161122682824549144917709284164018786
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_209 :
Polynomial.coeff recurrence2Scalar3Main 209 = -((6290580096448221648006691690863659044451755658441921951209554460798 * 10 ^ 70 + 2716341593353393580086146947575380110136616113901299645239685852221866) * 10 ^ 70 + 6529837803732921143911427329399304913648740465842391870387883987993169)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_210 :
Polynomial.coeff recurrence2Scalar3Main 210 = (8505155613703505605687895102924253274918079888809591382616641662054 * 10 ^ 70 + 6173923109356633751284585716073681820004047412991774560379272776184030) * 10 ^ 70 + 3112433822698076765054552803245237018457119949825727310413861543591009
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_211 :
Polynomial.coeff recurrence2Scalar3Main 211 = -((4120250773636624739207700561864843205288879294983476734439404917669 * 10 ^ 70 + 2069485656550505460074751700594722413325015639567872826232014520946302) * 10 ^ 70 + 3263001955293239077422834171952495993765612556593476401412201099570427)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_212 :
Polynomial.coeff recurrence2Scalar3Main 212 = -((21272775209916010224754638669298364884260534320862590433232450480440 * 10 ^ 70 + 659352692905283932031025795843985544521274897001946344851267265060375) * 10 ^ 70 + 8759738613125900110819630741484453977234063114520584973147087723886133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_213 :
Polynomial.coeff recurrence2Scalar3Main 213 = (96685761833268677543338157579830254412976701680880725900923921804369 * 10 ^ 70 + 8023256364342368573594289046541872749408311922591704675708192381113016) * 10 ^ 70 + 2687347040830188764872353091265530442700903634452699875489120460487135
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_214 :
Polynomial.coeff recurrence2Scalar3Main 214 = -((272199574867059547862476679753968284896426235113772475177685254307533 * 10 ^ 70 + 4268243428746263365795700613708758865318318025367766728518346880326266) * 10 ^ 70 + 2191481757447890722797988351435495353281178213093197908607026316600738)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_215 :
Polynomial.coeff recurrence2Scalar3Main 215 = (622272929054969794757880616691328292277765672580580349201707580656540 * 10 ^ 70 + 7790919492649185851613762432065405165605410546469740956804741381465793) * 10 ^ 70 + 3126916032030874378525566006110915488065019099468536975290728728953770
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_216 :
Polynomial.coeff recurrence2Scalar3Main 216 = -((1239424044250439921465155065205131343596820931390863740299833178325611 * 10 ^ 70 + 7243859344115737616137846741595201903881140207639284031504057952368740) * 10 ^ 70 + 5038465858993438421345447813968211329332799507027074831480497549155205)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_217 :
Polynomial.coeff recurrence2Scalar3Main 217 = (2209055638905605829035835182814189467499675978627772236192274817155151 * 10 ^ 70 + 5710976707090005717013411338464235686138303015290920155639712989206665) * 10 ^ 70 + 9364911292860017021987690034467189819729408733846883556442831382435130
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_218 :
Polynomial.coeff recurrence2Scalar3Main 218 = -((3555234612332340129737488842262415792662279571309839465262873305771929 * 10 ^ 70 + 7172644202699035931028688373454880009467320289821710882655428221129514) * 10 ^ 70 + 791504530742875310636691113043254933702528447096313861378193148541245)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_219 :
Polynomial.coeff recurrence2Scalar3Main 219 = (5150255047662665903014486178024037997316188740657384188118725165726420 * 10 ^ 70 + 908829650791281757531903241107536721368562091091133082921312985700530) * 10 ^ 70 + 327336910805564455189435081996182435624018322851050307102777304756261
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_220 :
Polynomial.coeff recurrence2Scalar3Main 220 = -((6589768130051102449672589185444425462955025371359150378023598732248805 * 10 ^ 70 + 7710861577099557968440961256000592410031828902942976252062180546928633) * 10 ^ 70 + 1360542591837765183403720988107354543024320584605035199481549987437943)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_221 :
Polynomial.coeff recurrence2Scalar3Main 221 = (7050684018068733805075220237962643214159136516383043664598259472498440 * 10 ^ 70 + 199630496862201640751742286412124188644862514232884426095484831157239) * 10 ^ 70 + 2844505857207947465108720285569259939542243272868153120195686085273740
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_222 :
Polynomial.coeff recurrence2Scalar3Main 222 = -((5168716470740956523977789324714793052712473849720989995267008078305442 * 10 ^ 70 + 8483865653778379699941905907103305700358859592749627623416429597208295) * 10 ^ 70 + 7211809276631209786482729246958773439099729812103563492329394461637641)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_223 :
Polynomial.coeff recurrence2Scalar3Main 223 = -((1009366321362714398674228019377850865899534756407076904170064524803453 * 10 ^ 70 + 6225990244442857277266049321370120355130353124967780666128976968848425) * 10 ^ 70 + 1640807476637323546051002464980832429903502520294983785206404225549790)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_224 :
Polynomial.coeff recurrence2Scalar3Main 224 = ((1 * 10 ^ 70 + 3935613923709828595809058989882796589512350057975312403405397063677945) * 10 ^ 70 + 9064951824285026484869195552214027518646350064783444839955090157824503) * 10 ^ 70 + 7244091442752909411510761686856051884585323059334765562064639934749222
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_225 :
Polynomial.coeff recurrence2Scalar3Main 225 = -(((3 * 10 ^ 70 + 6280793616482342619982377093767137729942985946320363685560788558528768) * 10 ^ 70 + 2255429402928173134187094045493343318314748167655945380126523904514554) * 10 ^ 70 + 7608022659989811649003831281178681423870145058581595913296758536058583)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_226 :
Polynomial.coeff recurrence2Scalar3Main 226 = ((7 * 10 ^ 70 + 448127251408493313004704718527580006097174763148467075654451322011504) * 10 ^ 70 + 9490805849943188824579189090793027979798224182206038402461854508198554) * 10 ^ 70 + 6206538033778773008960617866212291019867875937215224978022002325417829
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_227 :
Polynomial.coeff recurrence2Scalar3Main 227 = -(((11 * 10 ^ 70 + 7923384545632506246753389521621235805525766740945645336921205130082413) * 10 ^ 70 + 1477010978848874031073768552975741324948769997172268530328162587446721) * 10 ^ 70 + 5258085228908404023254025884626481358632729736491729777808957172670013)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_228 :
Polynomial.coeff recurrence2Scalar3Main 228 = ((17 * 10 ^ 70 + 8573153026499881298530328628112553466781967285265770488899833613568851) * 10 ^ 70 + 5101034552946660147010233389673893267292149150473365773739406789870963) * 10 ^ 70 + 253737626349007364840539181114381021311249025081941418552686534211306
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_229 :
Polynomial.coeff recurrence2Scalar3Main 229 = -(((25 * 10 ^ 70 + 61694452959635648594759998631490476832646679897418842292799789777135) * 10 ^ 70 + 5842126487706038182970179196386609831119497601641173149966791601741789) * 10 ^ 70 + 8414124541612182460767211588697406709743156516863656960131616073339809)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_230 :
Polynomial.coeff recurrence2Scalar3Main 230 = ((32 * 10 ^ 70 + 7579882808971532453785511882872861950793142058288085418276081754239108) * 10 ^ 70 + 662527990397035315925614397046025594931783078822165962204850003433997) * 10 ^ 70 + 7957689262465146163548229792860359601188729305949320483819010689084566
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_231 :
Polynomial.coeff recurrence2Scalar3Main 231 = -(((40 * 10 ^ 70 + 4048026507539076339296510733514585626264569191835547582938313996868118) * 10 ^ 70 + 9667869012876786437742419754205229512420294608513350190143068351961363) * 10 ^ 70 + 8383194373481905480640019005426371673822679849905514212187604358577235)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_232 :
Polynomial.coeff recurrence2Scalar3Main 232 = ((47 * 10 ^ 70 + 863513843709600032690730539501261145626646417193899676419008063675821) * 10 ^ 70 + 6183681470188042563361350325933317872893838061813937830051980821313589) * 10 ^ 70 + 4432540564513955784585260869339939136741233756576587068186687254647313
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_233 :
Polynomial.coeff recurrence2Scalar3Main 233 = -(((51 * 10 ^ 70 + 9130268859450496790779173341053864063559668681565128704216296897810501) * 10 ^ 70 + 5461054375509823247347216566963964832872875624915445994419331304433288) * 10 ^ 70 + 1610173706025507708330488092909610692914533065595523730428348312047620)