Recurrence 2 lookup certificate: Scalar2Exceptional 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.recurrence2Scalar2Exceptional_coeff_314 : Polynomial.coeff recurrence2Scalar2Exceptional 314 = -((503827678286081861419181200 * 10 ^ 70 + 3873770195029118539497150999479055948709431657451508423398736654673839) * 10 ^ 70 + 9400847465155178659842049763591129896854138840861657759444710851116474)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_315 : Polynomial.coeff recurrence2Scalar2Exceptional 315 = (81874804671940265859552595 * 10 ^ 70 + 2940594855773183558550468883513479032229011311922027234019831662801486) * 10 ^ 70 + 2203629483672929620340955531348266266747101554952355248808708105741723

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_316 : Polynomial.coeff recurrence2Scalar2Exceptional 316 = -((1854921481429163296578276 * 10 ^ 70 + 5345802574154246197682176010546961618980411691008201391794121397841753) * 10 ^ 70 + 3072158993789098474030836265010762378892934662538971996839486647621600)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_317 : Polynomial.coeff recurrence2Scalar2Exceptional 317 = -((2041588420925511602295904 * 10 ^ 70 + 3091104615110597065651336924240675708877819667294122198227775803559838) * 10 ^ 70 + 6355012738197634975187086521258017155458588349238553315716104106330208)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_318 : Polynomial.coeff recurrence2Scalar2Exceptional 318 = (443901168895715940596470 * 10 ^ 70 + 6614587604652287620609300110635361468277644733037212388738725016623264) * 10 ^ 70 + 1462976226712179521956939669561199716043138225231778436067463492313805

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_319 : Polynomial.coeff recurrence2Scalar2Exceptional 319 = -((27134951489994032037365 * 10 ^ 70 + 6473867892700604121629228343354462806885491122348807827356535898174891) * 10 ^ 70 + 6113726626456556925360461914940987990235102167477378537388231646684703)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_320 : Polynomial.coeff recurrence2Scalar2Exceptional 320 = -((6187189960839707899084 * 10 ^ 70 + 6599709173011766837389482096541967082820145624610700447172363342636122) * 10 ^ 70 + 141104337898856946390686786355052302534611111389488840290812045730926)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_321 : Polynomial.coeff recurrence2Scalar2Exceptional 321 = (1588699909188841273318 * 10 ^ 70 + 5474218913114297859260526797433862144124635876101131200697956236737718) * 10 ^ 70 + 9142919520153942995640653867680133224076099311725918756274031308274809

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_322 : Polynomial.coeff recurrence2Scalar2Exceptional 322 = -((101481457762941132160 * 10 ^ 70 + 2840353776763065024117075130565495359665520764309341686316806106067232) * 10 ^ 70 + 9022371488032118550753934695269027021419536277126658406805376922392218)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_323 : Polynomial.coeff recurrence2Scalar2Exceptional 323 = -((17561880775566355960 * 10 ^ 70 + 8616931982216303016934833460197368634298373512464469837647517464364244) * 10 ^ 70 + 4684332835458169133811892998125500363697209300383805229923882655813264)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_324 : Polynomial.coeff recurrence2Scalar2Exceptional 324 = (4041281742346528630 * 10 ^ 70 + 6135049135662906137328271776742333701432309901728959262224795297059709) * 10 ^ 70 + 1023799262206490179838949662159793471531510139304941553802303972173564

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_325 : Polynomial.coeff recurrence2Scalar2Exceptional 325 = -((160527860315960745 * 10 ^ 70 + 524141624947267914503866578330226860902052500544048389063137786389814) * 10 ^ 70 + 8937792673386279182552423377789813949588346590991584635799750696054742)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_326 : Polynomial.coeff recurrence2Scalar2Exceptional 326 = -((47153268548959551 * 10 ^ 70 + 3215561545237843842076470882990880715809366050712617455883523440972592) * 10 ^ 70 + 4939559656190074002570915156448662777996123054821870413965581827857246)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_327 : Polynomial.coeff recurrence2Scalar2Exceptional 327 = (6712575433197638 * 10 ^ 70 + 8326404438058031696076564364111840924056898512247789580629953581136490) * 10 ^ 70 + 9818514196254695622459819542970446264317495851706802281029702863958508

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_328 : Polynomial.coeff recurrence2Scalar2Exceptional 328 = (81648056469271 * 10 ^ 70 + 2595379780390210409529114398557938121512491021963114891932671003096864) * 10 ^ 70 + 9484601689249367666421579267058260698066865715289351180839550586300213

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_329 : Polynomial.coeff recurrence2Scalar2Exceptional 329 = -((89262648552405 * 10 ^ 70 + 2792004565259237661434272160643303397725626293875118579486401385834291) * 10 ^ 70 + 3383575014208170786683047981071325447243434978629651720120689295704735)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_330 : Polynomial.coeff recurrence2Scalar2Exceptional 330 = (4639044415097 * 10 ^ 70 + 9114074009289438795816452047849651944585668861513437640410751998861484) * 10 ^ 70 + 2557039255745059819744471939410083969131012914294262513745636068671364

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_331 : Polynomial.coeff recurrence2Scalar2Exceptional 331 = (691922017134 * 10 ^ 70 + 560863286456180109081415362086316046011366050144294052414888323091487) * 10 ^ 70 + 3301731473492119434199349174736270383882670860719929535756477339179990

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_332 : Polynomial.coeff recurrence2Scalar2Exceptional 332 = -((74241271280 * 10 ^ 70 + 1078647055191145241486837881576374068306057062648685578263629138753403) * 10 ^ 70 + 9696888586343843885035762381818987947530388635942916288263673382564981)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_333 : Polynomial.coeff recurrence2Scalar2Exceptional 333 = -((3595112029 * 10 ^ 70 + 1555374239196846082016745797945157302760803683815682692849143144823649) * 10 ^ 70 + 5915083025241793239575661141093882876411387993846649324447890494299481)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_334 : Polynomial.coeff recurrence2Scalar2Exceptional 334 = (679872738 * 10 ^ 70 + 7754718101402708804413254067351169707314128279605688770038604004300607) * 10 ^ 70 + 745818085278001388655391407549302158060065280630455711748531027663626

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_335 : Polynomial.coeff recurrence2Scalar2Exceptional 335 = (16197704 * 10 ^ 70 + 6768973851853435736393715300983848614802441708067725624447563730070321) * 10 ^ 70 + 3950153860946403960214952123214000148090160558327161234325295142703823

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_336 : Polynomial.coeff recurrence2Scalar2Exceptional 336 = -((4572633 * 10 ^ 70 + 7784254466913461102999366801942464567977141162664759924101983354974544) * 10 ^ 70 + 5610822013086164307310551714031069704112627423408848384823202318509634)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_337 : Polynomial.coeff recurrence2Scalar2Exceptional 337 = -((112982 * 10 ^ 70 + 8337057345435346358397858949235040041747700550028879317533529564063363) * 10 ^ 70 + 5225460215372303330899400630447454262589255568627862584027447159816074)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_338 : Polynomial.coeff recurrence2Scalar2Exceptional 338 = (23185 * 10 ^ 70 + 6735981271520416066333099065496666802054751968227178209889636585337185) * 10 ^ 70 + 1675657012242528279952320903575146880331016033811911010590370794584640

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_339 : Polynomial.coeff recurrence2Scalar2Exceptional 339 = (1039 * 10 ^ 70 + 9781891876917199543588072166625991872395517851848586788738788600457363) * 10 ^ 70 + 4979117664704555420296546802829979440569581136161240416210261051084317

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_340 : Polynomial.coeff recurrence2Scalar2Exceptional 340 = -((69 * 10 ^ 70 + 3717768677907796179106394124797276976959534640659469338356425284537691) * 10 ^ 70 + 7021872789177325900142147925213087417632619477454598700810952796987930)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_341 : Polynomial.coeff recurrence2Scalar2Exceptional 341 = -((6 * 10 ^ 70 + 6980414870611092264442604467484695653355088685936768213774715847923149) * 10 ^ 70 + 5058408370098138833412759135554622071460741471808900142770055133676416)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_342 : Polynomial.coeff recurrence2Scalar2Exceptional 342 = -(748679152607287457807778457278076588548978525043425402850874413050888 * 10 ^ 70 + 6209712514867602247553706446209735687875875925975061109107361404701243)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Exceptional_coeff_343 : Polynomial.coeff recurrence2Scalar2Exceptional 343 = 163623862041576463861203973984003809215600272248035244499787880393168 * 10 ^ 70 + 1940875455571545615266833181670556662202124972668346917789218864680711