{"label":"257.2.a","level":257,"weight":2,"dims":{"new":21,"cusp":21,"eisenstein":1,"modsym":43},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 257]: [0, 22] (certified at ell = 2147483137)","T = [(2, 1), (3, 1)]; h of degree 21 = 1 x 21 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"257.2.a.a","letter":"a","dim":7,"charpoly":["1","-4","-30","-42","-8","15","8","1"],"traces":["7","-3","-5","1","-1","-2","-18","-9","2","-4","-2","-3","-10","10","-14","1","-10","1","-7","9","7","-10","-12","12","-4","5","-14","-12","7","3","-9","4","7","3","-4","1","-11","14","0","-5","17","26","-32","33","21","15","0","31","25","29","2","-5","-1","33","-15","36","20","-5","8","12","-8","14","-7","7","13","4","-19","10","23","-3","-9","3","-7","11","7","-17","-8","7","-41","-12","11","-22","4","-5","-17","12","0","-39","11","15","23","-9","-13","24","-36","-48","10","-20","2","-31","17","24","-34","47","57","-27","-4","-25","-6","-17","4","-15","-7","-8","4","-53","-9","0","61","6","-3","19","-21","-18","-21","-59","-74","19","10","-10","-6","-3","3","1","-30","-7","-6","-50","11","-22","21","-4","-36","-48","-4","-28","-1","23","-14","-32","-44","8","-29","52","54","-1","22","30","11","24","-12","-39","-23","41","14","-10","35","-41","9","-35","26","-26","13","51","-14","32","8","-43","-16","0","40","-34","-17","12","39","-25","27","-77","63","20","22","-20","-12","-17","49","51","29","-6","-22","8","-15","80","33","5","-8","-85","-21","-69","45","33","6","27","84","-32","1","-2","12","-1","96","26","-4","-70","-32","26","35","-5","12","-29","39","31","-37","72","13","-6","-8","-44","56","10","-10","0","33","-49","8","32","52","24","-45","-12","29","49","7","67","-6","68","92","-27","-7","65","11","-46","28","57","-22","-40","7","-49","15","24","55","-18","-35","4","20","2","16","35","-25","-32","41","52","1","-29","-79","-20","-45","102","-49","75","-19","27","-58","25","13","-116","-71","-71","-11","2","47","-15","153","39","-41","20","-2","-66","-14","-115","52","79","-2","-3","-22","-12","-65","-59","-71","28","-78","23","-4","-29","-15","49","-15","-17","-7","4","-30","36","-11","36","-75","-63","66","-89","-23","-39","-4","-9","-43","-14","-60","79","3","-28","0","-59","-9","-105","22","-23","-37","75","-16","59","-56","23","24","-55","2","78","54","75","-49","-29","-37","2","-21","20","43","47","3","-2","11","86","-47","-50","66","44","8","-121","-64","20","56","-45","-21","60","44","4","-49","-128","-53","101","-19","-68","-5","42","-37","-20","-84","-6","-41","-66","59","-35","-5","-60","31","-93","36","101","36","112","-4","-15","-59","-2","-47","-72","86","-2","49","-15","-45","-93","-5","53","-57","-8","53","6","80","-63","-76","2","31","-63","-31","2","17","28","73","125","3","33","17","-58","-13","16","9","23","70","16","-32","15","-86","-77","89","-30","-77","1","-84","14","-80","59","48","42","30","82","-83","117","-40","-1","121","-59","-74","-13","11","-38","4","-2","24","55","11","-55","-18","-50","-4","72","-32","-32","-15","33","-18","36","-51","-72","74","-29","-42","57","4","13","28","35","107","29","-35","76","7","-1","-12","3","8","-11","-77","42","14","63","11","-101","27","-43","40","28","-42","48","-45","-33","-7","97","124","4","55","-20","-30","44","46","-41","14","64","-24","24","-98","-50","-50","-16","3","41","5","25","85","96","84","37","-11","77","42","43","-41","96","4","-41","-50","6","-12","52","-3","8","-1","-97","-51","64","64","-21","94","88","-19","45","-88","66","-3","-33","-26","-24","88","87","-5","-77","-62","66","-59","66","77","-3","-101","-27","-102","71","130","-60","29","10","43","-171","-12","-22","-61","-33","5","39","-85","36","84","176","-36","144","131","-44","21","58","-2","-58","-7","135","15","-40","39","-110","-47","179","34","-11","-2","30","-73","61","-126","-47","-87","8","30","50","115","-26","-32","-17","-39","-15","114","-44","46","131","-27","-115","-211","-129","46","4","35","75","13","-112","120","172","-91","47","-43","44","60","104","-17","-101","-1","-44","86","71","-68","93","-84","-51","-23","-31","-21","45","-30","-22","-19","-85","54","55","77","10","49","8","4","-56","-77","162","-45","-36","-95","-50","-152","-1","-39","-122","33","41","-43","-125","24","-119","-14","38","68","-66","-89","-85","67","-28","83","-102","-25","-50","-75","-174","-52","-19","128","32","27","-77","-163","-81","-6","-55","-61","-84","-105","131","29","42","5","-75","19","-6","-25","-50","57","-16","-5","-94","-6","24","-136","-143","13","-38","42","-25","117","153","-67","-51","85","-24","-12","66","5","18","-14","-131","8","-31","64","-222","-100","-69","-42","-15","-49","107","112","23","11","-138","27","13","2","158","54","-15","99","46","-195","-5","-145","-13","-62","62","40","55","-39","-32","-56","-104","-96","-33","25","173","77","-85","84","-56","-35","49","52","-12","22","-23","24","48","23","-51","34","-106","-103","69","-83","103","-186","95","57","-124","-23","54","-38","-79","82","-38","24","-91","-39","47","-33","71","21","-43","55","59","-53","-42","-13","17","77","27","38","-44","5","-21","-30","-23","-6","-88","-18","33","-82","28","19","26","177","-13","73","93","43","70","-18","45","4","303","18","0","52","76","50","-16","162","-2","-30","-98","115","0","25","-123","-26","109","76","-32","92","76","-84","-20","-84","-129","-83","36","-89","36","57","34","116","-35","71","52","42","51","-174","-30","46","-55","83","-37","-77","139","56","76","-5","-158","15","-45","-67","-182","69","-114","-42","-15","102","29","-32","64","-3","-118","71","103","109","-29","-46","-83","220","-45","122","-11","120","21","13","91","118","19","14","32","-29","43","53","64","-41","-11","-43","-32","-30","87","35","-78","-72","-65","30","88","84","9","41","-41","110","-10","-80","2","28","114","-57","-35","23","53","-40","91","40","47","-11","-137","120","-17"],"lmfdb":"agrees"},{"label":"257.2.a.b","letter":"b","dim":14,"charpoly":["1373","4763","-21671","1133","45747","-32938","-11622","15681","-398","-2662","352","192","-34","-5","1"],"traces":["14","2","3","18","-1","-4","24","0","13","0","2","-1","12","-2","6","26","-4","2","9","-15","-5","10","20","-18","21","-25","-6","32","-3","-21","3","-3","-13","-19","-12","-18","5","-16","8","-29","-9","-18","48","-11","-27","-17","2","-27","24","-24","-14","5","-9","-47","33","-48","4","-19","-28","-68","-10","-50","39","0","-25","-58","33","0","-23","-47","-15","-28","3","7","5","-17","-28","3","47","-6","18","-38","18","-13","-7","42","48","41","-15","33","25","27","-29","4","-4","44","2","41","-22","8","3","58","80","-51","-21","15","26","65","12","59","24","59","-17","-20","-12","77","-19","28","25","-10","8","5","31","-6","-63","37","110","-4","-34","80","-10","-49","-9","-15","30","-33","-20","22","7","18","-51","42","-16","-19","-40","18","-47","27","-46","66","84","54","-51","-6","4","69","16","126","-61","-26","38","6","-15","-45","-42","48","13","63","-30","-49","14","134","-29","-15","66","-16","-48","31","-8","38","-14","-86","117","-92","-77","69","35","47","-81","4","30","-50","-26","25","-11","116","-29","26","14","19","-53","-12","-47","-127","-28","97","103","29","-87","-63","-6","-57","-8","-124","5","-92","8","59","-22","14","-72","-54","-4","-184","-64","-7","-32","119","-15","-37","-45","2","-1","-128","-24","-112","-70","42","-34","-28","-53","108","-80","-58","-68","84","71","-88","-75","-53","1","-39","-18","-68","-64","94","14","-59","-41","38","-54","-61","72","-60","-85","31","-43","72","-9","138","33","-38","32","-60","-56","81","19","100","-27","-168","-47","95","29","-12","41","-54","-5","-4","-14","-45","-74","-5","11","40","1","183","-85","122","-29","107","61","-29","15","-94","40","228","-38","-83","40","-7","56","7","16","70","-81","-15","-41","-12","-10","179","44","-71","-83","-22","-33","49","53","-90","-42","44","-15","38","83","-119","-20","-1","17","52","-72","-31","5","-120","108","61","27","-26","60","241","25","193","74","-19","-35","43","-44","17","12","27","44","95","-15","-18","50","-85","-13","87","69","238","85","-12","-41","-67","73","62","123","66","41","-158","-46","8","-8","-9","42","16","48","-27","101","-46","20","112","-17","-71","-17","-77","-43","260","45","-94","75","-117","46","-6","43","108","-61","-73","7","140","9","-33","36","113","96","-12","184","-37","-19","-134","-27","-246","-24","-78","-41","-85","45","127","-15","59","197","-88","49","84","50","-135","-48","28","-57","101","33","92","-28","-132","81","-39","-51","-11","69","-58","27","-25","-87","-7","126","-116","28","-69","84","193","3","-60","-39","-259","114","32","36","35","22","-52","-8","-54","-85","-7","-36","31","-7","269","102","-161","-45","194","-62","-44","-112","-180","131","63","148","-152","0","-236","-72","-60","-123","135","8","-148","-39","-20","10","-269","46","7","124","131","-84","11","-45","127","237","-140","1","-12","120","2","-76","85","-59","-6","-70","5","-63","-299","35","-249","80","-30","162","64","58","267","-67","-159","10","-42","-17","112","-158","-180","-70","-97","-76","-16","8","-282","70","26","0","-50","-3","-115","-3","-77","49","-84","-12","-215","97","265","-40","-93","-135","-110","-56","-121","-160","-18","108","20","-69","-34","31","-85","121","-296","8","-296","-60","7","-101","-211","20","-82","77","25","-164","34","-64","-95","47","-143","-68","-40","35","-84","5","-221","35","-199","-90","175","8","-8","-83","112","117","233","90","160","103","-107","-61","61","-7","16","108","104","10","-20","33","238","15","60","-56","-36","172","-25","-61","-114","61","158","-39","147","58","-17","-14","170","49","-87","-96","-101","-51","128","-6","280","47","-56","40","-80","-23","-61","-130","-152","76","75","149","323","107","-113","22","88","-87","109","57","8","26","80","53","-39","247","4","-52","260","-19","29","-227","-53","-42","-25","16","-107","14","149","-43","-83","11","123","-134","270","131","175","-26","-123","45","30","73","-10","-28","122","-65","178","201","-2","69","-98","130","-139","-7","64","39","97","69","165","-144","21","-140","28","-92","-94","-113","-155","83","-71","19","-98","165","26","109","-236","115","-227","-140","242","71","131","-203","-161","190","25","-57","-4","-121","111","-15","184","-19","303","-3","-134","35","-270","61","96","-57","-14","-62","76","-80","-95","-11","162","-20","-69","5","89","289","131","101","-174","142","278","3","-140","20","-93","-84","31","110","30","-104","19","-136","69","11","260","-44","19","79","-92","67","209","-210","82","26","-313","-3","154","87","7","71","174","-140","188","-160","-77","-143","56","152","-54","16","153","-113","61","-15","41","-40","104","41","-101","-108","164","-148","-191","160","242","155","51","-38","-82","-49","-75","-83","85","124","213","57","78","-31","22","-70","-39","-45","-74","-172","249","31","195","91","-285","151","51","-167","-97","-53","156","-77","-255","35","205","-46","-64","59","129","-74","123","60","-66","-196","85","26","56","59","226","21","25","-211","93","45","-10","-108","73","102","124","120","-180","32","-52","-102","-132","182","272","-198","-126","3","292","21","-335","-56","57","-160","-141","-80","-32","-156","158","48","-205","-147","288","-89","192","-99","-42","-56","-145","-305","50","-82","-211","244","-164","-38","229","-17","-277","-81","185","-2","174","197","-130","-143","-35","-35","-116","29","-48","-38","-313","-126","89","-2","178","159","2","317","55","-75","-161","-66","-151","-74","103","-114","-15","-108","-239","279","7","-64","-9","37","-140","-155","53","-163","156","303","-54","57","24","-86","-131","-19","-108","-248","-167","-48","32","-76","127","-225","155","-92","14","-86","78","-102","70","287","3","33","-403","-228","323","-158","-245","-53","223","-4","-65"],"lmfdb":"agrees"}],"seconds":0.168,"computed":"atlas","estimate":{"seconds":0.239,"low":0.146,"high":0.413,"bytes":1965734}}