{"label":"9.4.a","level":9,"weight":4,"dims":{"new":1,"cusp":1,"eisenstein":4,"modsym":6},"old":[],"T":[[2,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 3, 9]: [1, 2, 4] (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":"9.4.a.a","letter":"a","dim":1,"charpoly":["0","1"],"traces":["1","0","0","-8","0","0","20","0","0","0","0","0","-70","0","0","64","0","0","56","0","0","0","0","0","-125","0","0","-160","0","0","308","0","0","0","0","0","110","0","0","0","0","0","-520","0","0","0","0","0","57","0","0","560","0","0","0","0","0","0","0","0","182","0","0","-512","0","0","-880","0","0","0","0","0","1190","0","0","-448","0","0","884","0","0","0","0","0","0","0","0","0","0","0","-1400","0","0","0","0","0","-1330","0","0","1000","0","0","1820","0","0","0","0","0","-646","0","0","1280","0","0","0","0","0","0","0","0","-1331","0","0","-2464","0","0","380","0","0","0","0","0","1120","0","0","0","0","0","2576","0","0","0","0","0","0","0","0","-880","0","0","1748","0","0","0","0","0","-3850","0","0","0","0","0","-3400","0","0","0","0","0","2703","0","0","4160","0","0","-2500","0","0","0","0","0","3458","0","0","0","0","0","0","0","0","0","0","0","-1150","0","0","-456","0","0","-5236","0","0","0","0","0","0","0","0","-4480","0","0","6032","0","0","0","0","0","6160","0","0","0","0","0","-3220","0","0","0","0","0","4466","0","0","0","0","0","0","0","0","0","0","0","-7378","0","0","-1456","0","0","-3920","0","0","0","0","0","0","0","0","4096","0","0","2200","0","0","0","0","0","0","0","0","7040","0","0","812","0","0","0","0","0","-4030","0","0","0","0","0","5600","0","0","0","0","0","-4913","0","0","-9520","0","0","0","0","0","0","0","0","-10400","0","0","3584","0","0","10640","0","0","0","0","0","10010","0","0","-7072","0","0","0","0","0","0","0","0","8750","0","0","0","0","0","992","0","0","0","0","0","-4930","0","0","0","0","0","-5720","0","0","0","0","0","-11914","0","0","0","0","0","0","0","0","0","0","0","-3723","0","0","11200","0","0","4340","0","0","0","0","0","12350","0","0","0","0","0","-8584","0","0","0","0","0","0","0","0","10640","0","0","0","0","0","0","0","0","1190","0","0","-8000","0","0","-21560","0","0","0","0","0","8246","0","0","-14560","0","0","0","0","0","0","0","0","17138","0","0","0","0","0","3640","0","0","0","0","0","-2590","0","0","5168","0","0","14924","0","0","0","0","0","0","0","0","-10240","0","0","0","0","0","0","0","0","12710","0","0","0","0","0","-19780","0","0","0","0","0","-17600","0","0","0","0","0","-7000","0","0","0","0","0","-7700","0","0","10648","0","0","20900","0","0","0","0","0","0","0","0","19712","0","0","-15136","0","0","0","0","0","0","0","0","-3040","0","0","23800","0","0","0","0","0","0","0","0","0","0","0","-12040","0","0","0","0","0","-12167","0","0","-8960","0","0","0","0","0","0","0","0","-22678","0","0","0","0","0","1640","0","0","0","0","0","17680","0","0","-20608","0","0","36400","0","0","0","0","0","0","0","0","0","0","0","23312","0","0","0","0","0","-17710","0","0","0","0","0","0","0","0","0","0","0","17248","0","0","7040","0","0","0","0","0","0","0","0","-29302","0","0","-13984","0","0","-28420","0","0","0","0","0","17390","0","0","0","0","0","-26656","0","0","0","0","0","15625","0","0","30800","0","0","1892","0","0","0","0","0","-3990","0","0","0","0","0","13160","0","0","0","0","0","0","0","0","27200","0","0","0","0","0","0","0","0","-20482","0","0","0","0","0","0","0","0","0","0","0","24050","0","0","-21624","0","0","-26600","0","0","0","0","0","0","0","0","-33280","0","0","-16072","0","0","0","0","0","0","0","0","20000","0","0","6160","0","0","0","0","0","36146","0","0","0","0","0","0","0","0","0","0","0","36400","0","0","-27664","0","0","-10780","0","0","0","0","0","15050","0","0","0","0","0","31376","0","0","0","0","0","0","0","0","0","0","0","-23452","0","0","0","0","0","-41470","0","0","0","0","0","-12920","0","0","0","0","0","-4606","0","0","9200","0","0","-38500","0","0","0","0","0","0","0","0","3648","0","0","43400","0","0","0","0","0","-12740","0","0","41888","0","0","0","0","0","0","0","0","0","0","0","0","0","0","39368","0","0","0","0","0","-29120","0","0","0","0","0","-12220","0","0","0","0","0","17066","0","0","35840","0","0","0","0","0","0","0","0","-24389","0","0","-48256","0","0","-26620","0","0","0","0","0","-46690","0","0","0","0","0","31304","0","0","0","0","0","0","0","0","-49280","0","0","61600","0","0","0","0","0","50150","0","0","0","0","0","-20680","0","0","0","0","0","7600","0","0","25760","0","0","0","0","0","0","0","0","0","0","0","0","0","0","44840","0","0","0","0","0","0","0","0","-35728","0","0","2756","0","0","0","0","0","-13750","0","0","0","0","0","3192","0","0","0","0","0","-55510","0","0","0","0","0","0","0","0","0","0","0","-83300","0","0","0","0","0","0","0","0","0","0","0","65073","0","0","59024","0","0","-50020","0","0","0","0","0","51520","0","0","11648","0","0","0","0","0","0","0","0","0","0","0","31360","0","0","-45628","0","0","0","0","0","28910","0","0","0"]}],"seconds":0.112,"computed":"atlas","estimate":{"seconds":0.22,"low":0.134,"high":0.381,"bytes":1810087}}