Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1ExceptionalPart2

Recurrence 5 lookup certificate: Scalar1Exceptional 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.recurrence5Scalar1Exceptional_coeff_394 :

Polynomial.coeff recurrence5Scalar1Exceptional 394 = (((196849940859899234481 * 10 ^ 70 + 5396784857078528379037819372671357105954178604582930804097319565890591) * 10 ^ 70 + 6192540081841395974253971149074904720247702572201108782556784388760621) * 10 ^ 70 + 7065951034279327664576157119873437297324553169320287521409474997586743) * 10 ^ 70 + 304293510373092569432819774393369397664765811771435813330617308497791

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_395 :

Polynomial.coeff recurrence5Scalar1Exceptional 395 = -((((54312775460465151058 * 10 ^ 70 + 8253453342632217094286554943010561263557005344229677511753864027498431) * 10 ^ 70 + 3408216727437034930543334560453588501256540315701187855316774137393011) * 10 ^ 70 + 2851580784204089596690515073645154758378883983214212394692188117731065) * 10 ^ 70 + 1257598952689704480629310989476647722515115552169656650525494522456091)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_396 :

Polynomial.coeff recurrence5Scalar1Exceptional 396 = (((12935324724062564639 * 10 ^ 70 + 6710476439110080449369438408938999249371621801360803712636650916188851) * 10 ^ 70 + 9450770647037552352564493457208087920268377719270159663794190712076322) * 10 ^ 70 + 1116883179739226496327638892787230903348493387112140762746300611021544) * 10 ^ 70 + 9230700564529706605200794496830457768193770708053026154122151755079470

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_397 :

Polynomial.coeff recurrence5Scalar1Exceptional 397 = -((((2751586325529559556 * 10 ^ 70 + 2817033397017171955218751321467246762306321621937006851479445649722371) * 10 ^ 70 + 8133948478810136586015028026013683746398048244544895476358915806254801) * 10 ^ 70 + 6459245491094514282527460922998925794419387469247404034566060002787317) * 10 ^ 70 + 5656925496218895804715062425138145845758584028885994871174882376069053)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_398 :

Polynomial.coeff recurrence5Scalar1Exceptional 398 = (((529381407114707807 * 10 ^ 70 + 5181768141457726008680597976719299592640984133214211160614774425697873) * 10 ^ 70 + 8216124190886005933195289538705570442938499900622411471288832121686102) * 10 ^ 70 + 3644533546068901489790803126665061704632110728359146692317389328911722) * 10 ^ 70 + 784510669491816562413926400353860985803801104053587597151327030805474

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_399 :

Polynomial.coeff recurrence5Scalar1Exceptional 399 = -((((92201989006430635 * 10 ^ 70 + 2586378278591919367270016653449473224507401776713070471172046775943810) * 10 ^ 70 + 8078143397203883019610346198872747498126914762145403828700032468115489) * 10 ^ 70 + 4110890143965801737476506681049248653363280851617824786000847953682751) * 10 ^ 70 + 2837483875368192242767608093792473703071415675857338470210222103587782)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_400 :

Polynomial.coeff recurrence5Scalar1Exceptional 400 = (((14392106027209485 * 10 ^ 70 + 2669685346972245927934180006814249619258064244450951670013443038043154) * 10 ^ 70 + 1025883835544297751943292261778473021709534116980722786390553415414051) * 10 ^ 70 + 7681086722190444629853237963843643163497961244376637452911224951552352) * 10 ^ 70 + 7760372987966565525440616051512207184488431414858328266345780917791383

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_401 :

Polynomial.coeff recurrence5Scalar1Exceptional 401 = -((((1956232004480918 * 10 ^ 70 + 9090502724728832819723067383032473736794767734696590900016641957928221) * 10 ^ 70 + 6047369417942110541347901359196385234408961311753017560135873826836449) * 10 ^ 70 + 5351842577256571331362155593549490415448312469104947302184440834116550) * 10 ^ 70 + 6067459001477081979760943611701761021907841811470319760625067965537001)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_402 :

