{"label":"25.12.a.a","letter":"a","dim":1,"charpoly":["-758","1"],"traces":["1","-34","792","-892","0","-26928","17556","99960","450117","0","-468788","-706464","374042","-596904","0","-1571824","3724286","-15303978","-379460","0","13904352","15938792","32458092","79168320","0","-12717428","216192240","-15659952","69696710","0","171448632","-151276064","-371280096","-126625724","0","-401504364","291340546","12901640","296241264","0","191343242","-472747968","1759857392","418158896","0","-1103575128","-1623469924","-1244884608","-1669113607","0","2949634512","-333645464","644888642","-7350536160","0","1754897760","-300532320","-2369688140","925569220","0","-10898589338","-5829253488","7902254052","8362481728","0","12623523264","-3795674064","-3322063112","25706808864","0","-22966943728","44993695320","-9880820458","-9905578564","0","338478320","-8230042128","-10072202976","-20768886240","0","91487377881","-6505670228","-3204862008","-12402681984","0","-59835151328","55199794320","-46860048480","63176321130","0","6566681352","-28952618064","135787316544","55197977416","0","-119810642688","-126494473874","56749862638","-211009448196","0","32890510302","-100287573408","-76222392308","37389238320","0","-21926213828","-55856572344","-192843478080","-166136788330","0","230741712432","-27594942144","179451654542","10218098880","0","-62169465320","168362662914","-31469353480","65383565016","0","-65549481667","370552037492","151543847664","-152932179744","0","-268676637768","53794877516","25489000320","1393807054464","0","531507278532","331181845632","-6661799760","129052918176","0","372279628560","-392827630554","-874031501376","-1046036929420","0","-1285788179808","780876086752","-175346401096","-707504703408","0","335947895572","-1321937976744","-259875767032","445288935950","0","266614824352","-37930821600","1676364441462","279821432352","0","-264247207488","1619587062106","706142132160","510751804464","0","569834263152","-3110570847954","-1557118038008","-170678171864","0","108965308272","810193869636","1389879025920","-1652252976273","0","-170801396820","-1569792793664","3629196921642","-1876793006880","0","736852229312","733050822240","-2147994918420","-3783829650740","0","-26382760018","-223267165968","-8631682755696","3244510876320","0","-4616768762496","-1745900585368","1448135172208","3795470965440","0","3188489846792","6623085528576","2172552458542","4300812111716","0","1488849337444","-3090424396974","7174321238664","4506273184600","0","-3006173858688","-1118277350268","1223595440760","-2631073984704","0","2591561338472","14609938996764","-587928192608","177886294480","0","-10473937938988","-575240668664","-18189819432576","1899123459696","0","21610576310400","3009952183392","5648650803220","-7825609802736","0","1393039384012","-7845218222688","3637981404292","-2655802579584","0","-6101356254428","-16586396582384","268074829440","-10279797623490","0","-6518193365376","6966883131600","-2927599746858","-5724330539076","0","-825607744240","-16448957902080","-2223041210544","13396011338080","0","-16728195115358","2228682376678","34160196542472","9721541689496","0","-5152490820576","-141933977320","17138005254720","-2538250710336","0","18833877060252","-7048810614384","-15215964032496","-1829025835544","0","-17992988589824","1201563096606","-47389439851776","5114774625576","0","31371674015070","-18071247470088","-3796600489508","-37113158396160","0","226501191840","50035646334960","3385741265088","-25742245602410","0","16014429593272","-5853922117664","5200811630784","13356139438836","0","-22930473506688","23161973367666","35565255600280","77171943889944","0","37179665661882","43716798113472","-9578058412608","20486513805376","0","5961777637264","3359221956552","-68091928099488","-20401590097837","0","-100183623308208","8813691848536","65105235871842","44945891209296","0","29122400978160","-101348327805120","-15139823822300","12140689647864","0","30896056373952","-9064904027968","26049284159184","596444335040","0","-56996391009708","33787161085856","7341197578176","-60368134707936","0","31326789581712","29612276749440","-63902725450058","-55065960111604","0","18525846526080","-11551720535414","-17365561351776","-32672981287480","0","-44238405296448","-19374364947168","-1413217565560","-81606741069852","0","52942013292272","-131580336357360","19126670470320","-28501637985744","0","117396489617532","2858736911136","131137332543882","-27546591567624","0","-21855194178048","-3673996841554","56176601193282","142125710397264","0","-80373061298016","5807247491880","-64016906784600","175915344904320","0","-123392695335828","59296596491576","-49238216533440","-96915614965850","0","80864977834080","70916403490432","-39359396659458","-24923727956160","0","-56353278447960","51783783492672","128650208125160","-53849513174280","0","-116346269006619","897013840612","-51915189480264","-5857479765984","0","293477213693664","-45567121790964","-51018407999808","86126846059314","0","11321664998952","-121122286357248","-169341209790958","59360619902512","0","-162282053603040","26069496801820","-129046012824960","-59380200441740","0","42605542992672","-108408654790928","-121002509761308","20187288253440","0","-73866783590428","792141729714864","112833070695608","153361697488830","0","120883217622312","-166844596155720","420953764597344","105074429497116","0","188220427790832","-133061282073574","-153213288276400","-5276145409920","0","-125079682705998","102209911195392","64128989210544","-29338335189384","0","-41602244985840","-136576951878248","294845465819520","191901522661370","0","-311119483398768","67990373938736","16249293226320","-496737925889976","0","-56583601530688","-828461248100640","-6048134012320","-339088245781060","0","409834586687422","356113889925592","-730751411781108","64463068654320","0","618453860707584","-191335634417928","49824062530848","-138874349668032","0","-558967690788168","-339816151445760","325999693255742","-102338374235328","0","148194015190360","-12316547590320","266070733293024","89133625453480","0","-751296409442019","-47363339056408","-555014045773008","-205821607489344","0","-123691367745928","352668837272400","146811729216768","-241404543824750","0","-89699415730696","-160070875851464","211158940886784","563937483801056","0","-30041210707200","-36095403680794","349513119198660","805161732740640","0","258826949138262","221618574422784","564822897844692","-109550961499040","0","99538391393172","388269793297936","-150179495319288","-66636853867584","0","1282712953187952","92519899231200","-825000027080896","559264568670720","0","-58322139994272","290275340871114","-455464385494720","264818742090960","0","108973600506932","568758633922172","451308736416384","58470137646964","0","-1161446682444048","960424464775396","-1089422990226480","-1233237486102336","0","237919600117292","-135177112116288","259570481299060","4825755228880","0","-269487074544768","-403207664088768","86300524151424","-926509083889700","0","641673544751712","-640351820048568","221172315836092","789909315037920","0","517342777104864","-1308584357208216","-47985030744272","-222666755375930","0","-173467683960648","559560139398656","-82036307390400","-40853145284604","0","-1243275892581888","761063218732112","-173902337269584","2874323961940464","0","-1004490588837478","-1066636916512380","1019538444892592","-474104492450544","0","129084416643272","638523739876752","583586965615104","100717978366537","0","416614440598740","5942325385920","71570408924164","-1701211975388640","0","-379415579437440","-2996793083386080","875236350481940","782460429598316","0","1576723717969542","-544490606171248","-20895145934256","-563395327290304","0","-176827595446656","273963507086576","350402246454168","-4905640337052546","0","-26447113576600","2569652614045440","-364618566829440","-787507094500644","0","933064941042640","-91000471705494","-2623846092258096","658260578618464","0","-1382753263611456","-1264108632503988","-102926393251608","1146923056388736","0","325653986028672","1606152406078836","-2295775695050880","2339556432974490","0","-226931239783828","156408989777632","2525283958659264","-114213546522768","0","3764095187962176","-2421511880192834","693654063326458","1720661547165264","0","-56264557412448","3406243192479072","-302316056705896","-987686812981680","0","-2213578019642628","-1604253787184904","1179168675255648","-65057897898720","0","-2447616122403408","-457936062375904","2020528622020942","3445843145374080","0","-397197730867400","3568968362203200","-412783448027376","1257878419261400","0","-850069615091398","-1050465916714368","-1708497422665488","-237820423321984","0","-885675661412256","2257710792441356","57403215245440","969087589081920","0","-607245937312808","-1495317081784104","-3375833969205358","-1148763476919104","0","-822675011114880","1761143658313686","2052516580069824","-536922678085660","0","7017187615606080","-1065110845778208","1109123493758280","-465639128545536","0","2172692665301972","140885945228160","-1444671659398552","1085035516700156","0","-1361520603114368","-2076057868550400","-8295358847678496","392758498204076","0","-455590609581888","-624318591789494","1110881363774320","-10337811810016176","0","-2148959139283758","1504105780079232","557356122582792","-508292162731584","0","48049397229040","-241894180790524","9145078292984760","-433895743505360","0","2383882129246464","1388949289903136","3139585213786042","4473731436150240","0","-300757900013408","-4447525262093586","969055691515296","1061987922234220","0","-887576148441938","-3991480646996088","1103287192137504","-320358006319680","0","-4458669306491988","2262222225277320","-722692931715312","2881281272199264","0","5109127898582344","-2103395643030528","2923985063350542","124915892612836","0","1473809654835516","3201435506787666","-4832274153506976","-2220736983331944","0","-13136426093248128","2732684084132544","-2374358013548208","152354845963440","0","2176574830676400","-8141599717804080","-2766186085323008","241215437430964","0","-446381960099708","-3237243654104664","-3704481872528976","-2016084280713584","0","5517771440227200","712616957375212","3295130908838900","-2318658999511536","0","5799298780282502","-2749409246358720","-110552083585160","-3920231084305664","0","1338219486421572","577425798861912","-653881333438080","3711496215295870","0","-9348428767690080","6315105060154800","5564895470730144","-1760648638750848","0","3375176048460080","10609640979759360","1830883447925520","254073503735040","0","-1338160319359248","3955773146225046","-13248730531363536","23533421936056","0","1765116442328976","-3407257530559484","656405467945920","10848161132152317","0","6554212247022112","7699461018080832","3167081741102842","1549282140892776","0","-4910132402709888","1779366453114432","-2928312766016676","3825929969969980","0","-112411710037440","-384936609964368","2209953962739692","13573300161738240","0","5757601132892572","-1442562872454936","1557343322148256","-980617984071264","0","1226064105604552","2551808989821376","14916430631719584","-886362891261880","0","-3385560101172480","-6709291091329294","2018926815019160","-12051043513736832","0","-5226981453900438","-1448588461750848","-2916697455921480","-2844132943338464","0","4114085331884472","346201762187240","-14250446963140608","9722515805477090","0","951637972511952","-1937916793019464","-9828292307784558","-26932818810305376","0","-12644387608445040","4050901503456192","-5214297714620220","-72607106609320","0","10766627616361664","-4110029399158608","15067887855530400","2623552826209168","0","-14312427996309696","-2540306642769904","2756658562100808","-3006907587690336","0","3150453247139352","-21092504441672160","-4076530153164196","4524083590501516","0","-4019595680663200","3634047718991626","179388943937280","-6046266309374264","0","28436736138072210","4252709212003932","4632010060864904","2681507081949696","0","-2180385633158496","-20387858517108720","3287735409787920","-4024893340628230","0","-11209452324103188","-1091447133157920","12683428237871424","4643616363860432","0","-4636306317189888","-667795485968320","-6524651770486580","2955774910118184","0","-21142690373861778","10578062435558112","3765892141086892","-7619190335107680","0","-552475969694880","-1794186154640584","-13032065585113488","-11161486852296090","0","18344282907191472","3127919390504576","-6216256438959602","28167682435421760","0","-158674574676160","37065863797015680","11529000356556040","3475139435319080","0","-7342878380881729","-13934375947372348","29446295204210544","9342752641577296","0","24845548000557672","-1150786700145852","-1013651444823008","-7585822262785536","0","9456358245398232","16225318933857792","-16412214205681758","6505411570209552","0","-5583422971506240","-4919205017661994","4721727888713088","-19688991000557180","0","2660503789589184","19004901486797712","-24406755096212108","-32704711134543360","0","-11083989570695228","-16158059357486904","-2684877347585664","9736204642677120","0","-1419741518246688","-16607033361466800","-56937313096743258","418762618070880","0","6980443944040512","-28874389996366134","-3030543265418320","51563346810498864","0","-2519277239619518","25544077921028646","22947853053776392","-1242591130538704","0","18870477556282272","31202872587089796","23064941574702720","944422869670896","0","-42888184902078228","-3245079412628464","616041897361040","-11990740467261600","0","447484889617920","9615426201108288","8207754490041500","11949405584400720","0","2401749740959612","3049780134843664","24469676648169984","17937987388018320","0","-7179403990150656","-7971313059821544","14795065751486528","14804577825605334","0","-21501767879960888","472383913351680","1502400851006304","1227243725146996","0","9169579480153080","9331141781907792","-27375498913181760","-19363824928436360","0","26759431579997952","-8800116270700908","-8590601565908576","5814228481915392","0","-19203978526719528","-34308994558500036","-10543443962549440","-17850530406099790","0","633361849312220","2611418974197336","24810817348715904","-13201172972129824","0","16829531784883440","-7465052912682954","2265653031497856","-50610958556445936","0","30598421763809942","-43612240408390368","6210636552414264","-1454831913657280","0","28050000920750464","23513751983906976","14672470448655360","-3695841845751236","0","-9148962664047888","6535741158999360","-14874428064538858","-9869361589617876","0","-11949242113567360","-25877001179684160","-9003837231092640","-6896481882006024","0","3986156518266593","-3705102417235688","-25141992773764248","14921550042899336","0","-15344497038157056","47403930542122036","-6552326187433320","-1119268311923520","0","-12108312753504228","-30470895315885024","-18364224332897520","-32654431802363464","0","17130664287612512","52395212022280766","41930074527479424","-29616301229890440","0","-74780992752734610","-8089266403987928","-36425353018854708","15148323012493440","0","-8825396364168040","-22573297284709248","126605107769440","57121613136416064","0","42108794710093592","-25936074227144448","92978019777085344","13709060579018112","0","2264119633619712","-27520915894982574","31501308852249800","62985565242563040","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.a"}