Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1LeftPart2.Coefficients272To297

Recurrence 4 lookup certificate: Scalar1Left coefficient convolution #

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_272 :

Polynomial.coeff recurrence4Scalar1Left 272 = -((((315611412980693173253623342 * 10 ^ 70 + 3677886585848540737571302022342927831942415912291118254822172897471716) * 10 ^ 70 + 2255264827129675610615547639116544489102298901086671568538476675824865) * 10 ^ 70 + 5507307596256309180569371995149839538972363677412311736827800187271953) * 10 ^ 70 + 8379152312811953192414707885914092653858862616010204143907909018476983)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_273 :

Polynomial.coeff recurrence4Scalar1Left 273 = (((101510129026410362502831230 * 10 ^ 70 + 9706300648154400526925225748683836966463329145682637454911170478692397) * 10 ^ 70 + 9774280448914728250222039465090636104531792919380382891082161311616709) * 10 ^ 70 + 1433559047843205419918111730691252715057893845941132897795730470751862) * 10 ^ 70 + 7180329063418116426918719352693306146589219858784819477796940026882909

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_274 :

Polynomial.coeff recurrence4Scalar1Left 274 = (((55918795499793013055294467 * 10 ^ 70 + 4095616979264414873817081283436790653359041789933741370401338480172791) * 10 ^ 70 + 4054931617971638818053242137155265071983436855300207382503360895057068) * 10 ^ 70 + 6617064066200120452579898256196769351361955607688991165221157988947498) * 10 ^ 70 + 1596727065812987240576694085871276433976078156535235298292118610463914

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_275 :

Polynomial.coeff recurrence4Scalar1Left 275 = -((((162619189816013407984776318 * 10 ^ 70 + 6580037110647146585735110578066582837889169687494833909205009319048027) * 10 ^ 70 + 4901139951210068889976499878271908187468170502207205710180441108930265) * 10 ^ 70 + 7853540618352927123852030693773106630260754088309101874986778479697160) * 10 ^ 70 + 166195803366141162138758973396006614474692791292487219947273273736774)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_276 :

Polynomial.coeff recurrence4Scalar1Left 276 = (((226469457627986724776483980 * 10 ^ 70 + 5823436466162492327572981492504362832286135359302436204604518485257365) * 10 ^ 70 + 5080320311826310973430219034850923226520731546921364038556336366224482) * 10 ^ 70 + 9844244377190040256543017756763145947288896695499371140940324195899966) * 10 ^ 70 + 1325006772572947364039978989211002502589174221644134354361113117993475

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_277 :

Polynomial.coeff recurrence4Scalar1Left 277 = -((((256163914753118703613974707 * 10 ^ 70 + 6367630819891853890046801304914041873726688975659788809953318164858974) * 10 ^ 70 + 5360909874851584961194852333452101360809467564168443151176330334953192) * 10 ^ 70 + 2723422253167805189815984531970325321390182159875148953279987918681779) * 10 ^ 70 + 5358338174475390874400112366359731107287475469109719867419167318343108)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_278 :

Polynomial.coeff recurrence4Scalar1Left 278 = (((260309251708460426609577919 * 10 ^ 70 + 4945733928761377808903688732385671746389537811363181367492914767087885) * 10 ^ 70 + 6061176397329978836166875967747588965132738653793630130396539005964456) * 10 ^ 70 + 6264537932586340419089070403822587136525305254141463373062056368608477) * 10 ^ 70 + 8124819871084314589709211813888730095282750753248730138426036652543960

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_279 :

Polynomial.coeff recurrence4Scalar1Left 279 = -((((246769663117543132249781349 * 10 ^ 70 + 7797751850468418026891511350596993647432842880983791981810229452218586) * 10 ^ 70 + 5430131333035836353128921588154027975945163622528837726673825711889498) * 10 ^ 70 + 8797937173614797175755659818912135576722052091572465792144102510683130) * 10 ^ 70 + 6691212993622369377680498343758495241952920921212268965160994087627122)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_280 :