Polynomial.coeff recurrence5Scalar1Exceptional 402 = (((213584433886873 * 10 ^ 70 + 793926612334188486476854086283659553788889309262426867162000169361837) * 10 ^ 70 + 6867049831340212301350973413936030462848175364317174853691084022940474) * 10 ^ 70 + 5920346376744421835877198756781947991387407410613917072391517526409647) * 10 ^ 70 + 4206752801967019050533451060377032642661388556704637785631893710783051

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_403 :

Polynomial.coeff recurrence5Scalar1Exceptional 403 = -((((13022802360720 * 10 ^ 70 + 3726592804540685913260377540801355266643093392610302842380510506649819) * 10 ^ 70 + 6211303557226461654095758004639475304702454535871906618174053145135719) * 10 ^ 70 + 6568071258674194057178209077994873257019996578382706097139406322444434) * 10 ^ 70 + 2586549854464516458621151441539098782944615841879808955477903078545161)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_404 :

Polynomial.coeff recurrence5Scalar1Exceptional 404 = -((((1675900249364 * 10 ^ 70 + 7380941203543950349894243634322629730016883602441887294581515628569336) * 10 ^ 70 + 178829827671606380620284612026550658429773884176284491605450879159586) * 10 ^ 70 + 7025807022546517242048446110968159967013263060716596152987881009021415) * 10 ^ 70 + 6512875310242291833404917987526082732495371483512795166417990309048969)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_405 :

Polynomial.coeff recurrence5Scalar1Exceptional 405 = (((843412169237 * 10 ^ 70 + 6098717662776625248727637061652186981610318403703084793436240075562295) * 10 ^ 70 + 6254685989380021403290224995329461245311772929439120436185953615433878) * 10 ^ 70 + 6715320987782134356757164333224994063517466467246941341692580451731822) * 10 ^ 70 + 982371492646644824780254664164993869473328204591052427425101036735669

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_406 :

Polynomial.coeff recurrence5Scalar1Exceptional 406 = -((((210118042494 * 10 ^ 70 + 4361353518412167260933283652967517870199869378408630133845377878420299) * 10 ^ 70 + 7085317849532369071962470325775093935142593449354862427879726800898082) * 10 ^ 70 + 6982672128234832449118122960952048882273224423063291327451326784305927) * 10 ^ 70 + 8269988486373199879298583078927921978562079150981537720590382726409365)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_407 :

Polynomial.coeff recurrence5Scalar1Exceptional 407 = (((41528403746 * 10 ^ 70 + 595652948646438313907506046966354553881203989316901537641356138416541) * 10 ^ 70 + 2696623575206595063455038088126680788421718473322930401522507917053716) * 10 ^ 70 + 2053558109323571932136108892855423777161265893376067481124761050555454) * 10 ^ 70 + 3666398420931876102648248191324630272350463362789935081199677201561029

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_408 :

Polynomial.coeff recurrence5Scalar1Exceptional 408 = -((((7160322139 * 10 ^ 70 + 9606060750208495547981106580307361733373738559590867621605237466200276) * 10 ^ 70 + 4876204009228373012440732785607435310940530872192223351903556429810412) * 10 ^ 70 + 1616594099442911989566583090411066202113459212370573736852672422803566) * 10 ^ 70 + 9920029367278957465623610464890236736078058587331980545057875643069661)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_409 :

Polynomial.coeff recurrence5Scalar1Exceptional 409 = (((1115780790 * 10 ^ 70 + 7312234551655592750934794751505288731796961344854432295875185727593381) * 10 ^ 70 + 1765501807636993537044481490984056212690719360930241060593366351807604) * 10 ^ 70 + 1830612756220414044687919062855064891109173395670779221403592799092000) * 10 ^ 70 + 8233327372193213266942303489155516127010613659748037898957664927302477

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_410 :

Polynomial.coeff recurrence5Scalar1Exceptional 410 = -((((159730183 * 10 ^ 70 + 6734403242366916262355860043321939880579073012094815654082755895265203) * 10 ^ 70 + 1578654925031935076714115442182638080295247579948651205711277555005503) * 10 ^ 70 + 2479016162185379744492331328521115480484866863432111858120414062743011) * 10 ^ 70 + 3149858304333041246349337945751559855713166754308616664132645962129072)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_411 :

