{"label":"158.4.a.a","letter":"a","dim":1,"charpoly":["6","1"],"traces":["1","-2","3","4","-9","-6","9","-8","-18","18","-8","12","-47","-18","-27","16","84","36","-150","-36","27","16","-2","-24","-44","94","-135","36","180","54","-328","-32","-24","-168","-81","-72","-346","300","-141","72","-268","-54","328","-32","162","4","-351","48","-262","88","252","-188","498","270","72","-72","-450","-360","365","-108","492","656","-162","64","423","48","784","336","-6","162","897","144","378","692","-132","-600","-72","282","79","-144","81","536","-1102","108","-756","-656","540","64","-1255","-324","-423","-8","-984","702","1350","-96","1129","524","144","-176","717","-504","-467","376","-243","-996","-271","-540","-430","-144","-1038","144","-1182","900","18","720","846","-730","756","216","-1267","-984","-804","-1312","1521","324","-761","-128","984","-846","1602","-96","-1350","-1568","1215","-672","-496","12","1055","-324","-1053","-1794","376","-288","-1620","-756","-786","-1384","-1660","264","3032","1200","-1512","144","2952","-564","844","-158","1494","288","-18","-162","-212","-1072","216","2204","-876","-216","12","1512","2700","1312","-1262","-1080","-396","-128","1095","2510","-3550","648","-3558","846","1476","16","3114","1968","-672","-1404","-1215","-2700","2007","192","-2402","-2258","1269","-1048","4374","-288","-2475","352","2352","-1434","1620","1008","2412","934","36","-752","1200","486","-1268","1992","2691","542","-2952","1080","-2952","860","1134","288","-3948","2076","-1462","-288","792","2364","-3036","-1800","-370","-36","-216","-1440","-4372","-1692","3159","1460","237","-1512","3450","-432","-2183","2534","3888","1968","2358","1608","7050","2624","-3306","-3042","5687","-648","16","1522","-2268","256","-6866","-1968","-3114","1692","-3240","-3204","-1782","192","-4482","2700","-3765","3136","6455","-2430","4952","1344","-1269","992","352","-24","4709","-2110","5904","648","-1833","2106","-8562","3588","4050","-752","-2412","576","2143","3240","3387","1512","-5542","1572","-3285","2768","1080","3320","94","-528","2952","-6064","2151","-2400","-4428","3024","-1716","-288","-1401","-5904","5252","1128","-6202","-1688","1458","316","1509","-2988","-1440","-576","-813","36","-12600","324","2068","424","-1290","2144","-3159","-432","-3288","-4408","6228","1752","-7056","432","-3821","-24","-3546","-3024","2624","-5400","-5445","-2624","54","2524","7394","2160","-6820","792","6345","256","-852","-2190","-8073","-5020","2268","7100","-3025","-1296","15641","7116","-3801","-1692","-3402","-2952","64","-32","4824","-6228","4482","-3936","-6322","1344","4563","2808","-8460","2430","-4215","5400","-2283","-4014","4398","-384","648","4804","-5904","4516","-11355","-2538","-168","2096","4806","-8748","-711","576","1069","4950","-4050","-704","6462","-4704","15416","2868","-729","-3240","2768","-2016","14270","-4824","-1488","-1868","3285","-72","9918","1504","3165","-2400","2025","-972","13637","2536","6318","-3984","-3696","-5382","4428","-1084","1128","5904","-3978","-2160","-10947","5904","-4860","-1720","300","-2268","-3730","-576","4716","7896","-4572","-4152","11295","2924","-4980","576","-17480","-1584","2144","-4728","9096","6072","3807","3600","7499","740","-11340","72","-6518","432","-5657","2880","8856","8744","5654","3384","7056","-6318","2532","-2920","-2624","-474","6600","3024","-8964","-6900","-6870","864","16262","4366","-54","-5068","-10161","-7776","-1216","-3936","-636","-4716","6557","-3216","15120","-14100","-1296","-5248","8073","6612","19120","6084","-2628","-11374","21093","1296","-6453","-32","36","-3044","18860","4536","3402","-512","20250","13732","4203","3936","2808","6228","-3786","-3384","12062","6480","-11432","6408","-1188","3564","-27552","-384","-12163","8964","-6570","-5400","12596","7530","2439","-6272","-10650","-12910","2096","4860","-7743","-9904","-10674","-2688","3870","2538","18374","-1984","-8856","-704","-27000","48","711","-9418","9342","4220","-11541","-11808","-15416","-1296","-2016","3666","2608","-4212","10638","17124","729","-7176","4870","-8100","-20168","1504","6021","4824","88","-1152","-23526","-4286","-7206","-6480","-9918","-6774","-3984","-3024","-7614","11084","-17991","-3144","49200","6570","13122","-5536","-14237","-2160","-6804","-6640","-7425","-188","1070","1056","-4608","-5904","-14112","12128","11403","-4302","-15941","4800","4860","8856","16497","-6048","-23702","3432","7236","576","9929","2802","-14915","11808","270","-10504","-11295","-2256","-8189","12404","3600","3376","-29064","-2916","18667","-632","-3804","-3018","6849","5976","12314","2880","-16146","1152","-19933","1626","-20062","-72","-8856","25200","-9776","-648","-2920","-4136","-8856","-848","3543","2580","-14418","-4288","-6804","6318","14175","864","11732","6576","-11844","8816","12150","-12456","-360","-3504","-4386","14112","-3936","-864","5108","7642","5940","48","7739","7092","10161","6048","-9108","-5248","-1842","10800","4464","10890","-1110","5248","-23406","-108","24697","-5048","1296","-14788","-9495","-4320","-22512","13640","-13116","-1584","-3388","-12690","51900","-512","9477","1704","6453","4380","22330","16146","-1422","10040","656","-4536","-3384","-14200","10350","6050","21570","2592","-4203","-31282","-6549","-14232","-7920","7602","7644","3384","9477","6804","27552","5904","9938","-128","7074","64","-6272","-9648","-26705","12456","21150","-8964","4138","7872","14940","12644","19836","-2688","-2439","-9126","1602","-5616","17061","16920","-27288","-4860","10369","8430","48","-10800","-11258","4566","-3870","8028","13608","-8796","-17155","768","-1070","-1296","-20598","-9608","25078","11808","14432","-9032","-9342","22710","40200","5076","-7176","336","-24300","-4192","-7596","-9612","38124","17496","-5346","1422","-10638","-1152","-23124","-2138","-13446","-9900","10054","8100","-29484","1408","22590","-12924","-3024","9408","162","-30832","19365","-5736","-18465","1458","7252","6480","14856","-5536","1908","4032","-49200","-28540","7614","9648","29142","2976","-12752","3736","1056","-6570","3919","144","-15740","-19836","14127","-3008","-22008","-6330","7884","4800","44280","-4050","44000","1944","8011","-27274","-5499","-5072","-108","-12636","-11403","7968","-25686","7392","692","10764","-3862","-8856","-24300","2168","30149","-2256","22885","-11808","-7236","7956","-30852","4320","11358","21894","6429","-11808","-632","9720","-36848","3440","-20322","-600","13689","4536","734","7460","-16626","1152","-33658","-9432","-15857","-15792","-9855","9144","-25996","8304","-6849","-22590","-648","-5848","52650","9960","31950","-1152","282","34960","-59040","3168","41832","-4288","8856","9456","32022","-18192","9234","-12144","-12906","-7614","39922","-7200","8816","-14998","-13284","-1480","14418","22680","-740","-144","-5148","13036","-42159","-864","15224","11314","8406","-5760","1710","-17712","39300","-17488","15756","-11308","6048","-6768","-27216","-14112","-18606","12636","-52058","-5064","536","5840","10935","5248","27564","948","-17766","-13200","4527","-6048","-42467","17928","-18063","13800","-4320","13740","-4464","-1728","77793","-32524","4878","-8732","21618","108","10034","10136","-37800","20322","13362","15552","9495","2432","6204","7872","-50606","1272","10040","9432","7740","-13114","40928","6432","-39366","-30240","-9477","28200","-656","2592","21697","10496","-9864","-16146","22275","-13224","-25226","-38240","46710","-12168"],"space":"158.4.a","level":158,"weight":4,"T":[[3,1],[5,1]],"status":"proven","derived":{"al":[[2,1],[79,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/158.4.a.a"}