Recurrence 4 lookup certificate: A4Square 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.recurrence4A4Square_coeff_285 : Polynomial.coeff recurrence4A4Square 285 = (21777206040412501571009884 * 10 ^ 70 + 969651319487524744429562674967610382132393581272445349599178328491552) * 10 ^ 70 + 9727094744424260786050448426409146392759802863926578717746473950184730

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_286 : Polynomial.coeff recurrence4A4Square 286 = -((6282245401999463467947066 * 10 ^ 70 + 7676595977764372743577399585446417579443782876089808000741249836460012) * 10 ^ 70 + 6204741472435866634219743642794343153069293546418534357304116231411779)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_287 : Polynomial.coeff recurrence4A4Square 287 = (1565872030506002041183273 * 10 ^ 70 + 7357535539436967650234607777976061312880031181968574106634082189460116) * 10 ^ 70 + 900046207062454755311394255680795772553268624419876963308493216571522

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_288 : Polynomial.coeff recurrence4A4Square 288 = -((322150821676978679784095 * 10 ^ 70 + 819960812902620188964243962069833462165579309923193913309926785158678) * 10 ^ 70 + 9104082130167434130022869224579824488264903633804482563631615376839898)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_289 : Polynomial.coeff recurrence4A4Square 289 = (46071146333463005964446 * 10 ^ 70 + 9162549778480230263835662511377590423751641117024923383402728126566593) * 10 ^ 70 + 2031844081583209224921184221052305366244177194062680786903256445827616

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_290 : Polynomial.coeff recurrence4A4Square 290 = (302202667574793733035 * 10 ^ 70 + 8323098292397408006015556950458803968633931687153961168185205180599838) * 10 ^ 70 + 8960560507835226585702518724080698597695052641248470342715195658077085

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_291 : Polynomial.coeff recurrence4A4Square 291 = -((3315103901976073446412 * 10 ^ 70 + 3683154539774139131337736389108791342268133012767839682101126368859979) * 10 ^ 70 + 8326848689060153106178395307869136734971935411026362391094876330578130)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_292 : Polynomial.coeff recurrence4A4Square 292 = (1549828601732233873707 * 10 ^ 70 + 3737095268956499644088204980343862469148577590367581267852953200209709) * 10 ^ 70 + 9786618474287443231912871025939045360968639687533291520016362657884892

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_293 : Polynomial.coeff recurrence4A4Square 293 = -((509153632317609389550 * 10 ^ 70 + 9578501634179824909363666958971463029791197887481318307804953280278938) * 10 ^ 70 + 5626981319694313576998166055329254170438009517247925558979329560422846)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_294 : Polynomial.coeff recurrence4A4Square 294 = (137656697645048750820 * 10 ^ 70 + 3296281016857395923142839091940858857207307330275991415259341401386011) * 10 ^ 70 + 5401998717538147190839858436082546025907397895028210812682933726749590

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_295 : Polynomial.coeff recurrence4A4Square 295 = -((31957636707014271125 * 10 ^ 70 + 8806394653016640092887149263951413087418785822051820677756899045398548) * 10 ^ 70 + 1340337872780908338782641609418103862363974136061789330822256283848346)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_296 : Polynomial.coeff recurrence4A4Square 296 = (6419626183081064926 * 10 ^ 70 + 8330917103802702107227454530032925718281454397367072359120770770198331) * 10 ^ 70 + 2207012495703181209570999250179593848732387377535556920816492937112478

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_297 : Polynomial.coeff recurrence4A4Square 297 = -((1098382631599958837 * 10 ^ 70 + 4133138797451060951265707392989858754918120998366785876215747045214670) * 10 ^ 70 + 3366515588590124916918117079262464083290602690292189888631813576166428)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_298 : Polynomial.coeff recurrence4A4Square 298 = (151665883292851376 * 10 ^ 70 + 983516564889559245016812722721312027465185703549790241068509640321804) * 10 ^ 70 + 462549939158447572779735367488208570496247677701192067370743074735121

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_299 : Polynomial.coeff recurrence4A4Square 299 = -((13966088814000733 * 10 ^ 70 + 8951877765300769068239879401935644995946223063390523882568239439433286) * 10 ^ 70 + 155338608400611903251427039548594730610074884328949994693985861602440)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_300 : Polynomial.coeff recurrence4A4Square 300 = -((194303110837143 * 10 ^ 70 + 370324584042228380417809284979431263206832145986359758819284784474489) * 10 ^ 70 + 6439507314699302088450653362492506666870557567020383020457372188474570)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_301 : Polynomial.coeff recurrence4A4Square 301 = (442531672456016 * 10 ^ 70 + 1781540147770041103398702491254853635162323509212998228314656699464320) * 10 ^ 70 + 9607586336069753277494151865646785255691918337312881551776564529401742

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_302 : Polynomial.coeff recurrence4A4Square 302 = -((119053610657022 * 10 ^ 70 + 9413244323022609373492624447758286213774016173523724809631105869721011) * 10 ^ 70 + 995357173392185218871954892665123850902610358274910047215170927509962)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_303 : Polynomial.coeff recurrence4A4Square 303 = (21233326834382 * 10 ^ 70 + 6096360970245377407446149296024062043734653637586253512514047357158908) * 10 ^ 70 + 1166538274006522553728986048359174012064342573779234091177566051929834

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_304 : Polynomial.coeff recurrence4A4Square 304 = -((2758343932465 * 10 ^ 70 + 4391523411915180169451865721127133134012946759146746778758456108279374) * 10 ^ 70 + 2186305315094526166730861831235736427802355794337951602202696204634500)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_305 : Polynomial.coeff recurrence4A4Square 305 = (229800221984 * 10 ^ 70 + 8710784408831528825917312498947761130395043306628871449563027152118838) * 10 ^ 70 + 7961609982417370329583200229899541608072560413452284966547369875068184

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_306 : Polynomial.coeff recurrence4A4Square 306 = -((84861671 * 10 ^ 70 + 2532554170953936111592731996952837672077330469563853494613013220576816) * 10 ^ 70 + 5592182897295581266056154886054119061738053058318944883706975956499764)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_307 : Polynomial.coeff recurrence4A4Square 307 = -((4065857125 * 10 ^ 70 + 4657084157447331699829710289503909268326375426580901443627875199785951) * 10 ^ 70 + 3949484472010609806491221180186218645032382546341525895924729317472128)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_308 : Polynomial.coeff recurrence4A4Square 308 = (848271663 * 10 ^ 70 + 8363069907702317713667128384423913143053678464218212051314446558567366) * 10 ^ 70 + 2796958879529511965587802403136953910970841288108259515982882910010917

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_309 : Polynomial.coeff recurrence4A4Square 309 = -((106257205 * 10 ^ 70 + 6473425914499850748251679390054692898495152797716962041074305710996664) * 10 ^ 70 + 4235159552525773306845259175935884195491223631827880714738544567145990)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_310 : Polynomial.coeff recurrence4A4Square 310 = (8210183 * 10 ^ 70 + 138327709542615612973274991327315867333741067517319667653813271617951) * 10 ^ 70 + 5714447514808595063284669780206521909293366965974047286541510258183395

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_311 : Polynomial.coeff recurrence4A4Square 311 = -((138086 * 10 ^ 70 + 9680824709228582326933911945107449323103834781748554729595191632870614) * 10 ^ 70 + 1214880184609389847298889589998369470865196092106471795868447691294346)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_312 : Polynomial.coeff recurrence4A4Square 312 = -((64330 * 10 ^ 70 + 201280008034259098144153440709949341744414979656634428533234326503823) * 10 ^ 70 + 8694047885737812107871887848301660178344148327317336637086262382186192)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_313 : Polynomial.coeff recurrence4A4Square 313 = (10402 * 10 ^ 70 + 3888984065548121896766415452441251068229738829032384790898234619306639) * 10 ^ 70 + 8405755292329656783368914014943329242753533536770600461141044996235682

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_314 : Polynomial.coeff recurrence4A4Square 314 = -((806 * 10 ^ 70 + 1013533348543984196462262269957632941893469344168333219168186900617719) * 10 ^ 70 + 4188990750183892040305521695007537858122581653953719754928521864539374)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_315 : Polynomial.coeff recurrence4A4Square 315 = (16 * 10 ^ 70 + 3865834708706676119720753761527595150638483863732896384852364501329795) * 10 ^ 70 + 4497178988636476047624757444148647927550222758905223024757234220383398

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_316 : Polynomial.coeff recurrence4A4Square 316 = (3 * 10 ^ 70 + 7364593617292319025539021830657334773106909659294692301886712379204503) * 10 ^ 70 + 2526711621785702454202530419690745442447382334617581378103558623078431

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_317 : Polynomial.coeff recurrence4A4Square 317 = -(4618624762702026193193615047055988864261021927287933485866708587510280 * 10 ^ 70 + 3761849584615686503976663428613253692674920829073067809738588560188090)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_318 : Polynomial.coeff recurrence4A4Square 318 = 197489283828704116835029462949195685111890198643363778298206006614758 * 10 ^ 70 + 7784078112620700070309030458775966469698694101004573341223396494309057