{"label":"72.4.a","level":72,"weight":4,"dims":{"new":4,"cusp":28,"eisenstein":16,"modsym":72},"old":[[6,1,6],[8,1,3],[9,1,4],[12,1,4],[18,1,3],[24,1,2],[36,1,2]],"T":[[5,1],[7,3]],"status":"proven","checks":["dim M^+ at levels [1, 2, 3, 4, 6, 8, 9, 12, 18, 24, 36, 72]: [1, 2, 2, 3, 5, 5, 4, 9, 11, 16, 21, 40] (certified at ell = 2147483647)","T = [(5, 1), (7, 3)]; h of degree 4 = 1 x 4 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"72.4.a.a","letter":"a","dim":1,"charpoly":["52","1"],"traces":["1","0","0","0","-16","0","-12","0","0","0","-64","0","58","0","0","0","-32","0","-136","0","0","0","128","0","131","0","0","0","144","0","20","0","0","0","192","0","-18","0","0","0","288","0","-200","0","0","0","-384","0","-199","0","0","0","-496","0","1024","0","0","0","128","0","-458","0","0","0","-928","0","-496","0","0","0","-512","0","-602","0","0","0","768","0","1108","0","0","0","-704","0","512","0","0","0","960","0","-696","0","0","0","2176","0","206","0","0","0","-432","0","-68","0","0","0","384","0","-518","0","0","0","960","0","-2048","0","0","0","384","0","2765","0","0","0","-96","0","796","0","0","0","-512","0","1632","0","0","0","-1824","0","-2160","0","0","0","-3712","0","-2304","0","0","0","688","0","-844","0","0","0","-320","0","118","0","0","0","-1536","0","3576","0","0","0","-384","0","1167","0","0","0","-2448","0","-1572","0","0","0","4224","0","-510","0","0","0","288","0","2048","0","0","0","384","0","-3454","0","0","0","3216","0","1708","0","0","0","-1728","0","-4608","0","0","0","8704","0","2320","0","0","0","3200","0","-240","0","0","0","-1856","0","-116","0","0","0","-1344","0","4594","0","0","0","-5056","0","6144","0","0","0","3712","0","-978","0","0","0","3184","0","-7888","0","0","0","-1856","0","-8192","0","0","0","-7808","0","216","0","0","0","-1024","0","7936","0","0","0","-1328","0","-5812","0","0","0","-8384","0","8386","0","0","0","640","0","4832","0","0","0","-3456","0","-3889","0","0","0","-6384","0","-2048","0","0","0","7424","0","2400","0","0","0","7328","0","-3312","0","0","0","-9984","0","2586","0","0","0","2832","0","-9216","0","0","0","4352","0","7598","0","0","0","4608","0","-5920","0","0","0","7936","0","-4674","0","0","0","-1280","0","6504","0","0","0","9024","0","-4362","0","0","0","-8768","0","8192","0","0","0","6144","0","11637","0","0","0","9632","0","4564","0","0","0","5952","0","-8770","0","0","0","8352","0","-1096","0","0","0","-10368","0","-12288","0","0","0","3248","0","-4096","0","0","0","-17728","0","-6106","0","0","0","-7008","0","1160","0","0","0","1152","0","1590","0","0","0","-1536","0","11264","0","0","0","192","0","9074","0","0","0","-4192","0","5496","0","0","0","5248","0","-8222","0","0","0","-17408","0","16236","0","0","0","-14528","0","-15360","0","0","0","-6304","0","-18432","0","0","0","11136","0","1958","0","0","0","-4048","0","16988","0","0","0","-6720","0","5952","0","0","0","12800","0","-17816","0","0","0","-9728","0","-1044","0","0","0","-3296","0","-8444","0","0","0","15360","0","-4608","0","0","0","6144","0","6624","0","0","0","6912","0","6912","0","0","0","19920","0","7224","0","0","0","1088","0","24576","0","0","0","-3680","0","-11720","0","0","0","-640","0","4217","0","0","0","16704","0","-6144","0","0","0","12736","0","11754","0","0","0","8288","0","-18904","0","0","0","-19584","0","-13296","0","0","0","-3088","0","-11600","0","0","0","21440","0","-15360","0","0","0","-22624","0","-6000","0","0","0","16768","0","19922","0","0","0","8448","0","31744","0","0","0","3584","0","-2720","0","0","0","-1984","0","-6144","0","0","0","-14976","0","25738","0","0","0","-44240","0","-8548","0","0","0","-22272","0","8558","0","0","0","10368","0","-13088","0","0","0","-11520","0","-14839","0","0","0","576","0","-4412","0","0","0","-12736","0","-11542","0","0","0","30176","0","21288","0","0","0","-17024","0","-8192","0","0","0","-2256","0","8192","0","0","0","-23808","0","-26242","0","0","0","-26112","0","18432","0","0","0","29312","0","-24590","0","0","0","2864","0","-2472","0","0","0","7616","0","29184","0","0","0","-28768","0","2168","0","0","0","34560","0","-9216","0","0","0","18000","0","2448","0","0","0","5184","0","3506","0","0","0","2560","0","59392","0","0","0","-15616","0","816","0","0","0","18864","0","-15036","0","0","0","6400","0","-19126","0","0","0","31744","0","-17392","0","0","0","32384","0","-11008","0","0","0","-4608","0","-27708","0","0","0","13504","0","-37246","0","0","0","4192","0","6216","0","0","0","7424","0","26882","0","0","0","17232","0","2620","0","0","0","-39168","0","32768","0","0","0","-1888","0","31816","0","0","0","-11520","0","-26564","0","0","0","-8272","0","12288","0","0","0","38528","0","24576","0","0","0","9184","0","-19832","0","0","0","-57216","0","27200","0","0","0","-15216","0","-39772","0","0","0","18304","0","4906","0","0","0","6368","0","6144","0","0","0","-15360","0","-3653","0","0","0","-18672","0","-33180","0","0","0","-2304","0","-24802","0","0","0","-15072","0","1800","0","0","0","-7552","0","39168","0","0","0","-70912","0","-28768","0","0","0","1152","0","20838","0","0","0","-47744","0","28280","0","0","0","-7424","0","-9552","0","0","0","52224","0","-67584","0","0","0","2880","0","15872","0","0","0","8160","0","-5912","0","0","0","26240","0","45056","0","0","0","6144","0","35620","0","0","0","-29696","0","-2358","0","0","0","3232","0","27064","0","0","0","-32768","0","-11478","0","0","0","39984","0","36864","0","0","0","-24192","0","-34916","0","0","0","39456","0","-6144","0","0","0","21888","0","-29391","0","0","0","55264","0","-41668","0","0","0","51648","0","25920","0","0","0","-55776","0","-61440","0","0","0","36096","0","-51456","0","0","0","-25600","0","42532","0","0","0","-27328","0","29806","0","0","0"],"derived":{"al":[[2,null],[3,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"72.4.a.b","letter":"b","dim":1,"charpoly":["86","1"],"traces":["1","0","0","0","-14","0","-24","0","0","0","28","0","-74","0","0","0","-82","0","92","0","0","0","-8","0","71","0","0","0","138","0","80","0","0","0","336","0","30","0","0","0","-282","0","4","0","0","0","-240","0","233","0","0","0","130","0","-392","0","0","0","-596","0","-218","0","0","0","1036","0","-436","0","0","0","-856","0","-998","0","0","0","-672","0","-32","0","0","0","1508","0","1148","0","0","0","246","0","1776","0","0","0","-1288","0","866","0","0","0","-270","0","-1496","0","0","0","1692","0","406","0","0","0","-786","0","112","0","0","0","1968","0","-547","0","0","0","756","0","1744","0","0","0","-652","0","-2208","0","0","0","-1530","0","516","0","0","0","-2072","0","-1932","0","0","0","-1342","0","-424","0","0","0","-1120","0","262","0","0","0","192","0","-2292","0","0","0","1896","0","3279","0","0","0","2874","0","-1704","0","0","0","1188","0","-3474","0","0","0","-420","0","-2296","0","0","0","-192","0","4802","0","0","0","-1518","0","5128","0","0","0","-3312","0","3948","0","0","0","2576","0","1084","0","0","0","-56","0","-1920","0","0","0","6068","0","688","0","0","0","-4812","0","2494","0","0","0","-698","0","3360","0","0","0","6320","0","-6510","0","0","0","-3262","0","-6808","0","0","0","-628","0","-224","0","0","0","4862","0","-720","0","0","0","-5816","0","-1820","0","0","0","-3526","0","-256","0","0","0","1988","0","142","0","0","0","-8842","0","-7180","0","0","0","6768","0","1811","0","0","0","-7374","0","8344","0","0","0","592","0","-96","0","0","0","3052","0","1500","0","0","0","7608","0","-4758","0","0","0","-4374","0","3864","0","0","0","-7544","0","-5254","0","0","0","5760","0","-7804","0","0","0","6104","0","5106","0","0","0","2240","0","2640","0","0","0","4716","0","7302","0","0","0","4382","0","11984","0","0","0","-7224","0","1605","0","0","0","13972","0","1408","0","0","0","-3120","0","-1714","0","0","0","-10212","0","884","0","0","0","-10368","0","9408","0","0","0","-398","0","656","0","0","0","448","0","-5098","0","0","0","-10002","0","-5920","0","0","0","840","0","-9270","0","0","0","14304","0","-21112","0","0","0","6516","0","-2626","0","0","0","-5822","0","5232","0","0","0","4304","0","11794","0","0","0","-736","0","-5544","0","0","0","3788","0","-3444","0","0","0","13342","0","-7896","0","0","0","-24864","0","-4390","0","0","0","-5798","0","-14656","0","0","0","-8412","0","10464","0","0","0","112","0","6532","0","0","0","-14848","0","-2220","0","0","0","-12124","0","18568","0","0","0","14364","0","-11316","0","0","0","20544","0","21660","0","0","0","17112","0","3780","0","0","0","-11478","0","23952","0","0","0","20944","0","-6720","0","0","0","-13114","0","-4508","0","0","0","-6560","0","-12103","0","0","0","20868","0","-23688","0","0","0","6524","0","22950","0","0","0","-5684","0","-6580","0","0","0","12696","0","768","0","0","0","-7046","0","-296","0","0","0","-8252","0","11004","0","0","0","6838","0","23316","0","0","0","-568","0","-10558","0","0","0","-36192","0","3640","0","0","0","-1028","0","7360","0","0","0","-1202","0","-27552","0","0","0","3576","0","8650","0","0","0","7658","0","12656","0","0","0","17760","0","-3298","0","0","0","-5370","0","-16220","0","0","0","-5904","0","-19459","0","0","0","-2460","0","-20360","0","0","0","-24416","0","-17242","0","0","0","-14498","0","21612","0","0","0","-12184","0","-16688","0","0","0","28122","0","9128","0","0","0","5700","0","-29458","0","0","0","30912","0","-1104","0","0","0","-6104","0","19810","0","0","0","10450","0","-20784","0","0","0","-23300","0","21420","0","0","0","-9620","0","-14212","0","0","0","-7224","0","23124","0","0","0","15978","0","2760","0","0","0","6480","0","-8866","0","0","0","-640","0","29008","0","0","0","-7760","0","35904","0","0","0","9798","0","13080","0","0","0","-328","0","16934","0","0","0","-12208","0","-7060","0","0","0","12520","0","18788","0","0","0","-40608","0","-9792","0","0","0","5936","0","13166","0","0","0","23222","0","-9744","0","0","0","44104","0","-39934","0","0","0","17106","0","5680","0","0","0","-25944","0","-23968","0","0","0","-3668","0","-9956","0","0","0","18864","0","16132","0","0","0","9130","0","19680","0","0","0","-27944","0","-2688","0","0","0","-11482","0","4612","0","0","0","32088","0","368","0","0","0","35010","0","13688","0","0","0","-11668","0","-29306","0","0","0","-19106","0","-26544","0","0","0","2664","0","-5345","0","0","0","-45906","0","13128","0","0","0","-240","0","26030","0","0","0","-44202","0","-32748","0","0","0","-45344","0","-40236","0","0","0","-896","0","32264","0","0","0","-18144","0","-8778","0","0","0","4142","0","22076","0","0","0","40376","0","-41856","0","0","0","-22080","0","-16632","0","0","0","11040","0","-10660","0","0","0","48636","0","-26396","0","0","0","-24368","0","42224","0","0","0","15648","0","-5096","0","0","0","63344","0","2130","0","0","0","18494","0","21436","0","0","0","32144","0","-33222","0","0","0","-27846","0","2256","0","0","0","-41052","0","73852","0","0","0","-5706","0","2688","0","0","0","36720","0","-23391","0","0","0","-67228","0","-39352","0","0","0","33180","0","-12384","0","0","0","4014","0","6888","0","0","0","-20328","0","21252","0","0","0","-32","0","11728","0","0","0","-71792","0","50974","0","0","0"],"derived":{"al":[[2,null],[3,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"72.4.a.c","letter":"c","dim":1,"charpoly":["-74","1"],"traces":["1","0","0","0","2","0","24","0","0","0","44","0","22","0","0","0","-50","0","44","0","0","0","56","0","-121","0","0","0","-198","0","-160","0","0","0","48","0","-162","0","0","0","198","0","52","0","0","0","-528","0","233","0","0","0","242","0","88","0","0","0","668","0","550","0","0","0","44","0","188","0","0","0","-728","0","154","0","0","0","1056","0","-656","0","0","0","-236","0","-100","0","0","0","-714","0","528","0","0","0","88","0","-478","0","0","0","-1566","0","-968","0","0","0","780","0","-1994","0","0","0","942","0","112","0","0","0","-1200","0","605","0","0","0","-492","0","1408","0","0","0","2692","0","1056","0","0","0","-1626","0","-684","0","0","0","968","0","-396","0","0","0","-302","0","1352","0","0","0","-320","0","3142","0","0","0","1344","0","3036","0","0","0","264","0","-1713","0","0","0","2826","0","-2904","0","0","0","-3084","0","-2418","0","0","0","-324","0","-2200","0","0","0","960","0","2882","0","0","0","-1086","0","88","0","0","0","-4752","0","396","0","0","0","1936","0","-3476","0","0","0","104","0","-3840","0","0","0","-1100","0","928","0","0","0","-156","0","-1634","0","0","0","902","0","-1056","0","0","0","-1616","0","4818","0","0","0","466","0","968","0","0","0","2140","0","2464","0","0","0","-770","0","-3888","0","0","0","7400","0","484","0","0","0","2794","0","8624","0","0","0","-5324","0","-1874","0","0","0","-3338","0","7172","0","0","0","4752","0","-2413","0","0","0","-5214","0","1336","0","0","0","1232","0","1248","0","0","0","1100","0","396","0","0","0","4056","0","2154","0","0","0","7386","0","-8712","0","0","0","-2200","0","-2662","0","0","0","-12672","0","-1132","0","0","0","376","0","-3342","0","0","0","-7040","0","-2640","0","0","0","-2244","0","-6522","0","0","0","11230","0","-1456","0","0","0","-1848","0","-4923","0","0","0","308","0","7120","0","0","0","5808","0","6350","0","0","0","-4356","0","-7900","0","0","0","-10368","0","2112","0","0","0","-8830","0","-2800","0","0","0","-1312","0","9878","0","0","0","13134","0","-3520","0","0","0","-7128","0","906","0","0","0","16032","0","-472","0","0","0","5412","0","-4642","0","0","0","6050","0","13200","0","0","0","-656","0","9490","0","0","0","2464","0","5544","0","0","0","-7652","0","-1428","0","0","0","446","0","8712","0","0","0","1056","0","1562","0","0","0","-10582","0","-10768","0","0","0","9876","0","4512","0","0","0","2288","0","-5324","0","0","0","352","0","-3564","0","0","0","-956","0","-15176","0","0","0","8844","0","9900","0","0","0","-17472","0","19404","0","0","0","-16488","0","-3132","0","0","0","12954","0","3696","0","0","0","-1936","0","-23232","0","0","0","-10970","0","-16940","0","0","0","8000","0","-9031","0","0","0","4356","0","1560","0","0","0","10252","0","198","0","0","0","-3988","0","-15268","0","0","0","-8712","0","-15744","0","0","0","-20854","0","1144","0","0","0","19316","0","1884","0","0","0","-7018","0","24420","0","0","0","-6776","0","23234","0","0","0","-5664","0","10648","0","0","0","10604","0","-7040","0","0","0","13838","0","-2400","0","0","0","3960","0","-5942","0","0","0","1210","0","-3040","0","0","0","-11616","0","-2530","0","0","0","19206","0","10996","0","0","0","-17136","0","14141","0","0","0","8100","0","-6680","0","0","0","2816","0","5126","0","0","0","-6274","0","9084","0","0","0","23656","0","29392","0","0","0","6762","0","5384","0","0","0","-15276","0","11054","0","0","0","2112","0","-11088","0","0","0","24200","0","-21278","0","0","0","-8926","0","-11472","0","0","0","-8116","0","-3252","0","0","0","5324","0","-11764","0","0","0","-1368","0","-9900","0","0","0","4698","0","-7128","0","0","0","-37584","0","24638","0","0","0","-8960","0","1936","0","0","0","-16624","0","-23232","0","0","0","23958","0","30216","0","0","0","-2600","0","-3322","0","0","0","8272","0","-14692","0","0","0","-28600","0","-604","0","0","0","18720","0","-29616","0","0","0","2704","0","2894","0","0","0","-14762","0","-47856","0","0","0","14696","0","-7678","0","0","0","-27390","0","19360","0","0","0","8712","0","-32032","0","0","0","6284","0","19756","0","0","0","22608","0","12100","0","0","0","-38854","0","26400","0","0","0","6776","0","2688","0","0","0","14278","0","-716","0","0","0","6072","0","2288","0","0","0","23538","0","-6616","0","0","0","-27236","0","12070","0","0","0","-11650","0","528","0","0","0","42024","0","14815","0","0","0","-3426","0","14520","0","0","0","-9072","0","2414","0","0","0","37686","0","40644","0","0","0","18656","0","5652","0","0","0","-28864","0","4136","0","0","0","-11808","0","-13002","0","0","0","-49490","0","1100","0","0","0","14104","0","33792","0","0","0","-23232","0","-6168","0","0","0","31680","0","-12100","0","0","0","-4836","0","-12716","0","0","0","39632","0","-10384","0","0","0","64608","0","5704","0","0","0","-16016","0","19602","0","0","0","-8162","0","10252","0","0","0","-4400","0","-55110","0","0","0","-16374","0","11088","0","0","0","-8460","0","3388","0","0","0","20502","0","1920","0","0","0","-39024","0","-4191","0","0","0","5764","0","-36520","0","0","0","-20244","0","-16416","0","0","0","-50034","0","-31416","0","0","0","-37128","0","-2172","0","0","0","2912","0","27808","0","0","0","176","0","-28514","0","0","0"],"derived":{"al":[[2,null],[3,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"72.4.a.d","letter":"d","dim":1,"charpoly":["20","1"],"traces":["1","0","0","0","16","0","-12","0","0","0","64","0","58","0","0","0","32","0","-136","0","0","0","-128","0","131","0","0","0","-144","0","20","0","0","0","-192","0","-18","0","0","0","-288","0","-200","0","0","0","384","0","-199","0","0","0","496","0","1024","0","0","0","-128","0","-458","0","0","0","928","0","-496","0","0","0","512","0","-602","0","0","0","-768","0","1108","0","0","0","704","0","512","0","0","0","-960","0","-696","0","0","0","-2176","0","206","0","0","0","432","0","-68","0","0","0","-384","0","-518","0","0","0","-960","0","-2048","0","0","0","-384","0","2765","0","0","0","96","0","796","0","0","0","512","0","1632","0","0","0","1824","0","-2160","0","0","0","3712","0","-2304","0","0","0","-688","0","-844","0","0","0","320","0","118","0","0","0","1536","0","3576","0","0","0","384","0","1167","0","0","0","2448","0","-1572","0","0","0","-4224","0","-510","0","0","0","-288","0","2048","0","0","0","-384","0","-3454","0","0","0","-3216","0","1708","0","0","0","1728","0","-4608","0","0","0","-8704","0","2320","0","0","0","-3200","0","-240","0","0","0","1856","0","-116","0","0","0","1344","0","4594","0","0","0","5056","0","6144","0","0","0","-3712","0","-978","0","0","0","-3184","0","-7888","0","0","0","1856","0","-8192","0","0","0","7808","0","216","0","0","0","1024","0","7936","0","0","0","1328","0","-5812","0","0","0","8384","0","8386","0","0","0","-640","0","4832","0","0","0","3456","0","-3889","0","0","0","6384","0","-2048","0","0","0","-7424","0","2400","0","0","0","-7328","0","-3312","0","0","0","9984","0","2586","0","0","0","-2832","0","-9216","0","0","0","-4352","0","7598","0","0","0","-4608","0","-5920","0","0","0","-7936","0","-4674","0","0","0","1280","0","6504","0","0","0","-9024","0","-4362","0","0","0","8768","0","8192","0","0","0","-6144","0","11637","0","0","0","-9632","0","4564","0","0","0","-5952","0","-8770","0","0","0","-8352","0","-1096","0","0","0","10368","0","-12288","0","0","0","-3248","0","-4096","0","0","0","17728","0","-6106","0","0","0","7008","0","1160","0","0","0","-1152","0","1590","0","0","0","1536","0","11264","0","0","0","-192","0","9074","0","0","0","4192","0","5496","0","0","0","-5248","0","-8222","0","0","0","17408","0","16236","0","0","0","14528","0","-15360","0","0","0","6304","0","-18432","0","0","0","-11136","0","1958","0","0","0","4048","0","16988","0","0","0","6720","0","5952","0","0","0","-12800","0","-17816","0","0","0","9728","0","-1044","0","0","0","3296","0","-8444","0","0","0","-15360","0","-4608","0","0","0","-6144","0","6624","0","0","0","-6912","0","6912","0","0","0","-19920","0","7224","0","0","0","-1088","0","24576","0","0","0","3680","0","-11720","0","0","0","640","0","4217","0","0","0","-16704","0","-6144","0","0","0","-12736","0","11754","0","0","0","-8288","0","-18904","0","0","0","19584","0","-13296","0","0","0","3088","0","-11600","0","0","0","-21440","0","-15360","0","0","0","22624","0","-6000","0","0","0","-16768","0","19922","0","0","0","-8448","0","31744","0","0","0","-3584","0","-2720","0","0","0","1984","0","-6144","0","0","0","14976","0","25738","0","0","0","44240","0","-8548","0","0","0","22272","0","8558","0","0","0","-10368","0","-13088","0","0","0","11520","0","-14839","0","0","0","-576","0","-4412","0","0","0","12736","0","-11542","0","0","0","-30176","0","21288","0","0","0","17024","0","-8192","0","0","0","2256","0","8192","0","0","0","23808","0","-26242","0","0","0","26112","0","18432","0","0","0","-29312","0","-24590","0","0","0","-2864","0","-2472","0","0","0","-7616","0","29184","0","0","0","28768","0","2168","0","0","0","-34560","0","-9216","0","0","0","-18000","0","2448","0","0","0","-5184","0","3506","0","0","0","-2560","0","59392","0","0","0","15616","0","816","0","0","0","-18864","0","-15036","0","0","0","-6400","0","-19126","0","0","0","-31744","0","-17392","0","0","0","-32384","0","-11008","0","0","0","4608","0","-27708","0","0","0","-13504","0","-37246","0","0","0","-4192","0","6216","0","0","0","-7424","0","26882","0","0","0","-17232","0","2620","0","0","0","39168","0","32768","0","0","0","1888","0","31816","0","0","0","11520","0","-26564","0","0","0","8272","0","12288","0","0","0","-38528","0","24576","0","0","0","-9184","0","-19832","0","0","0","57216","0","27200","0","0","0","15216","0","-39772","0","0","0","-18304","0","4906","0","0","0","-6368","0","6144","0","0","0","15360","0","-3653","0","0","0","18672","0","-33180","0","0","0","2304","0","-24802","0","0","0","15072","0","1800","0","0","0","7552","0","39168","0","0","0","70912","0","-28768","0","0","0","-1152","0","20838","0","0","0","47744","0","28280","0","0","0","7424","0","-9552","0","0","0","-52224","0","-67584","0","0","0","-2880","0","15872","0","0","0","-8160","0","-5912","0","0","0","-26240","0","45056","0","0","0","-6144","0","35620","0","0","0","29696","0","-2358","0","0","0","-3232","0","27064","0","0","0","32768","0","-11478","0","0","0","-39984","0","36864","0","0","0","24192","0","-34916","0","0","0","-39456","0","-6144","0","0","0","-21888","0","-29391","0","0","0","-55264","0","-41668","0","0","0","-51648","0","25920","0","0","0","55776","0","-61440","0","0","0","-36096","0","-51456","0","0","0","25600","0","42532","0","0","0","27328","0","29806","0","0","0"],"derived":{"al":[[2,null],[3,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.114,"computed":"atlas","estimate":{"seconds":0.334,"low":0.203,"high":0.577,"bytes":1912260},"url":"https://sagebrush.space/atlas/mf/72.4.a"}