{"label":"80.4.a","level":80,"weight":4,"dims":{"new":6,"cusp":30,"eisenstein":12,"modsym":72},"old":[[5,1,5],[8,1,4],[10,1,4],[16,1,2],[20,1,3],[40,3,2]],"T":[[3,1],[7,2],[11,3],[13,4],[17,5],[19,6],[23,7],[29,8]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 5, 8, 10, 16, 20, 40, 80]: [1, 2, 3, 3, 5, 7, 8, 12, 22, 40] (certified at ell = 2147483629)","T = [(3, 1), (7, 2), (11, 3), (13, 4), (17, 5), (19, 6), (23, 7), (29, 8)]; h of degree 6 = 1 x 6 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"80.4.a.a","letter":"a","dim":1,"charpoly":["-1606","1"],"traces":["1","0","-10","0","-5","0","18","0","73","0","16","0","-6","0","50","0","-6","0","124","0","-180","0","-42","0","25","0","-460","0","142","0","188","0","-160","0","-90","0","202","0","60","0","54","0","-66","0","-365","0","-38","0","-19","0","60","0","738","0","-80","0","-1240","0","-564","0","-262","0","1314","0","30","0","554","0","420","0","-140","0","882","0","-250","0","288","0","1160","0","2629","0","-642","0","30","0","-1420","0","-854","0","-108","0","-1880","0","-620","0","-478","0","1168","0","-1794","0","-642","0","900","0","850","0","666","0","-2020","0","-1446","0","210","0","-438","0","-108","0","-1075","0","-540","0","-125","0","1154","0","660","0","368","0","2232","0","2300","0","-670","0","572","0","380","0","-96","0","-710","0","190","0","1730","0","-1324","0","-438","0","-940","0","2946","0","-7380","0","-756","0","-2098","0","800","0","866","0","-2161","0","9052","0","-1678","0","450","0","5640","0","1620","0","2510","0","2620","0","-1010","0","-96","0","-8280","0","372","0","2938","0","-300","0","2234","0","3048","0","-5540","0","2556","0","-270","0","-3066","0","1984","0","-4896","0","1400","0","330","0","3384","0","-8820","0","36","0","5302","0","1825","0","3778","0","-3034","0","-2880","0","-3478","0","190","0","-11600","0","-1560","0","-3218","0","-13870","0","95","0","-744","0","6420","0","-688","0","-672","0","-300","0","2170","0","3636","0","10366","0","-2274","0","-3690","0","8540","0","7146","0","-2604","0","1080","0","400","0","-5150","0","13724","0","5270","0","-3434","0","6200","0","972","0","-4877","0","4780","0","-9878","0","2820","0","-7360","0","252","0","-1188","0","17940","0","1310","0","-8054","0","6420","0","-5492","0","-422","0","-6570","0","6194","0","2272","0","-8500","0","-744","0","-150","0","-6660","0","-684","0","-7688","0","14746","0","-2770","0","-1438","0","14460","0","3008","0","-6516","0","-2100","0","-8838","0","-7810","0","2760","0","5906","0","700","0","1080","0","-8904","0","8517","0","10750","0","-4410","0","7370","0","3942","0","13284","0","-734","0","1250","0","-852","0","-10300","0","-11540","0","-2682","0","-1440","0","-4818","0","6114","0","252","0","-3680","0","-5800","0","-7174","0","-22320","0","10498","0","-1128","0","-13145","0","3232","0","-1810","0","6700","0","-10152","0","3210","0","-5720","0","3396","0","-14974","0","-2774","0","-150","0","-4716","0","960","0","13540","0","15426","0","7100","0","-5208","0","10472","0","-1387","0","-722","0","4270","0","-17300","0","-11898","0","864","0","13240","0","540","0","-790","0","2760","0","-3418","0","7534","0","9400","0","14314","0","9972","0","-29460","0","-1056","0","3100","0","53874","0","7016","0","-1212","0","7560","0","2390","0","-15190","0","20980","0","12624","0","-852","0","-5840","0","-2520","0","2492","0","-8660","0","-11714","0","8970","0","21610","0","-5618","0","15876","0","-57040","0","3210","0","-608","0","16780","0","13770","0","-6986","0","-4500","0","-1128","0","-10403","0","-41172","0","-324","0","-4250","0","-16200","0","-304","0","11958","0","-25100","0","-3330","0","4194","0","-19126","0","17608","0","20880","0","10100","0","-5382","0","396","0","960","0","-15418","0","7230","0","47322","0","-5778","0","-6024","0","-3720","0","-1050","0","554","0","-29380","0","-11556","0","11808","0","2190","0","2386","0","23312","0","-22340","0","-846","0","540","0","-30480","0","-22304","0","5510","0","40442","0","5375","0","8234","0","-25560","0","228","0","-1046","0","2700","0","-3862","0","-13964","0","19320","0","-15372","0","625","0","-19840","0","-1212","0","14884","0","48960","0","-5770","0","114","0","-10220","0","17838","0","7814","0","-3300","0","-774","0","-9024","0","-33840","0","-23422","0","-1840","0","64386","0","13508","0","-6222","0","-360","0","-11160","0","-5964","0","-53020","0","-4192","0","-15566","0","-11500","0","2234","0","-8604","0","-37780","0","-13282","0","3350","0","30340","0","-4428","0","27416","0","21024","0","-2860","0","-324","0","34780","0","25626","0","25048","0","-1900","0","-32292","0","11702","0","84680","0","-7896","0","480","0","15600","0","28008","0","-11556","0","32180","0","3550","0","7682","0","67717","0","396","0","-14270","0","-950","0","8864","0","-29324","0","7440","0","-29258","0","-8650","0","-46866","0","15300","0","-19076","0","6880","0","6620","0","-22670","0","6720","0","-23206","0","11988","0","2190","0","3384","0","-1854","0","-21700","0","6474","0","4700","0","-36360","0","6696","0","-2240","0","-65320","0","-14730","0","20354","0","22740","0","-26028","0","1572","0","36900","0","-1886","0","228","0","-62342","0","14112","0","3780","0","-71460","0","-9462","0","-24512","0","26040","0","10490","0","-8184","0","-7884","0","36242","0","17718","0","-4000","0","-6726","0","41722","0","51500","0","114","0","-4330","0","-86480","0","-16720","0","-4225","0","-52700","0","10805","0","-19350","0","34340","0","-8484","0","-33286","0","-45260","0","38978","0","1916","0","-9720","0","2374","0","8390","0","48770","0","18560","0","-3324","0","-34894","0","-2250","0","32722","0","98780","0","5390","0","43238","0","-28200","0","11010","0","20772","0","42064","0","-4712","0","-8100","0","-2520","0","26696","0","-4428","0","11880","0","-12550","0","74","0","-130962","0","-17460","0","-10272","0","-13100","0","6624","0","-17072","0","80540","0","840","0","5050","0","-46866","0","-14826","0","-2356","0","54920","0","480","0","3354","0","4220","0","-15434","0","-2268","0","41400","0","9306","0","-5292","0","-61940","0","12202","0","-1860","0","-22720","0","-12060","0","5553","0","62050","0","-14690","0","-17478","0","7440","0","-10920","0","10296","0","1500","0","10834","0","-13664","0","48618","0","36862","0","-11170","0","6840","0","2772","0","-5380","0","76880","0","-15240","0","31266","0","-92920","0"],"derived":{"al":[[2,null],[5,1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"80.4.a.b","letter":"b","dim":1,"charpoly":["-1306","1"],"traces":["1","0","-4","0","5","0","-16","0","-11","0","-36","0","-42","0","-20","0","-110","0","116","0","64","0","-16","0","25","0","152","0","198","0","-240","0","144","0","-80","0","-258","0","168","0","442","0","292","0","-55","0","-392","0","-87","0","440","0","142","0","-180","0","-464","0","348","0","-570","0","176","0","-210","0","-692","0","64","0","-168","0","-134","0","-100","0","576","0","-784","0","-311","0","-564","0","-550","0","-792","0","1034","0","672","0","960","0","580","0","-382","0","396","0","-674","0","992","0","320","0","500","0","1046","0","1032","0","-558","0","-80","0","462","0","1760","0","-35","0","-1768","0","125","0","328","0","-1168","0","212","0","-1856","0","760","0","1434","0","-2196","0","1568","0","1512","0","990","0","348","0","-2418","0","-3672","0","1210","0","-1200","0","358","0","-568","0","256","0","-2564","0","720","0","3056","0","-433","0","-1276","0","-234","0","-400","0","-1392","0","-524","0","-1138","0","2280","0","-1290","0","3960","0","-2432","0","-1520","0","-2142","0","840","0","-2306","0","-3288","0","2768","0","-3168","0","2210","0","176","0","-4176","0","3876","0","672","0","1460","0","3840","0","536","0","4620","0","5688","0","-275","0","2796","0","4446","0","-2304","0","2522","0","-1960","0","3136","0","-816","0","-5422","0","-2860","0","-435","0","-4872","0","2256","0","5900","0","576","0","2200","0","5250","0","4128","0","-2178","0","-6240","0","710","0","-4136","0","-714","0","-2144","0","-2688","0","-900","0","-4466","0","2640","0","-5302","0","6932","0","-2320","0","-7072","0","7187","0","1528","0","-4034","0","1740","0","-5472","0","672","0","-4672","0","2696","0","-2850","0","3836","0","-3968","0","-664","0","2986","0","880","0","2726","0","-7128","0","-2000","0","-12760","0","-1050","0","-4184","0","6272","0","9212","0","2838","0","-3460","0","-3278","0","2232","0","8640","0","6880","0","320","0","-4956","0","4678","0","-6384","0","1890","0","-840","0","-7040","0","6472","0","6597","0","140","0","-670","0","-1960","0","-4862","0","-2272","0","8750","0","-500","0","-8316","0","380","0","-1312","0","9688","0","2880","0","-3212","0","3870","0","1760","0","-848","0","-3920","0","1622","0","7424","0","9906","0","10080","0","-1555","0","9288","0","-4214","0","-5736","0","-5568","0","-2820","0","8784","0","7012","0","-1602","0","4312","0","-2750","0","9120","0","-6048","0","3584","0","-3470","0","-3960","0","-1856","0","3416","0","957","0","-9708","0","5170","0","9672","0","-10366","0","-15912","0","14688","0","3360","0","-16742","0","-16720","0","-1258","0","-13528","0","4800","0","-6916","0","11072","0","-1432","0","-10512","0","2900","0","-1562","0","-1728","0","10836","0","-1024","0","-1910","0","-16656","0","10256","0","1084","0","-21780","0","1980","0","2688","0","-5804","0","-12224","0","-10512","0","-3370","0","1732","0","-4314","0","2144","0","17632","0","4960","0","14112","0","936","0","-1190","0","3780","0","1600","0","26400","0","-11911","0","-3828","0","-18564","0","2500","0","2096","0","3132","0","-11002","0","4552","0","5230","0","-5908","0","6270","0","22968","0","12544","0","5160","0","14806","0","-12264","0","-15840","0","684","0","-2790","0","4976","0","-2582","0","2540","0","6080","0","-400","0","22786","0","8568","0","9024","0","-5112","0","2310","0","-7884","0","-27840","0","9224","0","-21902","0","8800","0","13152","0","-15080","0","-19702","0","7612","0","-175","0","-7320","0","12672","0","16464","0","24350","0","-8840","0","19546","0","-3476","0","-2432","0","-16544","0","625","0","16704","0","28380","0","-21880","0","-15504","0","1640","0","3654","0","1848","0","20994","0","18204","0","-5840","0","2064","0","-12528","0","-15360","0","9942","0","1060","0","1474","0","-24236","0","17614","0","-18480","0","-9280","0","-3168","0","-22752","0","20520","0","13058","0","3800","0","-33186","0","6112","0","-11184","0","31716","0","7170","0","-17784","0","-5964","0","2084","0","-6336","0","-10980","0","-48620","0","-10088","0","-7418","0","-29928","0","7840","0","10784","0","-18242","0","8624","0","3840","0","7560","0","3264","0","-3024","0","-15872","0","21688","0","4950","0","26176","0","19837","0","-32120","0","-17818","0","1740","0","24912","0","22052","0","19488","0","-15840","0","-12090","0","6204","0","-8000","0","-21024","0","-23600","0","-18360","0","-38034","0","-2304","0","37802","0","-16736","0","6050","0","-14616","0","15042","0","-21000","0","5950","0","-6000","0","-16512","0","51272","0","6048","0","30096","0","1790","0","-23364","0","24960","0","8928","0","23940","0","-2840","0","19846","0","43120","0","-11374","0","4824","0","1280","0","2856","0","24762","0","-16644","0","8576","0","-12820","0","33872","0","-7392","0","3182","0","7504","0","3600","0","-12604","0","12230","0","17864","0","9570","0","15280","0","-36480","0","-9656","0","14815","0","21208","0","-2165","0","560","0","-27728","0","4128","0","5806","0","-6380","0","-39094","0","18876","0","28288","0","-32296","0","-1170","0","-28748","0","28224","0","29064","0","4202","0","-2000","0","-9578","0","16136","0","-41710","0","-2260","0","-6960","0","33696","0","-5248","0","11196","0","-45472","0","-2620","0","-2688","0","-47520","0","-15620","0","18688","0","-5690","0","-7756","0","7414","0","5312","0","20304","0","11400","0","-3392","0","23576","0","-15344","0","7056","0","-6450","0","-10912","0","-19038","0","-10092","0","2656","0","19800","0","20570","0","-11944","0","-21386","0","-7072","0","-12160","0","-38020","0","5628","0","-10904","0","20202","0","-7600","0","28512","0","-22944","0","27809","0","-5500","0","-10710","0","-29840","0","51040","0","12476","0","35136","0","4200","0","-36974","0","-37224","0","-11506","0","16368","0","-11530","0","-25088","0","-4672","0","49552","0","-36848","0","-16440","0","24414","0","-39216","0"],"derived":{"al":[[2,null],[5,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"80.4.a.c","letter":"c","dim":1,"charpoly":["1446","1"],"traces":["1","0","-4","0","5","0","16","0","-11","0","60","0","86","0","-20","0","18","0","-44","0","-64","0","-48","0","25","0","152","0","-186","0","-176","0","-240","0","80","0","254","0","-344","0","186","0","100","0","-55","0","-168","0","-87","0","-72","0","-498","0","300","0","176","0","252","0","-58","0","-176","0","430","0","1036","0","192","0","-168","0","506","0","-100","0","960","0","-272","0","-311","0","-948","0","90","0","744","0","-1014","0","1376","0","704","0","-220","0","-766","0","-660","0","-1314","0","448","0","-320","0","-1548","0","278","0","-1016","0","-558","0","-240","0","-946","0","288","0","2269","0","-744","0","125","0","-344","0","-400","0","-780","0","-704","0","760","0","666","0","-884","0","672","0","5160","0","-930","0","348","0","-114","0","40","0","-198","0","-880","0","-154","0","1992","0","-768","0","-2180","0","-1200","0","-3696","0","5199","0","484","0","1302","0","400","0","-1008","0","4308","0","1550","0","232","0","1270","0","1080","0","2432","0","-48","0","1058","0","-1720","0","-3714","0","1768","0","-4144","0","-2976","0","930","0","528","0","-2640","0","4036","0","672","0","500","0","-2816","0","-2024","0","1548","0","-680","0","-275","0","-2388","0","-3874","0","-3840","0","3162","0","-840","0","1088","0","-5424","0","-3886","0","-2860","0","-435","0","-3784","0","3792","0","5100","0","-2880","0","-360","0","2178","0","4064","0","2046","0","6144","0","-2490","0","4056","0","822","0","-8480","0","-5504","0","1500","0","-1138","0","1936","0","5706","0","3028","0","880","0","2976","0","-4589","0","3064","0","3390","0","1260","0","9120","0","-4128","0","1600","0","5256","0","-290","0","4156","0","-1792","0","-6552","0","-1366","0","-880","0","2598","0","-11160","0","6192","0","-792","0","2150","0","-1112","0","-2688","0","3292","0","-2794","0","5180","0","6194","0","2232","0","-10560","0","-6880","0","960","0","10020","0","-3130","0","13072","0","4194","0","-840","0","-1152","0","4104","0","-4923","0","-9076","0","2530","0","-7496","0","-2046","0","-7968","0","-5842","0","-500","0","-15996","0","412","0","1376","0","-2568","0","4800","0","-1100","0","13086","0","-864","0","3120","0","-1360","0","10454","0","2816","0","-10830","0","-15136","0","-1555","0","15240","0","-8566","0","-2664","0","4032","0","-4740","0","3536","0","-13884","0","4286","0","1848","0","450","0","-928","0","-20640","0","-6336","0","-8974","0","3720","0","2112","0","2968","0","957","0","12372","0","-5070","0","456","0","11394","0","11160","0","-160","0","6880","0","-358","0","2736","0","-7530","0","13768","0","3520","0","-13380","0","16576","0","616","0","6000","0","-1100","0","5478","0","6336","0","21844","0","3072","0","-3830","0","5008","0","8720","0","-12900","0","-3348","0","-3300","0","-2688","0","8116","0","14784","0","4944","0","-6570","0","-20796","0","-5466","0","8096","0","-6688","0","2240","0","-10080","0","-5208","0","10074","0","13828","0","-1600","0","-3168","0","-9863","0","-2772","0","15996","0","-7740","0","-17232","0","-5220","0","-15226","0","-6200","0","1390","0","13228","0","638","0","8184","0","-4352","0","-5080","0","-8490","0","8600","0","-4320","0","10284","0","-2790","0","-4976","0","1770","0","-6068","0","192","0","-1200","0","21506","0","-4232","0","-15168","0","-29880","0","-4730","0","-12108","0","7744","0","14856","0","15474","0","1440","0","-7072","0","2520","0","-12790","0","-11396","0","11345","0","-11576","0","11904","0","-14448","0","20126","0","-3720","0","-27942","0","22540","0","-7296","0","-16224","0","625","0","10560","0","4572","0","5128","0","-16144","0","-1720","0","-7482","0","1848","0","-12798","0","21148","0","-2000","0","-16464","0","15120","0","11264","0","-24234","0","-3900","0","-5566","0","22836","0","26318","0","-6192","0","-3520","0","8928","0","2720","0","-3480","0","28802","0","3800","0","2526","0","-12256","0","9552","0","23076","0","3330","0","15496","0","-42828","0","-7868","0","-10560","0","-4420","0","3348","0","-12648","0","21510","0","-11176","0","3360","0","-21024","0","30014","0","2992","0","8448","0","25800","0","21696","0","816","0","7168","0","15544","0","-4650","0","9952","0","19837","0","1800","0","-33946","0","1740","0","62160","0","-23420","0","15136","0","14592","0","-570","0","10428","0","-24768","0","-9056","0","-20400","0","200","0","-17554","0","11520","0","-36438","0","4448","0","-990","0","21672","0","-9022","0","-8712","0","1470","0","-4400","0","-16256","0","-8184","0","-10080","0","-28272","0","-770","0","-5252","0","-24576","0","-8928","0","-4988","0","9960","0","12294","0","-3024","0","11154","0","30360","0","-3840","0","-3288","0","15546","0","-19364","0","33920","0","-10900","0","-4400","0","-15136","0","-7314","0","-11984","0","-6000","0","-13500","0","-44602","0","4552","0","-1566","0","-18480","0","-26752","0","-35448","0","10207","0","-22824","0","25995","0","36304","0","-12112","0","-12192","0","12590","0","2420","0","24906","0","-23204","0","-11904","0","-19848","0","6510","0","18356","0","-16320","0","89096","0","8426","0","2000","0","27542","0","-13560","0","-20718","0","-25172","0","-5040","0","12864","0","-5504","0","-18660","0","7392","0","21540","0","16512","0","32736","0","-8964","0","-6400","0","7750","0","23092","0","14454","0","14208","0","-56880","0","1160","0","-12480","0","26584","0","-16624","0","-14448","0","6350","0","-4928","0","162","0","3828","0","26208","0","5400","0","-29734","0","5464","0","17142","0","-8928","0","12160","0","-26436","0","43516","0","-10392","0","27882","0","-240","0","44640","0","10656","0","1185","0","17028","0","5290","0","-12656","0","3168","0","-2916","0","-14144","0","-8600","0","-6894","0","-60840","0","-3058","0","45264","0","-18570","0","10752","0","-4800","0","-52016","0","-13168","0","8840","0","-13858","0","38608","0"],"derived":{"al":[[2,null],[5,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"80.4.a.d","letter":"d","dim":1,"charpoly":["586","1"],"traces":["1","0","-2","0","-5","0","-6","0","-23","0","-32","0","-38","0","10","0","26","0","-100","0","12","0","78","0","25","0","100","0","-50","0","108","0","64","0","30","0","266","0","76","0","22","0","-442","0","115","0","514","0","-307","0","-52","0","2","0","160","0","200","0","-500","0","-518","0","138","0","190","0","-126","0","-156","0","-412","0","-878","0","-50","0","192","0","-600","0","421","0","-282","0","-130","0","100","0","-150","0","228","0","-216","0","500","0","386","0","736","0","702","0","598","0","-60","0","1194","0","-550","0","-532","0","1562","0","-390","0","874","0","-156","0","-307","0","-44","0","-125","0","-1846","0","884","0","2208","0","600","0","-500","0","-2334","0","700","0","-1028","0","1216","0","250","0","614","0","2050","0","-1852","0","-598","0","-540","0","-2494","0","-4","0","-468","0","-2762","0","-320","0","-3126","0","-753","0","2300","0","-78","0","-150","0","1000","0","1300","0","1742","0","1036","0","-1330","0","-832","0","-600","0","-3772","0","-358","0","-380","0","-2214","0","2600","0","252","0","300","0","-110","0","-1794","0","3200","0","1168","0","824","0","2210","0","-648","0","1756","0","-988","0","6478","0","-575","0","-646","0","3750","0","-384","0","1482","0","-2570","0","1200","0","-1400","0","3022","0","-3542","0","1535","0","3800","0","564","0","1248","0","-2496","0","260","0","2106","0","-1596","0","1150","0","3638","0","-10","0","300","0","-6550","0","4388","0","-456","0","-800","0","546","0","-2484","0","-6858","0","-9282","0","-1000","0","-132","0","-4237","0","-772","0","4842","0","2500","0","-3200","0","-2964","0","2652","0","-1404","0","2590","0","2594","0","-1196","0","-7332","0","1562","0","-690","0","1426","0","1600","0","-2388","0","-2600","0","-950","0","1100","0","-3084","0","4008","0","-6118","0","630","0","8866","0","-3124","0","-3456","0","3900","0","780","0","1714","0","1150","0","-3800","0","-4398","0","2060","0","312","0","-1800","0","3141","0","614","0","4390","0","5874","0","-506","0","-12","0","-2078","0","250","0","1900","0","-7900","0","3692","0","7518","0","-960","0","10166","0","-1950","0","2028","0","-4416","0","3000","0","13786","0","-1200","0","6402","0","-4104","0","-2105","0","-8512","0","11150","0","4668","0","3000","0","1410","0","-1400","0","13700","0","-5438","0","-11822","0","650","0","3108","0","-2432","0","-7692","0","-1118","0","-500","0","-7800","0","2600","0","7061","0","11958","0","750","0","-4100","0","-17050","0","-704","0","3704","0","-1140","0","-9494","0","2600","0","-11418","0","-7962","0","1080","0","-6526","0","756","0","4988","0","14144","0","-2500","0","-46","0","-17400","0","-10108","0","936","0","-1930","0","-1166","0","5524","0","-7072","0","-1300","0","-3680","0","2472","0","-100","0","6252","0","-2602","0","-3510","0","1506","0","11150","0","5268","0","-10000","0","-2990","0","-16448","0","156","0","-3638","0","2078","0","300","0","2808","0","-6083","0","11500","0","-836","0","-5970","0","-2600","0","9824","0","5622","0","-3484","0","2750","0","-16486","0","11914","0","5000","0","3600","0","2660","0","11706","0","16796","0","1664","0","25038","0","-7810","0","-2526","0","17550","0","-10712","0","7544","0","1950","0","-13654","0","716","0","1692","0","-64","0","-4370","0","-14166","0","-10800","0","4428","0","17842","0","780","0","-5200","0","17600","0","27302","0","2898","0","1535","0","3794","0","-600","0","-19532","0","-13238","0","220","0","-11574","0","-8300","0","7800","0","900","0","625","0","-6400","0","6916","0","7508","0","-2336","0","9230","0","11666","0","9476","0","-27378","0","-1842","0","-4420","0","10114","0","16000","0","1296","0","10402","0","-11040","0","20194","0","-7100","0","-7118","0","1976","0","-3000","0","-3900","0","-12956","0","16576","0","-31278","0","2500","0","-30054","0","-2316","0","1292","0","4518","0","11670","0","-7500","0","-76","0","-29272","0","-4416","0","-3500","0","572","0","-2964","0","-5798","0","-26600","0","5140","0","-4212","0","8950","0","13800","0","8424","0","-6080","0","2800","0","-7800","0","-3588","0","-6044","0","-1250","0","8554","0","-4283","0","-11492","0","2882","0","-3070","0","4032","0","-18700","0","-7600","0","-12242","0","-10250","0","6486","0","-7164","0","31148","0","-2496","0","9260","0","-7694","0","4992","0","-4518","0","3300","0","2990","0","19000","0","-39550","0","-4212","0","22122","0","2700","0","3192","0","-2200","0","13184","0","-5000","0","12470","0","16634","0","-7276","0","-9372","0","19684","0","20","0","27586","0","13364","0","3450","0","28096","0","2340","0","13100","0","3850","0","-10032","0","-8776","0","13810","0","44200","0","-5244","0","20562","0","-10322","0","1600","0","-8846","0","-25350","0","-1092","0","-7982","0","15630","0","10800","0","-46000","0","-21889","0","13716","0","3765","0","1842","0","18564","0","20748","0","-16998","0","-11500","0","-26494","0","21500","0","264","0","-25762","0","390","0","8474","0","19200","0","4788","0","-8878","0","750","0","30546","0","-9684","0","32942","0","27118","0","-5000","0","38634","0","11076","0","-13472","0","-51400","0","-6500","0","5928","0","-5400","0","52","0","-5304","0","-8710","0","1794","0","-16146","0","-41732","0","9024","0","-5180","0","-13248","0","-29200","0","-5188","0","15656","0","6650","0","-13754","0","-48650","0","30700","0","14664","0","4160","0","-11334","0","-3124","0","-31178","0","1716","0","3000","0","-4686","0","33364","0","-2852","0","-598","0","18860","0","-3200","0","14004","0","-18127","0","-27462","0","1790","0","-41726","0","5200","0","-24312","0","-4200","0","1900","0","40946","0","4800","0","12650","0","-42282","0","11070","0","6168","0","-34476","0","-1172","0","-8016","0","-13000","0","-31614","0","26600","0"],"derived":{"al":[[2,null],[5,1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"80.4.a.e","letter":"e","dim":1,"charpoly":["1114","1"],"traces":["1","0","6","0","-5","0","34","0","9","0","-16","0","58","0","-30","0","-70","0","-4","0","204","0","134","0","25","0","-108","0","-242","0","-100","0","-96","0","-170","0","-438","0","348","0","-138","0","-178","0","-45","0","-22","0","813","0","-420","0","162","0","80","0","-24","0","268","0","250","0","306","0","-290","0","-422","0","804","0","852","0","306","0","150","0","-544","0","456","0","-891","0","-434","0","350","0","-1452","0","-726","0","1972","0","-600","0","20","0","1378","0","-144","0","126","0","1262","0","-1020","0","-510","0","26","0","-2628","0","1242","0","-670","0","522","0","-2380","0","-1075","0","-828","0","-125","0","978","0","-1068","0","912","0","-136","0","540","0","-926","0","-516","0","-132","0","-928","0","1210","0","4878","0","-958","0","-332","0","-630","0","500","0","-1022","0","972","0","4556","0","926","0","480","0","-654","0","1167","0","-36","0","-1294","0","850","0","1608","0","2836","0","1742","0","1500","0","2190","0","1120","0","-3672","0","-4460","0","-3782","0","-1740","0","4474","0","-3608","0","-2532","0","-8228","0","690","0","1206","0","64","0","256","0","5112","0","890","0","-3400","0","1836","0","-4060","0","5158","0","225","0","2226","0","2086","0","-3264","0","-5718","0","110","0","2736","0","3624","0","-82","0","-2430","0","-4065","0","-232","0","-2604","0","5040","0","-2144","0","2100","0","-2310","0","-14892","0","-2178","0","4110","0","-810","0","-4356","0","746","0","4596","0","11832","0","-400","0","-2206","0","-900","0","8278","0","-1178","0","120","0","-4692","0","-13","0","8268","0","106","0","-1340","0","1728","0","7772","0","-6052","0","756","0","-1250","0","-8134","0","7572","0","4396","0","4826","0","-1530","0","7026","0","3872","0","-3060","0","280","0","1450","0","156","0","-748","0","-8808","0","-3942","0","2110","0","5602","0","7452","0","1600","0","15980","0","-4020","0","6634","0","3198","0","-6264","0","-5230","0","-4260","0","-14280","0","312","0","-6843","0","-6450","0","-1530","0","-10790","0","-1242","0","5508","0","-4190","0","-750","0","-14036","0","6980","0","5868","0","-13962","0","2720","0","-1602","0","3810","0","-9380","0","5472","0","-2280","0","-9158","0","-816","0","4866","0","-5800","0","4455","0","7008","0","13486","0","-5556","0","9112","0","2170","0","-3096","0","-5628","0","7938","0","-198","0","-1750","0","8500","0","-5568","0","-1916","0","-16510","0","7260","0","-536","0","1256","0","7317","0","12222","0","3630","0","-5748","0","-5946","0","2208","0","-1992","0","-9860","0","1258","0","7560","0","16422","0","-2658","0","3000","0","-3686","0","-14348","0","-6132","0","2848","0","-100","0","1458","0","-88","0","-25404","0","27336","0","-6890","0","14714","0","5556","0","7344","0","16940","0","720","0","28968","0","-1604","0","-3924","0","-14802","0","-630","0","7002","0","-22514","0","10404","0","432","0","-6310","0","352","0","-7764","0","-6710","0","-7930","0","5100","0","7000","0","5789","0","2412","0","-8004","0","2550","0","17016","0","-13008","0","4918","0","10452","0","-130","0","3922","0","2250","0","968","0","15504","0","13140","0","17786","0","-10324","0","6720","0","-20266","0","-6210","0","-30294","0","13358","0","-16360","0","-26760","0","3350","0","-15574","0","-22692","0","-14756","0","-2592","0","-2610","0","-6654","0","400","0","26844","0","-17742","0","11900","0","-21648","0","-15840","0","-3002","0","-3798","0","5375","0","23610","0","-49368","0","-1276","0","23850","0","4140","0","-5334","0","2164","0","-14472","0","-24684","0","625","0","384","0","30660","0","25220","0","1536","0","-4890","0","47154","0","7668","0","-12306","0","27414","0","5340","0","21834","0","-4288","0","-20400","0","-23998","0","-4560","0","2754","0","32004","0","-8526","0","-24360","0","680","0","-32428","0","30948","0","-4000","0","8178","0","-2700","0","-16646","0","46852","0","13356","0","22446","0","4630","0","12516","0","9396","0","-35336","0","-4896","0","2580","0","9660","0","-34308","0","3482","0","1752","0","660","0","4284","0","-19402","0","4104","0","-13400","0","4640","0","21744","0","9896","0","42908","0","-492","0","-6050","0","-494","0","9477","0","12460","0","9282","0","-24390","0","6752","0","3252","0","-1392","0","4710","0","4790","0","-3906","0","-17340","0","-25764","0","30240","0","1660","0","-30094","0","-12864","0","22362","0","884","0","3150","0","15544","0","-30398","0","-13860","0","1290","0","-2500","0","-89352","0","552","0","-13632","0","26136","0","5110","0","-14","0","24660","0","42228","0","14500","0","-4860","0","-38814","0","1540","0","-6534","0","-4896","0","-22780","0","4476","0","27402","0","28576","0","27576","0","-4630","0","712","0","17748","0","31762","0","-20506","0","-2400","0","-13014","0","-22790","0","-13236","0","-56910","0","3270","0","10800","0","-23696","0","34175","0","49668","0","-5835","0","-36550","0","-7068","0","-58692","0","5306","0","180","0","-21054","0","-7364","0","-28152","0","-17226","0","6470","0","-78","0","-7296","0","-24476","0","12402","0","-4250","0","21202","0","636","0","-29490","0","-2570","0","-8040","0","-36334","0","33252","0","14256","0","88","0","-14180","0","46632","0","24200","0","-11340","0","-36312","0","-8710","0","12474","0","1134","0","41132","0","6944","0","-7500","0","31008","0","38416","0","-48804","0","49416","0","-10950","0","11358","0","41302","0","-3252","0","26376","0","-5600","0","-26150","0","28956","0","35254","0","-18492","0","18360","0","-18550","0","17748","0","42156","0","17322","0","22300","0","23232","0","-31484","0","-19791","0","-4590","0","18910","0","-35190","0","1680","0","40696","0","-17544","0","8700","0","44306","0","11616","0","234","0","18798","0","-22370","0","-4488","0","-23852","0","-2468","0","-52848","0","18040","0","-61086","0","47304","0"],"derived":{"al":[[2,null],[5,1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"80.4.a.f","letter":"f","dim":1,"charpoly":["966","1"],"traces":["1","0","8","0","5","0","4","0","37","0","-12","0","-58","0","40","0","66","0","100","0","32","0","-132","0","25","0","80","0","-90","0","-152","0","-96","0","20","0","-34","0","-464","0","-438","0","-32","0","185","0","204","0","-327","0","528","0","222","0","-60","0","800","0","-420","0","902","0","148","0","-290","0","1024","0","-1056","0","-432","0","362","0","200","0","-48","0","160","0","-359","0","-72","0","330","0","-720","0","810","0","-232","0","-1216","0","500","0","1106","0","-444","0","-258","0","988","0","160","0","24","0","950","0","-272","0","-1038","0","-660","0","-2146","0","264","0","-1187","0","-3504","0","125","0","124","0","-256","0","-132","0","400","0","400","0","-1254","0","2860","0","1632","0","696","0","-450","0","-2616","0","750","0","448","0","2442","0","-760","0","2246","0","1776","0","-528","0","568","0","-480","0","1524","0","1167","0","3700","0","3702","0","100","0","-3360","0","-3180","0","-2098","0","7216","0","-170","0","-792","0","320","0","-4392","0","-2158","0","-2320","0","-1074","0","-2840","0","8192","0","-360","0","-2190","0","-4884","0","-1200","0","2668","0","-3456","0","-160","0","-608","0","2896","0","-3828","0","-1772","0","925","0","2784","0","350","0","-384","0","1962","0","1020","0","1280","0","4320","0","-478","0","-5032","0","-1635","0","-5800","0","-576","0","-2652","0","1584","0","2640","0","-2334","0","-136","0","-3330","0","3948","0","1110","0","6480","0","1590","0","-4952","0","-1856","0","-300","0","1646","0","-5624","0","-1158","0","-6992","0","4000","0","-1752","0","-557","0","8848","0","-258","0","-2100","0","-960","0","7656","0","-128","0","-2064","0","4510","0","8944","0","7904","0","-1392","0","-5878","0","740","0","10326","0","1080","0","192","0","6600","0","-1450","0","7600","0","816","0","4228","0","-1258","0","5120","0","1106","0","-8304","0","1824","0","-2680","0","-5280","0","-9336","0","-11770","0","-4640","0","8322","0","-2160","0","2112","0","-10680","0","3141","0","-9496","0","1810","0","5884","0","-16206","0","888","0","-2098","0","1000","0","5220","0","-3860","0","992","0","9588","0","-240","0","-1184","0","-13410","0","-8712","0","-1056","0","800","0","-13114","0","3200","0","-5838","0","8816","0","-1795","0","408","0","9530","0","-10032","0","-1680","0","-360","0","22880","0","-7260","0","12062","0","7548","0","1650","0","3608","0","5568","0","13608","0","-3838","0","-3600","0","-13200","0","-7400","0","-12099","0","-8352","0","4050","0","6000","0","10770","0","5256","0","3584","0","-1160","0","-6694","0","5280","0","-3018","0","-14492","0","-6080","0","-7776","0","4096","0","17968","0","384","0","2500","0","8214","0","13680","0","1972","0","-4224","0","5530","0","-7916","0","4544","0","-13932","0","-5940","0","-2220","0","-1728","0","8260","0","12192","0","11148","0","-1290","0","9336","0","-9690","0","1448","0","8000","0","4940","0","-2448","0","29616","0","-16038","0","-992","0","800","0","-10032","0","5257","0","-15540","0","25404","0","120","0","-25440","0","3924","0","7142","0","-16784","0","4750","0","-7616","0","33374","0","-9000","0","640","0","-1360","0","-10314","0","1856","0","-6336","0","7128","0","-5190","0","-1436","0","2010","0","23188","0","-35136","0","-3300","0","22466","0","-17264","0","-288","0","-2664","0","-10730","0","-22776","0","-15200","0","-8592","0","-21198","0","1320","0","-22720","0","-15960","0","5882","0","37888","0","-5935","0","-8516","0","-2880","0","-11832","0","8462","0","-17520","0","-11094","0","-2180","0","-10560","0","3240","0","625","0","-9600","0","-2244","0","26848","0","21344","0","620","0","18966","0","-15984","0","26322","0","10168","0","-1280","0","23604","0","5040","0","-4864","0","16422","0","-660","0","13394","0","26100","0","-3058","0","-30624","0","2000","0","11880","0","-14176","0","-10824","0","10802","0","2000","0","-10674","0","4424","0","22272","0","28608","0","-6270","0","2800","0","-12876","0","2428","0","-1776","0","14300","0","-28908","0","15696","0","-6618","0","-3400","0","8160","0","-1032","0","20510","0","5920","0","20064","0","3480","0","34560","0","-31680","0","3952","0","-3824","0","-2250","0","-13196","0","-30563","0","-2112","0","8102","0","-13080","0","-12288","0","12580","0","-46400","0","-29892","0","3750","0","-2664","0","96","0","40408","0","-21216","0","2240","0","32366","0","12672","0","-17238","0","3800","0","12210","0","24360","0","10850","0","-18672","0","9102","0","-3800","0","-1088","0","-43800","0","5184","0","-7200","0","11230","0","25504","0","31584","0","-4152","0","-52316","0","8880","0","14166","0","13464","0","29970","0","-4344","0","-2640","0","12720","0","33210","0","-39212","0","-39616","0","2840","0","-3200","0","-8584","0","6222","0","-31172","0","-2400","0","264","0","-29050","0","13168","0","-21582","0","7620","0","-12160","0","21720","0","-16289","0","-9264","0","5835","0","-4748","0","-55936","0","4488","0","-6658","0","18500","0","-13974","0","-23780","0","-14016","0","12228","0","18510","0","-4456","0","-1920","0","-59392","0","40922","0","500","0","11606","0","-2064","0","-32958","0","-8072","0","-16800","0","-15756","0","496","0","4308","0","20400","0","-15900","0","61248","0","13680","0","14652","0","-1024","0","-10490","0","-18776","0","-9546","0","20568","0","864","0","36080","0","-528","0","6280","0","71552","0","25056","0","-850","0","36556","0","-20430","0","-32700","0","-11136","0","-3960","0","8906","0","-47024","0","-17418","0","57816","0","1600","0","2544","0","-20996","0","82608","0","15402","0","-21960","0","8640","0","-5016","0","-6687","0","888","0","-10790","0","49444","0","52800","0","25188","0","11440","0","-11600","0","2946","0","-9720","0","35150","0","-15012","0","-5370","0","6528","0","4224","0","5128","0","33824","0","-14200","0","-49714","0","-2720","0"],"derived":{"al":[[2,null],[5,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.174,"computed":"atlas","estimate":{"seconds":0.347,"low":0.211,"high":0.6,"bytes":1916077},"url":"https://sagebrush.space/atlas/mf/80.4.a"}