Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart1.Coefficients244To268

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_244 :
Polynomial.coeff recurrence4Scalar0Left 244 = (((14128043066072304756264637036 * 10 ^ 70 + 4219620908555284179219114544189150955521486456586661152665188320344029) * 10 ^ 70 + 4043374207686102959570405480243582032693472642687145315030541718952833) * 10 ^ 70 + 1370203778309416977708446777415179195326628045925753995666515977316303) * 10 ^ 70 + 6226301625529582142632359631222774512497864095785553519554366403260825
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_245 :
Polynomial.coeff recurrence4Scalar0Left 245 = -((((15181840582976532496255493130 * 10 ^ 70 + 5012217348203584373278637579652759700914776960967909863958775396298718) * 10 ^ 70 + 3722069920991900372726317783383913866532176110222261717348158794628468) * 10 ^ 70 + 5324564844280683297286027375221767328996077647852083045770027849781840) * 10 ^ 70 + 7043780861235704967483377299937240684735989316134615286269744262901151)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_246 :
Polynomial.coeff recurrence4Scalar0Left 246 = (((16002628731407612931557160838 * 10 ^ 70 + 5169278782730147186491167550276840466459611253763215441364358703901179) * 10 ^ 70 + 7446731608087020784176442571138900678287866893138968691844930853173111) * 10 ^ 70 + 5324009886054697625268646757992998677856519671357922326609304485786228) * 10 ^ 70 + 4543184415385765093390078098502292120122480728750135429059592558951466
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_247 :
Polynomial.coeff recurrence4Scalar0Left 247 = -((((16530061956152068297211618226 * 10 ^ 70 + 2417342414958732624616822010639208038705589181654127720700368856417137) * 10 ^ 70 + 3290818138184083871445451574961912239299052865602891727411454019615119) * 10 ^ 70 + 4883338260018971593354280528142218151398720100860243296594324632009835) * 10 ^ 70 + 4487726973885206556714152946462129401559992059900850628712122097146714)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_248 :
Polynomial.coeff recurrence4Scalar0Left 248 = (((16713188040349340126890591492 * 10 ^ 70 + 1604119487332726006701310430623990353276783050649107783873828979657620) * 10 ^ 70 + 3496163048588627119533463116888572452801608143958948495382375494037035) * 10 ^ 70 + 725791389310020765478360801936128116630467615131198156370961944955879) * 10 ^ 70 + 8553265160679387885303646701460942504886145602071482141571066541982513
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_249 :
Polynomial.coeff recurrence4Scalar0Left 249 = -((((16515192401144179763528931712 * 10 ^ 70 + 8499102587049657447989393903896360049798700634054632796182951148658817) * 10 ^ 70 + 6058790953774755406242411153228347097116425852753661084876056963397772) * 10 ^ 70 + 1466367634841624196578485249111796065120923953542463350832806788105598) * 10 ^ 70 + 1222366902095573283879311546723500556971251248993511579185382027481716)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_250 :
Polynomial.coeff recurrence4Scalar0Left 250 = (((15917473637075862199224116155 * 10 ^ 70 + 1631700870941741356727844591157675546234499716537857561310086710651612) * 10 ^ 70 + 5727468775892540558216762575885668436330068787204334582664797377875009) * 10 ^ 70 + 9913330717773919141483340310553135704706179473487836598636849833594576) * 10 ^ 70 + 3833491640090483048894351009354434450968557895048065805338123225780501
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_251 :
Polynomial.coeff recurrence4Scalar0Left 251 = -((((14922569866251626903083040757 * 10 ^ 70 + 7699474525843415323998355056824797642707127010294587623250760664099617) * 10 ^ 70 + 5730110032546231407303780775815949448766672822538326356710806855218300) * 10 ^ 70 + 3270570913357983646133303605550045875671391854854442120675339953606871) * 10 ^ 70 + 4286745492958344872463577320753002987034790955600874111638973548205140)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_252 :
Polynomial.coeff recurrence4Scalar0Left 252 = (((13555534798221781938836243375 * 10 ^ 70 + 2319606292245731174656730504184693375726489293411213359152244856976600) * 10 ^ 70 + 9917141117744326638755490982918184754570369441309984284482612269879019) * 10 ^ 70 + 8014162097718748612490379609605097606752816889740312929165862741724600) * 10 ^ 70 + 3340237441142114267841867202371706194034711131046838901897758096800336
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_253 :
Polynomial.coeff recurrence4Scalar0Left 253 = -((((11863500644819088041406101446 * 10 ^ 70 + 7545030930029521813412586768821790281638804677471792872722451043208319) * 10 ^ 70 + 1010926047388902282867351573262637648821754035244719795506934665385297) * 10 ^ 70 + 4411984847303809112756287671607328599173981898683458427202407173695792) * 10 ^ 70 + 8363686074456813756586567756109334911916377400022105791033669096360940)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_254 :
Polynomial.coeff recurrence4Scalar0Left 254 = (((9913348160918607423032588433 * 10 ^ 70 + 5622755748692965390953576934368872581959423478897337222961299162870567) * 10 ^ 70 + 6204657102781996074287220582702248396499794779136592905416433949327767) * 10 ^ 70 + 6639919143286062312141819618095743241628027090351447437781595747187658) * 10 ^ 70 + 309605543954031458800145547126680349076477129020188699089836279644353
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_255 :
Polynomial.coeff recurrence4Scalar0Left 255 = -((((7787610494595371007913890288 * 10 ^ 70 + 4497415257052241284331231985712413456328232826005248661737476076596189) * 10 ^ 70 + 3103907097311178702449879161298915648622631625298185706608130200842693) * 10 ^ 70 + 5559224284391909973731141226618920446537469050120094543472156722487991) * 10 ^ 70 + 8539396694473124367674419640370734159351249119921410919281491564296156)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_256 :
Polynomial.coeff recurrence4Scalar0Left 256 = (((5578940148717378917058065060 * 10 ^ 70 + 735728478771261252537528490395295837378067305222586961761675206065450) * 10 ^ 70 + 1230848641222936100563681968985056633160672490145215536456226724949379) * 10 ^ 70 + 1065623876900321769215504952912907428280017812534399009850918820683166) * 10 ^ 70 + 5793203723851970603316405631560920160014279558850927990504757036870240
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_257 :
Polynomial.coeff recurrence4Scalar0Left 257 = -((((3383639170953661982122788372 * 10 ^ 70 + 166969235674608723673336590376664738816252407435075545377974262425957) * 10 ^ 70 + 1657839706814374845160443316138936964098955783379979222198344299945443) * 10 ^ 70 + 352993084381826860800327033510603899146741850809267505143563343798310) * 10 ^ 70 + 8524661843927807102175245019272729445866366407685639764390232426387759)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_258 :
Polynomial.coeff recurrence4Scalar0Left 258 = (((1294867100893988569226995443 * 10 ^ 70 + 7618220233121649099718353637078626370819572042403557054365773730390383) * 10 ^ 70 + 5108583560228209161494186966958002557834041414210933443931872442017302) * 10 ^ 70 + 1697168920362543996995485053011506438102979801189290194591934310221290) * 10 ^ 70 + 2582281188807738851983249685618135582664494979222100399359065774389850
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_259 :
Polynomial.coeff recurrence4Scalar0Left 259 = (((603817803982169316584759180 * 10 ^ 70 + 6653358450888130650742959132345386096007307632179729492327755368819996) * 10 ^ 70 + 9076536544110105825023843940473357233821870535692755435999081425588913) * 10 ^ 70 + 1946589767759983043170292150551660614289739293288376545609134723893270) * 10 ^ 70 + 3634451845523675876261403673141624021149116648082735575254277636541168
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_260 :
Polynomial.coeff recurrence4Scalar0Left 260 = -((((2243967445488028813662489361 * 10 ^ 70 + 8341336096655346655031756841911601275732546025521645864622997792688045) * 10 ^ 70 + 5816415776270335075278971659531933589300640759587288061810459530669934) * 10 ^ 70 + 2630894057177601660876800124469563160819217513310980469353284388254135) * 10 ^ 70 + 4279845329939779491908203247976640514645397097183492593553534460695305)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_261 :
Polynomial.coeff recurrence4Scalar0Left 261 = (((3576299793829200752809945727 * 10 ^ 70 + 512189283434538670919300127684588476995055664362802182570566981350448) * 10 ^ 70 + 3506243150184641409443480238325446562565667196081539304258828200572281) * 10 ^ 70 + 2182499024116990836306373496432949651002341216386370541823924196538521) * 10 ^ 70 + 714641587611312321712721583808155513695449532197069294923301238502261
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_262 :
Polynomial.coeff recurrence4Scalar0Left 262 = -((((4572970779157274849686958576 * 10 ^ 70 + 8973901970970060396471197521263639443988209750899887663394177723396190) * 10 ^ 70 + 1056867285545934012282921381310496342982472511490133196933082447798203) * 10 ^ 70 + 8276584657794519254216105541768822863411633637262226206624154414911821) * 10 ^ 70 + 607452986320927760173561710785425795470263829604544144720627124820843)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_263 :
Polynomial.coeff recurrence4Scalar0Left 263 = (((5227937215371221514290253012 * 10 ^ 70 + 3142933484633197985808495353855159533873345432573346042417102929112606) * 10 ^ 70 + 3450294092708382407214497095532845241543242543178631811395576151128017) * 10 ^ 70 + 9156069358091794786639441835681645766394753600844167414889303963040598) * 10 ^ 70 + 4830267890730253863093025927794282332935326769905745963202274960320064
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_264 :
Polynomial.coeff recurrence4Scalar0Left 264 = -((((5555497397319278569777167707 * 10 ^ 70 + 1536903805513104903808610067248502811660274101787505069810169681586621) * 10 ^ 70 + 6632634303974922730825083070409434824644198820744113093943950207522584) * 10 ^ 70 + 3772704466107393557607659485809323862993213022207334529022037617216618) * 10 ^ 70 + 7361036517282128704823981880484740008543475249505909959371863441062762)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_265 :
Polynomial.coeff recurrence4Scalar0Left 265 = (((5587284954849309418072616346 * 10 ^ 70 + 5481804645507292487518874800350947742586346373317871718460765485139456) * 10 ^ 70 + 2843403743193400292646112286568314342391242464977069854799116065782597) * 10 ^ 70 + 7419851464154213405270063161409864576773730158378973889737398126786771) * 10 ^ 70 + 1244513766175006061150200106434604227352579949830701056681994974081990
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_266 :
Polynomial.coeff recurrence4Scalar0Left 266 = -((((5368134507245224953649395329 * 10 ^ 70 + 3879944598348241339820860867474030227516527271828087799400156806867017) * 10 ^ 70 + 2264734589232501437158163310767868341896423533909603912451748191455051) * 10 ^ 70 + 7229367135822559834691440718451280721073755846338041828725821816544110) * 10 ^ 70 + 969694654756896994428792352560120329152709648157259079480253896144743)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_267 :
Polynomial.coeff recurrence4Scalar0Left 267 = (((4951319437974120770610127333 * 10 ^ 70 + 7680703976498962480153507599229082775297261421558251748980520376290493) * 10 ^ 70 + 1590694762319810234401123757770771415912201007218346746978208118644013) * 10 ^ 70 + 6292561373908223552670496708781659215208753631328977245024708651164288) * 10 ^ 70 + 3549007067308817461267831837335924748607058402217899800796429970232709
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_268 :
Polynomial.coeff recurrence4Scalar0Left 268 = -((((4393677384017329703642390131 * 10 ^ 70 + 4344634861317756300533409659056370302038116722891025708766717471582009) * 10 ^ 70 + 2073467853088173560543493385977404237255192543831043072466359630598800) * 10 ^ 70 + 1272352976832891989107217054931660626841045900348158946939734661276841) * 10 ^ 70 + 8179111144037297354635756352697140448109846267526106880732338690284228)