{"label":"15.12.a.b","letter":"b","dim":2,"charpoly":["-2586004376","10886","1"],"traces":["2","-22","486","-636","-6250","-5346","-10864","-18744","118098","68750","-361792","-154548","-2133732","-3986664","-1518750","-5326320","-7804588","-1299078","-15562224","1987500","-2639952","37395424","-37450248","-4554792","19531250","17305364","28697814","93790448","-70320668","16706250","298584872","286993696","-87915456","303194188","33950000","-37555164","236000956","-499330888","-518496876","58575000","-464942588","-968759352","-242208600","-620095808","-369056250","2638898832","-4375796920","-1294295760","1343830130","-214843750","-1896514884","814171912","-2189541388","-315675954","1130600000","8823318240","-3781620432","10716478004","-5480385856","482962500","14557903980","295874592","-641508336","11089288256","6667912500","9087088032","-15918388888","-2299702856","-9100410264","12458325000","1120561024","-1106814456","-24521574348","-31645012364","4746093750","19700124976","-40673194368","4205203452","-79243055560","16644750000","6973568802","-66736852348","9245226696","22791078864","24389337500","134816793608","-17087922324","-67584257664","22117321236","4059618750","19457850112","-37083635424","72556123896","-15603010256","48631950000","69739468128","-160363673468","29827277722","-21363455808","-6210937500","226891049748","73676187684","65187644560","33093257616","8249850000","119440499572","-55948470840","-9125904852","146317679356","-116860700000","57348232308","-213528437824","-44613352444","-121337405784","117032025000","-196382942008","-125994740868","-410505602912","-234936064704","14233725000","-158187862182","-114998263732","-112981048884","-173716769344","-61035156250","-235408522536","1104682948032","-673843192704","-58856689800","-54079262500","-208588786800","-150683281344","940111589920","12367760328","-89680668750","-388493462544","892042161348","641252416176","1526602537024","-293095150000","-1063318651560","939333741056","321959079680","-314513869680","219752087500","39557665172","326550721590","564029736648","97110871108","-52207031250","-1059234673176","1570023770976","-460853116812","1008680356992","-933077725000","197843774616","-478270601972","580515214080","-532058557284","-896855300000","-2638153481568","-76709256822","388406683624","1728578600936","274735800000","-4552944660120","353712099576","2144066332320","-1296101205954","-947481837500","-918933764976","-2830332643376","-6897788061804","2604104154972","-106093750000","2936640944896","-1331733763008","761738673012","776804526080","117359887500","-1523444805428","4200186695472","3537570667140","-4379049800640","-737502987500","71897525856","3668715939328","2793712500832","-155886525648","1560409025000","8539380407248","2694697046208","-2445026507324","1354074577108","1620302737500","-1408744982684","1579798072884","2208162391776","4678006660968","-183046875000","-3868168499784","-6750601552956","-12305223168480","-558827794008","1452945587500","14445261283288","-2211399694152","5318398168096","-4147487342464","3027372975000","9271640888272","-1401547813304","272296328832","-15466139239176","756901875000","-268955912808","-6190386267488","-11644042486868","-5958742566564","1937799400000","7910019013688","-7689738004452","14967305078608","-5818130001024","1153300781250","3520786238620","-9791705647304","4787130369168","3934731876044","-8246558850000","-9883586231424","-20459781892848","-30074668839180","1021864438836","13674365375000","12100139343424","-19256062501080","17427160374096","20210498331296","4044674250000","10298464099908","-10349470791902","1694577218886","-5622464426696","-4199469156250","-16217055120564","17887515084416","-10402912003200","2246590087128","671386718750","44688191107584","5538232163952","29899208406144","-20396875341592","5926609012500","-4686896217856","4057387017540","32760480846744","35784569165056","-2544287225000","-4152365124732","14107854721728","-30768053814296","-16422974612352","6842316837500","25251565001760","5374509060348","8642207050064","27749458471076","986487356250","-39749859228552","33618578556640","4728257577216","-51464017604340","-3533125000000","-9011323408032","-49015151254996","-32980581111272","17631138106728","-27572869500000","-53725288386924","-3791531492208","-27056438151112","-21292856476672","11817563850000","-38076288578624","94207725899232","16946690755104","-23408600841594","-33488993762500","-38968372652724","12861813001096","-60534852840396","7248028486446","17126205800000","59488278965520","-5191319761344","25893814939796","35687567547504","-1509257812500","-167310911619008","96658296629216","55134525088764","1852101962944","-45493449937500","17903313607212","17609700581160","586020992256","15840597628080","-924608100000","29726664958608","8041661600688","-72378952446476","59501994659380","2004713550000","31604776403840","-82513739831900","29024041395996","115968327170432","-34654025800000","-13595478414120","93811422025152","15441766467776","-2217594879036","-20837226562500","-36462981190904","35555196083508","156969434947920","105097455525216","-28397150100000","-61653631660816","94987455572880","13935620450844","28557237001296","49744965275000","-51887410391232","-93926327735676","27413039053110","-10841044643892","7186571425000","-16834888822656","-29484989605512","-42739613608160","-278421928893792","28438782075000","115378110390180","-36845158463848","-47721054907944","102347548951692","-38932265625000","-30616722030924","-17255096539648","-216146170453212","-99752861507616","-3501753200000","-29143950698424","-57089463723072","75879703171600","56423533992144","3458795175000","27822150920778","-283389172268228","-38439650510226","-103300503363104","76629919837500","-27944578086876","131375657829104","231232716012672","-27454394878812","98890663637500","-109780085712288","-42213174950592","-128070866152260","-210070417349056","-14831542968750","176386881756864","55972036329592","-57204270976248","-89007046187760","-61562890550000","268437956371776","56754139775984","44134215850824","-163743895827072","127103732400000","213606564230980","-14302175621400","60014016445704","201400488540804","-13141260787500","296549817933072","-107344761017208","-50687075192400","-122557733994828","247634548625000","-36616037366592","-213496038625140","25386400585376","228447116350560","-52014843750000","357632746446900","3005365759704","-325409918531696","21454246306152","-21792402506250","225721585230000","-344336464126208","-94403911398192","221797136214484","208552663587500","216766245207564","-354300829185936","630497301160320","155824337130768","-28891333425000","-312579262674368","370964416496832","-93095491749248","-147750910970384","-71222121450000","73639185422796","-134213224994648","-258386432329080","-182014794213360","-76216679687500","228258099076608","-136675490160608","371586206932272","78236056362240","-421302480025000","-87435583192608","-76426870332240","-538875561318396","-564373808458368","53399757262500","174231034271736","-172610823898080","9612512636796","-503308577945400","211200805200000","79351825346370","-294826507043816","-534773464482552","137059226005464","-69116628862500","-800252914930616","23597941679244","-106048051962112","772833892872788","-12686308593750","-661996822554496","-52473819881000","-257394025581768","-36951734542504","-60805781600000","381515776347168","412338456616596","1068760766232108","-111987307385316","115886360700000","-807720692093676","245109326749056","-344329365351280","774386540526368","-226737887175000","692095487376348","526426497404920","48076037231688","294117932693056","48759407050000","-116219756279196","1051319811967104","1416086116604672","141065197021440","-151974843750000","-251833331995872","-129290229420012","236149385960752","-1379594208828240","-217935837900000","-196123508383128","1079916268850324","-641071296021024","316273560243764","501136479587500","-18640349407746","1735251799114672","-232311232522512","94382824120632","-93210242881250","-1764113364888560","420044600027448","945958808118632","566563274483312","66760799400000","-583769250066688","-1220404935602688","-1106365552409160","415075641730656","19409179687500","85952040196968","72218899809456","541797463738168","521008118753760","-709034530462500","-1357450285645056","-314952593046822","-169891193382896","18507692520164","-230238086512500","426910428647392","157116984594944","-223300904889168","1069857153832284","-203711389250000","-687770832340368","129721473751936","-720365869525584","-1676162499018372","-103416430050000","-291435781578908","632797309658196","498924027862920","-193563083270016","-25780781250000","-937260050460304","-923351939749008","713603749609728","336750080261810","-373251561162500","-323611304410944","-1081996920393920","633698378172664","185102497541916","174838971375000","494835255700896","188763499837440","-2194222676483468","220130609437888","28518452662500","1765909353016892","-827686145845936","-370197087719004","-894490961556544","-457242747987500","1020645366999696","1171864304090616","632664776940600","859629672115020","365189687500000","-1524579976863968","-1064109101555520","801966392476000","247418029699092","-179213225962500","-129324636285456","1063074813094452","17471098783008","5199932148272","667276368200000","891497973256704","-1481055042137100","1494640596934056","678872137702176","139416726387500","3069594417304824","-37880425732464","-2031827551684608","-723428184862044","379179393075000","1509512455989808","657381264108928","2075069438961264","308577034922352","-365725078125000","654811382228544","-674319900436508","-1438783579729826","-594141441279732","613696693775000","5629571312995392","329040122237244","1386251250976384","718717777030800","393733565212500","-183774905047884","-1247471380231320","-342325030792212","-3069329664988640","1282830009100000","383890931710812","-2343793767101664","-1580947829647100","536583461201568","734175202200000","-624046016495992","1136755618615224","-2652963052867296","-376803105434672","-44480390625000","-2747860602430412","1619842254520032","-939964945447512","-1533311108864192","494337069318750","-1640396177368308","-2484301444831488","-2928631527946880","-2990169229940640","359369574162500","4790508620389136","-135795153943944","1390593057089436","-1264811401228936","353065777762500","-810959387420160","-3149735823516012","3510198491838984","-789578360812256","542864904200000","-537370125678936","-2946349576393056","-1402558556585760","1292370754847328","190734863281250","-182931378946604","-1007839424218752","-1041212345402040","-2882914699406984","735651632925000","1452672983041224","1361086352106240","2253008735850096","4038778969912964","-3452134212600000","-340576118632872","-1519158303407812","-4249199195510336","66168007906176","2105759977200000","5487406621687572","-3758271835119768","4931841127639880","-586485334875264","183927155625000","755512776055312","-359239851664408","-65356286812344","-3897301894846976","168997695312500","-1504263862999584","584677843370448","-744649194007916","-2829502324308924","651839958750000","-3004454384085088","-1447974443675052","8174024802198336","1969372794955040","470885254200000","705300827576604","4109452833845256","1922134620326184","9367802716974624","-2937848718500000","-1868606335081836","8197563484633200","-826337989791072","3637055134101744","-38649251025000","-2164746544747648","-1413805590248832","-3569313433125148","6231624802950692","280252089843750","122729816165820","43894379765124","855551055984660","1394160834685216","1214042070450000","-2379384472294872","4526233392950784","-2352515555102616","1163272679707824","-2787631754212500","5588057098206000","956139845878692","8448381016600384","2153246039563544","-2003913800550000","-2273357167484352","1324442886026280","-2401711454236032","-887024554968632","-4770632928200000","-4971726999962064","-3038488782415768","-11427080520239476","-7308144527920740","915922343750000","-3992409730886780","248313058637148","4216416350313600","-1633200819229696","3322870786125000","-4985904537708756","4196652625077792","2940333860452032","-10311331279070004","-2935417940800000","-4679223187762440","-2341965569459184","-3113365240766976","4234799970905328","-1006122124000000","-2104364004380000","4911151094504928","447376509230448","-4625340993801552","982855842750000","-19701226461769568","10128666443134290","2502526776277644","7087690880940696","-686725273437500","-2514921402432186","5838001716288208","-9558168722448960","411782264189298","-123617703662500","9870748949528720","-1366258855687128","-12733270145429060","-4050895289629848","-1020471004968750","-3064061521198848","1189737647186688","-3940744394297052","8573326082218464","-1762592927025000","4346666165513088","5184922017216432","3588911971238600","-2527907616777600","-303471472212500","-4066324642835452","545921391172104","2567068255655552","20823998499501696","163146972656250","-304325494165752","7889918154017152","10859230439142912","-11006700744769816","3310108353675000","1345790415840336","-3772212973864692","3858385001745080","7265507642692992","-4906324284300000","-1607209959255324","-4956440708006856","12009285631540960","-6030644103130528","1440165990037500","4982819291850096","6748870684127744","-1138915780939008","-22672024427047772","-3152126115600000","985945045262220","-3330129568980120","8226366384327924","7960796845758792","2915867890625000","2373610812871056","8695650307108608","-2746585660002732","18588978124902880","-618261795675000","9679331522533376","-16022034524847648","-1009024725309876","-944738257403504","1494595631162500","3428208697379904","3330456340979640","1811583227071176","-7476637076873928","-1814110044000000","-3623990495099328","-3990782830801536","-15617818498498648","-2041517978582236","1662682991512500","-3178184543020352","-6359598898299980","6136130295427680","12770864189699440","2802672812500000","1306005701664564","-9457930393062972","2045669200075904","2100056313165552","8244229629900000","-1160690548318656","6743118408471468","6910772293928016","-11136783873901820","239716427568750","647813563874624","1925050099288800","-9659215792538136","12985619332394432","-1213770886325000","8169314589263520","-25651171059339712","645864828719908","1148966591263488","-5401808127925000","18951243277392276","-12505756277854620","12112288631580736","-32815717698019872","-858549375000000","6873552652702080","-40766028205650328","-2189751588151776","-7124464744469860","14227952062875000","-11910681754964028","-11899572965894016","-2231100759192140","-8014281210039096","-1105350311175000","4370693730263296","4284366559934904","-19514823789139648","12171474687131920","-6700207288500000","8793128035875006","11086433907939500","-13055245078022532","-2239427947550064","4050316268606250","-921342152606544","16285526031426128","11461653222928672","-6574714470720216","2960880742187500","-24521869816086288","-5174164123831296","-9166688293763236","-28630362653128368","2871668015550000","34681608885428064","-11077022081431420","-9252538124605632","9980965595740080","8844789510550000","22892477393513376","6427125422921472","-10012793941460600","4118045853490272","21555587693137500","18247010667315236","-5688290004507342","15882840095877376","11311362983303040","-8137825484287500","17294587214800048","19942090690709616","-9469314554611932","-2873914880205120","331542968750000","3125420559266328","23085243103300556","26377939814486240","-14709969240216228","-9177002952800000","-20705134808947324","1761270922206378","-19195402913617400","2056572507298672","4161668009400000","27403185619534824","-37475117392308840","14455651788621360","4520445303584416","-2380433353162500","-1261490702006592","9223873284453072","47329015596583904","6292197030370428","-2427514144000000","-9880201506869760","8672078914043472","8440880251403716","564063757590480","-366749648437500","14984547683436232","12511369680259264","-40656551523418944","-6017687265222096","4760765016962500","23487966080899488","29883267833425400","6296293322425328","13397689596569652","-13125583423350000","-38694414636994576","450060776995392","-47894175104961792","-9863606016470044","-11054908334812500","-25716186707691016","-13940816123502528","4350505206552516","24203458663822680","13684530627000000","4279157241221880","-21295155051520764","-3018868849435904","142403101118208","2304696835937500","-15852329918275752","3849265223623440","222670561990720","-619954070235404","-224679768300000","-19751487679051888","1615713827661144","7223579584941744","-3010007492765656","-11464737310400000","1954123768967184","-21423408753385516","30330466170841056","-17588085444493668","-8730351565100000","10605457893450292","14458984702229340","-41016949025673936","-13204054508758784","487145392650000","-43529592153964160","-18307675589885112","7679960666133120","26602258152842264","-4876278203125000","-20050838779151700","-29324421620429760","-11470554541851772","7052842059227028","-26685563772650000","-16513165556662304","28180303502414976","11793823606527600","48301809666014976","-8420928269400000","-2257082977361278","32421196866583912","-3303701254631160","-29525297810655608","7640707835387500","22796175552111936","19544225943670432","27160713818389800","3752349251669568","-4231483053462500","-70284810331793088","-538875555605748","12363323307199840","-26458158396213272","-5063446054687500","-36104678783902496","-3735530660993548","-8860504429389672","6435288339110016","4402328070887500","8639912648292444","14088225930471728","60226191364915272","38143572692344560","-4936868977762500","-56847741364512296","25538681692627488","-22481400485905824","95988615652374624","-6900507474300000","-2706818231784536","46559712780652032","-14981832493578288","5954431738509312","-14618770815525000","23081951704209840","57265116579884828","30453573369875672","3386355769555092","572021484375000"],"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.b"}