{"label":"13.12.a.a","letter":"a","dim":5,"charpoly":["-1392053521176","-31352452530","-222063897","-427063","537","1"],"traces":["5","-41","-496","2993","-2542","35441","-36296","-200037","172645","-1004055","-1718912","-3670067","1856465","-3264661","-15356636","-9077455","-6022762","-25785896","-6984968","38011501","30001972","35725110","-26355744","88388907","159029879","-15223013","112641236","56979871","-81933754","564471025","-13953380","399845123","-703422928","-86504907","-754497044","70511186","-417857846","-903900222","-184161328","-1116423525","-2690154174","-1731320681","-2194005968","2402296286","953635766","4518855072","-4632149016","5192309977","2068996185","2031214610","4379956420","1111279949","3964085286","12032576291","3173729472","10863941385","-15850418664","16463234370","-6213900336","-4723327387","-13653194690","7267753516","-29514629404","-17414214535","-943826806","12784796606","-11630839736","-29781833135","-10491265752","22288071195","-55420684056","-8164244886","-10807393382","-24555721283","-7282468148","86244951178","-29595239248","13158995213","-4898325368","-19551386423","67432983205","101980594164","-17839206992","115847226287","74975179056","-6756156273","166439707672","-5163165966","65706244882","-197230060630","-13476450728","-91088158752","189811093880","152425406559","51462465912","-181515906965","-66619160654","-394227632340","-35714076944","15962710208","-233387770770","-132743663963","82098995176","-74272337841","609639649988","-368394810180","-410025668460","-445650384977","62798544610","-688381045690","54660915164","-322154000285","197984487882","882072928890","525479906472","-860791491026","64101879985","713345266794","-170863130516","650549528355","928024820849","-431946936284","316189931040","-29824794236","-372930509208","2211291071786","1383547088584","835146974715","-61082350884","-372798593115","-237595445360","624601893214","-156048485080","-687943003202","-1889169922820","275902466439","-1618013815230","-2572803474000","68274427552","-1734921927673","3110473204860","-965901188463","-638219993216","2774344952198","-2168099163276","-960754459762","-1467515933436","-778487347967","-4422971291658","2364092639980","-2245158502088","-221758071354","512432422202","6286319298090","-7078819775152","-1362670186631","5127534742390","1325632381832","-2608306362912","5315925272955","214205107896","-1982131282817","-177075791888","-4826942849256","7279523102896","7482581961612","3040407542572","-4025871673935","689292459245","9442179279265","3727490911200","257240199427","2477056548534","-5909897937122","-9307618939892","-1192244313754","-6524662173168","6776670744150","-1640716774304","19529218165702","-1312396488626","-1212145776673","4806078489536","-2312984321376","5138510432912","-7332007385548","-10586483104704","-13148936435853","1660572053140","-23148639855630","3204632241896","1988553723665","11699542412578","-11596402504046","-5701811450348","9416985882414","10479266594514","-16002219184604","-10486627934720","-10618927801260","4509476403608","-8520830116368","-11128642146440","6698966545337","10246511676468","21779760956220","-31667282480424","-3370395499315","34829981360928","-22530352644865","14250753557968","11078381498088","3789275246460","-10622908178484","5694123639972","-1475892825591","29266628134664","19435544372485","20813164923352","-13739253044466","-2236209371266","25801193710709","-18583682800760","2516086103497","39375341395763","-6826446939066","-10305191263112","-25283757591606","-14479837484918","52646349864240","16384356213232","1368395208954","27804864959878","-9574122683528","-33781990115820","20147034025698","-19437720206912","-18987299027049","-27243718781064","-28362586279519","1578420038122","-8458791324673","-37923485766244","-12946306539488","46136458089918","-36850651716240","-2593469723624","30122179500876","13953742075904","-24346234801245","-32063313657828","-65442380117894","-18181456474896","-8171921317420","-18117026261812","34703662434593","-32822289743434","-29236547278581","-74881696336684","14113404240793","29035825063598","-20710122473037","23592723876888","358682722818","57118244605404","114798887933886","-50067081337456","-6238527630698","5264733700174","73310271888955","-21596735412488","54534807428941","11139522189796","35400833619636","3066540978176","159457044505344","15486643263958","65501173217595","-51272874719804","81459777496305","53085845906834","-107436075756981","-83277715835444","-20839795180083","7493200505496","13264483267230","-94690775523120","39599455684418","-39500872045453","91737794456110","101079785727080","-5830745437694","739895716506","47705448874506","-10420466774112","-12804515702841","-137010923090080","111274186513734","-9785703256992","-240821578564396","105542755823492","-168502788231299","-82440140878200","-47980144266686","-15874055775508","133492624192202","77243319987400","-210518792450774","-5823335226096","-86542140816780","140634375477696","32818182446751","-29876146688786","-161942043152214","-57400474646648","59964518562520","-115143898936594","190910452251120","-64541347481520","14848007915969","-30573152323224","-277661093276016","-254311214469480","120829416689993","59046680863547","-225151697923744","30504484564508","7278319760448","18950519896740","228396259566670","384942327586312","-206275938134980","439655697774934","-110812861994304","13340862230264","-91302470728885","131770434736918","-5652198165809","44854483091424","16474600525857","77298204183568","-446218700395860","429951411595004","120305269079397","486807273786696","458393612720124","-148786253890320","49505209869974","-303954202349366","429165687908020","41822902438148","-305036367758478","-94355680779998","-25203979717950","214781913418212","150314757245690","-81511844067628","149209333695123","-240072806031060","-258793450512510","208403914734489","-591170884359376","528419112982144","21156227243203","-553452870324356","103402136898056","322967598064192","-238991136724512","-42045627238542","-104962171588095","-118670516145168","139239661375540","-634268011094786","-327207515656642","-210085313451804","304739711388981","-30421429323922","-597030760271411","-88623376163168","293546386799514","234050532149608","27493620393222","-301188151216984","-437388092392701","-37396750097616","280185177741408","-516527886977004","-212502606802634","-380167898349170","209584140285325","391040185038696","132680777496318","-623674095983044","-583770301085385","145091416939792","927017241014228","-513912423489698","692133746205290","501361476841848","153018344262116","-346626918256166","-159981769089370","-5180792320340","426630346800012","22583367533978","295824499894314","158820435130864","-135005340623793","148278457900450","1159734974153880","1210137078083808","-263034572602148","-280557476974704","864829711584240","-14098058260224","148459695254039","-574576770628716","77813639729436","-147025605542336","771631662421831","401862682965586","-391158023486501","144812304297996","-237363117501024","-447643515922082","-192664814112171","51403567845968","414167868673908","-261176009205904","731378226775455","904247114022504","-120022601247485","-372887663269610","-585437598087940","-360021861085168","-98061435523559","-1334230618766832","84749933242066","867635550985864","649878476549250","-932756905619619","-32118666434751","-487426066978192","-1346805599156999","-218171035881180","1282406026158289","630381630689904","-1933346282933","-866300307484046","-2555860117063330","504783416819856","-52008681463878","-340365196513564","-1529423957358336","-280139470957892","507063515516406","-1280050168857614","1130378585878511","376171595994988","-2556108810410496","-356103152649998","-1191755359443662","-871857451061996","1356641906072110","1533014484118984","484347540570765","-636364981694508","26180309783498","1201112433373544","2274618002771295","-228589305181368","-523502512402674","473789281714944","-688015674890792","749551592182816","721002233698019","1069904609654070","-554512977052413","2160724599163704","-2142294003086845","-155147693214878","1508603982194770","-242811102045720","-1440825569377039","-151749552806980","-1317836811253864","144795394629412","973073445353160","-2035027397467208","1076670490334790","2671234181829168","2422514461449744","992832743256684","-335611825127046","5221054290128624","-661655199213404","1208316139164036","-2966523137775748","-235764633111128","1148936667739059","-665556984617176","-567106549265928","-5015194540568","199128247009926","1640350652187540","-560441288910816","-68377811957104","588040409220436","-487523920330802","-3051785832346195","1974465223254488","-1727666633178893","-3333982785647112","794458354862001","-1366954150072896","3129181566765267","-738516601152960","4862042270547527","-869825718558888","-414520239867825","262148251685454","753285828423200","-163866789171548","598270713016727","1733308991208704","-4071103504776108","-2807537735945536","-2713529763133514","1984789911290909","-1765517135147160","-1904562533954400","-4181991384417778","-998835413726982","-1454848757990278","232411096287408","1486803035953626","4308955196730500","-4273845363502380","-3639681451487952","-2857981811408665","-1111062730341302","4237191022113591","2171367573433048","1462461869231943","-3649661277942016","-642827249610533","609348519762592","-3278070575197800","3012526987760686","-2615861259497160","-3008448073607616","-979021507039776","1480770913721216","438520533000176","-6556793050278764","2111118573944623","987366765229866","4093716094470976","-814619057876624","2374009057771259","608932891244080","2301238869763062","43770561097488","3566205396442275","253797773700708","4009499755227804","1463598640388144","2883859378850283","-1301160160005002","10872396575730090","-3754087559337920","891955794917798","4582127792685424","2975133800638896","-5032437761469384","-7365691223500922","8632264385401762","6492333296179550","-664624335543432","-246179002454442","-2952511740125248","-1406251067926954","-962737153559376","3555960981242646","354078284465438","-1061193728244279","-2188213239933680","1504937949971322","2819984720786768","-6544075981812870","-2760680113622988","6850636884050029","848320063831954","2726550237148682","211406415907572","-6567751178472558","3393064457944600","1677819256248096","-1203408431501680","4589173721485020","-2185401493368434","-4054697356876935","-2331097633736912","2470627806367225","-7434477177665990","-609343107033612","256566508327240","-1496913881390586","-4139766832767280","1923181458405120","-1719884504597688","-2753151571354610","852985408893526","-2566751795116894","5491043154526824","-4226211752691786","-6199800479379494","-1992037513026084","-1917961991585048","-4278660258814604","5496174327591192","-7115311072779174","-283558463595904","1927868348290261","-4880919362887159","-4562999688622785","65140610507424","2546915332032694","3636658472417816","13600653769890850","-3903380636118200","-889615179853944","-4026890961539140","-3176148172921722","-12713219838569384","-7470504182925744","768203800517205","-6379736512094572","-2573894614446900","1919433332109075","3527550976682186","330123609135300","-7242951300085736","7590570951525120","13540104519502956","-4377165394018854","5639729643765928","-1757806106096733","18383953269590256","754175766190730","-10385637567037208","7221526154636896","4242864239662902","712629372314285","19772655762463140","8829849382494384","5829151640774210","340848830705721","-10894106405413652","-20839920682121458","-2854921697745002","13744683870027512","1626247159051060","-3486668155806300","-3316693298359896","-12847106845403582","141361418089920","7275193306766888","14134223973617636","8147934364524270","1002908359838320","8374339077277409","9648130796360278","-12075348636262593","1832670616237000","412610466104057","10651703300013310","-5914697839812390","14170074997087496","-6757456154497905","8661035731650056","21232133380925688","-6158273124837072","21179206303882524","-22503375597181068","-16488470887541375","-24714775770932","-2651727009591785","1471837118094798","-27976138320959760","2186106250052416","-2513547886568568","8922794957992208","-19183318936195845","-5061132400450692","-4022564039844198","12902757344035548","9563908639960609","-3324326252103892","-12479061161159684","-10758019160169250","4467611348814263","4081859650015208","2699052137185846","7597578865397100","-24263067635068980","17517383536664232","7219415698601250","-13928447673220442","18232867318418145","-17533989244148920","-7702244446590786","-13021735429846080","10571792013330827","1178383536847296","-26674227643881817","9874941377957028","10763426460597888","14053330024755960","-22607456884288826","-20855211612303952","-267480538431817","-16613491899092128","3032220695206540","10576518669036682","-10873925119842335","11870577786897304","4033705388660805","-19857041572029191","-10519740061913790","2617104677467332","-3260822035155032","2772615083088562","6534896495588194","4838625339365784","727761181366176","-8078340856443008","7578547509162564","-22642650458225744","28517095590891649","-5885149497012552","5769034541817072","-864963163591944","-13137983337138420","14233298468859948","10628461341753544","-19168770320875280","17861391547974","20992154342421912","10884994498417815","-10762698645072008","23517280383148935","-333368248609704","6112683678940410","15085911686746796","24036024689414933","-17144871481903562","-15580467519678348","43856316767192592","7056345267642870","19037604887253866","7836325070960644","-18435196157004460","-6267036686242274","-38396110025481188","7260006385273161","-2307177697454448","18723578395808825","-13885324701447230","18828909694409050","-38478225976220","-5960298750556028","703838646500050","27408899406424002","-2665519561589636","19290668700897474","12650471568437788","23960377416561318","-18101894508869904","-1753738395501391","4304459010830160","3666588983172144","20125862791104160","-21075903557855742","7746691265747460","21678721650574367","-27634003625868464","16211944102031019","-26679668067934824","1241516566842840","23048081348081712","-7355917473549684","-5069335616034170","3719484755431082","-29746572800873928","-14063163305163230","6071135083852462","-49643857516050954","19797541072333332","-5940858548541380","-33457106898416030","17501912394641736","4831458506847824","15944199260622742","-10616510312708136","2698466006216188","-8689765836756448","14162173556631132","-6242847131683938","-22454550614823775","-11500613803893992","2811211181511122","-43347059178603060","-50741542486218402","51093527866883608","-1128781124797243","-2129992890311176","-36705834374648060","-10958575295299372","-24851713302189984","-13705252852518574","-35193524087437008","44275132392250024","-20868583818068316","-61647550084258112","37383451643773014","-14444895468048728","-14949436176562272","-14775743298321986","46276298379944780","26084796413526448","-6465775957343755","14811238005600978","8808363387711735","-11039930472106368","-3485038460338404","17074380647125304","8771618839515273","2999463010566204","-37360297349140935","-9909086090972581","-49049933503124707","39965598522076240","8677369955951743","-350436286280158","55063063969761138","25710614241735592","-3817351715248464","38603079713292408","-11482411496526480","-38339596307688696","42946093156270077","-19536228086998310","26100991838584952","120474646497807264","27742886004602172","4744962407598962","4746905486231558","61177422292056532","-41948993248558581","-6434706666779208","-21800195035663293","5053043375403496","-20290634458626839","-16791166106442828","3309366730803391","-8029420981182356","31191545210011772","19218516042182912","-56720333045339170","-4318449378098648","-12832314048555249","-5742549540616598","11377775521795296","11604676794467484","-22823070776406694","-5728416907743422","-15868008985819006","28814189255933292","77360578774620438","38143674371569558","54681220477855542","-61833049185268208","-11057786170193555","69310682677865424","52054499996993349","20296572471709656","18919187120825007","13847943350771192","-37144231004202070","-13158097270632080","-69830829348857411","-43013554936785288","-77770927748496318","11441957637441708","-48113436854428719","-3895333534857336","44957748930652482","-761730166377400","28974989605167076","2844752919492948","-90129944473533120","-18239219860873284","8218182934547934","-16551080605207004","95607065511197729","39812332281954448","1470027244984976","-72139244530646634","8275404818205135","81033211502205464","-21371332130414670","-13991843403154080","-71561602018890382","-16982204426628104","-538184114518973","-73438081395368092","-40951403359308137","8400527979008080","-16035356404162080","8037888930033808","-75466270811764011","-20577312045204408","15361375927182602","56314115131191106","11432052979588696","22301071732131864","-52633456838772054","-38891613670664334","-43715748663551180","-31918655373094848","103569158041721","-70568968199897304","77600020480381284","34886198204433664","-3031326976457598","-58125633060492398","-55360705939516510","-32856732511141308","-28409173817232165","72342214505041474","61725008799596454","75813146780538192","-45017806472984550","38595478149673460","29291977591823586","-24214234990487640","63298071807586616","-4012709510982926","-71245606930499160","28509743046269536","12210524503542933","-40620680590343322","-64315276937102004","-111723906065834544","-27514457800293225","-71159581491463088","38039049816605319","67134513354983184","151637039112599257","41048250612619509","-9117367422328919","-44095461985741044","5233285363889542","20988545312186316","131805228593914224","8309511217410472","17821000143831531","57643933959407736","117020655032511990","35635140956780544","35342198950144048","-50778186061228756","-39884398343838384","-2703929446075364","75199466451695272","-57986096254599606","98275533241470640","67311253562795424","-8559602710477614","64217203962575470","-50747510538610569","56036478425636152","-30124281099605328","53692421713614168","-17123422203643946","-103767420723605796","32022146657733154","60826382786711448","-2460367105572220","-42392986036972352","-84645100701720532","77430784497409600","-21387497331932121","-103092312844617080","120051671852669692","-18376861596764498","31629257502138264","-67274496747744508","16000609101555645"],"space":"13.12.a","level":13,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[13,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/13.12.a.a"}