Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar4ShiftPart1.Coefficients332To371

Recurrence 2 lookup certificate: Scalar4Shift 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.recurrence2Scalar4Shift_coeff_332 :
Polynomial.coeff recurrence2Scalar4Shift 332 = -((37191253039 * 10 ^ 70 + 1218777068301382413604259159648695116212334314463511469055441534205146) * 10 ^ 70 + 3610016107105746392595927410078841607549603230413890965563788065048126)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_333 :
Polynomial.coeff recurrence2Scalar4Shift 333 = -((471626477 * 10 ^ 70 + 1173670196184783179230875359865773957724940615301437832006249249639096) * 10 ^ 70 + 2994632864353203656018659109685912735461034103966867764171902807171490)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_334 :
Polynomial.coeff recurrence2Scalar4Shift 334 = (21724136 * 10 ^ 70 + 1084561810039582667699531298832286784163887481111813884259337423001004) * 10 ^ 70 + 3211220598967295939668327028769389368491371390899754949774923922150475
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_335 :
Polynomial.coeff recurrence2Scalar4Shift 335 = -((231361 * 10 ^ 70 + 2737702089164082387422686230484202661674095125480011545157126523073092) * 10 ^ 70 + 257429742028394636526164177734695495202516747533635651254780988907691)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_336 :
Polynomial.coeff recurrence2Scalar4Shift 336 = -((1183 * 10 ^ 70 + 6038779030765461092120236733549054297442059877425177465420044073143070) * 10 ^ 70 + 3653834300390366362893559461740654354259565504473549800856473587102137)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_337 :
Polynomial.coeff recurrence2Scalar4Shift 337 = (44 * 10 ^ 70 + 7974700795508891559924017591120903058616666673176128237180014350411785) * 10 ^ 70 + 6962556387932237128526947706260126388372481534527637623329242126714086
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_338 :
Polynomial.coeff recurrence2Scalar4Shift 338 = -(2010467790918751426729790995261767781648617484617133623608961485912887 * 10 ^ 70 + 1065843207797227528078858261732212907155126035431764754653048603995892)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_339 :
Polynomial.coeff recurrence2Scalar4Shift 339 = -(27092778422582420047159761510933363761037050688026834623100314227367 * 10 ^ 70 + 5574387381802305450011018982781919704224466667361928134489444531913975)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_340 :
Polynomial.coeff recurrence2Scalar4Shift 340 = 247959936107936939307679625782472485632802634947089552306177528434 * 10 ^ 70 + 3636009895967931174421668751798404766993982455953955445258679658048355
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_341 :
Polynomial.coeff recurrence2Scalar4Shift 341 = 618835728075804100613972608294658829827582333843923604103227197 * 10 ^ 70 + 2786761437402599834969872485567029364495375964864809000160065959628326
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_342 :
Polynomial.coeff recurrence2Scalar4Shift 342 = -(11598300852757111695840754218323022410794466075317594412777341 * 10 ^ 70 + 9639094240452553579272608332762223991115348100702554367401446808016201)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_343 :
Polynomial.coeff recurrence2Scalar4Shift 343 = 2875066744423741979729697407300131890626806150036686536917 * 10 ^ 70 + 4548100747363058597941327174657738744596252974043229452837551614497859
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_344 :
Polynomial.coeff recurrence2Scalar4Shift 344 = 284381655395112861651212376068202827284203894702257565290 * 10 ^ 70 + 5909402931790571569643857869658576193284576857775408512282073372969113
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_345 :
Polynomial.coeff recurrence2Scalar4Shift 345 = -(454039281333182902959921428956202761078083987681677960 * 10 ^ 70 + 766966338618364599421151963312829175698302246252415143008632196952719)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_346 :
Polynomial.coeff recurrence2Scalar4Shift 346 = -(3780698635482209521730229938963839537139581441734822 * 10 ^ 70 + 3475311676100368779966431395795106624430555587048962098821844136615446)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_347 :
Polynomial.coeff recurrence2Scalar4Shift 347 = 10115929511026028008669692567667567154965374757942 * 10 ^ 70 + 2500185753192574891842217237818739831832182169982387275589669359379144
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_348 :
Polynomial.coeff recurrence2Scalar4Shift 348 = 23559574505245762064031491001932721059084166296 * 10 ^ 70 + 6586881104198056868617813137297140263127971062429267334309426185019926
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_349 :
Polynomial.coeff recurrence2Scalar4Shift 349 = -(103576290948433649557071332409530523290073653 * 10 ^ 70 + 3149467318652046159738832609937650034520567653627765928224036322187053)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_350 :
Polynomial.coeff recurrence2Scalar4Shift 350 = -(8086055618844147231222349710362810745101 * 10 ^ 70 + 1101329120200674163353302787910482989486021497395919499459184803514733)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_351 :
Polynomial.coeff recurrence2Scalar4Shift 351 = 465934593345737040056523684251097239237 * 10 ^ 70 + 5109603463771844490609734519916934683486334896293063485440314058185629
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_352 :
Polynomial.coeff recurrence2Scalar4Shift 352 = -(556714190925077326658241931318099256 * 10 ^ 70 + 1294662942511547319505248529550527120141843794489460152472481469711946)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_353 :
Polynomial.coeff recurrence2Scalar4Shift 353 = -(415641514637554953632228189316712 * 10 ^ 70 + 1525725510547686573990243342696652134544092294612890968312526861149817)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_354 :
Polynomial.coeff recurrence2Scalar4Shift 354 = 1381134611657920292946349554409 * 10 ^ 70 + 9128527915755355546407125267973531664695406052693634669853042867915302
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_355 :
Polynomial.coeff recurrence2Scalar4Shift 355 = -(1035458519562533605323550195 * 10 ^ 70 + 52945530824791196701600906371440942343328892954426099903843773396909)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_356 :
Polynomial.coeff recurrence2Scalar4Shift 356 = 126969085097512940435577 * 10 ^ 70 + 7381194753741331249604520660220894818378075284911667154254206195858411
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_357 :
Polynomial.coeff recurrence2Scalar4Shift 357 = 200869479597590441791 * 10 ^ 70 + 9842103009744752091730672480573547461334902360004324233027311327995621
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_358 :
Polynomial.coeff recurrence2Scalar4Shift 358 = -(102176227958694794 * 10 ^ 70 + 5030246422355805660218404670348893320745767548225522565114784062458404)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_359 :
Polynomial.coeff recurrence2Scalar4Shift 359 = 17548329687178 * 10 ^ 70 + 2955876025588938208083341272751709999790880307712356054609927730214369
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_360 :
Polynomial.coeff recurrence2Scalar4Shift 360 = -(775566030 * 10 ^ 70 + 6825608765542152552442704788561924043137876300102087064210664905657749)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_361 :
Polynomial.coeff recurrence2Scalar4Shift 361 = -(72920 * 10 ^ 70 + 8871713154925273142135964819313275041854953678858166995470308829303318)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_362 :
Polynomial.coeff recurrence2Scalar4Shift 362 = 6 * 10 ^ 70 + 9576877640293435378780492167696296671680409095037518483307451232140058
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_363 :
Polynomial.coeff recurrence2Scalar4Shift 363 = -1729487505835721023550281411828590233472618139591610260476389913538
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_364 :
Polynomial.coeff recurrence2Scalar4Shift 364 = 11765337416034971224239694908216163863006796098191927987095020
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_365 :
Polynomial.coeff recurrence2Scalar4Shift 365 = 2429241908114965881865045257488899255784823183414966212
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_366 :
Polynomial.coeff recurrence2Scalar4Shift 366 = -147601561346633531636556224107195142301589948520950
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_367 :
Polynomial.coeff recurrence2Scalar4Shift 367 = 146974715066711393874212455567930456804063324
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_368 :
Polynomial.coeff recurrence2Scalar4Shift 368 = -29743089731242579360093948914621621102
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_369 :
Polynomial.coeff recurrence2Scalar4Shift 369 = 194811858269633467930311356394
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_370 :
Polynomial.coeff recurrence2Scalar4Shift 370 = 83858415682923613950
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_371 :
Polynomial.coeff recurrence2Scalar4Shift 371 = -479004608307