{"label":"7.12.a.a","letter":"a","dim":2,"charpoly":["-83136","-66","1"],"traces":["2","-54","120","4100","-13500","-43668","33614","-363960","-104526","431880","-750816","2429112","-9548","-907578","-1214280","11267600","4160052","-2029158","-17998712","-31313520","2016840","48302112","-66161016","-80862480","-5857450","201467952","1578960","68908700","61515612","309717360","-15281552","-305459424","-213229440","-133209204","-226894500","47695140","-527218340","-40528620","-1207833816","2555104800","-178276140","-733928076","1826745232","-3052797120","657036900","1520196432","568240704","5155801824","564950498","-751478850","374929920","-10884921824","-4185816372","8940873960","5348308800","-6117075720","2079040344","-14652135900","3111345000","-17443591200","15042595060","-8824144968","-1756768482","23143601216","2076550560","22615994304","9856523968","9656047800","-2372754960","7258607160","-24312011328","11938655880","-30890001932","-24159495564","5106333000","-8466692024","-12618964512","44877125664","1992804256","-83522543040","-35289830358","-3483420948","5277014568","40826085384","-28289229000","12579291792","81638222976","177557412480","-101541312828","11485202760","-160473236","-121257928800","54503588112","241620483336","116226367560","-246161014848","-192228621116","-15253663446","19058239008","37112247500","89366698548","-95467666968","23530148512","295504372800","-20408403960","-324583338228","61425120528","-481872449520","-134390659028","-358902368640","198733244064","189374553200","-120232669140","276102244440","443925348000","827632580904","-144372305196","-787933058460","69917993964","625295102400","-172155875494","-22711549608","39084691968","467457149488","689621175000","-34104058506","-27614561096","-524553079680","-261803764416","-1414557090240","512377943976","-1347495520896","-302504352584","1101748521816","79177078800","-787542450960","-926909464428","1385474101344","146270227096","-526286330640","-1507683451824","1066976790912","840618644544","-51309079920","-545142524760","2176135994772","33897029880","992499503176","-900933589764","-74046296700","1323557987896","2506724597520","-202377581676","811813596384","10783007280","-3138402404928","-2485429025036","-2984751462960","2374453299312","2441573527680","-1111968195912","2319322544946","-3445643592032","82565256312","1607886714240","-2399598041148","-473509275120","-1359055701360","2424262472550","1044953984880","1319742252936","402151420576","-4178267330220","-4227181463880","-98446162150","-7335904285440","4410241160760","110991953220","1871354644128","-231235104240","7731072592852","3386071869264","-1398075398472","11651401231680","3174779887560","-1716900399216","-1648610049216","-12711107603376","26537580720","-190655084400","-7499086836624","4540156556160","4191405208540","6560454683916","8275534384320","1158148520900","-1435452600564","-158269169376","-718266722144","-262121049000","-7615856575632","-20701707197208","1033892890884","5377212528912","1120395177720","-9018675851688","3649401899208","-22349486488448","4566646083456","5205419669520","-14333259091616","15049496972088","-3922035590016","13631119696536","-11711516185440","12828579444000","-256837044464","21434242858740","-9906035771568","22546926716160","-643611571848","2987730490392","6521196157840","-5133856539168","961061509350","12563775944892","-3259895454360","-13678729316112","19169110002724","-12418429775040","-3583747198080","-30161784060720","-9018272909196","-6594633750096","-1265994928560","44390301396840","17705242743648","-2238847091628","-12077798597784","-37527269558400","7425328962052","-16397223906942","-10596080600280","10131639954352","-3813415861500","2050574607144","-15636233318440","-10704713600160","13859332760952","-15967145778000","-3030339369960","801612217980","23730186534528","33651364525776","-3384222551280","-18849588199168","-7228867011804","-26143041697056","-8860958640380","77615400804480","6138683920764","-43443064472268","6892731737280","63417340650240","23878256708280","-681164516340","9691262189136","-53659357989008","20429131116276","-62723250655200","32833159028176","25751436300000","-20300062945512","23650006126836","-1585127210400","-76220272408896","45874366980796","65230914693420","7449117500016","42943646373600","-70388759149740","44638814549232","23659964699848","-72009457415424","-10711158984720","-98366421248256","-2996287084980","-11375788052448","-59826024113914","104482006174800","-19755408749664","-135798224861432","-21071938097196","-12335129173332","-28040846184600","39887383026960","36778630245120","123018290799900","-7631948471616","7021449157800","30702107114224","-99399547744128","115094839931352","-43061413799648","-97703131484880","-3535101138708","64841661327688","-51308361195840","51711979961904","61542064702560","1841644021680","237709392278400","5360085083860","98078792765616","11042819178300","162356319119392","-99297024750180","-5754169754136","-77136904673856","-161471875680000","-88052080473072","25549941432624","-35805658010112","-146134996999020","-27135407593700","148964937700032","-114897609931584","20329251934320","9550421512128","-164393537230080","169507140501904","132702286846248","55197973439100","-162797433271704","-52852790094480","86653561255968","-165617338556036","-67376241328338","-63118923417072","-73174738751520","-32688050114304","35542222663860","9495123019886","-242055034257600","29230193154240","39996649773312","111686831274960","276597627051312","-88561961920796","-12630105031950","268257914633520","272636436367872","48008904690132","-224204843778120","168211601314560","-66106022668056","6301447165440","155475043912200","30032006526216","-76898784434400","-29864524984494","-126529128286848","115943242742040","-182942881095968","221928572467080","-243316669763376","59352346533040","-343246271932800","15290997148980","155681094683280","-70351015764204","124978745719968","21808995179260","110657213733312","25461514818000","271757510908320","-388237319227800","150269268645720","7495175879440","79101384153120","-199091501922864","138060562985232","257136545452608","-117786628419840","89889026001600","-245194223635188","-140040203460336","-468063896632136","35429106635388","-346924234903680","-136791565366416","-102809691626040","208395836548056","-726022883955204","-42760886208480","19829012639040","128417694380356","681925037672520","34942431061608","67794579230000","99646622332812","88460832190032","-275754780962416","1170797274189648","251871326169300","-246258448071300","38201317087680","-192832803168480","-657667796179484","19747124958960","-47355271389360","500938343910256","52292375415000","75861451725264","-58191034812120","1135385340993792","-406305051324312","-177902111893440","-553558676150088","-293174437298400","237341415123964","845597787616152","-214711311200832","122838308179440","-9363795293700","621971107017984","252820895173420","-699716792260368","504455425746048","-40080554255040","-310590152020872","-986548774703040","-42020803823852","-148307404477176","-571287499523280","-1237008384516536","616203043143696","972399821442264","-305503209693056","-1286452360742400","-29526007876974","435999586741152","185239093792608","-43687365995280","659097626657640","-995676733286928","-646214518643472","388974505637312","303259304747844","35799631253550","32411281976640","-749621641155048","461394371699376","244394333573556","34900585261920","106721285441760","-356742526975028","176538316741200","-24564590375040","933399013868160","1001309780630628","380107016267328","160753175062288","1786097137461408","-370352254957920","697368853631652","79315744387176","270641817829152","165658598330176","-1681174238433120","-334958996040024","-1593935608551600","-428264895741696","-694180844192160","123789946742200","162289195374600","533835594845676","849093544854720","1514222595838800","1746115763132160","-1144016356042168","-2140219100349108","-39878892612720","783533812682420","1311246011670840","-509968481543388","211105498198312","-2177631214181280","-542333979812928","121995410538120","-391347879167808","-87592891140720","168226836931512","-1386070043450400","-125080080465600","937412239734976","-408611974389696","-616298675891976","-130829704871024","1270481607612000","1025082545692464","1059327786268332","-1397253574033632","200652989375160","-786113278563120","-1468049107504896","156982675769928","-1833521504560736","675491725821636","680081172003360","-519168262471124","503319585010176","-716162805601200","2702036758661556","-242662120874640","1256736423106752","855643900343808","-406048641944148","186203369042568","-2361286399584000","-1179145762111260","363998181356100","974885999689192","2649253224336264","85822138731000","878920098546432","-3152110177152","-3069381865646592","293533467748274","2168069482139760","344219031556200","-142299692847368","-246910242559176","1633054608810360","-261723584056080","203406784973280","-1123728437174256","-1167895041259200","-212086936553184","3433928366030400","1122608754170668","-157190617122048","-29394634749816","-753077492725824","1085193899088840","754249851034848","-2222184281353088","-1825830733790520","-1062246877869420","302188417672800","461506616966016","2361052135059840","33493061130592","-2294674095858804","-1257914116630800","-3435877419003848","-2120145181893252","318682084326264","1839779114940704","-1403763380873280","-495785057379840","995744619732132","3064165499472120","-3303044589138336","904745455476120","-5102539013558268","-593116178826906","5023706449651200","-3571756324427268","-1883351090887200","-1358081205456272","5809432984975872","-63456520575744","-58545855873036","229697806584600","-831369172367808","-1948336776350348","1528408316910078","1043642010540048","-5964752708097120","88690783844376","4501322298306792","-249028629351744","7580837227793040","869586200169120","440544152620152","5648569345367928","686164017048888","859265053764848","5613429578389200","4502553468988752","1284162965669152","-2230104758044860","-4343373804458880","-475457071803000","-7176340388334888","-4018287020376432","-6448800961631616","2868072077608560","-836066425662000","1486864747215652","211420157148144","-1500001273785024","6151121907017344","951597834131700","-6011347502780496","-3679933341436160","-218136911509440","1372093613557632","556559587832160","7670715797635632","71087933138040","4218986166973708","-3355873366254444","-232763057881200","2984207431551360","-892129339857780","-2374863591504816","-2572404637211576","-3316887953628480","-407081281171680","4151289682102512","-1706604844700196","-8163822157107456","-4342408370998750","-923690116511028","601614770848128","-6767628792164576","-977605243570440","193031802787320","4860816818405776","-4641831310656960","-3611594298352080","6116464820023116","515456001159840","1716401519916048","-2697073677452","7821845995464000","975020858794944","3684589027238400","4031044603893612","2053134663467472","-1413416824192520","-2037982009341600","1435057976445120","59608630169880","1365005936307168","8417129131457640","-4096359056553600","147709364518800","916041805398384","-10083927642284672","-2718972228921156","6887149953643800","-3754639721687160","-85011801055776","648087892294356","4060915463428152","-6866357663090880","9829119945254400","2656044642567604","-3440809985150448","-2550349140118416","-4255704336890160","1953416559580920","1795123743569172","-1521814727038896","8510743905800976","5308898391621888","-7474062390393120","-4052006295514560","-4137228176550336","-136601989982972","3293643030491916","-1217397633426000","5073480415479852","-222463787017644","4693643738943624","-3230786435096612","5558545304164800","-1133856665096616","4135954460267904","-6736841279660880","-1137992610110328","6242873390761800","-256368321536922","-3014479120725048","3432345510132352","-13047639468322536","-9788668922378880","6401637350101864","-4633353347249088","320311823007456","-7427538852399024","-295521924647880","-17810030004723360","-345098688522840","8091264362448960","-3264349285051920","623745543732500","2553086312763228","-7126999558217280","7744686435343712","-10873361113648128","10216176913311840","1602607815857172","1501986102496236","14717924331188400","-369486900273860","-8132014171261440","2006131009763232","14637777808460880","870373004632416","-1604525078731176","-6430873029127680","-7287810421935024","-3862625812154352","-3056830848325920","-2521804875012000","463228629779520","395471206041184","10282553242510266","12083931047965344","11409367902458176","1573651630005300","-913234639516164","-2490491287005008","4966541993649600","10392098688917514","-16091970734304240","3607783197462432","12311439531326880","-1492796397472076","-780918407329104","-343004045355720","8604849377371392","1990140673061376","453203612688204","-6177745015974752","-6527309419461600","9911316059183280","-5455272165597996","2504608821254376","-10276706104102080","7068232569669720","4441659714269532","1349332814057256","-6951466690734720","1032372000714096","-14468305774716000","-3073974274403240","-25272199669378752","-6046872101874072","16733210620059360","-9570651239007360","-8098830259082640","18591918614600524","1260226213008480","6387815618507520","-16847587382577600","4702465686396852","7908017572482912","-2258703806283596","-11894729808483936","1276055717873400","-951071588870808","-21035513974232520","5348448729361920","-3605443221310364","-6032072109732480","-15474876116765328","15721799959755832","-21993734165116860","-3885167431474416","1291716291101200","36982376064814320","3340109632983648","-26576017494341100","2252671803938304","23633025040316160","10834821886454784","3830750299969632","-17272101133584000","3182818115632400","17086368009889440","-17760426945423336","14766705469220776","38355447794047128","-5976579228481152","21005565302337600","-2020750470235980","-2948015540269440","11378427646195904","15196374528911136","-15443999077083120","-37249165933825328","-21042314057660364","4640450422303080","385370193311904","-4231645960125600","7200902547387684","22396806681840492","17179514566537536","-9285472031035872","7461053323836000","5952073584631104","4923598873695048","-42964609052926560","7879979580891660","-17213295786972120","-3712374912902936","13910020787253528","-2405838518141664","5993139755222592","23817419853367680","11569140091151424","-21276383277440320","15707398070959740","-2426465333429172","-403070802573600","-10736992491598980","19932547276697112","7350455312586880","-16521724715335200","-1651447530576000","-13242790913537220","-16644418911650736","-1936072468833120","-40315767871876748","16984491433454160","9088859143111632","-15795704537091584","1175111724552948","12164342664738600","1440365770060560","12310168523651712","-12327049614235680","13338354805711740","-11109066364192608","10509334786036800","2538802588531166","10117873745332812","1205185714880688","-54147569913508880","-16382983235407380","-9010821054700728","-2893423799427658","24907570660606176","28201917681965112","-1578056955395100","18957228948504720","-35908284848260608","-9116051753223548","-381713014261656","-8196507572386680","11144669574470880","-21877060462175484","-35152744846689792","18459416140147384","-4768867652008320","656896417906176","-2644069203761568","11996950248553104","50385716686892160","27475138797558720","-40645264158001188","-3068195441841240","7856552311444816","-12940848972016128","31830062963004000","40800418318821392","50452726924792080","9059841447461028","3174389252268960","11590463088225000","-58373963534650512","-6553909060709204","-39440652543019440","-493927229806920","53899399940920320","36225334428114132","-573186911310342","-19505460745272848","-23924995734556224","-30820411159506000","2980053302268552","3870631802987568","-23969324757791520","-464117928340472","-3459854170263600","18932712676200864","57627091722935392","-25192373903382096","41580848619439560","-10571627654827440","-8816163610181760","39471264513894528","-20211892983005580","17338901268258432","-1364231674156500","-7350045706142472","-258937947809856","-4400135868539712","35483482192140720","-51362641684549440","-43031858127469056","-44367003622750112","-15127152121953144","8497368796002516","-23774461015663680","47229869714237928","-25101546177705024","-11370647059841664","24862298210400636","6626361884464800","1815044017587808","8611536104404632","19332679241334960","-755012429511296","-81416905082438400","13521390742102488","1451447614762992","12375983850822144","-22647357219699072","6727320283256500","-75253909971027168","4806264374459424","-82607718003929280","4841943406916724","13491535528653120","-5084190653879288","-42996735658353240","-25095585782826432","13321846470982596","11789565256252800","10953550553601600","42814494387769300","18517087406161512","4995412020512448","90033939877680960","-52851518368536348","61142687750536992","6225191906235120","95529410050315680","1330729163391600","13926774008788224","21925158331003776","47967269290616256","40225436527383464","6385711319509500","-26570492395620336","-13236225973284720","34518025448313012","18610198670555244","49974688331175840","-53001108192043008","-39063111696050688","-59698149988098120","-15578567368641396","-35639458352202240","-38038051848045342","-21969105784180128","-14218771598725104","119967626164386616","-29612247987691080","23285663221288608","-77974044370925048","602594706289320","3294525336012144","-51129227478552720","13842586105546824","21265418287977192","2458363706802472","36054280618542576","1881555387444600","42258916855962304","-9564659049013596","87649210667193984","27176027434688064","-8845294359066480","-5796441434008116","-60910577720910648","-2736845590023936","-2578074760527840","2041504012102680","-32206651170971400","-25339635774805968","65591132221805120","-62874766076849856","1614187078830720","-44865015094908032","-49720072484170368","3355131579708480","17932678924857984","11473618736218320","41484853492650288","-24993849799588508","-62985503823743880","-51605933738408640","-121624427543880000"],"space":"7.12.a","level":7,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[7,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/7.12.a.a"}