{"label":"17.12.a.a","letter":"a","dim":6,"charpoly":["101392495911936","36890201127040","80932345936","-268719892","-571030","485","1"],"traces":["6","-9","-476","4613","-12884","552","-23436","74805","296398","-676038","-962060","-2352344","-435268","-7990948","-9450288","-12496671","8519142","-20195421","-26398480","-47202914","-56428792","-51774200","-99172772","-110557128","66085866","74451914","105183712","102848900","165683964","401475744","-199133468","465766501","518429376","-12778713","804442912","627274777","-785778644","2174484940","627357728","657666206","166444428","652753248","-1110947880","-997577064","-1706447988","-1891667412","-5828211928","-2359114472","-1968801674","-126509183","-675851932","-6633403554","-9889898636","-1961072736","-10730153984","5703448884","-13522850128","14316796258","204095112","22313648592","-15864546948","-1838602020","504344540","6177095465","12794774792","56255165136","17196640232","6549800341","2949266904","52391765944","8751653884","38682669705","-13704156916","-9383651494","-15917467268","59548672452","-12012382872","35038956192","-89923384436","25877503334","-152313828506","57834669670","-26042106648","3397466240","-18293437588","29108045060","-195382431072","-228837945880","53269579420","-10044062046","-226028668544","-9212077436","-62709484936","83948222448","-170219637424","116885663928","-106272517044","132039821039","-10550584980","-130874549789","61410072716","783761064","-2933725072","94589034398","343026127584","10469246386","109223244596","329734501744","-9216122436","611824906752","803958757664","-89987717596","304682614380","84424934400","69784312080","758426743510","203141790668","-791476833068","-33275768652","13929971472","466517011230","-322070429902","77926877976","-886473635212","1382721959736","-693550254180","-1233716836152","-985399274531","193017862448","-1926475870276","101616225988","-102090629952","-500761044672","-1228623014748","507291669360","106212402885","396896537788","-68506353216","-631243929460","-672318441928","1019936428512","-2291924343068","-666628112368","-1246490845787","-1371725537800","-353665249466","2857360190076","-3509906602658","1488540560820","1492325871384","-870929479032","-108664385052","420842775086","-2764167577920","4296677997488","2317288837904","1681783983508","6033559329396","3535835542248","-3687528482690","3890241969040","2358254015247","-442604940012","6764103404242","2154660224112","1690027636892","-3301175272820","5442565177056","106061776378","-959877286566","-2571093353728","411474782780","1346779673532","3211412385600","-5453815395028","-1794208490808","-2306533701552","-8250283797498","5379455663008","-3435149778858","-11251418988420","-185750621224","-2936441552224","-3957651332908","587059159992","4584576265440","-1365987625420","-3008034805952","6783799382192","-9601135766488","-5569728979864","12191962950424","-17352859918260","-435667818514","-20643108425136","-7202625529379","-2289824077172","1444498244568","-11606603865436","10427276778291","15883022774096","6074051416930","-3252836830320","-3339992094808","-18015189057832","19307217451432","-7786429012092","2672038129190","12119815828176","7132623367968","-26468248492436","-7513485340266","26823250562376","-6419379427504","9129672740512","16841539140720","18979071840736","41551144273890","9322661081864","28647522489776","-618018316676","8182781971584","-13079162839776","7119677010292","14612937640162","17046797607550","-29268790827372","-46067248008544","11408349077692","45398979765400","-43580753355384","7984650906070","-5536971363060","20361546188178","11244960221968","-13494043785524","23937351218456","-11346003454436","-20455312294904","45261506876688","26575394380300","6252512934395","3462720330988","-27336289788186","-53115126424164","-113781501015696","-6933187887120","-39404202302236","46558407957072","-43982628323068","-5245194548696","13147674026228","36012661330648","-52596259875016","-13418057568816","-48605508636319","63404062498716","-98220147120768","8547854644336","23845973252852","-589999877316","-116884255189672","-47267987417048","56354992353792","30696578856808","-19554727039568","-91593925434000","33338930683372","85178419453836","-16938620523360","1493394021192","-17743485796047","-36072543735536","210394056937654","-61680067693524","19148521884864","176696718683612","2370406510352","-91212956420836","-60385546055688","108529090036380","-119045092663872","74562410429684","-109736451282212","222176360943072","182067387260992","32130603787800","15916165006905","12095963402694","-137486329189460","145075460121800","28227642313618","53109121137684","194208375909240","16242864871232","-224992784353826","-92039867875008","66860785661346","-150877944075760","50689779317272","22836243059392","34035390677472","-25202531910912","169967008646100","97485144489240","-28674609874797","-169141472177952","160928949220032","89648344895552","148753641909016","-89008283072084","-196267981718256","-176943636905492","-165952673878358","19715530477104","-174824199426692","39259086822764","-374597035788528","26106299799152","151584527003798","-10032773266944","133777970287360","-37482066617360","-231108404403587","364816502310692","-181781446044448","-246915195667216","260068068693874","-13763292363744","-624909565054656","-298425203842712","98823431058468","-219209254221748","312605522891620","-347135663394224","182475953157344","61315273023244","-111821976012327","12046823822616","-67021387863298","-54547825191144","349447151973660","-369112603785408","292991774792892","422051674132800","-53090005231374","-376171214616476","-529486676640432","479117671236740","-75883205735036","-139528904706736","331498735290920","-3586348991892","817367445405504","225709567862592","46432845837730","-80120815322744","158382019165308","279373405726176","85068748227222","231885005685982","373455396673946","-516171646587380","-79423346038344","-220909001256008","600627205436928","-289847962021244","131573977604612","153508321776828","757406695423164","196669484453736","327034441521344","-114101170145668","-73511960289400","-386004280732128","233423280576608","-31044581538808","-34418282420928","18858252536628","-140845243074344","-572421558910864","-426681178110624","162610769068792","65392668420600","167426926683072","-151495874235698","54916375139432","-107254649229174","402306525674668","118665296113248","-140811154533604","-860637360152115","30822857485056","138887381360586","-83687150316144","-57912443364456","-389497682778820","-878195052431868","-67784284990352","-75253583047961","-220345881398900","-152226520810464","-600269480665392","895372680700326","584287300962396","-676500332897928","683400018341104","-156975312090696","-62862194135652","120324883720516","-98071983641136","-637329684172488","133454015183328","-17025367223700","-640536149014944","-745037843859138","30700460042240","-1543652679688320","153097907245980","-239637749391936","-1114972915979812","302826302046272","-144909147988056","460087875690422","93832479441162","-187553747744064","328891629877104","-668711235359360","1707742997807040","-119358456297416","519027982309212","-14013965709200","-638045295433124","1006257052660160","1132044999559920","194686069324694","408366071786816","-385900277144304","365788380854876","579750299959216","-11874766208130","105711071256298","187944254772664","1472883482751248","501465361161576","-639935845139112","1915253083485528","-935658623918844","1761388448752204","315553302697269","-1121088985599400","626751356623962","389077775950928","613242512970096","1817748429911344","-993031604849184","-348987786036148","-842732662739982","149345829769184","688769656595000","473076437824132","-118151295703056","-363070930563584","624937496955582","718832406659616","-1354808974071386","1462235030238432","-904249051983658","50472368840656","187886691122656","253220618797304","-1617909832180340","-2141083418984304","1073361485739264","-785616606701424","146030730607300","-438534152977020","-2195027914698272","606686442774212","-134496050900400","-1526394131281208","1767266332224222","1272025598884824","1263700997435617","-858607704716712","-105891582576264","-1468059467097708","-1637919080346010","-78576701917840","-711013771059158","-138819314383696","-1759720299083952","235247536073148","738870114317416","-595756463745168","293061375731540","-1525224711390352","-4453386076370304","879266635135996","1973876675752556","-236266781944968","-263137363650900","-505001293797500","566319837695556","-2921820440653720","-1313999973147168","-651828309105540","-2150452218735000","-304973387544380","570038145448608","427254446968328","-2642629076717899","96229741231808","1935555444330414","531690839806688","1369592848465376","-1366019866587232","1928829780530072","562788256455936","4496367630794612","-2765084439473364","1613479386491946","-646338899630424","720913777330104","-1294427626058056","2185441409329760","-282741048474076","1497453643479744","-1668782589289290","2988230592448716","111071289708696","-409841306250992","-2886785815128808","8971741260813312","4189737206606992","-1403989682354388","1328697246746928","705295821444018","7089963184132220","-2937226952069280","-103986096900596","-2067553619546848","-147195162726592","661321826810357","2349782379014584","-5076825367048512","-3743209648103212","357158526659250","-1979053798580644","5314182802329912","6011404008949488","5307315601338720","-5932128743018128","941090358763210","220888915198704","6053083371394512","-2975540397742580","-1429863029891076","543795260220928","-930094899282472","736095578519232","5995941853758790","-2685776813094088","3093668110340736","-4224134489051016","-6096406662700040","1564428257308028","2755625210779756","1463290901281020","-4411380737794176","2475408710962668","-1712801687889424","-876572668082400","1107331782159288","-6509680719254140","-1337042615522291","-2192600899409124","-18143945104041","7116113132362808","-4436826702034300","-1616944370319040","-6724004969561520","-4988821664620824","-864216912295246","3112595681533704","4030449516792178","3433090416699296","-903337817579064","-2805637143625440","2539540432614424","-6504116824576752","-1427616095910874","-2144189695858836","-5589054661045536","1142193899703584","-4487861681450906","-10407688869774328","1297132534110584","1737888413697936","-8439554162562168","-6389554709356244","6231608321084048","3429111198022280","270513933910432","1766916917045420","-7761934784819232","2408218905218804","-3256839095803228","-4418382636025344","3496717470123980","1859400239078736","890640483046889","4815749769969428","-9006167897129820","9529821590582016","5252081432578848","-3160538452953396","-1225517725732224","9109771609615508","3621468381522328","-263503196424048","13454050723176580","-259104989051216","-1185415787611120","-2714105278232594","-11660441520998826","2075951900228400","6686508897390942","-1115693308133908","3183884107980408","-854777693751088","-7847308537166388","305540285486720","6061028982688562","15487506494023008","10031946942567792","8526753611064220","-15712687627875360","7528028775028788","5926872784057166","135643943689580","-3215439377086032","580568246635188","455621725671056","15914297448864","3087457663453580","-2713184548566712","-9258502852783443","15257224070695280","-5225973112189946","6061781103212296","1995766665906784","9265020791383660","-7078025235487008","-3484413657033200","2911553756343594","324604136514044","12065595917376960","6304297274948480","-8147870183636928","-4185556800743932","-361014665602524","890758261604896","8069088095331748","1353929601816512","-4993955853073086","-3648044143740736","-7233881073384548","922530863336720","13267272096350232","10641633526778544","-11156238735084576","-4961479672400788","-6408794418528482","-308907518106080","-7179708903065941","1278766316629500","-1052589758385744","-7109841871640088","933791966252542","10553134446568464","1225116802638848","-4376775571291948","-777850853243116","-5269076313243992","1764880154436616","-10805966778449152","4446476702699276","-5488353578723224","-11478257226226080","1267045628644916","-2149281969870010","1258289907341544","-6725798153802712","-12032079006588352","-17267153548171824","236327286206796","-7675650327492870","8629550490873144","-1947406241151588","-5785545477386724","-3593176415964768","-12064543483271760","-3634646472208824","6603066370921536","-1423777138074418","6602880543731360","-1221908942457888","-7096304414923076","-4155138240297656","-10194884728461868","1585470204106946","13101293666465360","926816268445536","-22635786650897328","6474818623832468","7259628630509472","6064264084696448","-17389592038783508","6287130323166078","-16042228656628608","-13316848054652749","11515314743302136","-6443637022131298","1440453514709220","8300974510866072","-6910567794288616","18831594099029880","-4228128439236530","12243929081556804","-1577387124053160","5488876250961104","2317672515129620","-2375391882027436","-8446421903014368","5037126307323220","19428325580207440","196552430802270","-17540832278948960","27170071577639732","24208433217452608","32678588748485736","-4396421891731692","16744713155444064","-9368736540379096","15921632638681426","8297969024007384","-1416416777359848","3449670748739096","-720594500838336","-5612234518497684","15058837784502816","31158236096315376","9006131559959660","-5365026759128128","-2509094285584768","3185576754740044","-615490440881632","-38020279080145176","-17838622912820904","33375327723110972","44615194937407680","-11608586044358464","-23472160838487280","-2422912120897716","6256433771017528","1175870940128864","21523396739654488","-2343699433702036","19360481024301984","-28944242049539520","-12513501506853046","23184331080812668","1792179359462004","-22246812537390532","12430255883777258","1059489273471328","-19720775539744686","11837775416282688","4059771457493664","-17398097159543352","-2685897216600084","10428441350521680","-600647937135015","-16723148535325208","38421978969688560","251811308183756","10012403000136110","-26156968089827952","-30782257678789368","2749222995004024","-25727236909742520","-4418627237203096","-30271758355803646","11941991818082496","24838687550246764","-1629408963232716","17351946502449888","-8275227503454296","-25113151985696125","19772946380324844","-39289164968485186","14027622250578984","-5450156597079328","-40720319019588880","-26255719329869064","-36252657825137232","7789481946787046","-44410307604623092","34252705846364202","-4836896123556","4657404464554968","23865328828582976","30662184774749600","-9470438982380128","-3349605196870504","-13200662734512000","45741600965728806","-11559425305665776","-37602305515741972","34054911267199388","-37758224025622080","-60881961842678532","-19549947974449608","66840342189423552","-31403519664925296","-32233621799925492","1578296490104436","-23302802458846796","4555943806255752","9963617497260704","39815378901120854","-2795416838440618","-103241607996219600","24151217088013056","-40581837152667936","2888329370570960","23401589809835520","-25406463074151244","-54895774166243136","-9159483648023942","37464631641017570","3389046096972552","-11282570352932656","21866389840815572","21784585756925808","1328693788097340","16866243353384670","37868722852786976","-179624949046831","42264019576779936","77567652531503040","55727520695390796","9184701325743160","8244702858332592","23700775276019856","2148842529961516","-61111657762302816","12165996697512072","-16218029283719128","54436467215805360","-35796176406635820","49085106225691696","-4442924820085200","3035783561642488","45603396333930974","-959613096613724","-6531079816940784","35763716314995096","-8501049869899680","-33886060740489648","33922267375462934","23332808961238364","-56852856811076560","13771500436878912","-4973918744754928","36665057394167132","58854490997981972","-63616838606250408","45335736167901744","52168942248764524","36192285152021691","-13394643279696152","-9418484469971778","-14571298447596576","25822834507771356","4254265353054340","85186989826517136","66928016792476224","-46870869344734748","9646250304630060","-89373125615258344","11587468758138336","-51257551165211664","-37353988987410736","5807584678199892","13504913256191664","53679220465385038","-33185234627963392","-22901181022601873","-14042241807615052","-90810535633933968","80889510371015248","-51082621201409734","16504646669833528","-33592341029450304","-25829645113916828","-32167707093855504","3116342230280220","20190048285918448","-52456683764311724","43420040055619040","-35950304986745360","-237095591320202","29650299862975920","55541472370585558","40032703529572600","-2784442851718752","-6729119241900920","-66020506858833480","14339134123529744","35659683548798282","115443025630110528","-52107085200572640","-88027941292002508","-58443848006526752","-35780079970834192","-5108743141766858","-42224089543435604","-35493648071575968","65360880779236224","-25570717250393774","-50123576454913512","-112410008190972612","-15235284245260288","-21434980137015786","54311310711757852","-58328554416415024","-63842567518432072","22082235686443008","19399723325828460","-55654770779844816","25617808933537832","-31487472537157092","-46923754518728640","24874482043150464","-47771066700082420","20420493529346048","-40798143198949544","68783176100817812","-39216667100680560","8098081822089588","-47528179467279604","-4427130314926566","74915365186708560","-77471361390976976","59303128885006032","131147610385493340","-115565055619200432","-172692496543096944","5581857094283206","4929988556019580","197453832785532","72198051117016762","4248978039566392","60566939553418704","-66806044581110688","70105709086962257","-19200513414191696","6877113907795316","119659371529444744","38057033525100088","46692794314786648","-110231017647480372","-78791564452189216","22521741931816590","-32880525985979124","79343287352642544","101253599156219488","108984396890331886","-48743837047570084","116381528491900964","-97582480418130756","28265232802353840","106027704274587128","20327803384495106","121667085403028256","-11935879286210216","1106997137152384","45860245731991584","-35261904181437620","19175792170940004","-11072167897934896","31321202917540928","77021338869912400","17703611614860576","-70894872616766228","43850005136077232","-72150466376588656","137848425002813036"],"space":"17.12.a","level":17,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[17,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/17.12.a.a"}