Recurrence 4 lookup certificate: Scalar0Exceptional 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.recurrence4Scalar0Exceptional_coeff_294 : Polynomial.coeff recurrence4Scalar0Exceptional 294 = (((26835747006440298454566478 * 10 ^ 70 + 2314901114949950642251050054306750483530565319489239568339042413534327) * 10 ^ 70 + 8330178109653036389297627067363019561931914403712684754417987042219615) * 10 ^ 70 + 4662301119569718902070449330237674573299652934572886558300938278187776) * 10 ^ 70 + 1037728596480498753891713058883932641100777190965217132232691797208843

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_295 : Polynomial.coeff recurrence4Scalar0Exceptional 295 = -((((16492312226375052791282387 * 10 ^ 70 + 5093625881088257175053363007772478613003978772029906119567774905373626) * 10 ^ 70 + 9872835022506007729169718655431730370910983776550632252676928591873283) * 10 ^ 70 + 9849171530787850009382481116635001372001796382903435110918825906023886) * 10 ^ 70 + 384052425517194031820385579885655488376263008436431909120816583254266)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_296 : Polynomial.coeff recurrence4Scalar0Exceptional 296 = (((9912031088391437444958295 * 10 ^ 70 + 5938446432022468374195070239833247182802738813729375637919697640322586) * 10 ^ 70 + 9851765946269478106911062519289990364318282938063463050196586428849315) * 10 ^ 70 + 1779087669256322821374366987770134387823670612205816829144316033134427) * 10 ^ 70 + 8585970719120566119407824612770754414519544618298829737498101060014060

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_297 : Polynomial.coeff recurrence4Scalar0Exceptional 297 = -((((5809669655453080565506635 * 10 ^ 70 + 2913507450067707389933808416532376220320914705135618467419685651481960) * 10 ^ 70 + 7380745521199427825298497214962890839047487760494672923842988774132503) * 10 ^ 70 + 5274630764864256663296794209429888784891469908061205747782123642193730) * 10 ^ 70 + 8381815644027938470395047085315742122977213215331563637321341176486173)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_298 : Polynomial.coeff recurrence4Scalar0Exceptional 298 = (((3307612655762197855800437 * 10 ^ 70 + 9477950014185045809565656053644420432944034297764210677295076640956082) * 10 ^ 70 + 4511052977448235580607390767579599303757053318592308935275786339722456) * 10 ^ 70 + 4915838068704367119585436869465768412936897561800534064868491756590987) * 10 ^ 70 + 8801121714429051042479838486282794269396807273850530899463314229876673

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_299 : Polynomial.coeff recurrence4Scalar0Exceptional 299 = -((((1818183413391114474305845 * 10 ^ 70 + 3247712004195727707321173541514766257473201557331528653518398106536267) * 10 ^ 70 + 9520413375266994801171536096751051938935436988671730747141060265534764) * 10 ^ 70 + 4314465306397097546584169521685579908844110223288239349884163907511675) * 10 ^ 70 + 590588671124168604081517828922208498830612347546647107714275195497424)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_300 : Polynomial.coeff recurrence4Scalar0Exceptional 300 = (((955679834051840072112400 * 10 ^ 70 + 424937745952384304825486539444662732495227134188358174373620864962439) * 10 ^ 70 + 4615337014152030329583131249426210139839522108697328227456646067616721) * 10 ^ 70 + 420804869987176000282491901297236230650222355832676751806785139050171) * 10 ^ 70 + 3087112525039873063125107120972472990711261344113380431554483128978574

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_301 : Polynomial.coeff recurrence4Scalar0Exceptional 301 = -((((472188323821417328731233 * 10 ^ 70 + 2754802669774538991753330638664528619896218244009769398110936096831007) * 10 ^ 70 + 2683058013827704459445582928956112616718063964334764519801192686780349) * 10 ^ 70 + 8987645950949852953540298367530980584953065500993136644655797182458020) * 10 ^ 70 + 1012072275787613724867802746440351012155704035428101336941079679691535)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_302 : Polynomial.coeff recurrence4Scalar0Exceptional 302 = (((211828500333474202767976 * 10 ^ 70 + 691895275948059664600501482025898556896993881844996094160673364783000) * 10 ^ 70 + 822760876909041736676385903907039230287267787928056781599277688615093) * 10 ^ 70 + 9261282646615417508966889258259565279169516382035696118838651223485887) * 10 ^ 70 + 1505768677403528582457870256234764832005388039891540469562278361026583

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_303 : Polynomial.coeff recurrence4Scalar0Exceptional 303 = -((((78874529223399295672047 * 10 ^ 70 + 6204373506504032125616687135372695277676369777771906584714302816555699) * 10 ^ 70 + 1893268741647176649035340827200877319893749884186329706784865197730105) * 10 ^ 70 + 9688205189741711343210370135372777055958576378192093474064900627977292) * 10 ^ 70 + 1262291082778813693273788695292944551974106529273302306465561620966430)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_304 : Polynomial.coeff recurrence4Scalar0Exceptional 304 = (((16043957955970884834549 * 10 ^ 70 + 5478496195631733704057334054871877148969469005661322708748422814166764) * 10 ^ 70 + 4515812109178308874503333277634880665446164606927300444073187880173116) * 10 ^ 70 + 3603845098689454007024035713402013117908441105929404100646912896499933) * 10 ^ 70 + 390575183111290826827686396753158668625302823085505006527059088042408

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_305 : Polynomial.coeff recurrence4Scalar0Exceptional 305 = (((9954208158013868752912 * 10 ^ 70 + 7921452065014509650681025081710475869465638750720108365384736018518649) * 10 ^ 70 + 703006533206484114798812627778444354953572155211869384200724700887075) * 10 ^ 70 + 4284739360479196823274652263775523316687395417406719343586434907725992) * 10 ^ 70 + 2945930593532747653135563928920747820382655323514215064118664886707666

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_306 : Polynomial.coeff recurrence4Scalar0Exceptional 306 = -((((17817103871941449966031 * 10 ^ 70 + 4081495121263185970028564395815443513713006282011437881312739136318251) * 10 ^ 70 + 5366957173837231755464907144348798963164996007325473276807643896202718) * 10 ^ 70 + 2967211078388320385880473008344576616268499570920115307319420962833605) * 10 ^ 70 + 8715862402782152579470480705005465747483504689329163088390875090758036)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_307 : Polynomial.coeff recurrence4Scalar0Exceptional 307 = (((17612428686271736986028 * 10 ^ 70 + 2537981363476874326655403135629398075579861787109653610419627472857439) * 10 ^ 70 + 9040781960893324395605418525618302115592752546496354153621286223410363) * 10 ^ 70 + 744348597159470755300598416365153953609828069581694602312231971715942) * 10 ^ 70 + 6949769916298187197738091104097193047520010949981863275766319009510588

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_308 : Polynomial.coeff recurrence4Scalar0Exceptional 308 = -((((14467887481817718556345 * 10 ^ 70 + 7980683335251705498908981956740759937579182528828246150743250466258254) * 10 ^ 70 + 1363379675866601803234755218613725088259225538384295174911263493340699) * 10 ^ 70 + 3377403442376930311141461100975435320468587426033863063387890055066210) * 10 ^ 70 + 4323330190162818595134228433005987306751385546773853877361777982785862)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_309 : Polynomial.coeff recurrence4Scalar0Exceptional 309 = (((10790651403501194746706 * 10 ^ 70 + 2775121248547614697883987510569877758060933623979901756422146403052024) * 10 ^ 70 + 6558871313909438786447479291061820863401376639305937805957059755046975) * 10 ^ 70 + 585870838100915996951495059518704913024830335565367703212167028434067) * 10 ^ 70 + 502877156007623431079679128561730230350217402356007227587580839855680

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_310 : Polynomial.coeff recurrence4Scalar0Exceptional 310 = -((((7561547363210459973411 * 10 ^ 70 + 8877794119466128315599949142600982942386521718871928411338308165379946) * 10 ^ 70 + 6731519522391347531980561360327055710109699560616912105620430393575494) * 10 ^ 70 + 6015736392855632139675655341138528247997986990590380719787875520217601) * 10 ^ 70 + 6865483721855700100389763160736078236377451170990896534636718589566842)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_311 : Polynomial.coeff recurrence4Scalar0Exceptional 311 = (((5062836745158143690653 * 10 ^ 70 + 3047530021486165428970153206294529399836702458465121837490137888256545) * 10 ^ 70 + 9625805409428626037865968724225511266086159337000321207709085360167285) * 10 ^ 70 + 6040329919656129190856618767479647420446556688739055129026758258966329) * 10 ^ 70 + 5355235576050068132633093001930735835703965057787789867915443183003166

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_312 : Polynomial.coeff recurrence4Scalar0Exceptional 312 = -((((3269667600030967523289 * 10 ^ 70 + 9558419836182821535094095022525417112334791617124204656406908414437090) * 10 ^ 70 + 2042033348908228003187613635343308697486981726005563184453815204692738) * 10 ^ 70 + 9279703465371096806586155735439233114667351779528356471071065289127365) * 10 ^ 70 + 2947028875034864677848114327184867531209635940386237664715903352857103)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_313 : Polynomial.coeff recurrence4Scalar0Exceptional 313 = (((2048605062695816443812 * 10 ^ 70 + 3047956286512270624681212737436357246488195768388560173810795202258588) * 10 ^ 70 + 6721940558296957493770639509755530824619376334606171135947290498724717) * 10 ^ 70 + 9642258958037370481077540383581541822604286304227967697627020681346054) * 10 ^ 70 + 9770537345692729382884252153015227131651589097852725643206538647137823

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_314 : Polynomial.coeff recurrence4Scalar0Exceptional 314 = -((((1249955071080548391117 * 10 ^ 70 + 9662601095585257332313148321494708617178577028768119348628366378401295) * 10 ^ 70 + 6100518010417006647431047040018200549745159067865363392597328622117215) * 10 ^ 70 + 3073571694329367382994137949377746729910572917808784177186837350383613) * 10 ^ 70 + 8275403007749897943852183443550207771612476624348472241986972833596620)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_315 : Polynomial.coeff recurrence4Scalar0Exceptional 315 = (((744589427150435622216 * 10 ^ 70 + 8925680751578497539448009955733704642793448205068689564527228241744112) * 10 ^ 70 + 8647280051322951412873807576408004109624710209688277187833317859957942) * 10 ^ 70 + 6014430006067196549322650942358544217711598179397495821092166200868551) * 10 ^ 70 + 3170081000670416873074271123936308593974690038291515958702591503158782