{"label":"5.12.a.b","letter":"b","dim":2,"charpoly":["-203644","240","1"],"traces":["2","-20","-220","6976","-6250","60184","57900","-246240","-20846","62500","-618176","-1927040","3414260","1334472","687500","6005632","1317940","-12548020","5325320","-21800000","3836184","-89491840","58943940","122180160","19531250","-80761736","-26769160","163685760","94140380","-188075000","244543464","-627301120","-442259840","445358072","-180937500","182418752","21003220","941752240","-624203992","769500000","-745743316","1429793040","629950100","-242725888","65143750","-468194856","-1402061540","-6375522560","-1941677414","-195312500","2300559784","12841321600","1138320580","-9205154480","1931800000","-3990553920","4720910480","7387417960","7317515560","6022000000","-1516425676","-28564327440","-2848632180","819531776","-10669562500","-2975464192","15734290140","-4573774720","-5837195832","-4170225000","32938471544","-18354067680","-29982848860","68768198072","-2148437500","-1325392640","-34734748800","110356370800","-3302823120","-18767600000","-43884431798","-74630515640","13299102420","-15982487808","-4118562500","-56706093896","34064940920","-80794874880","-12674770860","39212562500","90637859064","203171571840","-166200542640","-60289765528","-16641625000","105515416064","-3080703740","130206802940","118700272448","68125000000","86236921404","-35235003280","-9745519820","-496819074240","-11988075000","-688179643816","296543215500","96086091520","-16217462540","279662000000","365573540584","-14728753920","-458453908940","-2268025760","-184199812500","161785210240","19112954260","563986667120","118856958072","-381813000000","462375122266","-178966175240","-355770628840","1375345458432","-61035156250","-360757892856","-305724984820","-7429294080","-338129673112","252380425000","-862499305536","-1394641070080","329288971440","-489632795928","83653625000","589736681280","-61675297980","1753937766960","-43332251960","-511518000000","-242095262216","-527994411440","-645058398080","1194681966464","-294188687500","1530603598744","804464669140","-1306305374080","1848547439300","587734375000","1737588248504","976155523200","-551754189100","-3013834465536","-764198325000","-4259510141696","1590893704900","-2053077212640","-3734796266552","1960316000000","1727766102744","2964538062620","1558077182260","-959393710208","1382062000000","-4122356267976","-3267506815860","1935463029120","2444167740894","-1391743975000","-1222978859960","3205397806720","1498071986340","1472498094160","565429687500","7573321232384","2593269676240","-5147191650120","-284499503720","-570058600000","-4049980496036","1010542877520","-868555479640","-7058336840640","-65635062500","11624887742688","-4442489192320","-3404183032960","-2442188092080","-2942975750000","-7475911020616","-6937864069120","6931095694900","16505041830872","1950637475000","-8988371396032","-4617051692940","3753078098560","5291158372400","-2404687500000","-3502984686216","-12134911089240","4191236630760","8268940635392","2330447862500","13341380651384","-756632951580","14847176600320","-10402040380160","-4468103250000","8107665113824","17506390943360","-4682483581840","-3628683124728","-1968594062500","-12239648592000","2482608150000","-43070749119880","9862247295368","758518400000","283686232264","-10634415381520","10352919702340","-16955461759488","-203574218750","5518771267064","11909114012780","15567714173440","7211155027980","1463108925000","-14105481384192","2068704100800","-227108556780","-21482187990472","4381442312500","12780257818880","-10762585157280","13347010877520","-2961890940560","19923508000000","-10237234559716","54519372130940","23039730522380","-1406684117888","6067741918750","-9033209561072","4824430204880","-72943175479680","-22739515899672","610351562500","16999064925504","-2151144750720","-19285816513920","-935451099128","-7189249325000","1669612838912","-12062176821900","27189535248880","12748211746872","-40129130000000","-10753709379140","-11120133210240","-22933478508940","42318208849920","-3557251812500","30607443129120","-26733451785240","61527001898880","-25752748710380","28766107750000","2117313290744","-41235921921280","253416666480","5347610019672","-6036875000000","-54271455234816","52350921656580","72651085240880","28097291026728","12470481000000","54357167321964","-30053473643440","-18598009852380","118861582665472","-14752845250000","-142467273279232","-36036747987000","-1494344856320","-48336033274394","-23085681125000","88201462976584","-129195679026560","-45871580501100","-76524661446088","-22867236125000","110538381199680","91635071630080","701813901400","100105071687528","-18818750000000","9365495045304","-73040409416240","-69606284688840","-82076780065280","4738830237500","-7667931805256","-7095506707300","-53931164743680","71706276263848","89263523250000","-85888436624376","247599498138240","53524508750260","-42167176533928","8901975562500","30201861834240","101865234960740","144797761102640","-102391293261440","-2561036800000","-36157092210216","42626157901200","45474575557840","-203582773004224","33342382812500","-86626977043336","-228791672428760","-42808318966080","-53668308626328","9298325600000","19078464335664","126174574116480","-81153373414540","236201554142472","-49169656687500","-133181990278656","56499349988420","-183611528688300","55412501597608","14293046000000","154260806439168","-32107322138320","-151199734486200","-160226268661440","18241236975000","140811747573144","111353857720060","82555563861760","-61760518869700","13031953125000","-5078872119760","133645965352960","-83888059299420","116128913853920","-102932723575000","61269186414720","64448830389360","264207488863760","-39011853936240","57356461500000","-127738103376438","-274366883295640","264568727769940","277806423052032","93696402687500","-13924310882192","-295977305329860","165047943878400","104089409174668","-214900618975000","-86161792299816","-778965139054080","12609032273540","-160349570414336","6713867187500","50752792082880","124995879202520","-275428032156960","349903011273080","4141852000000","12335343277784","178268578090960","214175800003620","18277067550720","108546090000000","-23832136844296","52577765772340","-340230190514560","-434199125486460","-344863658750000","43955898029544","420754970443680","-10432416474240","234583048580472","10321322250000","315224933837824","-13626729180940","-274489971384800","144579988307040","58648750000000","-98600769721596","527750274999120","529465296024720","526245219361152","137138849368750","289274514244080","-613500269656960","-303301145527680","-630089623911140","233220361375000","32015520323784","-298870882195840","323982556260720","-369655998231912","-41559695062500","-1100240444448256","389927948895760","-458270105413120","743572175739320","49945274400000","-791014101920956","348187160682560","101804534386940","-1250096188155840","12870507812500","1023624069382048","-78067479352200","1047607755058560","-723272148264704","177206543425000","-199292677728936","853260847690240","-869146806094780","-547004492486496","-106452940375000","808091965566080","168043971947280","-1103270489218640","64186628782640","252483984000000","-109755530105878","749225600202800","308921303339700","1414694109070592","39608658937500","136469871945944","-101008014086200","-202249169018880","557532894580300","-122539257812500","952874259495808","-1617771877936000","-488012184301840","183069443641672","-283243309575000","-507535128672000","518659127330900","1174920223149960","-417166829635280","-634911162000000","-31289693618676","-496245008478720","401041738541460","-538202433355520","519376695750000","-1540263893234376","-1239115376161060","492487153416320","397024678116072","188405517275000","-315042251458616","144012873513600","248868000976000","241342002500160","52005078125000","123861460590336","782243105200100","-461763598234720","617225567149680","-329735675200000","-259923424447736","-1054999804226840","129432762984240","429901959391808","9627199187500","-102434799288056","-145611909126980","-131671579250880","-550301584559192","-406896259187500","600348960133184","-989109636404480","413312072758360","1526228426076640","-370938351400000","3308597100762624","918613444702800","1051792913172720","1390848735969800","-212890625000000","1444900341658584","-671064386375040","-1094823994019020","-287636918034240","-269490379387500","-2664306537468672","-1117764324988260","-986514728105600","-2192854371749540","110109385250000","-651387055111656","2554918993838080","-938232044807200","-773931517102728","30454749437500","-1655561070169856","1087291749441920","1889532185595600","666105241164168","1552559607000000","416907368500244","-579724152744280","-1231494927004060","-2613495052397568","37462734375000","306548939273464","-940443616260720","-598871874641920","-167073365311366","2150561386925000","-823873670006680","470553275512320","-921087662588680","480000890538480","-926697548437500","-2482161229062720","1425228245817520","3979155087600440","-374803064901568","-300269036000000","2390273550653484","1808734300647760","-1233791149468040","-124633407077888","50679570437500","2414377281821088","-169852451779540","-309740580151680","243585411700948","-873943750000000","1012917591686000","3499403477005440","-462771287439840","-1124825561957928","-1142417314325000","-1595498149262080","1267586917893300","-1568492594436240","1291550184551048","46027356000000","-603456654644992","-3496591766800440","-851834334434940","-194939749297408","1432668465437500","95890059744024","-825932201495460","-4381104517937280","-414116623191780","7087580500000","-878368549743056","728393452697600","1374400707653360","-2729558115066576","575624414062500","1497955446525952","925460858500180","1087685208591620","-519866819213912","-505578782000000","-317119267845576","-2783496219877840","5603967423109760","5709959532279360","-59727982062500","-6136019528010696","-2015197557508980","4175573061054080","-1739264969201760","-1762458334750000","1512742521695784","-6735425570540800","2004825760921700","3292143285962240","-371427993975000","6063987702390400","-1763778821821600","-2168028296094480","2108384615004800","1193165625000000","-2226919870159796","-950229875918640","225888303450300","7173998349405952","-1444922257081250","4436223278505168","5621613646610300","-1043738654632960","1305294000225360","559269297625000","-2074858403360936","-1660809137655680","-5758806421402540","-3480685894335128","1111783215125000","-1235796131543040","-1017261985825260","-2456436673110160","-1880222402597480","-4297954557600000","-894581059929360","5396389296246960","-1295147943531720","-12135878185974272","190734863281250","7569782315875064","-1854658273994240","6074202032389760","2923066331835272","1127368415175000","5458273241287064","-3014569345363200","1397563833856960","2703025090920472","955390577562500","-15175965346475776","-3789763407256220","-6053800457524480","-110282312263112","23216544000000","-2990787316303716","9031909432548240","876894192538500","4828371787798272","1056655228475000","1421862364413920","-3829100524464740","9545188984179360","-7868780289345280","-788688828125000","-3058038421761312","6855497316137600","2555851599246980","6573361662308720","2695310329800000","5851258272550144","-1131598228901180","-2956005191135760","1515103560763960","4358253344000000","-5889426489171676","10274356510236960","3979794314586640","-8179944489743040","-1029028035750000","-41389937912456","2867385475416120","-15467593493397120","141173867245768","1530102487275000","2177056780943488","-278730004546560","1151793101483940","-16389736659637928","-261417578125000","11708654105825472","880995689947380","-13948386283507600","2810278950378072","-1842927129000000","301520572031384","-5167748505300480","518013310782420","-3379008048782080","192735306187500","-921863361320400","5857609071880920","6859698035311360","4845364337948008","-5481055521750000","-8405992332561616","2109425739623040","4305827112224640","11343599520476072","135413287375000","-1220513620560000","-3953563801533320","-9402856979111000","-8201871279032472","1598493750000000","2192065068905204","-15496613452029920","6368812068258640","11045423259123712","756547694425000","2979776253528984","512591504610600","6204092418398720","6849760988390060","1649982535750000","2482122379485360","-7088742760017600","6915899742198480","1202498774123424","2015807494000000","-6219584145506560","-2294898703953440","26543687098036320","-2251459973492880","-3733381145200000","2048798080971384","6576103403505180","-5046555664159240","-7828998205053568","919339648437500","4253748698140472","1997555212418380","-8015582000177280","5922091780582474","-4783136246075000","-1710830244584696","-2577324199412480","-12176253440049980","-4051160590048728","-2513952091062500","-18411452585227776","-1939129198945920","4571238446439560","-9060621062469160","4082204294000000","7866500560798880","-17642566679138160","-11017868390191100","36801737808549120","-5776710747812500","11270895434173144","4542238674840180","-11399913056061440","8468193918052872","-1836669921875000","804212839315304","3113898318967040","-4542290406445440","10774051109967760","-5429963276575000","-2521353803619840","-12717323410097500","12272228237108560","-13116771930710784","-3050486010000000","12228182972175924","-8547735088473200","-8078490119702280","-28146166997604608","1724231840937500","-14221405350374376","9759800442119440","13450475536793600","7019915104463620","9418232704800000","-3444111404640216","23266085381717120","16693426527176340","-4018362665792392","2388119765625000","27397041305762880","9355106324187120","15115770761009880","-9498349971956560","13310969192800000","-8433120967791872","13154340155524080","-8516987372306800","-16749965244125824","-4971542827812500","-22729291812141312","3332377965101420","-19872526937996160","2934491458298408","6415866289500000","-13107815800544136","-6512644994012160","-1756304471853880","6727383516593272","11671238332975000","22887128156147200","-21031064578785340","4371909364130880","-4058031119033128","-6125987500000000","6320197984238580","10085894519718360","-1563482180827520","-22072819148260608","-5399269071075000","-55583200928974752","22681482894123880","-29104458438588480","15857486067699860","-9264181445687500","26351557294576224","7995295757057280","9526601850312560","-16190067376238336","-4868991194562500","8113487928518144","-2935868448575920","-11702820062361880","-3193906260998472","2998105344400000","30553856882534244","-2628639716659920","-15925384903966460","22919906143460160","-4318943750000000","22206939771948960","-10140250428082820","4905310819843200","-7997157752246220","12882363337425000","-8965621890981816","6904610602065920","3393173089165220","-13099522037122720","10210958799562500","-25036506661703680","19484453865206880","13656108679775440","18538291468703840","-6048321966000000","-13589270184238658","8621620807164760","-21728728904513640","19694259680602112","-7638024190293750","8699176753432744","23794949499834300","70123224181610240","1565300876936328","4349199921875000","1388251493736744","-35868487404730880","-7038410049220620","-6290220248431536","3821808937375000","-37598132282713920","-38169790670527100","4912152704115200","4366388187980360","-10016868146000000","-12515560894425072","-31834606119216240","-5517034623352540","2431148739537920","-4681474957312500","-9773172864171176","8540029664704300","19102905446929920","19378590898306560","-4601556544250000","28285337794434264","-68905300954334400","-19297658649258460","27967163755571040","-1766967773437500","54492478891542784","5664521812676580","13168879328987680","-30126047920994712","-23666628851200000","-9785070032172836","12327275379947740","40997768707972420","-14051751672371968","-8103967738250000","23268997122902904","-25033602940550580","-56454449476817280","-9553453677268728","16084973906625000","-8661953697251776","31311002542375040","-10534099242626960","52492565788663600","889060949125000","361096828047360","-17235438308130480","-62636156943614200","-8498454082485840","1781433125000000","-27794447457160216","51517631182565120","-5598604057466640","57976986040061760","12656189050112500","61379378306078368","56213124353406300","35495778001187200","12327601701774108","-3157946492250000","-29245244707960376","9746632773729280","30995821176435840","-70125313500582728","2714235873875000","211873268999040","-28444497118012800","-8207984561966560","-23588341431136480","22057302627000000","-18161579389707016","-52619581735864440","57081891303356720","-36453922621648896","205109570312500","-30138104179697736","-15437961645318700","-24282557158627840","13571892856623980","-36327774195900000","4969476652614760","30058544929994880","33647754322031760","-4983037505487128","13882778726000000","-37270522783001280","-34199033144083980","1463522583636720","37339116855485608","10638071978000000","-7295743815941716","52162019150389040","-22893969441870120","-40825516443466240","7631837787750000","-17043403968401152","43870952089780860","-40214220047139840","-56462184446669272","9196799218750000","8643770503800584","9204683273688960","-11569188399826220","-8028663634739432","23362221939425000","-503425447866880","-26484762488648960","-101730697224390240","-952869037503528","21680825216000000","41831827162469986","119864464503907760","-2312655464008980","-12560031147809408","-21659674046562500","42207647138761248","3096091900413340","40067097246514080","5006373328596640","-51578255721475000","-14717205069319056","77803329943346560","11455857544703280","-36095905128627928","-6095742109375000","14579948095216384","35555126501297380","58489872087954800","50328285932311680","28088660612600000","50895665139849620","-98660650235450240","-32832902968479180","23153377829646720","14428286540437500","22938768876763280","-12724156863898800","-14661842007887360","18003736124720808","-11728369058000000","-21300659650645016","-93148156748528640","53715455075576160","16577536364892384","-16534869913750000","-95803386541575936","23301634781464260","-74456703192222800","-60382311169209680","7514648437500000"],"space":"5.12.a","level":5,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[5,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/5.12.a.b"}