{"label":"7.12.a.b","letter":"b","dim":3,"charpoly":["-106812564","-663088","63","1"],"traces":["3","77","-140","5493","5026","64274","-50421","125103","658519","610764","-1039052","-609154","-1881222","-1294139","-8220752","-9117711","15797334","38909","12340356","37982168","2352980","31890144","7276752","-117296046","68924781","-133487872","205674616","-92320851","-126853406","-575391808","162184512","-167636249","786346624","-79664298","-84471982","328076045","567121338","509512430","-660517760","1827265440","893682734","-1080253118","460197828","-1666161688","-5048825558","-6171574224","2723825664","-868401730","847425747","11374112959","-6836867112","-4409363868","93426522","23309429948","-4073739768","-2102606121","3867165112","-2792521998","5899174428","-16616994016","2106807738","22093555428","-11067728833","-9528592239","-4991087612","-21724126480","-27027285348","26942000190","-9435687744","-10265110548","16564049928","-19175918265","6036803934","29114537322","6787422908","19528279218","17463346964","-25177551784","-54895016736","58098552176","117359146147","-88924869978","123561203892","10238051278","45582888084","59402678104","-117914423480","-97861591608","-91648411106","-285253455172","31617698154","-147922642512","220344467856","132452618508","-19413413120","-214249905422","-71237114634","21750594173","-177803449916","376917301263","217197337826","334641407628","-23102882376","-46919668236","138166178864","152309503590","-396134906972","418004522852","251115637122","-372402283792","-213070660824","153241368777","-164757474386","364660534436","-877276472352","17159076938","-334159453502","-170301143418","-265505792538","-10727462880","9734073495","-358880379340","-179873071336","365546079276","1273838694996","-653943563","364231565592","-735730189161","668325340256","-506084702088","-582047378108","883377617360","-207404363292","-1158702589948","-638040450080","1108610382474","1259979971502","3571112667360","-390263173188","-638366297576","1374618932784","-349335965328","65912004424","-4227422343367","1855573059900","-2512159275990","-39546534860","1803604412322","-1592473357398","-3865161905738","-473311163808","39024344478","3057220378590","-535977650208","-474521982768","-107438174200","-1981074358998","330638180008","-1256854358760","-600855729936","-122300370864","5368335833273","279810423900","-1242217565666","-277325724224","5307758971158","2384779622344","1971394645122","-3413625761403","4534459715256","3815023236388","862601545200","3959862914714","-9055727539516","-1158418794267","3468576013208","-3732476576232","1289526726642","-1550800752340","-9169169687944","760533686178","2243530664704","-13403685356720","-4215459586032","6324460799244","3736132995864","-9655583085624","3877220339748","-3456773271112","-228611508000","6759429686464","1834416873310","1119761909070","-9351723554586","8788864663264","1551636542757","-1777269160598","20735466144512","190664845560","10249902264525","-12750957111536","-4938300203508","2132025194642","-8758446137196","-14502991909308","-1600386181100","29311402958736","3626746063164","-1678543191584","9670610117056","11331345983628","6773341635030","2617269477312","-18195798726732","-2575548495352","-10628078251140","-2725835093184","325212803082","-17642880399576","-14090596643424","-5057086306524","-5814581445708","26481650328336","2817462436943","-28481518265863","2299706276406","30904610751924","2735062132124","2521136819250","-59032336644288","-13216127709568","13340495637390","27604174958094","-19661631682672","-9412385179536","8364243964650","9441435122336","1338917856486","13479687755736","22803356429408","1123212833190","-55352399526743","36257096256892","17658436924800","1419720601474","80300033937676","-10093066664016","-10225681322220","-2211573552552","79726224460344","16549951111036","-5513974088315","-24627806115648","-51831376482816","-17439882827808","14215639863489","-38952183234202","14705113271296","-9531608327766","-36090567705136","-88016357644934","-7162325675106","-5211398679704","41995388394288","44732250305148","-8563375411010","-19823533379000","-35798674128156","-64086865340358","-25691439616000","2004855323520","-50651262832170","11101321992320","87459726587946","7797466533932","32263766199840","25300263516906","43865882082834","51920054388384","-30710850250080","-6488343951874","93837215900808","-45390475663092","2100618943776","-49751326298240","18105641463504","-15020125710338","-20387361690977","14983210345881","115282154890280","-7022095956456","-30723947246454","70711718013314","18155814154226","13102261993680","64488769242966","92086927192960","-78412289464674","43976928806496","-70582415255366","-7734544895196","-221538476958968","-103868582504272","-46629432789870","150350924940052","-171264227645994","-194790840498828","28003179490216","111424785982544","-18412811725152","69411737937864","67521961068408","40562399819550","-4280484580288","84855611153306","-64779452535624","152581906866690","-150266675973540","-11970777380520","-174270605091632","-63159930936368","103725647982768","43536078381144","131839317918713","-115754559463242","52845317065712","-250190629769304","-45447429777078","-45779337934848","52464759872384","99806577826116","279466626036234","-35858641704078","83729840178684","104436717493864","14595227876110","71979198437502","-12182476851657","-53037082015400","207207402234672","99616316423904","133804088850782","-14242684529829","-38378822414592","120108711646464","-47480557077240","-6456410537164","-163831778934628","-44538428040918","-191164716501913","-312776369334464","-111836353044504","205608150562486","152609440184148","-152971854552048","-19495790657182","114907225551384","-46252461326100","-108941107850176","-11410041434400","-281361484387065","67730543743352","-500647785867292","74108178529476","-145024920871692","-354914489134000","-63293383862016","-413653250611728","693955819161878","481775181188616","-1570219555254","175933802990568","-172552108862070","353211025467552","11454321436128","-49567826385252","102391063891564","-391761589136036","322499524637940","68738569723040","-553182046416384","566032076609688","152653083263856","809214717454290","68467344280776","-93134911946546","183980927574740","-322019214601938","-469318162669734","540999507747776","222123819736224","35338501075647","702492997583992","-602299492823490","80730770136800","-40779729853720","-402651750705414","-215514698801892","-64995444037384","400812288307251","379455854996526","-982077382912024","-281447752491024","281311961226520","-677353498782254","46933917220386","-241637843638920","-629165442552372","275735809651470","-906682505464232","764366783698728","-281262291334164","-99147424611396","51206799525168","497840809498368","327381007071748","184254704165448","92322625863888","-1034431280443596","279281818426912","-127540033325286","-372226874281276","984953397752352","326081207443554","99514757305194","990873423012480","-35409117652566","-794976205653820","-116973996552896","-136022730349968","-586015529705592","-612192338427292","-116542839010122","-371326386078396","686629513025440","743138416926162","58538407564224","899392355844132","266121771371736","-347849654792640","186015318496231","-469845789611856","1246772666179908","-504199857173460","827544843500820","399937064362808","813475518729720","160147049760873","44341722778758","-197547716293457","-688366608639192","-2348952329266","-1688065776218080","758809851402078","83885209494884","-502986465465660","-300716329228938","2101660380292816","-267833585439984","-2783189977470336","-1422949747180486","365117393749360","316945877114544","1041299927953682","-1406732605348224","990013102548354","528554957835492","-72960687682204","454247584843836","-400906555290144","-1088227703229056","457909255560582","293314417570832","-1895730727567376","223972452041100","-452814197193330","-1318112824710606","-544517523462696","-13924787510368","1512794972443552","-422810225711748","81392664087238","158585603913408","-589179482291055","-1178476068786156","777957489303302","1277858053123008","1663413378346776","1537021799443648","172525712980236","-795308785504780","445007833851028","-207178915710396","-634380100746616","233876570763304","-407776249821108","-278391987139896","1524149101579860","1009028142607548","3518188286626608","-1343488610335760","255266814842130","-240853434928680","322289658279855","159453937601412","3725804776260096","873349941742236","-28068352440720","-654864150240790","-1814887851608832","-101460563718738","-234936678944473","1716997160137744","-5222478475706646","-1978399571948992","588508921405888","-73483488088416","-489328028770854","158117770768544","-1813977279552480","1295063629012062","-4044284215792654","-506562122137428","-2136536694456766","-114076216814756","1237217495980752","-434710028476512","-3634259240732848","3134738070489387","3056478764749032","1297311420171228","-328211788816926","288929303444180","-5353193704564396","-657784942307976","504465959585388","3249420755280560","205761188971464","-293506472423948","1627513154751680","-3285940952430318","2498512559575760","1955865075506272","523764814804602","3260913999705180","423159112833688","1951604045796348","2283902557997226","-3676470832515614","-4843101173108352","-1068067183628984","-1314971096025888","922620546281952","-545735437895530","-1292852836609248","482050303747278","-1059431756234222","6419699672651076","-783638055858168","-976462366422032","6362371219873920","2256950368878786","3745505201464180","1237798230254712","1764658040127108","309269870032214","-1972455169292629","-520926549938496","-3521793539261354","-3057239525475520","-906452427939660","799208086319552","2735376150690400","1494560289720246","-9047663095295952","2752418173870105","-1120461452159658","-5757850408659241","-5749126013667400","3821913777294480","-2076693153812844","2535060551857260","-188859833875176","347429003219550","4800901535695636","-853639166553516","1180293058255612","-172070927829346","1470554098457520","1429829779427520","1850400227955832","217931151619530","-1637522184489450","-4408812388429792","-766111600027788","-5381441740135266","-1782629703291792","2988226808641536","-1631178262922712","-1091841491119050","2004026583349182","-998380810893928","-10140121637265236","-3483753859027752","-993234070040422","6451365166669888","5208850160421600","-1403282387482178","1981787715428360","10459368193052568","-2484753730628400","1133653115206542","-2208287663345526","-5344618773351634","-46347784199584","1644759770155656","1801330039524630","5513573642794072","3049392203470620","1683904002068736","-5481257841655680","-5983281151888824","1540334845458542","4959535342531784","5289571655172111","3007098877185718","2263855637972800","-65213910822396","3355571818530036","4794254821075804","-3040081917944856","-1698307176672696","-1833805438966256","12355852901277798","-728869500945936","-3019460254156668","-531398652874278","-3758189941671328","9112712895296040","-11488035870160080","6009485787577566","-7606371185618968","-2300585803212060","2486135852699184","-4053272407206976","459248409041844","4532205106134104","-4426790948661141","-4546345589861376","-8083636686854288","-3703329471255792","-1164180341328600","3913224109773426","-2567924896680108","-10574883528550848","-9714590663493674","6623164235935590","-2226131159263956","3157171532529132","2121863753074688","770173522796370","-5900440608638216","-625688501067840","6597679930659846","326281234307840","-6839144274502806","-7010226956412960","7351532417380676","2207849067963616","4727052914684016","-8039655717938264","3600898160427554","-6701359257364794","15529937072241326","13140654863891240","-5494522856754969","7775648606626866","-10463297628933268","1197282185653638","7250519685755520","-10572488466729096","-5081827335652704","5603937216567396","3067731216057410","-2155012102555116","-365562236265611","11101853875499456","-1600345967443680","-892158371776308","7245007741387776","8082615842405076","2407026837202876","2988342582738212","-7753335757785864","5452376954344320","6580542084052356","7856381301837852","5690935240703384","9602697360853128","-6334849082327241","5464486694583426","-17752694494199728","1360643790221352","1592397035074264","-12803014894658688","19931924356946154","-3650435656841582","-3995306987101332","-7530498383066694","-8937695288323872","-17581236325822432","3075068020740870","-6276206683321344","-5624318138003796","4617122129269776","-9085939896312260","-24294806263161504","-3922429118866584","8037560590144512","16375304592855152","388290144093432","-5517128225127219","5226145775858072","-1054875933923364","7882599175198430","9500153375095978","-4799722950323112","788578864042452","8974036079213383","-9281270472890568","-1320522002206680","-17347598572106992","-13359193581730374","11014137067216248","-2322158968167248","12595605660779664","1577821459736464","1620007571436646","-3559637875650276","22458375939235152","-5680572349073888","-2559865826837130","-2230477330372992","-5946354239826600","-20677094457610500","1759801061552446","18043534556428500","-12081798799948752","6657839381478404","2207118653620992","11362443285621960","-11542262069746044","-17228477433729464","4951031073741648","-7386587505935008","-7025402015573564","2013393759646842","-4601058883253616","27940274410739712","6885424713203040","6863821940951262","18721053563434656","-4220500513109454","17579037080625992","-14059711854988572","31886673444423420","-608159798514240","10131824502112894","-6559826534629578","6258965183692144","-33745267712417752","9502534975853526","-4784264899417822","19793087576082232","13262301383164512","-8378687446304742","3581078596468968","60892328105370","4274937277549400","16692376904924672","-6351605756656608","-45598669796810592","-28864463864719952","-2575527685035039","23265422280829924","15838364335257284","16135591798565988","-22266152794822402","9845631513605440","558956968839360","2769078872005502","-16908113198282616","4525740389460948","-33098471685147960","556978228519584","-2456150176819836","22247421118570186","-6128849602265852","7155959353909344","-23206341825048811","-49681690308907034","-12144799464947538","-17622272930257464","-12106250221037224","14744385670820064","-15822151490332656","40054633467577248","13153551719023968","3017934583555542","-35811462932006356","-3892068361910820","-288392606096966","51716185759537984","-5897153675559456","-17034412596946472","27974016702716052","4396425170419968","-4181154668710754","5616217935008114","-40187289987435024","-7350116559525334","33791947232667876","3478479947841528","-18112197700603020","-21096889805549824","2862251317426326","-4222274037775788","45017995478833200","-16851383375310918","44940511385408352","-9372209668718120","11798143825485276","4462355855186166","-32951933445140388","27491294807230464","-3442119731543248","61456284341725920","-18215128846174806","23051849275179256","180296468624160","-8358593213150115","-37155027541881578","61006762199040392","4612984132865412","-4919761970774658","45348893237552940","-163600573230465","16338038257855326","-42408087433366184","67288875516692466","-22748178092821920","7507740575940864","-6845480131623294","6031702535567380","-29278511650319360","-11911324007574420","2564235314135278","-14123239433343040","-33548648219543940","1287662479127584","3023126709944152","-46493053912577448","-11883297331421376","-65063750915398340","-23176186590090012","-9494360964134242","-64258711500996068","-6143732954391732","27090074646751808","36499455697998080","23326316283100488","39890540934766854","17349215256113790","-11308946096810208","-21409406946797772","-7432835792951940","60028984571670786","-39417098525344344","-60173948294255152","-3687788207459328","33143847722517126","10990829463341","10323288161931996","-17166724517263944","-672456819498240","16110700327101516","-29918416714968040","-17239011741962892","-6121639922904744","48184464473450360","2101254969538900","34054968695280456","17095949606018448","24822905683764972","-54770263329790680","12365417289228927","-28429251675654144","5131286171245962","-24332752939531680","-62008477302326249","1745839269456660","74063769752392672","-11232543993682592","8068867308761754","-22914714892503308","33336267522919984","-8637236324031084","73050298238969058","56742551535962474","8505765587993016","-39495399347862312","-24640424975911204","-35137297825486752","17710233629957606","38988182523877216","40416953873197188","9782470283861156","92472854780425512","-16159253707757832","-81852013704706560","15834848010192568","-21343984869915120","-5427669797255664","-14846927614969520","50999068797616134","-24433044901003312","51534858298306040","15686157753407070","28552106447448710","-76267299589950336","3485845133848644","37659298989901938","-25423360544002272","-57628687053348138","-13387693514024112","41326794040011732","-39643739436778722","19474314429256036","-9701897025154216","3571100148817152","-29539192623572758","-128460194980165864","108395758813669152","-22640734064309718","10723545844494560","-11710016119466016","3981053869531340","8515156597469200","19445761755867300","29780882658311050","46383354280664856","-18632414698240518","13575002151366494","-48794547232276986","26182234060463712","44846537297575800","-29726367225339008","-109075065719543196","-21176483381034114","37243958890885984","-19469073783014589","-33571182318480240","-84732615340288556","-6544095270303570","73689177459688868","-60019690600319520","-91737644092971360","22724705649652611","-9407393156885808","-86560968425402184","15215347012318572","2046823962143786","6559153151770716","41029061737834400","28737055344974144","32225071088959224","86050711016536182","54085924521541808","30863486142163080","10729022363359832","-25501455065842470","58482763063117932","27323504774129256","-53342154951447348","-122106280594572036","24294591543104988","-23103220403300688","-17279688221550216","-12312658808557632","-633400067926864","30482018129001264","-61237125918566892","74855489970326240","5871289569267696","-7046149229761440","-35676959326814484","12439178433690498","59827012434326084","18244690885527792","86013608538211200"],"space":"7.12.a","level":7,"weight":12,"T":[[2,1],[3,1]],"status":"proven","derived":{"al":[[7,1]],"fricke":1,"sign":1,"cm":null,"cmInert":0,"cmExact":0},"url":"https://sagebrush.space/atlas/mf/7.12.a.b"}