{"label":"13.12.a.b","letter":"b","dim":6,"charpoly":["-6815180829926288","-63992195659536","170603219290","368209683","-784571","-531","1"],"traces":["6","55","476","15309","3312","-57797","-4176","158493","876218","997497","275060","3949049","-2227758","6462587","5951652","25038945","18470848","1544758","2382612","37821799","-67640772","-52649718","25001944","-243039615","-14063202","-20421115","77250908","-340836927","-142876028","-838796927","-158397468","739784589","-115057792","-668802009","1377003692","3099344006","47994456","2673019714","-176735468","242886231","112037548","-5282633557","1399191924","-1571975050","7736061780","-2701412412","-3383597640","1090782789","7189538970","-12848613144","8959562860","-5684124537","546961604","-38372021519","-7803526248","-6807872407","918537576","5714690406","10067834260","2453022955","15731821572","-7829475572","29876175732","2237284569","-1229722416","12031833058","50546073444","15412804265","10879166680","2924449065","-2646136112","-8720745402","4198695060","5050454541","-7695720336","59928748062","9015828840","21459621521","-92124930312","89421404931","67208776622","-150798850248","20440296092","-419349915667","-124095891228","116436457677","-161197597808","-158617438842","20540234076","-279059693450","1550519568","446253814012","142195723000","92592053391","82521342544","-2651637759","-203942467020","711378915442","-235408311580","124808635644","-127858236356","641457519615","-23178787824","-58847341449","-214118604412","21085466652","227901079944","448646399435","-252813675192","631406489158","-392621740180","-576142783923","383983853412","758701176202","214393540824","468084273682","-325333609874","218860960242","-947763958876","-2420713649885","-1043065838490","-895127158496","397775375368","-1231392981204","-1197455607540","1030589089586","971572540344","1682889934549","-1083046890292","-370363653621","1582922990300","-1281841635970","-936547698720","1464612069114","1070955196356","-1639877102439","2198442740588","-4874440544860","945893265444","4251577755587","224211755508","-2423299189335","-102127852580","7022714070750","-60642981288","1829178726170","596213544704","-5974840550445","2272819860588","-3102053484540","1173559786944","7550445529486","-1657742778836","5496455323074","77961795920","-1466254250357","780736286340","4647062432404","6082869844952","-2016928255737","-1861917259464","-17072174475017","194450177820","-5910715247056","195517088544","-5855399748408","7625353303324","-22136609360131","827150951094","3307834753981","1031528768508","2528603597487","206301053004","-7104349584466","-4460148058884","-9022673238114","-5039072102480","8378396014650","5274034602780","34509417232210","-14805474909708","-2399513314991","12792463229416","1253017893180","-8989745042476","12110815992292","5874269556936","-9494399338243","-7157389085460","-5217228243522","5371491552776","12267971511997","3657659664516","-15246282580078","-2209806726036","35671833514410","-4209837353584","11788493381428","8565803908008","-19773401836644","-11384969633032","14003903027076","-6827898805992","46344805916453","4740030600912","12480858027112","17015524629760","-9296785005885","-14218640530920","-15784106671439","-11753137979412","-6199976571940","-38075876394284","13022408770716","-15782515949740","-83992486169565","-11408638993584","22717547852117","1711816765296","-30799263671070","-6858096566464","64465705026933","-4512574263048","-38307224113687","-20757618196410","-5812703886594","6551203130052","20297382597574","-34440713463240","9191542521068","31270143755808","54609748913874","6940801876768","-573557832094","26385849807204","-12644028518674","-31325912185776","-16643107109289","-7537280631272","1135928470191","-5138373467316","-25241815342777","77563599397232","63101743636344","-4976177951196","-36226104618816","-884647157316","-23805459789364","-7335033359152","14917497912831","47307078965952","93052086372830","-7968191152944","-31532729599232","69150434465620","-55104362211423","-23684244892520","85341262887957","30823738467540","-14042969216107","10392816677908","72240572885793","86744781748320","-14802862504194","-15573005210448","-171478596630902","42440824833336","92398906414854","-103930987253076","-226628748736061","20179744635912","-10923610818579","25114545158196","-90913014261444","61596528636444","-22349828165492","35215578561300","-184314065114551","5727023355004","36188571321243","-63045766662612","-29482041317857","-36949298709552","-119389576125941","-54083411796968","19548471745374","5857489771472","-27263903981178","1330414179270","13042645065530","113386900813616","6424520092446","82335886318200","196780350933094","21063716771496","-84634401936253","-35478334746160","55925630316090","-9283046793592","-119345605923636","-160780828268964","240637824651621","-175017850331600","255588788785926","53353234657952","-124326667794678","193343296916772","18627585220334","111520994317696","-294891638773092","143196581658984","90238907772195","16671305071584","425423613778706","-11440246564360","-194573733616980","130161890593692","464464460596084","-100229395044264","218143153096043","-317055807440328","210474464570820","-53590862597936","620178954620429","5221568460186","-537368531760420","-333883092300660","-358002673548912","284663125743004","163731753898054","32386671363036","37080404510976","-377183954118604","-113645992506096","160985687539616","-1035584702584287","-136823077436640","7582217051695","-222775129226760","-433968963585477","-114920849234072","184933070594452","-177101874218700","632004551072615","-69885144471288","135755991063972","65035118182148","-386801576293814","-223931208276624","649398490320588","-28682721384044","-44050834785402","424271155987124","-111280869134358","-436804939069212","-246525569571058","305996522900492","543233521549185","244170550138572","-468642295337870","-199709443803978","-166861062146632","2272314881884","126550365136611","-353815519703464","-594231293821736","277630767140688","460498095570540","563210833691956","514875353867199","-546182999518032","1267784288066364","-11243038208076","-322011406635846","-325949859161028","-321117645741627","53048869064204","-79523426094463","-279101700139116","289868153410522","237625587046968","586284181470510","-227620002398312","872521106525737","494887218379248","-327334639003624","-123799997489512","-32844236526426","1062810958247380","311439427416611","-326980450426200","1763711769865962","269603835269228","-381861972227241","-355054543561088","-987884364203308","395476358770140","-614579640418846","-962392672276456","-698864680710036","499820269198956","-1132631538339006","58811871086124","-1486008465661756","705223493087352","-333302513080530","603272065879688","1072489909072909","-447221461892964","-1765996522512752","-111384151852168","-472396180883688","361240272520376","-302256798305320","-589373747357304","-274676839403577","1044627373189988","-342643575056532","719300898136076","-1776755615228281","189818551034400","-304826939638455","-122573997042396","-85427802455556","243142254996132","-228981986602759","394458484300128","760630104343924","42720152765056","374739507212679","215914239297208","577900448265327","579167139582216","-2510156967585132","-1120103338837872","994772111433483","-127499830494480","2534771343687362","10555561699920","448820325382930","-515301729780814","248321504327637","648909189033220","-1262569640807897","153546324324672","-861668306291047","191106907726344","145760085382149","732235843128612","475291619213100","-519714040556520","289892119006618","260574050915052","607964552797152","-511271831813756","2796210910450342","-845262141648372","-1373329737564937","576174463604908","1178389099544052","573800675536648","1961885613544178","-424622612247108","1800112685476602","1582206259750376","2923109847076095","1264906506380672","-1150764734019758","1555809863121840","-553583016968219","-2261822407403696","663121712999166","-652689697449568","3958932972247300","-1761164583892140","-5984346989005875","-682271045305348","2357161035796299","-2500049614002296","-2026173825530141","-17820005551608","-1772105737126786","-2358251536947768","-2340857263111491","1387296200666200","-5179755142127792","-2332188366216012","-3865755710849896","-695364812905768","4559282407626762","435016451626132","7339764009623216","-2171975313113400","-992473508670202","345667110199800","214343731268412","87344909434188","-1177132663871008","2707545502839684","-5087383564102199","-1708175937402968","-1421133014024808","-480106004057056","3374238168501902","339950842637160","-1215369401525416","65620642120124","4208975711835312","-147845092027684","2251421526507277","-446164733788584","-2642732005424067","-2415291007409592","1267511107547955","-303123673285792","2638819066514947","182219433790872","2236699989557437","-4245489786395280","-90181957366683","619340689675792","3142393137351644","-165176772176232","2778616613027483","1433215371263280","3788568118358052","1141004844516208","-3242769801474090","-833310262370154","-4297686837247028","3154650644865556","-4839440779392906","-41598757309564","6976221444815714","1331628357122232","3408429113494070","-1686470973474636","-3383932855685664","203217079748036","6311698617735265","1366559196834048","2248264992618047","837224918265232","2063086715967657","1700060940330068","1961404861279201","1787286827928876","5713795604908332","2301255366577420","-2615598901809120","2147616449493912","-8518305433813524","-2357996652494112","-2775821538066740","-52988684828236","-3719813565605901","1341771119404080","-9742693923859040","-519510167037732","1018279345552071","-796295013415424","760921864028538","7169902178643596","-7799259119182855","-7999018748304240","-2093316129930540","-2129200035584808","-1744863839071101","3194772382849184","813434798996030","1101988961047092","583663332239650","-1835786728010656","-6252765107636304","4413457334057520","1414393709825902","407466710112948","626852494579100","-2334352901132352","2894763338596662","579060097282952","-8309980164616966","-1635609146166360","1426120173001118","-2872345586481540","-2979073635583911","9400497996848628","-6894454314359422","2201008553802168","-2431453623437282","1507656491074292","-11062968050899425","1538219679027492","5779653140783782","4383911355818436","4793931208690958","-491163145388536","1003015518688716","1014748850368488","-5426780996072724","883362849880128","-12355271237569427","12648412480891004","11472493778656047","-4318983192233808","4776853250794716","-7360582331065992","7793251048820302","-11458496565672768","4346123524139832","1256306118548520","-11045330519471986","-5457159960575124","-7721830012155622","12456695477366104","6676993304916270","1950933115931060","17046570088868680","-7520005452322596","1008249416427268","7781948896112680","4141571351136006","4353735413451520","-405000014076177","-434782006607994","-6883471653418227","-3054887711956608","-4442631253331418","7733837600665308","23623040986762750","8787017047257456","14722891212070348","-7046536718196180","-9448147334057046","-1522645347652712","31850535108501548","-2669425492788210","-4435213693555036","-7898178771745604","-3026024089760289","-1825703559565148","-18741931383982340","5602780195355460","5958301711802092","-3379835801013292","11196218198511042","3309595217826912","-33819786369881187","-2383472595391272","4770600120075192","5560942449121672","501610514569212","-1105749117609676","-19946342838764899","-4567967402954268","3531474109226064","-21399868159759068","9003016465665975","-4640428608400872","-2511113751689222","-16677029535258660","-1521385395434420","-3326622972977980","-14479440959157120","-7147584775375992","19102850794727598","8680788225424848","10706094766917576","-22861438763187476","4700079321818790","7770718283137288","-27328161302512819","-7452877790495664","3291197477282397","8047960850599152","2110475651716341","-3032522401435796","27028056361399990","-7132577870050344","-9760016187804373","20591097070502424","6762478883465256","10811322892408420","3466008732039556","-5983010249797728","-15507094800017631","-16573751596691908","22760955350719683","-203083014833972","-33071177856883540","9583532914217868","2307244239191396","7200463522808472","-18818273638999479","-6547708384969028","1879609634794746","3936119690862000","2921270434301417","5691625703298292","3059678753276844","-6898177330126948","14247262985854067","-8335533003754656","-11187840488956178","-4917637234281172","8785003511236884","32216034645159272","13473337558119446","4772799608205420","25121545228534115","-28624353607687224","-1353239259873042","-13187588208448480","21176009535262511","2897394671198664","6282371644011307","10922124126479212","3520708614525240","-9742805868872296","36461714225971290","-6672204077376864","16003040086272895","27398756287113960","-29004564641970912","2490084432697836","22164327865212299","-7809283944653808","2527715369612251","18621360756409142","44311850412190326","7064721591957852","5456668390213464","10606657481914248","13836146419409682","-23725189497122400","11708281717844220","-3875704599455368","-75905876253250824","5957176096586268","-36870831155599047","-341046572205768","-62199043569842268","-32505288470240192","34324963343808380","21255955515225744","-38113988513870324","-16752002367961732","7660934677450878","7501694132471288","33134562317795311","11931599814096840","-27864042693407847","6810820410077928","-2121824544914958","9215422347163020","-12819655831626841","-3423515773967052","-62939293591164824","-7913296981253936","4591354883346858","-4062423656188572","-23283279407707136","10815705874408980","-17149394942806022","8432264919040840","20620325099343897","-3738116385898180","-16130176280216795","6841635578075844","-32037094413231434","42818521429874860","-17037432358430592","-3151173947635184","31116248894339478","-21003438681588732","-24178422814997594","43388801019725404","-7675084708934586","-3732856459853144","-910790252030815","17826819068794872","-44992614546370668","-6641007818310272","43851003630018642","26292146578401816","58461304945721689","-35579747882155044","-14495891987740615","-4996216637460072","11358863728777932","-55835508324104560","12615547312876404","-5841115226932596","42763181485196366","33427778142434952","-1040839596833226","16419222339626364","-78014434708946054","-21049512207676308","-584150883933060","-23656062961862940","37870591787722512","28986627560274264","2170458865862542","23226939337579848","2907029473554596","7533935987753928","-15421596861832764","4494432314578272","-61073259170596583","47989932798310860","25201487490213274","12459955942020260","1422373327007358","-30581660841217600","55603538572495617","33379215886752792","-15006711819882828","-11092814916061476","43825767016561680","-27592794954279104","-56645272160038108","14138967704244048","11299314154134872","1307416528251456","-10588242710172342","21723340729339964","123949756647624328","25950753193056132","65254671737848560","-7452492343394248","-830688099477717","19821240120781468","8376216877760129","1570741793617968","-52337092045160732","33048710058761800","22601745798604179","-24301699311371524","-70618706508735849","-20271881999914278","88144913406352189","-29964913744408872","-84695887500074157","456587325003888","4970692611308234","-24516103918439184","15425202946379820","50697659094802824","-82335682671800628","-61068698701375784","-85485271379437457","-29773250070437112","103766054971295400","-33514524166103240","79430248559931924","-27429888934927268","-4467335391603994","-26056487145106344","-17713018071706611","24736768685766872","-57621397126875741","-3200265656148344","-85528038241783773","4200523599606408","-1931155815672147","-33122869443261088","-77541920750062308","-10707613878323376","-43057314828674134","-18767403247243092","96126618989052923","58057445332555076","43720054985559864","-7194118007187124","-121805665974526042","-6636703347214728","52595910372282078","-71715927333260484","-11417203998567654","-16102852238416472","189473955229037296","-7298759327523732","-5722666333964645","21482014129017520","4026594133876335","-24993465930877936","85883034415580351","-35563384919055528","19567548320189878","-7431881683972348","-8328023123207493","-17327389651856080","-108446134783611742","-37776560664030948","-57843343796779183","-4039358434117240","26254853134705338","-15334986824773432","-29230773408248760","60728229895185936","59822183846883504","-91028394844705388","86287932316823610","-2484799476231240","14644203545348709","34753532820714708","95977388020821496","-56726188223758628","-1085827466691045","-24196913924564696","74004991705087710","60233308930346424","14733282645285558","49564168832402552","-127090654350193863","-39691098636218100","-33522284248096323","15433806575756904","30702865596630068","55859714371939952","31264419843463581","982491815432816","105283637320204982","-3954673446096084","54936281145256208","-47764321003084976","37739515744033650","-72905016130353388","60593542652319468","69471044650042620","136973380914089377","54114759746056392","13727546169506964","-47823647675948000","3237951722544786","35955828481196940","77643843213568258","142353288096191436","33672981651771255","16019209148908456","6179467048961306","-45684597183165696","71235692718033270","-69881292096177676","-78772516918648818","133262895500482916","-135726423640495172","-1558946084912580","-1851437199126192","-106326735903917256","-205261787967660267","13857045312928880","-160720430911410560","28332649661262624","-103953685121323103","-25143614939506256","-41153102864851713","-44707606112385760","-30822336999770473","-47895565605276018","-1875198417891513","138338103360896496","12174914836162698","-87727937916222040","-159164133510136220","53631517504537968","-45302793544730739","36692640222911944","-244917666968595426","27349492100706244","259831356326935472","8955805741213956","170368869737259616","2857367090714448","-65699651135649288","29380166005811468","-162375837768742524","30037683391880616","-64931612274487874","35785200119387460","-6232154574325923","-18728119305905936","-82878396446343152","70320851499930588","-85530580445499258","92893816050681292","-22251124654184166","-35365407243538424","-44910667677228860","-73942973580181776","-73026468066793204","106675268173589616","195540448702111329","18177638082164920","-173423955249105408","21435208281580764","-58022095013143832","-147574490285355076","56628326726116569"],"space":"13.12.a","level":13,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[13,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/13.12.a.b"}