Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar4MainPart0.Coefficients192To232

Recurrence 2 lookup certificate: Scalar4Main 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.recurrence2Scalar4Main_coeff_192 :
Polynomial.coeff recurrence2Scalar4Main 192 = (595442742478422790540862986142029941028013673350716158712310 * 10 ^ 70 + 4596212849631422884359744985128205835848763349567657101939075138255839) * 10 ^ 70 + 8182084435948249656882941278429881152900653340869862012061584434338289
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_193 :
Polynomial.coeff recurrence2Scalar4Main 193 = (356637604802278782534481861122952628524747315583194138607677 * 10 ^ 70 + 2555135205364082179764794024079141848668726933313758760182060734806642) * 10 ^ 70 + 2951094965988321409707796470739012571618562451377840412601769931763303
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_194 :
Polynomial.coeff recurrence2Scalar4Main 194 = -((5005616538541674126512034976647968451258548335972860733933725 * 10 ^ 70 + 4360983744485750056588266008514024823810686908491506029641854029125797) * 10 ^ 70 + 646322232003253411003384487852037547346956460227066091031593775204909)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_195 :
Polynomial.coeff recurrence2Scalar4Main 195 = (16972282629349193790070418129969980534978438353291633144932743 * 10 ^ 70 + 4702463683075123496397448957584960938237363064388485818760300424131013) * 10 ^ 70 + 2745046338820000006631744456485249989508628166015240919020890970600822
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_196 :
Polynomial.coeff recurrence2Scalar4Main 196 = -((35330546598809857532058602315112329751271560476231583043827784 * 10 ^ 70 + 8358016929842067533146565222464572782885370449403301293164018757823983) * 10 ^ 70 + 534727297353281602464753652895289507977114042232415372149213416785335)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_197 :
Polynomial.coeff recurrence2Scalar4Main 197 = (36886451828229405142579893785483572984225594935548891721544666 * 10 ^ 70 + 689458877503750295312435353108135873749506030236304072371059041616118) * 10 ^ 70 + 9083170561980851162503402903773516035365191242732170383176111904376215
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_198 :
Polynomial.coeff recurrence2Scalar4Main 198 = (59196412474005496883051113343137771972788911731602769942988009 * 10 ^ 70 + 2813220399449236371949109501184023501517478925916322374711297535606770) * 10 ^ 70 + 878000908646804463898490037045640266419334603864071287609405236352071
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_199 :
Polynomial.coeff recurrence2Scalar4Main 199 = -((430462263395051876308629265385714443016343344909976327655037615 * 10 ^ 70 + 5776860442383060467117924464036181000029678300502398113660930924774394) * 10 ^ 70 + 2895216729136995302526546702051321542872007357887708173562718342446216)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_200 :
Polynomial.coeff recurrence2Scalar4Main 200 = (1319612339968506391153318041833171086039261999280816039491750918 * 10 ^ 70 + 5946823212108777205429934312486479993045548026791388142330932790209664) * 10 ^ 70 + 5300118040826173030894331482839743659419610784531106225509364241719540
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_201 :
Polynomial.coeff recurrence2Scalar4Main 201 = -((2736672205854154540378726813980123972545919627667761138487091820 * 10 ^ 70 + 1059278290159295071844879505371474801200233248379374169530047172323069) * 10 ^ 70 + 2459407191557795741236041446465932538228455442263734050653187836162899)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_202 :
Polynomial.coeff recurrence2Scalar4Main 202 = (3541169468720030731959187492738432972374497004505310662644065364 * 10 ^ 70 + 174819209985307894054908298848810707745794415818708521151194673636011) * 10 ^ 70 + 2370823514419504720107623331294930108619138807602949566575812945341419
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_203 :
Polynomial.coeff recurrence2Scalar4Main 203 = (489221560446293924382067304111450833867034283519965820054501507 * 10 ^ 70 + 7680351299707838417159981075391671847587321576969231932957839910740444) * 10 ^ 70 + 3293192448049473638843974118183069087216986079563216767159910238683388
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_204 :
Polynomial.coeff recurrence2Scalar4Main 204 = -((19513071629685158149558348971145478120592317812634633232787056359 * 10 ^ 70 + 8989897356503300413745657344980496545765823255293071344763523535257415) * 10 ^ 70 + 940272431419305507391910209092629739562591109941989529249647762349086)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_205 :
Polynomial.coeff recurrence2Scalar4Main 205 = (71564090147867462350814619497270511975724458934488996087508027002 * 10 ^ 70 + 2533709648260473873949307593335204784776368006720934039414381167524631) * 10 ^ 70 + 3531978104391101472429064688331793140014358906053851233720968681341489
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_206 :
Polynomial.coeff recurrence2Scalar4Main 206 = -((177764928260033109637054267563987071590650099208232511326498264459 * 10 ^ 70 + 555697837318634948511187618899609390877902401483906769160533644981068) * 10 ^ 70 + 1882037768268210964653435163209765818279468642998939184882738935709092)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_207 :
Polynomial.coeff recurrence2Scalar4Main 207 = (338188291400152325655720822037482648863331064186641059699306015386 * 10 ^ 70 + 7344260356038755998568579547503951009183241786283635058304675427723708) * 10 ^ 70 + 5766178217369981641243301136191449419649923697570244905044997795144680
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_208 :
Polynomial.coeff recurrence2Scalar4Main 208 = -((466974333623585108826761650749619474966132758473664984146314660979 * 10 ^ 70 + 4678358058593334893328877162030289007801296053701608109808744810096175) * 10 ^ 70 + 5719805403714788546751467682815231757755384957498377795917529110176122)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_209 :
Polynomial.coeff recurrence2Scalar4Main 209 = (258765033036518806025245775548447560402612567513828374559083898542 * 10 ^ 70 + 9838939423243977721124784329537603315400127498973141259334998083729169) * 10 ^ 70 + 9817851532297948609402279881442155774987539480286854009538014387219459
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_210 :
Polynomial.coeff recurrence2Scalar4Main 210 = (1036824822882421268527095061927086341137774389973118862734763011875 * 10 ^ 70 + 8559896363984433014862217792359278524135633684099314437170813167086861) * 10 ^ 70 + 3467299291983984694316896393687638315316570102313174542674403540105191
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_211 :
Polynomial.coeff recurrence2Scalar4Main 211 = -((4926378202729796066536637050380581375078109000975482993984661691617 * 10 ^ 70 + 8567084944100304138199065233119159400627921641067404644846533068778917) * 10 ^ 70 + 6465215470829614558978033396506568211310324973721984632862811469944637)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_212 :
Polynomial.coeff recurrence2Scalar4Main 212 = (13993898334596636799403528293241672446770843162633777063694021410402 * 10 ^ 70 + 6825167569284059315416248897972503614082638391331670879884103179436291) * 10 ^ 70 + 1566852316040394955716111297113466376982049299374683864947179188576555
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_213 :
Polynomial.coeff recurrence2Scalar4Main 213 = -((32040771469225682043105964077981709567567885056530216467838660988512 * 10 ^ 70 + 2501006190188335674422630023202781094154823588705858601557608956056879) * 10 ^ 70 + 4329107238556216567540088323100159485510752142406360363084459661323349)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_214 :
Polynomial.coeff recurrence2Scalar4Main 214 = (63705467741336647195915285546962385020881388011524300612436978782829 * 10 ^ 70 + 4077433604869593021827164786642802392342778180042006513060946184199798) * 10 ^ 70 + 6132368006421539671355290590946899246703396488453912054515736888994869
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_215 :
Polynomial.coeff recurrence2Scalar4Main 215 = -((113093178801298498765829387688643798362142934290345129497522263755081 * 10 ^ 70 + 6752131199231814893292519677367333932385263380318806461269585648834503) * 10 ^ 70 + 7794030032117735208247169560675251714273462106544195757128858230114936)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_216 :
Polynomial.coeff recurrence2Scalar4Main 216 = (180918871548576413265724697274230403995333948733216348170438510064859 * 10 ^ 70 + 2887451425750768937681065320628362636409711917287691838015739015662604) * 10 ^ 70 + 7685896353177886329041830804065685329852785237012755009803980142561706
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_217 :
Polynomial.coeff recurrence2Scalar4Main 217 = -((259854294532578150075246362015233907701784699842550882654041586321723 * 10 ^ 70 + 9827568890261866407354151269275336807334851663608687500477430683048069) * 10 ^ 70 + 4997974699739867569479982039043678995167450922703608192753566560008996)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_218 :
Polynomial.coeff recurrence2Scalar4Main 218 = (328260373579093058744661113510228659784648734409583070771067595919758 * 10 ^ 70 + 669212485257232600234071813554173560701403297235656900917282138368459) * 10 ^ 70 + 2797302928077651703539855269449034015961500120430765670650220357220953
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_219 :
Polynomial.coeff recurrence2Scalar4Main 219 = -((343288183394694642518484767159498763409328585112194207476196859548726 * 10 ^ 70 + 9057228444557774781604784662555113627102333083044116807585074147366735) * 10 ^ 70 + 1029962191645006392860072390954474036564729161290087170947933403466150)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_220 :
Polynomial.coeff recurrence2Scalar4Main 220 = (235305201677771155678053165092831706371689525179974524269840110646566 * 10 ^ 70 + 1470870972655057315305471748037949387518756161524335518131275374528073) * 10 ^ 70 + 5955526672136428180376209501660836072097295340282383628430863454132198
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_221 :
Polynomial.coeff recurrence2Scalar4Main 221 = (93563043618153505547987815469175528917862493966508441682046602246497 * 10 ^ 70 + 6573759812410943850503366507515848892714449736891180000760402692043623) * 10 ^ 70 + 4077717065167199132963225938444037459468445567021844531860048498381486
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_222 :
Polynomial.coeff recurrence2Scalar4Main 222 = -((763730577712869530213127500442131311435163203710292713817442438124997 * 10 ^ 70 + 3260647150083108505906268633293325517873662880972683566606457838709393) * 10 ^ 70 + 4098337572981833972819264268851181329971485002052846901929476366052717)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_223 :
Polynomial.coeff recurrence2Scalar4Main 223 = (1902992841808837530681720373615730696895554451786700683757792747131934 * 10 ^ 70 + 5722343140719724962984034578010063941247814020986145398570061788303518) * 10 ^ 70 + 5209822766404628608870599263910639079801487441219081938719315533888709
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_224 :
Polynomial.coeff recurrence2Scalar4Main 224 = -((3621588019868893534226399203726696846962191125348141860199757201225155 * 10 ^ 70 + 5115145214126933946649652303613929414930900979073848118101426634128625) * 10 ^ 70 + 1682063874542512393475052183028630087333780553686890831499131854915041)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_225 :
Polynomial.coeff recurrence2Scalar4Main 225 = (5980147142530380927333991879646105341086702088150201682316148990371873 * 10 ^ 70 + 6290959905501195228790557893439584884132004212442658782184555611574217) * 10 ^ 70 + 1064495508243630573591445853715956371559381075083357742921566564767507
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_226 :
Polynomial.coeff recurrence2Scalar4Main 226 = -((8956523768613645238369057059153073367233132260721689172002621162743652 * 10 ^ 70 + 9587003286992281080806566750210100338738235997203311878482302856743366) * 10 ^ 70 + 5093463876250747535686966542280016440105527041975301656712509079009451)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_227 :
Polynomial.coeff recurrence2Scalar4Main 227 = ((1 * 10 ^ 70 + 2420048692817636811046743994304587802198310426922111435481984659600225) * 10 ^ 70 + 9086345866081550397922994502678499476442582931364162811203386706410993) * 10 ^ 70 + 3636345061351638095959309287405349904302017721146072850068508326044690
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_228 :
Polynomial.coeff recurrence2Scalar4Main 228 = -(((1 * 10 ^ 70 + 6122368946936604984980984948236427585774543964093263579333492276600482) * 10 ^ 70 + 160908315379607190125997537194160526036315160594297969402623508426330) * 10 ^ 70 + 665970738898403089255058358519099734699725304192107092617996487771553)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_229 :
Polynomial.coeff recurrence2Scalar4Main 229 = ((1 * 10 ^ 70 + 9711904799407735771481095837912624600697049920145212038489178352857498) * 10 ^ 70 + 8589141170691503070699225797237842027687785626831679726205062589350618) * 10 ^ 70 + 3766889142527414550121429840699478957965422425450121011308195662593377
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_230 :
Polynomial.coeff recurrence2Scalar4Main 230 = -(((2 * 10 ^ 70 + 2774095033267714646538919063841421400589161295907506935971233836419975) * 10 ^ 70 + 6139048825416294894464374878699036156376562673503691256263887910265457) * 10 ^ 70 + 4965471653146423774907924098788641556815961209744665495550353397846622)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_231 :
Polynomial.coeff recurrence2Scalar4Main 231 = ((2 * 10 ^ 70 + 4892996607894148789467920867950578824466032546248167817965652775744140) * 10 ^ 70 + 6213819982119581026608594652125917058496073595136145036570427488046108) * 10 ^ 70 + 7747977165927669436679894534308661636081828987227028083363705295884986
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_232 :
Polynomial.coeff recurrence2Scalar4Main 232 = -(((2 * 10 ^ 70 + 5723280489061886330056861171536976452641346188235717082266230782392539) * 10 ^ 70 + 8410852488596618025254023693770570958913017039134882237644087830296447) * 10 ^ 70 + 4551006252388443808618392084716443150570734161627146502879730711672511)