Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2SecondPart2.Coefficients451To478

Recurrence 4 lookup certificate: Scalar2Second coefficient convolution #

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

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

Polynomial.coeff recurrence4Scalar2Second 451 = -(((25640563282457159778894147 * 10 ^ 70 + 496917180741013504966138507149465907042113571245176527109254860210890) * 10 ^ 70 + 6983132385972271963559877590590390305944425165894144578490138104170872) * 10 ^ 70 + 3280683460401443061043824140387261486784592961789425365409933773636404)

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

Polynomial.coeff recurrence4Scalar2Second 452 = ((3364722209821316273286110 * 10 ^ 70 + 4330963123210683727967865135670085466796713206053429493996783832805983) * 10 ^ 70 + 7476341031080153701591523756042070719298451455474830789336213588198240) * 10 ^ 70 + 2486525986073599675169271485528190972379126048073788315077772522544112

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

Polynomial.coeff recurrence4Scalar2Second 453 = -(((357553346544356884115110 * 10 ^ 70 + 569782724342988498511659868584663626738237929341876083085961478445186) * 10 ^ 70 + 5469942399958396352861445341949827193879340334798743336788513515826703) * 10 ^ 70 + 1467262094247317283984540766607817764635150907906320708208229473024822)

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

Polynomial.coeff recurrence4Scalar2Second 454 = ((28174834682723670314212 * 10 ^ 70 + 2173604962961571196138477626066375529722202570872381786058122522668259) * 10 ^ 70 + 4570746738045395607663719871252518234121453556638619944705263494448155) * 10 ^ 70 + 4974352798130200755079397219934460416600231441853142429040920762482821

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

Polynomial.coeff recurrence4Scalar2Second 455 = -(((946543981300131397011 * 10 ^ 70 + 9067941380840556190997101540695883788124970042305433144532052604640244) * 10 ^ 70 + 212867706225624624892354353100520912122195254790598660126555787276617) * 10 ^ 70 + 9777409346777126390170412926239423981871346765290104041030627417415288)

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

Polynomial.coeff recurrence4Scalar2Second 456 = -(((177460763291580803331 * 10 ^ 70 + 1496279415093435651136427610052562733249638745523093523167418387124075) * 10 ^ 70 + 5842121920885821540353563535419866098749645416198220602077763671090941) * 10 ^ 70 + 7432552362903352231921887980902060081087711221121870466085661389613736)

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

Polynomial.coeff recurrence4Scalar2Second 457 = ((46605038430643270470 * 10 ^ 70 + 8964377868188825378910501538984751405347150743366543721776414979127204) * 10 ^ 70 + 8469698631721987177392724037382592405828230088933327310849170709825706) * 10 ^ 70 + 3803768158428221532324821110701662380307429580206523036559632374759715

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

Polynomial.coeff recurrence4Scalar2Second 458 = -(((6814253508931233512 * 10 ^ 70 + 9753022695494987312008970056166540556997835694774276165715965049873753) * 10 ^ 70 + 2393094604091600598835141624505645140251257539986000040342921240248193) * 10 ^ 70 + 7351347006457917285392717491449090226890401585432808819703029551635854)

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

Polynomial.coeff recurrence4Scalar2Second 459 = ((750916194576151326 * 10 ^ 70 + 2578021741901099060724799702760890282910172536770855195498108231271170) * 10 ^ 70 + 7571125752570288099295182436364868579181207530773724833922711010495329) * 10 ^ 70 + 9910892885686566393144505676845198500073303833519179999284176362717686

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

Polynomial.coeff recurrence4Scalar2Second 460 = -(((65491593050481491 * 10 ^ 70 + 2810937014790676811901162789324262122405699064526892093698105289704525) * 10 ^ 70 + 4595197946061864495488428603085693164022674066219188875857082013611657) * 10 ^ 70 + 9998097201111606807256393771359230125217237915662507523801330217238025)

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

Polynomial.coeff recurrence4Scalar2Second 461 = ((4384877209199917 * 10 ^ 70 + 706823791254111554212820225386945986671850484075800348179670607026515) * 10 ^ 70 + 6727186451779464982352394786253764777034005978723851887224338437894851) * 10 ^ 70 + 402824175672042540740991837687569457397506995622219630371131706030938

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

Polynomial.coeff recurrence4Scalar2Second 462 = -(((188905504421351 * 10 ^ 70 + 3890375566070051850203106703898441920293321730263836599590363495957999) * 10 ^ 70 + 248857924878348215047542751024925731602372601401603461610387389228947) * 10 ^ 70 + 3027053123824589850143969937458046482622188288346188932469043347033210)

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

Polynomial.coeff recurrence4Scalar2Second 463 = -(((861565023595 * 10 ^ 70 + 8002381770865612867751912785458309628823531636377131441081825481894875) * 10 ^ 70 + 395399113115083899766868213586234962039759074327620221946902806355185) * 10 ^ 70 + 3868083961003376809168881151596082759993665126649121890064017341381303)

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