Polynomial.coeff recurrence5Scalar1Exceptional 411 = (((21178575 * 10 ^ 70 + 619656954462669613367157650209908883848180295119176479689023280320127) * 10 ^ 70 + 2066354191047756068745136336737409245531943036179514288681342175527596) * 10 ^ 70 + 2106439942984139673950219805171440574272678905818814450868899471145481) * 10 ^ 70 + 8116693291592125005829627797652975044438279132200586752596232936580569

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_412 :

Polynomial.coeff recurrence5Scalar1Exceptional 412 = -((((2610890 * 10 ^ 70 + 9075213916834241759759427829665884229841078933515230201111985028755862) * 10 ^ 70 + 5675824007277612626115890826771217269341049767072380060859398475584093) * 10 ^ 70 + 4277431922434390619811023306873379424609814442111066465162149596400668) * 10 ^ 70 + 205500257092936076973704716326893268573799684951829053518589409470285)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_413 :

Polynomial.coeff recurrence5Scalar1Exceptional 413 = (((299664 * 10 ^ 70 + 4863860173842658593981883907452577657361117930398557924392404849071535) * 10 ^ 70 + 895348784983101683264217766653136460331764297811823165436021101379225) * 10 ^ 70 + 3677390021123984963739032254806258017477879803921472755710960961700075) * 10 ^ 70 + 1447081721855352854685753680333162763046505138767468704980579660942909

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_414 :

Polynomial.coeff recurrence5Scalar1Exceptional 414 = -((((32009 * 10 ^ 70 + 5735034463910792703862345755373669648002980375507168070708528408062325) * 10 ^ 70 + 1978936261776089433837400140065257211437962361188911360694432180933418) * 10 ^ 70 + 4693177281539952134900405013036470233673210969979206263383277711394550) * 10 ^ 70 + 8541089403310430792648592153637587977877414938726494982015632247514778)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_415 :

Polynomial.coeff recurrence5Scalar1Exceptional 415 = (((3177 * 10 ^ 70 + 2273564942621213390461414511930758184500424023489739803812761584324903) * 10 ^ 70 + 6530610339132098051254576447340083579406853253946984378880349404389005) * 10 ^ 70 + 3013573793209297951166859769855070614465232441763477763183832129824847) * 10 ^ 70 + 3999523878186311917719338382142996984798082995981751145261258019735318

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_416 :

Polynomial.coeff recurrence5Scalar1Exceptional 416 = -((((292 * 10 ^ 70 + 3289373958751518024067923037699088740220319719171324011726050837793753) * 10 ^ 70 + 6722596270164492906225419915089401391538429145782826625216855819022602) * 10 ^ 70 + 8831147149785628740323653708999862130793880068255811346057544505197257) * 10 ^ 70 + 6868101273411172887718948670320994903822943146747103783238195864855662)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_417 :

Polynomial.coeff recurrence5Scalar1Exceptional 417 = (((24 * 10 ^ 70 + 8518102622551082118087327740885929956043163996119211093454847464491153) * 10 ^ 70 + 5976023699622781649355786258002790044510052044958309144016975090042256) * 10 ^ 70 + 2739006517648229058645403710739202730549767026869315785341785006276123) * 10 ^ 70 + 9755082188700075133491459332992603168295905080013134740632761038436246

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_418 :

Polynomial.coeff recurrence5Scalar1Exceptional 418 = -((((1 * 10 ^ 70 + 9445774123002058657232068122577932172696124769954601540198005802580376) * 10 ^ 70 + 8460987723431310971254452192886709034410589773325211416842714862618735) * 10 ^ 70 + 5136949692011743895737673562833421611893529641477384101759911174995673) * 10 ^ 70 + 5488508544910325295442557728108851820134153747650797265283661568331915)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_419 :

Polynomial.coeff recurrence5Scalar1Exceptional 419 = ((1394146035000477358413744045320420110712737872210986167339967225110179 * 10 ^ 70 + 3510580045912399034216660299388824943559421004159228635329546024531269) * 10 ^ 70 + 2283919425179846881075359261236196292571774654157720896813309635607679) * 10 ^ 70 + 6148956367712141436171239579044316081404849334481535978705459759614478

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_420 :

