Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar0LeftPart0.Coefficients0To66

Recurrence 5 lookup certificate: Scalar0Left 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.recurrence5Scalar0Left_coeff_0 :
Polynomial.coeff recurrence5Scalar0Left 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_1 :
Polynomial.coeff recurrence5Scalar0Left 1 = 57838809210387311374847545185027900089879989385612125 * 10 ^ 70 + 6384469871949651332869024275032357497219488186425400442200125916446720
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_2 :
Polynomial.coeff recurrence5Scalar0Left 2 = -(214859657058788137561931875010942639075650965981427710550 * 10 ^ 70 + 3798751301650443317761350860180649458767504418948508399685065446457344)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_3 :
Polynomial.coeff recurrence5Scalar0Left 3 = 1085142511749854408611013137502453146191217497626392913179061 * 10 ^ 70 + 5383472627850869671723771681176355184781097799354635692793977600051712
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_4 :
Polynomial.coeff recurrence5Scalar0Left 4 = -(6407024206839397468831322209262957814513218904501033638931835670 * 10 ^ 70 + 3828052817746906507941539092349729854394602837243484125786688129163840)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_5 :
Polynomial.coeff recurrence5Scalar0Left 5 = 18184453663833481562539384941366872449516123777942740814226710884567 * 10 ^ 70 + 7600143948384809118549203092651526390454160749804740043965063304766336
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_6 :
Polynomial.coeff recurrence5Scalar0Left 6 = -((5 * 10 ^ 70 + 4624182182072415980154228589168929825891295246571407242081487002144290) * 10 ^ 70 + 9013762694992147445436387245278762956551462520907311614540100826242320)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_7 :
Polynomial.coeff recurrence5Scalar0Left 7 = (15522 * 10 ^ 70 + 9186681163327273639550681624198229555478156149827041673060981696743348) * 10 ^ 70 + 3031615858950707482913275636696089926854942047142830611987685503772096
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_8 :
Polynomial.coeff recurrence5Scalar0Left 8 = -((30714221 * 10 ^ 70 + 7362368117893725343633680599497290015916753920664805181120210819190548) * 10 ^ 70 + 8712515907888336958632128189115084638152036893437526975029442421920448)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_9 :
Polynomial.coeff recurrence5Scalar0Left 9 = (42377001876 * 10 ^ 70 + 8816914087402997818501039461815637911621918476236515733304681641947051) * 10 ^ 70 + 1800984884024059781298544860640375737127469237891929328462201786612288
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_10 :
Polynomial.coeff recurrence5Scalar0Left 10 = -((40944803542317 * 10 ^ 70 + 2958733643972558217799231773502445056849172156969534064308707738412379) * 10 ^ 70 + 3286045003714471009083906899741396036832662232482138430207594338190880)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_11 :
Polynomial.coeff recurrence5Scalar0Left 11 = (26423176047769460 * 10 ^ 70 + 7378549365530050471126057253218856291673142458462400442211113172593195) * 10 ^ 70 + 5391427527698069699656144981223613773223643478439313192238666449339296
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_12 :
Polynomial.coeff recurrence5Scalar0Left 12 = -((8467949333360283741 * 10 ^ 70 + 7848550568665293326712999762320246761337665151938048366759408458326722) * 10 ^ 70 + 4983397543340064979082925358137901821965908089176559115404576051966624)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_13 :
Polynomial.coeff recurrence5Scalar0Left 13 = -((3241688990876179535064 * 10 ^ 70 + 6214960983220743009767987795345444507785485718474250138571546916054549) * 10 ^ 70 + 3564303431136508160776089706952292905269342002996274344940560682720736)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_14 :
Polynomial.coeff recurrence5Scalar0Left 14 = (6307156327432314063861240 * 10 ^ 70 + 574279761034601676339150908696795538085857419113520442837268731940965) * 10 ^ 70 + 8154051702915548848676630872272241594501260311222912442247200008643248
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_15 :
Polynomial.coeff recurrence5Scalar0Left 15 = -((4373341892313278744194778391 * 10 ^ 70 + 1491077381420807601729087662678406660569823298065582719822546930514407) * 10 ^ 70 + 566382506741916623960840108499505753676677121542830387859028589368792)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_16 :
Polynomial.coeff recurrence5Scalar0Left 16 = (1732695035741687314438453131046 * 10 ^ 70 + 276157500821395740930129777567039628233462027059286283604572013409467) * 10 ^ 70 + 3664766909386540826085762229670543618720650737791028155828767310471992
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_17 :
Polynomial.coeff recurrence5Scalar0Left 17 = -((257591763491188620383812670561266 * 10 ^ 70 + 7685734290702847402094418436937292262091117115736140238471314474692827) * 10 ^ 70 + 5793806023381033280504708172572465511898891932233098311839244957557712)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_18 :
Polynomial.coeff recurrence5Scalar0Left 18 = -((160584630796853957598065813587322194 * 10 ^ 70 + 390396249574391288959981760896221511833199590584928804087022763198952) * 10 ^ 70 + 1054418309022983935043676566190462600404745545910528421259091714913460)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_19 :
Polynomial.coeff recurrence5Scalar0Left 19 = (141128814158712407665408487709589681213 * 10 ^ 70 + 6695288222534086470252420030918680389074560022268822089016330786586936) * 10 ^ 70 + 5577587037115515732335499072914413884305822465031270628574852875285712
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_20 :
Polynomial.coeff recurrence5Scalar0Left 20 = -((59437201353679910656062490446098107573591 * 10 ^ 70 + 638961485195206778780802033556290502730735171296318521608720755923031) * 10 ^ 70 + 6019990632502913148020836197187971640559450050956391170321672657455824)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_21 :
Polynomial.coeff recurrence5Scalar0Left 21 = (16247824325413788906687299537563830205879985 * 10 ^ 70 + 1758799885328331352936342245568372391691680846798973523791324472470987) * 10 ^ 70 + 5302500773693833545886161487056697479880022458589637420424452220670532
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_22 :
Polynomial.coeff recurrence5Scalar0Left 22 = -((3244323955020597442234256191572274927483910226 * 10 ^ 70 + 7505171715464116570319562354494723931033344066253227744736294350408442) * 10 ^ 70 + 4826400294924385999420485867197225737550103026329540069777387206001296)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_23 :
Polynomial.coeff recurrence5Scalar0Left 23 = (922653564063497552451268684699449650040968680311 * 10 ^ 70 + 2362045057234255864239838274096651125641228973130913041415119811244983) * 10 ^ 70 + 3875130889234901194680879010698631490286170088926285252726309735400848
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_24 :
Polynomial.coeff recurrence5Scalar0Left 24 = -((612706296652840296176002773187744634241044092502821 * 10 ^ 70 + 9604937478467251851212395579126941043980032197622951231190087944883515) * 10 ^ 70 + 5596024925621086628765016969589397183827901618644499200928672489253009)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_25 :
Polynomial.coeff recurrence5Scalar0Left 25 = (392973756619229120330396208436189418433755919495434710 * 10 ^ 70 + 7729480605319105555360331174718990757242771813125297617215095060136139) * 10 ^ 70 + 1977982073648023484685902568628788445143476473611127886798508275986242
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_26 :
Polynomial.coeff recurrence5Scalar0Left 26 = -((191608923147894235373791539589996443460014512228230433250 * 10 ^ 70 + 4732080381188940037424490074422121077483393509842518942452616256949434) * 10 ^ 70 + 1416267996741883412717130786108737322060018173079397109096434780291081)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_27 :
Polynomial.coeff recurrence5Scalar0Left 27 = (73688963973489933438803607179348325649920482942368248676231 * 10 ^ 70 + 9055969681745741317029819036081326974366329796970692259167344802424193) * 10 ^ 70 + 8585294018364828043106246996981110433658264571531164000007744358522152
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_28 :
Polynomial.coeff recurrence5Scalar0Left 28 = -((23317656259246288279075768996100285927524968349417366212637515 * 10 ^ 70 + 1091791555085814984708852824059635037220258611952720147653018027259599) * 10 ^ 70 + 9735840268229879489819727969377573095498647761383514210695638178225158)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_29 :
Polynomial.coeff recurrence5Scalar0Left 29 = (6238814095739936853669048940902931249536662023758966415631528580 * 10 ^ 70 + 7940351567006161112921934114491841484519734794566197361621403491644720) * 10 ^ 70 + 2450714686232709145920153230479307990577009881422890136513714882067254
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_30 :
Polynomial.coeff recurrence5Scalar0Left 30 = -((1434164120997137466304263150585658756215481671980660986261849056999 * 10 ^ 70 + 5703575335674206650453412506843256278108191362623272606028968753047267) * 10 ^ 70 + 8709919067676537741682557991933351746863318192735107309120850331570391)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_31 :
Polynomial.coeff recurrence5Scalar0Left 31 = (285428172594353518032321055053041673733532784780921003679237780082765 * 10 ^ 70 + 5177577529792627235977918987202868299935136128550661563872068808571622) * 10 ^ 70 + 8558532045473608548451890086480416036039783079738817721429829452443090
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_32 :
Polynomial.coeff recurrence5Scalar0Left 32 = -(((4 * 10 ^ 70 + 9167761854470617730149071045540950207819705893163053555535782793211656) * 10 ^ 70 + 5363553866127148197667628149700556333114417732627572378197856844392645) * 10 ^ 70 + 934586645052585517847822646140927221998906242212881842627983460940890)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_33 :
Polynomial.coeff recurrence5Scalar0Left 33 = ((724 * 10 ^ 70 + 8980907526175200932267444181949011433607920303473931851979173195962385) * 10 ^ 70 + 7694127125748946301118508321734623089271881476450339160987038431494754) * 10 ^ 70 + 3167451907127515307684473091230404366726463018065679615566024335494303
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_34 :
Polynomial.coeff recurrence5Scalar0Left 34 = -(((88429 * 10 ^ 70 + 5414695750263183855783675123828243525456263856043470950531460104249160) * 10 ^ 70 + 9655288752857447030957167516869494513887647781858917755825756191576684) * 10 ^ 70 + 7372780994873221046426931094520640211293678393938173968469915916887120)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_35 :
Polynomial.coeff recurrence5Scalar0Left 35 = ((8032713 * 10 ^ 70 + 1235546775521905328808135745924193729826245659079729340276747537345893) * 10 ^ 70 + 8808174924027054550577750204498250710054495378965513532276159478511384) * 10 ^ 70 + 4315825102958905310425967855985977252847275444652444211746273087805606
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_36 :
Polynomial.coeff recurrence5Scalar0Left 36 = -(((285385766 * 10 ^ 70 + 7220081699567460877968418302262698851637088462307545028757839474037648) * 10 ^ 70 + 8365785118849897558143984872670435194883944580657098651759415405560735) * 10 ^ 70 + 5775502609850202951260371119335467919108153652924057336459540565863783)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_37 :
Polynomial.coeff recurrence5Scalar0Left 37 = -(((82084280403 * 10 ^ 70 + 5125837907615361911967195955669418640742773052837590051011110143095326) * 10 ^ 70 + 4264399809971230379351717722171098502492461919402981270524548488231571) * 10 ^ 70 + 6694943162446785679832487968138401748236959424912464286809532777569859)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_38 :
Polynomial.coeff recurrence5Scalar0Left 38 = ((25341885162099 * 10 ^ 70 + 9921741178498199835020438738660027989311208798595959091293306739235013) * 10 ^ 70 + 7663324476323510665519310161566087403926716487893521250316593240765693) * 10 ^ 70 + 7771010670714074430592342247463715792851284264870546082536899282745650
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_39 :
Polynomial.coeff recurrence5Scalar0Left 39 = -(((4684799677822433 * 10 ^ 70 + 9515406859002591832353697628579024421583006819282829037014601812946779) * 10 ^ 70 + 6501900786188930643959439135263078826124943774299862953940828773256716) * 10 ^ 70 + 8770532040313878586502458333477324884328533886376260571546298849531229)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_40 :
Polynomial.coeff recurrence5Scalar0Left 40 = ((692906812600109827 * 10 ^ 70 + 580123577701021484987889905871283414240446534418937376300597710730957) * 10 ^ 70 + 6758604395992216933455916059340169668539532853654572909061057244489651) * 10 ^ 70 + 9147666526065649362615995108265867529171182102635245166237961704004388
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_41 :
Polynomial.coeff recurrence5Scalar0Left 41 = -(((88416617840560445036 * 10 ^ 70 + 5262436373480083847158647514348375416780746208923174651079578495812689) * 10 ^ 70 + 782642866232624202731993840091417638035785839336905450151433784765098) * 10 ^ 70 + 4242063919544123096217167202726327791608519377960829157444401437009778)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_42 :
Polynomial.coeff recurrence5Scalar0Left 42 = ((10049692516837084945660 * 10 ^ 70 + 3833906891324963539898944494384970445198790007022362102601479113784893) * 10 ^ 70 + 7914497329740894794976141721760486048652985932957298457136214050160319) * 10 ^ 70 + 6752939484506392179325462427236904089696545146643641146203854924582706
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_43 :
Polynomial.coeff recurrence5Scalar0Left 43 = -(((1035012424864128258689326 * 10 ^ 70 + 581512981611226241524712631450076233089519953578570493994432628265553) * 10 ^ 70 + 4728604208865300175831747503366918158645508191374451141714121952303110) * 10 ^ 70 + 2084022811723549405148681073714182131245729836430792775238863536941285)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_44 :
Polynomial.coeff recurrence5Scalar0Left 44 = ((97605317598992059162019569 * 10 ^ 70 + 1725705298061238531417234066954206839477368611016347714150448948657389) * 10 ^ 70 + 2879615884021805128210605005241611778058922874460021370345071655077435) * 10 ^ 70 + 774707971500177593570685778401952854904658610956820751157961904263661
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_45 :
Polynomial.coeff recurrence5Scalar0Left 45 = -(((8488464654391983141095818529 * 10 ^ 70 + 3498274589184368797519652424835455160789409840937248716445376908811638) * 10 ^ 70 + 948012278416972318279447467477651333830547031935811966070361661128738) * 10 ^ 70 + 1706312022328944877939044100846882549372954507260581156785866454207027)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_46 :
Polynomial.coeff recurrence5Scalar0Left 46 = ((684326166260522332709663726418 * 10 ^ 70 + 437871806108471397245337860485028406373727867089161924958255552312080) * 10 ^ 70 + 4797686122289164144248338554463811943226116834039401385291187520040937) * 10 ^ 70 + 330028026056209656188211667358634261237668010888373023263331212289234
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_47 :
Polynomial.coeff recurrence5Scalar0Left 47 = -(((51345533104515856418171675025953 * 10 ^ 70 + 1337620821572636618979762965802771929758230915075353311165180438685095) * 10 ^ 70 + 6250684364794822581143114442675212885072326454383232146024492689365745) * 10 ^ 70 + 499922245352514511708829700841539900465329667140453765496732880102040)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_48 :
Polynomial.coeff recurrence5Scalar0Left 48 = ((3596898081113178570493662539112440 * 10 ^ 70 + 6668407071766138685751525855877342755343330769815924659553756868860708) * 10 ^ 70 + 1473915365210899258235553466715393870836442240537252492139885166853800) * 10 ^ 70 + 5118388448788126188599284517399019210113201758119174747001149588839650
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_49 :
Polynomial.coeff recurrence5Scalar0Left 49 = -(((235872798830641794883112420709755261 * 10 ^ 70 + 3867707103319940720057165534019793813258190307094752564714539729777991) * 10 ^ 70 + 3726060438885101749345979241219754186343715493678618784852225122864032) * 10 ^ 70 + 2182612609625012007958862570115403248758773857357785396705449832424170)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_50 :
Polynomial.coeff recurrence5Scalar0Left 50 = ((14511536614642319656305937062819221018 * 10 ^ 70 + 8454781100281107202849765429729446141104134947449891851467604574364302) * 10 ^ 70 + 6624447012875413397624267898850934120541197678313321072265991713842207) * 10 ^ 70 + 8335023364387003105980862219675215279126504530313633854476277672092878
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_51 :
Polynomial.coeff recurrence5Scalar0Left 51 = -(((839193369858612770028683986836548674496 * 10 ^ 70 + 8010357916580047166399500562541597770047932296729560497047943592959839) * 10 ^ 70 + 3316647495852768170841457168866409617773147400104987677386106588231294) * 10 ^ 70 + 1711579425132042770830190823951952567764232191081404041603357994594087)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_52 :
Polynomial.coeff recurrence5Scalar0Left 52 = ((45692545584787154228663181837095247913873 * 10 ^ 70 + 8595725632599243475667646094033871287558782872618461093146270603772548) * 10 ^ 70 + 6840204849050028897594221039626970910475452910101066283033340325728672) * 10 ^ 70 + 5383132293164744833509397591460238436870664932448782695690057536289088
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_53 :
Polynomial.coeff recurrence5Scalar0Left 53 = -(((2345842061115191167041138651315225346476514 * 10 ^ 70 + 3612091710709028947710193783270019532200957436704918335332709451029889) * 10 ^ 70 + 4486523168066680308032332087443810958942814589332979017549444707395740) * 10 ^ 70 + 4282343328249201355915319449610223177578944450632158473790111111572026)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_54 :
Polynomial.coeff recurrence5Scalar0Left 54 = ((113706470057370749866914645431835647417750908 * 10 ^ 70 + 8394707679897137659707984582920155506128336376200310952697411258149298) * 10 ^ 70 + 5662303957807250798037820077438715652671406306371796856338054474933581) * 10 ^ 70 + 853713490727788479836471242891042636060775710482471571520733928911517
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_55 :
Polynomial.coeff recurrence5Scalar0Left 55 = -(((5209598560543462613490079816766414203185960704 * 10 ^ 70 + 9986136939825963990563558087874103505888368754722250056879949712800326) * 10 ^ 70 + 5797638765662777671884428465157254954611881535687115878298227063532165) * 10 ^ 70 + 7628718143992072446003644757105117130925838089371582331375086652244186)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_56 :
Polynomial.coeff recurrence5Scalar0Left 56 = ((225838854116677468570554085455756330048696118951 * 10 ^ 70 + 6235012005985630419252927708772627588190482002248887231208892678036221) * 10 ^ 70 + 3357866050068891126505192332731751322788393934179923745612000283903133) * 10 ^ 70 + 6651354369190195613597744276069664328666202523657237063292886836728233
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_57 :
Polynomial.coeff recurrence5Scalar0Left 57 = -(((9271662973507513964150138915581689460153551795903 * 10 ^ 70 + 7401881556866967012312335096484263374994781533930874472904684197064718) * 10 ^ 70 + 6193696919011044964003273987631150429510349755475083826036704853451483) * 10 ^ 70 + 7590533657446630776200295636267433037174139268655396051311636971177374)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_58 :
Polynomial.coeff recurrence5Scalar0Left 58 = ((360760052469647350587572423175337972432350731477649 * 10 ^ 70 + 9900541812952250782395902700062706030946434717648293842021888637207516) * 10 ^ 70 + 194378223338558625148061133976960628179527125429269746162121669488653) * 10 ^ 70 + 4005979806762291223305583049246619623208138867355821738943790771452236
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_59 :
Polynomial.coeff recurrence5Scalar0Left 59 = -(((13312682329719098731058079546467482449378634244939029 * 10 ^ 70 + 2889205389825055062345643009740075070409497981591915883925945833629025) * 10 ^ 70 + 3972012900433570769938468293835865006704242633320942570808352837544009) * 10 ^ 70 + 9446414882011942009519958011408623259911868397952761722030404597014647)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_60 :
Polynomial.coeff recurrence5Scalar0Left 60 = ((466152065290932788497529395312990372449297293115048103 * 10 ^ 70 + 5975828628812866112827718144823155958254877161626687138213172635573889) * 10 ^ 70 + 8001915271035098512364603767590100878862040456949756972111351256408161) * 10 ^ 70 + 4677667895843853802651842353860942640731923596333651115094057197076373
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_61 :
Polynomial.coeff recurrence5Scalar0Left 61 = -(((15494276300836585846434394294802438434678218930170883481 * 10 ^ 70 + 398285660850298628443384544450052596734973720853478869497221160933738) * 10 ^ 70 + 6520872901590986220077924633019781855242348964821573122203321562668418) * 10 ^ 70 + 6365363415306544560783227785182722516078055826728303285148640231087884)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_62 :
Polynomial.coeff recurrence5Scalar0Left 62 = ((488980791635385797318768717916278584805650122654241319576 * 10 ^ 70 + 6037185736165874943984282932379527600749038729510156678162208461116439) * 10 ^ 70 + 8610215893074005012930254871541293449671799113713924891611441788389202) * 10 ^ 70 + 8083822054332465386727532569054815373376374527122064106017107354192458
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_63 :
Polynomial.coeff recurrence5Scalar0Left 63 = -(((14652034175947478149715708070873840108013483964136047644628 * 10 ^ 70 + 2186241326444385393128868976241397156779409660849281215152210754721894) * 10 ^ 70 + 6900791445899252064825046196914727368453278446222214723238118947934866) * 10 ^ 70 + 873813968388462001907034234935131855460677370283531750901683561395311)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_64 :
Polynomial.coeff recurrence5Scalar0Left 64 = ((416763479516209234780022906078823664729975809387477570751327 * 10 ^ 70 + 3379367741387321176707572218548669536754504769223152764122420385228331) * 10 ^ 70 + 6593262772028818130187667780817455000012478579528120324001242594383884) * 10 ^ 70 + 68114255326261369445762116429638729675162243666955758074436461953963
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_65 :
Polynomial.coeff recurrence5Scalar0Left 65 = -(((11246671262529430102540909033388744677184044148816923083549193 * 10 ^ 70 + 2701273460741040207244093663858206766417164390840695788653832166754399) * 10 ^ 70 + 7141035172861125648094778586157632060646878305228191562847997183376606) * 10 ^ 70 + 4932805543410581140180723551531225315041144188426709741985318289502879)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_66 :
Polynomial.coeff recurrence5Scalar0Left 66 = ((287648305553002919633134204337291301310752643055095597420539389 * 10 ^ 70 + 5871800877023013336769575047879430736658614794964407533486552347113515) * 10 ^ 70 + 4810903001313664801591058909907375276952196576044185359810583474468180) * 10 ^ 70 + 4446729385251898319220819285045864520988556652348337592528931093692874