{"label":"80.2.a","level":80,"weight":2,"dims":{"new":2,"cusp":7,"eisenstein":11,"modsym":25},"old":[[20,1,3],[40,1,2]],"T":[[3,1],[7,3]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 5, 8, 10, 16, 20, 40, 80]: [0, 1, 2, 1, 3, 3, 4, 6, 10, 16] (certified at ell = 2147483629)","T = [(3, 1), (7, 3)]; h of degree 2 = 1 x 2 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"80.2.a.a","letter":"a","dim":1,"charpoly":["-12","1"],"traces":["1","0","0","0","1","0","4","0","-3","0","-4","0","-2","0","0","0","2","0","-4","0","0","0","-4","0","1","0","0","0","-2","0","8","0","0","0","4","0","6","0","0","0","-6","0","8","0","-3","0","-4","0","9","0","0","0","6","0","-4","0","0","0","4","0","-2","0","-12","0","-2","0","-8","0","0","0","0","0","-6","0","0","0","-16","0","0","0","9","0","16","0","2","0","0","0","-6","0","-8","0","0","0","-4","0","-14","0","12","0","6","0","-4","0","0","0","0","0","14","0","0","0","18","0","-4","0","6","0","8","0","5","0","0","0","1","0","12","0","0","0","-12","0","-16","0","0","0","10","0","-12","0","0","0","8","0","-2","0","0","0","-10","0","16","0","-6","0","8","0","-2","0","0","0","-16","0","-16","0","0","0","-12","0","-9","0","12","0","14","0","4","0","0","0","-20","0","-10","0","0","0","6","0","-8","0","0","0","-8","0","-14","0","0","0","22","0","-8","0","0","0","-8","0","-6","0","12","0","16","0","4","0","0","0","8","0","32","0","0","0","-4","0","4","0","-3","0","24","0","-26","0","0","0","-6","0","-4","0","0","0","0","0","2","0","0","0","9","0","8","0","0","0","12","0","16","0","0","0","-30","0","24","0","6","0","12","0","6","0","0","0","14","0","-24","0","0","0","-4","0","-10","0","-24","0","10","0","-8","0","0","0","-24","0","-13","0","0","0","-26","0","4","0","0","0","8","0","32","0","0","0","-2","0","8","0","0","0","-32","0","26","0","-12","0","-18","0","8","0","0","0","-8","0","-2","0","0","0","-16","0","12","0","-18","0","-8","0","-14","0","0","0","-32","0","8","0","0","0","16","0","30","0","0","0","2","0","0","0","0","0","24","0","-3","0","0","0","-6","0","-20","0","18","0","24","0","22","0","0","0","4","0","20","0","0","0","36","0","-16","0","-24","0","6","0","-8","0","0","0","0","0","-2","0","0","0","18","0","-16","0","9","0","-24","0","10","0","0","0","16","0","16","0","0","0","-36","0","6","0","12","0","2","0","-8","0","0","0","40","0","2","0","0","0","16","0","8","0","-27","0","-24","0","-6","0","0","0","18","0","24","0","0","0","-8","0","10","0","0","0","-18","0","-12","0","0","0","-8","0","-32","0","0","0","-32","0","-4","0","-18","0","-16","0","-12","0","0","0","-14","0","20","0","0","0","-36","0","-4","0","12","0","0","0","28","0","0","0","12","0","6","0","0","0","-2","0","-24","0","0","0","-4","0","16","0","0","0","10","0","8","0","0","0","16","0","-7","0","-12","0","12","0","0","0","0","0","-36","0","-2","0","0","0","14","0","-8","0","6","0","8","0","0","0","0","0","14","0","-16","0","0","0","-16","0","18","0","36","0","-22","0","-4","0","0","0","-4","0","2","0","0","0","64","0","-24","0","6","0","48","0","-32","0","0","0","18","0","8","0","0","0","24","0","10","0","24","0","5","0","12","0","0","0","8","0","-42","0","0","0","-6","0","4","0","0","0","-24","0","1","0","0","0","12","0","-16","0","0","0","12","0","-18","0","0","0","18","0","48","0","0","0","-12","0","-16","0","0","0","-34","0","-12","0","18","0","12","0","-42","0","0","0","-16","0","8","0","0","0","8","0","18","0","0","0","22","0","-56","0","0","0","-24","0","10","0","0","0","-12","0","-44","0","48","0","-12","0","-12","0","0","0","-34","0","-24","0","0","0","24","0","38","0","0","0","-32","0","8","0","0","0","32","0","-16","0","0","0","-2","0","-44","0","-27","0","16","0","30","0","0","0","32","0","-36","0","0","0","-36","0","-10","0","-48","0","0","0","24","0","0","0","16","0","-10","0","0","0","-6","0","56","0","-6","0","-8","0","34","0","0","0","-42","0","8","0","0","0","24","0","0","0","0","0","-2","0","-8","0","0","0","72","0","4","0","0","0","-18","0","-8","0","18","0","24","0","-16","0","0","0","42","0","28","0","0","0","-16","0","-32","0","24","0","22","0","-4","0","0","0","-48","0","-2","0","0","0","18","0","-12","0","0","0","40","0","-25","0","0","0","-9","0","20","0","0","0","-24","0","38","0","12","0","-6","0","4","0","0","0","-12","0","14","0","0","0","0","0","16","0","42","0","4","0","46","0","0","0","-30","0","16","0","0","0","20","0","48","0","-36","0","16","0","-20","0","0","0","-16","0","12","0","0","0","-10","0","-48","0","-18","0","-40","0","-64","0","0","0","-48","0","-8","0","0","0","0","0","6","0","12","0","-14","0","-36","0","0","0","-8","0","-38","0","0","0","46","0","24","0","0","0","8","0","12","0","0","0","-6","0","-8","0","0","0","40","0","33","0","0","0","-14","0","36","0","0","0","-20","0","-48","0","0","0","2","0","24","0","-42","0","-36","0","22","0","0","0","-32","0","40","0","0","0","-8","0","-42","0","0","0"],"lmfdb":"agrees","curve":{"cremona":"80a1","lmfdb":"80.a","ainvs":[0,0,0,-7,6],"rank":0,"torsion":4}},{"label":"80.2.a.b","letter":"b","dim":1,"charpoly":["4","1"],"traces":["1","0","2","0","-1","0","-2","0","1","0","0","0","2","0","-2","0","-6","0","4","0","-4","0","-6","0","1","0","-4","0","6","0","4","0","0","0","2","0","2","0","4","0","6","0","10","0","-1","0","6","0","-3","0","-12","0","-6","0","0","0","8","0","-12","0","2","0","-2","0","-2","0","-2","0","-12","0","12","0","2","0","2","0","0","0","-8","0","-11","0","-6","0","6","0","12","0","-6","0","-4","0","8","0","-4","0","2","0","0","0","6","0","-14","0","4","0","6","0","2","0","4","0","-6","0","6","0","2","0","12","0","-11","0","12","0","-1","0","-2","0","20","0","0","0","-8","0","4","0","18","0","4","0","12","0","0","0","-6","0","-6","0","-6","0","-20","0","-6","0","-4","0","-22","0","-12","0","12","0","10","0","0","0","-18","0","-9","0","4","0","-6","0","-2","0","-24","0","12","0","-10","0","4","0","-2","0","0","0","8","0","12","0","26","0","-4","0","18","0","-8","0","-4","0","-12","0","-6","0","-6","0","0","0","16","0","24","0","-10","0","-8","0","4","0","-12","0","10","0","1","0","6","0","14","0","0","0","-6","0","-6","0","-16","0","24","0","14","0","-10","0","3","0","8","0","-12","0","0","0","0","0","12","0","-6","0","-4","0","6","0","18","0","6","0","-12","0","18","0","-20","0","-8","0","0","0","26","0","4","0","6","0","-14","0","-8","0","-12","0","19","0","4","0","-30","0","12","0","0","0","-12","0","-20","0","12","0","-2","0","-2","0","-28","0","-12","0","-22","0","2","0","-6","0","0","0","12","0","-24","0","2","0","4","0","-12","0","-8","0","2","0","2","0","2","0","-12","0","0","0","20","0","12","0","30","0","-10","0","-8","0","18","0","-12","0","24","0","-24","0","-3","0","-22","0","-2","0","22","0","6","0","12","0","26","0","-2","0","12","0","28","0","-4","0","-6","0","0","0","10","0","-6","0","36","0","0","0","8","0","2","0","-16","0","-30","0","8","0","11","0","0","0","-34","0","36","0","24","0","6","0","8","0","-36","0","26","0","6","0","-6","0","-4","0","0","0","-36","0","2","0","-12","0","-24","0","-8","0","-3","0","-6","0","6","0","-12","0","6","0","0","0","-40","0","4","0","26","0","24","0","30","0","-14","0","-8","0","30","0","4","0","-44","0","0","0","4","0","-6","0","24","0","4","0","24","0","-2","0","-26","0","20","0","0","0","-36","0","0","0","-24","0","4","0","-36","0","18","0","-6","0","-18","0","6","0","-4","0","-16","0","14","0","0","0","-12","0","-6","0","-14","0","-4","0","-24","0","13","0","-12","0","12","0","-6","0","24","0","0","0","14","0","-20","0","-2","0","-26","0","2","0","24","0","16","0","-4","0","-30","0","20","0","0","0","18","0","6","0","22","0","30","0","-8","0","24","0","-6","0","-22","0","52","0","12","0","0","0","-2","0","6","0","16","0","36","0","18","0","-12","0","-16","0","0","0","-10","0","-2","0","11","0","22","0","-24","0","12","0","2","0","-12","0","-6","0","-20","0","24","0","12","0","1","0","0","0","-12","0","28","0","32","0","2","0","-6","0","12","0","-18","0","-14","0","-20","0","-42","0","0","0","-16","0","42","0","0","0","2","0","-36","0","-22","0","-24","0","8","0","-36","0","20","0","0","0","-46","0","-4","0","18","0","-4","0","12","0","42","0","-18","0","28","0","-12","0","-8","0","0","0","-4","0","-36","0","-12","0","-30","0","8","0","-12","0","-12","0","-34","0","-8","0","-24","0","0","0","48","0","24","0","28","0","28","0","6","0","46","0","13","0","-60","0","-22","0","6","0","0","0","-20","0","16","0","-6","0","6","0","-6","0","-12","0","4","0","0","0","20","0","-22","0","0","0","42","0","-4","0","6","0","-24","0","2","0","-12","0","-30","0","4","0","-8","0","24","0","0","0","-24","0","22","0","-26","0","36","0","12","0","4","0","12","0","42","0","-36","0","-6","0","0","0","-12","0","36","0","-6","0","16","0","-40","0","-10","0","40","0","-4","0","-54","0","-38","0","0","0","30","0","2","0","52","0","18","0","18","0","-16","0","48","0","7","0","12","0","9","0","22","0","-28","0","-12","0","50","0","-4","0","18","0","4","0","-24","0","-6","0","6","0","38","0","0","0","-4","0","2","0","2","0","26","0","-60","0","-18","0","-14","0","24","0","-18","0","4","0","0","0","24","0","-12","0","-24","0","24","0","36","0","-40","0","10","0","46","0","6","0","-12","0","0","0","-4","0","0","0","16","0","-4","0","24","0","2","0","-14","0","-42","0","-12","0","-24","0","0","0","-22","0","-44","0","-18","0","-36","0","-8","0","-18","0","4","0","-12","0","-6","0","-12","0","0","0","-36","0","-15","0","6","0","-26","0","22","0","-48","0","24","0","-8","0","4","0","18","0","0","0","2","0","18","0","-18","0","-24","0","-60","0","4","0","-16","0","8","0","26","0","-8","0"],"lmfdb":"agrees","curve":{"cremona":"80b1","lmfdb":"80.b","ainvs":[0,-1,0,4,-4],"rank":0,"torsion":2}}],"seconds":0.092,"computed":"atlas","estimate":{"seconds":0.227,"low":0.139,"high":0.393,"bytes":1834402}}