Polynomial.coeff recurrence4Scalar1Left 280 = (((222258815103733556245848997 * 10 ^ 70 + 4498441190350374674719534776626961515661100789503810647273154849795496) * 10 ^ 70 + 9247566342534508269072147923461170290181991414266848856801475464922577) * 10 ^ 70 + 7120802872314360932613112798088779087570451963694525993698016387129519) * 10 ^ 70 + 1069958882557858939593593544351564160998533288164078811664756789404234

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_281 :

Polynomial.coeff recurrence4Scalar1Left 281 = -((((192150671437389011715398357 * 10 ^ 70 + 6639715803981022829969151243647485838014048632163533271634551677787607) * 10 ^ 70 + 7096638363136162432698609847322172864792535125819856885137866745768733) * 10 ^ 70 + 3744616590358518664477183601764357667073656042542371188235027456379587) * 10 ^ 70 + 6985145439771077847291572759979039191928050390596849941755984349943906)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_282 :

Polynomial.coeff recurrence4Scalar1Left 282 = (((160465281340788036931006122 * 10 ^ 70 + 1645660959883232132804802113665719687434276013821675443156666436480052) * 10 ^ 70 + 1148406343318059969549102779435640592928262185637097305228316555028045) * 10 ^ 70 + 3734579632611841239080318365118362546155331773187543429586399244869509) * 10 ^ 70 + 3827228572902016828836767604759785890047829562155972301166305366447905

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_283 :

Polynomial.coeff recurrence4Scalar1Left 283 = -((((129979270478823902688241901 * 10 ^ 70 + 6781418481261392051066654948481437572063779890088861457201021127418568) * 10 ^ 70 + 526962815066685755132257333086041170960074343560164967263092649032177) * 10 ^ 70 + 46388115973177911942844423386048521633904097752058798885739695281854) * 10 ^ 70 + 3985461748793216755804833289963006367546320671038522911329450545297537)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_284 :

Polynomial.coeff recurrence4Scalar1Left 284 = (((102412148504556180316484793 * 10 ^ 70 + 5326407825926190530679642079687587641428720283821785184277009933972341) * 10 ^ 70 + 5140968164920178163837815736144713694033983420074939755774128038476743) * 10 ^ 70 + 7134438686496952359461803888616812265027798648477387660972078814659205) * 10 ^ 70 + 546985333258373428148499051148363494567771702771913999300340926306816

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_285 :

Polynomial.coeff recurrence4Scalar1Left 285 = -((((78646263623046787531774876 * 10 ^ 70 + 673067489231970751377051822464403834727677619244289342212651644600079) * 10 ^ 70 + 6750656568112028670504971002261644034328672229009695249340939945291066) * 10 ^ 70 + 6090669291196974993998851493625184075143501483867829843015586141530422) * 10 ^ 70 + 1149868912542707760532769898034991744606024703293683904698799573644352)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_286 :

Polynomial.coeff recurrence4Scalar1Left 286 = (((58947857956944941114927075 * 10 ^ 70 + 2961093340436965661495907604399445451011039154437209892281390625512792) * 10 ^ 70 + 7290670350552656461159339433192580888452211476769952292837119649668690) * 10 ^ 70 + 9500764713235966172772100521805441635243626359224471795060889207868261) * 10 ^ 70 + 7088753185817405654105040586958954473965519201564614543913181781567803

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_287 :

Polynomial.coeff recurrence4Scalar1Left 287 = -((((43167093465760633405513203 * 10 ^ 70 + 2198194344685443631578625661245896936467045545388172082888189549784986) * 10 ^ 70 + 942450536641450932927077789505529573402380847784926333508647843879750) * 10 ^ 70 + 789626036207719327969573576972358983914649483492366902970419866402889) * 10 ^ 70 + 226736452891949347788501244620125262564259303984540341727283333504355)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_288 :

Polynomial.coeff recurrence4Scalar1Left 288 = (((30904553521564095191834997 * 10 ^ 70 + 9113130825857597881882506460695009045034627693412914966931638820154183) * 10 ^ 70 + 2654438461687818203228503278309266064487287836309741371192079305596761) * 10 ^ 70 + 3775898105437550207871798883537806439421791869814464520877853798930055) * 10 ^ 70 + 3117725403976800733361351888261060328754679781521974650706023009579759

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_289 :

