{"label":"12.8.a","level":12,"weight":8,"dims":{"new":2,"cusp":11,"eisenstein":6,"modsym":28},"old":[[2,1,4],[3,1,3],[6,1,2]],"T":[[5,1],[7,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 3, 4, 6, 12]: [1, 3, 3, 5, 9, 17] (certified at ell = 2147483647)","T = [(5, 1), (7, 1)]; h of degree 2 = 1 x 2 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"12.8.a.a","letter":"a","dim":1,"charpoly":["1210","1"],"traces":["1","0","-27","0","-378","0","-832","0","729","0","-2484","0","14870","0","10206","0","-22302","0","-16300","0","22464","0","-115128","0","64759","0","-19683","0","157086","0","-16456","0","67068","0","314496","0","-149266","0","-401490","0","-241110","0","-443188","0","-275562","0","922752","0","-131319","0","602154","0","-697626","0","938952","0","440100","0","870156","0","2067062","0","-606528","0","-5620860","0","-1680748","0","3108456","0","-1070280","0","-2403334","0","-1748493","0","2066688","0","2301512","0","531441","0","4708692","0","8430156","0","-4241322","0","4143690","0","-12371840","0","444312","0","6161400","0","-1622974","0","-1810836","0","1093878","0","-15633232","0","-8491392","0","-2370276","0","2127062","0","4030182","0","-21709134","0","43518384","0","10840230","0","18555264","0","-13316915","0","6509970","0","5052348","0","-10299832","0","11966076","0","-39882348","0","13561600","0","7440174","0","-25741206","0","26240924","0","-24914304","0","-36937080","0","-59378508","0","3545613","0","69812982","0","27133520","0","-16258158","0","6220368","0","-10985674","0","18835902","0","95786496","0","-84392380","0","-25351704","0","59546664","0","158368383","0","-11882700","0","-21215682","0","-53879488","0","-23494212","0","-95093244","0","-131731570","0","-55810674","0","56422548","0","55398168","0","16376256","0","-58046976","0","-69208702","0","151763220","0","-53384778","0","71913392","0","45380196","0","-130695552","0","91139580","0","-83928312","0","40489200","0","205462820","0","28897560","0","167525064","0","13691392","0","64890018","0","-331630740","0","51250760","0","47209311","0","117075780","0","-195800386","0","-55800576","0","-130949190","0","-348800256","0","-62140824","0","172545552","0","105072818","0","-14348907","0","49638582","0","-242381000","0","-127134684","0","133753788","0","285977952","0","-227614212","0","297590274","0","124189312","0","114515694","0","339540552","0","263702628","0","-111879630","0","-26808786","0","-349721416","0","334039680","0","-160861356","0","-434817874","0","-11996424","0","-127669014","0","278115116","0","-166357800","0","200603520","0","87040531","0","43820298","0","-22638474","0","-328918968","0","48892572","0","-1711953360","0","368732416","0","-29534706","0","-781349436","0","819496964","0","422097264","0","924456024","0","-323652982","0","229267584","0","712782558","0","-390201624","0","63997452","0","363522600","0","962966330","0","-57430674","0","-767729664","0","-165095428","0","-108814914","0","635322744","0","-809760526","0","586146618","0","40876704","0","794445184","0","-1174996368","0","-444349476","0","-948805546","0","-292686210","0","438524226","0","404565840","0","-500992128","0","-500653224","0","-628181739","0","359556705","0","908460252","0","-1612286392","0","-175769190","0","580424832","0","95502782","0","-136413396","0","2335868820","0","351477692","0","278095464","0","-1211203584","0","-781208064","0","-323084052","0","-14301306","0","2567584656","0","1076823396","0","-869971536","0","1831525094","0","-366163200","0","-314244414","0","-244700720","0","-200884698","0","370776744","0","139489994","0","695012562","0","-723969792","0","-1779885576","0","-708504948","0","-2317475772","0","-1059349090","0","672686208","0","-1444255218","0","-1719795584","0","997301160","0","-1705866912","0","2713203218","0","1603219716","0","1876586400","0","1667776832","0","-95731551","0","-796843332","0","-1566314820","0","-1884950514","0","-988996878","0","598917240","0","-732605040","0","4676555520","0","756748250","0","438970266","0","-2542154274","0","1357453496","0","-167949936","0","3655508724","0","1398382336","0","296613198","0","1100878992","0","-1055571700","0","-508569354","0","1225965456","0","-2219585420","0","-2586235392","0","613484172","0","-4963269664","0","2278594260","0","258972444","0","-3503331972","0","684496008","0","890472960","0","3605462276","0","-1607759928","0","-2251397592","0","-413485884","0","-4275946341","0","-5030588322","0","1999573888","0","320832900","0","5909361696","0","-2292115968","0","572823414","0","862266762","0","-2600591284","0","1454746176","0","367001712","0","9849630937","0","634343724","0","-3585305700","0","895964328","0","2567517588","0","326196396","0","-378390682","0","3556752390","0","-804029436","0","1359800996","0","1506888198","0","-2560501800","0","-1914857984","0","-1523408796","0","3330220446","0","-6590205560","0","-1495750536","0","-6376901580","0","8206052652","0","-442158912","0","2874924954","0","-226451860","0","1567268352","0","-7455574152","0","603279746","0","1868634954","0","-3917631744","0","1732902984","0","-4097606940","0","-67990212","0","268232800","0","1441389006","0","-5801749038","0","-7013889792","0","-1941661584","0","5055194664","0","-5970609622","0","-1225265292","0","5033793870","0","4037118824","0","3528779904","0","13721322240","0","-833837554","0","-2460768660","0","8212701402","0","5437517756","0","2266064424","0","-3447550080","0","-6969084419","0","-1093208400","0","3328930332","0","6207966512","0","-5547496140","0","3893336496","0","-1952713530","0","-780234120","0","-331503246","0","-637326652","0","-4523176728","0","-7368211656","0","-2161467504","0","-369667584","0","9875028222","0","15075527544","0","-1752030486","0","-12176678268","0","-11103238402","0","8954029980","0","-5126284800","0","-18084997008","0","-1383770520","0","-5134582008","0","-3496625950","0","-1274651397","0","6407435718","0","1350314368","0","-3161046060","0","14821699788","0","9730175868","0","5286610422","0","-10373698620","0","1912256468","0","1506615552","0","-9919069272","0","5377235220","0","3535628130","0","-11565009954","0","2433035800","0","9417606912","0","-910106496","0","5174664926","0","1677802248","0","1894546368","0","13962216240","0","-4658729904","0","-9979145568","0","13006849024","0","-2836966086","0","10172732274","0","-5251051504","0","387420489","0","9883978776","0","12121110662","0","-1340241714","0","4174978032","0","-18585976300","0","6544287000","0","-14514706872","0","-26389307196","0","3432636468","0","1972069632","0","-4069906648","0","-3611352276","0","-10256470560","0","5688347822","0","-7721404704","0","-12639217158","0","-1769715584","0","6145583724","0","12939219720","0","-14052996862","0","-8034937398","0","17452108854","0","-1065674104","0","-3353111424","0","3930093000","0","2658575520","0","-3091923738","0","4152584772","0","15718025396","0","-9167594904","0","18061999488","0","30737211940","0","-7119970956","0","-18076565394","0","-20579215104","0","3020750010","0","5969881656","0","-36207295488","0","723837222","0","21474488394","0","20550834380","0","9442478232","0","31900319640","0","7223964400","0","-9019071360","0","-5113034874","0","-1964546224","0","4343256612","0","-8459612244","0","3791631878","0","11740082598","0","2928676338","0","-22508638992","0","323903448","0","-5752045224","0","7426135087","0","3447063378","0","-59863248774","0","11079673280","0","-7509108132","0","17184696048","0","-15460436866","0","4491660600","0","-29190764934","0","15185040860","0","-5416295040","0","11933542944","0","8019527796","0","-2350094337","0","-5716955808","0","-24992722760","0","-1183148046","0","-4203553536","0","22554358022","0","611238798","0","-6336641070","0","-9725272876","0","8880812136","0","-33635283912","0","8569460224","0","-1320099444","0","-15040857600","0","35945246232","0","46222740720","0","-2585007216","0","15558455052","0","-9955775232","0","49794533460","0","-12468142516","0","797437062","0","18936300528","0","-11696390928","0","21096434772","0","33182113536","0","-12497107408","0","-22126418028","0","-15915063600","0","-9666316894","0","-11396626128","0","-7354274958","0","2140499700","0","-24960312648","0","-20940507504","0","13619907674","0","8738630514","0","10293257790","0","27758512080","0","-6190224768","0","-23914232316","0","-35737576580","0","-19245129066","0","28325173338","0","21941756928","0","10535443848","0","21416683392","0","-27241814175","0","-1727931204","0","26160889356","0","-36498238000","0","-9815110200","0","-28808671572","0","-21832448768","0","-26000090910","0","-49380579774","0","-10292925960","0","1550628198","0","51139901016","0","20179446084","0","20728700928","0","51023348064","0","-57478408552","0","4457576556","0","-27183262176","0","19812669902","0","2938002678","0"]},{"label":"12.8.a.b","letter":"b","dim":1,"charpoly":["-1382","1"],"traces":["1","0","27","0","270","0","1112","0","729","0","-5724","0","-4570","0","7290","0","-36558","0","51740","0","30024","0","22248","0","-5225","0","19683","0","-157194","0","-103936","0","-154548","0","300240","0","-94834","0","-123390","0","659610","0","-75772","0","196830","0","405648","0","413001","0","-987066","0","-1346274","0","-1545480","0","1396980","0","-1303884","0","1833782","0","810648","0","-1233900","0","1369388","0","600696","0","2714040","0","2868794","0","-141075","0","-6365088","0","-1129648","0","531441","0","5912028","0","-9870660","0","-4244238","0","-897750","0","-5081840","0","-2806272","0","13969800","0","13719074","0","-4172796","0","1933038","0","4761272","0","8106480","0","2210436","0","-20092858","0","-2560518","0","7940754","0","6006960","0","-3331530","0","-40652496","0","13277005","0","17809470","0","-22504500","0","-22739488","0","-2045844","0","-22778388","0","57534880","0","5314410","0","41698746","0","-6194716","0","10952496","0","26158680","0","-42442380","0","11151027","0","-5416578","0","70844360","0","-26650782","0","-28062720","0","-79080106","0","-36349398","0","24739776","0","-24449140","0","-41727960","0","35553816","0","-41863617","0","37718460","0","102794022","0","-5810200","0","-35204868","0","-41558724","0","-33501250","0","49512114","0","-25605180","0","209257992","0","21887496","0","49080384","0","60448322","0","-33315300","0","5004558","0","-221134888","0","36973476","0","-174799728","0","178094700","0","16218792","0","-296159760","0","-71664100","0","73279080","0","-20458440","0","-115576832","0","77457438","0","167070060","0","26144000","0","-3809025","0","-34099380","0","227427854","0","-171857376","0","56906010","0","109524960","0","-30500496","0","302715792","0","-25369582","0","14348907","0","111510270","0","-236451800","0","159624756","0","-14654412","0","-127347552","0","-266507820","0","-23465214","0","-105455408","0","-114594426","0","425583288","0","-363493980","0","-24239250","0","-393061626","0","58955984","0","-137209680","0","29907900","0","-21597346","0","-75769344","0","-334717974","0","326806484","0","377184600","0","733486320","0","926148691","0","370414998","0","-728964306","0","-352048680","0","-112665492","0","-101673360","0","-84258464","0","52192026","0","495121140","0","-126039364","0","128554344","0","-715768056","0","-291195958","0","218874960","0","42428502","0","899778456","0","59681772","0","-1891510920","0","23878250","0","-542507166","0","451080576","0","-547256668","0","-69133986","0","369734760","0","-185332174","0","214400358","0","594929664","0","-456522704","0","162187920","0","1297110996","0","-622135786","0","-89951310","0","620687394","0","732790800","0","-1097617392","0","606882456","0","1783155861","0","358479135","0","774574380","0","-1405384528","0","480855690","0","-1497056688","0","-1129248322","0","-607621500","0","718376580","0","1635149492","0","-613966176","0","-227684736","0","-1718573760","0","-55237788","0","-623119986","0","-813342384","0","-615016476","0","-305004960","0","-1495834","0","1553441760","0","-306500814","0","474987520","0","143489070","0","542829816","0","356868074","0","1125866142","0","-1449919008","0","1596247560","0","-167257332","0","-2284281972","0","263134670","0","295717392","0","191015550","0","2039165584","0","706284360","0","1490529168","0","1105390802","0","-1145944260","0","1151111520","0","296352872","0","301077729","0","358944372","0","-242392500","0","-146247606","0","-3419482878","0","-3775607640","0","1912797720","0","-1372096800","0","-2858275270","0","-719571114","0","962699526","0","601892624","0","-757693440","0","1720599516","0","1522759456","0","-2135162862","0","433718928","0","-270341500","0","-981433746","0","-537261984","0","433391380","0","667973952","0","3704149980","0","-4496210056","0","-660126780","0","3329173764","0","5746698252","0","-1126654920","0","3018012480","0","-2049857284","0","959953032","0","776491272","0","521920260","0","-1130317659","0","-4566792042","0","3190098928","0","1018398420","0","1285543440","0","-2321929152","0","2775438594","0","-2211592518","0","-2341539676","0","-156875400","0","3799692288","0","-2909851943","0","-950531436","0","-3014417700","0","596817720","0","-1122085548","0","-2364017724","0","2354970518","0","-904533750","0","-5425071660","0","3414933644","0","1336827078","0","-8133217560","0","-1256168576","0","-691339860","0","-479293146","0","346278040","0","5649965784","0","6503021820","0","2144003580","0","590962392","0","-4516247286","0","2473754420","0","1325170368","0","-116245800","0","-531720766","0","1632104694","0","6574175136","0","7706072376","0","-899513100","0","8171104932","0","-5377648640","0","135123066","0","-1599227982","0","-10976173920","0","-5970641976","0","-8803296216","0","8212347818","0","998283852","0","3584791350","0","5091919616","0","-4719592656","0","-1853811360","0","-7012818226","0","4808556900","0","4637135898","0","1339167236","0","437907384","0","-998298000","0","-5668011875","0","-7996313520","0","3466941372","0","-11235380248","0","-1934930700","0","-6139661760","0","-1887414570","0","1978535160","0","9823803714","0","3562395692","0","-552377880","0","5911190136","0","7463432016","0","-3120574464","0","-770538042","0","-6150164760","0","2091350826","0","4952706012","0","-1203185122","0","4510891620","0","15534417600","0","-3497252112","0","705888000","0","-10496568168","0","13082272610","0","-102843675","0","-14937960978","0","15255610288","0","-920683260","0","-9504153468","0","11258661420","0","6140552058","0","6152472180","0","1878926588","0","-4640149152","0","-1672573320","0","-24114022380","0","1536462270","0","-10659148074","0","-4906711160","0","2957173920","0","2149538256","0","-15846448594","0","-823513392","0","-2312368128","0","7062843600","0","8173326384","0","-17848243728","0","5294534464","0","-684978714","0","821338650","0","14112349064","0","387420489","0","2770072776","0","-5553243562","0","3010777290","0","-7838376912","0","9726138380","0","-6384198600","0","837461592","0","-1462476060","0","4309868412","0","2458004832","0","-3054215248","0","-395669124","0","19127977200","0","17725000958","0","-3438383904","0","1282680522","0","-22343258096","0","-7195711140","0","5958749880","0","15077765378","0","-633560778","0","12673665486","0","543065600","0","-2847296016","0","34128221400","0","-15535164960","0","-3094049502","0","-21351628620","0","-1466843236","0","11490748776","0","8830118448","0","-8380383740","0","-9814337460","0","-14962924746","0","-14829679584","0","-654459750","0","-16420976856","0","6679739520","0","-10612663902","0","10626300954","0","-24430594300","0","1591811568","0","-6601267800","0","-3920443280","0","-3704661360","0","26856767646","0","5829138344","0","807513300","0","-13176118476","0","19963398518","0","-583128342","0","-15098490558","0","9599530320","0","-2045772288","0","21943306296","0","7460077327","0","-9037385298","0","-11303176590","0","14764029560","0","8823775068","0","-2109866832","0","-21310189474","0","10183984200","0","4659955434","0","-1684203820","0","19804130640","0","1086323616","0","27754385940","0","25006014657","0","6466105152","0","-6258103160","0","10001204946","0","-25025004000","0","11144291078","0","-19682036262","0","-37884469230","0","15813099836","0","-9505314360","0","-15217090488","0","-25286310656","0","-3041968284","0","20988227520","0","-11220855480","0","-2745180720","0","16338115584","0","49217084892","0","-2274978528","0","-9045337500","0","-15239522524","0","1409184702","0","-14944664592","0","-33840448272","0","13368270780","0","-25329567456","0","-16529148088","0","-3403062828","0","-12403162800","0","495507650","0","3470967288","0","-25817045598","0","21368671740","0","-19325737512","0","56499657840","0","-18342780454","0","-7862290866","0","-6333459930","0","14675003280","0","5909623920","0","20195775036","0","-13110388580","0","1145569554","0","48617240202","0","13251703680","0","24294018312","0","46369005552","0","-16709922015","0","1611407844","0","16321046940","0","12377800280","0","-51070794840","0","-17059670172","0","-6888524192","0","644712750","0","39694489074","0","5138721000","0","-14647693482","0","-75539736","0","1351230660","0","12179175552","0","-1685775456","0","-29902583872","0","-14775930036","0","-59706419760","0","12425438798","0","-1866617622","0"]}],"seconds":0.252,"computed":"atlas","estimate":{"seconds":0.374,"low":0.228,"high":0.647,"bytes":1835055}}