{"label":"76.4.a","level":76,"weight":4,"dims":{"new":5,"cusp":27,"eisenstein":6,"modsym":60},"old":[[19,4,3],[38,5,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 19, 38, 76]: [1, 2, 3, 6, 17, 33] (certified at ell = 2147483647)","T = [(3, 1), (5, 1)]; h of degree 5 = 1 x 5 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"76.4.a.a","letter":"a","dim":2,"charpoly":["-107","10","1"],"traces":["2","0","-5","0","-5","0","-30","0","-25","0","-71","0","-35","0","-70","0","0","0","-38","0","141","0","-5","0","175","0","115","0","155","0","-88","0","260","0","-255","0","380","0","269","0","-142","0","155","0","475","0","-455","0","28","0","-99","0","-275","0","-235","0","95","0","-873","0","445","0","45","0","-820","0","645","0","-961","0","-1712","0","-990","0","-25","0","1395","0","-1274","0","-58","0","-90","0","495","0","685","0","-888","0","1251","0","1540","0","95","0","710","0","475","0","2056","0","1980","0","1710","0","-1055","0","-1329","0","-818","0","-2300","0","4880","0","-470","0","-396","0","271","0","-140","0","-1875","0","2220","0","-2318","0","1005","0","570","0","1940","0","-2020","0","1467","0","758","0","2150","0","-5750","0","-2050","0","-4971","0","964","0","495","0","-6380","0","3200","0","2717","0","-3819","0","-5000","0","3310","0","1770","0","-1785","0","475","0","2700","0","-975","0","1605","0","-1914","0","1052","0","-4000","0","-1610","0","-495","0","-3507","0","1706","0","-8310","0","3040","0","10210","0","-1838","0","-2619","0","1965","0","2830","0","4930","0","1349","0","2799","0","3950","0","9265","0","6600","0","1419","0","-1089","0","-7520","0","-4250","0","3905","0","6943","0","-7068","0","2325","0","3035","0","3350","0","-10026","0","6086","0","1330","0","9830","0","665","0","2106","0","-10001","0","-4690","0","-990","0","8980","0","-5172","0","-7300","0","-2355","0","-9460","0","3540","0","1098","0","-4453","0","-7005","0","-4150","0","2645","0","-5500","0","566","0","825","0","1330","0","150","0","-9232","0","5782","0","4155","0","5070","0","-6310","0","-10621","0","-10047","0","-10090","0","13325","0","-3720","0","-3630","0","8564","0","2155","0","-2175","0","5025","0","-140","0","-4309","0","0","0","1475","0","7035","0","5307","0","-4697","0","-5410","0","3420","0","2180","0","3242","0","9724","0","1950","0","-9560","0","-1045","0","-5089","0","-6913","0","9195","0","5930","0","2475","0","-2208","0","722","0","-6535","0","7755","0","13940","0","4250","0","12243","0","-18065","0","6750","0","9085","0","6555","0","1446","0","2150","0","14415","0","7715","0","9417","0","5841","0","-1770","0","2360","0","-6515","0","-2679","0","-580","0","16060","0","-21305","0","-12830","0","-9028","0","17161","0","10785","0","-9180","0","870","0","-7536","0","5293","0","7585","0","-2475","0","-18225","0","-13262","0","-18978","0","-23540","0","5300","0","95","0","5074","0","9550","0","-6145","0","-4380","0","8550","0","-17746","0","2566","0","-16270","0","16260","0","-6620","0","2673","0","-11483","0","-7135","0","16280","0","-1165","0","-13701","0","-6746","0","-15155","0","-3325","0","-6710","0","-24928","0","-5198","0","23985","0","-39560","0","32900","0","19628","0","5896","0","-6435","0","-10675","0","24360","0","-17011","0","-17064","0","3855","0","19610","0","-1890","0","6438","0","10626","0","-2185","0","-11550","0","14255","0","-678","0","2356","0","-1475","0","2025","0","-7920","0","33115","0","13800","0","-2960","0","37370","0","16500","0","-10894","0","-9815","0","19150","0","-15240","0","8960","0","8875","0","-2945","0","19770","0","-11980","0","-7675","0","-23948","0","4752","0","23250","0","18290","0","18030","0","-9400","0","-26480","0","9265","0","-24775","0","-9170","0","20478","0","8874","0","19910","0","5300","0","-30315","0","1672","0","-27340","0","18680","0","-6435","0","-10255","0","132","0","44750","0","-3030","0","28610","0","850","0","-15885","0","3788","0","335","0","20","0","20235","0","12458","0","25997","0","18600","0","-27500","0","-4940","0","-792","0","-32585","0","-32655","0","-40530","0","-22270","0","23050","0","26430","0","25145","0","-24730","0","-43310","0","28104","0","-39204","0","-42975","0","-6225","0","17655","0","-23783","0","-7057","0","4455","0","4845","0","-63665","0","28238","0","-30235","0","27370","0","-1075","0","-19615","0","19578","0","16225","0","22520","0","-55505","0","-16120","0","27137","0","29115","0","465","0","-26355","0","2970","0","-6060","0","-4358","0","-7220","0","12130","0","-50640","0","4320","0","15100","0","-77660","0","34060","0","15825","0","19994","0","-24420","0","-16700","0","40375","0","-6700","0","-934","0","11583","0","31050","0","-20780","0","-27930","0","11359","0","-5111","0","36580","0","31815","0","-8280","0","-11961","0","17968","0","26900","0","66890","0","-29575","0","46078","0","-5868","0","34785","0","-7425","0","8925","0","11540","0","-18556","0","16905","0","25300","0","23490","0","2698","0","59126","0","-20045","0","-14270","0","22625","0","-6042","0","24468","0","-39550","0","29920","0","-3015","0","2277","0","4500","0","29865","0","-62640","0","-14790","0","-13776","0","-16689","0","-4625","0","-23140","0","-2945","0","3750","0","54825","0","-28460","0","2950","0","-26375","0","-4401","0","-12602","0","11880","0","58770","0","-40700","0","64114","0","32947","0","8980","0","36225","0","-27495","0","-27060","0","-8738","0","-34860","0","-9025","0","-2730","0","-33895","0","2364","0","-7560","0","-37110","0","23080","0","46052","0","-22359","0","-46660","0","36375","0","-46795","0","-16773","0","-16005","0","-63655","0","24780","0","-20800","0","-5316","0","23509","0","8645","0","-53790","0","43135","0","78980","0","-12177","0","59190","0","-111530","0","-15065","0","-950","0","-22374","0","12600","0","-44450","0","-12105","0","26965","0","-35844","0","26330","0","36550","0","-31350","0","-10289","0","-532","0","-26195","0","-16335","0","-56870","0","-11443","0","-10225","0","29560","0","-43620","0","1860","0","5709","0","-23733","0","-14810","0","-71915","0","-31330","0","78744","0","49890","0","47920","0","22260","0","-14160","0","1881","0","-27416","0","-3855","0","4975","0","-61940","0","38124","0","-1950","0","17550","0","-16450","0","-22590","0","113512","0","-39886","0","22055","0","78845","0","46745","0","18286","0"]},{"label":"76.4.a.b","letter":"b","dim":3,"charpoly":["2026","-193","-10","1"],"traces":["3","0","1","0","9","0","44","0","60","0","79","0","-11","0","90","0","82","0","57","0","-213","0","103","0","-210","0","-107","0","-93","0","-116","0","-664","0","-93","0","-466","0","337","0","-188","0","-11","0","-387","0","163","0","69","0","203","0","197","0","231","0","19","0","1381","0","-405","0","1547","0","1188","0","943","0","-1339","0","1052","0","-580","0","-131","0","1855","0","-1402","0","495","0","1802","0","-1245","0","-3159","0","1966","0","-1723","0","-224","0","171","0","48","0","-455","0","134","0","-1412","0","1770","0","-2893","0","-2925","0","-4146","0","1054","0","-372","0","-6524","0","2518","0","3580","0","-3076","0","-1035","0","-1312","0","3526","0","3075","0","836","0","504","0","1014","0","4869","0","2870","0","3090","0","-2382","0","-8682","0","-1753","0","-1660","0","11113","0","-2820","0","-230","0","5929","0","3565","0","-1320","0","2382","0","2022","0","6398","0","1140","0","2142","0","-3739","0","5021","0","1270","0","4534","0","-5452","0","-5550","0","-6701","0","-4545","0","10756","0","-4056","0","-2772","0","-6344","0","-3516","0","-6227","0","3867","0","-3438","0","2026","0","1501","0","1277","0","-4622","0","2571","0","956","0","16077","0","-19071","0","-7568","0","-8703","0","-9589","0","6029","0","-16012","0","4791","0","6861","0","-5094","0","-48","0","3848","0","1522","0","-8292","0","-209","0","6694","0","3837","0","10294","0","5442","0","-9054","0","1308","0","1374","0","-3033","0","1860","0","10328","0","-14668","0","5007","0","15659","0","-1442","0","-8269","0","11956","0","-3512","0","7823","0","1710","0","3130","0","18115","0","9866","0","-2401","0","7974","0","-15898","0","-1683","0","-6295","0","18658","0","969","0","-3380","0","17818","0","3730","0","-5915","0","-8697","0","-9291","0","12060","0","11947","0","1558","0","9715","0","-18121","0","-6797","0","1693","0","3620","0","-4416","0","-7350","0","-8554","0","-13932","0","3124","0","4452","0","-8303","0","3365","0","-461","0","-9339","0","-11538","0","-15115","0","-2934","0","1083","0","-12141","0","1335","0","-10284","0","4444","0","-4243","0","8715","0","-18990","0","-9255","0","7953","0","-366","0","-574","0","-6657","0","-5255","0","10235","0","-2099","0","5178","0","-2016","0","5179","0","-4047","0","10230","0","-28312","0","5589","0","-1106","0","-4478","0","21495","0","11863","0","11532","0","-27814","0","864","0","6389","0","-26525","0","-20213","0","-2807","0","45426","0","-730","0","21178","0","1416","0","1957","0","-33226","0","26259","0","24225","0","11712","0","14026","0","-5508","0","4786","0","32586","0","15816","0","-3954","0","9359","0","8391","0","10459","0","1464","0","-11575","0","27617","0","13486","0","-15507","0","-3990","0","13916","0","-5304","0","-28162","0","-33361","0","2700","0","21036","0","15032","0","38508","0","-3249","0","-34905","0","35096","0","-1317","0","-36984","0","11587","0","20670","0","-14162","0","-13360","0","-27852","0","-2033","0","-9258","0","13627","0","-25686","0","-31322","0","-14401","0","19755","0","41388","0","-19220","0","18316","0","-18732","0","-4398","0","-3004","0","28962","0","28683","0","-8522","0","-14328","0","-28620","0","-37155","0","-1767","0","-18126","0","-5676","0","-18461","0","13640","0","-76564","0","25578","0","8094","0","4688","0","-462","0","-39228","0","27959","0","-5099","0","-48040","0","-56674","0","14210","0","-35374","0","-14400","0","41575","0","-2204","0","-1492","0","5962","0","-17889","0","36335","0","-2116","0","-27140","0","42706","0","14364","0","39426","0","-57141","0","61788","0","29721","0","108","0","46365","0","11210","0","-25681","0","13348","0","921","0","-12616","0","14272","0","8541","0","-62079","0","5706","0","-58716","0","94286","0","42580","0","19307","0","-5538","0","-20460","0","19036","0","-14320","0","-9249","0","-9507","0","18761","0","-13205","0","-7957","0","-9045","0","-1767","0","27009","0","60022","0","42791","0","3996","0","2011","0","1869","0","-11702","0","23953","0","50052","0","12507","0","78108","0","-14811","0","-26767","0","60541","0","7935","0","10294","0","-17484","0","-28088","0","-8854","0","-7854","0","-36916","0","-69702","0","-55060","0","-6888","0","80508","0","31575","0","47068","0","-33976","0","-53004","0","6351","0","-20934","0","-76425","0","-3891","0","22700","0","19068","0","40938","0","-15307","0","6403","0","-80160","0","16827","0","17564","0","-59623","0","48968","0","-41844","0","-8226","0","45471","0","-34942","0","12134","0","-20201","0","30039","0","18105","0","-28442","0","47736","0","-62547","0","-13016","0","-59990","0","-3572","0","-5986","0","-43497","0","2310","0","8027","0","-71442","0","19432","0","54278","0","3372","0","5585","0","-80009","0","33454","0","-130061","0","-18924","0","-10358","0","9282","0","31229","0","-5131","0","-7188","0","-209","0","-111670","0","-36537","0","5222","0","74450","0","19059","0","-13869","0","-16602","0","50202","0","-17730","0","15448","0","-21150","0","-390","0","13772","0","49023","0","62217","0","85608","0","19594","0","1498","0","-7353","0","51456","0","10151","0","-54844","0","-122956","0","-1146","0","81180","0","11044","0","-57691","0","15174","0","25689","0","56097","0","14191","0","36933","0","-6893","0","33768","0","-69420","0","-28956","0","45811","0","3097","0","41934","0","80271","0","12432","0","57497","0","74558","0","-7758","0","-52675","0","-63088","0","56874","0","29336","0","-16518","0","59679","0","29657","0","2980","0","-155322","0","19196","0","56758","0","23769","0","1311","0","77003","0","-110781","0","53676","0","104107","0","-47801","0","20944","0","25296","0","52588","0","-42325","0","-4977","0","-7980","0","42207","0","-28050","0","-15750","0","-18637","0","-44812","0","-39480","0","60832","0","3857","0","-38244","0","107521","0","-16037","0","-24366","0","3460","0","-76620","0","-24570","0","-11238","0","81638","0","-33996","0","2978","0","80839","0","2799","0","-60633","0","-34290","0"]}],"seconds":0.103,"computed":"atlas","estimate":{"seconds":0.283,"low":0.172,"high":0.489,"bytes":1882306}}