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_91 : Polynomial.coeff recurrence2Scalar2Exceptional 91 = (46661 * 10 ^ 70 + 7858816074362120106171852888942372023125252230970465644863444747737982) * 10 ^ 70 + 7162348969065243487544304728538478849155029350076076096837327166542044

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_92 : Polynomial.coeff recurrence2Scalar2Exceptional 92 = -((235102 * 10 ^ 70 + 281357500799355800860233502796606202688178766856943625506633618263006) * 10 ^ 70 + 6409873533035229893455027439467894903062352384733498415082668415203181)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_93 : Polynomial.coeff recurrence2Scalar2Exceptional 93 = (1154859 * 10 ^ 70 + 562792581523220044945738247058537604493672731576369268836766777273913) * 10 ^ 70 + 3314509888801931307817670143931068897250082193832669851557866768232412

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_94 : Polynomial.coeff recurrence2Scalar2Exceptional 94 = -((5537262 * 10 ^ 70 + 1916454242768057219307566239829875166617163145122736400397387255150284) * 10 ^ 70 + 7138838694685231142731891073556848563231963838708277755901626589837993)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_95 : Polynomial.coeff recurrence2Scalar2Exceptional 95 = (25927172 * 10 ^ 70 + 6212436469832956716349342965279681486282376563284363295316790045180185) * 10 ^ 70 + 9191624917589269650617288623683157386269526563344031369484172871443641

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_96 : Polynomial.coeff recurrence2Scalar2Exceptional 96 = -((118423465 * 10 ^ 70 + 8577932210347645101926274719942052568339808337575391165377760847778015) * 10 ^ 70 + 6059095188804938223108389536855426567720850886754098983242540229028898)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_97 : Polynomial.coeff recurrence2Scalar2Exceptional 97 = (526726210 * 10 ^ 70 + 1476948502759078416231250635885501885184026068580848476085005685120724) * 10 ^ 70 + 9009769251002086132859660844629651816164579258507923002323604597002502

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_98 : Polynomial.coeff recurrence2Scalar2Exceptional 98 = -((2281715481 * 10 ^ 70 + 9848329403732708215520269551870604873875463794609849376998535082966203) * 10 ^ 70 + 497425849315389529338050641657551316215610048909141572256250178083954)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_99 : Polynomial.coeff recurrence2Scalar2Exceptional 99 = (9663316718 * 10 ^ 70 + 5857791444145414549564028592139425495709161466111172246866432445246648) * 10 ^ 70 + 7791565433056350186612842239684089075410275005097677024201663515519769

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_100 : Polynomial.coeff recurrence2Scalar2Exceptional 100 = -((40215212743 * 10 ^ 70 + 1502474714818733667107994405839731633161390003929666160870323060983354) * 10 ^ 70 + 2824005777989908041622427411659131083111907550207201417735687964409894)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_101 : Polynomial.coeff recurrence2Scalar2Exceptional 101 = (164404112986 * 10 ^ 70 + 8883914783628161424078302923369117075120991452998713465229723955028069) * 10 ^ 70 + 3629746363394517497659811623087478555467506031957285429967531193217649

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_102 : Polynomial.coeff recurrence2Scalar2Exceptional 102 = -((653695253612 * 10 ^ 70 + 94331706013002755949880194240792069042139854697061218532137883639576) * 10 ^ 70 + 7731730719747973078989596174885811217084403821903347684854408190762245)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_103 : Polynomial.coeff recurrence2Scalar2Exceptional 103 = (2495989369172 * 10 ^ 70 + 6236419902249510987583792908184373770852495464605467870769254102607827) * 10 ^ 70 + 7059480293294186156071750246247135726570989022929101344384420439842837

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_104 : Polynomial.coeff recurrence2Scalar2Exceptional 104 = -((9170156814534 * 10 ^ 70 + 2803092513423397081635347991822734364796696067982412621727628978882373) * 10 ^ 70 + 4272551891537030910228262402556025876118125464245679453348233643788000)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_105 : Polynomial.coeff recurrence2Scalar2Exceptional 105 = (33448879757565 * 10 ^ 70 + 3119361080200356836961117145509232898206157341792721474236823623700114) * 10 ^ 70 + 5510307827814515356287874592966206391767651384998496918578828739958081

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_106 : Polynomial.coeff recurrence2Scalar2Exceptional 106 = -((126187394437959 * 10 ^ 70 + 9630277357411384836651109042304148845375966758207473758943596827062555) * 10 ^ 70 + 5420372802432199171979831954248085443169091414226941372253567455907462)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_107 : Polynomial.coeff recurrence2Scalar2Exceptional 107 = (485344221394832 * 10 ^ 70 + 5143817308178982065858091583635462996506762254400642011848172474759656) * 10 ^ 70 + 3642706632588351163612056166868265889633789833383023005214357176638909

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_108 : Polynomial.coeff recurrence2Scalar2Exceptional 108 = -((1731739102247338 * 10 ^ 70 + 8788741983048010197507630761051080819926451208030149682306772675443861) * 10 ^ 70 + 56642148166171172063885726949046289501918413146635050269318187549887)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_109 : Polynomial.coeff recurrence2Scalar2Exceptional 109 = (5074729565917590 * 10 ^ 70 + 8434334870126397099446556575450717776025151588260039784733765049993263) * 10 ^ 70 + 5763306520073012548876054629341151817476024348354261878410152041557542

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_110 : Polynomial.coeff recurrence2Scalar2Exceptional 110 = -((11467701244267163 * 10 ^ 70 + 8740789415131018221858956636038786742607630452876236291925093055885045) * 10 ^ 70 + 1511652889286208360664387969805012073857646939664367360399417141474019)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_111 : Polynomial.coeff recurrence2Scalar2Exceptional 111 = (30652873274576629 * 10 ^ 70 + 4907681616767475626724251206859623890670009450424618408173687741316405) * 10 ^ 70 + 745161409616738819990001134420547249849116997631190889826099640144141

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_112 : Polynomial.coeff recurrence2Scalar2Exceptional 112 = -((198903405191450236 * 10 ^ 70 + 7563075892860724134873620510425380603849474929082577527453430915555704) * 10 ^ 70 + 3192432882378117455252542845545946751671659296079106325741359623388392)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_113 : Polynomial.coeff recurrence2Scalar2Exceptional 113 = (1282674727742797945 * 10 ^ 70 + 9428628418790507477578560549104854737671249839137905795698724336663089) * 10 ^ 70 + 7485659356377789011023748157213646888863264280489217043197791597873944

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_114 : Polynomial.coeff recurrence2Scalar2Exceptional 114 = -((4741632409011867499 * 10 ^ 70 + 4167348712692444882856194532934667054201897942284056384023560704345033) * 10 ^ 70 + 7930020870060204834834589450882304272230638762249201609617798927919980)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_115 : Polynomial.coeff recurrence2Scalar2Exceptional 115 = (2545321960930085992 * 10 ^ 70 + 9999245266008717249658139399119533371135348276907427194540650214024869) * 10 ^ 70 + 1302262144551079869165251406115966718645416237413642949736406103341251

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_116 : Polynomial.coeff recurrence2Scalar2Exceptional 116 = (69473040842990746006 * 10 ^ 70 + 6765143152897149557567692664689175288027850069193835119401447802481574) * 10 ^ 70 + 1937292023564732094718429015478437045816872962624438976381582656391207

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_117 : Polynomial.coeff recurrence2Scalar2Exceptional 117 = -((317169044322688319906 * 10 ^ 70 + 8670995160489006691485353246404031057744200567953726347275327892335453) * 10 ^ 70 + 6588708258972666191660763015759406596450663261316559790674234761030702)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_118 : Polynomial.coeff recurrence2Scalar2Exceptional 118 = -((227773624353487377903 * 10 ^ 70 + 8515906909454436745397793031785953251447350044038627959902338486284705) * 10 ^ 70 + 1199643869015960647966588185116804179395893104010157076176771747305474)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_119 : Polynomial.coeff recurrence2Scalar2Exceptional 119 = (8693851428835879955173 * 10 ^ 70 + 8452040571594169634184398784422256117166603444819416372649298825814802) * 10 ^ 70 + 8166279074625647405688414980732052020067044853186372023301181024362852

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_120 : Polynomial.coeff recurrence2Scalar2Exceptional 120 = -((39487253877982578733759 * 10 ^ 70 + 972401073688943023069294634967559545317538141252987116943719845469660) * 10 ^ 70 + 3131068375218132220895101549975674546821273216972354127087226267049915)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_121 : Polynomial.coeff recurrence2Scalar2Exceptional 121 = (16560376943291832016997 * 10 ^ 70 + 1853386045992830258664015266250244987869640114138547350583534117704473) * 10 ^ 70 + 9884058061402622886859220504765475327494948616565349858587754866665978

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_122 : Polynomial.coeff recurrence2Scalar2Exceptional 122 = (709045655367761384081295 * 10 ^ 70 + 761138836392803259391951079303560737091483679835292102669148394211676) * 10 ^ 70 + 5939321757716212981187809744430878256125050973303931879711439935040897

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_123 : Polynomial.coeff recurrence2Scalar2Exceptional 123 = -((3726987776317971143983646 * 10 ^ 70 + 4944810232600115889630372393240608177209740945076952682571151818106771) * 10 ^ 70 + 5115215941279437396617471221875835942894565074276329963459580338905385)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_124 : Polynomial.coeff recurrence2Scalar2Exceptional 124 = (4119071451545477994554902 * 10 ^ 70 + 6026288274279950246108191421408906023063488615577445855420881010433108) * 10 ^ 70 + 9724875846438338736213883738766429793064269779877556258623622509622444

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_125 : Polynomial.coeff recurrence2Scalar2Exceptional 125 = (51187234701052506303378634 * 10 ^ 70 + 6399697284461637983954856183120027595697919017951861007702555749656990) * 10 ^ 70 + 4261655302845233931318734200091388590785585797712358171812349014664548

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_126 : Polynomial.coeff recurrence2Scalar2Exceptional 126 = -((321875051347550709572192865 * 10 ^ 70 + 7164772719621987470910067361239680082251570571344900035891966066909244) * 10 ^ 70 + 8481076511555161612367248052068220531346508338567771415233712401115113)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_127 : Polynomial.coeff recurrence2Scalar2Exceptional 127 = (603410421520071978373679005 * 10 ^ 70 + 5704706001677716260890256290867809990093643819466904777179052693492984) * 10 ^ 70 + 6837936051823593811076795580761223800663300008595594792249488952183106

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_128 : Polynomial.coeff recurrence2Scalar2Exceptional 128 = (2879092210984721762892316488 * 10 ^ 70 + 8727743570281412159855207821281746807659010484701471144681001683362024) * 10 ^ 70 + 7928545321962331605348006602703845410031051815518659064912887165430219

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_129 : Polynomial.coeff recurrence2Scalar2Exceptional 129 = -((24270314047868015282216124006 * 10 ^ 70 + 2635131891149665118575721260660544368713019958523808563158214279646987) * 10 ^ 70 + 7709212255373254512013038212901085150484110578995239938980588783048951)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_130 : Polynomial.coeff recurrence2Scalar2Exceptional 130 = (65802225897845527440969287698 * 10 ^ 70 + 8588279050489204808347926594446361199193228536322248444404176931176819) * 10 ^ 70 + 2766065925748514537809176541324801760972357713033423862952153465061456

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_131 : Polynomial.coeff recurrence2Scalar2Exceptional 131 = (96868890496719584079062886624 * 10 ^ 70 + 9939803515697391426956214030321196858927873871153414980511485700173798) * 10 ^ 70 + 743225250661938572049115765748509218614895358917750344588929682372559

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_132 : Polynomial.coeff recurrence2Scalar2Exceptional 132 = -((1547646475261967683339644484829 * 10 ^ 70 + 5064155086786590378660908365084092112643694793874121174796314972817118) * 10 ^ 70 + 4416991388806586245479791007983241131498507697389653127223126182736707)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_133 : Polynomial.coeff recurrence2Scalar2Exceptional 133 = (5771112726407774334973087991069 * 10 ^ 70 + 203697799522985425701816482935569915656577533946813589016720928389873) * 10 ^ 70 + 7756188065889317864461834539410945929175726780292361948932454096030541

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_134 : Polynomial.coeff recurrence2Scalar2Exceptional 134 = -((2796913057725041342932432083612 * 10 ^ 70 + 4081257094578642505600305417743079711651639256684405694430788087071514) * 10 ^ 70 + 4442397499941171665191603347187244669788385706899305667586857702322785)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_135 : Polynomial.coeff recurrence2Scalar2Exceptional 135 = -((76336689106958400669875331000015 * 10 ^ 70 + 5054255127796023048221542939429231642255621227562432907474834168203423) * 10 ^ 70 + 9853692116156812750027343832199777634003429951952181143255855687579103)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_136 : Polynomial.coeff recurrence2Scalar2Exceptional 136 = (402711582698571925626508775879784 * 10 ^ 70 + 1528956102165730870868891900228564126798126046018253729655771226112071) * 10 ^ 70 + 5703454564102529323304215460362892676383176091580308106623336021979095

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_137 : Polynomial.coeff recurrence2Scalar2Exceptional 137 = -((761278069276540835496220001491795 * 10 ^ 70 + 9213069174777599392777794125190877869912455908724287140439159886904116) * 10 ^ 70 + 8935952810136564300759095587847498894483964935220633710453027496918154)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_138 : Polynomial.coeff recurrence2Scalar2Exceptional 138 = -((2284550837582534142304464434682568 * 10 ^ 70 + 9601406514805159225668751673717409887468056045729467861911208525983481) * 10 ^ 70 + 1910367362042793337145918129351863109374621811909248758856372389353988)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_139 : Polynomial.coeff recurrence2Scalar2Exceptional 139 = (21549455244600876428624400974449141 * 10 ^ 70 + 6509584917657705705378127793031696381345916053162387442968085361275304) * 10 ^ 70 + 6152291778256957233820163688047469162722551034627113499468685486158693

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_140 : Polynomial.coeff recurrence2Scalar2Exceptional 140 = -((68821130894858020372526572708242879 * 10 ^ 70 + 7855234322516664914695035115839582405702928502359339110253179780183497) * 10 ^ 70 + 8011746625438168400817285585744266739782270207365847818059434066524565)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_141 : Polynomial.coeff recurrence2Scalar2Exceptional 141 = (26117395706753829774913818634963780 * 10 ^ 70 + 3498520499500487151202794154881900763416778372834990940805601387212829) * 10 ^ 70 + 4114582474665133573407402132008825536164139190040434711642769704651552

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_142 : Polynomial.coeff recurrence2Scalar2Exceptional 142 = (801780297368213106239366919478644646 * 10 ^ 70 + 6240999893980072685933510157338166045245043159560763934626880079012140) * 10 ^ 70 + 2416641536089747431113529157479903298849616325380653636431608856941262

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_143 : Polynomial.coeff recurrence2Scalar2Exceptional 143 = -((4072011242789826945633602258653766561 * 10 ^ 70 + 3991596420533477067483539587397179575452818088584616151121989829473800) * 10 ^ 70 + 7108414258795102381386116798521596520819333392446779382661906351688895)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_144 : Polynomial.coeff recurrence2Scalar2Exceptional 144 = (8567615770091299278157747353806046877 * 10 ^ 70 + 5677197783523615410603415731146851672436660149967613084993992830842873) * 10 ^ 70 + 5725386179750812917918590558035498246595287230398446332985483996179690

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_145 : Polynomial.coeff recurrence2Scalar2Exceptional 145 = (11765988499149313682047956267045831571 * 10 ^ 70 + 6342689374071914257832587877784080402610290016621713067494827126792741) * 10 ^ 70 + 82234541982501490559824136014193094455828354307533175520411575179067

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_146 : Polynomial.coeff recurrence2Scalar2Exceptional 146 = -((160779922513528370715911984098305799131 * 10 ^ 70 + 2778397630293212111742168913471898971871823546085809718758280432769067) * 10 ^ 70 + 161635824875522040936081879688097387807005010036543033379805089596271)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_147 : Polynomial.coeff recurrence2Scalar2Exceptional 147 = (601252795324295355445517860414231601651 * 10 ^ 70 + 8658317998441022567778074284188641747775555407622051725805354489947383) * 10 ^ 70 + 6159234734156479999672734408036241926840565794364624755015364903183940

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_148 : Polynomial.coeff recurrence2Scalar2Exceptional 148 = -((865344670986723968813073125249168801059 * 10 ^ 70 + 6807688583371246120564584719743580814251180275187858481956493429538671) * 10 ^ 70 + 6992043187869487030641236370797238788093236350921289932284424375703017)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_149 : Polynomial.coeff recurrence2Scalar2Exceptional 149 = -((3014344880859775040539621129403776456716 * 10 ^ 70 + 7960391558279685509672178507720973449712478513681404272270667654987735) * 10 ^ 70 + 334101971914985456074200503677687919894631882854866259867904195141546)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_150 : Polynomial.coeff recurrence2Scalar2Exceptional 150 = (23746372785410036673228291664097699783990 * 10 ^ 70 + 2466498622154091918623442843033352283329294283052487536133653529713474) * 10 ^ 70 + 5605321266376912278961559900863293642926485529165892143613210832591199

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_151 : Polynomial.coeff recurrence2Scalar2Exceptional 151 = -((75371641875614313942738090404621156677691 * 10 ^ 70 + 409284457460367042081322209329683461903209157461600623979209565925532) * 10 ^ 70 + 9852272418383853457196247340112054920175226431859733031477353562829965)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_152 : Polynomial.coeff recurrence2Scalar2Exceptional 152 = (85468848077115535844579928788625829038993 * 10 ^ 70 + 681511242151276267963648980947129442530774910302198615091070436237376) * 10 ^ 70 + 8034531709842278349452139716636727099710424518896971712123836313631908

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_153 : Polynomial.coeff recurrence2Scalar2Exceptional 153 = (417620838261636441410195059640162123966142 * 10 ^ 70 + 499769376941908851908056842320109587092792183630993578302042561000342) * 10 ^ 70 + 233705935692855016871728574785613741346985321377683102406913460244851