Recurrence 4 lookup certificate: Scalar1Exceptional 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.recurrence4Scalar1Exceptional_coeff_135 : Polynomial.coeff recurrence4Scalar1Exceptional 135 = -(((99979536271787860524422371142372699539872608738317 * 10 ^ 70 + 1036655315811401215397693848271711824135876191263051699856704979207520) * 10 ^ 70 + 435825294070237027247160156502276655629337756839955921719803684348344) * 10 ^ 70 + 9804391300131829608027429225334197917733604812881614647765874367099966)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_136 : Polynomial.coeff recurrence4Scalar1Exceptional 136 = -(((1282425037190555471623442160596608591352281357485510 * 10 ^ 70 + 7271367180538222065018407659441017439640034410312090019993909442709344) * 10 ^ 70 + 3852545393502621809784599138352592536896214442420114977285762970506088) * 10 ^ 70 + 4798882639861793101610344021211388533088720283734813208560477767514075)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_137 : Polynomial.coeff recurrence4Scalar1Exceptional 137 = ((17962715843175647551693779215116977891386947900209191 * 10 ^ 70 + 2617536036689386497116351488412492689516415935651719385209774687536725) * 10 ^ 70 + 7345328727465827932498071574131796303310847370629294223187257357525129) * 10 ^ 70 + 9404153584035870136883302426170555444107016011538700306224172471952031

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_138 : Polynomial.coeff recurrence4Scalar1Exceptional 138 = -(((157150852446745688129329538502436187789520924480396507 * 10 ^ 70 + 223132870287434110791199288817142914576029674392050273742695019899524) * 10 ^ 70 + 4923068437196529922287402460519366467661828689260094543732913615479189) * 10 ^ 70 + 5208075377510486039716987617054723817072062494056003206379735922583918)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_139 : Polynomial.coeff recurrence4Scalar1Exceptional 139 = ((1140634346900688173165459478204920121400751008795392905 * 10 ^ 70 + 4462795304552584775804451824343793398223921801311455466686414626787545) * 10 ^ 70 + 156273590839277967791346571426452057355781745024176606630935481130779) * 10 ^ 70 + 6292228603397399128605935598564061890761952882815072556517265066941814

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_140 : Polynomial.coeff recurrence4Scalar1Exceptional 140 = -(((7371265252994471995777842973365886193524996391831234866 * 10 ^ 70 + 8245801406569633277543872822642042267522775562905016189764392132276644) * 10 ^ 70 + 4767234652695766613891279495997691752917640018551608112843116600009811) * 10 ^ 70 + 6262090385356154464424437297238604212355897153355960207291515996965462)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_141 : Polynomial.coeff recurrence4Scalar1Exceptional 141 = ((43532952463073656352384638670535574393241115390402258320 * 10 ^ 70 + 4309243801454787443153696780741882080904317478192819734232554292928950) * 10 ^ 70 + 4648092093885179100960777240329657570473012039963710309274957695621570) * 10 ^ 70 + 6634714137262753708302233831619766423791621928323157787254540318350456

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_142 : Polynomial.coeff recurrence4Scalar1Exceptional 142 = -(((237015504611310398822616910511929745138965237847538274277 * 10 ^ 70 + 8553455215384547877368720997561345398035944551765174314813603187946508) * 10 ^ 70 + 2998439413586360566393362244675617855572181108051462381431481606230611) * 10 ^ 70 + 9441715266081179509707029614757336543785574378485556242565463716855735)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_143 : Polynomial.coeff recurrence4Scalar1Exceptional 143 = ((1186722809394812736173823713823188326681431565502476915045 * 10 ^ 70 + 8583423586768751612372808990240445486255889025149462495005734890267283) * 10 ^ 70 + 2052452506144004868458727146351580138102004231857757326547722097807305) * 10 ^ 70 + 2827502174098333495718070588667367440752415855335301479093308199466333

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_144 : Polynomial.coeff recurrence4Scalar1Exceptional 144 = -(((5378438054849300415384889403863657070535818441120536672839 * 10 ^ 70 + 6855995456791194977598153581217506300785303534819485586927978610131206) * 10 ^ 70 + 3260847334594515058836976636626191663690931555572608122265481419148329) * 10 ^ 70 + 7379659374534084170081650114726136105982538560899462013812662451776036)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_145 : Polynomial.coeff recurrence4Scalar1Exceptional 145 = ((21119263299428291536139589689462425931293552227053156492639 * 10 ^ 70 + 7600905463774078236881228845237066871253332700244357120467000169933425) * 10 ^ 70 + 6940966749350211185401141445870149833206533712367406919419627603789841) * 10 ^ 70 + 6068160302004028719871120191617022323530734761519488912009480284713352

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_146 : Polynomial.coeff recurrence4Scalar1Exceptional 146 = -(((62355283065940758021752740717151987475474171012415478656199 * 10 ^ 70 + 5576293102249682755810007604081678599421541936346602662802732846318554) * 10 ^ 70 + 3506710330963837081922554171248611573158332900596684811437148443605375) * 10 ^ 70 + 2422691660111849282062584358141022193413968189273701590373123243861814)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_147 : Polynomial.coeff recurrence4Scalar1Exceptional 147 = ((34328365733309064616579188573176520365896319267424100503108 * 10 ^ 70 + 6528842318192892644395071027262126286506762857535370210054572534364395) * 10 ^ 70 + 1480605426023201941750384314844255450117879066116698022730327495438646) * 10 ^ 70 + 1824821195400532672218949065192617665347801958151868701270263437088206

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_148 : Polynomial.coeff recurrence4Scalar1Exceptional 148 = ((1435617824278093101915309091813767825229142323142696773765225 * 10 ^ 70 + 8893309552541309359372943742058541406009092410241894266961540501059427) * 10 ^ 70 + 3818421600826203247631783940385191110054877191246661275807694490853147) * 10 ^ 70 + 8464407589476251380003759965861115477140550005722045877216097305848379

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_149 : Polynomial.coeff recurrence4Scalar1Exceptional 149 = -(((15765816224086570205089023553514313062457642994811353076697973 * 10 ^ 70 + 5407284644937354674252276283536732446389323520103865112849044023799979) * 10 ^ 70 + 7613154605929046141876503947561134473664697394457713605874277453594466) * 10 ^ 70 + 5091435669344561277012363257712009122032763954132016661174822703301120)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_150 : Polynomial.coeff recurrence4Scalar1Exceptional 150 = ((121504642005489335709470239956838393360007486648926893634743722 * 10 ^ 70 + 5587086733942778060843613052267083237627690730860868662026781729568504) * 10 ^ 70 + 4020953631978592890887094978420488045738373415721291035616320596501532) * 10 ^ 70 + 6645554543749792201795689673235734735737033247001613349121221847559163

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_151 : Polynomial.coeff recurrence4Scalar1Exceptional 151 = -(((804792101141946188129646808439367161205111222929281088659411534 * 10 ^ 70 + 4256236036872346961378337548456098810671137742794298545435459771514842) * 10 ^ 70 + 4348086018607836063469928537072344816385224192137528339374449153588481) * 10 ^ 70 + 5133868191274334846842797242049618730153595068779955578770966459009116)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_152 : Polynomial.coeff recurrence4Scalar1Exceptional 152 = ((4865205121591743143098366071791843169060500541202247239203987956 * 10 ^ 70 + 3399778087508616827821922859574518598231554064388672729603596376706867) * 10 ^ 70 + 1485558481196690105115637931524326396709623845119914977143986914163744) * 10 ^ 70 + 8866965722780542304541723666443942166586687707742952152833003599482718

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_153 : Polynomial.coeff recurrence4Scalar1Exceptional 153 = -(((27562093847918901633552220768171711148090432731796984027204809427 * 10 ^ 70 + 2210178516996361841206128345879317580066805703679470330368067608204082) * 10 ^ 70 + 5338629579852955810455620691745743248824821980991519979461065980178959) * 10 ^ 70 + 6269048105618944326573641435122302182670269367267430495632611454228316)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_154 : Polynomial.coeff recurrence4Scalar1Exceptional 154 = ((148402894620124370442853597801874759545297241278674404142522457813 * 10 ^ 70 + 8412018236585500778203132298646026277940876898494517314084653566197883) * 10 ^ 70 + 9838170621037911290984762786058295151629953184609773353509054593882798) * 10 ^ 70 + 9323864032011724525492651037859213782371155762014026955350566877776932

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_155 : Polynomial.coeff recurrence4Scalar1Exceptional 155 = -(((765925013099367045002368000620731003601096624218374647631539089455 * 10 ^ 70 + 4207248865670761920410435201059127929882732834617720688560297305679809) * 10 ^ 70 + 7327432896660970444065303057191334572255809256382474320992869322758356) * 10 ^ 70 + 4723080736080561036532265851587278386795471454801275228974643889196231)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_156 : Polynomial.coeff recurrence4Scalar1Exceptional 156 = ((3810365210365080466886745278451623624612409039256792258673474942947 * 10 ^ 70 + 2217809494068921731465146159257953992532470790946032857277739231263823) * 10 ^ 70 + 3555919980708162316746350987825514113301544362297599225348311220918156) * 10 ^ 70 + 1723214179585080913172092167948653301620896452939075176525676791802777

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_157 : Polynomial.coeff recurrence4Scalar1Exceptional 157 = -(((18343102694224978564568467738304985777609778459652345841585964482007 * 10 ^ 70 + 3562957849595887604608865573666351182175657848535825943417421502938935) * 10 ^ 70 + 9371871289758654358285908753452330394195012515312719703424588697202600) * 10 ^ 70 + 2319840275811685049515207249682978478039458914727633976596514829088930)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_158 : Polynomial.coeff recurrence4Scalar1Exceptional 158 = ((85691882589311803681469828877748868451897537917943249559795582486703 * 10 ^ 70 + 2801812362248179755800934574794202111869433610298061817615062970245957) * 10 ^ 70 + 2906015450149601917526979676525722713326366562886967153191763295399884) * 10 ^ 70 + 5413158577102656135176915572973622209150461087882393818418894282933837

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_159 : Polynomial.coeff recurrence4Scalar1Exceptional 159 = -(((389317770599707014603658159197538089667094701019729211358288456470268 * 10 ^ 70 + 4851445431221776952358781354666889677634855997454761067970172576943343) * 10 ^ 70 + 1157265052042885091384294274231308006178434400980007302317967254543254) * 10 ^ 70 + 1630935544456592320109794728522824058355308688994438599893894088587897)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_160 : Polynomial.coeff recurrence4Scalar1Exceptional 160 = ((1723055466808578683875011932880412869384909124624580713890137868754521 * 10 ^ 70 + 9717851091396894447876647084647528098208865013017110651003684244382590) * 10 ^ 70 + 2974548258554826909583850106701539142428861493058764063366771102462204) * 10 ^ 70 + 2861359619665126645057575039006180430063864728429764792689133586505819