{"label":"23.12.a.b","letter":"b","dim":11,"charpoly":["326358227706495136860784000","-22611899694894988018433374","410605855091268250301971","133002797872639003650","-27245722792085231849","-81166447960286183","121019089265197","549872365729","-131292363","-1274719","-12","1"],"traces":["11","32","-20","11264","1034","-22385","159584","115497","611943","-627650","-771396","-1720771","3433434","4585896","5551840","18802384","29035398","26169127","21398428","72466260","61896432","100463524","-70799773","161844076","233562509","328796191","356379712","499445210","226699042","510413234","251932328","806116648","221442992","325378622","-355232072","-1034240009","573876170","-770782036","-1199522184","-1009699226","-1733596378","-6499506824","647370308","-4662321170","-5023123422","-205962976","-5436527248","-4050950401","4356386219","-10296502416","-1050918064","-5616607137","-3387203910","-21748294807","-10571441512","635842210","-4678697728","1991171353","15113662084","19934836476","23895772578","7557529251","56666471160","32993181147","3660035708","33342886858","46806014468","40754169364","128726860","-12274756860","45541532768","12763980783","63786612542","-41720765910","88573702476","5581739704","19147126968","-111443125499","21847812496","-67715736674","122793712411","-30216129401","40153340788","-221098994762","116854272412","-47307463306","-5595049008","-263050721364","37300228382","-419483354956","109416811256","-72498967552","-224700035960","-378035850441","-255722421456","-96864379937","-243602730","-514347061348","97029276404","-568775241748","199638817842","-544353437476","654559494048","-55884824288","799789795864","-779493850042","-92481774556","-316732775141","467525805650","342263510776","832644399952","568649506084","923927599414","-69204384958","-6655178662","569793287321","1398439907778","-193826032636","792330702536","429073603314","512771029375","250695285878","-34809434640","-72510499759","792191764356","865613324860","768410458848","1197624026964","-777504277904","-192287834494","-555086792892","-516555021392","2118763135488","-2740256899044","1245940857720","3316266134188","-61948313842","144077538055","867474389020","-1962000567348","-3383177079048","1356011032847","-165980352768","-5796833021717","319855289788","-3703393153395","-4161351415164","-1142576766836","-2715735961814","-3479129460515","482463056584","-7784384421650","-2332686891346","1085573214164","-2741178285704","-5163280528305","-3227236287598","3459761066786","-933538556072","8043145457052","-1027137361312","3788621806340","1739948236892","-3068775141925","-9514327460648","8567830672290","-7196631437920","5048409683642","2127270857901","-2369433478428","744423715628","16205642462042","1651382533594","5079466917899","2354391025840","3836774570796","3171272266976","18634214759710","-9788447367948","1588211467276","12690978604234","16317409076164","-4090246501304","-743378307471","-5682501358340","-1171722939989","1445401188608","13757829249981","-6296027325808","16602079375516","-6442678110408","5917621816776","3260133878278","1665378596466","-7054306443736","19117746431016","-2038730157062","4391867436962","7824718073376","-2370983615777","-10531667705536","29821030680904","-11564875765144","-11030381724722","-2246721049596","-14768080392856","-3938675044449","4490794468779","-8868876670296","-11784870223820","-15717478529236","-30756529714194","-11186416414320","-7857895867808","-40675680547984","-15924639901588","913515064048","-18474099562164","-41830095403560","9423844413180","-14064695276236","-39263864045666","-9410674579784","-39774551375402","17812009123929","30660191059442","-28831688820492","-30058014242122","27874534594938","4039770683950","-31412110020952","20262351754304","24983115730806","23763678344696","21506015615848","-9876984498504","-5318117887088","50026481426412","12963376324560","-75204143146418","65955137951110","-40079102230652","-51047854493276","103666123050186","49921377076730","-27265548177379","58138023599480","-51121036347524","73063129976064","22924352152684","-48753787922964","9402986080968","4964969244828","-58255167997151","52098490463880","152192618179840","25016404349126","-2670195386976","164426906130984","-37593202777296","46878885438210","61248290995755","48470766593960","-31335655070658","130391002536052","-94835102529680","-43751205993048","42628714541170","44977932485322","-39826672431138","25382765838024","54458732597346","-40525778160880","19731041459890","-5949840097452","11075472380453","98138706030666","-122405415191411","48776935044728","38317129503864","19061191313262","37017974144383","-30735626022196","24341997435665","-27891381968368","-122324856676298","-47508902334072","-337584792626067","-11507862042663","-117639067197602","-9384994185344","17803338570905","41644806901370","-258747338720485","-81488549311128","-202599828786646","100362004316544","-116447214395622","-22098758891862","-222643612179389","76127652904496","-162769798242185","-173846190159408","-27981706580320","109310780731684","-247812855703226","10571911432572","-201409898190908","174055324082240","-80153089674342","-256965677282768","-91144308219308","222855136569118","318895128353824","-192975577416240","56895389642930","59243301986314","192343025253398","-138580701374992","238488080394274","76081633758560","-29516399618328","-227686859898904","300901306803692","217790010094622","54943960094473","29703179343384","138833980987100","49194990951728","240253878972232","-377943074647412","-86395791048120","655212142585186","-105816433009392","-62440350410456","-2612562903460","155943778687494","319064734335967","-441022783059984","128520348489996","155620658381184","734259088976286","-69419435943344","426151210643574","-35733546521120","-169088435315456","65793136948268","397686406107753","276575509443466","427585060878544","-188703674122872","-203648118304870","213286269104030","169539750570008","-715018751103496","805605929369162","92809280721064","-179457171108143","-563834602926120","511371103027488","-67713697609777","612072776706150","250629632915444","181537387085250","402922625917972","522803020460714","-300655088719144","-121018592641712","-4840646821962","-244192125630080","-764405990131232","262172147594715","117373418520890","480808068252624","-957754120918528","-1186712587297524","-257183156212340","-1163592834528584","-324549028766908","-604185004096056","-511309806782520","-707273848296182","-669924876831968","-118640196014651","-755465921594000","-41003119455327","-126199084948060","394865620136944","1014407485537690","818915934515174","-186881780669514","-746947853601595","128559445954136","-425737189703511","-199228128532848","-130152059474222","229411560378106","321600877214910","-1160728614623616","-2019343560672632","-821164088372618","2118034188297662","-1238045852740312","570942654202148","-650861395175734","-26632828552436","69334599759496","351461088890758","355726368612614","293775413473658","-787200122527080","1051043163651270","1207647391037360","-168433477382561","-1911174572700472","50401455219549","1763780093256120","79664198185944","-46363434840420","2622754793634596","-468769896560966","681709015431320","-1153270960545200","-2228620298519644","2060764372743818","-1871484818203185","-585796733606384","-610352834446680","2852763918719280","-352966020635624","311051420382176","1709858935390025","1165275774452646","2256966174411640","1115334578045512","-13982887414904","-137727622268804","-1642214238259093","552521358823024","-42056905025924","2430892865198223","1122692563605988","1222569818467108","-1125931051168332","507445212490548","-2168545883206700","-817722587741704","2246761189064766","439520846881790","-1074068757749651","-1265343701309376","4129278773904256","2273954043936448","-1412842360180402","-1572879578459928","275210752560440","1665054549583294","1333535469294880","372816803192472","-466417705287180","-1206821749885878","2612329890732156","836536802312304","618621696515645","3540283840174240","48512144277859","-751522260164836","607092880049472","-2411325598014360","-3423451174246702","1251520315639768","-4056444529876072","200685960815688","-2775874801949506","535539678466308","-656625023938424","236432486886098","-2706625080238449","139454916106120","-1523447501709268","1529264095899676","-856900139927412","-398386666828176","-6451439556224960","1671758406579804","-550918059741368","-499985173232592","1255828008365324","4846800359101328","-8346603858926034","-1852215697031508","-2986974609450725","-1307681084960076","3834609988456538","-6772807385179744","-9924943076005133","2916562210729664","2456992569538932","763940769195764","-2183375109067488","-1417340007321552","2859976238993626","292899577647304","3555923527837680","439220323522892","-646617699452732","-3950919627588092","15275634258639","1237855169726978","-598061863998636","824801163204376","10101549588546257","-2340955282589584","3814584245469171","-1826636919720392","-9567881821867824","4808591944599392","-8199782286895620","-3561787040556736","-2264900396271226","3236249969055662","1051938084341824","132540441445580","2885995282403297","5983554245909920","-1890721413075550","2859293127421784","4779824800680758","455691623350139","-6418021890448724","-1695831956279180","8005347700192972","3383621728669492","5205981282506164","6715553877289776","-10253340081988660","3595085481914088","-3948951586982239","-6035067302973508","10782549855652452","-2549269449487686","-2254762485702368","-4238157953495296","13230159797875220","-897379135146524","-7595143763040392","4708990889193812","7493243557490474","2278647877618106","7184625236756900","-3227725244750952","-1041683985654068","-1761534748469168","4238114205615165","3621933350637752","2567359818769127","982632468033810","16966871313180278","1275373977796968","1159275565435244","-10194191376937112","61702663039546","4966603370582412","-5451497328755729","-4458833044130292","-4767150923585616","12346645362491104","5304252856210584","-591004964739442","3988421079731036","2351220910345036","2264593716949584","992688486508928","10742996249872844","-1503288419864587","-20211562346407575","5522693091711118","4750102944940272","-2949554121496704","5239992256075920","-858216433722920","-3157511036415464","1958378413965264","-9659625222411488","-23728901767595684","8958012873857864","-12931476580550428","-12982869831057355","2919719411472","8665718835671960","-10496921392036848","-257701399562174","-7253830702932042","7116799400404742","1856493808342240","-2370282096569154","691691156717088","-2116245062369513","-11418911456860744","2579900361191984","-4487231266328866","12528149810725416","-7132464256647716","16647247128131977","-12973670927821406","-13756545404204910","2868395449434400","-24283755599572768","7872770730686704","-12239992505211572","-13684141646413272","-3501998083212422","3738437360333802","8292593315226864","-8989172634188472","-6041591464598840","-1651279021507074","5545417498082060","13647889473093796","-7221601030285572","-2293782064673216","-5643037873091221","-1212045967532160","13374453100090317","3590344258001023","2674261984528998","13450341119545920","-7257825099889000","-6990924191894452","-30147600453415592","-7529524466554392","29226382813139880","-15326792501701488","-3830715222854988","-3884531825920696","7053275268311198","10174570135891138","2180306425305210","8078598002288040","8249736768553202","-4037896948782458","28260169607755846","14561796856496596","-3214600681267030","-29345345935578400","1995474871485788","5044278367073752","12352156134895353","19782210260248576","11684253653143813","-26307576274138152","1519679877060475","-13519172628430910","-8286753975952528","27912688376134272","-25942657870523189","1156628916844918","-6488566967935528","17399372497936132","9581146118567812","766811750229850","8573660843479881","4620969820725560","18982654685477736","3765647599429904","4445792204694916","-1459112792083406","-7232308997206900","1907337077099848","2320085474784088","-3034173304852752","29935401654080026","16571652092479254","492405560909350","14047469919510152","-31395991778529929","-10634412615603062","18909691985654980","8047299377583400","-472206304783608","-25070857267772800","20374277035438802","13292066408741084","6239567093227066","3911828865615348","4153985493344200","32615098403689128","36912525371566906","-299221665830372","-3285194645763262","-4603199008301540","24941081816995016","-9713628910618848","-8361859862189528","5054990588413600","7003764759173564","-56648456630324","-3467554985324103","-7333998760128088","-44046948366859666","-4963594269724958","-21787814001028445","21700305221221328","-24594780260012900","187744400006976","-35482027333814067","17472699476553712","-15804664314713932","2641848659869770","4250275242633034","14195005428089824","15381989386679954","-1621522875796504","-39391652427656996","3727051761725624","-29905752420762993","6224638723342224","-4029727505287922","11262274875265024","-35666071578698824","-13422763008780872","-28548249757167704","3137619105906432","27079453256009216","-26486661119714842","-25835154193861485","-7912999004889952","11081782843740514","-18382175306620857","-44523319343840394","4810867693759704","-2465703520166986","-4804939805365406","-11360962667952028","30178529483525696","-5188443244538264","6672311459702032","18322801653842016","24514522699471548","-8206664911965612","-19135231140665632","-7860904021067056","-2464484629912176","-1870629314184830","2351841804012836","-29539966919773970","34186441076630700","-43933509004253248","-39644772570709904","-29551478461799916","11216824505145264","15275034063589063","-11533076019034512","-13629962847981999","28735547131367848","-27644464682576470","10679751616152650","13262870746374234","-1425283051458256","-49584493498959788","-2333305721806450","21138282134854193","33580732341306144","13740851784891120","4404866228972868","-21061918741946892","14924521441761784","9074993648699001","-13276667196153514","28190345242892280","-21739856909761304","-7788854157153879","205817490058650","37956793550909214","14638604115841264","16905989554031732","11727590089923976","-10573153864618636","18868179235197896","55979860410753636","-27025626765294336","-2094248416059346","21120752873852544","-37726535861430644","-25204522177797564","36441300710678287","30079888839370204","40583603982140277","7707838784088064","-25304250099247956","5708957377397736","16593891184775330","16103265856928332","23101058322121767","-5259091475621936","-16576530520426044","8830444512250306","22979727179032464","13598634474319592","10418108140177996","-11984930504278762","15689492584288344","-2914501150932096","7719160735286296","2286395459992696","24100111094689201","18575258981029784","39726740646085802","-8088715233313306","7610839749517190","14135535555479428","18025733753174894","-11029015971985696","10967847916356712","26606757809342736","3066802703453312","15636781883696632","24725815961131073","67849670774249824","-32553898851320280","-922908363725998","55694939334684636","11535721116465208","94188642379914410","-6710252978325616","-79578997418716824","6674818759982036","6656723442247087","-1519586729957510","27149547363692692","29326095212352608","-38794123129585380","-4869009594944154","5168010891357073","-11413318853576528","36037447280613188","-78758894818837328","-38623751459616590","-25980003706394048","43657571728446928","-67714376395653907","84322163195319432","-11205739296648592","-61508198610323396","-60401615985620746","27725607133577150","-16177345093192496","-76469320806339822","-20444136638503216","-61072686192606510","-3693663869646310","21110943101291635","-36967161227192110","25000182286276424","-69521747764291408","-100059619291351886","22005522555874470","7121221488518542","-26664146546954012","49930990218505704","-47048207714759136","-122459628479492004","-23272754879404784","67553960632052201","6101760227131708","-12522492548640048","-16549686190117892","-31354734143102386","-97164642337175392","5959540569791722","-26455687773497456","-50239806886789456","-51809928189375314","4961017561934348","-8807668272912976","-33498730399972035","14305206133758570","60903518771991809","-64146803605192072","-49215668042766056","66008882013398","97678049367219911","-823004399034932","72453012793196430","-90779363105686224","-36300066605374713","16583479669074160","59094314526116862","-39321524977035616","26457852240115088","-2537559987716692","8131750904193900","-55017941305481936","73141662922329298","-25639180952566960","23934054306506084","7720536212333112","-43531023887024872","13129594854271760","21467452624280157","-36491212496537036","-7576146573080754","-115531904467982720","-21467914634155496","38426700021421196","174953413490997103","64606935511749972","-54437199101379648","72890593534261906","-27824076418472420","1143116693873088","11621009979064738","98824781865954208","33364729148560562","-33392344385522912","-116163166058115780","-92638985212853200","-62722620434109708","37809361449397840","6498770545370518","44415993749229552","-55481985634788031","-11942548990988112","-9600577411106748","-3544458736793562","58099564477587268","29435515733222392","25052010062190859","68615638876801246","179945800836825222","7388895117822764","112334617520443567","71411837686554248","47074682556596916","-68003198606314352","23124540327516206","17881394199580350","-6087211626019188","-8106192778943528","14057796098494380","63026318526081554","14739747106900120","11158020912365654","182357390213953052","51888289108050184","-91409706744473300","-35667181492985804","78154735891888578","-44860716150412708","199217477163078676","-36406701932079488","120584718947226860","44978172417560734","-59646996301753492","164884411178723672","54942854017430621","-7106144912197344","-163858891708508152","-28942627549565616","51916956472972438","185821398279333083","58424109347333598","-120485422883654108","-79540752687310126","-107179991106507100","41833055250104632","105170992436221120","14841643642672437","26402909790105008","-8381837493967348","64378894497078324","-205190342804188624","187653402190572176","-177992946510486723","104953838393547920","282685796374889682","-122032625169860986","98340117129157929","62366139799477560","2501014810922316","-78540118187251590","-158549103079144247","21510238421862120","-100014802424671176","108002424120120668","-75825993609551460","-166950549898027080","-128976878761750878","-4166697350303644","218235922626377368","-39316680289113472","-318680033326978469","34200923156590760","-170322920669378208","-268270150938540792","85802699223702970","138434649995544882","-7802743032906509","80803967711591528","-180987335022444956"],"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.b"}