{"label":"188.4.a","level":188,"weight":4,"dims":{"new":12,"cusp":69,"eisenstein":6,"modsym":144},"old":[[47,11,3],[94,12,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 47, 94, 188]: [1, 2, 3, 13, 38, 75] (certified at ell = 2147483137)","T = [(3, 1), (5, 1)]; h of degree 12 = 1 x 12 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"188.4.a.a","letter":"a","dim":6,"charpoly":["132970","80168","1727","-2126","-123","14","1"],"traces":["6","0","-4","0","-10","0","-44","0","68","0","-58","0","-108","0","-302","0","-146","0","-192","0","-348","0","-306","0","66","0","-268","0","-218","0","-352","0","-380","0","-148","0","-466","0","-846","0","-114","0","-642","0","-306","0","-282","0","1092","0","28","0","278","0","420","0","1790","0","800","0","-10","0","-876","0","2532","0","-2058","0","3526","0","572","0","-322","0","1948","0","1410","0","-336","0","2622","0","-908","0","274","0","284","0","1634","0","-10","0","3454","0","-580","0","2186","0","-956","0","2414","0","-416","0","8222","0","732","0","-1214","0","1480","0","-648","0","-6212","0","-862","0","2452","0","-82","0","-1552","0","-1164","0","-6846","0","-1068","0","3408","0","-4962","0","-5206","0","1288","0","-3804","0","188","0","320","0","-1852","0","828","0","2526","0","0","0","-998","0","-5952","0","-5334","0","-304","0","-1720","0","-5758","0","-320","0","-1854","0","-1986","0","-4334","0","4218","0","-12400","0","536","0","-5948","0","-2632","0","-7540","0","2742","0","-10616","0","-10138","0","-744","0","2364","0","6912","0","-4792","0","-4654","0","5774","0","9726","0","-2940","0","3798","0","-180","0","-3714","0","1670","0","11424","0","1170","0","-1446","0","3354","0","-5102","0","16184","0","-3906","0","-4142","0","25310","0","3442","0","470","0","-9354","0","8400","0","12186","0","13220","0","-2524","0","-3272","0","5228","0","19808","0","-7036","0","22708","0","5116","0","-8048","0","-9368","0","5164","0","-5604","0","1268","0","8996","0","916","0","25524","0","6354","0","-14522","0","-2086","0","5082","0","-688","0","-484","0","18430","0","1192","0","22816","0","-5610","0","-4308","0","-4138","0","-1356","0","-3966","0","8660","0","23196","0","-7812","0","-22606","0","28786","0","5386","0","24182","0","-34392","0","-1232","0","-3880","0","4270","0","-8916","0","-12828","0","2068","0","-19644","0","-4434","0","18568","0","-5494","0","23802","0","-6052","0","-16024","0","-14852","0","5604","0","-20686","0","-7004","0","-7270","0","9878","0","-32354","0","1288","0","-8542","0","8568","0","-2208","0","-2572","0","-7152","0","24100","0","-30844","0","-22508","0","-17968","0","3092","0","21822","0","-3116","0","-27984","0","-41576","0","-20050","0","-18","0","17312","0","-5226","0","-18934","0","7356","0","9722","0","-22088","0","-22636","0","-10136","0","-7044","0","642","0","-23382","0","-22136","0","2122","0","8288","0","-32694","0","-3196","0","-30350","0","88","0","64","0","11280","0","14754","0","49096","0","5876","0","-7036","0","67846","0","-1794","0","-12908","0","-43900","0","11534","0","19652","0","-28778","0","-38640","0","39786","0","-7028","0","-13876","0","-7230","0","16096","0","-4424","0","-3604","0","-8008","0","38956","0","26752","0","-11472","0","-9968","0","42462","0","-49958","0","-30812","0","-26208","0","-40080","0","488","0","38320","0","75620","0","-39524","0","28020","0","38662","0","8576","0","666","0","39856","0","-12108","0","48484","0","38336","0","-2710","0","2726","0","-34928","0","34526","0","2300","0","-7792","0","30702","0","82242","0","44220","0","-952","0","32356","0","5092","0","-44494","0","14202","0","46974","0","30132","0","-18966","0","-51188","0","25964","0","51476","0","-7812","0","-5298","0","10600","0","41014","0","-23904","0","18140","0","-5948","0","26512","0","15540","0","-72996","0","40410","0","28022","0","6616","0","71184","0","-67026","0","63284","0","-17732","0","47988","0","12496","0","3438","0","24362","0","-60480","0","-47120","0","87290","0","-124634","0","8990","0","17094","0","-39478","0","5076","0","-12114","0","24128","0","39014","0","-8448","0","114402","0","15144","0","7806","0","-29756","0","-5730","0","-19826","0","-14366","0","-36796","0","-23754","0","-41704","0","-26180","0","-52820","0","55796","0","-35612","0","52602","0","-72788","0","-51002","0","-55748","0","-115222","0","-72576","0","86554","0","66186","0","32724","0","-77756","0","-71426","0","21294","0","28222","0","81200","0","-83688","0","-79532","0","-4974","0","23980","0","-24024","0","20930","0","-20734","0","64142","0","-51902","0","-34112","0","-27808","0","-42768","0","32442","0","-14918","0","14194","0","-75160","0","5178","0","52284","0","20628","0","20696","0","16810","0","-29148","0","84692","0","24860","0","-50118","0","-75558","0","-109420","0","-20380","0","24422","0","-132054","0","-88148","0","34492","0","-20860","0","-5968","0","70530","0","-119564","0","-97216","0","-54912","0","-72090","0","9296","0","22848","0","-41116","0","45584","0","31750","0","-79580","0","-21138","0","38038","0","-36270","0","-15146","0","19064","0","57586","0","-51860","0","117572","0","-48046","0","-16724","0","-18952","0","109132","0","-94386","0","68314","0","125398","0","-70068","0","6862","0","-13648","0","94916","0","240136","0","716","0","43778","0","28292","0","-78062","0","126328","0","84164","0","66948","0","-75538","0","-86884","0","-130060","0","-29540","0","-16150","0","22340","0","31548","0","-23536","0","54076","0","-52998","0","28602","0","-84434","0","-93846","0","-43300","0","-95872","0","186658","0","67034","0","-75560","0","-2372","0","-496","0","31802","0","18648","0","-24260","0","-83040","0","26588","0","110524","0","-8776","0","122952","0","-36122","0","157850","0","-77242","0","93332","0","-192618","0","90284","0","101220","0","-72604","0","9024","0","25000","0","-53560","0","116772","0","156500","0","249590","0","-15072","0","-43752","0","12822","0","47924","0","89936","0","77470","0","-38914","0","8636","0","29998","0","-23594","0","16234","0","150556","0","-131830","0","27582","0","-19264","0","-62416","0","-21948","0","-97256","0","72794","0","48240","0","209800","0","8132","0","-232","0","16690","0","-96446","0","81128","0","123460","0","26702","0","-34506","0","118280","0","91268","0","-94880","0","24370","0","9384","0","45034","0","-180386","0","72600","0","-58122","0","-20520","0","73560","0","-1492","0","16356","0","-206872","0","61396","0","119672","0","141488","0","115052","0","113500","0"]},{"label":"188.4.a.b","letter":"b","dim":6,"charpoly":["-10480872","-816058","161069","6740","-821","-8","1"],"traces":["6","0","8","0","0","0","40","0","68","0","8","0","90","0","198","0","94","0","242","0","340","0","118","0","330","0","404","0","100","0","212","0","12","0","372","0","354","0","-170","0","66","0","868","0","192","0","282","0","-52","0","732","0","-262","0","360","0","-1010","0","-144","0","-630","0","688","0","-2820","0","-48","0","-1818","0","-88","0","-2170","0","-832","0","-2118","0","936","0","-2434","0","-112","0","-546","0","-1116","0","-2542","0","-310","0","-2306","0","-2304","0","-2254","0","-1326","0","-1290","0","632","0","-1482","0","1002","0","1748","0","3448","0","-2832","0","1452","0","-2336","0","2940","0","-434","0","792","0","-1920","0","7378","0","-500","0","1364","0","1382","0","3006","0","-1940","0","3630","0","376","0","1924","0","780","0","5736","0","2030","0","7520","0","-102","0","-312","0","7766","0","1608","0","-4536","0","7528","0","-4656","0","2918","0","8550","0","-1160","0","1638","0","6316","0","360","0","1614","0","2002","0","1948","0","1410","0","5756","0","3238","0","-4612","0","1016","0","-5664","0","3168","0","5926","0","-13730","0","-4926","0","8064","0","-6978","0","-4348","0","3016","0","6006","0","-6036","0","698","0","-3938","0","-1810","0","2858","0","-976","0","-9188","0","10344","0","-13254","0","-7718","0","0","0","1942","0","-3444","0","2594","0","-7624","0","6510","0","13900","0","-6564","0","-17272","0","12356","0","-20772","0","-11556","0","5288","0","-5202","0","-4172","0","-4992","0","-18636","0","10104","0","-6448","0","-10636","0","-16072","0","1862","0","-15230","0","-21334","0","-8952","0","7308","0","-462","0","8656","0","-19064","0","-2060","0","-6804","0","-12354","0","1700","0","5738","0","-1284","0","-3792","0","11100","0","274","0","-10830","0","3486","0","5754","0","2906","0","12020","0","-11088","0","-6722","0","21294","0","-4580","0","1880","0","-1712","0","24562","0","-4956","0","74","0","-6258","0","15884","0","8000","0","-3252","0","11492","0","14528","0","-25316","0","3082","0","13002","0","24798","0","4576","0","-15342","0","13292","0","20052","0","19400","0","10332","0","-16140","0","19858","0","-12516","0","10040","0","25712","0","29134","0","-3492","0","-21720","0","25522","0","2244","0","-158","0","768","0","810","0","19934","0","6164","0","14146","0","12880","0","39486","0","3196","0","3896","0","-44778","0","28314","0","-8280","0","24010","0","19446","0","-4276","0","3196","0","-23222","0","31328","0","71280","0","-14064","0","3350","0","216","0","7972","0","1156","0","9102","0","20896","0","-29376","0","-9876","0","3938","0","-22536","0","9478","0","-51336","0","12306","0","-14604","0","14190","0","-22","0","-44064","0","-8158","0","-36124","0","-13232","0","-29292","0","42422","0","20388","0","-22260","0","-62238","0","-36762","0","12264","0","32548","0","-5432","0","-22864","0","-8300","0","-14232","0","1716","0","14010","0","-27258","0","32976","0","-44754","0","47676","0","-29874","0","-27724","0","17008","0","-39642","0","376","0","-29160","0","-41010","0","44388","0","14272","0","40594","0","-24686","0","-33180","0","-7284","0","31008","0","20556","0","-18260","0","-31910","0","-10934","0","-25140","0","-5184","0","-23024","0","7768","0","-38620","0","20916","0","17472","0","-19300","0","-50082","0","-47890","0","-64944","0","27328","0","59804","0","-15868","0","-41940","0","-5006","0","-48394","0","-10016","0","-3840","0","-626","0","-63636","0","67810","0","17172","0","-39816","0","-10770","0","-45642","0","58720","0","-31416","0","-8422","0","-33224","0","19560","0","17634","0","-41982","0","4230","0","-24378","0","79056","0","62934","0","22568","0","8082","0","22608","0","-43506","0","27036","0","87398","0","8062","0","-18638","0","-44220","0","-26612","0","57612","0","-59472","0","-29380","0","90084","0","11232","0","-5958","0","-24460","0","-7262","0","-56652","0","-35582","0","8748","0","-30678","0","120702","0","19548","0","38116","0","68926","0","-22418","0","-62662","0","31640","0","27002","0","-8644","0","14514","0","77612","0","-52524","0","110086","0","5926","0","-9580","0","-72246","0","145956","0","-113064","0","53304","0","46744","0","-45158","0","9306","0","3216","0","21986","0","94732","0","57892","0","121896","0","102618","0","15268","0","-67516","0","85036","0","-380","0","978","0","5108","0","-7848","0","-23426","0","-41346","0","11596","0","54640","0","-29836","0","17876","0","-62154","0","22368","0","23304","0","-37092","0","-45210","0","41184","0","87378","0","44700","0","-83520","0","24602","0","-336","0","52194","0","59574","0","-57786","0","7410","0","2708","0","146210","0","18024","0","-49172","0","-7146","0","20064","0","-49586","0","33996","0","-90318","0","2622","0","81162","0","7874","0","4418","0","-106752","0","58712","0","29304","0","104508","0","101990","0","59920","0","-40382","0","-72708","0","45092","0","-106132","0","11648","0","-64228","0","34092","0","16580","0","-102336","0","-193892","0","57980","0","-40320","0","-20468","0","32058","0","-108590","0","-47958","0","-108264","0","-63512","0","92368","0","-33370","0","20222","0","-63132","0","72872","0","-78026","0","-39174","0","63748","0","-162624","0","-48052","0","-18404","0","59928","0","-84272","0","15240","0","25080","0","-64434","0","-83010","0","66920","0","-183642","0","-41248","0","74804","0","-71670","0","11374","0","-80460","0","86088","0","36244","0","-73156","0","142322","0","133416","0","-17388","0","57822","0","79904","0","-72392","0","-173166","0","-71298","0","-22588","0","7294","0","-124310","0","-113274","0","-21188","0","65322","0","-32668","0","34416","0","-102768","0","-46636","0","-99152","0","-157554","0","-11448","0","171624","0","-38140","0","-115580","0","-43530","0","-25562","0","-24936","0","84372","0","-200334","0","-37962","0","52134","0","165888","0","13392","0","110826","0","-68978","0","14450","0","-130838","0","153384","0","-112418","0","65554","0","105144","0","-114456","0","15980","0","-33864","0","32","0","198712","0","-29472","0","91926","0","78076","0"]}],"seconds":0.125,"computed":"atlas","estimate":{"seconds":0.422,"low":0.258,"high":0.73,"bytes":2047312}}