Recurrence 5 lookup certificate: Scalar1Second coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_67 : Polynomial.coeff recurrence5Scalar1Second 67 = -(((36775335728505171749263507997348686057143072493653093198587175395 * 10 ^ 70 + 1181284893435434123838325356313571114453467052569196943145453468463989) * 10 ^ 70 + 3696717124183466711764135710992143454584520024385225532352267504881390) * 10 ^ 70 + 3338245578184804103100093575048107743720399756982139342523688923390943)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_68 : Polynomial.coeff recurrence5Scalar1Second 68 = ((812699838276751925481319342759178815756749996122734018678089402203 * 10 ^ 70 + 6160922655717758169623125862289310985483176259371299416425095083138800) * 10 ^ 70 + 4314720627024978812019036197421596060606704153854941539155374320848463) * 10 ^ 70 + 9757481549275826974131776646246200314153364490655449309322487591206256

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_69 : Polynomial.coeff recurrence5Scalar1Second 69 = -(((16817452390601855962159017586839780896749320534650026393876367836545 * 10 ^ 70 + 3815574394686803456836685000367425941494033268081462538844095708404838) * 10 ^ 70 + 4224539892852336148935962621989259848044476725414746743956003973395821) * 10 ^ 70 + 2913983368085211431493243568340463766598558688370076136711588019441922)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_70 : Polynomial.coeff recurrence5Scalar1Second 70 = ((322846252424174516614489973323641554344766647570270720587509394850861 * 10 ^ 70 + 669404508559228080955405647250108941606738058728316118748863649837610) * 10 ^ 70 + 4349528328661600445595294714080391681928506590178535580487253822375157) * 10 ^ 70 + 9029628354515660430722125738368786553007909726104010763836772095316654

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_71 : Polynomial.coeff recurrence5Scalar1Second 71 = -(((5652390735577005896094441214622840661051523561274757151852018169630942 * 10 ^ 70 + 8223171271131656767276331303549790864377092117379928952033014733661218) * 10 ^ 70 + 1411755290703548548428320038690069059587136223372191644643818489371123) * 10 ^ 70 + 8796708758164308212917247611882426787982484988076785363332693767420065)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_72 : Polynomial.coeff recurrence5Scalar1Second 72 = (((8 * 10 ^ 70 + 7100019114250866252647849600224466111195491167689257869099314149919360) * 10 ^ 70 + 2676670716921407789332355238508418449203377351492627799992821539101487) * 10 ^ 70 + 3748172277127219742359370488394148350500124636119923442613179869566147) * 10 ^ 70 + 9767679435656432843212235259822720232408392764030089138234832396206639

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_73 : Polynomial.coeff recurrence5Scalar1Second 73 = -((((107 * 10 ^ 70 + 4469393259483184121490226686315066754306508795459520639338775553146526) * 10 ^ 70 + 5806364877416712459628562077504330700436453489376731489210188385528170) * 10 ^ 70 + 3618542153889601136802594434265851907811707779577884724654295365945292) * 10 ^ 70 + 2561867061412274242307236211938814001753897189186476592848301470312060)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_74 : Polynomial.coeff recurrence5Scalar1Second 74 = (((662 * 10 ^ 70 + 2898302433861855835646678368084688512205044810065582054137620955180624) * 10 ^ 70 + 5110414474248147277217057974610720837670150423606083793256903054661666) * 10 ^ 70 + 5634570724974646174253458199042328702779223600721920738600808059483475) * 10 ^ 70 + 8767970782952850628900786671789444228641066909834558134795526534127753

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_75 : Polynomial.coeff recurrence5Scalar1Second 75 = (((16171 * 10 ^ 70 + 3439166237988271272973813309219477372196749101407593102278273191076689) * 10 ^ 70 + 9447822670006014320214030995617359940065617427253381750572090971983561) * 10 ^ 70 + 7939170747993508533317090041899321074184108751068885200690872620490873) * 10 ^ 70 + 5174373396585558009100662542862949230312738081723471518101223918235343

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_76 : Polynomial.coeff recurrence5Scalar1Second 76 = -((((842170 * 10 ^ 70 + 9340189010402702324604535733944193999284071957260551658733208213956360) * 10 ^ 70 + 6284262947323489035939145207674153116038168516130784451718388069304785) * 10 ^ 70 + 5948143137344392795146135761482975586214798205440153087232023837148569) * 10 ^ 70 + 7476991747823358101128071647459480401327469360614326900832173992816812)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_77 : Polynomial.coeff recurrence5Scalar1Second 77 = (((24853783 * 10 ^ 70 + 3362956351105920626523006192289441794446883144001138925645336704891759) * 10 ^ 70 + 9831809560356866770810072957494551182155776155997357999544770754672841) * 10 ^ 70 + 596381826268430277977574365261411000146622253246298022140873529995943) * 10 ^ 70 + 152645705080724452689195489395240482326999633686145633806237722591160

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_78 : Polynomial.coeff recurrence5Scalar1Second 78 = -((((599204361 * 10 ^ 70 + 7246758413462695934343912755469264209491043330977681528307369961504033) * 10 ^ 70 + 5796785865354598981276737664271611676700818216808590571688044892953741) * 10 ^ 70 + 3680827065446939979077929023388604227180258277185301559990004216063190) * 10 ^ 70 + 7341049613994347787605899436605789910255107859063451221963314389317110)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_79 : Polynomial.coeff recurrence5Scalar1Second 79 = (((12836769574 * 10 ^ 70 + 2764940421519523763018745076992629193716636715967571885651254722775937) * 10 ^ 70 + 529016587161950222176663573506674870256548378127933015852154493549664) * 10 ^ 70 + 7697005419572214271649803018544409672980590320142783950150284481770613) * 10 ^ 70 + 113338601351543117156080672163117922203353029625635081441927766884018

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_80 : Polynomial.coeff recurrence5Scalar1Second 80 = -((((252670245491 * 10 ^ 70 + 7876691850481932479301069598259570001451852728387569581574086174897549) * 10 ^ 70 + 4623770699471436484223206641317691483367856777296032578712867793323070) * 10 ^ 70 + 142620833015964355144024720851137834235631564139137010183253373278832) * 10 ^ 70 + 1159939595510353341613959519011499668185298157042170242257367558773644)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_81 : Polynomial.coeff recurrence5Scalar1Second 81 = (((4647321293835 * 10 ^ 70 + 9553094125187698912422750218235392058725579722586579947369921923401506) * 10 ^ 70 + 4556158217134946320667062017485384437942141039035296489210326942828254) * 10 ^ 70 + 5952603682582237958665055167091967422168753713973981158268445673932236) * 10 ^ 70 + 8888842133035995510972092029553035664239291888313770936441584947582410

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_82 : Polynomial.coeff recurrence5Scalar1Second 82 = -((((80662175400187 * 10 ^ 70 + 9707865986961291314322938506058814997284886106148008204487062793859542) * 10 ^ 70 + 914511462734384098790999682402389347677842155552595491655141392567956) * 10 ^ 70 + 3171349695075353212505180481511936654441439363124033276207763786912073) * 10 ^ 70 + 5829526147317142484400112057001383353886477183391250623612464318117998)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_83 : Polynomial.coeff recurrence5Scalar1Second 83 = (((1329513031013505 * 10 ^ 70 + 1513572131366536730768819986999520215981559156530659676755845018732679) * 10 ^ 70 + 6698240941514363641403748049500794943434512810044177090073531690385409) * 10 ^ 70 + 7693911179178066759104889107320096043105671800207011305157398662516174) * 10 ^ 70 + 1122079011644475568594343053255022815397755109456109076008809482515721

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_84 : Polynomial.coeff recurrence5Scalar1Second 84 = -((((20900417025490218 * 10 ^ 70 + 3988792921740261835577517458725950401049922203796492506396171675353795) * 10 ^ 70 + 9238662725850322273977328874878518883461259715472752563341930764323142) * 10 ^ 70 + 1551465828950775024283467713895660817445624995851928385595307508212033) * 10 ^ 70 + 4491491540569812354853382731752590873113134443268565457612719045751400)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_85 : Polynomial.coeff recurrence5Scalar1Second 85 = (((314360445686035064 * 10 ^ 70 + 5967550665995390304540907070677587204037119665369657724736661893862315) * 10 ^ 70 + 1109867043815120212073516653888450460299416329168686732133063446954045) * 10 ^ 70 + 8309337813620216467258214420742667596669026691344106659988348053965139) * 10 ^ 70 + 6050119336259818990659449343100686700720854955174026170807987015444391

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_86 : Polynomial.coeff recurrence5Scalar1Second 86 = -((((4534757228861084079 * 10 ^ 70 + 2342476122112067838101162120796367832832487508941577650705161681548458) * 10 ^ 70 + 5158762389199901180500115832903346522133401113484574008786131692203628) * 10 ^ 70 + 4140182792443860112499903735357793613911898071070838457310097049037660) * 10 ^ 70 + 9663668901833339231826984749248175841202781877406483063819142476513105)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_87 : Polynomial.coeff recurrence5Scalar1Second 87 = (((62857301545997284828 * 10 ^ 70 + 7224178605962798078728087669239135233914587948237050470677684080936442) * 10 ^ 70 + 1849762419528121055496821647641154334780573540906085633886283121774842) * 10 ^ 70 + 5102933343528527389124785239479449517211552091104777650904986311109667) * 10 ^ 70 + 3060572883798330125876050010027846586330051119135686542097169533212284

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_88 : Polynomial.coeff recurrence5Scalar1Second 88 = -((((838497168744266757114 * 10 ^ 70 + 5840622926559399326145572515537834740624990363366731605982821911788881) * 10 ^ 70 + 5148081227254007494527805968256601385006553194852408223899593263365322) * 10 ^ 70 + 6939628100472860160303100540677862372076545460221214225579379143404015) * 10 ^ 70 + 9060911684619167052149950337310527507372976865210378390137729030610541)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_89 : Polynomial.coeff recurrence5Scalar1Second 89 = (((10778278819749930153930 * 10 ^ 70 + 4404693295009783030711641703509940216128221932946311684973826484357149) * 10 ^ 70 + 5045682982370239577192025932336880471337582467880647780943301517113881) * 10 ^ 70 + 7555818658092023403888466813464785185945027702359089357485440576852833) * 10 ^ 70 + 7958923854433544440119831542202696682225667773736637618821852189733541

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_90 : Polynomial.coeff recurrence5Scalar1Second 90 = -((((133651765273734873138709 * 10 ^ 70 + 7526880996680499779525729896319218242629186347561705277386809254964708) * 10 ^ 70 + 8998860643403999871050899350849205432920888753702779084656676842426767) * 10 ^ 70 + 883357463848122642034566888784818831413422475846765288749765633246695) * 10 ^ 70 + 5310114898351009611794490957501004092984193249024545483676354563384553)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_91 : Polynomial.coeff recurrence5Scalar1Second 91 = (((1600259654656452255106582 * 10 ^ 70 + 72735915241452439752709631918805823227466932346932080618107857453367) * 10 ^ 70 + 8148781532003671780873608191878353366179692911585276461979732681758495) * 10 ^ 70 + 8927829565728248406328159273574923455141631159698525597048692347516324) * 10 ^ 70 + 9314387540099980608404170655142899657418350690622544948057075971059710

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_92 : Polynomial.coeff recurrence5Scalar1Second 92 = -((((18516594279027208420588900 * 10 ^ 70 + 9507938992506016887160993969723990340406517047860871017983594596650969) * 10 ^ 70 + 5964214665958925205525695203267408295599092152241680454063552682646894) * 10 ^ 70 + 3954076005900623285473675442915719097816552364946978954223648630253678) * 10 ^ 70 + 1803139295997200453092534789427674983826941817784682477756131120390207)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_93 : Polynomial.coeff recurrence5Scalar1Second 93 = (((207210912244810098835274470 * 10 ^ 70 + 4229853683445149197770418775344897920446813262629375757131114175504650) * 10 ^ 70 + 6696528706435174165839699669044516047526719222982644051971122516854714) * 10 ^ 70 + 8039903846149392563184582167968712283615394503090009518931398675062741) * 10 ^ 70 + 6489428823782497420586126346955819476839408362408369656755678913128200

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_94 : Polynomial.coeff recurrence5Scalar1Second 94 = -((((2244088371611459160323470059 * 10 ^ 70 + 3275310407473232205586641341832815021139974447689742913615606989149396) * 10 ^ 70 + 9225602100553122914638084400639733929351412122757124174350079161171837) * 10 ^ 70 + 1115188447038647993944915819693978078753696460075355923820760517873060) * 10 ^ 70 + 6525825107430877656035274232367559793888929018098946816163937430724397)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_95 : Polynomial.coeff recurrence5Scalar1Second 95 = (((23534918610619182297794227076 * 10 ^ 70 + 2819294170639179123678106615342324039662379187122560243210082557996541) * 10 ^ 70 + 32332200067920160179294412204825008757885014063788039823210496360266) * 10 ^ 70 + 4437346699971093453906510304247104399547317345124174436703318059339358) * 10 ^ 70 + 4657364721562245735635813676613227886660578845026096681084676336605939

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_96 : Polynomial.coeff recurrence5Scalar1Second 96 = -((((239154955188766456757391593732 * 10 ^ 70 + 3667890519426585219703278354922340872234018771441725590621817013770458) * 10 ^ 70 + 1209850599532916461384235595429362356482265971828972795413436888761589) * 10 ^ 70 + 6913324749634801971096626481095742812902296329854299160378618578734528) * 10 ^ 70 + 5731301820173522740510726684684308784499469516376890653986025446035774)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_97 : Polynomial.coeff recurrence5Scalar1Second 97 = (((2355975680885816126061517654260 * 10 ^ 70 + 8540905166174275745688947513690828842514793199356566164876273647637400) * 10 ^ 70 + 389062000379513869554056551131010966967100766802512728585380465157273) * 10 ^ 70 + 1872458370967916605803607530152140178635632546696686798139172979985017) * 10 ^ 70 + 6447591403622738468261240277280790383927565949364550666534624735813279

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_98 : Polynomial.coeff recurrence5Scalar1Second 98 = -((((22511408154012918959635827551701 * 10 ^ 70 + 3177531350549510654902395522974702976746892855526178695884989674356635) * 10 ^ 70 + 7529933462675561702289303432454321095834085281200551416613977325333820) * 10 ^ 70 + 2967153536925352259456556852098517462678403122320870905349283968383547) * 10 ^ 70 + 6209572895074620021094030225346666383405074852952905785809883601196410)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_99 : Polynomial.coeff recurrence5Scalar1Second 99 = (((208726534191025250362615680752541 * 10 ^ 70 + 4114834991542739041558445447970767252989480243265647668562370850324635) * 10 ^ 70 + 3429823415421727053274816594141077908074756688073357788506940773600847) * 10 ^ 70 + 4777042839736092372364975226496677539604085306112420176111589703633930) * 10 ^ 70 + 5090718568249857942590731292872904674180643393677839627658923355353617

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_100 : Polynomial.coeff recurrence5Scalar1Second 100 = -((((1878828712103667386553521548932585 * 10 ^ 70 + 7577235535929559149275039006998179477340094319506883322453338065034880) * 10 ^ 70 + 3154711954391431151555390465110280289062730225666166162459070438193335) * 10 ^ 70 + 777054681754576765495745113623115591931153344042890716674345210937292) * 10 ^ 70 + 8079205915229406749661149007294254701348223569319650680861426522231169)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_101 : Polynomial.coeff recurrence5Scalar1Second 101 = (((16425276362604835465659837915910587 * 10 ^ 70 + 539963531668657441733843342597041314103700315444094100583739385815855) * 10 ^ 70 + 9209459281180308178079765572410818309730690413301717313913789654503862) * 10 ^ 70 + 3291517561625691724313041338478698096907636707779688160287968182659888) * 10 ^ 70 + 593458376491298330837943526194557374348906437879974576639741650641175

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_102 : Polynomial.coeff recurrence5Scalar1Second 102 = -((((139516888476977578961934925114810593 * 10 ^ 70 + 709916399423119106816953436334135326616917304462044495669972689225993) * 10 ^ 70 + 3491852293036427681714498212035470833469766738087726127174517297873193) * 10 ^ 70 + 8296977464488341992282929352705034593721008115516863178926913356303544) * 10 ^ 70 + 7403507828345820949475283488616900820609975352482113432896866727892013)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_103 : Polynomial.coeff recurrence5Scalar1Second 103 = (((1151845490775529308710652926279867416 * 10 ^ 70 + 6533247152685744832790967942809825945292903052041720407071936653040699) * 10 ^ 70 + 3323704640918769248289448337744778707223424791859670578996783145511173) * 10 ^ 70 + 1289580373297950359402510937450757129336225980502949530853387449147567) * 10 ^ 70 + 5653545674901499027277840907080474462835834961753920106428483790177402

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_104 : Polynomial.coeff recurrence5Scalar1Second 104 = -((((9246399807471016720310292563003536574 * 10 ^ 70 + 7853587507424579828319182506858730461300480552696325535675462337292476) * 10 ^ 70 + 8284561941142074558668808534647396672396334228055956591371437710202477) * 10 ^ 70 + 8664462204716201729842381816562119523446789480414564607396861271730455) * 10 ^ 70 + 7029010940102840956431770371971884848338944877021178256342094056495357)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_105 : Polynomial.coeff recurrence5Scalar1Second 105 = (((72196029612888128956767311389555600318 * 10 ^ 70 + 7646493295272248264835725884350943712387194009230455698913310786989733) * 10 ^ 70 + 1855251538582389439507304127455790932553732433247256990056457488607980) * 10 ^ 70 + 5695074391455686774528991746095370862390802452011617274347514734868365) * 10 ^ 70 + 1569696591275118865053360192726363031174786240438106517991747577668518

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_106 : Polynomial.coeff recurrence5Scalar1Second 106 = -((((548480876017050839491193488851271054417 * 10 ^ 70 + 4868329943620471526379960119017630451489114435550702499607528488491618) * 10 ^ 70 + 2841266832893895086479494759231902450973530094550416696070972012026352) * 10 ^ 70 + 6500986441796845163201585344307707254778838869564355566897065083457169) * 10 ^ 70 + 1831818602976507927956156483955470673945145195339186120135770175307285)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_107 : Polynomial.coeff recurrence5Scalar1Second 107 = (((4055618644241102363938709310222100839622 * 10 ^ 70 + 90390030824341929045843880659821508067478591707313408996821541194897) * 10 ^ 70 + 6103875952554244198366761371829648735412987088255009536844078434193385) * 10 ^ 70 + 1687610010650944966145781642487791483748303984326177280791387357705442) * 10 ^ 70 + 889333386247909659155850968849320835772695617569424692536179425800055

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_108 : Polynomial.coeff recurrence5Scalar1Second 108 = -((((29196789526095627036847521561046701737313 * 10 ^ 70 + 6117404623553201965347671817636755789448243402633634389654939520318123) * 10 ^ 70 + 2081555831885340115107812238609255406877472922525741081556794185750765) * 10 ^ 70 + 6739448924262957330760329944783364022395326176025417018048225764514614) * 10 ^ 70 + 7291872960082938249685480924480082000594510543609563982722192764045028)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_109 : Polynomial.coeff recurrence5Scalar1Second 109 = (((204703719073304600709511046617356340054193 * 10 ^ 70 + 5157050858038609904066961092951339955115865116138189492977522286994113) * 10 ^ 70 + 2077776315629238632168051722035457882251581627414161003632322144086299) * 10 ^ 70 + 3650005634276529387338220076749180583576335592312359073006787332388971) * 10 ^ 70 + 9763736621348822208986144033337264226280973086894884385469836936960419

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_110 : Polynomial.coeff recurrence5Scalar1Second 110 = -((((1398153835546688894527735407437351047908387 * 10 ^ 70 + 2801350926337340341675975504506223280562403629217081768690523034990982) * 10 ^ 70 + 2858681445215835130380693346266044762293395270467331627706645426940063) * 10 ^ 70 + 4985880849947986576656501267949573180178143249852393106536041820169235) * 10 ^ 70 + 935922913699074894854363872795346358611150876118086714191418258255027)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_111 : Polynomial.coeff recurrence5Scalar1Second 111 = (((9305605960233312685787951856726278205652951 * 10 ^ 70 + 3503121649202026391177008299967690972372562225748220816281779123471267) * 10 ^ 70 + 6245616099088816186827902599567491242811919872449471041856227629655295) * 10 ^ 70 + 2052111439522156943884561522009683126670433907239585187745454798376675) * 10 ^ 70 + 3506021121145305285235619056898992257386233129954078205014794397281654

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_112 : Polynomial.coeff recurrence5Scalar1Second 112 = -((((60368848610926947817023908068463130345977407 * 10 ^ 70 + 4955638453137187542581834494419636274470826769468860999609573888946349) * 10 ^ 70 + 2434564470047940025954447364914550440337631889190832960645899716527764) * 10 ^ 70 + 9865132443632693168254261494516764286568318633795571600095370791313482) * 10 ^ 70 + 9180500926032843183487291665669900224394101403430933340733308083406516)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_113 : Polynomial.coeff recurrence5Scalar1Second 113 = (((381833568711326706416706549458470614418187792 * 10 ^ 70 + 5422431655415694193994160657712656862572883010100598843061834936694275) * 10 ^ 70 + 7973917178187906041864334349127350940467396878486527830508071465250644) * 10 ^ 70 + 3010845182239321695456006372557875340532750266586412993484944525646566) * 10 ^ 70 + 9099181148534953880998467255114487801439645608626591708527447017183105

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_114 : Polynomial.coeff recurrence5Scalar1Second 114 = -((((2355262512497548602833062558645188253570702680 * 10 ^ 70 + 5456247621220427963289948212108533779616310700169871894941847274734401) * 10 ^ 70 + 3939243011879133888114042013145010619189017053958863790822052962355691) * 10 ^ 70 + 6230654124026344396338904741839854293600093908224704352786388975981822) * 10 ^ 70 + 8577956798150827655534106182415494926073184335822615019465548211294389)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_115 : Polynomial.coeff recurrence5Scalar1Second 115 = (((14171515443702420130832523006851593044567628103 * 10 ^ 70 + 3305664430027959473733245209307319346782491725746933835697041584997251) * 10 ^ 70 + 3305757325506899541530050124535059884998131641564534036362249441312568) * 10 ^ 70 + 8357590250388540152655559485130523344605293209723462448939792561622563) * 10 ^ 70 + 2433331476305465461388265165918475367189216553996092849580423357783962

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_116 : Polynomial.coeff recurrence5Scalar1Second 116 = -((((83197386868591484332457828194377053983288183562 * 10 ^ 70 + 3298216976202354694873482000783867881677022234043990804995880290659629) * 10 ^ 70 + 7432657136675375433748008511489698449251547731523127981561511517718860) * 10 ^ 70 + 497801940697240345600239436260179537912056920067624080131771015427066) * 10 ^ 70 + 2025599977802448855115730697246644590893671389617188519113842104190637)