Polynomial.coeff recurrence5Scalar1Exceptional 420 = -(((91104328510488706909566949779068242199830251311255926314863390846618 * 10 ^ 70 + 9673736489159625478151491119902410449349876962150522346711866849909566) * 10 ^ 70 + 9341554184565404318212648971981143133583916869137828593852717179841466) * 10 ^ 70 + 8629820178087305064370907162106343375438017407086571990648157592396538)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_421 :

Polynomial.coeff recurrence5Scalar1Exceptional 421 = ((5393878758625423059838039545063725154394096549195733326322394123102 * 10 ^ 70 + 2535543960397246009467380161644676075589076840973367205852449779172129) * 10 ^ 70 + 8583813768629795948602215574560565606727603667537327835904287593932265) * 10 ^ 70 + 7252667404195029315387274840525195642517014723036525364364468732180582

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_422 :

Polynomial.coeff recurrence5Scalar1Exceptional 422 = -(((287312955677864788267426852092231151433155817410071916557699244958 * 10 ^ 70 + 522701351597631145815593027176542712913252961920917080863122195107645) * 10 ^ 70 + 2619656761333614770152052694645589831011271657161934477398690529382973) * 10 ^ 70 + 2097493196470242979408544737785242642306249045807708102219806278212432)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_423 :

Polynomial.coeff recurrence5Scalar1Exceptional 423 = ((13656003650530221801954498469269370754434274790092179423257478450 * 10 ^ 70 + 3830042547309504473019485101591992320726744730467703475789874260318493) * 10 ^ 70 + 8188314361522008889755360921865773240930316669526602038045749570554955) * 10 ^ 70 + 8554671923916897297823030138966821481355125242920914709401906603274053

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_424 :

Polynomial.coeff recurrence5Scalar1Exceptional 424 = -(((573479362738585737256572374165514465066045985720254701105929106 * 10 ^ 70 + 709594384284156564117413575515349327140489873340766897778407182685471) * 10 ^ 70 + 3038193922739130581699627495767758109985364010719638158767764027429608) * 10 ^ 70 + 2840317266256025053469796072235868224093429799405575186639825667028183)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_425 :

Polynomial.coeff recurrence5Scalar1Exceptional 425 = ((21021747723805733264679558528061405500435179440953647241015726 * 10 ^ 70 + 5729142252898181367823257439109245990939686549049956780262291422653128) * 10 ^ 70 + 1392048521773113164656956307643111334461422290245308364637965724375691) * 10 ^ 70 + 6622372735337957111227241131806552046345225304695938771280765180842726

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_426 :

Polynomial.coeff recurrence5Scalar1Exceptional 426 = -(((662347708251299237256503986327134044739873936575624537570109 * 10 ^ 70 + 2481092259310237007851097769393329793470541530009037310248865254358490) * 10 ^ 70 + 4431388633503676711076603624989320968667124373508299373678639281134050) * 10 ^ 70 + 7513348658529511604922745094332349223608981619264944111640692082281071)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_427 :

Polynomial.coeff recurrence5Scalar1Exceptional 427 = ((17574025693865214885648740446252893531562611901444933378137 * 10 ^ 70 + 1821190106238326177672350195358948779206633691870243873747551877170865) * 10 ^ 70 + 4702667185237705182863191364510569454162417063188894826094208194339105) * 10 ^ 70 + 1999861744054816744283418450688232249482079343951238104907721085591663

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_428 :

Polynomial.coeff recurrence5Scalar1Exceptional 428 = -(((381371683474668249390112901780661450771939657109608665082 * 10 ^ 70 + 1286031567438219405245284442796213208244957069766007715460180522325928) * 10 ^ 70 + 7114337695752009477530193520697483505515306541919835801884731868613283) * 10 ^ 70 + 8155853816393335835643951233857674994665713605783906745510525769938331)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_429 :

