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_190 : Polynomial.coeff recurrence2Scalar0Left 190 = (1701517308676765193753316741372236665633160154220180082810597 * 10 ^ 70 + 6406448324088008822744116556250708989559406843121310923061423011939881) * 10 ^ 70 + 6276826506820568610813196669468682710610595649430505387921143652458128

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_191 : Polynomial.coeff recurrence2Scalar0Left 191 = -((5544868299555822703078423125708931907099161102883844544793953 * 10 ^ 70 + 4846053618600600075000554918970703408849971473413720402267588267858409) * 10 ^ 70 + 7306611193983272483064598148756878821826715950081958906080715978546417)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_192 : Polynomial.coeff recurrence2Scalar0Left 192 = (9557005957323545364834166028379990851137585486404570171039724 * 10 ^ 70 + 2977117044099651918302420740155042681498551319479146871298358803979556) * 10 ^ 70 + 3924042098134997169845477097951919955258705194964635775842816434818966

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_193 : Polynomial.coeff recurrence2Scalar0Left 193 = (1279830782940325012887157533052326091324664391526750812119065 * 10 ^ 70 + 9348690072783913765540932918985085035450257760175436664978131816075905) * 10 ^ 70 + 2555863608778327134905698087238774863179945915497292598647751315079015

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_194 : Polynomial.coeff recurrence2Scalar0Left 194 = -((70156543125385864115181070631846541223979222163311892168315261 * 10 ^ 70 + 1512825015170989963316030657681187461696581926753337823598516336174192) * 10 ^ 70 + 5697842126763683160810128210238561057260832543255843064091826749307406)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_195 : Polynomial.coeff recurrence2Scalar0Left 195 = (264769395522459524285504438516930671225042679435260403263110976 * 10 ^ 70 + 8454322203805654647943584378466138173836447383505899506416391943999737) * 10 ^ 70 + 8602126816419580235342550214494849020797134954324382691327714331692040

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_196 : Polynomial.coeff recurrence2Scalar0Left 196 = -((570296758502546521869573498809143585506235287473002972753037881 * 10 ^ 70 + 9005653768623105399397749686874367595467014133387844801258614158495346) * 10 ^ 70 + 6329876505235671989737499872712050641150837720358597222044172689853616)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_197 : Polynomial.coeff recurrence2Scalar0Left 197 = (512424412203222947319546244105304554940291942286162115097949317 * 10 ^ 70 + 9908029799603665826253614483075958873396556891161816182903693760986677) * 10 ^ 70 + 3937586662535110525178891652277777240935157746563218081457293080950974

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_198 : Polynomial.coeff recurrence2Scalar0Left 198 = (1619646159988969942312193000224012651491263421637920919163801796 * 10 ^ 70 + 2489856794774297394924701499524629823550747970033627258531796361072528) * 10 ^ 70 + 1900201828480752864800824854760800250265242836784753932676315841399108

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_199 : Polynomial.coeff recurrence2Scalar0Left 199 = -((9503091682700078879845535868810954209062109726699335585077355573 * 10 ^ 70 + 3202661762501903109615301489936109517054506474926466542967305409139668) * 10 ^ 70 + 8488560852212987366760445120765326501663957464523145876119997050025587)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_200 : Polynomial.coeff recurrence2Scalar0Left 200 = (27138781698737607272747113877674878832307413350659261541508918532 * 10 ^ 70 + 8627211567171668085653710784291723926594204761172766015269499239255656) * 10 ^ 70 + 3582227240305657194405142468102461362820984443868892342023179180974615

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_201 : Polynomial.coeff recurrence2Scalar0Left 201 = -((48764039017046358994654824472181062376316268574376483990763516881 * 10 ^ 70 + 2044391250784127976578973620473555145263822275996926779852600967098558) * 10 ^ 70 + 4224652667185056586170040270119388229253680837202802073394236656599100)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_202 : Polynomial.coeff recurrence2Scalar0Left 202 = (30315100666502719347097131065773603331823839885881372182031738870 * 10 ^ 70 + 642294929801837851615551086887396045051564612177848329940631006834322) * 10 ^ 70 + 7327938449927234890554595702477059436644577937324816255535244167323688

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_203 : Polynomial.coeff recurrence2Scalar0Left 203 = (163251202319181122949185318238981051844036659144591648302228467933 * 10 ^ 70 + 4193402076535788117622373973949421620792802344835116367091740944087157) * 10 ^ 70 + 3254431205701486170566700453307351654357268791365272567615646587463571

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_204 : Polynomial.coeff recurrence2Scalar0Left 204 = -((806545341234020715522435133480237914400565442100586755288974014583 * 10 ^ 70 + 8553967769124288921235429619356876061080835493456509637254997222176183) * 10 ^ 70 + 3963984624460022578226014307728218166485173226327598250769502032127940)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_205 : Polynomial.coeff recurrence2Scalar0Left 205 = (2230497004188147931301863973927709473361724129830955694029895814887 * 10 ^ 70 + 5509839084137565731246543120649117565210811329368206378081116100546280) * 10 ^ 70 + 7859599948010595530116715813488936405751641068419227677496650414147971

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_206 : Polynomial.coeff recurrence2Scalar0Left 206 = -((4282594824601090108213484166123968309646830523445811311865151575218 * 10 ^ 70 + 2255455897087710646564232327963085858907166819182194065896711821333087) * 10 ^ 70 + 6029597725276867468126381736527325057238619556075849703239046238217423)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_207 : Polynomial.coeff recurrence2Scalar0Left 207 = (4750600971271682256647906567782418905293423026562415275059775348649 * 10 ^ 70 + 9411038019564671436564507539938956433856856346215423939648096549641354) * 10 ^ 70 + 2523829815535438806551772975708804771674362688019927155174688037474660

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_208 : Polynomial.coeff recurrence2Scalar0Left 208 = (3891430787680910053291971180072546912039468912810775527638555241802 * 10 ^ 70 + 7274485997417936899907007758192584081681509301033058245105407246629012) * 10 ^ 70 + 8441974314942601071070880440768999474547549402817750460968742321231223

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_209 : Polynomial.coeff recurrence2Scalar0Left 209 = -((39242337338871663520851187010417630734735193433903387144384972681259 * 10 ^ 70 + 324666473199870840772176488287655977681294618041487721376779164982566) * 10 ^ 70 + 712121407263169173151603167397082591183071397860141148515856867204419)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_210 : Polynomial.coeff recurrence2Scalar0Left 210 = (132078687457299276201664791627940608226312129729641800509670202695202 * 10 ^ 70 + 8768311608275077674960722995467745877296484324091744771488280493613101) * 10 ^ 70 + 6010471256477454504457652357286330622500538566065778086051148947704365

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_211 : Polynomial.coeff recurrence2Scalar0Left 211 = -((317657280168411377696979604180899097028037834959856701492801915072119 * 10 ^ 70 + 8186861875653298569682697876086698979950929575695691272523760745642776) * 10 ^ 70 + 1019772650712235643765427871248879310190651186186321339824281078965788)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_212 : Polynomial.coeff recurrence2Scalar0Left 212 = (592507368061864329972780813202346962896838738456816953604067056032488 * 10 ^ 70 + 9083256497954192623396746853047159265883672972985683659572375771395994) * 10 ^ 70 + 3591537935464960423064627688525730617681595089301660379313717609113837

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_213 : Polynomial.coeff recurrence2Scalar0Left 213 = -((796493957704085514063312872179562410751786562580412215209657472228326 * 10 ^ 70 + 7227203338105043980050021604553673021433582140592791640882558409606115) * 10 ^ 70 + 8974436856173971248060199107378213326850335142084654095250368719309380)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_214 : Polynomial.coeff recurrence2Scalar0Left 214 = (363455832946510987563227666782933269337259020745692311999051353235212 * 10 ^ 70 + 3842899005581878288124922245238542672368943956195237837658918489177640) * 10 ^ 70 + 6880851976729738827469159520227569869567220796938434417728567217128907

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_215 : Polynomial.coeff recurrence2Scalar0Left 215 = (2116804248656792684804634158244525469159349484333139781308347745189840 * 10 ^ 70 + 1887103804616429515743817275039553344300391550055599866360198699247122) * 10 ^ 70 + 3826808634922393772558140204680636417980356704546894180405293630023440

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_216 : Polynomial.coeff recurrence2Scalar0Left 216 = -((9541451835844092587733882197599862774622558748281086832547727260663006 * 10 ^ 70 + 1830939020642344655540044449583088240828628863322744989665825026202183) * 10 ^ 70 + 5467765978468220924647203755922044856817619219593642208999538425675461)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_217 : Polynomial.coeff recurrence2Scalar0Left 217 = ((2 * 10 ^ 70 + 7044135820817024951437881433429029313351894896150457102226716936197847) * 10 ^ 70 + 2872027788566750192011334016183470322287117848979867753458787985467032) * 10 ^ 70 + 2883939766394769144972226128100969963359537115153629457810500037929204

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_218 : Polynomial.coeff recurrence2Scalar0Left 218 = -(((6 * 10 ^ 70 + 2538967022145510168109698623188947562771505231877207763200103310699821) * 10 ^ 70 + 7254526744689946973827571411598172872471535309756365381214623355987912) * 10 ^ 70 + 8031778066018822692493377514949227104280730278853296559250001528194700)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_219 : Polynomial.coeff recurrence2Scalar0Left 219 = ((12 * 10 ^ 70 + 6439066559634354381643357025201275628401602869972774832980343601557316) * 10 ^ 70 + 1007630953376977256034995818722579837311961306055108749812144308223932) * 10 ^ 70 + 790325532206724645467868157299655043596703339099972335086392974600943

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_220 : Polynomial.coeff recurrence2Scalar0Left 220 = -(((22 * 10 ^ 70 + 9593397277938821408372885878909744549120431526016349331026704079571640) * 10 ^ 70 + 5226202323373365858667019736247193873544031906964205059100793790106605) * 10 ^ 70 + 8935851345538718153825818189182307628806517293266881170128906276114720)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_221 : Polynomial.coeff recurrence2Scalar0Left 221 = ((37 * 10 ^ 70 + 8267552459968374269772645600321360101517654106793564236572692571913239) * 10 ^ 70 + 2153605070009731384040857142592923602444278644722124503698592318718506) * 10 ^ 70 + 5610236233578559387454568301105037735556492213369770198239958471106121

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_222 : Polynomial.coeff recurrence2Scalar0Left 222 = -(((56 * 10 ^ 70 + 5115522023834762706928189935890975114478309280418445404061877891295717) * 10 ^ 70 + 6111674032579849204642255949450278801196665529724110905793854115193665) * 10 ^ 70 + 6578141720257092627516207142005528419592781074150492018764729237746511)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_223 : Polynomial.coeff recurrence2Scalar0Left 223 = ((75 * 10 ^ 70 + 5788857841803406815094362724857935095871937029356898037589965908484897) * 10 ^ 70 + 9791243473302455982995212074979446373521530819427135889984744277721704) * 10 ^ 70 + 2455899825096988200110235121622580255238126116317463085097462800583433

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_224 : Polynomial.coeff recurrence2Scalar0Left 224 = -(((87 * 10 ^ 70 + 2252601178224516683791182117025752392322038267845586853730131816795954) * 10 ^ 70 + 6239402439175196515020223049911897678141193640623407672761787286058663) * 10 ^ 70 + 3533746790446629081543299504811048213844640988271312220934344034557626)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_225 : Polynomial.coeff recurrence2Scalar0Left 225 = ((77 * 10 ^ 70 + 5933970459629068124391641133230690045664948027761473621385905605608423) * 10 ^ 70 + 820374381418108876804160339443248774109891680409470699480578366631333) * 10 ^ 70 + 4492504084706361523136760326267080908266598287439055986158053354809460

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_226 : Polynomial.coeff recurrence2Scalar0Left 226 = -(((25 * 10 ^ 70 + 6078765678855760316903805833517222199592482022201197556891965357478239) * 10 ^ 70 + 4856396752944122265638994615626592619282238685672018630116686390950377) * 10 ^ 70 + 2482220323534478922965575121673542680887134260835806384575757595379155)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_227 : Polynomial.coeff recurrence2Scalar0Left 227 = -(((96 * 10 ^ 70 + 9672335848135629808973365613658675674550832190505447572272273101558597) * 10 ^ 70 + 2002323362416336123628062538362326553015654272918948561204724099574884) * 10 ^ 70 + 2481305220527340233318669723209519864424253838941962974760874252312427)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_228 : Polynomial.coeff recurrence2Scalar0Left 228 = ((323 * 10 ^ 70 + 5455236196444214141336960289887478103169806197263977572188522437501220) * 10 ^ 70 + 2708602200311742478065731794013070694851071409622085750347106641193103) * 10 ^ 70 + 3147548118994668513185999589937135169640695726581175477458449020466808

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_229 : Polynomial.coeff recurrence2Scalar0Left 229 = -(((688 * 10 ^ 70 + 3527544010698873146446839329449541016148676408327895051812226463141390) * 10 ^ 70 + 7377824595056902279449879862548303639739699299538419526099192607620772) * 10 ^ 70 + 3505480007671372763170495730495760255996154324962457147401192675362545)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_230 : Polynomial.coeff recurrence2Scalar0Left 230 = ((1219 * 10 ^ 70 + 7419526163393054100994545924863133909665046406691137468299765657490839) * 10 ^ 70 + 1425349410289736673592351578750103848230050045420755000443436093469486) * 10 ^ 70 + 7114193092879645308099915952281151367366237942141242330527243932096521

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_231 : Polynomial.coeff recurrence2Scalar0Left 231 = -(((1931 * 10 ^ 70 + 9775546199862715335397206451426967290921095837748401886624315553455355) * 10 ^ 70 + 7391863225633775954815515130308057786938974087611176498508034126784888) * 10 ^ 70 + 5525491545145358620412572371296318087315445764986559710682706704890877)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_232 : Polynomial.coeff recurrence2Scalar0Left 232 = ((2817 * 10 ^ 70 + 295988667402145721133453559724266025637888333223370638165956989557103) * 10 ^ 70 + 1793328846238727297403246826310031669758245036921154799111576811976745) * 10 ^ 70 + 9538032718439120805954595066231922091102430838900965664670109452785504

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_233 : Polynomial.coeff recurrence2Scalar0Left 233 = -(((3838 * 10 ^ 70 + 4473875757736270753572497429931642432635553434969966129468827882439523) * 10 ^ 70 + 7006520366616814875305280399077999738160109802704220770274855678829554) * 10 ^ 70 + 8014929305181892644324637583076989670010561039310912891955441182760584)