Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2LeftPart1.Coefficients330To357

Recurrence 4 lookup certificate: Scalar2Left 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.recurrence4Scalar2Left_coeff_330 :

Polynomial.coeff recurrence4Scalar2Left 330 = (((375086688677044 * 10 ^ 70 + 4538415979987056457833288285701525395662310455897625086663632498309314) * 10 ^ 70 + 1604205892170079684023715698545573682240942821253854606796855828609348) * 10 ^ 70 + 5685022757592599992133623265098000138553894646995787197624290030543180) * 10 ^ 70 + 7640840320159201377272550798819285078129687956530153712198299030670164

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

Polynomial.coeff recurrence4Scalar2Left 331 = -((((201540884321432 * 10 ^ 70 + 9546426934900109995113466714688280973113723499488409150850728132221802) * 10 ^ 70 + 9221556589630816736910500599363794094603801468455901192997491697637824) * 10 ^ 70 + 3644570586011830922725721835710606473905723023032945706298042990815933) * 10 ^ 70 + 5526977054644241163747897116332943118839836417861934025057472155477173)

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

Polynomial.coeff recurrence4Scalar2Left 332 = (((105619655507277 * 10 ^ 70 + 7712398148487273366906987831015228534095358722317299680244404346113868) * 10 ^ 70 + 2236677488413415078470013796637750065224728124825297216924751636082847) * 10 ^ 70 + 4511636073922705549326067823899658430258178332121017560894729163332985) * 10 ^ 70 + 1782096702239196488875744865788220676375375790933173737267830506659388

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

Polynomial.coeff recurrence4Scalar2Left 333 = -((((54093486270793 * 10 ^ 70 + 5320816745962935107421490628155423227008198726028335475505864451075979) * 10 ^ 70 + 8227275512521273591728975858471820966773416743724167063603532920292537) * 10 ^ 70 + 4737109901167315649283376742179363742133511767996070414499508522628986) * 10 ^ 70 + 7757898603563514869219208937745278932050384936277062527604954811467233)

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

Polynomial.coeff recurrence4Scalar2Left 334 = (((27112973328850 * 10 ^ 70 + 9393465969010054720519690632874904115982116552825088296990960630590850) * 10 ^ 70 + 8614106886881783312674325427593031671842123050103478019672986408075390) * 10 ^ 70 + 5354345298184380839063926874880245860872118479720988557776923081308738) * 10 ^ 70 + 498398703850403990870575239115203919647644612894445909073694624931997

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

Polynomial.coeff recurrence4Scalar2Left 335 = -((((13312976636055 * 10 ^ 70 + 1383070376206978873340508502053416144112594782401001072960547006411768) * 10 ^ 70 + 7015203199698212956378007221328775773486109353459902167917789308474600) * 10 ^ 70 + 4686372147786985905476104170936987005254775462454320096327323326474905) * 10 ^ 70 + 987890149314219013960494070288540824321059208706041120448003169860329)

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

Polynomial.coeff recurrence4Scalar2Left 336 = (((6408282371031 * 10 ^ 70 + 1679994875131778697043300000092410476145890671232913018511949304407132) * 10 ^ 70 + 420000815335273398832176800417078340515761058765681970598653736101952) * 10 ^ 70 + 5343871460683644016905011714749205247757510300857236165143193689446177) * 10 ^ 70 + 9772059908840729614477399837975948379795029055751548345350669608616400

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

Polynomial.coeff recurrence4Scalar2Left 337 = -((((3025377227428 * 10 ^ 70 + 4002693384943092014017261277828614795593834106084714087866231847874290) * 10 ^ 70 + 3958155183355723297172264710024022036502042152487497260241023102172540) * 10 ^ 70 + 1157582921007774048923007631788247317277993331244150265985895100269226) * 10 ^ 70 + 8897927896292563699726493623345500805884325614313630234079340969676295)

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

Polynomial.coeff recurrence4Scalar2Left 338 = (((1401243942903 * 10 ^ 70 + 939043520248288901057472037487285369773051254991943156014923648763916) * 10 ^ 70 + 7791139320957395705153975636557693603937888852188692160208052318408626) * 10 ^ 70 + 2290823782144382964047399087192944271849723054005939214633060127529278) * 10 ^ 70 + 1754083412979466616914990112406231100903198547807427270844422432821703

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

