Recurrence 5 lookup certificate: B2A2 coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_219 : Polynomial.coeff recurrence5B2A2 219 = -(((530975 * 10 ^ 70 + 1583913439647590558377833772270013128095175191324612520387734681708307) * 10 ^ 70 + 9238329278355407169425799811084120356671040823869552405587080683840328) * 10 ^ 70 + 7210177616333028293281443541240369319812690945627741820469395286287987)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_220 : Polynomial.coeff recurrence5B2A2 220 = ((250839 * 10 ^ 70 + 694481554313889114041669558887626980098142345881080227122080020300503) * 10 ^ 70 + 8799467849572153220561627525030049196431085855012077732453882535566216) * 10 ^ 70 + 7898208926272423403827013869424095765248322653950733393147999847234132

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_221 : Polynomial.coeff recurrence5B2A2 221 = -(((114394 * 10 ^ 70 + 374205316026831655880435026789183020026545129081066408487668569689701) * 10 ^ 70 + 1809724259925097992970707562832659096803891110318231529929307707264668) * 10 ^ 70 + 3806734200489339743603114845303744238748181592785166134274735625844021)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_222 : Polynomial.coeff recurrence5B2A2 222 = ((50405 * 10 ^ 70 + 1789915250656885706611686971592612034476267703035377070478447034074517) * 10 ^ 70 + 6496531758566837174013856037616558185899144846180005241274478884215735) * 10 ^ 70 + 1105615202865660554247526956407506702933034863343876617315344743228905

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_223 : Polynomial.coeff recurrence5B2A2 223 = -(((21478 * 10 ^ 70 + 3532296225671984993982264504250406365000599038410380605624025030026958) * 10 ^ 70 + 5867115150315066262662595610196832191389571123052583358418548511592726) * 10 ^ 70 + 7797216956520927625537322981058731811793012439379574308211069257503493)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_224 : Polynomial.coeff recurrence5B2A2 224 = ((8857 * 10 ^ 70 + 4820514663306231121319458501805925761192239427904901941580820327063369) * 10 ^ 70 + 1438170146181748299585318307715864032097557907820603499652512200757269) * 10 ^ 70 + 5022822637834818759784500660666313103278501590843391675618312292693861

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_225 : Polynomial.coeff recurrence5B2A2 225 = -(((3536 * 10 ^ 70 + 9448662557250830205050005773525237079621154213945916143332591825317364) * 10 ^ 70 + 434917527031938640181961562460765777797403505051121055652040928460965) * 10 ^ 70 + 6232553368924936868851809543393682178279716824710715919643101990236721)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_226 : Polynomial.coeff recurrence5B2A2 226 = ((1367 * 10 ^ 70 + 8744950001247227276175296647041697114368642354873546733443471781682573) * 10 ^ 70 + 9896523312113062909286338993905857776917883628744743734387435808021949) * 10 ^ 70 + 3062301935919289996326771372086566711602628846208298449807457289739061

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_227 : Polynomial.coeff recurrence5B2A2 227 = -(((512 * 10 ^ 70 + 2657260580378889481901705302438520273470841311321323260369141880733272) * 10 ^ 70 + 1994958473471437051559685715868114845175837296127688601146348340408732) * 10 ^ 70 + 6091155903852428622909243798475136636642111528150976480463410057251801)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_228 : Polynomial.coeff recurrence5B2A2 228 = ((185 * 10 ^ 70 + 6601517579119165324475187301398135610293960362943253593587297398708357) * 10 ^ 70 + 9396006299700704833023694608753282246221349507026810328684692073889528) * 10 ^ 70 + 9619726001101721637828924437796721032983850566127936781012883542708248

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_229 : Polynomial.coeff recurrence5B2A2 229 = -(((65 * 10 ^ 70 + 487344471479659779582661161266837039499920302484405984699510770890931) * 10 ^ 70 + 3541174800887841806736090041455470292298471528668955317793319024575319) * 10 ^ 70 + 7225884334906717198856208478286746982534945846744676961939373197025310)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_230 : Polynomial.coeff recurrence5B2A2 230 = ((21 * 10 ^ 70 + 9945133766868443155209535108767092236758097616700046937844466258251062) * 10 ^ 70 + 2487056933552832713700932659578325898461276146935798484807900772577875) * 10 ^ 70 + 3328232613511223814587828264434384331223742421786368436507327007277111

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_231 : Polynomial.coeff recurrence5B2A2 231 = -(((7 * 10 ^ 70 + 1594140493827090860077933787713091852570082440737043377429994169301411) * 10 ^ 70 + 3060310410405458165551717686525267078055238829054628862072160240213343) * 10 ^ 70 + 8486602103117193505776320026685883200945733600398116754164295902032532)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_232 : Polynomial.coeff recurrence5B2A2 232 = ((2 * 10 ^ 70 + 2357806941555571245145102581066183034860411061324685100834158864544697) * 10 ^ 70 + 6500307705183715307525018814136248651081992977624147655081092952679505) * 10 ^ 70 + 9910739124020545401742041208646595240474448832905317183629342757553430

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_233 : Polynomial.coeff recurrence5B2A2 233 = -((6665579155221294929502831657236343733364394741466717206451710260511379 * 10 ^ 70 + 1821783324404012130005364510173367363698092588717410616856774169237141) * 10 ^ 70 + 3958442871586153401703164971996958868360381790483768735099540319425550)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_234 : Polynomial.coeff recurrence5B2A2 234 = (1883247780953175088001246684321410067425670425419937642462433475986523 * 10 ^ 70 + 4509300821432393863986518928066172561004015274951922312752437058784159) * 10 ^ 70 + 4174731818363224721647676277225155655957655527158421333492643704247860

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_235 : Polynomial.coeff recurrence5B2A2 235 = -((498138867843524065796168545910680801639571137603641932618334187714571 * 10 ^ 70 + 3207643911555663126316213150678865744547359758158323079401245001552244) * 10 ^ 70 + 6281713336132790746346910152859118505923412258787978535791693973726585)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_236 : Polynomial.coeff recurrence5B2A2 236 = (120505419255384200533740926893965940326860646894379797998351877334932 * 10 ^ 70 + 2774464920212076950915942557286773158644044743423114219206238598828798) * 10 ^ 70 + 505921359245393188006150702385047493022933323005065718190223734210458

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_237 : Polynomial.coeff recurrence5B2A2 237 = -((25207278322424259424944753408168465151556147068398464176602592189644 * 10 ^ 70 + 1456165517245128692939633662460778365229455801954009880148240184262262) * 10 ^ 70 + 3412722629541569690286094595561298466869069066863202239487491908852161)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_238 : Polynomial.coeff recurrence5B2A2 238 = (3730362770996286728708203178300831699303936013146754904392329460377 * 10 ^ 70 + 1938867961020888577697826593346366206649270871962928387284529891828184) * 10 ^ 70 + 1210315671820443186485484507765402525045441060724006821009021625191007

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_239 : Polynomial.coeff recurrence5B2A2 239 = (172560364708078597679666769609026273021537220896752291940879142027 * 10 ^ 70 + 2282659760591154316220000738057639722326151012582278792829704368841101) * 10 ^ 70 + 2517406183093685432586206900613942036169449000148107945418906447621362

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_240 : Polynomial.coeff recurrence5B2A2 240 = -((485965886290382958143330189878921971858232336747115922304683477454 * 10 ^ 70 + 7585576351275533603000069392938756364826291411852565881565078627006895) * 10 ^ 70 + 1026732816404011124428412022510447262979776681940919105681684690886705)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_241 : Polynomial.coeff recurrence5B2A2 241 = (295643460213274610368659701761927533498929323459623061950740928384 * 10 ^ 70 + 6450247961643235197040186351185103179858844588246597937880945011462615) * 10 ^ 70 + 9432100142095773935463322052592797451169577379960320677141182349925385

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_242 : Polynomial.coeff recurrence5B2A2 242 = -((142549376238195577785213930330410817151225297886283492824255580580 * 10 ^ 70 + 8374901012944888670663726031721319568612016692636031819708736403581095) * 10 ^ 70 + 5164686734075272596556370229098119526193451656653883734196821219735783)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_243 : Polynomial.coeff recurrence5B2A2 243 = (62814531529152182449967240788072106529540161378941046246399577613 * 10 ^ 70 + 9743236349485835122430335721952858360848346491878779450696816664779784) * 10 ^ 70 + 2437985593256616882973074529161054667567098301210708604084918326543064

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_244 : Polynomial.coeff recurrence5B2A2 244 = -((26439500728245329113204740052112279002384579701839221169560896389 * 10 ^ 70 + 1241157293641845060888242062917730580804902058894264865517913302474502) * 10 ^ 70 + 7899283558737648446526157087698187012228031275890084898177753800214138)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_245 : Polynomial.coeff recurrence5B2A2 245 = (10803429052527440619947240256292770453356188673131656461067347740 * 10 ^ 70 + 8913072852607453047707103404428508941051464540466597614716937087639275) * 10 ^ 70 + 7461699298643028428063613756545563512535011969581198382685514549114522

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_246 : Polynomial.coeff recurrence5B2A2 246 = -((4308837264880448967181386711033547114838678758350593743534274111 * 10 ^ 70 + 630401653389809652504417765007942187579787047971398765870615076782144) * 10 ^ 70 + 1280438791448059416589911837633021851989315693890997584330197705652589)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_247 : Polynomial.coeff recurrence5B2A2 247 = (1679443055212983819206756931203745796858726190792904117099955952 * 10 ^ 70 + 1320913514953015528734626287009981624507149509810800471247315676483535) * 10 ^ 70 + 5298305430761041278423827136003198539934585310714866674452425683162826

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_248 : Polynomial.coeff recurrence5B2A2 248 = -((639394923446396685197349632805449321771434489196075786755868850 * 10 ^ 70 + 3659505039265725000717046499113512721094887451987013812485732945765181) * 10 ^ 70 + 3554268850600399602750270487211307824896444754665168696343591497883579)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_249 : Polynomial.coeff recurrence5B2A2 249 = (237496783106166543710460309757613148963158630021755830954489266 * 10 ^ 70 + 3505141732651165897908618352569281876299237124625585123787785531404480) * 10 ^ 70 + 1764856224327746319680796345187252845890870624008902969345157310676738

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_250 : Polynomial.coeff recurrence5B2A2 250 = -((85927062407950356277259793388697398472524975351343262744425069 * 10 ^ 70 + 2682412275412384619192168651169841720330041252564619415188037351877526) * 10 ^ 70 + 1279180906363186489829396200959904144900435374328387986173944254563366)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_251 : Polynomial.coeff recurrence5B2A2 251 = (30221923382328825979650584469568712083618756807301993165930688 * 10 ^ 70 + 33689525959009571106770489202169402955749388298207331610649510166201) * 10 ^ 70 + 1505581458942827477073357811222952970252703002505121967255194096469108

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_252 : Polynomial.coeff recurrence5B2A2 252 = -((10309274316468050284123942211786342825379131544913230776436907 * 10 ^ 70 + 2770333019370713136432686074435205149411737843389562100249495130928031) * 10 ^ 70 + 6119001439011210804840712958834279194960842677085227287046792814553811)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_253 : Polynomial.coeff recurrence5B2A2 253 = (3402119252768240625800735045288487602901886975319000309273047 * 10 ^ 70 + 5089080682149186281867711475516903162306833893882844260018181243576452) * 10 ^ 70 + 6633949964244902478065345064921701438209189037796567228723283381782065

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_254 : Polynomial.coeff recurrence5B2A2 254 = -((1083379612426478434119669425877290860660727225267032328853834 * 10 ^ 70 + 8878232037432717286163340048401074480844572622082590834661438572116511) * 10 ^ 70 + 3260329097207595088678539877456023588323097662005921095883612274343679)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_255 : Polynomial.coeff recurrence5B2A2 255 = (332140958321060725498672175790801871868045659614579088660396 * 10 ^ 70 + 4341209243123626465392946773832010311458491580264514416617387551043132) * 10 ^ 70 + 994269060353427997411809430534419964460547725972130405387469569446756

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_256 : Polynomial.coeff recurrence5B2A2 256 = -((97861201895994579973028583689532485625379427815607052418650 * 10 ^ 70 + 7670434631173982641151628382069809088307549075314557208844580880351414) * 10 ^ 70 + 5620859310546932623115849824568574924046326846184057523302049734201645)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_257 : Polynomial.coeff recurrence5B2A2 257 = (27683991456314693602386712222123409444895059806681727075689 * 10 ^ 70 + 2641578355106951656579876587515971806297947596388755155098717259341154) * 10 ^ 70 + 5901798776977063036637412157621994906125240558648058673512968159785040

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_258 : Polynomial.coeff recurrence5B2A2 258 = -((7518928474093799498384495709493626914041475950356784527885 * 10 ^ 70 + 9295441001328248029754799935590093385066269330069865628346825159526240) * 10 ^ 70 + 2854180846730188064568837343453174378415289958595463857112186301676564)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_259 : Polynomial.coeff recurrence5B2A2 259 = (1961860312854302557855653924170303621835630998129334690592 * 10 ^ 70 + 1610749514354254746568505047045518973376516199875481832001850119171909) * 10 ^ 70 + 1936252360622869298062119422283227020085202447455491341739284674789191

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_260 : Polynomial.coeff recurrence5B2A2 260 = -((492036659295090832839157985167246411077445455711767833228 * 10 ^ 70 + 311725118006532434443380244057138840306866467918260867032691358001576) * 10 ^ 70 + 3417430787235555452816305704322220186436624794259310826848753055517870)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_261 : Polynomial.coeff recurrence5B2A2 261 = (118490719589020428311796926051087849251875266544543382260 * 10 ^ 70 + 5792826089824525522544742198567172107051215130600610380451003430787033) * 10 ^ 70 + 3743360201325641112802311215486772589220248569109453611796445051888050

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_262 : Polynomial.coeff recurrence5B2A2 262 = -((27266564589736588610633526820712358682452873257363336580 * 10 ^ 70 + 3426257807061413723186954183897342970315017627271756386111443278210976) * 10 ^ 70 + 8537397143239974339733257587760278435458738780934982535077867464831381)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_263 : Polynomial.coeff recurrence5B2A2 263 = (5927569175545020954959425082996259790815529754734364540 * 10 ^ 70 + 9056153770515183011167221378356094674855061312870362494931194016112009) * 10 ^ 70 + 6511277955302957117738258335256134136789821547606643352091792689309509

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_264 : Polynomial.coeff recurrence5B2A2 264 = -((1190539068268557506469439508543685100917782842780139410 * 10 ^ 70 + 6328600796238098072803388608422818116375517138110839482305062755144384) * 10 ^ 70 + 3401625825718203332649863758340592397110652117473531791838409629778010)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_265 : Polynomial.coeff recurrence5B2A2 265 = (211499173867479759513932886138703088992748535911279693 * 10 ^ 70 + 4490345446165184352267342142875407554202225536624818096196474888098675) * 10 ^ 70 + 2938404927629361397758744380587931977953253549107576940038814405947722

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_266 : Polynomial.coeff recurrence5B2A2 266 = -((29915210640957375034475489490731234631638163444320786 * 10 ^ 70 + 3962106040592574512336390628362544898165876541824420793373635358525463) * 10 ^ 70 + 2001949468011667787462398510267368171745938442478464313555255228386143)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_267 : Polynomial.coeff recurrence5B2A2 267 = (2062991799655088139824614245656942988376023504051029 * 10 ^ 70 + 4621420925764115979079958420558080416581464290550373228411400483111367) * 10 ^ 70 + 7880995171339988647433767003244234674220717980693493884442627956841368

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_268 : Polynomial.coeff recurrence5B2A2 268 = (570346730709804304803393194492601112949357132398338 * 10 ^ 70 + 3022126195186535315769666777515122561240237539158554636128539618023887) * 10 ^ 70 + 9607127212483665680196357312318518942562669784954068806583155240550517

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_269 : Polynomial.coeff recurrence5B2A2 269 = -((309932909268576524893590413597028450077097737735729 * 10 ^ 70 + 40108871614009906517313205010412445322912073584775595102488321710467) * 10 ^ 70 + 6107588309591530511008004918375983928597947673780881667904293103830333)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_270 : Polynomial.coeff recurrence5B2A2 270 = (89658392556814853993168259553779947842726887727978 * 10 ^ 70 + 8083803589795488958007387462343680657514178535701779929803136502856628) * 10 ^ 70 + 3577138132417575190905840408328137419703902788514938664124562843617610

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_271 : Polynomial.coeff recurrence5B2A2 271 = -((18983935569384532765406711098317335955530109655927 * 10 ^ 70 + 4313120012479795261463072549582063067777090883275431874988569730734114) * 10 ^ 70 + 279557352293010188889648230786707621734411850579639835715598187829080)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_272 : Polynomial.coeff recurrence5B2A2 272 = (2905028197314547830104673451939925846951164258988 * 10 ^ 70 + 9214122470098222799250343889545101522920398238358914652934472463731695) * 10 ^ 70 + 1168184976023844703657982551553721601532112481538353543093415982116184

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_273 : Polynomial.coeff recurrence5B2A2 273 = -((222112549410310889370181964919479021555671427849 * 10 ^ 70 + 2864759217432064995361124205969882024733342649818535417686212444068960) * 10 ^ 70 + 6754322549099066542676020076714007297828812058188194853535491284580862)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_274 : Polynomial.coeff recurrence5B2A2 274 = -((39262684405389339298568696535596467835046520387 * 10 ^ 70 + 9753978189260795368483681235859157479921042119447105254484201977773981) * 10 ^ 70 + 9069989651568322976245375341377187680465356274348323141245832628870026)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_275 : Polynomial.coeff recurrence5B2A2 275 = (20819765473080538622478521354775565345639167032 * 10 ^ 70 + 7928493113868717899224103073589581978394876107012428902730302005963724) * 10 ^ 70 + 1590517609445855301106532107856571811912807657755228969181060417275286

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_276 : Polynomial.coeff recurrence5B2A2 276 = -((5125457772334551163491610947290284967832311470 * 10 ^ 70 + 1929281403547747405119105202043754603591658700872704867609677906718981) * 10 ^ 70 + 2009326844725882325404227129285289299355090107542102283195167078003084)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_277 : Polynomial.coeff recurrence5B2A2 277 = (876872250473221631465107192805622129787019259 * 10 ^ 70 + 8039066045371660819329969114679088402097042282051619227298068396410277) * 10 ^ 70 + 4806774896794214106473955242242295858180716560995765836813132225211218

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_278 : Polynomial.coeff recurrence5B2A2 278 = -((105720893153304940489914241451832779147105319 * 10 ^ 70 + 4963486498586317020234713516519379022885996348487399750695043385780603) * 10 ^ 70 + 7107705344678786305486464064167843654743740082523172908196105765430467)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_279 : Polynomial.coeff recurrence5B2A2 279 = (7033242771974435706155101851726278864044327 * 10 ^ 70 + 200689231936082725598732231119877352988631653516588747977181778524535) * 10 ^ 70 + 2878556120606392794965761342669650454783951896880667731354713912127732

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_280 : Polynomial.coeff recurrence5B2A2 280 = (373958664240267389471868339179548746737311 * 10 ^ 70 + 3587761360250780002492686705056323029763111616914468880351670842816343) * 10 ^ 70 + 1706670307393534510574274821029588708626775126607027510563277685708422

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_281 : Polynomial.coeff recurrence5B2A2 281 = -((186490993394568856022330589104267954085538 * 10 ^ 70 + 8248876194877017988874991701989385966205984654620606835385646393001910) * 10 ^ 70 + 6008618544440692991104316637264999732718076772056695734797043268670606)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_282 : Polynomial.coeff recurrence5B2A2 282 = (29296086683926463377784380778165498467491 * 10 ^ 70 + 8587829749294154973720668880667169353242441376410205798386656539232467) * 10 ^ 70 + 630974073672283446648080280102336441429956976113046576378659372051206

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_283 : Polynomial.coeff recurrence5B2A2 283 = -((2746785710828030553469613246600574383622 * 10 ^ 70 + 7763654469001462819072542752030146033387730196877062498642504461098033) * 10 ^ 70 + 5113058896116866193637523465877694927519635412787982141438243410900343)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_284 : Polynomial.coeff recurrence5B2A2 284 = (130924417699129453801473588865520047392 * 10 ^ 70 + 5802957294885591355402124912301927708682148179173921222357175061231614) * 10 ^ 70 + 4936897146524510813646133257432166505598051300794782717574204747245656

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_285 : Polynomial.coeff recurrence5B2A2 285 = (3965893425535601471256735459278849134 * 10 ^ 70 + 4639029031893516242006715481295233403663797822851082920217847698266474) * 10 ^ 70 + 9606898777779999695081990809968454616465084440088598089964132146731031

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_286 : Polynomial.coeff recurrence5B2A2 286 = -((1238969080768191122760154553249044088 * 10 ^ 70 + 857259802732465062618708632255322162481340445558468068066274360745792) * 10 ^ 70 + 8825576294835545508982475629954077447686622550406887816673579811422758)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_287 : Polynomial.coeff recurrence5B2A2 287 = (98911316189016584878835957397914841 * 10 ^ 70 + 868695474178390582677436129352757890582530364898166046037724626159498) * 10 ^ 70 + 1754140552231959093877804833083544815883659734615039348126533208093309

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_288 : Polynomial.coeff recurrence5B2A2 288 = -((3418531481690314754616335439655031 * 10 ^ 70 + 1725295945815366776655072866764330650709948099761692214118532204898680) * 10 ^ 70 + 3769459548255205336860431153299350574042188837538857227905769851796148)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_289 : Polynomial.coeff recurrence5B2A2 289 = -((25441081492572976431696160183533 * 10 ^ 70 + 7938094946131321332678791641928349178420971027911062773135999387838950) * 10 ^ 70 + 3465324896848559238823719639009030723160753185580299741307884522407957)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_290 : Polynomial.coeff recurrence5B2A2 290 = (5770134086973797216486593486205 * 10 ^ 70 + 7465421029297117938563487459671308261157592764285547793425658952838368) * 10 ^ 70 + 6276488936389699612494543542143370919283048120296792918174387181546713

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_291 : Polynomial.coeff recurrence5B2A2 291 = -((100154273231761299822014373038 * 10 ^ 70 + 9264596759777107366046275217556956933587005253741831178489784189881915) * 10 ^ 70 + 6875836173140190161884566838323870565139024477052223430052898918966231)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_292 : Polynomial.coeff recurrence5B2A2 292 = -((2133649183432840179104113082 * 10 ^ 70 + 7079050716536349630830920983173740912484978696501440177363499412958291) * 10 ^ 70 + 4864837863257695785596628727869332295220539062198247831342236209689909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_293 : Polynomial.coeff recurrence5B2A2 293 = (18541283629260281767678209 * 10 ^ 70 + 6667756970846470099413525897134361509549206709269203243161336657791063) * 10 ^ 70 + 7496101902523180746660970508100397640241648044822561060232475535187377

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_294 : Polynomial.coeff recurrence5B2A2 294 = (329468208324438338095842 * 10 ^ 70 + 9044502744403643135359291144783414248907957247164936142182121379759823) * 10 ^ 70 + 7238541285484104620664602489644853363710766240537849124301198344353847

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_295 : Polynomial.coeff recurrence5B2A2 295 = (342812937641577556717 * 10 ^ 70 + 7916809820600511767343440007742902207315572239099509961003240638323215) * 10 ^ 70 + 4307617681193223759361004609152689971926870583272873931604815988910955

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_296 : Polynomial.coeff recurrence5B2A2 296 = -((9156215933587646054 * 10 ^ 70 + 1666582720780490198619037390903496023548584506381775182717569622428557) * 10 ^ 70 + 992108421654928179717547583402918840829636630541562194308891799465548)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_297 : Polynomial.coeff recurrence5B2A2 297 = -((26106832689553933 * 10 ^ 70 + 7144562895246770695356332135708149539058674813895884646294584505193080) * 10 ^ 70 + 3027102289897543516664065505695243900345246272731775535653961495615101)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_298 : Polynomial.coeff recurrence5B2A2 298 = (69767845388213 * 10 ^ 70 + 6644482115409788371717600076974473172635171246946249255174807100929932) * 10 ^ 70 + 5303890182844471334963719465525700722556648372972374325171594869444724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_299 : Polynomial.coeff recurrence5B2A2 299 = (249592944777 * 10 ^ 70 + 50549756340242297351827664931643906412283331538853471621874912718010) * 10 ^ 70 + 465867754804388644215096810639985899520407794504130741388441370101562

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_300 : Polynomial.coeff recurrence5B2A2 300 = -((274547431 * 10 ^ 70 + 3019973732823298254525630160123991642323432800167304953470598082113743) * 10 ^ 70 + 5311600372262453755205955524585834902612492963466547935644640709875785)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_301 : Polynomial.coeff recurrence5B2A2 301 = -((835523 * 10 ^ 70 + 3441113787610924166590955803341487117190854827543699307487171841823094) * 10 ^ 70 + 4524962716414640947062992427916157479463715306146005277482836298429033)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_302 : Polynomial.coeff recurrence5B2A2 302 = (716 * 10 ^ 70 + 4056784152547972228883930953093045850393397315573604614987832541848712) * 10 ^ 70 + 2236350793589804347422294658184851454456371704540689398578012560956754

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_303 : Polynomial.coeff recurrence5B2A2 303 = 6228833468222671428096083929294412140437961314865294245999874386108354 * 10 ^ 70 + 7044394739754390396460460549942754713086916952235117081060880568780707

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_304 : Polynomial.coeff recurrence5B2A2 304 = -(3544871320606423618479423407013075034496740785326755629295286214506 * 10 ^ 70 + 4450368033197522372104841852584977408585013448218141051552391715893320)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_305 : Polynomial.coeff recurrence5B2A2 305 = -(248035537963423676221139303615584555957625691632732007928294332 * 10 ^ 70 + 4539277715089492376673864947345631939155406331232707818432262705411145)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_306 : Polynomial.coeff recurrence5B2A2 306 = 86163334488302975181652556560931123346225513621233649275808 * 10 ^ 70 + 7152060216315784783809965712869260501892100260124140515508024485849469

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_307 : Polynomial.coeff recurrence5B2A2 307 = -(484599020097519415582196237757240350860246972293553063 * 10 ^ 70 + 5377189312542562920801002769518892029347944836431368844202816234598734)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_308 : Polynomial.coeff recurrence5B2A2 308 = -(59812810585017996755703020988696538710926088559915 * 10 ^ 70 + 5302833920980037724448451634431256146126709447549407157805989182675097)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_309 : Polynomial.coeff recurrence5B2A2 309 = 198893018092584724685487446450818869218745331 * 10 ^ 70 + 5395305356765759464626305932047799746502258139002691720381019885014656

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_310 : Polynomial.coeff recurrence5B2A2 310 = 492095854115531530349170742184231006481 * 10 ^ 70 + 1077305512406491655539713949402908190411750861599552594631660962808680

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_311 : Polynomial.coeff recurrence5B2A2 311 = -(234981734525166934828006398828847 * 10 ^ 70 + 8121316584133410506612619527487376631758534878329151805918808942645447)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_312 : Polynomial.coeff recurrence5B2A2 312 = -(15276566442046409432972861 * 10 ^ 70 + 9634217502618996611424382561845923613809346094197154074412006608330787)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B2A2_coeff_313 : Polynomial.coeff recurrence5B2A2 313 = 304685030578759320 * 10 ^ 70 + 6174965024932678405343457376857058124353403007395935064774625125153199