Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1SecondPart1.Coefficients282To312

Recurrence 5 lookup certificate: Scalar1Second coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_282 :
Polynomial.coeff recurrence5Scalar1Second 282 = (((501486717706490661293378201015030507039715094247756062345559072428448 * 10 ^ 70 + 4483317553516487656613797687162062234665998349660448189675568717603567) * 10 ^ 70 + 3590034366472112933191775229499106788920073868142443629621644784957216) * 10 ^ 70 + 8593313891408346876534055006085561233833206132378215974759721513708452) * 10 ^ 70 + 37552347288008100100778552591993294119517899970015292872376010737200
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_283 :
Polynomial.coeff recurrence5Scalar1Second 283 = -((((234524510716514679835878768570937555539554540740362768392367529223346 * 10 ^ 70 + 5941685711015051855550983472286186333249957065312137300904596334350676) * 10 ^ 70 + 5418101591690793481463607180906027265775556246298460125635947455096213) * 10 ^ 70 + 1163670308880907119868676873323574517869982368038462053286677201144201) * 10 ^ 70 + 7772058108981330722356640533352720509243641948562944657917382144703028)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_284 :
Polynomial.coeff recurrence5Scalar1Second 284 = (((100094373829418950102484297272229071364437507052053299396647474166622 * 10 ^ 70 + 5419793779341338004081728839446222297310166318812628067636263664018806) * 10 ^ 70 + 6540640102379462324296680337390506631823585027674815130277051200961726) * 10 ^ 70 + 2161307808153498067461607267307042419680769049806410733274364216342658) * 10 ^ 70 + 719049551234517699354320423459471558078791590167547816548085135497165
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_285 :
Polynomial.coeff recurrence5Scalar1Second 285 = -((((37300480129883958346886735511500502767402388156222757142320735092215 * 10 ^ 70 + 2999750791726684519668437578648474447157387889942132064129354887580477) * 10 ^ 70 + 8783047202571060724827883834787372765529254662840995415868774066488460) * 10 ^ 70 + 9461281299731482802954556438579783239914728744435758672328470531165540) * 10 ^ 70 + 9934109581568805971352903680173675090658199778737559140930609642228220)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_286 :
Polynomial.coeff recurrence5Scalar1Second 286 = (((10661105064687579893173047317239013215583259570323761136848892271991 * 10 ^ 70 + 6646020112136228782548778139937663161209678758480971776224832611085569) * 10 ^ 70 + 7803142133198032075852712459871869259892509290587658480705994403239869) * 10 ^ 70 + 5121343853125894749434603165367826139538649150558939915847003231984981) * 10 ^ 70 + 6994994255584116991069604980710534588596129241091860708860357737345702
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_287 :
Polynomial.coeff recurrence5Scalar1Second 287 = -((((886985016370146543865490932048314073400795046918723658576122137177 * 10 ^ 70 + 894642662608178858289726216762197243757236512562158678154284505317993) * 10 ^ 70 + 5393779566020381592175508128874437425382380478513760743492424473798260) * 10 ^ 70 + 8039678108047119511821120318740530538429740434225605553619237003021853) * 10 ^ 70 + 3096081466373270785380422075601022412239181939650997760856017643023187)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_288 :
Polynomial.coeff recurrence5Scalar1Second 288 = -((((1778314576949148628998409091531898911795105309451332299901765903557 * 10 ^ 70 + 935068551091241794801931442025550857400032316373288069101380873693163) * 10 ^ 70 + 4562421028719766537840840621942127081392214696998013869755562735116902) * 10 ^ 70 + 8585119493701267864901607483623937986641559190976096711481692923259873) * 10 ^ 70 + 3069491387481596609786829760954384317507042860771235558171602925198467)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_289 :
Polynomial.coeff recurrence5Scalar1Second 289 = (((1878606164988648468647134422106580369301329210805884445205148362135 * 10 ^ 70 + 4897198625941895191044616253995031507399744787074294456349011817119070) * 10 ^ 70 + 9616676079143753956963080728746088937626011717422733602379351167741124) * 10 ^ 70 + 6336488852662605646543779101852473451530704410531232607923151485589793) * 10 ^ 70 + 2189899663275412338930613594896420799106891676591533620890021036827175
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_290 :
Polynomial.coeff recurrence5Scalar1Second 290 = -((((1315849169117367255743636648611905636912648693803078996423156503206 * 10 ^ 70 + 2706111286063121221691503409601371813374626260671001747750102743791576) * 10 ^ 70 + 5278076853139413614525108327353309556850862540181516681159739340483746) * 10 ^ 70 + 5976793532688294969434973288898575779677746077540151401396090743073707) * 10 ^ 70 + 6292505808513632432395320748786077151079168861760074022542983883174866)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_291 :
Polynomial.coeff recurrence5Scalar1Second 291 = (((764017299513363930424893297083285584588882819367961304112972729081 * 10 ^ 70 + 3489515092946631659437157234755478433849805067000255250425720198007181) * 10 ^ 70 + 9957638884187398344550888387955195719255994914113129855416444540823732) * 10 ^ 70 + 3308045149669265663302153724654679978244844233806330218457609599426869) * 10 ^ 70 + 4759210938198994224056983079310032197521161480884785074990708942480772
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_292 :
Polynomial.coeff recurrence5Scalar1Second 292 = -((((386945875639474398018232709822122779850423669024008013223539072975 * 10 ^ 70 + 798950719250934023548882336358635189500379524515024462220673113901891) * 10 ^ 70 + 605517749125124772101884303250985663401959073849352952142389116482929) * 10 ^ 70 + 6562664588632105652247689792450568264931926216298977625688037864623589) * 10 ^ 70 + 9196330434024681205566885191125475445665129944892053664595127748341934)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_293 :
Polynomial.coeff recurrence5Scalar1Second 293 = (((171214282580295232635490546376304478213540098034702808857571501836 * 10 ^ 70 + 9494869162569019613605007201428204610619231751371995950831806724783664) * 10 ^ 70 + 2316379531140851639642901179489999560506385731416620949828633800450317) * 10 ^ 70 + 8396799791925358008792411000541717378908155202072165624722255416077204) * 10 ^ 70 + 1567616073479939904378841900455051044843100931120510757516315442777749
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_294 :
Polynomial.coeff recurrence5Scalar1Second 294 = -((((63294181977202050415012378419964553998820214371317428322527259733 * 10 ^ 70 + 839683257531611400743833256510203656922010838693085707401407436089247) * 10 ^ 70 + 414065394043742504791615000059065105038475319586250032437910923244232) * 10 ^ 70 + 6711353492773195463792873144206465617113099446153162759853741814517193) * 10 ^ 70 + 3287598922066009404873995539151055655344455849930705972175149832719397)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_295 :
Polynomial.coeff recurrence5Scalar1Second 295 = (((16191979373155021413497104001435089858826148709602190773807606840 * 10 ^ 70 + 2570281597224253313792908012701493675134529999097539482401662114827500) * 10 ^ 70 + 5532739782731762494808106652148868068276596389981025279281364156110389) * 10 ^ 70 + 8873392327244729992300661699388668784584680055816570446410993951829837) * 10 ^ 70 + 4719344572909555254018309480864914009970985833644344353950983570927081
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_296 :
Polynomial.coeff recurrence5Scalar1Second 296 = (((858927876527218335322699463783723784987571815018944962051813673 * 10 ^ 70 + 7029493926588189203897422324379116453825830548993730503470785040027489) * 10 ^ 70 + 6093837321790418461155061047767848044297738468356002123600661461043651) * 10 ^ 70 + 9515814651725637954498941236086834794010844412333069637952570232532377) * 10 ^ 70 + 4818987195535624754286683149269016300431531801893501726277529848897043
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_297 :
Polynomial.coeff recurrence5Scalar1Second 297 = -((((4979054441516278029026385632743729049278007187271127882291703240 * 10 ^ 70 + 3859366113059218554084194929702058295431956903769916518416816041664361) * 10 ^ 70 + 8406439145394266436734958908275451943023883186065918071248779388107101) * 10 ^ 70 + 5350254886029918279002425887615619195058383980076737715161724104157550) * 10 ^ 70 + 8791720694486596597116802657357813348812335420058512040017009882313335)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_298 :
Polynomial.coeff recurrence5Scalar1Second 298 = (((4523266359760295925755553256163602985452525097923114841207185589 * 10 ^ 70 + 7415680289314440007932174414741928434814395870328942393948030851048905) * 10 ^ 70 + 2333110816009177923744551079048821577595813684753926028847857209455606) * 10 ^ 70 + 6532035073472456638818806747209867509203331125140208362297759747510674) * 10 ^ 70 + 7638979342639821778813277094403845023697681809997386782890263893400326
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_299 :
Polynomial.coeff recurrence5Scalar1Second 299 = -((((3033462737808250837203728368690093550594110456567678463194532916 * 10 ^ 70 + 2414177083461833778395533141505037361589783119830345406290703584380826) * 10 ^ 70 + 1811257491519159018585752520058908869943620552323958356670483586502291) * 10 ^ 70 + 5042973620806719483907404685530930328197783481426188231042060307841142) * 10 ^ 70 + 3146775305853939568187080305314578221202648836963794794268633226891436)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_300 :
Polynomial.coeff recurrence5Scalar1Second 300 = (((1732415016648691551978049060728048020904310975931809649019953119 * 10 ^ 70 + 6320946294930782589011294015286103334372345835946740424711609071260118) * 10 ^ 70 + 6666944149451607147336601090095275657401786565663247410422739740280116) * 10 ^ 70 + 2247882726597734140589253380892232668849444621394809366059596837173768) * 10 ^ 70 + 1800638932176536683385001883915514095682099226172821649431393441679216
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_301 :
Polynomial.coeff recurrence5Scalar1Second 301 = -((((875051578890290148605394239083883223092689430277960250477099535 * 10 ^ 70 + 3841195166202173184859538774672273659334529955423603637242176322032020) * 10 ^ 70 + 229304296218938804736699523980026382481038559543305523626698055812571) * 10 ^ 70 + 5037533956264706701843523347709041609124128982282317554970663749743492) * 10 ^ 70 + 6933083808498906703617497442491995615718776535173144412186813466181605)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_302 :
Polynomial.coeff recurrence5Scalar1Second 302 = (((391145041378820748490564544177292742873368549004521644714921264 * 10 ^ 70 + 7744296825276912046085700530364738202496155482537663966882481735925135) * 10 ^ 70 + 5025407728623559254695805805589801406232341726660163335633888867770896) * 10 ^ 70 + 7785538501957881712518708455980760748499714253562333230554175068831643) * 10 ^ 70 + 2107866229112566083427633589155698443531340029835263501033354447679907
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_303 :
Polynomial.coeff recurrence5Scalar1Second 303 = -((((149092954542559099523334491660674828814509061414192667933366786 * 10 ^ 70 + 3586309465633844449431877377347505346510313871966724434870645203940022) * 10 ^ 70 + 1921766250273008097841680615738824525830483064844826338863628009900399) * 10 ^ 70 + 9802894780293665164331727206218006024207526611677610655452056806743062) * 10 ^ 70 + 2363881677007112484988290561756479653340578127981441673187076765409215)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_304 :
Polynomial.coeff recurrence5Scalar1Second 304 = (((41897576638335387381854275679728096847648649255560023549199204 * 10 ^ 70 + 1473995811375497234344639982968138082750448109123786416030563660330333) * 10 ^ 70 + 8179369970035946810305821899753130942261658123435814204339285198326897) * 10 ^ 70 + 135891888172957057157733693062530441587021332015737286077809996617167) * 10 ^ 70 + 3388512998084319718103437104259119497474864789318920744912360660293200
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_305 :
Polynomial.coeff recurrence5Scalar1Second 305 = -((((1458180846955508461862963702514714559970127299720386113838348 * 10 ^ 70 + 6334480208531708773622340103854972232981278460471433544821050600158426) * 10 ^ 70 + 9625440824824733845322184939722412489147408186890315420730207468033025) * 10 ^ 70 + 6850530669047813422965464876423773967654785092784237650628331948977606) * 10 ^ 70 + 5771676677098836628740973532263807995193320977366909949828578559256322)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_306 :
Polynomial.coeff recurrence5Scalar1Second 306 = -((((9723604403445129348559796539204214200204517905723768738460266 * 10 ^ 70 + 1509490978831947357663738065134275135285208628489722245658167199209967) * 10 ^ 70 + 4814872411700730127904441969974442512821996942609312216138156662196063) * 10 ^ 70 + 4323507478804117699418804635538885114462299226399961564120118322922932) * 10 ^ 70 + 1706353694549363364768238423254780424769358187252073007237494922264556)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_307 :
Polynomial.coeff recurrence5Scalar1Second 307 = (((10004198687386805531903383372993001192116101692876815153405843 * 10 ^ 70 + 9161849720204603468279743352450711784919234666096924099405825434773207) * 10 ^ 70 + 1048208895615955653098247491789797938932603804843595949056314636282686) * 10 ^ 70 + 1123311795634236942231635448202224113599663102564850223150136064195646) * 10 ^ 70 + 1005680813196056344002626024849063313943331696488986290244141972718162
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_308 :
Polynomial.coeff recurrence5Scalar1Second 308 = -((((7336279763593442653225803126631471834231262722233553400611321 * 10 ^ 70 + 1812587764243142864777470617016623011219644120318412983582202525637027) * 10 ^ 70 + 5858762562499903335679158075946135177010902392553766401371853036145414) * 10 ^ 70 + 9309186997772139243739646845916997569959590439876696772561404456826718) * 10 ^ 70 + 8634962530270923705578447524720769911897230597775160904400326857207386)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_309 :
Polynomial.coeff recurrence5Scalar1Second 309 = (((4639964971166015012113874495662281402943717557921462154161557 * 10 ^ 70 + 8977137953584330441133886852659725207721780226136541878029443626619987) * 10 ^ 70 + 4420288345283149354329383721209323385121985710305612865182793919895330) * 10 ^ 70 + 1472128701026508543404190799532979173430137424441021661016971973400039) * 10 ^ 70 + 2762866398873521460927813415551663305831075705407071468986116141775097
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_310 :
Polynomial.coeff recurrence5Scalar1Second 310 = -((((2682823207291678466670927146843562943026179900401971011529017 * 10 ^ 70 + 5416191132403294029766563757278568556566073910535941498671545092458850) * 10 ^ 70 + 8172445184650187056969066709439931186504700269293363580106192875816270) * 10 ^ 70 + 4411382598394492673488076448024278367288808149891799713214394909156639) * 10 ^ 70 + 2072192530295361796013156044993046401116309603458277301239357752616751)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_311 :
Polynomial.coeff recurrence5Scalar1Second 311 = (((1455361287534448561249940169647796478118388535920184894931645 * 10 ^ 70 + 1716312565262863482279086997161580721247215006865288568368519514971536) * 10 ^ 70 + 3927444320342226131547417105866107006496117548038259668562993802886738) * 10 ^ 70 + 249283929351268584969481507212723530552106149744864057704850048819495) * 10 ^ 70 + 5688611232918874114230000944655977977385727684175080211110444120289086
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_312 :
Polynomial.coeff recurrence5Scalar1Second 312 = -((((751087093815120576182514881101139471639755581270806031857205 * 10 ^ 70 + 9248296708214817074425945946576471573074767871228254774729746617094647) * 10 ^ 70 + 3684436626699412454082660962402288739668068974660108565080928233800430) * 10 ^ 70 + 2461916168120322619303221173405694686675829769470938791260634147685025) * 10 ^ 70 + 8254804852217539715604084418425725084062831165792447483956360297726671)