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_218 : Polynomial.coeff recurrence4ExceptionalProduct 218 = -((69886646058011959852561131741574439679448072125677808801549 * 10 ^ 70 + 305568978238714739187696883211749996794900566599373334647809458115579) * 10 ^ 70 + 9248848623790723924768241858155881267072673304821249818075775973931163) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_219 : Polynomial.coeff recurrence4ExceptionalProduct 219 = ((43887514880954737832116195106121367755515404427619703509356 * 10 ^ 70 + 5750146263603773421449224593466839946986919999961577111782499620862633) * 10 ^ 70 + 5137611814651225954358102709139892028328189109685360031324835128909903) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_220 : Polynomial.coeff recurrence4ExceptionalProduct 220 = -((27064331744273554803897277199394365170192810983709676342962 * 10 ^ 70 + 8213693405946015699979807403441588401138218907278002165237350657709521) * 10 ^ 70 + 3109519006783717375211950108951034077367456888601258357765033581775001) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_221 : Polynomial.coeff recurrence4ExceptionalProduct 221 = ((16388554915167436825325651032988782856428383435594109296277 * 10 ^ 70 + 8733942365591797183744638104242432288048558976867722274424669783694879) * 10 ^ 70 + 1607747222109744520295534007582608368673995165777224988587341140037201) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_222 : Polynomial.coeff recurrence4ExceptionalProduct 222 = -((9744243090592749701140151054074591406717432102658694833372 * 10 ^ 70 + 8767797415779410754013528008014268151262200663827640333466090982579591) * 10 ^ 70 + 7039093342312844193481612693215173207775625274242238606207053191576276) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_223 : Polynomial.coeff recurrence4ExceptionalProduct 223 = ((5688481750460392531783483692340243541613087124603157229602 * 10 ^ 70 + 4737771816122173019455063980211884555666729442386610866553460167920808) * 10 ^ 70 + 8041283952130678267046332181103990949370484846393402177256168860363328) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_224 : Polynomial.coeff recurrence4ExceptionalProduct 224 = -((3260332692492335635127307635947034038689378493890474481532 * 10 ^ 70 + 2279055988821971260362200020517256617413104382347203267840961496065578) * 10 ^ 70 + 4909304527308813214760411005464137440900289666131915071266123160051049) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_225 : Polynomial.coeff recurrence4ExceptionalProduct 225 = ((1834514477508256331093445394447104649878584624590311613796 * 10 ^ 70 + 4673101383482761146973430642179818594574729028847427140908568094667518) * 10 ^ 70 + 3607463989876743115641419264026996591084212319306600701833232329114573) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_226 : Polynomial.coeff recurrence4ExceptionalProduct 226 = -((1013329048720287681651383444341114396383082655640179348307 * 10 ^ 70 + 3078984366220168407558179676185366500127713910236513769141526693285294) * 10 ^ 70 + 9960272622417941157584645090333315232694640445042831203017442591397029) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_227 : Polynomial.coeff recurrence4ExceptionalProduct 227 = ((549448082337460648832435773055829426452908667503452380910 * 10 ^ 70 + 1918439380833136938343114812350783447197111855378086225300255520197743) * 10 ^ 70 + 302106367875140533410962691984222374350903864936083183430385020413219) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_228 : Polynomial.coeff recurrence4ExceptionalProduct 228 = -((292433275837475220399783653868545724059982560599898690246 * 10 ^ 70 + 1934813752984111118386749775320881946724234733070083405326171416504680) * 10 ^ 70 + 1993935798083658686018262730984605866938518609343223038131102041683403) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_229 : Polynomial.coeff recurrence4ExceptionalProduct 229 = ((152766684207857680210010656924962464153308869739255118227 * 10 ^ 70 + 3376004292503430864771494051612275578179118580557439644390730554556897) * 10 ^ 70 + 4042854036971738433664851564526929016140933641508246220986494341179053) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_230 : Polynomial.coeff recurrence4ExceptionalProduct 230 = -((78326883747780991448940884775173845538948646663046757621 * 10 ^ 70 + 8497900516046200429317762141725281904751188506705162423551462800282253) * 10 ^ 70 + 3528109251071005977298835184343969380420295335124817112521832654754471) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_231 : Polynomial.coeff recurrence4ExceptionalProduct 231 = ((39414218058521005930709921911000595716663798059372120134 * 10 ^ 70 + 5002002346856291324051272464266329959281537561511625470199216113505348) * 10 ^ 70 + 7270649114656139029563601134636512175791374238845475855186418678200307) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_232 : Polynomial.coeff recurrence4ExceptionalProduct 232 = -((19464145121048771722635038203863954693355422953231233367 * 10 ^ 70 + 6143878004613464441208737055870891200753706159888180540817867436166932) * 10 ^ 70 + 1026932779174643707384217883613457798518335647954921111844618498218811) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_233 : Polynomial.coeff recurrence4ExceptionalProduct 233 = ((9432771576587185282038101809820907607988531426261620183 * 10 ^ 70 + 1418541734133802939044102230418767677567101460060906798780341452851292) * 10 ^ 70 + 8232520117450212369330260521941927987446574894798173189227261021144543) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_234 : Polynomial.coeff recurrence4ExceptionalProduct 234 = -((4485865262576681696212613504577276585349511201593426618 * 10 ^ 70 + 3788144700387277403328108685493942633172325193396846122844489201085094) * 10 ^ 70 + 9006545469796572408088764035682605752843564363489641735996431811589020) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_235 : Polynomial.coeff recurrence4ExceptionalProduct 235 = ((2093323575530544623223592872439069049820413557686981606 * 10 ^ 70 + 7311025994625955454627471039369584751632421380566884221491097430116953) * 10 ^ 70 + 4176237709479742075875348369581593068214926531848289015714749596106074) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_236 : Polynomial.coeff recurrence4ExceptionalProduct 236 = -((958488298726218348176849614156523174225699880025336641 * 10 ^ 70 + 6114672162604736361309915945032591389847740076911900009981289822385283) * 10 ^ 70 + 8895172959594340952930522830649497128159505563407667518109469750677502) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_237 : Polynomial.coeff recurrence4ExceptionalProduct 237 = ((430593715317397872540306608504651003472494390432563283 * 10 ^ 70 + 9180579219872375881541973368779052324287517178797167039177769381998443) * 10 ^ 70 + 2968731385674228376783496075981096665954346662894218202344700732111174) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_238 : Polynomial.coeff recurrence4ExceptionalProduct 238 = -((14597973938559881044936071953196886938412448238627202 * 10 ^ 70 + 57165017167757671721754374507109078842674617621121189308863304695867) * 10 ^ 70 + 7898905739520599318291153791892884666533238777386681989665142589544251) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_239 : Polynomial.coeff recurrence4ExceptionalProduct 239 = ((82039947302172037361484018557049377647577110029899716 * 10 ^ 70 + 2601692025164363101749819801993095250210742405417654714686039844091110) * 10 ^ 70 + 9599110756557679315885972867203340265413542504143199687141464628960183) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_240 : Polynomial.coeff recurrence4ExceptionalProduct 240 = -((2675391637456406071481047379604221318369856356813813 * 10 ^ 70 + 9131273174198219790226082320465414266165119667357269668690815225524159) * 10 ^ 70 + 2496018304491695318197765432760479809793902636085730622611896541292478) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_241 : Polynomial.coeff recurrence4ExceptionalProduct 241 = ((14453810438788071181812113231116624990274121121027118 * 10 ^ 70 + 6261716703013013064064030973521373542012460330019722025524245381157200) * 10 ^ 70 + 6520522063862542056007895679083492795616562453898313964176920345768994) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_242 : Polynomial.coeff recurrence4ExceptionalProduct 242 = -((5884455989146163230653920224692222332839621475292940 * 10 ^ 70 + 9263957992286761802015782812272474416868424451486363758456822227956258) * 10 ^ 70 + 8111811359092513440649624828417410798099311002845195590570739585869144) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_243 : Polynomial.coeff recurrence4ExceptionalProduct 243 = ((2344554643273329663832004726347776914902576510653397 * 10 ^ 70 + 74220561771810811846871955059554117015743059917837558245060854184802) * 10 ^ 70 + 3352894175638467484373539902774412256780387963715533495725664677621074) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_244 : Polynomial.coeff recurrence4ExceptionalProduct 244 = -((912703703517335475583914326532983293732305686720870 * 10 ^ 70 + 1358003176483198984485126617037154110129435687507099150026519420390547) * 10 ^ 70 + 2608537475352331030135981704566308663751088908490213811741441915462645) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_245 : Polynomial.coeff recurrence4ExceptionalProduct 245 = ((346220127469598641497137491542351137910578357730651 * 10 ^ 70 + 252868497608672661908542426704833833632364509784621996260767760942757) * 10 ^ 70 + 5542327562577761724822517202864586838531882354913653426002104785706499) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_246 : Polynomial.coeff recurrence4ExceptionalProduct 246 = -((127410942381303566182410771395713106668567893312044 * 10 ^ 70 + 463252328451102255707080362824249800028421288299360658123198665184702) * 10 ^ 70 + 6836526820342897009184956058686524523434230500496381002407382798612543) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_247 : Polynomial.coeff recurrence4ExceptionalProduct 247 = ((3472744431429938458569390561128083440884230018978 * 10 ^ 70 + 7267662039801654268998169928565004665424988088283100189736468849586758) * 10 ^ 70 + 6335849765444521680514111790131707683331531679068566478272852570298073) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_248 : Polynomial.coeff recurrence4ExceptionalProduct 248 = -((15193736111463821544384449803027044439555804163080 * 10 ^ 70 + 5276528163423568419389175168827649439938602188438419129666870680585611) * 10 ^ 70 + 1907949095158072795283324216637041266278532381670626350158850676907640) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_249 : Polynomial.coeff recurrence4ExceptionalProduct 249 = ((4726518515748588211633965961570770877501806417647 * 10 ^ 70 + 3799808877253349769842995874726722178082301310226877103438128277735540) * 10 ^ 70 + 2244621610172996917990708434174432008446365462711637342610989084685820) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_250 : Polynomial.coeff recurrence4ExceptionalProduct 250 = -((1273011856608512648672733146431238897013478525103 * 10 ^ 70 + 9514285809223147842676100445767118475417288201860777083817950272954954) * 10 ^ 70 + 7125340658471717339926243351385984254849110574381873477664259535753126) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_251 : Polynomial.coeff recurrence4ExceptionalProduct 251 = ((233804116070907692934264152636686248801979794766 * 10 ^ 70 + 816513301848728016947634116021590750414912939451091972684475299010897) * 10 ^ 70 + 3495603746794251632199816568276802359448662274791496471712087649502536) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_252 : Polynomial.coeff recurrence4ExceptionalProduct 252 = ((26610275404348096556124621880292309171032173647 * 10 ^ 70 + 2734170379659362304107168057318600956319711786351799576563414050367433) * 10 ^ 70 + 7395791969555861452753216609432607436203317681942550826617318054583779) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_253 : Polynomial.coeff recurrence4ExceptionalProduct 253 = -((61918983731461898329563380092313946098431916655 * 10 ^ 70 + 6113090557038371951710076825831605149321794093687561980255802764622160) * 10 ^ 70 + 9664632102067702265671100904751721556966122945522202732578291391258603) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_254 : Polynomial.coeff recurrence4ExceptionalProduct 254 = ((46143885138499964688445501934415396937753510336 * 10 ^ 70 + 4182806045592992753955894785990004083703189571670873097135963124637935) * 10 ^ 70 + 4573697010983423419827754799609104002674805100772501543617866768677013) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_255 : Polynomial.coeff recurrence4ExceptionalProduct 255 = -((27130761225294907837723341902197054048680261630 * 10 ^ 70 + 4606062781138804445306828575077136961123633507869330565195446898672605) * 10 ^ 70 + 824347074760851463598323445969496851553108464595119968440291409038915) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_256 : Polynomial.coeff recurrence4ExceptionalProduct 256 = ((1096802216587507720916494341756619276738938791 * 10 ^ 70 + 1671265623062702446378804832778534468476125733777196293487179506673141) * 10 ^ 70 + 1724726855279369511023595356539163595200726082448583849672475779859015) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_257 : Polynomial.coeff recurrence4ExceptionalProduct 257 = -((6987803938717431250312763381206887382276952165 * 10 ^ 70 + 5449601012068393309652422168751627944617841562450169068510788382647716) * 10 ^ 70 + 6160995845777950764676119713075313685767507897658721669190060388061603) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_258 : Polynomial.coeff recurrence4ExceptionalProduct 258 = ((3254631499237933406882947885630438238236178066 * 10 ^ 70 + 6837742938542683444662030894682858310015058246044885436319983131429684) * 10 ^ 70 + 1292466290387451180739398954875862956928545796109845017973340496476019) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_259 : Polynomial.coeff recurrence4ExceptionalProduct 259 = -((1454686682988748995645904256547823125705548306 * 10 ^ 70 + 8081341976999022583111272932857666395989092312617423920021297884727526) * 10 ^ 70 + 8720582224423615412237708466624157512114762336345587705943359876771623) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_260 : Polynomial.coeff recurrence4ExceptionalProduct 260 = ((627267413537242762399287446693506762184499421 * 10 ^ 70 + 1805611242065520845949403508953056619595055163724272035662833936652174) * 10 ^ 70 + 9899197133935918144724062190209168088061694467280682434887394875457870) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_261 : Polynomial.coeff recurrence4ExceptionalProduct 261 = -((261723757427155828384418495676576222200696492 * 10 ^ 70 + 7879179598993288977651271647823006257475148789672904036638994167299211) * 10 ^ 70 + 5506006741306503528531187762023110903921090538493642415457308106190068) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_262 : Polynomial.coeff recurrence4ExceptionalProduct 262 = ((105836352391330268130770382041930388821376087 * 10 ^ 70 + 6839427148675233727072117897387130906248997583313054032831575518812026) * 10 ^ 70 + 8446041621563692094858994767532318651472790220116708854841941501887720) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_263 : Polynomial.coeff recurrence4ExceptionalProduct 263 = -((41508062634923178461297329643896483169119475 * 10 ^ 70 + 309635928427641395696384477765028939512584320394965198915663797752924) * 10 ^ 70 + 9198500927801996231878470515073289674856460702936728341283580905517104) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_264 : Polynomial.coeff recurrence4ExceptionalProduct 264 = ((15788570615422145146999498150583744697936864 * 10 ^ 70 + 7767070179266999802767321293337334747690926293240499349564669823336023) * 10 ^ 70 + 6458786613091143505259013589327911317791691607696434042134266532387006) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_265 : Polynomial.coeff recurrence4ExceptionalProduct 265 = -((5820810312960629851633823312388710986470729 * 10 ^ 70 + 164302917805493958825601384606476239707517183569357968090261049889571) * 10 ^ 70 + 5888781627084348002012605660591991672165532240767651906180544061901570) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_266 : Polynomial.coeff recurrence4ExceptionalProduct 266 = ((2076837633977206187424514801890942307734696 * 10 ^ 70 + 5976325946170751071240647138717856925770721715799371142039216940421728) * 10 ^ 70 + 2149200276134506690753439011853332545142155129650956542621329162787230) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_267 : Polynomial.coeff recurrence4ExceptionalProduct 267 = -((715096368339916674887799831211979201584742 * 10 ^ 70 + 1154168823779121389341365050737572131403276714827308060045157959916206) * 10 ^ 70 + 1519833787045512459356582803766132044034471119325848607376314128836778) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_268 : Polynomial.coeff recurrence4ExceptionalProduct 268 = ((236361935280038210095083387616118697720217 * 10 ^ 70 + 5578865551845252169505801005202123874229061989439707939934984447101594) * 10 ^ 70 + 9335682765057179743487109508035292430867772335223058587537935272930496) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_269 : Polynomial.coeff recurrence4ExceptionalProduct 269 = -((74239441774614575455136183639417135707982 * 10 ^ 70 + 3767018512681341312124634141017703529210721921539726433653749753381880) * 10 ^ 70 + 2006956795611085879066059018172300857110604424133398928706456165845624) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_270 : Polynomial.coeff recurrence4ExceptionalProduct 270 = ((21695802938023433447204865384779990578311 * 10 ^ 70 + 2537294312738920411584474941853658783808278347311207805517773403774953) * 10 ^ 70 + 1754748770068929569305008445201556506616119762267153222823530771315761) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_271 : Polynomial.coeff recurrence4ExceptionalProduct 271 = -((5607323817422790039602981807968298258443 * 10 ^ 70 + 3923864797312524398115874317594892680149159345272898746157623799217246) * 10 ^ 70 + 9229608249062050166450961254330210695422302445317378134878858183538827) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_272 : Polynomial.coeff recurrence4ExceptionalProduct 272 = ((1083101272528736811762597270807635490467 * 10 ^ 70 + 9189761321349700141838527026688580138611143695224208159645286902170239) * 10 ^ 70 + 895410895207063802911129164322532321262429092967159286053074699103021) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_273 : Polynomial.coeff recurrence4ExceptionalProduct 273 = ((1231488935581655016708880521189517635 * 10 ^ 70 + 1248773358809271876042217174247979255692445999174515325915875268589731) * 10 ^ 70 + 53758112299179175330215663990939415073501283210007394155365602484155) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_274 : Polynomial.coeff recurrence4ExceptionalProduct 274 = -((162729346709246405315957705186152936362 * 10 ^ 70 + 70965932418186359582639770460490035502752684342549607890095559998984) * 10 ^ 70 + 192915403065423750338494031443177159824799244098463243232502828166015) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_275 : Polynomial.coeff recurrence4ExceptionalProduct 275 = ((125466944966915597743464522169080679319 * 10 ^ 70 + 926779800815934552862962865826414207875565252795137349005701138117206) * 10 ^ 70 + 7521975527147660707157553328408209972438876287564055076781210247497651) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_276 : Polynomial.coeff recurrence4ExceptionalProduct 276 = -((72419212855997315154362751698956385241 * 10 ^ 70 + 5601206327450684088447963317757723299079219102335062223350065151822830) * 10 ^ 70 + 2440689637377020793650756307147835905267863512420201781490394801390101) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_277 : Polynomial.coeff recurrence4ExceptionalProduct 277 = ((36946292755724964781756913502053739598 * 10 ^ 70 + 8118792002365616868419727405232150568026886558631531137965441115517677) * 10 ^ 70 + 5788631428605859025419636982255603853069418039695986643336528039249933) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_278 : Polynomial.coeff recurrence4ExceptionalProduct 278 = -((17498749150770075574599916255218098431 * 10 ^ 70 + 8311856205785114568156067792697757694117627544029071682159093785258681) * 10 ^ 70 + 2146003335316017845904481434715800829796601779668150840126450436924495) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_279 : Polynomial.coeff recurrence4ExceptionalProduct 279 = ((7842129244443953356714847039053311663 * 10 ^ 70 + 2947733325436082252729309770984490428658948625819265813321812919247694) * 10 ^ 70 + 5959100377203946573358906623853835619201120595925800359780736818169025) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_280 : Polynomial.coeff recurrence4ExceptionalProduct 280 = -((3350835160125798883189501950186544303 * 10 ^ 70 + 2338113072562915011769625727429321586444222822848046604943122917439404) * 10 ^ 70 + 2060498165573385704249358643407881996507288586361945021400680361497888) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_281 : Polynomial.coeff recurrence4ExceptionalProduct 281 = ((1368104264677417917623721681143129471 * 10 ^ 70 + 8577349012484626109248227552281700516041923091116618213382114812288437) * 10 ^ 70 + 5706859257980358180388604266325780014425225359933714874478620489391198) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_282 : Polynomial.coeff recurrence4ExceptionalProduct 282 = -((41021706851070547027141829558398460 * 10 ^ 70 + 5522122337715404975238367690977930381479450097396547955340688806692945) * 10 ^ 70 + 3884470086379322248483002170523577964647118461349055004735554849436117) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_283 : Polynomial.coeff recurrence4ExceptionalProduct 283 = ((197846711342152412092064381842334094 * 10 ^ 70 + 474942832220963389029047093077689610590501819492268243883897397415747) * 10 ^ 70 + 3749942376264673992753351509348198484054492243425918782502820742123405) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_284 : Polynomial.coeff recurrence4ExceptionalProduct 284 = -((69491268349321913430987278509421375 * 10 ^ 70 + 6172589782610656973104034936909129589087775386993910855118726706516915) * 10 ^ 70 + 9970672232804861311148633749540149619305325364279128094195433568086281) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_285 : Polynomial.coeff recurrence4ExceptionalProduct 285 = ((22915327555697547264272909486730080 * 10 ^ 70 + 3954544937131242905374963383859500798280112513643658333173786120887709) * 10 ^ 70 + 64314661526193296328509467429625306000858625525850188140088621607131) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_286 : Polynomial.coeff recurrence4ExceptionalProduct 286 = -((6997923753761138756139812501938724 * 10 ^ 70 + 6229676249615510268365563722994162523785332194190735251935362041022516) * 10 ^ 70 + 9095193867801276002251505229444878494989323676276682916752516117039928) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_287 : Polynomial.coeff recurrence4ExceptionalProduct 287 = ((1930491786435161931043571687560141 * 10 ^ 70 + 8739521579668689633438746127733027572274470766851739862682238656416837) * 10 ^ 70 + 3244809387517438449382853981482711453863074260914257420344609225175380) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_288 : Polynomial.coeff recurrence4ExceptionalProduct 288 = -((455743324029423693767685657492390 * 10 ^ 70 + 5388480616974268559127492123680607034330277606358935432482238803146316) * 10 ^ 70 + 3925558907837532328069788876582506609703815890518273396107190289713106) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_289 : Polynomial.coeff recurrence4ExceptionalProduct 289 = ((77829748297836465169531623815428 * 10 ^ 70 + 2475451328255497213368980023071940091587526136219264472620142143446596) * 10 ^ 70 + 8336575409629335646086372400813578218039443218210084271201147813939304) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_290 : Polynomial.coeff recurrence4ExceptionalProduct 290 = -((382882784779454811685254646388 * 10 ^ 70 + 3534473013475035079867567392138403738484668899126805590487298758469770) * 10 ^ 70 + 4876166994458601106263886962351250963521436540005512659767469322345408) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_291 : Polynomial.coeff recurrence4ExceptionalProduct 291 = -((7588089652248237731889856988152 * 10 ^ 70 + 9634614515938534774558920265308171779455359575866099678019938801614684) * 10 ^ 70 + 3000589785455013787712953553826268345079776703377562906871642396128104) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_292 : Polynomial.coeff recurrence4ExceptionalProduct 292 = ((4507035680260892206739484086940 * 10 ^ 70 + 877557799964430115969010430125297203408785296124287280191226671200191) * 10 ^ 70 + 273874438603452704188329687352564277594154647315334872862912827552623) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_293 : Polynomial.coeff recurrence4ExceptionalProduct 293 = -((1890366265648889352745125796491 * 10 ^ 70 + 8361411606837458149897813596307819294581938047323509299174096027205591) * 10 ^ 70 + 1050167076660339086226213435647669288928703883072500100225237326388993) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_294 : Polynomial.coeff recurrence4ExceptionalProduct 294 = ((661528848219512604827609191042 * 10 ^ 70 + 5315380521135969676784060515438239120841427274996927726227044057757001) * 10 ^ 70 + 4934367163814527768309607684576898454093533169469635332339851790465766) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_295 : Polynomial.coeff recurrence4ExceptionalProduct 295 = -((201727108733077883199000020291 * 10 ^ 70 + 3271845030727420835086152742040142682443238541818233559261443092082076) * 10 ^ 70 + 2479000044475393865719324620375106190955459558701520067818132789524072) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_296 : Polynomial.coeff recurrence4ExceptionalProduct 296 = ((53941908353672256769273705648 * 10 ^ 70 + 1910019012984160257378370914936754701531371954646563062020218676018965) * 10 ^ 70 + 19450998581265904978738672680747158431614619750240734657049122565655) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_297 : Polynomial.coeff recurrence4ExceptionalProduct 297 = -((12381332096689462437759754853 * 10 ^ 70 + 7852128451710224263471248746550271144259664405344944635463360116480046) * 10 ^ 70 + 1298101995268241015210163098198030470552613685256338959808829890934985) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_298 : Polynomial.coeff recurrence4ExceptionalProduct 298 = ((173902986439005075596718649 * 10 ^ 70 + 9567488951394783057563154964129673853638009817810838013543839175075064) * 10 ^ 70 + 3227699621036754319758720700683837053038307196575024564687237485892054) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_299 : Polynomial.coeff recurrence4ExceptionalProduct 299 = -((231820094567629903499925519 * 10 ^ 70 + 4452508325506491211015511957911771734004874068161628118175329277336382) * 10 ^ 70 + 2414510076932949457572801062352401918384075437234577970559948007738890) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_300 : Polynomial.coeff recurrence4ExceptionalProduct 300 = -((44692291894338848856140465 * 10 ^ 70 + 6081741315749681471889299734820360614779493983295583440310079538022110) * 10 ^ 70 + 3249156159766273020927369453579031019472126464181072744330736885173792) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_301 : Polynomial.coeff recurrence4ExceptionalProduct 301 = ((2860866287614143091824759 * 10 ^ 70 + 2140714631129887134210542094504499464187011735210107849552011654818631) * 10 ^ 70 + 4259028235816749191318110397981492773549305877718619558797419279980110) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_302 : Polynomial.coeff recurrence4ExceptionalProduct 302 = -((14674192677679128239564136 * 10 ^ 70 + 3994964328728338827303078455970874378725386942404853364871510476458119) * 10 ^ 70 + 5271886444401185113139489571148300770451993202400273569357522190888522) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_303 : Polynomial.coeff recurrence4ExceptionalProduct 303 = ((4485290976500026004002884 * 10 ^ 70 + 446747731618487387452850510315851438902995295282223310261129855299965) * 10 ^ 70 + 903973544800245264596074999930074262194509384208554570527530948821792) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_304 : Polynomial.coeff recurrence4ExceptionalProduct 304 = -((1164454545917582261032784 * 10 ^ 70 + 3813709689581512434273012797044486748725800289798748408526810500350952) * 10 ^ 70 + 2173872249528823005218469764025086012833691354020788988060565681415828) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_305 : Polynomial.coeff recurrence4ExceptionalProduct 305 = ((264155673700477749120032 * 10 ^ 70 + 8273633836001124637341165827643878417451601742429526570598291410954574) * 10 ^ 70 + 4402601541322460100130850773826853745699141821422272535374743385389272) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_306 : Polynomial.coeff recurrence4ExceptionalProduct 306 = -((52597198194667476151104 * 10 ^ 70 + 4133269092746034143664542767412186890226091459744025379390047221070813) * 10 ^ 70 + 9446189743769658154643454187780347502587563554604530837493182725191506) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_307 : Polynomial.coeff recurrence4ExceptionalProduct 307 = ((9071847955590431087550 * 10 ^ 70 + 4067745345967109956830645448758007994437646182440284604032850783572302) * 10 ^ 70 + 9042044616705100966580660902377489323135972804967488129388514642424338) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_308 : Polynomial.coeff recurrence4ExceptionalProduct 308 = -((1300594535596114442714 * 10 ^ 70 + 8322423963930294036985687340791121475354461472540519838325557852171713) * 10 ^ 70 + 1483255914339046964078434280094233167474731312589566776288556881886435) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_309 : Polynomial.coeff recurrence4ExceptionalProduct 309 = ((136482391915301288655 * 10 ^ 70 + 2171519659827388444518882475322014178362094447582311827608752470910246) * 10 ^ 70 + 1064139682533399965422012030535448664742278070598563053150718513763273) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_310 : Polynomial.coeff recurrence4ExceptionalProduct 310 = -((4192711377269820548 * 10 ^ 70 + 6557676771463800735030325249500245620686562022853436956992514093603067) * 10 ^ 70 + 1040418553467650196163854695104922943790298964558912375393408462234152) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_311 : Polynomial.coeff recurrence4ExceptionalProduct 311 = -((2493880676629240384 * 10 ^ 70 + 2497411872166879357672478345887369397423387221879290919179031999159877) * 10 ^ 70 + 3955632103375839096304564381794391260782626678638396208093531359690608) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_312 : Polynomial.coeff recurrence4ExceptionalProduct 312 = ((816199469909118258 * 10 ^ 70 + 3185091975538752987616343534533319515216593504827853607403864254087429) * 10 ^ 70 + 9242384219023983007772649339362713462602637510580083584899084269776521) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_313 : Polynomial.coeff recurrence4ExceptionalProduct 313 = -((162402369364696201 * 10 ^ 70 + 5492612789843376235351748169928067328215428807603533430043118643462540) * 10 ^ 70 + 5681901329392371748335477503946017508967810466679534332536931159528657) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_314 : Polynomial.coeff recurrence4ExceptionalProduct 314 = ((24040550477974307 * 10 ^ 70 + 326390436032853165483110742424095877072908425374236418852517620665867) * 10 ^ 70 + 1559171516679306535070086200888869817135918917379684522801284481594601) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_315 : Polynomial.coeff recurrence4ExceptionalProduct 315 = -((2598847661200229 * 10 ^ 70 + 1337366990834631960737605944713244030390018151730530765810164160973541) * 10 ^ 70 + 6964695756995715927990736282703421414398031405776962014165066219406477) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_316 : Polynomial.coeff recurrence4ExceptionalProduct 316 = ((151087016429282 * 10 ^ 70 + 8371279877783150241948371795198514800831184703866135410345946217979292) * 10 ^ 70 + 4363057656717083991381184617464449840946226530778158206195264299519451) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_317 : Polynomial.coeff recurrence4ExceptionalProduct 317 = ((12705243274363 * 10 ^ 70 + 7213670106579995489195058586068349944285910579318963781373010869080761) * 10 ^ 70 + 8181723208348217469192594126078387405098376749364208401787164823387411) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_318 : Polynomial.coeff recurrence4ExceptionalProduct 318 = -((5305791620469 * 10 ^ 70 + 2079862676720835416409376219987828441866859227116327819932280348315290) * 10 ^ 70 + 5682755391225293865724661842331786175731978512137109694323214916760223) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_319 : Polynomial.coeff recurrence4ExceptionalProduct 319 = ((902823501243 * 10 ^ 70 + 9562895680835705136983126181072684753697387885154213248371980050594556) * 10 ^ 70 + 9936000984369675833832269141586257732866898875574100617891244118591775) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_320 : Polynomial.coeff recurrence4ExceptionalProduct 320 = -((102401984983 * 10 ^ 70 + 6499483282201645755651707554408552464936251160365689226273893462446363) * 10 ^ 70 + 2206213499934507283436559450479099854447179943808549203555213469813176) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_321 : Polynomial.coeff recurrence4ExceptionalProduct 321 = ((7440999220 * 10 ^ 70 + 9678489660510904623657837263171654196500893321660589788854583637349747) * 10 ^ 70 + 1242325532826200314725017765955841881118096028292390777687832028176362) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_322 : Polynomial.coeff recurrence4ExceptionalProduct 322 = -((123423553 * 10 ^ 70 + 1697010248510206018946033555176429945165291959889418529002163734105178) * 10 ^ 70 + 5392687289441658443770789755811042315948175955784782204867595652210252) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_323 : Polynomial.coeff recurrence4ExceptionalProduct 323 = -((54464979 * 10 ^ 70 + 750349072241738717363335798198427558616144913851443947014338997958613) * 10 ^ 70 + 224898762615133720089706989097992755090380986268584131619177974469036) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_324 : Polynomial.coeff recurrence4ExceptionalProduct 324 = ((8969934 * 10 ^ 70 + 9444014785440220484132682075676228960235641551877137131373806545799689) * 10 ^ 70 + 3248411459251673388035205515949519886270856580019767453780357090233149) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_325 : Polynomial.coeff recurrence4ExceptionalProduct 325 = -((758249 * 10 ^ 70 + 2476353429158907726749065682550169229304699527851685193294767136524436) * 10 ^ 70 + 1166090924958647046564331591651686093741060255769188558280616782008461) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_326 : Polynomial.coeff recurrence4ExceptionalProduct 326 = ((27974 * 10 ^ 70 + 7314855296190445315519623906677203991987608402181083064323445624573736) * 10 ^ 70 + 7533537242221479646211581380888247289063696496717155928387678238700453) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_327 : Polynomial.coeff recurrence4ExceptionalProduct 327 = ((1826 * 10 ^ 70 + 1792830057825722012770119566369939497678078269923222909950625838813394) * 10 ^ 70 + 6055075825184865601580828974287156626319770712815705622235837549050579) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_328 : Polynomial.coeff recurrence4ExceptionalProduct 328 = -((356 * 10 ^ 70 + 3098171552660061039963813219577718204093103800601589546428636177314807) * 10 ^ 70 + 9239515960687600828218737874529312817584197546908962725083708461965354) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_329 : Polynomial.coeff recurrence4ExceptionalProduct 329 = ((24 * 10 ^ 70 + 1705446657698240295867832227881393298301318333678677010652610579043507) * 10 ^ 70 + 9055972040886518701433497430932734057472575575312882908011196431894928) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_330 : Polynomial.coeff recurrence4ExceptionalProduct 330 = -(4045409487042539365662762655891560062370498946856553387985011204549543 * 10 ^ 70 + 2447406570751648463795644725028615925737864019862287682957322699452589) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_331 : Polynomial.coeff recurrence4ExceptionalProduct 331 = -(678545163019267294047609311548680653215643689396263642279199555135833 * 10 ^ 70 + 9983099576087378552549648403857251449720727553213931421841210832746173) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_332 : Polynomial.coeff recurrence4ExceptionalProduct 332 = (59138388352650006526952605699652045651356858665160765731716232572338 * 10 ^ 70 + 2484534136849150461522553399004027382252333182372848036887788757605816) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_333 : Polynomial.coeff recurrence4ExceptionalProduct 333 = -(1235738173013932260405478532855007224274060726933460540892401358854 * 10 ^ 70 + 6621844641921827400395896904879538231663187514688429525097399290269386) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_334 : Polynomial.coeff recurrence4ExceptionalProduct 334 = -(102475862449916617940607564541762019997197075033722280493777165234 * 10 ^ 70 + 9947529474010204488912701639263604450312738324321854383433222942168463) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_335 : Polynomial.coeff recurrence4ExceptionalProduct 335 = (7023551497187639312705219817011689230901848947754074108129620218 * 10 ^ 70 + 3647170294028669892283257549892279950632047495553736490006260058024373) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_336 : Polynomial.coeff recurrence4ExceptionalProduct 336 = -(11144641333523938307951797646658801365297877615931631810295383 * 10 ^ 70 + 7540058545696402386144922025571281146580742800389646486468100137644617) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_337 : Polynomial.coeff recurrence4ExceptionalProduct 337 = -(12147242991376545362738335946837849930561002111559030133300067 * 10 ^ 70 + 6879804251706536065699733549604872742373991868730969163758390501838643) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_338 : Polynomial.coeff recurrence4ExceptionalProduct 338 = (207387065673429225914951535571491978618906878513190523134759 * 10 ^ 70 + 7342635332684190475123526983395710442028213696733985975071155854939409) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_339 : Polynomial.coeff recurrence4ExceptionalProduct 339 = (14016039202355344247617025225479641812200283303692057990697 * 10 ^ 70 + 1041617037393355071096788394043671251785385203909940942490164792882315) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_340 : Polynomial.coeff recurrence4ExceptionalProduct 340 = -(240523470145893701833403862365697556418563547198698414726 * 10 ^ 70 + 8113604915795637563874486938114876335032403196960696150373827436348902) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_341 : Polynomial.coeff recurrence4ExceptionalProduct 341 = -(14511698153612793395897361799650561710458029775776074052 * 10 ^ 70 + 6802682579884205006961691461027681883017713694980584079670564732621994) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_342 : Polynomial.coeff recurrence4ExceptionalProduct 342 = (2703140668386333977944702603497853729050887420816070 * 10 ^ 70 + 4863512434676561772100990561220178192946226295019424046970396514237398) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_343 : Polynomial.coeff recurrence4ExceptionalProduct 343 = (9618633377299758380214482654033111199915046092098360 * 10 ^ 70 + 2661462636115492558431165746610445445909084899401637080012860157219332) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_344 : Polynomial.coeff recurrence4ExceptionalProduct 344 = (242562299227934852608725118711470301734879122574540 * 10 ^ 70 + 4960124379885997650350200061664557564401075215728055056497962691705799) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_345 : Polynomial.coeff recurrence4ExceptionalProduct 345 = (3178635942296279089575538291930584070948731265941 * 10 ^ 70 + 6093613488105893597557496267102846016255863246577662020447346743181913) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_346 : Polynomial.coeff recurrence4ExceptionalProduct 346 = (26082386447021662966742795223324378780348508096 * 10 ^ 70 + 2544916205016814318227808585228386290740464894219195617645823068938619) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_347 : Polynomial.coeff recurrence4ExceptionalProduct 347 = (139771649371163815329780447147038045140119581 * 10 ^ 70 + 1855498749405076830008217228704323324364847286596433820108861392158725) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_348 : Polynomial.coeff recurrence4ExceptionalProduct 348 = (36340475338671621827127463079330542861748 * 10 ^ 70 + 7804518064094593899470828316653671209479473349804597232430925048521340) / 1785787687194522429613

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_349 : Polynomial.coeff recurrence4ExceptionalProduct 349 = (809121908777517545538873822146218224604 * 10 ^ 70 + 487818103133649954768884643376873879583248262172084120077860940143828) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_350 : Polynomial.coeff recurrence4ExceptionalProduct 350 = -(501515607410007070836942572358536025 * 10 ^ 70 + 6845404740988331202583086005342293385758710827016337537892838070081774) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_351 : Polynomial.coeff recurrence4ExceptionalProduct 351 = -(6143253772144016114045435461139341 * 10 ^ 70 + 384746796461986970879412918602342095986191152443556606609798078017012) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_352 : Polynomial.coeff recurrence4ExceptionalProduct 352 = -(13571499325701123685664816927600 * 10 ^ 70 + 9509797971068411647404258674525297588967744723882977851748421247007976) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_353 : Polynomial.coeff recurrence4ExceptionalProduct 353 = -(9385368228832451656800454447 * 10 ^ 70 + 5895679715695998238794545857810958687798735523928553275922739014792544) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_354 : Polynomial.coeff recurrence4ExceptionalProduct 354 = (15605784080542096358892968 * 10 ^ 70 + 6919566361561289662065792144363968706028859687337005424428871683276432) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_355 : Polynomial.coeff recurrence4ExceptionalProduct 355 = (43069931929735688278834 * 10 ^ 70 + 7270516978981124629581488818804402338633709071932663278549805723125738) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_356 : Polynomial.coeff recurrence4ExceptionalProduct 356 = (45597069595604097286 * 10 ^ 70 + 6725499158148420771052445963277796812271559229676050904594090036666935) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_357 : Polynomial.coeff recurrence4ExceptionalProduct 357 = (26519512858685447 * 10 ^ 70 + 751895881513564956592321382383796326522306741936568194056599326098341) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_358 : Polynomial.coeff recurrence4ExceptionalProduct 358 = (8937269629167 * 10 ^ 70 + 4416961109840904666312062200896625901472901710744211272069648318962343) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_359 : Polynomial.coeff recurrence4ExceptionalProduct 359 = (1738113101 * 10 ^ 70 + 8097775087365227140511678753191384274788257261051133485854221575598133) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_360 : Polynomial.coeff recurrence4ExceptionalProduct 360 = (189289 * 10 ^ 70 + 78317951773017524590747017398383231721773631238714423212447604826426) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_361 : Polynomial.coeff recurrence4ExceptionalProduct 361 = (11 * 10 ^ 70 + 1009464229048848137243668332927625178111781846702999716178597956661138) / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_362 : Polynomial.coeff recurrence4ExceptionalProduct 362 = 3292644832739261628811456125415571697666036236417031119085333146408 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_363 : Polynomial.coeff recurrence4ExceptionalProduct 363 = 46751881819213323252754794931439660838490049027739114506910490 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_364 : Polynomial.coeff recurrence4ExceptionalProduct 364 = 282205639995319306412748762628103752386358718218540213505 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_365 : Polynomial.coeff recurrence4ExceptionalProduct 365 = 688572124533553278150475357840205733640480943592043 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_366 : Polynomial.coeff recurrence4ExceptionalProduct 366 = 510090730919448538541504811305581829392568035 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_367 : Polynomial.coeff recurrence4ExceptionalProduct 367 = 121790272911401983334556953402217632025 / 23215239933528791584969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_368 : Polynomial.coeff recurrence4ExceptionalProduct 368 = 21405978559284137049 / 152365481437

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4ExceptionalProduct_coeff_369 : Polynomial.coeff recurrence4ExceptionalProduct 369 = 1