Recurrence 4 lookup certificate: Scalar2Left 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.recurrence4Scalar2Left_coeff_66 : Polynomial.coeff recurrence4Scalar2Left 66 = (2363875652642438828236493330131617938399401334486753 * 10 ^ 70 + 6717644172291494074204428062063061631308189051793727356571366520396951) * 10 ^ 70 + 6605166924180720437726156568804638020824133173076223177579737152110085

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_67 : Polynomial.coeff recurrence4Scalar2Left 67 = -((68077578926451852760230597081651782261058397321461201 * 10 ^ 70 + 3528502590949197925317991953331209759327028419129171603146176437088882) * 10 ^ 70 + 3654101433908978323414897869041783622180447540208984417736013950778009)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_68 : Polynomial.coeff recurrence4Scalar2Left 68 = (1859753236136341168239241662733337620591809470868899388 * 10 ^ 70 + 5080990556356758508720971100386909231771953018343480254539463689907461) * 10 ^ 70 + 745976115638343300801939024196589641785345922789809688117903238374770

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_69 : Polynomial.coeff recurrence4Scalar2Left 69 = -((48122967288780351018591605936409355067228508603791961356 * 10 ^ 70 + 9663832344992795995115301324208693680949007011280331815526669562254026) * 10 ^ 70 + 8117878236438904573623140687289713987433074183797212440430635167328202)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_70 : Polynomial.coeff recurrence4Scalar2Left 70 = (1176760832654252751429112440522423692273319961021642456946 * 10 ^ 70 + 4049356999854139738170761974702821135521708564145554451960423894577545) * 10 ^ 70 + 8551977030533907889577592019029220416699458686973953859683889307865831

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_71 : Polynomial.coeff recurrence4Scalar2Left 71 = -((27093880938772842999690187264454422505581893482066607426731 * 10 ^ 70 + 5749109950408137145751503169245769078842286713700017956765534327429086) * 10 ^ 70 + 5049586396947596124436256629883670927683474055622766605711572300864655)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_72 : Polynomial.coeff recurrence4Scalar2Left 72 = (583912703234880650129817977389271424257154968675827124101602 * 10 ^ 70 + 5992038664233884936577758891254238549354428456041201014990563264039934) * 10 ^ 70 + 6084242172207584821930506290281309043971319551514795227554756351000791

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_73 : Polynomial.coeff recurrence4Scalar2Left 73 = -((11663669012556926490558972641431888626830924888190478239550702 * 10 ^ 70 + 3978096754570327447100802148309083550364108230694908105473320985521965) * 10 ^ 70 + 916199520873351679484520151088160383991289559980962650994978677293499)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_74 : Polynomial.coeff recurrence4Scalar2Left 74 = (212104744881792411220465544131276527396018065357277540164813882 * 10 ^ 70 + 5848670294775171951562086658960612877563832915105896213900731632437807) * 10 ^ 70 + 3310011613753924417510050740845873585424917280298531869648822102966961

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_75 : Polynomial.coeff recurrence4Scalar2Left 75 = -((3382892094323677077498499411785068752154486617769603620291605434 * 10 ^ 70 + 6696277095643278209109210399389618097174997600512791580136313027721715) * 10 ^ 70 + 7441543812853155115450465439030173411498465394253189289465179572657005)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_76 : Polynomial.coeff recurrence4Scalar2Left 76 = (42814478698060027065747631158242169114623904494698146806612926290 * 10 ^ 70 + 788175736437358971546292710965479483477822586723264160261857938450554) * 10 ^ 70 + 1279879338088271584499618006626346185193031753846709554712145291008601

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_77 : Polynomial.coeff recurrence4Scalar2Left 77 = -((255442761470350619540808635529578711308205721032497045174876495081 * 10 ^ 70 + 4915202452369735773465093085036563756143020417564164958952642089255916) * 10 ^ 70 + 7499499108634377670252911186308059144087134982617307508142221079904871)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_78 : Polynomial.coeff recurrence4Scalar2Left 78 = -((7583752459860640955375517413014849740261326852965864607448932302621 * 10 ^ 70 + 6198620499779736993828395628754457184429228710220613120938305974203310) * 10 ^ 70 + 8423501930652544663017135881197818317591031332597768503808467801452199)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_79 : Polynomial.coeff recurrence4Scalar2Left 79 = (387549441607095765138658146740426156995284197304701821723396643060476 * 10 ^ 70 + 6954652661835709693432650222400180950789019823811715303779840730422786) * 10 ^ 70 + 6630923950145413181409435331426429131976893922016463509700158429949709

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_80 : Polynomial.coeff recurrence4Scalar2Left 80 = -(((1 * 10 ^ 70 + 1529957164402304205476867275009964844532412576155459414446668688971811) * 10 ^ 70 + 9514058121083055744183448808977741920328488352222130853515944773793215) * 10 ^ 70 + 1999791670234815784601142215342217177880617848556144105987937590319101)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_81 : Polynomial.coeff recurrence4Scalar2Left 81 = ((27 * 10 ^ 70 + 9018166757525326534972285482788686368387291333837184718709445412447229) * 10 ^ 70 + 7864021229789842214557010017624495665698549481076647150981945574276570) * 10 ^ 70 + 6614876327308606545928411684197667156474957994614605377953443957556027

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_82 : Polynomial.coeff recurrence4Scalar2Left 82 = -(((592 * 10 ^ 70 + 9991667555225273601284501840873032475776200051395928486295672447672013) * 10 ^ 70 + 2293087462494261779667618282971184970869841332807249305564485120441407) * 10 ^ 70 + 2788634067564352988353109471057617674305443620993795914876806663791230)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_83 : Polynomial.coeff recurrence4Scalar2Left 83 = ((11369 * 10 ^ 70 + 5889830164466699110755230950301656463504953978481814944253497441512260) * 10 ^ 70 + 1037039148716869989134798772909712853144816257522399971596439102740026) * 10 ^ 70 + 2750335024299635197242011532307237066647764523200311878247399043878379

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_84 : Polynomial.coeff recurrence4Scalar2Left 84 = -(((198160 * 10 ^ 70 + 4361756940869960725560846584268464043895403150609125850386493540237857) * 10 ^ 70 + 1273659763537023891160878258563037311103929069393554180550112831899156) * 10 ^ 70 + 9725848513653151110892813254640585411116371524133023929850404858213554)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_85 : Polynomial.coeff recurrence4Scalar2Left 85 = ((3121757 * 10 ^ 70 + 5909194463301779175031588718690470669741501223496681797763112503288628) * 10 ^ 70 + 2998265306905054083388109160888044644753277625697084052549738256151018) * 10 ^ 70 + 1922406731752678501739024004740298853210442219625904291574872173913274

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_86 : Polynomial.coeff recurrence4Scalar2Left 86 = -(((43397967 * 10 ^ 70 + 8043727019572764101667379154208565666656396798455679072272871424188162) * 10 ^ 70 + 978063413567645845877071904760900598987584956738985461477507792342220) * 10 ^ 70 + 2077545195662967820474357726806289631359383999867299158493576358047516)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_87 : Polynomial.coeff recurrence4Scalar2Left 87 = ((496547679 * 10 ^ 70 + 1657364079073749079124063763401016347090660315675612051108029495234412) * 10 ^ 70 + 9076456198837480893590836005847399168972344197152068810689122542543917) * 10 ^ 70 + 4296915522350915638210869732983671621825165650686891677546459422125324

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_88 : Polynomial.coeff recurrence4Scalar2Left 88 = -(((3500201449 * 10 ^ 70 + 7248935750867558863732933238474798678978924207270817458349419901861067) * 10 ^ 70 + 662132829053428506148363419120894540025757363521291624833203720091555) * 10 ^ 70 + 5996232916867769283989317149287154936313250882961620287848782097604098)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_89 : Polynomial.coeff recurrence4Scalar2Left 89 = -(((29109080336 * 10 ^ 70 + 5735189335020930586722668004529013231067989369296545827154000052473619) * 10 ^ 70 + 2974251041173561869853964652004759379256987684718290979566164334361339) * 10 ^ 70 + 871517434000593034001858412142491987218564642486023736825223868047727)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_90 : Polynomial.coeff recurrence4Scalar2Left 90 = ((1914239047201 * 10 ^ 70 + 3509784626628093838258321417281626450626749703645123520725702237978583) * 10 ^ 70 + 5487274495340388879038813086781175328157468437449807205265412598790280) * 10 ^ 70 + 7846307956945712319713399962629000170569784810629440988970365845671052

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_91 : Polynomial.coeff recurrence4Scalar2Left 91 = -(((52817727027441 * 10 ^ 70 + 4605799381953573638234283028295600660897694895327216393592810767518739) * 10 ^ 70 + 4400743348128293868445478906789933941150271688381113736324739570350779) * 10 ^ 70 + 4049935643736063661958957348381081044884597585264398424286122466584852)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_92 : Polynomial.coeff recurrence4Scalar2Left 92 = ((1149682724177960 * 10 ^ 70 + 5659096882805570673221802295844566885505607509480154753514730141032713) * 10 ^ 70 + 1348511230772411045625515908037142076152154566269003797693923581768780) * 10 ^ 70 + 4681812967809014728618973214585600159324348313157615088818926328376043

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_93 : Polynomial.coeff recurrence4Scalar2Left 93 = -(((22041900693560654 * 10 ^ 70 + 2378434788930000712635731292207637338394897214650283209451902079757818) * 10 ^ 70 + 5540401433727233946777641462072157542646289552787094883914867050793134) * 10 ^ 70 + 177737043277161131653274832287492029494107639083297504771396073013168)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_94 : Polynomial.coeff recurrence4Scalar2Left 94 = ((387653979741816224 * 10 ^ 70 + 5545408910267653254250638898843944555017842048891100356899284936253107) * 10 ^ 70 + 2223971395417668279736275882222772104111965838717892363040928609092647) * 10 ^ 70 + 1210635134568182777901123708304876520575553832735179389311409866565231

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_95 : Polynomial.coeff recurrence4Scalar2Left 95 = -(((6379181982276583391 * 10 ^ 70 + 5269467068850173494072608351433782828794327415179843294838968004203748) * 10 ^ 70 + 483378502368287752244722700813265589918210459264396140547656757076890) * 10 ^ 70 + 4759916550299759122148140737405646644185694299682054835433868022343845)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_96 : Polynomial.coeff recurrence4Scalar2Left 96 = ((99338659834711965708 * 10 ^ 70 + 6052161996615703403747106469232611655707313518576138664489593060633784) * 10 ^ 70 + 7784075089285491629400150473444697287991249581075658629358108307271445) * 10 ^ 70 + 4313553709748737257830235147312137177730103342332253013992685532650451

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_97 : Polynomial.coeff recurrence4Scalar2Left 97 = -(((1474382525708973097700 * 10 ^ 70 + 8842472327012363962417812319270745390837281312792359285465393296675497) * 10 ^ 70 + 2954459974470880995239056093505342788536069808103497977465353123182321) * 10 ^ 70 + 1083479434957655210155996815805865027058839544555288878793873083247950)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_98 : Polynomial.coeff recurrence4Scalar2Left 98 = ((20958435204762057318184 * 10 ^ 70 + 1967816354337455328286707018634093516911467794331894838187718349831530) * 10 ^ 70 + 2285312595206862205485355781731539974868578038846324736284223762800527) * 10 ^ 70 + 2384165692697320606768118540201140848694732440911782613973178974598969

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_99 : Polynomial.coeff recurrence4Scalar2Left 99 = -(((286347148810756852664112 * 10 ^ 70 + 4510496609172852892537043220161458355233618972754072231936801443321333) * 10 ^ 70 + 7010148425681177952818197894517857983150675064691690776799263898907109) * 10 ^ 70 + 8520352098203129787804916933501169217978010806617948127050542171890290)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_100 : Polynomial.coeff recurrence4Scalar2Left 100 = ((3770207911156485421144898 * 10 ^ 70 + 4690410561961825755883039018998963244100377180041597361274869376076675) * 10 ^ 70 + 1967422677837153239890907988077176260266870520594953531505654111980954) * 10 ^ 70 + 4673205125660095807059964585640954600254454053372252488285566405859038

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_101 : Polynomial.coeff recurrence4Scalar2Left 101 = -(((47937770137442780277175862 * 10 ^ 70 + 1737641831371867317782156473768424897774810484765954077820406186645372) * 10 ^ 70 + 2589348483028854154545976985209069261005203280264694456579565753742435) * 10 ^ 70 + 352039366250712120519717266465012985175451178716009949310822700847793)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_102 : Polynomial.coeff recurrence4Scalar2Left 102 = ((589598890912392706798005466 * 10 ^ 70 + 8860509017990760913242521251553418536820658573121593924937990371727080) * 10 ^ 70 + 2254834456357352245910102569552896358792063381086627591673044336371630) * 10 ^ 70 + 9875874099605724636446937978593784062770101933998627841562081575790047

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_103 : Polynomial.coeff recurrence4Scalar2Left 103 = -(((7024272109206125598638453530 * 10 ^ 70 + 3792694368561464141607692611992781387417559062997830615487594452749753) * 10 ^ 70 + 9342576904833041479634443344818419040590767326493051067452269673953116) * 10 ^ 70 + 6873604473566959404676776740378941468216932347682998795714777550692253)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_104 : Polynomial.coeff recurrence4Scalar2Left 104 = ((81155368592524536124881623548 * 10 ^ 70 + 5007425627440295575257638116711466922885080497852305402044351808850347) * 10 ^ 70 + 209765048227432299310730987645771470468810379341554156479599262441257) * 10 ^ 70 + 6590142234556365515936208516244201883030141920300996005559663447493014

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_105 : Polynomial.coeff recurrence4Scalar2Left 105 = -(((910202822267715639251268723229 * 10 ^ 70 + 402630073830481259461928752488306789859244002011609389629137421229874) * 10 ^ 70 + 926653314006559858392968614007745198040749149976196123052614686075502) * 10 ^ 70 + 2476415402507247407944100572514327645301395119625597239260983512797909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_106 : Polynomial.coeff recurrence4Scalar2Left 106 = ((9918410074981400759835184095792 * 10 ^ 70 + 5405192062208812983674230881644822968835283761824897749743455462992842) * 10 ^ 70 + 2223569042518592988333509923288614159461124286185433437764239110516165) * 10 ^ 70 + 7942931290933180695819372933621316901158067745286170089290314477365236

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_107 : Polynomial.coeff recurrence4Scalar2Left 107 = -(((105090302579582142440557553753078 * 10 ^ 70 + 5691640444674493025683508030517650202054300763076967479172078409759193) * 10 ^ 70 + 3051063201064484728597246775366379899316340006541653735197075246021093) * 10 ^ 70 + 3351241813082027779646392383162110918493368282161250728370732584217125)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_108 : Polynomial.coeff recurrence4Scalar2Left 108 = ((1083422899436314100545974522098769 * 10 ^ 70 + 291333228160355765734556542954159460641612764163488639124894933701593) * 10 ^ 70 + 5867988436038781420578069649163022187345973927813986186161991804214621) * 10 ^ 70 + 9219595239350572037894084693997052690481296167097095325662468073204236

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_109 : Polynomial.coeff recurrence4Scalar2Left 109 = -(((10874694623910869343601605914588145 * 10 ^ 70 + 9523416501956151038999178931548865638333993783934634555493853695731337) * 10 ^ 70 + 2445628917826548609319176605088563205783504899725798482008864135083320) * 10 ^ 70 + 2238970674516698656397855222139140158726092705178496623970709010993818)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_110 : Polynomial.coeff recurrence4Scalar2Left 110 = ((106332131670846443830527708142755452 * 10 ^ 70 + 6339723792891791657440256439563464097317313794921113588874183347936214) * 10 ^ 70 + 734092087703807701468644802427446064339369084196566317877372219713950) * 10 ^ 70 + 6417600124216962431943119594015570552696146614195997864260936432243471

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_111 : Polynomial.coeff recurrence4Scalar2Left 111 = -(((1013362277056368479944492445300338101 * 10 ^ 70 + 8368090886737583846720872027110477897325165210204196696519530616195957) * 10 ^ 70 + 8281667829796500480381780534016070516451977061216303598159665882142104) * 10 ^ 70 + 5188214541088906840613220788165932852049212113582153313688717260623153)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_112 : Polynomial.coeff recurrence4Scalar2Left 112 = ((9417265624077509129001546027092568334 * 10 ^ 70 + 3188161013854284672226288254457402690342339093463077854971635483233538) * 10 ^ 70 + 3268073616529560908731698696466064692155908744719100966099773020853676) * 10 ^ 70 + 4153179855216000832314674102535594526444867755840888154731330857433427

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_113 : Polynomial.coeff recurrence4Scalar2Left 113 = -(((85376251669017799691458054620771712969 * 10 ^ 70 + 39573481339230011173865826182499175223664979104047591717195555172156) * 10 ^ 70 + 9707468886149189871009934004784030503307336387564145653745662784942475) * 10 ^ 70 + 3828570522969225263643523753969757089390918927908095006560845125754200)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_114 : Polynomial.coeff recurrence4Scalar2Left 114 = ((755406995055259544552903021848222920107 * 10 ^ 70 + 986022747777160621243712820358489566006061297347881410352522495600377) * 10 ^ 70 + 3729373355874615482109410512604035253580126712060715050250931326406079) * 10 ^ 70 + 3980060877211195452361267171314617909830193501003280471520606988520388