{"label":"23.6.a","level":23,"weight":6,"dims":{"new":9,"cusp":9,"eisenstein":2,"modsym":20},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 23]: [1, 11] (certified at ell = 2147483647)","T = [(2, 1), (3, 1)]; h of degree 9 = 1 x 9 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"23.6.a.a","letter":"a","dim":3,"charpoly":["2","37","24","1"],"traces":["3","-4","-20","16","-58","-230","-282","-360","121","-156","136","620","-1116","2016","750","128","-896","4282","1654","1504","-1670","1352","-1587","3600","-7347","1998","-10700","-10264","-844","3180","-3020","6656","-7370","-11212","1072","-2548","8938","10728","16020","3440","-12792","20560","-16730","5112","-3936","2116","22500","23120","2887","15156","50290","-47412","17108","-7610","-436","42640","-61960","-55678","54176","-2400","-71324","-72710","40696","-49984","846","-42860","-62960","-8352","10580","9224","98400","-72840","-81772","-59044","44800","31488","-304","182070","58224","-17568","149947","61926","9892","-109720","15536","191140","90500","-58400","27542","-62112","151974","-8464","157330","-146990","-20644","16160","-273672","-401276","183082","-97504","-127930","251320","-173434","291600","-18120","474356","-333390","-182860","-266200","-37312","-110830","-33472","-186012","-364540","30682","451252","-425862","113192","-48676","-131280","-377281","234292","160280","509420","294132","-366488","330608","467200","-180800","133812","286256","30320","-35876","-439400","143970","320320","-283202","121670","614888","-99536","232650","-208350","-317862","-710224","244194","453826","795600","912416","-590592","634030","525336","-496080","-1145942","19192","321150","-401580","-312544","-875972","-1363260","9344","149178","400564","-141044","-996404","177300","16444","-159412","310320","274623","227432","1417778","-1283560","444622","-279430","807898","-416704","-1003500","-297356","482352","-277872","88998","-1417752","144720","190440","259572","-7970","-623932","227260","890950","-312408","427590","-1422080","507188","749116","-553230","2319984","1284264","800044","-26522","1029160","1821290","700680","-1001254","-75400","-216778","-995008","-64009","1185264","815648","31800","-772200","-1872264","-690970","1643040","-273720","2137200","-1085750","-437680","-282440","-169392","1705842","-2187340","-1018768","-1308864","-430469","-212484","-618868","303160","-991176","82524","43600","-812880","-626308","-3344184","-381370","262272","2192800","460888","-883212","-532320","-3037844","1056068","167800","-1006008","1096478","2672990","-2514888","-511920","1225650","911144","-117108","1562432","-71944","2203006","-1144080","-366592","2337336","1904800","-2223312","305712","-276058","-1553038","1002732","1448880","-1312508","287488","-414940","1384840","-654412","1114260","-450856","2358944","1218870","3873596","-500104","-327980","238968","-826674","-1372880","121920","1759432","-355290","-2622792","1744780","1514700","-1115964","2624198","-103648","-437299","-72372","838730","-1952924","1911512","-418830","-1060736","-3777520","-2350070","1240156","590364","-1805260","4624120","1891922","1533980","-3034496","1066124","-4729244","-2663388","-430928","3192750","180300","-4444264","-3229200","-4849134","2413272","-114096","1163448","1925946","-3363180","595862","182144","-1050060","-1066464","-4890928","-1876576","3621744","-1806698","4752560","4529840","-3509150","981600","-2740952","-5528496","5147696","-4311104","2077540","-218560","-1959210","533746","56050","770832","88630","6819476","-2208084","4083600","-396750","-5325256","2545304","2216620","7478088","-6294384","9358020","568512","3766976","-6682800","-1292410","4721064","-881540","1000374","-2790096","2577600","-985725","522036","1003400","8894088","822522","5083500","3760626","-67712","-6148534","-1534496","5824188","2245340","2420778","-2697744","-4231980","-1257200","-5086782","-7108400","4370126","-859328","-7383030","9578300","-2390712","-1353600","-208776","-5672854","1687390","-2895664","9062620","-2707020","473984","-3205960","668210","918578","-699204","-1959976","4892672","-1882924","271940","566528","-12194044","7852220","-3941100","-10828240","-4237122","11381432","4337716","-9754320","-4435768","1893364","-7490080","8096472","-3026184","-2265178","-2981872","-5477472","-3068930","3458736","2789726","-306000","-4216106","-2179040","-8112720","-2153600","2843624","-9513850","8861196","-5466720","6471450","894960","-2110816","7594160","-4378308","12759760","-882690","-2234720","-874966","5234050","12929444","1326880","-10638951","9022104","7473624","5777440","1754608","1356904","63720","13015936","-5205518","-11719778","-5058014","10191056","-6251050","-9850236","1103616","12055200","4165200","15976728","13825150","-795616","-2842336","833560","1211880","-4168304","-2338590","5655694","-7298066","10849536","-1559200","253340","-7114580","-9361280","-1521260","4580620","-5144246","-979232","23568996","-3516334","-2023834","1069440","-19849806","-1545488","883430","-3707312","4572952","-11362880","3998396","8834240","5043470","804676","-14073068","-6805100","-705202","-9010836","-5007792","-2826160","-11318230","12779880","15802328","-7593376","5494460","-3319956","-3312584","-5269440","-2599660","-715208","-7534840","-14534284","-3788696","-6385080","12996138","-7514624","-19627000","-9670018","7863784","-9923200","-3493730","23218936","13420760","-3465360","-14245806","4479224","12946388","7619452","5464390","-13120516","2899570","7151840","839523","-3922936","17951172","-3677552","23087034","-9898120","4601220","9046240","-10991910","-10200734","-1621216","-584160","-483448","2638848","1637890","-1848192","4739040","-14848560","-7092968","-12941944","2750952","-3337688","3009208","-1904400","-15107716","-3760134","5326980","-746364","10248188","-734300","18309060","1453632","14201320","6205804","1745358","6248940","9187792","19119696","-4813298","-15453520","12487252","8214840","9432992","2452176","-20163690","-26557224","3886563","34979392","-1967440","22594052","13373940","-5223792","4977372","19192640","9403516","10363120","14793732","-17532216","3700356","13789260","-1479160","-5359792","-15405480","-18619232","-10303382","-10898420","581256","6006616","-6769290","-1056942","-5880112","-8299440","-8481808","-44352560","-30172450","-22496148","6446526","27751340","3261276","4887808","-11987350","3011368","1083780","7864616","-11304758","28303184","-6928710","1453120","-9167166","7910520","-6641302","-6015840","5660300","37272122","-10030088","-21162960","12691783","-14656828","-18495460","7174272","-21225776","-435792","5139780","2374880","21056900","-37339488","-14540518","-9290040","-16978824","-2857156","9800120","-3152640","-19322238","18002220","-7024500","5429656","-984000","-22785816","-12585340","-16896360","10613512","-8779302","-13975430","10761652","33898664","33542720","-2487906","20899888","10979506","27258000","-15032940","-379440","20415748","-35906474","-43155090","20663840","-1049504","39614912","446476","44754096","2750760","7159520","-1348948","-11550400","-27045676","-5273980","29978080","11681996","33261264","-7249880","31387668","-8586560","21324390","-6239660","-15653084","-13450664","-240528","38394352","-30775680","6439520","-9224136","-1682220","11346108","3085664","-2787608","-10761552","-13900718","-15255600","25314994","8176306","-15264920","33947896","-19692410","10372410","32142084","14364672","-1993830","-12688878","28002540","9235440","-12745754","-6476660","-57965612","-17431600","1597580","-12920","8219052","10668324","27849650","-25125372","-2033736","20446464","-6207444","38883900","36263050","-17419984","-5346664","25420370","-19341918","-31129200","-13023521","2458604","1991860","-18634680","-6632122","-26073528","-10608570","-3521024","-14360400","-48600088","3822064","-10207856","53647560","-62701024","-26936462","-27733440","15996332","-39114364","-54245586","5920416","48211020","-17891400","-16095116","19053840","2821530","41352786","-22805466","43576280","-14272194","-20236388","3898730","10913120","34183920","-21616230","17119040","-70545040","29143032","52162616","-38685132","-907520","19377996","611408","-14040960","5636676","-21596700","-33480620","-635720","32437440","-21636760","12736800","-38205856","30240","9528910","5931148","-14301340","-497088","10463104","-20779090","16095354","-2608732","24495120","6443272","1236508","-26930640","27609948","23857534","25346700","54498976","-17653936","8110880","21654250","-20671104","25451354","-17958968","1191206","-895760","-567088","55017990","45935860","47453680","34381750","-10851564","14473080","-71340488","-14671040","10245952","8483794","-45439360","-11537140","-13144406","-16121772","9878864","62442490","1347080","9121912","4346320","18940930","19317872","32986118","1347892","-6673790","10233256","-1263040","-6089472","24710096","-36981470","25884112","-7066384","-15530","-30888628","-31947618","2889600","-3949985","12898248","-19489410","-22833040","-200708","5992980","43242854","-27916512","-36261810","29379628","-4728202","25987420","-63886562","-69841328","-37916448","35585040","-19268644","35557740","27490080","2355360","24347270","19193768","36043396","-32096800","-8238852","79172504","-61951960","-79304920","-27315372","-5951220","35001990","47885760","7477106","-5675112","-4149808","-26414740","-35951806","-9159202","35391980","12299904","6900504","3661338","-59250588","-21922776","26694720","-45575622","-48789528","25187280","14302358","-6931664","15085744","10751024","-22008600","16049820","-5277582","-70451200","-8474580","-38576056","66531140","17837732","-70659596","-13467388","44255200","-15043040","-10667948","-13324090","11151950","77360464","-63301570","-7058088","-38973500","59356960","-37286836","8077020","-12501180","-60924432","-45885814","79444360","31401118","-1819760","-30860740","3166978","-58814280","-1967920","-38745762","49736840","-20596188","32759392","40983396","-13818900","-18304034","6932284","-60476730","30217688","16686712","61212240","-76563076","30601480","85314140","19683360","53736718","-26092880","6766968","-30953664","2187240","2546680","12029784","23428040","32273694","-26193992","82237860","2383840","-31490522","66828432","-44679500","-26841444","9095990","72481792","76508448","19916160","-4913483","38537388","52416690","-1901608","-8339798","-10876240","-8047568","43205880","118792820","11724024","-49070474","58713920","-53848762","-83888858","-37876320","-8635104","63614548","9955250","21539284","-12690304","-87651400","-23097226","69662852","-34781040","-29558174","3890696","-27373230","12156984","8850170","-18265584","13025192","33593120","104291190","91368000","27832972","-20577000","-29917090","-29444574","-114248290","-19500640"],"derived":{"al":[[23,1]],"fricke":1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"label":"23.6.a.b","letter":"b","dim":6,"charpoly":["43074950","-9385685","395038","25977","-1429","-20","1"],"traces":["6","4","16","112","42","367","300","393","762","-10","-58","-907","792","-2984","-1160","-1904","-400","-2981","2738","-7124","-4848","-1972","3174","-3644","9966","4511","14596","9570","11244","-9454","13748","6600","18440","-16226","-4296","-10553","25426","-8028","-5892","10230","-14268","-24272","-18082","-51146","-31830","2116","-23084","-35209","37422","-67436","-71584","36807","17522","43193","47576","44946","-28360","141001","-36392","80484","27062","48971","-82284","89451","7108","15106","37138","17260","8464","248380","-158556","-101169","112228","-66878","-321144","157816","-89760","90181","36844","-158530","95134","150039","-76350","-293234","-102132","-100578","-55908","-219028","16100","-196828","-250592","59248","247588","12887","-190096","-284201","259432","-325816","318110","-20388","328924","648764","-285656","563432","783448","-327658","-223070","226123","660198","-78848","-578312","68596","-140940","160754","22218","500409","350796","-606028","79696","-405246","-466646","564374","-268092","461121","926772","-1548884","553756","383572","825952","-1445798","-440444","337384","-12840","-333948","-736704","-1547540","-106064","194143","318596","-803204","-611196","-432697","-221100","-1410197","435284","85925","1011720","892772","-520942","1781917","-325428","1604798","-80800","-255796","-500560","403935","574306","-218382","-904592","-1116500","158700","3307448","-127664","1343859","-931064","-1438966","-460120","2318954","-24194","2809772","949490","-1938822","1104968","1565387","327060","-1734548","91040","-310090","-202896","-356756","-1196978","170180","-669008","207897","997628","-1270661","-53684","-909947","-2192368","-2456452","-6348","1872840","1243608","2214162","-3324688","219480","-722188","2349050","-1243756","-724377","102824","-1990056","-1493344","-1256378","-1869236","-845688","403098","1415643","-1128500","-1603556","201104","440670","-1517748","1397864","781120","-730996","3544368","-775364","2556276","2053500","-2527472","622318","1854168","1836358","67122","-653790","1915742","-753514","2061222","-5290","312296","379768","867840","972632","3333456","-3608568","-1278200","-2543660","227732","2097022","2202144","2132448","4184764","1301946","-5342214","-3408859","4715380","1331924","-1816128","830220","-573222","-921864","-30682","-90831","4028808","-2355616","2048164","-3246144","3621064","-1473864","-1734768","2815931","-1547792","-1021458","-1914284","-2715664","-4949016","421290","-864828","-4564962","1538760","-3988286","-1893040","35626","550002","-479803","-1272476","-3573147","-1913776","-1673256","-2648780","-588953","3351286","-1038135","-3777856","-4638202","3757936","-3803259","3784298","-1843594","590176","2009089","-138814","5908787","3708488","7365450","2471736","864314","418968","-1219277","-633928","2990439","1333464","4613888","2308708","2545966","735988","-4989868","-9485584","7209018","3623548","-6522740","3167376","9262992","2201808","-4979278","-8159008","11505254","-2107284","9569458","4427624","-1578536","-6059716","3530660","1703272","248129","4457016","4709732","-6985168","1843552","-3514556","440064","-4241918","-4010832","-5519064","5531660","2526668","4170371","472704","-4044708","-1924600","-2354010","-675864","-5621418","-613640","649936","-1043172","2452113","-2548836","-110304","8991780","-8170006","1137816","-8004112","-4581760","12576266","-18699800","-18850831","-3968668","16204272","-764654","-10590050","-926920","-1049574","-4748692","12225050","-4043628","-1007216","-15357552","-2347736","3246848","-6457797","7299186","15823432","-7089040","5846564","4401908","-20019728","-5263190","-8883080","5732988","-4341270","7568968","4790629","8986256","8046905","7451510","6556376","-10151666","8436230","-211600","-10686795","19380932","2346265","17768160","8528722","8803512","-10282738","-3117696","-13880504","11092392","19892966","-9889892","-1627484","-10050550","8554780","-7530376","-3217274","10642192","9454706","5980728","4532478","7404544","-1576949","-14465512","1334877","6521676","-11759912","1278106","16991540","-5153158","4666360","-3951248","-23692668","18409480","-9837537","-7851616","-4994328","589416","246344","12023220","-12111271","11355952","-6997136","-10249568","9017880","1448402","-1666645","6991588","7605660","30304170","-9066484","7053536","-8100420","-15574780","-10780644","-4560640","-6403298","4638120","-11778431","-15107628","-6146952","-2689316","-20927978","-337368","-2812072","357296","28249760","-278568","-3768596","-19959020","-24506556","-15755728","4021173","26720056","-13912461","-15301070","-12778080","-13065184","-27355998","16087096","-4953984","15702788","4810382","-1532922","20531528","6001682","9253583","-25932112","20448044","10497764","-4237828","-2564592","6040848","9843532","12408976","5181892","-21904884","6443828","21185078","5412224","-9060941","8881832","23896522","-10116688","5401531","-3532864","14124732","-16452872","8991056","-6286320","19346066","-3434228","24903888","5709308","-1043188","-13540052","6866311","-4433940","-31621524","1448704","-13309479","18922664","27317323","-4527048","9055584","1379208","2961156","13074200","19735654","6116800","-770816","4712202","-6585279","-14377088","35775554","-9324264","-12666202","1679046","45469756","-316232","10189308","-8863204","-10790252","-1292112","-15900532","-917220","10056209","10225878","-15057732","876092","-32660976","-15876856","11610596","-3712492","-32414864","-3461444","1706218","-12571498","19288268","-3042676","-1927676","52640","-20908891","-3819544","-11437777","-8358362","-34540474","-15710508","-12434708","2462920","9054442","-21999138","20839687","14522108","10886280","-59180276","6836368","2141984","-3732292","-11590694","-24076632","-43216216","19977020","5272014","10865505","9758012","-39833564","19348236","-13566936","2497904","30450040","1687712","34563480","24481324","1206488","2080972","-24926275","-9348520","10017432","-7156164","15336258","11901800","17804126","-30760672","-3643250","-4182216","2386319","3603880","-36172744","11322532","-5786008","51674410","1023961","-22283806","6864114","22498480","15541776","-43957712","27027340","31115196","46374682","-10298578","-7959872","56588016","10531144","12524484","-6503836","-63959834","-17025516","7721284","47923139","63073656","-2940987","28538226","-62356802","8767344","42789080","-6234932","55970248","27137920","-26424904","9179904","24628356","-6974784","-25610530","-16077424","-17774822","-19607016","-19987646","-33308304","-34707050","23424454","5062530","-5399680","-48368932","53516604","-28860279","20239192","-65634859","32160216","17381691","11876392","40304240","-60669576","62781187","48438592","51732784","-19589646","-23102972","-7411714","14051617","23100920","-21189464","-31597456","-79329452","5948076","3882620","15416488","-11335440","-1809016","-34120646","36788348","26340782","-3992764","-1734745","4713626","-70369580","-22754928","15769096","-30926368","-23580646","65991988","-30748022","-14522844","-72839800","38554968","-41443094","-38837836","-5001166","-11215616","6306904","-34314264","-53445760","-10216920","-68166124","-3785848","-57139839","21558860","38313910","-31272650","50916331","35222496","25145004","-78698376","4359981","87418360","1154156","-61413022","-13169046","-18355484","18186098","7272692","125044612","-1500536","-38516865","40701516","664542","-6867568","62357480","12804056","54233276","38764392","-21366072","47300084","-40304445","9617380","37249922","2359494","-59652770","-26693260","8439878","4395930","118660100","45303896","3491400","12697636","-78713688","-41280952","-55629740","-7621096","-66386464","15791432","66967234","-19779868","14446406","39362514","36949520","-12494872","94503876","-71374096","12685511","20174448","8856393","46156736","1297970","-41589114","-9660766","9754760","52260660","28703704","34971689","89936","58189832","-70450476","18882020","-35119792","21071577","25167136","-8049640","20795356","32774745","-35582186","58435590","-61108572","-5331644","36442696","4529988","-1022972","-11766804","-20075160","-8583554","34446612","-67739956","-83095148","-13071569","-61544754","-42101035","18944680","23203484","55739840","49265666","-26026660","109287343","62558944","-84388996","2992422","-25609824","-27530376","566860","-112914364","82625352","3615876","-6463280","-2272584","46454225","-19301644","-67598142","-40609860","-67247986","5847660","21830982","-20864032","-60074848","-36448424","37912976","-40957508","-34185759","-74499224","-32593088","-34393596","-93863796","3411900","4053530","-20071240","5773720","42096890","-5582537","-61529616","35994492","15122972","40388220","35337728","46692217","-43916672","-87040460","-30674588","6945658","18934136","-64347824","9806638","30431360","-25631584","31159340","84464894","13763390","-31274660","-80711598","-55394536","-31273886","13450354","2627563","82288148","34951304","65290688","-11621134","8624320","53595142","39992544","87829896","38376096","5179372","-28735652","-14164039","23655500","-26412752","-24082184","28194870","40213640","35365882","46779020","114988144","-774344","-4246812","-68032656","-6521691","125441920","-72059575","78688664","23601368","-116915036","100799675","6071008","-108997242","15679920","-35909193","43936460","224478","46839008","172347200","36141830","-39693956","31811672","70596994","-68124872","5798580","-3116868","-50172608","-13226260","53625477","187608820","-92279762","92451328","54458920","-94903060","-170266889","15218438","-4949288","11424508","-47131516","38165276","6387922","-10951404","36876946","-1096304","114267036","-101836480","-50343372","-54355812","5411670","-124278864","-34858007","18959988","27773844","121964446","31650332","-130357616","47363955","65548196","-93144978","21681522","-66585409","39914468","-5815252","24837648","-125571034","85487292","-141053772","-60023960","52156068","24591594","105587656","-7547772","-65541572","54728392","68578572","-69332328","32172690","84059548","-178821268","29859880","-170989044","-59738640","40660796","-25514904","-104813203","5767560","34704488","105825272","-169696442","18054450","8410326","-43114238","-44197206","-37439668","-12839888","-4047372","46382445","-60246640","-21999308","2311862","49447256","92365024","-103605947","-147254452","-46536078","-4357104","-183519183","-127252980","-70947484","222711822","-89521207","-28505300","94686696","137991636","-91055804","57287352","93645282","-9565378","-148060808","-15296712","49954923","39620492","50435032","108184408","-59776814","103701120","129231051","-51156640","146768100"],"derived":{"al":[[23,-1]],"fricke":-1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.214,"computed":"atlas","estimate":{"seconds":0.31,"low":0.189,"high":0.536,"bytes":1870410},"url":"https://sagebrush.space/atlas/mf/23.6.a"}