Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2FirstPart2.Coefficients276To301

Recurrence 4 lookup certificate: Scalar2First 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.recurrence4Scalar2First_coeff_276 :

Polynomial.coeff recurrence4Scalar2First 276 = -((((48522100818657967708381789 * 10 ^ 70 + 7199466601201320980801610439206677798309504220965417149324599021697196) * 10 ^ 70 + 6636585573113732760298662677643326735577214236798387089192146085035705) * 10 ^ 70 + 5092994813730320350836943949248013916996793645062752451154944179383241) * 10 ^ 70 + 6444920730609506540300333653615440053509389796705474585901679475284903)

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

Polynomial.coeff recurrence4Scalar2First 277 = (((31248238688200886238344287 * 10 ^ 70 + 6857032188861160335105202309352578713939954577688963494706266158789379) * 10 ^ 70 + 8253593411117794107280546890383093958073349272256885383312405179373319) * 10 ^ 70 + 7349606882477431337177942045558896161416662775854933657833053788981737) * 10 ^ 70 + 4420324342012826666324595388518640737039761605952040139844953503026134

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

Polynomial.coeff recurrence4Scalar2First 278 = -((((18577214593598705575552717 * 10 ^ 70 + 572100459113791631255025082408850676890280205432736874628035182574002) * 10 ^ 70 + 1232316907794253734402432663163650506682580111372027138294060186533964) * 10 ^ 70 + 506039281142120086609989709796039148667007230709867927455451529098223) * 10 ^ 70 + 2142518992067900558536012822075690168062691940439676315107604761101749)

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

Polynomial.coeff recurrence4Scalar2First 279 = (((9695942635763157059775102 * 10 ^ 70 + 7614806285057573119595471968810769715376936139305496294431449760211560) * 10 ^ 70 + 824148193450824662455242316369281126300067405957921742166527735117326) * 10 ^ 70 + 5895342455673744047985921854784647562353205147543704587121570029514120) * 10 ^ 70 + 6068187956693468470674285079130662493420934616931190288138103881095258

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

Polynomial.coeff recurrence4Scalar2First 280 = -((((3799399646711910592678873 * 10 ^ 70 + 1444603377032064125993530049648144148797034879594152079008147660949122) * 10 ^ 70 + 7456307163596987807105814669361212801899020217964092438706392874393096) * 10 ^ 70 + 7191875482637930714433334894526601523211198301558115769811482055740891) * 10 ^ 70 + 3388714292665339651948167965285030052956445426397511075093092175493239)

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

Polynomial.coeff recurrence4Scalar2First 281 = (((151119169860574436202482 * 10 ^ 70 + 8686206246679467700149004204296841010057469892742347942605433668722309) * 10 ^ 70 + 2160417967403371498703417491518117444689856568695590363550217878189610) * 10 ^ 70 + 7417673189873704673125399527069706804389329445346202935148467110655839) * 10 ^ 70 + 6150779749694779239306745311863691403926334093368074803337452077063053

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

Polynomial.coeff recurrence4Scalar2First 282 = (((1881884979640884940108391 * 10 ^ 70 + 7633661867322862376986910499470463571261845570331084774039740010769963) * 10 ^ 70 + 667072252205975815953685253026924235484093208829982757670851280121416) * 10 ^ 70 + 8986300435507388468740948511085606561328014590392888278167534013176077) * 10 ^ 70 + 8586026061503356108652104445158304005251685210219202088503167558253870

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

Polynomial.coeff recurrence4Scalar2First 283 = -((((2814924447669287645049976 * 10 ^ 70 + 5431343417333641913758940651320039280757494267683450688409934439621103) * 10 ^ 70 + 5781901946801868729806840836437071925137589618980713873944807842952432) * 10 ^ 70 + 6993297326216682843891844017393298306872226856991574119786239058629690) * 10 ^ 70 + 8601542216849282463970233948002770837523293418338798515253773049895175)

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

