{"label":"31.8.a.b","letter":"b","dim":10,"charpoly":["-93064067996201984","-2496232761718400","220580468861120","4611097028760","-202197440780","-2886863810","86166363","695035","-15896","-55","1"],"traces":["10","15","40","613","570","768","540","-2220","9518","8653","14526","36050","14440","51531","42530","56673","51930","102795","24124","107979","40910","-16040","72510","-71412","114356","-36492","-2780","-388765","331608","-532842","-297910","-533835","-1066220","-672402","-917304","-1455331","120250","-1175385","-171264","-783522","1188306","-814090","-318500","898968","1191270","-2023122","2363760","-2360300","4770008","1000266","5636480","1018590","2717430","2327700","3291072","3945732","1460370","-4244410","4115088","2994732","6429700","-446865","6165000","-4988500","12375402","-5140700","5202840","2414580","-2975420","-14189249","-2846208","-11499480","-138320","-18827988","-119538","-5549005","-11745900","-31032260","4272482","-20991225","3891686","-21545145","-182550","-14235920","4281062","3832566","4433780","-22088950","18325602","-17549167","3475046","28195740","-1191640","1054268","6032052","33190","16774310","36040560","-24306254","5004146","33736146","5427380","-26963340","45961008","-15516942","42503850","46035720","6194240","8788050","117189942","-58876712","-31073035","-10454310","48275546","-60415682","88321740","-459700","85346885","49694202","-15927566","11866","125864400","9633890","-18261883","71623770","-1480953","-86281620","97771785","-96806800","-111494226","-28775448","-45326320","-217841950","7757928","-164882212","-156160210","79352190","-80417120","-88649898","104938527","-76906564","-75810755","-87339720","-141542235","-84312122","176009250","-182219050","-43382820","177930984","-70886798","-78384122","-13859700","45865290","82509946","-16980870","59407944","-133457430","136805520","-179534140","-88930825","174875250","93263775","-93064400","239681409","23017508","-29749600","43762260","-23834610","232300898","88072110","-122143000","-69657480","178518420","93935352","-126652908","339682224","253267910","355963600","41709888","223807995","119152660","151488150","155634840","-16996378","309395256","-22879488","-234860520","150470640","771537140","216296015","-21684480","109055240","177541290","-109563123","-455086596","-236706956","217628730","21919940","-106554916","-269639286","-152442288","-494057895","-308013810","-330243928","569408962","-255804051","-589369450","-345881120","563382816","-1013789758","-490869752","-514906830","754174190","-648106605","-541283550","-583065996","-16087140","-150394305","180497248","-377659974","247708200","-1113491120","629084420","430821903","32340580","-33651055","-162206640","-45896660","830219054","-485137602","-1021237516","-535000840","787850190","-990480904","-510885188","-482650023","346650840","673969550","273348330","300983134","217571908","-551833185","604822240","1484319574","88808760","-414199338","-779864670","66136020","906578804","535492243","-438825444","1079085475","694371420","1044644406","828823580","132964609","-179389650","397097860","-764585068","932904540","1248113244","-545043940","610725210","1544512716","-590493056","-1445096967","-210761180","1514760160","989192574","339947580","212472470","-2468020170","1857445140","2056567982","689243646","352287356","117847720","-12794520","-283550738","-122785328","1062994518","-490984980","-921447740","-966989979","1102361850","3459052048","-3091736760","193766605","431695314","-2841974220","639842110","-1279231630","-1801406880","1674168570","-524329564","-3540769806","-2812833680","269174250","-1632779340","1563599446","-96890718","-2226620760","-3076365030","3083146977","451525830","3535469862","-1894438500","-3331975950","1297126414","-257781523","-2108139696","-679566000","130309490","1452409011","-4790215612","3487752886","710712930","-153550180","-1262760464","-3199671150","-674434182","1972631510","-1945635030","-31588447","-775228018","-680529669","-4941111490","-3868039330","1482237732","2342684572","2316481194","-446540520","2605025270","2199766108","-1879841040","1773712286","2087860870","-4003121595","-2137088194","3693168844","-432744066","112206355","23715600","2507898504","3602695460","705292274","1537403820","8077340760","-1613051192","-5449441680","-1902767376","-4270175220","1833986700","6652051246","-2488806552","-2345321334","-943913380","-262841680","-795497256","-351333222","893900560","2071588140","1479638180","10691521320","198196728","7627744092","-2137045900","8068258710","1248797366","-2037625382","4658570736","-1073965550","-417802910","377361360","5116569018","4299916864","-3475341120","9503523740","6481223508","-6371502981","-2098509332","-6271286385","-167307360","6316995872","75043960","-2119940727","-6990910480","3610127195","-1710232542","-12735258056","-2617209396","-7180226910","4596364600","-2874213414","8061716790","-8728120876","3475831810","-2312722350","6117282886","-7244242982","1050087330","481488480","-430182040","1036088823","-7663112970","1484109816","5636731620","-9591987480","6327228902","3990895443","-4824651512","-13804225815","-1871560650","-4471727298","-2828653832","3657919002","-5813286860","-7468774250","4422644556","-16855729516","-7530383066","-11406063435","2232722320","8927278950","4164664164","4062495326","-9275684470","12454109535","-4053786276","9670889152","-3501902268","-14905330460","3838844050","-1535160021","6430694784","-6480603791","1448402850","10540909000","-3583691372","6064295160","14238890128","-8303882540","4018451220","870966972","-10497954838","5026616376","-753872920","-1025657240","4321997532","-3158494486","-961601308","-16643084685","-10283769200","-6274812208","17805989538","5217401050","3353097220","-4888070400","21396176984","-828746308","11318800254","-19925037740","3515125960","16197296022","-1267011230","4688953669","283426860","7446362370","5545827536","-10951845336","6695820286","15895573160","8046509820","-5082029372","-4035559440","-10076681160","6338593250","10136823880","14396848752","-1159496276","6108831188","-23065194990","-16231441100","7706664693","495071310","20310875544","-463932110","12559595340","-10347451382","23028449398","11877911034","10793894680","-10392376940","-106768062","8949775344","-1688345343","4479570210","16265668500","-437998574","19073258877","-17474888536","3791980150","19722870120","-18493725824","-6917031314","-10168696260","-11303536300","7921139510","-3815009976","-12891411032","-6419732684","8764008420","-26360591100","-13733785955","-3925964964","-10684378476","-8100313580","10332078030","14354695776","-24057964606","4694565948","1440700810","15097840820","-8994758412","-40717455708","6604473138","-1547046630","4547687540","-7095843946","-5775629172","12582230492","-19686999725","13484997810","31219232224","-12336388404","-8027956512","-32649537540","-24012743450","23898370242","2412038520","-18860770634","-9282297960","677875640","-21809765300","-16703777766","-2227067080","-7690985320","6975898440","-6800349928","32493617018","3563883690","12813248900","-15272278090","38395377234","-19874127564","-30177057796","2879964510","-3062365845","-14429431764","1005065961","-9002955872","12005518065","8061509160","28608870500","4332111178","-18857703552","-4972507200","12380098760","1770535200","34997956594","3299597160","-31319531820","-25094890050","249581913","-3088984872","-16190098064","-11634750340","15779532705","13121279130","4300861142","-3118883196","1453392330","2303895140","17213957748","22425190698","-10750530922","-6061269690","18520948610","-718678084","-1543610223","-8546106148","14064660180","12196985790","-27035066000","14711690522","51814594230","-34398154540","17286922560","3680419788","-9907181566","3661479626","-1066350660","-2358291720","-2381370702","-755933406","-21120532594","-1884112740","-8959884105","18065227344","43456795306","17708332980","42767494580","-11237066210","-9509435061","12094903922","44886732220","21439435440","2001460390","6402917268","-3216802389","-17015907176","14020286265","16551371850","42955135684","-8974248442","28595901174","41421794260","-17356206515","-13796703360","-6460184821","12553855380","12292632450","-2122185010","269848525","2144040096","-281601196","-48948199130","-31674135300","-1522347868","26479436643","23141588148","-17290690190","3799554790","-49460843712","12615109232","-17271177978","21495118740","-22400083800","-24611686024","-43842351114","-1218749810","13520291015","1494547140","-10348502","-9708383816","-35067644115","27631772360","16301054600","-484275744","-13161417528","6851612350","-44512493940","-1244515840","-36707719794","-24804713910","9518532208","26484468200","-65285835240","-11979702544","-1787135560","4172567040","22115384160","-1945133930","-22139289552","-15085693944","29569278987","-14543441610","-4610782590","-1559147056","-9444178362","13602961392","477847640","-18821521260","-42245697533","-16261042294","-35609926311","24939853840","18252208990","33343972632","-12951184544","-20923796068","-23832455370","-44943845180","23042345108","887167908","-12848876556","44348572250","-74495299950","-15832203898","-35623509032","-4462321854","20026224040","18628609520","-23784626154","16612639400","-1264384052","3968516760","42810970060","-41853819310","-53380216947","4845637258","8437360270","-2160145410","4128438656","28977299212","-42928001574","39643281480","-25181875335","-20260647282","24802646115","38110577478","18638414940","15308053440","16120301774","-6062283582","8338876228","9341820760","-47792059050","49353653138","17994353782","-13202246748","25147053920","-38627925370","-27872556462","25770337384","22055043892","48437371680","36359825235","31008112876","-27602723370","-6347417636","39866361740","28004332050","2127434892","64037260284","-387135429","6692652230","25504436740","-18712230","90112048254","4272164864","45967681980","-10891664000","-48877066140","-27879106854","-12211589072","84023037740","9753746040","24816192680","37408511948","50363516088","15079668780","1349340200","9502261779","-28927459202","20593795078","-9464671410","-33892932430","36515440146","-32962249578","60053972746","44683548195","-1197243480","-20883726086","-3406779596","-43836830286","80363176260","68628363570","-15368207148","67256742588","-75020608720","-77460166440","-42954308920","-5461450020","44056761834","31047958216","22486991140","36619472370","-49949965324","-34558502820","-32552394972","109362397990","-3071651700","-35533071699","-73538714528","-49942512074","16512547770","-24020775910","-24392916592","-42620978370","63132118322","8728369180","-42984645300","-13872840448","-3370777102","1087133172","-64883228140","-52836612570","42714457296","-35965460299","-70974534556","-47050847910","-58730544080","-27800657608","-9778020492","-13085598228","22803003590","-13371526710","-124103938586","85217543805","-29627334600","49567410420","45000525690","-25168501476","35619378936","-87703109865","1215401040","-72338805340","-1840636134","73069120098","-90960318204","-30872478460","-2641363080","7560009292","-54059050308","38221210830","82818980","63019224845","-58469683260","29821216778","40669247570","18258709245","-100805855270","-106518877583","20235647202","-51867135668","-13858086180","57073168230","-92865186536","40081254704","-8204981724","21405395140","-87033865940","-1537592958","75466053952","-19350990640","32897020380","-19715670660","-72578098526","-39416208066","5681232630","43657950000","-60511634430","-84218478848","163274750980","51853225176","7241955680","11581698115","-2338485540","-32981342684","-66016011328","-29630031090","54574830850","-27514045458","-86237156232","91107421972","-33083474710","97654976865","-2721943288","-141907636894","101249758548","147636266600","52927832750","12924506424","64592131030","101657713915","-30237885180","4507968360","-71711124780","104439869796","-108694268630","122294315640","-55898754900","-115929407448","-45211023638","33691864377","195910313440","-34652990870","-9878933928","86340362146","-61483275612","71104141350","-157593545280","106576370278","-16778106750","-119752021804","-19528750540","84637966980","-81883719218","232928607770","-25437529578","-36127978870","75698623120","1605732984","-1494774012","45759252404","72185215920","206838820400","-35594193804","42393652134","178364132114","5184467300","-20663125890","-104018505800","-42601143014","-80727602970","165110747640","131416818840","30658572492","15873896022","7683378752","196373945355","-94091213130","-155678093475","42732560436","-125101130324","23078291500","209200419960","40428870960","74465979476","69337271406","22202260330","-111947795870","-14209845","121718900100","-22690259056","63172798950","173189925140","-77437753072","111803410692","-136778036534","-101231937230","-44389206150","-31453183506","-10888750884","-3283165554","-135140981220","-68719277845","84826960542","-125914037310","8875036810","85456965180","-27431659860","7061870658","-101896357566","-15138184088","-76702381280","-227485572060","60900186756","-39380060719","14706151536","11824484750","-79891898640","23738998326","29522995116","-6528649636","126750962310","-4612785790","-2530943824","69878209314","17512895982","-183046290510","-29740527780","-156783783350","44273622320","-178559243760","13630142040","-324613119620","79500040608","59213117030","-9514232086","15903478485","-13956512820","-126380031885","2861472132","-222507719864","78630388070","2872033920","-158894122592","-42165542878"],"space":"31.8.a","level":31,"weight":8,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[31,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/31.8.a.b"}