{"label":"13.6.a","level":13,"weight":6,"dims":{"new":5,"cusp":5,"eisenstein":2,"modsym":12},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 13]: [1, 7] (certified at ell = 2147483629)","T = [(2, 1), (3, 1)]; h of degree 5 = 1 x 5 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected"],"newforms":[{"label":"13.6.a.a","letter":"a","dim":2,"charpoly":["166","33","1"],"traces":["2","-5","-28","-43","-42","19","-36","225","212","445","-376","857","-338","-505","-1452","465","-2630","898","-312","-797","4074","226","-2624","-1059","8232","845","-4732","3749","-812","-59","7720","-5175","9548","5487","-23044","-11698","-16858","1018","4732","-18665","7840","-937","2420","11654","52668","18596","9972","-25635","8684","-34860","43348","7267","-43720","-1175","-20664","20345","2940","2438","-38936","49663","1984","-23108","-103776","3217","7098","-4286","-69928","61985","-35480","63985","67396","-34698","74412","26505","-29568","5518","56748","-3211","-55296","117735","92762","-36192","-75712","-133831","11710","34053","8920","-13026","116508","-125618","6084","-3764","-85232","-107125","16072","41493","-34756","-290","-159808","-105588","136072","-26073","-15200","-38025","284366","51364","-216312","166763","-160746","2734","329852","-231495","131364","-2726","536544","15418","-35828","171018","123500","-12101","-191438","74056","-10208","-146940","-612822","170666","-528","20665","-274498","-75205","-46780","-303202","-11044","173154","-420828","-251267","-304552","-12892","333404","463571","353562","-199651","63544","584790","33372","-28270","-250096","440647","-398628","63924","831516","-44858","-461564","-17158","-314440","-144833","61180","220996","959696","315055","-795288","-276173","-445168","-85600","582852","341600","163192","79157","57122","-453527","6912","-252545","-254376","-7306","851424","-355170","103036","-91486","-630084","-1162622","-310880","85345","-501872","-788676","-271582","69532","585832","196577","995526","-98218","-697144","776317","-18000","586010","245388","-293806","908018","55372","87080","1511580","988988","-633396","-13944","-1343467","-828320","-399512","1743904","-78585","38664","-212543","-1123884","1229660","-756578","205540","1553300","855","127600","331145","-1988328","688906","444470","-175791","142204","-268015","-1526448","-529418","1177920","-86330","1009082","-2040196","-1542744","-108078","13618","-151762","-3497212","468734","277608","493259","1064572","-1720965","764196","747059","116816","-437736","674436","57888","52728","1024628","146048","2168875","-2301336","2675054","-517712","1026352","2381572","36193","776242","63093","1398244","134693","-17528","-404015","-1144224","271206","-1399320","116146","-2829816","1511782","1324128","520735","-323260","-1019475","-688506","282116","-348096","1270780","848648","-775591","178576","-2853825","-3559716","12539","-295656","-1293209","123220","-38194","1020320","318246","758000","-230038","-2508136","-2388658","2787486","103918","3764776","-1255285","1982036","-124342","443456","685692","-2850770","-2380863","-145712","16710","3118976","-839238","-587176","-1843642","2837872","2178468","-3296952","178971","4189782","-395710","-1371664","775084","-47172","-473276","118384","-5543257","5039808","2552212","379816","-1773043","-1391208","1125636","2674764","1562272","5574154","-245234","2128944","866208","-4414468","-935456","1401848","4415205","-4831882","-142805","-633048","1869495","-1131488","-214820","-1050660","-1371973","-3318600","2029532","-6719044","-266750","1651142","-4320540","799708","539502","1047800","-296214","-2661756","-3503842","-6541054","2224729","-3880104","5677018","-4896862","441824","1069348","-633581","4747748","97864","-177096","3903420","-1956416","-1858465","4842480","2550228","815240","-321126","4758588","4491845","137228","-846955","-2171824","-55358","-6142800","1229766","-1709588","-1434107","3796772","2738480","6993824","-1748346","-26108","9971","1909952","98730","3780710","-3146021","4471456","5156612","-4556684","-2700550","-376600","-3441060","1567200","-665982","-1304680","-1459468","-3718722","269086","4483064","1502473","-7356936","3752032","7139312","2514360","-4456612","-4957480","7682752","874575","-5015170","-30020","-356812","-8605729","1381870","4071705","-12751728","-2543124","-8997240","609101","-5566832","6326908","-1613612","-4314013","6450604","-5977065","-1424762","-2547156","412440","3809639","746352","864674","5269464","-318734","4519064","-927303","-6100052","-10336013","5544692","178205","12306264","9524569","15255468","8180088","-80192","-1819286","-9828786","-977288","3894436","141166","-5351500","-5183341","7887220","-8041516","9373990","663818","7390216","-35790","-3952048","-2605465","-3639544","1976962","1375324","12164365","600040","-7401098","-3823612","-442556","-1684032","-6665295","-14367568","216143","-4124636","1517827","2849002","-3183994","7750080","2773597","20694676","1122496","-8148792","-3016456","6156056","-659630","-5271452","57632","1015556","-172042","-10409952","366900","968142","-566944","11891424","9991573","880168","2604192","-19154776","-8035066","-14586152","-31720","-799708","-5113808","2102852","-313007","-12382616","3239625","374052","-1405173","-17181280","9017467","5029644","1801165","-4800288","3154385","2038294","-492700","5669032","3610595","1231944","5410356","-9664376","9563910","7612978","-2717444","8250688","-205234","-1324960","1306610","-8867048","-7798594","4924062","-4089192","-3431872","11704477","9825698","310475","6364576","6144709","546866","158353","10076436","8944188","13484992","616056","138096","173772","-4797592","-4497404","19026668","-7457781","-8464014","4661992","-408980","-2967105","-15062372","8718274","-368836","-12083803","-10798964","5380956","1429044","8859651","6062798","94646","-3903628","-1969526","12838580","-4584544","-31020864","-22656938","6546772","966440","-15908880","15542","-9299584","168938","13085984","1903190","-8900892","-1213739","-4690944","7983674","-1310944","-17578298","-7456396","-9784485","-13243788","-820826","29486860","14175062","13677980","-3142724","-4502856","-2916564","-2159446","5685121","-7692256","-16367229","14758758","999468","14128888","951766","-1210140","-9119496","-1685268","19889366","19229652","1912082","1509088","1270958","5427632","-581912","-4864288","-201380","-12206696","9387806","-16082024","4332315","12617062","-8620299","-941136","-101570","24170190","-12348506","-6102468","-9613796","8162406","8245290","41012368","-30263284","-1467596","-82780","1908928","7198015","-702788","-2390204","-499112","14278732","-19161622","-1092782","3289176","12250713","1131016","5891340","11582536","9507532","2044688","-1597807","-19856220","-4399200","34391352","-15422545","3333624","-18590798","-20696340","1853476","-7325812","-14762720","3773364","-2658282","1643072","-871248","-5193146","-15357394","-7010336","-4927939","-22479078","10923501","2371488","-1228123","18538360","1046950","-34312792","18711707","-28295952","788584","-25259648","839092","-12774968","9657765","1836668","15601275","7388680","4398332","10060928","-1498876","26966904","13552905","-4684724","388746","-8185824","-9067579","15237868","-7345716","-34660696","198575","2191928","10894174","28432958","-8903924","18075824","-2022154","-1680660","18766091","8041632","4916006","-15520768","1975259","3492216","10299211","-32169446","8294088","-3895384","14514810","30899440","12167899","-3057720","8360800","-4027632","-1550197","-16615112","-3438305","-32663806","-2532290","-8315484","16574328","-21107134","16008858","-15600864","14095452","13286408","8730048","11257744","18526113","-496860","1943348","17504500","-3703132","-36465292","6103540","17564288","-18312658","27360416","-5184989","23087312","-28504635","51113592","-412022","-29544756","-29613109","19301496","-12210320","15203968","4187658","25382028","1020016","7843828","17554066","-70033076","-901459","6580184","-24455027","-22958592","-2463722","-14079980","-13080400","-355490","-11505762","38172960","-24373970","-51356066","-1693210","-1687616","-8393047","-10052924","-19174764","1296952","10051530","-10995180","-965375","-1823360","-15142507","720360","-22316836","11706008","-3868332","-335296","2422238","56884944","10542030","-25353012","-16382","-2592220","-29968260","45913560","-9896696","-27241296","-30295682","39260728","3905252","-13864560","27329956","26192118","25995973","58737136","-871334","7511690","-2249034","9857168","40939785","745364","21620844","17538144","9402720","-23991722","-3372508","26179048","16227992","6398448","21398786","31726856","-34505336","-16169820","-35276640","2373632","-543673","-14161220","3225257","-24526072","-1164476","-12439280","-17275717","6975608","11557923","-40673042","-17584463","50922120","17853531","-1199562","30286658","-15346596","-31890900","-23711712","36793092","-28544","22678147","-19648534","11904552","-8046752","-10590260","-13559588","724334","-61558392","-31242135","-2082016","-7583177","-31386116","4350015","61085576","763773","-27780640","8397380","3444144","170426","11817832","-15184405","80168024","-4055752","-33546604","63279782","1283434","-33166170","-73554660","-23151630","-40931510","-2826764","24355308","-10475465","-3708716","16199495","18696800","10505951","-71742736","1749166","-13720744","-5725961","-3857092","-4907878","39212524","-13727935","5996120","-39482078","-3317104","10998792","64907608","520896","48561604","23019778","-6886560","7597329","-11027164","-35162840","-34836656","-10813465","59773768","2417550","1438976","16166478","-35733328","-8392083","37309590","-42267","8318576","89013476","5555612","-23431983","-11389924","49134206","-43112328","-30646384","-75113216","2348706","-20125624","-1594812","-754944","12564313","39284772","14548108","33435688","5863962","78605068","17395258","-69781884","58083383","37477450","338450","-33780352","18576630","44768354","1155726","938792","-7225892","-12575628","7417368","-48103752","-18988619","-3205522","-1438376","-5883736","-37276163","-2936456","29362555","39030416","57075803","-25753118","-4479345","-79249392","-10062694","108117200","-6991244","-37536460","-32543799","-4457972","-68126730","42549244","-9584224","-10055602","20332336","4996992","30092280","-13281676","-4216380","-38685360","-19632674","-28920036","10987653","26943292","-2475488","-54107418","-2633682","-69115196","-932542","53610808","6084628","-30488824","-22286956","-72860232","-21909767","-101142680","-2130912","54643788","-29816960","63815228","-95052095"],"derived":{"al":[[13,1]],"fricke":1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"13.6.a.b","letter":"b","dim":3,"charpoly":["144","-66","-15","1"],"traces":["3","7","8","121","56","-199","-60","327","-191","-1291","556","-1091","507","-793","1972","2785","908","976","148","-767","1390","-3410","3624","-13377","2023","1183","-4276","-6661","-8758","1717","-2608","34871","-1828","15989","4348","-4678","-20632","33786","1352","-43509","-10998","13603","2032","49790","-13918","-3408","34260","-76223","-44571","-65038","13468","20449","-12570","55595","35312","-49287","1716","-19126","63948","110465","-12754","-40340","-1648","117393","9464","-112354","56132","-49175","-20112","41299","77580","28794","-43026","-131519","23548","-99638","-21052","-33631","-61872","-264683","-108221","142260","98092","104723","-55226","-69897","139072","158010","33694","101258","-10140","300864","105392","72843","-196560","-243641","76334","-54636","-60332","218256","-180834","175069","-140936","55263","-56146","172236","56724","203743","-270784","-620146","-82132","-306649","152454","304362","109056","-1006874","-32279","425634","14980","373755","-17177","393124","-141336","-451812","299466","-5614","-257088","926823","-109170","-218179","270760","-68066","1004","399238","-616484","-224205","778506","-644928","562312","352871","325470","107157","93964","139358","-8912","-688258","-222060","-473571","833946","-580484","-563692","-54306","14366","-241582","269192","-184379","186970","-778264","-856488","-436589","-161808","-795689","143292","-499320","694060","1075300","-168104","699321","85683","775453","189900","764227","-425298","2216998","14000","850790","137220","-1707434","-215168","-561866","254958","-134017","-1146424","1240608","88022","988172","-939856","466671","-344174","1887354","-218584","-2113951","754378","-93518","333268","-1532970","37212","773596","-1833408","-218028","326108","205200","662440","-684103","-1324836","-2447220","-272136","470665","-1884888","-685441","952616","2180184","-590310","-1601340","371172","3478821","389200","568609","1243408","1132294","153452","347057","-248980","-1707311","-565501","4333254","2651020","-1717014","80964","-3248160","275512","-5503878","1535164","164944","916212","1883202","1525888","77515","-1223460","2559653","1158878","-2891689","1375580","2666592","-1231374","1120752","25012","-3395724","-2014456","-195201","475284","-53126","2229312","-2517196","-411364","2528097","-2796124","-1952421","331300","-129623","403022","-3090077","-987720","-2321382","-2267004","-32922","2148416","753510","-1800002","707863","1879300","-334259","234910","1324116","3736796","-1665696","-1809954","1095339","-151832","2339517","-541762","4647","1200964","6539409","-1548828","-576290","-116064","-1132606","-599453","9365998","357920","-5404366","-207504","2368770","-498144","-1406337","-167596","-2418210","612456","3402884","-384406","3342409","-1597368","1045378","-3887788","-1494958","2120052","-1598318","96120","2989580","-1234944","-2260713","969424","7635090","-22160","-7357336","-4369054","-5581776","-6569272","-10848331","2507664","-1839360","5852592","-5235799","341887","3401960","-2902660","1769520","17130","-2666282","-1093452","10521260","840418","8284096","-385360","4582583","1764136","199927","-1118064","-3884011","-1935488","-3407724","1590228","3504609","3874704","-6053220","2313048","8315870","-1356880","79612","-722644","9553418","1571842","-2087166","1094148","-1517110","327926","-10932293","-5796456","1154058","3189551","471152","2036248","-1125709","4082176","-6472168","-774904","7379616","1819746","3204257","-2217504","6290524","1315406","2206238","-2047068","-2813643","-1480102","-3232223","-650396","-10867230","6211960","-9185890","1173596","-8341545","1093444","-2944752","-462612","3276246","-3632438","290173","-3689184","-2017890","7092038","-3528285","4339312","-3372844","8223930","-7080382","629544","-3110700","-5022998","455174","-440752","-4714500","1864016","7186522","1658752","-4250301","2540138","10496088","2132616","-1217108","-1378884","3401520","-5523496","5893199","2969886","9562908","-8197544","-5337761","6722784","15123307","-2457912","21471408","-9558362","-13782807","-3082160","-1936644","-308932","-9024837","6828","19392571","2667224","4094036","-10855000","-5800659","-7512768","11144722","4091568","-12245502","3237069","2702141","-2875192","10887805","13403840","-3853211","7010400","-9628857","-171890","7156286","-8081688","314826","-13682518","17656504","734812","-6309378","-2438058","-18472621","-3467420","570912","-4422944","2980810","6016016","-32126282","-3552848","-5605475","-5557044","-790582","-593372","-7188009","-11610528","7626534","7994004","15307912","-19232252","-675409","2832654","-14104521","6168084","27350339","-3486808","-1243694","2388624","-466191","3209048","-4968472","5142712","29334504","4330096","18485142","17019552","-8148672","12677512","5709834","-7063336","-20178804","-3943170","-21649348","6422812","26142903","-1665064","10865040","1073488","-121602","-8253588","-5344320","228488","-32207356","-4127126","9161201","4934952","2901655","1054620","12801713","10551360","-599253","-276348","4723703","10244424","-7353021","21220992","-8505328","-11943852","-3393841","-881080","-359964","3835592","-17052218","-7747749","-11082360","-2379516","-2361178","-1858662","2276138","13817424","910290","9252830","-15042476","-7928700","-31807429","-4076732","-17727021","14838184","522715","-14437834","2298907","-5762632","32650536","4461718","-24188080","21741624","-20133792","6310080","-14153728","-8719460","17448535","-9497388","-1174280","343408","15090083","-11520836","-5201194","25268544","-4605753","-22543968","21887412","4039724","30851403","-22731128","23905746","-1025376","8414510","12209836","-621024","15310344","5565646","-10987842","-2546050","-16899000","14805110","-8789944","-5964538","11071704","-42130002","-2352142","14450349","12079588","10388946","4238336","-12895374","-2276556","-17892063","-16451690","35024234","312236","27581898","-10341788","-575952","7921376","7029948","20298116","-3900147","-2140580","12008709","18871072","6488196","-1433304","-4342194","-9069532","-8229232","5789940","6096886","-27317278","-12656710","-11817360","-11388426","-8357654","-4997076","-24888860","20855788","1917552","43584930","5501816","-12881687","1786243","-2462721","-23140656","34381102","-22940362","540058","-15933612","-53454792","-3542746","-9599986","13602496","-32043552","-7532499","-2004556","-4585248","-18244893","10212638","4198044","-1895580","-13421280","8470590","617514","40720864","-28755753","-2628696","-10991422","-5307704","-19215328","17200254","6960257","33755300","11908800","-2146006","-2025663","4843084","42184406","-277478","17013200","2276092","73574580","857196","2714098","-35561808","-27942064","10151186","-2866090","7327192","28845089","1699916","-21790089","-10897256","3455881","-9335978","10438890","-1063592","470703","-6536944","-15644792","-29564076","15350940","17543100","21964069","40410412","16382431","-2124330","-2918784","-5076260","-47485320","-146104","-18077061","13267212","71955210","14801268","-6856379","7085204","4097484","15926126","9395555","-30664864","-4484762","15603486","-22993700","271248","-38419134","45556298","-64699911","-1555072","-52181130","-12554112","2269175","5967728","-16694185","4234446","32752128","-6250488","6318310","4234568","-41159905","-6652096","-45978628","-39949598","-3704543","-16301760","-8329503","40581991","31184170","-22730244","-52526072","-13881116","-22963670","-28468104","65258976","-9912296","-16897788","6645132","30370345","290004","-21567936","41919708","40610868","46538040","56157592","1109356","-15047018","5934720","-56366613","-8103840","-3077781","16257336","-3232294","-50647732","-24822463","19492502","87287196","9896736","4919670","48020750","68772868","-1126028","-33959546","9206032","-22923763","10807212","-64864783","-27548126","9365242","-39242180","120184180","-947648","12170202","-5264568","4269882","-10219778","-56452226","36840024","18668585","42430188","12048672","-29197736","-24473574","-51811968","12243047","-22217524","21849375","-13987272","47983432","-7622904","5135052","-2155426","-8217406","7574160","-43729366","-4050950","5884686","30935100","21189916","-14920070","-15290600","-15798088","-28449242","8570544","-6817460","-12411640","10885980","34336368","36863669","-41721852","53140082","42382590","999286","-11782904","-12223075","-38541796","87408340","-278512","-61059312","-27735112","-55506480","-47575904","-26458236","44049472","-18179250","56294572","-14109792","-40117398","-71351572","-24040424","19839417","-14696418","-24546657","-56412760","-45449604","-26800048","10321921","-25507464","-38721027","59729221","111436409","-12845024","24052791","1599416","3910074","6589700","116781792","-7659648","16366624","-2125632","-49956327","-36419180","-30423976","27614952","-58062588","542630","-18987826","-6836476","14720127","1399104","59583495","-15977300","42818269","33804804","69664135","35652748","31522308","-26695168","-23240050","9486308","30340047","-6644078","47161920","-14526252","89088794","53311116","-52424326","26830476","-79186946","-66761540","-16026522","29301392","-8310575","29799444","-63013459","-32082360","101224815","25834344","-46313470","-8392292","-43485951","30846636","-46729734","68391548","-50975679","-3398928","-4628222","51301088","-33567548","-46074324","70382736","3150252","55328982","19660012","-42482611","81125632","126937424","16391118","6979531","-47287912","-21245790","39061312","-11810782","5802784","-101527873","13694834","-59581073","67221112","-84959136","-1483484","-119639567","13111020","28084226","39170658","-2254232","-4209240","-218297894","-59551590","-39310148","-626916","77515121","-82873836","-34157172","-52953944","4866186","-47458842","-9813142","-8675988","12290379","-16551908","-68704050","-33874896","73416570","12707378","-15544638","116543316","108937640","-7271394","77888016","5778016","-6473163","-22408392","3331740","60767656","-45584901","-17324216","-27830733","-15400320","67501957","-57621885","-22226711","-16370004","97554390","23400852","25778112","51074940","-57318177","72160020","-43083682","18765384","37551904","-6835078","-91332144","3979612","166752360","-48267498","57583312","44506648","-13002702","26623114","76983471","-20816780","-3531744","20009514","-6090194","8488644","-16838822","36591120","62750900","-64964008","-105513772","-99320096","-44348817","-22861736","-151673252","-65226790","183780144","32373476","113213781"],"derived":{"al":[[13,-1]],"fricke":-1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.203,"computed":"atlas","estimate":{"seconds":0.298,"low":0.182,"high":0.516,"bytes":1839246},"url":"https://sagebrush.space/atlas/mf/13.6.a"}