Polynomial.coeff recurrence4Scalar2First 284 = (((3046693384612451828715750 * 10 ^ 70 + 3596013844700029459746284277297361354973783472493080516829773868671721) * 10 ^ 70 + 1811254962311969189505284160441516894144734978852006369366387537372925) * 10 ^ 70 + 7121526488846915051067246783965573030777039768068197543080973394860716) * 10 ^ 70 + 5784190919041110235258002888486055872096565332104531675916531951804089

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

Polynomial.coeff recurrence4Scalar2First 285 = -((((2870287302854323860542813 * 10 ^ 70 + 1119549478987837610054091668733995025078312139907254153493529192791360) * 10 ^ 70 + 4236258563643779217112324506169406116246538141991427452817586168496175) * 10 ^ 70 + 9304309686891106013115914616465783504863118650524582356436999421483499) * 10 ^ 70 + 4605568451726895775842120058772695258174767891728883932683274137575493)

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

Polynomial.coeff recurrence4Scalar2First 286 = (((2489626158958416473678036 * 10 ^ 70 + 2131820968479511992384261869682005518965968981721596540110195084669437) * 10 ^ 70 + 7897068486007537503686742135415720322691820906771118386855117253937512) * 10 ^ 70 + 5627376945801129320097217996272885607088544868813297586573923461551731) * 10 ^ 70 + 6691062477006160215491354302117311059755883283575987737804429571009295

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

Polynomial.coeff recurrence4Scalar2First 287 = -((((2037732991462505299883976 * 10 ^ 70 + 2530808631547530312394688263453826439256488686472877981319569585063147) * 10 ^ 70 + 7358739063275511832258010920109846373334451626069154415494462082442160) * 10 ^ 70 + 801724314803125553933085989836766456906484805608678029024267618077568) * 10 ^ 70 + 7659953596206791292000022984503885692588184802286594437029249843496255)

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

Polynomial.coeff recurrence4Scalar2First 288 = (((1594388006484397285608947 * 10 ^ 70 + 4271288664430468626163216075870835663889481774463123795528538953826475) * 10 ^ 70 + 9154401423226326742997733455469379780705102140151435776016583410841044) * 10 ^ 70 + 3791883930895318963709382870635947681057946574804487000414596523624637) * 10 ^ 70 + 967581115688219487248272264692086103802858364066822586841625650750288

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

Polynomial.coeff recurrence4Scalar2First 289 = -((((1201653239076549339583510 * 10 ^ 70 + 3021229949382253202893135518950729455024934244138354910876487851962707) * 10 ^ 70 + 8187223070019686313139355849249467057655107140264715865074925770983890) * 10 ^ 70 + 4409107996000017829773362803952139671226630199522902672282490979720592) * 10 ^ 70 + 7931773254124918545325900446937353125896512968741639380332518322697604)

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

Polynomial.coeff recurrence4Scalar2First 290 = (((876556731205812987243675 * 10 ^ 70 + 9739378435223166934435832807690199686642888841330372509873139188509835) * 10 ^ 70 + 975043344121545310205821998688476407362274218245454662829955777823314) * 10 ^ 70 + 5427914732529432208594200531690221707173866582116220744727754584474494) * 10 ^ 70 + 818215127967267294843359476432859550534208161966382756992611770218458

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

Polynomial.coeff recurrence4Scalar2First 291 = -((((620804693388669633088473 * 10 ^ 70 + 5720550412085266588162181954301033647392083626771678631512712508160157) * 10 ^ 70 + 8765685099961138782553451827303327618737249234314164348538969287064265) * 10 ^ 70 + 2710093396061922946899661608229797248623857221660539142292593012406808) * 10 ^ 70 + 5046287589541362440908527235033580770562822573045478127353355613897105)

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

Polynomial.coeff recurrence4Scalar2First 292 = (((427762959870156864954229 * 10 ^ 70 + 1251126211889510204544248702102428032443238836904078196755383113386145) * 10 ^ 70 + 5714637861797168990252193062937612932235939728684342066629161908353913) * 10 ^ 70 + 4335085521521578416022375471837181811355912752034398835219739763607140) * 10 ^ 70 + 3078162223841354012689321696961505632555352693571205315228506969845648

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

