Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar3ShiftPart0.Coefficients194To233

Recurrence 2 lookup certificate: Scalar3Shift coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_194 :
Polynomial.coeff recurrence2Scalar3Shift 194 = (19762268144938786622849578841354575201860504327868433579022110 * 10 ^ 70 + 3675476426096230882903628345491194283747368691082318043854413897810205) * 10 ^ 70 + 6571139213542922406815684455800719367169253989375308121181971830805599
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_195 :
Polynomial.coeff recurrence2Scalar3Shift 195 = -((61582361836249861564568135477175975416419091174344012287175397 * 10 ^ 70 + 8521303957789580044530667087751901860064446695190971231176593388237066) * 10 ^ 70 + 5817761429542373527961442047425524274030778927650398722040016570608601)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_196 :
Polynomial.coeff recurrence2Scalar3Shift 196 = (118283494311998395512897354786840745724473789669730575012696058 * 10 ^ 70 + 4453212018273758532540476853105965712922048632384591643092958323569680) * 10 ^ 70 + 1441555040485425863166262267358811492352427807415359291919164420816636
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_197 :
Polynomial.coeff recurrence2Scalar3Shift 197 = -((93097788176188450082387905902690737484541051564634384396837355 * 10 ^ 70 + 4655460846402576955787894822977528746584640063151148793023473367835754) * 10 ^ 70 + 3711264070777055308313268934866798136747287394559126932879434453246709)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_198 :
Polynomial.coeff recurrence2Scalar3Shift 198 = -((322237370454817762773830351793015017384912527841183858167777786 * 10 ^ 70 + 8251895747878470868916194295940427177188338541691884771825883469248862) * 10 ^ 70 + 6132186503128559763320072085348583995033866335577840379384265990436372)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_199 :
Polynomial.coeff recurrence2Scalar3Shift 199 = (1759314091295987741221471843889458209596986961057910634213025417 * 10 ^ 70 + 5079209000700474949886853952326818257188062484040458686960771488215790) * 10 ^ 70 + 47920426597838430856069020028044848797638849804572116960811814408549
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_200 :
Polynomial.coeff recurrence2Scalar3Shift 200 = -((4962202977099505546130381528641322903979541039939358388151005688 * 10 ^ 70 + 5264671845918721105914802813174939598479893988475831394836170260611722) * 10 ^ 70 + 7249183621294223639427310808470180334632656515304702778991460509395775)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_201 :
Polynomial.coeff recurrence2Scalar3Shift 201 = (9487645006180730288289484844646173634531704690001600035356656146 * 10 ^ 70 + 931451186914032277680733102854794740813176124859052337167936075713358) * 10 ^ 70 + 4926701296148672822479682156571363961164891894366078455460488693632954
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_202 :
Polynomial.coeff recurrence2Scalar3Shift 202 = -((10023946297185480540696779100374905682559563603798964772294470262 * 10 ^ 70 + 8409054120106950195847259850492012283478943619726253344905848798304526) * 10 ^ 70 + 9939700007179196382207025303671886471716327775837940070509477028188114)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_203 :
Polynomial.coeff recurrence2Scalar3Shift 203 = -((10854721966917124371099952202004747848293724463227111385788756079 * 10 ^ 70 + 6399284443177423959150805284968924112625938705597238497264196059016284) * 10 ^ 70 + 9937752164713766242383252552674546887547825279281074504146923933774727)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_204 :
Polynomial.coeff recurrence2Scalar3Shift 204 = (92205375865141031622757764176256380215466505642650518595994419112 * 10 ^ 70 + 5990313135572008337819063357628995310797401611504979604140640547175441) * 10 ^ 70 + 7847528021466155829607699744722238443536063291176012565599053471941763
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_205 :
Polynomial.coeff recurrence2Scalar3Shift 205 = -((297363908709561992311071468299749142435065467617972001871488079592 * 10 ^ 70 + 3232498337217658202855565005782711203246674462571359336107631288926913) * 10 ^ 70 + 5578831101013505778641841640505780330207424694789090942753204385384601)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_206 :
Polynomial.coeff recurrence2Scalar3Shift 206 = (683814821093515261895514176483710997170679481820603442977823587188 * 10 ^ 70 + 1174752001245505071034729071467057986708929997236490923120786384487084) * 10 ^ 70 + 2286306145243708297990147425569052684909494236001094844537474206279059
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_207 :
Polynomial.coeff recurrence2Scalar3Shift 207 = -((1187354170957883417828269469523753687903944199155731742816935176611 * 10 ^ 70 + 969739881316593228797016063953496937703848614834559714480442564870475) * 10 ^ 70 + 1026257813180107126868102531182532295357708163138428169548485609410123)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_208 :
Polynomial.coeff recurrence2Scalar3Shift 208 = (1336861326723046781035244245718655317558539376069113954449099748623 * 10 ^ 70 + 3216070652671004553851165586449262263029859872552372114299254693402556) * 10 ^ 70 + 1278863960566170219695854868716203716390085950075076578993401617738389
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_209 :
Polynomial.coeff recurrence2Scalar3Shift 209 = (296236935032221739628149598306647218362031491484623673503949494047 * 10 ^ 70 + 1227850666781853696941097697742245579103467142431679257709090011934623) * 10 ^ 70 + 7626014820625877619936079188641401266175300193169453782945288670545383
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_210 :
Polynomial.coeff recurrence2Scalar3Shift 210 = -((6958860517356519880978445361216015873740437308802430100351894588669 * 10 ^ 70 + 3709511799973111218118434889290218799480102519083067221962187864092832) * 10 ^ 70 + 1869474230287312139830825266023997210518837368812611326598310206862883)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_211 :
Polynomial.coeff recurrence2Scalar3Shift 211 = (24753911114979836431765086575832464934780892806378350940980731332095 * 10 ^ 70 + 579339331548262340198629434560319087445997890102274044814572631557309) * 10 ^ 70 + 5060209694044071102518124896044708753042584627690933005017568720442707
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_212 :
Polynomial.coeff recurrence2Scalar3Shift 212 = -((63350556360526446349376800990827123966219357856802819781910781162826 * 10 ^ 70 + 3998166656180056358143554499133022819535284389459809551066873140528686) * 10 ^ 70 + 5067874871528545213253943792452155175426565347068960078885701046029187)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_213 :
Polynomial.coeff recurrence2Scalar3Shift 213 = (135284065247854226564862372685451241257520185711198147156071615378701 * 10 ^ 70 + 121207410430559769597921503918700865453418534940888582400295693384555) * 10 ^ 70 + 1748403176009583835944224502377783796660977159648567228025414057511722
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_214 :
Polynomial.coeff recurrence2Scalar3Shift 214 = -((252072991535807150458868974137229238934999124031373031153465582232373 * 10 ^ 70 + 3800387688205079983984035597618712923444687303838643232056274909123663) * 10 ^ 70 + 9701432102910678849383610126690671280968099377457216785833720931307021)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_215 :
Polynomial.coeff recurrence2Scalar3Shift 215 = (414860082638920230154661905892720919442272889026265555641249868465224 * 10 ^ 70 + 2580652620020414121033494282626772788651774046062018689278733202129025) * 10 ^ 70 + 1803874986324026154725090140915512959739625527176563204567496514267234
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_216 :
Polynomial.coeff recurrence2Scalar3Shift 216 = -((597399795664008549129478140894280020528707275124652927406271642834597 * 10 ^ 70 + 7273855692415566658116114367070359683853813431728495431704432454887122) * 10 ^ 70 + 346317715760224680807257959314944676436495467051925108686667476012827)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_217 :
Polynomial.coeff recurrence2Scalar3Shift 217 = (720537547910563220747853104308554463313283333249673215583967100969400 * 10 ^ 70 + 2944044702736351490154193729155511125412191844900095965928781534735562) * 10 ^ 70 + 2991311460102604572534166448337420376189531875994764443932781482102043
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_218 :
Polynomial.coeff recurrence2Scalar3Shift 218 = -((620281461112726492270832933792190727562429331611482856114027597283771 * 10 ^ 70 + 7237749697745524779023473283816919459947822033656594718007908359086617) * 10 ^ 70 + 7991798271178611214762382969749054128981144963563662277289869851580037)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_219 :
Polynomial.coeff recurrence2Scalar3Shift 219 = (16091955425207640520363956231000053621017886181065332781118944867561 * 10 ^ 70 + 8212328423671394222768852138633284816216931062105207465479901078931428) * 10 ^ 70 + 8616881117440930742488936238936081374559501387061907385791407231777621
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_220 :
Polynomial.coeff recurrence2Scalar3Shift 220 = (1508791904422324361398127499892966062000001401665114593254333487707781 * 10 ^ 70 + 1321396885979176512582029405885920903804984178259144806825697806998069) * 10 ^ 70 + 7144332708006741786491164393669207171059623658786896469667151566508183
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_221 :
Polynomial.coeff recurrence2Scalar3Shift 221 = -((4499173537103262881392456778372404745655765223310923980527121248732276 * 10 ^ 70 + 4754126118426452287352483475005908354523685822807895929983506312127143) * 10 ^ 70 + 6887938433088826835503150075880907184207020034467269749276599772361451)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_222 :
Polynomial.coeff recurrence2Scalar3Shift 222 = (9575784208609970766677245038643471253870903574426245428952672966982374 * 10 ^ 70 + 5984118818686828910486911484835290624880123980384102744507688071997829) * 10 ^ 70 + 1531987854921404386292255955514931115495445772292586861180184944396752
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_223 :
Polynomial.coeff recurrence2Scalar3Shift 223 = -(((1 * 10 ^ 70 + 7328984251466669372985966453993878033490025948807864609046280005835621) * 10 ^ 70 + 4689522813561785925882117957782354807399430169356024256090306818453176) * 10 ^ 70 + 8897075503430078164684607997002893293879019873648547893033929788223856)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_224 :
Polynomial.coeff recurrence2Scalar3Shift 224 = ((2 * 10 ^ 70 + 8160968261405189527778019038577455785316673645575917300933446566011458) * 10 ^ 70 + 790224646127543034754079996689120919406620155066658707313733366237595) * 10 ^ 70 + 8421083485591042237380224168750414788968778611512585684146410040529875
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_225 :
Polynomial.coeff recurrence2Scalar3Shift 225 = -(((4 * 10 ^ 70 + 2097656306435229660098181783981883510505133885362229380335678753006579) * 10 ^ 70 + 440535723240870036489799771245283490875356242375466836258762467855447) * 10 ^ 70 + 8793616332193458284649241943383345348369116287721583728808262666963518)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_226 :
Polynomial.coeff recurrence2Scalar3Shift 226 = ((5 * 10 ^ 70 + 8610909030200441716771388159824568000877643747081139493137267266558986) * 10 ^ 70 + 8517887644652286479904480772033046109662350484132591654350077641225928) * 10 ^ 70 + 6546181089456324016429579566308042327857829990761311584574824554713429
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_227 :
Polynomial.coeff recurrence2Scalar3Shift 227 = -(((7 * 10 ^ 70 + 6505177962071642768580298170613411729770790825546911366632432016940964) * 10 ^ 70 + 5823485128736441184902386125544451057282217812232077799329214060977552) * 10 ^ 70 + 6911863961525879770386126322357574440558974594000042484523749177114570)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_228 :
Polynomial.coeff recurrence2Scalar3Shift 228 = ((9 * 10 ^ 70 + 3922960816593053997552499453260996355099086174893055000335827898668625) * 10 ^ 70 + 5673032164422917492031022757664932647295165378538138890288697981216336) * 10 ^ 70 + 8509276177321234124194819178396789895170045373798976065558215535884837
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_229 :
Polynomial.coeff recurrence2Scalar3Shift 229 = -(((10 * 10 ^ 70 + 8505889086560416513201815858687714734991611443895536313748773266574221) * 10 ^ 70 + 9100689806662277673354349502581287253671053706978126779383677287807449) * 10 ^ 70 + 1275575661368846164405260365162601312323380055704318925434417044353479)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_230 :
Polynomial.coeff recurrence2Scalar3Shift 230 = ((11 * 10 ^ 70 + 7713717355404766978385537460293410992866574132312995882504119879947453) * 10 ^ 70 + 8312994183753055606763575676353225351582991311948337601588122282866466) * 10 ^ 70 + 4443756915070275423609435132299358003536063149509043182491361277170037
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_231 :
Polynomial.coeff recurrence2Scalar3Shift 231 = -(((11 * 10 ^ 70 + 9259268082698518545249092762584830995462594278846618980350570187329473) * 10 ^ 70 + 6788824828340364822153731194052154833799219861256910009393922050124728) * 10 ^ 70 + 9608415282249725633538417973596674338303308054030040382336475356470133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_232 :
Polynomial.coeff recurrence2Scalar3Shift 232 = ((11 * 10 ^ 70 + 1576171684141322820159832351238650866755124263095193711341117276011912) * 10 ^ 70 + 2960938385934977543479360951060892822580786001114744487107582000787394) * 10 ^ 70 + 6542277173614285720360771661798252547451901490090564446990547597784911
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_233 :
Polynomial.coeff recurrence2Scalar3Shift 233 = -(((9 * 10 ^ 70 + 4212235126228245450031901468774565670829302223816306995941757282593478) * 10 ^ 70 + 102067131984449302947552161114411232125625392636295221011616196993920) * 10 ^ 70 + 3145769852712949075569074783894492917147406272657025068112862773351301)