Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1LeftPart0.Coefficients75To105

Recurrence 4 lookup certificate: Scalar1Left 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.recurrence4Scalar1Left_coeff_75 :
Polynomial.coeff recurrence4Scalar1Left 75 = -((1009690425283115674511188902559491274757411568150575229542857569 * 10 ^ 70 + 6096035974609497791169137625568859908766398555801831850545580343335656) * 10 ^ 70 + 8554606215835850382081872166668168181846294093807465526790679439706542)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_76 :
Polynomial.coeff recurrence4Scalar1Left 76 = (15146156816077858297723561340917545816848083626738418136433933577 * 10 ^ 70 + 7136070400977813247816899334683281778702417779554995924169124938880790) * 10 ^ 70 + 9854840953080144337334320610124605293402301929385579930247365459744180
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_77 :
Polynomial.coeff recurrence4Scalar1Left 77 = -((166891154775828011797824928021106409927882644201027535092157594999 * 10 ^ 70 + 3375198654969829509048583484872425318418543196308750092681218848715166) * 10 ^ 70 + 2651935274850140301838153722568214600620701753281186993596549350776638)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_78 :
Polynomial.coeff recurrence4Scalar1Left 78 = (204893610075827548963453874660839094199734251534703098169306418443 * 10 ^ 70 + 73898833706641920039022227354657346950707298145582273490558732887329) * 10 ^ 70 + 4075406648458199977765930026434255620057842316613746764942739649854165
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_79 :
Polynomial.coeff recurrence4Scalar1Left 79 = (59290712064035236209740044742536174707384705351388703164251781571757 * 10 ^ 70 + 4957445696923475033238861644424919472778744520529562220399072957453641) * 10 ^ 70 + 6097703271141154838953717869572328873148366041106224267684322444622466
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_80 :
Polynomial.coeff recurrence4Scalar1Left 80 = -((2310722540481163671234525295507082200667241994980770494463629178324585 * 10 ^ 70 + 4284747781118398420399154938033448436185627635149966446383938646319162) * 10 ^ 70 + 9488064897745613176112567585808746226755278209940254959184444598579315)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_81 :
Polynomial.coeff recurrence4Scalar1Left 81 = ((6 * 10 ^ 70 + 3159886090066864534476018766655298419767629741331667292277198175848076) * 10 ^ 70 + 913747303801679136971303844295564175394949950472679422975488016756564) * 10 ^ 70 + 4748896266249746685040323725305624572582115934584347975647255785030502
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_82 :
Polynomial.coeff recurrence4Scalar1Left 82 = -(((145 * 10 ^ 70 + 6105295941353402545651087574584401054601799256733680305864713243862921) * 10 ^ 70 + 7888350461184898008033220375653709237443670088053129666723415253154723) * 10 ^ 70 + 8068411246186700908029197857051050834923355181356756037315621270860321)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_83 :
Polynomial.coeff recurrence4Scalar1Left 83 = ((2984 * 10 ^ 70 + 9518555509497788256446021583024559767086750706891048748526115742002928) * 10 ^ 70 + 2799584483255317298792388417995052618061693779850483636157978293755921) * 10 ^ 70 + 5235619827118797225656688117117732523785266030696389585746212880702062
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_84 :
Polynomial.coeff recurrence4Scalar1Left 84 = -(((55444 * 10 ^ 70 + 8865890780866390462873918802482085201193500087451930464700403665792694) * 10 ^ 70 + 4783263491861298454745684083399225209994669325698317152053551640482503) * 10 ^ 70 + 7412276713744750051764905412588690992032115617351455427602841638512428)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_85 :
Polynomial.coeff recurrence4Scalar1Left 85 = ((936091 * 10 ^ 70 + 7538635854371928848103517109936136779584315397009802374408324072551045) * 10 ^ 70 + 4380442959283984800746963871246765450453412161507556195590944361329771) * 10 ^ 70 + 8727602241572144117402268010943096058426210133251609378782531180102965
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_86 :
Polynomial.coeff recurrence4Scalar1Left 86 = -(((14214648 * 10 ^ 70 + 4829362198867329353452665472957958483512855297398812355443066957671121) * 10 ^ 70 + 403499527214525125519934473017494096865513862072334097044208168145961) * 10 ^ 70 + 1342215033255424336322728636689233983148140731227645296294377150602133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_87 :
Polynomial.coeff recurrence4Scalar1Left 87 = ((187712247 * 10 ^ 70 + 7412175100358095952245909998005455499190587583075750014892396455657092) * 10 ^ 70 + 8033732922971079640013970645098765054458573911402959831838666059950441) * 10 ^ 70 + 5367059537528083179945802157197215192623539166927343101284772805581357
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_88 :
Polynomial.coeff recurrence4Scalar1Left 88 = -(((1944958226 * 10 ^ 70 + 3294746522892729903315228522627326138904286405784951356372328003421869) * 10 ^ 70 + 6836719510262491827203224569290990751803970099971128555924756995032524) * 10 ^ 70 + 4264002852795818880794760333064200993258408097410730279066191489173890)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_89 :
Polynomial.coeff recurrence4Scalar1Left 89 = ((8710282534 * 10 ^ 70 + 4844106797167736595049137713458956064019553317935698832666313321552374) * 10 ^ 70 + 4169237070479994386945565201016574217274004645758270708721639863587576) * 10 ^ 70 + 7964061827077230795629236390022983251368372480778548093216010346106868
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_90 :
Polynomial.coeff recurrence4Scalar1Left 90 = ((272714461067 * 10 ^ 70 + 3172041484215833730620443276810608448624307496557319885895892308692381) * 10 ^ 70 + 2094792112444464078882026111895160764346699321442032677431754895346649) * 10 ^ 70 + 7863484935767995143537495487229742832715443809064333510866996090386523
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_91 :
Polynomial.coeff recurrence4Scalar1Left 91 = -(((11142394613039 * 10 ^ 70 + 927741777125391130711025468862394095952495862146326185978250660307136) * 10 ^ 70 + 3459973807163848888742583675791719905484642210920186371676071377230479) * 10 ^ 70 + 8678539296584428624831584961902834622516221213641368274546504802450136)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_92 :
Polynomial.coeff recurrence4Scalar1Left 92 = ((278730620855645 * 10 ^ 70 + 1284438290631800270528046811689957636579593178036542656902781443750711) * 10 ^ 70 + 9947242712952254299344909270413126056256320926643102721530700723938673) * 10 ^ 70 + 3993622735277471095527347672956035018924658964761866273067789424499725
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_93 :
Polynomial.coeff recurrence4Scalar1Left 93 = -(((5786792717783718 * 10 ^ 70 + 2687260351459806505636309607288772461085167718390214231750454123500580) * 10 ^ 70 + 9635724864195849576224011549294924344252865596679084061335930259840268) * 10 ^ 70 + 6455066995764625434696711833754651647293772363900632444601169659878363)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_94 :
Polynomial.coeff recurrence4Scalar1Left 94 = ((107632043102952038 * 10 ^ 70 + 111533130641923201730676227475266462129833062848766771668297463228162) * 10 ^ 70 + 4573931216069228255323406209568572101101532915896558679659155261862370) * 10 ^ 70 + 2557990834209450187936903814106895141408346474142457662826657973647006
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_95 :
Polynomial.coeff recurrence4Scalar1Left 95 = -(((1850912568549979125 * 10 ^ 70 + 5141426363920189289392075125390053477274356883932409364813717311564951) * 10 ^ 70 + 5787755359355571485315379775242774810750033937240685974217812132132971) * 10 ^ 70 + 6823772565286090129484395636761418675654933573888085346988753289883657)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_96 :
Polynomial.coeff recurrence4Scalar1Left 96 = ((29912225396993126344 * 10 ^ 70 + 4380851384972313768944936729252189508227160948716221740261588056137504) * 10 ^ 70 + 5918123200249840567695299927706620302426029789216415818078924880546935) * 10 ^ 70 + 9663201313671278860741440303367422409504283698549785145780185939207419
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_97 :
Polynomial.coeff recurrence4Scalar1Left 97 = -(((458693978598539308661 * 10 ^ 70 + 2998168939185510937701084557054927245103429571505826985402914198211055) * 10 ^ 70 + 8469369063300873945455082558831399331777203074089797102197536575233303) * 10 ^ 70 + 4975023709195372776284603201009063069596015254261173107838392031397501)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_98 :
Polynomial.coeff recurrence4Scalar1Left 98 = ((6716361539785557248193 * 10 ^ 70 + 7419510035589798434704288004292383122764458782091879145803831264269071) * 10 ^ 70 + 1194730338089256032602965927413677295353170338851193630186915614367094) * 10 ^ 70 + 6367055598662292647461591794929718637742945803048739673381844880099000
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_99 :
Polynomial.coeff recurrence4Scalar1Left 99 = -(((94314264623537929121230 * 10 ^ 70 + 1993272107912861974334159002580329447726700595048356089908086582850478) * 10 ^ 70 + 3614972269480782735503314195746500793324540633323748045812273078661151) * 10 ^ 70 + 8736342530189028071151653748843815619144209269333157494191275309759259)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_100 :
Polynomial.coeff recurrence4Scalar1Left 100 = ((1274212902025355147875235 * 10 ^ 70 + 14241203934253662527405830399146318088681246521975359832332285998854) * 10 ^ 70 + 2936924723892812670140415866056675602993240309372292656853631161216375) * 10 ^ 70 + 8607416354159560816086237855989417100748525509674045704288905704741706
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_101 :
Polynomial.coeff recurrence4Scalar1Left 101 = -(((16603081853502501038361117 * 10 ^ 70 + 6692383062566148240561966064666104581636955764093641357196626369124798) * 10 ^ 70 + 8594765053886884299777417803108667654203273810957822704420648238810494) * 10 ^ 70 + 3393442175412502942760722335494704361827404454696622340356484393678511)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_102 :
Polynomial.coeff recurrence4Scalar1Left 102 = ((209052507173516768567385405 * 10 ^ 70 + 4684965479907523367208766375750577589808117671622619891374299172832619) * 10 ^ 70 + 9451257585633984456010191203876055246134678114345023749444762683508762) * 10 ^ 70 + 8545211967768798891900006409352901212263784501723163517995574944326098
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_103 :
Polynomial.coeff recurrence4Scalar1Left 103 = -(((2547548741110108178173629026 * 10 ^ 70 + 4253184931435668001558158788688136523569643848678245726162190202984598) * 10 ^ 70 + 314380006087575152061397373296977886511148055311821369275520582848761) * 10 ^ 70 + 109459551617273334552868183941196106235464644207234601254787350176883)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_104 :
Polynomial.coeff recurrence4Scalar1Left 104 = ((30085402918850463451951265135 * 10 ^ 70 + 1632767673150371381353358404343365625730818608802911037072074032536021) * 10 ^ 70 + 1856111289078332551895763159724830004400459429423496756888433234300088) * 10 ^ 70 + 6004914908528459649564537319223547084425383229345196985811572201297351
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_105 :
Polynomial.coeff recurrence4Scalar1Left 105 = -(((344695149055073916158690794229 * 10 ^ 70 + 5964130752038863486925832687284127411215049907905551179644708524074762) * 10 ^ 70 + 8975593033911498583032625312969742082888957921916244995761087799803051) * 10 ^ 70 + 8859379112282105276618130620467469801349167878370096677037924634150781)