Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1FirstPart0.Coefficients0To66

Recurrence 5 lookup certificate: Scalar1First 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.recurrence5Scalar1First_coeff_0 :
Polynomial.coeff recurrence5Scalar1First 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_1 :
Polynomial.coeff recurrence5Scalar1First 1 = 3960986350084465496212773693154494720861151037798706032 * 10 ^ 70 + 6934766566837676783328683440136112803279151052721015997562404672962560
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_2 :
Polynomial.coeff recurrence5Scalar1First 2 = 6121104305145715563987169105795026490955454332160381291249 * 10 ^ 70 + 2230948071051854566503516265035807714607666646098155894707542104797184
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_3 :
Polynomial.coeff recurrence5Scalar1First 3 = 4527563013245905018508116420078064110317188804485783980465044 * 10 ^ 70 + 5713722418991515939245988044788715214927610101697681669000875982278144
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_4 :
Polynomial.coeff recurrence5Scalar1First 4 = 34443874142356232608457349521661412932320190102372297271987880628 * 10 ^ 70 + 1488794522583179871134736486054398451636434068645453358777651311889280
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_5 :
Polynomial.coeff recurrence5Scalar1First 5 = -(403735184078136551894736198648552898491289264080644576619351582125126 * 10 ^ 70 + 414478707527572136133640603686702791227423443359006403194973210453280)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_6 :
Polynomial.coeff recurrence5Scalar1First 6 = (148 * 10 ^ 70 + 6394903092492982130361187801834496740581001564775192035109431283714132) * 10 ^ 70 + 8729059432292259319998122825148891050099838448780037941542754468856736
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_7 :
Polynomial.coeff recurrence5Scalar1First 7 = -((324826 * 10 ^ 70 + 463996382494496166975047218677314553636177472331143306268481395848472) * 10 ^ 70 + 895690932457221952256258961693554283363741472228758081087908104586976)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_8 :
Polynomial.coeff recurrence5Scalar1First 8 = (503424008 * 10 ^ 70 + 4990942632162259277031301866470459862416079644087545726811160723163241) * 10 ^ 70 + 3181410780756698817323768297410695130257546922186513207271723152660288
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_9 :
Polynomial.coeff recurrence5Scalar1First 9 = -((566618525742 * 10 ^ 70 + 2769101745299145153677030548196989504048040373435051258762871120282452) * 10 ^ 70 + 305710223584769924021059404502327552759987066239363709919709990093792)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_10 :
Polynomial.coeff recurrence5Scalar1First 10 = (459085524698204 * 10 ^ 70 + 8758020791878931177809980755580636636693993717567912588795489489492423) * 10 ^ 70 + 5041390119481370646114151486910874921488352274341705758938553436405032
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_11 :
Polynomial.coeff recurrence5Scalar1First 11 = -((245728536595567965 * 10 ^ 70 + 4072877451868470177494778407494529293850011773843594650261851807208506) * 10 ^ 70 + 4534167080757089765104544512639588872688954354554623964986217468620072)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_12 :
Polynomial.coeff recurrence5Scalar1First 12 = (51188347643019240278 * 10 ^ 70 + 2854756930130414808377155946864449708735353480106749576717118297442582) * 10 ^ 70 + 875607129085668027061158643990334799656655240946159283163497360517088
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_13 :
Polynomial.coeff recurrence5Scalar1First 13 = (48428012037528475893047 * 10 ^ 70 + 4369575928667682447417885770385979403411896238509370856521568918317640) * 10 ^ 70 + 3181451606586488527137197139937498516270592498310223074637653337230624
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_14 :
Polynomial.coeff recurrence5Scalar1First 14 = -((62838686088341942999670454 * 10 ^ 70 + 3651521586345447589293300169824525757682600150491820865149769031345486) * 10 ^ 70 + 4800954978411671895021621253773457597014749632346859704603249467812072)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_15 :
Polynomial.coeff recurrence5Scalar1First 15 = (40887329482945059223815185119 * 10 ^ 70 + 5585094909538116544758878269878016464528661372853795175457163159443041) * 10 ^ 70 + 3700721313612838499864258123392477994917774905896742545487628278578820
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_16 :
Polynomial.coeff recurrence5Scalar1First 16 = -((18213472369957942126916806556581 * 10 ^ 70 + 9826442144777580177870771338402170212768633016282613294529071017759819) * 10 ^ 70 + 4802715124857386846971225223166490626241706091706139501418387102296192)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_17 :
Polynomial.coeff recurrence5Scalar1First 17 = (5396051681861922511640955611716335 * 10 ^ 70 + 943044299984255608112449319485419262106765979339982316018151027385474) * 10 ^ 70 + 2578498585792692632529686519073247995584868574745849253973756988599328
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_18 :
Polynomial.coeff recurrence5Scalar1First 18 = -((306728190244651717512659476284031291 * 10 ^ 70 + 1815541920099294505633433346933114127493432308713210699112779629744113) * 10 ^ 70 + 5254583527397753735748626042821151998986794615068634926703658360268392)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_19 :
Polynomial.coeff recurrence5Scalar1First 19 = -((980792593110300524345485618587792946826 * 10 ^ 70 + 6994112511847696957598989924313538131523694940305238485048889117370317) * 10 ^ 70 + 8522781895666731641803418640473168942082758892168487137121211684384406)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_20 :
Polynomial.coeff recurrence5Scalar1First 20 = (883477088041308659738658031545077484408768 * 10 ^ 70 + 6057262937759612480997143484470095388594372428915585780855545868887881) * 10 ^ 70 + 7749058842140424481422086939232267695048202219541831851336012937032824
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_21 :
Polynomial.coeff recurrence5Scalar1First 21 = -((497509480010138404281530442476775654605338850 * 10 ^ 70 + 223799231374925268568002949632675856096797128079160031853992675954086) * 10 ^ 70 + 248873992142839909104327419716281837064522770632792445570620440733152)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_22 :
Polynomial.coeff recurrence5Scalar1First 22 = (205232354246448272545165743052632814005561744132 * 10 ^ 70 + 5856758131086318198111390851323008101298467871929136071572016958621783) * 10 ^ 70 + 3024404944426955429781001363079991566675810381379522379495971922490318
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_23 :
Polynomial.coeff recurrence5Scalar1First 23 = -((60188802338685149139937159985286260591372371174153 * 10 ^ 70 + 2665870071561605357952887999629897013890115941816052402959832516533904) * 10 ^ 70 + 31642605149062735292479433403373640678943267140237568062413057013026)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_24 :
Polynomial.coeff recurrence5Scalar1First 24 = (9057918998844341710574745401844925336990517274653360 * 10 ^ 70 + 7195156094303959751271919500982615731735039468308714209324329452480563) * 10 ^ 70 + 5920166196050446283319548025618080076187076403614621417563638162264485
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_25 :
Polynomial.coeff recurrence5Scalar1First 25 = (2339020828453280077273215594659853403631670480970038342 * 10 ^ 70 + 786816374812940422835140896726604781662384454753967428270909196625261) * 10 ^ 70 + 559992016198599526659322235389285853134773425553574613629348600205264
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_26 :
Polynomial.coeff recurrence5Scalar1First 26 = -((2470975232547029616327582452315858914976323248036268856463 * 10 ^ 70 + 683642667443710378165885409308651919066609839924363283172281480849496) * 10 ^ 70 + 8556027599234220357448170332230656452651223866588906454483897847790984)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_27 :
Polynomial.coeff recurrence5Scalar1First 27 = (1164588388531886631364863772022745023195388294976588790433532 * 10 ^ 70 + 4262966080295295373673567935284184787287533459065037684108437254526507) * 10 ^ 70 + 6509946253722465671285719818162051457662763521234269561250808343545141
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_28 :
Polynomial.coeff recurrence5Scalar1First 28 = -((405298501719560200698162768124247416593424479228277550378310169 * 10 ^ 70 + 4093357661605639738283760183112423122486354652423262749849912636382372) * 10 ^ 70 + 5040164230139319047033802073503645493634851913970582929834312791248616)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_29 :
Polynomial.coeff recurrence5Scalar1First 29 = (115440736775970102988118953559666064283759280582233309619888385230 * 10 ^ 70 + 9171306001734699710333836456339298607502142848683995567182331257076224) * 10 ^ 70 + 6616572537001563590278680973028890625794557923236769531722158643815327
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_30 :
Polynomial.coeff recurrence5Scalar1First 30 = -((28028063324470515832594407147765559923708589392456627786367361727789 * 10 ^ 70 + 3323544599067384096859005448921089303639383691589739203702059141850237) * 10 ^ 70 + 8808097948322119508117250043665563443859111359044116539501683166746673)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_31 :
Polynomial.coeff recurrence5Scalar1First 31 = (5921438771943542781558892966055479758847021656606864885161482241056049 * 10 ^ 70 + 6768905840933346495001483426277856347527088689513597451783508470942639) * 10 ^ 70 + 4570917985139493690872348960755533941986914803277083438284630832023875
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_32 :
Polynomial.coeff recurrence5Scalar1First 32 = -(((110 * 10 ^ 70 + 1202323732528856411520401880111643779356690344088368570509954930205443) * 10 ^ 70 + 6404257122708621059908501872170262161515037024134544023891040192972761) * 10 ^ 70 + 2698683559766643715653368972896986758950264846782152507464390567500545)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_33 :
Polynomial.coeff recurrence5Scalar1First 33 = ((18137 * 10 ^ 70 + 9879579029761155540218035346640643181758463638485764488660280875277642) * 10 ^ 70 + 7496993534422425470323391680947002331722351158993275230153557999656822) * 10 ^ 70 + 8015862678732129752304608893042203685264128082187216293085832645676238
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_34 :
Polynomial.coeff recurrence5Scalar1First 34 = -(((2651138 * 10 ^ 70 + 9461416302794677210635673815207810689447192272998800406948035550992073) * 10 ^ 70 + 2086517271107226016359804721294402382465989564565557372472834047257766) * 10 ^ 70 + 9423236288443349900235690222801120583847314864191598167402925550531045)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_35 :
Polynomial.coeff recurrence5Scalar1First 35 = ((342938943 * 10 ^ 70 + 8817985319697776310119632142690501156975076042489789525261171287862698) * 10 ^ 70 + 7916970916573696926150852176714725300989621314232169286834001654419337) * 10 ^ 70 + 4859040682967585639204841886065019600930476984212416794176941983275219
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_36 :
Polynomial.coeff recurrence5Scalar1First 36 = -(((38876673352 * 10 ^ 70 + 6591826045002447373421904609315513027449418912295085952174511764940328) * 10 ^ 70 + 4658767923316299772225176100303105043014151675859684908985486738950756) * 10 ^ 70 + 1128261009664269776427836970479273067790782101458514850265920776136806)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_37 :
Polynomial.coeff recurrence5Scalar1First 37 = ((3770282608470 * 10 ^ 70 + 4929330151449704545397019053151437521867188653407122182066011264701368) * 10 ^ 70 + 4380000098617033803894361463218418587810101413323286304204520708387078) * 10 ^ 70 + 326143873240596219798489260643162659419168770827684188183048065928575
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_38 :
Polynomial.coeff recurrence5Scalar1First 38 = -(((293584645216586 * 10 ^ 70 + 3465984671902181070237282853816610923904372050736692710678036205203844) * 10 ^ 70 + 8669182866316179751951294900402595647393990118588572286630383628654571) * 10 ^ 70 + 6109420301866021277222191185729194668284565001339001469923864103822757)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_39 :
Polynomial.coeff recurrence5Scalar1First 39 = ((14403803540378230 * 10 ^ 70 + 2628024412152196832624656990007802303496069562897027281936721231839642) * 10 ^ 70 + 919411440113107324283287261172039842913875551275418203971202032317932) * 10 ^ 70 + 3446924404028469899175561615255406696037676875628942389817616552521697
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_40 :
Polynomial.coeff recurrence5Scalar1First 40 = ((454238268690551916 * 10 ^ 70 + 7815097069685661658780215596912025386940700068992698494800774380491596) * 10 ^ 70 + 5063292281207631028390633061788984523408038714835649252060157958418000) * 10 ^ 70 + 1771500977144865409557171654275000375617566797452183566405931976201379
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_41 :
Polynomial.coeff recurrence5Scalar1First 41 = -(((235897665552875138218 * 10 ^ 70 + 9660685735078466993453769014241788834792639133153686286036426625128197) * 10 ^ 70 + 5961924431385476573163342187816526405622299459306197835867684515682291) * 10 ^ 70 + 8690262601925114976199287612085461724257144509495656715340779660954060)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_42 :
Polynomial.coeff recurrence5Scalar1First 42 = ((38893077974508376252047 * 10 ^ 70 + 265590615932213890327466465359334993768330426391696663809552400411185) * 10 ^ 70 + 8539491509428737978606454794053491898887846030000171453176620171045664) * 10 ^ 70 + 2682575806697717409099348919151291818204430069368407056895011110808450
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_43 :
Polynomial.coeff recurrence5Scalar1First 43 = -(((4788591736927778277467106 * 10 ^ 70 + 1726619654110523191887613525037958107107228726677878798897066554033747) * 10 ^ 70 + 5064079090217652262748550882472733007950712612208226122819830324246265) * 10 ^ 70 + 4332072132832134670579456799458372970837503419417627272680842773056434)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_44 :
Polynomial.coeff recurrence5Scalar1First 44 = ((499061824375158682690688110 * 10 ^ 70 + 2366312929533541458472850669661338339259981087395917050558771076709729) * 10 ^ 70 + 4691092021809312760333401081840061030320430842922640560659651595274898) * 10 ^ 70 + 7847943243710137497076761061949758416980233078513342592327099471918451
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_45 :
Polynomial.coeff recurrence5Scalar1First 45 = -(((46045407406706382329753357922 * 10 ^ 70 + 9897688405401264273441529325738014598200763350670892020628389262031307) * 10 ^ 70 + 6973186540451090459731637303380533181826948566095556311296452096888718) * 10 ^ 70 + 3439321426051070247214357180919640433791816572396960477659463146652637)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_46 :
Polynomial.coeff recurrence5Scalar1First 46 = ((3843775868956001368076481769249 * 10 ^ 70 + 8053157693549075573937926270850287676019238224577638881360216911414632) * 10 ^ 70 + 5906670408461956844467073164850236793290494878511688744236815669032339) * 10 ^ 70 + 8736596258168319389865881420617522101154237587318293553056304752094439
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_47 :
Polynomial.coeff recurrence5Scalar1First 47 = -(((293981034358649263587467641162918 * 10 ^ 70 + 5823988540991488589005140964826603914348473882603090937266301933724938) * 10 ^ 70 + 4001983932555827694011080593435634583057064204501621373271060639991028) * 10 ^ 70 + 6935422562527916696466482588142587808078377824389180068280917297084765)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_48 :
Polynomial.coeff recurrence5Scalar1First 48 = ((20767709032205653952164986630934088 * 10 ^ 70 + 4004332750190903522581003645945141587054207265739168745423237267276628) * 10 ^ 70 + 7688022482503051049382641477763219348715287777062841375397574858582987) * 10 ^ 70 + 6584263596247808116917720578563114874008262514739803264972994801947523
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_49 :
Polynomial.coeff recurrence5Scalar1First 49 = -(((1362790271535493778177062228942619702 * 10 ^ 70 + 2075727368973898411501924917211694860987864310308878407267556795939798) * 10 ^ 70 + 4301906574871200206183428290248583644758837286624766157972452258808987) * 10 ^ 70 + 9347275886268940934004569610003552970691707210706674535934242790352800)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_50 :
Polynomial.coeff recurrence5Scalar1First 50 = ((83420347013548747263140872439839273231 * 10 ^ 70 + 897876576055786598834687073117784745005327175502088377535783780634798) * 10 ^ 70 + 3719700298239929618575613944773567653788705483575749135220966964861441) * 10 ^ 70 + 7547149550511781006394892050529916067132255234336083193615038766415441
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_51 :
Polynomial.coeff recurrence5Scalar1First 51 = -(((4779064412947411819804449568299858942884 * 10 ^ 70 + 3307537426055729871046927181218593052337813831220173250564813200146625) * 10 ^ 70 + 7629590365318088973957873711531814643410634692834959619275836830253497) * 10 ^ 70 + 3571688834511205292207473591901701552453210458636503515657634621026322)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_52 :
Polynomial.coeff recurrence5Scalar1First 52 = ((256915668395740732402092443019595354047518 * 10 ^ 70 + 736523832731759971671986974796057783540369025627132541157022736107764) * 10 ^ 70 + 1854163770121897342738379710384157790834364236443625059549048817942036) * 10 ^ 70 + 3575189161334616552947471441225434325253185497068409600874854949168246
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_53 :
Polynomial.coeff recurrence5Scalar1First 53 = -(((12988711494274604655399289769166686527339733 * 10 ^ 70 + 3107096808688706017064302001725260562419085081824271682892555871955490) * 10 ^ 70 + 5751842298131750117421020430684102484676675306402627750935413654544895) * 10 ^ 70 + 9217465889155153535405763580341227828181607016456334689250249959460249)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_54 :
Polynomial.coeff recurrence5Scalar1First 54 = ((618688600179571639080383986358864924155471182 * 10 ^ 70 + 5615177024791637522850065711596944473610610682679890491350682471126858) * 10 ^ 70 + 8010839697957866654279046955491687054647715037180247054379991270017864) * 10 ^ 70 + 2724088700749260263121490193045233760801948372867252479913246182809998
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_55 :
Polynomial.coeff recurrence5Scalar1First 55 = -(((27809671798936833692445859126697673158738409708 * 10 ^ 70 + 6047461612201710159149434644105429808280373417956715963193507813606142) * 10 ^ 70 + 6702371982059624449106334662759765000703146646617386648843142179305103) * 10 ^ 70 + 2744092548482401541150352513626142932467394290069286862070262216324484)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_56 :
Polynomial.coeff recurrence5Scalar1First 56 = ((1181218976080300824753561858832989559742148617543 * 10 ^ 70 + 8711490719503199527594595483792035261889631886016974785114398760974003) * 10 ^ 70 + 8887744714474649566262019111446853396586652646557927388107355830812526) * 10 ^ 70 + 2546985861209879348044745318948898537739314418399686668770123419941240
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_57 :
Polynomial.coeff recurrence5Scalar1First 57 = -(((47466710777303782263165156228027400846977888746461 * 10 ^ 70 + 6996440745397886110771902383231687580952054563710770524026221877291954) * 10 ^ 70 + 4122306970713844992776783301308266640799231269171317121762009039461046) * 10 ^ 70 + 532529772793749140225505316229603440324178785946036227020294905697823)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_58 :
Polynomial.coeff recurrence5Scalar1First 58 = ((1806403671921233441988384996181992708156254560008977 * 10 ^ 70 + 2262688477577248989884093216645309738142492586480570989663431369443565) * 10 ^ 70 + 2821822102715999419043533206393861573848565051213232230051000339577082) * 10 ^ 70 + 1453701694767812581873335036399492798682647157347717462497087733628797
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_59 :
Polynomial.coeff recurrence5Scalar1First 59 = -(((65160549580059828553051055459598954308504798418533410 * 10 ^ 70 + 6225221795725246683990341750000643922570869590990442774733712207206625) * 10 ^ 70 + 6294830978019737042161958342064061184740882547757206698821241638313331) * 10 ^ 70 + 2742703891254321580694428652781250938089183170948283869817643024701133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_60 :
Polynomial.coeff recurrence5Scalar1First 60 = ((2229525832623598279168132881495624982549856323582493141 * 10 ^ 70 + 4103921614412717347684640074913995263208374314484032783750660262326741) * 10 ^ 70 + 2890440218746845081735494890608537332511349136107258268006632696628937) * 10 ^ 70 + 2163374680913148441983893859027604484871076213778218142388523964797390
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_61 :
Polynomial.coeff recurrence5Scalar1First 61 = -(((72401302914616814584638289211069257203549981196800458289 * 10 ^ 70 + 1210270481333102545604622468072663748795882616746125654308470994440876) * 10 ^ 70 + 1192661603843871486526929922273029089811828271616956096947402608493812) * 10 ^ 70 + 7851009385691151077787312971839499798695065906863703651764690163986538)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_62 :
Polynomial.coeff recurrence5Scalar1First 62 = ((2232359433284876797472254411190995216087530635197956503884 * 10 ^ 70 + 9543952551680697892190227706263896249256058319890855500159172242049926) * 10 ^ 70 + 1817372055768271435593790732924249506146623332469160870237557892249017) * 10 ^ 70 + 8058437011702701222543547289293214344415678772402266982904446309517261
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_63 :
Polynomial.coeff recurrence5Scalar1First 63 = -(((65367723239231657312053021195719367167071203678938992968115 * 10 ^ 70 + 9865701100752966076158857480419346047647156198997817082077606907089047) * 10 ^ 70 + 6583567847499861953455985884305401083321945836671368789534797565934260) * 10 ^ 70 + 2351126385734514151441175319281007788996469587473409524915363339667964)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_64 :
Polynomial.coeff recurrence5Scalar1First 64 = ((1817799326125725383824811618438108211330172249240044371931954 * 10 ^ 70 + 7492630902843086993131834942291361489136608401349435474128533963458817) * 10 ^ 70 + 4758739757319761125303469487464380676045407095839065855253272605640402) * 10 ^ 70 + 1692150773696784086301463409839703711609884676700109666539965938991036
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_65 :
Polynomial.coeff recurrence5Scalar1First 65 = -(((47994727005570823614808889419992175913185159134506996237713268 * 10 ^ 70 + 2332821892453178780077840747581956466536605437446791528511814363461022) * 10 ^ 70 + 9414914342547397668130488332148037362822498640539522733667636195100306) * 10 ^ 70 + 1349008878255591620079823309758141530977952265178524569905896982885514)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_66 :
Polynomial.coeff recurrence5Scalar1First 66 = ((1202346684032613812612017992886105832191499920225308106053971545 * 10 ^ 70 + 1991037085185629013282367304856479070471606039576755298882983210365096) * 10 ^ 70 + 2408527899217857950789472621145184092253416983948682703852835075439562) * 10 ^ 70 + 9233241206083652322236135083134229718787325591819744446646310562204866