{"label":"800.2.a.f","letter":"f","dim":1,"charpoly":["-167020","1"],"traces":["1","0","0","0","0","0","0","0","-3","0","0","0","4","0","0","0","8","0","0","0","0","0","0","0","0","0","0","0","10","0","0","0","0","0","0","0","12","0","0","0","-10","0","0","0","0","0","0","0","-7","0","0","0","-4","0","0","0","0","0","0","0","10","0","0","0","0","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","9","0","0","0","0","0","0","0","-10","0","0","0","0","0","0","0","-8","0","0","0","-2","0","0","0","0","0","0","0","6","0","0","0","-16","0","0","0","-12","0","0","0","-11","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-8","0","0","0","0","0","0","0","0","0","0","0","14","0","0","0","-24","0","0","0","-12","0","0","0","0","0","0","0","0","0","0","0","3","0","0","0","-4","0","0","0","0","0","0","0","-18","0","0","0","0","0","0","0","0","0","0","0","24","0","0","0","-28","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","32","0","0","0","0","0","0","0","-30","0","0","0","-16","0","0","0","0","0","0","0","30","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-32","0","0","0","-30","0","0","0","0","0","0","0","-26","0","0","0","0","0","0","0","28","0","0","0","-10","0","0","0","0","0","0","0","47","0","0","0","4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","24","0","0","0","28","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-36","0","0","0","32","0","0","0","0","0","0","0","0","0","0","0","10","0","0","0","16","0","0","0","0","0","0","0","-19","0","0","0","0","0","0","0","30","0","0","0","36","0","0","0","40","0","0","0","0","0","0","0","0","0","0","0","-34","0","0","0","0","0","0","0","12","0","0","0","2","0","0","0","0","0","0","0","-6","0","0","0","0","0","0","0","0","0","0","0","-30","0","0","0","0","0","0","0","0","0","0","0","-24","0","0","0","0","0","0","0","21","0","0","0","0","0","0","0","-14","0","0","0","0","0","0","0","8","0","0","0","38","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","12","0","0","0","48","0","0","0","0","0","0","0","0","0","0","0","80","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","10","0","0","0","0","0","0","0","0","0","0","0","-22","0","0","0","0","0","0","0","-23","0","0","0","-40","0","0","0","0","0","0","0","-42","0","0","0","0","0","0","0","-30","0","0","0","0","0","0","0","-28","0","0","0","0","0","0","0","0","0","0","0","26","0","0","0","0","0","0","0","48","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","16","0","0","0","0","0","0","0","-10","0","0","0","0","0","0","0","0","0","0","0","-36","0","0","0","-32","0","0","0","0","0","0","0","0","0","0","0","96","0","0","0","0","0","0","0","-28","0","0","0","-50","0","0","0","0","0","0","0","0","0","0","0","-44","0","0","0","-48","0","0","0","50","0","0","0","0","0","0","0","0","0","0","0","-24","0","0","0","52","0","0","0","0","0","0","0","0","0","0","0","-16","0","0","0","0","0","0","0","-80","0","0","0","10","0","0","0","0","0","0","0","-30","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-27","0","0","0","-4","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-52","0","0","0","-38","0","0","0","0","0","0","0","-50","0","0","0","44","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","40","0","0","0","-52","0","0","0","30","0","0","0","0","0","0","0","-10","0","0","0","0","0","0","0","0","0","0","0","50","0","0","0","0","0","0","0","54","0","0","0","-56","0","0","0","0","0","0","0","71","0","0","0","0","0","0","0","0","0","0","0","-36","0","0","0","-8","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","24","0","0","0","-12","0","0","0","-50","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-32","0","0","0","0","0","0","0","6","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-46","0","0","0","0","0","0","0","48","0","0","0","-58","0","0","0","0","0","0","0","64","0","0","0","-56","0","0","0","0","0","0","0","-31","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-8","0","0","0","-18","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-12","0","0","0"],"lmfdb":"agrees","curve":{"cremona":"800d1","lmfdb":"800.f","ainvs":[0,0,0,-125,0],"rank":0,"torsion":2},"space":"800.2.a","level":800,"weight":2,"T":[[3,3990],[7,2855],[11,5427],[13,9524],[17,7538],[19,6229],[23,7256],[29,6862]],"status":"proven","derived":{"al":[[2,null],[5,null]],"fricke":null,"sign":null,"cm":-4,"cmInert":87,"cmExact":6},"url":"https://sagebrush.space/atlas/mf/800.2.a.f"}