{"label":"25.12.a.b","letter":"b","dim":1,"charpoly":["228","1"],"traces":["1","24","-252","-1472","0","-6048","16744","-84480","-113643","0","534612","370944","577738","401856","0","987136","6905934","-2727432","10661420","0","-4219488","12830688","-18643272","21288960","0","13865712","73279080","-24647168","128406630","0","-52843168","196706304","-134722224","165742416","0","167282496","182213314","255874080","-145589976","0","308120442","-101267712","17125708","-786948864","0","-447438528","-2687348496","-248758272","-1696965207","0","-1740295368","-850430336","1596055698","1758697920","0","-1414533120","-2686677840","3081759120","-5189203740","0","6956478662","-1268236032","-1902838392","2699296768","0","-3233333376","15481826884","-10165534848","4698104544","0","9791485272","9600560640","-1463791322","4373119536","0","-15693610240","8951543328","-3494159424","38116845680","0","1665188361","7394890608","29335099668","6211086336","0","411016992","-32358470760","-45164021760","-24992917110","0","9673645072","27442896384","13316478336","-64496363904","0","-49569988608","-75013568546","-40727164968","-60754911516","0","81742959102","-41767088832","225755128648","-48807306240","0","38305336752","-90241258356","-107866805760","73482676310","0","-45917755128","16528605184","85146862638","-64480268160","0","-189014559360","-65655879534","-124540889760","115632958896","0","498319933","166955487888","-77646351384","77785143296","0","-45668121408","262717201024","-338071388160","-4315678416","0","631528759932","198311113728","178514816480","371563845216","0","-583413304320","297198746214","112754509056","596793577940","0","677211820992","234995646528","308865667656","-112181096448","0","-35130991728","427635232164","-268217998208","-1115433620850","0","-824447297848","-900676761600","-784811057562","214837039872","0","214308444672","-1315116754406","914804296320","-402206035896","0","-312162946368","39964520664","357832759588","-453553290624","0","704042392032","-2754833892216","356462346240","-1458379197393","0","-1211595753060","-25209042176","950387449578","-776603298240","0","527734751232","1307679342480","-599830010640","1681384224780","0","-996774496018","232167481728","-1753032622824","1574983618560","0","319595480064","3691995187608","3955776986112","1226984915520","0","2762403350592","-680222785536","-5442387685442","-1800325645104","0","2497932784704","2876091504354","-1458117876384","728391402200","0","-3901420374768","1961831018448","2150040612720","2561714781696","0","5418123087552","2118677359896","570305978368","5699723069040","0","-6793168439188","-2349393987456","-2467454288544","-2165790200544","0","-6190616678400","-884806004992","1763584231440","368875413144","0","3989820497292","-1102026123072","-7334863021472","3293650354176","0","2043524703312","1359839565924","3954789780480","-11824411223170","0","-2255788918656","-10847792102400","17563353448518","-1575741108816","0","7638507905280","-9605445111360","2775191013504","-7139577462960","0","-231306909358","11959678392","-13400796651732","-10239936590464","0","-1863512433216","6159507467960","4464190832640","-7392445116336","0","12983053545252","2800978113024","-9966916930464","6305212824576","0","-13641873096704","-23961192565506","-103576281984","3050979729616","0","-14592514653090","15156690238368","24273728464488","11381333483520","0","4284355595520","6298215111720","-22789249173248","25837706543670","0","-3767932360528","6817096065024","-2437758558144","7132769909136","0","-6915609888768","16418932005874","14323045870560","6005256141024","0","21035722907082","16253083703808","-16713176326532","-14413066320384","0","7412776023744","5159168680848","-22354294505472","13420028104723","0","18903419273592","2154700825984","23926858987458","10263245571936","0","-15393380766720","39175875516960","-26770406900400","-10770926678736","0","286752854752","-19786735148352","-20599225693704","10524271493120","0","-18835465381488","-15311092828556","-13176671778816","-56890292419296","0","49875160575912","12299441172480","99480832756438","-31562802105744","0","-56107996840960","-83369248359366","-9652944861504","68647725277560","0","22740797105712","-7491910712832","73627062866280","-2451157267392","0","8587986230112","-18517634430120","-26030014940160","-44996963217024","0","-63584021925868","-43181266711296","-20707267642902","-66116013413184","0","-4165208506368","-121001428335986","-35001100737432","-21457009384776","0","-28250591730816","-29078298073440","-61522344410800","-1446779811840","0","22809298789872","155661561078204","47631668958720","-25643022194650","0","42336109121040","105161550594048","-24909815245602","31384304219520","0","36789573985920","-29139505641792","40353221394720","157584150853560","0","-2824382481819","-23922587904432","-125576623116","-14239605545984","0","-42072782947776","177901220129584","-18403444948992","-35015731390206","0","26724356607312","-19601856110592","55161734023378","88607884502592","0","227027200942080","74185389602940","29447637972480","146463116322980","0","-66204734658048","66297680414208","-231449571733632","85193989816320","0","-130617304450608","-1946216834244","110419972899712","-149871571611810","0","-128749205976048","143359620687360","-159145247502864","69026196104496","0","89431229751552","-208110680273846","17481393652800","-44985733752960","0","-133407937691598","-93634088994432","-30529506193984","-120325635798144","0","51600974705280","97413424224168","147020152688640","-206167580638390","0","-74894084045928","-332311549369856","-86888027422560","50848256637504","0","113644706660352","-150391981640880","136793353656960","73403515193820","0","171111932338622","-163036042540512","305398345130928","-134834785367040","0","-59218902925056","116479278716528","132835132300032","-77834148249312","0","-71775829446768","72336417914880","-99881248225682","-21235344119808","0","-108166499528320","-198763752966240","8853009915456","-29031220908760","0","192848217019101","95755691935008","-328369848718692","67590935548416","0","-176036712515328","281089272454200","45197025083392","-612368143631550","0","164724885738504","-125336181803136","207760719057696","32636149582176","0","226970543923200","-303483032911706","-283785869356080","506060490060720","0","-729307946668938","-54138934047744","-122188164073712","126754807111680","0","421520482764432","617380683662484","96645454674048","259227709345696","0","331409422110312","438383931955200","9155609005296","-230530682672640","0","-170211715494912","-181380557687814","-171349859111040","1050837984850080","0","105271555603732","-5551365824592","78665062484736","-733526941376","0","-321619119641568","219909971761864","-587683317365760","-90173855416176","0","-483863128068108","114295429237248","886767711942420","147828179231040","0","-52163393486848","163948629394368","-177418682792064","-108877719272500","0","694218140838432","311593285086048","-506588355787752","160751787356160","0","-239206006331136","367511557743036","-386719719907328","85753393288710","0","-24509721895568","364965248630784","781259049093600","-575068621572144","0","6352678628352","-1436688754143552","73223513510784","-239497637293656","0","927574652509722","-350220351674160","21818651341228","-929610334619904","0","582569483147712","-364931430558912","-132989157310464","-605238167047943","0","589716680624820","-262773809858560","178012887920196","151157162681280","0","-1307904735160320","-423708824644560","620104957048080","-907217963244684","0","-1695266465052058","-90430376652672","251187172996536","1358440752807936","0","-58506205395456","-752144751323996","-437476554427008","-790555104585666","0","1368997013214600","-396895871877120","638228464065920","394054368140976","0","-878480146727680","-187489032934806","144126147384576","9894172288504","0","-930382787277216","504857349769968","-244971285916812","-996855800500224","0","-401116231836768","27881913916584","-827184675778560","1352425875836970","0","1432228477996772","-454650262789632","-696125644349184","123820048340352","0","-306756182605824","877659324192574","322080674513352","1371481696731384","0","491186908840992","453682062566208","853270528819176","123661090882560","0","574244615698992","2434250501782764","-629479061745408","-563383208178560","0","-724775059097208","179869321928704","303318212278158","940221012407040","0","1641918289891200","-183554633354400","-258502240289664","-1701984261329400","0","2339216023326602","6882068514048","-1759401252578412","1213586422432256","0","-494381416648896","2496072486898144","2097168523591680","-541810234405440","0","-1552583345382048","1155241876731264","-2473009012516862","-367466227885344","0","-756226380349440","-24336777156666","-1365367018063104","4225450805148020","0","-1366161820349760","1197003853821888","-418481404089840","-143717106548736","0","2387539986154512","-1436330213398080","1935851862485632","1258353120405276","0","-4263261111420568","-3220111123046400","1711878446675376","-2000861960624784","0","592047284838912","-980401284761766","1647545406661440","-1112733760765896","0","1008295928583042","545779130537088","-303982416160892","459503857053696","0","1767049508790720","-3435828424131096","-140675112737280","-2774210589848880","0","222971113257984","-526729822113536","1185387156769098","-444423226322880","0","304156780634112","166349637206046","-1079927117208576","-2265102374509140","0","-5330121520762738","-1526016526220832","-1005434765317584","-2478229219952640","0","-496974423429648","-2393919729693360","4055115489341952","1848385481410944","0","3719016970449144","-829999889252352","-4741198635421922","-2904034280063664","0","2146734178562496","1413071638641474","-514968225234624","-1256027191734224","0","-342679570612848","-678014201539584","3031157627077068","1783468948504320","0","-1476536265859200","2979751628238840","16905402892288","922102026851124","0","-2747313442193908","-1398970325778816","-1017280238423904","3735877465876896","0","2733643609804800","2127859436502828","-615432532671600","-4425965069026536","0","5727465442629702","1016066618904960","1942652670145880","1443076443734016","0","-597835565894448","1368704107203888","-1924903992130560","698326457818910","0","-4331712693612240","2111401637452800","985169554365696","-699348135403008","0","-2474997578876160","1799173520665920","3782019620485440","9709787093595120","0","3780043874082112","-67785179563656","58289341158216","1467252058138496","0","-3013838954784","-2464686886685576","-817229535682560","3082017633650397","0","118269009151272","2580464020796928","-7912852398754982","4269629283110016","0","-3667249129586688","8276770434109008","-840377553364944","-8406936179151460","0","-1552195881925920","641384558575488","-1362869794471992","-1124976089825280","0","1323881616561072","-3333728731570524","-5434616916158976","-1510999629912864","0","6817220120892752","-2652778444947456","-3271729493403504","1780449350470560","0","-1806121795645440","667048975014994","3515114791751520","2511663066476928","0","-7744079729695638","-1588913631793152","1230393932134640","-4066257732071424","0","-5554789721607168","-2998000190340120","3437752020369408","2524111226919170","0","6038220526507512","8011194672970624","11145268112466978","-46709204021856","0","6337146270766080","-768846891863232","-3596917718683440","3285001442747640","0","5234645524234464","-3089980943425152","9409519712300400","-1675135446577152","0","-3819485940068736","-13227104255899436","-4233606694409088","-6116979573050976","0","1425699068010672","5132574924871680","4019022069226556","-4994656326572304","0","-1072192144038400","-2302477758246246","-1079657610071040","-18558651348375264","0","2840270079131730","-3201790504598352","-782560406237064","5742890791658496","0","-732708148655616","-6511102049004840","-6905645184936960","5604717670694010","0","-5085164185024588","-3164859781923840","949518954853056","2337922181380032","0","-1717908208386048","182584365785360","-4948021935321360","-1099342046917296","0","279110773799022","-1797458017102272","13526517861603928","-19071793268183040","0","-2085312658141440","-272543929352676","-3118693073766912","18045917610367430","0","-4137570865480248","1559486316150784","-11719129719838338","-3609407559381120","0","-8389992357626880","-3872298735325440","1761684364651680","-7961834707368360","0","4287752862251071","4106686376126928","-5301002172584664","9999543942484736","0","7329560283142272","8343868958152","1575524037500928","4211720434286064","0","-3397052374923408","3632092712736768","14982644001390898","2795502689196672","0","7623581505914880","22256130175851894","-1868019557983488","5442366024533060","0","-1300110507573696","-1722619906722432","-10810987426382112","14414456987320320","0","-2397149957416368","-3381847082390196","1302434439348224","20377723102676160","0","8944439700308392","-6207816494668800","8524766970273078","-4770330071189760","0","-542984608147968","28102437759471274","-696749301810240","-6029568464839416","0","4222089494633682","4628357208458424","-516091995437132","-5873015772013824","0","-7880876369248608","-5719060466578536","3879131953213440","4398936813945856","0","890229680050932","10796918367606784","-28650951002224320","6746142538900800","0","-5660667323351040","2714273523041472","-14696835447157200","-6785413121403840","0","11022255310711932","3953397257724096","-72261719397504","-7193206955658240","0","4986257257384704","84377784300844","-2001683841040128","-9289515101228586","0","-11009058285505488","-2652116416266240","15682896303708816","-7283592789880944","0","17405533320506240","10574317556301408","12145451761457280","-4863513801242680","0","3858395392796112","-17503390720054512","5656913118074736","3320521288261632","0","-2932515937769088","-25655490084944664","25258393596395520","3575343976258530","0","-18092058797213940","-25853256276218496","-12568540465129824","14817136407899616","0","5546608703032320","-38637331724206586","6221465024296704","-25069169854622376","0","-34899727878407658","7953826130647488","-5744373208966224","-5122449823088640","0","219734616127104","28512291118415604","14139215203921920","-845687870789636","0","21009050586560232","-9768672367534080","-40033434235820202","-4353133384507536","0","10509458025477120","-17299226769945120","25220111636401920","4976295806607216","0","-22616076492128607","2526517334489568","10255287323350908","340483770574976","0","1887961499633664","-18495304308397016","-42098067939840","-18554019842302560","0","-21487665696030828","19725972671349504","9992711669027360","5277839322284736","0","6866990520492032","8738799717564174","-2164172529988224","-13361513402011320","0","-8350791783897330","-11612715073634592","-11892426157508232","6559563764920320","0","21282425086618080","11339234730690048","-9066794992837120","-319279232436576","0","23440857788319392","-10394584268931072","16023173525318736","3934767105464832","0","10881679211246592","21400415987399554","-2613065262540000","13352424013671120","0"],"space":"25.12.a","level":25,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[5,null]],"fricke":null,"sign":null,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/25.12.a.b"}