Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1.Coefficients314To343

Recurrence 2 lookup certificate: Scalar1Exceptional coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_314 :
Polynomial.coeff recurrence2Scalar1Exceptional 314 = -((37023548701967670074477430777 * 10 ^ 70 + 8874589762514793088867172325836380089218720053486114721983192643600848) * 10 ^ 70 + 5199614128276265605808096174604681936882208991842117643984485956566378)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_315 :
Polynomial.coeff recurrence2Scalar1Exceptional 315 = -((8859823248469966087306366134 * 10 ^ 70 + 8435734563115107321435892132602586799531655136077618161542113799195119) * 10 ^ 70 + 7645876662609131933848242940203136331344807381420217523457334120922680)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_316 :
Polynomial.coeff recurrence2Scalar1Exceptional 316 = (3626377594846335278941163349 * 10 ^ 70 + 1738320248805660901680532841167325560523420629149699217759466487221141) * 10 ^ 70 + 9989539216935458861682260259381819070530766505211820643135152558935338
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_317 :
Polynomial.coeff recurrence2Scalar1Exceptional 317 = -((524415472412106774107535258 * 10 ^ 70 + 8561259175390507193187891729041364209131170019832338050031479770481388) * 10 ^ 70 + 39985172748610227748917215784134493967451189924491724329199346221120)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_318 :
Polynomial.coeff recurrence2Scalar1Exceptional 318 = -((9174027390348681500928508 * 10 ^ 70 + 9813331924041346317922072944548733674719819120369872252992800054670716) * 10 ^ 70 + 5193321019148897347816250454325388288874037741819512355978514850833959)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_319 :
Polynomial.coeff recurrence2Scalar1Exceptional 319 = (19145709119648833272457251 * 10 ^ 70 + 8457447515105264799382551210708954782108521834514862171387654854053166) * 10 ^ 70 + 8378085284036491150269775962814658825501038649994858570449906927273636
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_320 :
Polynomial.coeff recurrence2Scalar1Exceptional 320 = -((3552631520467117907044808 * 10 ^ 70 + 2943123582490464544208192789072798753598353332008414641119852707667654) * 10 ^ 70 + 9349738590053660406176608892502626984649405415426329533247136889084544)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_321 :
Polynomial.coeff recurrence2Scalar1Exceptional 321 = (115508710152764528448792 * 10 ^ 70 + 3922232696508300774857042593198713398307115719376123574417050316294464) * 10 ^ 70 + 6544304246513506939714097340076416622364257021751037063231541414609198
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_322 :
Polynomial.coeff recurrence2Scalar1Exceptional 322 = (76532468923909169411042 * 10 ^ 70 + 9350868937477361181308218605829492596068765079479544907259655079291964) * 10 ^ 70 + 2664468026839569369901475366401624932255880693519361286138338747161402
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_323 :
Polynomial.coeff recurrence2Scalar1Exceptional 323 = -((15785692864919399892964 * 10 ^ 70 + 6503193128765670863859327328859328462378775834110142548199555607930512) * 10 ^ 70 + 1158536894236433051990459324977091994533416553442886651941744377202075)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_324 :
Polynomial.coeff recurrence2Scalar1Exceptional 324 = (635001926385593807845 * 10 ^ 70 + 5347500211451668884067088571763466391580572988340119864957532220868907) * 10 ^ 70 + 8920804352443549251939101892153976237538851828303165165211788966641368
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_325 :
Polynomial.coeff recurrence2Scalar1Exceptional 325 = (262520854243203078206 * 10 ^ 70 + 5306354885107031148815805030868023870400353459374228342487084246262889) * 10 ^ 70 + 4333546595015251619940349283076243414420014026570736673027879399730369
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_326 :
Polynomial.coeff recurrence2Scalar1Exceptional 326 = -((49034817126151388068 * 10 ^ 70 + 145914684665680097977445901381457637474277489286533331333535433803543) * 10 ^ 70 + 4663376394359699042692362926123815207034675880556727601536309490134058)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_327 :
Polynomial.coeff recurrence2Scalar1Exceptional 327 = (1004132369198629728 * 10 ^ 70 + 6137626902286323712194418557865529568696026358328489132222937711862537) * 10 ^ 70 + 4263176775322367721817474107036893479655591733251189770061426493833655
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_328 :
Polynomial.coeff recurrence2Scalar1Exceptional 328 = (780749776749708975 * 10 ^ 70 + 5703787011506599358714876695732240458622584316080545334587682954002964) * 10 ^ 70 + 3102850818455611209245652063365247322748160883202653469395036722883658
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_329 :
Polynomial.coeff recurrence2Scalar1Exceptional 329 = -((99287977347199636 * 10 ^ 70 + 2903720177138849428491596615462709330482781270793514378448787851978304) * 10 ^ 70 + 3254897574052870900956375280590869376888489057441997815780945707768565)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_330 :
Polynomial.coeff recurrence2Scalar1Exceptional 330 = -((2853536373520598 * 10 ^ 70 + 2256913059793836598286793198986176268600778649250640409321259177904549) * 10 ^ 70 + 1048701976172111934447247753149305719053786491992758522814649371501271)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_331 :
Polynomial.coeff recurrence2Scalar1Exceptional 331 = (1694937979342239 * 10 ^ 70 + 3238382206185366404727299391819702430322252854631985860177223372839901) * 10 ^ 70 + 4190180178377060264845453352842188712855094557440439049333732804359245
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_332 :
Polynomial.coeff recurrence2Scalar1Exceptional 332 = -((89750710083812 * 10 ^ 70 + 4824061626690518934150927882568296795186755903920237806582323271545217) * 10 ^ 70 + 5419594676215110101103850923804899902026947040374550146865453406360269)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_333 :
Polynomial.coeff recurrence2Scalar1Exceptional 333 = -((15197861362446 * 10 ^ 70 + 5538234151526025966331853442868253622527549783486049786712153595602856) * 10 ^ 70 + 2659085758847186833699158794736990796008337599979647083209165801591481)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_334 :
Polynomial.coeff recurrence2Scalar1Exceptional 334 = (1888121216531 * 10 ^ 70 + 113169058847118527704099924051526305851886402223917229342203410627743) * 10 ^ 70 + 9509822141468026663916374871676470265019451520289429998484197830526020
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_335 :
Polynomial.coeff recurrence2Scalar1Exceptional 335 = (71352066244 * 10 ^ 70 + 5244684974890174375148786714716791235658488661380190675319192777950307) * 10 ^ 70 + 6867853499419930468107848690571280981496160466192960326784936169318987
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_336 :
Polynomial.coeff recurrence2Scalar1Exceptional 336 = -((20920603794 * 10 ^ 70 + 8802525181178908220865989759769462559332030974662129468620066879173525) * 10 ^ 70 + 6405761083950358475188408713027676886384944581836730600419029338652471)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_337 :
Polynomial.coeff recurrence2Scalar1Exceptional 337 = -((34913430 * 10 ^ 70 + 6895362483699646307715772919683560693269264142274696681557635145229682) * 10 ^ 70 + 6147744741866578014780377657396307295020057085167058691925733314298889)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_338 :
Polynomial.coeff recurrence2Scalar1Exceptional 338 = (169062666 * 10 ^ 70 + 5004255663055080698772198070821530772805390711788228346234966497540183) * 10 ^ 70 + 3313570639536426260172741637213841783583297183138824996114397569351650
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_339 :
Polynomial.coeff recurrence2Scalar1Exceptional 339 = -((1479611 * 10 ^ 70 + 1468613971614815880179642430555592420296762481005645715412884023360528) * 10 ^ 70 + 3668488438336496338834830771924231347323689339434504285879760282960980)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_340 :
Polynomial.coeff recurrence2Scalar1Exceptional 340 = -((1120540 * 10 ^ 70 + 4755738853030300107484647883300896078718236218321012292287564468531825) * 10 ^ 70 + 5260806654902965544136261004131831211255390359798904238775101554464446)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_341 :
Polynomial.coeff recurrence2Scalar1Exceptional 341 = (499 * 10 ^ 70 + 5110110025005009874110612055219171832176627423562488226982224243448069) * 10 ^ 70 + 4031115827789745273577508016340662665955217762208750498020459358830018
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_342 :
Polynomial.coeff recurrence2Scalar1Exceptional 342 = (6076 * 10 ^ 70 + 6073604921349002387075736812719159562775838722911575187451980154936718) * 10 ^ 70 + 8430130175193491354092046899852829188422515334227370480476295807022372
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_343 :
Polynomial.coeff recurrence2Scalar1Exceptional 343 = (148 * 10 ^ 70 + 2505705648837551976670243017849217129415209749798911448555590368258546) * 10 ^ 70 + 5716334445260483197164311274439720039307690406778347150419860394643633