Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar2MainPart0.Coefficients194To233

Recurrence 2 lookup certificate: Scalar2Main 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.recurrence2Scalar2Main_coeff_194 :
Polynomial.coeff recurrence2Scalar2Main 194 = -((101332373013057264330392766020920733165745139411514764916225515 * 10 ^ 70 + 3470607924735392130922057633597385557246096379649574018836010633915445) * 10 ^ 70 + 7760439356115612237466417059330938052184329188505476844385525914378892)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_195 :
Polynomial.coeff recurrence2Scalar2Main 195 = (86409044495734338979412640015449596735539251883608125287263176 * 10 ^ 70 + 3665449512991272747742701860815570637843417587952782161735641967871193) * 10 ^ 70 + 6772322084145911931300086231033341437953167560016929725503967685790966
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_196 :
Polynomial.coeff recurrence2Scalar2Main 196 = (302065012393389476567417241773661048173623625856827577338002708 * 10 ^ 70 + 4848623954089781606864853058978749174820857197642018485309332486328753) * 10 ^ 70 + 1103944435389084384868042740518797891691633390498045915335835055950945
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_197 :
Polynomial.coeff recurrence2Scalar2Main 197 = -((1700665608941478855747992923717194381988638737196853149867202223 * 10 ^ 70 + 9765010161924555937901589728378812259573321651434965510358518039163643) * 10 ^ 70 + 3321559858464771335759959532872806238608681862471173535780431408281308)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_198 :
Polynomial.coeff recurrence2Scalar2Main 198 = (4750102864385744927121382524566696369112510863471979697916986564 * 10 ^ 70 + 2594124764635905713309308946566889546363564884335627738778293539690762) * 10 ^ 70 + 2703785099014904161775271566079543211615711210947115222862852609654303
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_199 :
Polynomial.coeff recurrence2Scalar2Main 199 = -((8276792933613928494710548025423178445736258680130000253267034802 * 10 ^ 70 + 1916091095030157800083439629652908978102452074459283142292931477900741) * 10 ^ 70 + 7370714239230554812844177206278101568151853795250784751135124503924514)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_200 :
Polynomial.coeff recurrence2Scalar2Main 200 = (4351665628494353518893883072750681819736788921878993101325244322 * 10 ^ 70 + 6023582665360628749592416933490892814681070770756471989949434717850134) * 10 ^ 70 + 9205751861082528263997887277737718103100405004796448287846429174866002
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_201 :
Polynomial.coeff recurrence2Scalar2Main 201 = (30417056618114303230820623783202305627155771418844966163942408225 * 10 ^ 70 + 2855142542841494740626525643938788593289017853473408405549660045376874) * 10 ^ 70 + 9285502720227713553897446021333496062629746711366070741842237532058003
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_202 :
Polynomial.coeff recurrence2Scalar2Main 202 = -((141813599372466701435126296033649790256053936993629774261972335724 * 10 ^ 70 + 5450611453741952341232391409584220299385412151236283800247076641267853) * 10 ^ 70 + 305157093952875087026985956899207899931728110446347533082004035601635)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_203 :
Polynomial.coeff recurrence2Scalar2Main 203 = (380539302842687688030952967357452823245778844269758725909504092054 * 10 ^ 70 + 3483196534211119976857996237630171647435570179559413967648681002457181) * 10 ^ 70 + 4976828217110158166888363522323206456177858346709340032860143629060847
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_204 :
Polynomial.coeff recurrence2Scalar2Main 204 = -((705685990994243521310074082522434866850370421336003189832256232293 * 10 ^ 70 + 8996527013272743627275169073618515189230199773347322694145253958437255) * 10 ^ 70 + 8777219004053505833990291302198686216874057104150697557283646700436979)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_205 :
Polynomial.coeff recurrence2Scalar2Main 205 = (716880237352304732854407424683648424081205995924493111021704243833 * 10 ^ 70 + 1794221245737922343364273545628696930470444078018325177234584490178577) * 10 ^ 70 + 9703201706505818694186930748776784386372884301276035717671759609814856
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_206 :
Polynomial.coeff recurrence2Scalar2Main 206 = (874476997541895897076393514126786744509220265852681461053658079895 * 10 ^ 70 + 3123058209442698098556778542315313571691540500346096376880876711105573) * 10 ^ 70 + 5845043126717164832379663540481586263750206166325419760257920162197238
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_207 :
Polynomial.coeff recurrence2Scalar2Main 207 = -((6966913257256878494847516467250014559735822100371906351594805324811 * 10 ^ 70 + 6466636782534134710344793344521473607228669124311818121050067203663811) * 10 ^ 70 + 5232250312687062901873931310828076568134182697170838946721582784280053)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_208 :
Polynomial.coeff recurrence2Scalar2Main 208 = (22398316981636520477508719874176530500538988297842053949466795983087 * 10 ^ 70 + 2237605341794425069257193641897857366247127961126248382681229248712009) * 10 ^ 70 + 2360205885768694839150004277637106705327942538756348700324517305844491
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_209 :
Polynomial.coeff recurrence2Scalar2Main 209 = -((52157025179579309729954019220602222661783765623320816825786242575343 * 10 ^ 70 + 9784683951268080631143400348797305773747417891175092420634664854709880) * 10 ^ 70 + 9423007788892553544209498833412620220847348219618401824154172978388727)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_210 :
Polynomial.coeff recurrence2Scalar2Main 210 = (93809966824879548951314064131206031818552396935415725005274002724321 * 10 ^ 70 + 6564853166087796878131821767055613964094724701452808174225517847066858) * 10 ^ 70 + 7830954094519128464907069051333823486451307315217726136774028391362188
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_211 :
Polynomial.coeff recurrence2Scalar2Main 211 = -((117985684555904281998903582437774123794735670153466693763366006177058 * 10 ^ 70 + 9376466688256131763204368889067862380120007246793766929796956947105807) * 10 ^ 70 + 1403546268369171462176073002118691877892030538912979717135094435882380)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_212 :
Polynomial.coeff recurrence2Scalar2Main 212 = (28825674995447750842229553304296711889267866579477882339270041373701 * 10 ^ 70 + 5231809578775670762656579821109479580312246362149600586867243276108144) * 10 ^ 70 + 2273512914531441658044226690534265264964322670565364458057395578744035
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_213 :
Polynomial.coeff recurrence2Scalar2Main 213 = (402543771420275385653109176598890397245784152856324604980408056178997 * 10 ^ 70 + 4489633385670834565714226419687687572405519597176688126615009026819618) * 10 ^ 70 + 2052468614225962951115074788620213624778273014213043292078616237993574
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_214 :
Polynomial.coeff recurrence2Scalar2Main 214 = -((1630364296126719095068197515268451633084471650996436321829526020587727 * 10 ^ 70 + 7168893313663347235035430221216908137969688942045302439000505915436957) * 10 ^ 70 + 1457195702206812443086369207624910107981737699036487502296138682927295)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_215 :
Polynomial.coeff recurrence2Scalar2Main 215 = (4431805637966150981492499505046989131394227571198189265866233740512096 * 10 ^ 70 + 9740777355894467900166554226554600226087136054108234134199147166018631) * 10 ^ 70 + 3859670923229620271962507464462711717928345093360291588411218799842707
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_216 :
Polynomial.coeff recurrence2Scalar2Main 216 = -((9955764340208975306872182362673182805619844217224086314870740822492243 * 10 ^ 70 + 4441035463412933173806075539036193190069507017994073602331723510434844) * 10 ^ 70 + 8339512600961379630742561602899184372015794258591697603805869365836673)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_217 :
Polynomial.coeff recurrence2Scalar2Main 217 = ((1 * 10 ^ 70 + 9624764259384223647660641234771616055263185885182987175167494679657002) * 10 ^ 70 + 9286791482739226642075799791060940294166067501940332823942546395305486) * 10 ^ 70 + 6339221821026258153937938218491677098885171787242273126695255063512429
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_218 :
Polynomial.coeff recurrence2Scalar2Main 218 = -(((3 * 10 ^ 70 + 4749528694256858977495872261620922242406836932679440565893431440386390) * 10 ^ 70 + 9657947575112903419797738731196203207715882260912968040175099727293290) * 10 ^ 70 + 2265642959017236810889433372581908123965496875831562438894777940823488)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_219 :
Polynomial.coeff recurrence2Scalar2Main 219 = ((5 * 10 ^ 70 + 5699622326685161213144765649838809117036952063937965144976954622445277) * 10 ^ 70 + 5905942908379615401355698442609057582549995177123671843681078831514415) * 10 ^ 70 + 187485969929912184322586940735264138923480163207777969031801344018617
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_220 :
Polynomial.coeff recurrence2Scalar2Main 220 = -(((8 * 10 ^ 70 + 516097366352115151099629365912180683076323539605870747221322565128983) * 10 ^ 70 + 3564778422221824766834446760215852792004367745652872631641574585768164) * 10 ^ 70 + 7236831099762649337609543477637048217181570089072394966683180108849725)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_221 :
Polynomial.coeff recurrence2Scalar2Main 221 = ((10 * 10 ^ 70 + 2983499457315300938420602309771572656020340509883746633657724855835271) * 10 ^ 70 + 6961846093982971140794570647247510047989835540635280503398018672121022) * 10 ^ 70 + 455761025282503462143781809839068373587779254782384852732223956509967
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_222 :
Polynomial.coeff recurrence2Scalar2Main 222 = -(((11 * 10 ^ 70 + 408837454530057500573129022190229494210049076767805782119984610499921) * 10 ^ 70 + 387734200662171542112943054081554538286822198400648852251341723473454) * 10 ^ 70 + 2197711159443090630359005677742104473617816391358150079573350461295266)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_223 :
Polynomial.coeff recurrence2Scalar2Main 223 = ((8 * 10 ^ 70 + 1654059390482931250444552730627892000905525731142782615825178989473927) * 10 ^ 70 + 5726837374514115422457234374573163552300580173697680911035536806584835) * 10 ^ 70 + 2019600663991007799579101493577033990441861437704928580226270313073538
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_224 :
Polynomial.coeff recurrence2Scalar2Main 224 = ((1 * 10 ^ 70 + 3746179357205959697284229155194465405893301574180522424375233459182385) * 10 ^ 70 + 4564745259593609736813770237594616888871203755322095635640106339747462) * 10 ^ 70 + 2622739319563425235592588742386002261578280990397187592206164480107926
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_225 :
Polynomial.coeff recurrence2Scalar2Main 225 = -(((21 * 10 ^ 70 + 4405784520472290980190774701979084668190548408251243535979528580329924) * 10 ^ 70 + 2547110007171082423805993769356106278777285497348343462757054566346295) * 10 ^ 70 + 957654368749663311489398319170742532987678871441339928522662533662030)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_226 :
Polynomial.coeff recurrence2Scalar2Main 226 = ((56 * 10 ^ 70 + 3008668536872346447911447092349502775864836141602747107820190168372166) * 10 ^ 70 + 347347945732227054118770647295674276086374193857745537927099593220054) * 10 ^ 70 + 339884595933225288492386483879787065266997907519258552725683969858993
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_227 :
Polynomial.coeff recurrence2Scalar2Main 227 = -(((109 * 10 ^ 70 + 9002734832082889153577632784833927412409733422605619955469416141014171) * 10 ^ 70 + 9057614627310388356111791116548761118374379559581866852437903881665619) * 10 ^ 70 + 5571704201728328711878640402341928652850301111547123887278013862074661)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_228 :
Polynomial.coeff recurrence2Scalar2Main 228 = ((184 * 10 ^ 70 + 8608566619885904207915358127991288239559542329319062249775172765761855) * 10 ^ 70 + 9476918285989048144103963257120479502466782028424417977907126638350396) * 10 ^ 70 + 6497422558174317670845663354582612059903999608210168281283493758571749
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_229 :
Polynomial.coeff recurrence2Scalar2Main 229 = -(((281 * 10 ^ 70 + 3745967789596369050254876118680592579791628088883448683850888321977295) * 10 ^ 70 + 5864605155484600582581137520018214463635516464475843908341328294472162) * 10 ^ 70 + 1442395261277495371291331595364805685174570783741314512975069301098599)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_230 :
Polynomial.coeff recurrence2Scalar2Main 230 = ((396 * 10 ^ 70 + 2423973454234374329583667149116870227974622213783121702823967366802765) * 10 ^ 70 + 6142606913596297778298540433566443565918985275287400121449887391968615) * 10 ^ 70 + 1159701641078223510201078998226770224385855332152645210761007557023902
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_231 :
Polynomial.coeff recurrence2Scalar2Main 231 = -(((522 * 10 ^ 70 + 3587821426002001437046456390520251140733397583143215902488876556307154) * 10 ^ 70 + 9817802072912582847932550379941030653488402497014487783746495183780177) * 10 ^ 70 + 1867958985685304387762618536763231290678158741475420209183732860209744)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_232 :
Polynomial.coeff recurrence2Scalar2Main 232 = ((648 * 10 ^ 70 + 9057628230206691892878878680389891612419303759067733144901221638447792) * 10 ^ 70 + 8924781807777457204852660493910318843585783206063885319782475030991261) * 10 ^ 70 + 5450528752149641927577217593569654922167738033927124888358005524182014
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Main_coeff_233 :
Polynomial.coeff recurrence2Scalar2Main 233 = -(((762 * 10 ^ 70 + 3923049801531545759462514764550691055199372833483924008487645674852979) * 10 ^ 70 + 2869164561739028970574494147431504073430177949576942138775535511681359) * 10 ^ 70 + 74895818420596810501190244633263554489762866454830758269646473745195)