{"label":"15.4.a","level":15,"weight":4,"dims":{"new":2,"cusp":4,"eisenstein":4,"modsym":12},"old":[[5,1,2]],"T":[[2,1],[7,1]],"status":"proven","checks":["dim M^+ at levels [1, 3, 5, 15]: [1, 2, 3, 8] (certified at ell = 2147483629)","T = [(2, 1), (7, 1)]; h of degree 2 = 1 x 2 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"15.4.a.a","letter":"a","dim":1,"charpoly":["23","1"],"traces":["1","1","3","-7","5","3","-24","-15","9","5","52","-21","22","-24","15","41","-14","9","-20","-35","-72","52","-168","-45","25","22","27","168","230","15","-288","161","156","-14","-120","-63","-34","-20","66","-75","122","-72","-188","-364","45","-168","256","123","233","25","-42","-154","-338","27","260","360","-60","230","100","-105","742","-288","-216","-167","110","156","-84","98","-504","-120","-328","-135","-38","-34","75","140","-1248","66","-240","205","81","122","1212","504","-70","-188","690","-780","330","45","-528","1176","-864","256","-100","483","866","233","468","-175","-1218","-42","-88","-330","-360","-338","36","-189","-970","260","-102","-984","1042","-60","-840","-1610","198","100","336","-225","1373","742","366","2016","125","-216","1936","-1455","-564","110","732","-1092","480","-84","135","210","-2214","-504","20","840","768","-328","1144","369","1150","-38","699","238","-1330","75","-1208","300","-126","-1248","-1440","-462","-3514","-240","-1014","805","4032","81","-2068","-854","780","1212","-24","1080","-1713","-70","-180","1316","-618","690","-600","2132","300","330","3340","-315","-178","-528","2226","2520","-170","-864","-728","-1792","-648","-100","-1888","-501","1922","866","330","-1631","2526","468","-1160","-375","-252","-1218","-5520","294","610","-88","-1512","902","-1040","-360","-4468","2366","-984","36","-940","-405","6912","-970","-114","-1820","-308","-102","6032","-3864","225","1042","2636","420","4830","-840","-3744","-3450","2682","198","1280","-700","-720","336","2320","615","2002","1373","243","-5194","1165","366","-440","4320","3636","125","132","1512","-8736","1936","-210","-119","-7614","-564","816","-770","2070","732","-4888","-2340","-1690","480","990","588","1270","135","1072","-574","-1584","-2214","1300","3528","-5394","20","-2592","1800","2442","768","2772","2296","-300","1144","-2928","1449","-4717","1150","2598","266","4542","699","500","510","1404","-1330","-3696","-525","4512","-1208","-3654","-820","3710","-126","5116","8736","-264","-1440","-2808","-990","-7318","-3514","-1080","1680","2246","-1014","11960","-835","108","4032","280","-567","550","-2068","-2910","-1830","-6144","780","1332","-8484","-306","-24","-420","-2952","-11534","-1713","3126","490","-14976","-180","2640","2820","-2520","-618","11956","-4830","4870","-600","594","8372","10722","300","-1640","-2310","1008","3340","120","-675","-6459","-178","4119","3696","-190","2226","3936","-6888","1098","-170","8112","6048","3022","-728","375","-3840","5060","-648","-13340","700","5808","-1888","-1008","-4365","-6240","1922","-1692","-6062","9630","330","2352","-3495","2196","2526","-1200","-3276","7126","-1160","1440","1025","-8718","-252","-6336","8526","405","-5520","-1768","630","-10870","610","-6642","616","-2400","-1512","6060","3542","60","-1040","-9700","2520","862","-4468","2304","5070","-350","-984","-17808","-252","3432","-940","15792","1107","11602","6912","3450","6790","3360","-114","-440","-3900","2097","-308","-10188","714","1650","6032","-3990","4008","-13310","225","6344","-7294","-3624","2636","-2640","900","3226","4830","-378","5880","6582","-3744","15072","9430","-4320","2682","476","-1386","2016","1280","-10542","-1500","-9776","-720","-500","-2352","-3042","2320","-19680","2415","-748","2002","12096","-9611","4330","243","-5944","-11130","-6204","1165","10772","-2562","-3220","-440","2340","-11808","7872","3636","8140","-875","-72","132","-13768","3240","-6090","-8736","-5139","-13552","22150","-210","912","11521","-540","-7614","-440","3948","13312","816","-1854","-1650","1562","2070","-668","-5124","-1800","-4888","4032","6396","16057","-1690","900","-3360","2684","990","180","1260","10020","1270","12116","-945","-6138","1072","-534","-2254","-4850","-1584","-10484","15498","6678","1300","-4600","7560","5760","-5394","-510","-140","3606","-2592","-4136","-4920","-2184","2442","12252","-5376","5210","2772","-1944","4920","-14550","-300","-25468","-8008","-5664","-2928","-4200","-1503","12866","-4717","5766","-8050","-29088","2598","-17576","570","990","4542","-14844","-4893","5760","500","7578","-1394","20402","1404","1680","9310","-3480","-3696","10760","-1125","14282","4512","-756","8456","6865","-3654","11056","-3220","-16560","3710","5632","882","-16418","5116","1830","18720","-10374","-264","-5260","10080","-4536","-2808","-7920","2706","625","-7318","-3120","24598","476","-1080","21352","3600","-13404","2246","9680","7098","5126","11960","-2952","-7275","-29118","108","5772","-28224","-2820","280","-14264","-1215","5200","550","20736","14476","6902","-2910","3660","5002","-342","-6144","20140","-5460","-3218","1332","-924","-18180","2400","-306","-38640","168","18096","-420","38584","-11592","-7518","-11534","675","11991","-18114","3126","-20784","1050","7908","-14976","-23868","1260","-11070","2640","14490","-7708","-7436","-2520","172","4326","-11232","11956","100","-10350","-1708","4870","8046","4200","-22138","594","680","-8684","3840","10722","29232","-2100","3070","-1640","-2160","-4950","48384","1008","5720","-23380","6960","120","15600","1845","2112","-6459","6006","1246","5750","4119","20696","7920","729","-190","2632","-15582","-30778","3936","3495","-27048","-4368","1098","11740","1190","-1320","8112","2632","12960","-6650","3022","10908","5096","-864","375","-20528","10496","396","5060","-6040","4536","21646","-13340","-26208","1500","18282","5808","23280","13216","-630","-1008","2200","-357","-24190","-6240","-22842","-13454","-25698","-1692","-7200","-12990","2448","9630","-2440","-2310","-17056","2352","6210","9553","-17570","2196","33436","-17682","-14664","-1200","-25008","-7020","16324","7126","-5070","8120","-37594","1440","-3584","4025","2970","-8718","-1976","1764","20160","-6336","3810","18270","4730","405","-8748","38640","3216","-1768","-10340","-1722","3760","-10870","-4752","-4270","44142","-6642","3992","1320","3900","-2400","-14444","10584","42150","6060","-16182","-3674","-3262","60","-120","7280","-7776","-9700","13400","5400","28511","862","7326","31276","-8565","2304","-32952","-13858","8316","-350","5712","6888","-8658","-17808","-900","-540","42826","3432","-35900","6580","-8784","15792","-3088","4347","-3090","11602","-14151","-48384","-12480","3450","-1848","14550","7794","3360","-3000","798","-35274","-440","13626","10660","25042","2097","12572","2156","1500","-10188","-21864","1530","-46464","1650","4212","-42224","-5120","-3990","16700","34920","-11088","-13310","-66240","-1575","4732","6344","13536","-15630","-890","-3624","31236","-18452","-10962","-2640","8272","-2460","63024","3226","11130","-33810","-17568","-378","20200","12600","15348","6582","-7216","26208","-850","15072","-792","37030","31010","-4320","-4660","-18774","-8424","476","-3640","-2970","-39174","2016","-21954","-8960","-4138","-10542","-20496","4100","-3240","-9776","23676","5040","-836","-500","6738","-5040","18922","-3042","-9440","-16240","35880","-19680","53136","-2505","53153","-748","324","-14014","9610","12096","39656","-20595","840","4330","-33228","-1701","-480","-5944","1650","30422","-974","-6204","17160","-8155","-8730","10772","-13608","-5490","12630","-3220","-18432","3080","31584","2340","13472","-46368","3996","7872","-5800","-25452","-3234","8140","-918","-1875"],"derived":{"al":[[3,-1],[5,-1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"15.4.a.b","letter":"b","dim":1,"charpoly":["-23","1"],"traces":["1","3","-3","1","-5","-9","20","-21","9","-15","-24","-3","74","60","15","-71","54","27","-124","-5","-60","-72","-120","63","25","222","-27","20","-78","45","200","-45","72","162","-100","9","-70","-372","-222","105","330","-180","92","-24","-45","-360","-24","213","57","75","-162","74","450","-81","120","-420","372","-234","24","15","-322","600","180","433","-370","216","-196","54","360","-300","-288","-189","-430","-210","-75","-124","-480","-666","-520","355","81","990","156","-60","-270","276","234","504","1026","-135","1480","-120","-600","-72","620","135","-286","171","-216","25","-1734","-486","452","-1554","300","1350","-1404","-27","-1474","360","210","-1420","1086","1116","600","-78","666","72","1080","-315","-755","-966","-990","200","-125","540","1244","1659","-276","-1110","2328","72","-2480","-588","135","-1134","2118","1080","2324","-100","72","-864","-1776","-639","390","-1290","-171","-70","258","-225","-808","2604","486","-1440","-1000","-222","2378","-1560","-1350","225","-2400","243","-52","330","-360","468","-3720","1260","3279","-810","-1116","92","426","702","500","1704","-72","3078","-1440","-45","-3130","4440","966","2520","350","-1800","-1296","-24","-540","1860","3576","-1299","2666","-858","1110","57","-2718","-648","-3832","-525","588","-5202","-1560","-162","-1650","1356","-1080","-5254","2976","900","1100","450","864","-4212","-460","567","4000","-4422","1290","120","3996","630","1964","-900","225","3258","660","372","-1906","1800","1440","1638","-1458","1998","120","24","1560","3240","1176","-1065","866","-2265","-243","-322","-285","-2970","-9176","-4200","-468","-375","432","180","2880","3732","810","1513","2526","-828","-1400","-370","-702","6984","5448","-1512","-2250","-7440","-3078","-196","-2574","405","-3184","-3834","-4440","6354","-600","360","3962","6972","1800","2100","-8286","216","-2716","-288","-1860","-5328","6600","-405","-1997","1170","858","-430","6018","-513","-120","1470","648","774","-8880","-75","1840","-2424","5202","8804","1610","1458","9236","-480","-1356","-3000","1536","4662","-7342","7134","-900","-520","-3894","-4050","1872","-2165","4212","-7200","-6696","81","1850","-156","4422","-6930","-480","-1080","3692","156","-630","-11160","980","4260","-8998","9837","-3258","-270","-4800","-3348","-5720","-1932","-1800","1278","5244","234","6302","1500","-1998","1080","3414","-216","1440","1026","-3240","-4320","4824","945","8517","-9390","2265","1480","2150","2898","-3508","8520","2970","1050","9000","-600","10802","-3888","375","504","-5772","-1620","1460","620","-3732","10728","-4872","-4977","2400","7998","828","-286","-14046","3330","-6480","-1197","-6984","-8154","2600","-216","-2734","-11496","7440","-1775","-15942","1764","14800","-1734","-405","-4680","1680","3402","8714","-4950","-6354","452","480","-3240","-780","-3330","-6972","8928","11976","300","11054","3300","-216","-9450","1350","2592","-6440","-1404","5328","-1380","720","1917","-15622","12000","-1170","-1474","14880","3870","-9880","-2520","513","11988","-16116","210","-5130","5892","-774","8660","9018","675","-7920","1086","2424","1980","-7400","-7812","-3670","-5718","-1458","600","17562","4320","1172","5538","3000","-4374","6876","666","-3920","360","-7134","-504","-2208","4680","-3100","1080","4050","3528","2280","-675","-5180","2598","7200","-755","1430","-729","-3076","6762","156","-855","-18912","-990","-4212","-27528","1080","-14200","-5760","-1404","9956","-125","11160","1296","-10656","-3780","8670","8640","-9837","1244","-2766","2430","-8600","-8733","3348","7578","-2260","-276","576","-4200","-1278","7770","10530","-2106","12692","2328","-1500","16344","10800","-5112","2233","-6750","216","-2480","24420","-9234","7020","4116","4320","-7722","-1368","135","18110","-9552","9390","-2430","7370","-13320","3620","2118","-2898","-1800","9672","-7560","-10400","11886","-1050","2324","-14166","5400","6808","7100","3888","-24858","-13404","72","-5430","-8148","1620","6048","-18654","-5580","-7684","-1776","-10728","19800","-3000","3897","-1726","-5991","-7998","390","3120","2574","-10800","9030","-3330","18054","10596","-171","-24800","-360","8154","4970","2862","1944","-5400","258","11496","-26640","-23592","1575","-9574","5520","-1764","-808","3775","15606","17444","5580","4680","4830","-1776","486","-2374","27708","4950","10080","-12162","-4068","8804","-1000","3240","4608","20520","15762","625","-22026","-8928","2378","-3780","-2700","-12688","10920","-3300","-11682","-6220","-1350","4218","5616","-2592","-8295","-9150","12636","25292","-2400","1380","-20088","-2736","-1701","-576","5550","-12000","-52","22218","13266","-11640","-23430","-3870","-1440","14520","-360","-10618","11076","-11988","-3276","12400","-1890","9360","-3720","-5892","2940","7728","2700","1370","-26994","-675","3279","-13758","-9774","-5720","5670","-1980","-14400","11988","-1116","-10590","-17160","5718","-6532","33300","-5400","32996","426","-4320","15732","-11620","-4914","17820","18906","4374","500","-25902","-5994","8680","-10392","-360","10242","-34680","-72","-27394","4320","-4680","-21546","-24000","-9720","8880","-1440","-3528","14472","34848","3195","9040","25551","-2598","-3130","-1950","6795","28028","-31080","729","6450","4968","966","18002","-10524","855","5400","4704","8910","15284","350","27528","27000","-18768","12600","-1290","32406","1404","-1296","-28080","1125","8696","1704","-1296","-17316","4040","-540","-38662","4380","-8640","-13020","23874","-11196","-29480","3576","-2430","-14616","1776","-4539","23618","7200","-7578","2666","11538","2484","5000","6006","4200","-42138","-40920","1110","6912","-19440","2106","-4047","-11890","-20952","-14884","-2718","-16344","7800","21720","4536","-23828","-8202","6750","-3832","-11334","22320","-1296","-1125","9234","-47826","10320","588","12000","44400","7722","36414","44730","-1215","-42748","-1560","9552","5040","260","11502","-11408","26142","13320","-1650","-31686","-19062","11036","-9492","1800","1440","25884","-1080","15950","-2340","-11886","32042","3078","-20916","18600","2976","-5400","35928","13800","-6300","-18305","33162","24858","1100","-16395","-648","-15100","-31950","8148","4050","8400","864","-27862","-19320","5580","29484","-7314","15984","-28780","-460","-19800","2160","-32688","1215","-2130","-46866","5991","4000","12480","-3510","-14504","30954","-2574","44640","-2500","1290","36650","-29640","-18054","-8520","-2646","1539","10892","3996","360","-48348","-43464","-4410","24880","-15390","-1944","1964","2976","-2322","7200","33180","26640","27054","-15600","225","24300","-23760","-5520","-22806","15650","7272","-14884","660","-15606","-22200","-1248","-26412","-3744","-11010","-4830","-1906","46560","-4374","-6640","-12600","-27708","52686","-21312","1440","-1750","3516","4068","3510","29946","9000","-7068","-1458","-4608","20628","6480","-13986","45002","-11760","22026","120","6090","-21402","-39600","-1704","2700","-6624","56388","1560","-31820","-9300","11682","-22680","10854","12150","-17880","1176","-5616","6840","42360","6495","10209","-15540","-12636","866","-13330","21600","-42316","15855","20088","4290","24480","-243","46480","-9228","-5550","22862","-6906","468","-24624","-285","-13266","-56736","6960","20790","13590","-12636","1440","-9176","-11040","3240","47792","-9000","-11076","-17280","19160","-468","9938","29868","1890","2625"],"derived":{"al":[[3,1],[5,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.097,"computed":"atlas","estimate":{"seconds":0.224,"low":0.137,"high":0.388,"bytes":1820112},"url":"https://sagebrush.space/atlas/mf/15.4.a"}