Recurrence 2 lookup certificate: Scalar4Exceptional 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.recurrence2Scalar4Exceptional_coeff_91 : Polynomial.coeff recurrence2Scalar4Exceptional 91 = (6791 * 10 ^ 70 + 6091085758363258482395870563995938361831513035019044329228526131603417) * 10 ^ 70 + 4769625321641673883100548258365414417581550007032199733004070134744579

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_92 : Polynomial.coeff recurrence2Scalar4Exceptional 92 = -((32752 * 10 ^ 70 + 6434784886178876387112935047756212533579383115775209805907901400988668) * 10 ^ 70 + 8868209828995812851068178050230551742743054418487379213389728823467445)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_93 : Polynomial.coeff recurrence2Scalar4Exceptional 93 = (154259 * 10 ^ 70 + 7893542227251550804150639866296515155646465066244897418708065484950973) * 10 ^ 70 + 3808647344437913778604474665616038967277603933073825213962221685270556

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_94 : Polynomial.coeff recurrence2Scalar4Exceptional 94 = -((709131 * 10 ^ 70 + 8367451577789006176962855146159251599249572064173905190130723576228939) * 10 ^ 70 + 865860044854775958866602884416764665927624472080938752712494609219956)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_95 : Polynomial.coeff recurrence2Scalar4Exceptional 95 = (3174248 * 10 ^ 70 + 7186231006030023253368476108869012302406153745468381544682434318189232) * 10 ^ 70 + 3162415857300302123949925623396386988740378990459353145256048274233610

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_96 : Polynomial.coeff recurrence2Scalar4Exceptional 96 = -((13815692 * 10 ^ 70 + 1045721309641719767027455494439367234266057088570607565309733532402257) * 10 ^ 70 + 9873818600148456529795468068012921461511019450175300381130246135606143)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_97 : Polynomial.coeff recurrence2Scalar4Exceptional 97 = (58641869 * 10 ^ 70 + 8817669616001067215822992145925761124705884725224113391502297404730246) * 10 ^ 70 + 3224691892400427095801142166248841342749265764741488246333540390925689

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_98 : Polynomial.coeff recurrence2Scalar4Exceptional 98 = -((244441877 * 10 ^ 70 + 8810164806160064133297731834542439148177335661539801369297988823494463) * 10 ^ 70 + 9752782588925755327157562003579471972212171853749690108264728825160273)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_99 : Polynomial.coeff recurrence2Scalar4Exceptional 99 = (1004331322 * 10 ^ 70 + 6493275353161285673503628747268983110978498062847114816189651756055432) * 10 ^ 70 + 4782023403304594500980969750729391565753546469157970995782761922554309

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_100 : Polynomial.coeff recurrence2Scalar4Exceptional 100 = -((4033161307 * 10 ^ 70 + 4968959265962634785229267874724426870093952686532703484712121883048171) * 10 ^ 70 + 4020184100859200875284448081100657439602868431029639785513758579739628)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_101 : Polynomial.coeff recurrence2Scalar4Exceptional 101 = (15545155990 * 10 ^ 70 + 6202327746807496862168977120757407873298296020943844258144992300784913) * 10 ^ 70 + 3005082324866479585600623980376001438521261495330201448017219335422179

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_102 : Polynomial.coeff recurrence2Scalar4Exceptional 102 = -((57007672876 * 10 ^ 70 + 9443248186208251860603839775826306669638175057775470556305451218110746) * 10 ^ 70 + 7224211259532787698509774926631218810042006411210388814021035542553149)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_103 : Polynomial.coeff recurrence2Scalar4Exceptional 103 = (204284588354 * 10 ^ 70 + 7255499588038449484015033875345316664171262199913533438301376007584334) * 10 ^ 70 + 1307310568449581460285846081560118078298871496582949300908419334065421

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_104 : Polynomial.coeff recurrence2Scalar4Exceptional 104 = -((760097198550 * 10 ^ 70 + 3838942082846404656386498744525697287106291158364968823180256438098390) * 10 ^ 70 + 9679546363178919566989976624808526697183344245715409530377732413959591)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_105 : Polynomial.coeff recurrence2Scalar4Exceptional 105 = (2989445466237 * 10 ^ 70 + 3492910109159837343851276934093795665879128881102565125657112136615197) * 10 ^ 70 + 7441990106238678433275880415530341742847884032255631811778123093634761

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_106 : Polynomial.coeff recurrence2Scalar4Exceptional 106 = -((11289325073134 * 10 ^ 70 + 741858932502990094838357449280238664924199908857913833884251233049864) * 10 ^ 70 + 4051382672639879089699285118120582742382724836444672112245143360969078)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_107 : Polynomial.coeff recurrence2Scalar4Exceptional 107 = (34878004274876 * 10 ^ 70 + 3140755271548820401317493474181362178648060063102559754926249745035486) * 10 ^ 70 + 8648152241981551928208986885816953682776231481123158644771696167669324

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_108 : Polynomial.coeff recurrence2Scalar4Exceptional 108 = -((74139217692198 * 10 ^ 70 + 7489927479302810773946447767564446738576493223666570367970059921446442) * 10 ^ 70 + 3092580952795731567432132275048598281076907120501722878909081196687214)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_109 : Polynomial.coeff recurrence2Scalar4Exceptional 109 = (122189633777709 * 10 ^ 70 + 3976893643907388761654363627106510262163366331376545423290576771562655) * 10 ^ 70 + 8291829294625286520425292482045911770942771544676136346975773306121751

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_110 : Polynomial.coeff recurrence2Scalar4Exceptional 110 = -((852776623307690 * 10 ^ 70 + 4793491046052456049840949105413762851315380548875914787427116957006174) * 10 ^ 70 + 1945235200432824860041001239981639809985097901791881862139464180788728)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_111 : Polynomial.coeff recurrence2Scalar4Exceptional 111 = (7862997781209285 * 10 ^ 70 + 7818764378685055091098429055213255593214358396431520727367828113629748) * 10 ^ 70 + 600295373694325552540995478809209544614196937596288675038128133797912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_112 : Polynomial.coeff recurrence2Scalar4Exceptional 112 = -((38217446965144718 * 10 ^ 70 + 8165555097925633983696442189647141778340826216316727780391912853168565) * 10 ^ 70 + 141871866911200939750840539628243773529393633006693926431150077952413)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_113 : Polynomial.coeff recurrence2Scalar4Exceptional 113 = (59964472389964863 * 10 ^ 70 + 9169632988056072829978587310005269450728408787753378124156382774581174) * 10 ^ 70 + 7630206193726110638526954405760041381974567273705153219505458307191592

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_114 : Polynomial.coeff recurrence2Scalar4Exceptional 114 = (422278963848318606 * 10 ^ 70 + 9196919924829560562352854920087647891016292643933044844165833193818215) * 10 ^ 70 + 7100614552480849392935752570492921867719512417296648559514633354005022

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_115 : Polynomial.coeff recurrence2Scalar4Exceptional 115 = -((2906855239082010777 * 10 ^ 70 + 2636807815040854557787075974047082761088198808787560911726176142098960) * 10 ^ 70 + 6175125477119822239946035901157655249365982205184413564244576149970267)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_116 : Polynomial.coeff recurrence2Scalar4Exceptional 116 = (3171117456877652954 * 10 ^ 70 + 9009432871405683306401290916562409379057015591167905512295910492106091) * 10 ^ 70 + 8266295070711422109518636072879834009261642404824600168722190191352423

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_117 : Polynomial.coeff recurrence2Scalar4Exceptional 117 = (52480755987136567170 * 10 ^ 70 + 3832286021522203427914220892093479006101317517019200770244638089581885) * 10 ^ 70 + 2638888604355271874235103122239282623602703942625744146512848582940587

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_118 : Polynomial.coeff recurrence2Scalar4Exceptional 118 = -((333425214795633008329 * 10 ^ 70 + 3264067766788571905639822971794730350013696045182329797369038096013632) * 10 ^ 70 + 4216027378927510102446025236356173582607976503481923777075969593817724)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_119 : Polynomial.coeff recurrence2Scalar4Exceptional 119 = (543519661435194997492 * 10 ^ 70 + 9827801215540301352719480620830496117159399838954373501925069903626800) * 10 ^ 70 + 3457493499199383494183151248219719338186546963244963245955279458951755

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_120 : Polynomial.coeff recurrence2Scalar4Exceptional 120 = (4110244332119526962981 * 10 ^ 70 + 5862320512626827841454632895228566317381035786727511649399830039313098) * 10 ^ 70 + 6467516042133363027905320719613933393237696352042713129244057019818749

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_121 : Polynomial.coeff recurrence2Scalar4Exceptional 121 = -((30334904886316149415380 * 10 ^ 70 + 3617356949823886806163820030737307610443452018618017939115006710877581) * 10 ^ 70 + 7994248420155236902387058543229939019686313427596179669682825152980780)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_122 : Polynomial.coeff recurrence2Scalar4Exceptional 122 = (64243268604791697536612 * 10 ^ 70 + 3652837289047269121336073661464375100892325188350896853953320505787144) * 10 ^ 70 + 9666125495311525864981488884047276889580101683020871159598006752188724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_123 : Polynomial.coeff recurrence2Scalar4Exceptional 123 = (273758201918379384439054 * 10 ^ 70 + 7732942514664192827814934836190524896285599306877740913117644438100525) * 10 ^ 70 + 2061589425668463540200170131865701101890452651987808407293799653335200

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_124 : Polynomial.coeff recurrence2Scalar4Exceptional 124 = -((2499024887016270530580003 * 10 ^ 70 + 4067658097452251237844785054569804757943828519532783687992078074214270) * 10 ^ 70 + 7852095002556677556901985990646332006602645706436249166296983119681585)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_125 : Polynomial.coeff recurrence2Scalar4Exceptional 125 = (6817057010225864961561670 * 10 ^ 70 + 1989644210651570029328362156478959341989977896263997532940471806998245) * 10 ^ 70 + 4492449854051961284158769075854757231617208083576609334619545010474469

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_126 : Polynomial.coeff recurrence2Scalar4Exceptional 126 = (12591719249266517528646039 * 10 ^ 70 + 2944801103025326945636034075953376812481128449584681368875457685617254) * 10 ^ 70 + 9952263907630122025591701802743213813538667244224681264101961163944066

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_127 : Polynomial.coeff recurrence2Scalar4Exceptional 127 = -((179017027708981458914689545 * 10 ^ 70 + 8066646592686306226044512776872113254893690945843471510587806475968318) * 10 ^ 70 + 5251489362803919642206959703799499205829939753443623679082178699633245)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_128 : Polynomial.coeff recurrence2Scalar4Exceptional 128 = (625589915271332331080804686 * 10 ^ 70 + 7891342880620530960357092942067951777088994780700549231562195370717773) * 10 ^ 70 + 6010764447323756648230950906856293543195838379983531282244837680810306

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_129 : Polynomial.coeff recurrence2Scalar4Exceptional 129 = (79980179430588749815393780 * 10 ^ 70 + 5430423251711389266387440407773612424869832678561195671040107955427765) * 10 ^ 70 + 6998003728764012676096592591988517354094791864642227119126115696114625

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_130 : Polynomial.coeff recurrence2Scalar4Exceptional 130 = -((10723471539158614620985550697 * 10 ^ 70 + 6004374381434614644623823570003808898302820186455754548598951960065299) * 10 ^ 70 + 7652889230071820270510263992504749236013790896303236116283424473024463)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_131 : Polynomial.coeff recurrence2Scalar4Exceptional 131 = (49052382310083761847602745741 * 10 ^ 70 + 9492999529138140649274517866793583078141139895211927010327499265553243) * 10 ^ 70 + 2549070397794679429837843089871836229705341672698920046700825214152865

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_132 : Polynomial.coeff recurrence2Scalar4Exceptional 132 = -((59950850434969895054113827200 * 10 ^ 70 + 3204795634501814521206350424889021268773455288037708917943793181115227) * 10 ^ 70 + 1780970325979576772241573894445329617346844471504500078025919388691509)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_133 : Polynomial.coeff recurrence2Scalar4Exceptional 133 = -((480760084742765937581079407637 * 10 ^ 70 + 2476387238097224360820329015329647227293889202932611507862648891679154) * 10 ^ 70 + 8122554402073427062546585247732297451215725982534424763700927826312081)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_134 : Polynomial.coeff recurrence2Scalar4Exceptional 134 = (3157585992038646673193049114812 * 10 ^ 70 + 2610808594543477504284882347038171331327153420636071408159074048546981) * 10 ^ 70 + 6256585367760733333975651668879700634128565106217188130613271543696027

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_135 : Polynomial.coeff recurrence2Scalar4Exceptional 135 = -((7578709797131552231405198278981 * 10 ^ 70 + 4460279556949815481030136984461991077529331482876711746905339410705392) * 10 ^ 70 + 4906284165301645462667594487506936412881969682149640656633365051368344)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_136 : Polynomial.coeff recurrence2Scalar4Exceptional 136 = -((10678889924890111455230317570040 * 10 ^ 70 + 7719913346874224986114318084295368267137748513402932660021668801285722) * 10 ^ 70 + 8065652312221370621740935088126017337045470489944264208231675317493945)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_137 : Polynomial.coeff recurrence2Scalar4Exceptional 137 = (157516859325119622402678434623624 * 10 ^ 70 + 5756296601367256397492118687702945446351440391478300061473017183278581) * 10 ^ 70 + 5665401919620985272421958184983947368021699284343120486469488718325499

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_138 : Polynomial.coeff recurrence2Scalar4Exceptional 138 = -((580523090277123012558279832885201 * 10 ^ 70 + 2361844665797302851736376630082026569054016415654268794332588627104112) * 10 ^ 70 + 7957618482756730179811292359661266642383159499427963431852047108022722)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_139 : Polynomial.coeff recurrence2Scalar4Exceptional 139 = (530122972471821151646491819467503 * 10 ^ 70 + 6870639406002520560049864618793945991069774716971445135112433435263473) * 10 ^ 70 + 8649036774761777392140180529062522025660355911947273863753713816324242

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_140 : Polynomial.coeff recurrence2Scalar4Exceptional 140 = (5331070322729544626339758988077633 * 10 ^ 70 + 8990834421623041079113864204836346383401320999155917246575814229602553) * 10 ^ 70 + 3061907608601315145476236345555985061358086614757306558058300250257054

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_141 : Polynomial.coeff recurrence2Scalar4Exceptional 141 = -((31524469113660461420167371568099074 * 10 ^ 70 + 1581331939078630019783958339506903103983605741644160120092650117317477) * 10 ^ 70 + 1207547969048315241488163361250377473735806461840472537624608940250600)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_142 : Polynomial.coeff recurrence2Scalar4Exceptional 142 = (76438004210078084379458492131252723 * 10 ^ 70 + 6178285822053008442966837756338135639520857860800758036244561670913625) * 10 ^ 70 + 2539113282394558084910553977870282293006142518505839241003408815047871

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_143 : Polynomial.coeff recurrence2Scalar4Exceptional 143 = (46434912496965148443034698243744357 * 10 ^ 70 + 8729383947214057314640263045618859469477043943300574074592035215095625) * 10 ^ 70 + 6604534729469353375055750359829420983557519596524294788443526622014408

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_144 : Polynomial.coeff recurrence2Scalar4Exceptional 144 = -((1158362669022095885362954404505456368 * 10 ^ 70 + 2241243841474912269825540315414874745045898636945556361501900651326741) * 10 ^ 70 + 5755771945612053384490934259000782030078119892201736191895181493660001)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_145 : Polynomial.coeff recurrence2Scalar4Exceptional 145 = (4749177069499664086795701314045822863 * 10 ^ 70 + 5695966356746438993340172349025900871355224485192134973010755406796742) * 10 ^ 70 + 978895326666535272034427505833862347323679774710376913550924680643332

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_146 : Polynomial.coeff recurrence2Scalar4Exceptional 146 = -((8004072074016430179013633868056384488 * 10 ^ 70 + 3350779286725740080219799552420559102575523922775363262905433164213269) * 10 ^ 70 + 6434456903720743178383688404519007706177160984042683401245456874483450)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_147 : Polynomial.coeff recurrence2Scalar4Exceptional 147 = -((18569526838722318947622691380271584337 * 10 ^ 70 + 2944222749180223799493089400309925143053807394818323049951272347358642) * 10 ^ 70 + 8385667859359255152742489541333171252081563950381989359963118489674341)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_148 : Polynomial.coeff recurrence2Scalar4Exceptional 148 = (175680822354935982073754843339789731984 * 10 ^ 70 + 749636147081414702806108235855200994302546065759153591005590553079030) * 10 ^ 70 + 834658200180588545581813054997667192439547026932964877200229397004232

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_149 : Polynomial.coeff recurrence2Scalar4Exceptional 149 = -((592847863804147898178521638959287045290 * 10 ^ 70 + 9521563706024139037842850501621251296205166806168992394624414522516549) * 10 ^ 70 + 775430573548030016156638321084192470162240023970613889186395620609340)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_150 : Polynomial.coeff recurrence2Scalar4Exceptional 150 = (777502210126286640719291682194881989846 * 10 ^ 70 + 1802205838950983467190590445754881997656373261341262006374193695901475) * 10 ^ 70 + 2551846455822655786599080190263887041851006838567267107447369946744233

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_151 : Polynomial.coeff recurrence2Scalar4Exceptional 151 = (2806298008036770732851480781228216902523 * 10 ^ 70 + 492299947348225766499603436861678632187611340364904774056397217598376) * 10 ^ 70 + 4639558481283773540410539614929856780537335749387614819033953580035724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_152 : Polynomial.coeff recurrence2Scalar4Exceptional 152 = -((20836581717279483665615636745347622871513 * 10 ^ 70 + 926232033689238758828202162699851146293141153881678015029347650594978) * 10 ^ 70 + 7045593866817572126204489771214801515053575652478463226228363270689933)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_153 : Polynomial.coeff recurrence2Scalar4Exceptional 153 = (65403885548025217789869554248607868366829 * 10 ^ 70 + 5671927319377766536447127933192377525258172642322914735928069763885052) * 10 ^ 70 + 233064088238834275595276463868098941222929141804351886262633293038514