Recurrence 5 lookup certificate: Scalar0Exceptional 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.recurrence5Scalar0Exceptional_coeff_68 : Polynomial.coeff recurrence5Scalar0Exceptional 68 = ((450283811567693803582885052492081371792610225973750706 * 10 ^ 70 + 4562355321182035321475671243444329436101781083151951208396022116447816) * 10 ^ 70 + 3895611997375278994400002047175840318461231189281098789332798843263589) * 10 ^ 70 + 1148618192409539310563915563987541975632252467003412446118542346578448

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_69 : Polynomial.coeff recurrence5Scalar0Exceptional 69 = ((425097528555164424084629654844905203220994313592703580065 * 10 ^ 70 + 8047188990391260348181404078681300414155223105391938811209055490500427) * 10 ^ 70 + 2687251833114826715963116608437859216408057551810311311964265021420903) * 10 ^ 70 + 1465265055610479378269303127781369161658704456178906272656444737207675

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_70 : Polynomial.coeff recurrence5Scalar0Exceptional 70 = -(((12716219062891558392098961502157615146083501576056346011477 * 10 ^ 70 + 7240757664472329175069624105705326390153846020850963477892127606406217) * 10 ^ 70 + 4738941439305057341806927240523631857843051134732958343131329038692083) * 10 ^ 70 + 1135259294259642295503630072023429313792268013947879918700968310239734)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_71 : Polynomial.coeff recurrence5Scalar0Exceptional 71 = ((262004013758755404316478749685931059696214670076018515336072 * 10 ^ 70 + 2246124393432392290085133760793904780013552886653731719557647538079043) * 10 ^ 70 + 7778215918558920194411377724079487469277178040896415212230551476055727) * 10 ^ 70 + 8458842186666220813169712673056471870158801432675318989285774716636649

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_72 : Polynomial.coeff recurrence5Scalar0Exceptional 72 = -(((4409184032193890911697030825866517742538866702609806506904476 * 10 ^ 70 + 3994248407844463604822169729798025516596268521539959888753828813994826) * 10 ^ 70 + 3656832341353681057699423619836754038516140794507614743851942616844841) * 10 ^ 70 + 3832561304368611307143758901648117259407516964440002795528172808238622)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_73 : Polynomial.coeff recurrence5Scalar0Exceptional 73 = ((63521837361319003762051569537258066276847929923557264352175594 * 10 ^ 70 + 4512420626365190117940331442254705656088194153743985036328870461657505) * 10 ^ 70 + 8132870529445316661453189117020010360520039850353176496079067665950156) * 10 ^ 70 + 9897357994975274453158449646483933796136672145264597681547206563361873

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_74 : Polynomial.coeff recurrence5Scalar0Exceptional 74 = -(((792257593814333532100316804759798353905142356001682479536273199 * 10 ^ 70 + 8863875123942131212689283697424635764417299632968323396393503329863680) * 10 ^ 70 + 4474410139985236338897656270663667652541827310457435731015776160188334) * 10 ^ 70 + 6298580917273284560700838200903430837240301419593209943410673602570150)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_75 : Polynomial.coeff recurrence5Scalar0Exceptional 75 = ((8455380575171714340284872200207996100299784476485304005801466672 * 10 ^ 70 + 1078289049852241948153637188208954844696137839417550834571587554883482) * 10 ^ 70 + 5207056729186599482910235847052702068985034253360516425485195119778752) * 10 ^ 70 + 1490861070190499588151961047997251040671662969380849047192383231055371

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_76 : Polynomial.coeff recurrence5Scalar0Exceptional 76 = -(((73705219419138713002761268389652055891198285767658853011930064051 * 10 ^ 70 + 8409726215895668408102843377160987050062537070617318539237408835854973) * 10 ^ 70 + 8923409007748853664745024776555371976038563078276503462914154472502292) * 10 ^ 70 + 6559130805434253436040285989601688868047055642494586351933450099022977)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_77 : Polynomial.coeff recurrence5Scalar0Exceptional 77 = ((445674699684262447475556106795564446210878366694089162010015697997 * 10 ^ 70 + 4455225738301346346255412242772222477163105617071599860781324945982817) * 10 ^ 70 + 7294365087497198158214277485832221747470355926603146056151091752082914) * 10 ^ 70 + 319709455327451489843885139997945329950262032855316992991511021701255

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_78 : Polynomial.coeff recurrence5Scalar0Exceptional 78 = -(((91392200370962111984110982884762196205180663953026860512233538295 * 10 ^ 70 + 3892305344752644182845462462845855730215233693489890982850735590000452) * 10 ^ 70 + 6785667431807307367484554332458386737422000398469363813284702370170964) * 10 ^ 70 + 8009217537832823842778633038066390517194453006291136722942121089578877)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_79 : Polynomial.coeff recurrence5Scalar0Exceptional 79 = -(((47404489506935989329493302513676621895405887585700272213035802769565 * 10 ^ 70 + 9571815099229446565655547337684844411426183737432627722709364880071864) * 10 ^ 70 + 4593366092538276970766845594156401405324994330480963580351636907831976) * 10 ^ 70 + 7453448579418923346939183631961515241789443473632687128678675716222585)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_80 : Polynomial.coeff recurrence5Scalar0Exceptional 80 = ((869768065925205559836115768384077599336550674656104460117527096412603 * 10 ^ 70 + 5909982486463458919800219286971308258509621896140085426763216209687917) * 10 ^ 70 + 4383402256598880013952234859699220947267599120937824864300986281299368) * 10 ^ 70 + 716232913908362158929577354948048763495230405697005455824943677373493

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_81 : Polynomial.coeff recurrence5Scalar0Exceptional 81 = -((((1 * 10 ^ 70 + 548867463021080337964322304389569904726487990840777603691429763297347) * 10 ^ 70 + 1271350988953375519245157221143230724221232678484753035665264085546220) * 10 ^ 70 + 1884837046424683205395032039185142028237916992512658532400878866547544) * 10 ^ 70 + 5993907485546073830186300434634006539239947360858491326273273373560086)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_82 : Polynomial.coeff recurrence5Scalar0Exceptional 82 = (((9 * 10 ^ 70 + 6684945576754302243446814802942967604372356184955118481153281347623588) * 10 ^ 70 + 7692085368577055070702871210397989845930364514964719099098936700654966) * 10 ^ 70 + 889643604223085721974572324295014898308489913610778588567451946362421) * 10 ^ 70 + 7167568001373658375718718727638718511852081833327226018554516197635442

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_83 : Polynomial.coeff recurrence5Scalar0Exceptional 83 = -((((63 * 10 ^ 70 + 3209982837951522381281836076488302912558305540393804737801855244495659) * 10 ^ 70 + 2097630490718489246827152511791508821634824218035874460486708272631207) * 10 ^ 70 + 7919380203729805188702958522411879114229517973352517899134786446016470) * 10 ^ 70 + 2458230917661126737841478498260466141413828924472141524403026876919669)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_84 : Polynomial.coeff recurrence5Scalar0Exceptional 84 = (((165 * 10 ^ 70 + 647632821375360141179318700849800178766320555816662982326715976769141) * 10 ^ 70 + 2601388191527094462493186822257625649937362171728609218419251250638198) * 10 ^ 70 + 3289525374910597156601123995052159568643268604871419424581254187936529) * 10 ^ 70 + 6827625202013334458010792576920621840759533067064755167551271089892710

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_85 : Polynomial.coeff recurrence5Scalar0Exceptional 85 = (((2848 * 10 ^ 70 + 6660876136568573146220964437936093407569093199190464504663822473354292) * 10 ^ 70 + 1070189473337975004824661171410791827722420715272522611440753686660342) * 10 ^ 70 + 6564779814179212908037904690712149932014945875455225376469995758855691) * 10 ^ 70 + 9912616824796423529718355552099289473853178360409065981305074162584737

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_86 : Polynomial.coeff recurrence5Scalar0Exceptional 86 = -((((58129 * 10 ^ 70 + 8793583268041224523319183940879778244620071074917525218239856930575077) * 10 ^ 70 + 893914646111856336664699070670551144350467232292347969535024119439704) * 10 ^ 70 + 8265229784461192847593864491863233313749769171645778858923297293548667) * 10 ^ 70 + 6405409607161988473746375042558532298750235426772769896543212190565705)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_87 : Polynomial.coeff recurrence5Scalar0Exceptional 87 = (((655823 * 10 ^ 70 + 4288016340538830769037475533313854552987262458864845921604479134182579) * 10 ^ 70 + 6646150293150594145470446793641415388638315718967382704740073995082084) * 10 ^ 70 + 7817028106617128252738933152772583740868749688000512272204240625798476) * 10 ^ 70 + 8072384339038063595896633400876329476460473864548125707797995391149402

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_88 : Polynomial.coeff recurrence5Scalar0Exceptional 88 = -((((5252816 * 10 ^ 70 + 6619094643619237320607796180134060335117917311844796583080253430596056) * 10 ^ 70 + 7483519367656114663848684256057762458268279950379034670487288580235600) * 10 ^ 70 + 6951145357445940807042168494973192919925317993570804154991263163552546) * 10 ^ 70 + 4213600925816271947461379274489305153860799151231713224832718990702020)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_89 : Polynomial.coeff recurrence5Scalar0Exceptional 89 = (((27360813 * 10 ^ 70 + 7971831689297394373916174338216429001584348021075223859880152454865734) * 10 ^ 70 + 7346859667362153251446184260058280510053767218861537656807921444551641) * 10 ^ 70 + 114948680779054528150007347227541154702079413739974552578286166517789) * 10 ^ 70 + 473207218969054304755558315327734315639579930983914866847837906540909

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_90 : Polynomial.coeff recurrence5Scalar0Exceptional 90 = -((((9273032 * 10 ^ 70 + 9531903636482083899173466826407677318781014937711422350437311617245896) * 10 ^ 70 + 5117223391861319185433164575138948568252227736476079254118629830776481) * 10 ^ 70 + 9510139919922667575425756552795818048449740758275529144405892557570869) * 10 ^ 70 + 9951353293241066408931889960944859596015353932061563780690381107436469)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_91 : Polynomial.coeff recurrence5Scalar0Exceptional 91 = -((((1797787397 * 10 ^ 70 + 4710237784500413350240851017954020140113359925954168279059300049169148) * 10 ^ 70 + 6414703511455828191184657714005010826227926952307121497239005228751460) * 10 ^ 70 + 1473765396255440449560591368891848753302703449660123392519820832357567) * 10 ^ 70 + 4990469605379390168381620908603148778391595488076887584010338671754287)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_92 : Polynomial.coeff recurrence5Scalar0Exceptional 92 = (((25401575935 * 10 ^ 70 + 8436840072594208489504657689188534834922015359564691357379468013099990) * 10 ^ 70 + 3546498980070960419302388193825440144452008534244643632866682362085589) * 10 ^ 70 + 1504213080754469506400270518838165036550094211272539905245798267451980) * 10 ^ 70 + 59046994195610961989491316829264586723542778174753369911762390605460

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_93 : Polynomial.coeff recurrence5Scalar0Exceptional 93 = -((((224715438992 * 10 ^ 70 + 5855978470631471223609386998860481468942289529536471534857133923104129) * 10 ^ 70 + 2666574167131143807591573176614920202121757478699331992047465770765101) * 10 ^ 70 + 853694469888659806987107885541905684048426852958078560329901794997240) * 10 ^ 70 + 5360270696223840041642646640160655818987267690052757407356918189159179)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_94 : Polynomial.coeff recurrence5Scalar0Exceptional 94 = (((1357184354862 * 10 ^ 70 + 128372777434723431002808421013542429086267108489355971938367407754665) * 10 ^ 70 + 6967521386917735199703330050222412271043912547589907241794916924962085) * 10 ^ 70 + 6747452959084860477488718400832363030528504313890298131668374348482281) * 10 ^ 70 + 8281741155224315900525361349868507271270626258921339380323335328390340

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_95 : Polynomial.coeff recurrence5Scalar0Exceptional 95 = -((((3743440914901 * 10 ^ 70 + 6080339263138364126453634990018185382703068576576053188884675175827661) * 10 ^ 70 + 3624373095851158233276810039107259166741677856221948227260743834698051) * 10 ^ 70 + 8927274417551897373426145831954989639743063049696537391697616406432248) * 10 ^ 70 + 3702518158862084506291953677908440842018364874167971023245984859198961)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_96 : Polynomial.coeff recurrence5Scalar0Exceptional 96 = -((((33929808946245 * 10 ^ 70 + 8509513035082031643975985886861013450342310595728996569018291564057078) * 10 ^ 70 + 2980969754378291318877000420219286383361519516799418737664982313613476) * 10 ^ 70 + 4410018044991736202446329824650316159036739490949260935610557443714288) * 10 ^ 70 + 8271876885130275499818336809682697495334052509044619771390227398585737)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_97 : Polynomial.coeff recurrence5Scalar0Exceptional 97 = (((648984806411145 * 10 ^ 70 + 1644445043399511911436081411152080132598363596618610309294272462595099) * 10 ^ 70 + 7838361494477741185510378414245499148551438229633245721855246876658431) * 10 ^ 70 + 4380693287688115483329040393496966507479928073694745004250212625449665) * 10 ^ 70 + 201269784360368294063102029490017716110947904651842906124407672896890

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_98 : Polynomial.coeff recurrence5Scalar0Exceptional 98 = -((((6145553174263172 * 10 ^ 70 + 3062499027079818757413302035038027211586519234155673074930394902305722) * 10 ^ 70 + 4864902343062089102475790548237626418032888245085423244886265080645640) * 10 ^ 70 + 9702956190935034072120226573040379124653338464419488910439192912105102) * 10 ^ 70 + 1284582169888026254758049131395150804498650608524356935954923603806237)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_99 : Polynomial.coeff recurrence5Scalar0Exceptional 99 = (((39373817926363715 * 10 ^ 70 + 2990062568453677186693978472152455812289362448894062335504816417341873) * 10 ^ 70 + 1043749735679085320945110398581855802707757973807265691812276018942093) * 10 ^ 70 + 9478542092516579044010836787763914025008426903961253065000602548294195) * 10 ^ 70 + 4695205714531088326701578540974409186943251713233685519393935165936704

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_100 : Polynomial.coeff recurrence5Scalar0Exceptional 100 = -((((144263926688099895 * 10 ^ 70 + 127955936039023495062884107603347922650513219171389438802012115473975) * 10 ^ 70 + 9384749507502953279982116270269183627147265366452833183016880069182841) * 10 ^ 70 + 6151579848402157869907434444105655386485481531184715662019346534615748) * 10 ^ 70 + 9879926631401625813876118828044918670683145871206028009638293835498083)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_101 : Polynomial.coeff recurrence5Scalar0Exceptional 101 = -((((348533046506105539 * 10 ^ 70 + 4731284596085772720244320213318330914169297422339685205948558838026261) * 10 ^ 70 + 1835081193387501750720126194201783008541144676235052610086415335700939) * 10 ^ 70 + 664318963238814941850018257396177455881983512036594550799798341146348) * 10 ^ 70 + 1694512062946544556808912159548208375724513310672317237430089399473618)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_102 : Polynomial.coeff recurrence5Scalar0Exceptional 102 = (((11468840935629843579 * 10 ^ 70 + 6687489566085170862808644565141597497161177335133070127727441836013660) * 10 ^ 70 + 8630305552693247702936441933681028338408923210052446633261978222729900) * 10 ^ 70 + 4836489102736726068388272045452962342484922108535490587252223798876528) * 10 ^ 70 + 2183008579339354614400252430608860030234806204705809757658813107642629

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_103 : Polynomial.coeff recurrence5Scalar0Exceptional 103 = -((((115601426894050828507 * 10 ^ 70 + 5459827017457116117381354503932962969014248146427451317474938241942189) * 10 ^ 70 + 1852849258753282099574104857684124461298310685302220781804161305364710) * 10 ^ 70 + 819618252966899285001338933039634654498885449442543174819008959163423) * 10 ^ 70 + 6543323706595821127717114251306432871176724742418348969377879073051996)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_104 : Polynomial.coeff recurrence5Scalar0Exceptional 104 = (((766464331766672151752 * 10 ^ 70 + 8984897818682072272981559669865711348287239644592504523758971193508592) * 10 ^ 70 + 4477161200693396841641830623435796830579248081662224654629400322999895) * 10 ^ 70 + 8181990557150646759211700980189515267011649087124089253475296146190041) * 10 ^ 70 + 4296040536900867244968964638532045352746700503801202779163204408021741

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_105 : Polynomial.coeff recurrence5Scalar0Exceptional 105 = -((((3194929417398775159123 * 10 ^ 70 + 2314058352066225207963303183712925766564476891161494642491937227707349) * 10 ^ 70 + 5353052202291456293468053796779403243054001802976151360939662180357820) * 10 ^ 70 + 5224886746349362133857595485809377717082893888061594127038850965197854) * 10 ^ 70 + 2830477584574349637634581929033371285463771752228255280030708352013839)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_106 : Polynomial.coeff recurrence5Scalar0Exceptional 106 = (((333669405494952994945 * 10 ^ 70 + 2532859985177733912866866234964792805313908459121460110124882965222918) * 10 ^ 70 + 5070666247067716268180320641129389651484575384828050481222843321116400) * 10 ^ 70 + 6510431262924211618682896147408234846563890447647193268045894595564250) * 10 ^ 70 + 612977762054103838765107918848393340372146261144344490230952747084758

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_107 : Polynomial.coeff recurrence5Scalar0Exceptional 107 = (((139847493990396195450628 * 10 ^ 70 + 8431642539205721455152248778502045038060658151201242933253693366098864) * 10 ^ 70 + 1832386764497621420599085845361965858014715266044161157417193525374261) * 10 ^ 70 + 6055372522651744814009185380004321527294302105596238281171606172910598) * 10 ^ 70 + 6697077881137577724302413810046711786473747428197962351858637739288824

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_108 : Polynomial.coeff recurrence5Scalar0Exceptional 108 = -((((1537820152408543907521811 * 10 ^ 70 + 165956023128640609534030249196401837002078261974266464051335318793759) * 10 ^ 70 + 1410707736464012713111886511765780489275712320734049463938943160810150) * 10 ^ 70 + 7572214377544816304101369215520403623537745974437237568914836719838605) * 10 ^ 70 + 1830529678049933324493226328955354888741726545292848211075556162471137)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_109 : Polynomial.coeff recurrence5Scalar0Exceptional 109 = (((10577988348679406566805632 * 10 ^ 70 + 70974517335453302103582452499051113659146641691350515519224238312993) * 10 ^ 70 + 8987654099285294854936052567723935891718246194815249228998118472135219) * 10 ^ 70 + 3386650088344891887750930256552822936218341316620141396399289678235415) * 10 ^ 70 + 699426714411126199109243639636519370555312355380013733591685237701275

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_110 : Polynomial.coeff recurrence5Scalar0Exceptional 110 = -((((48437496950405817307296831 * 10 ^ 70 + 8574179387167086546827565601807308260071817780052292365357851704423066) * 10 ^ 70 + 1145825594241174549415769214673305472525604152469748524647363491570037) * 10 ^ 70 + 9723276819402675436594051957795289797026935156294035730797835439182625) * 10 ^ 70 + 9589940655244077784441059828005666125763968976866383799203546583116302)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_111 : Polynomial.coeff recurrence5Scalar0Exceptional 111 = (((79009995427251613986148072 * 10 ^ 70 + 5452919767209958158257256922796373179738957266332842102973353099483154) * 10 ^ 70 + 6482996335164314570117847525578453428766628716321414583471405280951195) * 10 ^ 70 + 1275629247514785479071409638660948826721873579571937261565918692792606) * 10 ^ 70 + 707516285555456962331904471816558535798174945329000974204254833265354