Recurrence 2 lookup certificate: Scalar3Shift coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_92 : Polynomial.coeff recurrence2Scalar3Shift 92 = -((9471542 * 10 ^ 70 + 2298530199034805505321520248025950478869768536739024682429662930568889) * 10 ^ 70 + 388779680216968192168462663680947193042715803359942457646332998237144)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_93 : Polynomial.coeff recurrence2Scalar3Shift 93 = (40317585 * 10 ^ 70 + 7351244447016729600850445447686538681362211670949809431579779356115290) * 10 ^ 70 + 6139285131542313674756110366422781120619952880917217973594983008755309

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_94 : Polynomial.coeff recurrence2Scalar3Shift 94 = -((164191968 * 10 ^ 70 + 7891945375670426440676116795180422588539029696198256346109091347674628) * 10 ^ 70 + 3143460673271033182323579817165582987260331909888910838134589980555736)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_95 : Polynomial.coeff recurrence2Scalar3Shift 95 = (637882872 * 10 ^ 70 + 6075911467697670847805364972030915313962454630117271838447197256692066) * 10 ^ 70 + 8443037908536280023272685722483670106811245740573409675268026505884006

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_96 : Polynomial.coeff recurrence2Scalar3Shift 96 = -((2356196212 * 10 ^ 70 + 2891370010898611281547131529409780038129794427990953299942498423212011) * 10 ^ 70 + 6521821681573573251184441088674965632593324471127754099418273271259653)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_97 : Polynomial.coeff recurrence2Scalar3Shift 97 = (8239723103 * 10 ^ 70 + 6869783640920880810228528876326575686992133578630249597581635989338573) * 10 ^ 70 + 1852302904736221188185090455802720569338822211806618623830773879929471

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_98 : Polynomial.coeff recurrence2Scalar3Shift 98 = -((27086684357 * 10 ^ 70 + 1105240229467094474298853453570190225973762445475427115919463524711814) * 10 ^ 70 + 3460095064645967643388457609539406844031918955384565574403133973125175)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_99 : Polynomial.coeff recurrence2Scalar3Shift 99 = (82428625716 * 10 ^ 70 + 6303707269799205958852473383197206067310231560626823621070132944109099) * 10 ^ 70 + 6090931096591799617372994729130039350455283714907721159428175434855520

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_100 : Polynomial.coeff recurrence2Scalar3Shift 100 = -((223576322741 * 10 ^ 70 + 8180352280442480985692832357484407389904931558686536893848231114069424) * 10 ^ 70 + 8262481626028154907415473088680015239766339591435581759769981280119291)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_101 : Polynomial.coeff recurrence2Scalar3Shift 101 = (484137788502 * 10 ^ 70 + 7230504032631525227832763321412059499609327443654270277833980299861635) * 10 ^ 70 + 5662911025422326780330983616694254347130608593268066013769979786217873

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_102 : Polynomial.coeff recurrence2Scalar3Shift 102 = -((458301177189 * 10 ^ 70 + 8487812244023991195747575309092028845925151165456279383025811920821433) * 10 ^ 70 + 283710828711382459807209634540499313468502757584969357087978357886862)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_103 : Polynomial.coeff recurrence2Scalar3Shift 103 = -((2888004708485 * 10 ^ 70 + 6797170869994494559918052958032988181148449735736590103910622949803340) * 10 ^ 70 + 3504341828334623455060507167071823879049112262512886631275997842077806)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_104 : Polynomial.coeff recurrence2Scalar3Shift 104 = (23381815546939 * 10 ^ 70 + 4646804003351886931628481737465611340109460426947520711008151821519952) * 10 ^ 70 + 89278579298949936536459659921591308439130326113523708932202188372892

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_105 : Polynomial.coeff recurrence2Scalar3Shift 105 = -((107982946578227 * 10 ^ 70 + 4498164047776074652692103101634111541700711626270080546773921985902148) * 10 ^ 70 + 9677156726389267372806461401979149538796696586601647377092731121258003)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_106 : Polynomial.coeff recurrence2Scalar3Shift 106 = (379008923778697 * 10 ^ 70 + 7156856547668810804317802526143839027449458737508749644913329638290465) * 10 ^ 70 + 3613896640679802385852440274145834944874891994004089963080172358592708

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_107 : Polynomial.coeff recurrence2Scalar3Shift 107 = -((1110318817721287 * 10 ^ 70 + 7398185672799547851628413359378183090298899193889961728009652646719283) * 10 ^ 70 + 5484492161936696623841710594867618472031800741327784965403387424508616)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_108 : Polynomial.coeff recurrence2Scalar3Shift 108 = (3274672713500514 * 10 ^ 70 + 997611440333850159522516161982324083652018623709449036804872771335808) * 10 ^ 70 + 9393179931641213045775893869781002118458113839805472132647726299900110

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_109 : Polynomial.coeff recurrence2Scalar3Shift 109 = -((13360666687878781 * 10 ^ 70 + 3818268955720579213795244917025814555940515478372029100462789737470706) * 10 ^ 70 + 6551098449417017471432468036331570243276555017326370155345460545463980)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_110 : Polynomial.coeff recurrence2Scalar3Shift 110 = (71132388227994295 * 10 ^ 70 + 3423539357201726004722275562205033187129829303905952377106355325207285) * 10 ^ 70 + 2454948897677562415175399344081406561964529679832512557938994599014302

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_111 : Polynomial.coeff recurrence2Scalar3Shift 111 = -((350275115961722328 * 10 ^ 70 + 8816317624955723064234189343699449383477986607985998450588992530460690) * 10 ^ 70 + 8877429896570895924594503125166764998749280345526441265970213169418425)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_112 : Polynomial.coeff recurrence2Scalar3Shift 112 = (1285452047362690939 * 10 ^ 70 + 1232607754246915265590887498442654451910650587728309627481250013612987) * 10 ^ 70 + 9297188496130038819795482175280350162263460927458037645986152013035554

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_113 : Polynomial.coeff recurrence2Scalar3Shift 113 = -((2421173519601780470 * 10 ^ 70 + 656854176736695410462834366866356514829633763720774179333838761576667) * 10 ^ 70 + 8803767573838309243571806854715186983399542659449149295066661144987505)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_114 : Polynomial.coeff recurrence2Scalar3Shift 114 = -((7399058102532525592 * 10 ^ 70 + 4816118979008191507706203165628448137998363784483654648405992705337423) * 10 ^ 70 + 8339603919858231422397147312935155258086183438574864189563646724470245)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_115 : Polynomial.coeff recurrence2Scalar3Shift 115 = (89141554472021363731 * 10 ^ 70 + 3651356432620589256395705921239784270464945619933548581236864960082763) * 10 ^ 70 + 6723149116362679501560196400600136851585632751193683087925017201172797

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_116 : Polynomial.coeff recurrence2Scalar3Shift 116 = -((409851406799415510217 * 10 ^ 70 + 6808119634579304749824152681458518143543584367696703424075833288009193) * 10 ^ 70 + 1266823188855106709212156811937525449248245280334479999267502114657532)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_117 : Polynomial.coeff recurrence2Scalar3Shift 117 = (888465473205875351715 * 10 ^ 70 + 2447667429536525451965215182177987602339180826706805785720121851408951) * 10 ^ 70 + 3420358855257591677748453300837333835264304697924235852161856661505246

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_118 : Polynomial.coeff recurrence2Scalar3Shift 118 = (1734851009385974209249 * 10 ^ 70 + 7052312245603209723479904529563197871399535424504806308914245229418621) * 10 ^ 70 + 2165532685722829892278353851146907767690520252416471794665326410510935

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_119 : Polynomial.coeff recurrence2Scalar3Shift 119 = -((24518427448860836015061 * 10 ^ 70 + 3227572194625605689121528364786541023449874829496844472585536551292864) * 10 ^ 70 + 3311694489841328696283978979575974106916422523786832233205754475803448)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_120 : Polynomial.coeff recurrence2Scalar3Shift 120 = (113162487000691133339050 * 10 ^ 70 + 9572303611612237750590934972590794513636410265793189603094087585180266) * 10 ^ 70 + 4100478355558008518479995285291556488469705068603673768181281028741790

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_121 : Polynomial.coeff recurrence2Scalar3Shift 121 = -((278863475197050886242135 * 10 ^ 70 + 9785413247107766246940413792653387604138052425913508429037786458421444) * 10 ^ 70 + 2113716467647748956982785551443360815760499100486137513299006585438403)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_122 : Polynomial.coeff recurrence2Scalar3Shift 122 = -((26959239749488100871187 * 10 ^ 70 + 8781826944301241065006051837856113645747411517313612021385807375349094) * 10 ^ 70 + 4985157417260208581334348336586681367999189225910344631639372617569506)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_123 : Polynomial.coeff recurrence2Scalar3Shift 123 = (4078503176876536243295715 * 10 ^ 70 + 8978327931749889585149667728233166839174574964734630636253820361812286) * 10 ^ 70 + 3708462620180897401725652228437452683984192621068633295789197649686125

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_124 : Polynomial.coeff recurrence2Scalar3Shift 124 = -((24107126655122938771088340 * 10 ^ 70 + 2698194397569018115340696269741944967002930933012992653584455825308341) * 10 ^ 70 + 2407764979828228813432015407873353474681762815286696355737363501770847)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_125 : Polynomial.coeff recurrence2Scalar3Shift 125 = (89284224465924174265033197 * 10 ^ 70 + 468545155100643438846200505448485791257207193008765466981234006953959) * 10 ^ 70 + 9721868911411553972583157177530783798858651587659034139681455316811798

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_126 : Polynomial.coeff recurrence2Scalar3Shift 126 = -((191533949288614575656705115 * 10 ^ 70 + 7285892388953965385067352285144645210413533268614841107366602373356802) * 10 ^ 70 + 7219751826719787611394644387096851435341771613682992937368309137904388)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_127 : Polynomial.coeff recurrence2Scalar3Shift 127 = -((199157608193060565927700525 * 10 ^ 70 + 5586552747191323288190404803223396624308484452731342169211511429505906) * 10 ^ 70 + 1812942895468593248496593138975601796946377666196436864166167915609419)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_128 : Polynomial.coeff recurrence2Scalar3Shift 128 = (4014519843033995839622128201 * 10 ^ 70 + 7292142223655462326410570884233824835691305134067480179848350829744745) * 10 ^ 70 + 7852918353563836444482019786600423842221893070408206321383638525636965

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_129 : Polynomial.coeff recurrence2Scalar3Shift 129 = -((19080216297531214089177449754 * 10 ^ 70 + 2918463285160405105132065376294595882592090030721434052300976622666720) * 10 ^ 70 + 1968136586729924438196867955069657875296290351538747541050742118744553)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_130 : Polynomial.coeff recurrence2Scalar3Shift 130 = (46505748487965819545724892739 * 10 ^ 70 + 5941100955872429603406839162911400024745247929236535960263937724947956) * 10 ^ 70 + 4853260180418210355986151161624191650969261929563788374443374165317185

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_131 : Polynomial.coeff recurrence2Scalar3Shift 131 = -((20508590344527634705643222341 * 10 ^ 70 + 151684245331561601724654710036734865949382933442091821316954165383645) * 10 ^ 70 + 4360365604901243331307350971880231403482498505514212875918834265932987)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_132 : Polynomial.coeff recurrence2Scalar3Shift 132 = -((218033218094702525213976942332 * 10 ^ 70 + 9516365930593377095857207912100560916346754665574006825094082643972173) * 10 ^ 70 + 284060109778905040974877283529124012740180021268977296313139652007147)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_133 : Polynomial.coeff recurrence2Scalar3Shift 133 = (446745735564622502932351238029 * 10 ^ 70 + 5791299772960967697167869177303380522775849537860378234708026603224812) * 10 ^ 70 + 2249412115475841641849853442160510400160309004614196055192446910669399

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_134 : Polynomial.coeff recurrence2Scalar3Shift 134 = -((626095071673924068340226347913 * 10 ^ 70 + 4018631090192208611521654834387401236557561859202333549478499985678757) * 10 ^ 70 + 6372451880295215941374857872149473607780307559639186879894040327827681)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_135 : Polynomial.coeff recurrence2Scalar3Shift 135 = (20198222753533864218694564704694 * 10 ^ 70 + 2520537577773918365608642212483545755431911338997543450800435142147826) * 10 ^ 70 + 6247869147137738977528280020467741600748075749615705185540789007422917

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_136 : Polynomial.coeff recurrence2Scalar3Shift 136 = -((174265098350949223092884504523681 * 10 ^ 70 + 8004501813341987935887366840641194195415996439292339239007075680269208) * 10 ^ 70 + 9011364251574240525422932832231898174701915498438850790070622335340652)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_137 : Polynomial.coeff recurrence2Scalar3Shift 137 = (611253231976638158740493090799993 * 10 ^ 70 + 8521362657262345471222738827228767787621169222862552351535496435246931) * 10 ^ 70 + 3874305935836491511543559742322155786305666552170674610211438906875750

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_138 : Polynomial.coeff recurrence2Scalar3Shift 138 = (190532945481687167607317133326012 * 10 ^ 70 + 9330839268658256385926222737047513469393235059088728266593718411841071) * 10 ^ 70 + 2579950928206919878101904956638238018723645981852879721219760635166080

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_139 : Polynomial.coeff recurrence2Scalar3Shift 139 = -((11506222479456535561582998610331201 * 10 ^ 70 + 4483102354523264449686347486295982139331170485464374402162756860671436) * 10 ^ 70 + 1317277170992632601876680369513740008252516455071634478884700872610556)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_140 : Polynomial.coeff recurrence2Scalar3Shift 140 = (47778806095603855982594538852524747 * 10 ^ 70 + 4096719068857801745312385636343916307178036770554686172795517306539890) * 10 ^ 70 + 1028804957223394906880696817377125308421926262646371145699642809348669

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_141 : Polynomial.coeff recurrence2Scalar3Shift 141 = -((27985331580423275569712719443559071 * 10 ^ 70 + 8779685365264932633224361939165162892401402564251360789119656653095201) * 10 ^ 70 + 7125257969685168544661720013805710827701196257084430153728734630975380)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_142 : Polynomial.coeff recurrence2Scalar3Shift 142 = -((555145018005615438565864951190904221 * 10 ^ 70 + 4916149809008995585687709916507729265000805263021249613552662230072130) * 10 ^ 70 + 2919759930049848314208454732034928385296321299443175097498791233947254)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_143 : Polynomial.coeff recurrence2Scalar3Shift 143 = (2388261164049806076981601214774764563 * 10 ^ 70 + 682057101914123460308211013580694375842235605470220082264723696431968) * 10 ^ 70 + 3225650666505138532021942296526259774675645474426683332971118849526808

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_144 : Polynomial.coeff recurrence2Scalar3Shift 144 = -((811136999147433044407733166134445968 * 10 ^ 70 + 6882441798773437807731489110344181802031163037761689765806167892727855) * 10 ^ 70 + 9390000838970921312075569179641829414129998476539441734955356459143136)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_145 : Polynomial.coeff recurrence2Scalar3Shift 145 = -((30358419324974193433899018030329660737 * 10 ^ 70 + 2618646738059861602059859562086773964035258410747184567282763703459666) * 10 ^ 70 + 2625877360952434249631664237054958070197584151829673391164028366193854)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_146 : Polynomial.coeff recurrence2Scalar3Shift 146 = (120895286137252817861245196144660972902 * 10 ^ 70 + 810666638919164618630254710442594758793969156028407895745816291198461) * 10 ^ 70 + 2617460273535628697931944855986195721834682030176691105458833987439722

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_147 : Polynomial.coeff recurrence2Scalar3Shift 147 = -((25216744545897230935699250510019868752 * 10 ^ 70 + 5161050307231087910835496414244413958386091150601037493688352354709047) * 10 ^ 70 + 2305627499731395606783641203985368489250909957597610460046906310509806)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_148 : Polynomial.coeff recurrence2Scalar3Shift 148 = -((1523288782462150070645616809419026984719 * 10 ^ 70 + 8714836468217969439622219012423255764304793108632689131389654218401606) * 10 ^ 70 + 8085089269016561845588497055615948961197937258720881796121713693386062)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_149 : Polynomial.coeff recurrence2Scalar3Shift 149 = (5845448704233918794559035111475505156522 * 10 ^ 70 + 7991324308501889074975169716195118258637015004691126890149529486811766) * 10 ^ 70 + 3152719835315728053181684030628465523613795449427222210909237093086482

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_150 : Polynomial.coeff recurrence2Scalar3Shift 150 = -((1580548619261400762019469031028119950007 * 10 ^ 70 + 8485130951987525167377016652351248583104129024586272465182138839696344) * 10 ^ 70 + 9038013692380088570485224899791744696039570740433337278514899808294267)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_151 : Polynomial.coeff recurrence2Scalar3Shift 151 = -((67406900665343772442442811059768491463173 * 10 ^ 70 + 5731093489196243733109682041683468597955793903759278056427165511373679) * 10 ^ 70 + 6555048631962683304232951218504797080901363056948934066738667945190647)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Shift_coeff_152 : Polynomial.coeff recurrence2Scalar3Shift 152 = (257232952729894802702271508136605286620943 * 10 ^ 70 + 3235484001044638952921537127217322581174785638630587958053834245327149) * 10 ^ 70 + 7323635908769346362111539037468040143308400461955634795343497997313976