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.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_344 : Polynomial.coeff recurrence2Scalar1Exceptional 344 = -((21 * 10 ^ 70 + 5818132556635759751071997595772062272396555926418875314018051173579699) * 10 ^ 70 + 3936034441970486720177712208655055041916616945794421843187895275455425)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_345 : Polynomial.coeff recurrence2Scalar1Exceptional 345 = -((1 * 10 ^ 70 + 4770714282643163433746865613361552500959822297610676357969790688675525) * 10 ^ 70 + 5254745639148282198381833132571236637262443211257507916828341697949196)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_346 : Polynomial.coeff recurrence2Scalar1Exceptional 346 = 11302558278077702057778529786227440103882842262001600451142132142010 * 10 ^ 70 + 7454884473396257139053226010562173002196259670660976130115209012233772

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_347 : Polynomial.coeff recurrence2Scalar1Exceptional 347 = 46105138544593366478826245173223748153653323965081346855998370181499 * 10 ^ 70 + 2875690646454314729371371830613047541238453844883740425387495669269047

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_348 : Polynomial.coeff recurrence2Scalar1Exceptional 348 = 3017119795119243330110544149763577584789264917373607271155883698469 * 10 ^ 70 + 382993972699927102155500211241369148499726783520252339326987117627606

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_349 : Polynomial.coeff recurrence2Scalar1Exceptional 349 = 113075703978736031166516789674693141407047412726116121097979983591 * 10 ^ 70 + 8574453483885738918578778772149229705433980665263190070748735173707120

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_350 : Polynomial.coeff recurrence2Scalar1Exceptional 350 = 2933166117835243873569230749368901512979826105988910053127703508 * 10 ^ 70 + 9626073769877439905260329625258082051956232423879933910075283764323577

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_351 : Polynomial.coeff recurrence2Scalar1Exceptional 351 = 56191811959883278596654132396049475207814151519577950464505716 * 10 ^ 70 + 1599943784817670654774381962836671668460693582090615005260059794767708

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_352 : Polynomial.coeff recurrence2Scalar1Exceptional 352 = 818603279726512359158090942376904421093150461784693115297193 * 10 ^ 70 + 5148212865019265759747970396231063467830505800527459424139912655437695

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_353 : Polynomial.coeff recurrence2Scalar1Exceptional 353 = 9187019387364944342467755611441765370440484278137299981891 * 10 ^ 70 + 3918618979166858355166246992331925883494011443546712045779842554401364

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_354 : Polynomial.coeff recurrence2Scalar1Exceptional 354 = 79610011523603677283870502359793778285552298126880736415 * 10 ^ 70 + 257778790672829147018839753459304428216252511720831171338768007601690

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_355 : Polynomial.coeff recurrence2Scalar1Exceptional 355 = 528275841132796230918041027734839640058862892018799421 * 10 ^ 70 + 8414357844001810477786924849477547817349025578465896763319066257873869

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_356 : Polynomial.coeff recurrence2Scalar1Exceptional 356 = 2620430737639107602879094907127859473224440808685077 * 10 ^ 70 + 1331365515807130213471684902357184374991387916628501047315484547044661

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_357 : Polynomial.coeff recurrence2Scalar1Exceptional 357 = 9153197430271082571400645910668167435684890724493 * 10 ^ 70 + 6513276913609536563797772503594627042264141459947879586865969035964698

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_358 : Polynomial.coeff recurrence2Scalar1Exceptional 358 = 18588323207331015576567395136626092945614983891 * 10 ^ 70 + 7977327043083846321738967458790700645361494392737912220067727012905779

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_359 : Polynomial.coeff recurrence2Scalar1Exceptional 359 = -(2812785198553705734514828655884830005985781 * 10 ^ 70 + 7550674360370433788501754465344796621282342533125486085568487026179634)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_360 : Polynomial.coeff recurrence2Scalar1Exceptional 360 = -(156147439099412281074814420177040904016781 * 10 ^ 70 + 4222825030635234235073557769126211900357201330371570688172573991910027)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_361 : Polynomial.coeff recurrence2Scalar1Exceptional 361 = -(499018170318822429990351654742392058353 * 10 ^ 70 + 4763688828613612686693363724108292537173699491234267115330683793466727)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_362 : Polynomial.coeff recurrence2Scalar1Exceptional 362 = -(605495649864244542306730798170254948 * 10 ^ 70 + 2627800486053328649799586740068640894299451836548744631537898230830143)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_363 : Polynomial.coeff recurrence2Scalar1Exceptional 363 = 631735711446766836101549174520717 * 10 ^ 70 + 2133284433264917891009037281883049595331280709455345297690117668647595

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_364 : Polynomial.coeff recurrence2Scalar1Exceptional 364 = 3474576097232303620205449901199 * 10 ^ 70 + 8050145980118461192886844126152232055709319936995269586618546131768681

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_365 : Polynomial.coeff recurrence2Scalar1Exceptional 365 = 4981498508670238616413762584 * 10 ^ 70 + 1247618458618070429778211249148603109098034263104389473833958421075801

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_366 : Polynomial.coeff recurrence2Scalar1Exceptional 366 = 1106567322661573475063736 * 10 ^ 70 + 2963994942670096105500693207416094938260157567214278319654271681070671

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_367 : Polynomial.coeff recurrence2Scalar1Exceptional 367 = -(6587442963939838465186 * 10 ^ 70 + 3560257290686975444214094488847747006070846084209000608136324031466667)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_368 : Polynomial.coeff recurrence2Scalar1Exceptional 368 = -(10955216137612109168 * 10 ^ 70 + 4232203497335441231758507218201299012763895482549683200600150905150402)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_369 : Polynomial.coeff recurrence2Scalar1Exceptional 369 = -(8788347858866182 * 10 ^ 70 + 1204894757493163132322304395462900850757980994170807578963389387803459)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_370 : Polynomial.coeff recurrence2Scalar1Exceptional 370 = -(4140351251977 * 10 ^ 70 + 2701128717832185436262771020502326761615524533839553282770206917045872)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_371 : Polynomial.coeff recurrence2Scalar1Exceptional 371 = -(1181165881 * 10 ^ 70 + 7588602256076580625673360375792795037065313802536367738431722574164280)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_372 : Polynomial.coeff recurrence2Scalar1Exceptional 372 = -(201024 * 10 ^ 70 + 2727781473835896366202800675924094156299642864107114660893663135713007)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_373 : Polynomial.coeff recurrence2Scalar1Exceptional 373 = -(19 * 10 ^ 70 + 8141135220618613726207008254712652658041587482522435821532730578067844)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_374 : Polynomial.coeff recurrence2Scalar1Exceptional 374 = -10923850757780404615878200674693829136831686962711606594424659866484

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_375 : Polynomial.coeff recurrence2Scalar1Exceptional 375 = -313258646415520280137771398505861762132387295798536545448781647

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_376 : Polynomial.coeff recurrence2Scalar1Exceptional 376 = -4048719765832926647319005323486820653603274395936773694053