Recurrence 2 lookup certificate: Scalar3Left coefficient convolution

This is a checked coefficient-lookup shard for the second pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_93 : Polynomial.coeff recurrence2Scalar3Left 93 = (103445039 * 10 ^ 70 + 9414222321412703311885806515729194012711316920504910203133858532695494) * 10 ^ 70 + 7169503964653601580013335507906845274711364324025787240057062328650545

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_94 : Polynomial.coeff recurrence2Scalar3Left 94 = -((423834527 * 10 ^ 70 + 8762674379319237814003362758503676647629663154179335027339510601578734) * 10 ^ 70 + 142096967191625838214544676074216948753852618553545766224663646152991)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_95 : Polynomial.coeff recurrence2Scalar3Left 95 = (1654391493 * 10 ^ 70 + 7142469275285816920461366372838889333615640076635505929719670698312530) * 10 ^ 70 + 8132268920317409342311819272813190370400968400053902749675594859793422

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_96 : Polynomial.coeff recurrence2Scalar3Left 96 = -((6119657526 * 10 ^ 70 + 4217308184937457456420597163524812760250518286031732490107183791680495) * 10 ^ 70 + 3099879679754975689057561641816408042345551564876562139681391000939818)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_97 : Polynomial.coeff recurrence2Scalar3Left 97 = (21272068851 * 10 ^ 70 + 5740048437286112275029980064612081843733578111624596479245504379560644) * 10 ^ 70 + 8943683785538748247078030591828253544796060421940367463706268694515765

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_98 : Polynomial.coeff recurrence2Scalar3Left 98 = -((68535001491 * 10 ^ 70 + 2981272089149711215228715101687712419769227230926755683414649098989151) * 10 ^ 70 + 4533832157933755072387675268879735080191556083054601706026111122966219)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_99 : Polynomial.coeff recurrence2Scalar3Left 99 = (199670315917 * 10 ^ 70 + 2461553692976839594767685830140891926958257422104684692794083608285817) * 10 ^ 70 + 3639631970244661021043267173373982715211711825173333089744958540710817

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_100 : Polynomial.coeff recurrence2Scalar3Left 100 = -((498552737113 * 10 ^ 70 + 5832587354032183667508095836991954913110209681249657222967910229345629) * 10 ^ 70 + 65185795333723063118208808978848509682087272222312295050922027298526)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_101 : Polynomial.coeff recurrence2Scalar3Left 101 = (899767219523 * 10 ^ 70 + 7094826279647773271587314714325680759663947069473529658172087786169497) * 10 ^ 70 + 3505579220408860277668388377536796280340195598942975994083080429054398

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_102 : Polynomial.coeff recurrence2Scalar3Left 102 = (22698422959 * 10 ^ 70 + 9887843670533982096001699750252130464446449091810321358316688039066891) * 10 ^ 70 + 3579578480785650054424250578018435858005839445439017492936523497875245

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_103 : Polynomial.coeff recurrence2Scalar3Left 103 = -((10946793268439 * 10 ^ 70 + 6025701607538525713458967940651394155639728540792595275503003055686207) * 10 ^ 70 + 9748877430402428701360338214947973984332745310688373657729355442393017)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_104 : Polynomial.coeff recurrence2Scalar3Left 104 = (72837771131421 * 10 ^ 70 + 8603264421681294536095090947517662429476587758980132729456820922731390) * 10 ^ 70 + 7285961491124432546140559590750944323180519607566451664794433681884691

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_105 : Polynomial.coeff recurrence2Scalar3Left 105 = -((356123258335447 * 10 ^ 70 + 2092153023301527345390682509193901503044877638245571871490027948287306) * 10 ^ 70 + 1527961587207633870124957708345525964237448588877077531941747141647116)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_106 : Polynomial.coeff recurrence2Scalar3Left 106 = (1502139469061387 * 10 ^ 70 + 8220500302518783677367468372693413346373875425729750772536906500513389) * 10 ^ 70 + 8581055999567338884922503712045872494010161972257008961403728898192390

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_107 : Polynomial.coeff recurrence2Scalar3Left 107 = -((5651282527999003 * 10 ^ 70 + 4024931914036031349576583961408141461332216040913929362006804122983039) * 10 ^ 70 + 7142143893563977618143927862718972224469867817365669222679744451787271)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_108 : Polynomial.coeff recurrence2Scalar3Left 108 = (18740813677517454 * 10 ^ 70 + 1377642533094159064052691646619213913357827544983910822312395802094199) * 10 ^ 70 + 6197449892582378453523527401584425024300354321009067690254618699757501

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_109 : Polynomial.coeff recurrence2Scalar3Left 109 = -((52295590832440833 * 10 ^ 70 + 3263555581108984414562500508881283547072070074901902026533367711541889) * 10 ^ 70 + 4603120483167404311589936419463587478561831820465715932503524037375698)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_110 : Polynomial.coeff recurrence2Scalar3Left 110 = (110836826115150712 * 10 ^ 70 + 9932741146629241291271839175280440389913150190444756015217850741362462) * 10 ^ 70 + 9516710507726686652725082170320590607551371349410545173536228175968998

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_111 : Polynomial.coeff recurrence2Scalar3Left 111 = -((134679665303745869 * 10 ^ 70 + 3342072013126133843757017125035342544752728235078436116433061284510532) * 10 ^ 70 + 3055192195846499012672685324814626391832980672538680642123113905417060)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_112 : Polynomial.coeff recurrence2Scalar3Left 112 = (14307171402344140 * 10 ^ 70 + 648499688132798678997508401298964923009864557824328685793256399024811) * 10 ^ 70 + 2682106522661295825374850540296291701232830210246001099536353453198954

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_113 : Polynomial.coeff recurrence2Scalar3Left 113 = -((909868940932449058 * 10 ^ 70 + 8451089841313412450146931331596205145248419169590355160478455688919765) * 10 ^ 70 + 7836787837287054811891455037878808661897135277346137020451583944268453)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_114 : Polynomial.coeff recurrence2Scalar3Left 114 = (12545028945744913716 * 10 ^ 70 + 9023351436244669548367077038752378598749112754337083740466116776670890) * 10 ^ 70 + 7079265002513749384047572451606632758278487829972029363293939039515781

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_115 : Polynomial.coeff recurrence2Scalar3Left 115 = -((69931331004428214736 * 10 ^ 70 + 1025631144851655626674592961116613326377408219088573766293440122755691) * 10 ^ 70 + 9851104294497015543551037306220764004435554901866626620434029858748289)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_116 : Polynomial.coeff recurrence2Scalar3Left 116 = (195614029625201547601 * 10 ^ 70 + 3907183933298549409458370100338554125393625546548888510254628320587886) * 10 ^ 70 + 3837905155957013355483808146388483109486736138224714332666683954647012

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_117 : Polynomial.coeff recurrence2Scalar3Left 117 = (122104133259660316640 * 10 ^ 70 + 1888726775874264848550783308980582288802267485508227025039458092324844) * 10 ^ 70 + 9035451463329768810824612673397077575721174582859568478165508285813174

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_118 : Polynomial.coeff recurrence2Scalar3Left 118 = -((4410648128333652379929 * 10 ^ 70 + 8495835626041189267582049718079465747636823003068139227310090246796758) * 10 ^ 70 + 4439456370539288600260662068231696085188776195522046261395311252207817)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_119 : Polynomial.coeff recurrence2Scalar3Left 119 = (25732869909476928997163 * 10 ^ 70 + 6232673571394871810973249419294374787575153472160827826543095402979246) * 10 ^ 70 + 3557937423329102199380481627768821375105009096189154295050694993562730

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_120 : Polynomial.coeff recurrence2Scalar3Left 120 = -((87995171537844488252111 * 10 ^ 70 + 4058592010607365208628506099966103646224423897039118899777334798642085) * 10 ^ 70 + 3227934488972829854107187512422735458457199120703494155441682097189766)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_121 : Polynomial.coeff recurrence2Scalar3Left 121 = (141226171379609334527202 * 10 ^ 70 + 5577321576005201831963132142478314155861645214338689343044351686899981) * 10 ^ 70 + 6715746134013386059417265317057323161816086630292296425736798634454699

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_122 : Polynomial.coeff recurrence2Scalar3Left 122 = (423771464821791902368416 * 10 ^ 70 + 5052095359097365101867579863265895072415033375179896911201134454274034) * 10 ^ 70 + 9744710305365372392274051293335210318319541436842168758835385111595458

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_123 : Polynomial.coeff recurrence2Scalar3Left 123 = -((4236295619253702246046679 * 10 ^ 70 + 5862391625740698583590323021470523098369116707004090247566275155349723) * 10 ^ 70 + 8741770757875389994286465611075145287587814621968483759584972821029863)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_124 : Polynomial.coeff recurrence2Scalar3Left 124 = (17376999162379349371105479 * 10 ^ 70 + 193038929191122890834288548630337131563037616226398371283554599684775) * 10 ^ 70 + 9884429025886483336997943551124953975660913444414231523147288742604288

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_125 : Polynomial.coeff recurrence2Scalar3Left 125 = -((41001012652426581435073881 * 10 ^ 70 + 5640845341053863372225760439232457735562486648010318993398818123406971) * 10 ^ 70 + 9612503016206713236504092494899245078852616876506143655629593799154801)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_126 : Polynomial.coeff recurrence2Scalar3Left 126 = (30022033036802336201918195 * 10 ^ 70 + 1145878447010762552052090134517985093515714250128922426431282792367855) * 10 ^ 70 + 3029317598499325486067391210476923831368932610576232785726991528270535

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_127 : Polynomial.coeff recurrence2Scalar3Left 127 = (189485725763189480830896124 * 10 ^ 70 + 5636614347944240752219454418178476774731515720303130702613884391625171) * 10 ^ 70 + 7931590193327647387629712165532079187912024481446527339562758609703106

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_128 : Polynomial.coeff recurrence2Scalar3Left 128 = -((1282743606075811208361215626 * 10 ^ 70 + 4442818312208865946968953633846503597114387165360622565905812909411502) * 10 ^ 70 + 6583988808742687810905514106696507240985715578347855416106526820202008)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_129 : Polynomial.coeff recurrence2Scalar3Left 129 = (8352124395535514568726062114 * 10 ^ 70 + 1137262840688423261685626498873031021602695380561373564613378088956750) * 10 ^ 70 + 7360026381288396258640239404175457210563984156403347147752600654814466

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_130 : Polynomial.coeff recurrence2Scalar3Left 130 = -((52601346865285851541074793708 * 10 ^ 70 + 3430228387455613562188773338870665958724382817713355967857266935814215) * 10 ^ 70 + 2739920082457676513308333023470690741693415240143803221516784444877016)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_131 : Polynomial.coeff recurrence2Scalar3Left 131 = (222430186860787891856295567847 * 10 ^ 70 + 9217397632893676399522651215184764258079655903620210878765938599688396) * 10 ^ 70 + 755627384436633695166710853740541913132092400083736810209324999387764

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_132 : Polynomial.coeff recurrence2Scalar3Left 132 = -((328163762320932045499596825262 * 10 ^ 70 + 6460127423919093119517683427669672318033878589149506689119726139235581) * 10 ^ 70 + 1889349256026632209652257777747396385767463560303204357902096819905821)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_133 : Polynomial.coeff recurrence2Scalar3Left 133 = -((2546216153629515030299285707805 * 10 ^ 70 + 5038597818956199214863743758163386574391663063738054296929854166700150) * 10 ^ 70 + 2845554467582852614441720155627118731099747702684161683117808546255760)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_134 : Polynomial.coeff recurrence2Scalar3Left 134 = (20108709110024352826408681355503 * 10 ^ 70 + 630685760772016400856469961119871226230150726622021392938534233524817) * 10 ^ 70 + 2914175096511526694616905718727130040071298075597487491575604418666774

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_135 : Polynomial.coeff recurrence2Scalar3Left 135 = -((60586279358066777323656322118290 * 10 ^ 70 + 6929430986192529041269703077173208282873228200708385977828135067295567) * 10 ^ 70 + 2744516785693142036213538772727187198360998515687367131459079264997123)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_136 : Polynomial.coeff recurrence2Scalar3Left 136 = -((14631597899471884459744259347653 * 10 ^ 70 + 4109434631696198518091072907297211179986899456011298596471124441446171) * 10 ^ 70 + 8212738901209114339814367990969187459365612044262925768131162301424074)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_137 : Polynomial.coeff recurrence2Scalar3Left 137 = (879824119154502345971705902722325 * 10 ^ 70 + 7278875545389320613409191332558005557277384784170944848203826441167596) * 10 ^ 70 + 7698254843331773940285160933124496872287787884188852428558409099661636

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_138 : Polynomial.coeff recurrence2Scalar3Left 138 = -((3204195787631218458019929785599990 * 10 ^ 70 + 2009329586598033438176396148360588956520898952230691515273345428391863) * 10 ^ 70 + 318629687203679053436979088013187182021615727117652339589848466494703)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_139 : Polynomial.coeff recurrence2Scalar3Left 139 = (426249082344839371485511614100217 * 10 ^ 70 + 3613158835267455853460663612124912550120975624729900683492981262319433) * 10 ^ 70 + 6951135357759605278712456924890296401779749526081859607218976190463820

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_140 : Polynomial.coeff recurrence2Scalar3Left 140 = (38950773347197931221636323656561311 * 10 ^ 70 + 3838959829672086031550490955818454826738434752683607344594882973414025) * 10 ^ 70 + 9463435213129729617701110492797890160460181016782506705460541178615073

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_141 : Polynomial.coeff recurrence2Scalar3Left 141 = -((134420371029992410586884160182418701 * 10 ^ 70 + 6306214000571616621468897777214892723535160503524102637846881934687616) * 10 ^ 70 + 9230696117212061843123367791890550372395014263499575845122219629747955)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Left_coeff_142 : Polynomial.coeff recurrence2Scalar3Left 142 = -((67324042751100110322608191953903741 * 10 ^ 70 + 4566121092757963377386196700007874815969759079671415237488016804092537) * 10 ^ 70 + 4563784233669444666981987043508279883777446400579710271264851403488191)