Polynomial.coeff recurrence4Scalar1Left 289 = -((((21639611731758596627418819 * 10 ^ 70 + 4130167611079429824954443777454699026800587064004652138280680116102993) * 10 ^ 70 + 9975416306341917433695246804665471167820838367190397521146103614458429) * 10 ^ 70 + 3045283222522070842229693455695618427813479204384331098950597693094955) * 10 ^ 70 + 8463058219055809319780776304061384251503456248202105266821179341653816)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_290 :

Polynomial.coeff recurrence4Scalar1Left 290 = (((14821783427065479393337710 * 10 ^ 70 + 3924163677127883488161813782240296001217186770119323103163648522392114) * 10 ^ 70 + 8461807880283563849824490963911531803335909857124854361479332371226691) * 10 ^ 70 + 7362970395559450023099113479221441721960946793027526516686189626116078) * 10 ^ 70 + 699111133044408901352513827501788643358079266150289553536303822412344

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_291 :

Polynomial.coeff recurrence4Scalar1Left 291 = -((((9929755834468308176532991 * 10 ^ 70 + 8683864692316515904755419360925746503455910064125111575733499687087193) * 10 ^ 70 + 3531262856382635491582890890329005122058194329700726826943408279427392) * 10 ^ 70 + 1386710274033332637579496081592374707205196005442226029622277245517162) * 10 ^ 70 + 5503475276605379362096443552254612449648975675251423340104087654994822)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_292 :

Polynomial.coeff recurrence4Scalar1Left 292 = (((6504534150005467083926656 * 10 ^ 70 + 1282320554766604919960284237998420747174295752293443558537226135399556) * 10 ^ 70 + 3431543477304203539481239971349009959378079795346504211546245211160329) * 10 ^ 70 + 3672056632966959645691056869261384979595927884240760444391768023346292) * 10 ^ 70 + 5842548542345199671359184220834007563698415257448894718450266175098640

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_293 :

Polynomial.coeff recurrence4Scalar1Left 293 = -((((4163488109843625097217703 * 10 ^ 70 + 8710458865608296614453511976258792329992224653972889074550331333126187) * 10 ^ 70 + 8080471149054886535332041120931813175707699884114523449334206927466152) * 10 ^ 70 + 4332429665062078338261290157620724497309596115577975338693031352263770) * 10 ^ 70 + 9047559931591109494009872827023470007732190840785352193232676125212515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_294 :

Polynomial.coeff recurrence4Scalar1Left 294 = (((2601509660805825430143427 * 10 ^ 70 + 628415351903752139865620826906098573122210352118416946139280993669751) * 10 ^ 70 + 2053141023550548427095489368216068343997359209191698565714498843963977) * 10 ^ 70 + 8687021656378408602241724413314470772045353323252587112979085852314476) * 10 ^ 70 + 9815000905742111994602414783657739844474964741954791796648723032687294

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_295 :

Polynomial.coeff recurrence4Scalar1Left 295 = -((((1584418174603636854623894 * 10 ^ 70 + 7457372838277322565493414561919281556940942631828662055462525521750741) * 10 ^ 70 + 9219307702081296413736219767240870509374765131565770857105614532988581) * 10 ^ 70 + 6666479999270658157968990980053630811928391178446909262813632765221688) * 10 ^ 70 + 3140542841957735987052576837825113396662857814196428301884621059006167)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_296 :

Polynomial.coeff recurrence4Scalar1Left 296 = (((938503737932915352196803 * 10 ^ 70 + 7031838104900306153122688334717532819933568571853896837012449121062482) * 10 ^ 70 + 7343083077281095688758954261204150933167885424264066904938240466538165) * 10 ^ 70 + 6756596791136904167798585929900034593616719650000080960489375268724422) * 10 ^ 70 + 4297231000691980295840091263786087762893596383564166395392603632819565

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_297 :

Polynomial.coeff recurrence4Scalar1Left 297 = -((((538905191273679242991139 * 10 ^ 70 + 737712375930164702481853006376459845609353656499240886500348367966063) * 10 ^ 70 + 3959652567495977850108508551741605767363468959317623412638781847240815) * 10 ^ 70 + 9113134272266413595061147981519808985200703733842458275797126004950237) * 10 ^ 70 + 6440563024109755568209425295828610793092658030919392434676356686948317)