Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar4ExceptionalPart1.Coefficients296To331

Recurrence 2 lookup certificate: Scalar4Exceptional coefficient convolution #

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_296 :

Polynomial.coeff recurrence2Scalar4Exceptional 296 = -((2055657104736391937007806964838965 * 10 ^ 70 + 7259636100577795712296845235781949562996946163729523733794845620510574) * 10 ^ 70 + 1210698896377276908180677413050161037116419805345185845178265336895312)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_297 :

Polynomial.coeff recurrence2Scalar4Exceptional 297 = (388105885988547777947310814164395 * 10 ^ 70 + 1308466935900560717855711139492686295292364198778179918438764874400457) * 10 ^ 70 + 2729420108071494578838138570150804373344088937407598158574000034951074

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_298 :

Polynomial.coeff recurrence2Scalar4Exceptional 298 = -((17087477113869536561407895182410 * 10 ^ 70 + 8743111256027558509153133524620138992162515658855019736209093947135056) * 10 ^ 70 + 3102271738386330986319561540296032049731454759341932903363870102180511)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_299 :

Polynomial.coeff recurrence2Scalar4Exceptional 299 = -((16754834878383828236660302267840 * 10 ^ 70 + 9504673262403408390491979239634306108395450593892452655832450888003922) * 10 ^ 70 + 9801627590815786348257651884892751255497763271243488672435411124433974)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_300 :

Polynomial.coeff recurrence2Scalar4Exceptional 300 = (6746520671037324941104535643170 * 10 ^ 70 + 6891113415693446011652104997286799645621616052707209257089226324284357) * 10 ^ 70 + 8662739797359910075980990025165205300332660695588410177358590987345376

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_301 :

Polynomial.coeff recurrence2Scalar4Exceptional 301 = -((1358666180444138393781561548699 * 10 ^ 70 + 2701442053569215507774777104280068426044513982465934760164256870362775) * 10 ^ 70 + 6892866390662365383241285687408568016329835781603961050919865078388356)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_302 :

Polynomial.coeff recurrence2Scalar4Exceptional 302 = (98864512071399308762125904057 * 10 ^ 70 + 7495536265351181844033210103710210288146030146401301184859693453962368) * 10 ^ 70 + 2526360931173534386697852624010546835559959195859965951635289292536992

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_303 :

Polynomial.coeff recurrence2Scalar4Exceptional 303 = (32766955583636801473293166812 * 10 ^ 70 + 8825026698353795664752006822215129823878584832874446151864070820490876) * 10 ^ 70 + 3459710642005169996244212958512458241820414918835328104924217955410054

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_304 :

Polynomial.coeff recurrence2Scalar4Exceptional 304 = -((13723045162287530729990968471 * 10 ^ 70 + 1230834244950931327893889420219893123077898668792381431442178824416453) * 10 ^ 70 + 78226721525559492932786574749512354166907471262006724737357337320198)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_305 :

Polynomial.coeff recurrence2Scalar4Exceptional 305 = (2436768679624799732541564726 * 10 ^ 70 + 4299810000776234650907651196139013309224560611702306692331279492355889) * 10 ^ 70 + 604732115591593729219341901785913717623402107398692689157839872430829

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_306 :

Polynomial.coeff recurrence2Scalar4Exceptional 306 = -((114181900743808803656815184 * 10 ^ 70 + 2912194133526233545387116211543357165725022045795901242766254406787249) * 10 ^ 70 + 1039868453815036630020242619539698491557511057377733201984932534548576)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_307 :

Polynomial.coeff recurrence2Scalar4Exceptional 307 = -((58360203828778427671719044 * 10 ^ 70 + 2054258947807795301712497268979215245893725669541101690891080118715259) * 10 ^ 70 + 1206010860284052152252374197866248879977427423293416546801361015852996)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_308 :

Polynomial.coeff recurrence2Scalar4Exceptional 308 = (17454679935190834136073580 * 10 ^ 70 + 5985596262120935493650905982512818351739299515769231737502699658437768) * 10 ^ 70 + 1463609370837559936581694163165642021024968967722444275590789459988404

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_309 :

Polynomial.coeff recurrence2Scalar4Exceptional 309 = -((2047239259384618695710031 * 10 ^ 70 + 8288823409509332263996888756453659815995348943651655185741850284166273) * 10 ^ 70 + 5653848978468642123857716986414861654153869421370500812690771106388808)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_310 :

Polynomial.coeff recurrence2Scalar4Exceptional 310 = -((79396303058886718942260 * 10 ^ 70 + 3507675753922459224512225647273402544769508530529920603190011940679239) * 10 ^ 70 + 6242774935308137138434389441969564404687664128560524453050249898886549)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_311 :

Polynomial.coeff recurrence2Scalar4Exceptional 311 = (70922905403181874692839 * 10 ^ 70 + 7827419638236324125382310091532641438993125033826106661052778440892106) * 10 ^ 70 + 313585491513013303230808208713964643854858357246913036736780157691367

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_312 :

Polynomial.coeff recurrence2Scalar4Exceptional 312 = -((11028728769841125260325 * 10 ^ 70 + 4530997699080166434166828959598081598843474750950071325444861356370261) * 10 ^ 70 + 8175994000010658835162329636267216347240530622740696310567934813088538)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_313 :