Polynomial.coeff recurrence4Scalar2First 293 = -((((287147555998307721527024 * 10 ^ 70 + 5213862048458877604486857730298392360170120945157492395273667707797845) * 10 ^ 70 + 174730016096839794025187515365186514718280274396633876298735759234828) * 10 ^ 70 + 4482129034445869798886277380386563516350725665893241591236883811818711) * 10 ^ 70 + 4903770707938735413558918688083033426871140778284378513221666719690368)

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

Polynomial.coeff recurrence4Scalar2First 294 = (((187931675983636845703449 * 10 ^ 70 + 1817390398047223493353598494537947035972800677651235602047414513406191) * 10 ^ 70 + 1526666337662013790661025156014716405803011586076531511274701937560671) * 10 ^ 70 + 4967953401066980269266021753367474196462924473003120730955059291485502) * 10 ^ 70 + 9629352341000659322920607000389737390061318055425073387786193635341251

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

Polynomial.coeff recurrence4Scalar2First 295 = -((((119956748524812240008004 * 10 ^ 70 + 8897041122966674429199132200940853629583897980929436415284788406759532) * 10 ^ 70 + 9891446330178493003826683065814555147329293559071282616511547058367357) * 10 ^ 70 + 6866880472063537984677701927773730970103207113572578236975874557136792) * 10 ^ 70 + 9893058317732079888010773762666525220345939113181264016543530265939027)

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

Polynomial.coeff recurrence4Scalar2First 296 = (((74666604179186311349774 * 10 ^ 70 + 9808000955286888353211653234870054766790651106582908056200445209537224) * 10 ^ 70 + 5784972181979546606532106091320318675869319913072326127161208261868074) * 10 ^ 70 + 1313716251914829621793542612476980537689212947080275285841971672792427) * 10 ^ 70 + 6658339031240008256776077807328550906509787591164018223884268434840741

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

Polynomial.coeff recurrence4Scalar2First 297 = -((((45295159533981772610208 * 10 ^ 70 + 7096832790994729202668136520184851412157088326829207573838460462878292) * 10 ^ 70 + 2711116525240025376299730480070373663321002313158242350963090841036794) * 10 ^ 70 + 6805726370246521410977255087056587384947578680922222457009087386852987) * 10 ^ 70 + 7356412792501406873831425424602944154233561082006616869206829872855427)

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

Polynomial.coeff recurrence4Scalar2First 298 = (((26749157438209690712570 * 10 ^ 70 + 3869068800976178296913772111833921614909570431061947864759082773511537) * 10 ^ 70 + 4701693148494486539484860692000465332364864647321655800341569114968367) * 10 ^ 70 + 5683925241560113379066671184959639287498584654879911019191262540992227) * 10 ^ 70 + 5654399622599193537456396961958705151859393683743618412195473925755215

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

Polynomial.coeff recurrence4Scalar2First 299 = -((((15349688967404990330584 * 10 ^ 70 + 1947381575152355194019069184012630432711442945269225875998513207288786) * 10 ^ 70 + 9700845520123732368759552682866428875753401036602441956013253781206260) * 10 ^ 70 + 4453194502745031239993660639445072243366326373014164345290450466040426) * 10 ^ 70 + 598761067827361783451999820824300690849638149290235013184235379316767)

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

Polynomial.coeff recurrence4Scalar2First 300 = (((8534407223706875522570 * 10 ^ 70 + 8425896326257204547934493681392839984458996533574076342785452584702790) * 10 ^ 70 + 571557711302541868331220192610746253454510039692417429315340956174902) * 10 ^ 70 + 3497542382043288640871550872751438755332367960542063384088119110333859) * 10 ^ 70 + 2449649836455352324513013370188675381057978978279180104048341165665235

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

Polynomial.coeff recurrence4Scalar2First 301 = -((((4577126686650531794508 * 10 ^ 70 + 1831800327512685880537216725812156484935145051631930315670168765954571) * 10 ^ 70 + 2517801601803232369492745523762900205842143188926052139355428642952571) * 10 ^ 70 + 5443668666236834375477572680071785285027457768268595134545379617661140) * 10 ^ 70 + 9294599618135098656729584825822506784505460565966447851045146644755497)