{"label":"9.12.a","level":9,"weight":12,"dims":{"new":4,"cusp":9,"eisenstein":4,"modsym":22},"old":[[1,1,3],[3,1,2]],"T":[[2,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 3, 9]: [2, 5, 12] (certified at ell = 2147483647)","T = [(2, 1), (5, 1)]; h of degree 4 = 1 x 4 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected"],"newforms":[{"label":"9.12.a.a","letter":"a","dim":1,"charpoly":["-5292","1"],"traces":["1","-78","0","4036","5370","0","-27760","-155064","0","-418860","-637836","0","766214","2165280","0","3829264","-3084354","0","-19511404","21673320","0","49751208","-15312360","0","-19991225","-59764692","0","-112039360","-10751262","0","-50937400","18888480","0","240579612","-149071200","0","664740830","1521889512","0","-832693680","-898833450","0","-957947188","-2574306096","0","1194364080","1555741344","0","-1206709143","1559315550","0","3092439704","-3792417030","0","-3425179320","4304576640","0","838598436","-555306924","0","4950420998","3973117200","0","-9315634112","4114569180","0","5292399284","-12448452744","0","11627553600","14831086248","0","13971005210","-51849784740","0","-78748026544","17706327360","0","3720542360","20563147680","0","70109009100","-8768454036","0","-16562980980","74719880664","0","98905401504","25472769174","0","-21270100640","-61800684960","0","-121347824832","-104776239480","0","-39092494846","94123313154","0","-80684584100","-9310781526","0","48575052512","-118812207696","0","295808528340","-225595713276","0","-69451179514","267163986960","0","-106300368640","359664575694","0","-82227373200","-43392093432","0","43313940072","85621667040","0","121523092285","-386132837844","0","-205583346400","-369559909500","0","250273055864","687935853696","0","-320936396040","97891780812","0","541636575040","-412807144152","0","478272268656","155014706262","0","-1126265370436","-601651363200","0","-1156824727344","-488718872904","0","-57734276940","-1089738406380","0","2682893989880","1384580812362","0","-698601450208","3025516349856","0","-1381093534080","-273533838000","0","2131269853958","-290202304080","0","101431137600","425071113600","0","-163564486972","-3627691804200","0","683939414808","8809425240","0","-1205076500241","1291912516440","0","-3866274850768","730851575394","0","554956406000","-2442442432704","0","-1986875995572","-3923714421540","0","2279308973150","1659067849920","0","2374395791040","3569658257100","0","1967312017944","6278972064384","0","8172546679440","-3387088726656","0","-4929207776254","3049214597988","0","-4870278101148","-6357850272342","0","-3785535410272","3099919313400","0","726240959028","298455033120","0","-4826735626500","-3788854095936","0","2934035686496","12445075881744","0","179493837380","-15306195133080","0","17596465635528","-5144176399560","0","1414022224000","5417192002092","0","-13824023735520","-2363275215756","0","2225684379704","-524344204800","0","-28053836904132","415847834940","0","18124772488334","6413735109600","0","1667133690768","18764059878","0","8354331017280","-2241218745264","0","-6678490029120","17625242631984","0","-890116982734","-9478801198230","0","19979899147928","-6480028097910","0","-14949910904456","7898556993600","0","28825672941000","24228041356548","0","9766774452960","-19521298357392","0","-34580577926912","-7804917351426","0","-18453205440800","16606401210480","0","-7635558903336","-16595574775368","0","-20365279451100","-42247652853120","0","21360123510224","-28523590257006","0","23379994087976","-11810805735456","0","-12091147088436","12751122989100","0","-30364120269058","87848698894008","0","23115576556800","-15974859435594","0","28704507156044","59858264096928","0","38120072086512","24951616572000","0","-24758656710317","4503273601320","0","56386977027560","-48175396168278","0","-2981998181880","-103077372063120","0","-107997303364236","-11732544605040","0","26592613938880","54490913116224","0","-74714316926656","26583760759260","0","25735029040676","71462737224960","0","21335639364000","-34604265524376","0","12606588910058","-166239048608724","0","15016108964960","81824296913634","0","6857541949032","-50024955181440","0","-33155546860800","60180076973016","0","-15317556472150","12758029983816","0","139376710090800","-43187379709440","0","-34011469184548","-35389480489296","0","-687135168720","28420184155080","0","-59943948292558","93995967018798","0","-66848191235280","32489707466400","0","88388836195360","148543122760032","0","-57006422880732","-97868505351324","0","-142789606547098","-43286599668000","0","-12047752529280","-144245920772994","0","79642933151760","102808096386264","0","306049724880120","124349284943496","0","264204627152997","-177786099905700","0","-85846126183040","75024297977700","0","-160109534089768","-58635068903040","0","-278433344053800","105277496752800","0","-34725822875218","-153450337399632","0","-241239475766016","-8237767462068","0","-146500203674500","-422876902541280","0","264192920679168","-64341851639808","0","95082977923200","384478206547812","0","-157777309198456","39890033609466","0","47228738815440","187117146550152","0","495912321242676","19979312473200","0","106551979242806","295271762001216","0","-76551678208400","-34144491481698","0","-39028949003600","-37578314238936","0","-23279492583360","-423995632043880","0","53334901088234","376485378867000","0","196048911938432","15415320210240","0","-47086598173320","14472617814720","0","-970715918776032","101287654153404","0","-157928472303826","-14000519315640","0","588067354339920","61660014793650","0","-137423686904480","-910504298781936","0","401245759165680","-513171359936640","0","-74924767954222","-110293733472000","0","-280304960518504","298765642153440","0","-368335241090320","531122006076480","0","184335466828968","111247830230916","0","136788770464380","-173603381616912","0","258602002949120","88331413841262","0","573308332414200","1451606227500984","0","-32436131125320","-114220440436800","0","-9420937722310","-1413732254090052","0","-331869678235200","697133548616898","0","-187941271733848","-41169420531168","0","-1463596670484","-320006635626996","0","-146917004123840","-651637819347840","0","86108112863136","611013202605168","0","390056867429900","345569048173440","0","-1374768925294752","150382370364240","0","509333730317620","69429124653252","0","490467200462260","-209926697323020","0","176546273555504","-767632081633872","0","505442191636980","860958181676292","0","33160697954748","1166093050547568","0","-195052752073600","-411710954244480","0","601209457412516","-1491543794742000","0","-1889787225810744","-1092030351829704","0","-49998896794620","-761808407330880","0","1010102053467104","-876371101334814","0","-387835104629600","1288392449929728","0","608783553411228","260848031989440","0","-992307835891584","1439350024382400","0","-638021555327520","371989239852150","0","-973507481712628","395091227357232","0","1294454832478704","157108973439600","0","-718341389144327","1588491797185800","0","2186045216861440","-688698773058300","0","-1211448980292120","-820660602574176","0","2224840040046468","769682532934548","0","1746062781765590","-1823639538862128","0","-58258758841920","-372952833990180","0","174624425985380","625639354473432","0","-994587593149800","209772216391848","0","-103282255913600","2368401380986524","0","-4545607035079696","-1583649005842494","0","-733992546706232","-570832979596800","0","1246039035976332","975797917848204","0","1931398771476780","-2238951558171432","0","-2299767557959872","-1924274391870426","0","1611320399461196","-1972469371040544","0","-1946226092616000","306112834041000","0","-2532503285394046","1931175223404726","0","-233015541729840","243412284039360","0","2418940108747080","-2166399951883440","0","3757680901125684","3115075841122404","0","993860190109600","232595858186640","0","2545468129649120","2207230435400238","0","459788352004800","5588168158693032","0","915138479193120","-3411585709398408","0","-1575452477398774","-2074223887232640","0","-2819555453039488","652579005570450","0","-505592119502056","-368540764225920","0","-2073533339222280","1192030798151616","0","-1983747166907074","-2007332265172728","0","-2745613945751040","1930986428345862","0","947688701475164","-1103982570168000","0","2699132710901328","-707124072270240","0","-1008402680811875","-983313934984524","0","8601805130574488","-2050296037973820","0","1005926522765312","-576922180511040","0","-6382295159263452","1343966309989680","0","-924597439294602","-534888272024496","0","3694215534347520","-1131443807632530","0","-868305558659068","1715587014489600","0","-4694046003895248","1376364875369256","0","354194747176464","1194769404827700","0","-660146269418992","-2552758540391838","0","525678862960440","-3441870572080800","0","3368615617336320","-926792107209060","0","-1903318977724498","2652894596394744","0","1359671556638304","2908588407964800","0","164627194198320","35554840268640","0","-2216774364096240","-3157556727680328","0","4929900506581730","4675627966819524","0","-4863688754972676","-430293314013702","0","1085207656924960","2568322082682720","0","-2534197182379200","3812440532297652","0","832428972626940","-6894329223238080","0","-3668232680909632","-2905803022224420","0","4037287750902356","2949716958290184","0","7633743417403272","-6048045039241320","0","2772320546841300","11137589310673644","0","2239804054616000","4712672943685602","0","-12970026889425320","5941846799461632","0","11251181820293532","258467295161760","0","866706096098606","-6212148785837280","0","-3949909479197136","779971806264000","0","-2624420347494480","-15836111405335440","0","-9699244225592688","-26266614058368","0","-1348443457733120","-20607960917933766","0","9199291015633400","214930897675950","0","-5680181884175392","3298226885640960","0","-5851895242260600","2954648241096552","0","-1623115878038218","12488543659001904","0","-289227205612800","-3375682789709424","0","3647940323190644","14407140725655600","0","-8211644746718400","-6760448268703752","0","7435198962383940","2708614184267004","0","7940071304421984","6262537000541760","0","26483336560376","5957344321890816","0","642545862041304","-3751489787616960","0","7373643624794558","11427015886611000","0","16247022798726720","-6209832596186874","0","1927964743308640","-13670290100783616","0","5018664427905024","-425483939465736","0","-8861954082034942","-7416472278009600","0","-19894282584961144","2950474409673642","0","1018301024315000","6061838620800144","0","-3111422621538348","17537502571663800","0","-9459800728079328","-3683841627604320","0","-4620807879760752","11444919115754460","0","13554522166415156","-25660283699172312","0","-1558386372909600","-9984288621265440","0","3793081874561572","-8311054380938868","0","-15278420915857792","15992249482082994","0","-4798457037331776","-377603853588000","0","2663270335572444","-8911210079125560","0","2282631880032000","3044258022280800","0","1443767026547664","-9458590804847370","0","-10799627434960948","1204564513672320","0","33071659299422640","-878341295039640","0","18690894595731952","-4160122284882252","0","-19480704988554000","11041089876780186","0","12610352980858976","-7532241942720768","0","-1202394976398720","786172343593716","0","-5925892982962570","3672754657518960","0","-7137769275491968","3721918172048622","0","47306613538800","50228326258718784","0","-7900437023965512","-21020885793462840","0","-12084920131113185","12318420839698428","0","724437127665680","-6471260806294170","0","-3373481041831600","-14522166005965920","0","-4809481153904700","-10178750895658800","0","-19837829468018002","10719047578549440","0","34981773683429664","-7966388437568826","0","-15974892909578980","-20761895948624160","0","40027366075057920","4029257485765728","0","3924672959865780","5844131900429316","0","5706993696064000","-2373095856732960","0","4055110424990776","10769377700158896","0","-23303720087968320","10258983087720000","0","9769575093688790","28730148805044960","0","-13115915863620480","-16258292298256914","0","16606117429647572","-9538178770791216","0","-8677330758011448","19131414356441544","0","-6947580030784640","-10669524096221640","0","8982862156485344","-30354697882286976","0","-21070346443669800","-19097099298600960","0","-6889850279618436","547641332998800","0","11697156636148620","-44718049928307600","0","-55771027765414416","12239889185815500","0","-10725166653853684","1678361861817840","0","8909194354070400","28224866626031568","0","5592835648506096","734833142340180","0","73151581762916024","-2717475835341120","0","18355082826013760","12750505397884800","0","-54376416792118044","11363785918425072","0","-13288983499216750","14659419195240144","0","-203074997261760","11012509124864814","0","23544589599566772","75731745667608","0","24960517578905688","10564465536359280","0","8363567050915322","11459526321659520","0","33718079985742080","-22294170304617630","0","13763261366442000","-2126416813023936","0","-47659029803203104","37803832630940892","0","10704779785974940","-30424435659532200","0","-13276838177890560","-4795681030490394","0","-18188666462142720","71135479262687424","0","-11729824888410720","-4303208245833120","0","-22813858177644831","-39728030964774360","0","-3592512142314424","-26469845758483980","0","33741958118885504","-18843856782081240","0","16374282391195560","-35858687142537900","0","31265126683303360","-13770609337329312","0","18956468912485472","12002334917621406","0","-16247449198867464","-26153393403164760","0","-67154738170750776","4426868496055080","0","-34141655962476540","-2586534440470344","0","-60337840410384416","14668432203643680","0","-37916708594080408","-962130061152000","0","32113454431069440","-20328325153160640","0","57600280458878","-46894337678176248","0","57305437806708000"]},{"label":"9.12.a.b","letter":"b","dim":1,"charpoly":["4806","1"],"traces":["1","24","0","-1472","-4830","0","-16744","-84480","0","-115920","-534612","0","-577738","-401856","0","987136","6905934","0","10661420","7109760","0","-12830688","-18643272","0","-25499225","-13865712","0","24647168","-128406630","0","-52843168","196706304","0","165742416","80873520","0","-182213314","255874080","0","408038400","-308120442","0","-17125708","786948864","0","-447438528","-2687348496","0","-1696965207","-611981400","0","850430336","1596055698","0","2582175960","1414533120","0","-3081759120","5189203740","0","6956478662","-1268236032","0","2699296768","2790474540","0","-15481826884","-10165534848","0","1940964480","-9791485272","0","1463791322","-4373119536","0","-15693610240","8951543328","0","38116845680","-4767866880","0","-7394890608","29335099668","0","-33355661220","-411016992","0","45164021760","24992917110","0","9673645072","27442896384","0","-64496363904","-51494658600","0","75013568546","-40727164968","0","37534859200","-81742959102","0","-225755128648","48807306240","0","38305336752","-90241258356","0","73482676310","61972223040","0","-16528605184","85146862638","0","90047003760","189014559360","0","124540889760","-115632958896","0","498319933","166955487888","0","77785143296","359001100500","0","-262717201024","-338071388160","0","66971388960","-631528759932","0","-178514816480","-371563845216","0","-583413304320","297198746214","0","596793577940","-119045821440","0","-234995646528","308865667656","0","620204022900","35130991728","0","268217998208","1115433620850","0","-824447297848","-900676761600","0","214837039872","255232501440","0","1315116754406","914804296320","0","-950091448320","312162946368","0","-357832759588","453553290624","0","704042392032","-2754833892216","0","-1458379197393","-800535869280","0","25209042176","950387449578","0","426959023400","-527734751232","0","599830010640","-1681384224780","0","-996774496018","232167481728","0","1574983618560","880090306620","0","-3691995187608","3955776986112","0","-1235871806400","-2762403350592","0","5442387685442","1800325645104","0","2497932784704","2876091504354","0","728391402200","2154174528000","0","-1961831018448","2150040612720","0","1488221734860","-5418123087552","0","-570305978368","-5699723069040","0","-6793168439188","-2349393987456","0","-2165790200544","82717169640","0","884806004992","1763584231440","0","-3800963013120","-3989820497292","0","7334863021472","-3293650354176","0","2043524703312","1359839565924","0","-11824411223170","2161128090240","0","10847792102400","17563353448518","0","12979893235680","-7638507905280","0","-2775191013504","7139577462960","0","-231306909358","11959678392","0","-10239936590464","8196341949810","0","-6159507467960","4464190832640","0","8616026412000","-12983053545252","0","9966916930464","-6305212824576","0","-13641873096704","-23961192565506","0","3050979729616","-4107578522880","0","-15156690238368","24273728464488","0","-7708949021340","-4284355595520","0","22789249173248","-25837706543670","0","-3767932360528","6817096065024","0","7132769909136","13632191675700","0","-16418932005874","14323045870560","0","-6832194969600","-21035722907082","0","16713176326532","14413066320384","0","7412776023744","5159168680848","0","13420028104723","14884896549600","0","-2154700825984","23926858987458","0","-25063854064200","15393380766720","0","26770406900400","10770926678736","0","286752854752","-19786735148352","0","10524271493120","-33599791937460","0","15311092828556","-13176671778816","0","6125580034560","-49875160575912","0","-99480832756438","31562802105744","0","-56107996840960","-83369248359366","0","68647725277560","-13037603389440","0","7491910712832","73627062866280","0","14731871253050","-8587986230112","0","26030014940160","44996963217024","0","-63584021925868","-43181266711296","0","-66116013413184","74777223849720","0","121001428335986","-35001100737432","0","49099533315840","28250591730816","0","61522344410800","1446779811840","0","22809298789872","155661561078204","0","-25643022194650","10247016561600","0","-105161550594048","-24909815245602","0","47292873863760","-36789573985920","0","-40353221394720","-157584150853560","0","-2824382481819","-23922587904432","0","-14239605545984","-7070112085260","0","-177901220129584","-18403444948992","0","21122167358880","-26724356607312","0","-55161734023378","-88607884502592","0","227027200942080","74185389602940","0","146463116322980","75800137459200","0","-66297680414208","-231449571733632","0","-43235954274240","130617304450608","0","-110419972899712","149871571611810","0","-128749205976048","143359620687360","0","69026196104496","-184104364634400","0","208110680273846","17481393652800","0","-25171202969600","133407937691598","0","30529506193984","120325635798144","0","51600974705280","97413424224168","0","-206167580638390","35717321636640","0","332311549369856","-86888027422560","0","-141688531396440","-113644706660352","0","-136793353656960","-73403515193820","0","171111932338622","-163036042540512","0","-134834785367040","-176095964901150","0","-116479278716528","132835132300032","0","1985212071360","71775829446768","0","99881248225682","21235344119808","0","-108166499528320","-198763752966240","0","-29031220908760","-218142225100800","0","-95755691935008","-328369848718692","0","-120715789641300","176036712515328","0","-45197025083392","612368143631550","0","164724885738504","-125336181803136","0","32636149582176","-46723705697760","0","303483032911706","-283785869356080","0","-132549189534720","729307946668938","0","122188164073712","-126754807111680","0","421520482764432","617380683662484","0","259227709345696","311517437656320","0","-438383931955200","9155609005296","0","-271857947399500","170211715494912","0","171349859111040","-1050837984850080","0","105271555603732","-5551365824592","0","-733526941376","-362315536077180","0","-219909971761864","-587683317365760","0","196712206795440","483863128068108","0","-886767711942420","-147828179231040","0","-52163393486848","163948629394368","0","-108877719272500","-528449619936000","0","-311593285086048","-506588355787752","0","394818492462660","239206006331136","0","386719719907328","-85753393288710","0","-24509721895568","364965248630784","0","-575068621572144","1090397271369840","0","1436688754143552","73223513510784","0","-235739289139200","-927574652509722","0","-21818651341228","929610334619904","0","582569483147712","-364931430558912","0","-605238167047943","-185014776512160","0","262773809858560","178012887920196","0","435865277859480","1307904735160320","0","-620104957048080","907217963244684","0","-1695266465052058","-90430376652672","0","1358440752807936","-354921326577300","0","752144751323996","-437476554427008","0","327172600216800","-1368997013214600","0","-638228464065920","-394054368140976","0","-878480146727680","-187489032934806","0","9894172288504","79833163038720","0","-504857349769968","-244971285916812","0","-411259346541540","401116231836768","0","827184675778560","-1352425875836970","0","1432228477996772","-454650262789632","0","123820048340352","475388987464200","0","-877659324192574","322080674513352","0","-912940321708800","-491186908840992","0","-853270528819176","-123661090882560","0","574244615698992","2434250501782764","0","-563383208178560","-601532497540800","0","-179869321928704","303318212278158","0","558507191467680","-1641918289891200","0","258502240289664","1701984261329400","0","2339216023326602","6882068514048","0","1213586422432256","-2406885276390","0","-2496072486898144","2097168523591680","0","-806395006499040","1552583345382048","0","2473009012516862","367466227885344","0","-756226380349440","-24336777156666","0","4225450805148020","-375702242119680","0","-1197003853821888","-418481404089840","0","-488895969711875","-2387539986154512","0","-1935851862485632","-1258353120405276","0","-4263261111420568","-3220111123046400","0","-2000861960624784","1268924080945920","0","980401284761766","1647545406661440","0","1632884804812800","-1008295928583042","0","303982416160892","-459503857053696","0","1767049508790720","-3435828424131096","0","-2774210589848880","353564910073200","0","526729822113536","1185387156769098","0","3050283910471560","-304156780634112","0","1079927117208576","2265102374509140","0","-5330121520762738","-1526016526220832","0","-2478229219952640","862226563598400","0","2393919729693360","4055115489341952","0","1794653372393280","-3719016970449144","0","4741198635421922","2904034280063664","0","2146734178562496","1413071638641474","0","-1256027191734224","2817886259865600","0","678014201539584","3031157627077068","0","-1435469944213620","1476536265859200","0","-16905402892288","-922102026851124","0","-2747313442193908","-1398970325778816","0","3735877465876896","-2882512981450200","0","-2127859436502828","-615432532671600","0","-628483682444800","-5727465442629702","0","-1942652670145880","-1443076443734016","0","-597835565894448","1368704107203888","0","698326457818910","1135028972730240","0","-2111401637452800","985169554365696","0","-1491821174778480","2474997578876160","0","-3782019620485440","-9709787093595120","0","3780043874082112","-67785179563656","0","1467252058138496","3274269549861750","0","2464686886685576","-817229535682560","0","-169682690046240","-118269009151272","0","7912852398754982","-4269629283110016","0","-3667249129586688","8276770434109008","0","-8406936179151460","-1295492931344640","0","-641384558575488","-1362869794471992","0","-5387544388705500","-1323881616561072","0","5434616916158976","1510999629912864","0","6817220120892752","-2652778444947456","0","1780449350470560","3982080448605840","0","-667048975014994","3515114791751520","0","4350268758528000","7744079729695638","0","-1230393932134640","4066257732071424","0","-5554789721607168","-2998000190340120","0","2524111226919170","-1037662902581760","0","-8011194672970624","11145268112466978","0","1347459830544800","-6337146270766080","0","3596917718683440","-3285001442747640","0","5234645524234464","-3089980943425152","0","-1675135446577152","-6352013923780980","0","13227104255899436","-4233606694409088","0","-4418504751225600","-1425699068010672","0","-4019022069226556","4994656326572304","0","-1072192144038400","-2302477758246246","0","-18558651348375264","-5015858304614400","0","3201790504598352","-782560406237064","0","-1507747030957440","732708148655616","0","6905645184936960","-5604717670694010","0","-5085164185024588","-3164859781923840","0","2337922181380032","1728332228810040","0","-182584365785360","-4948021935321360","0","-2190662393713920","-279110773799022","0","-13526517861603928","19071793268183040","0","-2085312658141440","-272543929352676","0","18045917610367430","-3400524753514560","0","-1559486316150784","-11719129719838338","0","13305847699403280","8389992357626880","0","-1761684364651680","7961834707368360","0","4287752862251071","4106686376126928","0","9999543942484736","7043971523408190","0","-8343868958152","1575524037500928","0","-4226303157627600","3397052374923408","0","-14982644001390898","-2795502689196672","0","7623581505914880","22256130175851894","0","5442366024533060","-121759673710080","0","1722619906722432","-10810987426382112","0","-4590371381461740","2397149957416368","0","-1302434439348224","-20377723102676160","0","8944439700308392","-6207816494668800","0","-4770330071189760","-6011114426772000","0","-28102437759471274","-696749301810240","0","2548958848450560","-4222089494633682","0","516091995437132","5873015772013824","0","-7880876369248608","-5719060466578536","0","4398936813945856","-2897178951391200","0","-10796918367606784","-28650951002224320","0","8121085805687400","5660667323351040","0","14696835447157200","6785413121403840","0","11022255310711932","3953397257724096","0","-7193206955658240","4814420815766940","0","-84377784300844","-2001683841040128","0","-1121368936746240","11009058285505488","0","-15682896303708816","7283592789880944","0","17405533320506240","10574317556301408","0","-4863513801242680","-7607170877644800","0","17503390720054512","5656913118074736","0","4646298291681650","2932515937769088","0","-25258393596395520","-3575343976258530","0","-18092058797213940","-25853256276218496","0","14817136407899616","17832336756146640","0","38637331724206586","6221465024296704","0","-19106402842920960","34899727878407658","0","5744373208966224","5122449823088640","0","219734616127104","28512291118415604","0","-845687870789636","-6524590737588000","0","9768672367534080","-40033434235820202","0","13342408183359360","-10509458025477120","0","-25220111636401920","-4976295806607216","0","-22616076492128607","2526517334489568","0","340483770574976","-26286732520684860","0","18495304308397016","-42098067939840","0","-8695572865852320","21487665696030828","0","-9992711669027360","-5277839322284736","0","6866990520492032","8738799717564174","0","-13361513402011320","-12065015350120320","0","11612715073634592","-11892426157508232","0","-13891521966029820","-21282425086618080","0","9066794992837120","319279232436576","0","23440857788319392","-10394584268931072","0","3934767105464832","-3518130472626000","0","-21400415987399554","-2613065262540000","0","-30328412970240000"]},{"label":"9.12.a.c","letter":"c","dim":2,"charpoly":["-127575000","0","1"],"traces":["2","0","0","944","0","0","116200","0","0","1128960","0","0","1525300","0","0","-9876352","0","0","-20603408","0","0","-16128000","0","0","155230790","0","0","54846400","0","0","212319016","0","0","-900910080","0","0","-19148900","0","0","-1779240960","0","0","3181394800","0","0","1043804160","0","0","2796566514","0","0","719941600","0","0","-3612672000","0","0","-14156352000","0","0","-6185242196","0","0","11605707776","0","0","-18227640800","0","0","65592576000","0","0","1240285900","0","0","-9724808576","0","0","21236972968","0","0","-10894464000","0","0","-201803857920","0","0","25417728000","0","0","88619930000","0","0","-144624291840","0","0","263745804700","0","0","73268932880","0","0","159067598200","0","0","105555985920","0","0","-57867498572","0","0","-573816051200","0","0","233812131840","0","0","-580059648000","0","0","-519013741222","0","0","100214575552","0","0","898636415800","0","0","861001344000","0","0","-1197058004800","0","0","1419834286080","0","0","1562635285792","0","0","336365568000","0","0","-3171022848000","0","0","-9038280800","0","0","-921172050584","0","0","-937036800000","0","0","-835279980500","0","0","-1931117690880","0","0","1132283830000","0","0","6024252487680","0","0","-2421050743074","0","0","1501618345600","0","0","9018908899000","0","0","-6165815040000","0","0","2283323602756","0","0","-1645035356160","0","0","2882912256000","0","0","-11630211747840","0","0","-12262986933500","0","0","1319979394608","0","0","8537089447768","0","0","273292992000","0","0","-2440359936000","0","0","-7532199852800","0","0","13722643776544","0","0","19953441607680","0","0","12335734829600","0","0","-1705181184000","0","0","-22010607924200","0","0","20665252177920","0","0","-22778971203548","0","0","22310410752000","0","0","-32395841372160","0","0","-52342875648000","0","0","25739632570204","0","0","-2919434316512","0","0","-15713189111200","0","0","32499676339200","0","0","-3340173312000","0","0","23133827244032","0","0","-1112551090000","0","0","40354449408000","0","0","23644540846080","0","0","-8603446457600","0","0","59379313171864","0","0","-46241809689600","0","0","19070157909700","0","0","-103373899776000","0","0","-74217343592000","0","0","-12300019200000","0","0","92495686004894","0","0","585414944800","0","0","-129933361152000","0","0","-146393166528000","0","0","184839037880000","0","0","101743254903808","0","0","7707408570400","0","0","119849838151680","0","0","-55625458445900","0","0","10023851240896","0","0","45300326400000","0","0","60645021696000","0","0","118386761993500","0","0","17169675264000","0","0","-273845646817856","0","0","-83908037283840","0","0","-105028878887300","0","0","-95251420938240","0","0","-67284853073200","0","0","226577603750400","0","0","-297047163910868","0","0","27587395584000","0","0","75345887232000","0","0","129416265216000","0","0","-20730307189206","0","0","41828606960000","0","0","328455762783400","0","0","-10809171072000","0","0","299279796797500","0","0","227927883939840","0","0","15692913838192","0","0","-398324344320000","0","0","-209896243200000","0","0","124488019818400","0","0","-186582081208320","0","0","34910199313920","0","0","-20237098954100","0","0","-766556961639040","0","0","161925097552400","0","0","-822484051200000","0","0","185051630806252","0","0","75079906350400","0","0","1349432557240320","0","0","166145882112000","0","0","-811107602120924","0","0","-166356233809920","0","0","-359362571587600","0","0","1795833736704000","0","0","370844105340100","0","0","-27313459325984","0","0","1003513119473368","0","0","-687079072512000","0","0","-1381142568960000","0","0","674291621785600","0","0","34862284800000","0","0","-890659678648320","0","0","-929016734894900","0","0","110359326228480","0","0","543372235574200","0","0","-930640083609600","0","0","-1059025930480000","0","0","914174005248000","0","0","-1599141650266160","0","0","2063566923264000","0","0","-14603908585000","0","0","-244974485856784","0","0","-193491137579000","0","0","1578605865822720","0","0","2530476232704000","0","0","-1048468669154816","0","0","569413743460288","0","0","-358622159616000","0","0","61217630208000","0","0","424156388257600","0","0","72060610790000","0","0","280974959677440","0","0","462797733888000","0","0","-1356938118144000","0","0","-2010854412064400","0","0","-3005338247331840","0","0","-1689443499075214","0","0","-565011378265600","0","0","4469570920120320","0","0","-2651515788096000","0","0","1763801292589204","0","0","1541031917322240","0","0","-3597437613863600","0","0","-1251781090560000","0","0","1233868129440800","0","0","737563854893824","0","0","2426290744220000","0","0","3908888040960000","0","0","4629016487854080","0","0","-530112135168000","0","0","-3129584528658656","0","0","-632968358400000","0","0","1821867444436900","0","0","-1496722784256000","0","0","-337779154944000","0","0","3408708937213440","0","0","-2187247656403264","0","0","94560638406400","0","0","-11724804145152000","0","0","796057242624000","0","0","3621134405718676","0","0","-434793207875648","0","0","-3282336545184200","0","0","-3491445514798080","0","0","-1294499048224100","0","0","1476769996800000","0","0","2326761024753088","0","0","5099712371712000","0","0","-299700917987950","0","0","-394252150796000","0","0","4259701413942664","0","0","-2631254926809600","0","0","2132801451902100","0","0","10506118956318720","0","0","-9861142672564400","0","0","9280908974776320","0","0","1856190873600000","0","0","534437967760000","0","0","9039396667392000","0","0","-8402671355904000","0","0","-3717786801624644","0","0","-9494221920583680","0","0","-2931837124608000","0","0","-10289138678784000","0","0","2452655334038500","0","0","-1142735950730928","0","0","15323631253070000","0","0","-1712140545024000","0","0","-10358165370470400","0","0","-15710287447884800","0","0","-447117197068304","0","0","3814163230832640","0","0","1947407228928000","0","0","4256925000328000","0","0","197266299725600","0","0","14587812569917440","0","0","7079957910649252","0","0","9717324503040000","0","0","-2755204300800000","0","0","-16685093117952000","0","0","9241827455420000","0","0","1077728740500832","0","0","17637126367256200","0","0","700116584832000","0","0","3514652032412500","0","0","-1785456242196480","0","0","-7536014989258208","0","0","6132802781952000","0","0","-32792069302272000","0","0","1360734584832000","0","0","6561839394401416","0","0","-10796341852800000","0","0","-23075880590752700","0","0","18329213714595840","0","0","-3362101667033200","0","0","-5644952301219840","0","0","-16570577234973692","0","0","-5788129832612000","0","0","16479224292851320","0","0","23912946292032000","0","0","-1076369817600000","0","0","-13809937641838464","0","0","-5668153252454000","0","0","11987846500976640","0","0","-4717174960779400","0","0","4029506219346496","0","0","25851881414983680","0","0","31472499606912000","0","0","13584484859904000","0","0","-430709755392000","0","0","-2095202441809904","0","0","154416729600000","0","0","-32773787536739200","0","0","-1151849889792000","0","0","12444597474281800","0","0","-33701465548800000","0","0","16951318292294932","0","0","8851093035366400","0","0","-18795400351580160","0","0","-23774061798144000","0","0","15361341966188342","0","0","6477087862528768","0","0","-30154698364998200","0","0","-69924491718681600","0","0","28202027563215100","0","0","-31446623973703680","0","0","3860636619324688","0","0","48837944397312000","0","0","50753383240089600","0","0","5822466839571200","0","0","-13901310256120000","0","0","-10752961490288640","0","0","-43907813104992500","0","0","17840010166272000","0","0","52730257774601200","0","0","-13480377465784320","0","0","52210775757980000","0","0","-10389006940222400","0","0","28989243408384000","0","0","65195069401728000","0","0","-18868343595171840","0","0","-32568437432401920","0","0","-51590323152119600","0","0","50024178086400000","0","0","-19277607960576000","0","0","-10751674408074656","0","0","-49902821026280888","0","0","-20079887438016000","0","0","-1486249437315500","0","0","24214836473856000","0","0","-28809400443539856","0","0","-81017162152335360","0","0","45176151171442900","0","0","-15290837127659520","0","0","-2256287072256000","0","0","-25654767667200000","0","0","945904041635000","0","0","82492372021248000","0","0","-89224653127680000","0","0","29827255965696000","0","0","-28277271515205534","0","0","12149106573136288","0","0","-58160376786744200","0","0","148879231837056000","0","0","90789110104515200","0","0","30543814566474496","0","0","19730608128000000","0","0","-45468057858048000","0","0","7819884646318080","0","0","-7416625260486400","0","0","-5807124052452536","0","0","19542839500800000","0","0","-7497742594220900","0","0","-51219489910579200"]}],"seconds":0.324,"computed":"atlas","estimate":{"seconds":0.555,"low":0.338,"high":0.959,"bytes":1839460}}