{"label":"172.2.a","level":172,"weight":2,"dims":{"new":3,"cusp":20,"eisenstein":5,"modsym":45},"old":[[43,3,3],[86,4,2]],"T":[[3,1],[5,3]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 43, 86, 172]: [0, 1, 2, 4, 13, 25] (certified at ell = 2147483647)","T = [(3, 1), (5, 3)]; h of degree 3 = 1 x 3 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"172.2.a.a","letter":"a","dim":1,"charpoly":["2","1"],"traces":["1","0","-2","0","0","0","-4","0","1","0","-3","0","-1","0","0","0","-3","0","2","0","8","0","-3","0","-5","0","4","0","6","0","5","0","6","0","0","0","8","0","2","0","-3","0","1","0","0","0","-12","0","9","0","6","0","-9","0","0","0","-4","0","-12","0","-10","0","-4","0","0","0","11","0","6","0","6","0","-10","0","10","0","12","0","8","0","-11","0","-15","0","0","0","-12","0","0","0","4","0","-10","0","0","0","-1","0","-3","0","3","0","-13","0","0","0","12","0","11","0","-16","0","-12","0","0","0","-1","0","12","0","-2","0","6","0","0","0","11","0","-2","0","0","0","-8","0","0","0","-18","0","5","0","24","0","3","0","0","0","-18","0","12","0","-16","0","-3","0","0","0","14","0","18","0","12","0","14","0","0","0","21","0","-12","0","2","0","6","0","20","0","24","0","-24","0","-22","0","20","0","0","0","9","0","-16","0","24","0","11","0","0","0","-6","0","2","0","-22","0","-24","0","0","0","-3","0","-6","0","-10","0","-12","0","0","0","-20","0","20","0","3","0","8","0","-5","0","-12","0","5","0","-24","0","-18","0","0","0","-16","0","0","0","-4","0","10","0","0","0","-2","0","30","0","-9","0","9","0","0","0","-12","0","-32","0","6","0","-6","0","0","0","0","0","27","0","5","0","-8","0","15","0","-28","0","5","0","27","0","-13","0","0","0","12","0","-8","0","2","0","6","0","0","0","-12","0","3","0","-4","0","-6","0","0","0","-25","0","26","0","-27","0","26","0","0","0","21","0","-18","0","-24","0","-6","0","5","0","-22","0","48","0","-10","0","8","0","0","0","29","0","24","0","-15","0","-8","0","0","0","24","0","2","0","-4","0","33","0","0","0","-24","0","-15","0","-15","0","4","0","0","0","-16","0","-3","0","36","0","8","0","0","0","-6","0","5","0","-22","0","0","0","0","0","1","0","6","0","9","0","0","0","0","0","2","0","16","0","-3","0","-5","0","0","0","-24","0","20","0","36","0","48","0","0","0","-10","0","-24","0","-10","0","-12","0","15","0","40","0","-6","0","9","0","-16","0","0","0","-6","0","35","0","9","0","-36","0","0","0","-24","0","18","0","9","0","32","0","0","0","26","0","-12","0","-18","0","8","0","0","0","18","0","-44","0","-28","0","-3","0","-10","0","-9","0","-33","0","-8","0","-24","0","0","0","-28","0","-28","0","18","0","-18","0","0","0","-24","0","-4","0","-42","0","-6","0","0","0","24","0","-27","0","40","0","8","0","0","0","36","0","-12","0","18","0","8","0","-40","0","-15","0","-14","0","-12","0","3","0","0","0","48","0","-27","0","-43","0","44","0","0","0","-19","0","-10","0","12","0","-32","0","0","0","33","0","-1","0","-18","0","-21","0","0","0","44","0","-9","0","26","0","-48","0","15","0","32","0","-22","0","60","0","27","0","0","0","30","0","10","0","12","0","-36","0","0","0","-4","0","-3","0","-28","0","11","0","0","0","-4","0","48","0","12","0","-10","0","0","0","-21","0","-4","0","-12","0","0","0","25","0","12","0","-24","0","-10","0","20","0","0","0","-9","0","6","0","0","0","-4","0","0","0","-12","0","36","0","40","0","18","0","0","0","-10","0","3","0","35","0","-6","0","0","0","-18","0","-16","0","30","0","2","0","-20","0","-6","0","4","0","24","0","9","0","0","0","-10","0","9","0","-28","0","12","0","0","0","9","0","36","0","-18","0","16","0","0","0","-12","0","-37","0","8","0","-15","0","0","0","0","0","-48","0","52","0","8","0","-30","0","8","0","13","0","-3","0","32","0","0","0","-33","0","2","0","4","0","0","0","0","0","-15","0","-48","0","2","0","18","0","0","0","20","0","-18","0","-36","0","-44","0","0","0","12","0","-34","0","24","0","24","0","-25","0","64","0","-6","0","-18","0","24","0","0","0","20","0","12","0","48","0","10","0","0","0","6","0","36","0","0","0","30","0","0","0","-54","0","-6","0","2","0","-10","0","0","0","2","0","4","0","-3","0","-19","0","-30","0","-12","0","-4","0","56","0","-27","0","0","0","20","0","-36","0","7","0","-54","0","0","0","8","0","26","0","-24","0","-1","0","0","0","-42","0","8","0","-24","0","-18","0","0","0","16","0","-24","0","-11","0","-1","0","0","0","-43","0","-12","0","-51","0","-31","0","0","0","-18","0","-44","0","33","0","-24","0","0","0","-6","0","30","0","27","0","8","0","0","0","-7","0","3","0","-54","0","45","0","0","0","0","0","29","0","50","0","-6","0","-40","0","-13","0","-54","0","18","0","54","0","0","0","20","0","-52","0","21","0","9","0","0","0","9","0","10","0","-42","0","-6","0","0","0","36","0","72","0","-6","0","12","0","0","0","23","0","12","0","21","0","-20","0","-10","0","18","0","0","0","11","0","60","0","0","0","-96","0","-3","0","-22","0","20","0","0","0","8","0","32","0"],"lmfdb":"agrees","curve":{"cremona":"172a1","lmfdb":"172.a","ainvs":[0,1,0,-13,15],"rank":1,"torsion":3}},{"label":"172.2.a.b","letter":"b","dim":2,"charpoly":["-4","-4","1"],"traces":["2","0","4","0","0","0","0","0","6","0","2","0","-6","0","-4","0","2","0","-4","0","-4","0","6","0","-6","0","16","0","-4","0","-2","0","-4","0","4","0","-8","0","-20","0","-2","0","-2","0","-16","0","12","0","-10","0","12","0","-10","0","8","0","-16","0","4","0","4","0","-16","0","8","0","-2","0","12","0","20","0","4","0","-12","0","8","0","-4","0","46","0","14","0","-8","0","4","0","8","0","8","0","12","0","8","0","22","0","-26","0","-10","0","-10","0","8","0","20","0","10","0","-8","0","16","0","0","0","-50","0","-8","0","-4","0","-28","0","0","0","-10","0","-4","0","8","0","8","0","-32","0","12","0","-18","0","40","0","10","0","-12","0","-20","0","-40","0","0","0","38","0","-16","0","-4","0","-28","0","0","0","12","0","12","0","30","0","8","0","-44","0","-12","0","0","0","16","0","-16","0","0","0","36","0","-8","0","-14","0","-32","0","-8","0","14","0","28","0","-16","0","12","0","-28","0","-12","0","24","0","18","0","12","0","-20","0","32","0","0","0","-16","0","4","0","-22","0","24","0","-18","0","8","0","-34","0","12","0","-36","0","-16","0","-16","0","-12","0","24","0","92","0","0","0","28","0","28","0","-18","0","6","0","-20","0","8","0","-8","0","36","0","20","0","8","0","4","0","10","0","-14","0","28","0","-6","0","32","0","58","0","2","0","-14","0","24","0","24","0","-16","0","36","0","8","0","-8","0","-48","0","-18","0","0","0","-28","0","-28","0","26","0","-12","0","-38","0","20","0","12","0","-58","0","-28","0","40","0","-20","0","18","0","20","0","-16","0","12","0","8","0","24","0","-18","0","8","0","-34","0","0","0","-12","0","0","0","28","0","-112","0","-10","0","8","0","-20","0","-34","0","-14","0","-24","0","4","0","20","0","-102","0","8","0","-40","0","32","0","-12","0","-14","0","20","0","16","0","4","0","-6","0","-20","0","6","0","48","0","8","0","24","0","24","0","-10","0","-26","0","-48","0","-24","0","-32","0","16","0","-8","0","0","0","4","0","32","0","60","0","100","0","-6","0","-28","0","36","0","-6","0","48","0","-16","0","-12","0","10","0","-30","0","4","0","12","0","-88","0","28","0","46","0","12","0","-12","0","-12","0","80","0","-16","0","-16","0","-28","0","60","0","24","0","-40","0","-2","0","12","0","-62","0","10","0","8","0","-12","0","8","0","24","0","-12","0","-20","0","20","0","8","0","8","0","-24","0","44","0","28","0","8","0","64","0","2","0","4","0","-96","0","-8","0","-20","0","-40","0","52","0","-24","0","12","0","30","0","-28","0","44","0","54","0","0","0","4","0","-10","0","-22","0","-48","0","0","0","46","0","124","0","-16","0","8","0","0","0","14","0","6","0","-28","0","-10","0","24","0","-48","0","-42","0","4","0","-24","0","-18","0","0","0","12","0","0","0","6","0","72","0","60","0","-28","0","24","0","0","0","4","0","-8","0","18","0","32","0","-102","0","16","0","-48","0","-16","0","-68","0","24","0","52","0","6","0","-24","0","48","0","12","0","-2","0","32","0","8","0","4","0","-48","0","-40","0","30","0","28","0","16","0","-76","0","4","0","32","0","-12","0","-28","0","-20","0","-32","0","-4","0","-2","0","-42","0","-76","0","-8","0","-12","0","36","0","-52","0","-36","0","-48","0","36","0","8","0","-32","0","-22","0","8","0","-68","0","46","0","-24","0","8","0","-40","0","-50","0","-80","0","24","0","0","0","-56","0","8","0","42","0","-44","0","-6","0","-16","0","-48","0","32","0","-8","0","0","0","12","0","16","0","138","0","-2","0","-16","0","20","0","46","0","36","0","96","0","8","0","8","0","42","0","0","0","-36","0","-92","0","-12","0","-32","0","-12","0","64","0","0","0","-40","0","-28","0","-48","0","52","0","-16","0","6","0","0","0","52","0","36","0","64","0","32","0","-28","0","0","0","24","0","-68","0","36","0","72","0","44","0","-24","0","12","0","12","0","36","0","24","0","-28","0","-12","0","36","0","4","0","72","0","-50","0","-30","0","12","0","-24","0","16","0","84","0","-10","0","16","0","112","0","64","0","-14","0","-28","0","-48","0","16","0","-44","0","-24","0","-10","0","56","0","-12","0","0","0","52","0","20","0","16","0","-16","0","12","0","54","0","34","0","-32","0","2","0","16","0","-26","0","-22","0","-24","0","28","0","-40","0","-50","0","-56","0","-36","0","-60","0","52","0","-26","0","4","0","48","0","38","0","-62","0","-12","0","14","0","-64","0","-32","0","50","0","60","0","-44","0","24","0","2","0","92","0","20","0","-92","0","0","0","-64","0","-12","0","-66","0","-6","0","32","0","62","0","-4","0","-108","0","52","0","8","0","-28","0","8","0","4","0","60","0","16","0","-2","0","-64","0","26","0","-40","0","60","0","-32","0","32","0","30","0","0","0","-56","0","-56","0","-6","0","-44","0","92","0","32","0","8","0","0","0"],"lmfdb":"agrees"}],"seconds":0.203,"computed":"atlas","estimate":{"seconds":0.233,"low":0.142,"high":0.404,"bytes":1852310}}