{"label":"8.12.a","level":8,"weight":12,"dims":{"new":3,"cusp":9,"eisenstein":4,"modsym":22},"old":[[1,1,4],[4,1,2]],"T":[[3,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 2, 4, 8]: [2, 4, 7, 13] (certified at ell = 2147483647)","T = [(3, 1), (5, 1)]; h of degree 3 = 1 x 3 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"8.12.a.a","letter":"a","dim":1,"charpoly":["3526","1"],"traces":["1","0","-36","0","-3490","0","-55464","0","-175851","0","-597004","0","1373878","0","125640","0","10140850","0","-7297396","0","1996704","0","-32057464","0","-36648025","0","12707928","0","-13605402","0","233160800","0","21492144","0","193569360","0","-257786178","0","-49459608","0","-221438598","0","-1697758892","0","613719990","0","527509392","0","1098928553","0","-365070600","0","3277379822","0","2083543960","0","262706256","0","-3001908988","0","-11630023610","0","9753399864","0","-4794834220","0","-17189000548","0","1154068704","0","26169539608","0","-7039021094","0","1319328900","0","33112229856","0","-4199910416","0","30693991689","0","-39739936436","0","-35391566500","0","489794472","0","10565331594","0","-76200769392","0","-8393788800","0","25467912040","0","-69851645662","0","104983750404","0","74519412606","0","78664150648","0","-6968496960","0","78848972820","0","-70868029994","0","9280302408","0","19681604562","0","111880549360","0","-241597820178","0","-562452104400","0","71102105405","0","7971789528","0","298311763500","0","-190251579008","0","61119320112","0","114524784988","0","404742771744","0","-44350668720","0","117101162394","0","989560526196","0","-18990338112","0","-820210661512","0","47482852980","0","-39561427908","0","-797579218418","0","1183229001992","0","-1783278613350","0","-813731192000","0","-753512032922","0","-117985673592","0","1778035183296","0","834305483964","0","-75007582560","0","-1015135845576","0","95380364847","0","1283254383996","0","2894963106966","0","2032646058600","0","108068723568","0","-4092633678996","0","508615079022","0","418680849960","0","899673761220","0","-6054128013400","0","-704832518592","0","2999513064000","0","-2181925750462","0","172614031920","0","-4774752410466","0","295210163608","0","618804019728","0","754610016528","0","772820707020","0","5637337101864","0","4356574601584","0","4768855897804","0","-942103425888","0","5925178533080","0","-12932030611200","0","253404759384","0","13932290716300","0","-9214548039008","0","6444591844275","0","-5854438063236","0","-14027335387394","0","-1192040274816","0","-5296101013318","0","-1841007778080","0","151196774976","0","-13164628430384","0","22589663991378","0","-3356155022220","0","-3835260649970","0","-10025731821688","0","1430637711696","0","26118547450180","0","19138434237856","0","1274096394000","0","-12657981060350","0","14297852576592","0","2392523547102","0","5370231542360","0","-11438055578780","0","-380351937384","0","-8601398737994","0","-6013709361616","0","2743227698112","0","21879017517100","0","-26331197092466","0","-41001559840800","0","-51174845289782","0","8948955462308","0","-916844833440","0","12281870399472","0","68564942414867","0","2514659243832","0","-26847972185154","0","10476662368120","0","-7586683847712","0","-44043044525392","0","94164499185888","0","-2682698853816","0","40588782398900","0","6624331875564","0","-2831909423328","0","40285233723624","0","-21542297569494","0","-34039365525360","0","-2794787240634","0","8122479415608","0","-2838563021520","0","-74001798226600","0","-50349915290950","0","2551249079784","0","-29257780917888","0","-44856017296972","0","45331957187478","0","59989611912520","0","-52342753988238","0","-708537764232","0","-139197930243200","0","48719477210160","0","-4027699776960","0","162474635223396","0","56070596402598","0","17459142704784","0","121433098473250","0","-91331693231920","0","20248275758400","0","99308194169208","0","-63238270517403","0","-2559675794580","0","24566183618060","0","58096458156880","0","38940198896898","0","-181776594447408","0","10633630708910","0","-10739223486000","0","-18692162488956","0","-194563767957820","0","6849056844288","0","-219102152231808","0","-115561682197440","0","298552598917092","0","258688254353630","0","-325089933804400","0","-4122892259568","0","14657687351840","0","-253970045277898","0","-14570739782784","0","176194300155186","0","320334493582400","0","-107122030994610","0","153899379410712","0","254652202822986","0","-4215641846184","0","166497880110432","0","138692378161640","0","-35624178943056","0","-10976383980612","0","-306791483729602","0","-92763054092592","0","-371642124321250","0","645047629505040","0","29527583814432","0","-194136614783984","0","-197020802576750","0","-1709382707280","0","233936009563744","0","-481833288711576","0","-193247684973603","0","-472499076448892","0","-36873007263060","0","28712851863048","0","-35241370012606","0","132199728760392","0","-42596244071712","0","265940685178080","0","541522131945818","0","128869191658800","0","-263903025105418","0","-34496762783632","0","29294322912000","0","-588837802998324","0","953370726394272","0","27126433185192","0","1013568849559568","0","267435151042900","0","-576330519078522","0","-173689784193632","0","-354166758658284","0","-64009266598656","0","243782243360380","0","842617287500536","0","-30034997422704","0","-538407736241004","0","-137970340871700","0","-366393288909960","0","-1451467344818112","0","-136233889206996","0","36544890440736","0","488252435324712","0","-260072749994940","0","-3433693134492","0","-488013674701434","0","390412265957616","0","-92734782955488","0","-274537885761520","0","-314925217061568","0","-104218671850776","0","1107897067126810","0","-618140078509580","0","-73175258109600","0","2364448698680000","0","74871240197369","0","527888697448788","0","-304229618143044","0","-275182915141800","0","147334812443856","0","-656064741855212","0","761294937204198","0","-18310142844792","0","247329424679060","0","-565709123299012","0","2045151281842110","0","99284006133192","0","232943831313024","0","-32388255403920","0","-1880894854259434","0","-2332513591023176","0","217948608482400","0","-176230678421524","0","-68688799921380","0","-1702411555038696","0","-491855357914582","0","918553298629380","0","-107982470304000","0","1174842742108600","0","-1538421618029374","0","78549327016632","0","2204135834486304","0","-1956608863253288","0","843176392421220","0","5660273583284","0","-1701466689276800","0","171891086776776","0","-411514325733262","0","1962957844356000","0","-10627565889888","0","3353751804185160","0","1025019084513418","0","3022702935366348","0","-248146347863450","0","-1990791782045920","0","-27165960595008","0","724733548462176","0","-516975009730690","0","-27821545452720","0","-678132802269894","0","-655793062849004","0","-407383944374592","0","-585995551529616","0","748346291088125","0","-156836685657024","0","-2614170963171300","0","336387833915560","0","-171678812320944","0","663978010737920","0","1509793762538534","0","-4601939709606408","0","-2680164396379006","0","163908120381276","0","-213306427190880","0","-3113190842401064","0","1792151673471952","0","465553102003200","0","3156735277314102","0","-399691499608120","0","1237818898400994","0","-2219965096229364","0","2945325261081614","0","-501562465786800","0","-1412552273386560","0","436154684820528","0","331723729404288","0","6943170615264440","0","2039719577287138","0","-465720463042200","0","147928819164734","0","3874251674997168","0","210759770276496","0","-4940163148028716","0","-408683056755060","0","504984073946184","0","4502720035089716","0","2964030774710636","0","-5822818732407456","0","-3453566236424040","0","-2245575606528300","0","190659636479448","0","845017864698822","0","1881167824192488","0","66276280010880","0","-4133144700779184","0","-6161944565636962","0","738558446564016","0","-7474543952211200","0","2862535208676880","0","473926623493824","0","7674671417903984","0","-4363028451540672","0","-813227903689608","0","498611112631050","0","2553817398932424","0","-5316526964931363","0","-17216718259938200","0","10663897197233702","0","138069383398920","0","10261902083158192","0","4939672509585788","0","360926345580768","0","10483772357498360","0","2783551472278820","0","6988307562207036","0","-4373279428488480","0","-9786966289594416","0","-940267708206480","0","-4129469216952080","0","-493316791880914","0","-688983632562816","0","8971679370118762","0","3930624415587216","0","6223642360591500","0","-4124256716615464","0","3726504971788802","0","455687318172600","0","1123373503759710","0","-8544882827420000","0","-514722692757312","0","1615925139290808","0","-15623319824134432","0","-172896469027056","0","2629756994897780","0","-13968284524139636","0","-193328335524960","0","-1091620515426768","0","-15978233577259580","0","411770000836080","0","17722640561243366","0","5349393617863200","0","-1857924126136494","0","4202323749202376","0","-6205342789703040","0","309650354567784","0","-13527097038061958","0","11163406521710164","0","216493537018176","0","-2911726139034360","0","12389218947445232","0","13399981498352592","0","-12963905005939218","0","-3202381470941464","0","-787644630615600","0","9928785760151044","0","11793494274289990","0","947923095328776","0","11144069616690050","0","3542824101060240","0","2962990658822400","0","-290602147861224","0","-12015402802124225","0","1842294430432152","0","-332877473316030","0","-3943607174182920","0","-322162396643088","0","8263971120932592","0","-15798108662290354","0","-4478557800146040","0","16482619724756106","0","-62183817984156","0","-442147334380992","0","-17713423825522144","0","-10103421243311340","0","-2468337926935212","0","2507363317993664","0","-23615589694885144","0","12283481741308362","0","-16545563650764000","0","8215556356233942","0","966526998665544","0","-19185753602969390","0","10441168811139500","0","-377159845252320","0","9339120463680424","0","10552113578099712","0","-18324435814299756","0","-3849444927143232","0","14283291539696040","0","1585549602914112","0","-3172246414641600","0","33235417167928700","0","-3389921970691968","0","-1775066625786780","0","-13597564581061004","0","-13104313226177706","0","24491838693488048","0","23724901012037744","0","-1461196166360400","0","-6352002674574432","0","19471493195311624","0","-238475947520304","0","35953754737559824","0","9447354295998450","0","-13833169555601448","0","-37246532785572638","0","-8019316826947988","0","-1450268414050464","0","21128906766766000","0","-3425214069982470","0","775522712501784","0","-26922797018900586","0","7098759883595472","0","2459865489886080","0","-28732237659322260","0","-9670756222582532","0","100612340662824","0","-17745400909311318","0","-10468300593360000","0","-292409258961888","0","-6494898871020816","0","28955481760235169","0","-13865670719369820","0","7614920869112380","0","24560234585384600","0","2664064736157600","0","-4691582779295436","0","-54884985024934944","0","1812596950474200","0","-27787204933173774","0","-6307545222944376","0","12462213942474894","0","-10951940338723128","0","16663885912526340","0","1053280113043968","0","54425844560969888","0","33627950376561568","0","1614816622690992","0","-1030283470991920","0","52710991601358334","0","-3275928189419184","0"],"derived":{"al":[[2,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}},{"label":"8.12.a.b","letter":"b","dim":2,"charpoly":["-38324700","-7924","1"],"traces":["2","0","56","0","7868","0","91056","0","540202","0","159080","0","1050476","0","-10494832","0","1430884","0","-21866600","0","40052544","0","35806736","0","61878094","0","55209392","0","-228827700","0","64722112","0","-614344864","0","-91821408","0","75558780","0","875909072","0","1201214196","0","-45519832","0","1525107052","0","-1229079264","0","1766069074","0","-9624987920","0","-3808549924","0","8051409968","0","-4708125536","0","-6012926584","0","9789792908","0","26694483312","0","-6025376344","0","14703095224","0","-21086664256","0","4319991088","0","11055639476","0","-82574103416","0","-18746968128","0","51957623264","0","-9747960302","0","-108227975912","0","121609729720","0","46772044368","0","71188291860","0","83378892576","0","-23754095360","0","-36872875568","0","-1699807676","0","8314917256","0","-212329635588","0","53349772784","0","-342873003648","0","26814304680","0","-127587295828","0","-70715133552","0","332100306852","0","405934733792","0","331138379740","0","-340786925472","0","-129142338950","0","611436991152","0","870929014872","0","-823201889536","0","288079656032","0","-662781742280","0","-1167568715712","0","-795622336864","0","724095129396","0","165107200104","0","-763418497152","0","-503066689552","0","-1538358811416","0","3464320916728","0","1675511791132","0","-270119304944","0","-154759750348","0","561412562560","0","-236877208372","0","3031984663568","0","702460456320","0","-1324813439496","0","-3061198113472","0","-341251547280","0","-2230092909474","0","-6135558727816","0","4441863861036","0","-723695118384","0","3677892377312","0","-6533832411816","0","-3667253267748","0","4371485771600","0","1171217593224","0","6811694015056","0","6058429496448","0","-2936128824192","0","7137269636740","0","-2466592883104","0","1275766690620","0","13646086326320","0","-18623380086752","0","-8184540286944","0","-2208059276904","0","8434437039952","0","1099162126048","0","-5752140242920","0","-17826126917312","0","-3651325555024","0","1872883106304","0","-2600823044176","0","-8410915282664","0","8896890986816","0","11992160424806","0","16491278316408","0","24299693438972","0","-25714614003456","0","-2238884610700","0","3912853508544","0","38398320055424","0","-5699035616864","0","9742362658980","0","8101069549160","0","-34030736054756","0","-15368045228528","0","-15131567706464","0","-6343073559032","0","18155920016192","0","-42283303109600","0","14602375927300","0","381147401376","0","-58828554279492","0","7619775691184","0","-52646324138296","0","83034353081904","0","29640911935852","0","-20567869925792","0","60571855333248","0","63346319800024","0","-56164706792164","0","16049793561536","0","-38635881926252","0","-30752464743224","0","100006239777472","0","78956605649376","0","37094452017190","0","-57373036458128","0","-48830977162884","0","-69809905041424","0","-54098773868608","0","-2133553311904","0","10080449964480","0","-88660990026864","0","-10655413542040","0","-73240201074600","0","46338754037312","0","27622344086736","0","44631890462292","0","-43857966358752","0","-10775090373492","0","-55054154695824","0","169095190531680","0","28689312569264","0","-47422015829132","0","241508378787536","0","-86575700397312","0","-1002863210264","0","16329978390828","0","286262777647504","0","-11348660694300","0","-176618744654352","0","22865452734208","0","43782710162016","0","-267369971198848","0","-224147225740728","0","99094713957708","0","109010541349664","0","-48817546834364","0","232359884953504","0","-422741347808640","0","-262744432397328","0","24881293179594","0","-102054546954920","0","78417457092632","0","3726324321440","0","356806123198980","0","-41573450359392","0","142428751825756","0","-115592602547808","0","-69775102962936","0","222728670263560","0","308327243076608","0","-49742519904000","0","228525814134912","0","3908883691336","0","116069607396284","0","264711715817248","0","84420855282208","0","-238920789327808","0","-136601974467476","0","-629199559129344","0","-60229554919836","0","9757646520448","0","-256198763054948","0","56481675479856","0","-222277538524524","0","943235203959216","0","-112213840006464","0","-280554644666672","0","-1311542116865184","0","-445815337292808","0","296745116667004","0","-372799777840224","0","956805800407100","0","617799297462816","0","-271772399616448","0","236925741868576","0","-162825535809244","0","1392092967668064","0","-290162383821632","0","-121726444554288","0","668249797985210","0","-420128781599096","0","-692438230740648","0","374491799636752","0","865989310813316","0","-304872897459312","0","1375280105708992","0","-370834392699456","0","-951225397441868","0","-874060990831520","0","597855366290924","0","-731378412576032","0","-431611445619200","0","-24233040966120","0","-130070284268736","0","-657681835719088","0","-204143115887584","0","-289816977880024","0","-852930195581684","0","270217825552192","0","-29357236373976","0","-314581031192064","0","681218258721016","0","548662997395184","0","1639269743175456","0","-711159552308568","0","-739324824277032","0","1990642178582512","0","-557097085792128","0","-962253781991208","0","142580959588416","0","2593031199553872","0","157284336361608","0","826780861708872","0","60951243085068","0","381105154184160","0","-990769794041792","0","-328261518660064","0","407438999829120","0","202379138963664","0","-589788926502860","0","522679492438376","0","-2698272110716224","0","323034705358208","0","-718114406991374","0","-1408707241251800","0","1178680579872120","0","-1914645205396560","0","1620465968739744","0","-2226032456834648","0","-260460580547124","0","-2480473017217008","0","-3442898298635992","0","2506183102830328","0","2873685662173564","0","2257908810416784","0","3917153949332736","0","-658533495364896","0","-1717874136886228","0","250399046818928","0","-1020745725673280","0","-3476212548256168","0","3537493246110264","0","318670868664624","0","3264476754984020","0","356660974877064","0","1068189781532160","0","3193405186428016","0","3148692174489988","0","1634938879956592","0","-5435653031320512","0","-2477998535532880","0","-1756141587237176","0","3654204759152360","0","-590353582536448","0","-7313281228236144","0","-3564680588050204","0","3617736001938240","0","-18214468180672","0","444665975212944","0","-3076255737115372","0","2905356984928280","0","673216776142540","0","-1777749594428864","0","-2098883471948928","0","-1336655189781312","0","-823426698118916","0","-4224335420314464","0","-3583040496003468","0","3253959617146280","0","-1099486297178752","0","6644785950014688","0","2084586815483386","0","6470508020351104","0","842378280819768","0","-3697935444747184","0","6211150850466464","0","-7214998985238016","0","4164904279847500","0","161797059464432","0","5199947127371012","0","3030784872795960","0","1279957947112256","0","3227798690120368","0","-3143722425404512","0","102093467105280","0","-3569601711386004","0","-3843128302922096","0","2823157944934852","0","-2280920547182952","0","-420310239960548","0","-4706339955171680","0","2564876293461888","0","-5412334065261984","0","2771443639624448","0","-2060798370229648","0","-5424638676312124","0","-6260710982787632","0","6013066517618300","0","-2485057401287328","0","-3935246760394464","0","1791486473298728","0","-8226936244989672","0","5195517154664336","0","975020465263208","0","-4682056235720360","0","-6474197976509760","0","16443513146826288","0","-5394740516604504","0","11798939545024688","0","5396940102132108","0","-492032024302896","0","3826532803801344","0","-13141005578727264","0","882886589551420","0","16102642371055456","0","1791203276875264","0","1113174031010336","0","9244130146389376","0","2707546389768416","0","4312396792083072","0","4830280429924848","0","-12100680197700588","0","-2632186573017456","0","-16841588391087686","0","-3164536783060016","0","-367182091780532","0","3019406679583504","0","14360785453962592","0","9127166246985592","0","-11836598885529152","0","-8203783040914192","0","2660533752492616","0","-29910150847139080","0","8291266043497920","0","7507088690566560","0","3216406916950240","0","-17656770700618784","0","-17203414995509156","0","-12327201489331456","0","-9388034509658924","0","4484600164513056","0","30288360576763160","0","488031563810480","0","-4122823646171132","0","14183079560767600","0","19742221941554364","0","4416309614561600","0","-1888328040455808","0","-15783617501063568","0","12780943151908288","0","-1290112865063904","0","6880716348880616","0","2722819095671192","0","-34029556344844480","0","7311325534017120","0","9026279495938952","0","31277815181057504","0","6052070166881228","0","7011407375679552","0","23766329350628004","0","2896259561927312","0","6774478522791168","0","-33602368708130864","0","-13835945483725580","0","27242097280001576","0","-45369285003840896","0","-25328190304753392","0","-829585788155936","0","25782008058772896","0","5774950510579164","0","4533363646046416","0","-24077111734231136","0","-9478698460848248","0","8622028636634252","0","-15258534643831024","0","-35699043525827836","0","-3168115621946592","0","-629944952552960","0","22893571708892976","0","4947180236647550","0","-438095963263952","0","-19443867063960444","0","-10014011989217040","0","14877777122010592","0","3154444464570336","0","5226144656261788","0","-4301234467363312","0","18814663312982292","0","-9702487375133112","0","51041553235440768","0","12569456415195200","0","16538209019059752","0","-12790924571040728","0","-21469140722175616","0","-10322618952603440","0","-3669344496314476","0","33772554360595008","0","9168153041332140","0","5875133254314384","0","22928736265523620","0","14760658211973592","0","45391150213054016","0","-34316156995177904","0","-23560905995483136","0","-13356206849773400","0","16781834939176320","0","-47345056023331248","0","3493270326750848","0","-8927733440174976","0","-36697263415752968","0","12602406548836608","0","14106504753320136","0","245465857737320","0","-61982529474856788","0","38436418578175328","0","-222332428057376","0","-36628773032632480","0","-25850019911749824","0","9463640830800656","0","-20949656475760224","0","-14744814681972704","0","9214107512757732","0","16921144761095344","0","3775615403562436","0","-34972976204207272","0","47786051065677504","0","41334882152368480","0","-14168096160996876","0","-1458094925762256","0","-43582013081824980","0","7212089340552096","0","-34700728097392896","0","45165566810406744","0","3047800826965496","0","84446754948423504","0","-4602570950025900","0","-25355547457685760","0","73487546689962048","0","71730945745258464","0","-47990463185289918","0","16669856348408520","0","10856874789400696","0","-22766054080939472","0","103543870334031680","0","-12151501927637016","0","-47761934369325120","0","-19419122101731152","0","-34023897291597852","0","-50499152335963632","0","-20736930098478308","0","-70504037967571824","0","93206898507781128","0","-58661291438926848","0","-7973002783426240","0","14539803656053568","0","-25391663582889632","0","58487362231554464","0","73214282127392252","0","-4798333777659744","0"],"derived":{"al":[[2,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.311,"computed":"atlas","estimate":{"seconds":0.564,"low":0.344,"high":0.975,"bytes":1835022},"url":"https://sagebrush.space/atlas/mf/8.12.a"}