Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1SecondPart1.Coefficients250To275

Recurrence 4 lookup certificate: Scalar1Second 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.recurrence4Scalar1Second_coeff_250 :
Polynomial.coeff recurrence4Scalar1Second 250 = -((((8438217621572457402857917220 * 10 ^ 70 + 2303029414865792199292451956738311232696075185539970348818965925593687) * 10 ^ 70 + 3054973096494016161526446504486392970892967042584851978722089724485916) * 10 ^ 70 + 9312474806444931209831831226559754432852435396212783353435782180908316) * 10 ^ 70 + 2515587099779083066070937542376991252169697514765976158918548826105385)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_251 :
Polynomial.coeff recurrence4Scalar1Second 251 = (((10157033541281492631532408163 * 10 ^ 70 + 5175131382466103155130463976094560777628865264007195005961785893737281) * 10 ^ 70 + 811377538941980111553526391622731450969436749157174865150044341487139) * 10 ^ 70 + 2372729178233388037166378318009388967401845638993305780684586540789761) * 10 ^ 70 + 2673347996328086492305429877905516778231924236036023804613694517753754
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_252 :
Polynomial.coeff recurrence4Scalar1Second 252 = -((((11834033332121160099869532885 * 10 ^ 70 + 8367774389004796140583801678605516069534180450232210113664073583578354) * 10 ^ 70 + 128918395753435207620713843572239059075908278502418961406635970843709) * 10 ^ 70 + 4443529298202052551010771152098313523240045405991178221791511947920158) * 10 ^ 70 + 8640732519264819654021153368607521306930929618424755954979406894513589)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_253 :
Polynomial.coeff recurrence4Scalar1Second 253 = (((13398541560018667942643502598 * 10 ^ 70 + 8327225796481364592044402665016777487993229782894270895203235868077109) * 10 ^ 70 + 5459543706275102736419038728223966555586941163828479350549263636292512) * 10 ^ 70 + 3669494691673001216791052370465420389461320825887612874910638926532148) * 10 ^ 70 + 9171647537955006923495204483185171512942851266848725698668460145568317
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_254 :
Polynomial.coeff recurrence4Scalar1Second 254 = -((((14781355697961824712180667563 * 10 ^ 70 + 7577779790673045888882377988269322039059093916073539843426824477847577) * 10 ^ 70 + 6881908216845679205351529576166398689978363393794998322816169247107343) * 10 ^ 70 + 6809946383180758434852689523284208528627975877402338480942074144820340) * 10 ^ 70 + 6910722589264002348598499904105286349882270795391334759891048446645647)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_255 :
Polynomial.coeff recurrence4Scalar1Second 255 = (((15919655907482101971950259895 * 10 ^ 70 + 8265264897898276361506982968152322788720625019207362350645507460737040) * 10 ^ 70 + 640486083999633850398857314294247437407121669003734554273421030018064) * 10 ^ 70 + 2219251050532635148986794428462225026731707432502783266619174947897122) * 10 ^ 70 + 2435387253872460173797540816789179302190981049711257307503714426893690
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_256 :
Polynomial.coeff recurrence4Scalar1Second 256 = -((((16761608289192596992477176128 * 10 ^ 70 + 9250994027701612190468508771962577408375682247182065300870802929246078) * 10 ^ 70 + 2316589097725056205433604068570213721496228300496499633036068301853756) * 10 ^ 70 + 8658340107254059753582202103898706167354859972678004460152411730956209) * 10 ^ 70 + 9110617385687530394575597858715350194388926820770555640616450366139561)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_257 :
Polynomial.coeff recurrence4Scalar1Second 257 = (((17270201831769075691523854614 * 10 ^ 70 + 6891144213642261010627727935025478397804880988451595052575279453690219) * 10 ^ 70 + 6273354086068235358580105466544170424287246189644656538080994098963715) * 10 ^ 70 + 8792687273022098907097658610143762074034351977697931936030918255907193) * 10 ^ 70 + 2594098342074625723288004096572963533183880061197704284124746393436292
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_258 :
Polynomial.coeff recurrence4Scalar1Second 258 = -((((17425929799028233793795263922 * 10 ^ 70 + 5255811761325093801889643957805359996812578452828394238082116559820508) * 10 ^ 70 + 5486210897592561387272752377818944141895402041567369498389775298200510) * 10 ^ 70 + 7488573629823307123329546205357399136611285454049597713776446280524054) * 10 ^ 70 + 7195130369540627971544938110251474963267240123536137104468188353292777)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_259 :
Polynomial.coeff recurrence4Scalar1Second 259 = (((17228046642271678984113028656 * 10 ^ 70 + 8080072358474442464696874048865605800387798457971820723807128078355833) * 10 ^ 70 + 8537142895879672046096032123347055669088898538905613403573592854285064) * 10 ^ 70 + 6257176716358224063648559511331746518755957302752171245715596241948365) * 10 ^ 70 + 8571422400654783127145513544059426079573930152175416565688092543398556
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_260 :
Polynomial.coeff recurrence4Scalar1Second 260 = -((((16694286161814129520466429106 * 10 ^ 70 + 4818053688289050253204838577974921048038874355715191636528339077055180) * 10 ^ 70 + 8722650314813502902725658370587726964889343953143616929959898301769281) * 10 ^ 70 + 4204048065466946535421344923273573306924325043539061018097836750582194) * 10 ^ 70 + 8856459504275954826699775929121989256932143125980863888437556137853228)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_261 :
Polynomial.coeff recurrence4Scalar1Second 261 = (((15859094733851769437952643581 * 10 ^ 70 + 8842166670436084925237824040441835154468526956941203399177100192219877) * 10 ^ 70 + 6458856000231170544736632026972752910851741599559858138691048084854348) * 10 ^ 70 + 1009457353202006550642525902572528128588802437158647280392634373217251) * 10 ^ 70 + 4279253014335117999578305183044044836973266405096340029671403638131031
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_262 :
Polynomial.coeff recurrence4Scalar1Second 262 = -((((14770592184268820163722487390 * 10 ^ 70 + 1940391126633653922417898159330573065639827425103684549905812185908344) * 10 ^ 70 + 6559410601073915819481917508877567390758078794873157268305868802201528) * 10 ^ 70 + 1066930218167498423784910643388698086575739615898294900026504560015641) * 10 ^ 70 + 4641935773538555400203368233127894232843269841740820456124525895175739)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_263 :
Polynomial.coeff recurrence4Scalar1Second 263 = (((13486601271134112254525331564 * 10 ^ 70 + 1922642795761333538284962819340664393116591535325631436311974849485699) * 10 ^ 70 + 1765582658552511288986462673264430436340582443183493980402464032971830) * 10 ^ 70 + 3609248553732482063353903253373923309292095970895926255859630676211874) * 10 ^ 70 + 5011267211002681524835433516356849924401387160491023516315355053525341
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_264 :
Polynomial.coeff recurrence4Scalar1Second 264 = -((((12070168720896679103452425975 * 10 ^ 70 + 8197032650386744808165071778903794643363952335449707284239706961267377) * 10 ^ 70 + 9875766372753656332747364403602354910409616230024266970392928202759301) * 10 ^ 70 + 3690241490772817457538507019150235947244915289203602341924457359999799) * 10 ^ 70 + 3039773538342531030889380512444973753654127411126740429653216590021894)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_265 :
Polynomial.coeff recurrence4Scalar1Second 265 = (((10585027752176142863312411342 * 10 ^ 70 + 7875168858573992264681409195742329217357451067817772878067829177890616) * 10 ^ 70 + 9009806402351326355175459044329155628955617861825941515790289431909851) * 10 ^ 70 + 2287705268086976842246668481902094363236573161502568753804521733478459) * 10 ^ 70 + 1408659194438841844009711758826886060769783018368760236910891138732869
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_266 :
Polynomial.coeff recurrence4Scalar1Second 266 = -((((9091423840275256435169999216 * 10 ^ 70 + 5440603454747236755718924093805897698985273380432542249978161631145055) * 10 ^ 70 + 1771308447740407612253216849835902031774920063886146405308096515769545) * 10 ^ 70 + 8009137170015823231952850650581478039864116666135912055183579367064391) * 10 ^ 70 + 8290703419361259682180228488911456449546201075741971684374569795359176)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_267 :
Polynomial.coeff recurrence4Scalar1Second 267 = (((7642649898406277731207602731 * 10 ^ 70 + 8895901167954348181616746435998066338946928941107435406602716853585682) * 10 ^ 70 + 5292079585580463265874258356393195691994927720495747047627636483212309) * 10 ^ 70 + 6595190486158245837285755234055489140153765824740923477885758246585304) * 10 ^ 70 + 167434915547170363106278691333213552047959163887639938791643142917110
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_268 :
Polynomial.coeff recurrence4Scalar1Second 268 = -((((6282528016152530923584022327 * 10 ^ 70 + 9112971633021930618110211900982643731178809465142685147298967921874988) * 10 ^ 70 + 2827213762050604019499068222660706080196212397102556357230823372813084) * 10 ^ 70 + 5330770999599345890193377193346914514414890089907446342735113443382435) * 10 ^ 70 + 9806078316960913340078122786991450998153573832674021603482549527874229)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_269 :
Polynomial.coeff recurrence4Scalar1Second 269 = (((5043949824267295894764006667 * 10 ^ 70 + 2075934487985379415647175523787652969699324650935981183927929067742299) * 10 ^ 70 + 4363971732710346333644838388696122126759962475428660215315188603509646) * 10 ^ 70 + 5542871443238672830275386029194353670116223189695453010928959398059756) * 10 ^ 70 + 179287350643645836531823330330572404364325676198646175229461440513848
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_270 :
Polynomial.coeff recurrence4Scalar1Second 270 = -((((3948464332002477847489380521 * 10 ^ 70 + 4725168376004834592923135420481369480534123395321950185218587380896554) * 10 ^ 70 + 2734863378840811609925890214521100575700898034882434198158840010560388) * 10 ^ 70 + 2470594924076415897254752874763411732041591175866577312573985642817800) * 10 ^ 70 + 9462262450712948144987617252124779301198745007944419794437658674665440)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_271 :
Polynomial.coeff recurrence4Scalar1Second 271 = (((3006796262654175416152197987 * 10 ^ 70 + 6398700962371940337210519252008130673526055952209390668499487698738174) * 10 ^ 70 + 7365152195550911330628533970014894028556617602808597063829284830547087) * 10 ^ 70 + 2891935586999504472547112050743940485825539215727892582826538914446651) * 10 ^ 70 + 8770902295403423567003032074877438537483568245427761464114578933913049
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_272 :
Polynomial.coeff recurrence4Scalar1Second 272 = -((((2220100626463256908091672159 * 10 ^ 70 + 3894573944867544397546141816259704572516914837481477386054354280658389) * 10 ^ 70 + 2633809371089218756919480105685030225848923721758281218239722730673053) * 10 ^ 70 + 8914960920088349602201032110282555040795856383587206987809572127375150) * 10 ^ 70 + 7324830693677797617237658556808493819331327970741765478511827779912657)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_273 :
Polynomial.coeff recurrence4Scalar1Second 273 = (((1581716122237692058165650686 * 10 ^ 70 + 202018379919678531742152946764954206795388862961481205318955663370856) * 10 ^ 70 + 4628575084053743258975565289169381411386557411316049933769022635193681) * 10 ^ 70 + 5146732922423107802597401024004866465560080773327883483038912456793108) * 10 ^ 70 + 7980600902755686449659484169929570398739711780875130566695742486777664
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_274 :
Polynomial.coeff recurrence4Scalar1Second 274 = -((((1079170977070673868606239519 * 10 ^ 70 + 8023059942992295739528043734875088341071855290872251603777068898931574) * 10 ^ 70 + 9316023603218281511388089726595420119423996051922573221955061082184918) * 10 ^ 70 + 5411467671610151033257648003082875088392350044548157118242707421430453) * 10 ^ 70 + 1278536417440787390729190697871139611621571571164557504128678781552912)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_275 :
Polynomial.coeff recurrence4Scalar1Second 275 = (((696215328960945082173334013 * 10 ^ 70 + 3812319752888411838100978601497768502057939567010733056371069287226335) * 10 ^ 70 + 1427069839051404434477656522331958154406390166205627995553398749203791) * 10 ^ 70 + 1776254588913513361769698803892116033687259398364718123890196584599247) * 10 ^ 70 + 8111587063975665019965615261310055699675693819238606329090810876368222