Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1SecondPart1.Coefficients198To223

Recurrence 4 lookup certificate: Scalar1Second 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.recurrence4Scalar1Second_coeff_198 :
Polynomial.coeff recurrence4Scalar1Second 198 = (((37422938450915169542 * 10 ^ 70 + 2833262428062816476131558171572364782596007480043533091726725672576854) * 10 ^ 70 + 9527769793397522849277616834037765541573097861704407072146263260637127) * 10 ^ 70 + 4053153072914641567148954980737368581134642008458976823682666965266058) * 10 ^ 70 + 8083532063046714005950235803676750382586306602088303016378888987893627
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_199 :
Polynomial.coeff recurrence4Scalar1Second 199 = -((((77963259506617868427 * 10 ^ 70 + 2525571222302356986573907250150330087174741182063558584110483077148372) * 10 ^ 70 + 9008150238184767494957495103688712902437625706282294755840851108646920) * 10 ^ 70 + 9184844887576612061737349317899193869374954367677296835978643371204211) * 10 ^ 70 + 1415371134811127948871622889360273447668856502101783712049305407076382)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_200 :
Polynomial.coeff recurrence4Scalar1Second 200 = (((160103246207659170753 * 10 ^ 70 + 4921973009266894299764406024722191935208804299484088723284442403767757) * 10 ^ 70 + 7341478209618045689161943218470159749096620478449001267149435321050847) * 10 ^ 70 + 7030898662672861637796341013832023651851860144806925828047272081695703) * 10 ^ 70 + 6276849504178032283809344902614755554649004681896417246622400145311277
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_201 :
Polynomial.coeff recurrence4Scalar1Second 201 = -((((324092542672220263719 * 10 ^ 70 + 3285354751894727120171765972776732300656257206719663021484338566797940) * 10 ^ 70 + 215058710567484754261379046779680243560536544223242792558532588650908) * 10 ^ 70 + 6475963337294381488220500209298511155323417444959160895515172082891892) * 10 ^ 70 + 7375665065433266197372603069164149372654218555779554459462621343294871)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_202 :
Polynomial.coeff recurrence4Scalar1Second 202 = (((646690107198466847848 * 10 ^ 70 + 2553189390656480586607043845466688376866496754098823129434433136327029) * 10 ^ 70 + 5270048519034338148494630391416388632119519025197125927764625190436183) * 10 ^ 70 + 1308453292296718261183233846125278895597566651489364755242872836417504) * 10 ^ 70 + 6532486003332020996824365214287793082874324243999036620988489261199263
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_203 :
Polynomial.coeff recurrence4Scalar1Second 203 = -((((1271979053627219613741 * 10 ^ 70 + 4369005518687683269565425648829939393946010079584506082215523320108461) * 10 ^ 70 + 3825392637610305572540257248231618751017338149951554826488950632680741) * 10 ^ 70 + 6501426819165067293277265246217980271398614754661093359866055383683797) * 10 ^ 70 + 7334316644893378169780614097963263639668260832676240421504809861562181)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_204 :
Polynomial.coeff recurrence4Scalar1Second 204 = (((2466137161318618181173 * 10 ^ 70 + 9803324902410508285630629880548305768670290406044338472052547350954511) * 10 ^ 70 + 8258026297499724522756361827332360796108515346894329466886898889095629) * 10 ^ 70 + 8732768413988822603122399147539453482142036173880856383080230060125116) * 10 ^ 70 + 2665389606799873169032238885535651312803188004889563932072664061388150
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_205 :
Polynomial.coeff recurrence4Scalar1Second 205 = -((((4713066562309776372899 * 10 ^ 70 + 3108466711290792005640280170097816136146212219887070620885393293209099) * 10 ^ 70 + 8861528022057829275334431998690202069281702159208370865522376185959012) * 10 ^ 70 + 9260544261773032810363396520116763736933987441756702474839022195762677) * 10 ^ 70 + 2551143776607451467170780292793908443984415750804081037573844845261788)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_206 :
Polynomial.coeff recurrence4Scalar1Second 206 = (((8878365878648172262810 * 10 ^ 70 + 7550731536136459375286347097537242284129667334817125421396794844698891) * 10 ^ 70 + 8825779976327207348400048091681916767306094825863222358067561024204876) * 10 ^ 70 + 4115050899589136234176956672338471743707585195114179525315676687971047) * 10 ^ 70 + 5052232090028512005752987691252682327635592878750894412520839574471421
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_207 :
Polynomial.coeff recurrence4Scalar1Second 207 = -((((16485344893113825714149 * 10 ^ 70 + 9306959079572200039778654859586915394332402558587321665244539919223585) * 10 ^ 70 + 5138263219585266695330573872690837156610089078321871919884970402613020) * 10 ^ 70 + 9527780230710517795065422056478834598328720656647731286338836137374094) * 10 ^ 70 + 4500373512167540293080510826217988555833028171558196032783621423952811)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_208 :
Polynomial.coeff recurrence4Scalar1Second 208 = (((30170966817933990214246 * 10 ^ 70 + 3245253836254632021235694926747864399455462140676108688287717670377838) * 10 ^ 70 + 3848489280025607234695004157149937812403308127448648900568846873858313) * 10 ^ 70 + 9314267570521927930424821466290380557418009974261135771225671474407904) * 10 ^ 70 + 9993148948327535398891130691061515855935087612459393204726888433539197
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_209 :
Polynomial.coeff recurrence4Scalar1Second 209 = -((((54424613579265150538590 * 10 ^ 70 + 6760911471348355088485880479204739843782416749046753823754946276458135) * 10 ^ 70 + 6676567298944291958956453878266472864658438201143080432029368537211987) * 10 ^ 70 + 2423678573180961575713897181953554069201804398585761761765965744693508) * 10 ^ 70 + 7347835592779979189110364609103899676152410356540085891324545872097162)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_210 :
Polynomial.coeff recurrence4Scalar1Second 210 = (((96761608997644540549178 * 10 ^ 70 + 370065899416129953274854855653505863753141220873449838197026616999179) * 10 ^ 70 + 5185638231972937048214538658552072801874298229388826147701357937602656) * 10 ^ 70 + 1934136817761451033803985461186745625941651814649339383221260144918648) * 10 ^ 70 + 8373220584991347004579671147434499368163385180792013357166961178497041
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_211 :
Polynomial.coeff recurrence4Scalar1Second 211 = -((((169549606850309855499497 * 10 ^ 70 + 9851713152791101871381586839908055259535063221779093395910064503669299) * 10 ^ 70 + 8728369271040726339359976158695034454971242962811215650362237603338263) * 10 ^ 70 + 7934213209768769555698474962649185767751526195912435806071787811053585) * 10 ^ 70 + 2309547120548605179365954908334027758540523921682966876838777379191436)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_212 :
Polynomial.coeff recurrence4Scalar1Second 212 = (((292791410630463690266925 * 10 ^ 70 + 3790027740649269610845429664230032488918228221602646220365705097798890) * 10 ^ 70 + 9532836214203580771138500399424966873988404816858497224031782868157365) * 10 ^ 70 + 8713986478569265047111964107156720159815172985445219830506510057851888) * 10 ^ 70 + 7266592118465012526885053051235245822077294663668748937167334193416034
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_213 :
Polynomial.coeff recurrence4Scalar1Second 213 = -((((498272351474138854473957 * 10 ^ 70 + 9841150313714949107726058627347150451198112209655888628458554404043125) * 10 ^ 70 + 3755229496049881034384615570530197138553710735212576628551466375414209) * 10 ^ 70 + 439176562935448454987122314416896232201690822903011071761465486364767) * 10 ^ 70 + 4655925102279701796113676324286636597754182018406675541308479009593255)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_214 :
Polynomial.coeff recurrence4Scalar1Second 214 = (((835599417696704153853730 * 10 ^ 70 + 4667072488670110228609818847084603984838855658904167697022476480340480) * 10 ^ 70 + 6474690141254703370009401576207225165658331314458811636416656442187339) * 10 ^ 70 + 3837751255096625466250034407593934087832872406040834106365594221906275) * 10 ^ 70 + 2019410712445450216634723919652224659156522768676720888618095659507574
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_215 :
Polynomial.coeff recurrence4Scalar1Second 215 = -((((1380781138898603703916715 * 10 ^ 70 + 393793604643249838029069787547806504373018686202724043539781456176250) * 10 ^ 70 + 4284085335977515794782192168673856185850860206967073249130151782541651) * 10 ^ 70 + 1896331456212253072875305717318351563516529823014969673632012700829217) * 10 ^ 70 + 462519495306504128337237039910512321670387947071464835813711407739938)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_216 :
Polynomial.coeff recurrence4Scalar1Second 216 = (((2248099495450758345282116 * 10 ^ 70 + 9332664619974377431794580638326807506177524309377987215203419655577649) * 10 ^ 70 + 986795675658638518361013766029105129392695325178358580940882252423168) * 10 ^ 70 + 9546553592396079432567486255549341217497051676471278584541642593920571) * 10 ^ 70 + 317763191191292679787432130414389196354965197016322239252813844240053
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_217 :
Polynomial.coeff recurrence4Scalar1Second 217 = -((((3606071515107691254026500 * 10 ^ 70 + 3984020246051846844895669269463974145682662013875126522042122820438176) * 10 ^ 70 + 774455874134455298134016385311864955384901528130336190436991068392144) * 10 ^ 70 + 3656462331260011580271993085151892796283591139491326934213174563969703) * 10 ^ 70 + 7859425346993405980888661948311490510241086353067521761538799689108596)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_218 :
Polynomial.coeff recurrence4Scalar1Second 218 = (((5698235400084143946783086 * 10 ^ 70 + 9624958729918925171960555942188309000554932345084811191719218032170353) * 10 ^ 70 + 6356258310958351892576378686007609445586944075029994695031944658782896) * 10 ^ 70 + 9553089834674615613710499469777951183691109271485691998233302607841052) * 10 ^ 70 + 9000677984516245322576234913188382817566594513149282143168533039127325
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_219 :
Polynomial.coeff recurrence4Scalar1Second 219 = -((((8869252530898424501171691 * 10 ^ 70 + 2758949992689369553615206375636300549317056385150434283728545498254084) * 10 ^ 70 + 8771614788609053246533045104985181387783474937305301659323727145132734) * 10 ^ 70 + 385182957374877436121339087944352908483952579350505183759136091425850) * 10 ^ 70 + 1043966428788944646415611217843840035894794697230141436481218038552746)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_220 :
Polynomial.coeff recurrence4Scalar1Second 220 = (((13596305249509478974293590 * 10 ^ 70 + 8721060864766098380968309707088686788710046748201842800051796092149979) * 10 ^ 70 + 9567793258497375698201968539208948932104348801601168279997687819627637) * 10 ^ 70 + 2875577812607504889361804101540076831832386364523456547898154224799840) * 10 ^ 70 + 6239432482853732241784821070885172492001354314155569223657839709007285
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_221 :
Polynomial.coeff recurrence4Scalar1Second 221 = -((((20524895664821397354959345 * 10 ^ 70 + 2954295677483610422026915134181514446741826679539124803262467272141589) * 10 ^ 70 + 1401473702606965600496238139629993225060460346599545120592215564244020) * 10 ^ 70 + 2778097709691472751839140635998469226882945203644282066061094954514218) * 10 ^ 70 + 4120631637391445399690429749674471928983753168468789488029205656442344)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_222 :
Polynomial.coeff recurrence4Scalar1Second 222 = (((30506824795304409629304980 * 10 ^ 70 + 4802546227747942960570431681888205271518463267281475976541007747469843) * 10 ^ 70 + 5026934744761431199945566834663336162077379086302245417339838155674266) * 10 ^ 70 + 5867701108123076393242065813195755850069645370858368210199034755541959) * 10 ^ 70 + 4529228619311945320857759271163420661256645061444681659717308207283674
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_223 :
Polynomial.coeff recurrence4Scalar1Second 223 = -((((44636297328947795465434954 * 10 ^ 70 + 7034982204521555702078137868968942436677786434419388174840922028555058) * 10 ^ 70 + 8226847996375040775085576281427226950439807032890784118690191560331625) * 10 ^ 70 + 8649796481827203623754826552600725873630296382157489786499424929537431) * 10 ^ 70 + 5185702921585560519246335988770258917209098810425762248838200137662253)