{"label":"20.12.a","level":20,"weight":12,"dims":{"new":3,"cusp":30,"eisenstein":6,"modsym":66},"old":[[1,1,6],[4,1,2],[5,3,3],[10,5,2]],"T":[[3,1],[7,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 5, 10, 20]: [2, 4, 7, 7, 19, 36] (certified at ell = 2147483629)","T = [(3, 1), (7, 1)]; h of degree 3 = 1 x 3 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"20.12.a.a","letter":"a","dim":1,"charpoly":["31768","1"],"traces":["1","0","306","0","-3125","0","-32074","0","-83511","0","-5280","0","227834","0","-956250","0","-5097318","0","-16279036","0","-9814644","0","-33055038","0","9765625","0","-79761348","0","-2112786","0","91337396","0","-1615680","0","100231250","0","-109132054","0","69717204","0","1202079126","0","1112512490","0","260971875","0","507908142","0","-948585267","0","-1559779308","0","-1900361502","0","16500000","0","-4981385016","0","2802066708","0","-9660996838","0","2678531814","0","-711981250","0","8370234446","0","-10114841628","0","-12173973252","0","18053518034","0","2988281250","0","169350720","0","22759013912","0","-9613249371","0","65367228042","0","15929118750","0","-646512516","0","-13526251734","0","-7307547716","0","27949243176","0","50871987500","0","-155553294334","0","440938080","0","-183357072354","0","62085242618","0","30670762500","0","-91422463578","0","-292890956422","0","-33394408524","0","313004111898","0","103296993750","0","-19026645174","0","163491377532","0","-285283792211","0","367836212556","0","-30517578125","0","-165220284634","0","340428821940","0","-553926632160","0","522133800664","0","249254212500","0","767596039074","0","137881412324","0","155419891452","0","-1202963520","0","6602456250","0","-290267091702","0","-367577841054","0","-1315002505060","0","425682123498","0","-285429362500","0","-1183505938846","0","-581510619612","0","1060207288812","0","-2169315732550","0","5049000000","0","-279061150746","0","-1740252062481","0","1359478575396","0","849399347538","0","-313222656250","0","857432412648","0","2786876128332","0","3169160305070","0","-2956265032428","0","341037668750","0","26913839040","0","2558265475752","0","3569771674908","0","-4528049691238","0","-217866262500","0","5567551162554","0","-2070577242088","0","2561291740476","0","67765498164","0","-3756497268750","0","2760459278418","0","85953310080","0","530234992304","0","-3725235815112","0","-3476601531250","0","-2929555639304","0","5524376518404","0","-1161342349212","0","-8240223082750","0","-815537109375","0","1775093870742","0","-11458204226554","0","51821320320","0","-14292141308022","0","-1587212943750","0","6964258257072","0","-749470391496","0","-12977117767666","0","11187829206630","0","2964328959375","0","-3708917888024","0","20002371780852","0","30382401007200","0","174530600640","0","4874310337500","0","-5369446158918","0","3500301499996","0","176440871646","0","30461808454554","0","5938629693750","0","-4139033030604","0","-22701212447478","0","-8318371394500","0","-2236109601096","0","-51562500000","0","-4900216270462","0","-7627677277356","0","-3853439781834","0","41188557524018","0","15566828175000","0","-38555485887324","0","-8289245514509","0","-47599308066204","0","27989554888650","0","-8756458462500","0","421139917440","0","-7531061527692","0","-35682725604260","0","-56107264140324","0","30190615118750","0","1524984947246","0","18998084241108","0","-95597223159228","0","58880407296986","0","-8370411918750","0","19004460501042","0","11155510080","0","-27975273854868","0","82979423225448","0","2224941406250","0","-89624632665132","0","-16290645746508","0","68906233801688","0","9113726961594","0","-26156982643750","0","132645863886626","0","95779258240788","0","-482261450880","0","93845701808740","0","31608880087500","0","31645558445790","0","-31521144250210","0","-18172346960232","0","-67082259765294","0","38043666412500","0","50028361524792","0","-70037119606584","0","148516754191077","0","-87296840416566","0","-56417243856250","0","-228437684083906","0","-100386829891386","0","60952194815148","0","-82980945508798","0","-9338378906250","0","-481364485524","0","208506768196028","0","-50557407098004","0","-266918288888718","0","-529221000000","0","-92907030552390","0","-152502187391934","0","168492040188084","0","-169501549440960","0","-71121918475000","0","255208899610106","0","159772943003184","0","52365809680770","0","20809764280264","0","30041404284375","0","576217245120","0","-319389980885746","0","234884387956644","0","-89873487592392","0","-204272587631250","0","42191712171144","0","266290019087964","0","50579618998946","0","-42415916846562","0","-49778496093750","0","309866812582012","0","-368106837120","0","39434744412396","0","-109418469391966","0","2020351612500","0","538104153583368","0","465963029174552","0","79217304232437","0","227961762137082","0","42269536668750","0","-112478819362524","0","-254616786575706","0","-6346977785280","0","-402390766548360","0","22836086612500","0","-206091049544662","0","406568954864664","0","-265541533433850","0","-22359419004502","0","-87341384925000","0","-623224869189810","0","-268466899621004","0","-362152817286876","0","-5874065947200","0","-158974960937500","0","158701089393522","0","-453436753703496","0","-24863992391036","0","324423430376472","0","486104044793750","0","-739073229422722","0","-663810614160300","0","106260825554400","0","10769542107948","0","-1377931500000","0","390468018084648","0","-328319015624956","0","-85392712128276","0","529404477081594","0","572990851106250","0","-532517131119186","0","628508207785134","0","-579048537422516","0","1298437855500528","0","-194016383181250","0","-2681754989760","0","259916200346628","0","718197489411594","0","719270834665298","0","-95846132812500","0","-465575752703928","0","139825779267517","0","-234003392851788","0","273874495593084","0","285695198681250","0","852784095269592","0","5008530209760","0","-2106157378558186","0","969763053351420","0","915284238818750","0","-1416043779238282","0","806799506938218","0","34394119354296","0","-729972612213488","0","104357526637500","0","1791557692873050","0","253468170646660","0","8235634746240","0","204036235442274","0","-978137849681250","0","308335360325454","0","-450836142105330","0","-1299628573517992","0","1092350132521848","0","-322803105468750","0","-1040136840921046","0","-1385583205518828","0","-2096588472219108","0","10033908730560","0","59458266168750","0","-439158545678298","0","-1486884757630256","0","1703670655741524","0","-2122820984704974","0","-510910554787500","0","-633596636078928","0","170169380821440","0","400136924982950","0","-699006648819906","0","891511850659375","0","1772943413336414","0","20736242438184","0","115718743624428","0","-1168001825830486","0","-1149488164237500","0","-515500280549238","0","3268984324630220","0","2636514389071224","0","433840998116316","0","95367431640625","0","26301712884480","0","556280783231172","0","4170211945892492","0","162251907645024","0","516313389481250","0","-216119975721678","0","1016660680247772","0","3293177019786702","0","-3331383792998302","0","-1063840068562500","0","3851614182875886","0","-14794912218240","0","-896444025627024","0","-3002738185137726","0","1731020725500000","0","-1507667344537374","0","-2776185869897316","0","2932919578471058","0","-355370758858872","0","-1631668127075000","0","69838221515868","0","-2521508263321500","0","51010063304640","0","-1090977897795502","0","-778919414062500","0","4679870444290554","0","4989216362468716","0","543178724447052","0","-3423397403929974","0","-2398737622106250","0","-3506210493325524","0","-432966962446668","0","1784413749552728","0","-14142647977920","0","-430879413512500","0","-6127379566384068","0","-4373395240254732","0","-4081344033899910","0","1776564635819944","0","-485687160787500","0","5880994738682196","0","1004136366532694","0","-1900628010805032","0","-3019161095601048","0","3759261000000","0","-229337939797776","0","-2621137397798856","0","-1991322071729732","0","-3970998036905796","0","-20632675781250","0","6371423290028102","0","5126434023553317","0","-5670829940501820","0","9032363687351906","0","907084661568750","0","-44194837874880","0","3543073136590700","0","-1134928873735344","0","-8443183386736158","0","1148680753293750","0","-5458882581015462","0","2932284096800772","0","3601952298409076","0","9297014708203200","0","4109382828312500","0","1092625440431954","0","53406363795840","0","4379766061954842","0","9394184536279228","0","-1330256635931250","0","638406066350472","0","2753210045452418","0","-1643050524628908","0","14837910193995210","0","891966757812500","0","1071092258998776","0","-19568689367002536","0","64278578770560","0","168518659395528","0","3698456058893750","0","-1914731767783402","0","9321313387093524","0","-10039293885016452","0","-2201103553588892","0","1817220686287500","0","-13219883034148254","0","-2588969314563156","0","1129590808558074","0","-95322575219520","0","-3313147777537500","0","-6946571008928268","0","-6457565716256694","0","-6906661436801296","0","-2545421646717000","0","6779111664218750","0","-18110630875159640","0","610260617310876","0","-3181809486249294","0","12230417186201186","0","-15778125000000","0","14537578565222430","0","2811366639317018","0","-1499466178761372","0","4835240756013906","0","872066096081250","0","-7285193827769808","0","-18368844396301392","0","-12196045901024033","0","-1179152573241204","0","5438287695253125","0","9150192351375614","0","12603698602349508","0","3607364191988052","0","-13914652506811270","0","-4248370548112500","0","15168184482077634","0","8981672262466724","0","-11797978681521144","0","-3910190595003918","0","-2654372961056250","0","-2536509127439754","0","-120167593455360","0","1907023994769964","0","12990411163126674","0","978820800781250","0","-24051302837093902","0","8564803795926900","0","13684608231909102","0","21220926313329218","0","-2679476289525000","0","32214706862217414","0","5299275409350916","0","50757956678880","0","-8268254928311112","0","-8708987901037500","0","-2304504827473752","0","-192976371545256","0","9686746890651636","0","-10918914034903560","0","-9903625953343750","0","24406594272096782","0","15312332469354894","0","9758691047158692","0","-345138964061760","0","9238328226337500","0","17766642799899840","0","-27061006363715824","0","466645393857276","0","-2773645021896168","0","-1065742714843750","0","-5184800696271798","0","-11458503094601418","0","15442053710562612","0","-29252750286723768","0","-84105747000000","0","-32231714244926086","0","18017404632877716","0","11644489345707222","0","-39734771188936788","0","-7994579611725000","0","1625393389953054","0","4113205227758356","0","5815364913318852","0","-35369161428552342","0","-11155536484087500","0","3413586084480","0","-24619875357259476","0","-17065956988344015","0","7634781355862358","0","14150155285118750","0","-45843499341779986","0","25391703506987088","0","16962633784982136","0","-4422408418879976","0","680832070312500","0","50242103275152114","0","71418609155520","0","24459616661757642","0","-35833053248280966","0","-17398597382981250","0","-4984937598431448","0","-36774142632424620","0","31409932138394036","0","21085307543316528","0","6470553881525000","0","-9450004900218142","0","8704519737048792","0"],"derived":{"al":[[2,null],[5,1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"20.12.a.b","letter":"b","dim":2,"charpoly":["-2341505904","-3560","1"],"traces":["2","0","220","0","6250","0","3340","0","43738","0","298320","0","1209820","0","687500","0","9056340","0","19439368","0","41862752","0","55926420","0","19531250","0","48081880","0","41841708","0","62230792","0","-112979280","0","10437500","0","-729235940","0","-1046733592","0","-608419068","0","-1129440740","0","136681250","0","-1653072900","0","656908386","0","-883429896","0","5724887340","0","932250000","0","7813100240","0","3756433896","0","4923703564","0","9202019900","0","3780687500","0","-5843244140","0","8595645984","0","-43352162664","0","33647099620","0","2148437500","0","-15684992880","0","-54799425296","0","-51460199582","0","-9303032100","0","28301062500","0","-121318983000","0","3688968372","0","-128938931512","0","228621221120","0","60748025000","0","65892157780","0","-25550825520","0","9530013852","0","349576084420","0","130821100000","0","-158596451820","0","175581192076","0","-353600790328","0","568127039940","0","174770062500","0","-233101480660","0","-193514542056","0","-469266082822","0","168386193240","0","61035156250","0","-189178345220","0","-777964107280","0","-1273730526960","0","662363187920","0","150255875000","0","-861613418700","0","775265621128","0","-1371623031936","0","640584130080","0","130755337500","0","210854398140","0","-892657761348","0","2336138537560","0","-215464905660","0","194471225000","0","1722007729900","0","2093689139976","0","364652237424","0","2431243861420","0","-353060250000","0","1079331594780","0","871003755678","0","1673568885992","0","-4764425994420","0","32617187500","0","-2688267029520","0","-1957989746856","0","4551429954460","0","-7210442119000","0","-2278862312500","0","2083898319840","0","-5358831009856","0","1441706067096","0","-4330812876620","0","-3271042475000","0","-439710767220","0","6891091939504","0","1942916097872","0","-13907418715320","0","-1901309587500","0","1760677631460","0","686415924480","0","11487175179088","0","-8082859507680","0","-3529502312500","0","24721042996640","0","-532973357992","0","11410374375576","0","9290751519220","0","427128906250","0","-7150812350700","0","19930055630332","0","4220620705920","0","-2226913753980","0","-5165852812500","0","9292393904960","0","-4929175501872","0","16687176741748","0","-25150144473740","0","2052838706250","0","-6150505265680","0","-6314709789936","0","-32235128086800","0","7388926291440","0","-2760718425000","0","-11976176258460","0","-31563540918808","0","-26787709281348","0","23338567723380","0","17890272937500","0","-62416875471720","0","-25208433366996","0","825032756920","0","8947381879360","0","2913281250000","0","3587980361020","0","50151608670248","0","-24036153293628","0","49888712275420","0","24415938250000","0","25103604426360","0","-18084379473178","0","-34487829368008","0","67090977672060","0","11738855925000","0","26282342070240","0","26118007963896","0","-74449710508480","0","170861233317960","0","15386573637500","0","-81976154860940","0","-5218367944864","0","50663949962184","0","-3796977875660","0","28756312187500","0","28629857379900","0","55350521808480","0","-103624627015056","0","59492020643280","0","11814648437500","0","13936447528040","0","-134826768178896","0","-179848226724704","0","-76092324896020","0","-18260137937500","0","-95121936449660","0","38171031949176","0","-77210230325280","0","9876752483480","0","26861393700000","0","-149120588327820","0","-243479866541300","0","183732842258576","0","-70576104833820","0","-135475508325000","0","163472430855360","0","281874371103792","0","42107001280074","0","-95112678384020","0","105147186312500","0","-107695641469460","0","38463187360308","0","172059181973736","0","-136655689878980","0","6713867187500","0","422718945283560","0","-46761619091144","0","338639356947392","0","114632373917940","0","-49015602750000","0","-168519377236660","0","-8976828141828","0","240957213617448","0","-144659269106160","0","-171248204050000","0","380213359325020","0","485658525079168","0","415002310048740","0","-662280503715280","0","-160813123693750","0","-2152746408480","0","-286666905546812","0","-136635690330792","0","-337990453540560","0","-29071975312500","0","336212288510000","0","-115270664834472","0","21299740038172","0","-297903754096020","0","88440820312500","0","-852254910773560","0","-193709309802720","0","28133675836632","0","-308016977792780","0","-379121821875000","0","580683099572400","0","238312401716944","0","44856714143034","0","-277474906037460","0","11528026162500","0","-322559695845240","0","-483507982399212","0","-182523581563680","0","-197739721547680","0","-402934160975000","0","884646635199220","0","464100713264688","0","-114987591071220","0","844324483938100","0","714441316000000","0","-388659396879420","0","277251480099392","0","529552652124968","0","86485613314800","0","189837578125000","0","447266898405180","0","579746425685328","0","421680432879368","0","1204536033555840","0","205912993062500","0","-434798163579140","0","-834315400780720","0","-8994663303600","0","822600025299000","0","-79846329750000","0","-440265610873920","0","1190807801426248","0","-1761894518740512","0","956860032415620","0","29781293287500","0","-1331551908712860","0","-1958931233616372","0","-413800472731912","0","-276496790875360","0","1092425263812500","0","217443801281040","0","-185010735192984","0","-2475422088120012","0","1978443714519100","0","408815937500000","0","-833297287941360","0","-325762561851646","0","-600174993905976","0","-1110684367936200","0","-495613911937500","0","-1718325358968240","0","43932609340560","0","-449194112876372","0","885807821407880","0","548691225237500","0","-110949160129100","0","-1597774419187684","0","-1504801266178128","0","1609041666070400","0","-1105002469775000","0","1197672058744140","0","1379948077243880","0","-711318582790560","0","1790578033921500","0","1775396999812500","0","-1303826284594900","0","-139642234156860","0","1156425622102816","0","1457654581399680","0","546156445312500","0","2124562409186500","0","1720631838980024","0","-602878828348896","0","282983097929760","0","-728442127062500","0","3115140519090660","0","3971420793429728","0","-161791323849912","0","-2514169015729500","0","-604732943925000","0","1255220022880160","0","-2146482534591360","0","4663183307060740","0","441062143622180","0","-1466456508818750","0","-3882717670839140","0","-871986881184192","0","2755001172887016","0","-729922282106900","0","526206853875000","0","1269963738454020","0","-1253913133766600","0","1024203184227648","0","-6967154904001800","0","190734863281250","0","-495121865449920","0","-1927525346355816","0","-3164728982548136","0","-3196430112852400","0","-591182328812500","0","-40033713470820","0","-1677175200519816","0","2038596640281684","0","-6436705289338100","0","-2431137835250000","0","-316457155313220","0","1769884835578560","0","4380824682049792","0","-2041157424660420","0","-3980407896750000","0","-195685527972460","0","982491019857048","0","2351911889591836","0","-5224261584830640","0","2069884962250000","0","346879158720120","0","3642214132710080","0","3757718932911840","0","1280418651965620","0","469549609375000","0","5273160358927980","0","-4522652402850088","0","9253701273818064","0","444681211863420","0","-2692541933437500","0","4838012260030280","0","-1157189435970456","0","-2002244261488064","0","965098273705680","0","2422705066025000","0","-3938175168885720","0","10156509618781656","0","1935676749255660","0","-11237924722810000","0","-4286321974800000","0","18865150552293480","0","7547771692588828","0","2172064119456176","0","3189921332020320","0","2001825406500000","0","-8677853760421440","0","-6332570281819632","0","-4263770771666704","0","14899498685540600","0","408610429687500","0","-4372495171188020","0","4204260506376154","0","-1827367228721160","0","1148852510016460","0","658919994187500","0","-1879990747698480","0","-9354167166047720","0","-8711247840784928","0","-107835431329500","0","-2789555504212500","0","-1367550785960820","0","-9830726996488416","0","-9244528225529528","0","-2893747866502800","0","7300432929875000","0","-17223248520707300","0","-2899591542840960","0","-11338792252137516","0","-303680088868600","0","-673327830187500","0","12060558764529840","0","3752912708135716","0","901918119595704","0","-3777486770712180","0","607722578125000","0","-19058493189414080","0","-2341600507404912","0","-5173901153252640","0","17511461659334160","0","5381274155937500","0","-14024860675847420","0","2851269389707488","0","-1751074454609064","0","27443865779741480","0","6542778562425000","0","6246358254893340","0","-1503156068550792","0","-13740311589053532","0","6670121562634080","0","1139538241950000","0","21523663027202280","0","-7424491005662988","0","-6033346915950512","0","21722880971314880","0","7597637066937500","0","-20901362090384560","0","2268980662813672","0","5987922723341052","0","9009810762485620","0","-1103313281250000","0","28520930396593620","0","24692112543291916","0","733510105815176","0","2277739822514580","0","3372911233687500","0","-27573846032427520","0","-13110743396706144","0","18889766667986174","0","-10282601116498920","0","2721886736493750","0","-5611442787682340","0","28549210906037936","0","-22178894408765736","0","22137268465103980","0","5229902768725000","0","7636426161751860","0","-30164752468002872","0","-9468913682683968","0","-3539994038944860","0","-14888831232562500","0","-19011825607906220","0","-14148811245284160","0","-11695020653253832","0","-7740917080746940","0","101928710937500","0","23058516250756780","0","-9116709374658360","0","-12618246988617516","0","-18147892492269380","0","-8400834467250000","0","32019534962936940","0","39582908379779312","0","-3396738297540720","0","-34128282713332080","0","-6118717958925000","0","-28640157317824320","0","-73401050610823632","0","18562514800575672","0","-32714460485872640","0","14223218607687500","0","-19364743065486140","0","37567256867662188","0","22733034760489704","0","675996472949040","0","-22532631621875000","0","-2632059116625360","0","45076382864927392","0","11907044443680272","0","-15764788901276400","0","-7121444726562500","0","-1962902800653100","0","-44406034181218476","0","8488806069692424","0","809811761272800","0","6512182249500000","0","47056632861985060","0","18003681466293272","0","27034405298037804","0","-15475113722051640","0","-16746346905800000","0","67292593558209780","0","33716458053036152","0","74058141605489064","0","-34681144267752300","0","4505331459675000","0","-15744049143613920","0","-6085156193619912","0","82687895464163970","0","-22427729614119900","0","-13533790239437500","0","22169438688170860","0","13971061100005536","0","-27748839037759488","0","29148264377920880","0","-10222007734375000","0","27150676371790740","0","25051084699497120","0","2656738697439644","0","-47305398746123340","0","-1374096147562500","0","-51115306404862080","0","-35856193011552960","0","32947032983635432","0","-41369193408999760","0","21534662310950000","0","-65954832132560660","0","18303220175464784","0"],"derived":{"al":[[2,null],[5,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.353,"computed":"atlas","estimate":{"seconds":0.685,"low":0.418,"high":1.185,"bytes":1878376},"url":"https://sagebrush.space/atlas/mf/20.12.a"}