{"label":"424.2.a","level":424,"weight":2,"dims":{"new":13,"cusp":51,"eisenstein":7,"modsym":109},"old":[[53,4,4],[106,4,3],[212,5,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 8, 53, 106, 212, 424]: [0, 1, 2, 3, 5, 15, 30, 58] (certified at ell = 2147483053)","T = [(3, 1), (5, 1)]; h of degree 13 = 1 x 13 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"424.2.a.a","letter":"a","dim":2,"charpoly":["7","6","1"],"traces":["2","0","-2","0","-4","0","4","0","0","0","-4","0","-6","0","4","0","-6","0","-2","0","-12","0","-2","0","-2","0","-2","0","-10","0","4","0","-4","0","-8","0","-2","0","14","0","-12","0","8","0","0","0","4","0","10","0","6","0","-2","0","8","0","14","0","-4","0","12","0","16","0","12","0","-4","0","6","0","-18","0","-12","0","2","0","8","0","10","0","-2","0","-18","0","12","0","10","0","4","0","-28","0","12","0","4","0","-10","0","16","0","0","0","30","0","24","0","8","0","0","0","-14","0","10","0","4","0","-16","0","-12","0","2","0","28","0","24","0","14","0","-24","0","-8","0","-28","0","4","0","-4","0","12","0","20","0","-4","0","20","0","-42","0","-2","0","-14","0","0","0","-8","0","-12","0","2","0","-12","0","8","0","8","0","14","0","8","0","-24","0","4","0","-4","0","-4","0","-42","0","-36","0","-12","0","4","0","12","0","4","0","-6","0","4","0","-28","0","4","0","-4","0","4","0","-20","0","24","0","-8","0","-20","0","-20","0","30","0","-16","0","-24","0","28","0","18","0","24","0","0","0","-32","0","-2","0","-8","0","24","0","-8","0","10","0","-20","0","-22","0","32","0","-20","0","30","0","14","0","-28","0","-4","0","-12","0","-32","0","28","0","0","0","36","0","4","0","-4","0","6","0","-4","0","68","0","4","0","8","0","-32","0","14","0","-22","0","-28","0","-56","0","-16","0","-30","0","-36","0","8","0","12","0","14","0","48","0","-32","0","-24","0","-32","0","-42","0","48","0","-16","0","-32","0","14","0","20","0","-8","0","6","0","6","0","32","0","-40","0","-8","0","32","0","8","0","32","0","30","0","-40","0","56","0","-12","0","20","0","-20","0","-2","0","-8","0","36","0","36","0","-22","0","0","0","30","0","24","0","16","0","-32","0","-4","0","32","0","-24","0","30","0","10","0","-34","0","52","0","-16","0","32","0","0","0","6","0","-8","0","-20","0","-4","0","60","0","32","0","20","0","4","0","36","0","18","0","4","0","8","0","36","0","-44","0","36","0","-52","0","-48","0","6","0","24","0","12","0","20","0","34","0","-20","0","14","0","20","0","64","0","38","0","-8","0","-22","0","-30","0","-8","0","10","0","56","0","-28","0","6","0","-18","0","-6","0","-24","0","16","0","-8","0","12","0","16","0","2","0","0","0","-46","0","-26","0","28","0","20","0","8","0","8","0","2","0","30","0","-32","0","-60","0","2","0","-50","0","-12","0","0","0","-56","0","-12","0","-56","0","-10","0","-60","0","-56","0","-20","0","38","0","28","0","12","0","-12","0","-40","0","16","0","68","0","-16","0","38","0","44","0","-12","0","36","0","0","0","24","0","0","0","10","0","-20","0","28","0","-40","0","-56","0","12","0","2","0","-20","0","-52","0","72","0","-60","0","-38","0","2","0","-4","0","44","0","-28","0","4","0","32","0","12","0","44","0","-68","0","-74","0","24","0","12","0","-76","0","-56","0","0","0","-4","0","-32","0","60","0","36","0","-32","0","-56","0","16","0","28","0","-2","0","8","0","-38","0","4","0","6","0","-22","0","12","0","-28","0","-94","0","-24","0","-44","0","16","0","48","0","-48","0","24","0","40","0","20","0","16","0","-32","0","12","0","38","0","-42","0","56","0","10","0","-72","0","-24","0","-12","0","2","0","32","0","60","0","64","0","-20","0","8","0","34","0","6","0","6","0","0","0","-24","0","36","0","-40","0","84","0","-46","0","-40","0","64","0","-60","0","-40","0","12","0","8","0","4","0","12","0","84","0","-26","0","10","0","-100","0","-42","0","-24","0","-4","0","84","0","8","0","-62","0","-74","0","8","0","4","0","8","0","16","0","24","0","28","0","28","0","-6","0","4","0","28","0","-64","0","0","0","-4","0","-36","0","48","0","20","0","-4","0","-52","0","60","0","12","0","10","0","24","0","36","0","-36","0","-60","0","-36","0","-4","0","-20","0","-12","0","0","0","-8","0","24","0","42","0","44","0","-40","0","28","0","-16","0","-56","0","-80","0","80","0","28","0","4","0","38","0","36","0","24","0","-30","0","-28","0","-20","0","-4","0","-8","0","10","0","-16","0","-60","0","50","0","-14","0","-32","0","48","0","36","0","-12","0","136","0","-44","0","-8","0","16","0","-60","0","12","0","80","0","48","0","-12","0","36","0","28","0","76","0","8","0","10","0","68","0","-44","0","68","0","84","0","-34","0","-20","0","6","0","-112","0","72","0","-88","0","64","0","-24","0","44","0","24","0","16","0","-26","0","-16","0","78","0","2","0","24","0","-20","0","-106","0","-64","0","-24","0","-58","0","32","0","12","0","28","0","-8","0","68","0","68","0","-54","0","60","0","12","0","20","0","-8","0","10","0","0","0","-8","0","92","0","-42","0","48","0","88","0","-14","0","-72","0","-8","0","-64","0","-12","0","-8","0","72","0","-24","0","-32","0","56","0","8","0","-26","0","18","0"],"lmfdb":"agrees"},{"label":"424.2.a.b","letter":"b","dim":3,"charpoly":["-5","-1","3","1"],"traces":["3","0","-1","0","-2","0","-8","0","-2","0","-4","0","-1","0","-8","0","-5","0","-9","0","-2","0","-5","0","5","0","-1","0","-5","0","-10","0","10","0","4","0","11","0","-9","0","-2","0","6","0","0","0","-14","0","11","0","7","0","3","0","-16","0","1","0","-6","0","6","0","16","0","-2","0","10","0","13","0","-13","0","22","0","29","0","12","0","-7","0","-9","0","11","0","26","0","-7","0","-26","0","24","0","8","0","16","0","3","0","4","0","-8","0","19","0","20","0","18","0","-4","0","9","0","-15","0","-4","0","22","0","-20","0","-9","0","22","0","-48","0","-9","0","16","0","-14","0","18","0","28","0","-38","0","14","0","-22","0","4","0","22","0","11","0","-3","0","-31","0","-30","0","8","0","2","0","-1","0","-2","0","22","0","-8","0","-37","0","4","0","0","0","6","0","-20","0","-2","0","7","0","-14","0","12","0","-46","0","-16","0","6","0","-3","0","26","0","0","0","14","0","8","0","4","0","12","0","-56","0","-12","0","2","0","30","0","-29","0","-20","0","16","0","-16","0","-65","0","-30","0","-10","0","-14","0","-1","0","-16","0","-20","0","44","0","-19","0","26","0","-41","0","16","0","18","0","-9","0","-27","0","-34","0","14","0","36","0","4","0","-16","0","2","0","10","0","-2","0","-18","0","-41","0","-38","0","-2","0","48","0","-32","0","-4","0","-9","0","37","0","34","0","20","0","80","0","-19","0","-2","0","24","0","-26","0","-29","0","-36","0","42","0","0","0","-4","0","5","0","-4","0","40","0","12","0","41","0","-12","0","4","0","43","0","-15","0","-44","0","56","0","-48","0","6","0","-68","0","16","0","-9","0","12","0","-28","0","6","0","34","0","-18","0","7","0","24","0","52","0","26","0","25","0","-22","0","-1","0","4","0","-42","0","16","0","-8","0","72","0","-28","0","-1","0","-63","0","-13","0","-18","0","52","0","-24","0","48","0","47","0","36","0","-12","0","46","0","16","0","4","0","-18","0","30","0","24","0","73","0","52","0","4","0","60","0","-44","0","-14","0","50","0","28","0","-43","0","-48","0","18","0","-24","0","3","0","32","0","19","0","-26","0","-62","0","-33","0","52","0","41","0","39","0","60","0","39","0","28","0","-18","0","19","0","-55","0","-67","0","28","0","-20","0","20","0","36","0","8","0","-39","0","-2","0","1","0","23","0","-4","0","14","0","-8","0","-68","0","-23","0","31","0","20","0","58","0","57","0","3","0","-2","0","-68","0","-36","0","-10","0","-60","0","15","0","-20","0","-16","0","78","0","-83","0","-38","0","-58","0","50","0","-34","0","-8","0","30","0","12","0","-67","0","-40","0","6","0","-18","0","32","0","-66","0","-36","0","25","0","78","0","-68","0","32","0","-42","0","-50","0","-7","0","6","0","-20","0","-64","0","34","0","-11","0","29","0","-54","0","-88","0","-50","0","-4","0","24","0","-44","0","36","0","-38","0","19","0","-108","0","82","0","2","0","4","0","40","0","26","0","-16","0","22","0","42","0","32","0","-52","0","44","0","-32","0","-17","0","88","0","79","0","-36","0","-97","0","25","0","18","0","12","0","-113","0","32","0","18","0","-32","0","-32","0","74","0","-12","0","8","0","-58","0","-24","0","-16","0","18","0","-43","0","87","0","-48","0","1","0","-48","0","-12","0","42","0","-87","0","104","0","12","0","-64","0","22","0","-48","0","53","0","-1","0","-37","0","-44","0","64","0","-98","0","0","0","-86","0","-59","0","72","0","16","0","-6","0","64","0","32","0","24","0","-76","0","86","0","-66","0","-5","0","-63","0","-78","0","7","0","34","0","50","0","-4","0","48","0","-11","0","37","0","14","0","-50","0","-28","0","-92","0","-16","0","24","0","-24","0","31","0","-32","0","2","0","72","0","-56","0","-22","0","2","0","40","0","-34","0","-10","0","-46","0","-30","0","-26","0","29","0","-12","0","66","0","32","0","72","0","-66","0","-8","0","54","0","2","0","36","0","-48","0","0","0","5","0","70","0","14","0","74","0","116","0","-16","0","-72","0","52","0","-30","0","10","0","-21","0","-30","0","40","0","171","0","96","0","0","0","30","0","-60","0","53","0","72","0","12","0","-7","0","-19","0","8","0","-16","0","22","0","-2","0","-56","0","74","0","-108","0","-88","0","26","0","90","0","18","0","144","0","-22","0","-22","0","-78","0","78","0","36","0","-63","0","50","0","-12","0","50","0","72","0","57","0","18","0","-5","0","-20","0","24","0","-78","0","0","0","76","0","-82","0","-12","0","8","0","-5","0","-44","0","51","0","121","0","-28","0","14","0","7","0","-36","0","16","0","11","0","-14","0","22","0","10","0","-80","0","-44","0","-10","0","45","0","30","0","-12","0","-18","0","96","0","-49","0","-56","0","108","0","-32","0","-23","0","-26","0","-32","0","29","0","12","0","0","0","64","0","-6","0","-40","0","44","0","28","0","26","0","32","0","-108","0","33","0","-55","0"],"lmfdb":"agrees"},{"label":"424.2.a.c","letter":"c","dim":3,"charpoly":["43","-7","-5","1"],"traces":["3","0","2","0","3","0","6","0","1","0","5","0","-6","0","6","0","-3","0","0","0","4","0","11","0","2","0","8","0","0","0","9","0","-10","0","6","0","0","0","-8","0","10","0","-9","0","-5","0","16","0","-9","0","-10","0","-3","0","11","0","-18","0","11","0","-10","0","2","0","-20","0","-12","0","4","0","-4","0","-8","0","-4","0","10","0","-9","0","3","0","-2","0","-31","0","-4","0","13","0","-12","0","2","0","16","0","-15","0","-31","0","-5","0","8","0","12","0","-12","0","-7","0","12","0","-27","0","-27","0","4","0","-6","0","8","0","-28","0","21","0","37","0","-10","0","-8","0","0","0","-16","0","12","0","-24","0","28","0","-16","0","-14","0","-6","0","16","0","16","0","11","0","-5","0","-9","0","-2","0","22","0","-15","0","10","0","13","0","-13","0","-52","0","31","0","4","0","46","0","22","0","10","0","-16","0","42","0","-17","0","16","0","-3","0","0","0","-12","0","42","0","56","0","28","0","0","0","-6","0","35","0","52","0","7","0","-46","0","-23","0","18","0","-4","0","34","0","36","0","-44","0","16","0","-48","0","-20","0","4","0","24","0","8","0","31","0","17","0","-14","0","-9","0","-16","0","42","0","-10","0","-13","0","-6","0","-10","0","0","0","6","0","5","0","-3","0","30","0","26","0","4","0","-16","0","48","0","-39","0","9","0","19","0","-2","0","0","0","20","0","8","0","-26","0","-20","0","41","0","-12","0","16","0","-18","0","-42","0","10","0","45","0","-22","0","-4","0","-22","0","-10","0","30","0","-6","0","-36","0","-32","0","-38","0","-26","0","32","0","-12","0","-18","0","-44","0","-50","0","-10","0","9","0","-60","0","22","0","7","0","-21","0","8","0","-20","0","-24","0","-20","0","5","0","29","0","0","0","-56","0","28","0","-50","0","-6","0","-71","0","-26","0","14","0","-24","0","80","0","-31","0","22","0","3","0","17","0","65","0","-12","0","-39","0","-5","0","-36","0","-2","0","-4","0","31","0","18","0","-9","0","60","0","22","0","18","0","-84","0","46","0","53","0","32","0","-70","0","-20","0","0","0","-40","0","-36","0","0","0","-66","0","6","0","-3","0","-80","0","35","0","76","0","-28","0","70","0","-50","0","-40","0","-10","0","40","0","28","0","-19","0","18","0","28","0","-24","0","-2","0","-21","0","84","0","-1","0","-24","0","-42","0","8","0","-71","0","12","0","-6","0","-14","0","28","0","-53","0","-8","0","56","0","64","0","-40","0","-35","0","-6","0","-22","0","-16","0","-50","0","44","0","0","0","18","0","67","0","-19","0","-8","0","19","0","82","0","51","0","-4","0","48","0","-46","0","-15","0","22","0","-44","0","-29","0","20","0","-42","0","-16","0","-18","0","0","0","5","0","32","0","-30","0","-4","0","1","0","6","0","20","0","-34","0","36","0","-100","0","-63","0","52","0","-4","0","-5","0","44","0","5","0","-16","0","12","0","32","0","-62","0","80","0","-2","0","90","0","100","0","42","0","58","0","-8","0","-40","0","45","0","20","0","-12","0","-13","0","102","0","26","0","29","0","68","0","-84","0","48","0","78","0","99","0","18","0","-68","0","22","0","-17","0","-18","0","22","0","-29","0","4","0","-28","0","-84","0","48","0","50","0","38","0","16","0","32","0","38","0","52","0","22","0","-7","0","-68","0","26","0","-30","0","52","0","27","0","36","0","-20","0","6","0","-32","0","-62","0","-104","0","22","0","72","0","-10","0","48","0","32","0","-10","0","25","0","55","0","71","0","-84","0","6","0","20","0","16","0","-50","0","-34","0","84","0","-29","0","37","0","-116","0","-18","0","-124","0","-36","0","18","0","-50","0","34","0","66","0","-24","0","-98","0","72","0","-12","0","-42","0","-106","0","-26","0","-14","0","73","0","-52","0","50","0","36","0","-73","0","-28","0","24","0","72","0","60","0","24","0","5","0","22","0","-86","0","-54","0","0","0","-6","0","69","0","-32","0","25","0","-64","0","-54","0","-48","0","30","0","-57","0","20","0","-1","0","-16","0","8","0","-45","0","-2","0","72","0","-4","0","123","0","6","0","9","0","75","0","48","0","12","0","-73","0","-30","0","49","0","16","0","-82","0","-114","0","110","0","-84","0","-45","0","-49","0","-56","0","-80","0","-31","0","-32","0","-73","0","56","0","19","0","42","0","-30","0","-24","0","72","0","-48","0","22","0","-85","0","74","0","17","0","-36","0","-6","0","-26","0","14","0","3","0","-20","0","-62","0","53","0","-49","0","36","0","-70","0","-20","0","-16","0","-55","0","62","0","28","0","102","0","-88","0","-79","0","0","0","32","0","-135","0","-125","0","56","0","-14","0","50","0","-32","0","-68","0","64","0","40","0","34","0","51","0","-20","0","24","0","-52","0","-120","0","24","0","-48","0","-18","0","-33","0","-48","0","0","0","4","0","1","0","-23","0","14","0","-14","0","56","0","5","0","-36","0","-8","0","100","0","-24","0","-72","0"],"lmfdb":"agrees"},{"label":"424.2.a.d","letter":"d","dim":5,"charpoly":["46","-149","134","-22","-6","1"],"traces":["5","0","1","0","5","0","-6","0","12","0","5","0","9","0","6","0","8","0","7","0","2","0","-4","0","16","0","7","0","3","0","-7","0","-4","0","-6","0","3","0","-9","0","10","0","-7","0","15","0","-2","0","17","0","-11","0","5","0","-31","0","-7","0","25","0","6","0","-42","0","6","0","-18","0","-1","0","3","0","-20","0","5","0","-6","0","-14","0","-11","0","1","0","-31","0","-39","0","1","0","-28","0","-50","0","8","0","8","0","9","0","27","0","-53","0","-80","0","26","0","-3","0","-7","0","-10","0","33","0","8","0","18","0","-14","0","34","0","27","0","-22","0","-18","0","38","0","-22","0","12","0","16","0","-6","0","-22","0","12","0","-4","0","29","0","1","0","9","0","-25","0","19","0","-11","0","1","0","36","0","11","0","2","0","30","0","-18","0","64","0","-27","0","-64","0","12","0","13","0","10","0","-76","0","0","0","47","0","-50","0","48","0","28","0","68","0","2","0","-16","0","-44","0","52","0","14","0","13","0","6","0","1","0","-21","0","23","0","2","0","68","0","31","0","-14","0","69","0","38","0","23","0","84","0","-14","0","-8","0","63","0","-1","0","24","0","22","0","21","0","-21","0","-23","0","56","0","-41","0","-10","0","40","0","24","0","-22","0","17","0","5","0","-40","0","-15","0","-22","0","14","0","-20","0","81","0","-29","0","6","0","-33","0","-62","0","-40","0","11","0","39","0","20","0","-5","0","2","0","-61","0","-26","0","-56","0","-74","0","-19","0","13","0","84","0","-8","0","-118","0","-41","0","10","0","52","0","-37","0","43","0","18","0","-32","0","40","0","-34","0","44","0","44","0","-55","0","-33","0","-96","0","-144","0","-19","0","37","0","19","0","22","0","-68","0","134","0","0","0","4","0","-21","0","-4","0","-34","0","12","0","-6","0","5","0","66","0","-21","0","-23","0","-103","0","25","0","82","0","-41","0","1","0","-66","0","-108","0","-35","0","41","0","4","0","-60","0","6","0","65","0","6","0","-16","0","0","0","-130","0","-78","0","84","0","-20","0","11","0","-32","0","-41","0","4","0","-86","0","116","0","55","0","-184","0","71","0","-44","0","84","0","-57","0","-39","0","-11","0","59","0","6","0","-33","0","44","0","-18","0","-29","0","29","0","-76","0","-62","0","-44","0","60","0","90","0","-37","0","37","0","12","0","-19","0","19","0","-44","0","53","0","4","0","126","0","-25","0","41","0","-99","0","-62","0","-35","0","73","0","-18","0","53","0","-46","0","62","0","20","0","15","0","-48","0","4","0","-56","0","-76","0","11","0","-114","0","-25","0","33","0","167","0","58","0","-36","0","81","0","13","0","-2","0","114","0","31","0","62","0","60","0","41","0","-108","0","-12","0","-95","0","46","0","-12","0","-39","0","13","0","30","0","58","0","-52","0","11","0","-7","0","49","0","-36","0","-22","0","5","0","8","0","45","0","8","0","126","0","-1","0","182","0","-30","0","8","0","4","0","-80","0","-122","0","-142","0","150","0","58","0","29","0","184","0","42","0","23","0","-37","0","-18","0","-73","0","48","0","49","0","53","0","-48","0","-145","0","105","0","76","0","-6","0","83","0","110","0","-44","0","55","0","36","0","4","0","84","0","22","0","-52","0","27","0","-105","0","-88","0","83","0","56","0","86","0","-23","0","69","0","-4","0","42","0","-48","0","85","0","16","0","85","0","9","0","43","0","34","0","-64","0","24","0","80","0","-46","0","-43","0","112","0","-218","0","-81","0","69","0","43","0","-76","0","62","0","10","0","22","0","-63","0","-53","0","-6","0","-135","0","-17","0","-76","0","338","0","-80","0","-51","0","-19","0","44","0","72","0","-78","0","20","0","14","0","-108","0","-4","0","-3","0","142","0","22","0","-14","0","-209","0","38","0","-66","0","36","0","-55","0","10","0","50","0","-70","0","74","0","-91","0","-99","0","4","0","-50","0","78","0","-46","0","6","0","-21","0","30","0","39","0","-36","0","-114","0","41","0","-34","0","33","0","-46","0","1","0","-76","0","-144","0","43","0","16","0","-86","0","-77","0","61","0","110","0","-20","0","75","0","-52","0","66","0","18","0","27","0","-99","0","-28","0","-51","0","-25","0","-72","0","132","0","-17","0","-127","0","-96","0","-18","0","65","0","0","0","7","0","-34","0","63","0","-126","0","-86","0","146","0","20","0","-42","0","130","0","-94","0","-28","0","-87","0","-70","0","94","0","81","0","68","0","8","0","-64","0","38","0","139","0","163","0","-68","0","80","0","-272","0","-48","0","-34","0","-210","0","-5","0","-21","0","-92","0","45","0","-33","0","60","0","-61","0","58","0","-182","0","-170","0","-116","0","-136","0","-4","0","-102","0","-35","0","-130","0","223","0","106","0","-64","0","-22","0","44","0","24","0","40","0","33","0","73","0","120","0","45","0","-62","0","41","0","-71","0","-8","0","-118","0","20","0","-65","0","-34","0","160","0","-232","0","89","0","-31","0"],"lmfdb":"agrees"}],"seconds":0.199,"computed":"atlas","estimate":{"seconds":0.352,"low":0.215,"high":0.61,"bytes":2003257}}