Recurrence 5 lookup certificate: Scalar1Exceptional 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.recurrence5Scalar1Exceptional_coeff_68 : Polynomial.coeff recurrence5Scalar1Exceptional 68 = -(((32700736823989292671628911927329542816298137187156281822 * 10 ^ 70 + 824340296406357620565176400023672491948916575368181940347179461126637) * 10 ^ 70 + 9559828681585896160524140597384817584919601036805348467014218993976779) * 10 ^ 70 + 9091391588752309700341491888413902125257397739644688696510008168571496)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_69 : Polynomial.coeff recurrence5Scalar1Exceptional 69 = ((1407613398297249233794312520592396518118234445229911486940 * 10 ^ 70 + 3917052920367013334809404835679655421797200905869777792356894847255288) * 10 ^ 70 + 7145512739149371132812200686715296714095713048761511564598174335918666) * 10 ^ 70 + 2130199546501426360687713988344339291339384392599333964418277119074667

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_70 : Polynomial.coeff recurrence5Scalar1Exceptional 70 = -(((32770567214861415127870976708981821691145751236398464851939 * 10 ^ 70 + 6571143695654959567329515530079071274853873025317606689981232973193075) * 10 ^ 70 + 6613029287461221584925672726110332543200835291017225894440869755406587) * 10 ^ 70 + 8834246719423663872684232013301623991281880527762829491545032285313156)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_71 : Polynomial.coeff recurrence5Scalar1Exceptional 71 = ((595005966879994277414201258238337710830648872076143281524870 * 10 ^ 70 + 1369862019987742169809815161028244214052748851085952538749127548413558) * 10 ^ 70 + 986503599688145046862778365071778272565197295460185680268937522961630) * 10 ^ 70 + 7665182951190264482593832238719683471648799066831938797661838862103354

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_72 : Polynomial.coeff recurrence5Scalar1Exceptional 72 = -(((9111871454999654793732638558602536148246109658415650541248184 * 10 ^ 70 + 4913858002820397498232895966271503032609171991739604977584972281061320) * 10 ^ 70 + 6467136969030960032184663306895368546050193269348407649898357211142851) * 10 ^ 70 + 9808551687766091073310302653476703426217994836683484769216668679036265)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_73 : Polynomial.coeff recurrence5Scalar1Exceptional 73 = ((120395864107752178829493663986296976740319344980413079436271939 * 10 ^ 70 + 8864489705454567321536900175051837140364433327221446529227022354557829) * 10 ^ 70 + 8760078334644740738963732979724190088288174095276466900510162785055861) * 10 ^ 70 + 359991094871642069162931996881883011419442883462855856508767597030537

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_74 : Polynomial.coeff recurrence5Scalar1Exceptional 74 = -(((1368807890722192713124317018962530682832924260499101381179352791 * 10 ^ 70 + 4908414333698085601796815214425555995232136216954345543019052061624448) * 10 ^ 70 + 8261031715394363612769738220501285316329469157724859248459055856096676) * 10 ^ 70 + 3499658923106636375886021979218077433960167565711647878706463502428041)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_75 : Polynomial.coeff recurrence5Scalar1Exceptional 75 = ((12988430382333403469331436378028222572929919025587223587764223205 * 10 ^ 70 + 6783481211122049037823984767933841884629748981019602932714460330237620) * 10 ^ 70 + 4703317688098507580742662259654488851222517497970102798076097465593420) * 10 ^ 70 + 1096700500200223498976643838767467009547875618506507689675994050226097

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_76 : Polynomial.coeff recurrence5Scalar1Exceptional 76 = -(((93033855934839639938618695869396585065083653692824698099387892870 * 10 ^ 70 + 4128007420695922829043831002346250423084295045528405254414842294864824) * 10 ^ 70 + 2779527667049118538780553411791793475387318099200826947704210966200953) * 10 ^ 70 + 4293687200173551664717423006294013163026647095600258137225005163148624)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_77 : Polynomial.coeff recurrence5Scalar1Exceptional 77 = ((286495173233444817893884600406184097989938463114397071468811062255 * 10 ^ 70 + 4284241126507628747508632823752483885974107855330655865660022368040892) * 10 ^ 70 + 2727237866782912260470940856476153341055600179814245806621817392030288) * 10 ^ 70 + 3168607164528525481115621466695881138230824619144990328194669243693197

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_78 : Polynomial.coeff recurrence5Scalar1Exceptional 78 = ((5042742815698174498974596087699408816598513968262890339132401604605 * 10 ^ 70 + 2626874099757417921553444523074725100199748522861412497605638451009245) * 10 ^ 70 + 7784031623629964045821388868601125252874192778579047301928913473753644) * 10 ^ 70 + 595797974581885683916000811669314277890405450285508809294789014071055

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_79 : Polynomial.coeff recurrence5Scalar1Exceptional 79 = -(((123326240875527218484854311363762663460414794734162475422027368430236 * 10 ^ 70 + 7396879610722475293556587258838294904965831441823783815714138623643386) * 10 ^ 70 + 9150846128195083320747972488058865652864642697553577559999866538924784) * 10 ^ 70 + 2744495938381316349353327221084041284812106282715762493083780933745806)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_80 : Polynomial.coeff recurrence5Scalar1Exceptional 80 = ((1678816512432407676833413995363229594325824163396115990887914025708428 * 10 ^ 70 + 7532429431027276230806921515959244627574338500808660004553336077183511) * 10 ^ 70 + 8592196417946892410088722190775917895467569649798902839264258435644898) * 10 ^ 70 + 7280155433542121235823990587409024524228169124314066201707089567475728

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_81 : Polynomial.coeff recurrence5Scalar1Exceptional 81 = -((((1 * 10 ^ 70 + 6922695535470573150576803878301889797705085222176418850924433181558350) * 10 ^ 70 + 9082749168681117002316584645718998428078176284392412730428743689795090) * 10 ^ 70 + 3341533166404576089738735663121481133007867001319658854228366017683758) * 10 ^ 70 + 3297128547012616400878456102865122098571710227806266852893065272509199)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_82 : Polynomial.coeff recurrence5Scalar1Exceptional 82 = (((12 * 10 ^ 70 + 6405973664441033968533242787365113227394014324147252375737060832516092) * 10 ^ 70 + 2878721086862123380619702871725868909723134446179160594773070844075493) * 10 ^ 70 + 9820845201780734356002088364244312206270963362413483132278448877729481) * 10 ^ 70 + 8154964054779450721428030042292507196035875863158383499568009085110760

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_83 : Polynomial.coeff recurrence5Scalar1Exceptional 83 = -((((53 * 10 ^ 70 + 6110934701900878355548094033025372362080096039560223114966954668973732) * 10 ^ 70 + 3506246564173129977085196875017081229693203406283485006407474317825825) * 10 ^ 70 + 5922039873913385521463656925114104457317854445809207149020400019451230) * 10 ^ 70 + 4780703414641513812741708473362967853858693631957263454391299591989449)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_84 : Polynomial.coeff recurrence5Scalar1Exceptional 84 = -((((249 * 10 ^ 70 + 7096699009128036354368223486575326625226163761934286976936865541400335) * 10 ^ 70 + 7670918457830566620079956962588849317028866971858457456445053261099428) * 10 ^ 70 + 9691111593772565693138984598817911902968519340945298615278111885382726) * 10 ^ 70 + 9622314267299172639063019640499973841855466333989664213363790952943461)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_85 : Polynomial.coeff recurrence5Scalar1Exceptional 85 = (((8458 * 10 ^ 70 + 6741081266654961401048323632681740060234110897390588031228717386389839) * 10 ^ 70 + 121143892840510675964160382273742140135812082137642881217244292631075) * 10 ^ 70 + 5231446099038627944902434728216613588211863363574479412985029709719962) * 10 ^ 70 + 6604835031728876097405312628391128214293299800368980899040737949689774

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_86 : Polynomial.coeff recurrence5Scalar1Exceptional 86 = -((((109332 * 10 ^ 70 + 7302755125102849499176220526181899303670646704248587920752170257778446) * 10 ^ 70 + 1865640763689585331590369568209014929651545298761728199931143861390770) * 10 ^ 70 + 2962821445065095185482277982892536859574194794941937210458181166015512) * 10 ^ 70 + 6908213230452842893920250248761258338101205930646866833151363997296637)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_87 : Polynomial.coeff recurrence5Scalar1Exceptional 87 = (((973286 * 10 ^ 70 + 2511835452023303555653359269675757889131796520391437871402932826269566) * 10 ^ 70 + 2140224398903429693515253821545462473978236124788590128387799538727192) * 10 ^ 70 + 2853165376650027867100001734920902155231859358482870737340627963239846) * 10 ^ 70 + 3224468263593498564241639426558500352382650202938772475460120410233479

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_88 : Polynomial.coeff recurrence5Scalar1Exceptional 88 = -((((5964603 * 10 ^ 70 + 3923350988528435030256034863496550378531799434341694975571227186629840) * 10 ^ 70 + 3719038678198772847258540097545204264412272942671506110026472103448093) * 10 ^ 70 + 6129018055008642895374480926363253007475228647642740279369884598344599) * 10 ^ 70 + 5926973027072459141999888893284484753126959724616231237492576836790416)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_89 : Polynomial.coeff recurrence5Scalar1Exceptional 89 = (((14109451 * 10 ^ 70 + 2981999984193036973911131628450996819467020023928985992994134197152261) * 10 ^ 70 + 4652774288835937508051053866365890290170307486541315404911352144051659) * 10 ^ 70 + 1556052152157953313258226822249476119376295681149568378182505924820824) * 10 ^ 70 + 5694440931730115848554690083681088846970996226041563012912896064819151

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_90 : Polynomial.coeff recurrence5Scalar1Exceptional 90 = (((226387168 * 10 ^ 70 + 4557612000503431930310285303931637722121661141512921750198422783739286) * 10 ^ 70 + 5434761709745553356925299393801221318321166008565492104378572485336383) * 10 ^ 70 + 9580197180440932411894271478946939349453319899623572614774957629416427) * 10 ^ 70 + 8664700929759834811293117333751797840432313747304687856070845135798650

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_91 : Polynomial.coeff recurrence5Scalar1Exceptional 91 = -((((4109652410 * 10 ^ 70 + 9714157789385574494356873103613924907729689290188704592408255229397663) * 10 ^ 70 + 6378295624259598077079618404140319576226936795920035959662362538034483) * 10 ^ 70 + 6210240290667766039083975586874174322717824775463055886868942893013474) * 10 ^ 70 + 7145505117265532863080135614016869865950746661233112555898433125476750)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_92 : Polynomial.coeff recurrence5Scalar1Exceptional 92 = (((40713204613 * 10 ^ 70 + 8054031082145168995325073245672242878719228926117554978738473237303488) * 10 ^ 70 + 4305776593337356165805330999075675259265599402955839623046367813277512) * 10 ^ 70 + 7638812957799528196994588890921142662079980549337091837504449191716249) * 10 ^ 70 + 4118491435999260158494831283768504945977833574476766811424633977272410

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_93 : Polynomial.coeff recurrence5Scalar1Exceptional 93 = -((((276949623163 * 10 ^ 70 + 8228276995753063155083044238874070370410146065012758604376253671233366) * 10 ^ 70 + 5577245193064919940822476770626304875383155959378775159860844614890690) * 10 ^ 70 + 480980054574944606292359804963032505720595732949376587938065479269325) * 10 ^ 70 + 6123304851496563660489478883337047752801456959649583374987899687002357)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_94 : Polynomial.coeff recurrence5Scalar1Exceptional 94 = (((1071754145272 * 10 ^ 70 + 6985150094018692393299081766800252105656272371381106475018268735840401) * 10 ^ 70 + 2946003004304434476291357945829804138637645753765724706154679051602407) * 10 ^ 70 + 8566822056876807124988006807439093322965458155746303496202057227748357) * 10 ^ 70 + 323295377299481263112844899774348932278108098510725287864135341808281

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_95 : Polynomial.coeff recurrence5Scalar1Exceptional 95 = (((3087363972821 * 10 ^ 70 + 6290082649221992685129823910319950715250256566507996350631119729988888) * 10 ^ 70 + 7739239657597311834748201234266860597898951460323932006216485426719861) * 10 ^ 70 + 9274147647895431373562994535786246447796762564792886342151371076007670) * 10 ^ 70 + 3011370695823736670620648999712446862421255655369123151392871320128004

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_96 : Polynomial.coeff recurrence5Scalar1Exceptional 96 = -((((102747967806281 * 10 ^ 70 + 7162303153994085005510014008917102072841233864263852723879952358919450) * 10 ^ 70 + 7880022029969355518294833308256254658211408483010127705694811447749363) * 10 ^ 70 + 228561620189296311521731590349584221382309912452651425071838249802391) * 10 ^ 70 + 5956183394998156053995194556335801942774419762324346510441328194427381)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_97 : Polynomial.coeff recurrence5Scalar1Exceptional 97 = (((1105774593345501 * 10 ^ 70 + 2611325167549942691471405870589223859965590890268133368604476702823476) * 10 ^ 70 + 3986048180560811799040631279243241387034309484287682086196086088479721) * 10 ^ 70 + 3271786262235452040165874398364332307950070251688970525879124271275978) * 10 ^ 70 + 1351663208352625852496686241021717792044523449307954506521238033273072

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_98 : Polynomial.coeff recurrence5Scalar1Exceptional 98 = -((((7850380673104022 * 10 ^ 70 + 1611781734708190504324165683986276842415795041115959992763763029424484) * 10 ^ 70 + 3854887245008001227777793810442033951887148158962182603772630661996330) * 10 ^ 70 + 25013627727812867553964528265778901647441481003363666923985701796709) * 10 ^ 70 + 4024488292116142363403666975283058976873428137368268049946795803032925)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_99 : Polynomial.coeff recurrence5Scalar1Exceptional 99 = (((34943391097874687 * 10 ^ 70 + 8881835443300563031568508906528444708436988281628738443348442058247567) * 10 ^ 70 + 7781451673680303725728942331835245578135556041971732456110042202023680) * 10 ^ 70 + 74217865641774504925822021713026463314125129977197309373514967458274) * 10 ^ 70 + 9543229406030538932617652825029916614102470818885121040473387806299278

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_100 : Polynomial.coeff recurrence5Scalar1Exceptional 100 = -((((1675270252282687 * 10 ^ 70 + 5689279696054932901033208827129000913789127054677362635435967473955027) * 10 ^ 70 + 1656817322080374171467416526455609891541095197917302759106056070523629) * 10 ^ 70 + 8695746513737243071491042054035709648137340689300253531983166816186037) * 10 ^ 70 + 8361531663040156384005491431735523705470449879484145477354484943705822)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_101 : Polynomial.coeff recurrence5Scalar1Exceptional 101 = -((((1780755560767344350 * 10 ^ 70 + 3675719837619351817858971998898777001337569092103885033412375281255132) * 10 ^ 70 + 4247975687738813258163113981609632255486001144199459088943024733530380) * 10 ^ 70 + 6692898708014362121554918174414178272996637834440108441492636600202620) * 10 ^ 70 + 2852471057866316800691285771274778136043971745428431069984766625295)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_102 : Polynomial.coeff recurrence5Scalar1Exceptional 102 = (((20767756480648525422 * 10 ^ 70 + 8871809616449855039402547928929038448140093087855127601230873266757679) * 10 ^ 70 + 7715315101314024934928879539999207072010910174719310916306270874097007) * 10 ^ 70 + 6625785260297921962356638441057238245632292453605095477554318144594581) * 10 ^ 70 + 6166884293647070563119115296421748847031996794312553949862009824504548

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_103 : Polynomial.coeff recurrence5Scalar1Exceptional 103 = -((((151030719449605047852 * 10 ^ 70 + 6188484942030357625175269894023908398380645678787203420986875344984564) * 10 ^ 70 + 8057855525891529420680722983894437802026002910934685758144646616159095) * 10 ^ 70 + 7760254176776570456717099685851719594195128195863829172813488291776340) * 10 ^ 70 + 5461475852905925635101182338135767002804888228837235944407656090877504)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_104 : Polynomial.coeff recurrence5Scalar1Exceptional 104 = (((720286034819177011780 * 10 ^ 70 + 1563788726014345126932206891053321268931546241463388226980127962671165) * 10 ^ 70 + 549567122280016608929334797521728500675267100346114247732562390212082) * 10 ^ 70 + 9481722423901429196577481669372092154012001628786478108691471767275164) * 10 ^ 70 + 9529873908999145400780120025728364379994502398011920157664329866429640

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_105 : Polynomial.coeff recurrence5Scalar1Exceptional 105 = -((((1041665827222959649853 * 10 ^ 70 + 817323699610949924514261489533606773442990382449641101582222869635821) * 10 ^ 70 + 1971579144412820390970523907485391906381596326851346605600612056998132) * 10 ^ 70 + 9725733821076060180489275246542202033002492820830278827074398408239674) * 10 ^ 70 + 2858039058105128395541069852706627494599656184994140738054341869703759)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_106 : Polynomial.coeff recurrence5Scalar1Exceptional 106 = -((((21072083493031114678477 * 10 ^ 70 + 3085738915650387846483567375658721168352963714489055365427002162372244) * 10 ^ 70 + 2635588003294260585722578122167516746879869196046269172626566252020025) * 10 ^ 70 + 9716643479772337473914260020792069446011645106703051113913489432187737) * 10 ^ 70 + 7021203714792257172222589297685488795966651733409527867162798032624641)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_107 : Polynomial.coeff recurrence5Scalar1Exceptional 107 = (((275664257371584778877742 * 10 ^ 70 + 8082574692273968980403144905935008049433540444227615267881028420827203) * 10 ^ 70 + 8634748894910759819984844472592205538369849288826080575537208642828912) * 10 ^ 70 + 9087339131680461725504045280003067459415681622064403950583706229020906) * 10 ^ 70 + 2511738340454421986367670960045384150745900389057115631793365123852560

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_108 : Polynomial.coeff recurrence5Scalar1Exceptional 108 = -((((2064169865066398360915621 * 10 ^ 70 + 9478974075216908378837795968545700052633673315768764943062669731157797) * 10 ^ 70 + 8028844273084661745264257098154698473092076269261530579262590934139552) * 10 ^ 70 + 5549025594648614032517639375177595551237452334798739933030328506631204) * 10 ^ 70 + 5920242615711156227645714455437518187978499569527517107301768132775615)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_109 : Polynomial.coeff recurrence5Scalar1Exceptional 109 = (((10421537672600118215204653 * 10 ^ 70 + 467846866782045192818007912526373944476739066278028325551580333947845) * 10 ^ 70 + 7745542627082822771944293491374614148501711992514194127446274507787229) * 10 ^ 70 + 7866261360161836495422003992927879306610465327758995020001287232350394) * 10 ^ 70 + 9978778132787709026859692814721564052983912346196786664966848367045159

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_110 : Polynomial.coeff recurrence5Scalar1Exceptional 110 = -((((25239293514665926681132550 * 10 ^ 70 + 6184572951211572853797436765553374797443503098801940583304620191400102) * 10 ^ 70 + 4823511441702880213696138904550550067537474219568395914118692423935659) * 10 ^ 70 + 3618621939886756459391046601660121429684346598731938089846858971497600) * 10 ^ 70 + 8471673899870159259802815291173454485051903698945281760671897472204683)