Recurrence 2 lookup certificate: Scalar2Exceptional 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.recurrence2Scalar2Exceptional_coeff_285 : Polynomial.coeff recurrence2Scalar2Exceptional 285 = (10027854606738741094584063892338723108987245 * 10 ^ 70 + 1718558507137470627072866287852645029894716370506432677232440970315351) * 10 ^ 70 + 3828484254346483336435798836344504144648242901799781088373013476966836

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_286 : Polynomial.coeff recurrence2Scalar2Exceptional 286 = -((4737633970617453263620236143868099127029615 * 10 ^ 70 + 1546706873029290775832932382181900502644857011476370464316347656290501) * 10 ^ 70 + 3498438095029078861643331683345406594164154933761678198605528370381415)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_287 : Polynomial.coeff recurrence2Scalar2Exceptional 287 = (1699741327005970739476457715555518169130804 * 10 ^ 70 + 3498878829645622018045199387198646972400780998077177206733890379322931) * 10 ^ 70 + 1826921932932058539486640703834306185075194812753329674904960941137023

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_288 : Polynomial.coeff recurrence2Scalar2Exceptional 288 = -((439600394059449182657731189733529940535252 * 10 ^ 70 + 9317376724555468455319228142615956466048306306866880581336226545718742) * 10 ^ 70 + 4157099471201440697344912370621256829845498462499933218512978361188800)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_289 : Polynomial.coeff recurrence2Scalar2Exceptional 289 = (49026373579864332843063895555217624257928 * 10 ^ 70 + 8350860472759634925502156710097943482413739150979812994978186185758902) * 10 ^ 70 + 5996896103798233887009674661977766482365347045339498257386248282417898

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_290 : Polynomial.coeff recurrence2Scalar2Exceptional 290 = (26609312891049027578063872129770689035510 * 10 ^ 70 + 2743004588636872224777139057522188025626095445764303671102615806520951) * 10 ^ 70 + 4055708160750659261282257969964837607498819728621968995782715131669864

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_291 : Polynomial.coeff recurrence2Scalar2Exceptional 291 = -((21978527562175569443283712955674585502311 * 10 ^ 70 + 1851652782489799665642676996609514932132280767178312662015020429255369) * 10 ^ 70 + 2176710696081443963106681632602460442168960806112433639967028760057350)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_292 : Polynomial.coeff recurrence2Scalar2Exceptional 292 = (9625012012044214306083008292549816726903 * 10 ^ 70 + 2155917649770241408534876025739050804998466373567719375536429095927802) * 10 ^ 70 + 6551165033792024891986779088058998650483179002444033823703100303826605

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_293 : Polynomial.coeff recurrence2Scalar2Exceptional 293 = -((2946652673882779575915358828464182652288 * 10 ^ 70 + 1843731659658036770790063472516463483196886987070404741679160481191739) * 10 ^ 70 + 2155613347620943275934729305300642689043812188636972957284705681396167)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_294 : Polynomial.coeff recurrence2Scalar2Exceptional 294 = (574888698355983469906374561152230524043 * 10 ^ 70 + 322353608815529129874783518329749854556037023047251248337521725769553) * 10 ^ 70 + 549777032444000284760621425730272628122080330239962630686911705781441

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_295 : Polynomial.coeff recurrence2Scalar2Exceptional 295 = -((2281792391198616732491703663866644051 * 10 ^ 70 + 8978463875407283797950755039804717958722103123619577849093699500326532) * 10 ^ 70 + 759427117807614887513696267817800386754495842245915569780325467675133)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_296 : Polynomial.coeff recurrence2Scalar2Exceptional 296 = -((54912379832166583096012259532806802666 * 10 ^ 70 + 9692949320153554905179648630328886920255554134332429607483414476482599) * 10 ^ 70 + 640378609853263786187569826294000535197541563818333003430930826664284)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_297 : Polynomial.coeff recurrence2Scalar2Exceptional 297 = (27398944128386042751714383532672033653 * 10 ^ 70 + 2510397270619468062018300308836295165556487328563028311362645129981963) * 10 ^ 70 + 3724582047176747472340806179164853451312332797098943259234416484688088

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_298 : Polynomial.coeff recurrence2Scalar2Exceptional 298 = -((8260073726373629222334366477333473922 * 10 ^ 70 + 3860338333524948030752850630526214531889923061001947835392702781543732) * 10 ^ 70 + 2804717156293907607663160890172709746914353076035531317211003541136700)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_299 : Polynomial.coeff recurrence2Scalar2Exceptional 299 = (1516622296025270646006076900723155588 * 10 ^ 70 + 2248187409539777745055127912521488005285604513217411713079964649918927) * 10 ^ 70 + 1076804583297964541938098919224148711199815377314899323543586228439803

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_300 : Polynomial.coeff recurrence2Scalar2Exceptional 300 = -((17568907265820501076075392798108511 * 10 ^ 70 + 867466793639262722197490607441697422906255631927282708141088217730289) * 10 ^ 70 + 2019354141304949251000712114162774207632200018685790496559277879395638)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_301 : Polynomial.coeff recurrence2Scalar2Exceptional 301 = -((107242287369794411994067759317872990 * 10 ^ 70 + 3044547510511204084193460779362101002817473610495284681635842262449184) * 10 ^ 70 + 7160632318481854947295798570362411704319897489395903424956067825547149)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_302 : Polynomial.coeff recurrence2Scalar2Exceptional 302 = (45682872420415285193470592772612877 * 10 ^ 70 + 2135595369692850840891768474357016445585284425691980245112657103796933) * 10 ^ 70 + 1028499134411522201247859859145974176870422637514366695242854475186814

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_303 : Polynomial.coeff recurrence2Scalar2Exceptional 303 = -((10918299824118076270698777157050231 * 10 ^ 70 + 7011560065044214924421614085572622645349190106786949197293210928255555) * 10 ^ 70 + 5617247021703847301228555328162464789656395823550129269421305433472806)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_304 : Polynomial.coeff recurrence2Scalar2Exceptional 304 = (1243697152248162409097199484491549 * 10 ^ 70 + 4846557356912137538541444121235685086825028276051532768932566014340675) * 10 ^ 70 + 3153144841829562575194907600549541184588757579892755445842487196201465

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_305 : Polynomial.coeff recurrence2Scalar2Exceptional 305 = (207079654429976399587512395649315 * 10 ^ 70 + 3961936504228315951880209027057255985183245429615683342890393331026268) * 10 ^ 70 + 5470094611408159853052286147015835026403977616704034115791091570469754

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_306 : Polynomial.coeff recurrence2Scalar2Exceptional 306 = -((144721731307245425688924475436016 * 10 ^ 70 + 405244817553716671767509650929169619184268379603477319447826475067802) * 10 ^ 70 + 3485593843377110632126429889128129853813280765605313188864236231752686)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_307 : Polynomial.coeff recurrence2Scalar2Exceptional 307 = (37721906242627070918398248788349 * 10 ^ 70 + 6118606748813566225127723508021844575558692311278802274749872516465016) * 10 ^ 70 + 5249822893526863452343291654090999238245135578101802091962189762474101

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_308 : Polynomial.coeff recurrence2Scalar2Exceptional 308 = -((4793882870634908732974260026033 * 10 ^ 70 + 6067197530168657391425801953045038772975877248104188741813694505597) * 10 ^ 70 + 8493558756683604042196461945900929274849821264626593532270284698644374)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_309 : Polynomial.coeff recurrence2Scalar2Exceptional 309 = -((341055477333835379312982797581 * 10 ^ 70 + 1852508280364400357626789282990665954806341116382362142828123443014559) * 10 ^ 70 + 9034721131345781953430153361165354656781632022706874297778424820782777)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_310 : Polynomial.coeff recurrence2Scalar2Exceptional 310 = (319549007103991988280575184643 * 10 ^ 70 + 2067137556743691159813098383200953193751311930355377276310129675182644) * 10 ^ 70 + 9622851273948836728871159034702836350784015491009034727301566342985058

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_311 : Polynomial.coeff recurrence2Scalar2Exceptional 311 = -((75438669017306721536332785106 * 10 ^ 70 + 3885633399216576960262655088821238528906723870301825555169465874121121) * 10 ^ 70 + 924393440293512341113189709541767799260730758397523796273664392102832)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_312 : Polynomial.coeff recurrence2Scalar2Exceptional 312 = (7325747123534633412076998504 * 10 ^ 70 + 3746468246706505382426320275729265952334660836582114254882779232021504) * 10 ^ 70 + 6727790977837840353528182194941643815783933605529161739731290454646249

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_313 : Polynomial.coeff recurrence2Scalar2Exceptional 313 = (1000147800224175411643826818 * 10 ^ 70 + 9043687577881766270142320648690527372734333137697200956966511171206472) * 10 ^ 70 + 7857335604985078696223457573314768086878369736998644867378666449549620