Polynomial.coeff recurrence4Scalar2Left 339 = -((((636804671152 * 10 ^ 70 + 4938269744116422570501772839127364124384698075621053715503732689916815) * 10 ^ 70 + 1426149208759214689601107594164926544085874153298586594223694250092822) * 10 ^ 70 + 255387208651440170621818923101640614707344947652926350936178074535044) * 10 ^ 70 + 7957791633332051067822994856809641826912764384387703487369413460241226)

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

Polynomial.coeff recurrence4Scalar2Left 340 = (((283966503762 * 10 ^ 70 + 6290132853809612198113940948401319771511362215266946355332327830678981) * 10 ^ 70 + 2737014787048888963910826054826563928668987630057550320919338578181635) * 10 ^ 70 + 9476004950047455070591860139332312341334991725038711705004245073189962) * 10 ^ 70 + 74503805428525522621867116267393250311952360679735579388592993571055

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

Polynomial.coeff recurrence4Scalar2Left 341 = -((((124240537690 * 10 ^ 70 + 6189100171817612027288208633898072753822473372491381941993195743740856) * 10 ^ 70 + 3883959151162086582857168523978468479083449145193053884196904897297249) * 10 ^ 70 + 1075592255139258768098191443008982666416615079416698258112588833541187) * 10 ^ 70 + 7170703774702630636633439732481054234692138626587266083222158011144956)

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

Polynomial.coeff recurrence4Scalar2Left 342 = (((53324443839 * 10 ^ 70 + 9654519803140177428660819035842465630073247100728642143593208089223549) * 10 ^ 70 + 7321891191996910525908228997066312459195490171702191888500710134266121) * 10 ^ 70 + 446251683306979432165042492230724942500691714498142819954254831813391) * 10 ^ 70 + 3187517085866169886667542568436265923537429279155125422706284576410277

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

Polynomial.coeff recurrence4Scalar2Left 343 = -((((22447096105 * 10 ^ 70 + 4173403219049989406821795092347018547469803340800462063173826334269705) * 10 ^ 70 + 4489459484703171616845856966770324102472792170965348832619888902751503) * 10 ^ 70 + 2126495102209779264742228108151421017516123759329033677983772119936544) * 10 ^ 70 + 124895327721360966286504051691956078661255393206780553195698852661727)

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

Polynomial.coeff recurrence4Scalar2Left 344 = (((9265129258 * 10 ^ 70 + 3078050725348679442793013312330004427366538106340053781727559648577816) * 10 ^ 70 + 7153933818295117347298352276377988322601749988260508777513136354925177) * 10 ^ 70 + 4564275718995328281332209079938326738509736950250160120668930057773901) * 10 ^ 70 + 2598282314971090156598800127337711462807655972414364785565276692739596

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

Polynomial.coeff recurrence4Scalar2Left 345 = -((((3748730941 * 10 ^ 70 + 8432343222047562957413145164089393345266687351248453703831270662283985) * 10 ^ 70 + 9351755756188284761082451270906961966057676109932575013257290075886581) * 10 ^ 70 + 5876519454433020883029336929911860045369351371609255384731861210049955) * 10 ^ 70 + 4814739840971570171497147200459004617856283595787314512808037249487768)

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

Polynomial.coeff recurrence4Scalar2Left 346 = (((1486493110 * 10 ^ 70 + 3341881751618371627058571776936832328027671805780828384486939947887180) * 10 ^ 70 + 737380226235401795828094471344289899890792636772562163146052037693391) * 10 ^ 70 + 8485236910772137837349382476641268889895594055309067525623001143680386) * 10 ^ 70 + 6317798596061592589909546910907448672333073838096856790240198679254674

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

Polynomial.coeff recurrence4Scalar2Left 347 = -((((577629882 * 10 ^ 70 + 7505080338029484325971177788571092964552504004307152081098885365118785) * 10 ^ 70 + 7484438121448120687280262668424320691183470104528837107401922099720727) * 10 ^ 70 + 7226287834955454757638270803793996169445584600822309578864781016380776) * 10 ^ 70 + 1545887652805606967887279212277529761329936063020227639695353450168784)

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