Polynomial.coeff recurrence5Scalar1Exceptional 429 = ((6461719135853121415428134815734229875206493542629299134 * 10 ^ 70 + 6964450176470379052745529314477795209695124782198416277961067845295988) * 10 ^ 70 + 5227279864990158994169510603449223216997804363310703867112095021676359) * 10 ^ 70 + 5046406377588641413640562454495861717590267418287273601674692842001136

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_430 :

Polynomial.coeff recurrence5Scalar1Exceptional 430 = -(((78112535311321023048838783488733539007312641134326990 * 10 ^ 70 + 9939781179112801687067218862472541021590256886591664468247413057883147) * 10 ^ 70 + 8853359755894543304051620414992377700048354225224654506594839036372303) * 10 ^ 70 + 505037770012689324443867717998645685557074956003748860308784589448650)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_431 :

Polynomial.coeff recurrence5Scalar1Exceptional 431 = ((513449794554358213495947506460003667769235500414784 * 10 ^ 70 + 6806987547625869006481238235041293150549360864846917516112269628005187) * 10 ^ 70 + 7759893861263098160465168607296350663529220614740151317887261661062334) * 10 ^ 70 + 8422439862037260697877102685018978985187284102061534127160721316838316

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_432 :

Polynomial.coeff recurrence5Scalar1Exceptional 432 = ((1542117076717721994392715392394049504223227419466 * 10 ^ 70 + 4818036585744465450262567184671609696003191233229337893421080391338181) * 10 ^ 70 + 5810737889529726821593062460841041132032625175623013498660973773205448) * 10 ^ 70 + 2980043480400424493174730081916888672459785125631158718934531463982433

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_433 :

Polynomial.coeff recurrence5Scalar1Exceptional 433 = -(((67265594469457044146613077453358690876452893900 * 10 ^ 70 + 9465211750509646901641255089771113454723717337153796982253126607584079) * 10 ^ 70 + 4316277360840255885127339224714218706989662767026791989938222895925751) * 10 ^ 70 + 4582509301672197165247534277521936855929721283769897845743609905298217)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_434 :

Polynomial.coeff recurrence5Scalar1Exceptional 434 = ((483668688545305238095768682146713851591224748 * 10 ^ 70 + 6829413569220642128028289416547446748190805761633774966145218542102060) * 10 ^ 70 + 1524474498929428419447737040566773748396265760815077462793676632209625) * 10 ^ 70 + 4434036750459086006423477393218136605672913973536793860156306604421905

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_435 :

Polynomial.coeff recurrence5Scalar1Exceptional 435 = ((1006102269967904529349652574459520224861226 * 10 ^ 70 + 8795287446098781183756278063841186554242420826264704401287917389253605) * 10 ^ 70 + 9152218080153865322388009119578093625039296631202970365588744537799384) * 10 ^ 70 + 5922788712237074429917404706724328666080384271079796124195420667906998

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_436 :

Polynomial.coeff recurrence5Scalar1Exceptional 436 = -(((29972517692632766310539953621733934257597 * 10 ^ 70 + 4381715457082271403009637418712108832796731542872010260957315544106293) * 10 ^ 70 + 9812811944678125148328613541230505414897389928899819778638052013750826) * 10 ^ 70 + 2607065500886655315765507675591020791937308755499617857676989361354154)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_437 :

Polynomial.coeff recurrence5Scalar1Exceptional 437 = ((75761327042558431030553372990366806164 * 10 ^ 70 + 7291993018219603854681797329300730523673117837707623533317095212685827) * 10 ^ 70 + 9436760290558403580135418409475681276103887136452837108709525094131288) * 10 ^ 70 + 7839267603482363922308916004995861406735983807002987071493832293825826

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_438 :

Polynomial.coeff recurrence5Scalar1Exceptional 438 = ((690163300314249535888304674683480256 * 10 ^ 70 + 8767609439837398253386822566164864368986957288051124548267594047014472) * 10 ^ 70 + 6870101016079679470858209776649557588993807943306609411261995021228828) * 10 ^ 70 + 4307350192433084552728133794787409603759692833571406513333005131465253

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_439 :

