{"label":"509.2.a","level":509,"weight":2,"dims":{"new":42,"cusp":42,"eisenstein":1,"modsym":85},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 509]: [0, 43] (certified at ell = 2147468909)","T = [(2, 1), (3, 1)]; h of degree 42 = 1 x 42 (phi(ord eps) x dim S_k^new); 5 primes, 0 rejected"],"newforms":[{"label":"509.2.a.a","letter":"a","dim":14,"charpoly":["-13","21","232","-682","12","1445","-621","-1193","504","508","-117","-109","1","8","1"],"traces":["14","-3","-5","3","-5","-8","-17","-6","5","-7","-20","-3","-6","4","-11","-15","1","-10","-45","-6","-15","0","-4","-5","-11","2","-17","-17","-8","-2","-17","5","1","-5","-6","15","-8","16","-19","2","6","27","-45","-8","-5","-26","4","27","-1","33","-34","-11","3","6","-18","20","22","-3","-11","7","-11","10","-9","-22","-3","37","-47","43","15","9","-15","3","7","-4","8","-12","49","81","-37","29","18","23","7","16","-16","39","25","18","11","57","-38","23","1","27","30","23","14","16","-36","-12","7","39","-1","23","29","-7","-9","58","-48","35","31","35","29","47","-18","4","25","21","13","59","-12","42","13","-2","33","40","2","63","33","-15","-11","-9","79","26","36","1","0","37","-63","9","2","38","19","-30","-37","13","39","25","-22","33","-90","-20","33","-39","9","-48","-10","9","25","-10","0","-54","-59","26","17","-33","25","41","-6","-51","-123","-23","3","-2","-46","12","-3","8","1","6","-16","-52","-30","-33","33","-49","-63","48","-5","-11","31","-26","3","-14","6","-39","8","79","-46","-2","-30","18","6","-48","-33","-61","8","-28","83","29","-103","-17","59","-45","-31","-38","-5","114","-22","18","1","-88","-15","-15","-51","-63","15","-30","-13","43","46","-10","19","-10","-95","-115","61","6","-20","-16","-14","-110","-6","-42","74","-43","-42","81","16","-56","-57","-132","15","7","89","-25","-4","18","-92","35","49","-53","41","-7","30","-28","-47","-14","-1","-102","-65","-26","55","6","-38","16","-20","-41","25","-32","-40","-82","2","-15","11","-16","-62","45","-17","-1","-120","-54","24","-102","-26","-60","-4","-34","29","-75","23","-28","27","49","6","-82","-10","79","79","20","-15","-88","68","-26","75","-30","32","-33","-64","-26","57","20","-26","-2","95","12","-19","14","-3","-8","-116","-98","85","0","97","-87","37","5","-87","-35","9","90","38","73","-37","-16","-20","96","-25","-49","-60","11","113","111","-17","-8","49","-71","-31","-82","37","-24","144","87","27","18","80","-71","-9","94","-10","32","24","51","68","-17","20","77","-84","87","52","-111","19","95","78","-130","-53","-18","37","-127","-28","-61","37","124","-32","-134","35","58","114","11","28","-70","-51","-83","13","61","31","-33","50","-72","-27","93","36","-2","14","-18","21","-20","29","38","-38","-10","83","-56","30","-4","14","64","21","45","-9","14","41","57","45","39","14","-90","48","-7","91","-39","44","73","23","-66","79","39","55","47","-77","-44","120","39","70","108","1","62","-29","63","73","-146","16","-27","178","12","-64","21","127","41","6","42","84","43","-7","-59","37","67","49","-58","-40","31","56","33","105","87","37","32","14","23","-4","-9","61","-63","66","42","31","163","-122","-14","-16","65","78","20","-4","-4","81","-56","-14","83","18","-72","164","20","4","-148","84","68","43","39","-40","-256","37","149","43","67","58","-12","-50","-29","83","95","128","-127","-16","16","39","-62","-148","-12","-32","13","93","40","36","-140","-132","-8","94","-18","36","-35","42","-32","-53","-56","-85","-83","13","-7","59","75","34","-70","118","-13","-21","77","26","89","-248","-18","7","-61","45","-61","79","16","-117","30","-61","143","-3","60","-111","23","48","165","-73","83","20","-7","-25","82","40","26","61","79","-37","-15","61","-162","-26","-63","88","19","-72","5","-117","-12","-83","-45","-105","-12","-12","-70","2","-161","-53","-236","-123","66","159","87","-40","26","33","76","-122","-113","-160","-62","-53","51","-26","70","8","178","-192","78","-2","-137","-103","16","69","-40","-50","37","-2","10","-15","-33","-91","-112","-36","-81","138","-32","-69","27","-37","-148","-30","75","-60","-97","-71","7","1","119","-25","-181","41","123","-16","-65","-44","239","-41","-99","-50","-35","-96","-111","67","35","116","42","-66","-143","-128","-143","70","1","26","-116","25","-21","-87","158","-19","-4","16","57","-5","188","105","-27","-73","-279","-62","33","-85","-121","16","43","-75","26","83","-23","-43","-31","26","76","-108","-139","120","42","-16","41","58","-149","19","-101","-118","115","29","46","-169","34","113","97","35","-68","-66","-139","-54","-10","-1","-18","1","-90","-73","-28","122","-101","71","140","-25","-21","-145","38","-23","53","-126","84","-15","-98","-79","-42","-16","189","-63","37","104","-39","-62","84","-146","7","-40","-250","120","82","119","-91","15","-76","-146","139","-19","67","103","-48","-87","-95","-109","-187","-47","-82","49","-49","-113","69","-11","-53","-132","27","-37","132","-118","-139","-49","74","102","26","188","-110","10","-92","-9","-142","75","-68","39","34","-59","5","9","69","83","187","-73","212","-65","39","-33","159","120","-145","-14","-90","-2","-82","-233","-12","-65","123","-53","8","-38","-223","-1","-158","109","88","137","-152","73","71","20","73","130","-7","-107","-21","-185","87","31","33","-101","-46","12","147","-29","221","-27","-23","38","-71","136","-56","58","34","91","-115","95","-5","7","-35","-46","135","-47","167","38","-169","-56","217","-111","0","-63","-37","250","59","-183","18","2","-15","-269","119","58","-130","71","-149","-124","159","-155","225","-121","112","30","-35","-95","121","-79","-122","102","81","16","68","-116","-70","-76","97","76","63","-5","-48","-5","31","-106","-106","108","49","-64","-57","47","96","-29","-181","-37","2","34","-74","58","8","-257","14","53","27","45","47","-77","31","61","-37","-6","85","216","195","-51","-77","30","173","179","64","-166","143","-2","-57","-135","159","46","-106","-50","76","98","94","-163","-175","58","-121","-170","45","37","-32","45","-73","82","156"],"lmfdb":"agrees"},{"label":"509.2.a.b","letter":"b","dim":28,"charpoly":["839924","-17566912","43794823","243169571","-840597920","-394588162","2997640229","-508093292","-4402183614","1574898974","3479175501","-1521661510","-1647657054","798783953","486611251","-258670457","-89144249","53890768","9489672","-7233548","-451466","607348","-9270","-29956","2020","775","-79","-8","1"],"traces":["28","3","5","41","1","2","19","6","37","1","24","-3","8","-2","5","59","-1","-4","61","-12","5","10","-4","1","33","-10","-1","37","-6","-18","19","5","-11","17","22","59","6","-18","13","-10","2","-33","59","20","-23","14","-8","-41","47","3","58","-25","-11","-26","6","-46","-2","-23","15","-61","19","-56","19","76","-27","-47","81","-35","-25","-47","9","-57","5","-44","-18","100","-11","-31","63","-73","32","-45","19","-52","28","-23","-23","-24","-23","-99","70","-85","-59","17","-10","-75","-4","-92","88","-4","-27","-101","-17","-97","-99","45","-17","-110","34","-129","23","29","-45","-105","78","-110","-73","-57","-43","-133","50","-102","49","-56","-51","-182","10","-43","-25","-75","-1","-111","7","-8","-10","35","-18","-7","97","-11","-34","16","-27","78","-9","-63","27","11","8","-9","106","38","-77","-59","33","20","-16","43","13","-84","-4","18","47","-28","-29","-15","-3","-89","72","63","149","137","-43","-42","88","88","-63","-6","53","68","-6","52","-46","89","-75","71","53","-16","-9","-11","59","-6","29","52","46","157","-4","55","-26","130","-62","78","-46","118","-35","135","32","-66","-5","107","161","9","27","71","-23","-38","-1","44","140","38","-35","132","-19","51","-61","115","45","62","-3","-13","-42","-36","-31","-34","79","109","13","-102","40","-48","4","246","-18","-38","-44","219","6","-77","2","10","15","180","-13","-35","5","153","-24","-34","112","57","11","57","29","-103","-86","-48","45","106","-5","222","51","12","-145","50","34","-64","-20","173","-77","-140","-22","16","84","33","-57","-48","-54","-53","-5","-17","200","92","-94","20","10","-16","-136","-42","61","-89","11","-74","-113","209","16","140","106","43","-19","80","-71","278","-6","110","53","84","-78","-161","124","-228","-33","-28","-42","80","1","170","53","-130","-95","76","194","166","-77","-14","-75","149","-17","-71","-17","145","-67","-68","92","-111","-161","144","122","22","7","249","-92","85","-37","13","7","18","-23","-165","5","116","85","-12","-38","-5","-133","90","4","-183","-107","-64","62","-52","-36","-49","-74","129","-40","21","212","119","-100","267","-101","-159","-108","150","55","-196","-45","231","4","-107","-159","-64","-76","370","1","-168","-44","-73","-88","270","129","223","-197","41","-133","-413","-36","0","53","-79","-140","-38","-26","-82","-71","-200","-77","-266","26","66","-75","216","-196","76","42","-40","-155","-35","31","-198","-153","25","39","77","-154","-74","48","-85","-79","9","-92","117","-145","194","-29","-117","-133","-157","47","58","-164","-95","-114","-120","15","-38","201","207","-105","310","-24","-273","-154","-12","92","-437","-43","13","-106","-4","-112","-121","147","-127","-131","-157","-63","6","-28","65","-200","11","-91","9","-37","-172","-262","-35","2","147","-191","31","-74","-146","-157","-153","246","-146","-24","-11","-126","-502","-160","-104","-135","-224","28","-7","8","346","-126","-28","-48","228","-132","-82","-51","-297","74","422","113","-101","-31","-35","-68","-408","12","67","49","131","-68","-237","8","74","-37","-290","-24","-172","64","77","27","-4","-14","264","40","102","-84","-92","-76","101","-66","-164","-5","208","19","65","43","-167","-57","-15","-6","70","-34","293","33","-203","-14","97","300","38","1","5","-159","123","5","24","11","78","-47","15","-85","-110","67","47","54","129","23","209","-40","99","49","38","-86","70","91","-189","-69","587","-65","314","194","137","62","-37","-78","-69","-79","-160","-15","169","5","38","-52","-102","-70","7","97","500","75","-168","-25","207","-62","140","9","-208","-46","-67","76","176","1","39","14","194","46","176","-136","-350","-22","539","29","-84","17","-8","-90","-37","40","-110","1","-27","145","104","110","203","52","-268","119","-211","-63","214","-130","-99","120","-17","117","-133","57","127","37","29","-43","57","-128","305","-18","193","-155","65","254","-131","-4","429","63","-197","74","110","-114","401","158","-1","38","-153","-14","-80","-91","99","-15","300","55","226","-102","241","65","-10","197","-363","207","57","94","-19","83","-387","162","-105","-75","-202","85","315","45","-33","260","-134","-26","187","54","314","16","75","10","283","21","-73","-142","75","109","-190","403","-282","-59","91","19","-82","-130","557","62","-190","-21","-22","59","132","65","-76","12","251","-43","-44","-191","-121","247","62","-5","285","288","-84","-51","230","81","-222","-132","75","-105","111","-10","47","154","-204","34","11","-72","406","-28","122","63","-115","131","-102","-54","-169","-27","139","87","-180","249","-167","35","-157","83","462","23","23","-29","-325","-113","-381","-28","-141","23","-150","254","-299","351","-86","78","190","48","114","242","-212","113","442","19","160","189","-298","-83","-103","-53","9","-21","-273","235","92","223","179","-141","-91","-24","77","126","138","-210","190","201","318","-169","-241","219","-296","142","845","-69","-142","-83","38","17","268","61","-77","-36","-61","94","-507","-67","-1","-135","-241","-33","39","-45","552","278","-257","83","277","-81","-251","246","-23","38","-346","110","-146","123","171","-33","119","47","17","346","-217","37","-91","-214","377","-20","-75","237","-402","-121","-225","-122","89","245","190","66","199","143","-373","-118","190","-133","-201","124","-219","-27","-247","211","-220","146","61","9","-159","-253","28","-278","-117","-98","338","342","-194","364","-153","48","-57","21","-152","-189","-135","-20","-92","52","205","24","-367","-157","208","-157","231","-85","-462","220","38","-38","20","209","-492","63","9","-51","207","-133","-335","-79","207","-92","307","304","-107","67","51","-54","75","-61","-210","50","-257","22","89","-9","-127","-206","598","-102","-244","70","-318","129","-291","-34","-171","100","-107","161","126","-97","221","30","-414"],"lmfdb":"agrees"}],"seconds":0.197,"computed":"atlas","estimate":{"seconds":0.335,"low":0.204,"high":0.58,"bytes":2146010}}