Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart0.Coefficients106To134

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_106 :
Polynomial.coeff recurrence4Scalar0Left 106 = ((547752597517484859419774155918 * 10 ^ 70 + 5664935105567559126296457101284405237653628860979709578883167742396298) * 10 ^ 70 + 1892779265035573228593331574669255020260515037955672296374866763977821) * 10 ^ 70 + 5100805850843484502584134515684846713623197854435309545902101580846887
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_107 :
Polynomial.coeff recurrence4Scalar0Left 107 = -(((6046423409505427397799281062817 * 10 ^ 70 + 2806619779844032953700390431955912022278242599398626075661595475647120) * 10 ^ 70 + 6821485943918508478208957860502606439402644405119585733422245740137000) * 10 ^ 70 + 5989419290267414580155255763402077961642021882744245425077452521957605)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_108 :
Polynomial.coeff recurrence4Scalar0Left 108 = ((64888636197293623194179400160150 * 10 ^ 70 + 361405332940038697200285525896327440211717365892964081590851197349794) * 10 ^ 70 + 8896116488808104924277622362146690217133282059744178114809314052918408) * 10 ^ 70 + 1534628555378287335896398221800616475103089025752358631742338651776472
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_109 :
Polynomial.coeff recurrence4Scalar0Left 109 = -(((677491727254049457797154536070737 * 10 ^ 70 + 5764572015648194036935071872540969394396712571019314707303415006913886) * 10 ^ 70 + 2436573065085164886760122349121257612659779930583607308114937766410416) * 10 ^ 70 + 4324428336983565751514925943465800453670948010295484741426325698809343)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_110 :
Polynomial.coeff recurrence4Scalar0Left 110 = ((6886247756142637379368605968014456 * 10 ^ 70 + 1789872556566126441800893153699543114194484575908800510808524459472940) * 10 ^ 70 + 4957807168470975020443890216831168333129352272060713812479620094858552) * 10 ^ 70 + 5640126116643238332509441559599565441616967413555592554297332317447350
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_111 :
Polynomial.coeff recurrence4Scalar0Left 111 = -(((68179974356060145067112651917991212 * 10 ^ 70 + 311326774422926020481685540816432441605069100023923153541955358815064) * 10 ^ 70 + 8501312982621269657171862204259598982798115086854369776547542483329855) * 10 ^ 70 + 9657353638143753248943069551431117913665657338248897490717844848414825)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_112 :
Polynomial.coeff recurrence4Scalar0Left 112 = ((657895998352260826275264960870876777 * 10 ^ 70 + 8230625291278692745650817298585867298371898980984266101751344606417138) * 10 ^ 70 + 3757091008542331227756906207958770657025090606860713861579277626463541) * 10 ^ 70 + 5431205519766912060118789434614361755385629312732769740387559373929735
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_113 :
Polynomial.coeff recurrence4Scalar0Left 113 = -(((6190080780075539133652046739755224996 * 10 ^ 70 + 5358541766075477840171706955383280951355951044351052300646840160976884) * 10 ^ 70 + 8702826771942192042599605726093886744664464852757950328850336753007391) * 10 ^ 70 + 129190594395617567875828609253605836612635713541829687919746491328128)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_114 :
Polynomial.coeff recurrence4Scalar0Left 114 = ((56816031556860573638995686098177696629 * 10 ^ 70 + 7732046264339603443734573488159283945915471394446847034797131875220481) * 10 ^ 70 + 3072652277306571119823816383135013276637911932005839207554375883475179) * 10 ^ 70 + 2232910304022351527434826446459704523265644233726996504523348763102887
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_115 :
Polynomial.coeff recurrence4Scalar0Left 115 = -(((508937408278338384276460037887685912900 * 10 ^ 70 + 2289101240902219947954758654537838279373167657048550430027544941453304) * 10 ^ 70 + 1180642260577827267703130689196087917178320881755979790082362255090546) * 10 ^ 70 + 7332074116281751332444594270789963178120959941283718101208040840654972)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_116 :
Polynomial.coeff recurrence4Scalar0Left 116 = ((4450905982870626392489645287647757598194 * 10 ^ 70 + 9731050712205768138782620388583925381643450642971914330151052373761463) * 10 ^ 70 + 2145402992841643279979421273030477029560521211120918751259104728044326) * 10 ^ 70 + 2169672172637062055228374430302189391343686863569909190624100675051253
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_117 :
Polynomial.coeff recurrence4Scalar0Left 117 = -(((38017575534284951748772830166757768888348 * 10 ^ 70 + 9144781627310629193477330838720939463725959958240847227468380952697454) * 10 ^ 70 + 1683510593837223335178288397915591616380920256964795605525263642453489) * 10 ^ 70 + 129461455985402829846964318311046924155907149468102213704856828450978)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_118 :
Polynomial.coeff recurrence4Scalar0Left 118 = ((317266808482271799175914024478997158580677 * 10 ^ 70 + 2387384777210730886291666841254942407731924854779587688949423869189526) * 10 ^ 70 + 9380268438188978954386465333694367796758375586921100092236157153495953) * 10 ^ 70 + 9550110563735188012736412795306574459182202526387299160722396774796981
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_119 :
Polynomial.coeff recurrence4Scalar0Left 119 = -(((2587695971718547610149028969810437232374413 * 10 ^ 70 + 1276667031358898827475136195073918291404948334052999037387083128695132) * 10 ^ 70 + 713601382049434376763124625311389193607855524825090372945695422577009) * 10 ^ 70 + 1728865365225240095504081457955692764138573276942062569285378021244397)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_120 :
Polynomial.coeff recurrence4Scalar0Left 120 = ((20634176003573188128709480168691432135810172 * 10 ^ 70 + 9339440106208596486740655471603985004100764205880986987074576869442805) * 10 ^ 70 + 9100121809879202671888102712553990616884639205667864676325899240028796) * 10 ^ 70 + 2624072178550078724398345542187371903815692736386375095442931081405293
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_121 :
Polynomial.coeff recurrence4Scalar0Left 121 = -(((160907614631005604855774422086839555606086735 * 10 ^ 70 + 8677450497652159802001075742604834243249003274888092676674475820623380) * 10 ^ 70 + 3710536958293681500299212661077646631399937701994263859493246645033933) * 10 ^ 70 + 9657569386412891834770078281106185488065370076173691648103527139170256)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_122 :
Polynomial.coeff recurrence4Scalar0Left 122 = ((1227456185831557800247809519643692198298386828 * 10 ^ 70 + 610002613216335861122778850849458541286368690701675747916823928992212) * 10 ^ 70 + 92442322929875890520488885446781438397001943557124891368549581111261) * 10 ^ 70 + 3121778898543855961034283744876204869250178876617016541588934812470290
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_123 :
Polynomial.coeff recurrence4Scalar0Left 123 = -(((9162083508453453588520119834810048118906942341 * 10 ^ 70 + 133641577191825066472176868286888122836348145255630957399167963481040) * 10 ^ 70 + 2928355248304986676508189239481379528001525863875029446374177786703366) * 10 ^ 70 + 2904562946431313418040087761381756044174946022179522107015563987933066)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_124 :
Polynomial.coeff recurrence4Scalar0Left 124 = ((66935306262582220226315271335449995880148631721 * 10 ^ 70 + 5314478041483016656305334021595608833900723478757899364317474036068589) * 10 ^ 70 + 7875840694496226392735131982962971096385490134693764733714834307752332) * 10 ^ 70 + 7912141627083880085643240440621704858634707492237531083479751708180924
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_125 :
Polynomial.coeff recurrence4Scalar0Left 125 = -(((478738487805394099580586421973706307322379454186 * 10 ^ 70 + 3388446789262803786766795972523057005277619551251771556004447224912134) * 10 ^ 70 + 4928681337913576612640980001434962194356212640099065837666981417335436) * 10 ^ 70 + 9446329306397717750744978782755843726058212605183738413814602708633071)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_126 :
Polynomial.coeff recurrence4Scalar0Left 126 = ((3352961553275085163811999874486749383751948421504 * 10 ^ 70 + 3846571608485765269774604930597404080436603617794452776621945737734822) * 10 ^ 70 + 8704665990359791185700033014137004013338990323997393998723229485295672) * 10 ^ 70 + 1599911030879947834766904936864605464164299627798656939366536628129444
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_127 :
Polynomial.coeff recurrence4Scalar0Left 127 = -(((23001017636079532241562531518964940196144890182200 * 10 ^ 70 + 8783733871660109675055410225232494166050118999972161280875849750278754) * 10 ^ 70 + 3099407399628829295973580247946417733373370812457069162188026081165342) * 10 ^ 70 + 1709217492261365022611556842833855782391279571888312409824952109443247)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_128 :
Polynomial.coeff recurrence4Scalar0Left 128 = ((154579248976738808453411795614315459997734933758154 * 10 ^ 70 + 9734270124933435668131131431531151585369134978978181266749363461552868) * 10 ^ 70 + 7807883217914958392838919293263998136965624751048105590772660797599342) * 10 ^ 70 + 227796058205782629088780928318474618724884165713360962866600413578687
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_129 :
Polynomial.coeff recurrence4Scalar0Left 129 = -(((1017969963876943359528060907196329826673394879294027 * 10 ^ 70 + 3063816542049330337663584669703453361545471762558349483609385929203870) * 10 ^ 70 + 3228889189539486035244158987196004303185331986345673529487428915681892) * 10 ^ 70 + 109507071299842539742281950622318586024282470815117320916642127328556)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_130 :
Polynomial.coeff recurrence4Scalar0Left 130 = ((6570358790066920521306235968785566652714182546128988 * 10 ^ 70 + 2620826592353684501883791772521113353362816431185752981615942720963182) * 10 ^ 70 + 2041400359497465384464250112806851730979760093018910779337634692912663) * 10 ^ 70 + 9295685064525466091223887715065458998919952641046250411940285964418177
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_131 :
Polynomial.coeff recurrence4Scalar0Left 131 = -(((41572029477964387637749998115567568866110137856146609 * 10 ^ 70 + 7121919950252201019738479951277174234617148622507098613448365689364017) * 10 ^ 70 + 8373705867326298700230273214704861908066900062625505876030794950399910) * 10 ^ 70 + 7667322229945143335880129509295305263482394410913360203791727486748985)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_132 :
Polynomial.coeff recurrence4Scalar0Left 132 = ((257902866199474941776779290542398480243905130356916501 * 10 ^ 70 + 5030867195356958064473193790399554724080462354708532142676957032209594) * 10 ^ 70 + 8285075088938082174150946178226978324416653407690039051535542436034211) * 10 ^ 70 + 3668525520921301738918860463283716240265787534795255291388622587277621
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_133 :
Polynomial.coeff recurrence4Scalar0Left 133 = -(((1569047034907863692883355826180082587393909494977056135 * 10 ^ 70 + 8270755062364134696426034331659940836209980676357934911103779549682314) * 10 ^ 70 + 3723988017517356266047398108555036382570881042230570633947530116638528) * 10 ^ 70 + 9285675977479514589467541636370705124822402607666510800928004980327670)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_134 :
Polynomial.coeff recurrence4Scalar0Left 134 = ((9363108669755041342023435103893231988594209645781284130 * 10 ^ 70 + 7149859568160056915094335310091271850039655883521814556983377155849980) * 10 ^ 70 + 350096037447818069854600022441969590700525689371455164290465170777499) * 10 ^ 70 + 1371374342365128821767944469646478524155774741429164298031458169112010