{"label":"25.4.a","level":25,"weight":4,"dims":{"new":3,"cusp":5,"eisenstein":6,"modsym":16},"old":[[5,1,2]],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 5, 25]: [1, 3, 9] (certified at ell = 2147482921)","T = [(2, 1), (3, 1)]; h of degree 3 = 1 x 3 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"25.4.a.a","letter":"a","dim":1,"charpoly":["8","1"],"traces":["1","-1","-7","-7","0","7","-6","15","22","0","-43","49","28","6","0","41","-91","-22","-35","0","42","43","-162","-105","0","-28","35","42","160","0","42","-161","301","91","0","-154","314","35","-196","0","-203","-42","-92","301","0","162","-196","-287","-307","0","637","-196","-82","-35","0","-90","245","-160","-280","0","-518","-42","-132","-167","0","-301","-141","637","1134","0","412","330","763","-314","0","245","258","196","510","0","-839","203","-777","-294","0","92","-1120","-645","-945","0","-168","1134","-294","196","0","1127","-1246","307","-946","0","1302","-637","-532","420","0","82","1269","-245","1070","0","-2198","-246","503","-245","0","-1120","616","280","546","0","518","518","1421","-294","0","132","874","1455","644","0","1092","-2107","210","141","0","-1365","-411","-1134","-595","0","1372","-412","-1204","902","0","-763","2149","-2198","-3200","0","202","-525","-2002","-258","0","1372","-406","-510","574","0","972","839","3803","1421","0","777","-4116","630","-1413","0","-770","644","-1512","1120","0","-1763","1960","945","2585","0","-2758","168","3626","-2430","0","294","3913","1372","-210","0","-2378","1169","-3067","1246","0","2149","-2346","946","4900","0","987","-1302","-960","-4459","0","532","-3564","1148","1505","0","4307","574","-2884","-1269","0","525","-252","-1070","-5341","0","-2548","2198","-2212","966","0","-503","-476","-1715","-2940","0","-1806","2400","-1002","-616","0","1960","-3570","-546","2480","0","1897","-518","4928","3626","0","-1421","-980","630","5439","0","-2373","924","6966","-874","0","-119","4494","-644","-1884","0","3520","-1092","-722","4515","0","-210","6615","987","-6160","0","-7238","-3731","1176","411","0","-7938","-1776","595","924","0","4542","-1372","-7077","-2884","0","1204","1218","-3542","3368","0","8722","-5341","4158","-2149","0","4710","-1505","3200","-4536","0","552","-202","-9114","-1435","0","2002","2569","-1806","3724","0","2982","-2940","-2422","406","0","-3570","9484","-574","-6880","0","-8883","-972","3185","5873","0","-3803","-7490","-3045","1176","0","-183","5439","6908","4116","0","1722","-2861","1413","-3521","0","-1806","770","3900","-1380","0","1512","629","7840","5950","0","980","6923","11718","-1960","0","6615","-3822","-2585","8070","0","-5634","2758","-3626","1176","0","-3626","-8316","-6642","-4466","0","492","2058","-12062","-3913","0","-2940","4480","210","1735","0","-6118","2378","-7602","-10185","0","3067","-2024","8722","3030","0","14742","-4605","-7644","2346","0","6622","1204","-4900","-1470","0","1077","-987","1176","-9114","0","960","-13502","9555","-3955","0","2877","3724","1680","3564","0","-4508","4165","-1505","6265","0","-3788","-4307","-4312","-1230","0","2884","3108","-8883","8428","0","-15258","1435","13573","252","0","-7490","5670","5341","-8120","0","-6754","2548","6183","15386","0","2212","22400","1002","-1975","0","8729","-3521","-1414","476","0","3675","-11831","2940","-3185","0","1932","1806","9228","6560","0","1002","-13916","-4312","846","0","2842","-4200","3956","3570","0","-3822","-1804","-2480","2310","0","8792","-1897","-6804","-3626","0","-4928","17114","-7770","-26621","0","-17228","-9947","-14560","980","0","1722","-2472","-5439","-12500","0","28812","2373","868","-1980","0","-6966","9891","-6118","13370","0","-4578","-11521","-1225","-4494","0","-4508","8428","1884","10584","0","21637","-3520","-287","-7644","0","722","-3822","12341","14077","0","-6160","-1470","-5684","-6615","0","-2115","-18095","6160","13201","0","-5328","7238","19306","14651","0","-1176","-71","2877","-11396","0","-5600","17010","-3060","1776","0","4165","18444","-924","-2576","0","-27391","-4542","-672","-9604","0","7077","5034","6180","-10935","0","-13588","8428","16646","-1218","0","-3674","-8701","-3368","21469","0","4662","-8722","3526","11445","0","-4158","-11361","-15043","-1470","0","16422","12874","-11417","1505","0","22400","-34300","4536","-21050","0","7427","-552","-3102","-1414","0","9114","4144","5635","6720","0","-5488","14014","-30122","-2569","0","3870","11934","-3724","8540","0","-5670","-2982","5670","-8036","0","2422","-10535","2842","-28574","0","-3158","7650","-30149","-9484","0","-4018","-8596","6880","9064","0","-4278","8883","11508","-6804","0","-3185","8204","-12585","12040","0","1764","-26621","5518","7490","0","-8323","16786","-1176","13295","0","-9968","183","17836","-11655","0","-6908","-25920","28812","15484","0","22274","-6762","15738","2861","0","9891","19824","3521","7476","0","3332","1806","11073","5390","0","-3900","20580","-3772","-2296","0","-6503","10584","5676","-629","0","-16800","18473","-5950","7014","0","-10148","-980","-10990","7181","0","-11718","-7812","-13720","-9980","0","11220","-14175","-6804","3822","0","-18095","-17360","-8070","-27510","0","3192","5634","-13279","19306","0","3626","17024","-2520","-11843","0","8372","-25382","34748","8316","0","26082","6063","4466","-12020","0","6860","-492","-28642","-4410","0","12062","-17094","-27391","-7614","0","8752","-8036","16611","-4480","0","1470","-10256","-1735","-48762","0","33957","6118","-6420","16646","0","7602","-7840","833","27965","0","-31458","21469","-9912","2024","0","-18690","13188","-3030","7105","0","-17716","-14742","5600","-12587","0","7644","25564","16422","5054","0","-3018","-14190","-14504","-1204","0","-34300","-12446","1470","17836","0","-20790","-1077","-32809","-6909","0","-1176","43120","19530","33970","0","18732","6720","50666","13502","0","26117","3220","3955","-3696","0","6162","-2877","25388","-7980","0","-1680","-25201","24948","-19740","0","12432","-4676","27937","-4165","0","-10535","1470","-6265","29680","0","1211","3788","-31794","-30149","0","4312","-3108","-3362","49539","0","-50868","20188","1218","-3108","0","19035","-38731","-8428","-23555","0","-8526","15258","-24872","-5635","0","-13573","-23576","1764","-21930","0","-3948","16050","-27412","-5670","0","37387","17124","8120","-29106","0","-658","6754","-33727","17836","0","-6183","-36036","-32970","-5244","0","36077","15484","6860","-22400","0","-8730","31752","1975","6720","0","7462","-8729","-3864","7545","0","1414","-39156","3332","28644","0","43532","10045","33411","11831","0","20580","-6552","3185","-28610","0","-17983","-1932","11536","12642","0","-9228","-11704","-25760","-24290","0","10745","7014","-20874","13916","0","9240","-34461","-846","16954","0","-40628","-2842","32886","-11480","0","-3956","20904","24990","21364","0","-66388","8190","-1807","1804","0","-17360","48160","-2310","2466","0","-28027","-8792","27918","-13279","0","6804","57584","7770","-22295","0","27237","-34496","3570","-17114","0","-21238","13649","26621","40635","0","23540","17228","-16002","21315","0","14560","-8232","6860","14904","0","37022","-6762","1281","2472","0","-38073","-18396","12500","10990","0"]},{"label":"25.4.a.b","letter":"b","dim":1,"charpoly":["-8","1"],"traces":["1","1","7","-7","0","7","6","-15","22","0","-43","-49","-28","6","0","41","91","22","-35","0","42","-43","162","-105","0","-28","-35","-42","160","0","42","161","-301","91","0","-154","-314","-35","-196","0","-203","42","92","301","0","162","196","287","-307","0","637","196","82","-35","0","-90","-245","160","-280","0","-518","42","132","-167","0","-301","141","-637","1134","0","412","-330","-763","-314","0","245","-258","-196","510","0","-839","-203","777","-294","0","92","1120","645","-945","0","-168","-1134","294","196","0","1127","1246","-307","-946","0","1302","637","532","420","0","82","-1269","245","1070","0","-2198","246","-503","-245","0","-1120","-616","-280","546","0","518","-518","-1421","-294","0","132","-874","-1455","644","0","1092","2107","-210","141","0","-1365","411","1134","-595","0","1372","412","1204","902","0","-763","-2149","2198","-3200","0","202","525","2002","-258","0","1372","406","510","574","0","972","-839","-3803","1421","0","777","4116","-630","-1413","0","-770","-644","1512","1120","0","-1763","-1960","-945","2585","0","-2758","-168","-3626","-2430","0","294","-3913","-1372","-210","0","-2378","-1169","3067","1246","0","2149","2346","-946","4900","0","987","1302","960","-4459","0","532","3564","-1148","1505","0","4307","-574","2884","-1269","0","525","252","1070","-5341","0","-2548","-2198","2212","966","0","-503","476","1715","-2940","0","-1806","-2400","1002","-616","0","1960","3570","546","2480","0","1897","518","-4928","3626","0","-1421","980","-630","5439","0","-2373","-924","-6966","-874","0","-119","-4494","644","-1884","0","3520","1092","722","4515","0","-210","-6615","-987","-6160","0","-7238","3731","-1176","411","0","-7938","1776","-595","924","0","4542","1372","7077","-2884","0","1204","-1218","3542","3368","0","8722","5341","-4158","-2149","0","4710","1505","-3200","-4536","0","552","202","9114","-1435","0","2002","-2569","1806","3724","0","2982","2940","2422","406","0","-3570","-9484","574","-6880","0","-8883","972","-3185","5873","0","-3803","7490","3045","1176","0","-183","-5439","-6908","4116","0","1722","2861","-1413","-3521","0","-1806","-770","-3900","-1380","0","1512","-629","-7840","5950","0","980","-6923","-11718","-1960","0","6615","3822","2585","8070","0","-5634","-2758","3626","1176","0","-3626","8316","6642","-4466","0","492","-2058","12062","-3913","0","-2940","-4480","-210","1735","0","-6118","-2378","7602","-10185","0","3067","2024","-8722","3030","0","14742","4605","7644","2346","0","6622","-1204","4900","-1470","0","1077","987","-1176","-9114","0","960","13502","-9555","-3955","0","2877","-3724","-1680","3564","0","-4508","-4165","1505","6265","0","-3788","4307","4312","-1230","0","2884","-3108","8883","8428","0","-15258","-1435","-13573","252","0","-7490","-5670","-5341","-8120","0","-6754","-2548","-6183","15386","0","2212","-22400","-1002","-1975","0","8729","3521","1414","476","0","3675","11831","-2940","-3185","0","1932","-1806","-9228","6560","0","1002","13916","4312","846","0","2842","4200","-3956","3570","0","-3822","1804","2480","2310","0","8792","1897","6804","-3626","0","-4928","-17114","7770","-26621","0","-17228","9947","14560","980","0","1722","2472","5439","-12500","0","28812","-2373","-868","-1980","0","-6966","-9891","6118","13370","0","-4578","11521","1225","-4494","0","-4508","-8428","-1884","10584","0","21637","3520","287","-7644","0","722","3822","-12341","14077","0","-6160","1470","5684","-6615","0","-2115","18095","-6160","13201","0","-5328","-7238","-19306","14651","0","-1176","71","-2877","-11396","0","-5600","-17010","3060","1776","0","4165","-18444","924","-2576","0","-27391","4542","672","-9604","0","7077","-5034","-6180","-10935","0","-13588","-8428","-16646","-1218","0","-3674","8701","3368","21469","0","4662","8722","-3526","11445","0","-4158","11361","15043","-1470","0","16422","-12874","11417","1505","0","22400","34300","-4536","-21050","0","7427","552","3102","-1414","0","9114","-4144","-5635","6720","0","-5488","-14014","30122","-2569","0","3870","-11934","3724","8540","0","-5670","2982","-5670","-8036","0","2422","10535","-2842","-28574","0","-3158","-7650","30149","-9484","0","-4018","8596","-6880","9064","0","-4278","-8883","-11508","-6804","0","-3185","-8204","12585","12040","0","1764","26621","-5518","7490","0","-8323","-16786","1176","13295","0","-9968","-183","-17836","-11655","0","-6908","25920","-28812","15484","0","22274","6762","-15738","2861","0","9891","-19824","-3521","7476","0","3332","-1806","-11073","5390","0","-3900","-20580","3772","-2296","0","-6503","-10584","-5676","-629","0","-16800","-18473","5950","7014","0","-10148","980","10990","7181","0","-11718","7812","13720","-9980","0","11220","14175","6804","3822","0","-18095","17360","8070","-27510","0","3192","-5634","13279","19306","0","3626","-17024","2520","-11843","0","8372","25382","-34748","8316","0","26082","-6063","-4466","-12020","0","6860","492","28642","-4410","0","12062","17094","27391","-7614","0","8752","8036","-16611","-4480","0","1470","10256","1735","-48762","0","33957","-6118","6420","16646","0","7602","7840","-833","27965","0","-31458","-21469","9912","2024","0","-18690","-13188","3030","7105","0","-17716","14742","-5600","-12587","0","7644","-25564","-16422","5054","0","-3018","14190","14504","-1204","0","-34300","12446","-1470","17836","0","-20790","1077","32809","-6909","0","-1176","-43120","-19530","33970","0","18732","-6720","-50666","13502","0","26117","-3220","-3955","-3696","0","6162","2877","-25388","-7980","0","-1680","25201","-24948","-19740","0","12432","4676","-27937","-4165","0","-10535","-1470","6265","29680","0","1211","-3788","31794","-30149","0","4312","3108","3362","49539","0","-50868","-20188","-1218","-3108","0","19035","38731","8428","-23555","0","-8526","-15258","24872","-5635","0","-13573","23576","-1764","-21930","0","-3948","-16050","27412","-5670","0","37387","-17124","-8120","-29106","0","-658","-6754","33727","17836","0","-6183","36036","32970","-5244","0","36077","-15484","-6860","-22400","0","-8730","-31752","-1975","6720","0","7462","8729","3864","7545","0","1414","39156","-3332","28644","0","43532","-10045","-33411","11831","0","20580","6552","-3185","-28610","0","-17983","1932","-11536","12642","0","-9228","11704","25760","-24290","0","10745","-7014","20874","13916","0","9240","34461","846","16954","0","-40628","2842","-32886","-11480","0","-3956","-20904","-24990","21364","0","-66388","-8190","1807","1804","0","-17360","-48160","2310","2466","0","-28027","8792","-27918","-13279","0","6804","-57584","-7770","-22295","0","27237","34496","-3570","-17114","0","-21238","-13649","-26621","40635","0","23540","-17228","16002","21315","0","14560","8232","-6860","14904","0","37022","6762","-1281","2472","0","-38073","18396","-12500","10990","0"]},{"label":"25.4.a.c","letter":"c","dim":1,"charpoly":["-2","1"],"traces":["1","4","-2","8","0","-8","-6","0","-23","0","32","-16","38","-24","0","-64","-26","-92","100","0","12","128","78","0","0","152","100","-48","-50","0","-108","-256","-64","-104","0","-184","-266","400","-76","0","22","48","-442","256","0","312","514","128","-307","0","52","304","-2","400","0","0","-200","-200","500","0","-518","-432","138","-512","0","-256","-126","-208","-156","0","412","0","878","-1064","0","800","-192","-304","600","0","421","88","-282","96","0","-1768","100","0","-150","0","-228","624","216","2056","0","512","-386","-1228","-736","0","702","208","598","0","0","-8","1194","800","-550","0","532","384","-1562","-800","0","-400","-874","2000","156","0","-307","-2072","-44","-864","0","552","-1846","0","884","0","-2208","-512","-600","-504","0","0","2334","-624","-700","0","-1028","1648","1216","1472","0","3512","614","-2128","2050","0","1852","0","598","-768","0","-608","2494","2400","4","0","-468","1684","-2762","176","0","-1128","-3126","0","-753","0","-2300","-3536","78","400","0","-2048","-1000","-600","-1300","0","1742","-912","1036","0","0","864","-832","4112","-600","0","3772","1024","358","-1544","0","-2456","2214","-2944","-2600","0","252","2808","300","416","0","2392","-1794","-2432","3200","0","-1168","-16","-824","4776","0","0","648","-2200","-1756","0","-988","2128","6478","1536","0","-6248","-646","-1600","3750","0","384","0","-1482","-3496","0","4000","-1200","624","1400","0","3022","-1228","-3542","-4144","0","-176","3800","0","564","0","-1248","1104","2496","-7384","0","4096","-2106","3536","1596","0","1150","-8832","3638","0","0","-2400","300","-1008","-6550","0","-4388","1664","456","9336","0","-1248","-546","-2800","2484","0","-6858","-4112","-9282","3296","0","4864","-132","5888","-4237","0","772","7024","-4842","2456","0","0","3200","8200","2964","0","2652","7408","-1404","-6400","0","2392","2594","-1536","-1196","0","7332","0","-1562","9976","0","4800","-1426","16","-1600","0","-2388","-1872","-2600","3368","0","-11048","1100","0","-3084","0","-4008","-2256","6118","-12504","0","-768","-8866","-3012","3124","0","-3456","-9200","3900","0","0","312","1714","800","1150","0","3800","-8192","4398","-4000","0","-1200","-312","-5200","1800","0","3141","6968","614","-1824","0","4144","5874","-4992","-506","0","12","1728","2078","-3328","0","0","-1900","-2400","7900","0","3692","15088","7518","0","0","1432","10166","-3088","-1950","0","-2028","0","4416","8856","0","-5888","-13786","-10400","1200","0","6402","1008","-4104","5616","0","1200","-8512","0","11150","0","-4668","4784","-3000","-7176","0","-9728","1400","12800","-13700","0","-5438","-4672","-11822","0","0","-3296","3108","9552","-2432","0","7692","-6400","1118","2592","0","-4400","7800","-7024","-2600","0","7061","-3952","11958","4256","0","25912","-4100","3072","-17050","0","704","-12496","-3704","-2584","0","0","9494","15000","-2600","0","-11418","1536","-7962","3200","0","-5928","-6526","-6992","756","0","-4988","0","-14144","-4800","0","1248","46","5600","17400","0","-10108","12088","936","-2456","0","-14168","-1166","0","5524","0","7072","-352","1300","15200","0","6912","-2472","2256","100","0","6252","-4992","-2602","0","0","9984","1506","-14768","11150","0","-5268","16384","10000","-8424","0","7072","16448","6384","-156","0","-3638","4600","2078","-17664","0","14552","2808","4096","-6083","0","-11500","-4800","836","1200","0","0","2600","-26200","-9824","0","5622","-17552","-3484","6656","0","1824","-16486","18672","11914","0","-5000","0","-3600","-2184","0","-5600","-11706","9936","-16796","0","1664","-27432","25038","-8224","0","-37128","-2526","0","17550","0","10712","9728","-7544","-528","0","11776","13654","-16948","-716","0","1692","3088","-64","0","0","-19368","-14166","4912","-10800","0","-4428","17024","-17842","12800","0","16400","5200","11856","-17600","0","27302","10608","2898","14816","0","-5616","3794","-25600","-600","0","19532","4784","13238","10376","0","0","11574","-4784","8300","0","7800","29328","900","4864","0","-6248","-6400","19952","6916","0","-7508","0","2336","-5704","0","32","-11666","-6400","-9476","0","-27378","-9552","-1842","-3744","0","-10400","10114","0","16000","0","-1296","-22096","-10402","4400","0","-1408","-20194","-12336","7100","0","-7118","-16032","1976","0","0","24472","-3900","-25008","-12956","0","-16576","-3072","31278","-35464","0","-6024","30054","12496","2316","0","1292","-13824","4518","-18400","0","15600","-7500","28288","-76","0","29272","624","4416","6856","0","0","-572","4600","2964","0","-5798","15200","-26600","-16384","0","17592","-4212","-8000","8950","0","-13800","0","-8424","-1248","0","-10400","-2800","7200","7800","0","-3588","12564","-6044","13936","0","2456","8554","0","-4283","0","11492","8288","-2882","23496","0","-19968","-4032","-2024","18700","0","-7600","48","-12242","0","0","8312","6486","-6656","-7164","0","-31148","-32896","2496","-7600","0","-4800","7694","31600","-4992","0","-4518","14768","3300","30176","0","30072","19000","-8192","-39550","0","4212","2864","-22122","40664","0","0","-3192","-7800","2200","0","13184","-8112","-5000","19648","0","17664","16634","17712","-7276","0","9372","0","-19684","-55144","0","-20800","-27586","4800","-13364","0","3450","25608","28096","2016","0","-16416","13100","0","3850","0","10032","2400","8776","-34048","0","-3328","-44200","44600","5244","0","20562","-18672","-10322","0","0","-12000","-8846","-14352","-25350","0","1092","-19456","7982","5600","0","25600","-10800","-54800","46000","0","-21889","-21752","13716","-9344","0","-47288","1842","128","18564","0","-20748","-6592","16998","12432","0","0","26494","-9728","-21500","0","264","30768","-25762","-25600","0","4472","8474","5184","19200","0","-4788","0","8878","31200","0","-14048","-30546","-10400","9684","0","32942","28244","27118","-7904","0","47832","38634","0","11076","0","13472","51824","51400","-16400","0","0","-5928","-68200","5400","0","52","2816","-5304","0","0","-14816","1794","-5168","-16146","0","41732","12800","-9024","37976","0","30000","13248","-10400","29200","0","-5188","-45672","15656","3072","0","-31848","-13754","12800","-48650","0","-30700","-11856","-14664","-26104","0","0","11334","3024","3124","0","-31178","-19952","1716","-32000","0","-56576","-4686","-9600","33364","0","2852","0","598","184","0","11200","3200","69600","-14004","0","-18127","-40432","-27462","24176","0","3744","-41726","0","5200","0","24312","-28336","4200","-4664","0","33152","-40946","22096","-4800","0","12650","28288","-42282","0","0","5200","6168","30400","-34476","0","1172","27648","8016","-9888","0","4512","31614","400","-26600","0"]}],"seconds":0.097,"computed":"atlas","estimate":{"seconds":0.225,"low":0.137,"high":0.389,"bytes":1828287}}