{"label":"725.2.a.f","letter":"f","dim":4,"charpoly":["121","0","-28","0","1"],"traces":["4","0","0","0","0","-4","0","0","-4","0","-12","0","0","-12","0","-4","0","0","-20","0","0","0","0","-4","0","24","0","0","4","0","-28","0","0","-4","0","0","0","0","-24","0","0","0","0","-12","0","-20","0","0","-4","0","8","0","0","16","0","12","0","0","0","0","-16","0","0","-16","0","24","0","0","-8","0","0","0","0","12","0","-12","0","0","4","0","-20","0","0","24","0","12","0","0","0","0","-24","0","0","-4","0","36","0","0","12","0","-24","0","0","0","0","40","0","0","16","0","24","0","0","32","0","0","0","0","0","0","4","0","0","12","0","12","0","0","24","0","-12","0","0","-12","0","-4","0","0","-32","0","8","0","0","4","0","-36","0","0","24","0","8","0","0","48","0","-24","0","0","-8","0","48","0","0","48","0","28","0","0","44","0","20","0","0","-4","0","36","0","0","24","0","-64","0","0","28","0","16","0","0","0","0","12","0","0","12","0","0","0","0","-56","0","24","0","0","0","0","12","0","0","72","0","-52","0","0","-4","0","16","0","0","0","0","-24","0","0","12","0","-20","0","0","-8","0","-24","0","0","-24","0","72","0","0","0","0","32","0","0","-48","0","-48","0","0","16","0","12","0","0","-12","0","36","0","0","-48","0","-4","0","0","0","0","72","0","0","-48","0","-100","0","0","-4","0","48","0","0","28","0","48","0","0","-24","0","-120","0","0","-60","0","-48","0","0","4","0","-36","0","0","-24","0","-48","0","0","44","0","4","0","0","24","0","36","0","0","-12","0","36","0","0","-12","0","-64","0","0","0","0","36","0","0","0","0","-52","0","0","44","0","-48","0","0","-32","0","72","0","0","-36","0","-32","0","0","-8","0","96","0","0","-72","0","-72","0","0","-36","0","36","0","0","-72","0","64","0","0","0","0","-72","0","0","24","0","-4","0","0","-44","0","24","0","0","-44","0","-36","0","0","0","0","-8","0","0","-88","0","12","0","0","-24","0","96","0","0","0","0","-12","0","0","64","0","56","0","0","20","0","-120","0","0","-24","0","8","0","0","-32","0","24","0","0","96","0","-24","0","0","72","0","-96","0","0","-56","0","4","0","0","-48","0","-108","0","0","-48","0","-48","0","0","20","0","8","0","0","-32","0","72","0","0","-4","0","-104","0","0","0","0","48","0","0","-40","0","24","0","0","-12","0","-24","0","0","72","0","-28","0","0","24","0","36","0","0","-168","0","4","0","0","-32","0","8","0","0","-12","0","72","0","0","120","0","72","0","0","8","0","-48","0","0","40","0","-24","0","0","12","0","100","0","0","12","0","0","0","0","72","0","-12","0","0","12","0","128","0","0","36","0","96","0","0","16","0","-20","0","0","-72","0","0","0","0","-24","0","-24","0","0","0","0","-36","0","0","72","0","-88","0","0","-48","0","16","0","0","24","0","-72","0","0","36","0","-68","0","0","128","0","-16","0","0","-96","0","48","0","0","12","0","-16","0","0","144","0","24","0","0","0","0","-24","0","0","84","0","-24","0","0","-116","0","32","0","0","72","0","48","0","0","24","0","104","0","0","92","0","-72","0","0","0","0","0","0","0","-24","0","32","0","0","-72","0","24","0","0","80","0","-96","0","0","12","0","80","0","0","-44","0","-12","0","0","24","0","96","0","0","60","0","144","0","0","24","0","-88","0","0","12","0","96","0","0","96","0","56","0","0","-4","0","-4","0","0","64","0","0","0","0","60","0","-80","0","0","40","0","-4","0","0","-24","0","24","0","0","-24","0","-48","0","0","0","0","-76","0","0","116","0","24","0","0","-132","0","-12","0","0","28","0","144","0","0","40","0","-96","0","0","72","0","68","0","0","24","0","-96","0","0","-24","0","24","0","0","-84","0","-92","0","0","-104","0","-40","0","0","-12","0","36","0","0","-48","0","24","0","0","4","0","0","0","0","-56","0","72","0","0","24","0","0","0","0","8","0","0","0","0","0","0","-120","0","0","96","0","-64","0","0","-24","0","-8","0","0","24","0","120","0","0","-36","0","-72","0","0","16","0","120","0","0","32","0","96","0","0","60","0","4","0","0","12","0","4","0","0","-72","0","-120","0","0","96","0","68","0","0","-68","0","96","0","0","-144","0","84","0","0","-48","0","-72","0","0","112","0","72","0","0","160","0","-216","0","0","-24","0","100","0","0","0","0","60","0","0","-72","0","36","0","0","-28","0","-8","0","0","52","0","-152","0","0","24","0","-60","0","0","48","0","-144","0","0","-32","0","-24","0","0","-72","0","132","0","0","168","0","20","0","0","92","0","0","0","0","-120","0","24","0","0","-144","0","-24","0","0","-72","0","-88","0","0","-40","0","-72","0","0","-48","0","84","0","0","-24","0","-24","0","0","-40","0","-108","0","0","12","0","112","0","0","72","0","-16","0","0","48","0","-4","0","0","-120","0","56","0","0","24","0","-72","0","0","-96","0"],"lmfdb":"agrees","space":"725.2.a","level":725,"weight":2,"T":[[2,1],[3,3]],"status":"proven","derived":{"al":[[5,null],[29,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/725.2.a.f"}