Polynomial.coeff recurrence2Scalar4Exceptional 313 = (230419752671849222238 * 10 ^ 70 + 2452023412975544960715366490017918170600427610422426438847430309658483) * 10 ^ 70 + 5865624157151843530324826948691246361066231929061864355396692399387884

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_314 :

Polynomial.coeff recurrence2Scalar4Exceptional 314 = (203478117172534079685 * 10 ^ 70 + 4728422495780180438966247815783730335580212915720445892381626039675378) * 10 ^ 70 + 2624341382132923527409414354115630298164695719392157004320209075025963

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_315 :

Polynomial.coeff recurrence2Scalar4Exceptional 315 = -((34804161199491201122 * 10 ^ 70 + 3686364482911409709693290796470880539255135336753962435348095214298491) * 10 ^ 70 + 9994251502272753074576024357349950607993944464977182301028189116383449)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_316 :

Polynomial.coeff recurrence2Scalar4Exceptional 316 = (942744473185442137 * 10 ^ 70 + 6159012656358879537921592142948413609206048978034911943325252153440092) * 10 ^ 70 + 788093166624296778016838238798842493854234174715498869030627212469174

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_317 :

Polynomial.coeff recurrence2Scalar4Exceptional 317 = (485564953015535045 * 10 ^ 70 + 8131440836727461603503726676107505688900370165053220135625139670463620) * 10 ^ 70 + 4505410051399487002739358839147844307468723419465161375036710809593903

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_318 :

Polynomial.coeff recurrence2Scalar4Exceptional 318 = -((70586241926598171 * 10 ^ 70 + 6079219760199744794324971967558985543732908988079710348615732197179654) * 10 ^ 70 + 7874417097825743436038821593980455274830720255664826582435986328762424)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_319 :

Polynomial.coeff recurrence2Scalar4Exceptional 319 = (108149599527042 * 10 ^ 70 + 5871046343508426363083591899296152439720019592025484132968618307011993) * 10 ^ 70 + 7113823380267129460877983107063641135646319666928972764237080493185987

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_320 :

Polynomial.coeff recurrence2Scalar4Exceptional 320 = (952056108967756 * 10 ^ 70 + 6691030361562849735938092117232244932814333161022410557737521196337398) * 10 ^ 70 + 3270018456059763841691627613933017254770084100052261824734644819280376

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_321 :

Polynomial.coeff recurrence2Scalar4Exceptional 321 = -((79364098351968 * 10 ^ 70 + 2791735762415572927439792506494335548697878411325094781544976599464085) * 10 ^ 70 + 3964752219450897864043664257612591282337033825904016283629421858602685)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_322 :

Polynomial.coeff recurrence2Scalar4Exceptional 322 = -((5282322125861 * 10 ^ 70 + 3952360825936328389531066411997276634183387241645633186398543224100089) * 10 ^ 70 + 3495017654567460714715660105413708962552773408117722485587387394021869)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_323 :

Polynomial.coeff recurrence2Scalar4Exceptional 323 = (1160638722953 * 10 ^ 70 + 7868592085330103734665570421949764409360622759079845859571936875757554) * 10 ^ 70 + 8354898430429877269214856467320278268077645215591227310881273277033857

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_324 :

Polynomial.coeff recurrence2Scalar4Exceptional 324 = -((8412202885 * 10 ^ 70 + 6426594275933407260448855366564818025605455762154226120574383638499576) * 10 ^ 70 + 7139451407978326155737019650984130738937041056942337874107782396796620)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_325 :

Polynomial.coeff recurrence2Scalar4Exceptional 325 = -((9872940494 * 10 ^ 70 + 8586488031739882481911731879968073729038568003035770161842146333934428) * 10 ^ 70 + 840214832004217945768168672744784606848911161794993308077442490613572)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_326 :

Polynomial.coeff recurrence2Scalar4Exceptional 326 = (377843705 * 10 ^ 70 + 3999189214988248660063153501668219744797673124363633321480587105183304) * 10 ^ 70 + 8864016584194650206023683356123004316946776383406326545184326443333146

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_327 :

Polynomial.coeff recurrence2Scalar4Exceptional 327 = (63702342 * 10 ^ 70 + 7933409507175270525618628009158046251890930322663793077359288704835941) * 10 ^ 70 + 7610153700378280880047790725816674333429274322510534987748950427148587

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_328 :

Polynomial.coeff recurrence2Scalar4Exceptional 328 = -((3281878 * 10 ^ 70 + 3828521645343743026011931869971169096247120723061850178247102903739805) * 10 ^ 70 + 8861811631676652231555177802958735088322954480456978545704326517915409)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_329 :

Polynomial.coeff recurrence2Scalar4Exceptional 329 = -((370591 * 10 ^ 70 + 711777030773383434522696952543739149132364372007026749557307760209351) * 10 ^ 70 + 1263557860711562908788186503007945207600567210492510995114445230338898)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_330 :

Polynomial.coeff recurrence2Scalar4Exceptional 330 = (15393 * 10 ^ 70 + 1539273404340678490534184318235637768456587286452531208430293325804251) * 10 ^ 70 + 2252243038431916472951788298997960037447895475649674773928993302584029

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_331 :

Polynomial.coeff recurrence2Scalar4Exceptional 331 = (2029 * 10 ^ 70 + 431299390201364455692848454403817554071713950286254849577034418965301) * 10 ^ 70 + 6214668924120915666546416542115768282484271435327867182669249290097051