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.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_117 : Polynomial.coeff recurrence5Scalar1First 117 = (((237646026576916323142159305505773476485835224571 * 10 ^ 70 + 8613691266137006802961787565702766496399889845046602245129715956636385) * 10 ^ 70 + 9223431058271011831796230287694702491809473113888889135181633887118307) * 10 ^ 70 + 6098612151814847845257159417051244335946046101446811853401263788283560) * 10 ^ 70 + 5108930756229859381856424183990683105863129095381284164641651217975088

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_118 : Polynomial.coeff recurrence5Scalar1First 118 = -((((1330280180370450205150764660376989934139820117975 * 10 ^ 70 + 82236062389431965503685812274531019508543164172889478894561477169899) * 10 ^ 70 + 3872703163741254815105304395731832102826810628585372896390737096849139) * 10 ^ 70 + 9291790205629669455779030033417565844915691376372973447273466624582268) * 10 ^ 70 + 6552515872149168545656321479550771555726148660294220119615614793658245)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_119 : Polynomial.coeff recurrence5Scalar1First 119 = (((7272266355494638331037925983937536637222976521770 * 10 ^ 70 + 798598154457130698263694376921001515561770012990320353849997399108717) * 10 ^ 70 + 7330904451208774527801556154035706854835195427406181608727263298669552) * 10 ^ 70 + 3831394700254136506591377572116634855893146146936002292960179312327626) * 10 ^ 70 + 7026916716536892503032170663408285116714901250532434533773983984284518

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_120 : Polynomial.coeff recurrence5Scalar1First 120 = -((((38833352768780641988552009877088242496733102179117 * 10 ^ 70 + 3594607779037697614562105462954184417121915460067778645483163673064375) * 10 ^ 70 + 4903904115708125613771829567897361225166303762421254434920130480743999) * 10 ^ 70 + 7319381218514945093692192210475492515979347346980287583681146905441155) * 10 ^ 70 + 8312770343661261425395944944724506485654940398882977339314475151557020)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_121 : Polynomial.coeff recurrence5Scalar1First 121 = (((202600307778675469327256794123751652252418494501117 * 10 ^ 70 + 5649569134888802155265165255230218937933578814425733047137191929865742) * 10 ^ 70 + 2026187660788669682069787065570511476973236655041090534561728925911744) * 10 ^ 70 + 9275826715701668377423592451924393225682770449479792932328909589572267) * 10 ^ 70 + 906389266401998449660522559469793983125311591957350440647025437625660

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_122 : Polynomial.coeff recurrence5Scalar1First 122 = -((((1032914670540623043165963127081155624524320071923266 * 10 ^ 70 + 3435283690616223900553250748634925401765185893526011699776735393205308) * 10 ^ 70 + 959649152457199628686781689878335775424683215706116407375716316147056) * 10 ^ 70 + 7904445884223871714193498858710721551908466390239923299843214508661309) * 10 ^ 70 + 9721794821195415530052073087629932184635202256554791853826277629201401)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_123 : Polynomial.coeff recurrence5Scalar1First 123 = (((5147121573453632676401979455320828276077854748277307 * 10 ^ 70 + 9710458802733872548686133111328131204418942276900135101712729843789308) * 10 ^ 70 + 1630214470815379354157425514587670317110577416392032010633075153012011) * 10 ^ 70 + 9857938406559710216476171610049727544756587747285211405966346880101179) * 10 ^ 70 + 4738313247510499665409547849476976300401813889387622300951530585406946

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_124 : Polynomial.coeff recurrence5Scalar1First 124 = -((((25074027740475403672535174177473867710587967198418653 * 10 ^ 70 + 7070988426158636875174339159847431437298838308187728949782309445286628) * 10 ^ 70 + 8861220847722989791837672019799538741576080308218292220558199414297799) * 10 ^ 70 + 9147187687703956469551615644351215341513511006393214513790533459293837) * 10 ^ 70 + 3830258892881906997960175181688373447085033840027252786206681001042205)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_125 : Polynomial.coeff recurrence5Scalar1First 125 = (((119433227086100633611920922243482802698455394320532468 * 10 ^ 70 + 6101567243181590107344407625541643674558424904343648982356369646908614) * 10 ^ 70 + 1322995614392786935866857719370487123861071557324867616129579667448688) * 10 ^ 70 + 4070767205315009449701700294239185982460620590218788452125154392290019) * 10 ^ 70 + 3378642794897760615163645267526268881563779774266990220685090518434848

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_126 : Polynomial.coeff recurrence5Scalar1First 126 = -((((556348630350420261706776755529187260376743096750650301 * 10 ^ 70 + 2565617552240666366909771961103504694679591945260117255703130015564754) * 10 ^ 70 + 3607910443789886135740124071428488936690583921180589737878527061155887) * 10 ^ 70 + 1457134230723106746019657007571862263526435214089882322411740635871789) * 10 ^ 70 + 5590811631687521830587217941649098973486444006052754636083480702390515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_127 : Polynomial.coeff recurrence5Scalar1First 127 = (((2534935120339289174005942527583964520810317399941687057 * 10 ^ 70 + 58399921522799968719763744069752361999960293078715859732533621396627) * 10 ^ 70 + 1342192916159879662540031017476547980599446924424056350744486647228733) * 10 ^ 70 + 8318891424292054831898353624903680705523277393796719435905394543661594) * 10 ^ 70 + 4626033326062164077620739149967947506344035888322760047766546503743305

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_128 : Polynomial.coeff recurrence5Scalar1First 128 = -((((11299511334431334885610366591083266756112185096846096875 * 10 ^ 70 + 3355445716771878547906130781030824112070826419949132726161438042846603) * 10 ^ 70 + 6917249294531487932876150789446493566615194544358134082182340092984794) * 10 ^ 70 + 3666704819539060752781340219659107277477015874262306624049628796334086) * 10 ^ 70 + 7368907852360391706044616949657716896171808658595853022518271102517394)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_129 : Polynomial.coeff recurrence5Scalar1First 129 = (((49283141899030274266274330776448027758182741001463373310 * 10 ^ 70 + 6009917629767267957082825982555262607243905662351842938892677288460399) * 10 ^ 70 + 9884151949006916004195958833186689379203223751130938707970594488831282) * 10 ^ 70 + 9952913135830107596179144824134180354981251594088713018868562420192814) * 10 ^ 70 + 9857588164006891127385813110298894458148447125908140053101290235900206

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_130 : Polynomial.coeff recurrence5Scalar1First 130 = -((((210355517785035782244264026003454146002256892908996318675 * 10 ^ 70 + 8447691937371878683035207969466362887316199076165812612255700451597981) * 10 ^ 70 + 3071143385134208343416207375025381773526847165521766947501769009283931) * 10 ^ 70 + 6195382849281769255781784893931912664032129681471108975937457863420255) * 10 ^ 70 + 6813237893844659676482087985848499922118098605939289711845454255745698)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_131 : Polynomial.coeff recurrence5Scalar1First 131 = (((878810280552032589748062025162386420602631693821297127656 * 10 ^ 70 + 5918762436028241745954861413978041819632574385633449008287241474448487) * 10 ^ 70 + 6782345720868034217996502772981272105349566350899393847978385912984737) * 10 ^ 70 + 615606770604162612767309264914735933152777151248266684156547105290966) * 10 ^ 70 + 9362676996443878499681355781282396873753625581591187129873590294869239

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_132 : Polynomial.coeff recurrence5Scalar1First 132 = -((((3594090623512783949016618684460191011211534567456169747137 * 10 ^ 70 + 5407436173919717294513974151911168810927827811095998977238077440687169) * 10 ^ 70 + 2837816875138732735527752927656797583577389767837064070686483707898525) * 10 ^ 70 + 6052079920356888782723583411752394202234425618200234065093953255893348) * 10 ^ 70 + 2745145624901222743814259573453799216836880458802207847191393392684515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_133 : Polynomial.coeff recurrence5Scalar1First 133 = (((14391322027640971674443932815613320540288087267329169236388 * 10 ^ 70 + 8751910238116076854568480641750561986526863270511365824558111382541995) * 10 ^ 70 + 286430529305587427175889165870721930430476329335371151117057367868258) * 10 ^ 70 + 4243828179084966120491070437846960227120920992669242645836340919359488) * 10 ^ 70 + 6959236845679640216236273016730110185957752436893509100023272863833552

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_134 : Polynomial.coeff recurrence5Scalar1First 134 = -((((56427837171089268135357514825796118298678536154519181703650 * 10 ^ 70 + 4384986305295581680903163138457513925015485918097129061602203890136580) * 10 ^ 70 + 1404699264245863980976303020428350620229603543115527397387105931909410) * 10 ^ 70 + 4927471744703523257007853659833026141074136126925931883523664518873188) * 10 ^ 70 + 308129073602122595306909097380268132185438311790775372380394316724064)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_135 : Polynomial.coeff recurrence5Scalar1First 135 = (((216684904283555666355927941591951445737861885798761046333313 * 10 ^ 70 + 1583137158842492033196855413330163040056309696303189208102297781064528) * 10 ^ 70 + 7219735576507939224583369972236139596264830270702459114688882161487393) * 10 ^ 70 + 8847303274160571555928380307268077213910224873880145640807926166798936) * 10 ^ 70 + 7465196568707853351029039765149322562591616408616759007095746970629077

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_136 : Polynomial.coeff recurrence5Scalar1First 136 = -((((815016138533989617020939651952553393655645141293832068161579 * 10 ^ 70 + 4246604725955702853934528557285949438124682635834440938319011409770050) * 10 ^ 70 + 8723932106567127363286049307266393430939349402416128819290993794096370) * 10 ^ 70 + 3373019212538159624046833310510615021894687624608203644599117886735289) * 10 ^ 70 + 6219195334043228866883095726940923910964822348702890569301756798607750)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_137 : Polynomial.coeff recurrence5Scalar1First 137 = (((3003060859467761171745545091066170546261557987870707380141789 * 10 ^ 70 + 5392096043412303923135904248465395276249328869593469445830116143454661) * 10 ^ 70 + 317569024676141115350671137628788575821163517973770848772187093972568) * 10 ^ 70 + 6189581558973236845971592461568478366511477830873267789044736186395385) * 10 ^ 70 + 1507534816067693755375274703971213727371570797412365895388606216212479

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_138 : Polynomial.coeff recurrence5Scalar1First 138 = -((((10841237543220153331177212837649916429368643188484464971055359 * 10 ^ 70 + 3791802504210206168026388913337060935050806206389598692868028280008241) * 10 ^ 70 + 6915545465251867357443723116931934201666275466359232848643230166452586) * 10 ^ 70 + 9428365766129909327355550885232956169124160963329326170263204999176353) * 10 ^ 70 + 8494567364329824425151109747000960026526889073810064143440758661259312)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_139 : Polynomial.coeff recurrence5Scalar1First 139 = (((38349986406900856653874143569470088989189471594971120432402359 * 10 ^ 70 + 1496937861438187759546929053774135305860552340089545326565616294437979) * 10 ^ 70 + 276694390913580408356423273070616636752345243969453151520209290416444) * 10 ^ 70 + 2204398575600363512463435217293752449572863034684057604798280931271789) * 10 ^ 70 + 8425423560110079471972565690785687177521051622903467916842046252813544

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_140 : Polynomial.coeff recurrence5Scalar1First 140 = -((((132946362243817375957154585389189973081926146191988121352328346 * 10 ^ 70 + 8506849294606331938623074870497073921980123105753950852121515580665468) * 10 ^ 70 + 3932917934727047442633687381643206593516705580137090400863609933690146) * 10 ^ 70 + 1369758892962394425779549810375224589832371446778686269307593524587689) * 10 ^ 70 + 8041099818222628227672339926855850021654583043553898598651675287454450)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_141 : Polynomial.coeff recurrence5Scalar1First 141 = (((451714812241042993826361097133995220741534735638799430395531532 * 10 ^ 70 + 3564575720086337045684415263940748054706498270441379957778947434417948) * 10 ^ 70 + 4362053607783302926218402557906064249654659655511323119508820387482228) * 10 ^ 70 + 393052814340077048559717375746913827925963178042288478194307600601014) * 10 ^ 70 + 5117216852453000677709031414209674775980691122475459250544032871799770

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_142 : Polynomial.coeff recurrence5Scalar1First 142 = -((((1504454604146525562178884838822395686995908432680208810910800997 * 10 ^ 70 + 7244953874985249270333845967157649342120990720012180679288082915313239) * 10 ^ 70 + 4641083756872187032473544400765118996883591906306243428282730774189810) * 10 ^ 70 + 317218142800139383276772188794935061329205787644264094058224128939171) * 10 ^ 70 + 7051303798519869008356428923186350368777702434022814242309870478364404)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_143 : Polynomial.coeff recurrence5Scalar1First 143 = (((4912126355947265727227052190715825434778921327947272717142118242 * 10 ^ 70 + 6003118512616539143926916107583841482248472077788897578442561431065940) * 10 ^ 70 + 9986641124293743213499424665349772830473612126514124139241250609184619) * 10 ^ 70 + 9507458978809446694046883404426633754574428515020330181228078378535296) * 10 ^ 70 + 2638925250888744197883723978663147536699966593261116817326886822633217

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_144 : Polynomial.coeff recurrence5Scalar1First 144 = -((((15724724549532022132916118370282504206606465001281149838490500949 * 10 ^ 70 + 9235734227313404591046842955798986858010675440785888502071798609783988) * 10 ^ 70 + 2941447737380837054059909060988579118038002054625434443746978194543611) * 10 ^ 70 + 7052826292386165094626422523207487044706678634628096076699660616300498) * 10 ^ 70 + 6813026819732933311358554462076932171189666868059955879140810878285537)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_145 : Polynomial.coeff recurrence5Scalar1First 145 = (((49358919732904860515409223982825430244198768752348234817072510648 * 10 ^ 70 + 9416114821156955324182564070693441519079644239488404820424907662508958) * 10 ^ 70 + 3717790329704198494640667002498473854754469753311846745907291119235062) * 10 ^ 70 + 2697709995695421134416902071657998764075079770683679383265209969789182) * 10 ^ 70 + 9438676932054630266586828178962757582438671354350424090183827522136755

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_146 : Polynomial.coeff recurrence5Scalar1First 146 = -((((151936454401947810303360538180126576250485528773057816210060737947 * 10 ^ 70 + 8239537223361282706222594540083333651805080161315465878266449540562563) * 10 ^ 70 + 2954081725155884651925733772826200640182383480399520252400290754982750) * 10 ^ 70 + 1531255030339550301980574158518111394803028602664038475600891430847884) * 10 ^ 70 + 7250080313320626800145033226299445852971567115507913973592686597793392)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_147 : Polynomial.coeff recurrence5Scalar1First 147 = (((458685922923966332039459837280227300468105928229641690927506144761 * 10 ^ 70 + 2758893882168937480980998837262048209904900484832139193339510342194993) * 10 ^ 70 + 7642358177933522570114404615468251584958952284640191014746066466164383) * 10 ^ 70 + 4278544391237327670359277684708137745829382688418890154790000056850072) * 10 ^ 70 + 7986521232014373559577576712879558445263503142791569955301279718827483

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_148 : Polynomial.coeff recurrence5Scalar1First 148 = -((((1358213279985123782293988889899015524796166128186789508106330047907 * 10 ^ 70 + 9920647166040813155886873874893851497726101098748339535007912894439454) * 10 ^ 70 + 8835998765488411365522394832385987299683328470617242193984347658452205) * 10 ^ 70 + 7071227482799984102421636400472254739521276124994315551961621616246489) * 10 ^ 70 + 6881947372259096494139657197861402065618749815503688166683591146029425)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_149 : Polynomial.coeff recurrence5Scalar1First 149 = (((3945122223911126722469154221528570405415571891411343684936107429752 * 10 ^ 70 + 4707197020759384086134420707553390219275105303143257374030001006361760) * 10 ^ 70 + 882590260505140816102279295036545359858248327552587894563195635252238) * 10 ^ 70 + 3711433511802988876552609586618497597059132977907302402188921216405844) * 10 ^ 70 + 973491756454572609665208812574369845919602908000278139919926575102394

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_150 : Polynomial.coeff recurrence5Scalar1First 150 = -((((11241711672304266960859001917478791976447276246804799003486794960269 * 10 ^ 70 + 920598727371283054379036481867232374068138500204700387129001430842137) * 10 ^ 70 + 2595744497680725502622609280651662498017283706793947214291881777548925) * 10 ^ 70 + 3264282526552990816612450476404489228445418994500871163091959303681363) * 10 ^ 70 + 1740974197383316418786029633044736936894311565668943388062424186100837)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_151 : Polynomial.coeff recurrence5Scalar1First 151 = (((31428399391978415194701859269400283831051832698061624024504639523460 * 10 ^ 70 + 9594765487688896633185562915865089191784389128671427931534109055421464) * 10 ^ 70 + 6948412833925216832777343061188445729708493145697981126436756715983387) * 10 ^ 70 + 2864017068446773374864840077864000079150164701814083878363048034361519) * 10 ^ 70 + 1362964831477024270137589651083045904358133153351990617335701800319510

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_152 : Polynomial.coeff recurrence5Scalar1First 152 = -((((86211875712058195236708033698078720711709825435534435164990643578424 * 10 ^ 70 + 7573684821167201817385781408879135428945836113728538657389057163214562) * 10 ^ 70 + 2917401906581775599400096607320459314584668936674485082369312155081509) * 10 ^ 70 + 1433378501369985525109878930034776946848319052622574568451382851788094) * 10 ^ 70 + 600623478358372055871754352696169092138956570843617249813359699191325)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_153 : Polynomial.coeff recurrence5Scalar1First 153 = (((232061417145670779178501984962002324828475171393337103867866122060866 * 10 ^ 70 + 3964021670246917761298611232831517373714605619488432687017793348033747) * 10 ^ 70 + 1033589094206774742723878031138729087411418122531846583803863039992073) * 10 ^ 70 + 4852780736016009376572668997222798102628205917571845659785787693661512) * 10 ^ 70 + 2598037317405649997419211126076895251189696484583230604403171705680843

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_154 : Polynomial.coeff recurrence5Scalar1First 154 = -((((613005915955283557561954133157781947827803601501690086586451618594614 * 10 ^ 70 + 2334767098922771017958595080548725895471611632101573346402957620812055) * 10 ^ 70 + 8723410780116562941647383909284841196075372541721770303076715840134440) * 10 ^ 70 + 3918674237244398810682415938605076159068579038081269436360793244460046) * 10 ^ 70 + 1935074159710019057235759907323495341612081195656649959147515613959661)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_155 : Polynomial.coeff recurrence5Scalar1First 155 = (((1589227288153463517932631569137087387324646588844332456245365234274605 * 10 ^ 70 + 6592502906936455492710305097287198506791500537263441223165170278310099) * 10 ^ 70 + 4139405747764539205432520943745272889994548790066519240611892474853825) * 10 ^ 70 + 4395831292134394738014430892355452880128776309810846624155766755577799) * 10 ^ 70 + 7165323042872346921508923911871537685270376534813743444893305809583014

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_156 : Polynomial.coeff recurrence5Scalar1First 156 = -((((4043892672570430983920187552402262574824847493427644682749209347770807 * 10 ^ 70 + 6323529377943601516682107073288391900672616806595862452069354391443423) * 10 ^ 70 + 5269474721420010280051424824926243683120724447189568582252273339958995) * 10 ^ 70 + 6550242692539297577404742739774192076169989761890520854707722200004888) * 10 ^ 70 + 2604106237212017680104235722702694489862776927358811478265052927383994)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_157 : Polynomial.coeff recurrence5Scalar1First 157 = ((((1 * 10 ^ 70 + 100364217989582627168939552907650594830914299638370751643743762845758) * 10 ^ 70 + 7788148923292200824233275411526183068955545053828772695568798652205886) * 10 ^ 70 + 104781632597241222747475201179647550314078107595723970728418711229375) * 10 ^ 70 + 8685791829532528627144478324196133409410765199068164416114594275918449) * 10 ^ 70 + 7398305789257237289579287955136813713697589027820483712550082759911696

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_158 : Polynomial.coeff recurrence5Scalar1First 158 = -(((((2 * 10 ^ 70 + 4764452326510125592911003121420386535562480410225904065782750769267245) * 10 ^ 70 + 2877161785379926735917723080008507483275436825038303590317440016988900) * 10 ^ 70 + 2055402615084355882894407491130972593477821061703680785970316936158401) * 10 ^ 70 + 7574709576977484336007234951759107031707487576023406932293545468778689) * 10 ^ 70 + 1226544900099526429046741390696761393250240596115780307965145502959384)