{"label":"212.4.a","level":212,"weight":4,"dims":{"new":13,"cusp":78,"eisenstein":6,"modsym":162},"old":[[53,13,3],[106,13,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 53, 106, 212]: [1, 2, 3, 15, 43, 84] (certified at ell = 2147483053)","T = [(3, 1), (5, 1)]; h of degree 13 = 1 x 13 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"212.4.a.a","letter":"a","dim":5,"charpoly":["3183","-2043","-1502","-158","7","1"],"traces":["5","0","2","0","-9","0","-34","0","-7","0","-15","0","-120","0","-130","0","-177","0","-68","0","-276","0","-229","0","-128","0","-172","0","-294","0","-11","0","-298","0","-138","0","-470","0","-412","0","-266","0","-293","0","-729","0","-424","0","1","0","230","0","-265","0","-93","0","-76","0","1103","0","-218","0","698","0","556","0","160","0","-482","0","1432","0","-864","0","2388","0","434","0","691","0","113","0","1786","0","-803","0","1732","0","1753","0","2260","0","1054","0","2624","0","-2465","0","2877","0","-69","0","600","0","1412","0","2004","0","453","0","2028","0","-145","0","3257","0","-780","0","3586","0","-3446","0","2964","0","-1839","0","-1087","0","-430","0","-184","0","-4080","0","-184","0","2140","0","340","0","-2000","0","-832","0","-4590","0","2218","0","58","0","-4440","0","-1917","0","1223","0","-5925","0","-106","0","-898","0","-779","0","-854","0","-3415","0","-4229","0","-2840","0","-1441","0","-5916","0","1258","0","-590","0","-5266","0","-816","0","-5166","0","-2285","0","2304","0","2841","0","-5504","0","7772","0","-4034","0","-4744","0","-4672","0","1552","0","-7558","0","-5089","0","1556","0","-3525","0","100","0","-175","0","-10366","0","324","0","2976","0","-7084","0","5332","0","2544","0","-6302","0","-4276","0","-556","0","6168","0","3254","0","-301","0","-7981","0","3698","0","13627","0","-3264","0","11720","0","6394","0","-4369","0","-686","0","8390","0","4800","0","8406","0","-2671","0","477","0","14550","0","9692","0","-4204","0","10936","0","2536","0","-5235","0","4297","0","4289","0","-1410","0","8664","0","-764","0","6216","0","-3958","0","13512","0","-4495","0","2108","0","16204","0","5958","0","-16890","0","3730","0","12121","0","18660","0","-7396","0","-4634","0","18390","0","5688","0","-670","0","11296","0","-6004","0","-10684","0","-4554","0","14848","0","-692","0","5350","0","8652","0","-6806","0","-206","0","9205","0","-25100","0","25550","0","8171","0","5447","0","-1168","0","8384","0","-3856","0","16532","0","-7011","0","-7451","0","-8504","0","14056","0","-15156","0","14998","0","1802","0","-7879","0","-6762","0","9652","0","4064","0","-17614","0","-16475","0","6750","0","-881","0","17677","0","-25327","0","-12352","0","-17307","0","-28389","0","892","0","9766","0","-18832","0","18699","0","-750","0","-12047","0","-8348","0","-11818","0","-30558","0","5512","0","2946","0","7957","0","-32056","0","920","0","-1108","0","-4960","0","-26184","0","-30170","0","-14664","0","7376","0","-16202","0","-16811","0","-11540","0","-27417","0","11320","0","10198","0","3286","0","-21508","0","-3576","0","-3302","0","26516","0","-11298","0","-20003","0","-10310","0","-13700","0","8912","0","-42154","0","-5157","0","9168","0","371","0","-5220","0","3380","0","21432","0","9165","0","-14388","0","11710","0","27370","0","-7514","0","-6405","0","-14848","0","13980","0","-3566","0","-29820","0","24349","0","28762","0","-5042","0","-8032","0","5228","0","1540","0","-23024","0","25482","0","-8223","0","30521","0","-11904","0","-16785","0","30514","0","11471","0","40","0","-9824","0","-25640","0","2141","0","-23398","0","-7140","0","-3981","0","25804","0","-3914","0","-28156","0","17150","0","-20568","0","14621","0","21720","0","32418","0","-4284","0","54773","0","-10066","0","20052","0","41066","0","16074","0","-16220","0","-16003","0","37436","0","6236","0","795","0","46732","0","60753","0","45452","0","-44500","0","-32418","0","48722","0","25656","0","35318","0","13838","0","-17564","0","2634","0","4266","0","5640","0","24104","0","25217","0","-35676","0","-13080","0","90471","0","-35240","0","-45630","0","12935","0","16444","0","48726","0","23228","0","-25686","0","27287","0","-25496","0","19336","0","2594","0","33891","0","15454","0","-50650","0","16411","0","-25404","0","-1256","0","10492","0","-40176","0","92110","0","-26504","0","11036","0","-57944","0","44646","0","60496","0","16390","0","-11163","0","7872","0","-16886","0","71066","0","-37808","0","-44705","0","-8988","0","-13724","0","6360","0","40816","0","6338","0","77728","0","-6222","0","-2288","0","-76554","0","-20452","0","49520","0","20150","0","-7839","0","5875","0","-22205","0","20084","0","-51662","0","48000","0","-52576","0","-57946","0","47708","0","-10700","0","-64111","0","-3215","0","-65544","0","34342","0","-26748","0","84524","0","5396","0","-16234","0","-74126","0","-12602","0","-21216","0","-30290","0","-73844","0","1532","0","-18564","0","-22514","0","-64570","0","-24414","0","31501","0","-63452","0","34782","0","-47300","0","-17461","0","63640","0","20584","0","-30352","0","18044","0","-24044","0","23613","0","20378","0","-37498","0","-59230","0","-40536","0","6890","0","-1647","0","115496","0","47785","0","-38280","0","-93342","0","-61968","0","12966","0","8323","0","-34440","0","-118161","0","-24548","0","-3368","0","-41321","0","17734","0","55912","0","-21560","0","-12085","0","-482","0","-107613","0","-23081","0","12820","0","33492","0","11007","0","-85146","0","-39507","0","60832","0","-39488","0","-38290","0","-82010","0","-26572","0","-76073","0","6475","0","-11144","0","-97352","0","50849","0","-62240","0","-9277","0","77644","0","-99077","0","65402","0","-59754","0","119816","0","67496","0","143580","0","-66482","0","-11853","0","18330","0","-45555","0","-2032","0","25986","0","78228","0","-25646","0","9381","0","28092","0","41602","0","127289","0","8235","0","-39484","0","-49398","0","-10132","0","66712","0","61257","0","-33242","0","-48868","0","57132","0","-101148","0","90901","0","152156","0","-87976","0","3665","0","18169","0","-53344","0","-126762","0","15050","0","39512","0","93076","0","67792","0","-16052","0","-14002","0","-15721","0","8436","0","-36968","0","-22922","0","-61488","0","51928","0","59976","0","-36268","0","-73149","0","-90696","0","-108700","0","112396","0","7309","0","105213","0","-77890","0","94122","0","95976","0","69565","0","71700","0","120944","0","-15356","0","2010","0","39756","0"],"derived":{"al":[[2,null],[53,1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"212.4.a.b","letter":"b","dim":8,"charpoly":["-664386526","253090729","-3057399","-6089687","338961","17711","-1161","-13","1"],"traces":["8","0","2","0","11","0","22","0","74","0","-15","0","140","0","234","0","171","0","136","0","212","0","149","0","733","0","452","0","514","0","431","0","642","0","366","0","314","0","376","0","336","0","-213","0","443","0","236","0","1388","0","282","0","424","0","241","0","-254","0","-901","0","472","0","-2282","0","976","0","-1280","0","-728","0","-2804","0","1102","0","-3336","0","-106","0","-1539","0","-916","0","-3242","0","259","0","-920","0","-689","0","-2856","0","-634","0","-2764","0","-205","0","-3231","0","819","0","-68","0","-3468","0","-4332","0","789","0","-4928","0","-1049","0","-3771","0","2342","0","-3142","0","849","0","-4244","0","-1929","0","3255","0","2074","0","-832","0","8168","0","-468","0","-602","0","-344","0","3236","0","-3572","0","10278","0","-4614","0","682","0","5316","0","5169","0","-3249","0","9479","0","106","0","5166","0","7621","0","786","0","-2313","0","7818","0","-3884","0","6711","0","8392","0","5770","0","-5802","0","7836","0","4004","0","1246","0","4663","0","1568","0","5711","0","8474","0","2456","0","840","0","3740","0","4840","0","3668","0","12142","0","-1339","0","-6124","0","7335","0","4346","0","1523","0","10874","0","-13568","0","-4958","0","12508","0","-5429","0","-7904","0","-3606","0","-212","0","-394","0","2852","0","-11832","0","865","0","-1657","0","-2374","0","-12545","0","10228","0","-10866","0","-1330","0","7373","0","6294","0","-10452","0","-4668","0","-5324","0","411","0","583","0","-14494","0","-5852","0","21280","0","-15240","0","-22488","0","2381","0","-5413","0","-10275","0","778","0","-25976","0","6636","0","-3285","0","-13754","0","-12166","0","17011","0","-19524","0","-29404","0","14490","0","2570","0","-25994","0","-4523","0","-36258","0","7008","0","5732","0","-11490","0","-15332","0","-2846","0","-13140","0","-16012","0","8464","0","10502","0","-44640","0","-1208","0","-17884","0","16352","0","-2384","0","-25914","0","-2313","0","15668","0","-9902","0","3679","0","16595","0","33604","0","16146","0","3060","0","-19052","0","15379","0","8398","0","-3108","0","-38712","0","20444","0","-24012","0","1166","0","22925","0","20982","0","20866","0","-136","0","-2696","0","23247","0","-4290","0","627","0","-7891","0","19487","0","1540","0","49","0","6299","0","17224","0","14080","0","-6872","0","5543","0","20242","0","4401","0","152","0","27818","0","26514","0","22400","0","-16994","0","17329","0","64124","0","-14364","0","7628","0","-18112","0","26544","0","16930","0","-16564","0","17622","0","18934","0","1718","0","-2992","0","-24943","0","44116","0","-48238","0","20098","0","-11390","0","57384","0","51932","0","15012","0","-10806","0","32299","0","3326","0","-120","0","-6320","0","31058","0","32643","0","-4668","0","3922","0","20360","0","13106","0","44748","0","-5989","0","-21188","0","-39138","0","25062","0","58684","0","27337","0","-26360","0","-21948","0","-17496","0","13812","0","9025","0","45818","0","-30804","0","11032","0","26662","0","-73144","0","-30964","0","-17646","0","19785","0","11805","0","-6928","0","36261","0","-26809","0","-21781","0","-13376","0","-23120","0","-18258","0","-63955","0","-12404","0","37796","0","-22577","0","-49372","0","-29936","0","-18632","0","69742","0","-67588","0","-8943","0","-90020","0","-1970","0","45136","0","15075","0","4726","0","-6382","0","-54506","0","10372","0","-19512","0","-14341","0","-59464","0","-316","0","-795","0","-6128","0","-9383","0","27196","0","47724","0","-14710","0","-146310","0","45664","0","-1722","0","22844","0","-36356","0","3020","0","-7566","0","-133688","0","71232","0","40881","0","-62076","0","5730","0","-47009","0","-26810","0","-64842","0","20534","0","-29464","0","-48212","0","-26128","0","62466","0","-45029","0","19516","0","-23840","0","-47676","0","-63529","0","-83762","0","-1514","0","22299","0","-52100","0","50018","0","-125572","0","-47306","0","-14266","0","-20660","0","109184","0","-10296","0","-19210","0","23308","0","50042","0","-15461","0","52152","0","-18596","0","-61886","0","74628","0","7915","0","-1848","0","2264","0","7420","0","5024","0","87590","0","85680","0","-14690","0","-95288","0","8400","0","61648","0","71984","0","7014","0","-58227","0","-38247","0","43099","0","-152932","0","100058","0","47040","0","-42808","0","48058","0","76432","0","-126048","0","-73504","0","93813","0","73534","0","100722","0","15496","0","-82816","0","-11386","0","63642","0","77770","0","-56294","0","-51360","0","-28066","0","19156","0","22208","0","-38920","0","28050","0","18356","0","-104118","0","180691","0","-60348","0","-20992","0","-17692","0","148791","0","56808","0","178656","0","1144","0","86852","0","81640","0","-34655","0","-30586","0","-56818","0","150674","0","35540","0","12402","0","111489","0","-28876","0","141259","0","23244","0","-130146","0","8324","0","63224","0","-44693","0","111476","0","-30003","0","18848","0","-89280","0","-35997","0","37350","0","145432","0","-29472","0","57819","0","191846","0","-23521","0","-133669","0","58340","0","-40404","0","97022","0","69786","0","184097","0","-18460","0","-37034","0","36398","0","-45680","0","-74932","0","9557","0","-181985","0","71664","0","67572","0","-79891","0","-44580","0","-93375","0","147332","0","3689","0","135810","0","-19140","0","91456","0","97074","0","20972","0","-25802","0","50333","0","-58534","0","43293","0","-58420","0","-129158","0","-33206","0","112954","0","9063","0","19428","0","109078","0","61361","0","-34929","0","-137656","0","39338","0","92804","0","-4016","0","-61873","0","-110694","0","-26892","0","-26888","0","-65540","0","-63133","0","62104","0","-69456","0","17091","0","181413","0","-135892","0","-57972","0","30066","0","-109464","0","68460","0","-168772","0","37904","0","40412","0","-62165","0","3532","0","-139896","0","-116199","0","-36468","0","-281988","0","-39260","0","-124630","0","31179","0","-94328","0","-119920","0","14302","0","-183955","0","41757","0","-10730","0","150402","0","141744","0","183875","0","-139560","0","60192","0","-1428","0","12342","0","-117200","0"],"derived":{"al":[[2,null],[53,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.129,"computed":"atlas","estimate":{"seconds":0.453,"low":0.277,"high":0.784,"bytes":2087183},"url":"https://sagebrush.space/atlas/mf/212.4.a"}