{"label":"512.2.a","level":512,"weight":2,"dims":{"new":16,"cusp":49,"eisenstein":31,"modsym":129},"old":[[32,1,5],[64,1,4],[128,4,3],[256,6,2]],"T":[[3,1],[5,3]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 8, 16, 32, 64, 128, 256, 512]: [0, 1, 2, 3, 4, 6, 10, 18, 34, 66] (certified at ell = 2147483137)","T = [(3, 1), (5, 3)]; h of degree 16 = 1 x 16 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"512.2.a.a","letter":"a","dim":2,"charpoly":["2","4","1"],"traces":["2","0","-4","0","0","0","0","0","6","0","-4","0","0","0","0","0","0","0","-12","0","0","0","0","0","-10","0","-16","0","0","0","0","0","-4","0","0","0","0","0","0","0","-12","0","-12","0","0","0","0","0","-14","0","16","0","0","0","0","0","20","0","20","0","0","0","0","0","0","0","-12","0","0","0","0","0","0","0","20","0","0","0","0","0","46","0","-4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","36","0","0","0","0","0","0","0","28","0","0","0","0","0","-36","0","0","0","0","0","0","0","22","0","24","0","0","0","0","0","4","0","20","0","0","0","0","0","12","0","-12","0","0","0","0","0","0","0","28","0","0","0","0","0","-64","0","0","0","0","0","0","0","0","0","-36","0","0","0","0","0","-26","0","-20","0","0","0","0","0","-28","0","28","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","0","0","0","0","0","0","52","0","0","0","0","0","0","0","36","0","-36","0","0","0","0","0","0","0","48","0","0","0","0","0","-30","0","-4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-92","0","0","0","0","0","44","0","-44","0","0","0","0","0","60","0","0","0","0","0","0","0","0","0","-16","0","0","0","0","0","0","0","20","0","0","0","0","0","0","0","-36","0","0","0","0","0","30","0","-48","0","0","0","0","0","-64","0","0","0","0","0","0","0","0","0","-12","0","0","0","0","0","20","0","0","0","0","0","0","0","-68","0","-16","0","0","0","0","0","0","0","-36","0","0","0","0","0","28","0","72","0","0","0","0","0","0","0","52","0","0","0","0","0","-60","0","0","0","0","0","0","0","38","0","4","0","0","0","0","0","-36","0","0","0","0","0","0","0","0","0","-12","0","0","0","0","0","0","0","44","0","0","0","0","0","-76","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-44","0","-24","0","0","0","0","0","68","0","52","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-42","0","-4","0","0","0","0","0","0","0","24","0","0","0","0","0","52","0","128","0","0","0","0","0","0","0","-44","0","0","0","0","0","84","0","60","0","0","0","0","0","0","0","0","0","0","0","0","0","76","0","20","0","0","0","0","0","0","0","60","0","0","0","0","0","0","0","52","0","0","0","0","0","64","0","0","0","0","0","0","0","12","0","-36","0","0","0","0","0","-46","0","12","0","0","0","0","0","-20","0","28","0","0","0","0","0","0","0","-12","0","0","0","0","0","0","0","0","0","0","0","0","0","64","0","52","0","0","0","0","0","-84","0","60","0","0","0","0","0","-68","0","-48","0","0","0","0","0","0","0","-68","0","0","0","0","0","36","0","0","0","0","0","0","0","0","0","-148","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","60","0","0","0","0","0","50","0","8","0","0","0","0","0","44","0","0","0","0","0","0","0","0","0","-12","0","0","0","0","0","-76","0","0","0","0","0","0","0","-192","0","-68","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","80","0","0","0","0","0","-52","0","-44","0","0","0","0","0","0","0","-36","0","0","0","0","0","0","0","-16","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-48","0","0","0","0","0","138","0","-80","0","0","0","0","0","-60","0","60","0","0","0","0","0","0","0","-156","0","0","0","0","0","100","0","0","0","0","0","0","0","-108","0","0","0","0","0","0","0","0","0","-120","0","0","0","0","0","0","0","72","0","0","0","0","0","0","0","-36","0","0","0","0","0","0","0","0","0","0","0","0","0","64","0","-144","0","0","0","0","0","-12","0","60","0","0","0","0","0","92","0","0","0","0","0","0","0","20","0","28","0","0","0","0","0","0","0","0","0","0","0","0","0","-58","0","-80","0","0","0","0","0","28","0","0","0","0","0","0","0","108","0","-12","0","0","0","0","0","0","0","-60","0","0","0","0","0","192","0","0","0","0","0","0","0","-36","0","84","0","0","0","0","0","0","0","52","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","84","0","0","0","0","0","-100","0","0","0","0","0","0","0","-44","0","0","0","0","0","0","0","0","0","84","0","0","0","0","0","0","0","-40","0","0","0","0","0","0","0","-76","0","0","0","0","0","-84","0","0","0","0","0","0","0","-62","0","132","0","0","0","0","0","-64","0","-44","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","0","0","0","0","0","0","124","0","0","0","0","0","0","0"],"lmfdb":"agrees"},{"label":"512.2.a.b","letter":"b","dim":2,"charpoly":["34","12","1"],"traces":["2","0","0","0","-4","0","0","0","-2","0","0","0","-12","0","0","0","0","0","0","0","-8","0","0","0","-2","0","0","0","-4","0","0","0","-12","0","0","0","-12","0","0","0","12","0","0","0","4","0","0","0","2","0","0","0","4","0","0","0","12","0","0","0","-12","0","0","0","24","0","0","0","24","0","0","0","-24","0","0","0","24","0","0","0","-10","0","0","0","0","0","0","0","-24","0","0","0","16","0","0","0","-16","0","0","0","20","0","0","0","16","0","0","0","12","0","0","0","12","0","0","0","12","0","0","0","14","0","0","0","24","0","0","0","12","0","0","0","-24","0","0","0","-12","0","0","0","0","0","0","0","8","0","0","0","44","0","0","0","0","0","0","0","-12","0","0","0","-48","0","0","0","24","0","0","0","46","0","0","0","-28","0","0","0","-4","0","0","0","-36","0","0","0","24","0","0","0","32","0","0","0","48","0","0","0","-20","0","0","0","-36","0","0","0","-24","0","0","0","-36","0","0","0","-24","0","0","0","-32","0","0","0","0","0","0","0","2","0","0","0","-36","0","0","0","-24","0","0","0","-16","0","0","0","0","0","0","0","-4","0","0","0","-12","0","0","0","-72","0","0","0","12","0","0","0","4","0","0","0","-8","0","0","0","28","0","0","0","48","0","0","0","-12","0","0","0","24","0","0","0","-24","0","0","0","-34","0","0","0","-20","0","0","0","48","0","0","0","-24","0","0","0","24","0","0","0","8","0","0","0","12","0","0","0","-20","0","0","0","20","0","0","0","12","0","0","0","0","0","0","0","12","0","0","0","-36","0","0","0","-48","0","0","0","-48","0","0","0","12","0","0","0","-12","0","0","0","0","0","0","0","-2","0","0","0","48","0","0","0","-12","0","0","0","-12","0","0","0","24","0","0","0","16","0","0","0","-48","0","0","0","52","0","0","0","-4","0","0","0","-36","0","0","0","0","0","0","0","20","0","0","0","44","0","0","0","8","0","0","0","12","0","0","0","12","0","0","0","0","0","0","0","72","0","0","0","-32","0","0","0","72","0","0","0","-2","0","0","0","48","0","0","0","48","0","0","0","-40","0","0","0","-20","0","0","0","-52","0","0","0","-32","0","0","0","72","0","0","0","-36","0","0","0","-4","0","0","0","72","0","0","0","32","0","0","0","-60","0","0","0","0","0","0","0","48","0","0","0","24","0","0","0","-40","0","0","0","68","0","0","0","-48","0","0","0","0","0","0","0","84","0","0","0","8","0","0","0","98","0","0","0","-72","0","0","0","52","0","0","0","84","0","0","0","-24","0","0","0","12","0","0","0","32","0","0","0","4","0","0","0","0","0","0","0","-24","0","0","0","-12","0","0","0","-48","0","0","0","-36","0","0","0","24","0","0","0","-24","0","0","0","48","0","0","0","-60","0","0","0","56","0","0","0","-24","0","0","0","-28","0","0","0","16","0","0","0","12","0","0","0","-72","0","0","0","-96","0","0","0","-38","0","0","0","0","0","0","0","-12","0","0","0","-12","0","0","0","-48","0","0","0","-24","0","0","0","12","0","0","0","-4","0","0","0","24","0","0","0","-36","0","0","0","48","0","0","0","-16","0","0","0","16","0","0","0","-76","0","0","0","36","0","0","0","24","0","0","0","-24","0","0","0","-24","0","0","0","0","0","0","0","-92","0","0","0","0","0","0","0","36","0","0","0","96","0","0","0","48","0","0","0","-16","0","0","0","4","0","0","0","58","0","0","0","-84","0","0","0","108","0","0","0","-72","0","0","0","-88","0","0","0","-40","0","0","0","-36","0","0","0","-84","0","0","0","-84","0","0","0","0","0","0","0","-48","0","0","0","-28","0","0","0","48","0","0","0","72","0","0","0","24","0","0","0","-24","0","0","0","72","0","0","0","4","0","0","0","24","0","0","0","96","0","0","0","-84","0","0","0","-64","0","0","0","36","0","0","0","-76","0","0","0","12","0","0","0","36","0","0","0","0","0","0","0","-64","0","0","0","-50","0","0","0","-92","0","0","0","36","0","0","0","36","0","0","0","-108","0","0","0","-48","0","0","0","56","0","0","0","48","0","0","0","16","0","0","0","12","0","0","0","60","0","0","0","8","0","0","0","-32","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","72","0","0","0","-20","0","0","0","36","0","0","0","8","0","0","0","12","0","0","0","12","0","0","0","-48","0","0","0","-24","0","0","0","40","0","0","0","44","0","0","0","-64","0","0","0","144","0","0","0","-12","0","0","0","24","0","0","0","2","0","0","0","-96","0","0","0","0","0","0","0","-24","0","0","0","-96","0","0","0","-12","0","0","0","40","0","0","0","72","0","0","0","84","0","0","0","36","0","0","0"],"lmfdb":"agrees"},{"label":"512.2.a.c","letter":"c","dim":2,"charpoly":["-50","0","1"],"traces":["2","0","0","0","0","0","-8","0","-2","0","0","0","0","0","-8","0","-8","0","0","0","0","0","-8","0","6","0","0","0","0","0","-16","0","4","0","0","0","0","0","8","0","4","0","0","0","0","0","0","0","18","0","0","0","0","0","-8","0","-20","0","0","0","0","0","8","0","-16","0","0","0","0","0","8","0","-8","0","0","0","0","0","16","0","-10","0","0","0","0","0","24","0","24","0","0","0","0","0","40","0","-8","0","0","0","0","0","-24","0","32","0","0","0","0","0","8","0","28","0","0","0","0","0","32","0","-18","0","0","0","0","0","-16","0","12","0","0","0","0","0","32","0","-36","0","0","0","0","0","8","0","-48","0","0","0","0","0","-8","0","8","0","0","0","0","0","8","0","32","0","0","0","0","0","24","0","-10","0","0","0","0","0","-24","0","12","0","0","0","0","0","-24","0","-16","0","0","0","0","0","-16","0","-8","0","0","0","0","0","-8","0","12","0","0","0","0","0","8","0","-20","0","0","0","0","0","-24","0","64","0","0","0","0","0","-48","0","-6","0","0","0","0","0","-16","0","24","0","0","0","0","0","16","0","24","0","0","0","0","0","-40","0","-28","0","0","0","0","0","32","0","-4","0","0","0","0","0","-56","0","-16","0","0","0","0","0","-64","0","-32","0","0","0","0","0","16","0","-40","0","0","0","0","0","-16","0","-2","0","0","0","0","0","-24","0","-16","0","0","0","0","0","8","0","48","0","0","0","0","0","40","0","-28","0","0","0","0","0","24","0","-28","0","0","0","0","0","-40","0","0","0","0","0","0","0","-24","0","60","0","0","0","0","0","-16","0","32","0","0","0","0","0","-32","0","-28","0","0","0","0","0","72","0","62","0","0","0","0","0","-32","0","-4","0","0","0","0","0","16","0","48","0","0","0","0","0","-32","0","32","0","0","0","0","0","32","0","-20","0","0","0","0","0","80","0","-72","0","0","0","0","0","8","0","-28","0","0","0","0","0","56","0","12","0","0","0","0","0","0","0","-24","0","0","0","0","0","48","0","-40","0","0","0","0","0","8","0","-18","0","0","0","0","0","-8","0","-40","0","0","0","0","0","64","0","4","0","0","0","0","0","-16","0","64","0","0","0","0","0","-24","0","12","0","0","0","0","0","48","0","16","0","0","0","0","0","24","0","-28","0","0","0","0","0","8","0","-32","0","0","0","0","0","-40","0","-16","0","0","0","0","0","32","0","80","0","0","0","0","0","40","0","28","0","0","0","0","0","64","0","-14","0","0","0","0","0","56","0","4","0","0","0","0","0","24","0","80","0","0","0","0","0","-120","0","-64","0","0","0","0","0","24","0","-16","0","0","0","0","0","40","0","60","0","0","0","0","0","-24","0","-36","0","0","0","0","0","8","0","16","0","0","0","0","0","-40","0","36","0","0","0","0","0","72","0","-8","0","0","0","0","0","0","0","-96","0","0","0","0","0","-16","0","56","0","0","0","0","0","-96","0","-62","0","0","0","0","0","-8","0","68","0","0","0","0","0","-8","0","-8","0","0","0","0","0","-24","0","12","0","0","0","0","0","40","0","8","0","0","0","0","0","-32","0","-160","0","0","0","0","0","-24","0","-40","0","0","0","0","0","32","0","-60","0","0","0","0","0","-72","0","16","0","0","0","0","0","-24","0","-16","0","0","0","0","0","-40","0","0","0","0","0","0","0","-16","0","64","0","0","0","0","0","-48","0","96","0","0","0","0","0","-56","0","58","0","0","0","0","0","-72","0","12","0","0","0","0","0","-8","0","16","0","0","0","0","0","80","0","12","0","0","0","0","0","-16","0","36","0","0","0","0","0","24","0","88","0","0","0","0","0","-48","0","-32","0","0","0","0","0","-96","0","48","0","0","0","0","0","-112","0","-48","0","0","0","0","0","0","0","-24","0","0","0","0","0","56","0","-60","0","0","0","0","0","56","0","-60","0","0","0","0","0","8","0","12","0","0","0","0","0","-24","0","-72","0","0","0","0","0","-40","0","86","0","0","0","0","0","72","0","68","0","0","0","0","0","-40","0","-68","0","0","0","0","0","-48","0","-80","0","0","0","0","0","24","0","8","0","0","0","0","0","24","0","-68","0","0","0","0","0","-56","0","64","0","0","0","0","0","-8","0","-32","0","0","0","0","0","-48","0","-48","0","0","0","0","0","-96","0","-28","0","0","0","0","0","88","0","-20","0","0","0","0","0","24","0","120","0","0","0","0","0","32","0","-40","0","0","0","0","0","-16","0","-128","0","0","0","0","0","-8","0","60","0","0","0","0","0","144","0","66","0","0","0","0","0","-40","0","80","0","0","0","0","0","24","0","24","0","0","0","0","0","72","0","80","0","0","0","0","0","64","0","36","0","0","0","0","0","-32","0"],"lmfdb":"agrees"},{"label":"512.2.a.d","letter":"d","dim":2,"charpoly":["-98","0","1"],"traces":["2","0","0","0","0","0","8","0","-2","0","0","0","0","0","8","0","-8","0","0","0","0","0","8","0","6","0","0","0","0","0","16","0","4","0","0","0","0","0","-8","0","4","0","0","0","0","0","0","0","18","0","0","0","0","0","8","0","-20","0","0","0","0","0","-8","0","-16","0","0","0","0","0","-8","0","-8","0","0","0","0","0","-16","0","-10","0","0","0","0","0","-24","0","24","0","0","0","0","0","-40","0","-8","0","0","0","0","0","24","0","32","0","0","0","0","0","-8","0","28","0","0","0","0","0","-32","0","-18","0","0","0","0","0","16","0","12","0","0","0","0","0","-32","0","-36","0","0","0","0","0","-8","0","-48","0","0","0","0","0","8","0","8","0","0","0","0","0","-8","0","32","0","0","0","0","0","-24","0","-10","0","0","0","0","0","24","0","12","0","0","0","0","0","24","0","-16","0","0","0","0","0","16","0","-8","0","0","0","0","0","8","0","12","0","0","0","0","0","-8","0","-20","0","0","0","0","0","24","0","64","0","0","0","0","0","48","0","-6","0","0","0","0","0","16","0","24","0","0","0","0","0","-16","0","24","0","0","0","0","0","40","0","-28","0","0","0","0","0","-32","0","-4","0","0","0","0","0","56","0","-16","0","0","0","0","0","64","0","-32","0","0","0","0","0","-16","0","-40","0","0","0","0","0","16","0","-2","0","0","0","0","0","24","0","-16","0","0","0","0","0","-8","0","48","0","0","0","0","0","-40","0","-28","0","0","0","0","0","-24","0","-28","0","0","0","0","0","40","0","0","0","0","0","0","0","24","0","60","0","0","0","0","0","16","0","32","0","0","0","0","0","32","0","-28","0","0","0","0","0","-72","0","62","0","0","0","0","0","32","0","-4","0","0","0","0","0","-16","0","48","0","0","0","0","0","32","0","32","0","0","0","0","0","-32","0","-20","0","0","0","0","0","-80","0","-72","0","0","0","0","0","-8","0","-28","0","0","0","0","0","-56","0","12","0","0","0","0","0","0","0","-24","0","0","0","0","0","-48","0","-40","0","0","0","0","0","-8","0","-18","0","0","0","0","0","8","0","-40","0","0","0","0","0","-64","0","4","0","0","0","0","0","16","0","64","0","0","0","0","0","24","0","12","0","0","0","0","0","-48","0","16","0","0","0","0","0","-24","0","-28","0","0","0","0","0","-8","0","-32","0","0","0","0","0","40","0","-16","0","0","0","0","0","-32","0","80","0","0","0","0","0","-40","0","28","0","0","0","0","0","-64","0","-14","0","0","0","0","0","-56","0","4","0","0","0","0","0","-24","0","80","0","0","0","0","0","120","0","-64","0","0","0","0","0","-24","0","-16","0","0","0","0","0","-40","0","60","0","0","0","0","0","24","0","-36","0","0","0","0","0","-8","0","16","0","0","0","0","0","40","0","36","0","0","0","0","0","-72","0","-8","0","0","0","0","0","0","0","-96","0","0","0","0","0","16","0","56","0","0","0","0","0","96","0","-62","0","0","0","0","0","8","0","68","0","0","0","0","0","8","0","-8","0","0","0","0","0","24","0","12","0","0","0","0","0","-40","0","8","0","0","0","0","0","32","0","-160","0","0","0","0","0","24","0","-40","0","0","0","0","0","-32","0","-60","0","0","0","0","0","72","0","16","0","0","0","0","0","24","0","-16","0","0","0","0","0","40","0","0","0","0","0","0","0","16","0","64","0","0","0","0","0","48","0","96","0","0","0","0","0","56","0","58","0","0","0","0","0","72","0","12","0","0","0","0","0","8","0","16","0","0","0","0","0","-80","0","12","0","0","0","0","0","16","0","36","0","0","0","0","0","-24","0","88","0","0","0","0","0","48","0","-32","0","0","0","0","0","96","0","48","0","0","0","0","0","112","0","-48","0","0","0","0","0","0","0","-24","0","0","0","0","0","-56","0","-60","0","0","0","0","0","-56","0","-60","0","0","0","0","0","-8","0","12","0","0","0","0","0","24","0","-72","0","0","0","0","0","40","0","86","0","0","0","0","0","-72","0","68","0","0","0","0","0","40","0","-68","0","0","0","0","0","48","0","-80","0","0","0","0","0","-24","0","8","0","0","0","0","0","-24","0","-68","0","0","0","0","0","56","0","64","0","0","0","0","0","8","0","-32","0","0","0","0","0","48","0","-48","0","0","0","0","0","96","0","-28","0","0","0","0","0","-88","0","-20","0","0","0","0","0","-24","0","120","0","0","0","0","0","-32","0","-40","0","0","0","0","0","16","0","-128","0","0","0","0","0","8","0","60","0","0","0","0","0","-144","0","66","0","0","0","0","0","40","0","80","0","0","0","0","0","-24","0","24","0","0","0","0","0","-72","0","80","0","0","0","0","0","-64","0","36","0","0","0","0","0","32","0"],"lmfdb":"agrees"},{"label":"512.2.a.e","letter":"e","dim":2,"charpoly":["34","-12","1"],"traces":["2","0","0","0","4","0","0","0","-2","0","0","0","12","0","0","0","0","0","0","0","8","0","0","0","-2","0","0","0","4","0","0","0","-12","0","0","0","12","0","0","0","12","0","0","0","-4","0","0","0","2","0","0","0","-4","0","0","0","12","0","0","0","12","0","0","0","24","0","0","0","-24","0","0","0","-24","0","0","0","-24","0","0","0","-10","0","0","0","0","0","0","0","-24","0","0","0","-16","0","0","0","-16","0","0","0","-20","0","0","0","16","0","0","0","-12","0","0","0","12","0","0","0","-12","0","0","0","14","0","0","0","-24","0","0","0","12","0","0","0","24","0","0","0","-12","0","0","0","0","0","0","0","8","0","0","0","-44","0","0","0","0","0","0","0","12","0","0","0","-48","0","0","0","-24","0","0","0","46","0","0","0","28","0","0","0","-4","0","0","0","36","0","0","0","24","0","0","0","-32","0","0","0","48","0","0","0","20","0","0","0","-36","0","0","0","24","0","0","0","-36","0","0","0","24","0","0","0","-32","0","0","0","0","0","0","0","2","0","0","0","36","0","0","0","-24","0","0","0","16","0","0","0","0","0","0","0","4","0","0","0","-12","0","0","0","72","0","0","0","12","0","0","0","-4","0","0","0","-8","0","0","0","-28","0","0","0","48","0","0","0","12","0","0","0","24","0","0","0","24","0","0","0","-34","0","0","0","20","0","0","0","48","0","0","0","24","0","0","0","24","0","0","0","-8","0","0","0","12","0","0","0","20","0","0","0","20","0","0","0","-12","0","0","0","0","0","0","0","-12","0","0","0","-36","0","0","0","48","0","0","0","-48","0","0","0","-12","0","0","0","-12","0","0","0","0","0","0","0","-2","0","0","0","-48","0","0","0","-12","0","0","0","12","0","0","0","24","0","0","0","-16","0","0","0","-48","0","0","0","-52","0","0","0","-4","0","0","0","36","0","0","0","0","0","0","0","-20","0","0","0","44","0","0","0","-8","0","0","0","12","0","0","0","-12","0","0","0","0","0","0","0","-72","0","0","0","-32","0","0","0","-72","0","0","0","-2","0","0","0","-48","0","0","0","48","0","0","0","40","0","0","0","-20","0","0","0","52","0","0","0","-32","0","0","0","-72","0","0","0","-36","0","0","0","4","0","0","0","72","0","0","0","-32","0","0","0","-60","0","0","0","0","0","0","0","48","0","0","0","-24","0","0","0","-40","0","0","0","-68","0","0","0","-48","0","0","0","0","0","0","0","84","0","0","0","-8","0","0","0","98","0","0","0","72","0","0","0","52","0","0","0","-84","0","0","0","-24","0","0","0","-12","0","0","0","32","0","0","0","-4","0","0","0","0","0","0","0","24","0","0","0","-12","0","0","0","48","0","0","0","-36","0","0","0","-24","0","0","0","-24","0","0","0","-48","0","0","0","-60","0","0","0","-56","0","0","0","-24","0","0","0","28","0","0","0","16","0","0","0","-12","0","0","0","-72","0","0","0","96","0","0","0","-38","0","0","0","0","0","0","0","-12","0","0","0","12","0","0","0","-48","0","0","0","24","0","0","0","12","0","0","0","4","0","0","0","24","0","0","0","36","0","0","0","48","0","0","0","16","0","0","0","16","0","0","0","76","0","0","0","36","0","0","0","-24","0","0","0","-24","0","0","0","24","0","0","0","0","0","0","0","92","0","0","0","0","0","0","0","-36","0","0","0","96","0","0","0","-48","0","0","0","-16","0","0","0","-4","0","0","0","58","0","0","0","84","0","0","0","108","0","0","0","72","0","0","0","-88","0","0","0","40","0","0","0","-36","0","0","0","84","0","0","0","-84","0","0","0","0","0","0","0","-48","0","0","0","28","0","0","0","48","0","0","0","-72","0","0","0","24","0","0","0","24","0","0","0","72","0","0","0","-4","0","0","0","24","0","0","0","-96","0","0","0","-84","0","0","0","64","0","0","0","36","0","0","0","76","0","0","0","12","0","0","0","-36","0","0","0","0","0","0","0","64","0","0","0","-50","0","0","0","92","0","0","0","36","0","0","0","-36","0","0","0","-108","0","0","0","48","0","0","0","56","0","0","0","-48","0","0","0","16","0","0","0","-12","0","0","0","60","0","0","0","-8","0","0","0","-32","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","72","0","0","0","20","0","0","0","36","0","0","0","-8","0","0","0","12","0","0","0","-12","0","0","0","-48","0","0","0","24","0","0","0","40","0","0","0","-44","0","0","0","-64","0","0","0","-144","0","0","0","-12","0","0","0","-24","0","0","0","2","0","0","0","96","0","0","0","0","0","0","0","24","0","0","0","-96","0","0","0","12","0","0","0","40","0","0","0","-72","0","0","0","84","0","0","0","-36","0","0","0"],"lmfdb":"agrees"},{"label":"512.2.a.f","letter":"f","dim":2,"charpoly":["2","-4","1"],"traces":["2","0","4","0","0","0","0","0","6","0","4","0","0","0","0","0","0","0","12","0","0","0","0","0","-10","0","16","0","0","0","0","0","-4","0","0","0","0","0","0","0","-12","0","12","0","0","0","0","0","-14","0","-16","0","0","0","0","0","20","0","-20","0","0","0","0","0","0","0","12","0","0","0","0","0","0","0","-20","0","0","0","0","0","46","0","4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-36","0","0","0","0","0","0","0","-28","0","0","0","0","0","-36","0","0","0","0","0","0","0","22","0","-24","0","0","0","0","0","4","0","-20","0","0","0","0","0","12","0","12","0","0","0","0","0","0","0","-28","0","0","0","0","0","-64","0","0","0","0","0","0","0","0","0","36","0","0","0","0","0","-26","0","20","0","0","0","0","0","-28","0","-28","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","0","0","0","0","0","0","52","0","0","0","0","0","0","0","36","0","36","0","0","0","0","0","0","0","-48","0","0","0","0","0","-30","0","4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","92","0","0","0","0","0","44","0","44","0","0","0","0","0","60","0","0","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","-20","0","0","0","0","0","0","0","36","0","0","0","0","0","30","0","48","0","0","0","0","0","-64","0","0","0","0","0","0","0","0","0","12","0","0","0","0","0","20","0","0","0","0","0","0","0","-68","0","16","0","0","0","0","0","0","0","36","0","0","0","0","0","28","0","-72","0","0","0","0","0","0","0","-52","0","0","0","0","0","-60","0","0","0","0","0","0","0","38","0","-4","0","0","0","0","0","-36","0","0","0","0","0","0","0","0","0","12","0","0","0","0","0","0","0","-44","0","0","0","0","0","-76","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-44","0","24","0","0","0","0","0","68","0","-52","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-42","0","4","0","0","0","0","0","0","0","-24","0","0","0","0","0","52","0","-128","0","0","0","0","0","0","0","44","0","0","0","0","0","84","0","-60","0","0","0","0","0","0","0","0","0","0","0","0","0","76","0","-20","0","0","0","0","0","0","0","-60","0","0","0","0","0","0","0","-52","0","0","0","0","0","64","0","0","0","0","0","0","0","12","0","36","0","0","0","0","0","-46","0","-12","0","0","0","0","0","-20","0","-28","0","0","0","0","0","0","0","12","0","0","0","0","0","0","0","0","0","0","0","0","0","64","0","-52","0","0","0","0","0","-84","0","-60","0","0","0","0","0","-68","0","48","0","0","0","0","0","0","0","68","0","0","0","0","0","36","0","0","0","0","0","0","0","0","0","148","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-60","0","0","0","0","0","50","0","-8","0","0","0","0","0","44","0","0","0","0","0","0","0","0","0","12","0","0","0","0","0","-76","0","0","0","0","0","0","0","-192","0","68","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-80","0","0","0","0","0","-52","0","44","0","0","0","0","0","0","0","36","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","48","0","0","0","0","0","138","0","80","0","0","0","0","0","-60","0","-60","0","0","0","0","0","0","0","156","0","0","0","0","0","100","0","0","0","0","0","0","0","-108","0","0","0","0","0","0","0","0","0","120","0","0","0","0","0","0","0","-72","0","0","0","0","0","0","0","36","0","0","0","0","0","0","0","0","0","0","0","0","0","64","0","144","0","0","0","0","0","-12","0","-60","0","0","0","0","0","92","0","0","0","0","0","0","0","20","0","-28","0","0","0","0","0","0","0","0","0","0","0","0","0","-58","0","80","0","0","0","0","0","28","0","0","0","0","0","0","0","108","0","12","0","0","0","0","0","0","0","60","0","0","0","0","0","192","0","0","0","0","0","0","0","-36","0","-84","0","0","0","0","0","0","0","-52","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-84","0","0","0","0","0","-100","0","0","0","0","0","0","0","-44","0","0","0","0","0","0","0","0","0","-84","0","0","0","0","0","0","0","40","0","0","0","0","0","0","0","76","0","0","0","0","0","-84","0","0","0","0","0","0","0","-62","0","-132","0","0","0","0","0","-64","0","44","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","0","0","0","0","0","0","124","0","0","0","0","0","0","0"],"lmfdb":"agrees"},{"label":"512.2.a.g","letter":"g","dim":4,"charpoly":["10404","0","-228","0","1"],"traces":["4","0","0","0","0","0","0","0","12","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","28","0","0","0","0","0","0","0","24","0","0","0","0","0","0","0","-8","0","0","0","0","0","0","0","4","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","32","0","0","0","0","0","0","0","-36","0","0","0","0","0","0","0","-32","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","-40","0","0","0","0","0","0","0","-20","0","0","0","0","0","0","0","-120","0","0","0","0","0","0","0","8","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","32","0","0","0","0","0","0","0","-4","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","72","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","64","0","0","0","0","0","0","0","84","0","0","0","0","0","0","0","-32","0","0","0","0","0","0","0","80","0","0","0","0","0","0","0","-72","0","0","0","0","0","0","0","-40","0","0","0","0","0","0","0","144","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","128","0","0","0","0","0","0","0","-4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","120","0","0","0","0","0","0","0","24","0","0","0","0","0","0","0","-128","0","0","0","0","0","0","0","-8","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","104","0","0","0","0","0","0","0","-52","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","72","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","-72","0","0","0","0","0","0","0","-120","0","0","0","0","0","0","0","112","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","12","0","0","0","0","0","0","0","-16","0","0","0","0","0","0","0","-72","0","0","0","0","0","0","0","-192","0","0","0","0","0","0","0","-120","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","-168","0","0","0","0","0","0","0","-32","0","0","0","0","0","0","0","-48","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-56","0","0","0","0","0","0","0","-60","0","0","0","0","0","0","0","120","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","64","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","8","0","0","0","0","0","0","0","120","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","136","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","128","0","0","0","0","0","0","0","-44","0","0","0","0","0","0","0","120","0","0","0","0","0","0","0","-16","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","-80","0","0","0","0","0","0","0","216","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","-32","0","0","0","0","0","0","0","384","0","0","0","0","0","0","0","64","0","0","0","0","0","0","0","-160","0","0","0","0","0","0","0","-108","0","0","0","0","0","0","0","72","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","168","0","0","0","0","0","0","0","56","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","336","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","184","0","0","0","0","0","0","0","120","0","0","0","0","0","0","0","168","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","-68","0","0","0","0","0","0","0","-264","0","0","0","0","0","0","0","-56","0","0","0","0","0","0","0","-240","0","0","0","0","0","0","0","144","0","0","0","0","0","0","0","56","0","0","0","0","0","0","0","64","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","-336","0","0","0","0","0","0","0","-72","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","112","0","0","0","0","0","0","0","-32","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","136","0","0","0","0","0","0","0","4","0","0","0","0","0","0","0","-96","0","0","0","0","0","0","0","-112","0","0","0","0","0","0","0","-144","0","0","0","0","0","0","0","24","0","0","0","0","0","0","0"],"lmfdb":"agrees"}],"seconds":0.217,"computed":"atlas","estimate":{"seconds":0.49,"low":0.299,"high":0.848,"bytes":2091313}}