{"label":"13.8.a","level":13,"weight":8,"dims":{"new":7,"cusp":7,"eisenstein":2,"modsym":16},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 13]: [1, 9] (certified at ell = 2147483629)","T = [(2, 1), (3, 1)]; h of degree 7 = 1 x 7 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"13.8.a.a","letter":"a","dim":1,"charpoly":["63","1"],"traces":["1","10","-73","-28","-295","-730","1373","-1560","3142","-2950","-7646","2044","2197","13730","21535","-12016","-4147","31420","-3186","8260","-100229","-76460","-17784","113880","8900","21970","-69715","-38444","-93322","215350","-124484","79520","558158","-41470","-405035","-87976","273661","-31860","-160381","460200","585816","-1002290","-533559","214088","-926890","-177840","-530055","877168","1061586","89000","302731","-61516","-615288","-697150","2255570","-2141880","232578","-933220","-392514","-602980","1878064","-1244840","4313966","2333248","-648115","5581580","-3971438","116116","1298232","-4050350","-3746601","-4901520","2485802","2736610","-649700","89208","-10497958","-1603810","-1264456","3544720","-1782359","5858160","434308","2806412","1223365","-5335590","6812506","11927760","5830810","-9268900","3016481","497952","9087332","-5300550","939870","-5804960","-2045330","10615860","-24023732","-249200","-1551420","3027310","-16825068","-3427320","29567555","-6152880","21929484","1952020","-19659467","22555700","-19977253","-16497968","-21496326","2325780","5246280","2613016","6902974","-3925140","-5693831","-33594600","38974145","18780640","-42764568","3485552","20421375","43139660","-17741932","13153920","38949807","-6481150","-8611835","-15628424","-4374378","-39714380","20565925","6469320","6302616","12982320","13499661","11340980","38694015","-37466010","-16798262","-37754272","27529990","24858020","-77495778","-7662508","-14379054","-6497000","82476427","4970160","-13029874","-104979580","36722780","4490668","8921070","-12644560","44916024","-23458400","-24417432","-17823590","20906504","-16402848","-164656610","4343080","-18822104","156357240","4826809","12233650","-10010412","14939652","-4783584","68125060","12219700","91874336","28653522","58308100","90991381","25952920","-17201548","30164810","-137098672","27743040","-80729995","90873320","31707962","14841540","-95718695","9398700","-66869758","-170327104","-48622212","-20453300","47312395","-29724408","-84268161","-240237320","139905350","-13884000","289914974","-15514200","-128131106","-8476468","-172815720","-168250680","-55877328","-26399152","24360156","295675550","226348621","17228064","273501873","219294840","157399905","108755400","-170916532","-196594670","-181463546","-63155960","-9110959","-199772530","-219896537","109180960","27963800","-214963260","-230377304","-6512184","-54175465","52462800","766350934","145582320","141580309","69029740","156366225","10990392","92305288","-56938310","-257364987","-258764560","-246818330","389741450","282578912","-52585792","-313167870","-427645680","-6999642","194195040","-31704484","204213750","23962848","-120791048","135976464","-177419320","-89305645","-167116544","-250050151","389498070","375736553","18147220","-293217724","-86118350","-209182332","-870726480","181509960","-43743780","-425649130","111200264","371413984","205659250","330225153","49830352","-220203113","63026160","-68049400","-36350496","506277980","134996610","-391128728","631854600","106744346","386940150","-556521108","104904828","-68610510","-167982620","804325368","249851840","-393141064","275299900","149309090","-69602456","223708233","-774957780","115791630","-426911160","533040890","-143790540","-39071448","18191600","-732576507","824764270","113253660","38282976","-554028880","-130298740","-991919194","293942824","1228229964","367227800","-248268618","250194360","-200737041","89210700","-1272619970","35404768","-102634606","449160240","713540012","-688308160","-1600852332","-244174320","13212342","49906052","19553300","209065040","1435141091","-913872960","-727765515","-1646566100","-760053256","-12160624","859842862","-188221040","1171574210","1204351664","-43665921","48268090","1569231798","-34254220","951804664","-100104120","326833039","832352040","-382978440","-47835840","-182052579","-190750168","-580955039","122197000","-153163855","-608009920","545624440","286535220","1105247295","-163262680","415649663","909913810","-1051957848","1445948400","-883721143","-172015480","-2845112585","-84461468","-733311590","-1370986720","729203038","213692544","1840633872","-807299950","-844790424","-254445296","1323854668","317079620","-1490760375","826885800","-205028434","-957186950","-108474252","-26316360","1295161036","-668697580","284754287","-960236160","3096897610","-486222120","-1676442378","57269240","322741354","473123950","73750248","-1656074160","628663955","-842681610","373014520","672664496","-864634282","1399053500","319329594","-106942400","-1311659780","2899149740","-273491348","43439760","525795905","-1281311060","-2092412006","-472260360","-40002392","-1728157200","-460090968","471101904","-538921722","-558773280","-128120860","174705440","-985475253","243601560","2649784207","-827891540","899740781","2263486210","-1665432810","959849280","-36908300","2735018730","2578581872","-614025552","1226273126","1573999050","369212373","837695440","2632795711","-1709165320","-2009689270","550465076","56659824","-1814635460","344813846","-3518689200","3335503212","-91109590","-1683474349","559363084","-1720088950","-2198965370","1049670942","3203549504","3208685566","279638000","-4479149136","601897128","-6020779171","-2303773040","-889861895","-362821680","-853834426","-541754650","289108105","-146895840","-3917985995","7663509340","-900830768","1121357152","-2680762940","1415803090","-81488940","-193283272","-5452784374","1563662250","-651238110","612321840","4079592114","923052880","-28355400","159427268","-1933234896","-2573649870","4282342257","1712463200","601233217","-2468183300","1782472536","-1091276060","603372350","2825789120","4240628040","-2929779840","-1526174792","-3131678700","2213865537","1197407904","387006334","-69996420","7087000940","1495799744","-5144083173","-317044840","-2459750640","-571798500","1374013592","239628480","3727976518","-6729786960","457668900","1359764640","-352357057","496774096","1485527014","-893056450","3413006146","-3354867200","222111990","-2500501510","4963395060","-1090594596","4052800530","3757365530","349201632","1011059400","1068565383","-2932177240","-385265980","241131380","-892038100","-2091823320","516235148","-6706826528","-3088554791","1815099600","-1233278988","122482584","1287037752","-4256491300","-6469197780","6195443280","-6642370813","3714139840","-8116886556","-575845900","-2813338833","3302251530","1255713004","-329769440","5799542765","-2202031130","1673437495","-176473248","5900877088","-680494000","297323892","-2025241920","-1736098088","5062779800","5893289635","-377990508","-4466313945","-3911287280","-1172229123","4866900560","-2314681226","1067443460","-5064457359","-1083432420","6341416170","-5565211080","-2447178907","5844697560","4078607767","-686105100","-7829831893","470351336","4881492334","8043253680","-158277600","7331065216","-7941788578","-3931410640","3549421476","-770839720","596304884","1493090900","4704492048","-3877851120","-2036377330","2237082330","-2020086656","2169881784","396606024","1157916300","6151575753","-3288310576","5197278106","5330408900","1679680145","402613512","-10213090550","-390714480","-3923468950","1013532000","-951280715","-7325765070","-12478258196","-2309339956","-11497372775","1132536600","8276793986","-253350720","9353570738","-5540288800","-1164530835","364836472","2926737070","-9919191940","12615547560","16376814480","8885868952","12282299640","-4161629244","-1028237840","1239811560","-2482686180","8005702130","1927138096","-6719618125","-2007370410","-1778291388","-249789960","-1134872167","-12726199700","-7300698865","1972551360","-16523449333","-1026346060","5233869940","-1257648672","2332304442","7135400120","-11771820342","-3880406400","3468669230","-16008523320","-3721752958","683688096","-11490193065","132123420","-8030951162","2780480040","3001162044","195533000","12476906836","-585382112","8221509600","14351410910","2540491325","-7039165056","7810389884","-7277655150","6470611660","4610385080","-3643799694","-7600532560","665100007","-677520480","1290441510","8598428620","1659638448","527018912","16052447201","11715742100","-14359677344","-7970210080","2324625277","-436659210","-620463500","-135150652","2190980560","15692317980","-2808238090","-1908449400","16817543192","9518046640","-1707569544","280291536","-1859271720","3268330390","3954808945","6411244944","-1351787736","-3829784400","14865657960","133940352","-32984584036","-1820525790","-3982399995","-10627509360","-2429378952","-5809550390","-10335362557","-342151600","8967929672","-1531638550","-871883946","-17840014208","-11414734425","5456244400","-2130099660","-802298616","13119727330","11052472950","-3972920752","-9096063600","2213823456","4156496630","4955487290","-2547758668","18787644051","-10519578480","-11670239022","11137510240","-23100818364","-8837211430","18017738090","481643344","-830565800","-28451125850","10309158314","-4705710360","-16730241443","-7333115900","2212669173","3838762816","-10011242445","7292030380","22861254510","-1414183680","30365614948","18406338720","3307806500","2260439860","510973866","-8447904240","-21708895731","-14176237920","4241820930","13238546680","1364595736","-887822936","30109181532","-14907603750","9190945088","6369140880","-1749287904","-2050284340","-24330545965","2680123460","9789650824","-1084742520","-9926281872","-1466197200","-20373293998","12951610360","-26992448191","1872353224","3843812830","2847542870","-862353258","12199507712","-8960001456","30968976100","18253661023","1361421936","7615790389","-16764423780","-1107907600","3190714800","-27428768369","3227413540","-1866409776","-1324747060","28646511246","737502480","6505943230","-12756017376","-2631715650","6286639550","21583976656","2359508508","15270310236","3730145200","-29514455598","37477021920","4126106608","-8646342820","-13250227080","-3917349800","-15888035618","3193295940","2198138085","707728000","18320405020","-13116597800","-19006442092","-8117619272","7203142440","-2734913480","-27113220832","2420215200","8288991807","5257959050","-6468508900","3587670968","-24106436169","-20924120060","-6167418680","-3637615696","1699918974","-400023920","9477783302","4838840160","16526752889","-4600909680","-20511888462","26247106080","4967606200","-5389217220","8636792782","1564565184","8811868286","-1281208600","-36958292540","5126145856","-4402397142","-9854752530","5552520680","-682084368","8678402060","26497842070","17332058856","-46125385800","-8540880625","8997407810","-7792337258","-6337761388","-1423908655","-16654328100","53511501085","7393300608","40626040884","-369083000","-4866787224","-7658052444","-16247469777","25785818720","2953071540","-34209995040","-24515781706","12262731260","9283689820","-4407197340","-58715751864","3692123730","-6175645823","-5543736800","1411157280","26327957110","28699297672","4785662896","9668030576","-20096892700","-8725249286","30668768520","-6426426860","566598240","28038547875","5080979288","-13439189089","3448138460","-16330701009","-27102929120","3856156213","33355032120","22718495683","255106852","-8452788990","-16834743490","22167135528","31164514680","-24359672636","-17200889500","13627916914","6157103036","1688755230","10496709420","-26842457395","18060332160","2852215704","32086855660","11617095848","-782986400","2551599336","-44791491360","53478085011","33534268560","5074456660","-60207791710","-35527894467","6450564512","-4874561640","-8898618950","-4100879326","-2794657248","-3320718968","-8538344260","40444108240","1516913020","-11824049455","2891081050","941767872","-8184196800","72410101162","-39179859950","-8231282397","-21457826152","2435582900","-9008307680","-52864363656","-7420965440","-13900078284","-26807629400","-3382212996","-3964248652","18123609114","-814889400","-9353848790","-10768639440","-15705674866","-54527843740","14653803993","-4378254300","-38475780521","-6512381100","-10418151744","4716448224","28237015025","40795921140","-11841710766","-2584548064","5461306994","-283554000","7492326238","8882376360","8062994823","-19332348960","19726578610","7206219636","-52088420876","42823422570","8653491768","50246495680","-12016347855","6012332170","68902438728","6910913240","14343552540","17824725360","21867195107","-60799666200","-964500966","6033723500","14820612267","-7912209536","18535034553","42406280400","-1427390900","-22566817024","-44038530006","-15261747920","-44582373260","8768700360","-61770045314","22138655370","23268766021","66712726080","24859107495","3870063340","53126882595","195989976","9488813256","70870009400","12556024486","-9898967680","55483887688","-51440831730","-41272078250","887725552","35017578082","-24597506400","-19078276615","-31857345000"],"derived":{"al":[[13,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"13.8.a.b","letter":"b","dim":2,"charpoly":["-168","-26","1"],"traces":["2","-19","45","93","-353","-933","-2009","-1653","-1845","5207","-1810","11697","4394","17569","-13503","20481","-25361","-5220","22106","-51631","-40653","122002","-26424","-87237","-73557","-41743","-71685","-64605","-5804","259203","39744","129067","-355146","578435","337907","346410","163299","-982074","98865","475251","-330870","859857","229307","-2075498","75420","-893424","-1638525","124665","384603","44506","-1583139","204321","1046382","1741041","1472342","1510305","2813586","-542026","-370158","-3115455","4675422","211508","2058030","-5321911","-775541","6189522","-1821402","-7591891","2838816","-4804295","-1135611","-727110","-6459284","661907","307824","15697202","874882","-2049801","-73808","-2382319","-757998","-3795228","-12100972","-10889781","8188777","-2912571","1660902","11871858","9815060","1588590","-4413773","20515872","-872988","14854749","-12394446","7326627","-17591688","-607080","-12479220","9011024","19149138","29043687","-21549148","-3631641","12385443","7686156","-33686448","-23473989","3686691","-34163102","-2965515","-21581637","31664316","-49687866","-7925136","11076230","-4053465","-4147890","22437575","24121755","27853662","-31211164","13370904","-9344348","33363795","4697550","12363412","44573715","7361871","11439779","30537215","-70011354","-15256874","63141722","24312771","54373911","-11218710","-46040256","-29578465","46002067","-34733097","-81201069","-3976570","-34020810","-5544398","51758698","-486378","-34458299","29205648","945780","-411591","-94705242","-22167720","-112217578","-534980","25698309","-40240900","87728056","-29336760","-38996597","36842976","98918901","-44648240","116445912","93655254","87444532","-178002364","80491401","9653618","-160866409","83836260","24611711","38167062","-27747798","79776576","51161350","14664618","14548402","-185792089","-40289490","-3525758","38599093","65580960","-91461312","-4476551","11502300","232880126","-62677881","62467281","274503798","-149552882","-151351407","-120778786","270915014","-29666091","-40002282","-126581307","42454620","-45306830","-3979404","-178496754","-142511064","11204594","-339689427","-17924868","183788532","178877160","44996757","-500231604","-238936719","117098151","-286252152","250416873","254852196","-48548385","164190969","-45224532","-106742725","-116520390","451805110","-55718117","36696639","508445949","-116379943","156184875","-290049918","-33540184","567048930","30522109","252796128","331403442","-54322230","-211566193","-11468340","281376039","128411082","-262741320","-532951259","341966895","-51212679","284285976","-454310459","-135433620","-33494432","-34369296","-199512288","48566882","25470108","-189727764","-414448299","56577300","-365029470","-687935424","-242284628","433466565","-102011551","304406779","-144413595","-183953073","-113433307","85971330","78892417","175587012","572276034","9208212","903719730","-102535566","-955624850","9440318","-484501311","130711259","-35268163","-89314641","398652612","-340396496","494363520","700545298","-107786823","-116189100","-437103807","-267176396","728098749","366168584","1694992185","-749144718","268038394","394805352","79953570","176936331","152692370","-707194914","-117871206","-958324161","-24038226","-18975414","84144879","724215762","-1066068030","-58053528","-59218236","-223731491","405257063","312638364","-287048062","-679953188","187694190","-944253038","2014899794","-422070708","-62056852","-313516974","-191659689","1361521433","-402298674","-96505110","-1656942792","426651016","410828832","-366183388","1055214793","-562437900","819629760","-1826765334","-1777887387","-161604729","266320960","298108029","-413446752","1652299509","-1715816046","-1593785336","-39915860","-449431740","1585745680","825699886","-101327469","888384929","-91709371","680163858","1959165653","330436952","-335640780","1240744337","-262203531","-710837568","-1143047748","-881989089","304647294","1457436735","-44873092","-157491945","-1033762078","-693257782","-218205234","-811447767","-1591637678","1464228327","2447839249","913718724","165868290","1994205134","2437079464","1195809405","-141937185","1034414126","-1507611768","1324536858","-1031655552","1241924130","-196773601","-1209731784","-101563308","-1779086982","-3846808838","1043162127","1283828301","-12751388","-1603887669","-1866817660","-3554716398","652673412","533290850","-628090907","2082206187","-1297384862","-656261592","-112424850","-2790099074","262922768","569468991","-1957267824","-16256178","-419900541","-1223677911","970322792","865577700","-486124148","2359276510","-2619617946","-1188360316","19375814","3187442586","87317568","141725724","1142683767","497808478","1228854350","2694847167","255336426","1088296488","-1128645576","-604396276","440803230","-343036080","1833159836","283560199","500831259","6609352644","534806645","2880148299","21776995","-2044799719","1607556510","880216992","-377794318","-4161695517","-4815309504","-328207692","-780255762","803298189","-2170736673","-29167965","-3038948847","-192229676","-424810722","1534095181","4951814592","2523426486","3351141322","-3214300110","-766093815","1270821695","-5182215815","-299857131","-546651898","-5798020141","3022970202","5251034371","-996364504","-43559010","-4016305296","1267930098","-1213301643","1226201056","742381679","-4598349930","-63119360","2555763841","3032248743","-3741158208","1147926707","-5707348602","447223572","-456549922","189380436","-461770325","-425640840","761062770","1417052682","-4066041819","1448341422","-452839122","-664166934","4472802312","2184910640","7119438871","-3344903370","-1736477703","-3160585749","-2016854301","358767903","-3404978698","-2679947136","4899508013","4246666690","1223563320","-30898276","-2556907128","-531073440","145205682","-134940237","1999032336","-1122521870","-2157616578","1365504660","798733972","1968625611","4241853636","-733630864","3403769151","-3689222856","-3560291448","8538409562","699672870","-2946359640","6186405504","217206405","2946710724","-231265684","-8056788873","6574791278","1088159963","-5649407802","-2535798457","3573212508","1757367591","1040474778","-599474387","3200140872","1044126447","2726338977","-199830600","-2777956856","-5590942733","-344040180","1651794636","675945436","-1764475338","1312580978","-2228871048","1376163540","-15126253754","-726921390","918639582","5228798412","6043390650","-6228765213","687191284","1546949652","5947613595","-8168091667","590071749","-7290083844","-4589469713","-1439611727","1889105829","1481232525","-6071092488","-6095798370","-28749160","2672053836","-4234360320","-709101784","-8453513768","617180109","6011463947","7721854581","108335520","503787479","2400207931","10143145758","-1582865134","-3254065797","-9179641233","-5470379850","4240413108","-64052289","-8168365485","4014372929","13776593670","-173841719","-4559869106","-702555258","3469947552","5415742200","3487084470","-162446840","-10240372130","2693457492","-2158205698","12403058692","13500015330","10016884560","4387752726","165697740","10631397735","-1465442152","521900946","-2259855800","1189987518","4430521575","3144072997","-3596758924","-11595924954","-7477969249","16341735738","-6805988550","-1962852528","6368995054","128724156","-3518971713","2689035327","-4507941060","-7644731003","-7002878713","-6923379780","-5102922290","8181391734","-1560652998","8461759232","-3599839425","-595715130","-10087894020","4894726198","-3157340256","-11009803674","-9741523774","8985330468","2645990828","1250767508","-6252645312","-348503634","-10829351018","273889005","-1214483904","-14566590951","-16826668308","13035955406","2362421773","-1455841530","11937199333","8676663432","5431810251","-8416839262","-3555296572","-3874621968","844972791","3715025692","13466166570","-11824685229","-15533082176","12391105932","6291545638","-20509924224","-2118604257","30874914558","-11459567974","9706559427","-4432258212","97779682","848036220","922765920","5808266022","-5377518537","-1330862893","-8002372080","7255296990","-13739994681","8369954552","20050700838","10869079952","14697362200","-3478156383","7277497860","11039411958","370558710","4132620336","-6276851144","14343384729","-17622611350","3982467680","-6767474847","12647382831","-21003902967","-1479643308","448893237","-7125940930","-14222588130","16736704794","-14992253913","-3477362064","-1589540120","-5997717168","-4856884020","5192925852","-13890151885","-7850424177","1860005591","2298901254","12749950080","-1348526512","16603520904","13220258220","23128046265","943994427","-2557689174","-9702204444","-6453072241","2654708133","-9837472436","3950460454","3825067077","-8336156198","11369806358","10509869223","27065545084","-19589960844","2180840634","17564318448","22892450715","-11680540920","2559208638","-4526101920","-26776637859","3234735374","-21612805805","3157631739","-4161447024","-20920736802","2305216710","21834474532","-36012261875","8509220238","-45832058244","2532250226","-22668467493","-1884807242","3318140085","-1200346614","-14117881394","-4378238877","19856774952","-3906218959","-8249620858","-229401270","8307577344","30159855476","-1634286780","2420935300","4338556253","6181448442","-7007072736","-28946300145","1039207068","-13829554986","381739664","14877631440","41883431038","34424558556","-20536314939","-31041652088","-17252288865","10341410544","-1190831122","4487462245","22103250057","-27561053490","22363379868","-14431603968","25762909158","520431076","-12133974612","-3057808665","9907560038","3660711930","-7878319525","-813237126","-19768717143","20119864274","31475397206","5780954697","28653327572","-9346826149","-862786890","-3749106812","24815133954","2902141599","16298770642","28135068816","-6844654635","-56189662362","28647145248","-3548728854","5964548274","-1527940614","4573183137","-1122630072","40211775447","-6008905980","-24646712408","-31903655178","2780376300","10271902134","29612833150","6631363872","-38755138470","1104163172","45815082498","19352705547","977453180","-23606241570","-44825076848","-128346980","-36642844098","6363233088","464683076","-2118215760","-11925593604","-16257031767","-27746183313","-1430255708","-10959776678","-2554482801","-5119666166","6144203840","-6899563707","5898426190","23969487572","4521491910","-18275700960","-27850611761","20129346432","-6939418498","15738461796","2128626456","3791922378","-4673287462","-17451853920","-10061368892","-23773249340","21157269516","-11692238467","1225478604","-6029540343","30259372688","-58546665300","2281352796","-24333752669","1216280916","-22242794679","-32366560194","40440513571","6351653778","23160042427","-1703863577","4020504390","-26271697449","22437286896","-14918250828","-527232728","-17189883408","45516353841","14235071285","28935532504","-9728259300","21390112332","43572290128","13598379834","56102772480","-8757182001","-12778674768","39246367929","-22377817021","-13900317039","-15321553692","30376927913","29659498404","9712451132","54197515600","7687511706","-4001620194","-10147247001","2216145150","-49491317376","-32636501859","-32331370974","15862543549","-37173543434","-26144248239","1660576006","27116304695","92979630","-8996224071","-16679384527","-3456110070","56955428759","23930832576","3294898551","-11295557428","-4735894922","57734534430","42030625513","-14851722018","-53843767866","40303262147","-41536403919","6236878752","-44683098026","-2203022432","-20101152060","22037803404","27095490432","-6724717035","-25105209858","27061728680","20660701575","-5608612009","-18803435408","-22984855650","-10555036115","-21464181698","13544926098","-6162764984","6876554806","-21305558568","-52649475585","-33995596103","-54345158739","-7678511536","24123351168","-9018660366","-16369462325","-2494937367","64031562210","-14599932314","4517050040","22704419520","4850035402","33879677766","-3174529092","-9708726468","37123506037","2926612746","30066113292","-59082266290","-1597460670","16603325800","-58125598226","35530644255","39550405335","9703624565","-21241568574","51497698896","-8887423014","-22140408591","18990485070","-12065316570","-49775907048","-14191046948","406997448","22690611690","-50204291091","-81031921647","3614585580","16634006854","-12830487573","-8947976748","68223146901","8640520392","44117460177","-52176025758","1454209679","39873571380","26600274478","1477195080","42464291328","-27703086359","-41801417973","-81664151670","-74966067526","39480544353","-5099598000","33210608257","-29555388768","676289328","56660213416","27726267420","12778700640","58163666284","1846577706","6281114220","3928738845","-39002233057","-18227433456","-4346602917","17256854906","31306186989","34486752794","1956773280","-11106119700","77153363826","-2589006500","-34529374584","74562459417","29214133370","-55171698708","-6340323768","38088822696","8070495615","-37226908971"],"derived":{"al":[[13,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"13.8.a.c","letter":"c","dim":4,"charpoly":["-3668752","411472","-3570","-95","1"],"traces":["4","15","80","253","258","1579","1692","1893","3494","-4495","1836","-3655","-8788","-18285","-29736","-36159","11814","-2738","27660","-30369","69930","59930","172920","26553","219414","-32955","174800","-170903","133344","-624695","-231748","-459291","-33868","-480249","322296","-157930","248026","-85326","-175760","379895","588108","132275","309304","1270806","-1773144","574948","557916","837429","-767378","5737920","-1816496","-555841","2022348","-479","-3770208","1391625","-5609844","-3027194","1162668","-8100077","-1340572","2715564","4213476","-6734935","-566826","8124226","-598484","4515993","-108848","-4329415","697860","1607430","-13725816","14884053","16604592","12055070","-5326932","-3469063","20079576","3710667","-8368396","857160","-2024724","-13603483","-16146514","-22922499","22170952","-2100618","17646240","-42372890","-3717324","14504892","-17910680","-3729785","12508152","-37637751","-6329096","-22166262","6200852","36589308","-7144140","49035855","-5371792","-4158921","22772678","1347788","43243440","18243659","-253206","-45603690","6220424","11064261","1428672","27713194","33181272","-47590494","-7676318","51218850","-3646800","4989235","-30022300","-14735184","-6021752","5086140","-104479638","-3545758","36574536","-12569955","-27574258","9875515","-48001488","74870270","-43474028","-49794582","-3190680","397601","-22508460","48880580","-24813104","-57251613","-71742270","104226961","-4033692","1796910","-49894596","-104241270","58468112","81708635","85001664","182783460","662508","6069342","53924296","8262034","182556168","8030035","-27887464","1268244","11338568","22377815","49936656","127893535","17231548","57720720","-275825844","-262716296","-53095836","60593069","19307236","-295951035","-162427572","-2565937","82336884","55511102","-79347252","-162219042","288052660","-153074102","105122472","-403432238","60235316","40172145","-121946024","85106268","161651202","-385690316","230986064","227473509","48264606","245394190","-56066928","-192154403","-146526060","348439170","65329992","-414693446","430180374","271690564","-21846320","6498780","-134263588","220204116","423668352","165771461","92056688","-371972856","-7864928","79441323","196970832","-12007295","-104717616","65469564","86802238","397708172","-371684568","75429579","-302864224","-77010195","-633626232","-229621006","-25955358","-213683187","-597482620","-3076647","357290358","-59778226","-261465996","10342054","-35911466","196422060","-487724760","139053330","293655966","6015386","-272297480","-51550866","153884232","-92327585","103876068","968135751","-368701272","-3654513","-624112000","399466872","416297328","240263616","-60769020","-101465988","-192481264","-704948665","639694440","-266225506","30985184","538553088","-1076433032","815688161","707435238","1101249669","-490284184","66720693","1176690316","290642465","151818432","-257634546","634073544","-331984230","185371296","-359232826","-125820948","-412524485","100176124","-916476243","-153636210","474003628","907181676","-361239284","212261068","-2335324407","-1510787204","297977955","-414637008","1284534983","577011816","121426659","-736221164","-131666210","145684272","-428320218","409347670","-2129043270","1321766408","-857931362","-754165470","-1536031850","-742507312","-29908461","378310748","-288002630","-379905240","2242487724","696049574","-627919491","1281594880","-1639079706","-2143587168","1265775402","831172588","866009118","823033360","4058535180","-690039120","-58336941","516389370","-242345358","1174168712","769294796","1475984496","61424692","-639442456","-254639421","1498179960","-961571068","1496039352","375009293","-482052558","-306794388","-983248680","282496112","-641717310","-2607217610","826914780","-1974646560","-1524612280","1757005616","1577480184","1760499657","-1817457782","72402135","721917120","-1226928333","-1102179000","-1531363580","430964784","251478159","-751687344","-262617356","-185294256","-1113452486","-2041160894","83328540","-384035600","-156642090","-2980627716","288092586","2698703832","298179342","-2883107998","400703921","526085556","22849570","903204772","-596869272","1343325616","375473891","1610976324","3823036216","-3430518360","-1963130580","-17176844","4310383375","1167568224","-1095624564","-2002138964","186236154","-5504453064","-4207739","-292956768","-910928071","1958955988","4207062474","2574356040","-1605620898","513293652","2287549537","-1476271796","4073206440","2811700952","1009080102","-195964128","1372454915","341307016","362891658","-331609450","36366095","4558551072","3352258868","-2521017064","3838442130","-4972840192","-3201519924","-2100528564","-2358887454","509150356","-3315257820","1373311458","-244416562","-177738432","-1942626107","-2198119836","318105840","3020208008","-5385146952","661952652","-2239440616","2719786856","1009062327","-5095400026","-2618561524","2730816912","-3105405769","2105122298","4258864521","-350118588","1235897532","-350979492","-5285510863","-2556504976","4186950372","74407996","-9438700865","-1684580748","-2886791745","7367305058","365474916","2095789032","3195691267","3384402624","-7759273822","-6424179192","-1134959790","1850859578","1055107053","4380098496","1766184799","-545850020","-5193857439","5812673376","-1063456147","-1305721608","7052342340","499254392","-1774457670","-1093433082","3566005232","-708084312","-3596399210","2144039992","5982077439","3152954128","2720104084","-1222366566","2122066466","1598422868","4288934250","7452679064","-5468455073","6571145736","346972210","1806680804","-3920064075","-1566282536","53739662","3627083964","3585851812","-1087153404","5730862197","39247340","-1447790477","-11934361572","6946640995","-544913122","32592270","1305909864","-3632950723","-12806196300","-6800081168","1812440172","-1745493672","-4686008128","2017930970","-3588794808","-1020313648","56186836","187461222","-9765797256","2031976908","-2234057826","-4458040192","2002831956","-7331926911","1551721888","-4243780920","-6565379928","3047097950","8081124560","-164090472","386144720","1194977168","-7472648760","-4308638315","-5657788864","2660655093","4099006692","9663608499","3756561024","-351658253","6971610204","-356852547","-5263516272","-834629315","387654282","8247019820","7554905888","2166005643","877534344","6042775428","-10831235112","-7344646410","-4408876156","4470871500","6384019972","7229760070","-1292073276","11615301602","-4732849072","979878150","13653484806","-4689155184","-10398338508","-1137214055","-3651798938","14548930263","564481264","10632372353","-9612598686","-290608175","3629116176","-3842542356","3268574572","17292440880","-16044235992","-281245620","11530216312","8419799868","-2929988944","-9088701501","12342880230","-18261090416","-679540888","4928992119","7868945956","-9680433334","-2769228072","5693823473","-337821292","-14212311420","-11203042788","213460995","-10749171774","9672682670","-11402068040","-2791960782","9566888828","-3434869616","6181243056","-3605110178","2750729504","-14951161932","10733821872","-24119706122","12196878408","10790039642","-3201413144","-5301060114","3895597368","2913874337","3097328484","-15034510702","7807552024","-11137649970","-4712377720","-3940309065","7895259120","1603507846","-2618199808","-841881570","-6435601540","-1263160756","3331709664","2743218540","-6417471386","-3037727835","-4230426772","261393687","-12444063390","-27448444356","4154840240","8264966526","23179176540","-26958233160","-1225741452","18100881854","15804682152","27061948554","-4100823656","-4492086674","-3288392892","-14132285144","-5127588596","33589627476","8074916848","6121297366","15495420408","-1839831513","12328066496","-7640032179","4945867056","-1595337418","-17480981418","1481535790","15949972860","11699582988","19395605046","25070306634","1167924936","-10008990388","1685929466","10458658788","-15066392468","282697535","-16440137304","26538338860","9276080012","-5558522292","-14462137054","-35039335102","17701854552","-5738348427","-407728048","-12606210240","-5058734480","-4218942532","3311316420","23402107973","-23652236760","-8369937744","-24467584020","-4026424553","18084282672","-17043994838","11497981920","15477844092","3990841712","4169000480","-16095618636","-16901577858","-4753915184","8507145720","-4724415266","18008757430","23858301960","-20451344371","-21108618186","-13076545971","7457626320","1221182677","-21881069964","-2518561706","-12901903040","-4951949205","-30114206040","-18646254616","9847917204","-1414035164","-9716991688","17008594665","7108882712","-12568232973","-4443098556","-11013462100","-1706484260","19135072260","-14639083200","18267896361","13612973448","13829600346","4918022928","20588832561","-37176990800","-5530508244","19187698548","1052363","10956304504","-6073270194","-33837327250","6563587556","6777154296","14371347062","-9059974992","53556415155","7920346248","10598143102","2389651488","19531633463","8283146976","-15763637013","12058493050","-6748329576","-1886725824","41587854714","29144551280","-26495226009","-9223047024","-11076368704","-5747857668","-4216469077","-7213636696","-3057400125","-28834207900","50391119750","50884240368","32698204824","21558931726","-42004949982","58913273664","-15854084004","-14505256272","-6251638776","-24620890180","33823869129","12324827268","-12281767772","10921189668","-3224382292","-34942647812","10008419676","9916492748","6617546014","8731610904","-86870908745","-20657341448","-34329624879","-1467056016","6650745218","-12103482264","1910754767","-19543433988","-38911528008","-6890287472","411208650","-25310164680","4801097344","-14063029864","-19080565782","-17443820948","40857215617","-2554381596","2816553973","-3187312572","4964053590","-506331248","5252891968","23838156282","35722889094","-16839755916","-11528131146","-491261618","-72106302842","15199500360","17795869169","-20917174012","-41902957836","230692504","48459348066","4790228100","13816824121","38436579692","41540588433","-8161206960","16494245260","11706901896","-5672759820","2945236684","-52270390194","10784905272","26476900710","-51424953408","31593273322","50375718928","-89441421060","36822350220","-51218950240","-17951280984","-32759836754","5576370224","-5966094108","6938371512","499276484","-1845290310","67629731905","-42808669876","-32505222630","34175651714","3968760366","83506262928","348621969","13114989316","1836953988","-9257006772","9006604656","-766294350","-15465316540","23445165272","7464751416","81959832528","8251280698","34442529876","-20934433592","44952174864","-190642320","42365514008","14796652195","-41660888544","-4878534943","-30350127368","-21629043228","-18183031496","3349058659","-8129758908","18330577455","33459285212","-14524537899","-33402296256","-2540486205","1245316722","15800319482","-2546255748","-10572536052","-13703744280","54829682940","24210798840","-12356795465","-2173416746","10123489896","-36548819336","14518486052","-7731638496","-17848924522","-28846630080","-57179823291","-2129383048","30421182443","5424396756","-3119706309","-11274782528","50652592605","-52104134080","-1147262132","-17546949024","-47024908150","1314869348","-6146453829","36490561772","4891354744","-44029508016","-25723901434","-36167421994","-64231316466","-69823767624","24688738698","-9473379330","-19040722184","-57218223000","-9921636621","-31171278836","35898679711","65833438512","2303899199","15839507752","-79553999130","-5232798004","-82887985453","67777422948","85294997714","-8647474072","24994756401","239139056","88217563946","-90169913544","52494657576","-11559250408","-1969765488","-34026338792","3236664842","68615549976","30666313389","-43032632888","41998333464","-15692281556","9511724755","109914562608","23039767710","-44284699784","-36509656218","-115203544504","65537122785","-50523320610","-39361187571","7493012536","19788091380","99878259188","-14573245323","-1533198420","45743132870","77739711156","84044663952","42827301520","-533236782","-76348342068","126544332540","-89341802484","32540287761","20647243284","85063634468","-6585847896","-3531523710","-7168209568","-10196193198","-15907299648","9168529975","35026016166","-16837863574","31823331712","23293288470","4683160370","1918209774","20479639932","-78948128228","30155617752","58263847680","38276907120","-8684335339","-10717436814","-41659881296","-105172074104","-45212289447","-50157326696","-78048229321","-2836266384","79043163647","37372030700","-32700264441","55459664064","26026998154","-89304215784","16665850852","-36890721452","-16345302747","-28173890276","-137709478290","64037325072","-9594330928","59598340270","-27827914752","-36480288624","-65344832136","8797731672","-113919202716","14023844184","-30102320034","8480282136","-31747833363","104017270908","-5437901456","51791950758","84616062966","-101644044992","-26484988790","-3475170000","-110091976220","-32318114216","-19092571908","91306779000","-1548411871","66236239680","-111101680224","3520261632","14864609784","-6408430600","-34867378135"],"derived":{"al":[[13,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.248,"computed":"atlas","estimate":{"seconds":0.344,"low":0.21,"high":0.595,"bytes":1854984},"url":"https://sagebrush.space/atlas/mf/13.8.a"}