Recurrence 4 lookup certificate: Scalar2Exceptional 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.recurrence4Scalar2Exceptional_coeff_66 : Polynomial.coeff recurrence4Scalar2Exceptional 66 = (12267611258347457332072574920735949016897397628580 * 10 ^ 70 + 3026462221900349493124691038138051827816799675530396861860538670372519) * 10 ^ 70 + 135653342280552867259059249405826679351735585848465083306607943794306

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_67 : Polynomial.coeff recurrence4Scalar2Exceptional 67 = -((367492420185697890024710384189074991815423674167186 * 10 ^ 70 + 9727383917673011043134397689950128642292202326526244917013083658770822) * 10 ^ 70 + 5479006995418829450541327399780110513513919096624211119065439724785768)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_68 : Polynomial.coeff recurrence4Scalar2Exceptional 68 = (10600499010260126018214505421325971098872958521980934 * 10 ^ 70 + 9074864345063009733117499221754523504403461264947458428259241003474199) * 10 ^ 70 + 5072762454344277383880826349184993014886435247083455184248856187925466

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_69 : Polynomial.coeff recurrence4Scalar2Exceptional 69 = -((294579456981739201001070643712309214289461811977243476 * 10 ^ 70 + 8147696521877086733744889015055187017870836889246555160587455857724625) * 10 ^ 70 + 5708975708333317373005332473400519692081851048140568272655487581454187)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_70 : Polynomial.coeff recurrence4Scalar2Exceptional 70 = (7890018421485030188283975746388493176929228969028914293 * 10 ^ 70 + 7401337651874934654973417820286045685281701210617956569093464012663523) * 10 ^ 70 + 4762862164780508923933021671904553131435897855616651981603128628319454

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_71 : Polynomial.coeff recurrence4Scalar2Exceptional 71 = -((203773110473985435552096591706626486543591065455686704753 * 10 ^ 70 + 8377232661590928570993671313024468150477606466773462892131320771948954) * 10 ^ 70 + 7944148565271497927690539235572494125472787480611530521865102925870348)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_72 : Polynomial.coeff recurrence4Scalar2Exceptional 72 = (5076866800878318995401059055286427006339835271269577910248 * 10 ^ 70 + 4337463321642997070452469985585326657148474721388519705426622070814950) * 10 ^ 70 + 8469510042802031144686115618062109311317015873127930808955657572825349

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_73 : Polynomial.coeff recurrence4Scalar2Exceptional 73 = -((122068729070473066561385079518537108842699207943764351599047 * 10 ^ 70 + 6283909202042483147478556627239097751241741488197333786085105810022028) * 10 ^ 70 + 8763900341787630068628936415561575930986800080606691501117197288755489)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_74 : Polynomial.coeff recurrence4Scalar2Exceptional 74 = (2833646307629052120020208476808548028271929419141271751722291 * 10 ^ 70 + 4173437336226886370947502487216352240605122340309449562378679963139196) * 10 ^ 70 + 9560517506917619959142556870559071930352173792819368053532649693695723

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_75 : Polynomial.coeff recurrence4Scalar2Exceptional 75 = -((63530954793408727949463510310107578055101367455847220223779827 * 10 ^ 70 + 3249617909780148272475544014364514167744087853594726047953871468715947) * 10 ^ 70 + 3397799040052990331873969390042240504674440988490535716472188609636151)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_76 : Polynomial.coeff recurrence4Scalar2Exceptional 76 = (1376203939417393074287142165966501704117884789863580759219115292 * 10 ^ 70 + 7771068463660168086424097886119928064546838427542725249641487840087203) * 10 ^ 70 + 8929864465819673214282032331936077402937564626612369307419565109654198

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_77 : Polynomial.coeff recurrence4Scalar2Exceptional 77 = -((28813116373156583416493138191717783908624003021160737857403243069 * 10 ^ 70 + 6937576861504151183502969110626824811044076916798336035701817383017596) * 10 ^ 70 + 7213268301898584380976665257554773521826425643031319873523654003873703)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_78 : Polynomial.coeff recurrence4Scalar2Exceptional 78 = (583247936918523322405219394560018080326548219370500748758433858616 * 10 ^ 70 + 4396601443505606314386628560021370025585682793151802262570560295943438) * 10 ^ 70 + 7917870832810334128751407932238427187283746017296186802274798363925958

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_79 : Polynomial.coeff recurrence4Scalar2Exceptional 79 = -((11418534106362314021031893534625480344076358470697960360475099435029 * 10 ^ 70 + 4476845531209768823261306347871241105880889375177441391191988127921200) * 10 ^ 70 + 6014143506002180865396949942435657135503760286174331203516300860502680)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_80 : Polynomial.coeff recurrence4Scalar2Exceptional 80 = (216268505010626633970719224233815090356512113931680465861222843683191 * 10 ^ 70 + 224819988342065598782324877572083863553428980170090712201798485672721) * 10 ^ 70 + 8308901648257281038783610973339556402858964310421956349483202117133622

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_81 : Polynomial.coeff recurrence4Scalar2Exceptional 81 = -((3963934266467169879746101252201840681884375368608569740758550059864474 * 10 ^ 70 + 3262457108262430640311862068843004905563055210356228909562280467944676) * 10 ^ 70 + 6708662679880046358692001796129222031269089689232584364300823127543783)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_82 : Polynomial.coeff recurrence4Scalar2Exceptional 82 = ((7 * 10 ^ 70 + 327785428952891855346751639387451726196540564802168850757892444283787) * 10 ^ 70 + 2766131218216069959183955889413856205485816623686406882747503187127934) * 10 ^ 70 + 1864986232365741314660286511886685447879714415087912577077745501987534

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_83 : Polynomial.coeff recurrence4Scalar2Exceptional 83 = -(((120 * 10 ^ 70 + 8103733132169175833085295531833212059262692465568092708917960764023418) * 10 ^ 70 + 5429104983879760540237532287155074661924169385818985417624827186054559) * 10 ^ 70 + 8018647939963601800914986238941432348026848292216654542296348223826375)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_84 : Polynomial.coeff recurrence4Scalar2Exceptional 84 = ((2009 * 10 ^ 70 + 8320845051244183036736924358603458295281979231333192362669929343646808) * 10 ^ 70 + 2324188626668863826708531246234700066676489589500619627390792216927241) * 10 ^ 70 + 8556977618594167086730084023088983711135334644599045027751214416401377

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_85 : Polynomial.coeff recurrence4Scalar2Exceptional 85 = -(((32388 * 10 ^ 70 + 1891598252836057366001273180373154930736861041065382453803343498002800) * 10 ^ 70 + 4947153542201174939672019177875996982768790070195144865290713633675813) * 10 ^ 70 + 2249674222562482436701875537570324374774781702491858713823865304110780)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_86 : Polynomial.coeff recurrence4Scalar2Exceptional 86 = ((505672 * 10 ^ 70 + 1816794822746854557301069834170694087137280529263377164442130555984724) * 10 ^ 70 + 2976252151401258083096506873990839339239469902442148395971675372429142) * 10 ^ 70 + 1176752207711999726765909423124347164856066889665009623751259723701539

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_87 : Polynomial.coeff recurrence4Scalar2Exceptional 87 = -(((7650354 * 10 ^ 70 + 5651366028986955419930548740395956356317395178002194321148407141553101) * 10 ^ 70 + 8908327073906834153955475388970672458354778706108596343885141784828548) * 10 ^ 70 + 495996828716032202781961304675321109356783920301825986325376005875130)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_88 : Polynomial.coeff recurrence4Scalar2Exceptional 88 = ((112173025 * 10 ^ 70 + 1014271826705591564600490371419934191353094806272398946041862251748331) * 10 ^ 70 + 9385243504257050161297690224187204434751882425512948787949459798062844) * 10 ^ 70 + 8252412366116402327034980162369544360847997631642782338272203921961986

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_89 : Polynomial.coeff recurrence4Scalar2Exceptional 89 = -(((1594199376 * 10 ^ 70 + 9951422802244038694955779068396319447076475777773354558457240445662992) * 10 ^ 70 + 3543465925251776842556792586386994101496724213441061045342520964775331) * 10 ^ 70 + 5418938611477406452273678718227363471091038872057082696681176820834527)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_90 : Polynomial.coeff recurrence4Scalar2Exceptional 90 = ((21962646434 * 10 ^ 70 + 3868613990761005396241886321541781911013479156942041832535218892847412) * 10 ^ 70 + 6173887448320394141051721365453259981482184090558148842537798142592438) * 10 ^ 70 + 2549396664836192893628299785390086169113651566015470214052223183232705

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_91 : Polynomial.coeff recurrence4Scalar2Exceptional 91 = -(((293319626197 * 10 ^ 70 + 3447410119837365893968994414492271447377595899826330533152269505083968) * 10 ^ 70 + 6026522539486362807465515113175918935052036722949107571084703963488299) * 10 ^ 70 + 4696631253089978286460304611832123354400942937362561210322267929030486)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_92 : Polynomial.coeff recurrence4Scalar2Exceptional 92 = ((3797719460119 * 10 ^ 70 + 2692322279571144288920656127835093311784358866087481443440855440136395) * 10 ^ 70 + 3203337658173371661606310316691695560199772328741600912220357409043286) * 10 ^ 70 + 3697266195434010218246062666100425557558924703931942918697265513184743

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_93 : Polynomial.coeff recurrence4Scalar2Exceptional 93 = -(((47667558040614 * 10 ^ 70 + 5269739823174787906018624637246875053092313265731158866960484212320890) * 10 ^ 70 + 5883196769385640787394324992857893997717089940495989674725931985352636) * 10 ^ 70 + 2737387500863919792471688791211498074463620372739248784316497465099385)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_94 : Polynomial.coeff recurrence4Scalar2Exceptional 94 = ((579980561785031 * 10 ^ 70 + 5379536901384826645993911039534110726492029773325872610705634284895467) * 10 ^ 70 + 7611319689137520012004847708266726170458433398243402645647120331605135) * 10 ^ 70 + 9443456638084170967120349748009270754844343988271761505468060478980333

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_95 : Polynomial.coeff recurrence4Scalar2Exceptional 95 = -(((6839785184383801 * 10 ^ 70 + 1267327719604200005572517365606054232733500611656441134392036287980258) * 10 ^ 70 + 2405541567779800143340361892373639405883334046361127322328447756924555) * 10 ^ 70 + 351631383271611129164138191996920460574680672234583836029494136008774)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_96 : Polynomial.coeff recurrence4Scalar2Exceptional 96 = ((78168026090050736 * 10 ^ 70 + 9108937681427238741987100890495330271127816972086238357274022430624443) * 10 ^ 70 + 4941359420470885606859484102525924176753124036215288614571845167271821) * 10 ^ 70 + 3467504129443510801111556345656520301306329433295947255605553213733576

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_97 : Polynomial.coeff recurrence4Scalar2Exceptional 97 = -(((865481804301612525 * 10 ^ 70 + 3998707162267701686278563061114347589715103975793259629647627530641531) * 10 ^ 70 + 608076644962540046135822779135810696782436954277735147863711934677576) * 10 ^ 70 + 7097573849321945429512431029609716206546622031850361964102782867175983)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_98 : Polynomial.coeff recurrence4Scalar2Exceptional 98 = ((9280487788395303546 * 10 ^ 70 + 4112494451476458428281005065232234185074946195062931775085531092393037) * 10 ^ 70 + 873758779608173199806983350486416800779010278315756211763820967634909) * 10 ^ 70 + 2072476612721963396912015856122600503228479434075043870420831767989634

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_99 : Polynomial.coeff recurrence4Scalar2Exceptional 99 = -(((96328930018378350920 * 10 ^ 70 + 3977785363897100925400270215965754717091212033095810127032226276561018) * 10 ^ 70 + 1103131833700465467913902443102211574542914788893771007636109417606238) * 10 ^ 70 + 7490134667313602152416386335329984020518114022086366985826672624649828)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_100 : Polynomial.coeff recurrence4Scalar2Exceptional 100 = ((967247279439873639770 * 10 ^ 70 + 6444856737583273751985806076881622533541493623931866287796263555693998) * 10 ^ 70 + 1617862031121039181750207389475632952830109401107388724858356047631495) * 10 ^ 70 + 7727238591985879843532276668228861249191325606178672824108001124413901

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_101 : Polynomial.coeff recurrence4Scalar2Exceptional 101 = -(((9387451702670520996263 * 10 ^ 70 + 4634322865118638613713640391779643778662256944570183247342619936696988) * 10 ^ 70 + 2931730200427358235479046482570176152625299378471257733586988869202421) * 10 ^ 70 + 8715213781057831619840140710364085716476735809855924825360111326993839)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_102 : Polynomial.coeff recurrence4Scalar2Exceptional 102 = ((87964211463094036790843 * 10 ^ 70 + 7774777170788156354468487182039713501330677863452548354167030570322233) * 10 ^ 70 + 1223280370781161452830778429124285163393442191429484572372666904639014) * 10 ^ 70 + 2850188968515436183296983637558445598187018757117844256379798304814163

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_103 : Polynomial.coeff recurrence4Scalar2Exceptional 103 = -(((794644246613107900008031 * 10 ^ 70 + 2732056256938579558781153986361625032522667672847947065599681436664447) * 10 ^ 70 + 8724736061320936736085621368887096909268790947920583619358439867113166) * 10 ^ 70 + 9223009852583025676671189965171614871137231259655437216713758501651295)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_104 : Polynomial.coeff recurrence4Scalar2Exceptional 104 = ((6906924551169108083544241 * 10 ^ 70 + 9276807559969918137514556806606871846442596274379363654029420096578701) * 10 ^ 70 + 9353018925717692002379695105235711701577574685472310791665280590162057) * 10 ^ 70 + 7648451812202463973433982716774775561706466835073597367493169265803144

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_105 : Polynomial.coeff recurrence4Scalar2Exceptional 105 = -(((57603744876756213002464379 * 10 ^ 70 + 2208170751400262275795919555913399516663863796627810391648825974784752) * 10 ^ 70 + 5480738535871932677837418731904872048599346676991128375710633501131156) * 10 ^ 70 + 927596128957765746267509301918097059061590190812567920892567713275112)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_106 : Polynomial.coeff recurrence4Scalar2Exceptional 106 = ((459171460516979044308936501 * 10 ^ 70 + 2233263300541774475167149540474725390495959969338236646163010719374590) * 10 ^ 70 + 9591595201495866712036720603804884721005023624304369774741504378344813) * 10 ^ 70 + 8449957428580462694042521554308513052959450110940820055762483470984667

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_107 : Polynomial.coeff recurrence4Scalar2Exceptional 107 = -(((3478062443330108187897568985 * 10 ^ 70 + 5269475574303639596637158861097049373402009812416512632706780634538312) * 10 ^ 70 + 7783849158332726175383517563146169044264605351487890051541624890597210) * 10 ^ 70 + 2113903514293166613592575074291284302590046371768447264659197214972557)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_108 : Polynomial.coeff recurrence4Scalar2Exceptional 108 = ((24806492284219419067255345435 * 10 ^ 70 + 1812216829178407000145926987700061505504372118672522777490510890162968) * 10 ^ 70 + 6392760717705231218426220855887081919814770668885107246256840395962823) * 10 ^ 70 + 4172001677838124326518749607546846481613463358595069065833442055825825

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_109 : Polynomial.coeff recurrence4Scalar2Exceptional 109 = -(((163998869471952652057543164691 * 10 ^ 70 + 4230916326185188356819548807164837109923838598931579596061473015862723) * 10 ^ 70 + 4286731378928722993401605430998068842710686249987019825613838720348008) * 10 ^ 70 + 224315712187000564725656803010933733988918164304199850604764118378359)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_110 : Polynomial.coeff recurrence4Scalar2Exceptional 110 = ((974665671384033167128160638342 * 10 ^ 70 + 5788112918207898205852896452036831550095700423994564676933218670979572) * 10 ^ 70 + 4826613372943435442631256775165340393054130260226416439377880242029912) * 10 ^ 70 + 829825356032148312214981191306636684282001267903550299931683650366967

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_111 : Polynomial.coeff recurrence4Scalar2Exceptional 111 = -(((4833863892907388210402209638387 * 10 ^ 70 + 5508526278120303096883405573323073052605653917836502130116206011425492) * 10 ^ 70 + 8298009272048136692080020293207682826879781646694810962103232281222541) * 10 ^ 70 + 2253766035018378263545792478852226480297055680140558109594141136654554)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_112 : Polynomial.coeff recurrence4Scalar2Exceptional 112 = ((14938610713561557066049436628712 * 10 ^ 70 + 1407414889211618372699101928823815440007560389958524439863178820064150) * 10 ^ 70 + 6312443880018368438226895879385633674619497074883649959889949522110972) * 10 ^ 70 + 8206763833251726390337453290170158532852661560329670633366583727621807

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_113 : Polynomial.coeff recurrence4Scalar2Exceptional 113 = ((53978724493099406360328516529408 * 10 ^ 70 + 3453792047792033903319446799123294062692296108663234577797241838387698) * 10 ^ 70 + 966658759543469154125264414302317158079294451734754430238857018510965) * 10 ^ 70 + 9744444600673965207835175176224256292418841104013896412848988077438860

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_114 : Polynomial.coeff recurrence4Scalar2Exceptional 114 = -(((1576049987613263921384871057778352 * 10 ^ 70 + 4102649446629459919060870353054379905273683050492048075159806173757411) * 10 ^ 70 + 7402840722674466561465208080674026360030306225341241822839553146302335) * 10 ^ 70 + 65809249453229775218022301101196375047736212710638494403897871734586)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_115 : Polynomial.coeff recurrence4Scalar2Exceptional 115 = ((19188544922773918352187293585537902 * 10 ^ 70 + 3150912026536230648320904161335901816876241365982051260697099137696267) * 10 ^ 70 + 6973467704208237784288411676218347900376778235663935634581290537004785) * 10 ^ 70 + 1349749411139884651041304938542664309910663522536707311095972986184047