{"label":"31.8.a","level":31,"weight":8,"dims":{"new":17,"cusp":17,"eisenstein":2,"modsym":36},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 31]: [1, 19] (certified at ell = 2147482951)","T = [(2, 1), (3, 1)]; h of degree 17 = 1 x 17 (phi(ord eps) x dim S_k^new); 4 primes, 0 rejected"],"newforms":[{"label":"31.8.a.a","letter":"a","dim":7,"charpoly":["-4467019008","-8449179712","111486640","15588628","-132930","-8266","31","1"],"traces":["7","-17","-14","229","-430","-528","-832","-135","2115","-5232","-7886","-24952","-21844","-37902","-37796","-49583","-54822","-57869","-45352","-50110","-90756","30696","-18464","84472","-37691","3906","31360","323084","-81488","549372","208537","276513","266552","1152342","154340","712153","431648","798430","-239436","600366","-1465990","1324796","-598714","-660872","-728478","-356652","-2003572","383736","-331317","91595","-3313124","-28582","-1496844","1032136","-1414452","-2199880","-6032240","1517430","-2853828","546920","-1486900","-506447","-4186384","-1940543","-2252240","3180552","-5647492","829234","-1992112","8307114","-5168828","5542765","4710926","4058410","5700806","15097160","-2020724","20668432","4582796","6495030","-5939465","8295096","-626514","15579128","8323116","-3575108","19337220","2100840","-13906634","5754808","10966300","-2803952","-417074","21167040","-11547396","-1593224","2962898","-25061151","-16496442","-11856545","-26776398","-14787824","17396516","-44864150","-11101488","1182054","-8018732","-20945760","-8689282","-36492604","-5247212","-21284992","-90613094","-5717324","24465768","-67659310","3804352","33987450","-30618616","242464","-32677397","-53123534","92613232","6822139","12882600","-2974510","84590708","-8989055","63186760","23115336","3988884","60298576","76641700","-92809132","87707344","25246218","51125858","90253992","58134422","-43990100","79128428","-26926914","20731292","18357765","66148704","-90599746","235794258","7403714","7230182","-943644","94524932","-92551340","-41327174","50617812","-12810130","4092016","22861238","-68991440","137086964","-39988890","-175092824","47550863","-51133204","-180736162","-38978440","28399536","-7082752","-56296240","-109582671","-220593416","8659672","-52826152","-126258294","-190803608","93916772","-44536536","-49515640","13844490","48120098","50269690","-214122688","38458796","-74502908","-65513016","-148840072","-15729648","102231516","-336073176","-309220576","53950506","-124977400","411474808","17092346","-84500268","75543888","-113827863","-351733312","163604432","80211752","5054535","-181587712","497881776","-234623220","-77853072","-234664656","506732718","728621232","239754986","-174955968","204588836","257139428","288127898","-60070088","121914510","-48729956","425457872","-24786112","140532020","-7122724","255672840","-78232760","369644016","72598196","890066288","-661821111","291668148","516922208","-218217720","186744656","156464300","101556816","375784410","-645892014","-654579902","46769328","-44689360","-21130160","325155228","-214499020","393412464","-580875358","755726459","254620046","20066498","-623689370","-858207588","495586600","-4021785","-1119192224","92047986","-196573490","697128108","-1057475568","510344556","1025723176","-545451647","87738778","-938872288","-873952940","613371380","-664554404","-737673804","166854396","-661610080","-1303788888","-1078905982","47722940","-567727156","-533795968","-554759624","320553452","351233178","-224366008","-914148834","1439193878","-2076846704","-1589811172","218693160","63007965","-127600152","51719290","-137059304","1510421696","-653871732","1053428344","1051070016","1467557396","-902423339","-607231019","157597524","2298086952","681273458","168049226","-1717568156","1130495868","-529591806","-516609640","-916744350","1173702992","2009253280","215427676","3005842856","64863132","-40891492","1258532208","1928518094","324138188","-479667592","82412520","-155866512","1310090652","479936560","-36597814","1910209684","590011076","793873400","3344858378","-3376141768","175259100","825016390","-2219118504","1989865836","1448396800","-2586809171","-376651252","1319177134","-607692700","-2053750110","-1566730760","-1475184504","1508838278","2352985168","1636324956","-4618764624","3373489960","-1446165216","1821738878","-427873839","-2190026304","79796820","-234931826","582256430","-1337215340","191488352","1343546672","-4816090734","2697579938","2848767520","-1863593842","-444656160","-2199576344","-873177624","-693753354","-3341728084","319952508","-1928361830","2365026536","-7447447440","-4299318992","-2503593434","-969132969","5031820866","-21991162","356332888","-2303681548","3325760416","-560459152","3359061336","-4638474630","-3061862592","975979492","-743345032","855251606","-2815484080","1296330048","1759242264","-2510566980","3350880280","936458048","-1284473660","-3968945472","495688266","-1940819964","915751032","1161843984","-1330851972","1731972242","-1416239026","-5861248380","-3829961096","-692976720","3590505385","3759984912","2637154230","1139693576","-2375963224","7576190018","992687940","6970136120","-2163084521","-2471808606","8700428976","-650754604","1504371378","3173239930","4715665368","1761757756","-4336849360","1632775778","10507907698","-2770153388","836033228","-6410605340","-7413057196","3563340420","4388645866","1119687120","-643762740","-2640601060","-5354513080","-5998473310","4017336226","-5234728244","3057352386","48821742","12963278924","-2171080724","6013929224","2238877140","9279839880","-6802401180","1787143920","3868825946","-1129138482","-549353232","2643804650","-201832920","7401676192","-5051020288","7392825792","9260664967","-4766713164","-8059768344","-8025892432","620585436","5170741528","3742663900","-4367523376","-10613530038","4590098663","-4468008624","-8281292722","1735784312","-2495572428","760556640","-3398535088","7870566578","-8882317710","3488454416","4411576680","3422138304","-4763197928","-7819363384","1709185002","-1125980636","-57630972","-1685688172","3004504146","9056732752","-8376638512","7857854716","10922067780","-9386614048","-11117188560","-2975707012","-11792834856","3776904392","730257360","-16279800252","-6752871920","3708299404","-5350632354","-20156696928","-7169992703","-5156688824","3721912032","-1879799812","3825892930","-8314209560","11401929018","-7396151394","23038615496","339342720","-13288703588","5280145092","-1477127153","289916","-9375162968","-592750966","4007232960","-2452182096","17828589276","4577902756","-11972494472","-5983761024","479034376","-5797292838","7610759504","8184238240","-4435204520","3822455056","-2175413247","-6695166880","-19155343980","-6712955332","4835857216","19565243916","2374240068","6383759420","-2812860468","4841391838","8206202470","12927892106","-9094869492","10909739388","1648224036","-1633202202","-1982959488","11539359295","11651453444","14523565700","-8505728660","8312524012","21075993480","-3342327612","-7056245220","9766531120","-6587022450","-2201911534","433284240","2827300670","-3223068784","4385313492","-16409706822","-9344399152","-877214392","7342427468","16608130154","13402645264","3967112532","-13177690448","20667851360","13707899560","10185445798","-212847344","-5389540360","2569451808","-1723975379","1092104692","4672210320","4471206296","7382620476","-21649557024","17799246128","36422923368","-5493536628","-4521826592","-20214038160","-11731021774","3555867460","-12368309746","-725521424","18385948452","781640934","-29144634040","-20144617099","3233508158","-1905871731","16317852612","-1148480580","17457247844","-36491626604","5226613452","-9325127894","16052680744","-9789807102","-5609814622","-1160180816","-1351081432","-4016651746","-9873348764","1560403298","-255382414","-14059894144","10390101768","1287405710","1992547560","-24356529768","-15445477480","-16130452168","17833769150","4128420376","-18309549204","-10573358272","2653576882","-37458342468","-7783358152","5503285900","-3705634792","-5133838752","-5161608676","1600621978","-1714584844","12144184022","-260252840","11526463632","-19173513682","-30320067028","-1314876346","-1492827010","14306899616","-17218543794","1439770360","-4394127696","-9709314797","27642535694","15419807600","-6604440646","1777961664","-6978289366","-17652870916","18279181560","-6058713008","-23708512464","-2001904208","13438078656","-4491244692","-14961066840","3128618996","-6220139514","-9739285830","3998254996","8128384286","12942657848","3355230616","16518262116","20707539028","-7791975855","-11789713224","28512022770","-2703711996","-11760662992","26715230206","8328172900","7084643400","12016850490","4423909702","28062381648","-4849102744","1346314000","-11975471050","9163590176","33484653472","18627189120","-8937232108","-22365228134","-9810968160","2421467464","578997784","8627118336","-1372193748","16022914496","3972706586","40723459890","-13479033472","1452960123","19086020108","26944832932","-3780006884","2290341868","-3425635272","914464536","-7562021604","29066383000","2517610092","48881168990","-52715383980","14738369456","-7110692284","-11486470488","19511387960","21641651678","12141263092","-15290504160","-2142557436","-6534078896","-20974591884","43321377690","15716169584","-7061449360","-22994422330","1353061760","-5201477480","32241972584","376491896","-25242572934","-3169709484","-29628505800","27224134904","-6141582218","-29357918268","-20770898550","-550061024","16966714168","-27340185744","29581287320","-10167606080","23088375150","5309942584","564408942","-49274944580","2579630773","-6091368828","-15880709302","11864858432","16387054296","14075477348","12041098160","-28385821197","-15870481560","-19614304732","-33029903664","4835308826","30958651548","-16201615356","-14034282504","-5728909264","14231504752","45599798","22842558500","18282645760","-25647739224","18853258236","2516505352","-25005433404","14594100172","-26893147238","-5223214512","19362752556","-53293309236","-10794525136","1419591288","-48363401688","45093130692","-8632437912","-12036209680","-35170228492","20284697180","6892524064","-26842162128","-38332131638","-9446086664","30972762820","-15545541452","-3338120468","-55154205300","-35936478520","4279049336","-11097549358","-1412073732","-39154812068","-33880941202","12140648016","-5620018572","-1122852581","41476017418","-61623507864","-43521891210","22108690116","-17375870960","8300911416","-7181127064","30497839480","12812235273","-60779600016","14934784464","-18111696922","-4182443206","54960818224","24514912272","27160778652","-13551309400","7423005892","1815101936","-1823158960","13644527120","28578397608","-2779170860","39100492464","13142470455","-44880069378","-60446902254","42717451612","51149659648","41440881624","116363646","14065461540","13278566910","-38794145230","-11105101816","21765734288","-12168538240","21871299992","31896713232","40395665012","31319079216","8939738680","-30893125370","57710561636","-28249475520","-2073813624","-55546359744","56326983836","59527406384","-10233489992","63034933206","8796759078","13021756016","20238765800","-4936546388","45690202036","-13216465942","-50479553486","3134974152","69148687872","-31043437240","934245760","4740339930","38758890988","3634266992","-49678712639","48706029816","-33686461228","7165065128","58569406870","68775548256","-82119616","-20954778414","-2407221264","-32022739626","50985726208","-24715348904","67094198846","42905415572","32657603308","-6533811756","-55291363882","-58743748456","47986960130","-24425553600","112676064024","-42650973984","4042946316","-76812034000","-19586450820","75248974410","22050563478","9624995444","-7842712064","-20132907728","43665166072","-64720383410","10731848626","-20711600196","-28276845060","-28423553584","-25705726222","-16689223170","115992852348","-6256508592","-14335349474","-26903499707","43533768926","-47055251292","68012776184","74372028270","-40523467192","26503334320","-20694327776","-75540248188","14208210350","-30058612312","-63664536080","25259902464","-32949558948","-12777398640","-91399891056","7824665550","-2427609008","-30923916565","-2917395432","-23140366828","-4084873808","9679313514","-91372319032","-155930404096","6124774508","303585844","17595223074","-36197599212","-25002108880","660288000","-25666257288","-103189746670","8880498736","125754745010","22289656896","-24724094160","6078320096","-109798859040","-110733797344","-39207207654","139996011592","-19875358544","-18180528376","-78314936188","25875525332","-45897801270","-46404787774","16366341252","-68768379252","-126698848282","24033106952","19471551810","18440923416","-15937412398","-115962338002","34580227608","37969366988","44897986800","-6435174796","-132967800524","-50814435768","54219758652","49875987872","-34076335776","92980454338","106950498080","57655478752","-7992726964","-10847688796","25899323760","-120545233494","73416396934","-87189444108","3111477800","-67320810180","88399702890","65519111432","-42891960752","6212525767","-56624046084","19209211036","-32432914942","-21561261152","220784965576","-76353174412","-98322656715","31316333792","142092896022","5615256196","125368995448","-4108498700","32075747852","57376236972","38924057570","-91345895822","167331537252","158791380876","8026624910","-31682062394","-51073160844","94015348996","-31923454400","65922819408","-92272468340","14117308856","-62755173920","103982512928","81708390452","-105904004800","8237598783","29522424752","72865658502","-68566446632","43951676496","40671587438","-94932719360","3199122424","84884113812"],"derived":{"al":[[31,-1]],"fricke":-1,"sign":-1,"cm":null,"cmInert":0,"cmExact":0}},{"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"],"derived":{"al":[[31,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0}}],"seconds":0.266,"computed":"atlas","estimate":{"seconds":0.388,"low":0.237,"high":0.672,"bytes":1934676},"url":"https://sagebrush.space/atlas/mf/31.8.a"}