Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1FirstPart1.Coefficients225To250

Recurrence 4 lookup certificate: Scalar1First 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.recurrence4Scalar1First_coeff_225 :
Polynomial.coeff recurrence4Scalar1First 225 = -((((64541947212064804284985087 * 10 ^ 70 + 3888780624170995419394473941017944044716846961716154741615770968618896) * 10 ^ 70 + 1448400349455667214060019717877197785731807161306389707533296445929498) * 10 ^ 70 + 6971213307936477717240400481675102744067187509581695364235322837003488) * 10 ^ 70 + 5785224890993965345170415086493975579661020270252042817936632165185275)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_226 :
Polynomial.coeff recurrence4Scalar1First 226 = (((93478805857438938102373037 * 10 ^ 70 + 8298994580452925075281092274579954137936413915519562661063047481442298) * 10 ^ 70 + 7241888430549360625400301112745076780190289219593644920407231885812851) * 10 ^ 70 + 7683709356066247287806159147504275557970763593356697986282795153448776) * 10 ^ 70 + 6640424562473584077918401532921152931078547782739887122642958896877478
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_227 :
Polynomial.coeff recurrence4Scalar1First 227 = -((((133525373586590052250626282 * 10 ^ 70 + 669701496391105286251607371962454292764881501906609040995845688465504) * 10 ^ 70 + 5798252407778596961718633232145088051119173365692654058195860862037379) * 10 ^ 70 + 4904471792789886342164408201248139106228606622079694942014481993678384) * 10 ^ 70 + 5965900045692342730387737961827040968758809156107738688644566989876912)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_228 :
Polynomial.coeff recurrence4Scalar1First 228 = (((188098061634133194861006525 * 10 ^ 70 + 7433335736821554209262450602212645629709755752432296816222773104827802) * 10 ^ 70 + 916908750903497340251934004136293643735975647837669384206857897621702) * 10 ^ 70 + 52566224579221956411280272712759269789103919518108921625825284158912) * 10 ^ 70 + 471100649963760275929236250495237135732776816784562398686259265146392
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_229 :
Polynomial.coeff recurrence4Scalar1First 229 = -((((261314567626293837765102530 * 10 ^ 70 + 7856516667248460060569777889031383836835467263709380633422030803651505) * 10 ^ 70 + 1913395498052068180178893486646782268879513113821828587162064828295121) * 10 ^ 70 + 2302300779930100974389215305590737492756363275778493049802667081824606) * 10 ^ 70 + 9997427806090799387130136321579110484413043280815773473783360604909133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_230 :
Polynomial.coeff recurrence4Scalar1First 230 = (((358004984048076741813311510 * 10 ^ 70 + 6215284638400220934576908199706229875150597997606179026385597706364350) * 10 ^ 70 + 7621280359307203005615533714460624339932964631011763894448206688539955) * 10 ^ 70 + 1080727308062355902216675721376978932228753495229668497931790398186246) * 10 ^ 70 + 8032191427751656154331856829963704454704635873996133915632916089458492
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_231 :
Polynomial.coeff recurrence4Scalar1First 231 = -((((483666876250737660448376761 * 10 ^ 70 + 8870789249547042757719879056556037806055833136733352178422171589994352) * 10 ^ 70 + 9270269824543773587792667543001979873539657841659252934798850273308634) * 10 ^ 70 + 1896573060991148651395871966428623369900216999785135126330420411578354) * 10 ^ 70 + 1797949518642136938981639112648369827001094822987811993628891836130972)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_232 :
Polynomial.coeff recurrence4Scalar1First 232 = (((644346146950386524202914904 * 10 ^ 70 + 7245474966327081116184308987983383890408827041391226677377436442190360) * 10 ^ 70 + 9001224577476182290299086946255473883052610148859157464245327728216968) * 10 ^ 70 + 9092282368631163201004402165568542939532422773764267972763065599493435) * 10 ^ 70 + 6246344219232762982845930390309408053406954986572546182241330329583664
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_233 :
Polynomial.coeff recurrence4Scalar1First 233 = -((((846426895636307000964221907 * 10 ^ 70 + 8283968740059399006085339830888238752326648350784590710427397129508107) * 10 ^ 70 + 5157212520378614230072807895449579759157193654738583378925109520937581) * 10 ^ 70 + 4482461558807404189221403490551658311691431986466034541738605216875083) * 10 ^ 70 + 3251056314872533645763542276694257887525613403122829278990115574971244)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_234 :
Polynomial.coeff recurrence4Scalar1First 234 = (((1096317608605232194332928995 * 10 ^ 70 + 4788326343869734501910986949682955755783227137546354844924681206365252) * 10 ^ 70 + 1023082846606087350623868978773914875081891225755195015531838764514820) * 10 ^ 70 + 4373636841715159249448444939182554703609464467141947875513891859084572) * 10 ^ 70 + 220736876885143715270734014980936091380841811961902626361284483313606
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_235 :
Polynomial.coeff recurrence4Scalar1First 235 = -((((1400028313334491609122767176 * 10 ^ 70 + 6848436608022361166776803405316080667034651647953007616908353017050725) * 10 ^ 70 + 5748266588165037966538737433641481473575215131825772371376424944596357) * 10 ^ 70 + 5014666009888416925494524144286441242023983650696265242385128754543796) * 10 ^ 70 + 500276957192026021147639936527715383027734150733084225027464267120314)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_236 :
Polynomial.coeff recurrence4Scalar1First 236 = (((1762643887908978951623873986 * 10 ^ 70 + 7234953166487145273609995753021403750014528968389044677110748400985148) * 10 ^ 70 + 3492746711501120635998502414854162738112781210289524566011552413925593) * 10 ^ 70 + 4929821417064745069952375086984288475339031184671761872577530533679118) * 10 ^ 70 + 3969321779670128272496393645560633551383201504778376778393324802795128
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_237 :
Polynomial.coeff recurrence4Scalar1First 237 = -((((2187712133683711619593432222 * 10 ^ 70 + 7656060696821869506618568346203864415817095012212827855463095089282872) * 10 ^ 70 + 9820631787731017267545691159514339372165020396792678157021269921213339) * 10 ^ 70 + 5285505839161289862501160693482952285967947533100892238498825911637027) * 10 ^ 70 + 4041712213749888362471047054146049183438458901083567023340140046541010)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_238 :
Polynomial.coeff recurrence4Scalar1First 238 = (((2676580513978655937314367902 * 10 ^ 70 + 8696927318639285048355867228148873649540753030317403135037022054217678) * 10 ^ 70 + 9391477870907487024152171686182606814233227634706698737443318068607137) * 10 ^ 70 + 5638841241510671085006135763353049301245581231809399469737364829054278) * 10 ^ 70 + 1915453775161934859188419776918155747406499460045811819046470756941287
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_239 :
Polynomial.coeff recurrence4Scalar1First 239 = -((((3227731043988155101415960406 * 10 ^ 70 + 9267967376683490755938258216908148131590287753571036639845183451512685) * 10 ^ 70 + 6061130614836655513329641481710138199587928475842975426789771506100811) * 10 ^ 70 + 2704890105601887313947649688551051901937283088649712583270884924649984) * 10 ^ 70 + 1671601695671475643567280230923446758385314532633092986478291568114153)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_240 :
Polynomial.coeff recurrence4Scalar1First 240 = (((3836176576352718740935007621 * 10 ^ 70 + 2033700900573297715074049590529187028465481542543086962522293625949534) * 10 ^ 70 + 589543419766615143086202728510706384290393064062753828589822104365441) * 10 ^ 70 + 9976093012821599190694313103787360749604159306232222572622040924522546) * 10 ^ 70 + 8949614991711657612338672423003702959380234544983590025624982961139600
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_241 :
Polynomial.coeff recurrence4Scalar1First 241 = -((((4492991236697845090274998636 * 10 ^ 70 + 8692934174116923223772196584971945512074735130193608325896163544805573) * 10 ^ 70 + 3892105685015092554901985260048559479080238383742242675501051693258104) * 10 ^ 70 + 8903016785453196506919385250626137266426120057262209914056703742300290) * 10 ^ 70 + 289962809487420431954035720775884870791183301046732447120479740828968)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_242 :
Polynomial.coeff recurrence4Scalar1First 242 = (((5185050604464932151159175161 * 10 ^ 70 + 1342328235012965104898885116461010472845980226510181684849497045927349) * 10 ^ 70 + 5170103669665768082462748767618349943941193539819476056040748288232448) * 10 ^ 70 + 4603012325157853459967309564392837404690146963989679180520542637809309) * 10 ^ 70 + 7725702774966731504458580792697621237937361826876039064884693987390538
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_243 :
Polynomial.coeff recurrence4Scalar1First 243 = -((((5895051400854870232900026159 * 10 ^ 70 + 4744426409171504460650565271138452522736293209496152385960797672272078) * 10 ^ 70 + 4430698907148968525337334870806988930343053110682724781099976829482969) * 10 ^ 70 + 1210899708108781648222232255612738968596724756229626275625236546397464) * 10 ^ 70 + 3166187251122161279554138891174683526031156532391323967719287013723089)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_244 :
Polynomial.coeff recurrence4Scalar1First 244 = (((6601864779547935753674617367 * 10 ^ 70 + 1247151516748580960326162220832497884435334585163177016761999713968281) * 10 ^ 70 + 3228425007744084407785416386608874779547587479042895518202532782068322) * 10 ^ 70 + 1151344792653466549349652668561855580724784243394864514397384495405298) * 10 ^ 70 + 2852435489896226566347132605029466924187143502008155282932417746209263
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_245 :
Polynomial.coeff recurrence4Scalar1First 245 = -((((7281251889537006342187984515 * 10 ^ 70 + 7109345873353377598702634139526589798636739434140155972376505533211976) * 10 ^ 70 + 3727154934312585591710422374398222048485053354560620394606113824852972) * 10 ^ 70 + 2491196767156807840170071337008258697489884464581440957821626065362024) * 10 ^ 70 + 7398829619924422620438617505929689400605618058189798236835546433113866)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_246 :
Polynomial.coeff recurrence4Scalar1First 246 = (((7906936742929217167586298428 * 10 ^ 70 + 5590954004614168337576636492543114900001824691859248083856980602692119) * 10 ^ 70 + 8603486857913188457814905735662563177322169406928999638324657787669021) * 10 ^ 70 + 9544959459527424664266442699891493494713043460128854703873594527067568) * 10 ^ 70 + 6799181640755247498473116520819606790208619571715431687176129106764957
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_247 :
Polynomial.coeff recurrence4Scalar1First 247 = -((((8451992636338955042873255590 * 10 ^ 70 + 7325118095196570865410978489885760845403532928748160602564515143398361) * 10 ^ 70 + 6254643350064248685893396069844012002051007787381657768788102230033125) * 10 ^ 70 + 4425743366151538832847239627217797588509372873575091558467316153101163) * 10 ^ 70 + 9908923661140201465719246955740478308136419201649715929101492182849267)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_248 :
Polynomial.coeff recurrence4Scalar1First 248 = (((8890458792185846579086418069 * 10 ^ 70 + 3913206810433571881740961657108288681295567665658569441302789338670000) * 10 ^ 70 + 102029708861417910911637527861432778763220348525052344132414386292689) * 10 ^ 70 + 6256503830038625213234751228772932674736910595417826183221697567431871) * 10 ^ 70 + 5335149418728920587234740841129359762774381197345639911416972617949761
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_249 :
Polynomial.coeff recurrence4Scalar1First 249 = -((((9199068653613667269344445321 * 10 ^ 70 + 3572826655456329095975784893538487962295077951749322382546621386383165) * 10 ^ 70 + 7523631256558062448779370419209231238024159187050967980520739523850984) * 10 ^ 70 + 8099589367911998570163382981797459879480546942174121351475426298907729) * 10 ^ 70 + 6248823646165655520702552934018935531169686433499085041455810564790997)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_250 :
Polynomial.coeff recurrence4Scalar1First 250 = (((9358945625130167356467591005 * 10 ^ 70 + 9793341473997767117473888638625093841140461606206957322809561774411079) * 10 ^ 70 + 3564036007162793316858711234599222865035730080625980083303712142266334) * 10 ^ 70 + 8270910212088862955408117022558098383484469718925090252204780864262115) * 10 ^ 70 + 2202780388452134049680535753102566557673526798861417010775922313560925