Recurrence 2 lookup certificate: Scalar0Left 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.recurrence2Scalar0Left_coeff_146 : Polynomial.coeff recurrence2Scalar0Left 146 = -((34481786876656274335362841696487245040 * 10 ^ 70 + 5020870398420851808482697259560391823788334451466582005488858248019277) * 10 ^ 70 + 3782662244489636311996395633292918202787235862907223420144091303114127)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_147 : Polynomial.coeff recurrence2Scalar0Left 147 = (288367283415531776165940113681556618766 * 10 ^ 70 + 4898213694023013340237178008563060447039546430379790868098980716809230) * 10 ^ 70 + 1781413760512614407266673528165142471659289737851725791334735064569831

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_148 : Polynomial.coeff recurrence2Scalar0Left 148 = -((529567489422377805879663281031242486554 * 10 ^ 70 + 7775532303591249136722450779905168966412454155502085025208328920858421) * 10 ^ 70 + 5448657761476083076001142907562398848601333753619836669290197984583656)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_149 : Polynomial.coeff recurrence2Scalar0Left 149 = -((1860314593877538470793148374026025347112 * 10 ^ 70 + 3409038009817748799928459488220493348229463630650819153448010438035854) * 10 ^ 70 + 1822142777050877516919444389382693067981134245310202613882153906786132)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_150 : Polynomial.coeff recurrence2Scalar0Left 150 = (12350536050226648824939644625493784240751 * 10 ^ 70 + 9583949637948998531511946255440197056748711391168171866908204637143291) * 10 ^ 70 + 2060453913587325228099360828738103029588365439019836718251866650537767

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_151 : Polynomial.coeff recurrence2Scalar0Left 151 = -((14641451439243404441729264092949341787349 * 10 ^ 70 + 1669799085288703983732006512908536884012419526034066421002809662271583) * 10 ^ 70 + 9112355240419707997693752786188957057276874776335395377177520263015174)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_152 : Polynomial.coeff recurrence2Scalar0Left 152 = -((113000653135322569389025320735810353290650 * 10 ^ 70 + 6765270305555140502593487686365886355368083042703547789841017523197236) * 10 ^ 70 + 1280786709067167644930985412416623426770800928870306010240383731250997)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_153 : Polynomial.coeff recurrence2Scalar0Left 153 = (540633730397526874663789455091145102193584 * 10 ^ 70 + 7182905578677411385730348807495951435754719939088528282637121461162135) * 10 ^ 70 + 5844517791696136458175361452109894758545989548257871050092118303309190

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_154 : Polynomial.coeff recurrence2Scalar0Left 154 = -((166135234433474937287528425377393358994250 * 10 ^ 70 + 1946570432923652007786962544801916070848987094333253482733968364153025) * 10 ^ 70 + 4893768776655289252802267955617335822817355844612928845555764242581913)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_155 : Polynomial.coeff recurrence2Scalar0Left 155 = -((7189595200061417242057528112423208698098502 * 10 ^ 70 + 1259835833983479059979859678107371850571488533159984049453706001405326) * 10 ^ 70 + 7383361131328503246027485564189985883124992882249426324910327807052114)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_156 : Polynomial.coeff recurrence2Scalar0Left 156 = (28627830238645792691903702336279630081430557 * 10 ^ 70 + 2896401584518462440430005057671074402837303741498180020315802812501452) * 10 ^ 70 + 5572273150892072505907104730508943937772151114488723847467302028861592

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_157 : Polynomial.coeff recurrence2Scalar0Left 157 = -((6674658837487416605751915083778313169264597 * 10 ^ 70 + 261746009088442121420837951732899588119495079795850249496063118388199) * 10 ^ 70 + 7479663246094550530521359717101422733960035587251911865051245772909154)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_158 : Polynomial.coeff recurrence2Scalar0Left 158 = -((369821709854630806453864841348795307111250996 * 10 ^ 70 + 7484547770986404388090662067997336040546444978843940454611324003531587) * 10 ^ 70 + 6599602911717543115808389740209228821381728246861189422660879246420462)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_159 : Polynomial.coeff recurrence2Scalar0Left 159 = (1546062644941423247748101613965604186262504377 * 10 ^ 70 + 6281766005445610703072529666317137431697047128555671716364752791503239) * 10 ^ 70 + 5931718916404902701083463546979790389433587454452884525031022335847669

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_160 : Polynomial.coeff recurrence2Scalar0Left 160 = -((1322042197388728640563144424487009342632200528 * 10 ^ 70 + 1960635059076999760019587241535114977911489357706655874034616342675006) * 10 ^ 70 + 7870842666614752014056578636229605069613617128301501235281202302543230)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_161 : Polynomial.coeff recurrence2Scalar0Left 161 = -((14201662187363042132912924961363951955121689286 * 10 ^ 70 + 6595638675527085591182767927386679565724402479569193081067929371999824) * 10 ^ 70 + 4721824147335147600888922039821907309109861141896002394677424980473275)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_162 : Polynomial.coeff recurrence2Scalar0Left 162 = (72343940846897612120540133752650111464198851394 * 10 ^ 70 + 4309585574745914041146136993668111097721389751882453736876475027396930) * 10 ^ 70 + 8924452192891242289976385293449622002847516424948674561384902101476537

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_163 : Polynomial.coeff recurrence2Scalar0Left 163 = -((117398292695319019265043465797260260634736043018 * 10 ^ 70 + 5408302218341452603120760137282933032592930576872848576455628318728270) * 10 ^ 70 + 1425254751927868602038881986774845519967215947991050739280327020970352)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_164 : Polynomial.coeff recurrence2Scalar0Left 164 = -((370283443524269306045499221565168520345400954777 * 10 ^ 70 + 3167542115758311914389730090040364625961581375936863256656240574561413) * 10 ^ 70 + 7505106831136784094385582064112292813543665840776506361374941741767330)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_165 : Polynomial.coeff recurrence2Scalar0Left 165 = (2754711712465228678278968940475490005318809233276 * 10 ^ 70 + 9106711823721070805058406359032839751615589917949443991195390442325126) * 10 ^ 70 + 4123390426776736810741972767520759762248995120491896655115561944310166

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_166 : Polynomial.coeff recurrence2Scalar0Left 166 = -((6632919126607731611455282991324155963855804263745 * 10 ^ 70 + 309324704471252313552144070863058900294188066999622154700105811016108) * 10 ^ 70 + 2390932576625584464611755516309306961892622620090851415897154483215398)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_167 : Polynomial.coeff recurrence2Scalar0Left 167 = -((3786366380167376254499230164351262627051407304459 * 10 ^ 70 + 7027768099525729016098241735163410298988610104470451172039525109328772) * 10 ^ 70 + 7864058043858620297188225514909229591704098648987849924259608131516131)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_168 : Polynomial.coeff recurrence2Scalar0Left 168 = (83537063471654895400695590148914762984480092335961 * 10 ^ 70 + 4950227518175347472710090507040397212096015206113350797013628516629977) * 10 ^ 70 + 736312102870744766660855402786910663047701118830021143208316140433249

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_169 : Polynomial.coeff recurrence2Scalar0Left 169 = -((279177542117758577308200086498552944379692360102467 * 10 ^ 70 + 480967321126172932120301410391093888149039894416249948984727161620870) * 10 ^ 70 + 7751432129530223055124828877964498632434625846689275579913644026071285)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_170 : Polynomial.coeff recurrence2Scalar0Left 170 = (219611510354934814123554789653235920172274289156302 * 10 ^ 70 + 2914847156808208427974847337739688329204790716370916700291355675997833) * 10 ^ 70 + 8084736524999752743075864237870690811551431312663021202294208227263188

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_171 : Polynomial.coeff recurrence2Scalar0Left 171 = (1929567916053032034012478515899270124745213196681516 * 10 ^ 70 + 9399422489529400400641141671535237015482338020764775890029501381091758) * 10 ^ 70 + 2824738601765049046954527884618026857512661107217769215957148890723137

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_172 : Polynomial.coeff recurrence2Scalar0Left 172 = -((9433881215077549489497345472941204648522598645428137 * 10 ^ 70 + 1103300995011924831041816470918385586030569869654992177794768695442223) * 10 ^ 70 + 5048953415869387792296460908846411630980773042610245233362435284066656)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_173 : Polynomial.coeff recurrence2Scalar0Left 173 = (17106257016627931109194056779678872386562378943831504 * 10 ^ 70 + 3292253117211228136231512851629981942871185051644686232576277045792017) * 10 ^ 70 + 1949916374311022174654628025909944426824697541817051907946824640521172

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_174 : Polynomial.coeff recurrence2Scalar0Left 174 = (24867947141712465205410392333848832696294198728240477 * 10 ^ 70 + 7808719022464518907022863281571783030342778968147911922392864065389360) * 10 ^ 70 + 3578538769986266438723128711840935406009592046030589754118417754393601

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_175 : Polynomial.coeff recurrence2Scalar0Left 175 = -((255183413274455326488088883528154309849135970526734730 * 10 ^ 70 + 3515996437354779850036844460553485026479186434501774774255880590540718) * 10 ^ 70 + 5736007994502852416587291031406047586991323424920432258741745841038005)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_176 : Polynomial.coeff recurrence2Scalar0Left 176 = (742969123712612019993856345918531421065864331273897219 * 10 ^ 70 + 3699903080391411560874637002883814572106625226315208783998914572169148) * 10 ^ 70 + 9122200254071299785361806234934524387961923510880826722620300453079996

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_177 : Polynomial.coeff recurrence2Scalar0Left 177 = -((511398992170867310132730062846501643114973831774757342 * 10 ^ 70 + 9666623766094074932447035112926008945774885563292174177743616959753824) * 10 ^ 70 + 9455995952313722146691615962581167611949508773323596412544575116065763)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_178 : Polynomial.coeff recurrence2Scalar0Left 178 = -((4729441156544624282395911462112914726024167824439733281 * 10 ^ 70 + 2823044051125117166706878263062820819421150286881180097643131650193772) * 10 ^ 70 + 1453140383026585523956866149601893732312653828220882045111173471359070)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_179 : Polynomial.coeff recurrence2Scalar0Left 179 = (22762306677087001149856015276701035922147774393162293593 * 10 ^ 70 + 727465972176349868195506822508238660259297749294219740104642404354743) * 10 ^ 70 + 2001506262290023676861390838799335960936867020782242757871696459977292

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_180 : Polynomial.coeff recurrence2Scalar0Left 180 = -((46677749943982646205752053867710243455453024837130457103 * 10 ^ 70 + 1743113542941885779107114968078497323112663985898381166823578853779939) * 10 ^ 70 + 3814695837709621087430181422198522938516766718803798492699474840208103)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_181 : Polynomial.coeff recurrence2Scalar0Left 181 = -((14501519060181909285075195425505775361537664867609717162 * 10 ^ 70 + 6034012045803359968418321122759101168969083791373478256513139941288004) * 10 ^ 70 + 6687554494571646530810436430076707143346047257020672569180092577208186)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_182 : Polynomial.coeff recurrence2Scalar0Left 182 = (449296022407560973471897957342004910679190699592721263093 * 10 ^ 70 + 2060101017048877780913968811904783190779852122002951625243055117545146) * 10 ^ 70 + 8326706210219364535914691029628495655722013246195402059377688692472327

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_183 : Polynomial.coeff recurrence2Scalar0Left 183 = -((1622245296441048616350724206972287445529673998880014079121 * 10 ^ 70 + 1831130626826494178382316999773854349776954058546009070671854474696073) * 10 ^ 70 + 7788189696839717486290980994827033036818034007049917625860714419535329)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_184 : Polynomial.coeff recurrence2Scalar0Left 184 = (2643673172063240460582615011161491230613105264570904016511 * 10 ^ 70 + 7075447015940891341706361665838467999699738984640694776463283018046709) * 10 ^ 70 + 7929404176284400937411920744522686723149351861147471016908023022957404

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_185 : Polynomial.coeff recurrence2Scalar0Left 185 = (2683619889742215232825167515957343864373178129644056517470 * 10 ^ 70 + 9789106709533368705122472407071944272937016844554956141678240811888421) * 10 ^ 70 + 5237951496371278144114464014962177740382755431995321434423979592445766

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_186 : Polynomial.coeff recurrence2Scalar0Left 186 = -((31132766382586821245991214946555368249108326735971913193081 * 10 ^ 70 + 9355892953878193106521061138910844853910336612823445415662469926498398) * 10 ^ 70 + 4429614194920134678657165590365363519126828343989519104549305324441898)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_187 : Polynomial.coeff recurrence2Scalar0Left 187 = (100186887962307643976208391986569702897694479127108243512210 * 10 ^ 70 + 328082260374340092593767728825929811142842722534867763977347865972151) * 10 ^ 70 + 3856050774536921991245836014383790628800551233618348973868000095879035

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_188 : Polynomial.coeff recurrence2Scalar0Left 188 = -((153432405633706980562893577173987097427406506866985259923346 * 10 ^ 70 + 4767808783017725546690157712341615967617840893920808326868311338230150) * 10 ^ 70 + 2760855369138714513297628444749375757318867683314811561518682458276703)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_189 : Polynomial.coeff recurrence2Scalar0Left 189 = -((149162601621312791558775823733082357510205751594822318122266 * 10 ^ 70 + 2324669196448319562237840417159796263623221655259595939292232589240890) * 10 ^ 70 + 1718139181304357279584845280465515209098601206108170100856168087355003)