Recurrence 4 lookup certificate: ExceptionalProduct coefficient convolution

This is a checked coefficient-lookup shard for the fourth pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_0 : Polynomial.coeff recurrence4ExceptionalProduct 0 = -148021789696 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_1 : Polynomial.coeff recurrence4ExceptionalProduct 1 = 425029902975744 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_2 : Polynomial.coeff recurrence4ExceptionalProduct 2 = 361363908594464624 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_3 : Polynomial.coeff recurrence4ExceptionalProduct 3 = -1710740689980747316160 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_4 : Polynomial.coeff recurrence4ExceptionalProduct 4 = 33321634268823841799180 / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_5 : Polynomial.coeff recurrence4ExceptionalProduct 5 = 1568684170453573062994623780 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_6 : Polynomial.coeff recurrence4ExceptionalProduct 6 = -1212801867594562315008195780936 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_7 : Polynomial.coeff recurrence4ExceptionalProduct 7 = 222090859349556932123007586448524 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_8 : Polynomial.coeff recurrence4ExceptionalProduct 8 = 29576650571031224960847659738892371 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_9 : Polynomial.coeff recurrence4ExceptionalProduct 9 = -9376111723218189450314480137833538103 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_10 : Polynomial.coeff recurrence4ExceptionalProduct 10 = -1324064904771674529390664983163648610812 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_11 : Polynomial.coeff recurrence4ExceptionalProduct 11 = 840726262835178425904176020051287193471402 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_12 : Polynomial.coeff recurrence4ExceptionalProduct 12 = -228594728554308501065228306142824529356454184 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_13 : Polynomial.coeff recurrence4ExceptionalProduct 13 = 51563070341198515455770316143830671198904310754 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_14 : Polynomial.coeff recurrence4ExceptionalProduct 14 = -9156969475137893698375804475381456105113956397943 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_15 : Polynomial.coeff recurrence4ExceptionalProduct 15 = 1305589300519121038515811130765872536785458407869721 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_16 : Polynomial.coeff recurrence4ExceptionalProduct 16 = -207830625181550919456555034908458379347068535422211801 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_17 : Polynomial.coeff recurrence4ExceptionalProduct 17 = 54906167012788032194573835549272706195365984723334891307 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_18 : Polynomial.coeff recurrence4ExceptionalProduct 18 = -17831644626160314087744891606051486810601634983396113759986 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_19 : Polynomial.coeff recurrence4ExceptionalProduct 19 = 5197750894258186595818375748100966211897686983427724483974072 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_20 : Polynomial.coeff recurrence4ExceptionalProduct 20 = -1288988348334583498140437774724849846745915532816260045200305063 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_21 : Polynomial.coeff recurrence4ExceptionalProduct 21 = 21209581350268564960755453637351665391797776122138543798880549937 / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_22 : Polynomial.coeff recurrence4ExceptionalProduct 22 = -51787973424327418626002256866889371142799761373743734838178424228344 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_23 : Polynomial.coeff recurrence4ExceptionalProduct 23 = 8653406264959136465134877056915981849133961896800524317038148920529702 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_24 : Polynomial.coeff recurrence4ExceptionalProduct 24 = -(129 * 10 ^ 70 + 8101235487978630655967213859121424136680727681995601407307819178627571) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_25 : Polynomial.coeff recurrence4ExceptionalProduct 25 = (17599 * 10 ^ 70 + 1479808316575612790892523457156954036447756730365415540563959994682441) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_26 : Polynomial.coeff recurrence4ExceptionalProduct 26 = -(2167761 * 10 ^ 70 + 2498373956942659199371923070545487748010193543445081073636999952086217) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_27 : Polynomial.coeff recurrence4ExceptionalProduct 27 = (243647016 * 10 ^ 70 + 9037473719736948509291741291755502247982858221555563249372002737293357) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_28 : Polynomial.coeff recurrence4ExceptionalProduct 28 = -(25082985746 * 10 ^ 70 + 9984530186876730048285660208869934385841734811819341822747609547533140) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_29 : Polynomial.coeff recurrence4ExceptionalProduct 29 = (2373119648425 * 10 ^ 70 + 1102867778837728735149004582451883388113811437876439435644504357535108) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_30 : Polynomial.coeff recurrence4ExceptionalProduct 30 = -(206962885226164 * 10 ^ 70 + 7426260459675647697745574775390323873446765897511402432351315309960208) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_31 : Polynomial.coeff recurrence4ExceptionalProduct 31 = (16683652257094703 * 10 ^ 70 + 1910707712903168380826939970852570858240079063976839132219688065380988) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_32 : Polynomial.coeff recurrence4ExceptionalProduct 32 = -(1246267356131866222 * 10 ^ 70 + 3525814284203780835154112404733432069361810286089612784041559581840852) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_33 : Polynomial.coeff recurrence4ExceptionalProduct 33 = (86469863583043081985 * 10 ^ 70 + 7540422631435709973379384903525468597362873389396043735257871175484976) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_34 : Polynomial.coeff recurrence4ExceptionalProduct 34 = -(5584590074323924672599 * 10 ^ 70 + 8168694505410869872868980457531750478050679799556224606127778299710151) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_35 : Polynomial.coeff recurrence4ExceptionalProduct 35 = (336408223286813466480201 * 10 ^ 70 + 1576791788013630421600670053605631431132977842039256294105915667900151) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_36 : Polynomial.coeff recurrence4ExceptionalProduct 36 = -(18936946810685302877259194 * 10 ^ 70 + 6175375752715656084579319870765006625117875949911152154243531637587153) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_37 : Polynomial.coeff recurrence4ExceptionalProduct 37 = (997906919680749079148547390 * 10 ^ 70 + 4756289596123444465078584893231693958542541682060770926470914215767799) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_38 : Polynomial.coeff recurrence4ExceptionalProduct 38 = -(49309411849691549030549681077 * 10 ^ 70 + 1550053180602677088507570988638061823065419441342287368625028863362526) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_39 : Polynomial.coeff recurrence4ExceptionalProduct 39 = (2288288652757008593584022548716 * 10 ^ 70 + 1059549464626933010065310265757990584575765061809655374473525684599732) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_40 : Polynomial.coeff recurrence4ExceptionalProduct 40 = -(99879529525479671217639828584505 * 10 ^ 70 + 9085838563259500419321226509155414726177270452778368062108285675417743) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_41 : Polynomial.coeff recurrence4ExceptionalProduct 41 = (4106155538235619123956235243261490 * 10 ^ 70 + 5606066619935440701390156392892013218082240276530426185534341755876689) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_42 : Polynomial.coeff recurrence4ExceptionalProduct 42 = -(159207557130490391854234796646874302 * 10 ^ 70 + 4399455555976056800491470406335852654294203304139874938334469359702661) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_43 : Polynomial.coeff recurrence4ExceptionalProduct 43 = (5829178108292145702188316874829342832 * 10 ^ 70 + 740234791147839386422175839628194131073486525562721536865304863072781) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_44 : Polynomial.coeff recurrence4ExceptionalProduct 44 = -(201782773886865096039152730073157665478 * 10 ^ 70 + 6351038791206733994568387853643762136742582415615115519420765951471995) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_45 : Polynomial.coeff recurrence4ExceptionalProduct 45 = (6611273684264671576439076182765237668123 * 10 ^ 70 + 5783593734655787758182069310306620176652645415687898134390843948130499) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_46 : Polynomial.coeff recurrence4ExceptionalProduct 46 = -(205246838866044275732646627130229503516631 * 10 ^ 70 + 8192729962938308731668584648928723336534633282797947428453280648803896) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_47 : Polynomial.coeff recurrence4ExceptionalProduct 47 = (6043662057829627722275727128399514190095389 * 10 ^ 70 + 4988225610662712834876824851318112205959760432960221393391430229938420) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_48 : Polynomial.coeff recurrence4ExceptionalProduct 48 = -(168956676234637383100498122572288379201377868 * 10 ^ 70 + 8501919305385892072363010236862716065886344331956163562775625581676475) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_49 : Polynomial.coeff recurrence4ExceptionalProduct 49 = (4488477905968890406256643520308226070469683246 * 10 ^ 70 + 5499822379586094398105775323306096260275931449997194210044182597293001) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_50 : Polynomial.coeff recurrence4ExceptionalProduct 50 = -(113408872441560499311189050936930561766825262407 * 10 ^ 70 + 8077090693222462811043971397499688803156663229853473780364188727856253) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_51 : Polynomial.coeff recurrence4ExceptionalProduct 51 = (2727557697176272936277916123747783558976822935513 * 10 ^ 70 + 8015896426726145448262312809079492520080200646247264101444627506974239) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_52 : Polynomial.coeff recurrence4ExceptionalProduct 52 = -(62490507389941172590447640581995456962935257556131 * 10 ^ 70 + 7941451408307006893871778669557359087758310680197684027447534782707454) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_53 : Polynomial.coeff recurrence4ExceptionalProduct 53 = (104987557612612048927522930693269304921481266791010 * 10 ^ 70 + 1477590562159814445126005122270529067679068447874757573179800335125838) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_54 : Polynomial.coeff recurrence4ExceptionalProduct 54 = -(28436018458653430498673752759265537924435775644024520 * 10 ^ 70 + 3664220132697112934901685914767551938972721676154466471954817902026871) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_55 : Polynomial.coeff recurrence4ExceptionalProduct 55 = (565522221577685854581525846622436648855031588269631033 * 10 ^ 70 + 2371322078120270619162944028019353713234073464879227769820888888068963) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_56 : Polynomial.coeff recurrence4ExceptionalProduct 56 = -(10741763377928742536106442835330847881713646496423163146 * 10 ^ 70 + 8322116929935760294160616716031800934996972038810163973611495010689146) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_57 : Polynomial.coeff recurrence4ExceptionalProduct 57 = (14997990660715920173107855206704664328497373748597657113 * 10 ^ 70 + 8949648428054977831483899546847735428899590276993839924289387125956014) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_58 : Polynomial.coeff recurrence4ExceptionalProduct 58 = -(3383446257650609433712698072872103210910800210173021046225 * 10 ^ 70 + 413630643301792731664321334363098055109735119848197665768071728977599) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_59 : Polynomial.coeff recurrence4ExceptionalProduct 59 = (56157385514167856424300304112241199600479942239346289944337 * 10 ^ 70 + 9049786243958755631778736022690092178309062704644109120506996735636595) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_60 : Polynomial.coeff recurrence4ExceptionalProduct 60 = -(891816932816022454071208495521588863043832219596816207872541 * 10 ^ 70 + 6690854174937619338794539558067481528579410421408495925240662922670993) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_61 : Polynomial.coeff recurrence4ExceptionalProduct 61 = (13554810512106460748542852997185810758013186380864645414226989 * 10 ^ 70 + 1407807621901794471125109867208726579070107180771136815323692985282207) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_62 : Polynomial.coeff recurrence4ExceptionalProduct 62 = -(197222091319506959658867085845268842041720945290669074612356261 * 10 ^ 70 + 8626098459562017370705835961700036156957742195017365188345476994174734) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_63 : Polynomial.coeff recurrence4ExceptionalProduct 63 = (2747393489747568162603919789713816046397105439099807869955956634 * 10 ^ 70 + 1806378245851502046522943225946763908575639571318311236823074604636232) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_64 : Polynomial.coeff recurrence4ExceptionalProduct 64 = -(36644234937967442758659068973247267080855356076083406186917114465 * 10 ^ 70 + 2432389191014537030154065753273527930292294214905154189654281748899652) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_65 : Polynomial.coeff recurrence4ExceptionalProduct 65 = (467924555674833388195849786085742873109647420723555624481309247897 * 10 ^ 70 + 5371987291696657357837918655747539695984364784670150421269333789092862) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_66 : Polynomial.coeff recurrence4ExceptionalProduct 66 = -(5719212646779211876015452924502660880802652306653297711904051830690 * 10 ^ 70 + 9604905035539922328757549803086655126934021906110877630729896584720339) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_67 : Polynomial.coeff recurrence4ExceptionalProduct 67 = (395757647596594235229126193562288267709990595084543777087855544947 * 10 ^ 70 + 6375585162108455307080461508266007603298277173475797696454587540458427) / 137368283630347879201

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_68 : Polynomial.coeff recurrence4ExceptionalProduct 68 = -(57531361118452759062644173843266489044763413679066612510561925220482 * 10 ^ 70 + 4007784550703755899102061002471370215440695952757679522190019024984230) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_69 : Polynomial.coeff recurrence4ExceptionalProduct 69 = (7989858153037544939727035173999782630772862310075522306430620085283525 * 10 ^ 70 + 541151900147729270776327579586198234469654938962027346513259778112986) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_70 : Polynomial.coeff recurrence4ExceptionalProduct 70 = -(6264448192790128710093319417587375100106196562533007297822806697636168 * 10 ^ 70 + 7755492530635624293615673840662601526023622559148972419026532760849810) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_71 : Polynomial.coeff recurrence4ExceptionalProduct 71 = ((79 * 10 ^ 70 + 512491232939504756787011988407572404085012510637597782060171650238168) * 10 ^ 70 + 5024249703080446500748856751359659832354391915105558593379384669847938) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_72 : Polynomial.coeff recurrence4ExceptionalProduct 72 = -((728 * 10 ^ 70 + 8533196613658945431025482924013695217820144643665840841228914951836540) * 10 ^ 70 + 9837894696784843057607684106520800370562487005493363822177518407573017) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_73 : Polynomial.coeff recurrence4ExceptionalProduct 73 = ((6358 * 10 ^ 70 + 3428893024910351594726721076008275717213553796772664804235306685012140) * 10 ^ 70 + 523129848657875579473687207635591115458136293813904114608285983761685) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_74 : Polynomial.coeff recurrence4ExceptionalProduct 74 = -((4013 * 10 ^ 70 + 6328935772580052375151810870198032370454054368526567331386498491334985) * 10 ^ 70 + 7022030770359073161192503673764914455358474467559788241878835155666825) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_75 : Polynomial.coeff recurrence4ExceptionalProduct 75 = ((399016 * 10 ^ 70 + 6602204185773985775190045552987919781520205558168974362589738957175516) * 10 ^ 70 + 9324027145470891906022654212929406565821881394842688747665924811226339) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_76 : Polynomial.coeff recurrence4ExceptionalProduct 76 = -((2797862 * 10 ^ 70 + 9487696739648772345931363311278056226362636983811886558047516991089494) * 10 ^ 70 + 8289014634601198032962981150534795800272773399064049048445828095888676) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_77 : Polynomial.coeff recurrence4ExceptionalProduct 77 = ((17420997 * 10 ^ 70 + 7535046820443791990824165305356056543241384595942356682759042413563773) * 10 ^ 70 + 2070069543619105455459007316287599119325167353777150959828142004785542) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_78 : Polynomial.coeff recurrence4ExceptionalProduct 78 = -((88994657 * 10 ^ 70 + 5847232362766862368970287967896927947925171465381586265102356823975314) * 10 ^ 70 + 3950354003300817472734811607301479858913079369843479804512590792842316) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_79 : Polynomial.coeff recurrence4ExceptionalProduct 79 = ((269407309 * 10 ^ 70 + 6693097450185327528474172167087867738769225597819507787781090079025994) * 10 ^ 70 + 1302457537027742105730568212575393691585024857745835894211190462000026) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_80 : Polynomial.coeff recurrence4ExceptionalProduct 80 = ((1271876880 * 10 ^ 70 + 651936202344774602673347539241821326282389043794081680998353607849743) * 10 ^ 70 + 9809013545658450555097560372323040920080250164582599031483730428103868) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_81 : Polynomial.coeff recurrence4ExceptionalProduct 81 = -((33378787807 * 10 ^ 70 + 76389279525776243340872815835773040159524691795770898447491071801187) * 10 ^ 70 + 8674019615114746405521778525067265713126145457453930167268919585697220) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_82 : Polynomial.coeff recurrence4ExceptionalProduct 82 = ((398507124438 * 10 ^ 70 + 3747383671599318215923468953790214804983771841146015434914581829632340) * 10 ^ 70 + 5328529484830063421237618878948796337819453300689212608910900805695766) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_83 : Polynomial.coeff recurrence4ExceptionalProduct 83 = -((3720145493743 * 10 ^ 70 + 8956724354986301452524504075833448988893831322876850124708804303901300) * 10 ^ 70 + 8866584866448305882852998855403005620571825964626585536294117463766468) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_84 : Polynomial.coeff recurrence4ExceptionalProduct 84 = ((29875693698891 * 10 ^ 70 + 5303425230867934557352857367381063641278601778320598864803422793247580) * 10 ^ 70 + 1623754232478279203897820283918616372215111962296635580063136622292334) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_85 : Polynomial.coeff recurrence4ExceptionalProduct 85 = -((212047387042974 * 10 ^ 70 + 5192449968284957013212933843344560810255529133477032470382022744861174) * 10 ^ 70 + 5218962669707237388573615381776848784919884458495330173713401698017606) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_86 : Polynomial.coeff recurrence4ExceptionalProduct 86 = ((1328469974686458 * 10 ^ 70 + 6867494407156835511030385048275357395789739895386685438570434570824063) * 10 ^ 70 + 7861915746580600466467778204861644246054216082577076563627910836535864) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_87 : Polynomial.coeff recurrence4ExceptionalProduct 87 = -((7126058882803933 * 10 ^ 70 + 3474784539726292739862555645682078912131758110475238880023431557176018) * 10 ^ 70 + 6529725009332972415040798318122567220392765050825705389813552090146864) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_88 : Polynomial.coeff recurrence4ExceptionalProduct 88 = ((29468186450453120 * 10 ^ 70 + 4847735949957855166976245484400771561055988887012533759499413366363105) * 10 ^ 70 + 6933366277668589514580535996513412721568810298993246341356246080200971) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_89 : Polynomial.coeff recurrence4ExceptionalProduct 89 = -((49402260296429798 * 10 ^ 70 + 9097021792146755552380071222874909630007894460902808064348704602941029) * 10 ^ 70 + 5610391419423653932431587153385926891320025335039550172549418253059461) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_90 : Polynomial.coeff recurrence4ExceptionalProduct 90 = -((684493387012791679 * 10 ^ 70 + 6080109031568197418181485043101667690530506853362972737549761509604371) * 10 ^ 70 + 8558342683283867008256793950116252982187643542939358123887905122972793) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_91 : Polynomial.coeff recurrence4ExceptionalProduct 91 = ((10537502264168943847 * 10 ^ 70 + 1817721447655707971684332182544914684622296569539747597791700473751842) * 10 ^ 70 + 5341090071092193306075820331347687485211742069166488457248009154114599) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_92 : Polynomial.coeff recurrence4ExceptionalProduct 92 = -((99191483647611354618 * 10 ^ 70 + 6885345484931530385694075870875043332997756863042434078032949078513763) * 10 ^ 70 + 1756012804680735374090806183076974669209996776100638463412003717147092) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_93 : Polynomial.coeff recurrence4ExceptionalProduct 93 = ((758154383648326507805 * 10 ^ 70 + 4793951834815331147633951574813802758557917494623369788896409454425932) * 10 ^ 70 + 8759423016716322390433267218340727361806205718566622599881339507707760) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_94 : Polynomial.coeff recurrence4ExceptionalProduct 94 = -((5022408663954536368860 * 10 ^ 70 + 8851148708803805335328875168181410179305090041786480268693419606453851) * 10 ^ 70 + 1778755560114694302212629872340707808191947900265441606003028167362718) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_95 : Polynomial.coeff recurrence4ExceptionalProduct 95 = ((29277369729918561602525 * 10 ^ 70 + 3051694477658214192505263825855900108241381508036188934010612761350471) * 10 ^ 70 + 9158901551576472520260843714480581075202898207432274382105792889695742) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_96 : Polynomial.coeff recurrence4ExceptionalProduct 96 = -((148001235833535127875650 * 10 ^ 70 + 5779874298180301549676396476103650232556482375079829026981838498258482) * 10 ^ 70 + 5030325393535762339099529514994221330780054923351321748447381918281674) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_97 : Polynomial.coeff recurrence4ExceptionalProduct 97 = ((608083038114279842993904 * 10 ^ 70 + 9832326578731127742276421345385479900699635870452453713889792066532804) * 10 ^ 70 + 7749063417145882988190591634337084235180287192897563948286889991692600) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_98 : Polynomial.coeff recurrence4ExceptionalProduct 98 = -((1527434050394492251903417 * 10 ^ 70 + 5064226464779275205499400381391981590859874524151287035647894556828065) * 10 ^ 70 + 5367283239520488116992844084449069443780385782466973492203929047631621) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_99 : Polynomial.coeff recurrence4ExceptionalProduct 99 = -((4355304152752167678819613 * 10 ^ 70 + 9785082666662547959869804188666882060627179242436975815542275435296060) * 10 ^ 70 + 9725726412943322493861132049311984265380033349519345133994232675407353) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_100 : Polynomial.coeff recurrence4ExceptionalProduct 100 = ((100626325670200678606520333 * 10 ^ 70 + 7305237151009820302221650244416174424887596459209816974681495643856538) * 10 ^ 70 + 2306709965242608131288645458654213241634310966050052319428286928609250) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_101 : Polynomial.coeff recurrence4ExceptionalProduct 101 = -((73355809063739204257211692 * 10 ^ 70 + 7687558706473879685537131057884559004189887246572477316746326879296743) * 10 ^ 70 + 3253020147358971742759541715106238712939958036455643790328237358630864) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_102 : Polynomial.coeff recurrence4ExceptionalProduct 102 = ((7015461190117635319517503856 * 10 ^ 70 + 4706140865402190540565543822624222060699559820977669819991360967726388) * 10 ^ 70 + 7420000479557060903269542537096533153146825736235684352608525486970915) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_103 : Polynomial.coeff recurrence4ExceptionalProduct 103 = -((44565965390223622171617288457 * 10 ^ 70 + 4712613171903490990080416233428284323817376841467153732281148015795421) * 10 ^ 70 + 1739234545835308502167748363674283740104667108991681617070726493524545) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_104 : Polynomial.coeff recurrence4ExceptionalProduct 104 = ((252837877988187576611606763804 * 10 ^ 70 + 6555715697552350575254486211612652986267541383795598804061469897348407) * 10 ^ 70 + 7266256226981196104428907944449194042382170836167059164445398310986656) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_105 : Polynomial.coeff recurrence4ExceptionalProduct 105 = -((99298262962671091521627685299 * 10 ^ 70 + 4646536746639806057869494443730509552822282443645770896088115823709246) * 10 ^ 70 + 3139732765626424940966835901018411074950042071385729911871891262407082) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_106 : Polynomial.coeff recurrence4ExceptionalProduct 106 = ((5861481024461385705954576658548 * 10 ^ 70 + 5182548105340714078778551998750718587651535871695229384735671368583120) * 10 ^ 70 + 8069598649552914522214083825978208804751104567320564581889166922718222) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_107 : Polynomial.coeff recurrence4ExceptionalProduct 107 = -((22636177690877328758647502030050 * 10 ^ 70 + 7450348805817077849855835025468291236515031952431075326426726072648826) * 10 ^ 70 + 8348322649121167938193845437999252374952357472601078012890572639329940) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_108 : Polynomial.coeff recurrence4ExceptionalProduct 108 = ((63444731457960731886854248879414 * 10 ^ 70 + 8924199557936674116397480503046692521365323361361932192350029258813918) * 10 ^ 70 + 3375182635108542742489161958040970853983451873671344732010035974712105) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_109 : Polynomial.coeff recurrence4ExceptionalProduct 109 = -((660775787600255599089159803773 * 10 ^ 70 + 5677581594448460690856508233900819810458938223128155114344276595037699) * 10 ^ 70 + 3018838966282595893700986125631296175924404769673830153501584482550165) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_110 : Polynomial.coeff recurrence4ExceptionalProduct 110 = -((1651413536756646430032508412724208 * 10 ^ 70 + 8535225556270193831238008387315906465830254420189378390372899370144257) * 10 ^ 70 + 4166463668258148676849659597789447314562461064550983251650784903458281) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_111 : Polynomial.coeff recurrence4ExceptionalProduct 111 = ((16663522096213430021733776503652778 * 10 ^ 70 + 5517842568655569346916166748710290673802495982865074090361082262264368) * 10 ^ 70 + 3211104672791589417442711204998407529043890583137468733949277018142993) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_112 : Polynomial.coeff recurrence4ExceptionalProduct 112 = -((121134296579466495041578391328680678 * 10 ^ 70 + 3903144950060464751299388638044108534457085809623931619759935381583945) * 10 ^ 70 + 3708912250716905901873206261808219609472597931548162653117727460157481) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_113 : Polynomial.coeff recurrence4ExceptionalProduct 113 = ((757955160513769065044571460026052468 * 10 ^ 70 + 2667523538768543714463901422292197036644307971787518203336740100311419) * 10 ^ 70 + 2940387707685264642621939465053221654476170511810219036735816945653013) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_114 : Polynomial.coeff recurrence4ExceptionalProduct 114 = -((4316071501418032464452462665776044119 * 10 ^ 70 + 4027061456719661016673071071017102124397285312283026574210517311669033) * 10 ^ 70 + 8188991977703092957161566617705503168974274758725497327400805037659060) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_115 : Polynomial.coeff recurrence4ExceptionalProduct 115 = ((22935679790816925063617082583007188004 * 10 ^ 70 + 8250350187022404591893680301164995567858714333554876792364976865543924) * 10 ^ 70 + 9859885043523382636925487050237990709943772191339945107969550401300964) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_116 : Polynomial.coeff recurrence4ExceptionalProduct 116 = -((115304984354118298212459513732662654643 * 10 ^ 70 + 7026616267340369274279079883229740460216176436637558524899851669449993) * 10 ^ 70 + 1774468401492041623929562973349257103196715744276771576994620388952096) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_117 : Polynomial.coeff recurrence4ExceptionalProduct 117 = ((553008199480065078313602968771622014421 * 10 ^ 70 + 4571176666938180985373490269896183704973836803596079621261148299306453) * 10 ^ 70 + 7449105089653374509394554276382293179968980072246732857706075554333296) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_118 : Polynomial.coeff recurrence4ExceptionalProduct 118 = -((2544343845600998037343743677301233877114 * 10 ^ 70 + 6823858561694217936897810823027376233743844013289842525991011817065206) * 10 ^ 70 + 9860772631114728350967240896648991154941814155615008968462327089818849) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_119 : Polynomial.coeff recurrence4ExceptionalProduct 119 = ((11274147823585369765312019886510605405188 * 10 ^ 70 + 1145568795603129240255888870516603127384905440228164639412509481817074) * 10 ^ 70 + 7747365552537527047866230834450001063346907417479864744484133683488527) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_120 : Polynomial.coeff recurrence4ExceptionalProduct 120 = -((48251826016845486517588157432508829859049 * 10 ^ 70 + 5649212926057827540982351494352764212779848863880851229239871871048564) * 10 ^ 70 + 3734241205791087407579167426779069873996550257283215973683358820016080) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_121 : Polynomial.coeff recurrence4ExceptionalProduct 121 = ((199908174017358741103632918918415575302818 * 10 ^ 70 + 4814469693803189792377597505168012373325632852820206097358843714019942) * 10 ^ 70 + 169678765970841426215261894889754781370735552813938499349272801980762) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_122 : Polynomial.coeff recurrence4ExceptionalProduct 122 = -((803148655061417786676425862918269953289458 * 10 ^ 70 + 2377976430686129868322914050422812612702004472289910178228528665654335) * 10 ^ 70 + 6789781374845212296834289360427345754166669212253800710295217223969290) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_123 : Polynomial.coeff recurrence4ExceptionalProduct 123 = ((3133476827711809408663101841102741754497573 * 10 ^ 70 + 122941685783721263230736438230854842781431968329719563372528720583045) * 10 ^ 70 + 3813563854576037473097253938522763371370637625393343448697259641958522) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_124 : Polynomial.coeff recurrence4ExceptionalProduct 124 = -((11885887665701617148968094456232335269036671 * 10 ^ 70 + 7441260720408429910701666712197151378826291213582283993648503225437035) * 10 ^ 70 + 9047383202128845787025344000995167613953467273446070538351050042821435) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_125 : Polynomial.coeff recurrence4ExceptionalProduct 125 = ((43877272933873765956658397016409340343015765 * 10 ^ 70 + 4017618817163862076975255120398280468037582939430634740653756020143156) * 10 ^ 70 + 5994391365110281633288541763651248488281785614198417898899679432491485) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_126 : Polynomial.coeff recurrence4ExceptionalProduct 126 = -((12135918741247051246098535970581031882381985 * 10 ^ 70 + 7493932699433835069534932809344466876366111293792318558004916754791844) * 10 ^ 70 + 98049523384053768964362615487770024531185381782573226427596124169384) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_127 : Polynomial.coeff recurrence4ExceptionalProduct 127 = ((552938408173771275028919947096519333004025949 * 10 ^ 70 + 6626075415125401164400262326804744030093458057113850205219979508682316) * 10 ^ 70 + 970945196270791704042233531909822127353708907288872013065130020632898) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_128 : Polynomial.coeff recurrence4ExceptionalProduct 128 = -((1890158042256199260020197737010037193611451678 * 10 ^ 70 + 6382541129325040764614599271587277741654672859015071252544117990386981) * 10 ^ 70 + 9570024713942700429516035544035980833120080366504195035684627653957125) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_129 : Polynomial.coeff recurrence4ExceptionalProduct 129 = ((6305564895814994287390763135764351235438803720 * 10 ^ 70 + 6598480119074266614213803535038538267934987289309475329328714415801134) * 10 ^ 70 + 8769562643403557974849643888373900001121562292647959365850546387736373) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_130 : Polynomial.coeff recurrence4ExceptionalProduct 130 = -((20538636893352231569024606573179191491049398187 * 10 ^ 70 + 298546446999412220839670691778459916725549375730398063423640276345311) * 10 ^ 70 + 1148577589436735721025412190141436039906752767356170177813668183900878) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_131 : Polynomial.coeff recurrence4ExceptionalProduct 131 = ((65348541370084990298361571997187722540788269250 * 10 ^ 70 + 3586875876940638904102130801070290638050039266049284209570830795951540) * 10 ^ 70 + 442434453313999504983151324327522671389841621151552238773418779919984) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_132 : Polynomial.coeff recurrence4ExceptionalProduct 132 = -((203185615636598901317848062000688295472427324290 * 10 ^ 70 + 682658771501141900316627954571451050608212061484111581497238324447280) * 10 ^ 70 + 2111500719129226161228146974662690074822769466096866665771797200193677) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_133 : Polynomial.coeff recurrence4ExceptionalProduct 133 = ((617593732224549312826321456992163018996686134366 * 10 ^ 70 + 9300923805088454984219769086891008612995590321969913579130955985411885) * 10 ^ 70 + 8192541740802991847322391655548013491630408847073846350221004164679137) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_134 : Polynomial.coeff recurrence4ExceptionalProduct 134 = -((1835743284840214588715923871866139196437731505529 * 10 ^ 70 + 8190228942710345812412522673732194878262671889022456176873855862329863) * 10 ^ 70 + 1129344720138529707066312405779189269727632575006074452964801065407030) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_135 : Polynomial.coeff recurrence4ExceptionalProduct 135 = ((5337704069114452465399800441873826131187585406083 * 10 ^ 70 + 9976610706255136481885902720157022777315536094535982275832628647453039) * 10 ^ 70 + 3490276912953275525710187477143435676036116726528891095294798983606936) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_136 : Polynomial.coeff recurrence4ExceptionalProduct 136 = -((15186384395503247704840354601647007733230860268924 * 10 ^ 70 + 4884525658074841376465579035962980481304746660092018783336065125652887) * 10 ^ 70 + 1443888652676563021179767583144787816230076376139132428543910207024997) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_137 : Polynomial.coeff recurrence4ExceptionalProduct 137 = ((42288893129811509222656374590137702939436215950054 * 10 ^ 70 + 4789604044188706639179139172648796907789161837902233516601732879043567) * 10 ^ 70 + 9279565978855371266179356715486871801626889537397127619588063072126649) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_138 : Polynomial.coeff recurrence4ExceptionalProduct 138 = -((115286065224232905719794482490308346672947411946054 * 10 ^ 70 + 3563562560411794425313059285511899867642537554597723074055831107177325) * 10 ^ 70 + 6928298476342489699380050131277382663293323250044204439889994101089733) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_139 : Polynomial.coeff recurrence4ExceptionalProduct 139 = ((23673463990450303192684759655657470333980633980704 * 10 ^ 70 + 2452632762916973375286562293887560057508868143416364747427771948039745) * 10 ^ 70 + 9790133101934774370775711491342005933742648296659705846811901943580007) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_140 : Polynomial.coeff recurrence4ExceptionalProduct 140 = -((804644652389313005061616838599159106295475397723936 * 10 ^ 70 + 7156114577927653504475835531640701478853217502387507053078101613432439) * 10 ^ 70 + 9605253055046237976242213940005309926309548933793807890426962066515550) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_141 : Polynomial.coeff recurrence4ExceptionalProduct 141 = ((2060917617756859383278469788735820883175624825488234 * 10 ^ 70 + 1412741167798887119257369934662932974427217423401864787009410727505225) * 10 ^ 70 + 6094574064253784936086017842662398197440857757233805769322556933126394) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_142 : Polynomial.coeff recurrence4ExceptionalProduct 142 = -((5171973362459938911971442132887513769784567622078977 * 10 ^ 70 + 384786740656687391952860165138997839309805075973527399500897907946716) * 10 ^ 70 + 7419353082917613409800238512593864872090031944693003117504482454569909) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_143 : Polynomial.coeff recurrence4ExceptionalProduct 143 = ((12719436048961707281691931871889699180107304783533107 * 10 ^ 70 + 7860850400391450747398020775157302358062112055932997139179909387349723) * 10 ^ 70 + 6251473650995172226422287715816388644505551611182029745925202357992421) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_144 : Polynomial.coeff recurrence4ExceptionalProduct 144 = -((30659688415766812222230483191694871858260659425780396 * 10 ^ 70 + 7921630475420166903128868698237534380199710001035272438780457285386149) * 10 ^ 70 + 9386130601601794512489183491770084675091787038708770734018510878812673) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_145 : Polynomial.coeff recurrence4ExceptionalProduct 145 = ((72447641604235015342537515032192734196480544206891743 * 10 ^ 70 + 4657305333133677635871869521490824331201529214861670887720899948829029) * 10 ^ 70 + 9552652240157912981826125488149017655897788534236992159739773690303449) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_146 : Polynomial.coeff recurrence4ExceptionalProduct 146 = -((167842526259651364086267273276429663083462647499656671 * 10 ^ 70 + 3744770241952580180571593168193643684134511710703991288099996402290364) * 10 ^ 70 + 674882530994283389779856484552314209254962533451164581354936302053350) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_147 : Polynomial.coeff recurrence4ExceptionalProduct 147 = ((381295925104852866542100259881017856261837682207233973 * 10 ^ 70 + 9615935472316172291951766533485367678200123031818212991322907977953450) * 10 ^ 70 + 2819775031106893103110860424693395726159657339098736968714488644842350) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_148 : Polynomial.coeff recurrence4ExceptionalProduct 148 = -((849498640584712471108233294421932357484044731910900307 * 10 ^ 70 + 6991643830625957599546357315888928719603372492397741280824999958111810) * 10 ^ 70 + 6568342832241067249351468352320152626816096334647598418471336631420066) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_149 : Polynomial.coeff recurrence4ExceptionalProduct 149 = ((1856344490291760898066083094021628581956490515258902437 * 10 ^ 70 + 7166120850696695373312996189880892709771974278614536943152495054067965) * 10 ^ 70 + 2975465905680842674038049962022812499519302329520048932406222726714078) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_150 : Polynomial.coeff recurrence4ExceptionalProduct 150 = -((3979257431969905475284849594522398409886437705883248897 * 10 ^ 70 + 759398457724073681823004062059563000774048671226262918116820251858829) * 10 ^ 70 + 3341099424251577272835793138124831802919962856768080943397507397278574) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_151 : Polynomial.coeff recurrence4ExceptionalProduct 151 = ((8368405048101099219462928339995753513120432053551758339 * 10 ^ 70 + 8589117564015968573050056759506107576182637675493119240642351508602606) * 10 ^ 70 + 3157291677260596526918472862143507953802333417287742999079855253225818) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_152 : Polynomial.coeff recurrence4ExceptionalProduct 152 = -((17267430546362707397654058142981878329169225580622741464 * 10 ^ 70 + 1835761865135437558855371087095705281030779778289400910076217305178394) * 10 ^ 70 + 2213934102955374396924426220925248869744541962766805824465292808551987) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_153 : Polynomial.coeff recurrence4ExceptionalProduct 153 = ((2689420020422876378639838036204386126503266246525376418 * 10 ^ 70 + 9678494286982605548334664596932491621560380466912729299097274484821328) * 10 ^ 70 + 2254914518435959372390672949023829852663545562822000891867874636996853) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_154 : Polynomial.coeff recurrence4ExceptionalProduct 154 = -((69471743735676332453534473895291997512831549303860994690 * 10 ^ 70 + 5526911548944146015858954916864178395481861723508939740165418022603133) * 10 ^ 70 + 6861333440761217627081179035988295636275053910571994779366451836091727) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_155 : Polynomial.coeff recurrence4ExceptionalProduct 155 = ((135483687221863303738605725004962065943394581298734511047 * 10 ^ 70 + 2426548505447982609210254200661211445789714336269789801081980825098640) * 10 ^ 70 + 3404420298514376034217596753037132266625851266666254076198692129276669) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_156 : Polynomial.coeff recurrence4ExceptionalProduct 156 = -((259344538753474119296595834723023446976432704235206066742 * 10 ^ 70 + 9570873609443478544076806960220799255272466767196263204237189529553145) * 10 ^ 70 + 1026779624829567447556879291089761644224412634113292224870163259600617) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_157 : Polynomial.coeff recurrence4ExceptionalProduct 157 = ((37486249367484765778293095062069653023210811399826210565 * 10 ^ 70 + 9533978840576104141767823275495541723218799375893000057364426942781251) * 10 ^ 70 + 5949345973493731543200253021191478606314094915125252416146243414564091) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_158 : Polynomial.coeff recurrence4ExceptionalProduct 158 = -((898952593793575041217358242829545049322844543736443511520 * 10 ^ 70 + 1680452676357636629781557951079943571039747747063133607903456622527398) * 10 ^ 70 + 6425512172146216164930212337659877411234701466831438662947664407912823) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_159 : Polynomial.coeff recurrence4ExceptionalProduct 159 = ((1628076621334449617284541260621839311428332712768141569733 * 10 ^ 70 + 6065644713273183283618108884758602293782763250424764487966168052380376) * 10 ^ 70 + 7532131069179667563072276120936537695236442465145458056566238579037647) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_160 : Polynomial.coeff recurrence4ExceptionalProduct 160 = -((2895084662670980530087875797870500832046053460096630877036 * 10 ^ 70 + 6650445762825630638838985750863183741542475476787596004712516846609374) * 10 ^ 70 + 3868226938169530365283099998357090615778973907315944972459684166465200) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_161 : Polynomial.coeff recurrence4ExceptionalProduct 161 = ((5055059878372428703762730916952664716635305160779824339079 * 10 ^ 70 + 2565838513311365599034944801512226993074662163959768612682070328085153) * 10 ^ 70 + 3268811691532943222633964452185134905138838671303716378897251084938992) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_162 : Polynomial.coeff recurrence4ExceptionalProduct 162 = -((8667596592187672278595884729390713966506828173556704859587 * 10 ^ 70 + 5208441345941246971810644115350982431949896822011804694751076020767704) * 10 ^ 70 + 6596150370387253451516615478273889307185105589413068274279772340140698) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_163 : Polynomial.coeff recurrence4ExceptionalProduct 163 = ((14595055142105497160671761922851325779696033685361218259348 * 10 ^ 70 + 8324099156550926696268911948848526189878639549303385381820731423089318) * 10 ^ 70 + 8309791292408936275420962706389424967343183806513185264695089156650758) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_164 : Polynomial.coeff recurrence4ExceptionalProduct 164 = -((24136449831653435755406684971421433627363772304290714789256 * 10 ^ 70 + 6741392976125555304634146923667825075912860892013697415822583910678805) * 10 ^ 70 + 4518688453656377000235665472782179608502664592187911997112032804396209) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_165 : Polynomial.coeff recurrence4ExceptionalProduct 165 = ((39203627261406329125850456135165562758437520906265937797355 * 10 ^ 70 + 5384674624649519550727880494959803992330685314017580153702064178450477) * 10 ^ 70 + 2034872696878860725521109651194153082772139574992804441545109546770527) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_166 : Polynomial.coeff recurrence4ExceptionalProduct 166 = -((62544286767753303915983523758616316301223191004982989235324 * 10 ^ 70 + 4595758290221325134188791471974571665732295547549254947453819922974832) * 10 ^ 70 + 9467737251842178514064929319263264738989767678773149800297037174527203) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_167 : Polynomial.coeff recurrence4ExceptionalProduct 167 = ((98012090089810932779988209149674376832058555696637457960753 * 10 ^ 70 + 5795694398974822726355978250091224191210381314103396868498467607483876) * 10 ^ 70 + 3995975236297705325787811092001162230897378333518567754459328798966307) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_168 : Polynomial.coeff recurrence4ExceptionalProduct 168 = -((150877036548865435326303135098832328827335105200985059046787 * 10 ^ 70 + 3133279915365646427762170235112076183145609657509584310947290806927489) * 10 ^ 70 + 5543183848075351536043902371006107322019962577397946013539607486972079) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_169 : Polynomial.coeff recurrence4ExceptionalProduct 169 = ((228159120541226905066361685558954749495553285604582960188838 * 10 ^ 70 + 976064585833328928419469418286042961084455656818321393616655658904327) * 10 ^ 70 + 9838754888926648759191345390526856449897729971542806760931605737387829) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_170 : Polynomial.coeff recurrence4ExceptionalProduct 170 = -((338955188232015597718714426713989544195566213276410110671260 * 10 ^ 70 + 5233147695327555303936842598264371703197440851077134229299823419373113) * 10 ^ 70 + 2891057293150522214175221086917408898678316835489471217533269651070862) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_171 : Polynomial.coeff recurrence4ExceptionalProduct 171 = ((494713728866315368594427408768424536195867449850793514904803 * 10 ^ 70 + 3444719127952557723067703786469011319582320754358829895491671048813618) * 10 ^ 70 + 6452355191750278384143042616177024640823974259808786594751475074663832) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_172 : Polynomial.coeff recurrence4ExceptionalProduct 172 = -((709396839155693475154004169872590788385934176796779837595675 * 10 ^ 70 + 451878558489735277796904835971842546331970680569730918880391522674817) * 10 ^ 70 + 501169685554742214951309541925353405921999651948347981056293022679440) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_173 : Polynomial.coeff recurrence4ExceptionalProduct 173 = ((999455535681495762843337603747627315729905283790483789476514 * 10 ^ 70 + 8103219553935885013349568945612910918427744700211176455089762893484512) * 10 ^ 70 + 2554802312907764334254038132347181067180066370585128743191920708765124) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_174 : Polynomial.coeff recurrence4ExceptionalProduct 174 = -((1383537562745497566745698600981654533236029332345235279568893 * 10 ^ 70 + 3412806279419422882102819779940809133805963193985862051980915528325407) * 10 ^ 70 + 4279624177292675571013368567212954845854735676844822519572725278514657) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_175 : Polynomial.coeff recurrence4ExceptionalProduct 175 = ((1881849905467114275703931569849533507933758865365591938811489 * 10 ^ 70 + 2205728026224073410339425691131869422912034419915983288076703575116498) * 10 ^ 70 + 7729457747646935736109018550107680118396138584630177405437884522308803) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_176 : Polynomial.coeff recurrence4ExceptionalProduct 176 = -((2515115176133095642024918892332122494116946609561940487982783 * 10 ^ 70 + 759867352963277192449593650469997459348987780168841610334753705355201) * 10 ^ 70 + 6320881257981317243570377487473439745800091376249980492323423228986686) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_177 : Polynomial.coeff recurrence4ExceptionalProduct 177 = ((3303094506555780649906524184461499902402332827278699964637071 * 10 ^ 70 + 4554682690890927069950481012573568217948080374125372668315104804283833) * 10 ^ 70 + 3938322874269519656624763355804402420341408736893156937769885694924218) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_178 : Polynomial.coeff recurrence4ExceptionalProduct 178 = -((4262699909801587073654741647821833306931596221524337402600788 * 10 ^ 70 + 3759527683280871291306218901515082717280970983278505800330608188236689) * 10 ^ 70 + 6131242985194828400709869588526746948263643667126242342988516433566006) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_179 : Polynomial.coeff recurrence4ExceptionalProduct 179 = ((5405783441059939657601901400591116512141744610362878483509202 * 10 ^ 70 + 6296200710027568342838048095063053223177913644029029942023237842584426) * 10 ^ 70 + 8346586279944822076194861318448771066495366774052514462002851165130106) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_180 : Polynomial.coeff recurrence4ExceptionalProduct 180 = -((6736762333560098468080324413304656976069562867826646113218390 * 10 ^ 70 + 9593254971064954129490464815028053940477091197250445196915366605981762) * 10 ^ 70 + 8869350720208384162526450372277182764248791280622922511652586480986118) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_181 : Polynomial.coeff recurrence4ExceptionalProduct 181 = ((8250308472080518620856777036905721782880489343085837563407219 * 10 ^ 70 + 7907838895530706861463968843701856322932111265874712030501343006814645) * 10 ^ 70 + 2782146515110476103553438569315879914989287049954297902125820574377002) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_182 : Polynomial.coeff recurrence4ExceptionalProduct 182 = -((9929384385136143259980023046883112470963917086982910517032423 * 10 ^ 70 + 3859937391361118983287455012575738212827999046409196189592656362510016) * 10 ^ 70 + 3340864866115925055554242560006108255859314076281309825285908508768227) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_183 : Polynomial.coeff recurrence4ExceptionalProduct 183 = ((11743933015236872473581938904575194257883238139547481979262254 * 10 ^ 70 + 6863596273328984779320428906432387516573618028627938497498448971911444) * 10 ^ 70 + 2879197870216859920392886543882533502804461166901035077940086670436053) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_184 : Polynomial.coeff recurrence4ExceptionalProduct 184 = -((13650513418931765074953648813040208242485746039168385598942853 * 10 ^ 70 + 7642972027091546687500497896080591188286057135786018977398191064888624) * 10 ^ 70 + 4376890213994918751014443594760418709074015990614670944312615364088598) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_185 : Polynomial.coeff recurrence4ExceptionalProduct 185 = ((15593112564514640511771658565600737560480351866794647528175841 * 10 ^ 70 + 9610502599386399747468198481111274300423877955332821518872713058306541) * 10 ^ 70 + 1111567721289523625792833587662043217785215157352545107769660632098074) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_186 : Polynomial.coeff recurrence4ExceptionalProduct 186 = -((17505255047700955109258341251939529440845187503459829417220055 * 10 ^ 70 + 2597175866480827387687190913381579876834986183034391513868021400648018) * 10 ^ 70 + 264296785405130514725274579191204826561430811581414713647414018906439) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_187 : Polynomial.coeff recurrence4ExceptionalProduct 187 = ((19313386943733274981301563117912298102822697231148970045113787 * 10 ^ 70 + 1846558451766936344774937963425879798343607870915375924854047612705099) * 10 ^ 70 + 952405406847366953270116808374889713165275640955078188420920294707155) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_188 : Polynomial.coeff recurrence4ExceptionalProduct 188 = -((20941344658948906792539543832469181294933027658075373935175767 * 10 ^ 70 + 646227900881983358468147174552486898490490901611132697291450380447453) * 10 ^ 70 + 978914444939887475896653559266388167433424240838753136107068433031680) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_189 : Polynomial.coeff recurrence4ExceptionalProduct 189 = ((22315558370938264906595061249080719333137079014560371828837419 * 10 ^ 70 + 515997445164332074841185395857904950590243500513157621257217753516514) * 10 ^ 70 + 1304204038781862702834218741396336390889598008897002762125479549489524) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_190 : Polynomial.coeff recurrence4ExceptionalProduct 190 = -((23370508883422632144416942307650368327100400545554747679040940 * 10 ^ 70 + 7146654454611670610000292441969839498597022721647388738251405653701791) * 10 ^ 70 + 7242304225340294802541172832082520533820327353811271092452597471751074) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_191 : Polynomial.coeff recurrence4ExceptionalProduct 191 = ((24053880682519150634443328970475066668702045355078518432712218 * 10 ^ 70 + 237548526090608397710243145110873113903725428273627205839525164673492) * 10 ^ 70 + 776623827984973650384788131229101593857916150556223061713117128024612) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_192 : Polynomial.coeff recurrence4ExceptionalProduct 192 = -((1871603826116538894042464967870657206593049722741573276108524 * 10 ^ 70 + 3061685733611193136772987157527223337054744763335099176445956703796497) * 10 ^ 70 + 9642476560329366711653444283748953780509416950893976355221334839099747) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_193 : Polynomial.coeff recurrence4ExceptionalProduct 193 = ((24187018168254718007007104208205733581467745358261418833947253 * 10 ^ 70 + 1358715639145424414980662660003530250259344059196474460460139636533465) * 10 ^ 70 + 7914693617878868309651994256157902056578864137097885709523979329047515) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_194 : Polynomial.coeff recurrence4ExceptionalProduct 194 = -((23629652188217811877936114869192464038744899899377875185764892 * 10 ^ 70 + 1586964860429951965636033019752390740686919169743372727169694562255627) * 10 ^ 70 + 588094896922896302185689939304629924588199131294956395545635890629741) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_195 : Polynomial.coeff recurrence4ExceptionalProduct 195 = ((22687075497761924318407378824730248656046132003703606944212030 * 10 ^ 70 + 8854015724410813552406445464209791802905928517422948183713956495110979) * 10 ^ 70 + 9434182620266825398018727573636511705937476819726810074838977697310163) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_196 : Polynomial.coeff recurrence4ExceptionalProduct 196 = -((21406288361672123955254652539168464332204411418138657879802700 * 10 ^ 70 + 6079644411710554333546250868232008560270314675251245316631760659354906) * 10 ^ 70 + 686730202038942142946707453286760595059212360223574297176511154684510) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_197 : Polynomial.coeff recurrence4ExceptionalProduct 197 = ((19849090529382246236903885610985677571762966203084027481389114 * 10 ^ 70 + 1371425859850663486485340282994360119422106692366546005663968526604934) * 10 ^ 70 + 6931060091496431437712345129592921751458416167960696046819272185395284) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_198 : Polynomial.coeff recurrence4ExceptionalProduct 198 = -((18087152451311695365754099100554769983008476905504390349171788 * 10 ^ 70 + 54318407802217039530843306827060415210855842528422366993382734454966) * 10 ^ 70 + 1167501940845643420688310102057166738449595908519395991713304797903429) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_199 : Polynomial.coeff recurrence4ExceptionalProduct 199 = ((16196580576241955806364610615082430766768346817687469139943944 * 10 ^ 70 + 6652451921763485899934753594853869993876961008281880943057982189710766) * 10 ^ 70 + 4743124972605359080602155760995160810705887586156458663852950475847935) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_200 : Polynomial.coeff recurrence4ExceptionalProduct 200 = -((14252546765194635018816542053778009440474668254890276486138539 * 10 ^ 70 + 5754010782747955758115813073154471604615058611384547347815538364089909) * 10 ^ 70 + 2887553688510108691730478139190637839707293900041104372007729174467573) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_201 : Polynomial.coeff recurrence4ExceptionalProduct 201 = ((12324500208808288867516640097921831856250767206125265786685273 * 10 ^ 70 + 2992015974173405776187033522361141176821506671299792913273302276479872) * 10 ^ 70 + 8602470775412444836506715825444004903295619425571450481456224669113973) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_202 : Polynomial.coeff recurrence4ExceptionalProduct 202 = -((805566617956983577613914371592370090327333417942852757417763 * 10 ^ 70 + 9679505045328493732959329393213520223695917345329485802989254769501808) * 10 ^ 70 + 7005900447488806686670912125151230378476849051039162555476185545334331) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_203 : Polynomial.coeff recurrence4ExceptionalProduct 203 = ((8743980277591481416642878576519590473739842246652651363932904 * 10 ^ 70 + 3539701629817449313158936734022195698056418940852517425342734911499893) * 10 ^ 70 + 2582136443698617156434077368616918570766770166519659384093636966927077) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_204 : Polynomial.coeff recurrence4ExceptionalProduct 204 = -((7173842560417922685014384390343382735589190082971852176622745 * 10 ^ 70 + 4488290613504427547690657839528992711892861191791280508995951985997019) * 10 ^ 70 + 9055147329144761737315692771481141838101878112003365938508478324232737) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_205 : Polynomial.coeff recurrence4ExceptionalProduct 205 = ((5783111147803223013010036708939323813187964250886895011901361 * 10 ^ 70 + 6269211212100685620874419747340461076103970601613756191378179260955528) * 10 ^ 70 + 1070094395960168076256744780704363212938874852660421680470017599612123) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_206 : Polynomial.coeff recurrence4ExceptionalProduct 206 = -((4580640693785434919865492189516302850781348548770632220602452 * 10 ^ 70 + 8663747031627099167126917153168320180012444577051736876249134948042820) * 10 ^ 70 + 1532360455073270025412951685765087829634940887881362620064103914711965) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_207 : Polynomial.coeff recurrence4ExceptionalProduct 207 = ((3564783193382342475638510232658289884325276547943502863088373 * 10 ^ 70 + 1833029066268827988829916486220567352979013803703940891280562189537841) * 10 ^ 70 + 2829930003575542875442208030946687430741624261009576435212162016706397) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_208 : Polynomial.coeff recurrence4ExceptionalProduct 208 = -((2725641253792193274182620206055354243613622254310452728219279 * 10 ^ 70 + 9211046320387027331229317987424429154978899582801913020548356248387647) * 10 ^ 70 + 659639714033889782814072395550657284650284919492756301113498056025848) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_209 : Polynomial.coeff recurrence4ExceptionalProduct 209 = ((2047475283930060853142452720554756053657792107378491237713831 * 10 ^ 70 + 736940699913991339470711104218427148761959521425964197149664685498868) * 10 ^ 70 + 5979852913899949684851634181930296705863780662168179593069543407734376) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_210 : Polynomial.coeff recurrence4ExceptionalProduct 210 = -((1511012377868477209980778218210546943732865359134615602749197 * 10 ^ 70 + 3439013368108414502687489510384711094661334306355219789347161650011717) * 10 ^ 70 + 3341963427274117095312333538653886939135212306218704422330136481473332) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_211 : Polynomial.coeff recurrence4ExceptionalProduct 211 = ((1095471263555622380502223757748790807203801627735360205639727 * 10 ^ 70 + 918872633684367436108042219080676720185699390545893194552101832154264) * 10 ^ 70 + 8022291640047945680414486822379202756184349841035879758301812148357834) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_212 : Polynomial.coeff recurrence4ExceptionalProduct 212 = -((60014709644848067073681363046257013250804636822949482004011 * 10 ^ 70 + 2107465899744441165379515974013529551917078665361953648502786842519880) * 10 ^ 70 + 4204152096011400997454332621403902582445537974381548435970815088641522) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_213 : Polynomial.coeff recurrence4ExceptionalProduct 213 = ((545821941782710222227345087526033394148081405245174259442533 * 10 ^ 70 + 1302899478497210441759361789334541807923324950254589306527724559303996) * 10 ^ 70 + 6850101475329406463292402972596103466002856125249658471383239448729458) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_214 : Polynomial.coeff recurrence4ExceptionalProduct 214 = -((375087675854711246146491786661306421588206608810630968272823 * 10 ^ 70 + 2916617938924173261911290664106504321924524890266110431865564084428892) * 10 ^ 70 + 806867851592822444464040308259352433777881058501866261310251628553584) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_215 : Polynomial.coeff recurrence4ExceptionalProduct 215 = ((253179053962105329677181757445093967527931879799282588703640 * 10 ^ 70 + 3697393362359046737157986691512509383717340708444219183115367169802895) * 10 ^ 70 + 2473552302411527519894999457011684705349707514328082766176599444184388) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_216 : Polynomial.coeff recurrence4ExceptionalProduct 216 = -((167848131588089149706577214535641429326378655324956409044289 * 10 ^ 70 + 8756127670438514767904171629300578570972721169323840638778100606413626) * 10 ^ 70 + 8877113674301373866070519931149170331139889027639703455876935909732054) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_217 : Polynomial.coeff recurrence4ExceptionalProduct 217 = ((109289618079557368792602282948007232929525432345585278307674 * 10 ^ 70 + 5598783927420380865294890683423784609129027577952380504001346798511416) * 10 ^ 70 + 5677074932403223137752032451364361960165298675598001085704116662215832) / 23215239933528791584969