{"label":"172.4.a","level":172,"weight":4,"dims":{"new":11,"cusp":63,"eisenstein":6,"modsym":132},"old":[[43,10,3],[86,11,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 43, 86, 172]: [1, 2, 3, 12, 35, 69] (certified at ell = 2147483647)","T = [(3, 1), (5, 1)]; h of degree 11 = 1 x 11 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"172.4.a.a","letter":"a","dim":5,"charpoly":["7896","804","-794","-63","12","1"],"traces":["5","0","-11","0","-1","0","-8","0","36","0","-33","0","-83","0","-216","0","-210","0","-245","0","-62","0","-318","0","-94","0","-566","0","-79","0","-388","0","-326","0","-438","0","-131","0","36","0","6","0","-215","0","1210","0","-657","0","209","0","389","0","627","0","448","0","1836","0","-380","0","1542","0","-738","0","446","0","981","0","2052","0","-494","0","-178","0","292","0","92","0","143","0","2641","0","425","0","1576","0","-527","0","-1002","0","460","0","3821","0","-2295","0","1546","0","2315","0","107","0","-1554","0","2208","0","-1916","0","109","0","2047","0","-3106","0","-767","0","-409","0","-2142","0","1220","0","-2016","0","-504","0","104","0","473","0","-2543","0","434","0","-5215","0","-1988","0","-101","0","313","0","-8259","0","1446","0","649","0","-1601","0","508","0","-5214","0","-5942","0","599","0","-1184","0","-7630","0","-4995","0","-2660","0","-5793","0","3426","0","-6456","0","1636","0","-1362","0","-422","0","619","0","1816","0","-2042","0","-6454","0","2787","0","11700","0","-4694","0","-1746","0","5908","0","5306","0","8568","0","-2952","0","-4326","0","4489","0","2955","0","-7602","0","9035","0","4542","0","43","0","1070","0","19794","0","1875","0","-196","0","5765","0","-3213","0","11239","0","14340","0","-1632","0","9250","0","8138","0","2453","0","-5902","0","-11788","0","843","0","10748","0","-10070","0","431","0","-1","0","16663","0","-1980","0","17778","0","8979","0","-11442","0","3980","0","15414","0","625","0","6730","0","-13240","0","8745","0","-6283","0","-12478","0","-14988","0","8791","0","13511","0","-1206","0","2601","0","-12516","0","-4928","0","3442","0","-19660","0","1727","0","344","0","6944","0","-10526","0","-2989","0","12740","0","-8217","0","-25008","0","-2248","0","7231","0","30338","0","-11134","0","74","0","-10223","0","7466","0","-14250","0","16574","0","-34681","0","-13734","0","-16212","0","7228","0","-2809","0","2600","0","-4987","0","-13655","0","-8631","0","30784","0","-7681","0","-7154","0","4922","0","5928","0","-1652","0","-19461","0","-24554","0","-11107","0","14447","0","-20600","0","-5421","0","16007","0","-37068","0","941","0","-6409","0","-9408","0","-21348","0","-1548","0","6730","0","1685","0","-23399","0","-12315","0","23856","0","-14640","0","5050","0","-285","0","43334","0","-5368","0","2962","0","-14178","0","8488","0","2418","0","-18078","0","-4640","0","-25465","0","-14375","0","-7685","0","21940","0","52774","0","3314","0","-34544","0","-17161","0","34885","0","252","0","-28836","0","2074","0","-688","0","25509","0","22938","0","-39449","0","-10222","0","35232","0","2046","0","31429","0","32668","0","-13970","0","18213","0","-26281","0","29740","0","-6796","0","1419","0","5463","0","36419","0","28432","0","2458","0","17464","0","29259","0","-3293","0","25308","0","52267","0","9995","0","56944","0","-2432","0","13021","0","-43594","0","-8274","0","-3376","0","-38307","0","42725","0","-9420","0","52675","0","299","0","27176","0","-11468","0","-15572","0","13225","0","21744","0","-6526","0","31475","0","-30346","0","64687","0","-5262","0","-41440","0","4523","0","39687","0","-50044","0","-1988","0","-5833","0","-2556","0","-25594","0","-9362","0","63125","0","35127","0","3569","0","21714","0","-22807","0","-13250","0","-50048","0","68469","0","-30921","0","7140","0","34774","0","8990","0","23864","0","15024","0","-52879","0","-70740","0","-80318","0","53528","0","-76974","0","-46298","0","-9140","0","-71060","0","-9032","0","-61282","0","22763","0","13283","0","-10408","0","61874","0","-15634","0","-69444","0","-8367","0","42288","0","10900","0","-31371","0","-44328","0","-38337","0","39236","0","14887","0","-38238","0","-11983","0","-4126","0","-17055","0","3432","0","38104","0","-31756","0","9288","0","18738","0","9744","0","-10438","0","17715","0","43860","0","-148176","0","161","0","16965","0","7684","0","62666","0","27402","0","-16634","0","-30278","0","-89392","0","-44729","0","25157","0","-64514","0","-66504","0","-83489","0","7592","0","20180","0","56891","0","-57188","0","-96844","0","67840","0","-14767","0","-28328","0","76122","0","10666","0","50351","0","-37504","0","-42207","0","-53936","0","71375","0","-20272","0","16246","0","49525","0","-21706","0","-11276","0","43494","0","-10678","0","73524","0","9030","0","26903","0","43376","0","63893","0","-43197","0","-59020","0","-43738","0","-2742","0","96807","0","109840","0","50646","0","-30196","0","-41374","0","-14267","0","-79670","0","9362","0","16652","0","-78295","0","2216","0","-34289","0","34668","0","29555","0","30009","0","-60506","0","26029","0","-28390","0","-107687","0","20273","0","63708","0","36758","0","88732","0","-3938","0","-82398","0","-46972","0","120537","0","-87158","0","-17230","0","67846","0","-18780","0","45177","0","9877","0","43332","0","29615","0","10535","0","114320","0","31295","0","62651","0","-78306","0","91896","0","-75717","0","128088","0","54950","0","119480","0","62859","0","11030","0","11302","0","31261","0","-14015","0","39876","0","23884","0","-99108","0","-113593","0","-147873","0","54727","0","112957","0","-49448","0","-28108","0","-48574","0","79405","0","82436","0","-110989","0","145765","0","60472","0","72737","0","11630","0","-62588","0","-55337","0","78240","0","-98266","0","29810","0","217319","0","-35574","0","56183","0","63874","0","4135","0","-70141","0","2666","0","78766","0","-27605","0","-18113","0","27816","0","78875","0","-43920","0","10722","0","37330","0","48798","0","35926","0","-45860","0","-106551","0","22250","0","-41377","0","60074","0","-70752","0","-126494","0","66590","0","-86011","0","1318","0","79818","0","30675","0","-64410","0","-73142","0","51718","0","-16274","0","-182320","0","31924","0","-30905","0","446","0","-87281","0","-33280","0","-124631","0","62861","0","-91180","0","83510","0","47831","0","-150496","0","-138699","0","-86738","0","173706","0","55842","0","13674","0","76738","0","-123624","0","33154","0","-107461","0","227571","0"],"derived":{"al":[[2,null],[43,1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"172.4.a.b","letter":"b","dim":6,"charpoly":["373968","-950880","140952","3392","-831","-6","1"],"traces":["6","0","7","0","-1","0","20","0","81","0","65","0","67","0","240","0","176","0","157","0","202","0","276","0","225","0","274","0","61","0","126","0","290","0","390","0","-35","0","468","0","520","0","258","0","-112","0","643","0","-550","0","-337","0","-931","0","-316","0","-1084","0","908","0","-2076","0","-118","0","-926","0","239","0","-2436","0","-274","0","-1392","0","-412","0","-2108","0","-1149","0","-2718","0","1499","0","-3920","0","5","0","-1236","0","-380","0","-1529","0","-675","0","-308","0","425","0","901","0","260","0","-1252","0","3928","0","-2021","0","3107","0","144","0","-337","0","-1799","0","3734","0","849","0","1628","0","3624","0","3070","0","301","0","6675","0","-1738","0","957","0","2810","0","1733","0","-2849","0","8351","0","50","0","3107","0","1315","0","3440","0","2564","0","3618","0","-765","0","-1016","0","5746","0","699","0","-3088","0","3149","0","3065","0","4168","0","3510","0","-5034","0","-978","0","5749","0","-1942","0","-2898","0","9782","0","-3707","0","-5600","0","6566","0","-2328","0","-8928","0","240","0","-14468","0","1776","0","6538","0","-4265","0","-4695","0","2610","0","-1159","0","-3802","0","-43","0","1250","0","-16562","0","1123","0","-5572","0","5592","0","-651","0","-4615","0","-6068","0","13094","0","-6550","0","-8374","0","-5231","0","4372","0","-11900","0","-189","0","-15984","0","-12546","0","7417","0","-16025","0","-13205","0","13910","0","-13158","0","-9593","0","-1078","0","2144","0","-13274","0","-9925","0","-5772","0","10520","0","4647","0","-7551","0","-18804","0","5894","0","37","0","-5879","0","7226","0","18908","0","-13888","0","6494","0","-982","0","17120","0","-6487","0","860","0","-1700","0","14302","0","13829","0","-12676","0","16269","0","-3494","0","-3972","0","2613","0","-802","0","35382","0","24706","0","-11717","0","-6406","0","-4862","0","4334","0","12103","0","7034","0","7294","0","-22620","0","8987","0","21856","0","26477","0","5623","0","-9963","0","9732","0","25945","0","-20826","0","17702","0","6546","0","38097","0","5377","0","-19138","0","729","0","20185","0","-2264","0","10387","0","15795","0","17172","0","-19461","0","8389","0","17532","0","12356","0","3483","0","-4072","0","11563","0","38121","0","-19389","0","1114","0","-36044","0","6500","0","31113","0","18992","0","25936","0","-7212","0","-11906","0","-19112","0","-48666","0","30846","0","-1988","0","-19989","0","13909","0","-40991","0","-12428","0","-22690","0","1364","0","20258","0","-33495","0","-15725","0","-15926","0","-21439","0","12054","0","-7388","0","36289","0","-37932","0","-25299","0","-35966","0","23064","0","-4140","0","-23437","0","17594","0","-13902","0","205","0","20509","0","-8028","0","-8148","0","2795","0","10581","0","-15307","0","-10010","0","-13582","0","43900","0","-77715","0","11367","0","20748","0","17613","0","24773","0","3284","0","-42600","0","-29897","0","-34306","0","36434","0","-16536","0","-55609","0","-75513","0","-36588","0","13427","0","11229","0","-2464","0","-50424","0","-30538","0","36995","0","-22508","0","-43484","0","31164","0","42218","0","-4837","0","1790","0","-56296","0","-49051","0","41545","0","-16924","0","936","0","33721","0","-48186","0","-13674","0","26174","0","32595","0","-17811","0","2881","0","50590","0","32879","0","-10698","0","-14320","0","5703","0","-13211","0","70428","0","12316","0","51844","0","36068","0","-27576","0","9483","0","-68","0","-43702","0","-68872","0","12162","0","-44128","0","10096","0","-53496","0","42978","0","76860","0","39377","0","-66477","0","-11660","0","31842","0","-8098","0","5922","0","92069","0","-35782","0","38424","0","-3141","0","-39088","0","-38700","0","133992","0","-91147","0","46362","0","92377","0","-18518","0","31911","0","-28864","0","34342","0","60580","0","10320","0","83326","0","264","0","37486","0","-24729","0","61428","0","-21942","0","12819","0","46607","0","155032","0","-7154","0","29082","0","-47550","0","13342","0","-18302","0","49805","0","-79451","0","-69538","0","7160","0","-7439","0","75164","0","21184","0","-29201","0","-6608","0","-17228","0","77192","0","15189","0","-59188","0","42268","0","38290","0","84143","0","20496","0","-44461","0","-13680","0","75599","0","-117368","0","16574","0","-6647","0","-34522","0","23016","0","-49724","0","110206","0","-43815","0","7568","0","66539","0","-57336","0","-40123","0","-25983","0","155696","0","-70990","0","80446","0","18857","0","20920","0","1726","0","68692","0","-33578","0","-37979","0","-119750","0","-53256","0","-15652","0","-156281","0","-40848","0","-76015","0","18932","0","1903","0","23891","0","-97162","0","-97349","0","139946","0","-14275","0","-104763","0","66180","0","-8830","0","37068","0","-19782","0","-155774","0","-76242","0","7045","0","-47472","0","-14226","0","38462","0","-71796","0","-48373","0","-1725","0","105604","0","11139","0","6751","0","8848","0","-283","0","-8967","0","5106","0","8012","0","-63953","0","-70008","0","50664","0","50968","0","51025","0","31634","0","-77051","0","-31961","0","-166719","0","-32984","0","-115440","0","-112352","0","26005","0","-153141","0","23505","0","-37621","0","100612","0","-77272","0","-78078","0","121923","0","-82360","0","-68263","0","50287","0","-44412","0","91175","0","-87426","0","-78274","0","-56979","0","226764","0","-5950","0","24766","0","-5371","0","-1198","0","-95061","0","-12514","0","61925","0","60771","0","8686","0","-1118","0","40945","0","71797","0","-78316","0","65579","0","-154424","0","49146","0","37580","0","186234","0","149202","0","121786","0","-58117","0","-76036","0","-201367","0","64810","0","2348","0","-28300","0","-61314","0","-84673","0","95232","0","38162","0","72309","0","-37534","0","-1834","0","27528","0","-10010","0","-71740","0","-9500","0","45656","0","154858","0","63609","0","-201290","0","-104879","0","68619","0","35388","0","-95146","0","123337","0","31160","0","69355","0","33334","0","-35050","0","29446","0","11868","0","34898","0","136728","0","57426","0","383","0","83975","0"],"derived":{"al":[[2,null],[43,-1]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.118,"computed":"atlas","estimate":{"seconds":0.402,"low":0.245,"high":0.696,"bytes":2019989},"url":"https://sagebrush.space/atlas/mf/172.4.a"}