Recurrence 5 lookup certificate: Scalar1First 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.recurrence5Scalar1First_coeff_363 : Polynomial.coeff recurrence5Scalar1First 363 = (((130228831781422852342532007513893742798 * 10 ^ 70 + 9111658660054404015783536567082233074621452570830486053678359617044356) * 10 ^ 70 + 4498823570702353567154261053901431628008124224874670996114099700127208) * 10 ^ 70 + 3693238921674778232065730981498994463258780873550666209901199204006964) * 10 ^ 70 + 8676478602103847127479495963683873117215665914117061868701159699402644

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_364 : Polynomial.coeff recurrence5Scalar1First 364 = -((((50015860451403049793181038082958491765 * 10 ^ 70 + 2378187572192225087080234738530056344275621964233940146486120707862569) * 10 ^ 70 + 8499335010449575917725946454070703891441136501389457654152298803135805) * 10 ^ 70 + 7616109559543005901529400147504304795681226981948177125142526295151876) * 10 ^ 70 + 8198352687948240184036523031688442534107361103052966892277187816962522)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_365 : Polynomial.coeff recurrence5Scalar1First 365 = (((18506044205434117809099244555523369534 * 10 ^ 70 + 704601787339176152902365024413268628217856045154525259358365341917704) * 10 ^ 70 + 9244322552922611625927077324851291193320635266879225489604782951251370) * 10 ^ 70 + 4263746089556531644971297165885131385103427282645087231326290280621274) * 10 ^ 70 + 8101354571219894607035741173406452908819370045603296441695141744727665

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_366 : Polynomial.coeff recurrence5Scalar1First 366 = -((((6625295074418750412180011969039914776 * 10 ^ 70 + 5280610651224927836725574276627788696526674952155265031261378145929787) * 10 ^ 70 + 5266953923382264482793480268716603593737779047909167221791237854707485) * 10 ^ 70 + 7680428765456505026980215460809922901646584914115269288645212551396272) * 10 ^ 70 + 3031324679872872009953778146758291841840263530473035538298051193770878)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_367 : Polynomial.coeff recurrence5Scalar1First 367 = (((2301620458213330697987041236874129240 * 10 ^ 70 + 2975927575368155062058440804312594664854930679990581674350380560133772) * 10 ^ 70 + 5926656513635636089225209840094130562126205636568529229769856897601395) * 10 ^ 70 + 5685990349388429754949431727380248435291127389583549287977083287168631) * 10 ^ 70 + 1560528749296032739511338936742641685663186090413712718571812911208711

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_368 : Polynomial.coeff recurrence5Scalar1First 368 = -((((777377654955696693390226704256878308 * 10 ^ 70 + 4945789284167259598851657769009145805435885883820101669731343028608061) * 10 ^ 70 + 5592959798095899203450978934995286285736711710403162372978163348478711) * 10 ^ 70 + 6621662504089169782389999446343851712163777975605526378480144634720308) * 10 ^ 70 + 6045547480336059132374293020721405088920626172599272480207847551333978)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_369 : Polynomial.coeff recurrence5Scalar1First 369 = (((255587165204946644950887514746534621 * 10 ^ 70 + 2433088167581612388178385224898319421997673739032208145472650703549494) * 10 ^ 70 + 4651451316017276625301372557393684366044403740913848975348147109430447) * 10 ^ 70 + 8739421796204367520053168313788223493241716360137209532841060329939767) * 10 ^ 70 + 2165717957933840011936569692110412387502358410452166331321600566447960

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_370 : Polynomial.coeff recurrence5Scalar1First 370 = -((((81860637605627872631131891250546834 * 10 ^ 70 + 6823972563717394388242798620942067747342215915770942639856420843215948) * 10 ^ 70 + 2538990817407465806395394959655355426894637091197385603172873720411314) * 10 ^ 70 + 6922835048843572689315701241705703868700122801353081470500130409390849) * 10 ^ 70 + 9242908113829429459537747804210888338401163147891337177375670529888373)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_371 : Polynomial.coeff recurrence5Scalar1First 371 = (((25549932824200060097805476698500133 * 10 ^ 70 + 4218487751080688382590815681959036062213333203684706053067413529517911) * 10 ^ 70 + 9292397778258695959537493599341417258884317214839380208025120525761131) * 10 ^ 70 + 1259765073477544760101289606218811888174724192231258015635363631645133) * 10 ^ 70 + 1912893520095573698354816833267127625455343671961299283778183970919579

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_372 : Polynomial.coeff recurrence5Scalar1First 372 = -((((7771236574751800757594287858476811 * 10 ^ 70 + 6624103812585252914698910739990085344424724328121384004195374723121401) * 10 ^ 70 + 1356223144638064378664459729225795756831357527836658461385811447687734) * 10 ^ 70 + 4589734678341062972571030262058198655389806258416091095462168759126944) * 10 ^ 70 + 9069543149001810357472520539616588433917319698461515774177817734000967)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_373 : Polynomial.coeff recurrence5Scalar1First 373 = (((2302799649611869962043794294180506 * 10 ^ 70 + 3102206447343807602526277136995550703697794680636486277136674839885694) * 10 ^ 70 + 2878436346119830493779414608353412564978732043726355999094525907527240) * 10 ^ 70 + 7956287931319951560361224785649446063844290615284507135289855299723571) * 10 ^ 70 + 2498701741051131450822976412832003215614174457020919233409853963878667

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_374 : Polynomial.coeff recurrence5Scalar1First 374 = -((((664422582334773082919737255962355 * 10 ^ 70 + 1325792333558716823992879508606709463767722651696918717793676196960699) * 10 ^ 70 + 9275937145304242966472686210760083279044762016179776855879247978869522) * 10 ^ 70 + 8662073380682428441898123178035294450381215027684276499009298217220263) * 10 ^ 70 + 9398828209668169218496897337723647130401283478480244640746200096168225)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_375 : Polynomial.coeff recurrence5Scalar1First 375 = (((186501311117250833459249018975303 * 10 ^ 70 + 6634880919953329532192439768558493187633685245531097076041112372921178) * 10 ^ 70 + 1832190711490858941150248792883750004898969308441028636420348896953448) * 10 ^ 70 + 4135733153921807310248290897205640675889037931917623908823513985178070) * 10 ^ 70 + 8021250315332926331650150373033017395091926703915869471413495500750535

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_376 : Polynomial.coeff recurrence5Scalar1First 376 = -((((50868770887676503479636127191413 * 10 ^ 70 + 6824379623030563255861433377536190951295214535738770887585133440908593) * 10 ^ 70 + 1340186843460229813485787814191863905695377943995950875120792388018565) * 10 ^ 70 + 180105132666621071659399568487305427133881042132678565908213725265361) * 10 ^ 70 + 6972587788581822396118687691927822358242420434946745321166658098041643)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_377 : Polynomial.coeff recurrence5Scalar1First 377 = (((13460720658047785690639561628165 * 10 ^ 70 + 6424830795578447132675490979830233462517497858309447270387344529523854) * 10 ^ 70 + 5828773297337871113700370914550052508758540738562692008136065389198255) * 10 ^ 70 + 8780238546018953045352131166742379379341890266055109306171728363905402) * 10 ^ 70 + 1603273512770121644557325043516976907507026360437145927146246396707796

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_378 : Polynomial.coeff recurrence5Scalar1First 378 = -((((3448702657648910717759966212916 * 10 ^ 70 + 948171339595737864861743777123694039111214466562772314926945468126103) * 10 ^ 70 + 5344434585723592184390484998584455716924933598796914988572275756772302) * 10 ^ 70 + 3830689152657253564769001173669308974815038016636279234076363867751613) * 10 ^ 70 + 7986785891034790268725725967102640130553205163008055586406980065990542)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_379 : Polynomial.coeff recurrence5Scalar1First 379 = (((853328862698686586656647604761 * 10 ^ 70 + 5302210898951581756920255179683270376259265577756767105970474370727844) * 10 ^ 70 + 4230236416563541963992679051590137364357674070813991504348612885592507) * 10 ^ 70 + 7157300049387588282352878403519807325947869300261936043154613932063864) * 10 ^ 70 + 7601842893554574568212919771713548058706418102352843955539602059986634

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_380 : Polynomial.coeff recurrence5Scalar1First 380 = -((((203287808023288764673747987076 * 10 ^ 70 + 5462369763547682837070192453528242109669036974227941673868157749994076) * 10 ^ 70 + 4778307642213141642502898147453542337905316303788390866767821037983899) * 10 ^ 70 + 6839304910050063962685750950391379248063157925902332641901246289182518) * 10 ^ 70 + 5544558909690141292101526182125318816488499237653348872394462882359093)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_381 : Polynomial.coeff recurrence5Scalar1First 381 = (((46456367459661177385663507032 * 10 ^ 70 + 9677411948217055359910934198835263896982374753522929304838393786152214) * 10 ^ 70 + 9621785683329136907375330593803587920452502120665280470195038360934628) * 10 ^ 70 + 5835416995885089091753596915097165955914501007413185143630665010553129) * 10 ^ 70 + 7852850239165870069206435144768088031704432937323497361271642749257862

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_382 : Polynomial.coeff recurrence5Scalar1First 382 = -((((10140539734052824895639526278 * 10 ^ 70 + 9573388430821864000181207008319896867364579227057978751750655751043180) * 10 ^ 70 + 5968547918397521640478767860681569382470996569301144176757094369956952) * 10 ^ 70 + 1479309657222894499025148777492735213467354108108848190211270139608534) * 10 ^ 70 + 3714432211699640019514139590326169936245343957353223463119865715002160)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_383 : Polynomial.coeff recurrence5Scalar1First 383 = (((2103984295550559112497722192 * 10 ^ 70 + 3980613129107532897920681963635299059113384763653422074931044093764698) * 10 ^ 70 + 1082641733233455856681248701698715073656794898446914844107649833358437) * 10 ^ 70 + 4361670151155819716791810809182400540423118365756679995136681941154019) * 10 ^ 70 + 7223810196092735152025782954450486137265767222385663555400214835292737

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_384 : Polynomial.coeff recurrence5Scalar1First 384 = -((((412707429014008512637226297 * 10 ^ 70 + 3743411504274201331370202464282106431286170430178804980658265112863413) * 10 ^ 70 + 8158476236146511702079566494266603450043776939335400342532448572728020) * 10 ^ 70 + 3056186802345888464883294575061221236145918973198742395296575801968226) * 10 ^ 70 + 3037072407351192529797628093387136997932897711329572723703204900520498)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_385 : Polynomial.coeff recurrence5Scalar1First 385 = (((76111850485655795164184489 * 10 ^ 70 + 5007113086203222690251137237106556716478569603315948426271967982197979) * 10 ^ 70 + 9995994336336425018089232955424108797766250282138993190562167310297676) * 10 ^ 70 + 8517029661603707872300404614101110348663212486673306781333070409387691) * 10 ^ 70 + 2983561861874056764477216678701523685113233044990430368819700887659677

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_386 : Polynomial.coeff recurrence5Scalar1First 386 = -((((13147937527159838741207635 * 10 ^ 70 + 5478217377188696495940349377783703776814936987962670134616946609383269) * 10 ^ 70 + 1798933639727347011408461329956240375217529085710144395546768334961788) * 10 ^ 70 + 1594710752450195576136703449762721361679330021561857725534231193782379) * 10 ^ 70 + 1136370827197924515538962928447225067413143946986822123797956186212632)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_387 : Polynomial.coeff recurrence5Scalar1First 387 = (((2141554636748593715432241 * 10 ^ 70 + 8891798384520628910852311736136214002673747646758835007656533323392018) * 10 ^ 70 + 8091503334046813311790033922496688995951741565097197323986670072793515) * 10 ^ 70 + 5477958961628175284959620312439544865798002308710867598084592306954033) * 10 ^ 70 + 5814120416334732467937171292014750636582794450979806360945444249066170

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_388 : Polynomial.coeff recurrence5Scalar1First 388 = -((((344874864362827267389579 * 10 ^ 70 + 8788327969680680266833932463225331365185471412712296663053801358756096) * 10 ^ 70 + 2897965282570183419171285178614277799803119031078135189311193787661481) * 10 ^ 70 + 3749100822008834938910443780646591999873222396383005220497697356412670) * 10 ^ 70 + 2891759809183900154625695960178249303158583982813497849769304320950254)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_389 : Polynomial.coeff recurrence5Scalar1First 389 = (((63905558054075490974135 * 10 ^ 70 + 2264747889628864170310279332591876390558162814200459878018874052305385) * 10 ^ 70 + 4572240368290660138288058892671105698139128253107177124911779472477914) * 10 ^ 70 + 7305503238025546973673204161830715879097314082045581417568771442078909) * 10 ^ 70 + 2375504469648800234841385778605789538048443728723793493671969268654305

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_390 : Polynomial.coeff recurrence5Scalar1First 390 = -((((16600734539622296644540 * 10 ^ 70 + 2378197667765722724702637860218383406208911110792014993099897838461002) * 10 ^ 70 + 4300637449797308630966316993806798932846087183605471126986848135573255) * 10 ^ 70 + 1605696758761736879127106826508286377612497115542974740275296682650759) * 10 ^ 70 + 5394941028462660823809460909634490565019962789677598561861857622949379)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_391 : Polynomial.coeff recurrence5Scalar1First 391 = (((5693052440255664114652 * 10 ^ 70 + 7333911239546770378677813247263247722219794184833773485949503130574584) * 10 ^ 70 + 3527782832689358830728405087944582134682644664905522304854786176113034) * 10 ^ 70 + 632554419030261203176145982241871694103973378368314699651287697538548) * 10 ^ 70 + 6770323701929268372093943276032162618224191580474262913056826166800335

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_392 : Polynomial.coeff recurrence5Scalar1First 392 = -((((2064731189953531156540 * 10 ^ 70 + 2551366719652907395303807500367558745740208253617957084160460505035552) * 10 ^ 70 + 6366483513419647675202615325249987982292545853942320667973804706291310) * 10 ^ 70 + 5118685739846271646076893439961023515717567396662912231630183117242769) * 10 ^ 70 + 9479556767835141428991711693442188964387818853154522066919149148975347)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_393 : Polynomial.coeff recurrence5Scalar1First 393 = (((701273315599162058393 * 10 ^ 70 + 8014609457427436594572371413157895979700804638809282152962749119659039) * 10 ^ 70 + 2481893885522088950784579047209429598475011001835232286180481923199308) * 10 ^ 70 + 7657540122874114135630242718214720317444556287827770446519967549608070) * 10 ^ 70 + 5667052377540308543887430739268733007421860692329404751670744593669077

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_394 : Polynomial.coeff recurrence5Scalar1First 394 = -((((214340280363597508398 * 10 ^ 70 + 9413385569602451306154020741584315267976671763890979580563805372592899) * 10 ^ 70 + 2849887614677901314980386583870193234033110091646777628881394112881706) * 10 ^ 70 + 8846853345693129038566872526868659386192183068769352465843286913231017) * 10 ^ 70 + 2049025228868549646752792127602901729566655777809235769454531821275887)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_395 : Polynomial.coeff recurrence5Scalar1First 395 = (((57994778093371687979 * 10 ^ 70 + 7051138483861799789251784858430053866789701049520256741046795451304805) * 10 ^ 70 + 3222599939102524060438781850878800115874652331922469147184899129392518) * 10 ^ 70 + 842148030739907382572186868759297682500332816505721253596052700718495) * 10 ^ 70 + 2414306312132051107994790221419437228062473085754205053762194160965489

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_396 : Polynomial.coeff recurrence5Scalar1First 396 = -((((13640177785473823463 * 10 ^ 70 + 7891949618365825026847646116452877037072845098924017377149027745012193) * 10 ^ 70 + 4968279238098199190291674869394823126045951291438817809134524265907188) * 10 ^ 70 + 3698195741004417102098132376320555703663044835084194246135340995325681) * 10 ^ 70 + 824397229486270570795934271127218832222038880164921007296435466880548)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_397 : Polynomial.coeff recurrence5Scalar1First 397 = (((2686432163038793902 * 10 ^ 70 + 8482475547826184336075379752661058982389848757156881669730822851890114) * 10 ^ 70 + 4515773787114489370246608906389921408302945866715874998742424964042315) * 10 ^ 70 + 8041826666997505746464928356044836444458451878308314373025262608018684) * 10 ^ 70 + 8754145576121062132344834555776150782565400472856551503769428832634261

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_398 : Polynomial.coeff recurrence5Scalar1First 398 = -((((400209534863887034 * 10 ^ 70 + 1370552008472767033963763602209213457153448189223779961542647800692654) * 10 ^ 70 + 9138913094975769090316367766699468776973795569070578934940182214177417) * 10 ^ 70 + 2187253562017579484061153761948651546828379936653659181865274778491840) * 10 ^ 70 + 3897706391083313455802819571693853744639724917842099532559395125156807)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_399 : Polynomial.coeff recurrence5Scalar1First 399 = (((26601959173978393 * 10 ^ 70 + 1498122463743461759448581467887389169846179452899069215906513074899737) * 10 ^ 70 + 6484865232865399754628588751674034392300785155219096259364958217279423) * 10 ^ 70 + 4063142159520634748095158981054206434983815788136667535467497295645565) * 10 ^ 70 + 8486258668633615290686061877878656047892769769857089080318373286481673

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_400 : Polynomial.coeff recurrence5Scalar1First 400 = (((8439376669473111 * 10 ^ 70 + 491739929492375830757557989892805951308439399821658235182672376876649) * 10 ^ 70 + 9014163788320626689961969068132416927574879348228917336184028620519205) * 10 ^ 70 + 6155050477822889921684643705336596628830104331909926373852869470099200) * 10 ^ 70 + 3995872395127497774628451169970921647711110546815537877198341505259371

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_401 : Polynomial.coeff recurrence5Scalar1First 401 = -((((4235457816773579 * 10 ^ 70 + 4006549330263259545932052966264504943386711651341959736859566671888718) * 10 ^ 70 + 5729003567809745674183625586610590379140769731762996216929011422045506) * 10 ^ 70 + 8183657569944825660425130527657921962393282156906515802380553802656369) * 10 ^ 70 + 5957104235665929315255246608363969228190792211334809403302831683643409)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_402 : Polynomial.coeff recurrence5Scalar1First 402 = (((1129146083449234 * 10 ^ 70 + 2680476410888676047359923887076963512430798688886578607588367723385091) * 10 ^ 70 + 2835696954851687314979553645446354476660745897209393299573951682677156) * 10 ^ 70 + 3155701088896816700695826594468377526230905212121838584687649036804545) * 10 ^ 70 + 4547878807728119012053290489511468552055861500500032377411469530564596

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_403 : Polynomial.coeff recurrence5Scalar1First 403 = -((((211863163324265 * 10 ^ 70 + 2124114584817142382605282214827216997109404776355345143035438203352522) * 10 ^ 70 + 74776912234132434938023711894517332789937710600224192375089912830941) * 10 ^ 70 + 1417534488950185242888362799494188548114101859943641526667979389853909) * 10 ^ 70 + 1968493856822042987167971898148499841911385091232055104061661599123685)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_404 : Polynomial.coeff recurrence5Scalar1First 404 = (((25885788241129 * 10 ^ 70 + 6732685619337941002409695908934759344534702154201502032772732772944931) * 10 ^ 70 + 6346268780014402758670355647546739819279197662718847744341454800261056) * 10 ^ 70 + 5601315407683517610777764791616705607627130865243069507349433760859749) * 10 ^ 70 + 3055178611490298180690443568703876288204372315073298295797556571128748

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_405 : Polynomial.coeff recurrence5Scalar1First 405 = -((((383783390232 * 10 ^ 70 + 3122614605499324989065334656247225794336578778580717864270180415148059) * 10 ^ 70 + 829512282630200003392143438853387208504212105899432582189069816608409) * 10 ^ 70 + 3495753424640916190999357072224398807593620502366148146101769906242126) * 10 ^ 70 + 2160817388969872184275068337563730461115437627962060732713911033439158)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_406 : Polynomial.coeff recurrence5Scalar1First 406 = -((((805656728340 * 10 ^ 70 + 2642086327962740980640791264972250697308462201318405241593832081109732) * 10 ^ 70 + 9539242107222943897572391630405764940628830761927976976563318752386351) * 10 ^ 70 + 5202927472932384353410670473035918441385034348907979468231294244318065) * 10 ^ 70 + 4851268182355552683847190955014475240808168175876950562186135888963858)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_407 : Polynomial.coeff recurrence5Scalar1First 407 = (((258442414135 * 10 ^ 70 + 6497184290776273069450837078791953925987714257851743195458820800490389) * 10 ^ 70 + 7329957978745524798879521146156819446882569442551975750563109991074203) * 10 ^ 70 + 3827554400554044816009923485004442897024662448498404205273684138511341) * 10 ^ 70 + 5626477526370836180249537991869917305431794697715703027875995327788335

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_408 : Polynomial.coeff recurrence5Scalar1First 408 = -((((50887673803 * 10 ^ 70 + 3622053724105228211078190768033141587341862076893924061498529732752834) * 10 ^ 70 + 388188931466834350065086649419598102689213758570699048533974279851024) * 10 ^ 70 + 2115836859162507326215027054051085170454671441686158432211397919203137) * 10 ^ 70 + 5602917349248275046529216928935103128861435089267036769461672202321791)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_409 : Polynomial.coeff recurrence5Scalar1First 409 = (((6989534292 * 10 ^ 70 + 8616977994171224642476943419756333546455874228629268451232274295361147) * 10 ^ 70 + 4438886293930451154982901168604736447743753817049404788485403862570430) * 10 ^ 70 + 6616608204885307709894597792442657479885862889209009270013324090012658) * 10 ^ 70 + 2417019568501235078530074649826484380501509259825436844975708600878433

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_410 : Polynomial.coeff recurrence5Scalar1First 410 = -((((574323606 * 10 ^ 70 + 6732789564175756449295120300158528212471872733889246190563689593334706) * 10 ^ 70 + 9404361222964754704973734377323085949431691501999139279584250605152708) * 10 ^ 70 + 9735982481356966541160144105144659532182275270856136418564923984504735) * 10 ^ 70 + 6448613609013904425257630406645500265250485852134586129496736763875819)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_411 : Polynomial.coeff recurrence5Scalar1First 411 = -((((11527617 * 10 ^ 70 + 5037517080533797341267580766039125642733688181423542594513881380153877) * 10 ^ 70 + 2099965681351607469453323305483854354344561071534774627970946296399603) * 10 ^ 70 + 9669390995363935389189642960656977734565830723711786763737971226587518) * 10 ^ 70 + 4450877643792379179988443274123597083006091630551147422254457374196132)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_412 : Polynomial.coeff recurrence5Scalar1First 412 = (((13481705 * 10 ^ 70 + 5025072317530348304858215730392752274358014544787111031635545313993281) * 10 ^ 70 + 2779216264945734759300238308250397755241676859741208353087784516157920) * 10 ^ 70 + 9116273720206166775076420019619195230621884510746111887663979891886802) * 10 ^ 70 + 4568451008164041734988776360412023873230673362833945495723639762673704

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_413 : Polynomial.coeff recurrence5Scalar1First 413 = -((((2600901 * 10 ^ 70 + 8198618711368405124730181745813903986719827135037887624200974273469705) * 10 ^ 70 + 8227715484942109963701886345011990919723356168752604881823862690373502) * 10 ^ 70 + 494199392231625550905749982712214551313260864447818436286476749714171) * 10 ^ 70 + 7100475761684766477607430603193378495742575954013956191482931215963850)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_414 : Polynomial.coeff recurrence5Scalar1First 414 = (((297676 * 10 ^ 70 + 2731145769864593598284846161148119435234619951752584053738617024819533) * 10 ^ 70 + 5990420835824358283412393674480564402609256570069716924671084289163217) * 10 ^ 70 + 4159484132393380347797140462930015489176382608978525284274918876301735) * 10 ^ 70 + 9321377581609711792734833848725789764816788941818001897512912730114845

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_415 : Polynomial.coeff recurrence5Scalar1First 415 = -((((18362 * 10 ^ 70 + 3621537104287181086159722287828707870002206377604312755629271168688727) * 10 ^ 70 + 1789762678462868099439594646970580230421165756516797964627276299862801) * 10 ^ 70 + 2372731955350529440314418142736011318069751768338288690564942674534158) * 10 ^ 70 + 9265112177164098770876575039249407734077642051948224515842737631964518)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_416 : Polynomial.coeff recurrence5Scalar1First 416 = -((((463 * 10 ^ 70 + 5165870193893116261886297659305067381931858353936677548103450902730220) * 10 ^ 70 + 9647063986047253395207717530338240178656434280687375442094635400470260) * 10 ^ 70 + 4934653744669910401648926983195602011707630430505010836521012005170915) * 10 ^ 70 + 7085407193151916045444916231830362166147759485885577837827345334337758)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_417 : Polynomial.coeff recurrence5Scalar1First 417 = (((251 * 10 ^ 70 + 8435498801759532381501182041333280141449726807541069686016459021244721) * 10 ^ 70 + 3284291691778686887612117520028729408625344052012160566670707863151331) * 10 ^ 70 + 7491534984976039485568143506359555473353058890964037717973678522588816) * 10 ^ 70 + 3102191656321158362350236020695921958556879316118173632987451098613974

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_418 : Polynomial.coeff recurrence5Scalar1First 418 = -((((28 * 10 ^ 70 + 9700435561730367821557140295254344302434914791149148423061068578837828) * 10 ^ 70 + 3314154529215451518635577064178924886494867712513308766605097215416393) * 10 ^ 70 + 3362391686801869021003665428452350406386360632801957258221392154992539) * 10 ^ 70 + 8638152138084861441837721387623377962155791508675141613481262553424018)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_419 : Polynomial.coeff recurrence5Scalar1First 419 = (((1 * 10 ^ 70 + 4531131618277512279403761616038314464554143702095043550646661734784496) * 10 ^ 70 + 1430486930020590692696786961606408502718469576122658320644082785542945) * 10 ^ 70 + 5636429721560847912524141477239438930346996864176203837876542018886388) * 10 ^ 70 + 226356604578966457926774320022315064803064945808561335582723819887412

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_420 : Polynomial.coeff recurrence5Scalar1First 420 = ((472252831576884848271945347368232646153942235363596912807979563303500 * 10 ^ 70 + 5936201819645101999203864550178823696036056866871151327365272506653145) * 10 ^ 70 + 9180465406131121195821035059248892216497442650837198902680514707518698) * 10 ^ 70 + 312468958980947029309881022379647971266198148897473423570492409715142

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_421 : Polynomial.coeff recurrence5Scalar1First 421 = -(((135164287606560089931178762794512018876583280170840042868554325944744 * 10 ^ 70 + 550649388581702145152656735677363624177714678594124071498588195384398) * 10 ^ 70 + 4927030439289374255044726678275347959681434302284810473874989730368971) * 10 ^ 70 + 5210389178681491419343796427798876300318812184784431036267308073072834)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_422 : Polynomial.coeff recurrence5Scalar1First 422 = ((9025355694893894555141931760383769335922165740348068253716836777981 * 10 ^ 70 + 5227787760093144540301837764625243453038215857921786092475166199006923) * 10 ^ 70 + 5541471056985914770945755556067986139713145650923093813594334517711213) * 10 ^ 70 + 2172615846102820455079230426428512252321666256112402631985740560823858

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_423 : Polynomial.coeff recurrence5Scalar1First 423 = -(((54370975051346613025030603938306279422880678015116699362545972809 * 10 ^ 70 + 8635554465513352592842674789459913014671253962368175947367269365048513) * 10 ^ 70 + 7535667870153955493207844420749577853019645252553531910847556220363840) * 10 ^ 70 + 8586059958427060121846731128890380156067063996719417467565044385369611)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_424 : Polynomial.coeff recurrence5Scalar1First 424 = -(((31340692655894316509676096716773173769352600734589622240466957121 * 10 ^ 70 + 4835248210948394093032791462448693411609601182822256666296654765792720) * 10 ^ 70 + 3087536051080109402712111114416712783805032005345003722496956497800872) * 10 ^ 70 + 4374915215503208151303177431620667948029884251782455520886394480289667)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_425 : Polynomial.coeff recurrence5Scalar1First 425 = ((1837415783155364423362646627149448933681438275887097537056260320 * 10 ^ 70 + 8847900662827033966392601971796759682723965840024100773009772936649752) * 10 ^ 70 + 896605917377058207979434156033408543130246032527795816821244365353895) * 10 ^ 70 + 1790900758593541138896733610977722807027835338264576364780086084654589

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_426 : Polynomial.coeff recurrence5Scalar1First 426 = ((2545870972257130057779321872311671593532271869694210379388758 * 10 ^ 70 + 9302995546215230679952076740689069974296365276611080257455613518442251) * 10 ^ 70 + 8047673236181393477439492741800664973129998258684298834705787432155058) * 10 ^ 70 + 76604128466311961899774670421487030106434943993702350005004866466777

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_427 : Polynomial.coeff recurrence5Scalar1First 427 = -(((3748676463093299984293544593357620305556234770858980607524199 * 10 ^ 70 + 7448307005142527264707638644708240629861206338804450192620449038058168) * 10 ^ 70 + 2373503090591866608519193208565121455522228692119044326987404100848799) * 10 ^ 70 + 6339549548512201442951941564480118224606817049800651554902478575159365)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_428 : Polynomial.coeff recurrence5Scalar1First 428 = ((69901344031728961291306400300172674148649703795647778581968 * 10 ^ 70 + 6222679278006464795042254851320122506736276493037313349281459782628661) * 10 ^ 70 + 7775595253554418444445356909193311098537790660231300265085919370448114) * 10 ^ 70 + 9888576025877611702072394340440669779692604593775479480341344166384524

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_429 : Polynomial.coeff recurrence5Scalar1First 429 = ((3828344087211655483280413233089137802921353174871741009657 * 10 ^ 70 + 9493537223314005047728772258122300114022008585205862329361483928604587) * 10 ^ 70 + 8281191973352746545722195561091794513181144073032982148651557296719118) * 10 ^ 70 + 8490746316904425878346613829091574657591414897207778540426008149608447

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_430 : Polynomial.coeff recurrence5Scalar1First 430 = -(((66672167825644118377171313976095593764232257498600387576 * 10 ^ 70 + 4119675593025863714802943590859894622762241443030073071041884764712410) * 10 ^ 70 + 651446404216881840841372700148667390839345717364967640183402341288991) * 10 ^ 70 + 7050774886245670223294732662321156715644585378988621263029915561225584)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_431 : Polynomial.coeff recurrence5Scalar1First 431 = -(((2902403768011569363751866786042639791571594428778676791 * 10 ^ 70 + 9706042311957238732938937887815122292116052058752122265912481177787167) * 10 ^ 70 + 3735674159450727773993671368492894157526392407249772103999067789072253) * 10 ^ 70 + 834571242942686373028773364184612213591911975761907268770528567832037)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_432 : Polynomial.coeff recurrence5Scalar1First 432 = -(((11184104622148940575213221649949505879285759963151864 * 10 ^ 70 + 9845691446025936378017892919504519978697877876099217327561250919338057) * 10 ^ 70 + 244839412163259346139620053767912352013632064567124844448561271872968) * 10 ^ 70 + 9324587892577026912308804949163909621434474404033301511305024847488882)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_433 : Polynomial.coeff recurrence5Scalar1First 433 = ((481156428427813080392714193554808349268069617898455 * 10 ^ 70 + 5298852025203235511095846512103604670894756570011719282703660805203497) * 10 ^ 70 + 6838425205386467176840391803728811246494168843973354922452071829438244) * 10 ^ 70 + 5402990348361373792764864814797763454239220935005419475959648055596356

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_434 : Polynomial.coeff recurrence5Scalar1First 434 = ((6634498151625330617922825202978451234879318820816 * 10 ^ 70 + 5222647018824278362779244797864304664128821235627116923493162693950931) * 10 ^ 70 + 2104778463700239715179336310453649956678976245260328311345097064022774) * 10 ^ 70 + 206771404018604352079443918614533280397095407201740633114489660721724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_435 : Polynomial.coeff recurrence5Scalar1First 435 = ((24317181000384976704531927824315010547045239387 * 10 ^ 70 + 2868506332312160529878161860525196225175872459571075608785612467001131) * 10 ^ 70 + 9806313328085505129388869157422958752133604881775534347914853899980888) * 10 ^ 70 + 738198200907548868498638741292639544636692543717761660227869856618028

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_436 : Polynomial.coeff recurrence5Scalar1First 436 = -(((118564850472949426673334282781176998211592627 * 10 ^ 70 + 1535775598378172879561533684468263235376226616057359641266514790880607) * 10 ^ 70 + 5926771891155790162841394876463927703759763745281098726496022919454374) * 10 ^ 70 + 4026809433592531152626620972262056036813779852143519911062933330322040)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_437 : Polynomial.coeff recurrence5Scalar1First 437 = -(((1275572767306142388277044445321975310618523 * 10 ^ 70 + 3394262775821375240630122560591641822025246289652594208992266271948691) * 10 ^ 70 + 4414923441361611481028235228613334711178259917587035031400624334211267) * 10 ^ 70 + 3688429488744437958264252683536162450295940072788333945322966760814972)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_438 : Polynomial.coeff recurrence5Scalar1First 438 = -(((2781852380422489185650887773432617668779 * 10 ^ 70 + 2587471832046773063353230121839881871324667674810542905333094570758284) * 10 ^ 70 + 2496144601660350109810790919051160508422308057739805564529319548496950) * 10 ^ 70 + 9101467753704310767979178893627758898340165158359478598537147459003758)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_439 : Polynomial.coeff recurrence5Scalar1First 439 = ((8459886969837855492296257000231380954 * 10 ^ 70 + 9626630001291978409644561960771707950635368616485166901837155706825160) * 10 ^ 70 + 8035902963445965081619342204337406784085633577385364576459541801221225) * 10 ^ 70 + 8640255145684228115607632115411236709650950604765358554248994221161832

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_440 : Polynomial.coeff recurrence5Scalar1First 440 = ((45110536853480661937966533396409406 * 10 ^ 70 + 9779248826872408825381408449130544953757626639637962390164729737511465) * 10 ^ 70 + 9607093519602974952569311000898388316076989702569843763932153544617047) * 10 ^ 70 + 7090999884854667484046918352993481551240316212325930584083074378744555

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_441 : Polynomial.coeff recurrence5Scalar1First 441 = ((12698740469275680251829998198911 * 10 ^ 70 + 1377026600390237807751090299320157731524222963648375442598297821161420) * 10 ^ 70 + 56801290109008395914584296371817072924608819645038369379834913617192) * 10 ^ 70 + 1295086466489226992285287283205138163265031307102394232119266269860988

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_442 : Polynomial.coeff recurrence5Scalar1First 442 = -(((234808972905709987052154517924 * 10 ^ 70 + 9916900054749400996446171011456974853510543229950547470023655927884581) * 10 ^ 70 + 2899546873327454093551119662487238845394611644412921056634628107125559) * 10 ^ 70 + 7151129209187698845633482789840287461373077317002437247956105562433144)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_443 : Polynomial.coeff recurrence5Scalar1First 443 = -(((274908282810085993895046898 * 10 ^ 70 + 7160372889271065837606954485122700189392803621196636358133380176895496) * 10 ^ 70 + 3248212729627632517383971810232507663396535619630289530852050751729942) * 10 ^ 70 + 9817408237659604329135031952069802163948623722888910809107453360707172)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_444 : Polynomial.coeff recurrence5Scalar1First 444 = ((538948504151812540014841 * 10 ^ 70 + 869262516178269429142790766333739218184945830267120056118976365233653) * 10 ^ 70 + 6756566171351625195861306206861950269117163338942672604427147729416581) * 10 ^ 70 + 8865840536490231414630873515204944626997781000969928890539401939681171

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_445 : Polynomial.coeff recurrence5Scalar1First 445 = ((891168916449430228552 * 10 ^ 70 + 889042940933258179187126430217526189281003640787326237299949520303274) * 10 ^ 70 + 6805780340251963115579761273565258209431874747605033005338456920056553) * 10 ^ 70 + 6973072790347118737726881171881099804024590589904662611971328198343299

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_446 : Polynomial.coeff recurrence5Scalar1First 446 = -(((487961651115542800 * 10 ^ 70 + 9360042863018008773333045389649907225512196861356098099612649149570253) * 10 ^ 70 + 6699332857313310427602594447330907066800445345484559207617313946404297) * 10 ^ 70 + 8858486597885769144325088070480698665507807809412414845041914953910066)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_447 : Polynomial.coeff recurrence5Scalar1First 447 = -(((991384488399288 * 10 ^ 70 + 5766327204768841494325860169590342995586900865738386154878357562950986) * 10 ^ 70 + 8279233723418518538956869829011873138310898451638527194138625683225459) * 10 ^ 70 + 640918784177214522157400918229212259932999798395677491815173000840217)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_448 : Polynomial.coeff recurrence5Scalar1First 448 = -(((13861998210 * 10 ^ 70 + 9345373730972955608247097008212992633667298491227106688713928786576472) * 10 ^ 70 + 9952559167340613681138149309785029913798872980105180018430769128959174) * 10 ^ 70 + 6679842211672856184878482617060626141034277268242082518066975100341018)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_449 : Polynomial.coeff recurrence5Scalar1First 449 = ((254713654 * 10 ^ 70 + 8141042682882626106326237507448794834677019851640814511811013951419508) * 10 ^ 70 + 3174429743411661834352276461320438970509336932311370258547513121510624) * 10 ^ 70 + 9291350421482618636660723108148813691998462321077743797950316453870956

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_450 : Polynomial.coeff recurrence5Scalar1First 450 = ((32081 * 10 ^ 70 + 506056010038488238439314882152692781176428938448104841108458629867778) * 10 ^ 70 + 156871017792527641990972290238358904832652599917403352146852661943683) * 10 ^ 70 + 9672114854968205175532839163286765059895043503517528326096523345312304

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_451 : Polynomial.coeff recurrence5Scalar1First 451 = -(((5 * 10 ^ 70 + 7916173446473636983047293028778772049046597567700313609820951131294463) * 10 ^ 70 + 2488484793665686305549794401998332483827980954327089429897614871934623) * 10 ^ 70 + 4391396337554450200326326477827905778120860125661876384943534045492023)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_452 : Polynomial.coeff recurrence5Scalar1First 452 = -((7680969707241534898047575861496462294605952005163567454821021937012 * 10 ^ 70 + 2542756664393950883906517415342889987119804318947529996515236398743261) * 10 ^ 70 + 8368530476008548146816614008080138014337951590845201467122235803712123)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_453 : Polynomial.coeff recurrence5Scalar1First 453 = (49041009014711000830654059142411779696660593113376674376948484 * 10 ^ 70 + 8142708842783927186107055837355079553605496050189328596533420382335174) * 10 ^ 70 + 6524124814046699425090239054645954244395383206826830836305470831610137

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_454 : Polynomial.coeff recurrence5Scalar1First 454 = (8521163611044084538566697909216171963312172172826978896097 * 10 ^ 70 + 7760054896912431545246368689431648548021783905872088248013503680384624) * 10 ^ 70 + 6233385853031354996440954010254417955242379003722111039973282313014896

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_455 : Polynomial.coeff recurrence5Scalar1First 455 = (70155605612738480266150420383016805581208057921919891 * 10 ^ 70 + 357802345987321071822788399856784439332352573553697616027305221759254) * 10 ^ 70 + 9830258636966256503925865872406656241660378596842174757542870430747632

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_456 : Polynomial.coeff recurrence5Scalar1First 456 = -((516495102308805854918776742754027602613464000946 * 10 ^ 70 + 4437862169051797394566207737467440243360998990683049042226491881340341) * 10 ^ 70 + 4457244308208553276611470094477898041990095028190653105000703352233165)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_457 : Polynomial.coeff recurrence5Scalar1First 457 = -((1485528387702119814413912852601714893743022 * 10 ^ 70 + 171762729614574812801422078432213764142768015954606263686317461628551) * 10 ^ 70 + 7742660034103325336957689538617382217528645902366362877206896184525274)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_458 : Polynomial.coeff recurrence5Scalar1First 458 = -((145817521960573837914808371193785448 * 10 ^ 70 + 1989324207614317648925203661893345137618131517772450748310365909900413) * 10 ^ 70 + 6485447253028792009127484367617767399299973344528393675304169969905680)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_459 : Polynomial.coeff recurrence5Scalar1First 459 = (792522897257759744008041117671 * 10 ^ 70 + 5464885160428330702723568906201884446326270805107956373901309604580235) * 10 ^ 70 + 2928657560654332097613666357794459824591507958534342299316605543729857

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_460 : Polynomial.coeff recurrence5Scalar1First 460 = (55701155651468000559349 * 10 ^ 70 + 4435579482258595462453373917391986694010257084618813039192344586967006) * 10 ^ 70 + 9862428426367921313542118511690942175490887429695501533078863121298002

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_461 : Polynomial.coeff recurrence5Scalar1First 461 = -((702918900741405 * 10 ^ 70 + 3584614625329394388215330164757408293324769643742539620672173502653737) * 10 ^ 70 + 4921900967990138907150093723561945430706805088129531600710284158757211)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_462 : Polynomial.coeff recurrence5Scalar1First 462 = -((41280594 * 10 ^ 70 + 2200647120801031177856229056947758002358174952954919084169730100543802) * 10 ^ 70 + 1006954075536957280704837621614921683127870124327041246077816518827130)