Polynomial.coeff recurrence5Scalar1Exceptional 439 = -(((3415546807382299664345730895756789 * 10 ^ 70 + 9642503008581464690869416170696490748465481538975545561864609939376054) * 10 ^ 70 + 7901006563335040638298927950510754412310522094052853359768063171450426) * 10 ^ 70 + 7027513043072679691051464256342760862533176342931930645338413483379403)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_440 :

Polynomial.coeff recurrence5Scalar1Exceptional 440 = -(((5269576941943806669906997184918 * 10 ^ 70 + 2271464907627377440620676224606650959735019517662361435477255525602804) * 10 ^ 70 + 5137482594603408079175128365090367038223506985348427655658443404830679) * 10 ^ 70 + 3791615506792111743775033239585856934710539046212688718240433322633428)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_441 :

Polynomial.coeff recurrence5Scalar1Exceptional 441 = ((56412040484094917347316893840 * 10 ^ 70 + 3851173870955892775470020864514336362300068932900365268660350198742686) * 10 ^ 70 + 5259957531861035352253556014317074301321090996411042983730523447413393) * 10 ^ 70 + 5959362657713408603372649217607922989289833781518002550594532143196326

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_442 :

Polynomial.coeff recurrence5Scalar1Exceptional 442 = -(((46415486788323260119780171 * 10 ^ 70 + 3338414625958856022391742737594712607869769478815503887376892450093170) * 10 ^ 70 + 9315948911451800214590948904935632676905531759110311129810352930772084) * 10 ^ 70 + 7974022101303398149160236751641329480238010270284184916644261642466176)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_443 :

Polynomial.coeff recurrence5Scalar1Exceptional 443 = -(((375893133250859656838449 * 10 ^ 70 + 2362562155997276685365364239891074780668884478556873591267564425640959) * 10 ^ 70 + 9929928910288964044812343175460446208524415005642159620642948697929755) * 10 ^ 70 + 9441951006763392785097441384869455958877345034721317444907317533579499)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_444 :

Polynomial.coeff recurrence5Scalar1Exceptional 444 = ((973320091893049921767 * 10 ^ 70 + 6273461853537445866277977118207367883661859765293939859057666492664151) * 10 ^ 70 + 2436774044524663469715947728284367976134927277201842894863276671222107) * 10 ^ 70 + 9963426054540668804390570350759878098063251274369203702068554395205004

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_445 :

Polynomial.coeff recurrence5Scalar1Exceptional 445 = ((30455234186614615 * 10 ^ 70 + 5714610268046135081243776058712656595162902379867500656856719998948001) * 10 ^ 70 + 5825906110332186109176552304147362851014187798992436747358380824812429) * 10 ^ 70 + 7672257032021936549504819774060070591284354683757247618780983448222319

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_446 :

Polynomial.coeff recurrence5Scalar1Exceptional 446 = -(((3688927933954559 * 10 ^ 70 + 8382749918916126906587414405913195750145637645215440737835662731800238) * 10 ^ 70 + 7421892550466926403687561842337510423194762379102045602822271826416937) * 10 ^ 70 + 5421357485596575779613224570045577472100319651772073450642021141194070)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_447 :

Polynomial.coeff recurrence5Scalar1Exceptional 447 = ((7157007646071 * 10 ^ 70 + 8515025381682354008781897008712597576860131412178903637719883880198766) * 10 ^ 70 + 4232576763656495825556400446089313191074048957227683785517769327671899) * 10 ^ 70 + 4977042728809228410282425094491275050562737953549442734884618828318964

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_448 :

Polynomial.coeff recurrence5Scalar1Exceptional 448 = -(((6869641634 * 10 ^ 70 + 6213602842968150527622465391479676796766826521348593043207777965427484) * 10 ^ 70 + 1605332030306401887763937809860007472938103321270975514489265164533312) * 10 ^ 70 + 8472795683122218863039294520052824412463327292193556587014753509867100)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_449 :

Polynomial.coeff recurrence5Scalar1Exceptional 449 = ((3797666 * 10 ^ 70 + 5053500151114181418545228874664541491995920912409834479153778389205830) * 10 ^ 70 + 8553917310694906225068718419389199093223118266715347138673462689057814) * 10 ^ 70 + 7994714535288317311080882240201366909985137519736206302484548677818687

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_450 :

