Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar4LeftPart1.Coefficients300To332

Recurrence 2 lookup certificate: Scalar4Left coefficient convolution #

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

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

Polynomial.coeff recurrence2Scalar4Left 300 = (160359386251253468884441420610234248122257096419 * 10 ^ 70 + 7325376981043509728498729565686362928858646053342223978847134287061060) * 10 ^ 70 + 7190628805428195371251394900828107870740144104014727126727550416756501

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

Polynomial.coeff recurrence2Scalar4Left 301 = -((50116524048406953325530039561417338507847949432 * 10 ^ 70 + 4953944529592946030648021562746295771887473331301413525458664561109152) * 10 ^ 70 + 36200932603394558043243980956704378010486146886835993933587827822674)

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

Polynomial.coeff recurrence2Scalar4Left 302 = (11056320440557132128784313449103744195230150003 * 10 ^ 70 + 9925511554683092033670660017667543043433370928173083530766354663186324) * 10 ^ 70 + 956869841323208142207515072965485943325977372081113231512773964525878

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

Polynomial.coeff recurrence2Scalar4Left 303 = -((1986429326644189051790649151302542565372737318 * 10 ^ 70 + 3037768203659523103771165972651521526752322564459564861027206673254388) * 10 ^ 70 + 4855072268856019502286765541586645091272134475894196788312724760627243)

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

Polynomial.coeff recurrence2Scalar4Left 304 = (300384201942940909474394246140022834990362000 * 10 ^ 70 + 8977369912012073263594589446716693820146319190378250918399604304393074) * 10 ^ 70 + 8732230563317663258886882783847542852815433387483938196328616690570167

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

Polynomial.coeff recurrence2Scalar4Left 305 = -((37887118265875791967251711788289700533038508 * 10 ^ 70 + 6533826581224979407586067273942865971403147426221721140546192145898320) * 10 ^ 70 + 726929374892832272958096252782255862288935301309759210949573467614524)

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

Polynomial.coeff recurrence2Scalar4Left 306 = (3749306866041689569241177994271119983453582 * 10 ^ 70 + 1726607596701223584366352526961290154063627982804913329330829895930777) * 10 ^ 70 + 5673794523693410863694200007439532284767042571707048312231353265341421

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

Polynomial.coeff recurrence2Scalar4Left 307 = -((223804707954681907187948623697120500127640 * 10 ^ 70 + 3489708054539992649576038521348026260730161658329709257975617137020485) * 10 ^ 70 + 3503052444921474688182828690043099532595558539177900374987837419224571)

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

Polynomial.coeff recurrence2Scalar4Left 308 = -((11097934754497342824802481279977535681678 * 10 ^ 70 + 1410351501819987238569606251934183146004617964461317500382410181934239) * 10 ^ 70 + 1951128550541142041817016422924155861337889762285901099636846094341656)

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

Polynomial.coeff recurrence2Scalar4Left 309 = (5984492140492639448593699727929150105033 * 10 ^ 70 + 5130841109654528807654591789124780724849141552919234700157224079705942) * 10 ^ 70 + 2513516524804124904370325506680968568710725361955115310152042954766542

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

Polynomial.coeff recurrence2Scalar4Left 310 = -((1120586807806938251780508664817891378882 * 10 ^ 70 + 1682136914730401424012170732019441634345386851070166324232014416562564) * 10 ^ 70 + 4290972261963081362299582118282339219607241049556373297610350343455219)

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

Polynomial.coeff recurrence2Scalar4Left 311 = (149746556243386498316250828650327150657 * 10 ^ 70 + 6459160104712444251123146460184465260846962113444819859349682361085653) * 10 ^ 70 + 5878750394391540470621381949286703394712628875164291194839970046349835

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

Polynomial.coeff recurrence2Scalar4Left 312 = -((15612562383060552368678934137722856702 * 10 ^ 70 + 6086217019628516780378856910622971698196441000613797222629573380771443) * 10 ^ 70 + 3196998942946708733217692005056347804435364838167017489148648820577973)

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

Polynomial.coeff recurrence2Scalar4Left 313 = (1247683627950169980838672816690100035 * 10 ^ 70 + 3462268187960740609417412416777446652671438874595187445030562618794054) * 10 ^ 70 + 2406722018445264507622743603163910958211455534143949865888532329035407

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

Polynomial.coeff recurrence2Scalar4Left 314 = -((64848876924386162888483252354049686 * 10 ^ 70 + 4477812282382117056631864391210195359858297931947417419329164361397141) * 10 ^ 70 + 4623049815244298129979244743779027600450950891971922418155829115079004)

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

Polynomial.coeff recurrence2Scalar4Left 315 = -((192275594197665478526966137825972 * 10 ^ 70 + 4725905380655428751910169796244030171230621316877324501024806114155543) * 10 ^ 70 + 7269958966267819695326291865746065735023690394409898805191222435483701)

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

