{"label":"3.12.a","level":3,"weight":12,"dims":{"new":1,"cusp":3,"eisenstein":2,"modsym":8},"old":[[1,1,2]],"T":[[2,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 3]: [2, 5] (certified at ell = 2147483647)","T = [(2, 1), (5, 1)]; h of degree 1 = 1 x 1 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"3.12.a.a","letter":"a","dim":1,"charpoly":["5292","1"],"traces":["1","78","-243","4036","-5370","-18954","-27760","155064","59049","-418860","637836","-980748","766214","-2165280","1304910","3829264","3084354","4605822","-19511404","-21673320","6745680","49751208","15312360","-37680552","-19991225","59764692","-14348907","-112039360","10751262","101782980","-50937400","-18888480","-154994148","240579612","149071200","238321764","664740830","-1521889512","-186190002","-832693680","898833450","526163040","-957947188","2574306096","-317093130","1194364080","-1555741344","-930511152","-1206709143","-1559315550","-749498022","3092439704","3792417030","-1119214746","-3425179320","-4304576640","4741271172","838598436","555306924","5266616760","4950420998","-3973117200","-1639200240","-9315634112","-4114569180","-12089543544","5292399284","12448452744","-3720903480","11627553600","-14831086248","9156374136","13971005210","51849784740","4857867675","-78748026544","-17706327360","-14522820156","3720542360","-20563147680","3486784401","70109009100","8768454036","27225564480","-16562980980","-74719880664","-2612556666","98905401504","-25472769174","-24733264140","-21270100640","61800684960","12377788200","-121347824832","104776239480","4589900640","-39092494846","-94123313154","37663577964","-80684584100","9310781526","-58460845716","48575052512","118812207696","-36224301600","295808528340","225595713276","-57912188652","-69451179514","-267163986960","-161532021690","-106300368640","-359664575694","369819151416","-82227373200","43392093432","45244170486","43313940072","-85621667040","202344564240","121523092285","386132837844","-218416528350","-205583346400","369559909500","-127857618720","250273055864","-687935853696","232781166684","-320936396040","-97891780812","-625556381328","541636575040","412807144152","77053630590","478272268656","-155014706262","-290230471440","-1126265370436","601651363200","378045146592","-1156824727344","488718872904","226114209936","-57734276940","1089738406380","293230321749","2682893989880","-1384580812362","378913678650","-698601450208","-3025516349856","182128019346","-1381093534080","273533838000","-751462848072","2131269853958","290202304080","-921557338290","101431137600","-425071113600","271969183278","-163564486972","3627691804200","832318574760","683939414808","-8809425240","1046012123520","-1205076500241","-1291912516440","-1152128894796","-3866274850768","-730851575394","-203779419948","554956406000","2442442432704","-134939582532","-1986875995572","3923714421540","-1279787872680","2279308973150","-1659067849920","-1202952302514","2374395791040","-3569658257100","965467479600","1967312017944","-6278972064384","398325658320","8172546679440","3387088726656","2263699089216","-4929207776254","-3049214597988","999840310740","-4870278101148","6357850272342","2937759081192","-3785535410272","-3099919313400","-1286053026012","726240959028","-298455033120","-3024974016792","-4826735626500","3788854095936","904179545640","2934035686496","-12445075881744","-2825495524800","179493837380","15306195133080","3603953958264","17596465635528","5144176399560","-2224998915048","1414022224000","-5417192002092","-3394954266030","-13824023735520","2363275215756","-12599497691820","2225684379704","524344204800","-1180461845025","-28053836904132","-415847834940","19135770450192","18124772488334","-6413735109600","4302637548480","1667133690768","-18764059878","3529045297908","8354331017280","2241218745264","-904091793480","-6678490029120","-17625242631984","4996844886240","-890116982734","9478801198230","-847288609443","19979899147928","6480028097910","-17036489211300","-14949910904456","-7898556993600","-2130734330748","28825672941000","-24228041356548","-6615812168640","9766774452960","19521298357392","4024804378140","-34580577926912","7804917351426","18156931001352","-18453205440800","-16606401210480","634851269838","-7635558903336","16595574775368","-24034012565472","-20365279451100","42247652853120","6189882909282","21360123510224","28523590257006","6010183186020","23379994087976","11810805735456","5168634455520","-12091147088436","-12751122989100","-15017566445280","-30364120269058","-87848698894008","-3007802532600","23115576556800","15974859435594","29487521434176","28704507156044","-59858264096928","-25460626193640","38120072086512","-24951616572000","-1115345855520","-24758656710317","-4503273601320","9499476247578","56386977027560","48175396168278","22871965096422","-2981998181880","103077372063120","-9152249445252","-107997303364236","11732544605040","19606353936300","26592613938880","-54490913116224","-2262519910818","-74714316926656","-26583760759260","14205985508988","25735029040676","-71462737224960","-11803737760416","21335639364000","34604265524376","-28871366470128","12606588910058","166239048608724","8802505288800","15016108964960","-81824296913634","-71881472386620","6857541949032","50024955181440","-54819758326068","-33155546860800","-60180076973016","14072661842436","-15317556472150","-12758029983816","16876636621902","139376710090800","43187379709440","64920848831280","-34011469184548","35389480489296","39252281270670","-687135168720","-28420184155080","25830989579520","-59943948292558","-93995967018798","87398491893642","-66848191235280","-32489707466400","-89866053794088","88388836195360","-148543122760032","19981251687600","-57006422880732","97868505351324","-10544278703976","-142789606547098","43286599668000","-10994333428098","-12047752529280","144245920772994","-10525287437496","79642933151760","-102808096386264","20806065090720","306049724880120","-124349284943496","-49169729110320","264204627152997","177786099905700","-29530111425255","-85846126183040","-75024297977700","-93830279596092","-160109534089768","58635068903040","53075216389050","-278433344053800","-105277496752800","49956753175200","-34725822875218","153450337399632","-89803058008500","-241239475766016","8237767462068","31069401348960","-146500203674500","422876902541280","-60816352574952","264192920679168","64341851639808","167168412448128","95082977923200","-384478206547812","-56565823504212","-157777309198456","-39890033609466","77987544237720","47228738815440","-187117146550152","23787702737316","495912321242676","-19979312473200","152010200662704","106551979242806","-295271762001216","-131617687734720","-76551678208400","34144491481698","-100312136028936","-39028949003600","37578314238936","-18724032233370","-23279492583360","423995632043880","-116220161283408","53334901088234","-376485378867000","37668573621666","196048911938432","-15415320210240","70526004559920","-47086598173320","-14472617814720","273682485015948","-970715918776032","-101287654153404","-146201281257600","-157928472303826","14000519315640","-91864970621856","588067354339920","-61660014793650","281108408744592","-137423686904480","910504298781936","-118758686115672","401245759165680","513171359936640","-54945753014448","-74924767954222","110293733472000","14029429296420","-280304960518504","-298765642153440","-264806432750340","-368335241090320","-531122006076480","-71254968185007","184335466828968","-111247830230916","-651943239540840","136788770464380","173603381616912","336453137403966","258602002949120","-88331413841262","-92076023911950","573308332414200","-1451606227500984","169760152400544","-32436131125320","114220440436800","735200473015008","-9420937722310","1413732254090052","-44257108701078","-331869678235200","-697133548616898","335605728781440","-187941271733848","41169420531168","-66468722634000","-1463596670484","320006635626996","182605472081496","-146917004123840","651637819347840","-517898574511794","86108112863136","-611013202605168","-70519159891440","390056867429900","-345569048173440","223938433204470","-1374768925294752","-150382370364240","-24647766436800","509333730317620","-69429124653252","103292280604800","490467200462260","209926697323020","-66088511536554","176546273555504","767632081633872","39746170334196","505442191636980","-860958181676292","-881529108420600","33160697954748","-1166093050547568","-202253413666680","-195052752073600","411710954244480","-166197277798344","601209457412516","1491543794742000","2140690333320","-1889787225810744","1092030351829704","-254180946015360","-49998896794620","761808407330880","292833589558563","1010102053467104","876371101334814","313934741494920","-387835104629600","-1288392449929728","279967321435428","608783553411228","-260848031989440","939504788736624","-992307835891584","-1439350024382400","177596932820742","-638021555327520","-371989239852150","49518399047364","-973507481712628","-395091227357232","-134854406658000","1294454832478704","-157108973439600","-593513511147072","-718341389144327","-1588491797185800","32790318555276","2186045216861440","688698773058300","482810866923996","-1211448980292120","820660602574176","-953462604434220","2224840040046468","-769682532934548","310988453061240","1746062781765590","1823639538862128","-553872080475450","-58258758841920","372952833990180","403153487530560","174624425985380","-625639354473432","292317409510902","-994587593149800","-209772216391848","-576978177222720","-103282255913600","-2368401380986524","867426956475300","-4545607035079696","1583649005842494","-234608597542800","-733992546706232","570832979596800","-478056820360392","1246039035976332","-975797917848204","1525790211645312","1931398771476780","2238951558171432","-96793134971760","-2299767557959872","1924274391870426","-1985928843103920","1611320399461196","1972469371040544","-823062560577408","-1946226092616000","-306112834041000","-550078878679488","-2532503285394046","-1931175223404726","1197797489629722","-233015541729840","-243412284039360","740959147311084","2418940108747080","2166399951883440","-242961195509820","3757680901125684","-3115075841122404","1183477578578964","993860190109600","-232595858186640","-1544957616179106","2545468129649120","-2207230435400238","-713875456729656","459788352004800","-5588168158693032","919885104696096","915138479193120","3411585709398408","753280393156200","-1575452477398774","2074223887232640","312510885320916","-2819555453039488","-652579005570450","-176476553043804","-505592119502056","368540764225920","72524573048160","-2073533339222280","-1192030798151616","735068686080456","-1983747166907074","2007332265172728","1172896757239500","-2745613945751040","-1930986428345862","-920691545312448","947688701475164","1103982570168000","-219715629590520","2699132710901328","707124072270240","-712970671818528","-1008402680811875","983313934984524","3024153439263792","8601805130574488","2050296037973820","686595412526400","1005926522765312","576922180511040","-43617002483340","-6382295159263452","-1343966309989680","-3719405417338440","-924597439294602","534888272024496","-875760811858152","3694215534347520","1131443807632530","-4275941149433304","-868305558659068","-1715587014489600","-1250034865093080","-4694046003895248","-1376364875369256","540674736356664","354194747176464","-1194769404827700","-343607400432000","-660146269418992","2552758540391838","1316377656508356","525678862960440","3441870572080800","824973886645290","3368615617336320","926792107209060","3359237767731360","-1903318977724498","-2652894596394744","-574275877428708","1359671556638304","-2908588407964800","3061677939112260","164627194198320","-35554840268640","-540841304268072","-2216774364096240","3157556727680328","-127415641766400","4929900506581730","-4675627966819524","286852228341075","-4863688754972676","430293314013702","6817082367704076","1085207656924960","-2568322082682720","101051023890420","-2534197182379200","-3812440532297652","-4649992219396656","832428972626940","6894329223238080","-4404319714665162","-3668232680909632","2905803022224420","1558537631632800","4037287750902356","-2949716958290184","-1045540924280640","7633743417403272","6048045039241320","-405113486856624","2772320546841300","-11137589310673644","4559666550354","2239804054616000","-4712672943685602","-857558007391644","-12970026889425320","-5941846799461632","-2030102437199040","11251181820293532","-258467295161760","-544616155099152","866706096098606","6212148785837280","219694305815640","-3949909479197136","-779971806264000","1622873077076160","-2624420347494480","15836111405335440","4282933959572112","-9699244225592688","26266614058368","-1214233307356320","-1348443457733120","20607960917933766","216298426804362","9199291015633400","-214930897675950","-2303348691169890","-5680181884175392","-3298226885640960","205891132094649","-5851895242260600","-2954648241096552","-4855115492946504","-1623115878038218","-12488543659001904","-1574646827792130","-289227205612800","3375682789709424","4139866878345900","3647940323190644","-14407140725655600","3632828349782808","-8211644746718400","6760448268703752","1919349349444800","7435198962383940","-2708614184267004","517768442371764","7940071304421984","-6262537000541760","-7004638524663000","26483336560376","-5957344321890816","5887414049641164","642545862041304","3751489787616960","1607642356979520","7373643624794558","-11427015886611000","-2373326192069280","16247022798726720","6209832596186874","-4743675500846256","1927964743308640","13670290100783616","-978027463888020","5018664427905024","425483939465736","8403080436239616","-8861954082034942","7416472278009600","-1896594916396518","-19894282584961144","-2950474409673642","-4412134233328536","1018301024315000","-6061838620800144","4484128922114400","-3111422621538348","-17537502571663800","4035355494146640","-9459800728079328","3683841627604320","-154268858570634","-4620807879760752","-11444919115754460","1855440813510648","13554522166415156","25660283699172312","-4032724670414424","-1558386372909600","9984288621265440","5840265053409696","3793081874561572","8311054380938868","4948762906617300","-15278420915857792","-15992249482082994","-10266179643308160","-4798457037331776","377603853588000","-1504141546955526","2663270335572444","8911210079125560","-5190510012984432","2282631880032000","-3044258022280800","-6931232432452458","1443767026547664","9458590804847370","-1460474514202860","-10799627434960948","-1204564513672320","-5681338563378168","33071659299422640","878341295039640","-2870025793715808","18690894595731952","4160122284882252","-1255978172691360","-19480704988554000","-11041089876780186","2938148742489948","12610352980858976","7532241942720768","3098522886351300","-1202394976398720","-786172343593716","3649268646203040","-5925892982962570","-3672754657518960","7378481225381094","-7137769275491968","-3721918172048622","21347233831243944","47306613538800","-50228326258718784","730896015421800","-7900437023965512","21020885793462840","-5617085103302400","-12084920131113185","-12318420839698428","-3881890842849342","724437127665680","6471260806294170","-7165467708504768","-3373481041831600","14522166005965920","-6975195238918692","-4809481153904700","10178750895658800","14545558175553504","-19837829468018002","-10719047578549440","6186932165054520","34981773683429664","7966388437568826","-9263177517022416","-15974892909578980","20761895948624160","6063242826996000","40027366075057920","-4029257485765728","271029042891360","3924672959865780","-5844131900429316","6016353580607031","5706993696064000","2373095856732960","1094295485120760","4055110424990776","-10769377700158896","-2308372728161454","-23303720087968320","-10258983087720000","-13702035417697080","9769575093688790","-28730148805044960","-11706621268891554","-13115915863620480","16258292298256914","-5557887518430546","16606117429647572","9538178770791216","724625558196840","-8677330758011448","-19131414356441544","-25047801411338160","-6947580030784640","10669524096221640","2223996615196236","8982862156485344","30354697882286976","26243344717509348","-21070346443669800","19097099298600960","-2851008339024720","-6889850279618436","-547641332998800","-4764344006520900","11697156636148620","44718049928307600","-6462005187147840","-55771027765414416","-12239889185815500","13241291887242432","-10725166653853684","-1678361861817840","549792338328774","8909194354070400","-28224866626031568","18155579013177408","5592835648506096","-734833142340180","6459853864500180","73151581762916024","2717475835341120","-3452054478684084","18355082826013760","-12750505397884800","-6253612056884268","-54376416792118044","-11363785918425072","17365445145665280","-13288983499216750","-14659419195240144","2868308275781088","-203074997261760","-11012509124864814","-5184560365452000","23544589599566772","-75731745667608","-8408836522423368","24960517578905688","-10564465536359280","7015742052241104","8363567050915322","-11459526321659520","-3063401105144094","33718079985742080","22294170304617630","-40396088811919932","13763261366442000","2126416813023936","-2139008785178400","-47659029803203104","-37803832630940892","-3648914478485280","10704779785974940","30424435659532200","19883304150013062","-13276838177890560","4795681030490394","17467197789948660","-18188666462142720","-71135479262687424","-1666382693614776","-11729824888410720","4303208245833120","-12156064109089920","-22813858177644831","39728030964774360","13321201273234524","-3592512142314424","26469845758483980","8056797887174400","33741958118885504","18843856782081240","14623758704442888","16374282391195560","35858687142537900","-3419656827711948","31265126683303360","13770609337329312","3722166222732450","18956468912485472","-12002334917621406","3100201286067288","-16247449198867464","26153393403164760","-4101022699122186","-67154738170750776","-4426868496055080","-33868540552064400","-34141655962476540","2586534440470344","-10494533269393920","-60337840410384416","-14668432203643680","-15775766266001040","-37916708594080408","962130061152000","8264787011845164","32113454431069440","20328325153160640","-8599643758898928","57600280458878","46894337678176248","-9538304348772810","57305437806708000"]}],"seconds":0.298,"computed":"atlas","estimate":{"seconds":0.412,"low":0.251,"high":0.712,"bytes":1810267}}