{"label":"85.2.a","level":85,"weight":2,"dims":{"new":5,"cusp":7,"eisenstein":3,"modsym":17},"old":[[17,1,2]],"T":[[2,1],[3,3]],"status":"proven","checks":["dim M^+ at levels [1, 5, 17, 85]: [0, 1, 2, 10] (certified at ell = 2147483489)","T = [(2, 1), (3, 3)]; h of degree 5 = 1 x 5 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"85.2.a.a","letter":"a","dim":1,"charpoly":["-7","1"],"traces":["1","1","2","-1","-1","2","-2","-3","1","-1","2","-2","2","-2","-2","-1","1","1","0","1","-4","2","6","-6","1","2","-4","2","-6","-2","-10","5","4","1","2","-1","2","0","4","3","10","-4","4","-2","-1","6","12","-2","-3","1","2","-2","-10","-4","-2","6","0","-6","8","2","-14","-10","-2","7","-2","4","8","-1","12","2","-2","-3","-14","2","2","0","-4","4","-14","1","-11","10","4","4","-1","4","-12","-6","6","-1","-4","-6","-20","12","0","10","2","-3","2","-1","-6","2","12","-6","4","-10","2","4","2","-2","4","2","-6","0","-6","6","2","8","-2","6","-7","-14","20","10","-1","-2","8","-3","8","-2","6","-4","0","8","4","-3","-2","12","14","-2","24","-2","4","-1","6","-14","-6","-2","6","2","-12","0","1","-4","10","-4","6","-14","-20","-5","-12","-11","-2","-10","-4","4","2","12","-9","-1","0","-4","-6","-12","-2","-2","16","6","-24","1","26","-4","-28","-18","-2","-20","2","-12","8","0","8","14","18","2","-4","3","2","2","6","-3","16","-6","12","-2","-10","12","6","-2","0","4","2","10","-4","2","-4","12","20","2","-28","2","2","4","16","-10","1","-6","-2","0","10","-6","-8","18","-14","2","-12","-8","-28","-2","-8","2","-6","-7","-10","14","3","20","0","30","8","-1","28","2","12","8","-2","-17","-2","8","-4","2","-6","6","-8","-12","10","0","12","-8","10","4","-16","-1","-8","-2","2","-12","-30","14","-10","-6","-6","24","6","2","0","4","-20","5","1","6","4","14","30","-6","-8","-6","-8","6","12","-2","-8","-12","-12","0","14","1","-16","4","24","10","6","-12","2","6","2","14","10","-20","-12","-7","4","-12","0","11","2","-2","4","-30","-24","-4","16","-4","2","2","-8","4","-6","-9","-12","1","-20","0","20","-12","-12","-6","-26","12","22","-2","-8","10","-14","16","2","-6","-4","-24","20","3","-19","26","-14","4","14","-28","-34","-6","10","-2","20","20","10","2","-2","-36","-12","8","-2","0","16","8","0","-6","4","18","4","-2","26","-4","6","9","12","2","14","-2","-14","6","0","-1","18","16","-20","6","11","12","4","-6","-38","-10","-4","-12","-16","6","-4","10","28","0","18","-4","26","2","12","30","1","-4","28","-2","8","-4","-38","4","-34","20","12","-2","0","-28","6","6","-3","2","24","-4","-6","16","12","-14","18","1","20","6","-24","-2","4","0","6","10","-4","6","-26","-8","-36","6","20","-14","28","-2","-16","-12","12","-24","8","-28","0","2","-10","-8","-18","-10","4","-6","-24","7","-2","-10","22","42","-4","3","-16","-20","-6","0","-2","10","4","8","-14","1","4","28","6","6","6","12","-18","-8","-34","-2","28","-11","0","-2","-12","-8","24","-4","-12","6","-30","-6","32","-6","-4","-8","-10","-4","13","10","8","0","20","12","-2","-24","-48","10","-6","-4","-14","-16","52","5","-2","-8","-22","2","-14","2","0","-36","28","-30","-4","-14","2","-10","8","-2","4","-6","4","-24","6","6","22","6","-38","0","18","-4","16","-20","6","7","6","1","36","-6","-8","4","-20","42","-2","30","-12","6","0","-8","4","-2","-30","-8","2","-6","12","12","16","-6","10","-8","8","12","7","-12","18","0","24","14","24","-1","46","-16","-20","12","42","24","-14","-10","-24","6","-12","-4","1","2","0","-6","2","2","-4","42","4","10","-8","20","-6","-12","-2","3","-30","4","-14","12","-8","0","28","33","16","2","40","2","-14","4","-6","-10","-14","-24","-44","4","46","16","4","-12","0","2","-36","-2","32","-8","-28","-20","10","-6","-4","9","-30","-12","-4","3","-4","-20","18","0","2","20","20","-4","-20","-12","2","6","-4","-26","-14","36","10","22","-28","2","-30","-8","0","14","-24","-14","12","-16","-6","2","-14","-18","-60","-4","-4","24","-16","20","14","1","-24","-19","-12","-26","-6","-14","-12","12","13","14","4","28","-2","-34","6","30","16","10","-8","2","0","20","-6","60","-6","10","4","-2","-4","-2","-2","-12","56","-12","12","-8","-22","-2","24","0","6","16","-4","-8","-1","0","16","-34","-18","4","-4","-18","-6","4","-10","-6","-8","26","0","4","-4","6","24","3","-6","12","-6","-2","-16","14","12","-6","-28","-14","20","-6","-2","0","12","5","6","18","-28","-16","12","-20","20","18","26","11","-2","-12","-32","4","2","-2","0","-38","-4","10","2","-4","-34","-36","4","-16","-42","-6","-2","-4","-60","14","-3","28","-2","0","40","18","26","-12","7","26","-12","-2","9","12","14","10","12","1","12","4","34","28","0","-6","34","8","-24","4","-40","-38","-4","-20","6","-34","2","-20","-28","12","16","-6","2","0","2","28","-14","6","60","2","42","-3","16","-2","-16","24","-22","-12","-16","-6","-22","-16","0","12","24","6","24","18","60","-1","-10","20","-16","18","-26","-24","30","2","-6","4","-38","0","8","6","28","-10","-12","-4","16","18","-32","-26","-4","8","2","-36","12","-30","58","20","0","14","12","28","-2","-6","-38","-16","4","12","34","12","60","-8","-8","8","26","28","-28","0","20","6","-18","-10","-8","8","-24","-18","4","-14","69","4","2","6","-18","-24","32","21","0","-2","-8","10","-28","22","4","14","34","-4","12","-3","2","-16","-6","-60","-2","-6","-48","0","24","-2","-58","-50","32","4","-6","-8","-62","-14","-8","3"],"lmfdb":"agrees","curve":{"cremona":"85a1","lmfdb":"85.a","ainvs":[1,1,0,-8,-13],"rank":0,"torsion":2}},{"label":"85.2.a.b","letter":"b","dim":2,"charpoly":["41","14","1"],"traces":["2","-2","-4","2","-2","0","-4","-6","6","2","-8","4","0","8","4","6","-2","10","0","-2","4","12","-4","8","2","-8","-16","-12","-4","0","0","6","12","2","4","-26","-4","-8","8","6","4","-4","4","-16","-6","0","-4","-12","-2","-2","4","16","12","-16","8","16","8","-4","-24","-4","4","12","4","-14","0","-4","-12","-2","12","-8","0","-2","-4","28","-4","16","20","8","8","-6","46","-28","-4","4","2","12","16","28","-16","-10","-8","4","-12","-4","0","-16","-4","-14","-8","2","-16","0","4","-8","-4","-28","4","48","-12","-12","-16","-12","-12","8","4","12","-32","32","4","-8","14","12","16","-24","-2","-24","-12","10","-24","8","-8","-4","-8","20","16","6","8","4","16","12","16","-12","-8","18","4","-4","20","-52","4","0","32","-8","-6","-44","0","-24","-20","-4","-8","-6","4","2","4","52","-12","36","-4","-12","-10","-2","-32","-28","20","8","-4","-24","40","32","-8","26","-12","24","-24","8","4","-12","8","12","0","8","24","20","-36","20","-8","30","20","-44","40","-6","16","16","0","-4","-4","-12","-28","0","-8","4","-24","44","12","24","-4","16","12","-20","16","16","0","-24","12","-8","6","20","-20","-24","-24","0","-16","4","-4","8","4","-40","-20","-8","40","12","20","-46","-92","-28","2","24","16","12","-24","2","-24","44","12","-20","-4","-26","0","-16","32","-16","-44","-20","-4","-28","-12","24","16","-28","4","16","-16","-6","0","-16","-8","-20","-20","12","48","-16","-20","8","20","24","-8","40","-32","34","2","4","-8","12","36","16","24","36","32","-4","8","4","8","-56","32","0","-4","-10","-28","68","0","-12","16","-8","28","-12","-4","0","-20","16","8","14","-36","-4","0","-50","0","-8","56","-36","0","4","48","-68","84","16","12","12","4","10","16","2","12","8","16","4","-12","-12","12","-32","52","8","64","-20","-44","-8","0","-48","-4","0","-24","2","-22","36","4","-40","4","-16","-20","-12","-84","-28","-40","36","-16","-12","4","4","16","32","0","-16","56","-24","-12","24","-20","28","76","-36","-32","-8","4","-10","44","-12","-8","96","4","-28","0","6","-44","-8","-24","-16","-46","8","40","-8","-12","28","-8","20","56","-16","4","-8","-60","40","16","-4","-24","52","-44","-52","-2","12","8","-52","-16","-12","0","-48","0","-36","-16","52","8","8","8","-28","-70","8","-12","64","16","-12","-8","36","-36","10","-40","-28","-40","-16","8","-8","16","56","16","-4","4","24","-12","-12","12","36","-12","16","32","4","72","80","0","-4","0","12","-28","-40","-40","16","-48","-12","-8","78","4","0","12","4","-4","14","-16","-64","4","-16","8","0","-12","-32","16","-2","-4","24","4","-32","16","-4","20","52","-4","0","0","54","64","-8","-4","56","8","-88","-48","8","-12","-12","28","48","4","36","0","36","-34","28","-40","-40","48","-16","-4","44","24","44","-8","-48","-12","0","0","-6","12","-16","-28","24","76","12","16","-20","-12","20","16","-40","48","-12","-32","12","-12","36","-52","-32","12","-8","-44","-12","4","-8","-40","-72","-48","88","-4","-10","40","-2","80","-12","40","-16","-64","4","32","-36","12","-52","-24","-32","-48","-12","60","64","-4","4","-92","8","24","8","-12","-32","-4","80","-14","0","-12","-8","-8","-12","16","26","-60","20","-16","-84","68","8","-48","24","64","4","48","24","2","-84","-16","44","4","24","8","-20","20","-12","12","-24","32","16","-48","-10","28","-28","-36","4","24","8","-36","-90","104","-8","0","12","20","32","8","12","-44","8","-32","4","4","-40","-8","44","8","-44","16","-28","-24","-20","0","12","-28","-68","-16","-10","-36","-8","24","-6","76","-60","-4","16","-8","-16","16","12","32","-4","8","4","-36","-96","-16","-24","-4","-36","-24","-12","72","0","-48","64","-16","28","32","-24","12","12","40","64","-12","4","8","8","-80","-32","-8","-18","-16","22","-48","-60","-4","32","-28","40","138","4","-4","56","36","8","-20","-16","56","44","16","52","-32","96","-20","12","-4","72","116","16","20","0","-16","-12","48","0","-32","-64","88","-76","-32","8","48","32","-8","24","6","-68","-16","4","-80","44","8","-20","-8","4","0","28","-8","32","48","24","-12","0","96","-6","20","28","-20","4","-24","4","32","-28","-32","28","8","16","-28","-16","4","6","16","60","8","0","-4","24","-56","48","-52","-2","40","-16","48","-144","-4","12","-32","12","40","-52","28","8","-36","-20","12","-120","-28","60","12","-36","40","-16","2","-28","4","-72","-96","-4","8","12","-34","-24","24","-80","10","-12","-60","36","-52","2","-16","-36","-68","-32","32","16","44","-32","0","28","8","4","-4","-80","-20","8","-4","60","-28","-8","-16","4","52","8","4","-32","52","-4","-72","24","68","6","36","-16","-40","-12","-44","8","-8","-32","-136","12","16","0","8","-64","-32","12","-24","-26","-12","144","8","44","12","24","12","52","-48","-24","16","24","48","72","24","-88","-12","16","48","-8","64","108","24","-32","-4","20","-20","-20","20","12","32","-68","-52","28","-8","72","12","-72","0","-12","44","32","16","-72","0","-56","-52","28","16","-8","72","-16","-72","76","-24","40","-40","52","-24","-20","-26","64","124","4","36","0","-36","-74","-8","-20","-56","92","-4","-40","8","12","28","4","80","-30","-164","-8","-12","-8","-20","4","-8","16","-24","44","64","12","-104","36","-40","88","52","-4","-160","6"],"lmfdb":"agrees"},{"label":"85.2.a.c","letter":"c","dim":2,"charpoly":["-3","-6","1"],"traces":["2","0","2","2","2","-6","-2","0","2","0","6","2","-8","6","2","-10","-2","-12","4","2","-8","-6","-6","6","2","0","8","-2","0","-6","10","0","12","0","-2","2","-8","12","-8","0","0","12","-8","6","2","18","12","-10","-6","0","-2","-8","12","0","6","-6","-8","12","12","2","4","6","-14","2","-8","-24","-20","-2","-24","6","6","12","-8","-12","2","4","-12","24","-2","-10","2","12","24","-8","-2","-12","-12","6","-12","-12","8","-6","4","-24","4","18","4","-12","18","2","-12","6","4","0","-8","0","18","8","-20","-6","4","10","0","0","-6","0","-8","12","2","6","2","24","-12","10","2","18","-8","0","4","0","6","12","8","0","8","0","0","36","10","-2","36","-30","-24","-10","0","-36","6","-8","-12","-6","4","-12","-2","24","10","-8","4","-54","12","0","24","12","10","0","12","12","-6","-12","6","0","-20","-8","0","12","-2","-30","0","-36","12","2","16","-24","-20","-18","-8","-24","-6","12","-8","12","-24","2","40","24","-8","-6","0","-42","10","0","-20","12","12","-2","0","-24","-42","40","0","12","10","12","36","-30","-8","0","-4","0","28","6","8","12","-32","-18","2","60","42","-8","4","18","-36","-12","12","48","12","12","52","-6","0","-10","-32","-36","-34","4","-6","12","-16","-6","12","0","0","-14","-36","36","-2","38","0","12","-4","-8","-24","18","-24","24","12","0","24","-20","-12","0","-8","10","32","0","6","-24","28","30","-2","-6","-12","-60","-14","6","-8","24","12","36","2","12","-20","-8","12","6","12","12","24","0","24","2","-4","12","-24","-20","4","12","-20","-12","28","6","6","-24","-32","-24","-14","-2","-36","-36","-12","2","48","-36","-4","2","-8","18","-20","-12","-36","-24","-20","24","16","-54","-20","40","28","0","-60","-2","24","-12","8","12","-24","-12","18","-12","-20","6","-32","18","12","-24","6","-12","8","60","-36","12","-6","36","38","8","-8","12","-26","30","-24","-12","-12","4","40","6","2","24","0","24","46","4","-44","-48","24","-42","-12","12","16","4","12","24","6","12","-12","-60","-2","18","28","-18","8","-10","12","60","-40","-12","2","-12","-12","-6","52","12","0","4","0","54","24","0","-20","24","66","-8","4","-18","60","0","-2","-48","20","18","-48","-12","30","-40","-8","24","-12","-20","24","-12","-2","6","18","0","-12","4","-12","36","-12","-2","-48","-12","-12","0","-8","-6","8","0","-32","36","-8","-6","-36","60","-20","0","4","0","24","-8","20","-24","28","-12","-12","-48","4","2","12","72","-6","18","32","-36","60","2","4","6","-2","-24","-8","-12","-60","-12","0","-48","18","-50","-36","-60","-14","2","48","-24","6","-18","-12","72","6","-8","12","6","-28","0","16","24","4","4","60","-12","12","0","36","12","-44","6","-8","-36","-10","-60","26","0","-12","8","0","0","18","0","-48","-24","-6","8","16","-24","-20","0","-20","-48","-14","0","-44","-6","24","-36","-52","-24","4","10","0","-54","32","10","-12","24","48","36","0","-6","10","30","12","0","-14","-24","24","-12","-6","2","-8","0","28","0","-12","12","36","36","-8","24","72","6","32","12","60","40","12","-24","2","-12","28","-72","24","6","-32","-12","-20","4","2","48","-26","-36","24","24","-48","-2","4","0","-12","-24","-48","-36","46","10","-24","66","-24","40","2","36","-24","4","8","18","-44","54","28","24","-8","12","24","36","66","0","0","-84","-38","24","4","-12","-36","-12","24","0","-28","10","-72","60","6","0","64","60","-24","12","-44","-12","8","-12","8","36","36","-6","-68","0","-12","-36","40","72","8","6","-36","60","20","0","48","-12","18","-20","0","-48","-32","40","-48","36","-26","0","-60","18","10","-12","0","-72","12","-2","-12","0","-40","6","36","-72","24","0","16","-30","106","36","-12","-12","-24","12","-72","12","-42","-10","-28","48","4","16","0","-42","28","24","-46","-36","8","-20","4","-18","6","-54","-60","12","-44","-8","32","36","-42","24","-12","0","0","-6","-48","-6","70","-60","24","-48","4","-8","-8","18","-108","-12","-36","60","20","-24","-2","-12","-48","38","52","24","-24","40","-24","36","10","-24","8","36","24","-8","48","-18","0","30","4","0","22","0","12","-54","60","42","-16","0","12","10","-36","-24","-12","0","60","-24","12","-20","24","-24","12","-12","-84","12","10","12","16","-12","10","10","-40","0","56","0","-36","0","34","24","12","24","-42","-42","-20","12","52","-8","6","0","-6","0","40","-18","42","-12","-34","-12","-36","10","6","-96","-38","-60","-8","0","-12","36","16","-12","-20","30","0","96","-44","-8","24","18","60","0","0","48","2","-4","48","12","80","0","-44","0","-2","28","-44","66","-12","-30","-48","24","-20","8","0","24","-18","-12","44","-36","-6","-32","-24","36","12","42","96","36","12","2","-12","36","8","-60","16","0","58","42","-36","-24","90","40","60","72","-20","4","12","0","-80","-18","-20","24","-24","-36","-8","48","52","-36","0","-24","-36","12","-60","36","-6","-48","4","-60","-68","12","48","-36","36","-60","-8","-12","6","52","32","12","-60","6","24","-72","-24","0","-48","30","0","2","-6","48","78","-32","40","-108","16","36","8","24","60","-34","20","-90","-8","-20","60","-12","0","-6","-20","-36","114","-12","0","-12","-96","-16","-12","-42","46","-18","-8","48","10","12","16","30","-32","0"],"lmfdb":"agrees"}],"seconds":0.185,"computed":"atlas","estimate":{"seconds":0.208,"low":0.127,"high":0.359,"bytes":1842745}}