Polynomial.coeff recurrence2Scalar4Left 316 = (519427982401639004912413977515937 * 10 ^ 70 + 3927167308220069452503075177658340771596592939435562912034771564534809) * 10 ^ 70 + 6695981572821137175885526340778644086100434614138785184129883685664146

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

Polynomial.coeff recurrence2Scalar4Left 317 = -((71597981297806606557457535349424 * 10 ^ 70 + 5322506157271150689236560853673265905326580681910206938421808339961488) * 10 ^ 70 + 4174290702141116190510541197691636407355534717927961735056747957570606)

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

Polynomial.coeff recurrence2Scalar4Left 318 = (6274652056296817880723290048890 * 10 ^ 70 + 1135187625387476834036650546583680980358770991139493965099327174000165) * 10 ^ 70 + 8007241533952954160000565889484559489928652077838249476594296397105989

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

Polynomial.coeff recurrence2Scalar4Left 319 = -((387361874790552835312278056070 * 10 ^ 70 + 5416048999461332536882103005943984464538949197880634999348740639636280) * 10 ^ 70 + 4419121030405693727171050724468776358137751615703228840034441402549164)

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

Polynomial.coeff recurrence2Scalar4Left 320 = (14772646335933128843435621081 * 10 ^ 70 + 1760238464388772921982209617832912657333947777130669110083749757120636) * 10 ^ 70 + 4943039631902350746891976757242131375362755749272034679653794514511948

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

Polynomial.coeff recurrence2Scalar4Left 321 = (17111688351377641039184110 * 10 ^ 70 + 7372765275977075994307622378964915263113902086981144407922540991064826) * 10 ^ 70 + 8713748405918930169085544232615538562922448986055722272133635172324473

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

Polynomial.coeff recurrence2Scalar4Left 322 = -((52861037871744305885706026 * 10 ^ 70 + 8916308285172712356805305797279665716992036965953767687963125079376485) * 10 ^ 70 + 2657456883457182773951877435848065770547492818922198334353532963072979)

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

Polynomial.coeff recurrence2Scalar4Left 323 = (4558195127172449831761844 * 10 ^ 70 + 8554182967197581377118672756613464013851159465375155202802409049516694) * 10 ^ 70 + 1550021921401083351619695456292665657300765932054871904374385368870952

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

Polynomial.coeff recurrence2Scalar4Left 324 = -((226822497008526634223944 * 10 ^ 70 + 4466509501600296576592197467063174857474978178130185756925086393100550) * 10 ^ 70 + 9204173221754642605166509600156016239217812706150054436349823219961556)

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

Polynomial.coeff recurrence2Scalar4Left 325 = (6430169609810213317289 * 10 ^ 70 + 1547284969871456373255252159396441466455360998590773958569343126684266) * 10 ^ 70 + 9558577491701921766640224607436146500930688459492591551605369615606970

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

Polynomial.coeff recurrence2Scalar4Left 326 = -((3392109436877748553 * 10 ^ 70 + 21486191473575399750325388207113094785060380135619555876773515429026) * 10 ^ 70 + 1203789316121550926455755286918196995007309497362873591966843321848941)

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

Polynomial.coeff recurrence2Scalar4Left 327 = -((9489174440506190127 * 10 ^ 70 + 2822190197992529577789713653099339356852512117212088837449386696559582) * 10 ^ 70 + 272898301018679564507653960748798917728858994642995288627695436594244)

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

Polynomial.coeff recurrence2Scalar4Left 328 = (486629160155821677 * 10 ^ 70 + 5565227717032201278967805041735340739804014468332113258446587235064499) * 10 ^ 70 + 4728772221678453858173911328059258543567288124771853734015481147146540

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

Polynomial.coeff recurrence2Scalar4Left 329 = -((12126137477962286 * 10 ^ 70 + 2999023655136556585076217040508743220389607323606454627480457614175549) * 10 ^ 70 + 1023775681804839469512634787981283347042815140726257495069540967738600)

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

Polynomial.coeff recurrence2Scalar4Left 330 = (74848295666186 * 10 ^ 70 + 3587339622996565828537796390743549053704537230415554488964902285689733) * 10 ^ 70 + 3127348962127905500167635623016040891595978052739030473566062619781345

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

Polynomial.coeff recurrence2Scalar4Left 331 = (5311391525070 * 10 ^ 70 + 2973119216784174221792094074630937691200571351610716893358581453620007) * 10 ^ 70 + 2929482461418536990072248888143524670507477721665310411638861805271119

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

Polynomial.coeff recurrence2Scalar4Left 332 = -((186865512112 * 10 ^ 70 + 7958659746920370649075130446519704506948702048741464564932809475762994) * 10 ^ 70 + 7132103873163727649049195536186099607325463084626502128942387239050614)