Polynomial.coeff recurrence4Scalar2Left 348 = (((220001814 * 10 ^ 70 + 8423552410939914434720805988015274154007670099865991412755388001310634) * 10 ^ 70 + 9160869155491427295446503690654590815211849397233115734852510886662793) * 10 ^ 70 + 1233590698350485177865252255693944546384851248144431931259819743015979) * 10 ^ 70 + 3913688710854872679818164756929748370892269210518220018852825368688894

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

Polynomial.coeff recurrence4Scalar2Left 349 = -((((82185261 * 10 ^ 70 + 1786113160217194807086245129327430599646594784714394966165848087728468) * 10 ^ 70 + 9387032127093268685062318528936667537664179451933888973627592253156161) * 10 ^ 70 + 1050058523278258794421352429858928297600160938022746942955318458100346) * 10 ^ 70 + 5121533017067906696512467865706158813529412457679260873913314914091940)

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

Polynomial.coeff recurrence4Scalar2Left 350 = (((30160028 * 10 ^ 70 + 110100259506704056420203631476224549793145079765364712484391401929491) * 10 ^ 70 + 183100612481195177647315255485479159214642090092504012570044537318262) * 10 ^ 70 + 7675612686397957204737461340871056532845827357131454232505404130682624) * 10 ^ 70 + 7069712607085021088190226780501945661866642748750366483812630871018607

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

Polynomial.coeff recurrence4Scalar2Left 351 = -((((10905230 * 10 ^ 70 + 5840228171600525116737087970702732099011239515385497063450718454339670) * 10 ^ 70 + 5203038783049478316695849612926146772661192494855478607043713907964008) * 10 ^ 70 + 842396024592200296121163181608039176815124836122271956584372833285745) * 10 ^ 70 + 2728447968531631387165465428966023299650313074155404068704396412222919)

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

Polynomial.coeff recurrence4Scalar2Left 352 = (((3905159 * 10 ^ 70 + 7070905608218817969033090792020030154350902904091095663921481148817136) * 10 ^ 70 + 6872763262962305562698504113688809216999860635731816510522134393636422) * 10 ^ 70 + 8072992288259923863185732606455459247619003566934462664010112531423964) * 10 ^ 70 + 9630623312353118993807071664454047751285270777352281155106890698342090

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

Polynomial.coeff recurrence4Scalar2Left 353 = -((((1396283 * 10 ^ 70 + 271879310743719198251818049117684989404374284616940794411008128554270) * 10 ^ 70 + 3271651779365645382382405603630644578225449885934204375714342081079774) * 10 ^ 70 + 4090619526741127609189373004722991468223476133169761879877618356266945) * 10 ^ 70 + 9395248521450016591611424514021057636880252575790347530480039885542043)

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

Polynomial.coeff recurrence4Scalar2Left 354 = (((504246 * 10 ^ 70 + 7317273458876157020520556050005707856640926130642829771028329081029119) * 10 ^ 70 + 4178639102847890857122526109595010433162558491302639957845809644478111) * 10 ^ 70 + 3397484913099721418116055413139116636160674585523824922776040059408908) * 10 ^ 70 + 3073535489207567612901652612960619271958617142929959768600867992308131

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

Polynomial.coeff recurrence4Scalar2Left 355 = -((((186518 * 10 ^ 70 + 3156559646584933794910129725356622288784599201893043195878648484165500) * 10 ^ 70 + 7874005882915842266240046779371138274502764538075700204802116502313626) * 10 ^ 70 + 8723429632691950366829893457656406174120329514139865170891215718865222) * 10 ^ 70 + 3166067879171752179156947076086666890689160365729804553643637141681010)

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

Polynomial.coeff recurrence4Scalar2Left 356 = (((71605 * 10 ^ 70 + 7633007975110929685706068875225532967090388733873083937800849496514619) * 10 ^ 70 + 7261964336461204320749415172608805749877564311795546344849070291563920) * 10 ^ 70 + 2907755376920668468007657982897117517520248687837675559193316102607610) * 10 ^ 70 + 9053159087383177102787406143299926752464674128260583103663439191588388

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

Polynomial.coeff recurrence4Scalar2Left 357 = -((((28745 * 10 ^ 70 + 4042907234695573924564802315134243093292486379658467657034920878072168) * 10 ^ 70 + 3226260429897622076916597873452397718351396511280582398543094964839949) * 10 ^ 70 + 2105107547427736187909509587241796467411429260104085020786214180262098) * 10 ^ 70 + 8781577620024539431487967425163914546017745945196113871546666660775406)