{"label":"508.2.a","level":508,"weight":2,"dims":{"new":10,"cusp":62,"eisenstein":5,"modsym":129},"old":[[127,10,3],[254,11,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 127, 254, 508]: [0, 1, 2, 11, 34, 67] (certified at ell = 2147483647)","T = [(3, 1), (5, 1)]; h of degree 10 = 1 x 10 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"508.2.a.a","letter":"a","dim":2,"charpoly":["4","6","1"],"traces":["2","0","-2","0","-4","0","0","0","6","0","1","0","-5","0","4","0","1","0","-7","0","-20","0","-16","0","-2","0","-20","0","12","0","5","0","14","0","0","0","5","0","-10","0","-13","0","2","0","-12","0","-11","0","26","0","4","0","-14","0","-2","0","12","0","-6","0","11","0","40","0","10","0","0","0","16","0","7","0","-7","0","2","0","-30","0","-17","0","22","0","-22","0","-2","0","-12","0","8","0","30","0","20","0","14","0","-14","0","-27","0","10","0","-19","0","40","0","-5","0","22","0","-20","0","-5","0","32","0","15","0","-10","0","1","0","38","0","24","0","2","0","8","0","-36","0","-10","0","40","0","18","0","6","0","6","0","-25","0","-24","0","-26","0","-15","0","32","0","-7","0","-10","0","-25","0","24","0","0","0","4","0","-28","0","18","0","9","0","-31","0","20","0","0","0","-4","0","-17","0","6","0","4","0","-10","0","8","0","-40","0","24","0","-24","0","20","0","15","0","-23","0","60","0","0","0","26","0","-48","0","4","0","11","0","-52","0","-4","0","-50","0","2","0","-10","0","2","0","-6","0","-8","0","-42","0","20","0","6","0","22","0","2","0","18","0","-10","0","-22","0","-52","0","10","0","12","0","-21","0","-8","0","-8","0","16","0","30","0","36","0","-3","0","28","0","-28","0","-41","0","8","0","20","0","-1","0","6","0","-35","0","-28","0","0","0","-24","0","-50","0","-31","0","64","0","-18","0","12","0","20","0","40","0","-20","0","20","0","-22","0","32","0","54","0","-32","0","36","0","-80","0","-16","0","6","0","-20","0","-1","0","5","0","-12","0","10","0","-18","0","45","0","0","0","26","0","-10","0","40","0","0","0","-32","0","-26","0","-34","0","20","0","37","0","-14","0","0","0","30","0","-11","0","14","0","14","0","-11","0","-89","0","-20","0","26","0","-24","0","-30","0","-20","0","-2","0","-24","0","60","0","-14","0","-33","0","-8","0","16","0","34","0","17","0","80","0","-4","0","-50","0","-44","0","-20","0","60","0","32","0","20","0","44","0","-96","0","21","0","22","0","-23","0","-1","0","-30","0","-20","0","25","0","37","0","24","0","56","0","22","0","78","0","7","0","-16","0","20","0","21","0","31","0","-32","0","-60","0","-7","0","0","0","-16","0","19","0","-40","0","-24","0","-120","0","70","0","16","0","7","0","-62","0","1","0","10","0","160","0","28","0","32","0","-64","0","68","0","6","0","54","0","90","0","48","0","-8","0","-53","0","-20","0","66","0","28","0","10","0","80","0","38","0","-13","0","-60","0","-11","0","-5","0","20","0","15","0","82","0","2","0","-5","0","10","0","12","0","13","0","-14","0","-96","0","-44","0","4","0","3","0","-42","0","30","0","40","0","-52","0","-20","0","2","0","-32","0","10","0","120","0","5","0","-6","0","-24","0","16","0","-19","0","4","0","20","0","8","0","-30","0","-29","0","-5","0","-10","0","26","0","20","0","-42","0","-84","0","12","0","-120","0","-2","0","-17","0","-120","0","35","0","-56","0","-76","0","30","0","24","0","160","0","40","0","-38","0","-54","0","-5","0","-6","0","-46","0","-4","0","-65","0","111","0","26","0","-15","0","-16","0","-20","0","-18","0","0","0","-47","0","72","0","-11","0","18","0","59","0","-10","0","20","0","-96","0","-12","0","28","0","7","0","20","0","-32","0","-100","0","-32","0","8","0","-36","0","12","0","20","0","30","0","-70","0","-12","0","6","0","64","0","-22","0","-25","0","-12","0","-60","0","1","0","-21","0","-40","0","50","0","12","0","43","0","-70","0","80","0","-12","0","24","0","66","0","6","0","-48","0","52","0","90","0","15","0","30","0","-8","0","30","0","-46","0","50","0","-42","0","26","0","-64","0","-25","0","-112","0","36","0","-20","0","14","0","30","0","-10","0","-96","0","-33","0","-5","0","-80","0","58","0","-64","0","-120","0","50","0","-53","0","28","0","30","0","-50","0","-48","0","8","0","-8","0","64","0","-11","0","0","0","36","0","21","0","-29","0","-8","0","-8","0","-2","0","-10","0","14","0","21","0","-14","0","-2","0","32","0","44","0","13","0","-36","0","0","0","34","0","14","0","-32","0","-18","0","-30","0","20","0","-40","0","8","0","62","0","40","0","20","0","180","0","94","0","-40","0","36","0","-31","0","-90","0","-142","0","0","0","17","0","28","0","-52","0","69","0","8","0","-66","0","0","0","-79","0","36","0","34","0","80","0","30","0","-2","0","0","0","-12","0","-29","0","-30","0","20","0","-26","0","-8","0","40","0","-39","0","8","0","50","0","-5","0","-127","0","-34","0","-91","0","12","0","-16","0","22","0","-96","0","-11","0","104","0","80","0","26","0","25","0","-104","0","-5","0","-48","0","84","0","-100","0","13","0","35","0","48","0","44","0","-14","0","13","0","180","0","10","0","-27","0","-26","0","46","0","47","0","-30","0","100","0","-16","0","-46","0","-72","0","46","0","74","0","-80","0"],"lmfdb":"agrees"},{"label":"508.2.a.b","letter":"b","dim":2,"charpoly":["4","-6","1"],"traces":["2","0","4","0","2","0","-2","0","2","0","5","0","7","0","4","0","-3","0","5","0","-4","0","12","0","2","0","-8","0","0","0","-3","0","10","0","-12","0","-11","0","14","0","-13","0","-12","0","2","0","9","0","-2","0","-6","0","0","0","10","0","10","0","-4","0","3","0","-2","0","2","0","-12","0","24","0","3","0","9","0","4","0","-10","0","3","0","-22","0","14","0","-28","0","0","0","-18","0","-2","0","-6","0","20","0","-8","0","5","0","-4","0","-7","0","-24","0","15","0","-2","0","-22","0","-9","0","12","0","7","0","28","0","-7","0","-26","0","12","0","-2","0","-24","0","-12","0","-20","0","-8","0","6","0","-14","0","18","0","15","0","-40","0","-4","0","-3","0","-4","0","-3","0","12","0","-1","0","0","0","-12","0","16","0","20","0","6","0","1","0","5","0","-18","0","-22","0","-8","0","3","0","2","0","6","0","4","0","-20","0","8","0","28","0","-22","0","4","0","15","0","5","0","-24","0","40","0","-38","0","12","0","20","0","3","0","6","0","-12","0","-12","0","18","0","2","0","44","0","2","0","-24","0","32","0","-20","0","36","0","34","0","6","0","24","0","-6","0","-20","0","18","0","10","0","28","0","3","0","30","0","-56","0","-4","0","-4","0","0","0","13","0","40","0","-36","0","23","0","8","0","-4","0","15","0","26","0","-3","0","26","0","22","0","40","0","38","0","33","0","-16","0","18","0","-24","0","-20","0","42","0","12","0","-8","0","-12","0","36","0","-14","0","-34","0","2","0","-12","0","2","0","-20","0","30","0","-45","0","-3","0","-4","0","-34","0","-30","0","-11","0","-12","0","-4","0","-18","0","0","0","-4","0","24","0","0","0","12","0","-28","0","-39","0","-12","0","56","0","30","0","-3","0","-14","0","54","0","-47","0","-13","0","-40","0","-34","0","24","0","20","0","-16","0","-4","0","-8","0","-40","0","-12","0","-9","0","-18","0","-24","0","-42","0","5","0","-40","0","36","0","-18","0","-22","0","-20","0","16","0","12","0","24","0","24","0","-28","0","53","0","6","0","9","0","-53","0","12","0","30","0","-55","0","-27","0","-80","0","30","0","-8","0","-2","0","67","0","12","0","-6","0","-7","0","-45","0","-8","0","-32","0","-7","0","12","0","10","0","-21","0","24","0","36","0","12","0","-2","0","-30","0","35","0","0","0","-23","0","-46","0","-24","0","-28","0","76","0","32","0","66","0","100","0","10","0","12","0","-44","0","12","0","47","0","16","0","2","0","-36","0","-54","0","-20","0","-22","0","35","0","-36","0","-27","0","7","0","-44","0","-33","0","26","0","-4","0","-33","0","20","0","6","0","5","0","-2","0","4","0","-52","0","-40","0","3","0","-60","0","42","0","8","0","56","0","-42","0","-40","0","16","0","-54","0","22","0","33","0","-2","0","56","0","12","0","13","0","-44","0","-24","0","20","0","2","0","39","0","15","0","30","0","-66","0","68","0","10","0","8","0","-2","0","-12","0","18","0","11","0","80","0","19","0","-28","0","-76","0","-42","0","2","0","-48","0","-12","0","-18","0","40","0","-21","0","-28","0","6","0","-2","0","-17","0","3","0","-16","0","53","0","-24","0","-6","0","-20","0","-24","0","-19","0","-32","0","9","0","28","0","-25","0","4","0","-60","0","0","0","88","0","0","0","-73","0","-8","0","72","0","28","0","-48","0","-6","0","96","0","64","0","-20","0","-32","0","-10","0","-24","0","82","0","72","0","-54","0","-5","0","68","0","-16","0","5","0","3","0","-18","0","20","0","48","0","15","0","22","0","-12","0","-80","0","4","0","26","0","18","0","-36","0","36","0","-30","0","-89","0","20","0","-2","0","12","0","14","0","-20","0","50","0","6","0","96","0","43","0","60","0","12","0","52","0","-28","0","-4","0","-2","0","-8","0","-1","0","27","0","-8","0","-70","0","0","0","0","0","34","0","11","0","26","0","54","0","18","0","80","0","12","0","-76","0","-18","0","45","0","-72","0","46","0","1","0","15","0","16","0","16","0","-30","0","-2","0","-36","0","37","0","30","0","66","0","-6","0","52","0","-47","0","-4","0","12","0","-44","0","102","0","52","0","-34","0","-18","0","44","0","-66","0","-34","0","20","0","-12","0","0","0","76","0","0","0","32","0","66","0","-15","0","-42","0","-8","0","8","0","9","0","36","0","66","0","41","0","-48","0","46","0","2","0","-55","0","60","0","-12","0","84","0","-60","0","-100","0","24","0","-8","0","-37","0","-4","0","-80","0","40","0","-24","0","32","0","-67","0","72","0","18","0","19","0","-7","0","-82","0","25","0","-68","0","-90","0","74","0","4","0","-3","0","-78","0","48","0","-16","0","9","0","4","0","-41","0","8","0","-40","0","-96","0","-35","0","15","0","-52","0","-76","0","-90","0","-19","0","24","0","-6","0","29","0","-30","0","-2","0","55","0","90","0","-68","0","-72","0","-68","0","-60","0","-30","0","52","0","44","0"],"lmfdb":"agrees"},{"label":"508.2.a.c","letter":"c","dim":3,"charpoly":["-1","0","3","1"],"traces":["3","0","-3","0","0","0","-3","0","0","0","-6","0","-3","0","-9","0","-6","0","-3","0","12","0","-3","0","3","0","-6","0","-15","0","-12","0","-6","0","-18","0","-12","0","3","0","12","0","-3","0","18","0","-9","0","0","0","3","0","3","0","9","0","12","0","-6","0","-3","0","-18","0","9","0","-3","0","6","0","-3","0","15","0","6","0","-3","0","33","0","15","0","-6","0","9","0","12","0","9","0","-6","0","21","0","-18","0","15","0","39","0","-12","0","15","0","18","0","-18","0","-3","0","30","0","33","0","-9","0","-9","0","-3","0","21","0","-24","0","-27","0","3","0","3","0","18","0","21","0","0","0","-9","0","-3","0","27","0","-12","0","18","0","-9","0","-15","0","15","0","3","0","0","0","-12","0","3","0","12","0","-12","0","-9","0","-45","0","-18","0","-18","0","-30","0","24","0","12","0","-3","0","-12","0","21","0","-18","0","9","0","6","0","0","0","-12","0","18","0","-30","0","-21","0","-6","0","-3","0","0","0","-3","0","-3","0","15","0","-21","0","-18","0","12","0","12","0","15","0","6","0","-9","0","-27","0","15","0","15","0","21","0","-18","0","-42","0","-21","0","42","0","9","0","9","0","-6","0","-24","0","-30","0","9","0","18","0","-39","0","30","0","-6","0","-33","0","-27","0","-18","0","-21","0","24","0","-21","0","3","0","-39","0","-36","0","45","0","15","0","18","0","-12","0","-33","0","-6","0","-42","0","-9","0","-33","0","-6","0","21","0","51","0","0","0","-48","0","-42","0","-3","0","60","0","-9","0","36","0","9","0","36","0","-3","0","-30","0","-51","0","27","0","42","0","-54","0","18","0","-21","0","-48","0","-21","0","12","0","9","0","-6","0","-39","0","33","0","24","0","36","0","-21","0","30","0","-36","0","-12","0","-54","0","24","0","48","0","24","0","-30","0","36","0","42","0","15","0","-3","0","-27","0","18","0","18","0","0","0","0","0","45","0","-9","0","-66","0","-30","0","54","0","39","0","-9","0","-30","0","-12","0","45","0","15","0","63","0","-51","0","-9","0","24","0","-54","0","-24","0","3","0","33","0","-9","0","-75","0","54","0","12","0","-21","0","27","0","-21","0","27","0","3","0","21","0","36","0","-15","0","36","0","42","0","21","0","-9","0","87","0","63","0","-24","0","-15","0","-15","0","42","0","24","0","3","0","21","0","30","0","-15","0","9","0","-3","0","66","0","30","0","45","0","27","0","-33","0","-3","0","9","0","18","0","-45","0","27","0","9","0","39","0","6","0","63","0","-36","0","60","0","-12","0","-39","0","3","0","33","0","-60","0","-15","0","-48","0","-45","0","6","0","27","0","33","0","3","0","54","0","51","0","-72","0","-3","0","-24","0","72","0","12","0","-33","0","18","0","30","0","-9","0","-6","0","0","0","6","0","-9","0","15","0","6","0","12","0","-57","0","18","0","-63","0","-57","0","12","0","-21","0","-33","0","45","0","21","0","12","0","15","0","18","0","36","0","24","0","-66","0","27","0","33","0","-72","0","39","0","-84","0","-3","0","-36","0","-33","0","15","0","24","0","-30","0","-6","0","0","0","-9","0","60","0","-21","0","96","0","-9","0","-66","0","0","0","-84","0","-6","0","-81","0","-54","0","24","0","-21","0","-3","0","9","0","0","0","-69","0","-84","0","15","0","-33","0","-24","0","-24","0","27","0","-12","0","-90","0","-42","0","-39","0","69","0","-66","0","90","0","-36","0","-78","0","45","0","30","0","63","0","57","0","15","0","45","0","3","0","-63","0","69","0","-15","0","-78","0","-51","0","-60","0","-12","0","-60","0","-12","0","-12","0","-18","0","15","0","-21","0","-21","0","0","0","63","0","57","0","63","0","-57","0","15","0","-18","0","-21","0","0","0","72","0","-51","0","-54","0","6","0","-66","0","51","0","-15","0","-39","0","-102","0","-12","0","54","0","66","0","54","0","-57","0","-42","0","-24","0","57","0","-18","0","-102","0","18","0","9","0","-57","0","9","0","-21","0","27","0","60","0","12","0","-72","0","21","0","72","0","120","0","-138","0","-24","0","42","0","-39","0","75","0","0","0","36","0","78","0","-63","0","30","0","-45","0","-18","0","-57","0","-15","0","12","0","24","0","-9","0","0","0","-39","0","96","0","-66","0","-54","0","51","0","-3","0","12","0","-45","0","45","0","-3","0","3","0","99","0","-57","0","27","0","18","0","-3","0","-42","0","27","0","-63","0","-6","0","96","0","-27","0","6","0","27","0","-30","0","-111","0","-51","0","36","0","63","0","63","0","-12","0","30","0","3","0","-12","0","45","0","36","0","-9","0","-30","0","-45","0","-48","0","-69","0","24","0","0","0","63","0","-78","0","-42","0","-54","0","90","0","-36","0","63","0","99","0","9","0","-27","0","27","0","-30","0","-21","0","-33","0","-87","0","-6","0","3","0","-27","0","162","0","-72","0","63","0","-90","0","21","0","96","0","-33","0","72","0","60","0","78","0"],"lmfdb":"agrees"},{"label":"508.2.a.d","letter":"d","dim":3,"charpoly":["29","-4","-5","1"],"traces":["3","0","1","0","4","0","7","0","4","0","2","0","-7","0","3","0","-2","0","-3","0","4","0","1","0","-1","0","22","0","7","0","8","0","-12","0","18","0","8","0","-15","0","0","0","3","0","0","0","15","0","4","0","-15","0","11","0","1","0","-28","0","20","0","-19","0","4","0","-11","0","15","0","-14","0","-19","0","-25","0","-8","0","3","0","-3","0","19","0","8","0","-13","0","4","0","5","0","-18","0","1","0","-16","0","-21","0","-21","0","14","0","7","0","0","0","-6","0","-9","0","18","0","-3","0","-9","0","-33","0","-15","0","-19","0","0","0","3","0","-3","0","-21","0","6","0","-19","0","24","0","-7","0","23","0","-17","0","8","0","18","0","-3","0","1","0","-19","0","-21","0","2","0","12","0","35","0","-8","0","-40","0","-9","0","21","0","-10","0","-46","0","34","0","22","0","16","0","21","0","-26","0","-3","0","-38","0","13","0","46","0","20","0","10","0","-18","0","10","0","-9","0","10","0","25","0","0","0","-17","0","25","0","-9","0","-13","0","18","0","10","0","12","0","19","0","-28","0","-41","0","25","0","7","0","-21","0","-21","0","34","0","64","0","-17","0","14","0","7","0","47","0","34","0","56","0","42","0","15","0","-6","0","-11","0","-30","0","4","0","43","0","-15","0","38","0","11","0","-36","0","-33","0","7","0","5","0","16","0","-31","0","15","0","-18","0","0","0","-25","0","-50","0","38","0","11","0","-9","0","12","0","21","0","51","0","-8","0","-30","0","64","0","19","0","-32","0","-21","0","28","0","3","0","-30","0","41","0","10","0","-35","0","49","0","-34","0","90","0","46","0","1","0","-34","0","7","0","2","0","-3","0","12","0","13","0","-75","0","32","0","-60","0","-21","0","16","0","12","0","-8","0","-56","0","36","0","0","0","-4","0","18","0","-48","0","-18","0","11","0","-1","0","-23","0","18","0","-54","0","40","0","24","0","-41","0","13","0","18","0","-46","0","-96","0","-17","0","51","0","-10","0","-8","0","-75","0","31","0","-33","0","33","0","-41","0","-58","0","-38","0","-16","0","-27","0","39","0","7","0","45","0","0","0","38","0","-47","0","-45","0","-13","0","3","0","-31","0","-3","0","0","0","-35","0","-36","0","14","0","-33","0","-35","0","3","0","15","0","38","0","61","0","-23","0","24","0","-8","0","107","0","-43","0","-34","0","-17","0","-59","0","-15","0","34","0","-32","0","-15","0","-33","0","-79","0","9","0","41","0","10","0","67","0","71","0","45","0","-81","0","-64","0","9","0","32","0","40","0","-64","0","-15","0","-41","0","5","0","-44","0","61","0","0","0","39","0","40","0","7","0","-7","0","-33","0","-50","0","-17","0","-36","0","-19","0","10","0","72","0","-20","0","15","0","12","0","22","0","17","0","70","0","-84","0","0","0","59","0","-17","0","122","0","-72","0","-25","0","-24","0","-33","0","15","0","4","0","-87","0","-59","0","-39","0","-47","0","18","0","45","0","4","0","-34","0","40","0","4","0","-13","0","35","0","0","0","-9","0","14","0","-11","0","8","0","11","0","27","0","28","0","18","0","46","0","-4","0","-5","0","-4","0","13","0","48","0","-33","0","22","0","4","0","16","0","-22","0","-23","0","30","0","-10","0","-1","0","57","0","-39","0","-8","0","-17","0","-16","0","31","0","-47","0","-68","0","-80","0","-55","0","44","0","-2","0","-22","0","-57","0","21","0","-54","0","34","0","0","0","86","0","-19","0","10","0","-21","0","81","0","23","0","109","0","13","0","7","0","-3","0","37","0","16","0","69","0","22","0","60","0","40","0","6","0","-24","0","-42","0","5","0","51","0","111","0","30","0","31","0","161","0","33","0","-11","0","51","0","-46","0","31","0","0","0","36","0","-59","0","-12","0","-56","0","32","0","-45","0","-11","0","-27","0","90","0","0","0","-6","0","46","0","4","0","-17","0","64","0","14","0","41","0","72","0","2","0","-2","0","83","0","-37","0","-21","0","71","0","19","0","84","0","-82","0","-64","0","27","0","-66","0","48","0","-6","0","36","0","-22","0","57","0","-77","0","-40","0","-52","0","64","0","69","0","-62","0","19","0","-12","0","-53","0","33","0","36","0","-58","0","-45","0","-18","0","47","0","0","0","44","0","66","0","1","0","-67","0","-40","0","-83","0","9","0","-67","0","-21","0","-83","0","-9","0","45","0","-4","0","-7","0","-54","0","15","0","7","0","42","0","10","0","-9","0","-54","0","-97","0","-14","0","63","0","-15","0","-48","0","-33","0","-17","0","36","0","-38","0","51","0","-164","0","133","0","10","0","-37","0","-34","0","-7","0","76","0","-117","0","-68","0","0","0","87","0","-78","0","38","0","114","0","22","0","42","0","-21","0","-9","0","-63","0","-111","0","71","0","-8","0","45","0","87","0","57","0","60","0","-117","0","-33","0","-38","0","88","0","-7","0","-38","0","9","0","38","0","-69","0","16","0","80","0","138","0"],"lmfdb":"agrees"}],"seconds":0.201,"computed":"atlas","estimate":{"seconds":0.344,"low":0.21,"high":0.595,"bytes":2005648}}