{"label":"115.4.a","level":115,"weight":4,"dims":{"new":22,"cusp":34,"eisenstein":4,"modsym":72},"old":[[5,1,2],[23,5,2]],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 5, 23, 115]: [1, 3, 7, 38] (certified at ell = 2147483053)","T = [(2, 1), (3, 1)]; h of degree 22 = 1 x 22 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"115.4.a.a","letter":"a","dim":1,"charpoly":["-5","1"],"traces":["1","1","4","-7","-5","4","-32","-15","-11","-5","40","-28","-66","-32","-20","41","130","-11","-88","35","-128","40","23","-60","25","-66","-152","224","-130","-20","40","161","160","130","160","77","-334","-88","-264","75","-22","-128","-272","-280","55","23","24","164","681","25","520","462","258","-152","-200","480","-352","-130","612","140","-366","40","352","-167","330","160","-496","-910","92","160","248","165","826","-334","100","616","-1280","-264","-296","-205","-311","-22","-1296","896","-650","-272","-520","-600","-646","55","2112","-161","160","24","440","644","-1438","681","-440","-175","-850","520","-1320","990","640","258","72","1064","242","-200","-1336","-1312","1018","-352","-115","910","726","612","-4160","300","269","-366","-88","-280","-125","352","120","-1455","-1088","330","1340","-1120","2816","-496","760","-1950","-22","92","2596","-1120","96","248","-2640","-451","650","826","2724","2338","1410","100","-352","1320","-1430","-1280","-200","1848","-374","-296","1032","-805","-736","-311","308","154","-800","-1296","-1072","1920","2159","-650","968","1904","-3178","-520","-800","1640","2448","-646","-396","-385","2986","2112","-1464","-345","1670","160","5200","-168","4864","440","4392","-668","-3054","-1438","1320","-4767","-3090","-440","4608","-375","-1984","-850","4160","-3640","110","-1320","-253","-2706","-3520","640","-4324","-1806","992","72","1360","2280","-1280","242","3304","1400","-8580","-1336","2592","-5152","-275","1018","120","2464","-5094","-115","-5120","1950","-1478","726","-120","-4284","-1184","-4160","6296","-820","-4454","269","2860","2562","-3405","-88","5808","-600","-5184","-125","528","-2464","920","120","-2600","-119","-1134","-1088","10688","-2310","1430","1340","5304","-2400","-1290","2816","-2584","3472","-50","760","-2000","5330","8448","-22","1000","-644","-2338","2596","-440","-2400","-5142","96","-3888","-1736","1760","-2640","704","-1771","11987","650","-5752","-5782","-2782","2724","-3060","5010","-6080","1410","-1518","-700","8704","-352","-3400","-3608","1830","-1430","7172","8960","-5280","-200","6144","3960","-6598","-374","-1760","2072","3558","1032","-5200","835","288","-736","-11440","2177","-1650","308","968","330","-768","-800","-780","9072","3674","-1072","2480","-5248","8218","2159","4072","4550","1600","968","-10816","4080","-460","-3178","2844","3640","5582","-800","10032","6440","5970","2448","-1240","4522","-16640","-396","-2464","-825","885","2986","1076","-14784","-4130","-1464","-6344","943","242","1670","-8256","-1120","-11102","5200","-500","-360","8580","4864","-10016","-3080","480","4392","9776","-5820","6400","-3054","2992","10066","-1622","1320","2990","-10215","5360","-3090","1480","3080","-11202","4608","11264","1025","-10198","-1984","-2640","5950","1555","4160","-13360","-7800","12154","110","-88","9240","-19584","-253","6480","-10626","10384","-3520","6152","-4480","2450","-4324","-264","-3870","3250","992","11712","-504","-10560","1360","9048","-6232","-14302","-1280","2600","-1694","-2024","3304","-7432","3000","-7491","-8580","1452","9352","3230","2592","5640","5344","-4910","-275","-880","-7126","-1408","120","-10560","5280","-12582","-5094","-19760","805","9182","-5120","-6728","-5330","-800","-1478","16544","-5082","15872","-120","-1496","-9180","-10880","-1184","-2200","29120","-2838","6296","-4352","-3220","22044","-4454","-2944","-1883","7190","2860","-6336","5490","1232","-3405","-2036","616","-16900","5808","2200","1640","-7936","-5184","-9404","875","-4288","528","7792","-5280","4250","920","8636","-840","2014","-2600","-26432","11521","13376","-1134","6600","7616","960","10688","-12712","-4950","4530","1430","104","-9380","-3200","5304","5200","6560","529","-1290","-6732","-19712","1452","-2584","-360","7440","-1584","-50","27240","-5320","-4066","-2000","11944","20930","-1210","8448","-12532","154","4026","1000","11440","-1380","9472","-2338","6680","-18172","-14014","-440","17952","6560","20800","-5142","-3720","-672","-5090","-3888","9952","-3720","-7758","1760","3488","18480","17568","704","575","1837","-3614","11987","-12216","-4550","41472","-5752","10320","-12390","-3630","-2782","-1596","-19068","-3520","-3060","-12360","-13694","15490","-6080","20800","-9870","18432","-1518","-7232","-1500","3130","8704","5456","2464","-1345","-3400","-17744","-14168","16640","1830","-1584","10010","18042","7172","440","19200","-8526","-5280","-12280","1400","-3496","6144","20672","-10824","625","-6598","-14080","2618","-43420","-1760","3560","4440","-17296","3558","-600","-7224","-44946","-5200","-2728","7275","-17414","288","-7016","5152","5440","-11440","26696","4665","24480","-1650","-5120","-2156","-66","968","-6700","-902","-9086","-768","-1112","5600","-17686","-780","-34320","19440","-14080","3674","-2990","7504","10368","2480","-14640","-20608","-5182","8218","-3800","-15113","25506","4072","46016","9750","480","1600","5012","-6776","110","-10816","-20376","-11152","-17028","-460","-19988","22246","14080","2844","-12980","7800","-2860","5582","-5912","5600","-5918","10032","29392","-6680","-480","5970","27200","-17136","34626","-1240","3256","9690","920","-16640","13200","2772","25184","-2464","-31080","2255","42240","885","-17816","-20902","-3250","1076","8016","-31680","19837","-4130","-35360","10248","-28806","-6344","-13620","3703","-19840","242","-11052","-11690","23232","-8256","-29384","-2400","-7050","-11102","14256","-36400","-2304","-500","-13056","984","2112","8580","1760","-34048","29290","-10016","3680","-6600","7770","480","-7744","-30744","7150","9776","-40392","-476","-9030","6400","-4536","21378","-19574","2992","1000","21570","42752","-1622","1936","-9240","9920","2990","19760","27921","1870","5360","40136","21630","21216","1480","-32576","6600","24156","-11202","-5160","-32256","7010","11264","3120","4025","7106","-10198","33040","13888","3680","-2640","-200","12750","970","1555","17156","-29120","-8000","-13360","-1540","21320","23936","12154","-23232","-770","-34850","-88","3112","19800","4000","-19584","-21832","1771","-12002","6480","-9352","11022","88530","10384","5360","24640","-6080","6152","936","-9600","-7489","2450","-20568","30268","-10795","-264","-8608","10578","-15552","3250","-7682","-6944","1366","11712","-4840","-1080","-5638","-10560","30812","-9520","2816","9048","9184","-24472","15890","-14302","47948","8960","-11840","2600","32736","-3630","15818","-2024","4000","-23128","-22746","-7432","-11128","-8200","-30846","-7491","-3380","60060","-12240","1452","13296","20040","-3840","3230","-12440","-18144","-2112","5640","1980","46560","-6072","-4910","-5200","1925","33540","-880","34816","-15270","-14930","-1408","-19168","-840","9350","-10560","7528","-14432","-51840","-12582","7320","35658","-42880","-19760","-1184","1725","28688","9182","-16368","35840","-8350","-6728","14520","-20930","33810","-800","-59928","10346","24576","16544","-26000","-10890","23842","15872","-26392","840","-40598","-1496","-506","25092","-24320","-10880","-16268","8288","-54516","-2200","14232","62400","-27702","-2838","-21960","-44072","-20800","-4352","704","3340","-28191","22044","-792","31178","15270","-2944","-6824","-4035","-45760","7190","30184","-20020","-83072","-6336","-6600","-15006","22258","1232","-25840","23835","-2662","-2036","-37168","1320","15450","-16900","-3072","-40656","-6256","2200","-46936","6440","-3120","-7936","-23040","36288","50350","-9404","50768","1875"],"derived":{"al":[[5,1],[23,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"115.4.a.b","letter":"b","dim":1,"charpoly":["1","1"],"traces":["1","2","-3","-4","5","-6","-2","-24","-18","10","-16","12","-47","-4","-15","-16","-24","-36","-56","-20","6","-32","-23","72","25","-94","135","8","85","-30","67","160","48","-48","-10","72","104","-112","141","-120","-53","12","-234","64","-90","-46","285","48","-339","50","72","188","2","270","-80","48","168","170","80","60","-764","134","36","448","-235","96","236","96","69","-20","-289","432","-225","208","-75","224","32","282","24","-80","81","-106","684","-24","-120","-468","-255","384","-1370","-180","94","92","-201","570","-280","-480","-110","-678","288","-100","-2006","144","484","1128","30","4","-1464","-540","-250","-160","-312","32","114","336","-115","-340","846","160","48","360","-1075","-1528","159","-268","125","72","1715","-384","702","-470","-1617","-192","112","472","675","576","-60","138","-859","40","-855","-578","752","288","425","-450","1017","-416","106","-150","759","1344","432","64","335","-564","2882","48","-6","800","46","162","3135","212","240","1368","1776","-144","12","-240","1008","936","1686","-510","-50","256","-240","-2740","-1539","360","2668","188","2292","552","520","-402","384","-1140","-270","-560","1434","-1344","-3953","-220","705","1356","-5237","576","-3124","-600","-708","-4012","-170","-288","-265","968","414","752","896","60","5016","-8","867","-2928","-1170","-3240","-134","-500","675","320","1128","-624","2912","-320","-450","228","-5054","-672","374","-230","-96","-2040","-4571","1692","1425","-320","-72","96","-3185","240","4986","-2150","-3888","3056","-1695","318","2632","-1608","-2052","250","3928","-144","368","3430","360","-4352","2365","1404","-208","940","-1530","-3234","-6500","-1152","10","224","4110","-944","-1983","1350","5116","384","-282","-120","-400","-276","-3165","-1718","-1206","240","3366","-1710","-1342","1156","840","1504","106","-2880","-4337","850","330","900","3288","2034","400","-2496","-2160","212","1081","300","468","1518","6018","896","-3820","864","4324","-128","-1452","670","4867","-3384","6252","5764","180","-96","-3222","-12","-1360","2240","4392","92","1344","-324","-1175","6270","750","1272","-570","480","-2743","-2736","-1872","3552","1180","-96","-6302","24","-342","480","-1072","2016","1364","5616","345","3372","-7524","1020","1361","-100","-6345","-2560","-4637","-480","-1445","5480","-144","-3078","5712","2160","-3723","5336","3225","-376","-1125","4584","9776","368","954","1040","-4","804","5210","768","-375","-6840","-3995","-540","-14184","1120","-5145","2868","3686","1152","160","-7906","4212","440","-7136","1410","552","8136","4851","-10474","120","-1152","-3455","-6248","-336","-400","-5050","-1416","-3149","8024","405","-340","-1664","-1728","-6395","-530","180","-1936","-160","828","3420","-7520","2577","1792","6798","-120","-13430","10032","-5130","-48","-600","1734","1528","5856","-2256","-2340","5530","-2160","10742","-268","-1275","1000","1288","1350","-14479","1920","6102","2256","-4271","1248","-6850","5824","-318","-896","17814","-900","848","-456","-2277","-10108","470","-4032","10324","748","-3240","460","-12059","-192","4244","-1360","-1005","-9142","-11670","-3384","-472","2850","-8646","-1920","3744","-144","-1400","-192","-36","-6370","5400","-2400","-4888","9972","-138","4300","-550","-7776","4463","18336","-9405","-3390","-6519","-636","-2040","5264","1440","-1072","578","-4104","12391","-500","-5328","7856","7698","-864","-10030","736","-36","-6860","933","720","450","-5632","-7560","4730","2420","-2808","-4560","-416","-5058","5640","18876","-3060","1034","6468","150","-13000","-1608","-768","529","20","-1440","-448","2491","8220","-7320","-5664","4617","-3966","5424","-2700","8161","10232","-8004","-3840","-1250","-564","7539","240","13752","-800","-4760","-1656","-48","-6330","-1560","3436","-6106","-2412","10998","160","-1152","6732","5296","3420","570","-2684","-162","6936","16350","1680","15284","-3008","-4302","212","-575","-8064","6479","-8674","11859","-1700","-1368","660","-32","5400","4230","6576","5753","-4068","-3752","800","15711","-1664","25298","-4320","240","-424","9372","2162","17352","1800","16365","936","-4248","-3036","-5375","12036","-14128","-8960","510","-7640","-13395","-1728","8392","8648","795","-768","8632","-2904","-22716","-1340","-3105","9734","2740","-2256","625","12504","-2688","-11528","-2496","360","15718","-576","-15048","-6444","8575","24","15933","-2720","5202","-1920","-28846","8784","1978","-184","3510","2688","-5399","-1944","-1280","-2350","402","-12540","-22323","1500","-8085","848","4050","-1140","-33504","-960","-22466","-5486","-3384","-16416","560","-3744","-1955","-7104","-8736","2360","12224","960","10837","-12604","3375","-48","-20862","-684","220","2880","15162","-2144","15923","-4032","-300","2728","-1122","3744","-94","690","-18560","-6744","-576","-15048","-4295","6120","1272","2722","13713","200","-11046","-12690","-5824","-7168","-4275","-9274","4012","960","-1818","-2890","-432","32880","-1541","-288","3760","6156","9555","11424","-22276","1440","-968","-7446","-14958","-10672","2125","6450","-31934","-2256","9477","-2250","5616","-9168","34112","19552","5085","-3680","-3776","1908","-5767","-2080","-7896","-8","-29204","4824","530","10420","-12312","-1536","2928","-750","26966","-4560","-11784","-7990","3795","1080","16384","-28368","-1104","6720","-5475","-10290","500","-5736","2160","7372","-3760","13056","28058","320","-7095","15812","-7594","8424","1675","2640","624","-14272","2968","-2820","4624","1104","11475","5424","14410","9702","-31792","20948","19500","240","-228","-6912","35908","-6910","-30","12496","-3316","-672","-6840","4000","24660","-10100","3600","2832","230","-6298","5949","48144","-6630","810","32019","680","-15348","-3328","15675","-1152","13104","-12790","-1692","1060","-16598","360","11633","-11616","1200","-320","-3044","-1656","10542","6840","9495","-21056","8136","5154","8880","-3584","9045","13596","-22410","-720","-17164","-26860","-10098","-20064","60","-10260","2150","-32","4026","-1200","-2392","-3468","25942","3056","5040","35136","-7607","-4512","-33473","4680","-318","11060","-23169","21600","8430","21484","13011","536","-384","-2550","-11092","6000","1980","2576","-250","-2700","-2822","-28958","-9864","1280","52060","12204","-22028","-4512","-1200","-8542","-6359","7488","-3430","-13700","-1296","-11648","-15960","-636","-7695","768","-3243","35628","5695","1800","-48","1696","-1404","-2736","13340","-4554","-1960","20216","36108","940","-24388","-2688","-10944","20648","11460","-1496","3234","-6480","-7426","2760","-12972","-24118","13583","384","2600","8488","-8712","13600","21387","-2010","18984","18284","-14601","-23340","1920","-20304","14036","-944","-18756","-5700","-9804","-17292","1219","-1280","-1350","7488","-50047","288","10575","-2800","9666","-1152","-42046","-72","7170","12740","4080","10800","120","-6720","-25302","-9776","26352","-19944","-19765","-276","-40789","25800","-4032","-1100","-33006","15552","1718","8926","3525","12224","26400","-18810","21920","6780","4500","-13038","-23406","-3816","-26185","-4080","1710","-10528","5382","2880","-19360","10720","8229","1156","-15620","8208","-21934","24782","14040","-3000"],"derived":{"al":[[5,-1],[23,1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"115.4.a.c","letter":"c","dim":2,"charpoly":["-7","9","1"],"traces":["2","-6","-3","2","10","9","1","42","5","-30","-27","-3","-15","-3","-15","-142","-79","-15","-71","10","-274","81","-46","-63","50","45","-90","1","-430","45","-305","90","313","237","5","5","-68","213","186","210","-593","822","648","-27","25","138","382","213","677","-150","-263","-15","-464","270","-135","21","-602","1290","-18","-15","-7","915","820","866","-75","-939","60","-79","69","-15","-1029","105","74","204","-75","-71","-1376","-558","692","-710","-1090","1779","-1460","-274","-395","-1944","100","-567","-220","-75","-825","-46","1384","-1146","-355","-135","1339","-2031","-885","50","-606","789","-315","-315","-1370","1392","1262","-90","289","405","1628","-71","-3068","1806","-230","-430","-528","54","1868","-315","-935","21","1489","-305","250","-2460","834","-3318","-1408","225","4052","313","3507","-180","-450","-1659","2499","-207","2246","5","3460","3087","1020","-355","-2150","-222","-1288","-68","-2677","225","2215","-1491","947","4128","-1525","186","-2746","-2076","3094","450","-23","3270","-1887","-593","1565","4380","-3880","-5754","-3791","1185","1948","648","501","-300","25","1917","2970","660","-770","25","-4707","2475","3117","-966","-340","-4152","-841","382","5405","1065","-4886","-1299","1022","-4017","930","677","-1213","2655","1108","1050","4052","1818","2510","-263","-2965","945","-115","1065","-2584","4110","5180","-464","-3743","-3786","3240","-1890","-4785","-867","-3490","-135","-552","-4884","2976","45","125","9204","4526","-602","116","690","5879","-9030","3914","1584","1910","-18","-10412","-5604","-8380","1065","-9144","2805","7662","-7","3385","-4467","-1593","-6405","10038","-750","-1185","820","621","-2502","-1315","3026","-46","4224","-7664","-75","560","-12156","7847","6573","-2320","-10521","-9480","60","-806","1350","2667","5609","3363","-7497","-675","69","-4144","-6738","-3542","105","3146","-10380","-3228","-1029","-3010","-3060","-3294","225","-4035","6450","9055","74","-7884","3864","-90","-1428","-4235","8031","345","-75","2504","-6645","13008","5041","-35","-2841","-173","-1376","-4487","4575","10040","3906","9273","8238","4100","692","1289","-9282","3080","4330","5192","69","7764","-1090","-375","5661","16080","-12453","-19974","-4695","9426","-1460","-4748","11640","300","19454","4299","11373","5038","-395","8750","-5844","1358","13608","345","-1503","7989","100","4436","-75","-2595","-1215","2096","-8910","-5145","-220","7771","2310","-7616","525","-1987","14121","-5955","-825","370","-9351","7892","3266","-3281","1020","-12222","1384","3050","2523","-375","8022","1590","-16215","4343","-355","-19890","14658","-21872","4977","-6880","-3066","2928","1339","10183","-2790","1817","14217","-6514","3639","3460","-885","-2189","-3324","4059","-3550","16362","-12156","5067","-606","-5450","-7530","8548","-5523","-20721","8895","-13940","-315","-14724","345","-7300","-675","-20918","7752","-7676","-1370","-2483","-15540","-11144","-9744","-1975","11229","-15536","1262","-5781","-9720","4742","6390","-229","14355","500","289","1633","10470","-1549","-2835","2510","1656","-19229","1628","-1100","-8928","3852","433","-17823","-375","11003","-3068","-13187","-13578","-4125","-12642","1900","-348","11185","-230","-10682","-17637","-16052","30530","6920","-11742","25454","-528","-20680","-5730","-6236","-378","-10928","31236","-1775","1868","-8354","25140","10124","-675","5088","27432","6302","-935","6695","-22986","11090","-147","17600","-10155","-18810","1489","20800","4779","-4425","21655","25918","-30114","-15484","250","-12928","3555","-4919","17220","-3030","-1863","3234","834","850","3945","16932","17466","17365","138","-1575","-1408","15008","22992","-31653","-1575","-17584","-1680","34604","4052","-6850","-23541","5562","-22223","1058","6960","-8874","3507","6246","28440","6310","1260","39632","2418","-10502","-450","-2168","-8001","25536","-3555","1445","-10089","-37765","2499","-9337","2025","22350","1449","47216","12432","8140","2246","-3904","10626","-6168","-355","-4352","-9438","-23016","3460","-15340","9684","-18530","-21609","17484","9030","-9691","1020","898","9882","-1150","2165","22176","12105","-20826","-2150","-39970","-27165","18254","1554","-2640","23652","34477","-1288","-1217","270","-17419","4828","-17022","12705","9340","-2677","4442","-1035","-34063","-1575","-16665","-7512","-12276","2215","-4675","-39024","-8052","-3195","54550","105","9234","947","10888","519","7445","-28896","-3359","13461","25583","-1525","2070","-30120","48940","-13206","1250","-27819","3767","-2746","-7996","-12300","-950","14532","23622","-3867","4170","3094","-5895","-9240","13287","-16590","10388","-15576","2970","-23","-7040","-23292","-14448","-22890","14958","1125","49197","-1887","6113","-48240","20260","42103","10322","59922","19764","1565","-19079","-28278","-2769","-30660","17535","14244","9890","-3880","38264","-900","15627","-12330","-19540","-12897","-2250","-3791","5492","-15114","-54648","-8295","-36328","-26250","-17143","1948","12495","-4074","-8022","-46008","10674","-1035","14250","501","-14885","-23967","11230","2100","19227","-13308","-49362","25","-7785","7785","-17424","-11691","17300","-6288","-60798","2970","22931","15435","29852","-4620","7015","-23313","5100","-770","15840","22848","58829","-1775","24640","5961","40312","-4707","-10750","17865","-18455","-17325","12269","-1110","-22544","3117","13008","-23676","-6440","-2070","19900","9843","3240","-340","1899","36666","-47531","29064","-13385","-9150","-27194","-841","-34794","1125","7134","-27122","306","-4770","11075","5405","-56","-13029","-7199","-7455","34611","59670","-82423","-4886","4735","65616","8964","-4539","-31560","20640","25030","1022","-17224","-8784","-7625","28119","21524","-30549","13258","930","-12541","-5451","30250","-48067","-13730","19542","-6526","-1213","16515","-10380","-3714","-18585","9372","6567","15470","1108","15998","-12177","-43320","2250","28880","-49086","-17894","4052","-115","-15201","-58196","-12726","47685","16350","-9774","2510","-38608","-25644","-9435","18673","-17336","62163","-8439","-2965","-9452","41820","34648","-6615","7825","44172","-55698","-115","-45788","21900","-14930","-6495","-24834","62754","-19400","-2584","-4805","23028","20974","-28770","49122","7449","-61508","5180","-18955","33432","36320","32944","63266","5925","1564","-3743","7831","46608","9740","26502","-600","17343","22906","3240","86037","-14226","-40362","-4050","2505","687","36191","-4785","-56212","-1500","11976","6069","-29843","-4899","125","-3490","-19281","4647","-25234","9585","6100","-7530","87839","-552","14850","57687","-74320","34188","93612","3300","32700","2976","-65990","-11556","-3850","-1659","-4278","53469","56310","125","1542","-33009","-92264","-64428","-23535","39561","54686","4526","-37812","12375","-36178","42742","58950","-5700","15585","116","4206","-33555","12880","-4830","-59527","32046","-8142","5879","-1700","48156","14091","-19350","27072","-20760","-20491","3914","-17676","-76362","-4205","-11088","41479","62040","11324","1910","-26391","18708","13639","1278","27025","32784","-103053","-10412","-10692","5325","83686","39228","15223","25062","-24430","-8380","-55850","-30372","52207","-6495","2681","-15264","-18100","-9144","5110","-18906","-44206","-19635","29883","-20085","-47761","7662","88868","-33270","4650","497","-78379","-52800","-46080","3385","-48818","56430","-62163","31269","-6065","-62400","-20070","-1593","-14904","13275","-57983","-13725","-18826","-77754","5540","10038","28800","46452","-27460","5250"],"derived":{"al":[[5,-1],[23,1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"115.4.a.d","letter":"d","dim":5,"charpoly":["-361","437","-89","-47","11","1"],"traces":["5","-5","-6","33","-25","-36","-15","-102","79","25","-153","-30","28","69","30","145","-341","-409","3","-165","-212","11","115","-243","125","-266","-243","-709","-583","180","662","-681","-457","799","75","2047","-172","511","83","510","344","1668","-230","-503","-395","-115","-337","2050","-4","-125","-205","130","-942","783","765","2621","-890","2039","-1166","150","499","-1768","-1228","388","-140","4627","-972","-2433","-138","-345","-14","-4023","-229","-1004","-150","1529","312","3161","-88","-725","897","114","-72","-6302","1705","2490","1157","1789","-90","2045","-1309","759","-3071","-1827","-15","-4160","-1765","-4006","-91","825","-252","39","-493","-3933","1060","774","-1950","-419","-1383","-55","-2400","-4659","-5398","-2962","-575","-5695","-902","2718","2816","1215","2928","-429","4252","9304","-625","6132","-283","2233","3366","1330","2527","-7235","-3441","-344","1215","11663","-2551","-828","863","3545","-4593","-4004","3952","7591","2915","-3175","11145","-6406","-3905","-900","5342","-2839","-4083","-5404","-3310","1097","-3596","8296","8804","3405","-345","-4833","4868","76","2285","-4624","10860","19860","1509","-3995","4432","-2488","-9613","-1789","-375","-7433","-3214","2534","3295","-10235","-3557","155","4119","-2346","860","-2113","6623","-8717","-8755","-2555","-7412","20007","4051","-1621","-415","4968","212","-975","6208","-2550","9904","11364","-3636","-6145","-1720","-11817","1817","2992","2552","-8340","2160","-15598","7354","6182","1150","-4062","1447","5453","-9423","2515","-14956","32728","-7276","11859","1975","-8738","1812","-1384","-1454","575","4967","9202","-959","-23994","1685","-4546","6492","-9496","-2101","-10250","4434","-5042","2938","-8395","20","-28562","-1867","-11491","6850","625","-179","-20432","-3519","-7789","1025","-4911","-4407","-18538","18684","-650","-20254","-15559","-1159","28369","4710","3175","2170","762","-2455","-3915","-861","-19221","-7273","-14419","-3825","-690","-4075","31261","33928","-13105","-16788","53205","-12398","9176","4450","3772","804","-20225","13882","-10195","6627","14257","4972","-31157","5830","20306","-3397","-4585","644","-750","-18636","20388","-22210","-8125","-2495","55497","451","43380","2811","8840","-19749","4348","-2549","6848","6140","-23630","-4749","-7488","17056","-1940","4728","1587","4480","805","700","6778","11790","2351","29992","-23135","1167","20644","-8808","-15024","4860","-51112","-12305","33573","24148","12165","-17358","5904","-6366","-13806","690","-7653","7549","18481","-6209","1725","-2344","48349","-13947","19798","70","22420","27231","-11743","-3492","20115","-13324","-4853","19770","6897","1145","9303","-11144","3335","-5235","5020","10426","-31109","-19144","-17173","750","32950","9505","30561","6957","-7645","20787","-21520","8914","-37122","-1560","23541","-23196","-7371","-2603","-15805","-7843","-23219","115","39034","440","-41695","3182","35864","-6881","3625","1340","-56716","-24818","-18416","-4485","-9188","19192","28135","-31010","-570","3580","-18377","-9896","-9407","360","32500","-55587","-23268","-27106","31510","12661","-7008","-6894","31804","-8525","-11380","3284","2336","-25879","-12450","-2548","14645","-21085","13831","-5785","-12309","69","23399","28688","-8945","912","-11444","22568","-76494","450","67440","-31686","-44943","-8861","-10225","-47299","16072","-49898","-12836","6545","-10948","-12884","36754","13159","-3795","-18991","-57873","2804","-34291","15355","15379","-11772","23478","-28","9135","418","6266","4464","-50540","75","56720","-52546","71869","-13708","20800","13348","-5194","-4876","-6076","8825","40706","-14983","-7219","2889","20030","-1157","57572","28988","-25219","455","27874","-25376","-53582","2159","-4125","11936","-26031","9925","62324","1260","253","-31558","12565","181","-195","11494","8370","16255","43167","2465","74616","34692","-62160","85061","19665","29268","73486","-17662","64501","-5300","-88031","-14282","-107009","2645","-3870","-11634","8955","-41333","-104774","9750","25538","30731","-14753","-34150","2095","61935","-31713","38144","21819","6915","16999","11354","47857","-38787","275","17666","-5589","15028","22891","12000","-27115","-20714","-67812","34434","23295","72368","-13028","22048","-129385","26990","98838","8040","-47855","22158","14810","-21825","18258","-37284","35396","2875","-23823","23697","-24728","19553","28475","-19086","22331","-8290","8508","4510","-32452","33950","158433","8577","-13590","-7184","-32340","1788","47783","-14080","-30917","-24802","-6118","18521","-6075","30550","27856","3932","400","-14640","55646","37008","-7435","30872","2145","13627","-164571","-23028","29763","-21260","-136336","-29501","129967","1821","-46520","-5589","29377","-25620","-25301","3125","-43881","48363","-89482","280","-30660","-15864","57710","22026","12635","1415","76332","-9640","-13128","10277","-11165","24914","-62444","-27716","-16307","-16830","2056","-25499","-29466","71122","-6650","-41443","-43048","18376","-71746","-12635","42768","73132","-97240","-7400","36175","-6955","-34571","46125","-28564","17205","-17176","-13409","80032","-59092","1720","-16641","104630","40263","-19913","-6075","-40799","-39886","-35112","-11248","-58315","106738","-23970","33144","12196","12755","90466","33544","-8938","-10944","4140","-53294","-58037","99391","12405","-4315","608","11385","-42299","-26881","-17725","-4461","42550","-54604","-59171","22965","-55301","26778","-25434","2139","20020","-83200","-4438","15226","-154069","-19760","-48863","-62331","-37988","-22035","-37955","57648","54098","-76370","30177","-14575","-99816","-3659","17903","-80108","15875","-21696","23629","-32016","43856","-55725","-15663","-44924","61437","25785","32030","55117","-894","-57625","-5206","19525","47260","61442","31655","-39370","4500","18964","-51417","100754","81495","-26710","-77697","62940","19897","-10511","14195","-63430","-93735","-6975","-29324","20415","-18438","41952","34586","49946","27020","-51209","-33631","41906","35300","16550","-1653","75764","-129255","-21698","-5485","9889","18377","81817","152012","17980","41661","4950","-110442","28673","-41480","-67150","108549","65492","45704","-44020","-87910","-2966","30255","13136","-17025","70892","162768","33922","144738","1725","-162316","-77847","66902","-13821","24165","39485","102206","-37820","-41508","-24340","-139069","43536","57672","44547","-380","-40778","21860","-911","28299","-11425","-32504","45286","47081","155326","23120","-60147","54373","-20410","76131","-54300","-89528","-85638","33618","-39680","-99300","24598","5681","24158","151612","-7545","-29218","55106","13202","-5620","19975","-3956","131920","58813","-20504","-22160","2112","-5077","-35791","-179","12440","-13443","-132512","-47407","-69461","48065","93579","22926","-106555","-82216","8945","-131960","40613","-28257","11753","1875","-118321","-5631","55614","-45990","37165","62716","-74580","-44253","-54208","16070","6686","63129","254682","4998","-12670","33868","-50272","-80286","241222","-16475","112901","1909","-9793","-169755","51175","54230","92521","-27372","-39694","17785","48300","-32382","31622","-29036","-775","-89586","50918","-37258","21308","-20595","20136","-134260","-64853","91954","11730","57973","100083","58089","252011","-4300","-52784","-33975","105015","5513","10565","-53861","-65809","-21635","-11240","-33115","-17356","47997","103024","-106956","43585","78787","216238","7912","-84154","43775","27252","53272","55274","-69843","12775","-110820","-243408","-75217","138590","37060","-128275","119414","-188100","-71057","-100035","102159","34456","-3576","127302","-20255","38364","49","44153","-13997","8105","-68473","-79414","20254","-91721","2075","14367","-20925","-34685","-75136","-24840","-48482","148129","-54395","-180695","-1060","-227092","115976","-72477","-5290","4875","-7703","-153830","136641","105380","-31040","149606","-92218","-97907","-136900","12750"],"derived":{"al":[[5,1],[23,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"115.4.a.e","letter":"e","dim":5,"charpoly":["-15634","2930","825","-106","-10","1"],"traces":["5","6","4","22","-25","19","-3","138","77","-30","23","47","132","93","-20","282","23","-15","-161","-110","-60","193","-115","105","125","-257","577","17","401","-95","32","670","189","-663","15","-659","-38","-875","335","-690","-12","-798","-566","47","-385","-138","919","-773","-738","150","-993","-305","1156","-8","-115","343","114","-1042","1324","-235","-1673","565","270","2466","-660","-2781","558","-2267","-92","-465","-108","-789","1173","1458","100","-3477","2608","704","656","-1410","-319","3505","-82","-718","-115","112","2389","2397","570","75","-1589","-506","911","-948","805","-5991","633","-2555","2021","550","4826","3785","305","2049","300","122","1924","1394","1021","-965","152","6145","2320","-106","575","-2486","2886","5980","-3222","-525","1904","393","206","4283","-625","-3930","461","6710","-5166","1285","-201","-5303","-959","1922","-2885","-8237","4091","-437","-5883","-85","3629","-5923","-2156","-4707","-2005","2388","-4319","-2664","5347","475","-5570","-11567","281","-648","-160","-922","-1270","5504","-5596","-3350","69","-270","146","10427","-945","-9590","-1528","430","-3133","3315","2464","-3004","1617","5898","-75","18151","-6010","-7880","-5737","3295","-2689","3231","-7743","-3174","190","1498","-12031","-5454","-1587","4375","-2016","-9517","1525","6221","-1675","-4791","14072","-15113","-10384","3450","1260","13452","-6882","13419","60","-4917","-1771","-6677","-2872","3990","-1854","-460","10322","5564","2830","17394","-2657","4041","-17251","-235","5232","15284","7464","12827","1925","15250","-2708","1762","-7198","690","-4577","-834","7247","1756","-4595","27454","17744","-2","3313","3865","-3238","-9509","-6482","-13221","3690","16895","691","11761","-10738","-750","5309","-13576","-529","20384","4965","28786","-3733","-17080","2626","1525","15992","-6882","7301","5187","-5780","-7397","-25482","6932","-6639","40","9209","-36275","7069","3757","575","-1081","-9101","-11190","-6118","-1715","8528","-2026","7096","-10457","-570","4056","-1570","-39617","5228","5210","1531","21002","18050","390","-6620","-27580","5637","807","-3036","1175","14652","-12941","-8914","-36925","8365","26883","-899","10164","-117","-2825","-16213","7638","-8745","124","-1350","-1848","3549","-24974","-11676","-12330","-9020","-2139","11084","6922","3300","-13445","-13558","7577","1324","13905","20249","-21724","16474","-18024","-2790","-16358","9801","-29611","5000","11335","-4734","10168","-7596","-8572","460","-7163","-1473","7124","-15341","2325","23660","34733","2835","38442","540","-15244","1173","-944","-19904","3945","-16372","-9987","2220","-6683","-5865","-9953","878","-6486","-9861","-7290","16128","-9352","11368","-3213","-500","6746","27991","12801","-22315","17385","23713","-25246","-4516","-9103","-13040","-40148","-16568","38847","28457","-3520","-529","-23521","25569","12481","-3280","-51367","9290","-24584","5323","7050","-11736","11324","2368","37826","1595","-1080","-10032","3529","-4698","-17525","18488","6969","-18502","345","410","-19943","25063","-24680","2814","3590","34529","-17466","39022","41328","575","-27825","24388","3210","34901","-560","9032","22078","12811","8215","-11945","-8661","3703","-24020","4500","-11985","-27936","-8580","9182","74804","-2850","-7624","8226","26497","26405","-375","-19719","10156","-22194","11174","7945","19462","13870","19528","-6897","2530","-1205","16197","35572","-54658","-4555","13028","-5006","-6596","-3670","4740","-24102","61894","31524","22496","-4025","-37788","7288","11964","-1364","29955","-19564","-60960","1380","-2123","-3165","-31742","-27415","-72407","-6933","12775","5061","49695","25866","4185","-10105","17327","-7454","10474","-27555","-2750","-22684","19379","-20167","-19076","-24130","-4439","278","85082","6131","-18925","5666","106294","-12483","31240","-1525","-19620","19284","-44602","24561","-10245","-3052","29738","3478","-11148","-1500","30323","-13812","-35055","2645","-610","-39356","-30723","-23919","-39788","-9620","18160","6441","-28502","-32182","-6970","-7859","-89","-5940","-90321","-5105","-25491","-15480","-27237","-12995","4825","13134","-2415","18080","22698","-760","-25734","37140","-6380","-37594","-30725","-12776","50230","18602","-832","-11600","-46534","7554","10557","-18970","530","-12537","-30920","-27604","-13924","-2875","-108963","-7197","1805","-16999","12430","-34412","55795","55286","100274","-14430","49942","652","-6424","-15231","-29900","11684","-52024","-3136","20979","16110","38665","-38246","5911","26561","2625","-83598","2984","5118","-57173","-9520","42432","7752","-120367","20472","-1965","38675","74755","-1932","-2093","-1030","73332","5583","34985","13425","-21415","-13271","-48474","-1312","26234","3125","-30623","21249","45518","44494","19650","38176","-25848","-48782","-43971","-2305","-45518","-5392","-24936","24747","-33550","-28878","-15268","-45302","-391","25830","75212","-12863","47190","-76874","-6425","14797","27255","5248","106760","1005","30111","-78144","-3886","47132","26515","28445","-20086","-55937","-52208","4795","103494","-9223","-46888","48904","-9610","29859","-17362","27133","41593","14425","-56887","8240","36978","-41040","41185","-80562","26010","29762","52956","-20455","-19048","-24880","74268","19432","2185","44914","17451","1441","47057","29415","57936","5085","-6656","-18661","425","76563","-50443","16696","110719","-18145","55570","9976","87678","-17653","29615","104264","15316","-736","-21041","10780","-45338","36407","80672","41535","23535","-56080","56391","-29558","-69489","10025","-5985","-31063","-41401","-48676","-11940","-30292","53437","-27978","-10802","21595","-15410","-11680","72415","33903","13320","1041","57012","-85963","-26492","-26735","32786","-26140","-100683","37864","-2375","43540","-9610","-95398","-40868","27850","8495","-8946","-5993","-4347","57835","-54590","-9492","-26225","-104230","-1405","21070","10920","-121221","-18790","3240","121631","-171394","93070","-71276","800","71765","-82016","82771","-35694","4610","32697","15249","75361","-86043","6350","21012","60712","34113","-34955","-27520","53360","-26517","-95332","35649","27980","-39756","-1120","27937","4876","16750","-67164","-81322","10234","26276","-345","-12607","-125771","137146","-1715","1350","17279","-57266","-25760","-122992","-730","46515","176","-59939","30451","-52135","-51754","-73052","-4011","15923","4725","63022","16964","15157","-23288","47950","-32483","-1517","47602","-70120","7640","-104352","13994","-70716","-49352","-2150","-3218","-61091","-55306","-78268","15665","-10188","-49080","185276","-4676","-16575","874","-142633","35519","-66644","-12320","41010","36601","-92485","25771","15020","-54283","-3522","-44551","40074","-8085","43743","-70260","40747","54400","-29490","9572","-116983","-62595","20125","375","-77346","37815","20371","121874","-90755","-28936","20338","-7783","47816","30050","93485","44117","78428","21214","39400","62708","-30132","10966","-47252","28685","158507","-7705","61481","1615","-16475","-32944","-17361","-30888","-2120","13445","-67861","-12268","127054","32186","-16155","-18618","79890","-101430","-58590","38715","129180","-42216","-71911","16630","15870","-16875","-40324","64473","8583","-950","-101496","-44965","-194310","6105","-7490","31479","89234","-46609","-41740","60155","67140","7955","4126","65512","27270","92035","70596","276","108830","7935","33652","2062","107904","6535","-21875","53048","-171144","-39399","-146788","10080","-49488","112090","127312","91115","47585","-108313","106376","33250","-286296","-7625","18354","161097","70015","-35661","-31105","-12041","-184522","2796","-99576","8375","-18173","36243","-118434","-9240","23955","28954","14870","-24995","-36559","-70360","50866","184","15627","13018","75565","-85105","86821","-69817","16536","51920","12590","131882","-60336","-87580","-17250"],"derived":{"al":[[5,1],[23,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"115.4.a.f","letter":"f","dim":8,"charpoly":["1062270","1173478","-291419","-75868","14956","1242","-222","-6","1"],"traces":["8","6","0","42","40","0","11","3","158","30","41","48","28","161","0","98","71","84","177","210","292","171","184","177","200","396","-495","179","225","0","-36","-360","-53","-1051","55","-396","-348","-309","-1077","15","620","-2288","-390","-141","790","138","123","-1304","881","150","957","-1890","1406","-2949","205","1031","-1142","-129","-676","240","1447","-1556","-58","-2883","140","-119","-1582","953","0","805","1396","-1728","17","-964","0","2271","488","-1919","708","490","4316","-3332","1486","-3970","355","3570","-803","-1031","1360","420","2693","966","3833","-3207","885","4956","-855","1817","1319","1050","680","-969","-245","1357","1460","4906","3968","2265","5969","855","756","-6423","-1590","2406","920","9139","2200","-1908","2854","885","583","-235","-7342","-3800","1000","2870","-315","-2622","3402","1980","-1569","-4443","-8131","1326","-2475","-797","695","0","893","895","-2665","2796","-736","-6100","1125","-1385","-17795","-2884","8839","0","-7786","4341","-6943","-1636","-180","-4623","-1320","2628","-9520","-1800","253","4218","-2566","-26","-265","2390","-124","-7520","-2006","-5255","-5544","-6028","1223","-15449","275","-4739","2294","2712","-5305","-1980","-733","11831","1079","69","-1740","-4149","-16303","13943","12679","-1545","-9168","7505","-6243","-3585","-5385","393","9484","21813","-11080","75","-6628","8596","12410","-1159","3100","12369","3634","2212","6056","-11440","1458","19876","-11280","-12000","-1950","-16482","-4591","16315","9485","-705","1840","12044","-13180","261","3950","8134","3356","17760","11504","690","-28049","2932","12387","17244","615","-14246","-10072","6758","6409","-6520","604","33367","-23610","26069","4405","-126","-11991","7019","24710","750","2315","39788","943","3515","4785","-9638","17439","37458","-5018","-9450","-2430","-7859","-8601","-1201","7030","-15973","15786","-14298","9509","-14745","-20291","10021","-4181","17833","1025","1104","-10805","-1597","822","5155","10566","5473","-25636","-7904","-5710","-18412","-5798","10698","7245","-645","-28183","14355","8204","-29597","-3380","-22884","-2957","9321","644","1200","-20540","-25974","3674","18629","7235","-40069","4957","-24312","12845","-7780","6259","-20752","6931","-45944","-290","-7622","18579","29728","18132","-14415","10148","3703","-8448","-32298","700","7702","14538","-37489","-17340","-595","-23935","-21492","-6216","-4192","-7910","36472","11909","-2280","23484","4765","17086","-21264","-16016","5814","0","11249","5135","-23159","36187","4025","-29592","-24611","-5369","-39994","6980","-5030","42673","8545","20516","-8640","7827","-48191","572","45283","85","9993","-9818","2254","26129","-4820","-32572","45763","12234","-73853","0","130","-19703","-13175","20619","11355","12919","40104","-23940","-25182","2440","-20729","-9900","26779","9505","-9595","1633","-4564","24739","-13356","3540","56655","-2886","-59432","14023","2450","17766","-6528","-24384","-28490","21580","23166","39308","9515","8170","-16660","-10996","-42073","15706","1932","7430","-12578","-27423","29708","-21266","-19850","22841","-23990","-32166","14634","1775","74416","-12488","49060","-22201","17850","26140","-22247","-4813","-84257","-4015","58747","4071","100027","13728","-5155","96905","59304","5646","-44566","6800","-22008","-11946","5365","-2605","2100","12327","-2694","30748","51512","13465","64272","15800","-3952","63609","4830","40871","-72319","-632","-28833","19165","12421","1774","-6216","11670","-16035","-3746","55526","-40812","23176","4425","7664","4814","-33329","15468","24780","-11548","-38408","6716","55729","-4275","37458","26001","12211","-96975","9085","-7867","-65750","-8554","-43369","6595","-21574","-55130","17938","-8211","5250","21620","-14935","-24425","-25756","3400","3933","6702","-13491","16087","-4845","-35550","-7449","-61409","12605","-1225","38984","-38536","530","-22307","6785","38518","14382","-40378","-61307","7300","-22947","-12260","40595","4232","24530","-11152","-50555","24367","-12758","19840","-12642","-99333","-42157","17078","11325","-12535","-50629","41032","42479","29845","22601","7496","-52565","-18371","4275","36122","4071","-49076","-20923","3780","30385","49790","-64178","12570","-32115","-29688","-29542","-6382","17039","-7950","-16096","-48454","-37625","-27644","12030","10149","-54626","-30252","94110","4600","-33306","-121441","65229","21681","45695","-27368","29771","-42530","-41562","11000","-25204","26624","6813","56647","-9540","3168","-4966","34258","-42047","14270","48115","20530","9108","-4087","4425","-46354","-26208","18950","-19624","2915","42810","14644","-52455","-146788","-1175","-47825","-24961","-3602","-71717","-36710","-51156","5855","56471","40195","-19000","-11385","11901","64084","46019","5000","59737","49573","-68544","-56602","14350","-44232","4990","-94106","109805","-1575","34480","37544","91436","5143","-13110","19936","-17824","2650","4117","17010","-107016","13493","26679","-82102","9900","43751","34450","-20504","-7478","-7845","48874","-144406","11648","22468","-22215","60997","-23145","56669","51956","-40655","105464","5175","101560","11700","6630","-23353","130974","-55163","-52509","-12375","-3944","63422","103884","22148","-3985","-66010","98094","67234","-23112","3475","36084","73488","44942","-3976","0","-66554","-4809","144437","99729","4465","78548","18123","-43291","-80069","4475","53183","56992","-15948","-14909","-13325","-47615","62680","127450","19903","13980","33372","-10928","-828","75123","-3680","27257","16273","55276","-3013","-30500","-80968","90459","-9562","68669","5625","13256","23551","423","30923","-6925","-6284","36569","38568","30854","-88975","-8280","-92472","127075","-13765","-14420","-80881","89056","36811","15694","44195","-25958","81808","-245563","15832","0","-13852","66603","-110150","66183","-38930","-225355","-34860","-95967","-1219","21705","15142","-25603","-16949","-39672","-34715","-48468","37812","-63248","16484","-8180","-13833","35627","58144","-38484","-900","-39373","-80072","-111737","-8450","-23115","26483","-24173","28837","3637","-6600","-63915","-12092","3754","16563","13140","-42808","33109","-66220","60550","-47600","-103414","80426","-93071","77932","-9000","23926","-33810","29722","-54198","1265","-101672","69453","-44308","-77861","21090","-59357","-12746","93664","134480","-12830","-92307","-70488","81490","-67267","-130","76884","4164","45285","9689","-1325","-108934","71032","-9108","-64646","11950","-89187","13653","-107436","83735","-620","102744","27092","-192398","37732","-37600","29325","-101805","11914","11976","-10030","-136890","61472","126700","-113508","-26275","-8004","-37082","45469","12596","-27720","-187108","-20275","-183783","81043","-30140","66687","68020","37045","127527","6115","-24343","78580","-69559","74948","-77245","84688","97683","-242211","-7107","1375","-100797","-60235","-104300","-106274","-23695","22710","161177","31221","22920","11470","-46434","72029","-27498","-35842","13560","-85792","-88004","113062","-161518","-26525","-31589","-24771","-52419","24215","-9900","-5460","30333","163408","159596","-3665","100576","54816","38794","-53452","59155","-69686","-67334","-19830","99352","5395","3250","15276","16947","-32166","345","-159107","-63751","75345","-155157","-8700","146780","223657","-90383","25561","-20745","55853","53329","-55535","128734","-81515","-84266","-192009","118362","86596","69715","164587","-17846","14260","-28814","63395","-188944","55886","69922","-57643","-7725","-50756","165772","95841","-20198","-45840","68285","-176726","-85900","44227","37525","-16780","-66816","260534","-42748","-31215","-52624","2869","226048","-88037","-17925","-47515","145782","-87500","159495","-26925","61675","13591","-150569","72896","1965","207836","-192069","59231","25885","47420","-247850","93656","-233829","-8970","109065","-64953","63712","-16155","100046","-55400","299586","-15812","27935","123828","375"],"derived":{"al":[[5,-1],[23,-1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.11,"computed":"atlas","estimate":{"seconds":0.302,"low":0.184,"high":0.523,"bytes":2001301},"url":"https://sagebrush.space/atlas/mf/115.4.a"}