{"label":"25.12.a.f","letter":"f","dim":4,"charpoly":["10321346496","-55701685","-428953","-35","1"],"traces":["4","55","-20","5557","0","-31187","96400","142785","199168","0","801548","-2113765","1515160","-720366","0","8479729","10717540","37843930","-6821740","0","26235408","53656935","93086040","-228344745","0","289174988","82608940","525192910","-318527960","0","139971128","637343705","708302060","-72861171","0","712579694","-404954480","571613215","85891256","0","-63105932","-2122589610","-2158093400","1470281809","0","-3741681162","1304992360","-10856668585","4567325172","0","-10338466052","-1672721900","-1158989720","6138722335","0","2719665990","-7140763820","-20171870640","-3547066120","0","-4228428352","-9932518290","9112659120","977966737","0","22021139381","22046267740","65310164855","11363216856","0","7443462088","23341194870","45321383740","-89392589606","0","79891101305","61696939200","26666675300","-21578383360","0","-20622615476","-100064326365","48664610220","-113668377486","0","63364903988","126102463720","-72358400955","139446307620","0","-106931241392","-120180806310","-4920975240","89437432764","0","-173672800177","209139237160","-423716868085","331364698016","0","-310965139392","-807392279105","-185011646120","171070844580","0","288378355038","183322450500","-313029186055","161587702880","0","-111842415872","-136380862970","-29221388540","-740073174755","0","-501751689280","871798810160","59585392920","648689938464","0","36492611632","-302147288090","1030276048060","-925622972926","0","1764837854028","1059243153880","1031104554345","-570218607544","0","-630852597672","-648470877905","965764801040","-1626966270321","0","2956342641915","698972813820","1018408184610","138677088620","0","-1054012294232","-1083252828540","1537113499720","889847706518","0","-529295233837","92072871740","-2139782382530","2205528256600","0","-263575126192","2949692309325","-1797871295600","1368753105858","0","-3589979941652","-2603969696600","-1794621033990","-2616759265544","0","-579981955392","-3953232044705","-5391816484340","1837454258969","0","-3065064651837","275909049240","-8141923123830","1154350953708","0","1190439559120","-1886973660980","1293319129440","7108651150480","0","-4235448173627","-4890971877160","1891564719705","574741518740","0","5031841928","16758492049320","1377410127760","-6276219037470","0","4926732040266","-7203387133620","16925652693140","-6951002869440","0","4199783136568","-1422082125545","-2200875619100","12790602570514","0","8268427329201","3407533239960","14395868585210","-14162910221200","0","22360961465148","3623983090410","3715012814160","-24047307907591","0","-23539036519412","-11122904081280","11956337651620","-494395778380","0","17250134738948","39476583082010","-8813750952440","1567758090009","0","-2789950026675","-16034281480000","7065554217170","-5627188953244","0","-18278217622552","4293736590430","38935325440","42460320917814","0","-9388870537137","8238000485480","-36665778142585","-9955510756960","0","12505931302896","-47440258087200","-36914896899480","17131899737096","0","-39079081675160","-44811779532480","-21261163611930","25321199657720","0","-11729758670932","29259006429290","3598092404080","-8379827856766","0","25675848970321","-11706172520920","-19460253204630","14936865390156","0","-33235182531492","-9201636043020","-8773802331720","68087604618674","0","7768797198529","71349919164600","-8894452864420","-25683072338096","0","-37502683813520","-62203653524340","76270507103960","-81998549387565","0","15619834685010","16381524885660","-16610297266295","22279599168560","0","51579141943688","125377087200395","-3868288390320","-144789161642931","0","103821223029798","-13304516213720","143810434629455","-43682929434624","0","-9083231614872","-139533124370540","55443967948420","9357796837004","0","97542141565356","132337291818000","48143526698630","79509643208752","0","2397739879768","-24540868881335","54965031362400","-64446829148791","0","-76101515147610","32704881314780","-58290321927600","-21613817056944","0","-93812175914192","38830560390910","25767047680560","89681605540685","0","123646067329918","76601357850700","-9758211401130","164582902748056","0","-100980684933552","-253378589502660","-118841384378840","-19364967716966","0","48367288055270","13265400449840","-328691921903510","-10952891000520","0","-118623910648092","-232661836068300","138222115755940","-110654884361683","0","-207341396056937","113560196717840","-241954588570155","244837707639024","0","127467671778428","-28767858297195","-320643531790640","51105116527404","0","-320345665411542","19731038391220","-136798549554675","-42491661460244","0","-103775437063464","83854469469130","99786536760800","117614888109180","0","74724198336888","103643572035460","504246707980160","-79000747300000","0","273475367776520","112503176077485","-283387783479720","41091309711560","0","212035347451035","-256008035838240","335881121674035","-145376241412320","0","-176653891896576","-42358482924490","634042181767040","-150632913524936","0","91271332884706","-26649123139760","-123449855944350","-56991023006144","0","536723168647008","416014546057470","-227879930750360","-277989840219427","0","525437846711940","-456685775915680","419592258487890","-438552968209060","0","-199675631412712","680028667298610","538927634851920","132023860510335","0","-285457151915987","62754494175440","636130213188790","-41479160987880","0","86910857380248","-177550738546995","-418419706440840","559936984475814","0","-13714821130922","106167374146960","-228223486829300","-533386042999680","0","76015668705708","923532312168045","45201417109520","-178549535081586","0","-996218871732960","-724615942273360","-998704729840755","349176956649380","0","365794034346228","-308344024198940","-1122392054934480","301772554820196","0","-112507711304252","-930610682868340","-199346025649545","-416932268842940","0","-333579370179712","-401822886366415","234654261849040","1295739992654130","0","-456549980953364","4844654334800","-261073802671665","1172605296736072","0","651012633390528","182020289349965","-964513067199980","-298893466273212","0","-1107627217220410","-953889824042520","-96222064315615","-903616562384680","0","-1212968228507776","1140097014087300","736068508577700","1811530040443874","0","1413900499859788","1019915167115800","168495460305670","-334032721141300","0","728733713564316","-900910944587875","-878539442787440","264202127595924","0","-1104075081700725","-517121347798100","-86048743411140","-824405583054740","0","417086019194448","627784042990230","1600717353655360","-2574883754097760","0","-525900865301562","165461938666040","1737671442040120","1602360559788064","0","1887188539269208","380952316062600","-531213580589000","-2166022262163570","0","3748546726963962","789572430241600","1567333995060480","-1182469751732760","0","-1887636547224272","-1805924436498065","2154566187735840","-1899563241208994","0","125383636753408","2745689529227320","-623145313753830","1249023974314156","0","108959406428968","1663208465976695","-1255067414439240","543154844369420","0","-144031079126422","-92298722125200","637993609283145","-742306982396200","0","-568208696050152","-1707539889513015","2000381319591680","1601517313645380","0","437275953712806","2082911891018340","1813500594769150","1556155960800680","0","-696184955156192","-3386147295789095","-1387527272662700","-168263951244066","0","-948487589195852","383024964789720","-4120017250182900","2420186289759456","0","204495252611188","-2874230535944480","365031969085540","-1945116970172076","0","3288403814886438","-413054706560520","-3151850630082845","1704127164648148","0","-1334772833435440","971715016124870","-2642691978879880","-515097119978685","0","-5614164204932835","-352210149043180","-3035866994214960","-1305324262198436","0","-4179885281897632","-2815105316525090","2529335994998360","5700120443014659","0","1490366338789176","-78385561653140","-3516870856418505","-688888331452784","0","140457660494200","1300358053883790","-1504410771335440","3306620278811424","0","3313200565251785","2431150131397800","-1270957594955340","1018998324753856","0","-5965202996547124","866427636396210","2842655948907960","-6781687091289556","0","-2435820736508937","72233613980640","1089533941165020","2969992345864260","0","4035771515142488","735874312444100","-585612039959240","-7758615724497222","0","7372856247988054","1422895752671380","4863509727024920","1605614987173756","0","1277846222210208","-3120197859809690","901090421783160","519301694502405","0","-2821566551606562","2516076077072820","4247656792530655","-3675971810250680","0","2812226489995368","-2814466169949050","3327557303479700","3196026652459895","0","2850674154264800","-4830666257555600","4274157385267320","-8093555962790000","0","4893288343635908","6129233606828760","-431580218875200","2373214694056514","0","2227742540053326","536222481644800","5239521905723765","1979120407427280","0","-2018155194624832","6435461603089370","-500182383463640","3138604328292509","0","-1318498751654370","1394484459528840","7351922214207940","-1178302773802840","0","3440719141939320","4885025791694610","4861172104188480","-11082858137818244","0","-934486277113862","-6342414145578340","-8266950234563090","2952509926388224","0","-1519007961868072","7959971768687550","-6289727665514140","5381619698496204","0","-17402347934238202","-10936325244008520","-4448629970297680","-5199946254064304","0","3187659612793368","-3085965801783285","-9761015342489000","11063555465968764","0","10151501740502085","154017455196160","-8067118729752615","-7586610321688440","0","5711775023425056","-13502272730107775","3501164092647680","11525511636154310","0","-14584762407218107","-3508069559724880","-406844022599160","3887863779900980","0","-4826051767628152","17146329301595235","-18072628416840760","-5289300581081895","0","-10548954237432452","-3906169484368080","-1939284333675420","2920031902536256","0","-747210028772224","-6546211960240710","-4496191667573960","2083282136236619","0","3367355867444439","3932733970624080","3279793468321525","9442670050729024","0","9574006404281288","-752247753864930","5821873407155220","6610587546067910","0","-28785742238613300","-8052134993081280","5038560241931260","-4429819193406544","0","-1093608683225932","9890109142421640","6338023093272240","10224987096340089","0","31188135211101600","-2052782230864620","-7253552202734750","-7281884514785544","0","11872853452223608","-2726768992095220","-4622697555393760","13036985246878469","0","-1115217732851562","-3007409549000400","6564157546458520","-16205912044976320","0","-14600247781582320","1954795578677775","15810434930821680","-33610511365234542","0","-3068757522890555","6796181418371960","16827593913896370","13959072551688960","0","11110960052457808","3588404706830130","-5626441170163340","-30740943530226526","0","38080101120649454","-2072493730194920","10012501526402520","-11848603038050132","0","-3922212287478952","7478533247263070","15351326626499320","10228723840943604","0","-1516378607365902","16423138684548780","6299088774466210","1499726566214120","0","-11876610090377560","5919576596639940","-1748380355102600","13364220381011910","0","613130899111538","-6820413597021120","9574333226585835","-13402693510829856","0","2138179024774808","17113783335603140","17612957220122460","-11327696340832320","0","-4061089615546170","1870326441340000","-29869506139352915","17860771058563272","0","-1571930209251852","-15676977438817450","-16536565735702480","2769100977352094","0","-3139168141842762","8487523143819040","364227951871975","22845445290176060","0","-7452953398783992","-25692696922577705","17279823799924440","-18784464817565704","0","19067365463876190","9099238645027920","-10277937820709670","4242925794820420","0","-14176851459871944","-39643136725747470","-16190019270033800","-9386227234238403","0","-7940953156917084","-4542250433248280","-30003892764899310","-2941937237546344","0","-18244197690841392","-18945369716037810","-6584612665508080","44163452611839764","0","10621032599258900","35423218101261560","-26346947479786170","30740816978296344","0","10841336386507440","-19675729764262365","-7913506435771820","45912274870896759","0","-7851704983353384","13133733044148080","-6306730023057930","-22574881033737320","0","-52858280643390952","-41214353458667520","12170244829597960","-30604532843450022","0","-47378237400919027","8211014561656280","-16376973110589205","49462205232642336","0","34875251632323288","29301350976086655","-20458494063695360","-53786797281640620","0","25588706601644880","-2101888893636620","-18619115944071300","28761194206174040","0","-30177327639386712","46712706073581220","43035830442600020","-50615519897284435","0","-1590061274548715","16823117851261080","18242621887656915","-28602339198741680","0","9562885646349484","-56063788953844340","-42340377967371240","48096149776964759","0","37074267311749288","-4203909852921200","38223995603363090","-22907587686202044","0","31175439377572128","7539469806842420","30447082331891080","-14244952874033292","0","20727018678665115","-9523029425206100","47062815985185700","-10430008422351220","0","22131733195089936","41549590730323410","7053546562166360","-19005881117784715","0","5550319153146413","-793324159541200","8982542602090220","-56389830724750320","0","-19707696124327352","-32713882489321650","45657729628932640","-19457479740847530","0","14072734267751623","11840365372911280","-22320630126776120","42225717939215856","0","21636423837683528","30529961657843090","-36185638133429780","8630985083715484","0","-21760371091085037","11380434407064720","105119322062833770","4765308335097184","0","-7770183453689212","47086850009021140","44263989825051640","21334160663093200","0","34445640683959830","5001200477386320","48379588068032175","-14734890499224720","0","62037813561795048","4648829311187795","-37855767286044240","-12178141997210295","0","-47665119673388774","-14658172146054200","-65400682600997300","17057864530183536","0","29256809621501648","-39387158505388645","1696484114258940","19988147590092209","0","-53250495798772780","-49627406798794800","3529325771716165","18256534510336760","0","-45044563404959092","41971303832753460","-29833540606948480","-3997910467254582","0","-14898966084984612","-38068259966589200","-54544129105033440","-69139718473347560","0","-6166507440293820","-99763732911854670","-81700746690969840","69698433944188404","0","-13574436063464040","1702634495907820","-126563721788857230","-28225451448387944","0","14149543804070968","123905343067291390","-1244406317590920","46843044435174280","0","-23454371757601644","-105885415757379240","-20601383722529190","9056380518898456","0","-85515531458701552","92847927915416610","13139393848793980","61594014680499796","0","-28848561876133040","-29952774286420360","52498084234129410","-5925654209989296","0","-39596481119241228","-41038675301278840","-25872620745439680","8904696667501469","0","9261934255900476","-56122242117138560","-129189727071434970","-16812917761886780","0","92133368523019788","156252192896456960","-34786955803011520","70569080261021794","0","-32390423267912902","-5087543672843420","120997214552529925","47612380033508940","0","32043202757400560","-54128188118834340","53778778400967120","60572858942636835","0","-156585102337558160","-66841601841550800","63469094446032740","-79214798152920144","0","21127992000974768","-52344780973089990","-35907864268571940","-59978441006508552","0","67150931076831723","36312888118800160","-56299041404402300","-30755447442245840","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.f"}