Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0MainPart0.Coefficients43To78

Recurrence 4 lookup certificate: Scalar0Main 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.recurrence4Scalar0Main_coeff_43 :
Polynomial.coeff recurrence4Scalar0Main 43 = (790665232 * 10 ^ 70 + 1226829030584727532021570727186160726540133028700753432230491072983328) * 10 ^ 70 + 7084598099228385644196110543333885288436773828883501214884572904156808
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_44 :
Polynomial.coeff recurrence4Scalar0Main 44 = -((66113733342 * 10 ^ 70 + 7864975293031125318251126688252828663796521045420222394443742778321310) * 10 ^ 70 + 474350230792266375182622405005659122664973093291467374166289515224061)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_45 :
Polynomial.coeff recurrence4Scalar0Main 45 = (4622208948350 * 10 ^ 70 + 2552454071847805368042743794520856149489013379352608262297186017576182) * 10 ^ 70 + 6851067790360765820706696175016408013094805911218757000485005633648584
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_46 :
Polynomial.coeff recurrence4Scalar0Main 46 = -((242866248053061 * 10 ^ 70 + 9263917323013991346276936893281717613342625220842684170163058230719232) * 10 ^ 70 + 7928986657987217611180020614297779063378349964638597400808958308907497)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_47 :
Polynomial.coeff recurrence4Scalar0Main 47 = (4885222285950026 * 10 ^ 70 + 4305355966306707236189225177332300706579995282459485637046866509466862) * 10 ^ 70 + 5294618362500090311300131432579349411783622408433864250852285419692749
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_48 :
Polynomial.coeff recurrence4Scalar0Main 48 = (904134748637546109 * 10 ^ 70 + 8724423152095221471362059998742517524950006764188920817341582003457002) * 10 ^ 70 + 4946496205615505506159515825762809747681863069884340949803777648877917
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_49 :
Polynomial.coeff recurrence4Scalar0Main 49 = -((166352732302894062681 * 10 ^ 70 + 2450756204382194790415768851986880260960585391122542568629631136329807) * 10 ^ 70 + 1504035174951744143431706649616292078778316474341243153837935128877780)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_50 :
Polynomial.coeff recurrence4Scalar0Main 50 = (18750284808548437650862 * 10 ^ 70 + 4706545744473642063953590348306789455481584053606814526935250225205145) * 10 ^ 70 + 3022480671307540624367958692088419718858790888191903806441692635185835
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_51 :
Polynomial.coeff recurrence4Scalar0Main 51 = -((1714843142055422095754128 * 10 ^ 70 + 8471719593185228072934545227307902706412588749491635562706859732530061) * 10 ^ 70 + 3712130645010974944211662046402254478797172282298787016198959550648610)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_52 :
Polynomial.coeff recurrence4Scalar0Main 52 = (137003224860432118560368809 * 10 ^ 70 + 1059396734570444135660271385542623731952353087211740522984369124505290) * 10 ^ 70 + 6415811958606143361429699182157536404243870094264205631217103945156853
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_53 :
Polynomial.coeff recurrence4Scalar0Main 53 = -((9864817232344463691314259250 * 10 ^ 70 + 4866173962945534268154448970433032123363341643175210298839393112791112) * 10 ^ 70 + 9547645084374185279916901314773411432227478166926279955439138386305569)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_54 :
Polynomial.coeff recurrence4Scalar0Main 54 = (650850478613826738122574492781 * 10 ^ 70 + 6032413960579336430838649023111922195447093259912295278879769883480171) * 10 ^ 70 + 6414597837246651126184665703014768157752835832912326718957101840894873
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_55 :
Polynomial.coeff recurrence4Scalar0Main 55 = -((39743532990081620322742560844772 * 10 ^ 70 + 8960694028400068658405142206977183221301747447082239053111291830261179) * 10 ^ 70 + 1752775951949369532905194288793218912967131388475188341199153978944065)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_56 :
Polynomial.coeff recurrence4Scalar0Main 56 = (2261238616298951587380034059819980 * 10 ^ 70 + 917172989340420391215726821672887525644949268309360297884272015009843) * 10 ^ 70 + 7981236543376457682883486996201837675634380694078857933441484951588475
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_57 :
Polynomial.coeff recurrence4Scalar0Main 57 = -((120443642102047265667411070890861914 * 10 ^ 70 + 3211560815217186857745077910078857187259091779960138239077524475355341) * 10 ^ 70 + 3293358073146131855460199725704501497401168907648353309744816343705790)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_58 :
Polynomial.coeff recurrence4Scalar0Main 58 = (6027224492981587844164716844754752295 * 10 ^ 70 + 7815138379781720083395487765648723269476587490827636737799602197688168) * 10 ^ 70 + 2121392230548149975803514540612849771421406918032469298581957364360547
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_59 :
Polynomial.coeff recurrence4Scalar0Main 59 = -((284141186754961223855294802473090070116 * 10 ^ 70 + 1417899225762121375835392974951589587366208225530055306187306075894843) * 10 ^ 70 + 1164138426507346170037029098281385553095629528507711204103781361415767)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_60 :
Polynomial.coeff recurrence4Scalar0Main 60 = (12646548559815782613733290954158917615785 * 10 ^ 70 + 3345572480900053583542325782562479299410995181470229492391093967386058) * 10 ^ 70 + 4892839627331028720789372446227973737284296106742131213770229878602188
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_61 :
Polynomial.coeff recurrence4Scalar0Main 61 = -((532329541776944431667941899046140334716061 * 10 ^ 70 + 1306731379064982886367400853828073611728920371256142413804780402285090) * 10 ^ 70 + 2142073541845842295149539388710927613038283767472151775614928445942146)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_62 :
Polynomial.coeff recurrence4Scalar0Main 62 = (21220700706030177187988286474989329227505923 * 10 ^ 70 + 2459426406122172909296002820823512337061460960688507820221495805732905) * 10 ^ 70 + 5296460475532266024535361959478230342511441243252458104660236614073309
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_63 :
Polynomial.coeff recurrence4Scalar0Main 63 = -((802014870796854413691842496334468472064027717 * 10 ^ 70 + 5744620358618630744577931918074731919732810332388580745921448910511946) * 10 ^ 70 + 9729988842642403321354496239392765311215972020761102425197951768328485)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_64 :
Polynomial.coeff recurrence4Scalar0Main 64 = (28761193084064785430205849469832329888636325590 * 10 ^ 70 + 1735085898907264255587101056687696065911407241724488756575632436809708) * 10 ^ 70 + 6325924169023846030842138918375646517682123520878900657555220855221173
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_65 :
Polynomial.coeff recurrence4Scalar0Main 65 = -((979219978789862349123148274008239391560981847628 * 10 ^ 70 + 3007786475226600401387020965666320943007009067191861387091123236072856) * 10 ^ 70 + 9428248051066959459337971544786845025669402155131437713126976138116497)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_66 :
Polynomial.coeff recurrence4Scalar0Main 66 = (31661688196797157759012173957715653435648371748210 * 10 ^ 70 + 1951484095791306118035780836485240176316538404435619654528637141277152) * 10 ^ 70 + 8499451071627697174878457829435634180647066601664353418196111332905318
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_67 :
Polynomial.coeff recurrence4Scalar0Main 67 = -((972234039338496207752920126547687185381924469510283 * 10 ^ 70 + 5912867796348728245481444263146006319915424800350483999024914494196082) * 10 ^ 70 + 4555865961693450576147533151360648585329156350472856796507230271986099)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_68 :
Polynomial.coeff recurrence4Scalar0Main 68 = (28342549744724057746782798117003317982443470053790834 * 10 ^ 70 + 703846902775753127118454700288798764629770871347939110730040935877504) * 10 ^ 70 + 1452246751435277680641521376743638420633752226198783223163034988857168
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_69 :
Polynomial.coeff recurrence4Scalar0Main 69 = -((783773368751209670645858444706843211915978238047677636 * 10 ^ 70 + 3815257970027817349209697729348883918680255695115514862989370994793970) * 10 ^ 70 + 8547563629167209524071119112830185893893513798920370863366708968295652)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_70 :
Polynomial.coeff recurrence4Scalar0Main 70 = (20531101789103635955989986675569407471496763450313862599 * 10 ^ 70 + 1514282295581391465205083799224914351648022045422030920579219660244440) * 10 ^ 70 + 8738722070574065800210163975393933134411559199219093296040350263114241
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_71 :
Polynomial.coeff recurrence4Scalar0Main 71 = -((508287557958547631681549067519816528486109114700339935531 * 10 ^ 70 + 5877257449162471380824525381611414083229486633985399991479532614300157) * 10 ^ 70 + 7239375684009454285889586695578376607092863121637876818191053750339726)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_72 :
Polynomial.coeff recurrence4Scalar0Main 72 = (11849599999252825040405057393493688687789622817273363420760 * 10 ^ 70 + 7764539570806012579302609141738978820653187804786820120661078700267734) * 10 ^ 70 + 921492644377515262808424085675600780466829260139884924438783802588278
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_73 :
Polynomial.coeff recurrence4Scalar0Main 73 = -((258616302502238967261252802077327435768927425651176589021086 * 10 ^ 70 + 6730172196341489292755352171590575878996953256530822458125830797742326) * 10 ^ 70 + 5121737757611749152334098980955078278219580205173049959199927448141786)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_74 :
Polynomial.coeff recurrence4Scalar0Main 74 = (5232389897664891165950960020675287708893938942016565054363366 * 10 ^ 70 + 4367384503436262581273226408911898135008951334952105527823940388020063) * 10 ^ 70 + 9021536376396703398930814173145697076674886506175625115707391838618785
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_75 :
Polynomial.coeff recurrence4Scalar0Main 75 = -((96399598945678987371911059422525609081551474077567856001065028 * 10 ^ 70 + 6567348409568621887860282442313827517304801796908990417784775342232819) * 10 ^ 70 + 1190558950918579986555243351939238015028791774239468703904907007560451)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_76 :
Polynomial.coeff recurrence4Scalar0Main 76 = (1558138081871976646573905482970085090281628978758617198084762861 * 10 ^ 70 + 1243630726056987654818302020088991458349871331791449002767492275295433) * 10 ^ 70 + 1418419630590036458636224737254953041300654956346667786857021996484374
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_77 :
Polynomial.coeff recurrence4Scalar0Main 77 = -((19993492829456198034981678640387431760177771952792271038305746292 * 10 ^ 70 + 7700243797644992383495613927053475908655501806775935594435287400529199) * 10 ^ 70 + 1104951264652049240021876036348428269230923795170040625718540686468471)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_78 :
Polynomial.coeff recurrence4Scalar0Main 78 = (121076197523821109341311473829993456758762913575000422963141228273 * 10 ^ 70 + 7538654785471253097804137984162458326510907352599358580638682723727911) * 10 ^ 70 + 7719334787966988469874315744471405335064016172637336466181443157277182