Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1LeftPart1.Coefficients330To354

Recurrence 5 lookup certificate: Scalar1Left coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_330 :
Polynomial.coeff recurrence5Scalar1Left 330 = -((((56051042166687056285687315162047163035340301877110380 * 10 ^ 70 + 9272055852460843615725200357028970010918792166839058674089044712164994) * 10 ^ 70 + 3164587956893685045038928265698255398024477058322555186136984428593691) * 10 ^ 70 + 9554418778494425640600871222339808002836108674314854184731195467380573) * 10 ^ 70 + 7434066611824953647553591308970998437405332559884244714792125221342187)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_331 :
Polynomial.coeff recurrence5Scalar1Left 331 = (((23807168861878316919733451421413877426623473203418188 * 10 ^ 70 + 8161387135282051933596320130249253996231111742725991509179899655447776) * 10 ^ 70 + 7163667057861265490232435158426059813544367810442080284308827336803266) * 10 ^ 70 + 8782743124431253861773566471367533053114750405817206609387665189748172) * 10 ^ 70 + 1924102683404471220815225626074312272003124107302804521638556370023467
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_332 :
Polynomial.coeff recurrence5Scalar1Left 332 = -((((9705777982261981065411566692613831950486193476904187 * 10 ^ 70 + 9919412930911601261565457014965643117926031735807589119215907750635213) * 10 ^ 70 + 7072902893956132560051599377175976046468440093199805529472011357253932) * 10 ^ 70 + 1286740661887412639693761421522272588455859810220410127656803486689379) * 10 ^ 70 + 2280220795215867189817518380633697880412666665084383626473708158579460)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_333 :
Polynomial.coeff recurrence5Scalar1Left 333 = (((3797061375299859120041222054540524463718099472225863 * 10 ^ 70 + 5477160401258079869513356341399513047399093207545652881291787274399635) * 10 ^ 70 + 9991308457160788468974678133372030274974241553683596158495841934737839) * 10 ^ 70 + 8217866622855983420823884258537512721120668130227953455784552987361784) * 10 ^ 70 + 1722426279888172606263110719585196233326774913654157720731190009876242
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_334 :
Polynomial.coeff recurrence5Scalar1Left 334 = -((((1422658283438672956598093133209447328737864156577134 * 10 ^ 70 + 4945413521187945817937183026384938457337933384843117485907219256176783) * 10 ^ 70 + 6045280997479816629734217670266336768300070340471484681029710667870253) * 10 ^ 70 + 1798810156304014704305074085831286288022657069050988874092298735004765) * 10 ^ 70 + 3070388623766006736335465163563595780059044678732651386071183464299504)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_335 :
Polynomial.coeff recurrence5Scalar1Left 335 = (((508266515055879505634281233432623683344439206336139 * 10 ^ 70 + 6555769746169374049382559320640520953931281309156172696815021909807513) * 10 ^ 70 + 6138977599598003892801688907450057804302142771204592364323525587060427) * 10 ^ 70 + 5874676603781548158509193698478246341414945855389215862153426925882849) * 10 ^ 70 + 5918331765678266367803140444756161053888993746015149377555093938762405
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_336 :
Polynomial.coeff recurrence5Scalar1Left 336 = -((((171727289682605946172516385723995989876365725738263 * 10 ^ 70 + 4186370116232472057136327483906391074188025481616954610584436088026014) * 10 ^ 70 + 2837204327556788560700614067962299863117188634797593183694218865342355) * 10 ^ 70 + 2030629806246953585908908078072271992557142467518531620665949865775512) * 10 ^ 70 + 6887355646904355535784478201879754844806968010313289155201309163035755)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_337 :
Polynomial.coeff recurrence5Scalar1Left 337 = (((54021835365896004551396558550165365619885753776635 * 10 ^ 70 + 3381644752306283102594896160390306912403128688658999412463330416400287) * 10 ^ 70 + 2505341359205747975605223832530573543946058432356479423707379237750567) * 10 ^ 70 + 947704974843759387226548540343752693478978720486099394940533732351560) * 10 ^ 70 + 7812191008289308569285276405852861301835017222847115459782947460622505
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_338 :
Polynomial.coeff recurrence5Scalar1Left 338 = -((((15318062749497515880296051945087045313554612406902 * 10 ^ 70 + 229937359874411853392357433925259082257487014089035559125568528773825) * 10 ^ 70 + 2025940873559422132082201685663090547589772280016616761785129668199444) * 10 ^ 70 + 1305725169210763018752459211097337813217517061528905220252262311771030) * 10 ^ 70 + 2846604028627006897861122599146606946302678348184582677210976360070006)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_339 :
Polynomial.coeff recurrence5Scalar1Left 339 = (((3602084855391479680817245786988830234668580721506 * 10 ^ 70 + 2831984101512272069981902468040504843336785135728702567044945747574288) * 10 ^ 70 + 2664233638582899827104091643253590742146170858988756003917667626579741) * 10 ^ 70 + 1451346023798355814277724705661782039185047256741839986074600550419814) * 10 ^ 70 + 2178929297664385451202356285012845681106926098100286381680250815949353
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_340 :
Polynomial.coeff recurrence5Scalar1Left 340 = -((((487239053958519321263058698624812509507100364477 * 10 ^ 70 + 4553197338461046441672976227666788183696397063671645099754974791740087) * 10 ^ 70 + 2727341538144233377312896557130137504117000513270333381739701426817553) * 10 ^ 70 + 4129913396583584727785728640804543467513616769516839024176886810137869) * 10 ^ 70 + 4732192309054864632429172290059055624715304881910887041925174283103767)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_341 :
Polynomial.coeff recurrence5Scalar1Left 341 = -((((143539628765772295035615051562440439686399861492 * 10 ^ 70 + 6740821276696404738726478021690720906658357495304910544920777607362739) * 10 ^ 70 + 124888523493765625677888870193857000366116689666856716229265480311048) * 10 ^ 70 + 5052299613224038900546851131878890006708353400934249824177405603346307) * 10 ^ 70 + 5878227320035032129438480700748465655290963562012488772346088851798273)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_342 :
Polynomial.coeff recurrence5Scalar1Left 342 = (((169445405836072686516206846771288832402440491679 * 10 ^ 70 + 6658759322321089996017043631539350278015633217972451828380431567291025) * 10 ^ 70 + 3672886771874045904232922280267574634718468431395092736143089042071111) * 10 ^ 70 + 1937182904520441407633868442735681087909350960134716857760820159416145) * 10 ^ 70 + 8238818376904104139350046550311963214720823704898575747519302926201648
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_343 :
Polynomial.coeff recurrence5Scalar1Left 343 = -((((101745146969478687689305572233987795882902757219 * 10 ^ 70 + 530919142410314772668364628681543092506969038985171150022594076999021) * 10 ^ 70 + 80364748327019026977851777669821464006008173849291049746452390640943) * 10 ^ 70 + 6361449346964858487344399091972418427710051794765330300732337101375561) * 10 ^ 70 + 8966451890328698076751804375236915300208105553549183847578664766796231)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_344 :
Polynomial.coeff recurrence5Scalar1Left 344 = (((49737933096900991966443455519723724541866638830 * 10 ^ 70 + 6009841281782957443269939151372359899163600327307222660310427836541353) * 10 ^ 70 + 9982735822040937320247686402583696299134920633608005204011774818854343) * 10 ^ 70 + 294464319725989322980850884516312945292317290296717662902739565483825) * 10 ^ 70 + 3234460462549768736964872606085892691447501018260393359493798919834788
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_345 :
Polynomial.coeff recurrence5Scalar1Left 345 = -((((21754945416741528654371400834565682783227077748 * 10 ^ 70 + 9347823297953389661999759338437111561946176943724698982566176755685760) * 10 ^ 70 + 8129597802908389304753843356191321697456694646238569928774790081609811) * 10 ^ 70 + 6093515182342883242548941844031954153374076460909241523010325197067338) * 10 ^ 70 + 4014254827712414496397220749077154566883971908432700664078140159007419)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_346 :
Polynomial.coeff recurrence5Scalar1Left 346 = (((8816712707818304301370757328019138443142197757 * 10 ^ 70 + 8143658728049539414190764076293039039588503408797991806159553123508989) * 10 ^ 70 + 1150325416995848866415547400471849196420851814534138533776579744848149) * 10 ^ 70 + 6650736425305386014631978890748847203075220663458359331336510645159483) * 10 ^ 70 + 4992854573035344719734735307359099366787533750521936110956366640248723
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_347 :
Polynomial.coeff recurrence5Scalar1Left 347 = -((((3363926381520901990289622964029017828730794242 * 10 ^ 70 + 2782271294894384460927610665606924938040187322621083670097576911463505) * 10 ^ 70 + 8047203940850381566126500024287249646664997682167004349807655517086323) * 10 ^ 70 + 824525031156503769184965256528773623716506873704790324508667751749227) * 10 ^ 70 + 1825048670994794720252645974501708928258302307781527380751016128831390)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_348 :
Polynomial.coeff recurrence5Scalar1Left 348 = (((1217214341259415334122243276609632858081768080 * 10 ^ 70 + 4248573087847723889100734715775795567680035753849860366721652656784014) * 10 ^ 70 + 5898605263270498951939484753207389360570778957680231794638310970740102) * 10 ^ 70 + 4267063993782360592417169224101936738151343304953570333890617101703537) * 10 ^ 70 + 6238056053748059154813365807517416334167578597491976326407131611988296
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_349 :
Polynomial.coeff recurrence5Scalar1Left 349 = -((((418586386227755604834816876247449611519843378 * 10 ^ 70 + 7638053015271606779835983656293941818127587959356962795215541393585818) * 10 ^ 70 + 8555772435167382425634397690778023539251541899539864651329725433301539) * 10 ^ 70 + 1996586875489286941190898951685516550561676651114267919764766667674507) * 10 ^ 70 + 5182209386073714414423363152711479993591620132067312701776787860653952)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_350 :
Polynomial.coeff recurrence5Scalar1Left 350 = (((136464076245194247520843356597393352796331462 * 10 ^ 70 + 2149898232183138674679346503778392833077426202771901883162848497997097) * 10 ^ 70 + 3849226949661710346142854962993572600728829971951613049615610766934296) * 10 ^ 70 + 1270398406542205130604936033991916139554521208402011885183036550043104) * 10 ^ 70 + 9474448229525299517702663346984628733813397015214227227226174403767077
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_351 :
Polynomial.coeff recurrence5Scalar1Left 351 = -((((41819943104734012584611079948851021050216720 * 10 ^ 70 + 6696695957832030954614952280569444324544016701133179785397847983052052) * 10 ^ 70 + 3962016966487053700723530246568047759379785499385735601676132045381297) * 10 ^ 70 + 9665268679020308702083869376372257701754016869141588065366342240735828) * 10 ^ 70 + 8617315637935558314528084379445978578426287871808405866564104516669041)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_352 :
Polynomial.coeff recurrence5Scalar1Left 352 = (((11815900975788209829339140280872122666828540 * 10 ^ 70 + 1320359450019770092829244272666932323263498068087158556627877958271553) * 10 ^ 70 + 4526617065085973029646124878087857832109837873528844258549158589549307) * 10 ^ 70 + 9212106094928051764229234171817970071938119399416333193064923385396191) * 10 ^ 70 + 8058268832841861964288337032715359476584510993945821305286191005885915
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_353 :
Polynomial.coeff recurrence5Scalar1Left 353 = -((((2939471649259645335018585066053489640303253 * 10 ^ 70 + 4625532609633233457264416979463995242219867051361518537167813455785149) * 10 ^ 70 + 2473172897388521506573399574185055673029856175264206032345450735953920) * 10 ^ 70 + 7065213694485711019933652611711559864155656984884675728816042826413338) * 10 ^ 70 + 9117241169568434718873822821309704930436723623538500628653475035908594)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_354 :
Polynomial.coeff recurrence5Scalar1Left 354 = (((557751308408222696520046885866798155466656 * 10 ^ 70 + 7512589024807818665347405599088745461893605668335859442665582907030322) * 10 ^ 70 + 914146052564203903459809744335093490537664060377297753548264172017821) * 10 ^ 70 + 4554807184190557207354833247386634156285327059641746319948717161018500) * 10 ^ 70 + 326579952038742613587186927642816775436232922854483260902757578870267