{"label":"32.4.a","level":32,"weight":4,"dims":{"new":3,"cusp":8,"eisenstein":8,"modsym":24},"old":[[8,1,3],[16,1,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 8, 16, 32]: [1, 2, 3, 5, 8, 14] (certified at ell = 2147483497)","T = [(3, 1), (5, 1)]; h of degree 3 = 1 x 3 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"32.4.a.a","letter":"a","dim":1,"charpoly":["18","1"],"traces":["1","0","-8","0","-10","0","-16","0","37","0","40","0","-50","0","80","0","-30","0","-40","0","128","0","-48","0","-25","0","-80","0","-34","0","-320","0","-320","0","160","0","310","0","400","0","410","0","-152","0","-370","0","416","0","-87","0","240","0","-410","0","-400","0","320","0","200","0","30","0","-592","0","500","0","-776","0","384","0","-400","0","-630","0","200","0","-640","0","1120","0","-359","0","-552","0","300","0","272","0","-326","0","800","0","2560","0","400","0","-110","0","1480","0","-1098","0","48","0","-1280","0","-664","0","-370","0","-2480","0","1490","0","480","0","-1850","0","480","0","269","0","-3280","0","1500","0","1024","0","1216","0","-1160","0","640","0","800","0","570","0","1960","0","-3328","0","-2000","0","340","0","696","0","-2010","0","720","0","-1110","0","3200","0","1790","0","3280","0","768","0","1208","0","3200","0","-2896","0","303","0","-1480","0","750","0","400","0","-1600","0","-2280","0","-442","0","-240","0","-3100","0","-1200","0","1280","0","1920","0","-5070","0","-4000","0","1910","0","-2960","0","6208","0","544","0","-4100","0","-1776","0","-1600","0","-40","0","3200","0","1520","0","5120","0","5040","0","1500","0","-4288","0","-925","0","6456","0","-1066","0","5120","0","-5910","0","-4160","0","-8960","0","3360","0","3970","0","5032","0","870","0","2000","0","4416","0","-6840","0","-1920","0","-2400","0","4610","0","-4960","0","-1258","0","4848","0","4100","0","2608","0","5550","0","480","0","-6400","0","-1000","0","1030","0","-11840","0","-3270","0","-2168","0","-3200","0","-6560","0","-4013","0","880","0","2070","0","-2000","0","-3200","0","2400","0","2432","0","8784","0","-300","0","-1896","0","-384","0","1680","0","970","0","5920","0","7230","0","-1360","0","5312","0","1200","0","1250","0","2960","0","-6656","0","5800","0","11470","0","7760","0","-1870","0","-11920","0","-12800","0","6880","0","-3840","0","-376","0","-7586","0","4000","0","2530","0","4000","0","-3840","0","-9680","0","-5259","0","-2152","0","6300","0","-2784","0","15170","0","6560","0","7910","0","-12000","0","1700","0","-1720","0","-8192","0","-11008","0","6400","0","-5624","0","-12330","0","1440","0","9280","0","-11200","0","-4370","0","-5120","0","3298","0","16000","0","3590","0","12400","0","-9110","0","-4560","0","-3200","0","5520","0","-15680","0","-7880","0","-5290","0","15392","0","750","0","-480","0","16000","0","-13920","0","4930","0","-2720","0","1920","0","10640","0","-3219","0","9288","0","3260","0","16080","0","12850","0","16400","0","-5760","0","-8000","0","10490","0","2400","0","11118","0","-5792","0","-25600","0","-2216","0","12416","0","-14320","0","-6080","0","1000","0","-15170","0","10560","0","-15500","0","-6144","0","1100","0","-13264","0","-9664","0","4840","0","1020","0","-14800","0","6400","0","-19560","0","23168","0","528","0","10980","0","-2424","0","-19554","0","10080","0","3200","0","-480","0","16640","0","-6000","0","15162","0","-10968","0","-3200","0","9600","0","-9863","0","7400","0","-20500","0","6640","0","18240","0","-3480","0","-6722","0","3536","0","3700","0","-20424","0","1110","0","1360","0","-17920","0","24800","0","-6610","0","7600","0","9600","0","2712","0","-14900","0","5744","0","3530","0","13640","0","-15360","0","1200","0","-6270","0","40560","0","8832","0","-16400","0","18500","0","8616","0","12800","0","-15280","0","5490","0","-4800","0","23680","0","15440","0","8890","0","-28712","0","-2690","0","-23744","0","-4352","0","-20800","0","-15210","0","32800","0","-12630","0","-11160","0","3840","0","5216","0","-11875","0","12800","0","-9300","0","-13040","0","320","0","-10240","0","4350","0","-14800","0","-16910","0","-4488","0","-12160","0","-2064","0","8000","0","-40960","0","4270","0","11600","0","-23310","0","19800","0","27110","0","-12000","0","-6400","0","1632","0","34304","0","1200","0","32210","0","2000","0","27190","0","1760","0","-51648","0","20328","0","-5700","0","8528","0","20500","0","-12520","0","-23680","0","-19600","0","-12300","0","47280","0","11550","0","-12400","0","33280","0","17568","0","-34154","0","41440","0","15360","0","20000","0","-26880","0","22880","0","-768","0","-31760","0","850","0","-10416","0","-30563","0","4560","0","14750","0","-6960","0","-31040","0","2360","0","-16000","0","-32208","0","20100","0","-20424","0","10624","0","36640","0","54720","0","-7200","0","-12090","0","15360","0","-3318","0","5920","0","11100","0","-10000","0","11506","0","-36880","0","22230","0","8000","0","39680","0","-16400","0","-16000","0","2720","0","-17900","0","21336","0","-38784","0","-23840","0","-1500","0","-32800","0","-7170","0","-12480","0","-12062","0","-25200","0","-7680","0","-44400","0","-23654","0","30440","0","-3840","0","-12080","0","6080","0","29600","0","-19930","0","9872","0","8000","0","5704","0","27230","0","-8240","0","2610","0","28960","0","25600","0","18800","0","-23233","0","26160","0","-3030","0","-4304","0","17344","0","-14880","0","-12090","0","14800","0","-470","0","-24440","0","52480","0","22592","0","-7500","0","32104","0","44800","0","38800","0","-4070","0","-24000","0","-17330","0","-16560","0","-31470","0","3352","0","16000","0","48144","0","-16384","0","-14360","0","-16640","0","22800","0","-19200","0","10880","0","12300","0","-19456","0","4420","0","-16216","0","-40626","0","-49440","0","-22080","0","2400","0","18560","0","16080","0","15168","0","20000","0","-7750","0","1776","0","-11310","0","3480","0","-13440","0","12000","0","25130","0","-7760","0","-22322","0","-19680","0","-12800","0","-36456","0","31500","0","-57840","0","40650","0","-19200","0","10880","0","-9120","0","72609","0","-24568","0","50700","0","-34704","0","-9600","0","30760","0","-31360","0","-10000","0","-38110","0","-13040","0","-13690","0","-19632","0","-19100","0","53248","0","7296","0","47680","0","-46400","0","29600","0","-39690","0","-24800","0"]},{"label":"32.4.a.b","letter":"b","dim":1,"charpoly":["-22","1"],"traces":["1","0","0","0","22","0","0","0","-27","0","0","0","-18","0","0","0","-94","0","0","0","0","0","0","0","359","0","0","0","-130","0","0","0","0","0","0","0","214","0","0","0","-230","0","0","0","-594","0","0","0","-343","0","0","0","518","0","0","0","0","0","0","0","830","0","0","0","-396","0","0","0","0","0","0","0","1098","0","0","0","0","0","0","0","729","0","0","0","-2068","0","0","0","-1670","0","0","0","0","0","0","0","594","0","0","0","598","0","0","0","0","0","0","0","-1746","0","0","0","2002","0","0","0","486","0","0","0","-1331","0","0","0","5148","0","0","0","0","0","0","0","0","0","0","0","-1606","0","0","0","0","0","0","0","-2860","0","0","0","-3514","0","0","0","2538","0","0","0","286","0","0","0","0","0","0","0","0","0","0","0","-1873","0","0","0","-4082","0","0","0","0","0","0","0","3942","0","0","0","4708","0","0","0","0","0","0","0","5362","0","0","0","1174","0","0","0","0","0","0","0","-5060","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1692","0","0","0","-9693","0","0","0","6390","0","0","0","-598","0","0","0","0","0","0","0","-5310","0","0","0","-7546","0","0","0","0","0","0","0","0","0","0","0","-1534","0","0","0","3510","0","0","0","11396","0","0","0","3406","0","0","0","0","0","0","0","9126","0","0","0","-7430","0","0","0","0","0","0","0","3923","0","0","0","-9418","0","0","0","0","0","0","0","0","0","0","0","18260","0","0","0","0","0","0","0","-6838","0","0","0","-10274","0","0","0","0","0","0","0","-6462","0","0","0","0","0","0","0","-5778","0","0","0","-12366","0","0","0","0","0","0","0","0","0","0","0","9470","0","0","0","3298","0","0","0","0","0","0","0","-6859","0","0","0","24156","0","0","0","6210","0","0","0","-12922","0","0","0","2340","0","0","0","0","0","0","0","0","0","0","0","374","0","0","0","0","0","0","0","9614","0","0","0","-2398","0","0","0","16038","0","0","0","7146","0","0","0","0","0","0","0","0","0","0","0","-10890","0","0","0","-33746","0","0","0","0","0","0","0","-4862","0","0","0","0","0","0","0","9261","0","0","0","-36740","0","0","0","16114","0","0","0","0","0","0","0","16506","0","0","0","2318","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-13986","0","0","0","-3852","0","0","0","13068","0","0","0","0","0","0","0","12220","0","0","0","0","0","0","0","0","0","0","0","13156","0","0","0","14270","0","0","0","0","0","0","0","0","0","0","0","23738","0","0","0","0","0","0","0","-12167","0","0","0","4140","0","0","0","0","0","0","0","-5922","0","0","0","-38412","0","0","0","-22410","0","0","0","0","0","0","0","-8626","0","0","0","0","0","0","0","44044","0","0","0","-26806","0","0","0","0","0","0","0","-3454","0","0","0","0","0","0","0","10692","0","0","0","0","0","0","0","-15502","0","0","0","0","0","0","0","-17030","0","0","0","-29282","0","0","0","0","0","0","0","23222","0","0","0","15466","0","0","0","0","0","0","0","68381","0","0","0","-20116","0","0","0","0","0","0","0","6174","0","0","0","28850","0","0","0","0","0","0","0","0","0","0","0","33358","0","0","0","-29646","0","0","0","-25850","0","0","0","0","0","0","0","0","0","0","0","-4462","0","0","0","4054","0","0","0","0","0","0","0","-35332","0","0","0","-9324","0","0","0","0","0","0","0","21620","0","0","0","20030","0","0","0","0","0","0","0","-36810","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-46670","0","0","0","-19683","0","0","0","38718","0","0","0","0","0","0","0","0","0","0","0","-77308","0","0","0","0","0","0","0","0","0","0","0","35046","0","0","0","31882","0","0","0","55836","0","0","0","9650","0","0","0","39542","0","0","0","0","0","0","0","0","0","0","0","6292","0","0","0","0","0","0","0","-14940","0","0","0","-41954","0","0","0","45090","0","0","0","0","0","0","0","-23270","0","0","0","0","0","0","0","0","0","0","0","-1850","0","0","0","0","0","0","0","23166","0","0","0","32242","0","0","0","0","0","0","0","-7489","0","0","0","-41206","0","0","0","0","0","0","0","-20378","0","0","0","45994","0","0","0","0","0","0","0","-89804","0","0","0","0","0","0","0","-16038","0","0","0","-42514","0","0","0","-7150","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-48692","0","0","0","86724","0","0","0","-16146","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","76826","0","0","0","30866","0","0","0","0","0","0","0","51946","0","0","0","-31378","0","0","0","0","0","0","0","-19764","0","0","0","-56758","0","0","0","0","0","0","0","-29791","0","0","0","117964","0","0","0","0","0","0","0","0","0","0","0","-56606","0","0","0","47142","0","0","0","25828","0","0","0","0","0","0","0","0","0","0","0","52886","0","0","0"]},{"label":"32.4.a.c","letter":"c","dim":1,"charpoly":["2","1"],"traces":["1","0","8","0","-10","0","16","0","37","0","-40","0","-50","0","-80","0","-30","0","40","0","128","0","48","0","-25","0","80","0","-34","0","320","0","-320","0","-160","0","310","0","-400","0","410","0","152","0","-370","0","-416","0","-87","0","-240","0","-410","0","400","0","320","0","-200","0","30","0","592","0","500","0","776","0","384","0","400","0","-630","0","-200","0","-640","0","-1120","0","-359","0","552","0","300","0","-272","0","-326","0","-800","0","2560","0","-400","0","-110","0","-1480","0","-1098","0","-48","0","-1280","0","664","0","-370","0","2480","0","1490","0","-480","0","-1850","0","-480","0","269","0","3280","0","1500","0","-1024","0","1216","0","1160","0","640","0","-800","0","570","0","-1960","0","-3328","0","2000","0","340","0","-696","0","-2010","0","-720","0","-1110","0","-3200","0","1790","0","-3280","0","768","0","-1208","0","3200","0","2896","0","303","0","1480","0","750","0","-400","0","-1600","0","2280","0","-442","0","240","0","-3100","0","1200","0","1280","0","-1920","0","-5070","0","4000","0","1910","0","2960","0","6208","0","-544","0","-4100","0","1776","0","-1600","0","40","0","3200","0","-1520","0","5120","0","-5040","0","1500","0","4288","0","-925","0","-6456","0","-1066","0","-5120","0","-5910","0","4160","0","-8960","0","-3360","0","3970","0","-5032","0","870","0","-2000","0","4416","0","6840","0","-1920","0","2400","0","4610","0","4960","0","-1258","0","-4848","0","4100","0","-2608","0","5550","0","-480","0","-6400","0","1000","0","1030","0","11840","0","-3270","0","2168","0","-3200","0","6560","0","-4013","0","-880","0","2070","0","2000","0","-3200","0","-2400","0","2432","0","-8784","0","-300","0","1896","0","-384","0","-1680","0","970","0","-5920","0","7230","0","1360","0","5312","0","-1200","0","1250","0","-2960","0","-6656","0","-5800","0","11470","0","-7760","0","-1870","0","11920","0","-12800","0","-6880","0","-3840","0","376","0","-7586","0","-4000","0","2530","0","-4000","0","-3840","0","9680","0","-5259","0","2152","0","6300","0","2784","0","15170","0","-6560","0","7910","0","12000","0","1700","0","1720","0","-8192","0","11008","0","6400","0","5624","0","-12330","0","-1440","0","9280","0","11200","0","-4370","0","5120","0","3298","0","-16000","0","3590","0","-12400","0","-9110","0","4560","0","-3200","0","-5520","0","-15680","0","7880","0","-5290","0","-15392","0","750","0","480","0","16000","0","13920","0","4930","0","2720","0","1920","0","-10640","0","-3219","0","-9288","0","3260","0","-16080","0","12850","0","-16400","0","-5760","0","8000","0","10490","0","-2400","0","11118","0","5792","0","-25600","0","2216","0","12416","0","14320","0","-6080","0","-1000","0","-15170","0","-10560","0","-15500","0","6144","0","1100","0","13264","0","-9664","0","-4840","0","1020","0","14800","0","6400","0","19560","0","23168","0","-528","0","10980","0","2424","0","-19554","0","-10080","0","3200","0","480","0","16640","0","6000","0","15162","0","10968","0","-3200","0","-9600","0","-9863","0","-7400","0","-20500","0","-6640","0","18240","0","3480","0","-6722","0","-3536","0","3700","0","20424","0","1110","0","-1360","0","-17920","0","-24800","0","-6610","0","-7600","0","9600","0","-2712","0","-14900","0","-5744","0","3530","0","-13640","0","-15360","0","-1200","0","-6270","0","-40560","0","8832","0","16400","0","18500","0","-8616","0","12800","0","15280","0","5490","0","4800","0","23680","0","-15440","0","8890","0","28712","0","-2690","0","23744","0","-4352","0","20800","0","-15210","0","-32800","0","-12630","0","11160","0","3840","0","-5216","0","-11875","0","-12800","0","-9300","0","13040","0","320","0","10240","0","4350","0","14800","0","-16910","0","4488","0","-12160","0","2064","0","8000","0","40960","0","4270","0","-11600","0","-23310","0","-19800","0","27110","0","12000","0","-6400","0","-1632","0","34304","0","-1200","0","32210","0","-2000","0","27190","0","-1760","0","-51648","0","-20328","0","-5700","0","-8528","0","20500","0","12520","0","-23680","0","19600","0","-12300","0","-47280","0","11550","0","12400","0","33280","0","-17568","0","-34154","0","-41440","0","15360","0","-20000","0","-26880","0","-22880","0","-768","0","31760","0","850","0","10416","0","-30563","0","-4560","0","14750","0","6960","0","-31040","0","-2360","0","-16000","0","32208","0","20100","0","20424","0","10624","0","-36640","0","54720","0","7200","0","-12090","0","-15360","0","-3318","0","-5920","0","11100","0","10000","0","11506","0","36880","0","22230","0","-8000","0","39680","0","16400","0","-16000","0","-2720","0","-17900","0","-21336","0","-38784","0","23840","0","-1500","0","32800","0","-7170","0","12480","0","-12062","0","25200","0","-7680","0","44400","0","-23654","0","-30440","0","-3840","0","12080","0","6080","0","-29600","0","-19930","0","-9872","0","8000","0","-5704","0","27230","0","8240","0","2610","0","-28960","0","25600","0","-18800","0","-23233","0","-26160","0","-3030","0","4304","0","17344","0","14880","0","-12090","0","-14800","0","-470","0","24440","0","52480","0","-22592","0","-7500","0","-32104","0","44800","0","-38800","0","-4070","0","24000","0","-17330","0","16560","0","-31470","0","-3352","0","16000","0","-48144","0","-16384","0","14360","0","-16640","0","-22800","0","-19200","0","-10880","0","12300","0","19456","0","4420","0","16216","0","-40626","0","49440","0","-22080","0","-2400","0","18560","0","-16080","0","15168","0","-20000","0","-7750","0","-1776","0","-11310","0","-3480","0","-13440","0","-12000","0","25130","0","7760","0","-22322","0","19680","0","-12800","0","36456","0","31500","0","57840","0","40650","0","19200","0","10880","0","9120","0","72609","0","24568","0","50700","0","34704","0","-9600","0","-30760","0","-31360","0","10000","0","-38110","0","13040","0","-13690","0","19632","0","-19100","0","-53248","0","7296","0","-47680","0","-46400","0","-29600","0","-39690","0","24800","0"]}],"seconds":0.1,"computed":"atlas","estimate":{"seconds":0.239,"low":0.146,"high":0.414,"bytes":1838335}}