Polynomial.coeff recurrence4Scalar2Second 464 = ((1097668643275 * 10 ^ 70 + 270754034465384189149280384907785116539851222547014574446402900527547) * 10 ^ 70 + 9563315350454019322644966656720321481458979248499176930716606077334548) * 10 ^ 70 + 4081064237348495030776405017009218299103957397938741664495061104187232

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

Polynomial.coeff recurrence4Scalar2Second 465 = -(((121873405845 * 10 ^ 70 + 8065431995941171561839609868749743877258379260011596103373432760823465) * 10 ^ 70 + 2513995994187173508099403510589417325666590007852983786982181420455796) * 10 ^ 70 + 2273453051486015124990875349485456279036788719221802453038740010560419)

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

Polynomial.coeff recurrence4Scalar2Second 466 = ((8474181497 * 10 ^ 70 + 8869728089011712456696244047016248383369394127681200841454552553807388) * 10 ^ 70 + 1262592589485919984884993736029142234983348787184805687761871638054045) * 10 ^ 70 + 9003281116712982170381195996590143209696722699099575294073078834451825

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

Polynomial.coeff recurrence4Scalar2Second 467 = -(((399545129 * 10 ^ 70 + 9504692535101430955752064306395723914266508159385997802554803593047224) * 10 ^ 70 + 3534836404437718027945281647981532511278294400877816971139136402872886) * 10 ^ 70 + 6630764210743681922106165457580547437194375534766202142436734620257293)

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

Polynomial.coeff recurrence4Scalar2Second 468 = ((10389416 * 10 ^ 70 + 4635353114819272205815316459016013593838781044067990091577824133292941) * 10 ^ 70 + 2698569841795781497673974164444039544759189278770954253386808183398980) * 10 ^ 70 + 3798289102595034668543593833110865527348158902780712898920757706128619

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

Polynomial.coeff recurrence4Scalar2Second 469 = ((140009 * 10 ^ 70 + 7032947988699762058816540155365527803993315518356672275390632801859134) * 10 ^ 70 + 1295067815795475273731427535012249038264964252757424703064737643803808) * 10 ^ 70 + 9642370777018498830769035152307928594883727222494614659939423759050210

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

Polynomial.coeff recurrence4Scalar2Second 470 = -(((28978 * 10 ^ 70 + 3486407830252397987186659322545360277569953683807865702382609463428084) * 10 ^ 70 + 2518940851101389123563650334967114606965671172983403611057547947332501) * 10 ^ 70 + 8698990489163933513750293203849474078471751163406522066137668847546501)

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

Polynomial.coeff recurrence4Scalar2Second 471 = ((1435 * 10 ^ 70 + 7229015899861859339975080808609975467626571968055519745194681616489090) * 10 ^ 70 + 9161557727432069330289080342775996277365729982733082256148012306213970) * 10 ^ 70 + 2263562133186625465635177253053244585024878684287508432951663164905935

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

Polynomial.coeff recurrence4Scalar2Second 472 = -(((33 * 10 ^ 70 + 4581825536398311734225102371115204865676555440471642296222996298857660) * 10 ^ 70 + 8002344986894532504925169271033325761700621207075688192312203216172428) * 10 ^ 70 + 9735658900738101339121963926030588036745123009677221686164809671118589)

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

Polynomial.coeff recurrence4Scalar2Second 473 = -((707269874667918314929359153216612114842549322864250536246095950147426 * 10 ^ 70 + 8390052763287091523763189790449394884221446128226522636180540189913061) * 10 ^ 70 + 5228620849385141686452004766909943305134114736354818008281173123757601)

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

Polynomial.coeff recurrence4Scalar2Second 474 = (279483511438188234011092392587782642208848150848610612967504069079348 * 10 ^ 70 + 3738811189360166102021324422017249803308969897644356057952912793373038) * 10 ^ 70 + 9631531468699636584846780053575916350628491885030303296332949169192746

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

Polynomial.coeff recurrence4Scalar2Second 475 = -((6524467799483159539077622667488868555687907236594317128635689121141 * 10 ^ 70 + 5483771299672839060475131586868358127283634545679857291095129635585840) * 10 ^ 70 + 7107563607285699795066043718048884380038668570301580600210445206168685)

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

Polynomial.coeff recurrence4Scalar2Second 476 = -((6906969465145770726833472817119889100057938230220720696259641095 * 10 ^ 70 + 4103067174230281525532830240356061729862080790094866434285801059178694) * 10 ^ 70 + 7231048184296029641684716895964012667134643591455785873903889107884351)

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

Polynomial.coeff recurrence4Scalar2Second 477 = (2252389839925873546658119627401411829980733992822650811639072483 * 10 ^ 70 + 5056784605721216944443654881817385744546917324302105183884040453344242) * 10 ^ 70 + 2330413640031571836972350950290095847833785504365919367629532579213984

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

Polynomial.coeff recurrence4Scalar2Second 478 = -((13860060147810439006321603420081089109511427224673420852787953 * 10 ^ 70 + 271697780549604911151720562098714619770911648516332112572830469293300) * 10 ^ 70 + 373417726494990716463023312445026650629042244536420713094331152044038)