Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart1.Coefficients194To218

Recurrence 4 lookup certificate: Scalar0Left coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_194 :
Polynomial.coeff recurrence4Scalar0Left 194 = (((1418433264697527325 * 10 ^ 70 + 1756284500983973101431852375850653986806343099544932665219377197734885) * 10 ^ 70 + 2119334441427195911199541333965017553605305546917618712581074933591539) * 10 ^ 70 + 1694184713666423363330394305609129937935245165579166193428412102746432) * 10 ^ 70 + 6789985308429876595252578449198903158676787922311398157848849122086311
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_195 :
Polynomial.coeff recurrence4Scalar0Left 195 = -((((3188493571244610522 * 10 ^ 70 + 3805752416875197365614218221472086786575396866515936287480343835449962) * 10 ^ 70 + 1365826094586635047257865813869312639922372015399699299446360107148903) * 10 ^ 70 + 7414258693151800718469935703218447465938865988883634553410595526664688) * 10 ^ 70 + 2562356080519371042392599886714364421791330884499831872408204259774600)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_196 :
Polynomial.coeff recurrence4Scalar0Left 196 = (((7066200232205532493 * 10 ^ 70 + 7375248275990946729350270636195526687743226467291060122672166340040280) * 10 ^ 70 + 3671798099876157898464429146659823032194823764408921141889520553912769) * 10 ^ 70 + 9857800838242989195400804436686779692910417141513954593624129204753982) * 10 ^ 70 + 8665842337520507520806535478338257597526571542648927158396877943092078
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_197 :
Polynomial.coeff recurrence4Scalar0Left 197 = -((((15439011906801270379 * 10 ^ 70 + 5115747968887426344151419642126433956830562183526977175621541090425019) * 10 ^ 70 + 5512589963466620538127490426577413204703019886278537682368761873072155) * 10 ^ 70 + 2281700058920708794166194710144839541004239831303477677695507939913028) * 10 ^ 70 + 6675807817199442010006601787497536044778998435523713633932252117620977)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_198 :
Polynomial.coeff recurrence4Scalar0Left 198 = (((33257914628450569216 * 10 ^ 70 + 9953184060671270722236907963573228920313485650025457926498162934431285) * 10 ^ 70 + 1409784553003536510236729728045071288236300340689849686484479685326035) * 10 ^ 70 + 3639739180091728623417018838111436326097805904930741044844001138985231) * 10 ^ 70 + 9529078409228173095797150781439246655521284517123055234557744032772876
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_199 :
Polynomial.coeff recurrence4Scalar0Left 199 = -((((70635109148660598865 * 10 ^ 70 + 7831088808310211381553568020464655018687879729788184469226580235293776) * 10 ^ 70 + 691513496804256948107266797810294773494930265986143069994333430479169) * 10 ^ 70 + 2428189851264866360651992465953899817558901630991382205028659187558732) * 10 ^ 70 + 8515148885721237656909025215334976429934133721133947119748994438297966)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_200 :
Polynomial.coeff recurrence4Scalar0Left 200 = (((147912140974087865979 * 10 ^ 70 + 479504234434940321018413527068962809818786484054656621736528964767452) * 10 ^ 70 + 115193850697848004626767674901564994904134592736149506371321001199288) * 10 ^ 70 + 7388833459430799275967234396428762719707412659266849602196591518123795) * 10 ^ 70 + 5023670164292023353794791821480595501665015380750754503143259804485178
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_201 :
Polynomial.coeff recurrence4Scalar0Left 201 = -((((305387652476714851217 * 10 ^ 70 + 8726244553138722222161441176951533667873583319060414278271495024374206) * 10 ^ 70 + 386104260826560933718559955735730022768011842116415082788507245931179) * 10 ^ 70 + 7376368181003248043821170987817381126094333603018559602461765159184520) * 10 ^ 70 + 1888932507194027129312732088852088249412921009369125807792897890981623)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_202 :
Polynomial.coeff recurrence4Scalar0Left 202 = (((621684102329259303825 * 10 ^ 70 + 6307575504184334450330943419017025053417867476390977978973259802917952) * 10 ^ 70 + 7221029206144589681167676213645827245782138921498063121608512666191214) * 10 ^ 70 + 4290195435957858065791860217156924216882920580131360411026481787554451) * 10 ^ 70 + 571421063459929691806719979545822724212328569473207369362920591053056
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_203 :
Polynomial.coeff recurrence4Scalar0Left 203 = -((((1247855239297143657276 * 10 ^ 70 + 8949007283882172431704778221567927160332252822149787449685199943630007) * 10 ^ 70 + 966992731224820038933323112756987405449596024625400719203717901096918) * 10 ^ 70 + 2494519461099668684388267545722824536362671959966220999255200683182636) * 10 ^ 70 + 2193869012004024500215161711456342004892012133892181230235171203531526)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_204 :
Polynomial.coeff recurrence4Scalar0Left 204 = (((2469674073580520829398 * 10 ^ 70 + 9250779376201020001542004480422780370587899362676270807028469252529910) * 10 ^ 70 + 574165465367241926699420013326871474765404534560572221606580115967829) * 10 ^ 70 + 4257839110086569366863765160281124089789836785966346431074846730615082) * 10 ^ 70 + 7362772773174032665277024477139336695382789508973928561938719113570852
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_205 :
Polynomial.coeff recurrence4Scalar0Left 205 = -((((4819480226774865668639 * 10 ^ 70 + 652084572944446903763168140586306670808982392496448422133487780217939) * 10 ^ 70 + 5984179974866956461075686584357090331655751037408954629832546540337941) * 10 ^ 70 + 4401464677085398033746096609282938062170487320026171059320098029170248) * 10 ^ 70 + 7054222194275182345810012056780512626534455226164813320957024485631308)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_206 :
Polynomial.coeff recurrence4Scalar0Left 206 = (((9273620160779271763050 * 10 ^ 70 + 8016284350201892224253538048360572984885786735069149206222295687511753) * 10 ^ 70 + 4033134351156847240158316344232134544281288208806232491196615895982064) * 10 ^ 70 + 8271547925614852950275781163258949241603938636644001115422362158163747) * 10 ^ 70 + 9879117356168325526526024648384868178596406921474350485456824134530290
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_207 :
Polynomial.coeff recurrence4Scalar0Left 207 = -((((17595014282008033135319 * 10 ^ 70 + 5777965400516218212390131665388430790387624629047331055685654061264012) * 10 ^ 70 + 4784372163788981394207708589323278320982959285395032800583976371478649) * 10 ^ 70 + 3449557716160150660539063612720953605173314909431563975457545217203372) * 10 ^ 70 + 1989021067857844793534515307184922014517411517574269854794702545481216)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_208 :
Polynomial.coeff recurrence4Scalar0Left 208 = (((32917214821474258480474 * 10 ^ 70 + 2512412708750889031740488130706100234725550432221760719195595286932923) * 10 ^ 70 + 6823318644389540225717772961117443618352083213496164429126635366577746) * 10 ^ 70 + 8110307279264412664060894931829304657387541936099166983299817879914036) * 10 ^ 70 + 96743687063190143428132623360601545408800114399188347500396758291121
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_209 :
Polynomial.coeff recurrence4Scalar0Left 209 = -((((60722663223937046191165 * 10 ^ 70 + 1095845692157995945185299502884822069449848117052515181207798052641971) * 10 ^ 70 + 668079539134519120871289715717576703820780076588960781225544243969471) * 10 ^ 70 + 5929221693736490650104431175656418485159608031505175435128109063003425) * 10 ^ 70 + 3965312259274718789705690421634909321210505196682793170660518824520)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_210 :
Polynomial.coeff recurrence4Scalar0Left 210 = (((110451884533435134799970 * 10 ^ 70 + 1319998484098973257194405751523143178256031116528664171040229033889220) * 10 ^ 70 + 5498749473707919750250044467214799090000879943033606424380754825805534) * 10 ^ 70 + 508677957722914930851847263139846496862424343053718016371818722823293) * 10 ^ 70 + 8470586087840686360291910338902315728421809779542008118244847261591737
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_211 :
Polynomial.coeff recurrence4Scalar0Left 211 = -((((198102297236079722626520 * 10 ^ 70 + 8301763536680629772998248472156440387765799159545845036663173105031213) * 10 ^ 70 + 3113157063738241236640543758997603831863351212812909522055796413489767) * 10 ^ 70 + 4252268309451177547721474893362313620819095098369869136629680446831952) * 10 ^ 70 + 7094521279505041240469474359165795058572224348178594817778901389450384)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_212 :
Polynomial.coeff recurrence4Scalar0Left 212 = (((350347114117479612891873 * 10 ^ 70 + 3933144408697091486378906482390532970478954754728535507807226313894694) * 10 ^ 70 + 9197545597968087473399475906233425144705583145059515199129744464115039) * 10 ^ 70 + 6770413065978976294259840534126899177304472306628334803210799676572586) * 10 ^ 70 + 7007650142814157083033620283988868739798075588855567515406974969853243
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_213 :
Polynomial.coeff recurrence4Scalar0Left 213 = -((((610939061002311366871054 * 10 ^ 70 + 4601574860754658604960546710521419693874906438716628513258224292420601) * 10 ^ 70 + 3652338725800476188187518804771658495923729744781260756064804764755493) * 10 ^ 70 + 9074797264699888869911711686272761609411916869157712556619378294092842) * 10 ^ 70 + 3404814612012672068706976632262188415369523560043400121102983917355866)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_214 :
Polynomial.coeff recurrence4Scalar0Left 214 = (((1050471445634654692440844 * 10 ^ 70 + 6338002513760944924437792895236776172304461651014553346654026746186973) * 10 ^ 70 + 731531905272412969071579894931650059571041559432420623207037152463720) * 10 ^ 70 + 8039114079302808247227023805726405102463260607619031602858023485434680) * 10 ^ 70 + 1274878770449042391977324808356801777214023642821588098463336671296611
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_215 :
Polynomial.coeff recurrence4Scalar0Left 215 = -((((1780956418878576874918269 * 10 ^ 70 + 6887176390213930720759768215869176227697705498971581235526948198421466) * 10 ^ 70 + 3524089317948948949221426799070217875929240540716285200606878452056025) * 10 ^ 70 + 5983424331029051152788089414134010746707610604555953592635153352302544) * 10 ^ 70 + 881357609289705834506214559091264405966971847972064501484266233033394)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_216 :
Polynomial.coeff recurrence4Scalar0Left 216 = (((2977142380303626194330639 * 10 ^ 70 + 4664676012609788226542435303097140348103064743780051238257259034443342) * 10 ^ 70 + 3540457382831723165716632014270354870826487025614387327400691789779799) * 10 ^ 70 + 8275187975920722105040062408625361492916047413498256512465429528109803) * 10 ^ 70 + 4377370009135114240078981087017444961903461373169423728707186415144087
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_217 :
Polynomial.coeff recurrence4Scalar0Left 217 = -((((4907006512027124825694696 * 10 ^ 70 + 4360788449470543391352593357559324371532997014765489312614851224307574) * 10 ^ 70 + 4840351587780280615814796654332932193735720556190082871885320098861) * 10 ^ 70 + 883220577693617527980915200465894426816528135574530652163201532851242) * 10 ^ 70 + 2340767964761077737863901364511006659816983229472885936066008906614467)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_218 :
Polynomial.coeff recurrence4Scalar0Left 218 = (((7974374040417756193387899 * 10 ^ 70 + 4350530785925980003762518605256869661230600782445872700710954506389074) * 10 ^ 70 + 909579713470993820084218764236190464067501108819083918283712909157320) * 10 ^ 70 + 7795763026108223349547733565405104256071372033045528067445994488959704) * 10 ^ 70 + 1542839043665904170758248088080660832298535801059213099067081108898812