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_0 : Polynomial.coeff recurrence4Scalar2Exceptional 0 = -69361034541562778333826486175232717553664

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_1 : Polynomial.coeff recurrence4Scalar2Exceptional 1 = 144485167788367069654875209596710129798508544

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_2 : Polynomial.coeff recurrence4Scalar2Exceptional 2 = -341109060376047963898306476498344830103525431296

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_3 : Polynomial.coeff recurrence4Scalar2Exceptional 3 = 2281041944934565862941280324194209967140422824971456

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_4 : Polynomial.coeff recurrence4Scalar2Exceptional 4 = -2735462438149741027363594108725632788960763266996715200

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_5 : Polynomial.coeff recurrence4Scalar2Exceptional 5 = -6140819563599904639765122476541955345805598000196060646928

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_6 : Polynomial.coeff recurrence4Scalar2Exceptional 6 = 15111796492310470556814667908422467010238626153069528535766752

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_7 : Polynomial.coeff recurrence4Scalar2Exceptional 7 = -8708678871658187236050490209106493017708052233089413418064510976

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_8 : Polynomial.coeff recurrence4Scalar2Exceptional 8 = -8366870363267876614910735236263640829781650733598963541334382830448

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_9 : Polynomial.coeff recurrence4Scalar2Exceptional 9 = 1 * 10 ^ 70 + 8916467388002539141167137050344503305328954646300573060990461073453196

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_10 : Polynomial.coeff recurrence4Scalar2Exceptional 10 = -(1528 * 10 ^ 70 + 6496382481785416281879935118230830309332764215567757694745516298907704)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_11 : Polynomial.coeff recurrence4Scalar2Exceptional 11 = 548881 * 10 ^ 70 + 5302616610260433858327421040214116058075013153907246896879504861738368

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_12 : Polynomial.coeff recurrence4Scalar2Exceptional 12 = 63459985 * 10 ^ 70 + 1745054791023694616455133815118422407635292257702739678339655579660440

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_13 : Polynomial.coeff recurrence4Scalar2Exceptional 13 = -(173705075213 * 10 ^ 70 + 1727399672261028515886243387642670124910954555922234924481790488269000)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_14 : Polynomial.coeff recurrence4Scalar2Exceptional 14 = 95664451921870 * 10 ^ 70 + 6157203748954850320807206681551147803483152651954904588946370742116772

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_15 : Polynomial.coeff recurrence4Scalar2Exceptional 15 = -(30441467267044865 * 10 ^ 70 + 7051566293839850490886120935228483796639238482160555617121272909511570)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_16 : Polynomial.coeff recurrence4Scalar2Exceptional 16 = 6196711056169355055 * 10 ^ 70 + 8683856431967323433880939541702877400852475945688910355901360071819092

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_17 : Polynomial.coeff recurrence4Scalar2Exceptional 17 = -(822055291906476380919 * 10 ^ 70 + 1030472421438163994975858983590375620099367028650832215454907627567472)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_18 : Polynomial.coeff recurrence4Scalar2Exceptional 18 = 118493394208465105481972 * 10 ^ 70 + 1137807934493542690932244418472534522996630741424881041764632785582395

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_19 : Polynomial.coeff recurrence4Scalar2Exceptional 19 = -(53996224809409609364745249 * 10 ^ 70 + 3007173871495139656439598531176608374579216231423040980312024795613003)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_20 : Polynomial.coeff recurrence4Scalar2Exceptional 20 = 26691480465391869515593275305 * 10 ^ 70 + 8332324123092334996652694109456423577778306907021119635730368442832848

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_21 : Polynomial.coeff recurrence4Scalar2Exceptional 21 = -(9578349555902515077425828970480 * 10 ^ 70 + 7176925708353396006213128446934388167531308757970604088810363257909730)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_22 : Polynomial.coeff recurrence4Scalar2Exceptional 22 = 2663206965145663388281203249429538 * 10 ^ 70 + 8220960785558513985160489871218432685750035413232693540997631241524144

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_23 : Polynomial.coeff recurrence4Scalar2Exceptional 23 = -(614531334346511716097699587603612310 * 10 ^ 70 + 1347402135848934334367998234864196507015733420217034064795792338418548)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_24 : Polynomial.coeff recurrence4Scalar2Exceptional 24 = 125160289894485183431532074747912981038 * 10 ^ 70 + 7313373726352536771191994520526597691463087331820794128891684410674039

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_25 : Polynomial.coeff recurrence4Scalar2Exceptional 25 = -(24412740590490097928311686068537957506055 * 10 ^ 70 + 1405493973871426178110385632793885784250047876120497039526665808874234)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_26 : Polynomial.coeff recurrence4Scalar2Exceptional 26 = 5064554825671483898870710403551853237535019 * 10 ^ 70 + 1654638460993461577595593113104861425369321954023804633857665785181234

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_27 : Polynomial.coeff recurrence4Scalar2Exceptional 27 = -(1185797780402166884801475711750932356493283096 * 10 ^ 70 + 5194111328928071538787770879833039231970280079782699936189708743309953)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_28 : Polynomial.coeff recurrence4Scalar2Exceptional 28 = 299261012896607322934001413521392791540013209003 * 10 ^ 70 + 1543555352319898020673552002438164672743838395503767379563591221936334

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_29 : Polynomial.coeff recurrence4Scalar2Exceptional 29 = -(74763762971028525221395136561427976204193725270738 * 10 ^ 70 + 3122691052710360077915261483032446431860022319395294986313608334703884)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_30 : Polynomial.coeff recurrence4Scalar2Exceptional 30 = 17521007756712227135096536598890886446706065044469441 * 10 ^ 70 + 5649161582909810902893112247964239963430313443557353617905842343265469

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_31 : Polynomial.coeff recurrence4Scalar2Exceptional 31 = -(3774020639627128489915451146738887252599469532833313688 * 10 ^ 70 + 9915773581017070424290478490154336064900301553406600396922710201632707)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_32 : Polynomial.coeff recurrence4Scalar2Exceptional 32 = 744370190157732514490562186157869756726814763561421190649 * 10 ^ 70 + 9207315210490483145058123638159320884596158046132222769282725898844148

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_33 : Polynomial.coeff recurrence4Scalar2Exceptional 33 = -(134745142201276704343645665581086939426671011525611075355625 * 10 ^ 70 + 460875269293900024269606663258610572280725659244086874962285525314485)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_34 : Polynomial.coeff recurrence4Scalar2Exceptional 34 = 22474142397800155147545770066898222023580570613449760274155727 * 10 ^ 70 + 745315288995153906700628727228245867412191087668571020220325100258708

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_35 : Polynomial.coeff recurrence4Scalar2Exceptional 35 = -(3467574336253949239294944866077072406199482694711092602314296521 * 10 ^ 70 + 4927889861223156348115124738624110102031475699635142065097964591071442)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_36 : Polynomial.coeff recurrence4Scalar2Exceptional 36 = 496694224957885840824434703308680830943791961843224436778229472163 * 10 ^ 70 + 6273392509277662521158946638563441359629808386118509443751533071167848

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_37 : Polynomial.coeff recurrence4Scalar2Exceptional 37 = -(66254550542583417153438161474243164390677688153785926672216251399442 * 10 ^ 70 + 8037924429465150979465723725877555686440720090956683098959720612384679)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_38 : Polynomial.coeff recurrence4Scalar2Exceptional 38 = 8252174577553750077192619512312844930119298422030845635621927776236870 * 10 ^ 70 + 9583386946683107659910406257342766264201360932440178926586133985894885

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_39 : Polynomial.coeff recurrence4Scalar2Exceptional 39 = -((96 * 10 ^ 70 + 1978482899363103600813279803805337099749328397283730707354136359488039) * 10 ^ 70 + 7725417444251977920644213353063627121536410037502699071092249403793170)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_40 : Polynomial.coeff recurrence4Scalar2Exceptional 40 = (10517 * 10 ^ 70 + 4647166881058206672036476019259820829312313379301806055983630695105738) * 10 ^ 70 + 336112719030672844136713810597094812440137247776489691755492952488760

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_41 : Polynomial.coeff recurrence4Scalar2Exceptional 41 = -((1080489 * 10 ^ 70 + 1442970257540071470199490672883717328342782395713516900572460994337255) * 10 ^ 70 + 9414920174872868139031651143484315661006155486352159860982722068071191)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_42 : Polynomial.coeff recurrence4Scalar2Exceptional 42 = (104480786 * 10 ^ 70 + 6300449720959471192006610616146655120180748728705861261551189099999171) * 10 ^ 70 + 524060995944533526792795688815335899198943212740155654208099523006784

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_43 : Polynomial.coeff recurrence4Scalar2Exceptional 43 = -((9524524823 * 10 ^ 70 + 1498605845919374259883679974454831923031689404288696115898042511400076) * 10 ^ 70 + 6745300758675395890914631837577008813768772259212147193597599118122057)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_44 : Polynomial.coeff recurrence4Scalar2Exceptional 44 = (819739599674 * 10 ^ 70 + 252877269737248246085940337189579235473489478342365031518053694765730) * 10 ^ 70 + 6619317538990720105032956859023143193555153185936979083456291598373062

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_45 : Polynomial.coeff recurrence4Scalar2Exceptional 45 = -((66700166526741 * 10 ^ 70 + 7235417062906950234293833964786522087660738597788108446147723763106889) * 10 ^ 70 + 8399234724475961360737498727030847156734454459349363581089114733209827)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_46 : Polynomial.coeff recurrence4Scalar2Exceptional 46 = (5137506263909010 * 10 ^ 70 + 4712813322051027779056493623409306905688602463390259192036482928698493) * 10 ^ 70 + 8340299711388991030816517485912091899141016689275805868821730738221738

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_47 : Polynomial.coeff recurrence4Scalar2Exceptional 47 = -((375038613032795644 * 10 ^ 70 + 9144733394035066186655521086884530116557400463259313842480990182504030) * 10 ^ 70 + 9189831682152945792785948825924771226700489786352186934199723967565356)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_48 : Polynomial.coeff recurrence4Scalar2Exceptional 48 = (25977222396226133037 * 10 ^ 70 + 7146573311858467669997261970215438856314999599829621145036696375226385) * 10 ^ 70 + 5425368412984743826632974086641629937533376770070412263666671318382411

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_49 : Polynomial.coeff recurrence4Scalar2Exceptional 49 = -((1709116197558616271276 * 10 ^ 70 + 917835438451524247422444782151736403802546028242587462257193760420749) * 10 ^ 70 + 9429607008765577334800698780337334263238506621116704094473081724941995)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_50 : Polynomial.coeff recurrence4Scalar2Exceptional 50 = (106919813410542031557483 * 10 ^ 70 + 4521793956328756932999789454029706931969555659759811817798896420618621) * 10 ^ 70 + 8539103397089728741491236027170999906338775052955758247669905934279368

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_51 : Polynomial.coeff recurrence4Scalar2Exceptional 51 = -((6366147501062080439201823 * 10 ^ 70 + 5497756446958090461589782982674399026216628507501522032190361774824740) * 10 ^ 70 + 1165858199202209004349816887547071225456330262027562042567448882640226)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_52 : Polynomial.coeff recurrence4Scalar2Exceptional 52 = (361103469695355636232795673 * 10 ^ 70 + 611613374005917502564055010917673963648779061044696267111243186049749) * 10 ^ 70 + 577081430776937432156803262231708424191966562532945765554212643221087

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_53 : Polynomial.coeff recurrence4Scalar2Exceptional 53 = -((19530329191360495105512826959 * 10 ^ 70 + 7660293834124123238792175662523917001078982263414075102320481993172104) * 10 ^ 70 + 7476510684235756252082924551205818728957931978522948720458150671771656)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_54 : Polynomial.coeff recurrence4Scalar2Exceptional 54 = (1008045528215614057506411249812 * 10 ^ 70 + 7287048385521200760183681007776141164799051195319496799401335116749075) * 10 ^ 70 + 6533250061045345052261857695505760482934277786383760204240770905980085

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_55 : Polynomial.coeff recurrence4Scalar2Exceptional 55 = -((49693273564588848642215368285532 * 10 ^ 70 + 5231236675683210860651423640280245962561732209104755225473394008476290) * 10 ^ 70 + 8033169859403511034266439375305483797700865835227077322297951108502895)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_56 : Polynomial.coeff recurrence4Scalar2Exceptional 56 = (2341540276579890987426789707028688 * 10 ^ 70 + 5814806846408942158125036209416212015387530035563514204894573223097346) * 10 ^ 70 + 4208768291461252972455953977583145797433764567423124292041877564269105

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_57 : Polynomial.coeff recurrence4Scalar2Exceptional 57 = -((105540303377277220760307383520851520 * 10 ^ 70 + 9976800180525969577778346407161914918455249363220307599462225842327687) * 10 ^ 70 + 7786586273670376445960239058554971776794337565296414433973022497546447)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_58 : Polynomial.coeff recurrence4Scalar2Exceptional 58 = (4553665141512237208278187167717321286 * 10 ^ 70 + 4849123567852286457415754629228271143105554475755804534148611750375165) * 10 ^ 70 + 7320003595770788280571748720907700368864080343172310895245447350849765

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_59 : Polynomial.coeff recurrence4Scalar2Exceptional 59 = -((188205040378907022332069624482048891067 * 10 ^ 70 + 5094907831142730222761191726993855213300421153234848155492263484929512) * 10 ^ 70 + 4134682680097914996906258419844660050330752656035885402341726519364054)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_60 : Polynomial.coeff recurrence4Scalar2Exceptional 60 = (7456222001118343109907928523225104171510 * 10 ^ 70 + 2175084227371410646741632998706883380660598812436136391398904579355970) * 10 ^ 70 + 21808693189594156159090279402390565916973892306869177710971422105365

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_61 : Polynomial.coeff recurrence4Scalar2Exceptional 61 = -((283336873766229535400209230472162428157557 * 10 ^ 70 + 856265118267517105887737880853449088507289922423444956680776103048959) * 10 ^ 70 + 6826266967865347405697850416435964188343931050214278625136613055618048)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_62 : Polynomial.coeff recurrence4Scalar2Exceptional 62 = (10333634770554616270789478779374367399320353 * 10 ^ 70 + 2812953472348329560492947528210351833261187873179450215150491393691403) * 10 ^ 70 + 8570020468481389189250609051894781773376747688532755018380560241752620

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_63 : Polynomial.coeff recurrence4Scalar2Exceptional 63 = -((361933003610415237462948690226963945219586550 * 10 ^ 70 + 9829819636644436944092016378820027505335068612290397705734154540141582) * 10 ^ 70 + 1881523150118890238106521344622611701895772905551728463379605734187654)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_64 : Polynomial.coeff recurrence4Scalar2Exceptional 64 = (12180871667915027792003282731681802327406837753 * 10 ^ 70 + 9811340329576463746638523547254939348075642566376107363479195768338929) * 10 ^ 70 + 9689330319658903795340439765763614228357804883576080441371898637356295

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_65 : Polynomial.coeff recurrence4Scalar2Exceptional 65 = -((394134798312444121153954569766312517504227093894 * 10 ^ 70 + 4612664498901330693423805943677042424982806479157165883601129383187192) * 10 ^ 70 + 1224504133082364291894264436380453663955580633629371216461957625151312)