{"label":"15.12.a.c","letter":"c","dim":2,"charpoly":["-5771617196","-7771","1"],"traces":["2","-13","-486","-3111","-6250","3159","7784","35139","118098","40625","295568","755973","657492","3176796","1518750","2974065","8579948","-767637","17627976","9721875","-1891512","25972696","-29841072","-8538777","19531250","-69052066","-28697814","-54064108","-201881948","-9871875","-71057008","-30902261","-71823024","-126080702","-24325000","-183701439","705858484","3909548","-159770556","-109809375","-327655148","-771961428","3192552120","-822376568","-369056250","1608947832","2053064720","-722697795","7642614770","-126953125","-2084927364","-180610022","-2304299452","186535791","-923650000","-11220431460","-4283598168","-2489635114","-1478770576","-2362415625","-8264891460","6261263448","459637416","1546316681","-2054662500","-6311365128","24212177528","-12432065594","7251380496","-9927487500","-20218888256","2074922811","25879583268","-16142374034","-4746093750","-28960704764","101122045248","16779652038","22324995440","-9293953125","6973568802","18686740478","48014508984","13137578244","-26812337500","-17559698092","49057313364","-92965609896","79209683076","2398865625","-229606712048","28023036264","17266852944","-20475612776","-55087425000","7509249423","-37075227452","-24554976677","17452994832","-30380859375","-208971599052","30637610586","-50028107960","239506882686","5910975000","-85827798458","-154571113080","44639449677","39200235196","-81164675000","-171523611612","228026560244","167831630204","-950020164","93253350000","363451651202","38824245108","225918966952","-218601609744","26683678125","337097954778","158905727162","79620200964","35137068296","-61035156250","187586627004","144157356408","-132699733101","-775790165160","215787706250","240370742640","199837506024","493281231520","-349199197452","89680668750","398169946146","-1134475349748","-390974323176","77307616744","168950337500","-498894726960","-610033653856","-1909407929440","175615564185","630881087500","650714525462","-1857155389110","-947757051318","-781491921212","30849609375","1628175964464","-107256484116","506637349452","-71773382688","222053150000","43888235346","-1376978373548","-722016858840","559944766836","96569565625","4955149964352","-45328197213","2190615511576","294426816506","224446950000","-818566168620","1194123033264","2726564844780","1291723757406","394002193750","1040914354824","-5007509401604","-579236882796","604981332702","76015625000","2310278608456","359341249968","-2007164278362","-1826035834240","574066996875","892475272012","2301318430488","2008368624780","-5503610374920","-2205807762500","-1521487017864","-909975739808","-3100843174712","-111691892088","-12217337500","874641513328","-375754953483","5889258805204","160032155398","499282987500","-12214673525999","7546024932996","1533661726104","-3221439340272","343154296875","-5883559139304","-825601757394","-14411618650800","3020991939342","1023922337500","-778992013652","-1762085460528","-3366778834166","6275522163776","2412379462500","-8812977536168","4894812481234","4913189846208","4737236727564","-9976725375000","-504206243073","20508470264128","-2412842373062","-6288738734124","2569926775000","7878518558648","3922596890262","19894416101272","26531560582716","1153300781250","-6334161910310","-1341938677976","7037451257652","12366919258844","-5027961975000","-24572656995264","9831807818358","-13068547049700","-4077455445234","-6415827250000","-511762825736","-5424973891920","14992687663464","-16615539169744","2258430609375","-158090998332","6053403982327","-1694577218886","11488647541294","-23883171156250","-4540877936154","-2728670176816","-21656499703080","-11667525683112","396728515625","7422891292704","-3192431513292","39420414258816","-2877833438092","6515398012500","-15629110318111","13013402267580","4267006636356","-38663388074864","564406318750","-11920927147452","-15995752000728","-65533232051504","22590643204728","7200935787500","25701034852080","-19247952987468","-35168381579044","6949189548836","-582924346875","-24304935736032","8043111004630","55794431027664","7934153169330","2886406250000","-6809597812152","-15633736768204","-28350165261668","-4195845265392","35063848312500","91187945684676","4975573904568","17972990979272","41089414239968","13386244275000","12007949309296","58064989709328","-1824747609789","-26246152770714","7780109731250","9009280270836","-50901805390526","41268140606916","5966859332511","4621158050000","53061140826510","-4241077744176","-6717971264506","-111598196488416","7382548828125","23865149076832","13536414177224","50780098569636","34160235408484","25827785812500","-7444939372398","-120569381774040","-164907100231776","12156830234280","-19566448275000","126784823347968","-58200172492698","58496549332516","4487060944990","-1436366925000","-27226773356680","-70206222114860","20856155025294","-147601578032608","-4832239628125","37560780478440","-74855787767712","66371750825264","-10847386271511","6420820312500","-80557452624284","-9525657152628","-64020756837090","-17565872581824","19723016025000","36787118762264","-68102434541700","41680237621716","88902174011016","-75663054775000","-55410454139292","8892430296756","-50987463156195","-40783086139572","38850204981250","169140905476224","230854899852","104390862588880","44859281141268","-22660564050000","81022485906750","15958903854968","-88318751242086","47535893708412","31023398437500","-9434291561244","225781118409368","-5717204876628","-54898308969336","63184025800000","-103810744625934","53120191167792","-30583818050240","78291380902704","-6484133784375","-62016177543222","-97231036330862","-81914803011054","346637868162376","-80873697712500","-38614091700366","322887199990616","50523877707048","-19347708834252","50444918856250","-370256123174448","-8538307595928","-37059708928860","115188049852304","14831542968750","61164226083864","207123277457128","-45583550361972","-220459751726040","90502202387500","-35030237607144","109868964866216","161235452754096","32246035143543","-316006391400000","-45565415229410","188517010133880","58722955001106","-307173359664636","-52436412618750","-238499128873248","45872534186283","-58410090461520","-45143763702618","-69765610750000","-48560513963832","-196165792207260","46076699849624","-119867339259360","29043603515625","-391171215404940","84855404980836","-440544834518624","353446245291402","-21792402506250","-246897440113800","-253591217275232","-96755296913478","-288232470391916","-58396063993750","275677509988764","92172993231876","769488763135680","95006760531768","-150045340575000","-545099340644018","-18785750868792","222576631916128","60070427795536","-41054932012500","-16567084248804","331569607205188","121231418651280","314250027067110","83788554687500","148238177887008","344812257134128","191912547992868","463986126853920","54874056537500","212466184691232","-42674582096955","-220206805358604","-225398229147168","-153304104262500","-32921434871634","-76830008506560","-158123629687266","406682964711120","290517530925000","451288759553730","-352222358269484","355181912625432","230304963470274","-247530259612500","-127079205053276","189902536854516","-660378170123308","525136913655668","-7496455078125","464446886535584","-192899768700530","-395646759364752","-250161602659204","717520975150000","26063325640188","-563909056817196","89783630990442","-123112875916836","-87571988325000","-771746134729356","17440931993184","130232440198760","-555184883972302","-53958915450000","648470873987658","307610485023160","-10664841189078","-593249241036704","63986289925000","334605744772164","-787165445568984","570680128453568","175450096698120","172148203125000","163601700355128","-136066578341148","-288471134474552","-1550440516492080","-23466404446875","1063217838308232","-579830901769594","-1204101441337536","-631534897606171","115860085787500","11014751922759","834255691319608","-515352269579238","-532319569312968","76734302115625","402984634481920","-71545716410958","-569218472039272","-514265830907848","-54540608850000","283283803107272","-2736071749324032","198911578974660","908169978174216","94940185546875","-290171897083152","1076948474572464","1304225729377792","-662555257281540","653036247037500","-463312920760896","-313888873049658","-199006229813924","845506357367204","-95742533081250","3035774969146192","781019391418331","-252942188222232","-68633363870406","156337837375000","1216824784589772","82529798214784","1345383722871384","140754562519428","-748459008393750","-820649374268","-147010463846586","2356413469756200","-186263241920136","-18471796875000","416280793975736","-757649314157472","-561397701854808","763024324294130","268211870181250","-87319923742224","-1143094672769840","-1298758377587384","487740919641966","483034728375000","1100410586225076","443726707720320","-1455069541329002","1907635851873808","-139498280240625","-2980180313315908","-1152870948297424","-216871491098916","-713199097350574","-122500734987500","-559220378608584","1073791621155144","1757395582385430","-488033575821540","253639609375000","-2279650036525808","1337377321105560","-1980736446059840","1055948724331182","536011286287500","241767656941524","-1534416119188332","369721345340952","819926890709552","-712583000762500","221124104773344","-752126733901050","-1703092755619896","753504891455016","-524473844387500","495886024968684","27141129777384","2253949411229088","-76556471775804","2968813012500","-3484360604316872","2975325663260752","-212537887738704","-841718460811368","-291416718750000","91308453696369","-188667695366012","-432665074016279","-1431089889664572","-1135786410006250","-1628322678077088","-38887813761714","-3463097344112864","-2427129724754250","-121325765962500","-1454248372498554","1918351644937800","2968165666817757","136811698999360","-705996771725000","-1833684058718028","274722677922234","1438371518997340","-372679799443272","683130030450000","1368980377226258","782809759686096","2157085548056496","976548615351088","-83386494140625","-3269831828851532","5009107955393808","1429704870850872","-2846181966024872","-1053431108681250","200621227046742","3230902258823688","706130823931660","3502023332144400","-496580397381250","1187890281058976","-734101041260106","-172327663662156","1062128833515644","-248813128012500","-283780794316320","6070984012629372","189295059317436","1961236529142664","-109803338425000","428186766908304","-1216733394144384","-5040123910179120","818127256702338","190734863281250","-1803837321313514","-1524951885797568","2199912740333850","3930273810814456","-586208209387500","-250802961921696","2422365550444200","2141553541288824","749602899321374","-450491738775000","-1189439432939862","705301452799412","-2418081193563344","-1193905132628544","414686665940625","4379580804706692","-1151148524798052","3065438195280920","-7153320700557024","2424344266125000","-542812052287928","-5371297674350752","122522117066739","6481785706647424","-674336582031250","-4983558274183104","-2545362554868948","-7540607458552364","586320696654066","-751158570750000","623193258998762","1528163512392132","3399447844549344","2334378241974320","-624492206325000","-1560902370462516","-5244295407143196","-1914480009751464","2625865391722644","-1541503848500000","-953191044333666","-2961794415842400","-3114090036696168","-4834343112609096","1091247492037500","2036758778923232","-6447169221599988","-170649870721612","-4087887848379538","-280252089843750","-1455589941115305","4914583585362756","1539201344205330","-434446039018544","-1244281081706250","326091098748168","-1233386517236544","-11949389402214744","-1710100655609436","3545235467962500","5370482664542520","-3005161379899092","4961499293155996","6494032837191464","1221794759925000","10236702522720648","-103343829002310","5971155649849152","-3145222828784012","-241586302325000","-2389129299860994","-2698401221695432","1689508787793626","3175656933077100","-527969804687500","10624352124266980","990821673191862","4701068000715600","-5531048320767736","1559046021750000","2971674768853794","-8640476533525872","124358366653848","-11627690527000644","1906355168300000","1318268655736560","6643082936520774","10172957086402176","-3643223102221752","5966899779500000","3392288402806720","4037576018247792","716553411732552","502353973946688","-548798638078125","-4152071576145248","2491868568413535","38416112594676","-199655973798474","-1971503398437500","-1470977167705461","-3810316493238728","-6880505556184680","411782264189298","-2033482892068750","13446742763525840","-2791741352534442","-2917570167759260","376539297512772","5803610590968750","12146003007471672","-2363645224277568","1103433338485422","-11197378155700056","2961740785368750","663066852966288","-1704109966995912","-3135945825474400","5262529427848440","2442162253787500","-6069744146807722","2835208740996216","-5084434794832","12775777009170336","-96405029296875","-8975949533593872","2574739836440968","-1803762584127072","3942641432690204","-5088049888950000","775760857729956","-8227730229928908","-584879534213380","-9579160664892288","335176512862500","9699534715933956","699313525456356","-7581851070545360","-2862708625118728","-1583241717037500","-2138363955181944","-16046397257428384","3797873807300973","-12562107654846332","224291820900000","-3162256751021940","-9066034042552230","-7242596871581724","-1036882612634508","-693916093750000","-366506148440154","9395203302191952","-1370975174301978","-709314621016880","-137150735456250","-25955382480884224","8669553858251088","2896785296830836","13049675018241001","4303057417337500","3886967736176904","-7424069710495560","-11788611961979406","15924575388515472","2256302683875000","-18138629924564688","-5489526298748904","-10283561388602152","3416912145398774","-1749827396362500","4684163420000968","8657930921259700","-6245351469055440","9364358707972960","-301779892578125","4677252575954724","-1849237992872178","29191820287901216","8545916723707692","-15484843638600000","7071547147960944","-1688653060367148","4013677945641294","-4449791406649100","141650616290625","13167759644602184","26844721308791400","5906099383855776","9785371892617712","-6845673473675000","-1954475974125090","28559117819344352","-2869512300883778","-13558046739722352","-920083801581250","-16659273562875084","-1927999220147190","13793967902898424","3006621980661228","-701396718750000","-6546096442445280","-22176099337553992","1654732268352936","-17118698770845220","2558019276937500","3798998034673572","13883873861859066","30825091386185740","6889090158585324","-3731634478950000","-13185352563502304","1019590399490256","7748770662925688","5418723250127440","-8520515139937500","12028444193344446","4613707007343050","-22158670801376268","10142878265648076","-4036636741893750","-1209064458810024","30860419067164232","-10187307067796222","-4367436807963096","-1231256855468750","-28687372427870688","-9984727660312224","7159477252411796","-15168926094848568","-3252857358825000","-15850490860521396","23860306500991580","-2917931682158928","27066581274680040","15648466880012500","-14109792499366704","-1161133409091792","4162720683196000","443413669178727","1810115258737500","-8411829419767474","6377815123283502","-30703714254256736","-14570913211451520","-1890566664693750","21758423164274608","8282874263325594","-2189255105813148","11203064330792160","-237548828125000","12369138709897818","4414738665264404","-6140124277019080","-10028158167480588","-7219620651425000","-37225233171144364","-1449946817800173","5656815270288280","-8341879778679428","-1122941406150000","-15248402343208476","-13185268713043920","-12893857220841930","-6394804836101024","6272388369881250","1030581891834768","-30974812740393492","17157402816543296","1632467017274958","5706361982000000","-48272557802986020","27118361746685088","-21424377932897906","-17312194839007200","-1793959365234375","-2014472175814568","-5141835732696464","-5799231225670176","21399736795778874","-2788985225037500","-3289348645065432","13899839081393720","5452880266450292","-12339563952421548","-7191620095275000","52389249628201664","-8300937204261612","-8592696146607168","813128467871006","-6276151952437500","-21448934787379906","-50793575419712832","1809120267492714","-8168651260312800","17198782421625000","29298359771091720","2311071586368654","46690530931471744","40072425356321568","6893149257812500","-1822862949296292","-2954109746930040","-28276553986875770","54914788030144756","4754646930825000","70667570662658312","13002295799668446","-30808712073556224","-11885063252141356","2843674186900000","14142641915725614","31063460822789396","42180650485582224","-14214661487801388","9690134920975000","-19465428935852588","-1090355809632570","30905239868556576","12308078859580216","349037162775000","41288635173208480","-53138871405405048","6616105925673240","-50402869685397016","38179179687500","17060111973910980","-51599804949647640","59778526307608652","-5068045671146442","-2733254729150000","30999608986549336","35867183461923744","2137794811652280","-2408110850069904","1174234229634375","-10943200866177598","-33571524163745012","-9127269656260920","7797070960269202","-18403933766262500","18189956427554016","-20928828576964952","-23089896165951225","-16128335450539152","-500100485618750","39638961473997312","2635914863977173","-99505152813782240","-3725594306747372","-1560259335937500","-5235791397479426","-44939555956098292","19575460987701012","-34519602453583584","38170854768746875","2314734688088604","7507614177815552","14203908739252128","15557043911412870","-23581327915612500","-5512728981669596","4268507037383232","11160474891780264","-42619081627342656","-4792692894075000","58780470504829024","48989349833251608","-8939269859230152","-17728421148455808","10066997938350000","16548891593633100","-48995593960623388","1820635687532108","-10128297742076988","-1072357177734375"],"space":"15.12.a","level":15,"weight":12,"T":[[2,1],[7,1]],"status":"proven","derived":{"al":[[3,1],[5,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/15.12.a.c"}