{"label":"157.2.a","level":157,"weight":2,"dims":{"new":12,"cusp":12,"eisenstein":1,"modsym":25},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 157]: [0, 13] (certified at ell = 2147483053)","T = [(2, 1), (3, 1)]; h of degree 12 = 1 x 12 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"157.2.a.a","letter":"a","dim":5,"charpoly":["17","67","87","49","12","1"],"traces":["5","-5","-7","5","-3","6","-3","-12","4","-1","-14","-10","-7","-2","-5","13","-9","-9","-3","0","6","16","-13","29","8","17","-7","9","-2","20","3","-9","23","19","-19","31","3","7","8","17","5","16","-23","-8","15","12","-8","-37","4","-8","-10","-19","-25","35","-3","-22","14","4","7","-22","4","-9","1","18","3","-43","-12","-4","29","15","-18","-64","-3","-12","12","-33","-1","-36","22","-10","13","-8","-27","-39","-6","36","6","23","25","-29","-14","-26","2","1","5","53","20","12","-10","-24","-5","21","22","24","17","-4","-50","-86","18","31","-10","51","10","-10","-7","-18","-4","-67","36","1","13","-1","19","42","12","-51","-32","-16","47","2","-13","57","6","-11","11","-40","-1","-12","16","33","8","42","37","79","27","21","-17","8","-10","-21","3","60","53","-7","-15","55","-5","45","74","-51","36","-59","-11","6","24","2","-5","52","-34","-26","-48","-53","-7","-21","-14","-62","-4","-11","-32","37","-10","0","-13","51","3","-50","21","8","-37","-18","-11","-106","-18","47","20","-49","-9","73","20","61","1","30","-38","-73","-25","-85","-46","-56","-25","-24","12","19","8","44","15","133","-42","-42","-21","-41","16","66","47","-32","-72","-44","11","53","-51","6","2","53","-46","63","1","87","-11","-68","7","-12","-32","-14","-3","23","58","-60","-13","-47","19","9","7","91","9","98","53","-9","-10","-106","41","-12","-22","-9","-32","-91","-29","50","-3","1","24","-27","24","64","33","-38","-47","38","-22","49","23","-66","-5","17","-3","-62","-6","-45","-24","-126","42","-16","-30","-9","35","0","57","-19","3","32","-6","86","-38","79","9","-32","1","-104","15","-24","-22","78","16","-69","26","5","52","-101","-24","-56","5","102","11","26","-28","107","-27","-12","-55","17","25","-56","-6","24","10","-13","90","-112","45","31","-47","100","78","41","-42","116","16","11","-79","62","-48","77","29","81","-30","124","47","39","-53","8","24","-67","-24","39","-27","-16","-45","-25","4","-17","-50","-35","43","41","60","-6","-8","-7","13","91","-29","26","27","-22","35","100","116","1","-65","-103","47","-33","14","81","-2","-12","-66","-177","-23","-63","1","-51","27","78","43","-64","-32","47","-60","158","-17","70","14","157","-4","23","36","66","-51","-25","36","-38","11","-106","9","50","-102","-45","-40","11","-66","28","-15","-160","12","-35","-25","60","60","48","-39","-34","-11","-3","-76","-99","-160","-68","19","-36","-52","95","27","72","-8","62","51","-145","3","-43","-54","32","-35","-25","35","-75","-2","81","-18","-136","-22","3","7","-24","98","-156","75","25","-83","-72","41","60","-46","-41","-54","-37","-35","46","80","-40","-71","-93","-114","106","-52","-50","-52","-59","-42","71","-36","-31","107","100","41","-75","-41","-57","31","-138","-32","-55","93","11","87","-61","-13","196","15","-4","23","-4","16","73","-62","-27","35","65","-37","163","-24","123","14","-64","10","-65","69","67","-9","36","-48","1","101","-6","62","-70","61","-25","5","95","40","-12","19","-134","-56","40","-11","-81","9","101","68","19","-12","48","-30","-38","121","-42","100","89","-26","-25","7","40","7","30","34","221","-48","-131","112","-41","56","-101","101","-84","-56","-49","-15","55","-115","-4","54","100","-5","-101","119","-14","9","-68","15","-191","53","57","12","-132","36","-2","-16","28","61","24","-2","172","27","5","-12","142","62","99","39","-151","51","-103","81","154","-33","-69","-8","-5","27","-23","-20","57","-17","23","28","91","6","-8","0","-70","-9","51","88","-77","20","13","-32","-161","-61","-28","58","81","-7","129","83","-79","60","-16","-46","55","28","-63","14","-4","-109","-137","-8","12","-99","-88","45","118","15","-56","101","-16","-28","97","-49","-153","-75","-24","-51","-76","10","87","114","-194","12","-70","44","-35","-33","98","-23","-131","-90","86","88","-71","59","-118","48","-93","8","90","78","-171","-13","-64","-78","-155","-108","127","-11","47","-2","38","10","109","5","61","-14","-76","38","113","71","105","-5","-33","-31","9","-47","-62","-37","27","-30","153","-127","88","6","29","-64","25","-99","-5","42","-91","37","-75","55","28","28","-26","-48","-123","53","-23","-52","32","-3","-160","-29","72","-20","17","-77","-22","-18","-68","77","-66","102","229","-76","48","-77","-16","-16","53","47","-55","67","-76","3","150","53","16","72","10","-115","249","36","-15","1","22","-146","-121","36","70","-16","-60","-24","-79","-17","43","-156","31","-104","30","30","-9","-179","58","124","-161","12","4","-54","-120","43","-19","24","-170","15","50","15","-70","1","-24","26","-32","-50","-49","-182","134","-83","-15","13","127","-93","-44","-45","261","18","-49","36","-77","-81","156","52","92","38","-35","10","-20","-65","132","-40","-89","46","153","29","183","-41","-64","24","52","-22","7","-21","-73","-36","-2","-81","-132","126","54","61","72","101","40","63","-36","-134","148","-67","106","-63","161","-72","83","0","-51","92","-37","7","-6","12","-146","-48","-51","77","-25","-32","-157","-44","-79","-42","-3","-55","138","42","-36","3","110","56","96","-61","-45","-61","121","59","127","29","-14","72","44","-55","38","60","-220","-63","-8","126","178","35","66","-32","20","45","-6","-27","94","-137","-140","-124","279","-15","-30","-69","60","3","131","-75","121","-19","-120","-53","-66","132","21","133","140","-5","-93","16","45","110","-55","-87","-37","-28","-133","-2","-32","-14","169","7","31","92","186","65","-150","-128","76","-52","117","29","31","-123","108","55","29","-6","-136","114","87","-21","46"],"lmfdb":"agrees","derived":{"al":[[157,1]],"fricke":1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"157.2.a.b","letter":"b","dim":7,"charpoly":["67","-317","476","-282","37","26","-10","1"],"traces":["7","5","5","7","-1","0","1","12","6","-9","10","-6","-5","-8","-5","3","5","-9","-3","-18","-6","2","15","-13","-2","1","17","-17","8","-20","-13","19","-1","-23","17","-15","-15","-11","-16","-27","3","-16","11","0","-13","26","8","-13","-16","30","10","-5","9","1","-13","-20","2","24","31","-8","-6","-13","13","44","-3","27","4","10","-11","35","14","-36","-3","-10","16","11","9","32","6","-54","7","-12","41","-25","-10","26","8","13","-13","-9","-12","42","-26","21","31","29","-12","24","14","30","1","-9","-6","12","-3","-8","58","14","-24","-17","-30","-43","16","-34","-27","34","-54","51","-24","25","-33","-17","51","-30","-48","35","0","36","-15","-10","-1","-11","-38","-43","-51","56","-5","32","-10","65","0","-34","9","-91","-33","13","-37","-38","-66","39","-21","2","11","-7","31","11","7","25","-22","-111","-22","37","3","-52","-32","18","19","-12","-34","-38","-28","5","9","-33","-36","-2","-64","-5","42","77","-22","-42","49","45","-1","12","5","-12","23","46","-17","50","14","-53","28","31","13","35","-8","37","13","-30","30","47","-29","-1","-4","70","-53","-22","26","15","0","62","-13","5","4","6","1","-17","-6","46","23","-98","-6","72","67","49","29","-30","-6","61","8","-1","53","81","-39","-66","3","16","-16","-76","41","-39","2","108","-17","-27","69","-63","19","69","41","-36","45","93","22","50","21","-66","38","81","40","-67","35","-42","9","-27","20","-51","-26","-2","17","10","1","-4","28","-51","-73","136","-3","-33","33","-90","94","-33","-32","-44","-6","-84","2","-57","9","-20","-23","-123","63","-28","4","6","16","13","17","-76","-3","-98","17","-18","6","54","-56","-7","-4","5","-36","89","-6","-52","15","-190","37","-46","76","21","27","-64","-99","-123","41","-48","-62","42","44","-11","-4","30","49","-67","17","-60","-14","-129","-22","-70","-44","71","49","-54","-14","-77","-83","17","-90","4","25","-59","13","106","-36","193","66","-1","-59","-78","15","-37","-88","11","94","109","19","9","48","-32","-36","-35","-31","51","17","36","7","-50","11","42","20","-55","53","67","41","67","16","35","86","-98","26","-21","5","-61","-23","167","-17","0","59","-30","-112","35","24","64","69","6","-52","51","34","-3","-20","52","111","-25","32","-30","-69","-60","-35","26","-28","131","40","155","-18","62","-83","-96","2","1","-77","18","8","92","-51","-2","-91","103","68","-11","116","-36","-125","-184","-82","15","39","106","-8","4","19","105","69","-3","22","-52","-45","7","-63","135","74","-5","50","-34","10","63","5","178","56","-144","-73","-79","-9","-2","45","-16","-20","-13","-54","-87","-75","96","-36","-112","49","-5","-28","44","-52","92","-74","13","18","35","-22","-77","55","-34","23","95","67","-21","11","-50","80","21","13","119","-97","29","63","-42","-17","114","-77","-116","-52","25","-78","-9","27","123","-21","27","-44","63","-94","12","-10","-55","-63","79","131","-56","-44","69","27","12","-74","108","19","47","25","11","154","62","-149","-90","16","140","-93","1","117","-1","-34","235","-88","-86","86","-62","-21","106","-70","-77","16","111","-29","0","-45","-36","10","-25","38","-115","20","-105","-68","-73","-1","-84","46","95","-21","-9","17","-76","-14","-222","-67","37","-1","-74","53","-38","-17","-27","-117","75","-16","-36","-30","-188","50","-40","9","32","2","-34","-29","15","-100","-14","8","-157","-105","17","71","115","17","106","-23","81","-100","7","-59","-89","-32","113","3","65","88","-11","42","80","-28","-218","-33","-121","-22","-47","-128","-15","-8","-11","99","26","20","-59","37","67","-13","-185","-60","64","102","-3","18","-41","-134","100","-81","189","-24","12","171","-76","-25","46","-27","224","5","-36","-16","-69","-65","-121","-51","-52","43","24","94","45","92","-170","-32","-42","-66","101","1","-56","-87","-19","22","82","140","-171","7","-54","-20","79","34","-72","136","-85","-17","60","-28","-125","-38","55","27","131","174","-200","-36","225","-27","49","34","4","82","101","31","-81","45","25","-67","-23","45","-4","39","69","30","141","21","278","-50","41","-56","31","89","-153","10","5","15","61","79","8","-140","-26","20","89","-57","-29","-26","-60","-13","-186","-65","-22","114","183","67","62","148","38","13","-162","0","159","-24","220","-57","50","12","-9","107","-21","109","144","-1","150","71","-114","48","22","-35","-115","-118","57","53","-82","-58","-21","-100","238","-86","-120","32","33","21","-13","56","7","32","-202","50","-49","-43","-42","-56","-65","-40","80","2","132","1","-79","34","86","115","-30","147","-104","27","-124","-18","66","-58","-29","14","14","-151","-121","-43","13","13","60","-33","-7","28","11","20","-89","-21","156","60","16","-94","137","172","234","-95","-30","28","179","14","-47","87","3","-159","-92","-4","4","-58","-133","51","27","20","38","3","-26","48","-108","105","10","3","-40","125","66","-14","16","59","-138","155","165","20","-73","-32","-59","-96","-267","-1","-178","-72","-156","38","-3","-91","59","0","43","44","119","80","35","-51","-98","32","30","-113","92","-126","-186","-89","-151","53","-91","107","-19","-61","32","-72","148","-25","126","4","-126","-107","-138","-12","-66","31","-74","-156","30","-75","0","57","246","-1","-16","52","-41","99","-46","59","-98","-55","-69","5","-171","93","-50","15","-70","-114","-165","125","-68","-17","-47","16","-75","178","-189","-39","-9","-68","129","18","-186","-52","69","-105","-87","-210","52","-3","-134","70","-28","-6","17","131","-61","-3","-78","-109","-47","-128","50","-20","83","119","-102"],"lmfdb":"agrees","derived":{"al":[[157,-1]],"fricke":-1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.16,"computed":"atlas","estimate":{"seconds":0.215,"low":0.131,"high":0.372,"bytes":1893522},"url":"https://sagebrush.space/atlas/mf/157.2.a"}