{"label":"17.12.a.b","letter":"b","dim":8,"charpoly":["318453699583382083008","2989821396207767984","-10513316544768032","-77857488689676","192257457996","391948436","-837876","-551","1"],"traces":["8","55","496","10757","8592","17194","95288","-247863","500648","2824","435256","4295182","4193784","4377132","10362648","20722897","-11358856","28881887","15158192","91612472","98415768","81767186","22374432","-41056218","133926472","-70553178","68932744","108010892","-424656432","-561465200","-172323152","-540258159","-764794592","-78092135","-117251352","-1812061939","-262792640","-674758596","-302706728","-3575120264","-1283308512","-1036128840","2219398472","4256110614","3982117536","6081288184","260684408","6860204310","12060045320","-1911832923","-704249072","3548505010","9402026896","-848951924","4430702936","-11881582644","1366983408","814919720","14325543480","4281784208","-9811064576","-41469249572","14666072688","-27038375199","29701570288","-43330462276","52928023248","-15273401749","-13481294472","-128492187744","-34868356504","-52662987279","1248764080","-135359144436","59235735072","-49428813052","112631449800","-87670698684","18209008736","96412241400","67350111224","41461375370","169643760088","117131104968","-12199411344","88510231200","35491052136","-51404280146","201694397904","-4670596888","36284010568","-3754023808","106318637912","253870878768","-383491632","-102115750890","163430440672","-110963034673","-716459488","383345242735","-181652216616","-24413021258","448193000576","-305489884486","-213341685072","-163925496226","-470439643392","-1151400224444","-85130641296","-842975473392","-576429339352","436382782028","-316705826176","-262150081848","-405594160168","-310186847048","-536487768472","524481291560","-135295333816","-1334143396784","585321493544","1178310873196","-980126872944","2230953976748","379905891936","592186447884","963591639904","-762648149999","-599299561344","2671225338992","-2232676315296","2940208145700","1022919155104","-3505334864","467720822976","351930015591","-395238806048","3324983446432","311290093800","1191218464224","-2176361653600","5165687354248","-1596971567896","-406993967943","-1811811663536","-877054212818","1063079367464","1900842587268","-288071440976","-2279491177986","1638512818432","-3322631677452","-710848567336","653189904216","1097705007880","-3625281622324","-4430973858992","-1413516006288","-1943206210976","-3232684814984","-7896758366496","-1057732441309","3247488975960","-2543902889954","-9402076125904","7030543871352","-3966478617784","-6335244947832","3351924452744","-4009676168","2498705647968","6129163336112","-4235518354384","186687125648","12320973278360","-2118602392290","-6175990834656","660942455254","4076232846352","-10450740766856","12985017195920","-12239703188808","5926920919688","20223949025776","6057249636848","-6771667748456","-618001278392","872285064928","4075953006048","11058568349472","10641581838264","3653754398198","605685535312","-18473348311838","6824963895712","28180376541341","-8113506647840","-3368393931230","13116134986560","-10528601534277","28413297518416","16113386415334","19219555352664","-6098544228974","-1811527172000","4693179737472","-1263878968920","7205022907850","-13030817760336","-53855669501472","9223883369520","-33608738169894","-7630671564424","-38507142907554","-7937718964560","-19127355709356","-584409561008","11725420539768","9846533871392","16502007447376","-5954573568888","-66510690144600","26917782328296","-62290062361332","-16276743918168","14826912121782","-8296066531416","-66824211723432","-35578633313512","56975663095232","1648124988312","1774248665336","161770161504","19776387464598","26890365803552","31825089459304","-11807703678408","-6214901510124","5616896187752","114777217205328","-58296915088384","46597388692119","83429521577344","-25387846996348","-74274906853344","-30305748439300","79098407289136","-26883981506740","9184546280512","-61154609600912","75138243689680","99973127846700","-29131760012824","59589098049088","-14713478301336","-35857155136383","7217590638096","79315858750560","27672349435576","152787512972976","-26783523917760","-125295861443362","-1253514683728","72072828784564","-114670838360896","108231059188560","8595542387304","119326481136768","-38251566760384","106080977107744","-10159727438840","-29423550365729","-158568466389312","91822759837034","29449914213432","45323233065152","18111720531872","73031576236950","-263035765055864","-386935329859680","-96047861691840","-60796743150624","-17574915310216","-144853532753376","-37494228845952","-9644896771948","-30398877773088","68758048907385","16127951203592","-120592066195616","268254116318528","-55412408779030","10901591192688","151810213799642","-29096866970096","-364546914114956","-313343634905456","98896170717170","-97849360685048","231096797112810","-235754562077792","294088213863248","318391039463160","-155881743222316","-170223274612208","-41008149430159","-120917311693320","606909129865128","-6098009776992","-156919496334240","317628880662264","-35926517203012","-230881242775440","-214453053085414","331348007964024","-50046557041816","8372564357904","-15193891566412","133224813579304","428113952609272","54469879135344","116940221543184","-21522465018544","-412862169180007","230541138608840","-157643067244762","441749817045496","306760121125238","-112302543631632","-666416744360640","-68241807687944","261192432888344","-144418071520688","-16725517571156","343107787701216","518382470953992","59078409662560","362390674474617","304359522208208","-130076609656504","-104182819968888","462326477360988","84538265883064","144334861640976","61256933812016","-589532153073680","49521854661848","-353543750718704","141456801943792","-847155806331324","322871566386544","-677774531375714","178558461756864","-57945495347248","-47576674874504","-5613166531534","-139736317105176","-713413265766516","21377501315736","-497663122329544","-74059883836504","540334980967404","40192504133464","-1371069684812360","-493317344853728","654789308476072","229099874536120","-93653023257648","-815880168525216","-565894881826496","617875656978000","468784923977736","256857500135368","-116097711412402","1993082400048","192861993408832","-359233707775408","638050875957360","15300028689152","-635387496921888","-583994145538768","-409921462641592","668443596470992","-1341701535636458","150025521816528","-137500375010694","355325845116696","1681589581795046","14512109145640","248704015077344","-31768493896224","-48177507963519","522171264389136","-857253835784652","-136234112867400","991985097021510","-315099208888352","-15209979516872","-634543171940400","1438389610960339","-101149108327296","311263693087840","669042448610456","-36539520545230","320743021960128","1438292085950880","681443381196040","58293958520826","406567676868976","1277980413502192","184264059187480","-77899164750784","-5147505174912","-628940180940040","-48568074679184","57205871299274","-266398831487744","966271680406632","-1021324696685696","19621643737152","996935131555560","-123560370363806","428180689040920","-391842550985438","-190156438754504","658891662591424","604510040301688","597536425722618","-1866375464756368","889867066520832","-243130811887632","-943845974791308","381810465450624","-1968787383386304","-2091184972510160","1109676526873384","-1189323994991424","387822039255508","-550733240790984","-2182423840074224","-1080472785991592","100175423655546","-1736675669243280","-859270465211624","1056794552184848","1310413400290680","-1596677345044064","1643233309073228","-1308677148498960","-682327246007715","-62150948857472","407730290679682","191312127385616","-1705976327382930","-514612627387104","-108623684189832","-434995915145024","384298292126730","-97874639097608","-831115469119936","458359238455728","119519016554928","959086823937456","-2628382544038536","330771968902096","2502312977499038","239503970165712","-447557028613502","1278992085440464","1331877272458048","-1668831701970448","1716123040298216","173497600577952","-1366066123877712","-402596932656208","-153360021082444","1767387689688752","463674540854872","-3606477243159424","-426481037509808","1872051726233008","2196088704988794","917649159614760","53007990016245","-961867048619840","3307068295767502","1995606449553832","3261906179206196","-729882381382832","-3576003604304344","-515354257204416","134998375528660","602951407570224","288442496267352","-2727913741240760","3279573430756364","-175164402915888","2121230936086512","136196809800480","3983302743760208","2596886397173192","-1671634942368768","1281370271968792","-1893020627969364","3780012551363696","837794310108768","-1735314680737984","1382253243993104","-832955120608944","797200294476400","2810379276622576","-1151802188623503","5968654363344672","-1748145722436102","-2597906967893856","163442213064864","3313291243875616","1351662792170160","-4567014229180600","-97552591015760","-1210294929592736","1090182986383048","-1319516608160016","-6574418020669382","261947434224648","-4188062424398808","244674233629264","3913729699066452","-1616063952109496","-4701660400665840","-5060791462831320","-7642551319585040","4746169463484848","1013861714606500","2467851520205592","-3808239298805472","3126723431887408","-5736470044241984","1338048279033008","-9018610781018272","4096570758721136","53328855735880","1117941387136008","767089328863263","435734261164048","-9643097661109488","1420910626743360","-545347134781554","-960713518155920","-5446029097112010","2426170580984112","5978515904728096","4298183552525824","-574486543666080","-4039914795842416","355216218869218","-1045822666109240","-3525099485849476","-4291619512490912","5087000518182816","1085898955013344","3115178492802170","-5874989540218104","2280856623932608","1052342729194976","-3192001276954326","-1173338461806000","11979598636597040","5232999035476928","468894658092672","-682205661469072","-2980216393846756","7818220544757696","-12563669679440184","-3280374297344976","3243165248570185","2832321728675312","110879664524695","-1055039569869424","-15194456013790784","1794119067428352","6316146502410700","487452510440880","4460907550161458","9687492958389776","2671328648547122","1367108657700256","13836751148817374","-1590785974530464","7180213857433408","-2625136621660424","-2337059994356140","-293127628969344","-2446542594449944","166480152896664","7864865435105622","-4095445947600056","2433636059284784","3171436176996720","-8747676750682446","-141940309306208","21149778332133216","8742694766226416","-14254161998793824","5810125417138144","8850765328215748","3760725295020416","6430528520120916","-4249207904786736","3510636148288320","-594843909409200","2572868828522723","2795112998158704","-10889262758650524","-2293945821709712","-6413045990032152","-2570951763561792","9402895665024192","-5364206560604312","20813216769979616","-4864388903134944","-454062165399444","-10141346015778648","12865106117615772","-9354210330233544","-6863784349514158","-16778211220615440","-21736658190290930","373127969452480","8280368474087520","3600698996101704","-8944114357544328","-1629022552089104","-18207254466612780","-6469141377151088","9323447254925820","-3772120698352216","10203886902226320","-218696133495920","-12038895124471688","-1651998625486912","-9512500793778684","-15779763277204256","-12569648908846656","-5753650882852896","958060715840772","-2555626735449960","-4256598576973203","4349154818627008","1889615894479026","-10635823898567592","9244138217339906","6041425214421760","14378365926202224","-10658528082725192","1030007766741030","-11867421988944656","-7231553349810048","6696248672351176","6488750375735008","9379758061998704","762173471297464","429800266697896","7828820562450392","-189796003133184","14525732883349260","-10445847229385624","6091884210083772","-1808939862934256","-12601537283138240","-2933647608307800","-11346714686637432","8107282288880720","25036216204782662","-8140251379555368","-6470128556911253","-9828219102982704","2705833752665604","15986428933464112","5076159532682248","4697327805338832","-13926074509441352","6176182918737264","-1626576185825244","8182350564123344","25372909894225560","20987293972863960","-13429454713743664","-5373327474656560","24569006877718496","666246393937224","-58302032252304","-10173008797010184","1341817344163638","-13403908906573784","8925155097863504","1822114573922784","-12425971405786194","9853645498341648","18596086914327716","-4007267382812616","4432107026712312","21680114638375600","13604906645725950","-7904221455689632","-10535244572389238","-6584428814784984","18073659980457328","3493433270389056","30625569298586880","14702820281693448","-2714357443913702","-7855433414664464","1471154786375880","29296205443229664","7600772790815156","8072440364594912","2653710658843192","-1132239780783000","-5789822726826312","-7065827096833280","919636897407347","-23472832241390544","-11287626885177148","-12194160744621456","-10231271794582134","8955887933871672","-26099969216404104","14800393411246424","-22351713592294896","-3151228456258504","-17377538032949736","-3395999697610896","-43122863402741688","-937499659202904","19234827752043280","-7472589613932656","-29078902531426886","42256190426550928","5314973455966944","-20822496887855712","3908687492544600","-8031525591083616","-15961160393086072","21925850355804896","-3442545502098866","-10590124582460440","-6043068448062198","-8410625449754808","720821019278176","13321724709166792","-9753172822498944","356133423133168","-26460099988537232","-15908787270511536","-59149905031707792","32853533374357096","-40901707504107174","12107101511457608","-7762129781763744","3889200983040960","-5806776862277024","23559575193899560","42322555074436648","-5654037458312352","-17319111349165816","33343669204348448","-40520057596928074","11213133129614400","-39101379348734496","-30845054470272312","-10082281048072434","-59748144501960","23395449597668640","31398996795062912","-21267011869410658","-27366723574785264","16681015109442810","-5997416235747840","45652570555089696","6794516969607528","-8634559597069688","5033117884486080","39879499768838985","-14791098826713504","3347364119196356","50762069802906792","-38107833117448420","-35131010381471536","-56752966272106368","38868482633472000","17165777020417886","-14874908704396912","47290978426716596","26269904706789296","41490481184411376","-43700077217869456","-8941289111322528","-370134581489656","-60075963050804973","32909264689653984","496576049355122","-12623509089831888","42271380075519616","-38292493288685040","-14349305810668712","881228461117304","32524874185087546","-14408629929122544","65225181125068232","925180150169096","30032316571919712","16179133094028800","30509349065042440","80443250050994072","-9740509110983670","-3690970147545056","-5165066675239702","26549070785386728","77657296854466384","8431452372176","12063926987073308","21009049056990784","-2805625754735424","18379263329252448","-36082527649435584","5946621696539232","-40033331253667904","22615004135060016","97068381098992832","-2368778972934744","17211979644524778","-17123539767919240","50138962952804916","24447616148376568","-12346444833053448","-62797906081909312","-25652457696766906","16697480150951832","-118148211551274816","-17868060869661944","16575685231289046","-73919617636123344","49801438081623174","-66952358218799440","-19223197826228112","60556579288028144","50561690409512370","-35245554684365952","2714529358552011","-83624483744885656","-8679025841467392","-21473513200269488","90164829411154032","110915082560540976","-62351448527577246","-27815299163375760","-127222496452596808","11983329601558904","-107973366849911040","-108756463551893808","4407354501565344","-13519005454584192","107402206123396980","-21288848728908752","-29322693864157634","999932974622704","-37577336240381936","54081336462539688","-37614577250314304","4339992472923008","5543103306392168","-94131977965858112","-76011344905315392","-19631917947590832","82522468332882780","-8071623808224272","44339124757721952","15948550202286336","30455265260235792","-71532466999211392","40562560758847447","-3594713372299888","-5038369677983570","-17330482578101984","79001009257916032","-9528570101089904","-40876524073431944","44694040212686944","90732890512140272","-196902295887096640","-88446276742134296","-30505578314459520","-40086437009596948","12001767864871120","-73863948485639028","53350673920599232","33249877210322178","-5016060423293896","31116803568288903","-13349533702473872","-54709413826715412","74007673782730512","29134055470979818","-74004682726349328","77630598918519104","-39874088793345288","-66922357374891846","40020527475924168","28584467842259712","90148048618965464","49581458236112568","-15891636293771872","109760146920107446","-75463813168764080","-47104144316560450","17005358442720264","1205390331954868","47026884229534712","204252766698014592","20184545414124640","31865606873438894","-3032423150771336","148414455028061616","-8851271499712192","-127293215019982416","90456106418205792","10596392580268280","-12456272278334816","-44213658928524192","-16754215411624704","30490136581910362","-40877540268932568","-17193003156520020","-6290964578600152","-77656874416987574","14503147414667824","-78857416226398848","95508601123775920","42945548482761984","69041420196329712","28419253679654492","14846242084151152","43819650218289384","38986270177003872","176076794049230688","2250689212962024","79203362804827056","-9365818765242448","35845166821939764","14146380601895352","16870148288161908","37108374899340000","32452086835258798","22371446199191296","122170813033220760","54321775648863184","-20425380270834096","-29513796631993128","52001388406776400","32547245685050600","-28710007314999976","-90310479827949912","-142622840555139442","59563484246536832","88316264415655680","-59293749771844008","-99331842106512007","-1940920960732656","-191191976926721040","-42594756484013912","-84367472747249702","-64767252419382440","33132922042652240","7099589804307720","-127704581342109292","93606036162405024","-181867216531951180","-114321787216784200","43181374209723640","73188778271271968","-213208494752595564","22839377719108920","84987488626658660","-5723968520345072","-1157069468880040","-47906107675123680","-68803458360152408","118800938310457920","23594726165582160","35081032995873320","-117601088401482676","-39881108877708544","-149803669268893296","-26953405323222264","-128731242984705136","-103767336802520288","19083112334030794","-1971086621615392","-78803298173567792"],"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.b"}