{"label":"13.8.a.c","letter":"c","dim":4,"charpoly":["-3668752","411472","-3570","-95","1"],"traces":["4","15","80","253","258","1579","1692","1893","3494","-4495","1836","-3655","-8788","-18285","-29736","-36159","11814","-2738","27660","-30369","69930","59930","172920","26553","219414","-32955","174800","-170903","133344","-624695","-231748","-459291","-33868","-480249","322296","-157930","248026","-85326","-175760","379895","588108","132275","309304","1270806","-1773144","574948","557916","837429","-767378","5737920","-1816496","-555841","2022348","-479","-3770208","1391625","-5609844","-3027194","1162668","-8100077","-1340572","2715564","4213476","-6734935","-566826","8124226","-598484","4515993","-108848","-4329415","697860","1607430","-13725816","14884053","16604592","12055070","-5326932","-3469063","20079576","3710667","-8368396","857160","-2024724","-13603483","-16146514","-22922499","22170952","-2100618","17646240","-42372890","-3717324","14504892","-17910680","-3729785","12508152","-37637751","-6329096","-22166262","6200852","36589308","-7144140","49035855","-5371792","-4158921","22772678","1347788","43243440","18243659","-253206","-45603690","6220424","11064261","1428672","27713194","33181272","-47590494","-7676318","51218850","-3646800","4989235","-30022300","-14735184","-6021752","5086140","-104479638","-3545758","36574536","-12569955","-27574258","9875515","-48001488","74870270","-43474028","-49794582","-3190680","397601","-22508460","48880580","-24813104","-57251613","-71742270","104226961","-4033692","1796910","-49894596","-104241270","58468112","81708635","85001664","182783460","662508","6069342","53924296","8262034","182556168","8030035","-27887464","1268244","11338568","22377815","49936656","127893535","17231548","57720720","-275825844","-262716296","-53095836","60593069","19307236","-295951035","-162427572","-2565937","82336884","55511102","-79347252","-162219042","288052660","-153074102","105122472","-403432238","60235316","40172145","-121946024","85106268","161651202","-385690316","230986064","227473509","48264606","245394190","-56066928","-192154403","-146526060","348439170","65329992","-414693446","430180374","271690564","-21846320","6498780","-134263588","220204116","423668352","165771461","92056688","-371972856","-7864928","79441323","196970832","-12007295","-104717616","65469564","86802238","397708172","-371684568","75429579","-302864224","-77010195","-633626232","-229621006","-25955358","-213683187","-597482620","-3076647","357290358","-59778226","-261465996","10342054","-35911466","196422060","-487724760","139053330","293655966","6015386","-272297480","-51550866","153884232","-92327585","103876068","968135751","-368701272","-3654513","-624112000","399466872","416297328","240263616","-60769020","-101465988","-192481264","-704948665","639694440","-266225506","30985184","538553088","-1076433032","815688161","707435238","1101249669","-490284184","66720693","1176690316","290642465","151818432","-257634546","634073544","-331984230","185371296","-359232826","-125820948","-412524485","100176124","-916476243","-153636210","474003628","907181676","-361239284","212261068","-2335324407","-1510787204","297977955","-414637008","1284534983","577011816","121426659","-736221164","-131666210","145684272","-428320218","409347670","-2129043270","1321766408","-857931362","-754165470","-1536031850","-742507312","-29908461","378310748","-288002630","-379905240","2242487724","696049574","-627919491","1281594880","-1639079706","-2143587168","1265775402","831172588","866009118","823033360","4058535180","-690039120","-58336941","516389370","-242345358","1174168712","769294796","1475984496","61424692","-639442456","-254639421","1498179960","-961571068","1496039352","375009293","-482052558","-306794388","-983248680","282496112","-641717310","-2607217610","826914780","-1974646560","-1524612280","1757005616","1577480184","1760499657","-1817457782","72402135","721917120","-1226928333","-1102179000","-1531363580","430964784","251478159","-751687344","-262617356","-185294256","-1113452486","-2041160894","83328540","-384035600","-156642090","-2980627716","288092586","2698703832","298179342","-2883107998","400703921","526085556","22849570","903204772","-596869272","1343325616","375473891","1610976324","3823036216","-3430518360","-1963130580","-17176844","4310383375","1167568224","-1095624564","-2002138964","186236154","-5504453064","-4207739","-292956768","-910928071","1958955988","4207062474","2574356040","-1605620898","513293652","2287549537","-1476271796","4073206440","2811700952","1009080102","-195964128","1372454915","341307016","362891658","-331609450","36366095","4558551072","3352258868","-2521017064","3838442130","-4972840192","-3201519924","-2100528564","-2358887454","509150356","-3315257820","1373311458","-244416562","-177738432","-1942626107","-2198119836","318105840","3020208008","-5385146952","661952652","-2239440616","2719786856","1009062327","-5095400026","-2618561524","2730816912","-3105405769","2105122298","4258864521","-350118588","1235897532","-350979492","-5285510863","-2556504976","4186950372","74407996","-9438700865","-1684580748","-2886791745","7367305058","365474916","2095789032","3195691267","3384402624","-7759273822","-6424179192","-1134959790","1850859578","1055107053","4380098496","1766184799","-545850020","-5193857439","5812673376","-1063456147","-1305721608","7052342340","499254392","-1774457670","-1093433082","3566005232","-708084312","-3596399210","2144039992","5982077439","3152954128","2720104084","-1222366566","2122066466","1598422868","4288934250","7452679064","-5468455073","6571145736","346972210","1806680804","-3920064075","-1566282536","53739662","3627083964","3585851812","-1087153404","5730862197","39247340","-1447790477","-11934361572","6946640995","-544913122","32592270","1305909864","-3632950723","-12806196300","-6800081168","1812440172","-1745493672","-4686008128","2017930970","-3588794808","-1020313648","56186836","187461222","-9765797256","2031976908","-2234057826","-4458040192","2002831956","-7331926911","1551721888","-4243780920","-6565379928","3047097950","8081124560","-164090472","386144720","1194977168","-7472648760","-4308638315","-5657788864","2660655093","4099006692","9663608499","3756561024","-351658253","6971610204","-356852547","-5263516272","-834629315","387654282","8247019820","7554905888","2166005643","877534344","6042775428","-10831235112","-7344646410","-4408876156","4470871500","6384019972","7229760070","-1292073276","11615301602","-4732849072","979878150","13653484806","-4689155184","-10398338508","-1137214055","-3651798938","14548930263","564481264","10632372353","-9612598686","-290608175","3629116176","-3842542356","3268574572","17292440880","-16044235992","-281245620","11530216312","8419799868","-2929988944","-9088701501","12342880230","-18261090416","-679540888","4928992119","7868945956","-9680433334","-2769228072","5693823473","-337821292","-14212311420","-11203042788","213460995","-10749171774","9672682670","-11402068040","-2791960782","9566888828","-3434869616","6181243056","-3605110178","2750729504","-14951161932","10733821872","-24119706122","12196878408","10790039642","-3201413144","-5301060114","3895597368","2913874337","3097328484","-15034510702","7807552024","-11137649970","-4712377720","-3940309065","7895259120","1603507846","-2618199808","-841881570","-6435601540","-1263160756","3331709664","2743218540","-6417471386","-3037727835","-4230426772","261393687","-12444063390","-27448444356","4154840240","8264966526","23179176540","-26958233160","-1225741452","18100881854","15804682152","27061948554","-4100823656","-4492086674","-3288392892","-14132285144","-5127588596","33589627476","8074916848","6121297366","15495420408","-1839831513","12328066496","-7640032179","4945867056","-1595337418","-17480981418","1481535790","15949972860","11699582988","19395605046","25070306634","1167924936","-10008990388","1685929466","10458658788","-15066392468","282697535","-16440137304","26538338860","9276080012","-5558522292","-14462137054","-35039335102","17701854552","-5738348427","-407728048","-12606210240","-5058734480","-4218942532","3311316420","23402107973","-23652236760","-8369937744","-24467584020","-4026424553","18084282672","-17043994838","11497981920","15477844092","3990841712","4169000480","-16095618636","-16901577858","-4753915184","8507145720","-4724415266","18008757430","23858301960","-20451344371","-21108618186","-13076545971","7457626320","1221182677","-21881069964","-2518561706","-12901903040","-4951949205","-30114206040","-18646254616","9847917204","-1414035164","-9716991688","17008594665","7108882712","-12568232973","-4443098556","-11013462100","-1706484260","19135072260","-14639083200","18267896361","13612973448","13829600346","4918022928","20588832561","-37176990800","-5530508244","19187698548","1052363","10956304504","-6073270194","-33837327250","6563587556","6777154296","14371347062","-9059974992","53556415155","7920346248","10598143102","2389651488","19531633463","8283146976","-15763637013","12058493050","-6748329576","-1886725824","41587854714","29144551280","-26495226009","-9223047024","-11076368704","-5747857668","-4216469077","-7213636696","-3057400125","-28834207900","50391119750","50884240368","32698204824","21558931726","-42004949982","58913273664","-15854084004","-14505256272","-6251638776","-24620890180","33823869129","12324827268","-12281767772","10921189668","-3224382292","-34942647812","10008419676","9916492748","6617546014","8731610904","-86870908745","-20657341448","-34329624879","-1467056016","6650745218","-12103482264","1910754767","-19543433988","-38911528008","-6890287472","411208650","-25310164680","4801097344","-14063029864","-19080565782","-17443820948","40857215617","-2554381596","2816553973","-3187312572","4964053590","-506331248","5252891968","23838156282","35722889094","-16839755916","-11528131146","-491261618","-72106302842","15199500360","17795869169","-20917174012","-41902957836","230692504","48459348066","4790228100","13816824121","38436579692","41540588433","-8161206960","16494245260","11706901896","-5672759820","2945236684","-52270390194","10784905272","26476900710","-51424953408","31593273322","50375718928","-89441421060","36822350220","-51218950240","-17951280984","-32759836754","5576370224","-5966094108","6938371512","499276484","-1845290310","67629731905","-42808669876","-32505222630","34175651714","3968760366","83506262928","348621969","13114989316","1836953988","-9257006772","9006604656","-766294350","-15465316540","23445165272","7464751416","81959832528","8251280698","34442529876","-20934433592","44952174864","-190642320","42365514008","14796652195","-41660888544","-4878534943","-30350127368","-21629043228","-18183031496","3349058659","-8129758908","18330577455","33459285212","-14524537899","-33402296256","-2540486205","1245316722","15800319482","-2546255748","-10572536052","-13703744280","54829682940","24210798840","-12356795465","-2173416746","10123489896","-36548819336","14518486052","-7731638496","-17848924522","-28846630080","-57179823291","-2129383048","30421182443","5424396756","-3119706309","-11274782528","50652592605","-52104134080","-1147262132","-17546949024","-47024908150","1314869348","-6146453829","36490561772","4891354744","-44029508016","-25723901434","-36167421994","-64231316466","-69823767624","24688738698","-9473379330","-19040722184","-57218223000","-9921636621","-31171278836","35898679711","65833438512","2303899199","15839507752","-79553999130","-5232798004","-82887985453","67777422948","85294997714","-8647474072","24994756401","239139056","88217563946","-90169913544","52494657576","-11559250408","-1969765488","-34026338792","3236664842","68615549976","30666313389","-43032632888","41998333464","-15692281556","9511724755","109914562608","23039767710","-44284699784","-36509656218","-115203544504","65537122785","-50523320610","-39361187571","7493012536","19788091380","99878259188","-14573245323","-1533198420","45743132870","77739711156","84044663952","42827301520","-533236782","-76348342068","126544332540","-89341802484","32540287761","20647243284","85063634468","-6585847896","-3531523710","-7168209568","-10196193198","-15907299648","9168529975","35026016166","-16837863574","31823331712","23293288470","4683160370","1918209774","20479639932","-78948128228","30155617752","58263847680","38276907120","-8684335339","-10717436814","-41659881296","-105172074104","-45212289447","-50157326696","-78048229321","-2836266384","79043163647","37372030700","-32700264441","55459664064","26026998154","-89304215784","16665850852","-36890721452","-16345302747","-28173890276","-137709478290","64037325072","-9594330928","59598340270","-27827914752","-36480288624","-65344832136","8797731672","-113919202716","14023844184","-30102320034","8480282136","-31747833363","104017270908","-5437901456","51791950758","84616062966","-101644044992","-26484988790","-3475170000","-110091976220","-32318114216","-19092571908","91306779000","-1548411871","66236239680","-111101680224","3520261632","14864609784","-6408430600","-34867378135"],"space":"13.8.a","level":13,"weight":8,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[13,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/13.8.a.c"}