{"label":"9.12.a.b","letter":"b","dim":1,"charpoly":["4806","1"],"traces":["1","24","0","-1472","-4830","0","-16744","-84480","0","-115920","-534612","0","-577738","-401856","0","987136","6905934","0","10661420","7109760","0","-12830688","-18643272","0","-25499225","-13865712","0","24647168","-128406630","0","-52843168","196706304","0","165742416","80873520","0","-182213314","255874080","0","408038400","-308120442","0","-17125708","786948864","0","-447438528","-2687348496","0","-1696965207","-611981400","0","850430336","1596055698","0","2582175960","1414533120","0","-3081759120","5189203740","0","6956478662","-1268236032","0","2699296768","2790474540","0","-15481826884","-10165534848","0","1940964480","-9791485272","0","1463791322","-4373119536","0","-15693610240","8951543328","0","38116845680","-4767866880","0","-7394890608","29335099668","0","-33355661220","-411016992","0","45164021760","24992917110","0","9673645072","27442896384","0","-64496363904","-51494658600","0","75013568546","-40727164968","0","37534859200","-81742959102","0","-225755128648","48807306240","0","38305336752","-90241258356","0","73482676310","61972223040","0","-16528605184","85146862638","0","90047003760","189014559360","0","124540889760","-115632958896","0","498319933","166955487888","0","77785143296","359001100500","0","-262717201024","-338071388160","0","66971388960","-631528759932","0","-178514816480","-371563845216","0","-583413304320","297198746214","0","596793577940","-119045821440","0","-234995646528","308865667656","0","620204022900","35130991728","0","268217998208","1115433620850","0","-824447297848","-900676761600","0","214837039872","255232501440","0","1315116754406","914804296320","0","-950091448320","312162946368","0","-357832759588","453553290624","0","704042392032","-2754833892216","0","-1458379197393","-800535869280","0","25209042176","950387449578","0","426959023400","-527734751232","0","599830010640","-1681384224780","0","-996774496018","232167481728","0","1574983618560","880090306620","0","-3691995187608","3955776986112","0","-1235871806400","-2762403350592","0","5442387685442","1800325645104","0","2497932784704","2876091504354","0","728391402200","2154174528000","0","-1961831018448","2150040612720","0","1488221734860","-5418123087552","0","-570305978368","-5699723069040","0","-6793168439188","-2349393987456","0","-2165790200544","82717169640","0","884806004992","1763584231440","0","-3800963013120","-3989820497292","0","7334863021472","-3293650354176","0","2043524703312","1359839565924","0","-11824411223170","2161128090240","0","10847792102400","17563353448518","0","12979893235680","-7638507905280","0","-2775191013504","7139577462960","0","-231306909358","11959678392","0","-10239936590464","8196341949810","0","-6159507467960","4464190832640","0","8616026412000","-12983053545252","0","9966916930464","-6305212824576","0","-13641873096704","-23961192565506","0","3050979729616","-4107578522880","0","-15156690238368","24273728464488","0","-7708949021340","-4284355595520","0","22789249173248","-25837706543670","0","-3767932360528","6817096065024","0","7132769909136","13632191675700","0","-16418932005874","14323045870560","0","-6832194969600","-21035722907082","0","16713176326532","14413066320384","0","7412776023744","5159168680848","0","13420028104723","14884896549600","0","-2154700825984","23926858987458","0","-25063854064200","15393380766720","0","26770406900400","10770926678736","0","286752854752","-19786735148352","0","10524271493120","-33599791937460","0","15311092828556","-13176671778816","0","6125580034560","-49875160575912","0","-99480832756438","31562802105744","0","-56107996840960","-83369248359366","0","68647725277560","-13037603389440","0","7491910712832","73627062866280","0","14731871253050","-8587986230112","0","26030014940160","44996963217024","0","-63584021925868","-43181266711296","0","-66116013413184","74777223849720","0","121001428335986","-35001100737432","0","49099533315840","28250591730816","0","61522344410800","1446779811840","0","22809298789872","155661561078204","0","-25643022194650","10247016561600","0","-105161550594048","-24909815245602","0","47292873863760","-36789573985920","0","-40353221394720","-157584150853560","0","-2824382481819","-23922587904432","0","-14239605545984","-7070112085260","0","-177901220129584","-18403444948992","0","21122167358880","-26724356607312","0","-55161734023378","-88607884502592","0","227027200942080","74185389602940","0","146463116322980","75800137459200","0","-66297680414208","-231449571733632","0","-43235954274240","130617304450608","0","-110419972899712","149871571611810","0","-128749205976048","143359620687360","0","69026196104496","-184104364634400","0","208110680273846","17481393652800","0","-25171202969600","133407937691598","0","30529506193984","120325635798144","0","51600974705280","97413424224168","0","-206167580638390","35717321636640","0","332311549369856","-86888027422560","0","-141688531396440","-113644706660352","0","-136793353656960","-73403515193820","0","171111932338622","-163036042540512","0","-134834785367040","-176095964901150","0","-116479278716528","132835132300032","0","1985212071360","71775829446768","0","99881248225682","21235344119808","0","-108166499528320","-198763752966240","0","-29031220908760","-218142225100800","0","-95755691935008","-328369848718692","0","-120715789641300","176036712515328","0","-45197025083392","612368143631550","0","164724885738504","-125336181803136","0","32636149582176","-46723705697760","0","303483032911706","-283785869356080","0","-132549189534720","729307946668938","0","122188164073712","-126754807111680","0","421520482764432","617380683662484","0","259227709345696","311517437656320","0","-438383931955200","9155609005296","0","-271857947399500","170211715494912","0","171349859111040","-1050837984850080","0","105271555603732","-5551365824592","0","-733526941376","-362315536077180","0","-219909971761864","-587683317365760","0","196712206795440","483863128068108","0","-886767711942420","-147828179231040","0","-52163393486848","163948629394368","0","-108877719272500","-528449619936000","0","-311593285086048","-506588355787752","0","394818492462660","239206006331136","0","386719719907328","-85753393288710","0","-24509721895568","364965248630784","0","-575068621572144","1090397271369840","0","1436688754143552","73223513510784","0","-235739289139200","-927574652509722","0","-21818651341228","929610334619904","0","582569483147712","-364931430558912","0","-605238167047943","-185014776512160","0","262773809858560","178012887920196","0","435865277859480","1307904735160320","0","-620104957048080","907217963244684","0","-1695266465052058","-90430376652672","0","1358440752807936","-354921326577300","0","752144751323996","-437476554427008","0","327172600216800","-1368997013214600","0","-638228464065920","-394054368140976","0","-878480146727680","-187489032934806","0","9894172288504","79833163038720","0","-504857349769968","-244971285916812","0","-411259346541540","401116231836768","0","827184675778560","-1352425875836970","0","1432228477996772","-454650262789632","0","123820048340352","475388987464200","0","-877659324192574","322080674513352","0","-912940321708800","-491186908840992","0","-853270528819176","-123661090882560","0","574244615698992","2434250501782764","0","-563383208178560","-601532497540800","0","-179869321928704","303318212278158","0","558507191467680","-1641918289891200","0","258502240289664","1701984261329400","0","2339216023326602","6882068514048","0","1213586422432256","-2406885276390","0","-2496072486898144","2097168523591680","0","-806395006499040","1552583345382048","0","2473009012516862","367466227885344","0","-756226380349440","-24336777156666","0","4225450805148020","-375702242119680","0","-1197003853821888","-418481404089840","0","-488895969711875","-2387539986154512","0","-1935851862485632","-1258353120405276","0","-4263261111420568","-3220111123046400","0","-2000861960624784","1268924080945920","0","980401284761766","1647545406661440","0","1632884804812800","-1008295928583042","0","303982416160892","-459503857053696","0","1767049508790720","-3435828424131096","0","-2774210589848880","353564910073200","0","526729822113536","1185387156769098","0","3050283910471560","-304156780634112","0","1079927117208576","2265102374509140","0","-5330121520762738","-1526016526220832","0","-2478229219952640","862226563598400","0","2393919729693360","4055115489341952","0","1794653372393280","-3719016970449144","0","4741198635421922","2904034280063664","0","2146734178562496","1413071638641474","0","-1256027191734224","2817886259865600","0","678014201539584","3031157627077068","0","-1435469944213620","1476536265859200","0","-16905402892288","-922102026851124","0","-2747313442193908","-1398970325778816","0","3735877465876896","-2882512981450200","0","-2127859436502828","-615432532671600","0","-628483682444800","-5727465442629702","0","-1942652670145880","-1443076443734016","0","-597835565894448","1368704107203888","0","698326457818910","1135028972730240","0","-2111401637452800","985169554365696","0","-1491821174778480","2474997578876160","0","-3782019620485440","-9709787093595120","0","3780043874082112","-67785179563656","0","1467252058138496","3274269549861750","0","2464686886685576","-817229535682560","0","-169682690046240","-118269009151272","0","7912852398754982","-4269629283110016","0","-3667249129586688","8276770434109008","0","-8406936179151460","-1295492931344640","0","-641384558575488","-1362869794471992","0","-5387544388705500","-1323881616561072","0","5434616916158976","1510999629912864","0","6817220120892752","-2652778444947456","0","1780449350470560","3982080448605840","0","-667048975014994","3515114791751520","0","4350268758528000","7744079729695638","0","-1230393932134640","4066257732071424","0","-5554789721607168","-2998000190340120","0","2524111226919170","-1037662902581760","0","-8011194672970624","11145268112466978","0","1347459830544800","-6337146270766080","0","3596917718683440","-3285001442747640","0","5234645524234464","-3089980943425152","0","-1675135446577152","-6352013923780980","0","13227104255899436","-4233606694409088","0","-4418504751225600","-1425699068010672","0","-4019022069226556","4994656326572304","0","-1072192144038400","-2302477758246246","0","-18558651348375264","-5015858304614400","0","3201790504598352","-782560406237064","0","-1507747030957440","732708148655616","0","6905645184936960","-5604717670694010","0","-5085164185024588","-3164859781923840","0","2337922181380032","1728332228810040","0","-182584365785360","-4948021935321360","0","-2190662393713920","-279110773799022","0","-13526517861603928","19071793268183040","0","-2085312658141440","-272543929352676","0","18045917610367430","-3400524753514560","0","-1559486316150784","-11719129719838338","0","13305847699403280","8389992357626880","0","-1761684364651680","7961834707368360","0","4287752862251071","4106686376126928","0","9999543942484736","7043971523408190","0","-8343868958152","1575524037500928","0","-4226303157627600","3397052374923408","0","-14982644001390898","-2795502689196672","0","7623581505914880","22256130175851894","0","5442366024533060","-121759673710080","0","1722619906722432","-10810987426382112","0","-4590371381461740","2397149957416368","0","-1302434439348224","-20377723102676160","0","8944439700308392","-6207816494668800","0","-4770330071189760","-6011114426772000","0","-28102437759471274","-696749301810240","0","2548958848450560","-4222089494633682","0","516091995437132","5873015772013824","0","-7880876369248608","-5719060466578536","0","4398936813945856","-2897178951391200","0","-10796918367606784","-28650951002224320","0","8121085805687400","5660667323351040","0","14696835447157200","6785413121403840","0","11022255310711932","3953397257724096","0","-7193206955658240","4814420815766940","0","-84377784300844","-2001683841040128","0","-1121368936746240","11009058285505488","0","-15682896303708816","7283592789880944","0","17405533320506240","10574317556301408","0","-4863513801242680","-7607170877644800","0","17503390720054512","5656913118074736","0","4646298291681650","2932515937769088","0","-25258393596395520","-3575343976258530","0","-18092058797213940","-25853256276218496","0","14817136407899616","17832336756146640","0","38637331724206586","6221465024296704","0","-19106402842920960","34899727878407658","0","5744373208966224","5122449823088640","0","219734616127104","28512291118415604","0","-845687870789636","-6524590737588000","0","9768672367534080","-40033434235820202","0","13342408183359360","-10509458025477120","0","-25220111636401920","-4976295806607216","0","-22616076492128607","2526517334489568","0","340483770574976","-26286732520684860","0","18495304308397016","-42098067939840","0","-8695572865852320","21487665696030828","0","-9992711669027360","-5277839322284736","0","6866990520492032","8738799717564174","0","-13361513402011320","-12065015350120320","0","11612715073634592","-11892426157508232","0","-13891521966029820","-21282425086618080","0","9066794992837120","319279232436576","0","23440857788319392","-10394584268931072","0","3934767105464832","-3518130472626000","0","-21400415987399554","-2613065262540000","0","-30328412970240000"],"space":"9.12.a","level":9,"weight":12,"T":[[2,1],[5,1]],"status":"proven","derived":{"al":[[3,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/9.12.a.b"}