{"label":"23.12.a.a","letter":"a","dim":8,"charpoly":["722503614756205523600","-5301927678130101962","-11956604766607619","107031122948252","113277746511","-616567378","-554077","1024","1"],"traces":["8","-32","-992","5120","-11466","34618","-54118","-155568","648814","517892","-291462","-884188","-2211306","-939584","-2205330","-8561344","-5775330","-51349034","-21015588","-65503576","-36171230","-83047784","51490744","-129286728","-36491644","-119299562","-394617320","-392796032","-322285430","-646885140","-415184840","31831744","-549306602","-28224252","603721008","690703676","176642018","554685496","2251149264","1337904816","357962218","340644280","2500461376","5064743472","385017072","-205962976","261795200","4421752784","2656605924","1642758328","6771514570","3841657212","3542935060","18173306686","-10100187604","7995463104","-14761628752","-9113565454","930905396","19344914040","-25338655048","4385691666","-25499316044","-34067008768","-25954746658","13172584012","-3123467482","-37358480280","-6384852256","-35719175696","-52612263236","-9100886376","-67014176274","10171443276","-87540153860","17955918576","-44516617816","-25596104778","-27683357604","74357773216","55141240264","73615849126","-12253964262","168565479344","58779027600","90522557252","-129275944888","33736356800","10662817760","450294422856","-28336741418","32954076160","164368292014","285145948346","-64104297380","208023008864","-124519454530","215615498272","186256571332","239653640176","19284860148","45841733464","183020368342","135804901864","-474443218920","-4987838308","-459749143984","-463378753780","-615874312532","494944508408","-413008456126","133077974144","-469701721330","510078250436","-73799108838","567262465364","-1209001365000","-754017135112","-382675244972","-602281037040","-1049431413700","742365082444","-897578942356","-1035100231148","-484564425996","1185700464136","-474518417180","588533503232","-1464069324752","-772513984244","-1064934251952","-430394866120","-2153703596","-530377028552","2434797591810","714971605648","725355366780","222813321974","-372084857552","1718812366688","-595214136522","409777126194","1525298648022","1078600991600","-1898547890110","1183421602986","2446240456404","52612364920","5379109669216","5038337739670","706938018868","1172887150336","36196533640","959105217376","5135493614782","1560586057020","-2326511604888","520855872812","4601453897436","-3460609328960","-348322010474","-5413519222496","-313321314016","1696660140188","5604036042420","-6335347675780","-462328013164","-1966299648480","-2180304435706","-6405093734960","5282120450456","-8000872692056","1697004103736","5268920333906","-4260102146938","-4703791659840","2311929995364","-8813209028628","1412653184604","-16930754932848","1290151891890","-2762654685368","4746509577720","-1001289007824","-1819141876172","-13511196762818","-4419978261840","4533399416228","7049338394494","-11252044337560","1199388226170","4227843859264","-18189238144350","2097861646012","9815854087890","-16818390554880","7720353085054","-16959736136180","-130482711838","4462736294544","4716785311610","-18480051506936","9982591618490","12005735342960","-10911503555690","-8048846222736","4175989447202","-8256480287568","7045317766716","30759940497360","8003941218300","13579590805656","24072059066306","-4576016531824","26536149216392","22990925361768","-1749436239262","29231473383192","32220328070356","-16546090104144","8623311125198","31790143421012","-9504263105616","38124971520","29459393149618","5020851738668","-1590350893730","22092750613480","5360368625796","3333330548956","33977445114352","-26444504165768","7684893396290","34119639110952","-57982458709098","19895990014896","-54058172404712","-24955889714448","26681436360464","-17107892028960","-30986626859398","-6328923492896","-52258399265552","-56817674987400","4031599109934","38967436947590","-44073300325196","16215467309656","-33620496965574","-40918446609048","-446770528350","-44238717316912","-1875949403466","-2358076065738","-30943498758480","-6151804353536","-56399836711366","52544357841424","-56606918928400","19649091629112","32435027465120","-31685945398374","10209967203140","39089700228624","-103785187462076","3470800673312","42680574246596","-12331534690960","-95538783493894","-108602763600540","-6682141467352","60034071924000","-19769332081410","-17927117714140","63949735554254","-5690937244484","-144902658234802","57311540455718","-45487364651768","15832814108352","-2702530309846","218495285635206","-58224068008742","88700595491540","-58986707824980","7370450331620","47131438069590","99926388396896","-124020607797396","205444948528900","198619650089570","46887940032260","65263393370024","59075706462762","109223357714768","90732131143824","-50134293263942","-29319803700988","-14232723893958","-100154701299460","4574326743664","183000814357042","-28170094497100","27544381708864","104125277415788","151197648213244","44762367503708","-93470668434880","-173294944429914","18810049421436","12349437213020","-7578177165432","-21082034525312","45991566103424","267650487366864","110018005581816","-235462315073588","-44676049101756","120865200901882","168438356972672","-58102037948964","-6047484901312","25480070367572","133976755136768","-111141460449722","-41863203994714","224666532900128","13455606317096","-296327461493750","-345950160377880","74445677372512","-413225312186664","5227044056408","-227423447142080","-62234967365436","-275868596562880","-201138876135728","-97632195543106","121313086108810","-41418018278880","-133679605485306","-361034474900044","277387772853940","-63191861337264","-14194260308190","-304773825581848","227568624993816","-476022251603564","29487591065062","-6932221430944","511246892031768","-3313205660928","-302975070350154","-575228252898624","-59080514332330","57830072067960","-646490755510964","-59291436928498","-154514493188212","399596887656288","35821098709192","-579822412926668","224088576567596","267715753956048","72465980093434","-45056606370756","566195808358550","-55103746524992","-313605832358560","437128417297384","454068264129868","193295963965196","531274509485042","249157304411080","456676427263860","47050086439352","-316523115520598","-924965935581080","924870590781636","-580783603033840","63846935116302","-67401261457428","482506445732256","-415751614434432","391734968820152","578942241336634","967885022659120","558285358557592","136577589077584","424198132384500","-37172004818190","-441839577532080","2022534656150","309667553953186","169059807377052","963799069994360","231839041899042","-830020421829596","277506366247508","-260458095150976","-371415393343814","886726676605940","115526690014936","-493916080564016","-1367863704304194","1461025435920536","329442767372804","-430146337490400","-97603963562706","619931580797740","1039444670610512","801111377407200","-367170589731400","-330499995542662","180403612886096","186430519257120","-1199045613596438","499157243684768","-63694723002900","127215832620960","-710773950853674","-1027962353191200","-391277354359584","-676909913182512","-108180949294910","-1427989033504498","240225322779404","-1117979325108384","-9802901501334","753123273605696","-163033014220380","-324768195568912","-805851954698134","-604752374315816","2125494249930030","926526974515376","-135263532714684","-2622576585935582","362822279526128","127394064070944","-642834126716298","552279239374592","628940916581092","-2927282754471032","13197834389360","-1390946004403872","-2830890437904816","2391177713968128","-1988900067109672","-2700485074664366","340638799523998","505997328971512","120197289529394","1049229558097636","-342857300639136","861898872923952","-957516866079322","265975387961584","359104348548214","-421603482862568","-1849581705847194","-837854997632048","1181166197166712","-227414152671088","-1243336304458830","4487294606257094","-994330342330956","217586501603856","-2697857839212024","-397616805184884","3050119065834892","-1309998928219296","-1934812052058264","1536852787772956","3422335407257740","2132975005318496","-2089490708630292","1351670309850306","777070044712182","4166199426845760","1650837467768066","1056748107927120","-232810443011890","-1488736871774080","316436332876664","5502620125086496","1388801376191848","1875741601153104","1931065686225626","-520589099199388","2921325448220280","-4390136363951012","-3326948791793934","3532671141217196","-3943917472084752","1374789831425936","-2145967028355982","4032826292854464","-538259839145316","-93127976533616","-738300171569332","1650596057498204","243918097539340","3218706560866848","-336503284042780","-534524023213912","-3586229768509312","829664198046652","2155242690541934","3993722700090000","2501065546930410","2503304447286272","-3851819961777664","1275326548413622","-2749868811806424","-3152651346053728","1046153749730094","-2988606717042224","-2912959470981136","-1648126449481712","3527324173213376","-4883805779420488","-2055104250168230","191854163182436","3096783264307630","1232878926248060","1770975739269098","1063884380067296","331412089709192","-6214409813569528","3119019347578344","-2122330772205760","799206562016218","-3120894782354728","3603531603705156","-1396577070036608","-2050447393216218","-3568566741938966","-4538584330894014","11038893935390760","-2879937381000906","-8270021794369648","-3740056647288302","-491723403279552","1715716823358496","541716344694792","-3342549207161776","572832529675048","-2569868083721724","424080323648152","1856572253281452","-832133726755704","-7297684012280900","727782061634858","6599320066240260","3466727965114140","1241438897878272","10145631163415500","-8538617748498000","-874646903141248","923444636403208","-12901582205801444","6286692082189008","-13413263321018532","-5851612350650032","669079776744000","2301886467444178","-2575100631827240","-3928286928145430","-1549907936926920","2691629360205062","-2575135922325336","8629244176169574","-202866981975672","-234872737417892","-9178144842079808","-630248009847374","3438634935208872","5912773947797232","1007589024831720","13212814984493428","-11953177999131856","-150695495668660","-7303243446361128","-2624987173224204","7942211478537360","-1625442032300116","-4770319208416380","-4738504214107488","9598937305132224","8039295223529436","-5131012692914464","5487270755585256","10011233002002628","858790707981320","12841531948054952","5170733875715910","-767852900781766","-2651421446840192","6804411072602760","1332170958302874","55018357582128","9370621173987356","2764360799089236","-20159630712290","12852998695249796","-8600782678752708","-6790340662862080","20003428821854162","-14533714073299016","4173796788584472","-11439568387970152","6507459903044390","-4640735263113072","9724196523506250","4053715451833216","6524018797683420","8925480686807232","-3360682680286996","11109456814051992","-2539892425260760","-16646457953351662","6154166585289424","2252051960698800","-893992241432764","10204864731621612","6507228357268028","-6862109980108224","344830846164192","-19755969832496928","-49665653659732","2036157524318032","-5378555883034300","-3402186729147984","854234814389994","18296668620410088","-4128174542626294","-6561803110892724","-6634480901870536","-2352092640283904","15270946460935688","2000514296522364","-4167881685730794","-2528169990990976","-4422708863909760","3622383478282104","-6166638692307344","46464118409040","580417359376576","14252340363494314","-9131224076070638","-7423454187565924","-9095184648081022","-30151461424267648","1463174252713326","-11681318219645648","-16708354442537192","-7609257073607240","3956108957619626","8901487843088400","5741767935776472","-3786199989359170","-1869875189185770","3406644658668592","16105544430218080","2084884449749000","-2074339571382490","-12845643894542592","46301476512456","7652334712029192","-5104198014439964","3911878594531712","423348575740542","-9513972579806628","-19917670569229460","-13239187007819828","-14733857224166408","11669824576012840","-22685360927590676","-3082739399834560","9423679498681038","8197375015795996","-2042197440680052","-8145953635104632","4607461122015024","8019668891533952","-11353949783398512","8893413785523872","4140362259240688","-4163574642643020","-20953008481903056","468742533686800","-3504024555789728","8495697332369384","-6135690366232110","22523273430356568","-16626518069109474","-7015759574948006","-7699791294307748","-9592298729760448","18935572286450242","-25817943448897038","-19339079348995468","-10965987707362048","35113780832975130","32355292287907914","-7623704129436492","8184980735971200","2224500843066062","7078739357616540","32022565861494136","7810803860897072","-2672272038640120","-1991893776170144","6718965595031788","16883182773624876","1760530478814158","25444708288465732","-12173151937516088","11363572365054528","-1384322005503172","1338123670862176","-29217214671272966","24681857472680968","11623206080437370","10385855324608730","-25868948652781154","8082269155881952","16269362594701768","15302975265637732","2051383027835184","26817583430644632","-632480726861970","13951872358514040","5262772639279590","204880022672192","-1243010468577060","-9165215832103384","-2489269634884948","7831912519631888","32440049513094384","19149826499247440","-10677187745860974","-7669830701213976","-11994777511197652","-11101601773658220","6851672975030676","-3344771281226544","6992176398296644","-10646068804693320","265238660345924","-23507235077451056","-17220184227904974","10885791322273098","10977593285841094","37156609488888080","-5628512854450126","13247878448066124","-3535525702636486","9362932769702880","22588585482549206","-18547445031430710","-2802113498900016","8454170026379512","32205362836621560","24683173551870984","-14965881714555092","-18039573621236480","-14296600443882854","-9229078011623264","-3435068047759260","-3685375235869404","-5141379184019648","-13701439413425276","-27901567860154492","-10050410804774224","12444073883399336","32058080973581480","-21037373475328580","-38934790644690360","12652602067669054","-181660966790436","-29828404440402928","13645747532848448","-3018227988851488","-8087143801784434","-60686057367548324","-290999350479308","-3966926330519496","40414716684292856","-13097559148369596","-28238622422395728","2766730746520412","-35487690050854954","-19784204670008340","28449628268533928","12862714549311556","-22795002979815376","-2747626460280414","-21088625865940800","-21618524852491444","-18239208890659736","-8203056066213598","-46863464368628024","3885755483793744","-19388875029636674","-19751518530659912","-5612636979592128","-10457863267200016","34358946802873188","-3196629613922192","-32049804706550416","9194841391519840","-5001231018930648","-23328071551792222","-16503590374143424","3171363423125432","-16479430636518478","-5626439533530468","20151818984206840","35188950427823408","-61803459948899128","6767590287981428","-13937289300591680","-8077755509750990","31865230513554208","1979510303559020","4445605770096868","-5556154756049836","-3294708362201952","22810656343132676","25712172200208576","2469409112903326","16802880634079170","-21913244413001936","-9574093604144576","69032628488876602","62621644541815820","-497806039385714","4702807825327680","35913937412095190","-21309224076800296","-28641407002367130","29768686868832064","54002869229935468","-57926283196929780","10500557249430314","-1488934490646048","2997160221843918","28272790240351020","1136928616060174","-4392300621194324","45098187798209908","-43070231909395184","32514213342751680","18038059786333088","13387301715687282","-11843979213774636","13372415672545612","-4102708418339328","89443345611097838","49684432758923224","-3127028298769544","-71322040782758368","40760512255798220","-10211176402024152","24799128998126084","63265368452400496","31773838028213340","-109777770064050180","-15659801218171606","-22404325434506656","-31342791424327240","3570146109381128","45466381196912208","13405283826212276","29403824996605108","-46996160042764450","-19734389903979268","7194182528168384","41747116457536658","14954388264825510","53424230149838952","30756786507375744","-16939615060174320","84660546594167898","23298186293853724","39002064413744112","-317009867446546","-47752452810952880","50115397851409282","43045608469256896","3066672913167952","-5679834876153348","-828381630040094","-24220670915214336","14489168807301552","28242154990170720","-40201814004424000","34587986522102228","-13549152622928972","-22081553633888316","-27597665844719456","52545427287590704","-26395286680354220","-82133936367822418","13139154452343504","-111417847099953304","135322684568484284","67822043828948432","92301895421862432","-82317893739767264","-42054327864172248","-27163414948999252","-89441904656565180","-38674693380728928","15495005778315122","-99158393738478968","-60297158875827790","8611214297127888","2895860688831116","-22521203489009542","30499474368346716","-10235302244760544","-12500232229342858","-122287968727704624","54669083066686140","89592576782034272","48584455702211086","131385413337229860","-66762653247195372","-46353552025252","-9445860219627294","-31157398130932824","1239721181010360","-61814163561791040","-111510806369450458","17382804242246752","69696356896066652","-48512877390120648","-82351486081187002","271472285842912","2303967616088774","44365095791075264","-163595756899607160","-13448463595643992","2596661395655036","-147636592428676648","-26200809416901194","-196601347237480","35583990737192892","62409514292377152","-22492461163713180","-93290876366788248","-19288402001228460","23715356195319540","-52395439019200906","-48226402743901088","8165036133648968","-43826226138030720","-86036615712118050","-55546987145455980","20424247289641824","-100952404726955744","-6239310904358630","2192503427068040","117105144582435500","-23553618610420272","-72579717841438492","-3229082247784448","-56739617294764152","-117211609965778624","18879910402163310","8175291550414358","96996513545771220","66612572981264736","-71293238401780606","115507515217244282","32761704674697256","42524308233130984","-155327967486266692","-23007435042162194","30860222598488376","101602059614068680","-180045138843818046","11173444043690880","123706464509099034","54756879860747256","16093827074187968","214654179404729904","-105640528207242848","-12441757422106400","35018906954479506","29034820621144664","-88490609692476532","45771744508767744","-64645873502331592","228478725578119850","103036789532744078","-32401743864566304"],"space":"23.12.a","level":23,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[23,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/23.12.a.a"}