{"label":"157.4.a.a","letter":"a","dim":18,"charpoly":["106339027","815853509","1912138744","258235703","-4693966195","-5299288274","5702758","2306434808","576754029","-262573383","-70946691","9207351","3197723","-38558","-60247","-3064","351","38","1"],"traces":["18","-15","-23","59","-25","-27","-55","-156","107","-8","-173","-141","-108","-99","-210","99","-231","-284","-247","-375","-316","-387","-683","-448","31","-445","-986","-556","-793","-886","22","-1563","-666","6","-1654","178","-374","-1058","-876","198","-358","1332","-422","61","941","3001","-1064","2906","1221","1625","298","1757","-815","2515","-92","2657","1152","2413","-1296","4104","463","479","-619","4316","-1522","7401","-2331","-855","556","4917","376","2721","510","128","-1599","5662","-1488","6374","-801","563","894","3984","-4254","1255","82","1248","444","752","-1395","5926","554","-5955","-838","4639","-5528","576","-1990","-4425","-3577","363","-692","2727","-2073","-1538","2814","3089","-8904","-1960","1336","569","380","-2902","-4721","4590","478","-5903","-3676","1591","-1422","-2585","3661","-3022","-7762","3462","-3534","388","-3452","-11840","64","1954","-4388","-8645","-2628","692","-10480","6273","-8610","-5306","-7324","-13337","1556","-4294","-4776","-8764","1148","-5697","-5505","-1586","-2063","-6324","-5619","-15041","-6891","2157","-9946","-12303","2826","-3694","5503","390","-2506","1721","-6300","-5346","14725","11070","-2598","3680","15798","720","-701","5509","-12","12265","11580","3103","8632","5788","-10270","8234","-1019","-1728","-1970","17780","7450","1682","8956","-9804","26335","-1706","-6649","4759","12885","3903","5960","5288","5170","-9630","3040","5172","25130","-914","-8774","2769","23012","6674","7764","3892","14830","10642","-15050","-9068","16274","7914","-3936","6551","12444","-20860","13602","-5671","2104","-456","-345","16387","20874","-11693","-24330","8365","46318","852","6102","-798","29","3879","706","-16195","9342","-8748","-7348","21602","11856","-8001","-18695","7416","969","-12748","-758","-9123","38998","15161","-4600","-14060","-12802","-10446","4959","29707","9701","-10044","-4476","-34648","-10177","2517","-16610","30487","30680","442","-4916","-15248","349","-16019","-421","-29229","26550","18630","-20791","-10344","3354","21441","17020","2426","-5399","-23259","4961","5426","51361","-22931","-25592","-4653","-1695","-21718","7352","9237","-9013","17283","-3664","-11813","23758","-8385","-6026","-18757","2970","-13912","-14996","32735","-6368","3609","-25740","-14046","8454","-7524","-10810","27011","1941","-2355","-29493","-57046","-1484","-41319","34741","11819","20300","-19634","-46071","-3803","-22614","-20354","28372","15537","30046","-10937","-14785","-42708","16308","-477","-11944","-46200","-18392","-72707","1917","-23946","-6628","-55344","-3824","-12944","-7672","-37297","-51235","-26106","12890","-29591","-4216","-11790","7577","6492","3412","-25524","5815","-44592","-8651","-50000","23655","52652","-20116","31440","-7674","13671","-2347","-63952","55584","-35021","-47004","-30785","-11025","20808","-5520","16475","19746","-50288","-832","20310","36804","14861","-26729","19437","35600","22742","9760","-30463","12280","54895","-11290","40390","-29110","8552","-15989","-13454","25545","63787","5147","-59204","-8270","-18188","-24488","79184","70103","-6163","-18612","19588","-4770","13760","2100","-32714","5434","26309","4652","9988","-24738","38557","39401","20152","-3095","98654","-13356","25891","26605","-43629","-19904","6859","42000","-8746","27892","81888","-13656","56203","-5483","14728","-16724","-10852","25335","102404","35088","-37013","-38496","66911","67417","1647","8254","-33859","26102","60989","-50836","63651","35552","65330","48818","-97795","9077","-58889","10006","20524","27362","-5901","11647","106022","36286","-31438","-18623","-26340","33992","22063","-3611","-1630","-9326","111540","-18199","76675","-13793","22038","28587","-4924","-18010","60429","4449","85500","16518","14127","-1340","52763","70764","14176","-48880","2434","-29220","112218","-46341","-17813","-3434","-87843","-24688","37369","-15796","6116","-977","51492","7438","53641","-31669","-52108","35663","50360","-35678","-90103","-16194","-65358","-8320","-25174","-21730","85730","12640","144296","-3570","-592","-28389","93231","-40842","-41377","-35420","-156303","21133","16255","-20510","-53848","-28928","-19075","-43438","-15982","12172","42575","16510","-87343","-54419","47281","-29150","99875","15088","-168511","-54809","-50991","-9316","-109477","17152","23020","12144","60936","-13004","-120717","-48726","-23245","-28300","37725","-36356","88777","-106990","72314","-44532","-58589","-117201","-106045","-10774","-70612","-54491","143094","-57382","33384","-16179","-37138","-13049","21202","8652","-23777","-14118","-23559","-28006","2230","-30738","-77584","-85300","-33758","-13200","115588","-71712","26524","16425","-16745","-40994","28475","-40614","-42688","-77685","38518","-10597","96965","-158312","6825","-4415","-68054","-37220","-1249","-11086","-64250","-161162","-67295","-29583","60889","-44292","-88202","-5489","-25665","20203","63045","-67792","-1787","-61784","-218282","-9140","81032","-157186","9263","-33038","-3178","-22408","96302","-62062","21489","-9934","-6992","-40424","-96195","30010","34563","74251","38843","19030","124801","924","65010","-3596","8461","15776","122936","-89160","-17283","68590","-79195","41516","-63817","36282","-95676","-50913","14938","-15246","16456","133796","110744","14142","-178095","-19014","-64522","-25837","22736","56582","56578","-31730","174758","-31589","92602","42692","65920","69112","105957","66380","-99544","-21904","123101","-67200","-22971","-86594","49618","10434","6914","71136","45833","21172","63325","120884","57451","-24254","16334","-2794","122961","12623","65298","30960","152388","65716","-40989","-35658","-75445","75436","143966","75215","43004","13188","-40832","25560","-663","-68940","73567","40539","-13330","-4222","-52442","-47136","-111783","-77037","-135465","102406","-97959","115901","-118561","-30914","-5555","31194","84477","228069","152774","-13488","-85533","8883","184844","-2814","11303","-82328","58917","87900","21062","-97432","-25693","71518","-98629","103053","-27568","58374","12858","132547","38848","-23599","101109","238484","-43932","84058","73668","58340","-141615","-42688","-117192","18902","-155859","-16403","86994","-56034","131311","-1332","-72473","176236","73976","100680","-113490","39480","-136399","-64082","66625","235916","-137817","-3925","-150708","-99672","181770","49720","113175","87270","86244","2266","-50884","-39556","-65752","-16256","60494","116202","70287","9551","6460","-22568","120451","119707","35513","151418","-279533","18960","117483","82262","-33661","-7682","158416","18028","-177037","70962","2396","-27722","-80704","110144","27095","-1547","201309","117026","-103810","-107285","51742","-89986","-95466","163578","25962","-5115","19893","159686","-108020","22188","-190448","59821","28869","-2247","-105343","-10127","-225249","61807","-12741","139939","-44100","-59726","-161275","-58840","30018","134610","38635","-156944","-129306","-11096","-106842","6664","849","214238","-141027","-73663","-267779","49282","188724","140943","-94584","18120","180388","147040","-14695","-143156","-84750","-24986","-59400","-72685","-18133","78227","-106844","-70572","-192622","-178650","144744","-117070","-63998","-18917","-202760","30070","-179450","69155","-25850","-30288","-56119","109026","163174","-65230","20324","-139630","-8028","-71416","102987","228126","-181242","60206","-197691","-3719","-219309","-18442","-185017","12562","230464","-74352","74705","197354","260498","-90740","-38922","46375","-77673","-58076","-95923","-103988","54851","-111186","-79889","115317","-321225","-101209","-248348","107457","-55635","7478","98069","78964","149542","-111490","-142342","-71503","7142","-46858","-4239","229982","-83858","131210","-233890","-50576","-128067","-51450","-112607","138534","-192036","-104127","151804","-30608","-389","-77895","-181369","179138","-54972","38644","172113","-149678","28420","12680","-111112","51270","-228404","-186560","44529","-99142","-203958","-91586","-226771","334932","-170821","-32585","-66663","120228","38990","-59408","46818","-87913","-107446","-164762","45824","-166886","-314043","-146540","-188112","182310","-2734","143526","-38939","-41466","-42724","12769","21519","-63368","-154094"],"space":"157.4.a","level":157,"weight":4,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[157,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/157.4.a.a"}