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_196 : Polynomial.coeff recurrence4A4Square 196 = (127427118392381065839882942502466480902928369947614812521 * 10 ^ 70 + 2525045415556483503440165459271310478864521136766148059755988597402841) * 10 ^ 70 + 9985327621110617581311324948884611502340632170715492947642455215258325

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_197 : Polynomial.coeff recurrence4A4Square 197 = -((102592535404833112151688276304999575971011934128250194615 * 10 ^ 70 + 6980643493219230456178813150841591836591013021986682418608629238495081) * 10 ^ 70 + 9218508075084922943352625785658448232462475568690465232130015007472774)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_198 : Polynomial.coeff recurrence4A4Square 198 = (81129414085277207201028988260946296401492233132327530885 * 10 ^ 70 + 1078904800542346886430369846904832920280036119803873953523983474818778) * 10 ^ 70 + 9467940692156947978614397365074641762601940321118164817285484678148371

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_199 : Polynomial.coeff recurrence4A4Square 199 = -((63013494108596073565776899025629335254722917631687407692 * 10 ^ 70 + 845175065262546844550611429259315733769189221582649618470053692114422) * 10 ^ 70 + 7198765024080990449602820235423760093409228880333214649113776232041146)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_200 : Polynomial.coeff recurrence4A4Square 200 = (48068950334476905191384537113348402133256915480667362455 * 10 ^ 70 + 5444151627424178861576880004165486766861280428989611884721315136099516) * 10 ^ 70 + 3385717429800055397868243836028985166158530449411624008579025175875980

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_201 : Polynomial.coeff recurrence4A4Square 201 = -((36012561551805236600548148108189611122453257228700005083 * 10 ^ 70 + 5693938968212015225651646296228725888941361787708449076639880209290048) * 10 ^ 70 + 5252726426439809536446457263444762429549559277054193979421739169400704)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_202 : Polynomial.coeff recurrence4A4Square 202 = (26496185958463573779905569020754419634294307955309527545 * 10 ^ 70 + 5855086086492875453641366270022544273785889090247636645640473422874710) * 10 ^ 70 + 5561614090556906450286813214936724965363941253255684044431636703494868

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_203 : Polynomial.coeff recurrence4A4Square 203 = -((19144040059705333728485452663903582169458974156736493316 * 10 ^ 70 + 8458314321074021489978833455535826920804889287321798556868735531739077) * 10 ^ 70 + 8608033885100865747896538408359493215962733525712715492231818925036336)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_204 : Polynomial.coeff recurrence4A4Square 204 = (13582660458167184482803590411430919284119998468196418364 * 10 ^ 70 + 8198004884283256334352882746879601408420443820818665712271017112909344) * 10 ^ 70 + 5963474725973716565159863142386940885978283988010059448595012953394438

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_205 : Polynomial.coeff recurrence4A4Square 205 = -((9462730703731137754127840100113519611698308675726303114 * 10 ^ 70 + 6387889143553735731400601293070638214788161559305188052231179204481268) * 10 ^ 70 + 9028709583365712202382056818867469521989553786061643145935841798938136)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_206 : Polynomial.coeff recurrence4A4Square 206 = (6473022365620740490254318320939731146410833105855250611 * 10 ^ 70 + 4279500360995181172032432447846045877010117583133817282536276920187993) * 10 ^ 70 + 8248608441691702804631000138258744008362794259941571316075465471596449

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_207 : Polynomial.coeff recurrence4A4Square 207 = -((4347449753806361752010689588855252196257447609203421700 * 10 ^ 70 + 7717394731910403500971533080953207209378199820054861410945949992658184) * 10 ^ 70 + 6639158202685679092161201831511659694497866307324395231054985672536998)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_208 : Polynomial.coeff recurrence4A4Square 208 = (2866658605224515369856653543771671471471783336477337948 * 10 ^ 70 + 635016525919137980213195554045269426571932309037986482318078843235327) * 10 ^ 70 + 8361632020628334925136972081174136984382540594718955985291530151858513

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_209 : Polynomial.coeff recurrence4A4Square 209 = -((1855699707196045286063010442444333693214423179250532999 * 10 ^ 70 + 8292901910844455952974862918281945861833184856309874389133513491419345) * 10 ^ 70 + 9205939998040725607675995455042560543540550692770543856143145054793180)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_210 : Polynomial.coeff recurrence4A4Square 210 = (1179248760178926450798875731022362979052245898446067790 * 10 ^ 70 + 9911929648889563074493524196474404911374628368772726427566452998669486) * 10 ^ 70 + 9852040994003639503495152469162559977475329918129814051453435088021544

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_211 : Polynomial.coeff recurrence4A4Square 211 = -((735604187053004512340435901195117717494977086241298009 * 10 ^ 70 + 7401683216177114509750095822773533059233603101112406799065292110239850) * 10 ^ 70 + 2826540141460840037615953299446168767208222761851851482578621373388644)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_212 : Polynomial.coeff recurrence4A4Square 212 = (450400040136300826309160521923469593211558472577584070 * 10 ^ 70 + 2051930018430684261907085130096312651873092556026490048762380579738644) * 10 ^ 70 + 654599245132779998507092215312684002621615448829107384526095738881235

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_213 : Polynomial.coeff recurrence4A4Square 213 = -((270671175717443746072336484750044567380720928171180963 * 10 ^ 70 + 468597266612986213027248037043989867620064942390462098883184636891982) * 10 ^ 70 + 1286744151662268279992957668900813150099767939640742342984444148396796)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_214 : Polynomial.coeff recurrence4A4Square 214 = (159642461282754684879883767022115737944804460831916416 * 10 ^ 70 + 7608720532190604865637322801650119821319554576423448922221628479255075) * 10 ^ 70 + 3918980439273235065741788997452261580470836532114885311318462836497570

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_215 : Polynomial.coeff recurrence4A4Square 215 = -((92403998491850340090970333697297715317577459778934754 * 10 ^ 70 + 3784293180952922783042307775278221618185188901649702842296816464395107) * 10 ^ 70 + 8413668469958181877160443930082107427672819522653567725301334012348876)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_216 : Polynomial.coeff recurrence4A4Square 216 = (52485821083020052899656749584683283422396683777882284 * 10 ^ 70 + 1333006131220269825548200746774059591240638255145250539840696090199284) * 10 ^ 70 + 1582707327746218519737370256563756241619320620312822998058592053999607

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_217 : Polynomial.coeff recurrence4A4Square 217 = -((29253310714650046896634953636701788323309795934458929 * 10 ^ 70 + 1135771744235423675965157680158947148913108098171772088271850180922739) * 10 ^ 70 + 5945480791297925771682844346149732883771094412365956774516726738020950)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_218 : Polynomial.coeff recurrence4A4Square 218 = (15997898512680883402591305114788000415854192083059761 * 10 ^ 70 + 195177051089515462202280556037680418378361377328524415342553609238374) * 10 ^ 70 + 8164159332818843428165054534885809080638268291588808357195540868298550

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_219 : Polynomial.coeff recurrence4A4Square 219 = -((8583792619237343730583067348609113878611103912040421 * 10 ^ 70 + 5479625774138231589878861941200905213201627633915821313984844539671799) * 10 ^ 70 + 9267345741054540617061320858354100467072997659446205824944969495796896)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_220 : Polynomial.coeff recurrence4A4Square 220 = (4518538367919438756059288031304001532105093119995733 * 10 ^ 70 + 2850429024651360562486354583694137581676873872487880670331989441062541) * 10 ^ 70 + 3012743899885908797557561409375095840083849018214583107317337411395945

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4A4Square_coeff_221 : Polynomial.coeff recurrence4A4Square 221 = -((2333426858926108274126654916171416754239382641026936 * 10 ^ 70 + 2901056149826979382694512123751182952007201716806848136229476256015520) * 10 ^ 70 + 1309361448291461190543526772043600880516808853851340752365320968192068)