Polynomial.coeff recurrence5Scalar1Exceptional 450 = -(((1235 * 10 ^ 70 + 4323331985082886808029966715083131397690303478517512413094322588047865) * 10 ^ 70 + 8065403829135094456922885855686884262379348402245535560816414935801119) * 10 ^ 70 + 4452712770393319286567548605536560677896363170369908776780296380438224)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_451 :

Polynomial.coeff recurrence5Scalar1Exceptional 451 = (2326118111785645068845755902445001283107155643979459540105159356024970 * 10 ^ 70 + 6698297656299022141124024958954075976660822358125378979588599210145679) * 10 ^ 70 + 6358600453424417012337709156996287628468372914449114398654282633455878

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_452 :

Polynomial.coeff recurrence5Scalar1Exceptional 452 = -((249102391093272238847760416100462104642301485219373428023625220193 * 10 ^ 70 + 1092139440795179895206858428808622693034038713823685779425276696140600) * 10 ^ 70 + 3070846207857293789257687764125270924087692205465190008641125761635307)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_453 :

Polynomial.coeff recurrence5Scalar1Exceptional 453 = (14838455848322358303239350432451239119630720157596484878356923 * 10 ^ 70 + 2145004389864372349894635003841735222363125640549269372382897214436772) * 10 ^ 70 + 5963013361839259453531280651276020530696004697059269957771357820516259

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_454 :

Polynomial.coeff recurrence5Scalar1Exceptional 454 = -((483163844745023678880654088800515148104202526743498921496 * 10 ^ 70 + 7480525982609224318043034440737238096465724845248031780237853332163412) * 10 ^ 70 + 250745920513330156097169738734661796370883302607524824383743105423373)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_455 :

Polynomial.coeff recurrence5Scalar1Exceptional 455 = (8151018237763230148543508907983466348112742351720900 * 10 ^ 70 + 8795440897910715287698876015229656469400204394094911929867668557313903) * 10 ^ 70 + 4149511647036755290319942996224235160196280072325970011266145375422614

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_456 :

Polynomial.coeff recurrence5Scalar1Exceptional 456 = -((63469863298521120654509302189020973229972233656 * 10 ^ 70 + 7874310804001721872250857905777497300945327793538645426420902303388541) * 10 ^ 70 + 8033050336414805922205521472335165203145134651027169341673725376216807)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_457 :

Polynomial.coeff recurrence5Scalar1Exceptional 457 = (214512949338245299963502072741649601089226 * 10 ^ 70 + 4635034263979135758415395600227832782920826050556672371035879506568317) * 10 ^ 70 + 8248510020931792920943113633763472354410980054955004694944914206052352

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_458 :

Polynomial.coeff recurrence5Scalar1Exceptional 458 = -((262439545093872638023980864575585633 * 10 ^ 70 + 9689119238123673801869147082662381199068850690977845944576659776091061) * 10 ^ 70 + 7121040025975994489879665065598051430971648610301199737237404555891672)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_459 :

Polynomial.coeff recurrence5Scalar1Exceptional 459 = (134403311056012957935002703413 * 10 ^ 70 + 3657895081284565498011329655019004460891388183399370547992851609153438) * 10 ^ 70 + 42662627317749720154097261433120442421533766623042659766462489519034

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_460 :

Polynomial.coeff recurrence5Scalar1Exceptional 460 = -((26789945140665264304951 * 10 ^ 70 + 5243994588142984379543003216011369295440994163145662426868610599592672) * 10 ^ 70 + 319035881236036310778198425563608714891945549942653056511315735895769)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_461 :

Polynomial.coeff recurrence5Scalar1Exceptional 461 = (1206594858751736 * 10 ^ 70 + 2947647089218822857402165253613240975249236535542383011859191532866338) * 10 ^ 70 + 1922041351761218095272417446944724391679493508139315456635891434422060

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_462 :

Polynomial.coeff recurrence5Scalar1Exceptional 462 = -((15574111 * 10 ^ 70 + 9722266126802536741383677787954208286338905633087667473952093831708316) * 10 ^ 70 + 2921568205678358405098446864079426408781113703694420237088677512308100)