{"label":"56.4.a","level":56,"weight":4,"dims":{"new":4,"cusp":20,"eisenstein":8,"modsym":48},"old":[[7,1,4],[8,1,2],[14,2,3],[28,2,2]],"T":[[3,1],[5,3]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 7, 8, 14, 28, 56]: [1, 2, 3, 3, 5, 8, 15, 28] (certified at ell = 2147483647)","T = [(3, 1), (5, 3)]; h of degree 4 = 1 x 4 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"56.4.a.a","letter":"a","dim":1,"charpoly":["50","1"],"traces":["1","0","-2","0","-16","0","-7","0","-23","0","24","0","-68","0","32","0","54","0","-46","0","14","0","176","0","131","0","100","0","-174","0","-116","0","-48","0","112","0","74","0","136","0","-10","0","-480","0","368","0","-572","0","49","0","-108","0","-162","0","-384","0","92","0","-86","0","-904","0","161","0","1088","0","660","0","-352","0","1024","0","770","0","-262","0","-168","0","-904","0","421","0","682","0","-864","0","348","0","-102","0","476","0","232","0","736","0","-218","0","-552","0","-80","0","108","0","-224","0","1492","0","-1510","0","-148","0","-2138","0","-2816","0","1564","0","-378","0","-755","0","20","0","-96","0","1616","0","960","0","-414","0","322","0","-1600","0","-926","0","494","0","1144","0","-1632","0","2784","0","-98","0","-474","0","88","0","-1242","0","1856","0","2972","0","324","0","-1232","0","-1480","0","768","0","2500","0","2427","0","1058","0","980","0","-917","0","172","0","-2580","0","2388","0","1808","0","-1184","0","1296","0","-700","0","-1912","0","-1938","0","-2176","0","-122","0","-3900","0","-1320","0","1218","0","160","0","-4048","0","-1104","0","-1164","0","-2048","0","7680","0","812","0","-1540","0","-3672","0","1480","0","-3013","0","3906","0","252","0","336","0","-2070","0","9152","0","1808","0","-5352","0","-6298","0","-3542","0","-784","0","3128","0","-1364","0","-1810","0","4224","0","1728","0","-334","0","-518","0","4002","0","-3488","0","2592","0","204","0","3796","0","2416","0","-952","0","3144","0","6734","0","2668","0","2250","0","3642","0","-1472","0","70","0","-1997","0","436","0","-7288","0","1376","0","2400","0","-11968","0","3360","0","160","0","14464","0","-3790","0","-216","0","2760","0","-6714","0","-2576","0","-6386","0","-4176","0","-2984","0","-2484","0","-8908","0","3020","0","4004","0","7168","0","-1702","0","-10560","0","2478","0","4276","0","-2784","0","-343","0","5632","0","-2144","0","7652","0","-6800","0","7442","0","-16384","0","756","0","2616","0","-4743","0","1510","0","-12320","0","-6616","0","230","0","1134","0","-3770","0","192","0","11832","0","-6232","0","-3232","0","12212","0","2688","0","11040","0","7706","0","9504","0","828","0","14464","0","-9260","0","-644","0","2638","0","7888","0","-6736","0","1776","0","-9122","0","1852","0","602","0","-10912","0","-988","0","-5370","0","8046","0","13156","0","7074","0","6328","0","3264","0","-5064","0","-7922","0","-5568","0","-8096","0","-1080","0","-1127","0","3740","0","1632","0","948","0","5458","0","-240","0","-176","0","-7616","0","-3674","0","5400","0","6252","0","19472","0","-3712","0","-2806","0","-4620","0","-5944","0","-11520","0","-6026","0","3726","0","588","0","-5032","0","2464","0","3488","0","-7136","0","2960","0","-7140","0","-9396","0","8832","0","-7168","0","-12908","0","-5000","0","-12192","0","1280","0","-4854","0","420","0","-5390","0","-4600","0","-1728","0","-13728","0","-1960","0","18582","0","17106","0","1834","0","-6264","0","18809","0","1978","0","680","0","-23872","0","5160","0","1176","0","-8786","0","-4776","0","24160","0","-7952","0","20792","0","8004","0","6328","0","2368","0","-9042","0","32640","0","-2592","0","-22818","0","34208","0","-2947","0","726","0","-2504","0","3824","0","23056","0","-16158","0","3876","0","-4774","0","-3888","0","-25024","0","2070","0","5336","0","244","0","7002","0","6048","0","7800","0","-13272","0","-25990","0","-15180","0","12080","0","448","0","-2436","0","38896","0","11018","0","-320","0","-3786","0","-342","0","17600","0","714","0","-14839","0","2208","0","3996","0","26992","0","2328","0","-25856","0","-3332","0","-23552","0","-16978","0","22510","0","-15360","0","-9404","0","-2064","0","-1624","0","-4182","0","6624","0","-17710","0","6096","0","6632","0","7344","0","-5152","0","-30624","0","-2960","0","-21696","0","-1990","0","13100","0","-22124","0","1526","0","-7812","0","6428","0","14816","0","-504","0","11016","0","-23838","0","3864","0","-7904","0","-540","0","4140","0","-886","0","-3404","0","-18304","0","560","0","16602","0","20792","0","-20416","0","26112","0","10704","0","27260","0","-756","0","12596","0","-22794","0","-3652","0","-4283","0","-25920","0","-13432","0","1568","0","15840","0","34360","0","-6256","0","-5624","0","7584","0","-15686","0","-10444","0","10392","0","3620","0","-1408","0","2666","0","-8448","0","-3138","0","10570","0","19872","0","5848","0","38878","0","668","0","3976","0","-15196","0","1036","0","460","0","24576","0","-17400","0","-47552","0","23258","0","6976","0","14966","0","61472","0","-5184","0","-2604","0","-30888","0","2346","0","18480","0","19712","0","-7592","0","39926","0","-17422","0","-4832","0","23680","0","22080","0","-10948","0","3870","0","-22120","0","-6288","0","-13724","0","-11320","0","-13468","0","2646","0","-40000","0","-11600","0","18876","0","5887","0","-4500","0","-38832","0","5285","0","-7284","0","13024","0","-33748","0","-16928","0","3230","0","-43922","0","-140","0","26968","0","-15680","0","3994","0","-21696","0","-44880","0","5014","0","672","0","-11486","0","14576","0","22026","0","8428","0","-2752","0","-18996","0","-11312","0","10104","0","26312","0","41280","0","23936","0","20184","0","-8748","0","-6720","0","-38208","0","20948","0","1840","0","-1392","0","16368","0","-28928","0","2898","0","41432","0","7580","0","-69632","0","9694","0","-2484","0","-25674","0","-2254","0","-5520","0","-20736","0","-46238","0","13428","0","17432","0","-1760","0","11200","0","26880","0","-52360","0","12772","0","30970","0","30592","0","8352","0","6482","0","-16335","0","-34316","0","31008","0","-19344","0","4968","0","50122","0","-3458","0","17816","0","25850","0","-2448","0","34730","0","32012","0","1952","0","-8008","0","-84480","0","18240","0","-14336","0","62400","0","-23144","0","7400","0"]},{"label":"56.4.a.b","letter":"b","dim":1,"charpoly":["-30","1"],"traces":["1","0","6","0","8","0","-7","0","9","0","56","0","-28","0","48","0","-90","0","74","0","-42","0","-96","0","-61","0","-108","0","-222","0","-100","0","336","0","-56","0","58","0","-168","0","422","0","512","0","72","0","148","0","49","0","-540","0","-642","0","448","0","444","0","-318","0","720","0","-63","0","-224","0","-412","0","-576","0","448","0","994","0","-366","0","-392","0","-296","0","-891","0","386","0","-720","0","-1332","0","-6","0","196","0","-600","0","592","0","-138","0","504","0","-664","0","2012","0","-336","0","900","0","1706","0","348","0","-442","0","-768","0","-252","0","630","0","1805","0","2532","0","-1488","0","-1952","0","3072","0","-742","0","-518","0","-864","0","-1854","0","-74","0","888","0","-1568","0","-1776","0","294","0","2502","0","-888","0","-810","0","-800","0","1092","0","-3852","0","672","0","-1704","0","2688","0","436","0","-1413","0","666","0","-996","0","427","0","-1908","0","1244","0","412","0","4320","0","464","0","-5040","0","756","0","1160","0","-3698","0","-1344","0","-2874","0","3348","0","-2472","0","1554","0","3376","0","-864","0","4144","0","-2556","0","2688","0","4096","0","700","0","5964","0","2520","0","-312","0","-549","0","826","0","4036","0","-2352","0","-2902","0","1184","0","-1776","0","3176","0","-4682","0","-2430","0","392","0","-2072","0","2316","0","630","0","-5376","0","-4320","0","-1870","0","-406","0","-1998","0","3360","0","-5136","0","-36","0","-5924","0","2064","0","1176","0","-3416","0","-3314","0","-900","0","3018","0","6802","0","3552","0","-2954","0","3187","0","-828","0","2784","0","-2544","0","-6048","0","2688","0","-3584","0","-3984","0","5760","0","-5654","0","12072","0","2504","0","6454","0","-504","0","-4146","0","-12432","0","5400","0","-6660","0","1708","0","10236","0","-1036","0","10208","0","522","0","-3296","0","8078","0","-2652","0","-5600","0","-343","0","-4608","0","-3456","0","6348","0","3024","0","2290","0","3584","0","3780","0","-9912","0","-1383","0","10830","0","7952","0","4840","0","3798","0","4494","0","-8090","0","-8928","0","6216","0","-7000","0","-11712","0","10308","0","-3136","0","4608","0","-11510","0","8640","0","-4452","0","-2368","0","-8132","0","-3108","0","-1074","0","2800","0","-7128","0","3248","0","3406","0","-11124","0","2226","0","3088","0","-444","0","-13522","0","1198","0","1332","0","5490","0","-5040","0","-9408","0","-12824","0","-12770","0","-10656","0","-7104","0","13224","0","441","0","972","0","-48","0","15012","0","6034","0","23632","0","-5328","0","1568","0","12742","0","9720","0","6132","0","2672","0","-4800","0","-17246","0","2884","0","6552","0","28672","0","-4514","0","-5778","0","-19812","0","-1624","0","4032","0","-1104","0","14864","0","-10224","0","15756","0","19980","0","4032","0","-3136","0","1604","0","2616","0","-19232","0","-5312","0","-8478","0","76","0","-6958","0","-7992","0","16096","0","8288","0","-5976","0","-12570","0","-11510","0","2562","0","9000","0","-2951","0","-2862","0","-11816","0","7200","0","7464","0","2744","0","23438","0","2472","0","13648","0","-5328","0","6480","0","-16428","0","2072","0","2784","0","-2386","0","-14336","0","-30240","0","13094","0","-3536","0","6237","0","15638","0","-4040","0","6960","0","5856","0","9154","0","-22188","0","-2702","0","-35952","0","-2016","0","-2754","0","-7400","0","-17244","0","-20678","0","5040","0","20088","0","-10200","0","-23782","0","-3708","0","14440","0","9920","0","9324","0","-4144","0","-21030","0","20256","0","8854","0","-1214","0","10368","0","42","0","-4279","0","24864","0","-5220","0","-1200","0","-15336","0","-15616","0","-1372","0","4032","0","6894","0","13174","0","24576","0","1684","0","-17808","0","4200","0","-20582","0","-5936","0","8946","0","22416","0","20864","0","15120","0","-4144","0","21312","0","-1872","0","40320","0","-14438","0","6588","0","-2724","0","966","0","4956","0","5676","0","-14832","0","24216","0","17976","0","-2534","0","-3528","0","-592","0","-37980","0","-17412","0","-15558","0","4292","0","7104","0","4648","0","14538","0","-2664","0","9600","0","-12544","0","19056","0","16364","0","-14084","0","-28092","0","13542","0","-24884","0","9477","0","-46080","0","9248","0","2352","0","-23072","0","3928","0","-12432","0","2840","0","20016","0","3474","0","-6300","0","904","0","3780","0","-7104","0","-326","0","-32256","0","13902","0","-11942","0","-6480","0","8904","0","-19378","0","-11220","0","-33280","0","6100","0","-2436","0","31228","0","25088","0","23976","0","8736","0","-32974","0","20160","0","3094","0","-20160","0","-30816","0","17244","0","-13320","0","-54","0","55664","0","5376","0","-35544","0","-27178","0","33514","0","12384","0","-13632","0","37888","0","1764","0","-10978","0","-2376","0","-20496","0","-12844","0","-30880","0","-19884","0","-4410","0","3488","0","10800","0","-27924","0","24895","0","18108","0","-11304","0","-12635","0","40812","0","-5568","0","-10636","0","5328","0","41934","0","-15946","0","-17724","0","16984","0","-7968","0","19122","0","-16576","0","11536","0","-1242","0","10416","0","-6702","0","16704","0","36810","0","-5060","0","-15264","0","32156","0","13664","0","-49896","0","10952","0","9952","0","16128","0","22200","0","57780","0","-21504","0","3296","0","-2716","0","-5976","0","42048","0","21616","0","34560","0","5194","0","-7816","0","-33924","0","-12544","0","-3538","0","18108","0","-15578","0","3626","0","15024","0","-40320","0","46210","0","38724","0","-24816","0","-40512","0","6048","0","-12800","0","-27832","0","-24876","0","-16902","0","9280","0","-74592","0","12978","0","-19791","0","8100","0","-29584","0","-4000","0","-39960","0","-27486","0","518","0","10248","0","-1126","0","-336","0","15354","0","4668","0","-22992","0","-6216","0","-49152","0","2048","0","61248","0","26784","0","-26864","0","-6264","0"]},{"label":"56.4.a.c","letter":"c","dim":2,"charpoly":["796","-64","1"],"traces":["2","0","-2","0","22","0","14","0","62","0","36","0","42","0","-136","0","8","0","-118","0","-14","0","-104","0","106","0","-236","0","-56","0","20","0","-720","0","154","0","504","0","528","0","-544","0","412","0","910","0","-500","0","98","0","676","0","268","0","1080","0","-1364","0","-198","0","-346","0","434","0","-108","0","1008","0","-352","0","-1224","0","716","0","-2614","0","252","0","584","0","-754","0","-1230","0","-596","0","-2452","0","596","0","294","0","1576","0","184","0","-856","0","2484","0","3510","0","588","0","-952","0","-2760","0","704","0","636","0","-456","0","-688","0","162","0","56","0","2090","0","2596","0","924","0","3232","0","1184","0","970","0","-826","0","-3280","0","-2084","0","2742","0","-1096","0","-2664","0","1892","0","-98","0","-1036","0","-2992","0","-1120","0","-1376","0","-6438","0","7940","0","-728","0","-1252","0","-10656","0","-876","0","-662","0","-694","0","4738","0","742","0","-1284","0","904","0","-1094","0","3880","0","4404","0","-3960","0","-1652","0","296","0","2640","0","3984","0","1284","0","-5132","0","6744","0","-392","0","-8036","0","-2312","0","6768","0","1312","0","6240","0","2936","0","140","0","3388","0","3588","0","2712","0","8302","0","-374","0","-1742","0","-5040","0","2884","0","-3904","0","-4688","0","5128","0","-5512","0","-854","0","1078","0","-9888","0","6588","0","-9562","0","864","0","7664","0","-4524","0","3528","0","3280","0","-8712","0","-5260","0","-18836","0","-2910","0","736","0","3696","0","16956","0","3644","0","-2572","0","-6156","0","-1910","0","-9760","0","-3808","0","-5690","0","8836","0","5070","0","-696","0","-8352","0","-4464","0","2884","0","-1800","0","-7340","0","3722","0","-4920","0","9504","0","-2528","0","6370","0","8052","0","14040","0","7320","0","-9364","0","-10314","0","892","0","-3500","0","7804","0","13344","0","3336","0","7072","0","33060","0","-9216","0","686","0","1600","0","4428","0","7234","0","-1536","0","-300","0","-18480","0","4732","0","8832","0","12510","0","-26714","0","3772","0","4744","0","-20968","0","1876","0","2548","0","-20304","0","-13716","0","-1308","0","-3232","0","10188","0","7560","0","9580","0","3176","0","-3152","0","-628","0","10528","0","4418","0","-9548","0","-10080","0","8400","0","-314","0","2232","0","-13224","0","-23908","0","-1386","0","-18888","0","-4908","0","22","0","26444","0","-12308","0","-14624","0","-2422","0","-1440","0","-24024","0","8672","0","-26288","0","12064","0","14496","0","3038","0","7648","0","24796","0","8788","0","-34156","0","-22104","0","26704","0","-756","0","4160","0","3160","0","7290","0","11056","0","17792","0","-9006","0","7056","0","6096","0","-2160","0","26350","0","-8108","0","-268","0","16284","0","-2464","0","-17396","0","2264","0","-3536","0","8304","0","-15272","0","52632","0","-8568","0","4640","0","-27624","0","-17272","0","36900","0","24602","0","13218","0","5012","0","5032","0","10800","0","576","0","3584","0","-16224","0","-14078","0","-18298","0","9656","0","-17102","0","-3174","0","-1164","0","-34920","0","38312","0","1764","0","-14764","0","-36640","0","6148","0","25796","0","-17794","0","35908","0","4088","0","-20592","0","-8860","0","16632","0","13536","0","19502","0","-37620","0","-5278","0","-34656","0","32692","0","-33584","0","4520","0","1188","0","-33420","0","-8610","0","-44424","0","-11100","0","-19858","0","-21928","0","-29100","0","3756","0","-4172","0","29528","0","-9280","0","9908","0","15744","0","47614","0","21440","0","-17164","0","-18480","0","-33448","0","61616","0","3120","0","-29334","0","9536","0","4172","0","16294","0","6912","0","8856","0","11896","0","27416","0","35552","0","2058","0","-47976","0","2768","0","-22642","0","-8864","0","468","0","5328","0","11032","0","27280","0","10328","0","13988","0","4852","0","-19682","0","13056","0","1288","0","12944","0","-16848","0","-27432","0","13340","0","-27556","0","33258","0","-5992","0","70028","0","-26160","0","3068","0","4592","0","46668","0","-33734","0","17388","0","32328","0","10136","0","39980","0","-40576","0","-44556","0","14848","0","24570","0","-31960","0","26312","0","-7424","0","-25200","0","29072","0","-44940","0","4116","0","32644","0","52208","0","27916","0","-32254","0","11224","0","-21226","0","-6664","0","-28368","0","15836","0","-54864","0","25936","0","-19148","0","-48846","0","-19320","0","-16280","0","2836","0","-56624","0","12968","0","26496","0","-8328","0","4928","0","-32612","0","-11568","0","-832","0","-10980","0","12974","0","-34052","0","4452","0","5420","0","-52128","0","-8440","0","-70476","0","-35998","0","-26400","0","-3192","0","10404","0","80272","0","63954","0","-11576","0","54956","0","-11736","0","-4816","0","20352","0","4848","0","16386","0","-4384","0","-8984","0","-45056","0","1134","0","42924","0","62032","0","-98352","0","37656","0","11158","0","-52892","0","392","0","18864","0","7216","0","17244","0","7966","0","37164","0","-31222","0","14630","0","14108","0","-30768","0","-87310","0","24856","0","-5256","0","10982","0","18172","0","19384","0","43796","0","11162","0","35136","0","59928","0","-42496","0","6468","0","18472","0","26280","0","34748","0","-16120","0","-4320","0","16764","0","22624","0","34308","0","50248","0","-29272","0","-34752","0","-35672","0","50320","0","8288","0","25700","0","-3944","0","105390","0","-13072","0","-54288","0","65936","0","6790","0","-57712","0","-48980","0","-624","0","1632","0","26892","0","-43432","0","-5782","0","51600","0","-53136","0","4908","0","-110332","0","15702","0","20080","0","-22960","0","-25180","0","35556","0","-59580","0","14948","0","36544","0","-40032","0","-14588","0","-37038","0","-94680","0","59820","0","-2616","0","-36920","0","-5302","0","19194","0","-12144","0","21420","0","120168","0","18632","0","-33732","0","41940","0","-7672","0","-27808","0","10224","0","-22624","0","-80848","0","-6274","0","-52632","0"]}],"seconds":0.109,"computed":"atlas","estimate":{"seconds":0.269,"low":0.164,"high":0.466,"bytes":1868473}}