Recurrence 2 lookup certificate: Scalar0Exceptional coefficient convolution

This is a checked coefficient-lookup shard for the second pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_91 : Polynomial.coeff recurrence2Scalar0Exceptional 91 = (8244 * 10 ^ 70 + 7466546627003164644441533209729894477064633925673027283791930755905081) * 10 ^ 70 + 7134505532884901583577088599303942791068471175060152164419253327761000

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_92 : Polynomial.coeff recurrence2Scalar0Exceptional 92 = -((43436 * 10 ^ 70 + 1734285762278904239081806421709848371447731505214302818733230804940815) * 10 ^ 70 + 6680445403477677953327057934488311560001533479573609101252312124610765)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_93 : Polynomial.coeff recurrence2Scalar0Exceptional 93 = (222982 * 10 ^ 70 + 9408618583093570542209745818867230520025357190335352907145225234227190) * 10 ^ 70 + 1220953244555484218147133070554062810408989698817781536544098586478497

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_94 : Polynomial.coeff recurrence2Scalar0Exceptional 94 = -((1115820 * 10 ^ 70 + 9458787480928647999265974267191852804936408264686497416044274960362780) * 10 ^ 70 + 7908504932267100669089857203121898400206654500973040920939887755003986)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_95 : Polynomial.coeff recurrence2Scalar0Exceptional 95 = (5447514 * 10 ^ 70 + 6993782841672741276485118331282737907073575786004791594837585911542560) * 10 ^ 70 + 6775543112162388674949098065979092415408478060150924988410552298644788

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_96 : Polynomial.coeff recurrence2Scalar0Exceptional 96 = -((25968081 * 10 ^ 70 + 88218219102055688966289889629806076643733479782584959637381064040430) * 10 ^ 70 + 4178111804130038088906272249891841864275489870839188329094871993027739)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_97 : Polynomial.coeff recurrence2Scalar0Exceptional 97 = (120859030 * 10 ^ 70 + 909074984698652715801187309602469237263843366914619377793917657138894) * 10 ^ 70 + 2981534754139039276755076626695062310654999935782782183800840182182035

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_98 : Polynomial.coeff recurrence2Scalar0Exceptional 98 = -((548559412 * 10 ^ 70 + 952532983962614419996006366190714310655304089974337813644611260894282) * 10 ^ 70 + 8316589355395712656216181740863065735706420641608731042476472326417090)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_99 : Polynomial.coeff recurrence2Scalar0Exceptional 99 = (2426022399 * 10 ^ 70 + 9035895811266443952700930484034962993536350124456297362099534557921245) * 10 ^ 70 + 7771894193000757819434703887073932871682986842881799729188807801599043

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_100 : Polynomial.coeff recurrence2Scalar0Exceptional 100 = -((10467918377 * 10 ^ 70 + 2929662841025354173229720081300937731062394337550236465068653309506161) * 10 ^ 70 + 7766584779581695300070798935519996613755091314628826151710571427888390)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_101 : Polynomial.coeff recurrence2Scalar0Exceptional 101 = (44230868847 * 10 ^ 70 + 8265154222990310338977854038460052706945168246255663988258368465118569) * 10 ^ 70 + 844579958197995178882940218893604722422342539866279298856870271155010

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_102 : Polynomial.coeff recurrence2Scalar0Exceptional 102 = -((183523561676 * 10 ^ 70 + 7547264852561661529050745375130710949074472216500493152358356772365363) * 10 ^ 70 + 7676970856582394394517757990984737400952168458276648728130511597312828)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_103 : Polynomial.coeff recurrence2Scalar0Exceptional 103 = (745479946032 * 10 ^ 70 + 1677041199497737004499413640887992046478237349488830777000482323519957) * 10 ^ 70 + 4123200668156458643889489004716972789936518199462743722851179026768583

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_104 : Polynomial.coeff recurrence2Scalar0Exceptional 104 = -((2937574636206 * 10 ^ 70 + 8637912312872544408034948590931257395130582525338642136101801864933039) * 10 ^ 70 + 4042462657883307571704285672133337737392031949618203012163181877726848)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_105 : Polynomial.coeff recurrence2Scalar0Exceptional 105 = (11155304427744 * 10 ^ 70 + 6386725751141372604606247185461254513733627329756510926464987080997801) * 10 ^ 70 + 3945453841036943572371499592810733597877542400143546014072190849884393

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_106 : Polynomial.coeff recurrence2Scalar0Exceptional 106 = -((41208918398607 * 10 ^ 70 + 7998397600089045824510258322806711502739226282541583663312917937080288) * 10 ^ 70 + 8585398578926635753814068024587196044208164322510491680566061853912515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_107 : Polynomial.coeff recurrence2Scalar0Exceptional 107 = (152404086705666 * 10 ^ 70 + 209509243039806865509164145679722660941831448542694541627563308550575) * 10 ^ 70 + 5733862879400573038641613322187564797002506047550581042935375518523092

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_108 : Polynomial.coeff recurrence2Scalar0Exceptional 108 = -((575797191233540 * 10 ^ 70 + 8920455062492795649849690670083246319596244266268851527074761429559066) * 10 ^ 70 + 8207637850948713350610818208703697643509730910639134566232254279429688)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_109 : Polynomial.coeff recurrence2Scalar0Exceptional 109 = (2151999922103478 * 10 ^ 70 + 6873347445860525403492658022239660922370949816341113072723805884494950) * 10 ^ 70 + 6799307052730245730682930813858354247030870525508285196634856531513690

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_110 : Polynomial.coeff recurrence2Scalar0Exceptional 110 = -((7331256871988798 * 10 ^ 70 + 1417193716988940276330702906461451428365214599254132487809510069932925) * 10 ^ 70 + 1953491421247188145651750791490122018212896876085971192737752630903993)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_111 : Polynomial.coeff recurrence2Scalar0Exceptional 111 = (21062557440676711 * 10 ^ 70 + 5880111121041215833796028356128695541522984404009543023975932862133799) * 10 ^ 70 + 5999365829381617014234319980340177693094168006610141580513000325719461

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_112 : Polynomial.coeff recurrence2Scalar0Exceptional 112 = -((53440812195420103 * 10 ^ 70 + 6323498579605404581590066844419582660761850464343307222064524141634115) * 10 ^ 70 + 4478492206205108821718760939243103369089404888534524839981031190560416)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_113 : Polynomial.coeff recurrence2Scalar0Exceptional 113 = (185772493080352343 * 10 ^ 70 + 4136684373908749498841730203843115408451841782721311343919333618702187) * 10 ^ 70 + 5444950624712019208212846374166317795856579675106032270546639242462087

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_114 : Polynomial.coeff recurrence2Scalar0Exceptional 114 = -((1058163501593597954 * 10 ^ 70 + 4517041150352752654580080981801604120132332917264667097069223211315517) * 10 ^ 70 + 9239127227692664230766110633988107093882720766949275812272346313390843)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_115 : Polynomial.coeff recurrence2Scalar0Exceptional 115 = (5326147766503306395 * 10 ^ 70 + 4104188151459381124378432924110883504097889204911231186010163554307322) * 10 ^ 70 + 2132016743455651478613657066536799640442942991266409353252070657397213

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_116 : Polynomial.coeff recurrence2Scalar0Exceptional 116 = -((15140849441129168855 * 10 ^ 70 + 5582792758516999582083535439326928661675414537778797603090434602084652) * 10 ^ 70 + 1863251391010127261789063323179558137170340637732154342668187059718289)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_117 : Polynomial.coeff recurrence2Scalar0Exceptional 117 = -((8342639432741241378 * 10 ^ 70 + 9274795319750258999035986531372180513168094126107880813458116582340307) * 10 ^ 70 + 3285465703354912190409510966388999078666351957993919860175422922651028)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_118 : Polynomial.coeff recurrence2Scalar0Exceptional 118 = (268249626136130507718 * 10 ^ 70 + 4758427950963961390120395085236967859925519085068623152835433062127059) * 10 ^ 70 + 1009779644116315199791468894813940574945604752879086762161676145787948

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_119 : Polynomial.coeff recurrence2Scalar0Exceptional 119 = -((784025546701886549948 * 10 ^ 70 + 541883876053168078206370056879256684343786630279362080904451348355253) * 10 ^ 70 + 1489417217177990929998112256987433061363237977087118135270062192276821)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_120 : Polynomial.coeff recurrence2Scalar0Exceptional 120 = -((3094343635302802634880 * 10 ^ 70 + 3864168035396323052464984651684944429758737821151313641526811451262822) * 10 ^ 70 + 8799795684925341122683628333303471174180343304460343816929279884925648)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_121 : Polynomial.coeff recurrence2Scalar0Exceptional 121 = (35261530109338293807169 * 10 ^ 70 + 3987911753254155216491425374153836707805516553517577451320520270176244) * 10 ^ 70 + 1981839842980001029664194154752757230010971432778459952283867708297651

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_122 : Polynomial.coeff recurrence2Scalar0Exceptional 122 = -((116726911320983023710397 * 10 ^ 70 + 3795098374158760918984305566698428752549126711373037028672674234497155) * 10 ^ 70 + 9035516865367256996622966903819594256665330726992884915192650523927400)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_123 : Polynomial.coeff recurrence2Scalar0Exceptional 123 = -((133714210380498168157799 * 10 ^ 70 + 8068916941503869531964679455845056636031188612753302249001311240792757) * 10 ^ 70 + 3272232291731532150182507652396114920176964945825183290383498065665632)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_124 : Polynomial.coeff recurrence2Scalar0Exceptional 124 = (2962456475622330422956408 * 10 ^ 70 + 3705861816983293226181543453360613849376908432774522994609091105857377) * 10 ^ 70 + 1656080806853644962696874386836428773052443349314767406429655172315912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_125 : Polynomial.coeff recurrence2Scalar0Exceptional 125 = -((11694802976005818300440849 * 10 ^ 70 + 1874967686419187086278012570284746035140887340922183469476415525047534) * 10 ^ 70 + 6243708060733186814622482403854673626495008354613283659955555829344676)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_126 : Polynomial.coeff recurrence2Scalar0Exceptional 126 = -((726141206527844322154477 * 10 ^ 70 + 4011319373563211770303406228812424428055053671306178285055224944645443) * 10 ^ 70 + 5517958572983358107059568346476338576977402017904488182712307360975554)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_127 : Polynomial.coeff recurrence2Scalar0Exceptional 127 = (225768749358730789192399976 * 10 ^ 70 + 4163807185693418510287671497159971692012438435556066322378053713538423) * 10 ^ 70 + 5254321157743391447247362306984475489954123268468023431533822743525109

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_128 : Polynomial.coeff recurrence2Scalar0Exceptional 128 = -((1078989154747891401336716332 * 10 ^ 70 + 8137802763635179353922889740713841642125444139282728152694940553505857) * 10 ^ 70 + 1449856530780752402060653050300621074859109201690936429588381209811734)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_129 : Polynomial.coeff recurrence2Scalar0Exceptional 129 = (1093848696082392009179589677 * 10 ^ 70 + 8549717507913861382881161813056404787747674364612011895809441562991559) * 10 ^ 70 + 4779014037921450654019096000740323921978148393950391925567909633799293

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_130 : Polynomial.coeff recurrence2Scalar0Exceptional 130 = (14003285541518576341072182924 * 10 ^ 70 + 858312932112603490105849276435412192556451378020328755474770289823116) * 10 ^ 70 + 5609994789103619619803734946749491981668050001891007201030142666369166

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_131 : Polynomial.coeff recurrence2Scalar0Exceptional 131 = -((86459012022372199281593825624 * 10 ^ 70 + 326422411401929113561032447014980157116028257262804313863129410698175) * 10 ^ 70 + 8487087799419149430937841465317878318930122827942713118682037575995799)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_132 : Polynomial.coeff recurrence2Scalar0Exceptional 132 = (174313289493324530959154791731 * 10 ^ 70 + 721143143201752262717371403944907393297221954704274239096343713623697) * 10 ^ 70 + 3596960819713336800198590589875634218322419895409634615086625681298644

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_133 : Polynomial.coeff recurrence2Scalar0Exceptional 133 = (622326963881466677968257630447 * 10 ^ 70 + 2534141664169355840635764195946206513449937989480308140291571755169511) * 10 ^ 70 + 5260322231559468709667594856592049877064886812756913664422975536877742

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_134 : Polynomial.coeff recurrence2Scalar0Exceptional 134 = -((5870760899388509593817600903518 * 10 ^ 70 + 5004504937938138090743961271311315339203690464097323626508821332474257) * 10 ^ 70 + 5846470429945128008393381308893637009035908949676250108389474038055661)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_135 : Polynomial.coeff recurrence2Scalar0Exceptional 135 = (18062174827798206488165972052934 * 10 ^ 70 + 7944594967510245227318355008829192424236130866656840560075007145279983) * 10 ^ 70 + 3098383794881664147786493475209569374974372185532142490238455237117728

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_136 : Polynomial.coeff recurrence2Scalar0Exceptional 136 = (6689647655801236414549532783597 * 10 ^ 70 + 64244444506380830704725712178333666963141738831355908805822252107798) * 10 ^ 70 + 8673505451757874830501530133985329152747574256058182966688967875909115

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_137 : Polynomial.coeff recurrence2Scalar0Exceptional 137 = -((312577730419967987607709782217642 * 10 ^ 70 + 8444207104403484397302444745778054914371009341531480586546164030382890) * 10 ^ 70 + 7367596934134444283337711641292512879471456883478856005298697558089805)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_138 : Polynomial.coeff recurrence2Scalar0Exceptional 138 = (1388818442068006976009957709059286 * 10 ^ 70 + 434930180849007059463238652941955080664624161962957158934553551493200) * 10 ^ 70 + 1050035629805188150349381183721656973341231795347330535581860275997301

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_139 : Polynomial.coeff recurrence2Scalar0Exceptional 139 = -((1953419022983082579441210490348153 * 10 ^ 70 + 6694563094389731270581135616543370778408769761138473242019882738639560) * 10 ^ 70 + 9867932788782579126826124096553515265756769414930808819427787753884747)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_140 : Polynomial.coeff recurrence2Scalar0Exceptional 140 = -((10972779157494399283274565357524418 * 10 ^ 70 + 2662282379080074110819605727732497114773621977574417950011625402953556) * 10 ^ 70 + 289853567792035714020505456355298126930409006619003595385206382090578)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_141 : Polynomial.coeff recurrence2Scalar0Exceptional 141 = (79794191468917222621729329577245779 * 10 ^ 70 + 604880291685340521815364048888665466672888032990185723802139169715916) * 10 ^ 70 + 6841314422369423913904670505299441167985327854824977201919499720134678

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_142 : Polynomial.coeff recurrence2Scalar0Exceptional 142 = -((223048609661390368907302289917579638 * 10 ^ 70 + 7239357622781120129055541000040178920906456786689268963389175957127585) * 10 ^ 70 + 6140800619939956277684603913981077772085354227818482985687255453793438)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_143 : Polynomial.coeff recurrence2Scalar0Exceptional 143 = -((44309657091405653542957589905313066 * 10 ^ 70 + 4184829043519521598963539598659807740652815013428240517800374290543395) * 10 ^ 70 + 5246343727766435017748364416554626586664857394211777220647029533638967)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_144 : Polynomial.coeff recurrence2Scalar0Exceptional 144 = (3210300666218679119896564887721759704 * 10 ^ 70 + 1436852893038474833415729084066331874738018093498638188947889606269336) * 10 ^ 70 + 1688818792461323602098775556618082598312488938611097505664209269987453

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_145 : Polynomial.coeff recurrence2Scalar0Exceptional 145 = -((14489167072196178348195680637283133929 * 10 ^ 70 + 9273291874169617621998961146034336489454737447307126467418732929819855) * 10 ^ 70 + 7083358484509970107461896834638704919840999716949759950859070032413646)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_146 : Polynomial.coeff recurrence2Scalar0Exceptional 146 = (26373779365452461647382116212464033884 * 10 ^ 70 + 560276585244123379884968986747032080609356289814746529452803702582879) * 10 ^ 70 + 9980609596097040519776295690172947904806698132170254483543320856725800

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_147 : Polynomial.coeff recurrence2Scalar0Exceptional 147 = (60513878879873691448337500213363100997 * 10 ^ 70 + 102426852638470840696770163880906040143165759245104626997136484449211) * 10 ^ 70 + 9728344002234204352410011599097725789022867220212001067723567647366586

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_148 : Polynomial.coeff recurrence2Scalar0Exceptional 148 = -((611768631561048238158897873199808435991 * 10 ^ 70 + 3294954026533466798003222979889014280442241341205840510804934678419173) * 10 ^ 70 + 1025316485026616071674563703430964854751054917565931714318842875279937)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_149 : Polynomial.coeff recurrence2Scalar0Exceptional 149 = (2120842928573053898947054401061714921268 * 10 ^ 70 + 1539490340807876661629830564958489895648105649454434196961345938413318) * 10 ^ 70 + 9624574781419719855175320415447565060272170227139560384907993373881244

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_150 : Polynomial.coeff recurrence2Scalar0Exceptional 150 = -((2581375743486618860173546551603497216561 * 10 ^ 70 + 1332109245510528646991634980657716531593403917073691948903671515510651) * 10 ^ 70 + 7690701076716554513120823640586836470590822542277902633235243174034673)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_151 : Polynomial.coeff recurrence2Scalar0Exceptional 151 = -((12813215679861749549114041914175893970003 * 10 ^ 70 + 2291746860651833288277678817956062170448778928172354284285848250453190) * 10 ^ 70 + 7437131947893467192332267836835652567864699545118456845979724854386737)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_152 : Polynomial.coeff recurrence2Scalar0Exceptional 152 = (89126505462110869340727896142679557282720 * 10 ^ 70 + 2293014509573180610665912716433711749547163714059721962331568232520621) * 10 ^ 70 + 3913254691932610465439068621859599686441983717923813929379261891339741

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_153 : Polynomial.coeff recurrence2Scalar0Exceptional 153 = -((269147296153857846359315018706051684565361 * 10 ^ 70 + 4081620077344416924560497043104030891337701014658814688116028509654271) * 10 ^ 70 + 895649515598855407830896444763405153545315262524326021605448589588330)