Recurrence 2 lookup certificate: Scalar3Main 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.recurrence2Scalar3Main_coeff_234 : Polynomial.coeff recurrence2Scalar3Main 234 = ((54 * 10 ^ 70 + 1164966539149735546601603995011803981478227082542677347830828747361599) * 10 ^ 70 + 4533003774513500804225582571109020499058927465771033531748157230206978) * 10 ^ 70 + 8309670665513616030647331048650156337520537484887094998553060402756873

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_235 : Polynomial.coeff recurrence2Scalar3Main 235 = -(((53 * 10 ^ 70 + 1969191466284094870478023684254913631173741737467820995429767027343483) * 10 ^ 70 + 1218122681382127646978080065491956409694078096056930063544533275938331) * 10 ^ 70 + 6393342574763886391546157136310364580703159301576456100990394982918913)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_236 : Polynomial.coeff recurrence2Scalar3Main 236 = ((49 * 10 ^ 70 + 325993046814150879211896921145184616428839776249239008271796694207782) * 10 ^ 70 + 1965881207993293892524584368478561298910035308257917759482802181379446) * 10 ^ 70 + 1280164960302583063597557478484143891811332873273022262088162616632743

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_237 : Polynomial.coeff recurrence2Scalar3Main 237 = -(((41 * 10 ^ 70 + 9241833972500035685300498072637660697518726201239487192613402429733526) * 10 ^ 70 + 684138708925954882284659555523316930376441596628744050987559775680437) * 10 ^ 70 + 139595360703571643229089276741434918007087914340745260180605721783037)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_238 : Polynomial.coeff recurrence2Scalar3Main 238 = ((32 * 10 ^ 70 + 5599735749146773816589788519031369148816740992367551310184559040068328) * 10 ^ 70 + 3349721231351732960519339416564967483290538217659147065531020252940817) * 10 ^ 70 + 2154873644004389200321253293244953147445872944567959834113054412794689

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_239 : Polynomial.coeff recurrence2Scalar3Main 239 = -(((21 * 10 ^ 70 + 9077833109109958593601273324530340261344461866985404003424780559045027) * 10 ^ 70 + 386272771792919256573759553286403259674501235448888252333110761809920) * 10 ^ 70 + 2140147096840530750297769208509912071599396588031975883887075071443201)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_240 : Polynomial.coeff recurrence2Scalar3Main 240 = ((11 * 10 ^ 70 + 565272066470752341444156902781242513412456584227042123805499174417563) * 10 ^ 70 + 8216028353614639173181493168923600848389345521920900178787146381725373) * 10 ^ 70 + 3646975155910606907302034507478771952083202049534176712440030242203213

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_241 : Polynomial.coeff recurrence2Scalar3Main 241 = -(((1 * 10 ^ 70 + 422714831767977058836269101166476672260726624281147512617436653791546) * 10 ^ 70 + 7563109272459768321289144421344824705208776606543025594703908624792397) * 10 ^ 70 + 1555640653633201627389989952894909884026735249689593294315534457007328)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_242 : Polynomial.coeff recurrence2Scalar3Main 242 = -(((7 * 10 ^ 70 + 3044039617812544741010347461572109869309812128972759376273739232052354) * 10 ^ 70 + 7852010539231146451145132235321721900207748532771266291912456717158289) * 10 ^ 70 + 5103394052911185476968053483565540982964899767314193216415694264012143)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_243 : Polynomial.coeff recurrence2Scalar3Main 243 = ((13 * 10 ^ 70 + 4603282072597760470304862592583831226332453458486602967715214590277275) * 10 ^ 70 + 3491182516529960114700230518025949297173994365085137220400435052424138) * 10 ^ 70 + 5389551302100933492553123106529242222366075792117597695309950183774526

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_244 : Polynomial.coeff recurrence2Scalar3Main 244 = -(((17 * 10 ^ 70 + 2458141726465286478280368245004086425013321857355148835991391193808325) * 10 ^ 70 + 22031779032100926696422744917953644430196729632947831142383794864107) * 10 ^ 70 + 8768281103766667799416903525038716881230637372439552981874201988097985)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_245 : Polynomial.coeff recurrence2Scalar3Main 245 = ((18 * 10 ^ 70 + 7962897526260645944531419406109451753531543671816705308867046860451422) * 10 ^ 70 + 9504374103066270174687539960111501154780897749590184315814147510996606) * 10 ^ 70 + 1313719659578324729293963285106709413311368712417669465085510309179318

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_246 : Polynomial.coeff recurrence2Scalar3Main 246 = -(((18 * 10 ^ 70 + 4849488473483090022184904196211074259382804381394804475559748840072349) * 10 ^ 70 + 8354564263898338265003672732030428222868488380586736089594360214493141) * 10 ^ 70 + 2763337791108759320474025642349292820386985650384873312960150135525651)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_247 : Polynomial.coeff recurrence2Scalar3Main 247 = ((16 * 10 ^ 70 + 8200577179998861779256263826708946227100218158739156906099401208262715) * 10 ^ 70 + 2962621968472252454224708129808422636383916835987987096748516720235774) * 10 ^ 70 + 7217942974870777151531119792067889192362376323006604274593231058057294

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_248 : Polynomial.coeff recurrence2Scalar3Main 248 = -(((14 * 10 ^ 70 + 3416319013111026302774789311400108922143226551281696993518125799437850) * 10 ^ 70 + 5743036358555700549235625658305985229846398920311085785007045379858863) * 10 ^ 70 + 4627558796350444379574167047002403997156642361205375557120782157823697)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_249 : Polynomial.coeff recurrence2Scalar3Main 249 = ((11 * 10 ^ 70 + 5372042458261108261176597179552285248649843040030268074561351334428924) * 10 ^ 70 + 1811023116298507826984311121725549532007165378375575617233864215550054) * 10 ^ 70 + 5529052621011179450831523518327747665564809481416540008443809221807282

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_250 : Polynomial.coeff recurrence2Scalar3Main 250 = -(((8 * 10 ^ 70 + 7878626948446116725615264809023843481021680467613525579659961355094156) * 10 ^ 70 + 1297935420965957570337627364602125005592743632424858211645825365464313) * 10 ^ 70 + 2681688156202003361929836703612967306572461194680761544107182264824568)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_251 : Polynomial.coeff recurrence2Scalar3Main 251 = ((6 * 10 ^ 70 + 3466211519919283742016542639496263658270874410446801954646767812152370) * 10 ^ 70 + 9010795609716983998670800172025014927768475124686671099922232682697389) * 10 ^ 70 + 9970342291889072064585184005371539641523033708423313021909544592533157

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_252 : Polynomial.coeff recurrence2Scalar3Main 252 = -(((4 * 10 ^ 70 + 3439372205338068539200612430446795221643761850476307789193119095512909) * 10 ^ 70 + 1042874153925452623047526434815266179900937974448093271352272066259292) * 10 ^ 70 + 2356378494501301478812845704117195078973724617641878817973550640402182)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_253 : Polynomial.coeff recurrence2Scalar3Main 253 = ((2 * 10 ^ 70 + 8111238603587450181889019480788286328038984343198913101159874730001093) * 10 ^ 70 + 9394087309445255582271091151018780560174015381040211123917237939103358) * 10 ^ 70 + 6866850908722520075574385703551674414875449991976242770082446927236446

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_254 : Polynomial.coeff recurrence2Scalar3Main 254 = -(((1 * 10 ^ 70 + 7116220194358226389976833451253753990238861645718846152073941084896228) * 10 ^ 70 + 246995787415005647618912264840204623454783070936566269371221746072317) * 10 ^ 70 + 3287607334911823726186058454914280441283957903871419943733341141807270)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_255 : Polynomial.coeff recurrence2Scalar3Main 255 = (9718067991111960953348137151329105630722371758370202090434445467022144 * 10 ^ 70 + 3463592887726662760331988597737083527059892110798604432069355000037231) * 10 ^ 70 + 8028759360884182519948964395345605417937549150711124161216917859432248

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_256 : Polynomial.coeff recurrence2Scalar3Main 256 = -((5059808887702969900446270908578813708943124273536035897996481086488521 * 10 ^ 70 + 6631915757695932977506019407030089380213150953495733479558046788544732) * 10 ^ 70 + 7199640670515527133427714850734173709384053294083846785869301492468097)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_257 : Polynomial.coeff recurrence2Scalar3Main 257 = (2333172285203134334283280757107262423285433016408168270435161397113390 * 10 ^ 70 + 4571716473517796023887611320911153030884736312020315250944413093125734) * 10 ^ 70 + 187684014388509763642134349148661289208959672465378590880771453767959

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_258 : Polynomial.coeff recurrence2Scalar3Main 258 = -((869614256845847575032870811483479012746796623795332046038791350923342 * 10 ^ 70 + 1346577657010523898529409711078587777556080617149782556165258947405118) * 10 ^ 70 + 3049727480199947685772309170934091738630082256697818154807816995920051)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_259 : Polynomial.coeff recurrence2Scalar3Main 259 = (169601654000218184508545972348635947471022796923544036245007006467696 * 10 ^ 70 + 5756258007687282829522097111491288985585558861916640045388866625719626) * 10 ^ 70 + 5720073629690070256417184272551243967178754138068619891208484471943901

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_260 : Polynomial.coeff recurrence2Scalar3Main 260 = (108094588256814028496095143726971729266740869915708281890767837092299 * 10 ^ 70 + 6517135522680745776841212213647754250527536464008856101191549089481914) * 10 ^ 70 + 1460142284427872399172997594894615401563008576617776113721653464208567

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_261 : Polynomial.coeff recurrence2Scalar3Main 261 = -((177058128958901306463843645921366577124019307955409451262879458454941 * 10 ^ 70 + 6146251650798696218695138479704118882043816086470764277136055769416162) * 10 ^ 70 + 4011659201488758832288941435299750461253047253956324374719919067413068)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_262 : Polynomial.coeff recurrence2Scalar3Main 262 = (159025798667625436384909707800380707863687076958882677133245768470281 * 10 ^ 70 + 7127064775113590253436559278730126420631240767529541877893765368980328) * 10 ^ 70 + 2168363173579478123327480809426857573082743907476717602373445282154027

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_263 : Polynomial.coeff recurrence2Scalar3Main 263 = -((116001351076561385799993989282068827068713763503957896021667907527996 * 10 ^ 70 + 4376389082283199608368269962402571274254494239751113224566315554541261) * 10 ^ 70 + 1532021816277858148110744216573871803060044974040786100437744939912592)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_264 : Polynomial.coeff recurrence2Scalar3Main 264 = (74885717944153420102075996652614211950781432915971868274292967597670 * 10 ^ 70 + 4734055163953886718085429311699951609779597902109689643895336950290560) * 10 ^ 70 + 9451924072267550267814705857115231338725874146674662793730660179012393

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_265 : Polynomial.coeff recurrence2Scalar3Main 265 = -((44196160570995650727849841228368019153178809388639681144850810336492 * 10 ^ 70 + 197177757332882180736837415812686392466864828118381779104999929441353) * 10 ^ 70 + 278195316739743515616242651685760948911147973788850896949201079357559)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_266 : Polynomial.coeff recurrence2Scalar3Main 266 = (24204886171605188760400319603058213332391845295593657230093164178688 * 10 ^ 70 + 8273760950345393413637761134699141509776286717242044804820327310757743) * 10 ^ 70 + 7182310523263326553847281143494458611355449042927551664540081023001269

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_267 : Polynomial.coeff recurrence2Scalar3Main 267 = -((12388590478314646731178598357776351291151386610318799138270734296330 * 10 ^ 70 + 5894792933542848533014004197804951754727567346840913225214806949847102) * 10 ^ 70 + 6925877985185385715319082348872040972126684996530498707689091011794891)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_268 : Polynomial.coeff recurrence2Scalar3Main 268 = (5940813839287637451132957439000820360257762292412789904764358985941 * 10 ^ 70 + 6662029040138079173882114368128426206071894159155554382801902244967981) * 10 ^ 70 + 3054810114963913675678296932679317319520598498874591141100259887397996

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_269 : Polynomial.coeff recurrence2Scalar3Main 269 = -((2666802376120613596873895650347892422781737409121881727912289908587 * 10 ^ 70 + 1068726651267346630853372592016286505250598271461556533045021346024386) * 10 ^ 70 + 2699135688904567922660448070117544037331177928754253744978358251390715)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_270 : Polynomial.coeff recurrence2Scalar3Main 270 = (1115604904178620488386502206554505361127992811386663227594307313646 * 10 ^ 70 + 6024730639784404970383154248689324809093474188271266963252597004008526) * 10 ^ 70 + 6868979970757422635192548483354315581282764427272977655541632941366762

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_271 : Polynomial.coeff recurrence2Scalar3Main 271 = -((430744353780569369423749442556651885611025804187034051063993915170 * 10 ^ 70 + 7256435280591872366820314889056323224304457244795228707735558419269458) * 10 ^ 70 + 2077297749367410615077115624926052148114886832310114238280891519194934)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_272 : Polynomial.coeff recurrence2Scalar3Main 272 = (150577772455983169660986560081273063523761366906847636382822351176 * 10 ^ 70 + 9257022589507058641859468975494347940668220177940967411992912782043527) * 10 ^ 70 + 1221625708530504173769867476565485310247357020913479613536573194492610

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_273 : Polynomial.coeff recurrence2Scalar3Main 273 = -((45684681301099346118948812473545993719735960838456283676650674406 * 10 ^ 70 + 6319551781627228234914363045397015088121687517820033922275342267500876) * 10 ^ 70 + 9613702487403242956355457926679141267388800049184162330556370784894653)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_274 : Polynomial.coeff recurrence2Scalar3Main 274 = (10657921549849786559920887717179808954585521561659664337284628018 * 10 ^ 70 + 7024224976219736016377321039068975036437060604134416263398072451134238) * 10 ^ 70 + 4478389355524569244015271657588715502417853611782852003424828853148398

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_275 : Polynomial.coeff recurrence2Scalar3Main 275 = -((852003982832320739243649349730457034806448822045747583206151520 * 10 ^ 70 + 8507202233445109118710633886834117530509625738952052976076065419147539) * 10 ^ 70 + 7872588602801473004049205334200914618612787718009133058309498960374550)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_276 : Polynomial.coeff recurrence2Scalar3Main 276 = -((998027627971638451677637382258230442174017424570958151695818868 * 10 ^ 70 + 9836976544375509676727806243698373162005643935546800909361614699960254) * 10 ^ 70 + 4032622102134829549638671825443141395242941612334086848360284531381062)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_277 : Polynomial.coeff recurrence2Scalar3Main 277 = (857080073605518771727619224734946190368433948973176958263812819 * 10 ^ 70 + 3955898200771636831245282711418259424203876535415564618566200766153155) * 10 ^ 70 + 6636022580414889157454610272814580930449048542115978155406355496478145

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_278 : Polynomial.coeff recurrence2Scalar3Main 278 = -((473745946226207210482866774644307539250879170100151411551751121 * 10 ^ 70 + 9434260628304484040657987010741365807565852685929394885682407993400241) * 10 ^ 70 + 5226387952569109389318822805574989293333431927963597310503081318348231)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_279 : Polynomial.coeff recurrence2Scalar3Main 279 = (216406296623636157932143849344867834367903069763641575370551390 * 10 ^ 70 + 6968455973720271838121987930878190279131969400979680003537840091571956) * 10 ^ 70 + 3873500281133425050895749228827686596641672387989054522696989897461185

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_280 : Polynomial.coeff recurrence2Scalar3Main 280 = -((87134146387375380737817877704927565949508282155711619704251503 * 10 ^ 70 + 9576081955857996190414335156830563465981378063803977854334857663735350) * 10 ^ 70 + 2442528698706266955873114718954594765266022944035846814606410817738959)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_281 : Polynomial.coeff recurrence2Scalar3Main 281 = (31659925596768068227475919541312441284068607667344288878776061 * 10 ^ 70 + 3080910486260768986874519623403782766322795562636081869191765067902086) * 10 ^ 70 + 7099402027998192470123772056574836898590074487177911687743113420443190

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_282 : Polynomial.coeff recurrence2Scalar3Main 282 = -((10457957314219917122308376583943194350575855497736422582420039 * 10 ^ 70 + 6781024033515678786640159643449116496210080427140252638065910249345866) * 10 ^ 70 + 5406372383120528688013912631903569628217325974968966648527676114408773)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_283 : Polynomial.coeff recurrence2Scalar3Main 283 = (3131603257604752342637216371090061146143543734309247741628639 * 10 ^ 70 + 4131860726224602470881789240594773661872567072179617333874321789477157) * 10 ^ 70 + 8666935042480809701003923696225318154959486216222823909820943894844089

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_284 : Polynomial.coeff recurrence2Scalar3Main 284 = -((838040872240128151009836147372862475923962424772882708288753 * 10 ^ 70 + 5343462762308449416492762383961032744632007462985339025645199378645674) * 10 ^ 70 + 2290319619438213433889759443027804273584389557287743782883596024158333)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_285 : Polynomial.coeff recurrence2Scalar3Main 285 = (193320957957718366722005325968499924551822056996891146872620 * 10 ^ 70 + 8658060851725876264827973690991277024557724678661285743890415593259448) * 10 ^ 70 + 6088561481769880857574143601073912075552256593197799155066957919258061

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_286 : Polynomial.coeff recurrence2Scalar3Main 286 = -((34706371975313315033060200118508994958059223569583751099177 * 10 ^ 70 + 3609555797763573802495761659386718969868729142668206519689452530712736) * 10 ^ 70 + 6424181472665946937376655782995720832480196797639306316441376093179372)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_287 : Polynomial.coeff recurrence2Scalar3Main 287 = (2788563521430606327605242724875503974826458614093511622155 * 10 ^ 70 + 6647079257738332814102080014789087183420184849348023731467406963570588) * 10 ^ 70 + 2175931689228439721457870117615203093188766171685910408532280464521097

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_288 : Polynomial.coeff recurrence2Scalar3Main 288 = (1264258603357699988763125030112956827915656282027186254269 * 10 ^ 70 + 9439982845956095364560962385719316415305395057830964620425021323220522) * 10 ^ 70 + 1320445313983433297294241674471691904995888105912350942319054437177524

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_289 : Polynomial.coeff recurrence2Scalar3Main 289 = -((855876510940271840694602809232969975151649961290712986474 * 10 ^ 70 + 1558535698870416147110690896936158036711406971130988268989985279282200) * 10 ^ 70 + 7826668479550626410489365876522078414210637535456144738490402579648596)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_290 : Polynomial.coeff recurrence2Scalar3Main 290 = (335864459369363613172529064044717096615350433080434779131 * 10 ^ 70 + 6707072613193556777579863356628008854529324865990747585036860959749708) * 10 ^ 70 + 5585760119737426491808933715571390054940846089824137352994985560335971

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_291 : Polynomial.coeff recurrence2Scalar3Main 291 = -((104505803404486941928940476658379951801981264145610556225 * 10 ^ 70 + 5225575501096495722373539681234706913671561060954282585076389107209361) * 10 ^ 70 + 6634609880303122860475839897696495837131987712185133839428908574134511)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_292 : Polynomial.coeff recurrence2Scalar3Main 292 = (27504518632942250159477524561650809729563088106479569671 * 10 ^ 70 + 1633561353315742198409524489591837811380583365692056900296587690718159) * 10 ^ 70 + 4051089551926101922145534107782389205909105444364093453866033200889752

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_293 : Polynomial.coeff recurrence2Scalar3Main 293 = -((6165839877988924623714510439889151863260012114614943058 * 10 ^ 70 + 7896423863508955229749180015034250097110100848831901958819258330740722) * 10 ^ 70 + 4347938881346287066877113096631393541426434936615778948863059458957183)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_294 : Polynomial.coeff recurrence2Scalar3Main 294 = (1134396968066132338164430902428948819719069428376288252 * 10 ^ 70 + 803910373078594978821443136465283946458565998977785147056703239988011) * 10 ^ 70 + 9412311693941601569636915988520864239901407632127262488111866658335801

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_295 : Polynomial.coeff recurrence2Scalar3Main 295 = -((146985528207533720965719369205304415531001626264189916 * 10 ^ 70 + 1882766788660655824086381957826997340455793464817651701942113839088069) * 10 ^ 70 + 1727979315099833223974910817575474008118731851320240933410507131516250)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_296 : Polynomial.coeff recurrence2Scalar3Main 296 = (1407181411269679251801493356222135590894491518449083 * 10 ^ 70 + 6112145700353507320984135983524100684050318283410483794481576766193633) * 10 ^ 70 + 8996091083385617862807568993729605131077754870259285250847019746213885

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_297 : Polynomial.coeff recurrence2Scalar3Main 297 = (6973938830855177896356229713803418336345656284486569 * 10 ^ 70 + 8234191758703816994113576618367908033710933423012842019187428538413536) * 10 ^ 70 + 3664616844196358035237058173653591173683172468294375201071340255673263

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_298 : Polynomial.coeff recurrence2Scalar3Main 298 = -((2890564902926312474599065424665469809593653305314218 * 10 ^ 70 + 3666062476370275059216940433904652464760736994042843791421096587133993) * 10 ^ 70 + 5890937733882717658542821054256334726927334979606411641459488702946695)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_299 : Polynomial.coeff recurrence2Scalar3Main 299 = (814866825633855485466514132158075398481972194775665 * 10 ^ 70 + 2488253208765427507932029457500927697469711758493867114415851983555574) * 10 ^ 70 + 283695272251487468522480078773504303994464757808198988184914997601063

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_300 : Polynomial.coeff recurrence2Scalar3Main 300 = -((185164712616839617507480539195290117464623871453900 * 10 ^ 70 + 2732196576794134185335859228184771470867015414316518620276899792246851) * 10 ^ 70 + 2194007969441810742188974992851699487600392221777313777371513609259463)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_301 : Polynomial.coeff recurrence2Scalar3Main 301 = (35118775184580372917778748151365579115304863699958 * 10 ^ 70 + 1474497676683496897745337417823739091180789236206430448040723721227350) * 10 ^ 70 + 4725723241058785128141952583748836035495253659618563230591608187644576

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_302 : Polynomial.coeff recurrence2Scalar3Main 302 = -((5456513335144965230698828377541190369761229737079 * 10 ^ 70 + 3510597207070737748310999014706896219267228650986608709507658569479465) * 10 ^ 70 + 6220421363541936947357981422277325686251953641068542502369322538983372)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_303 : Polynomial.coeff recurrence2Scalar3Main 303 = (624612380390467090721255784475503926346902674945 * 10 ^ 70 + 5487398932846636333633068054821804581632052813115559130750234874730999) * 10 ^ 70 + 9224654286944963294164426133843888642308753522110209025029962435548368

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_304 : Polynomial.coeff recurrence2Scalar3Main 304 = -((25241065933619520324423178487037704115135551924 * 10 ^ 70 + 3864182195915755828096809065944054945493141964257873060859926118783004) * 10 ^ 70 + 8618061370627163782185947208083924492532322258220238892170440781306778)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_305 : Polynomial.coeff recurrence2Scalar3Main 305 = -((11454098740583137159485003097919355376941692322 * 10 ^ 70 + 8814344972379521111500353040675822428024373912460860427872361341705993) * 10 ^ 70 + 5987035773980739145005836324528437673405054118765773570838706711780077)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_306 : Polynomial.coeff recurrence2Scalar3Main 306 = (4295022703738666900171813900285955269298540702 * 10 ^ 70 + 3093343551528902520896906074000210794744623091107265039797900564751772) * 10 ^ 70 + 993983027379306499620378600536672018119096763730570942466082786465278

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_307 : Polynomial.coeff recurrence2Scalar3Main 307 = -((973731699586103178823314665885103122109225704 * 10 ^ 70 + 2169244579754991377040233406564496755813270552598072799013459053065769) * 10 ^ 70 + 6986701026058037286058426445595668977308819466775759513490486467042465)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_308 : Polynomial.coeff recurrence2Scalar3Main 308 = (172056346947569299453566413159372365991018544 * 10 ^ 70 + 7866940503789689407229756485412628563068872899889641951914070644645883) * 10 ^ 70 + 5214156570685288396636093745015777746109220484742500930699871684469960

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_309 : Polynomial.coeff recurrence2Scalar3Main 309 = -((24902817603610363796931634553893598301259877 * 10 ^ 70 + 2817454621768606497044424693581789378606858134675424955390882020511936) * 10 ^ 70 + 5257576291362144528555024360553951549332091805402437298251793335574855)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_310 : Polynomial.coeff recurrence2Scalar3Main 310 = (2916092377889816514637807867222312171865635 * 10 ^ 70 + 8848267418265666330417084795584352892166821460100340750502437866217328) * 10 ^ 70 + 4090968720382749554418403441926774671954272615094916773113276564444777

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_311 : Polynomial.coeff recurrence2Scalar3Main 311 = -((251240920670505842193736978003382228179135 * 10 ^ 70 + 4834564055766587333256890080158178026365683081474928734563903957162625) * 10 ^ 70 + 6229319884475547742829168111111456499650152833294256568078176069750632)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_312 : Polynomial.coeff recurrence2Scalar3Main 312 = (8805210615536016779577803460685874876250 * 10 ^ 70 + 5495666769632147644529898159810774230923686595220559530465947562975732) * 10 ^ 70 + 9950637490256630241733007601069393283737100347916271948716927108623607

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_313 : Polynomial.coeff recurrence2Scalar3Main 313 = (1999716824322005212568913876906387234039 * 10 ^ 70 + 5558448069549932007445386414314195929365214170811480649995061568581658) * 10 ^ 70 + 6523050289389368421537942208972556192672985035147834930540374436954251

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_314 : Polynomial.coeff recurrence2Scalar3Main 314 = -((555095645760425938459262589478149762826 * 10 ^ 70 + 8384936004056899572451452320163811092771546694745077268079183063401307) * 10 ^ 70 + 9019328776270783082523544358778779895490139798520284725198993962298275)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_315 : Polynomial.coeff recurrence2Scalar3Main 315 = (86519474184458681390643059364195080291 * 10 ^ 70 + 5653536968226898167114375663534857232849579295871669549841997233210428) * 10 ^ 70 + 8272532398602938990788869849836394646901892271425528721830414904338195

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_316 : Polynomial.coeff recurrence2Scalar3Main 316 = -((10055648947245849796371390117606388301 * 10 ^ 70 + 3728050873212933008365272960651850497269889681638017209721621886184812) * 10 ^ 70 + 4750203202929969752366189821209182967544333090776220182420767469691198)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_317 : Polynomial.coeff recurrence2Scalar3Main 317 = (902275921074042747823421164506234482 * 10 ^ 70 + 3167839297346657661804552323193470297988283862733566107354784369805736) * 10 ^ 70 + 1955740923095030505285321865252982221201408176875152594035812244972012

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_318 : Polynomial.coeff recurrence2Scalar3Main 318 = -((58026627001904880628133921911455555 * 10 ^ 70 + 2398294457887922400252785885845991982916762901832223278589051499068745) * 10 ^ 70 + 7821734524092012910215410092217394554090565258552552509853977962825738)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_319 : Polynomial.coeff recurrence2Scalar3Main 319 = (1603211975525481558951495622676910 * 10 ^ 70 + 2874577334856009216376089223553589350877692363071189169958573388692779) * 10 ^ 70 + 6002143572459794045199924058987453349083386306454321248348011808110531

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_320 : Polynomial.coeff recurrence2Scalar3Main 320 = (200545866310141171200596656116732 * 10 ^ 70 + 997725160844546802819940616937689483168706157956652957745756731213721) * 10 ^ 70 + 7659219080982788907407163066331377166862398497862405554844691499513254

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_321 : Polynomial.coeff recurrence2Scalar3Main 321 = -((39022776699149298175047610417549 * 10 ^ 70 + 1943812669412329964631849347781204509100222776541266729518707486168290) * 10 ^ 70 + 5953416401220893715342331269150441837079769864705391489642930890811537)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_322 : Polynomial.coeff recurrence2Scalar3Main 322 = (3916032774852756206789329257031 * 10 ^ 70 + 6858724072062529282535495250813528302951741019815161823083662903970030) * 10 ^ 70 + 2815147988139901639820209800168664404783450348548324260543137609855839

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_323 : Polynomial.coeff recurrence2Scalar3Main 323 = -((271844801033187930652992634781 * 10 ^ 70 + 3950522963099804609670688707449089775453756993403652444254236241805848) * 10 ^ 70 + 2549423539589936615813955666498960735419700766088774440458710640618993)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_324 : Polynomial.coeff recurrence2Scalar3Main 324 = (12646462646109643096007031200 * 10 ^ 70 + 7307446862446507720156460278802081477623569767838102119177907227957437) * 10 ^ 70 + 4141618120307313093997294397746821077868294386565658833131000614432642

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_325 : Polynomial.coeff recurrence2Scalar3Main 325 = -((227458577910624116380496957 * 10 ^ 70 + 1151970163145198983793850570536833249143427452966269533995404931825355) * 10 ^ 70 + 1229378888844883902184923910265539683253170998501193549423683613211555)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_326 : Polynomial.coeff recurrence2Scalar3Main 326 = -((22060307458056858573776680 * 10 ^ 70 + 2742965028463542144841548005301936644183958638675093197560016143793888) * 10 ^ 70 + 2838197821595619528292459140867269610683406186115749616542545096383655)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_327 : Polynomial.coeff recurrence2Scalar3Main 327 = (2605396914418006695186825 * 10 ^ 70 + 2920705391471629368139637051004551401289609435451508866164305720542410) * 10 ^ 70 + 715440638817614288199767801537715381115145824680455426684322995311714

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_328 : Polynomial.coeff recurrence2Scalar3Main 328 = -((151188317885324379519969 * 10 ^ 70 + 6137041747042726990565905904050583301062105977729392847240960397089195) * 10 ^ 70 + 4260073094190612823630773801274348717243069634632255232867699964020362)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_329 : Polynomial.coeff recurrence2Scalar3Main 329 = (5278665370833421395663 * 10 ^ 70 + 8740164096084032084609048177988584398037052912828969258663084480661186) * 10 ^ 70 + 3429950564388058390569778212148651263519248536793867509382333871912882

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_330 : Polynomial.coeff recurrence2Scalar3Main 330 = -((68859090651528469793 * 10 ^ 70 + 7969849767752484875266904670357508985712394274389796581233874346168198) * 10 ^ 70 + 3557215092802340704362431285996307787965860953103616794204063949674256)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_331 : Polynomial.coeff recurrence2Scalar3Main 331 = -((3930991366689307628 * 10 ^ 70 + 5451876669091095982459652135156222482584779415492139542926750459280186) * 10 ^ 70 + 7194414855774975768607908381658737646764920152821140982762156634758550)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_332 : Polynomial.coeff recurrence2Scalar3Main 332 = (285777409730664993 * 10 ^ 70 + 8122873705113988510470805247957583414912192807091648288043943717914729) * 10 ^ 70 + 8409240661416927916920359388076119425528434593036600046013855344950691

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_333 : Polynomial.coeff recurrence2Scalar3Main 333 = -((8888908010870014 * 10 ^ 70 + 8657312319113738654090137495028790614609560137916016839007856297620060) * 10 ^ 70 + 7187604800183640848168775215694489139900160817396026332143660032299657)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_334 : Polynomial.coeff recurrence2Scalar3Main 334 = (116854177352502 * 10 ^ 70 + 8158118774402293473149031204413937324668335896563227283763155461131593) * 10 ^ 70 + 1005139917649009382451453912745013898968100961741118451213297792531985

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_335 : Polynomial.coeff recurrence2Scalar3Main 335 = (1750922446919 * 10 ^ 70 + 61743394608321238053718096383870263726278709486710843052622624770253) * 10 ^ 70 + 2418534206576503394635202842838582610280462463319696767669134993652010

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_336 : Polynomial.coeff recurrence2Scalar3Main 336 = -((107959674446 * 10 ^ 70 + 9225333703841156104156008173852431197445479329785181620083688724948828) * 10 ^ 70 + 7241991646469612611057735268535162401629290687964743765388540351606169)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_337 : Polynomial.coeff recurrence2Scalar3Main 337 = (1884663971 * 10 ^ 70 + 9785377622661776616866374433553561016638232067628478292554887693403514) * 10 ^ 70 + 2873142734835629140300722737152186330014225187346491183904117943204044

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_338 : Polynomial.coeff recurrence2Scalar3Main 338 = -((4898361 * 10 ^ 70 + 788491664879469546306941899869022733809007133578294163561416656663439) * 10 ^ 70 + 6589445899187454224112424006609015057994200169911602038862818053297566)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_339 : Polynomial.coeff recurrence2Scalar3Main 339 = -((343757 * 10 ^ 70 + 1578135591434812802202397847425287784292572640122499591055103850275672) * 10 ^ 70 + 8524538294965824231255298160404387906584153714364831816543285734205614)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_340 : Polynomial.coeff recurrence2Scalar3Main 340 = (5067 * 10 ^ 70 + 1182101925265691289843067424444234438215564412063476466204674009736927) * 10 ^ 70 + 531396019312801258776535477456284750306159959135930191557755212676331

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_341 : Polynomial.coeff recurrence2Scalar3Main 341 = -((3 * 10 ^ 70 + 9341431141227609449712504831374331606696822870537566591672964497591405) * 10 ^ 70 + 3050710593208077166852922530600514941007490369756837094282863510571896)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_342 : Polynomial.coeff recurrence2Scalar3Main 342 = -(4778237557511582460588221427924979934459483212060602151242774577903135 * 10 ^ 70 + 7790776801434252816416388766412597380753176828114010987776614415886608)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_343 : Polynomial.coeff recurrence2Scalar3Main 343 = 29668455425142255874939421284696988459517192569218957371829325096431 * 10 ^ 70 + 237556265421164447122034376048015258799563390272425451045611911438761

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_344 : Polynomial.coeff recurrence2Scalar3Main 344 = 166916985704731742869475805256782866991875537515156814674666286923 * 10 ^ 70 + 2246661718525594547739529318838955245821553642380500206910444918433226

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_345 : Polynomial.coeff recurrence2Scalar3Main 345 = -(1981323786428731143894009634672114038067321074219440462835654806 * 10 ^ 70 + 6792197942455042085233568355058259080275330069310665003394585567377682)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_346 : Polynomial.coeff recurrence2Scalar3Main 346 = -(1199685497519141742457724410212726196435555271939008041676383 * 10 ^ 70 + 8399383788552719951731628161819912127060079849214590921697183970828196)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_347 : Polynomial.coeff recurrence2Scalar3Main 347 = 61564055922767889602256591177876419690170722512946372262116 * 10 ^ 70 + 5881460941978142326620289646749211743504198556864762391151391572971395

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_348 : Polynomial.coeff recurrence2Scalar3Main 348 = -(80337872879041399892597217037475898175440256148485689887 * 10 ^ 70 + 354456540794459738598577328095293576348289907127034798950439391839428)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_349 : Polynomial.coeff recurrence2Scalar3Main 349 = -(1011011743426859862429126295509566345437699374980465450 * 10 ^ 70 + 2409001651423424244803796288511727761889834899535135460852938306426923)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_350 : Polynomial.coeff recurrence2Scalar3Main 350 = 2603554204576884480229214303844940043264812661411851 * 10 ^ 70 + 6189572100654171654456003643214839673266937279896896641157383380648569

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_351 : Polynomial.coeff recurrence2Scalar3Main 351 = 8035689220888743100153990613346162932604383050985 * 10 ^ 70 + 4805110598384613308725936789393159290760029459956787775057093375994292

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_352 : Polynomial.coeff recurrence2Scalar3Main 352 = -(34046918081402955363175301061945386129686301004 * 10 ^ 70 + 6364812102267598706349714533150843349949626919191361214140523664750928)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_353 : Polynomial.coeff recurrence2Scalar3Main 353 = -(11786463213521943873862653440011711316133933 * 10 ^ 70 + 2536134759651737908559657636892009818690126618936371341539265257489389)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_354 : Polynomial.coeff recurrence2Scalar3Main 354 = 201680414378786056348675651604448017461381 * 10 ^ 70 + 3121056690450461993633853256624115705287357055785433785170584251929871

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_355 : Polynomial.coeff recurrence2Scalar3Main 355 = -(217470769187859353523189956625444009385 * 10 ^ 70 + 4197738609553228282079052834879395621384372141152853794279801676473217)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_356 : Polynomial.coeff recurrence2Scalar3Main 356 = -(344862427486214934171974713618089552 * 10 ^ 70 + 1274272735774837754129930434810746458339223078164623116296500425477203)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_357 : Polynomial.coeff recurrence2Scalar3Main 357 = 944911896614901108250324033028331 * 10 ^ 70 + 8236022836045653825546664163565085772042618163878388296585279357981816

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_358 : Polynomial.coeff recurrence2Scalar3Main 358 = -(666477497230144719845886657863 * 10 ^ 70 + 7403741485820568547247400636095931058920220058905394976257614656364779)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_359 : Polynomial.coeff recurrence2Scalar3Main 359 = -(103733007321054139442954873 * 10 ^ 70 + 4155601737818951248997709831944983048669374711407727351143317055721170)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_360 : Polynomial.coeff recurrence2Scalar3Main 360 = 384427729432175074959455 * 10 ^ 70 + 8380090236181902891753288779244483295801464696678825665641609762084431

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_361 : Polynomial.coeff recurrence2Scalar3Main 361 = -(200206139422934497870 * 10 ^ 70 + 2224804352240386667484014405995243854778179211209878417090722379307550)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_362 : Polynomial.coeff recurrence2Scalar3Main 362 = 39429648025563209 * 10 ^ 70 + 8364646523311073969679119966465111196513387871055411802454818544558723

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_363 : Polynomial.coeff recurrence2Scalar3Main 363 = -(997093484564 * 10 ^ 70 + 7539641047792773013761370448257358671523047827457924987549430648819918)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_364 : Polynomial.coeff recurrence2Scalar3Main 364 = -(587929229 * 10 ^ 70 + 1435718098072894142810276353565002495858274168280100312655197017793198)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_365 : Polynomial.coeff recurrence2Scalar3Main 365 = 67490 * 10 ^ 70 + 410186325038640709911787723253957461484991914526096741768253599182360

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_366 : Polynomial.coeff recurrence2Scalar3Main 366 = -(2 * 10 ^ 70 + 4312380165204031645897398279054741405195371136309986581693564408074781)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_367 : Polynomial.coeff recurrence2Scalar3Main 367 = 271289961905851968575869918870047730514860505624753157701837189060

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_368 : Polynomial.coeff recurrence2Scalar3Main 368 = 739183213146172153150273377423511409092985393082071372576246

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_369 : Polynomial.coeff recurrence2Scalar3Main 369 = -15126828093730794142694011544872504151918811435909631500

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_370 : Polynomial.coeff recurrence2Scalar3Main 370 = 41102881731970324944076495127153753583160341303338

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_371 : Polynomial.coeff recurrence2Scalar3Main 371 = -17672599245882339987449193184198646207311255

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_372 : Polynomial.coeff recurrence2Scalar3Main 372 = 2009531077313996560625430689116346274

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_373 : Polynomial.coeff recurrence2Scalar3Main 373 = 16211427543469189257212460450

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_374 : Polynomial.coeff recurrence2Scalar3Main 374 = -56341274563623035556

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_375 : Polynomial.coeff recurrence2Scalar3Main 375 = 41146150404