Recurrence 5 lookup certificate: Scalar1Left 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.recurrence5Scalar1Left_coeff_117 : Polynomial.coeff recurrence5Scalar1Left 117 = (((714319713236538072628544382191250417290888270580 * 10 ^ 70 + 5979521412903624359664605492486959774893027169212543163185075009323429) * 10 ^ 70 + 2517421994235235415286822638852989975228684806702045774943485076235607) * 10 ^ 70 + 2321089475303085210297574802513652310404139591991365248701011295175388) * 10 ^ 70 + 3730644440988202387430379492063964371015151597006166801290286160672700

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_118 : Polynomial.coeff recurrence5Scalar1Left 118 = -((((3996215515288252391391766066317328152038117876917 * 10 ^ 70 + 3040101972734767382918081911416988398007266089892003939576351427162591) * 10 ^ 70 + 5099779778596615394283303385777118769586105401736933717810829592133905) * 10 ^ 70 + 7664743506686028473606768884928399081137880876337967871753350626413013) * 10 ^ 70 + 7151209936575972563212927136089295779142112027528505118744676595881403)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_119 : Polynomial.coeff recurrence5Scalar1Left 119 = (((21829910096104543647209711593244958497031709208330 * 10 ^ 70 + 9421979959496315182540486770882301462925897342085550135599938582412672) * 10 ^ 70 + 6898461755623046916082416593051666758095172469449839195502411464556967) * 10 ^ 70 + 1239323363522047264790131945559679857621838074931470835235849107469387) * 10 ^ 70 + 7573082067457637345018445193086991126789973858264865514449695484835706

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_120 : Polynomial.coeff recurrence5Scalar1Left 120 = -((((116465049989450759702926081850481661601264716666998 * 10 ^ 70 + 5971490510412061743234546940692345569061070728080120906293441282508569) * 10 ^ 70 + 552075883420662527662870187826001483879909208379725578517019472126835) * 10 ^ 70 + 1589763047817784384460423807357062033090726836299198145303277950847440) * 10 ^ 70 + 1048958548451429061201479078692572276321611812836388766416037458285291)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_121 : Polynomial.coeff recurrence5Scalar1Left 121 = (((606975526115035216450812145593228894791036646590688 * 10 ^ 70 + 8942449179037640996746395023874280094420609441814455070889331634578441) * 10 ^ 70 + 7126994657480075693796923587626701735844597505030934127265941778290378) * 10 ^ 70 + 6329837136706497035401249478241971067030923132254320434951619239192949) * 10 ^ 70 + 306549877974144110139904618680087914615958860151431831990698201555564

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_122 : Polynomial.coeff recurrence5Scalar1Left 122 = -((((3090775185897463830653746791894648490404698695736136 * 10 ^ 70 + 4492625927871410772553057003648792404287740757609235406041000907994409) * 10 ^ 70 + 8107365525550363756514222864203035006994584420685231598730674300318689) * 10 ^ 70 + 2752033527397885755747979491181974559423552272136895642187090838660000) * 10 ^ 70 + 3785858714373232200427881579476756235372228135116843652135137494292178)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_123 : Polynomial.coeff recurrence5Scalar1Left 123 = (((15380508963024516214963699895626264328501252186679621 * 10 ^ 70 + 1081059086927929673527669558356956188765314445159749257902577225224260) * 10 ^ 70 + 1905587476109214002090680937782623446960051396497955640794003358460530) * 10 ^ 70 + 6925672783589503845166832978486347799195286665558481101521318462140999) * 10 ^ 70 + 8037660868129092186020250969857189896707189435778606916009942766339463

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_124 : Polynomial.coeff recurrence5Scalar1Left 124 = -((((74810939331195414248332957757716934688907127298750040 * 10 ^ 70 + 2724962951027899935059392287091521374188209700947311591537152047744729) * 10 ^ 70 + 8016714437411573677785943957030125483829040913070073848645693554049972) * 10 ^ 70 + 4659451417803062960625354043168905219768107975075262144675177165039341) * 10 ^ 70 + 9020503254409683311241699647503675626910617971870901200275366867866034)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_125 : Polynomial.coeff recurrence5Scalar1Left 125 = (((355739775368277432400773093284472018242503038737782960 * 10 ^ 70 + 5425097889313928599956290546816889768123066328941072533008674956181320) * 10 ^ 70 + 3885360460551734241072231763352671873070113731526746723676495155926316) * 10 ^ 70 + 3809224922933943053909288724035948670797138393316838403602343900840617) * 10 ^ 70 + 8415753413338598238101885566600976010439963885103401305544048398069222

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_126 : Polynomial.coeff recurrence5Scalar1Left 126 = -((((1654063927874992344540309629043530736429097716821057142 * 10 ^ 70 + 7220497026060011500129949797340364008664124373257328063773409464704966) * 10 ^ 70 + 3329878359121054779913924531804627800530193174182391318073183261819622) * 10 ^ 70 + 5646498170400066111790559063779988070881383435860629956292680347987085) * 10 ^ 70 + 5903116835670601763933507167560292116421717910121794962902062792724823)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_127 : Polynomial.coeff recurrence5Scalar1Left 127 = (((7521461076183188335199652103243019441033854082813591471 * 10 ^ 70 + 3270072244720151866279128767242262613089052868873233688416425488853638) * 10 ^ 70 + 6255670072999739764041098329977383997249377866248673025972962726222955) * 10 ^ 70 + 9165903875717186700807626605969998050073119502080578846523744850718765) * 10 ^ 70 + 6779353582419255871322863197300023302125140499460310326236974203795415

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_128 : Polynomial.coeff recurrence5Scalar1Left 128 = -((((33454739350267554475415876433141587847487058294670795812 * 10 ^ 70 + 8378950069021923022079186965080775159559642368155758960432476481989440) * 10 ^ 70 + 2169482372135754269000376688265660814815518449558310969695463888276348) * 10 ^ 70 + 5428470575871195999168584262946541827075924720694865029591287096341984) * 10 ^ 70 + 8391124623951563816491322239488021766870224171291133648354653730993123)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_129 : Polynomial.coeff recurrence5Scalar1Left 129 = (((145576766542402714546373614634658994902949137412992910615 * 10 ^ 70 + 4295784246083192737596786075694633232262550099538951646561778439744189) * 10 ^ 70 + 7638448618890342877376294173279269047422215191488516366109248139690603) * 10 ^ 70 + 7672301984798380773129837239329810465669572106979218590460140051423013) * 10 ^ 70 + 7257156987560988891410760682199215460230922531820108534447687985509965

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_130 : Polynomial.coeff recurrence5Scalar1Left 130 = -((((619836278159794830563871800171106115881608077749433616088 * 10 ^ 70 + 7684817999657003006379018111010312788144483494389739727298052091775552) * 10 ^ 70 + 6934451445923234188024317594604392715024354219699014732405756704720926) * 10 ^ 70 + 4965381892797620548536318895163194856686318630983125671060336614987390) * 10 ^ 70 + 8488324387226724181379200534984894260770233149833261976217445314566542)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_131 : Polynomial.coeff recurrence5Scalar1Left 131 = (((2582748128283868389266759715547900698368952782019481267867 * 10 ^ 70 + 6842391898242780384503138194446227705357630127090596182129365127534397) * 10 ^ 70 + 192964416471407139028104437140653135087929928754271351534818631369959) * 10 ^ 70 + 2878494757919906017748961358546199199395578774951933583508832549962071) * 10 ^ 70 + 137477927421554612834136257998909098981478303610476816169161035786413

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_132 : Polynomial.coeff recurrence5Scalar1Left 132 = -((((10533557334115519440710332509283093417124882163415045777913 * 10 ^ 70 + 4027274241043154479432708179632179424904279260465150905518770841928643) * 10 ^ 70 + 1421775620070454967721308064023745335852519747782991939150858864945251) * 10 ^ 70 + 721215767084575833028339128043569846551511988980492944247736731613656) * 10 ^ 70 + 9300595031938936799818909218458601659343437496542553800669509852971119)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_133 : Polynomial.coeff recurrence5Scalar1Left 133 = (((42055425416229195764668756651906811821172697506834260013656 * 10 ^ 70 + 3221006414793871712940376397895029144823525318292835370299326188829528) * 10 ^ 70 + 4392299179513599541468534603421072028290986291262988680964812219935552) * 10 ^ 70 + 1393611682001924743485554629873522333487292533684640165249989417270377) * 10 ^ 70 + 1824055026412353025633203390055325021357765479703780533997785893923939

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_134 : Polynomial.coeff recurrence5Scalar1Left 134 = -((((164394480443811190233442658722486455728941136594649534614178 * 10 ^ 70 + 7483454375310292153024000326323523913854930237431334744643419955481650) * 10 ^ 70 + 8777156985343505656651318148419463798052535577361807810753248457172811) * 10 ^ 70 + 1432777827239052888351978719371602741253559435139665923790332769812867) * 10 ^ 70 + 1216049544961526576670510013221124569251184136854564951500864255363694)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_135 : Polynomial.coeff recurrence5Scalar1Left 135 = (((629264524806088109929672706496485465586157185976221119419168 * 10 ^ 70 + 4765038310758223234500131014583056620845995762597327504970248372191949) * 10 ^ 70 + 8452119314875390060449739895850368991395700558568413818268114504068492) * 10 ^ 70 + 4446929823180069686308332936845149276540955676226436237349214061095742) * 10 ^ 70 + 9952989026953151984499347617288928266268259862905779718660376742429533

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_136 : Polynomial.coeff recurrence5Scalar1Left 136 = -((((2358962358343483431896504229661045266405231604367427609058062 * 10 ^ 70 + 1294197147674208027605082038353541179954741672773197831549718563978692) * 10 ^ 70 + 8131730508326772374377231195654933988235460580696512340748452857650178) * 10 ^ 70 + 285240787050915133143959696984123810629777902971208994435076054575493) * 10 ^ 70 + 2702929455301729208602504304405538364032113774246108340284582240369128)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_137 : Polynomial.coeff recurrence5Scalar1Left 137 = (((8661833669142734901316485634187093498471037882688034820817006 * 10 ^ 70 + 4844473320162749597975933963699197609585464343317442583052743323895833) * 10 ^ 70 + 4726670780000926164644522562297575384663592597298730957984175011274771) * 10 ^ 70 + 6860152479885115673227691607424293397998680065041659311152520293376906) * 10 ^ 70 + 8907323962391077633393595181724434897065466623756255617561634886840204

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_138 : Polynomial.coeff recurrence5Scalar1Left 138 = -((((31157133066833353075581156593979114803597624747985510475718684 * 10 ^ 70 + 7549219960505242347866154362190569321995830662812147375506608671837234) * 10 ^ 70 + 7750716138838074363787090544893581366197318123988812386670738132075858) * 10 ^ 70 + 27687180081060250132365828563708568553885171522441227471936278404431) * 10 ^ 70 + 3943518307105096453127353893012391340728564504281012479980342787893730)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_139 : Polynomial.coeff recurrence5Scalar1Left 139 = (((109804511532403455076605656127376180779853043684396111189230024 * 10 ^ 70 + 3924934803992636531696541785719429774220165277929385194584440453520209) * 10 ^ 70 + 9996790690031959979497439031377782133350166013225932000285735417835320) * 10 ^ 70 + 7960321660058845640382842530899958021534946719708799043988224714315742) * 10 ^ 70 + 507459027173135806349151862944559921064634570160430487353074884227617

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_140 : Polynomial.coeff recurrence5Scalar1Left 140 = -((((379186320458276688540464732902340049779193269295860174002294842 * 10 ^ 70 + 8809989718610764598273487016498539375111849254012528393636933047514705) * 10 ^ 70 + 6855474021715944411083419857065757107838960286797390482670956493280041) * 10 ^ 70 + 8514467949575379649395338334811562933400386878855469622576113471481291) * 10 ^ 70 + 8794220507851932655540282433449295958753001225810911303368090197892785)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_141 : Polynomial.coeff recurrence5Scalar1Left 141 = (((1283240930326423889233317852517069123421547017106398708404133897 * 10 ^ 70 + 8230535809659521502595871016778666321360493866835915061565397304948825) * 10 ^ 70 + 3946069567412043368495320328334961944832696226062897789372628648143301) * 10 ^ 70 + 8560491080202592738168936845563238511243536918657536646935595476287268) * 10 ^ 70 + 380305725843955187413232375232760338573302650095083590043412032832766

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_142 : Polynomial.coeff recurrence5Scalar1Left 142 = -((((4256363179280986425920282274441150210524553445827593136410296307 * 10 ^ 70 + 5680205476552452467935766702480022975444867526488014241881545382991974) * 10 ^ 70 + 698979070250444875149747951761766914766193630669818189631180974229353) * 10 ^ 70 + 8579359807444497998300425703747938904898062447147588161525809110592685) * 10 ^ 70 + 3025398633125722385032519716595076563909465209186615119419633429817661)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_143 : Polynomial.coeff recurrence5Scalar1Left 143 = (((13838676880813386568365312620441853844939675839697321932238357167 * 10 ^ 70 + 3093376132446872791141394317321628202019367565619899875592098598883102) * 10 ^ 70 + 8171268422145191174911948877798222142727332228634478116607244699405054) * 10 ^ 70 + 1563571957230051826109074945831114678902525815787832082301129962361665) * 10 ^ 70 + 1606309624539148424649138225040745290821333311653494937268984963843987

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_144 : Polynomial.coeff recurrence5Scalar1Left 144 = -((((44108776959580523064212098377518257050042716050015438410357336074 * 10 ^ 70 + 7654677230230184448494298522537024118798692720920977538679879890267834) * 10 ^ 70 + 2069048980814701516476362342067336972187012451724986868889847599805839) * 10 ^ 70 + 7110651115881297364603069286684548690055796283288506853285930385948540) * 10 ^ 70 + 8044390142789599785708293919634786390609891601839874100796069864492718)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_145 : Polynomial.coeff recurrence5Scalar1Left 145 = (((137840817776661508162988243655660213312580717965574630898255312828 * 10 ^ 70 + 8055017330787591033752404332187635688767081955540345710917613259012596) * 10 ^ 70 + 7967480966000928979619388096608573893584627510025759877603139883502123) * 10 ^ 70 + 2038805756012894031371844716293352781575588482234934104587774332796163) * 10 ^ 70 + 7664766892869405374578694470001952947509304545069570338366102580251770

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_146 : Polynomial.coeff recurrence5Scalar1Left 146 = -((((422376341811604124898634503803971174349281626747643888287612641169 * 10 ^ 70 + 5526753748324774810416482496945133749267671705984834630415113983468474) * 10 ^ 70 + 1278114995230946657203336682118182634584550852624838623752533307795794) * 10 ^ 70 + 2960410491825923135499069158806402895211127523709635028478039203138319) * 10 ^ 70 + 2342436757248896839447858547017311653019319674369927364171996644445733)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_147 : Polynomial.coeff recurrence5Scalar1Left 147 = (((1269215987282164157777271778096189212039563119674166035886260800110 * 10 ^ 70 + 7054797002902330571301389147596973694414661280570495980900610934008459) * 10 ^ 70 + 670637913697247798293059923866179015670937531444825970637499813917978) * 10 ^ 70 + 8411734928103174941528918145309920049776762657379605783111357747521101) * 10 ^ 70 + 947411661739485053823203283851575801155265067409434453585869390611997

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_148 : Polynomial.coeff recurrence5Scalar1Left 148 = -((((3740500820474360976151554001552529414013668631343997218193205295479 * 10 ^ 70 + 8190948713993936288900182786391759530231055131808037919235829865039067) * 10 ^ 70 + 6947238059638968209552864826452811062660350977932137765207271658200503) * 10 ^ 70 + 5338681225164663571576783585783197636967892020024631331083452850880540) * 10 ^ 70 + 1937476904291441232285472210669080174199355271922336583780513034811973)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_149 : Polynomial.coeff recurrence5Scalar1Left 149 = (((10812475004751850539642348958464014326502896575683149894988959642011 * 10 ^ 70 + 9176030884406389131431003474376163184276556818003732008172350289493259) * 10 ^ 70 + 6141985742446436501407648458108247579576701657993232396518552759121152) * 10 ^ 70 + 5728491833104011925033191162124900978920394651989969561117124079611348) * 10 ^ 70 + 3127252701921986123210144027639781516177076212252692586158738607779331

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_150 : Polynomial.coeff recurrence5Scalar1Left 150 = -((((30659376916064230514067623902798637599699659736321748089908139409666 * 10 ^ 70 + 4036139525628488546140683699574622667401386909945958410487339141508414) * 10 ^ 70 + 5197202606806613902828754300592768073717704882882187383958574139030893) * 10 ^ 70 + 5961903135362009019890669509650922444217585827356004109419237761781113) * 10 ^ 70 + 3053695356126120372997968928807259144992238088779653987775636705463746)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_151 : Polynomial.coeff recurrence5Scalar1Left 151 = (((85287413187602865423668005165288285478738788995525740904196131274357 * 10 ^ 70 + 4264365144679498091492357510700273272978731152482788936369273056320400) * 10 ^ 70 + 23829194138631865878259663408658554803566316157757354575059335600613) * 10 ^ 70 + 3630025488983700424444164569269580188352023480092837625545527310409059) * 10 ^ 70 + 5932571262227379847493745455260586701238060012981597402062442877622221

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_152 : Polynomial.coeff recurrence5Scalar1Left 152 = -((((232771292699691051027661358639878857586740279418125386269115129240226 * 10 ^ 70 + 4795705159071663053903603909795837351468422300527659951853501018214129) * 10 ^ 70 + 6885407420749797226286530235895311587973375792184595200030484460679258) * 10 ^ 70 + 8838366113465440835299185557151139075704021205986186246561547114073569) * 10 ^ 70 + 5165750116924181522161328434326053451427737948529328452603706854679451)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_153 : Polynomial.coeff recurrence5Scalar1Left 153 = (((623354517703126204978602253953472602208284961866955226508141158310641 * 10 ^ 70 + 6499793479243096690755468452011147479723556333052161824881883656805716) * 10 ^ 70 + 7563335302345262370488291670824652268409985146276297787035776502837616) * 10 ^ 70 + 1380235367719530910719739713499177176364822021451847638780069072273138) * 10 ^ 70 + 6235556740172030026029868734795311386656712519238485904600979647078187

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_154 : Polynomial.coeff recurrence5Scalar1Left 154 = -((((1638095854719201474149139298841170667136738651122954946083404070296745 * 10 ^ 70 + 4108465873599913811497042546601535263539494941343438960374822986626427) * 10 ^ 70 + 7740090620652359888595347694558046220832603990930886545181626738446588) * 10 ^ 70 + 6422148610300002864976157833015376405579869152369157621183349884914950) * 10 ^ 70 + 1288198052953840967318677274003888418903794282715515900051039771354624)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_155 : Polynomial.coeff recurrence5Scalar1Left 155 = (((4224528683271677953982320069647581952312531132999715084719624540437269 * 10 ^ 70 + 7795628158438697341307023933314512333787748735064450317871473403000879) * 10 ^ 70 + 9723486938359011102890384633965243380414782598108618424102809645493889) * 10 ^ 70 + 5665585630129782281472447508370288405067254558216065276178504101275678) * 10 ^ 70 + 221801389524434122158528719417620863347714717428071662489431736610173

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_156 : Polynomial.coeff recurrence5Scalar1Left 156 = -(((((1 * 10 ^ 70 + 692695190216115861727300138034053852760516586840529121075852688440867) * 10 ^ 70 + 1922086447431601454744201609683113276768869177218322835696524213808225) * 10 ^ 70 + 6933129116982337227030408738094937276067047257634435974364161492491331) * 10 ^ 70 + 7972172378322094299557636354160416616849192817837326219779671156140042) * 10 ^ 70 + 2060217258458344715689864159158328978274820915326961864468784048033214)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_157 : Polynomial.coeff recurrence5Scalar1Left 157 = ((((2 * 10 ^ 70 + 6564417487005932959052680823831639191117452438864661909840030608096683) * 10 ^ 70 + 1848560188352712003712858589660158586739541531362858205543106223164812) * 10 ^ 70 + 5214907409745780426723167053156049069088565050681015213444185390308609) * 10 ^ 70 + 2048181389512088857412871691987402530745196465930490219907844293249255) * 10 ^ 70 + 6113023661716647766168322352015653003054850405532128547952467542436280

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_158 : Polynomial.coeff recurrence5Scalar1Left 158 = -(((((6 * 10 ^ 70 + 4781473426448542499540339301775731768803198800572587959989268065952729) * 10 ^ 70 + 5384334258683887679650000464278961943842494952969568133605747656648893) * 10 ^ 70 + 9319888167659992056131490120557245296655499372794193508239432322065859) * 10 ^ 70 + 1237164878919391897472611270378166161300964375687793856617436977368355) * 10 ^ 70 + 4821844940251872432508357738604161359672897243615593064540109729984922)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_159 : Polynomial.coeff recurrence5Scalar1Left 159 = ((((15 * 10 ^ 70 + 5085437390052220541777008164685354195017804905182567470296746916323477) * 10 ^ 70 + 5038537201144752057582825083027604834361001174146030553486302746474768) * 10 ^ 70 + 5819433449511886060964747239320303494288441823173495120057241974954604) * 10 ^ 70 + 3978508480488400036392119903664328930027623527147980197840238290774673) * 10 ^ 70 + 378234137787558377103706598505297951233503304619946295434610126012734