Recurrence 2 lookup certificate: Scalar3Exceptional 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.recurrence2Scalar3Exceptional_coeff_91 : Polynomial.coeff recurrence2Scalar3Exceptional 91 = (29353 * 10 ^ 70 + 8421595927195147995238802105386170488523160937067473740605572529119211) * 10 ^ 70 + 8588439636949697686556019120574630514483234503686647140640581153782446

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_92 : Polynomial.coeff recurrence2Scalar3Exceptional 92 = -((144646 * 10 ^ 70 + 5568672402597670871533023327866960023165455001612572608127015178918005) * 10 ^ 70 + 1094515522005028693676708256969037437039499653147488235243592027391090)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_93 : Polynomial.coeff recurrence2Scalar3Exceptional 93 = (695549 * 10 ^ 70 + 3813282066246939845448509384645387282581674907418241888166752351582892) * 10 ^ 70 + 7519056655275245235687438168366200746600319291680362587775573948801170

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_94 : Polynomial.coeff recurrence2Scalar3Exceptional 94 = -((3266427 * 10 ^ 70 + 9071684451984709116595583054420316011595826170719386757737742595149757) * 10 ^ 70 + 3448266130265844068639022587250095191931943275088791236520949567547314)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_95 : Polynomial.coeff recurrence2Scalar3Exceptional 95 = (14967551 * 10 ^ 70 + 6908322560753280140118537329125705572720546705461156362066624967226095) * 10 ^ 70 + 2569115917035977467159880958380400245455268858855116528214098900893501

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_96 : Polynomial.coeff recurrence2Scalar3Exceptional 96 = -((66780109 * 10 ^ 70 + 4728025458881838635254149248898316320879434719812552289424581526412971) * 10 ^ 70 + 9147189895495986161343569284960124149089441139700774867886191680587889)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_97 : Polynomial.coeff recurrence2Scalar3Exceptional 97 = (289934567 * 10 ^ 70 + 7582745544067677787764545936432918014374311203611650658303459316854190) * 10 ^ 70 + 4236605188195136881662984137004762076036818967090234593911564713595957

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_98 : Polynomial.coeff recurrence2Scalar3Exceptional 98 = -((1229247829 * 10 ^ 70 + 965289134405841559059263687743960483135673512861359757971973435618000) * 10 ^ 70 + 7960852389096814353181435281121840952773995230850453762882171102157091)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_99 : Polynomial.coeff recurrence2Scalar3Exceptional 99 = (5120682004 * 10 ^ 70 + 5459078068972404618879161195126014671937202437853079342582371251687378) * 10 ^ 70 + 6762399714834514946651933716909615369444056294088884190807193217010500

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_100 : Polynomial.coeff recurrence2Scalar3Exceptional 100 = -((20991185971 * 10 ^ 70 + 6056671311399159052536271549031479380857573221283263201265270145948458) * 10 ^ 70 + 2883077609243736470843015975055146698553945241790994395064735856428100)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_101 : Polynomial.coeff recurrence2Scalar3Exceptional 101 = (83875078810 * 10 ^ 70 + 1557054825582130796710198117915863332844132416775634640460538821679355) * 10 ^ 70 + 9103022811882996159254774669308398310801336444451362276769360889624575

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_102 : Polynomial.coeff recurrence2Scalar3Exceptional 102 = -((321607909929 * 10 ^ 70 + 9022910047644901689725382224697475904143459828603293089856250917849614) * 10 ^ 70 + 5667180167014886840992779958671695287232194652701558681202618031799247)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_103 : Polynomial.coeff recurrence2Scalar3Exceptional 103 = (1179772444235 * 10 ^ 70 + 8176027726563181883944512929269781538640337152398212093608014147244040) * 10 ^ 70 + 4918717443879253967791134660269590968751450104481542660559038383804630

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_104 : Polynomial.coeff recurrence2Scalar3Exceptional 104 = -((4266565833492 * 10 ^ 70 + 1647270753925383279963230373443193227627029600310749644724790038992202) * 10 ^ 70 + 6441391944990606690359573828125149619869071718302860740781832251131361)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_105 : Polynomial.coeff recurrence2Scalar3Exceptional 105 = (16012010120131 * 10 ^ 70 + 5306293527254322797152009344794776622456049684945607695194515130000795) * 10 ^ 70 + 9821988529224687649927303168985621756716324159661938142889853432523404

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_106 : Polynomial.coeff recurrence2Scalar3Exceptional 106 = -((62351698866016 * 10 ^ 70 + 8321737146066225569912609050735175335684646635940448773611690518837300) * 10 ^ 70 + 3137609797458529699433782273422353872788390640873918368884643688844923)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_107 : Polynomial.coeff recurrence2Scalar3Exceptional 107 = (228653255031579 * 10 ^ 70 + 543718343781384648086847550292420303198640723764994938444098859089543) * 10 ^ 70 + 9124848499893088701115649033026063537701279019278667345080437774059097

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_108 : Polynomial.coeff recurrence2Scalar3Exceptional 108 = -((685308859000583 * 10 ^ 70 + 307450640105899350308280480010933316173573903633099428928132970202432) * 10 ^ 70 + 2390833164224246412097779810459132676590418531677492185016959731616061)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_109 : Polynomial.coeff recurrence2Scalar3Exceptional 109 = (1488002401460645 * 10 ^ 70 + 8928274948912042931992092300780390862892710133204641827682533952820642) * 10 ^ 70 + 1659385384556821157335049498708943292638492181959774839993574520744126

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_110 : Polynomial.coeff recurrence2Scalar3Exceptional 110 = -((3221979366823777 * 10 ^ 70 + 774861729247538206619502360631796850974704796980299136038536438852338) * 10 ^ 70 + 7204327909570610678747264146572242836252702878883273861128061593936337)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_111 : Polynomial.coeff recurrence2Scalar3Exceptional 111 = (22004758345123297 * 10 ^ 70 + 1821763108509005359748919174312243208326777988252882381732514259263558) * 10 ^ 70 + 6373780180074037390887826025138666016279702693755548660182217126854495

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_112 : Polynomial.coeff recurrence2Scalar3Exceptional 112 = -((166103867217829441 * 10 ^ 70 + 5968408447169608068667319364249539677087693166725502751344919552342723) * 10 ^ 70 + 1541524041682251080927759072429040724479991903468283524302083717228739)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_113 : Polynomial.coeff recurrence2Scalar3Exceptional 113 = (702073775581260807 * 10 ^ 70 + 2302983700468238164373873683076432338450223712892660863239690160166837) * 10 ^ 70 + 4564203144909640558933203548120289830403544081911968407917581786881882

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_114 : Polynomial.coeff recurrence2Scalar3Exceptional 114 = -((742049254251000548 * 10 ^ 70 + 4041057961695365840437297620840018078230529747728113731697488436091283) * 10 ^ 70 + 3207733172595844515000496104690791546724459800735827980041925314843155)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_115 : Polynomial.coeff recurrence2Scalar3Exceptional 115 = -((9061605157955450818 * 10 ^ 70 + 4142612613985517445251384713257062384425140417040242266612346276139057) * 10 ^ 70 + 1972892705898201870183505438002547728236188507288358404370487535320665)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_116 : Polynomial.coeff recurrence2Scalar3Exceptional 116 = (50563203700331396189 * 10 ^ 70 + 4130996981005427802364432671395912939830852841008102751435156390142120) * 10 ^ 70 + 859217206008235850632866168239032133170879896289657109639224973123186

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_117 : Polynomial.coeff recurrence2Scalar3Exceptional 117 = -((13757982535345121488 * 10 ^ 70 + 2125657493312580987308531082590162106737663883884819983464928094690801) * 10 ^ 70 + 9292177734224150145477532666566414911288386007396127680301790154268630)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_118 : Polynomial.coeff recurrence2Scalar3Exceptional 118 = -((1123948647417905505143 * 10 ^ 70 + 1407211231400848578842774234023927249599645433329618214029763056667164) * 10 ^ 70 + 171749038493907028758024752619022942562597540520597600579167882776547)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_119 : Polynomial.coeff recurrence2Scalar3Exceptional 119 = (5998566222117141887394 * 10 ^ 70 + 5834441299722032046050968867754848082606967658194718501246750689771451) * 10 ^ 70 + 3237973813133539389763237951708347286943135587687211103441797538809361

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_120 : Polynomial.coeff recurrence2Scalar3Exceptional 120 = -((6298396235182658872396 * 10 ^ 70 + 9991303786488863156929787809665305125666302151277623473243110793015784) * 10 ^ 70 + 8381930039814532364029730932761125437452720265298001037954294699127731)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_121 : Polynomial.coeff recurrence2Scalar3Exceptional 121 = -((90048669400091041884736 * 10 ^ 70 + 7348833837513132999443793112160067536735928938036522802894323493397551) * 10 ^ 70 + 6062020666798136333963340166590360790825139299968279998919023680325949)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_122 : Polynomial.coeff recurrence2Scalar3Exceptional 122 = (554722646270589451756694 * 10 ^ 70 + 1250642381820689851930113561933333265591187596553816737901984809314824) * 10 ^ 70 + 1182282429946373797244048036180353131928364547701097126662636583657341

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_123 : Polynomial.coeff recurrence2Scalar3Exceptional 123 = -((899184193361844459647096 * 10 ^ 70 + 7176124217957379449246612604463918991839979981517289808934522271600012) * 10 ^ 70 + 6616965213998173024775630282941020062984257037446884942728055841253812)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_124 : Polynomial.coeff recurrence2Scalar3Exceptional 124 = -((6280620814598533879340717 * 10 ^ 70 + 2950779131350970551927957515471485927351252154260943099334650253212620) * 10 ^ 70 + 6016659540504616266638111460323902988703029823557647074040768277671530)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_125 : Polynomial.coeff recurrence2Scalar3Exceptional 125 = (46708563345012329410635182 * 10 ^ 70 + 5689631183010215327059425891620293990250400896784015238972616051028819) * 10 ^ 70 + 9439883409117527727269938547911166445536427947050706291942094576151468

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_126 : Polynomial.coeff recurrence2Scalar3Exceptional 126 = -((107297913832289120329406208 * 10 ^ 70 + 8738576916411363796162603311535624894039129881688536541596834947135617) * 10 ^ 70 + 5219836490737215897085456733891125169925859855814630992212321320452072)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_127 : Polynomial.coeff recurrence2Scalar3Exceptional 127 = -((327019233112626401087849832 * 10 ^ 70 + 2284376615482725604270700103129857391744284769994326299749395416088159) * 10 ^ 70 + 8490527569839927568986296336292962497688848012325014169557455766268869)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_128 : Polynomial.coeff recurrence2Scalar3Exceptional 128 = (3430040180194186714164571088 * 10 ^ 70 + 3973577601131601528578175949471389673826571780705407034061077881986587) * 10 ^ 70 + 463461948145584135783000385914788480700636080821978569532316922368947

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_129 : Polynomial.coeff recurrence2Scalar3Exceptional 129 = -((10590457117396700324134423827 * 10 ^ 70 + 8881906226175002406672488717817079605411428052894658151276792242453099) * 10 ^ 70 + 2588884452403026405568786159257865655858269780438380549499679690935709)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_130 : Polynomial.coeff recurrence2Scalar3Exceptional 130 = -((7827781078235261313953152831 * 10 ^ 70 + 3465782068314953490466894930479586610732491577976359437917786624686169) * 10 ^ 70 + 5453062087837200240057175615034195151773582810239761993654706313005956)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_131 : Polynomial.coeff recurrence2Scalar3Exceptional 131 = (212072253290130063830388239170 * 10 ^ 70 + 7324583502963332533305515666241890478576083494754595433612031976407155) * 10 ^ 70 + 3057623356016314278042246127581391285463550903510933414623857678061616

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_132 : Polynomial.coeff recurrence2Scalar3Exceptional 132 = -((873844727435913278277184352189 * 10 ^ 70 + 5007984552436737194636802933386758750153855396062098968141717557168842) * 10 ^ 70 + 8136463269072131608029570266605548148019188840194839108538654195759950)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_133 : Polynomial.coeff recurrence2Scalar3Exceptional 133 = (755366361241576272819643674140 * 10 ^ 70 + 3588718968583113239947423695805746636278366321236110890717668565436476) * 10 ^ 70 + 6872390488753530260539162428937015587638876897597656529895944776035864

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_134 : Polynomial.coeff recurrence2Scalar3Exceptional 134 = (10007608568127125826673589974494 * 10 ^ 70 + 5146383396079038048222090460192526575980754321368477224748649061319396) * 10 ^ 70 + 2629529126728058118712661373585703832348734900974114069314131008791310

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_135 : Polynomial.coeff recurrence2Scalar3Exceptional 135 = -((58465779619643999263277605631433 * 10 ^ 70 + 4059711903248179774503351539712403966046664187403521318318319773117785) * 10 ^ 70 + 9660291769942251849413632200040315610987219025625724481124941178756965)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_136 : Polynomial.coeff recurrence2Scalar3Exceptional 136 = (125185882708053019461713525697006 * 10 ^ 70 + 9339350869649557355701593763227566867306094132134741837759541695610867) * 10 ^ 70 + 4870154111797358844742692611707414594963667972184007451711311929166939

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_137 : Polynomial.coeff recurrence2Scalar3Exceptional 137 = (265436420516159156480190636029304 * 10 ^ 70 + 9904089165882402968274116090174561064707097049142171462312024229557171) * 10 ^ 70 + 8341973724493938535132356505166785376076470530341189492814349446482881

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_138 : Polynomial.coeff recurrence2Scalar3Exceptional 138 = -((3020826482895906493225763888782318 * 10 ^ 70 + 2639602625949713259388528154075978605640573985316269386262121643280820) * 10 ^ 70 + 2140992439457450102720744874993839477270305491008721037318702381747216)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_139 : Polynomial.coeff recurrence2Scalar3Exceptional 139 = (10349165252330879769410000599645211 * 10 ^ 70 + 3212886943589099707066386155332706148055611835387075896792773163813455) * 10 ^ 70 + 6432350533262091740956727374383690510156285133428295367224952252580995

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_140 : Polynomial.coeff recurrence2Scalar3Exceptional 140 = -((6740618291177080939702323173357155 * 10 ^ 70 + 7880516811176884459679881501528470132168642466144393723657150201844490) * 10 ^ 70 + 1222937139809381765873813618752674040030634713496487341369401249702808)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_141 : Polynomial.coeff recurrence2Scalar3Exceptional 141 = -((107486975485121929794655183001855838 * 10 ^ 70 + 2108731156333379816562490769140351170969390141628577536892987319303116) * 10 ^ 70 + 8433424386518572193454842278280518975288020998320510078780554600825503)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_142 : Polynomial.coeff recurrence2Scalar3Exceptional 142 = (586078909268136554669535573353372959 * 10 ^ 70 + 592910481420022279044211197018982251054280849656709685804367761943917) * 10 ^ 70 + 2418700429983774736217863041100020634008131912468092202601540193569619

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_143 : Polynomial.coeff recurrence2Scalar3Exceptional 143 = -((1324229719040057609658747235108250379 * 10 ^ 70 + 9804525929658485147992471784561881987321333385166035587223649296629163) * 10 ^ 70 + 6211654206074832011947425686758628637376317709829148891111758998174417)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_144 : Polynomial.coeff recurrence2Scalar3Exceptional 144 = -((1288819258415144261884901125727678371 * 10 ^ 70 + 7588538641580171239635349738030934401591073769872446049530550059170226) * 10 ^ 70 + 3103731834076818987736759720838535119993325980396710936216673877217079)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_145 : Polynomial.coeff recurrence2Scalar3Exceptional 145 = (22339905399681692635245373870309841108 * 10 ^ 70 + 4100915017796119339749027873148585014474612137146519398543947774000238) * 10 ^ 70 + 1190030006424591112601339500464109871031119712295197315108052952029090

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_146 : Polynomial.coeff recurrence2Scalar3Exceptional 146 = -((87281409667568046856653626185161872864 * 10 ^ 70 + 7735950684078260893310807129463258815832789825609523873898430779704816) * 10 ^ 70 + 8445791454289524829556013025016469438615870531461642877833107711948396)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_147 : Polynomial.coeff recurrence2Scalar3Exceptional 147 = (136091160865079514701016960036969235039 * 10 ^ 70 + 4613861812663183506840696873680059491618686867941309252994373050582511) * 10 ^ 70 + 5001322184941098847569586425320542952128083267166580122612254271459405

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_148 : Polynomial.coeff recurrence2Scalar3Exceptional 148 = (390289666162071908125143834746231404710 * 10 ^ 70 + 9667932570583985688076880920633544318475247625631778321494849553910461) * 10 ^ 70 + 6013049114242637259764013654638244978310654622644531205533206282933374

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_149 : Polynomial.coeff recurrence2Scalar3Exceptional 149 = -((3337625698722423775096021045340072806290 * 10 ^ 70 + 3383509124681292363797647135804174703544152757253863767365016945082600) * 10 ^ 70 + 6481332080764228207978050674862654107283506378317934337830422967936483)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_150 : Polynomial.coeff recurrence2Scalar3Exceptional 150 = (10906053668101734585453149555331629466530 * 10 ^ 70 + 7438589704409095041210710470834504567684427267797168102337431505581512) * 10 ^ 70 + 1112234268513323460612748918639291040879592462881637414280679263827536

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_151 : Polynomial.coeff recurrence2Scalar3Exceptional 151 = -((13301044548103202564873386050413592197040 * 10 ^ 70 + 9217389821070538922260237466570449767504093843371295381277779252695491) * 10 ^ 70 + 8693458411003664573292312975359789622085674651379989384323909285894514)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_152 : Polynomial.coeff recurrence2Scalar3Exceptional 152 = -((56142196301169651283838236914891238700427 * 10 ^ 70 + 3131477772558864586826537770384669454697536613708123076419364413909714) * 10 ^ 70 + 5956194388036834243000475365252100398695352939521415693965602736127579)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_153 : Polynomial.coeff recurrence2Scalar3Exceptional 153 = (394736095892143848878193903641476838018359 * 10 ^ 70 + 9731455420454936259314524969568492589531753425055124469736336781214480) * 10 ^ 70 + 2892668900704665931578157928424835009442960528289389392368629986026157