Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar0MainPart0.Coefficients0To67

Recurrence 5 lookup certificate: Scalar0Main 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.recurrence5Scalar0Main_coeff_0 :
Polynomial.coeff recurrence5Scalar0Main 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_1 :
Polynomial.coeff recurrence5Scalar0Main 1 = 57838809210387311374847545185027900089879989385612125 * 10 ^ 70 + 6384469871949651332869024275032357497219488186425400442200125916446720
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_2 :
Polynomial.coeff recurrence5Scalar0Main 2 = 323141313941434388461168111861766606385314873727581536340 * 10 ^ 70 + 2115917639077005777857077396306872046623187316883489469228549258682368
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_3 :
Polynomial.coeff recurrence5Scalar0Main 3 = -(2532364183808920979027641238568235521235338235888259839279002 * 10 ^ 70 + 8132869705089289876393383163511610062433670164994999589633615798896128)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_4 :
Polynomial.coeff recurrence5Scalar0Main 4 = 292010068263915887983879214604469968115971693895915544969288598 * 10 ^ 70 + 7282571757943099679616349397388397815470941928927209575630277621713856
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_5 :
Polynomial.coeff recurrence5Scalar0Main 5 = 21837674225547188417642625427236224912882897134563390754353941664893 * 10 ^ 70 + 2190621952803799309065034090547418408356419084568486306100123749240960
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_6 :
Polynomial.coeff recurrence5Scalar0Main 6 = -((8 * 10 ^ 70 + 8392734215249432259986419020159408121979319591703867405668337206071713) * 10 ^ 70 + 9898500117100359138918722235694096799172211253767219857768857512153584)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_7 :
Polynomial.coeff recurrence5Scalar0Main 7 = (21387 * 10 ^ 70 + 6897561152310288911195276436497449822822458010232441973215101320416949) * 10 ^ 70 + 4259285939754687426445161820732945456385611926457032716980749227191072
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_8 :
Polynomial.coeff recurrence5Scalar0Main 8 = -((35780448 * 10 ^ 70 + 5356355545866072176485233101388623065716501334138613636985239935378452) * 10 ^ 70 + 1058856198272806049405612978664103645426835400305667206817843666036624)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_9 :
Polynomial.coeff recurrence5Scalar0Main 9 = (44577167544 * 10 ^ 70 + 2170775662776891439339282542712338966634310124108279863197753126702285) * 10 ^ 70 + 8218558740186322994977924605626481395418677009612977096830527218090416
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_10 :
Polynomial.coeff recurrence5Scalar0Main 10 = -((41221330744690 * 10 ^ 70 + 4521696510404507151443379824966063545016773116643147645962223942227029) * 10 ^ 70 + 9514316667884425643084633608213507628306289184228259655718038295992512)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_11 :
Polynomial.coeff recurrence5Scalar0Main 11 = (26242491675423200 * 10 ^ 70 + 1972428293357447415977155280227579748172533498175782627588295603821271) * 10 ^ 70 + 8486971930702271887848693029029043516525970115600403331120565955978884
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_12 :
Polynomial.coeff recurrence5Scalar0Main 12 = -((8288369343204197333 * 10 ^ 70 + 3850010871843817857526114240153591243056643516558576899358795105496692) * 10 ^ 70 + 3716242138050422303305072430822858048639053764686222019370467168282624)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_13 :
Polynomial.coeff recurrence5Scalar0Main 13 = -((3404978826691946689189 * 10 ^ 70 + 5667593329672353891070161208698226595714453532238603869461201008884208) * 10 ^ 70 + 780880173050052502423577396674288303944712797252084712755217987339440)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_14 :
Polynomial.coeff recurrence5Scalar0Main 14 = (6423030090510165891971557 * 10 ^ 70 + 5539401842725889510355143536327292591288054492826006195564197335124924) * 10 ^ 70 + 450256549530353023050625935225593873710668028433357597637256149836588
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_15 :
Polynomial.coeff recurrence5Scalar0Main 15 = -((4425831551956719263561837709 * 10 ^ 70 + 3624213891211084711329197103033063969243727231664893412253996026617667) * 10 ^ 70 + 7458848808368374706470654525551194910598597105624306492834964840494460)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_16 :
Polynomial.coeff recurrence5Scalar0Main 16 = (1746526359240885793209389485945 * 10 ^ 70 + 3588510912078879748524094098581923148570222363295699378758781788907873) * 10 ^ 70 + 2238907079231904728580335426846153561022746448849150205083035421704620
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_17 :
Polynomial.coeff recurrence5Scalar0Main 17 = -((258528613776133376008274695311100 * 10 ^ 70 + 6777805933044912775732371968183901741602639336912168726823370762410822) * 10 ^ 70 + 6970922440184055872184865227188034702566965779589298900886652778236428)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_18 :
Polynomial.coeff recurrence5Scalar0Main 18 = -((161829115797770083933000393563750661 * 10 ^ 70 + 3525417201031714455261274815254128349804261835229254241797989501806201) * 10 ^ 70 + 6658411495701051073089471586520666676442339664045595470800394774519200)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_19 :
Polynomial.coeff recurrence5Scalar0Main 19 = (142189019980987675545075798705683377379 * 10 ^ 70 + 9822611039237380354942431501165276291219012254337597986970856362729142) * 10 ^ 70 + 802685711807367288373510454341642280664844701001201110610435514951236
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_20 :
Polynomial.coeff recurrence5Scalar0Main 20 = -((60056791412543562067615713677327294618256 * 10 ^ 70 + 1790471149162578418729255024866136312593571894323213590708340858123359) * 10 ^ 70 + 322874336100932636593567996453025450726137064317658958906924539274984)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_21 :
Polynomial.coeff recurrence5Scalar0Main 21 = (16519024191561087072760524767339222740382035 * 10 ^ 70 + 9736389176221329532264600234100817195553115175435630477625320886028387) * 10 ^ 70 + 1800030872351961611844707673337627141712547083676479898410538094396373
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_22 :
Polynomial.coeff recurrence5Scalar0Main 22 = -((3325404342623622378762293137875376482150673419 * 10 ^ 70 + 1790085454714974961087414574277487598668656064328649833274251353246791) * 10 ^ 70 + 1059480463876304563214102550959285241205817792557635595498259928552408)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_23 :
Polynomial.coeff recurrence5Scalar0Main 23 = (933995559748540271466456427806949321052833965426 * 10 ^ 70 + 4996831637306773464136979083127587837147701094452788151073386999902454) * 10 ^ 70 + 779167147589956257892929461500573892274332445412247329617519052660706
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_24 :
Polynomial.coeff recurrence5Scalar0Main 24 = -((609423785603187813444468989899985659725087603929320 * 10 ^ 70 + 8919245582825291089658003833629128597062544572857034696450669897030083) * 10 ^ 70 + 7463300035467275475539327136802236582941985600458088854977694914715624)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_25 :
Polynomial.coeff recurrence5Scalar0Main 25 = (390111683730161048656186163180461447591727733249345703 * 10 ^ 70 + 1813440664523106554798472752078029352583417282939884768283605300594986) * 10 ^ 70 + 4937957687213358504124783571223103313105963279745500399788223316295180
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_26 :
Polynomial.coeff recurrence5Scalar0Main 26 = -((190481937455917319729339914792386240023639094671316542251 * 10 ^ 70 + 7202467810447501050621564336499248125791213574006074955131862599767045) * 10 ^ 70 + 1064606159929552413415621812250064800039630288818928156131932497499077)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_27 :
Polynomial.coeff recurrence5Scalar0Main 27 = (73373998933777807970795481318486708688344207242000554307865 * 10 ^ 70 + 2738523427981026206266787512444990718798270417149406544666904579889834) * 10 ^ 70 + 5714365651358619339310694576571181681564328111270272280841703646492824
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_28 :
Polynomial.coeff recurrence5Scalar0Main 28 = -((23249067905309688727590940567702585850915841757492886405839109 * 10 ^ 70 + 5874542900815439227467747729122123584838255294175887339426176519729337) * 10 ^ 70 + 2364101285299899889935890909175585786615332438346794715198707185702426)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_29 :
Polynomial.coeff recurrence5Scalar0Main 29 = (6226837867259704077304319831012451430024994324691629921997118041 * 10 ^ 70 + 2131809118912579853598052493735007062124890780622730678741191843937467) * 10 ^ 70 + 5612638239225680891563512144173223862942743122481738805002350690198656
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_30 :
Polynomial.coeff recurrence5Scalar0Main 30 = -((1432492759438965526997163709862150963034818598849873079575710354610 * 10 ^ 70 + 6133999875960558645655302258773719503191293106873944688383027139357523) * 10 ^ 70 + 8920494392021597308091126312540307405975047724051466503220700072753432)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_31 :
Polynomial.coeff recurrence5Scalar0Main 31 = (285250058307926429888441413354004206310641676206343719538346894558615 * 10 ^ 70 + 5834357829845204728326806032513134068358840178063705488485121403095579) * 10 ^ 70 + 2180792132968237899394187706719047996376988874905704472270110531039033
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_32 :
Polynomial.coeff recurrence5Scalar0Main 32 = -(((4 * 10 ^ 70 + 9155788576328057912754888255214400755015014446622498101586425346187572) * 10 ^ 70 + 7540346599419549820805133902827676758071751389491199325843262028574803) * 10 ^ 70 + 1663993495333970098033534214523714762613374528381565851368897628862413)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_33 :
Polynomial.coeff recurrence5Scalar0Main 33 = ((724 * 10 ^ 70 + 9154182127296298647098608866865601825926040332357382495922426453953493) * 10 ^ 70 + 1804761351551206792439106002283961211111014636011703521790625267788020) * 10 ^ 70 + 3531218043049381940955903736925218288556067593325972607190496144471508
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_34 :
Polynomial.coeff recurrence5Scalar0Main 34 = -(((88449 * 10 ^ 70 + 6944111811646468774492196744005922596495820086189899369420155995189987) * 10 ^ 70 + 1318118682990108916964809374816431960192807828373350343949674965948232) * 10 ^ 70 + 6165740830476756977282526819172099908261650042634178747340272272215485)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_35 :
Polynomial.coeff recurrence5Scalar0Main 35 = ((8036384 * 10 ^ 70 + 673152261508763875059233726423918631402382026012087906188027306020137) * 10 ^ 70 + 4082652415062338739026060100675237318727972731561407122775518066347777) * 10 ^ 70 + 4975758631866178562471682060108089231717754847294330168243451489631611
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_36 :
Polynomial.coeff recurrence5Scalar0Main 36 = -(((285831349 * 10 ^ 70 + 8788392089722687718697873791585415188711480246159223933606186104454050) * 10 ^ 70 + 8163348949120704491043781159748610595245234387123677598203380925546831) * 10 ^ 70 + 6451550986230563320343309868180690412989328117612271199506229753723881)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_37 :
Polynomial.coeff recurrence5Scalar0Main 37 = -(((82043957794 * 10 ^ 70 + 174523200254891667768771226663235327791936972984495899111558639400407) * 10 ^ 70 + 4684741203981032993148441286050425859655688704636985135199161885655764) * 10 ^ 70 + 6294149150436196039662406112420776312575721867632277215881722246486895)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_38 :
Polynomial.coeff recurrence5Scalar0Main 38 = ((25339298658919 * 10 ^ 70 + 1251739956349009463467891418369455020788412570592268658296120085971095) * 10 ^ 70 + 5567824471628830948863523955267849830378625599476008821273759720864501) * 10 ^ 70 + 9930190256327336779455015529169942032873255478643478790982216612229959
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_39 :
Polynomial.coeff recurrence5Scalar0Main 39 = -(((4684729676141954 * 10 ^ 70 + 3985978326752581093206235413966390168644895753693825602486561179640338) * 10 ^ 70 + 420250262004041945957198901192894046682236510485189842850249814012576) * 10 ^ 70 + 322861989570622256753063792451616281412475038257774245503364152709592)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_40 :
Polynomial.coeff recurrence5Scalar0Main 40 = ((692916562412693488 * 10 ^ 70 + 9633287926043070860371335913006380482188469082588365543798573172422844) * 10 ^ 70 + 2282164429236293840223150253625346440359474748234693381838979802176432) * 10 ^ 70 + 4313508506171537928119521743202477438323196208481991334133806954065236
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_41 :
Polynomial.coeff recurrence5Scalar0Main 41 = -(((88418631201678503772 * 10 ^ 70 + 5192894855012598466048367550615500484947788785135669967304591728901731) * 10 ^ 70 + 6544106969809953388389668242924908816130587412365977526117764240816335) * 10 ^ 70 + 9848740842255750977582997084476689706597863528887046949430879306955226)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_42 :
Polynomial.coeff recurrence5Scalar0Main 42 = ((10049925521397056578212 * 10 ^ 70 + 9252599672697944121214934038600568439369291001679743765954584277667338) * 10 ^ 70 + 5592956315365184074093240800635354382825688675244342954970781386495519) * 10 ^ 70 + 3794766004735810431704055698200999253074407119964324378869823765541406
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_43 :
Polynomial.coeff recurrence5Scalar0Main 43 = -(((1035033448187084566777779 * 10 ^ 70 + 8111832053579822391423636086500347373346401081186316573886408084286053) * 10 ^ 70 + 585423574160226475612621660962462371210173634752828172423587459435953) * 10 ^ 70 + 1276483641752485637009691288004669764061469648565936379379217364690407)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_44 :
Polynomial.coeff recurrence5Scalar0Main 44 = ((97606923113876264791092390 * 10 ^ 70 + 8800772616538480359774331023553751584769140842573761301451392658137743) * 10 ^ 70 + 6108963526362860022095702575364268248404951824086166537056038244862182) * 10 ^ 70 + 2505919199645949013716175897570221961919947942900858887704077533277089
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_45 :
Polynomial.coeff recurrence5Scalar0Main 45 = -(((8488572060692059052325299834 * 10 ^ 70 + 6987272101502879053820278096770083204887925537438189698076472109290843) * 10 ^ 70 + 7448741099801161925904249248623977566602816575271256874551350342882432) * 10 ^ 70 + 8416476875742930701407248539663968907188538782018458126501403293723594)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_46 :
Polynomial.coeff recurrence5Scalar0Main 46 = ((684332575325332431390071346137 * 10 ^ 70 + 6346844309291167648130031370140540439020721819832037469991096506921304) * 10 ^ 70 + 9130948968987465707767010071548719909286233087310199708826246499123420) * 10 ^ 70 + 7703657025794972484047486262091022702039422736248031383415601750503299
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_47 :
Polynomial.coeff recurrence5Scalar0Main 47 = -(((51345877923166246482737583854255 * 10 ^ 70 + 400283343856002550115881897351327557479439862657013576964530836045978) * 10 ^ 70 + 7994623868556820588665993330426025335108023666871405657241551355122665) * 10 ^ 70 + 9852354563659179812864685427546922061915588105237122646644343616797428)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_48 :
Polynomial.coeff recurrence5Scalar0Main 48 = ((3596914923775274094897247449935879 * 10 ^ 70 + 7836582600103037018620384056455224070048590472103761873221578370367414) * 10 ^ 70 + 3530773312859915278981079979958597363717191127802868884492438851747737) * 10 ^ 70 + 37906823188277644366348068816358067036692630847398243950812880813039
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_49 :
Polynomial.coeff recurrence5Scalar0Main 49 = -(((235873549085921761198967550744680166 * 10 ^ 70 + 2233773131413757646210052884793664496548105313249210543422908822956668) * 10 ^ 70 + 6820157722607736727091691552465202207670907295223109868133394329931944) * 10 ^ 70 + 9880381775529913063333548682996991326306919632969653494166816531672178)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_50 :
Polynomial.coeff recurrence5Scalar0Main 50 = ((14511567178555322887268822575983837288 * 10 ^ 70 + 9782369949285148009515614153198423626967358247578985575889360952185921) * 10 ^ 70 + 1674387945719937752901073947886211884602132130345037755815530034326163) * 10 ^ 70 + 7662270233086549629599750075343737039691304810101463911583296152426935
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_51 :
Polynomial.coeff recurrence5Scalar0Main 51 = -(((839194510205225191779617716653829281435 * 10 ^ 70 + 2823324251331151407073496988437926646825029921674462764431408731752745) * 10 ^ 70 + 5576772653649189698178699451432977645034398012056708340309733884427643) * 10 ^ 70 + 477268660460955283438843801949648095178216605953217089323211930081357)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_52 :
Polynomial.coeff recurrence5Scalar0Main 52 = ((45692584556161050574547304124527362932882 * 10 ^ 70 + 6666242614304252765530432761362822291911651216227838012568904610056656) * 10 ^ 70 + 1741625427340594609483599339330113241799685298574845352386535129769481) * 10 ^ 70 + 6940348550696172529157119580881428711819352381757598512237326550836691
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_53 :
Polynomial.coeff recurrence5Scalar0Main 53 = -(((2345843279362411060424537833632751795986185 * 10 ^ 70 + 4384399374121507191711307642484332142444199838612410873239127951612733) * 10 ^ 70 + 8655269622402782273760197645876836535409858677241276652570640980726881) * 10 ^ 70 + 14481815215061113713625177449297588530634999904565634392746177902381)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_54 :
Polynomial.coeff recurrence5Scalar0Main 54 = ((113706504773703905756690842071426560492987826 * 10 ^ 70 + 2581156535538685983679803002980129492337800234177069517452887651190383) * 10 ^ 70 + 3527257112185122699176147051007916214248175105333631576738401532562221) * 10 ^ 70 + 6788103437580573747433490680233834119305455372086611675612087987133500
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_55 :
Polynomial.coeff recurrence5Scalar0Main 55 = -(((5209599456571703205124647004680903668947602251 * 10 ^ 70 + 1386562663799872696849940650468621340735076496879421731922552169680427) * 10 ^ 70 + 2716094793666721089057733032021109524065331777185889896451454014652886) * 10 ^ 70 + 506968067380071338031333880873477207893184521723094621805195574753772)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_56 :
Polynomial.coeff recurrence5Scalar0Main 56 = ((225838874812522888933790251209322747709103842248 * 10 ^ 70 + 7551453313780347008314615434255452110225867333969447069272962130002896) * 10 ^ 70 + 1309472794797485878700751653658950341567190226958255056850897268720719) * 10 ^ 70 + 568341172026569619325741562239178070795515321012766244716552868484321
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_57 :
Polynomial.coeff recurrence5Scalar0Main 57 = -(((9271663391332254129577448067720521708957490816726 * 10 ^ 70 + 7934340759192020142058665064263162329755740410841849828615601165520680) * 10 ^ 70 + 2566696680349337359758696978109971885476700885107821732364704539648931) * 10 ^ 70 + 2730507315512361757692330800387973027356871497825145471278436871034353)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_58 :
Polynomial.coeff recurrence5Scalar0Main 58 = ((360760059457303110545414666355892507180475568686046 * 10 ^ 70 + 3854757389777274450429396573560990294155820468711149929764281841311611) * 10 ^ 70 + 200966640809734035039910221398814775949251170838454441641429008203155) * 10 ^ 70 + 4398480623363784631597824179324184831451649577923015593345353316520425
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_59 :
Polynomial.coeff recurrence5Scalar0Main 59 = -(((13312682411237510296247034369901087745547210180550069 * 10 ^ 70 + 3982320203920097969226323214218653739614761453285931720983305263499369) * 10 ^ 70 + 4393506216575059095597172077393979665336211859593436928782071215818275) * 10 ^ 70 + 3606465466281665666621206318079244496580656684560158760344658221490747)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_60 :
Polynomial.coeff recurrence5Scalar0Main 60 = ((466152065282829406012661958650727861452914056464630897 * 10 ^ 70 + 6241485424835316972018171218824381411662185160755790360441907311678680) * 10 ^ 70 + 8956727752781448273794059817699437748766769265866117932677348785440476) * 10 ^ 70 + 6976198420599427145152449724264322893375191159909153719094968883736095
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_61 :
Polynomial.coeff recurrence5Scalar0Main 61 = -(((15494276264746044234672882584299722958378030781343907619 * 10 ^ 70 + 858743451154400114557956168929779872787378406057719802541460697858318) * 10 ^ 70 + 2396863733599895332152281388334922413645110466771274711262890347374411) * 10 ^ 70 + 9852078874740218662933805451724215781005850824104424078594195918768729)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_62 :
Polynomial.coeff recurrence5Scalar0Main 62 = ((488980790293903345318192397364692499459273863525995536942 * 10 ^ 70 + 1387758801722132403985832789637585353356645016507407789090438046337751) * 10 ^ 70 + 3314159562320250913030643619876637975428049912748020953252521328382736) * 10 ^ 70 + 5100014020377826405055414534683962935261204188046756935148801997942143
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_63 :
Polynomial.coeff recurrence5Scalar0Main 63 = -(((14652034141611896190106321717303693300176127265502632486623 * 10 ^ 70 + 6979174327883406667639279506429947567879617447371536421149180581425385) * 10 ^ 70 + 9869389509254933992563256124131150851167308684618144730021872700237345) * 10 ^ 70 + 9796197845422054467502352183118749943714786314678376596170431355617498)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_64 :
Polynomial.coeff recurrence5Scalar0Main 64 = ((416763478808678585205181179723451984758407954959680892572330 * 10 ^ 70 + 9298065297228278034919973024182226985202860240259819245773669005628465) * 10 ^ 70 + 1802583768348208093224891081962809916230304404620214379327776690602117) * 10 ^ 70 + 6761828019208929099158217126844379541854422095284643102607771331424307
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_65 :
Polynomial.coeff recurrence5Scalar0Main 65 = -(((11246671250441374930690535214004034851027366940198936907475980 * 10 ^ 70 + 1111155055325472622763275049166758421059412302953983659591455370629327) * 10 ^ 70 + 1417576826304156804958075557881572828232047745249718622313391342772713) * 10 ^ 70 + 750781737203443607895084267841699011550998370539976208041399116055473)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_66 :
Polynomial.coeff recurrence5Scalar0Main 66 = ((287648305386704951980935209435764762161931069460877249408390641 * 10 ^ 70 + 7156622956088224553607424049377777295990422209132601953248713414161503) * 10 ^ 70 + 4624152627995642740004909345688250978078782375043624491212957219492226) * 10 ^ 70 + 891499842349351003372642655911467831210196144608324567937054355916850
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_67 :
Polynomial.coeff recurrence5Scalar0Main 67 = -(((6961171846550706656684773986001480995595556531430301447207935737 * 10 ^ 70 + 8801682980072212160485507072450442093703909347959002193109091780644439) * 10 ^ 70 + 7460077048669129853182162691229410039933492052884549319516527005582861) * 10 ^ 70 + 3258938784414054148806461146309773315881576521030009239718496227829040)