{"label":"223.4.a","level":223,"weight":4,"dims":{"new":55,"cusp":55,"eisenstein":2,"modsym":112},"old":[],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 223]: [1, 57] (certified at ell = 2147482591)","T = [(2, 1), (3, 1)]; h of degree 55 = 1 x 55 (phi(ord eps) x dim S_k^new); 8 primes, 0 rejected"],"newforms":[{"label":"223.4.a.a","letter":"a","dim":24,"charpoly":["-6729628368896","1632270456201216","-1755117314824448","-1219531034801600","2293408602086880","-569568643687732","-471809749664904","229592398119321","34337034410670","-32539471931265","-188337143952","2522800981400","-113929446191","-121917165119","7016026540","3864419084","-184356777","-80522809","2114042","1056578","-1695","-7851","-166","25","1"],"traces":["24","-17","-8","79","-50","-14","-61","-204","66","-61","-104","-163","-92","-149","-224","183","-537","-442","-209","-405","-416","-34","-416","47","242","-172","-230","-432","-749","-706","-249","-1939","-1346","-299","-1128","-987","-1143","-1270","-750","-492","-1293","-797","-1027","-1115","-1668","-474","-1795","-1734","53","-1813","-1200","-942","-2157","-249","-252","-986","-3146","1994","-1196","2417","650","918","-925","5230","-3460","4723","364","548","710","6288","-1048","4757","-2545","2241","2090","6285","-2274","5152","3120","2174","508","4341","-1537","7094","1438","3941","-354","4434","-1835","10650","680","166","792","9911","-1640","8755","-420","1439","170","11574","-3397","7711","1732","7435","2086","5007","-3624","4239","-55","861","1518","7751","-7612","15133","3436","-3077","884","5223","924","494","-1938","-253","-4362","4405","-7086","9612","-2043","-11686","1602","8712","-2799","571","-1586","-5655","-3436","432","-14006","2240","625","-6326","98","2168","-2478","-230","-5868","9283","282","-1788","-6300","6299","-2714","-14490","-6749","4742","-1426","-3699","-4804","-7713","3388","9332","-11306","958","936","-3503","-4396","6521","-5474","-9243","-894","2147","-5507","-10729","-12800","10417","-3149","-7040","-7494","-1920","-8567","-11752","-319","-11277","-1662","1633","-4316","-1269","-7286","-27033","-11720","6504","-5552","-11272","-8336","-2775","-6336","334","-22645","-4870","2587","-22853","-10292","7571","-13080","-13384","-4086","-15404","-3510","-15519","-8582","54","-7413","-21420","-10560","-6674","-8870","6910","-12694","-9744","-2498","-4610","-18460","-6779","5352","-17843","-7384","10076","-548","-24493","2902","-9","25202","13018","-27980","-9815","9118","-19494","306","6648","-3810","23568","18879","-2986","26732","28981","1788","27538","6670","138","-12004","7575","20309","3085","9982","-5228","44622","40927","-25603","-3822","34613","-20346","6697","6869","-1764","4028","1854","12754","19586","6338","146","30988","13608","7054","-3854","19882","9880","26539","4332","-11046","7895","24028","-17783","-10602","21839","701","30076","10464","7257","6698","-7671","14682","55500","-36054","-4748","4851","54580","-4932","-10364","-161","2012","3325","16386","6638","38536","40109","-41604","27678","28112","-32880","11976","-36663","24692","24998","-12132","-30586","39014","26858","-27389","1559","30884","-7491","35976","12609","33291","-33144","23774","-2703","24012","-12209","-27338","8273","39656","-5875","-14113","-23185","45070","40230","-30242","-22984","47320","2361","2654","-4642","17218","16713","-2446","11134","-25443","-28997","5797","-26434","74018","4161","-52815","-37781","36536","6812","9286","8020","-48729","34084","44675","-32662","26528","-29045","-12192","10224","37504","-36682","-22545","-21562","34650","15019","-17142","-16984","46500","84473","-28852","21320","14177","-64871","48044","-38285","4280","19331","-956","5133","19137","-6470","-1161","1148","20740","-3699","-16162","-4471","28378","19638","3674","-21972","70298","14474","-53151","-17787","12334","-72133","-19222","13836","-26990","-4362","3194","-21612","25764","-24783","-19312","-29329","-12710","27622","-18344","-62507","558","-8230","24648","-19468","33701","-27385","-52029","30261","10186","-20793","-26878","38130","6394","-6884","6191","-56024","57656","-25119","-34356","-18337","43058","-20358","-11795","-44100","-19359","-11750","-1496","-3791","-28996","28848","-35346","-64791","56528","-74600","-3764","-67446","27586","35477","-73094","-19488","-28916","-39753","-24409","-93884","30369","-58507","-7052","13524","26200","-35321","-29208","-52884","26240","19456","-78860","-22437","14217","21496","-11619","-72623","-17498","-79959","-24734","-93038","33590","-66893","-49084","-16347","-27985","-75511","-37970","-95827","10990","-113822","36484","-32491","81366","-10542","-81552","23182","-56833","-56682","-4618","-103714","2166","-55055","-27660","-4640","73116","8102","-23515","-80136","54728","-124786","-64472","57512","-2690","26764","9026","-8294","22762","-11557","-30642","-59364","-5766","-6811","-834","62643","-19640","28965","-38002","118559","48180","-81829","-43672","-84728","31220","73017","4816","29","40172","1229","6490","112383","48004","-15529","-73230","66820","41016","-13549","38676","66707","59222","-39007","-29850","15633","22796","107506","-53776","50862","17550","47299","48784","-53638","48268","19108","54732","84886","-16357","-25448","-67764","-2183","6098","70827","-1978","-45627","41618","31331","-67441","126744","60324","-171591","61622","-77705","-42770","187501","-14460","49285","-52002","11745","-36412","-7039","84590","37183","-60132","-45877","56060","125004","-21934","42914","5519","71749","47510","60301","27710","-13265","62180","34336","25522","-7043","-55126","19639","85222","59850","-40446","27564","115874","135705","-87617","1845","25820","160000","26636","-10568","61123","-58871","-85624","217043","46744","74951","21640","10676","67596","-80066","-49778","-49099","12668","47399","-10988","84337","3246","103962","105148","-105155","-35701","21204","37150","-34621","-21851","118129","-24376","146525","96034","-85839","32238","11513","90920","247005","-88279","53733","30619","-82390","53940","54139","11858","-73940","-84534","167538","-14228","91647","-1784","-96031","92452","5935","-50453","130840","46842","45625","31033","-58334","-60994","165395","13372","31253","38891","95157","10258","250867","-67564","-168997","-45210","82530","71526","25445","47240","74321","65188","207049","-17508","149136","-19096","32715","-21429","-202850","-3572","-72215","-74310","94148","4693","87462","-76666","118621","83970","-22567","-114198","-6984","6144","86695","10126","158221","27953","-166355","-22522","-93261","-85496","-72110","9757","88131","-91135","153356","-1782","-9215","98698","-68098","-145319","-39048","-65194","163466","-75464","111073","-16782","307004","-42074","-128945","-57447","-252264","3290","168877","-80247","-6628","26084","-63281","-8635","-165613","7572","-104553","-87482","-38524","-31388","48731","-62736","232311","-51124","-122996","-53532","-3030","-11032","77633","-122700","-157467","-83899","190872","25904","-27100","454","-163167","24969","138259","-36118","-186393","-25486","8345","31016","99721","-123652","-146725","-57544","-36056","-51514","-25811","-16258","-68608","79664","-132237","-104718","59669","27056","39545","-82537","-184797","-119251","-213082","-83935","48309","2134","-122179","-197586","202992","1446","81991","-169656","-38607","-45140","-4491","-110848","-238136","47798","9205","-74652","107511","-80624","-65703","-99279","-11723","13074","49667","-96692","101644","-27742","20898","-98650","233282","-114376","-201545","-142605","-149218","31652","223422","-168250","92335","-10300","-44235","-58639","-48418","-51036","-101470","69138","-94899","-131267","169089","-197134","-120391","-42722","-273625","-108282","-77223","-2114","-26491","-128013","10183","16962","-106723","17812","10140","-65440","-76614","-82468","-5402","-21162","-49334","-222562","-307739","-61410","137365","-56114","-134412","28","87623","-121046","111434","-18410","48210","-24767","-59639","-110548","12491","11290","49433","-67267","-265341","-108872","133232","-135588","17617","-171823","79935","-154830","28489","-281882","-208052","-68469","58296","156571","-66139","-12314","-97980","-73928","65785","18365","164424","-51173","44201","-2495","-379928","55224","166383","-10264","151615","8741","91197","-22242","319138","-143446","11255","-9834","-34831","-85319","33699","134110","43293","-28485","-70745","66671","-26319","-61566","-133659","39386","64734","86952","274335","36348","437","113050","41053","-100312","-86814","-56014","78801","-49895","-121594","168384","57612","-54230","9797","-101504","-204681","254544","226544","74300","-158676","41060","406915","-48903","56433","94680","148768","35772","-20939","-48382","134598","43556","8905","117738","3186","164485","41650","-90242","266722","-181418","67048","-50222","249546","131297","-110846","92570","43528","111168","-45457","-122016","159183","95810","-78384","49770","113961","-40000","-27250","171488","-101783","83887","304821","68054","215487"]},{"label":"223.4.a.b","letter":"b","dim":31,"charpoly":["189423682021911177216","-869928183437712630912","-2524151216195599868640","490865589689854667792","3302326020111355102600","260091821726843081248","-1496252500729924077584","-204479294589134954925","340138341453365245992","50345939822631790831","-45658063344273582254","-6485432426242617738","3949959875116006735","502370182660311413","-231886084788760231","-24804071174949744","9518573462720808","796530753294439","-277021835160278","-16440889274317","5714064354746","204437421503","-82282799516","-1180760182","799976620","-3288668","-4935216","95137","17139","-534","-25","1"],"traces":["31","15","10","135","50","46","51","180","381","39","182","53","168","75","76","631","619","422","19","595","256","362","596","767","1467","400","418","912","411","374","123","1645","1030","245","552","1533","337","706","342","708","1659","883","693","2317","1032","630","1025","282","2454","2187","636","1658","2931","1911","848","533","2034","-1693","-122","-5067","-234","-3251","915","-2634","2480","-4469","-966","2201","-4474","-9832","800","-6015","311","-3455","-3356","-8472","1646","-4088","-1580","392","4467","-4315","2843","-11484","-702","-3022","-3642","-534","3493","-18100","-832","-266","-940","-13773","1228","-8401","710","-710","-1284","710","2243","307","-2240","-3075","-3674","-2073","3934","-2245","-335","-5243","-1218","-6900","10094","-14949","1124","-465","3044","-7409","932","-7146","2953","3051","3738","-11723","2622","-13052","461","7729","550","-12872","2117","-13545","1198","-2137","-2140","-3480","15944","-6696","-3327","-1604","3402","-3728","6838","-6298","2436","6050","-1204","-3188","12068","-5393","474","-1570","19143","-8758","10402","-9891","-68","6477","2068","2892","16358","3546","5418","11617","4252","-2796","6982","-1513","11667","845","385","119","11004","-5251","3939","18788","18010","3712","777","-4532","3225","4291","16366","-3839","17672","1377","1398","682","8256","9420","10544","-3664","17742","7757","4832","14790","23283","4800","6431","21007","8676","8447","13248","-890","10730","5934","21734","4721","15570","6526","1947","26611","12336","1146","13630","31192","14314","18472","16206","7510","13256","11429","-6913","-1851","26605","19328","13696","5587","2486","895","-24038","-6182","34446","-23659","-270","-10878","11642","3189","-7102","-23752","-22221","27122","-17214","10889","24488","-5948","-7922","-12934","5912","1263","-18351","25705","-1482","19040","-73826","-12481","7925","-32548","-36967","11366","-21679","1349","9196","-35968","-20102","3323","-36950","-16462","-3206","16096","-18840","36546","-38510","10696","4574","-55873","-10632","-1438","-20325","-67700","24185","-8418","-22533","27297","-1516","-51464","-17367","-45374","-5008","4252","-71952","-10326","25016","13609","-91592","-14531","5796","7819","-7684","-38449","-24350","34466","-44628","-47083","37424","-35162","-28450","2702","-27264","-20865","-10912","14654","-26586","24368","-49186","-33754","20163","-23531","-7496","8225","-37728","-30359","-15385","41968","-25518","13757","6144","-23186","9534","-18061","-12886","49317","-18401","-6121","-38118","-46066","4120","27840","-26236","-15511","66","32330","-43062","10613","2910","-46726","14937","-54093","7333","4894","-132526","31641","28541","-16381","-82400","55628","-14158","4420","-14649","-81194","8064","40463","-71470","43777","19436","26688","-71868","6504","40823","13666","-12598","-13813","-11830","18952","-47916","-50407","65308","74790","-24039","179","-39184","49187","2756","-9749","-58644","27947","-9543","-16114","48391","74256","-36276","69657","31594","44969","-26582","19116","19694","15953","-34690","35886","13017","77657","-76270","50715","-24186","-19908","-5438","62808","30616","56288","-93128","10233","49404","22929","-19934","2874","59276","-839","-28298","-52542","-7344","87360","-87279","13511","71879","48673","-13510","91113","1638","21258","-7582","61964","36671","74104","-37832","45602","49492","45251","-13486","57994","8578","3356","47125","75652","8292","-3345","-11432","12408","27196","55745","-100732","90884","39068","60522","52394","-47645","37540","37686","-36544","58431","10967","48796","-15747","66141","-30324","45012","64078","100539","6936","82770","-46076","38716","114508","111699","-93627","67579","69301","7369","-12362","12925","29950","19314","-76722","61083","29044","31647","-23581","58441","18342","37055","-18152","188234","-860","127491","-24174","-46254","127068","73370","15575","95624","54078","-5057","22598","2732","17304","29432","19346","64827","28173","23720","-161656","35126","108708","83419","-58986","-87416","45642","-65095","-27306","-75661","-31312","-19467","-22300","8805","35970","30069","63824","-57103","-8171","-33823","-75382","-2166","-48952","132638","-13520","-147345","56792","-57767","934","-123963","-17246","-40829","-42304","13704","3454","-58388","-61012","108263","10632","5833","-92178","30221","2450","11147","-76836","-42030","82820","-42735","-42854","-217157","-9712","130713","-40790","-35368","-20628","-100926","16107","-42616","93358","-103315","-91808","-123485","8846","-16066","-36902","-190713","-14429","-186164","40592","49221","-30402","-63773","-84870","-8727","72328","-72513","4284","-70221","4012","-166975","-95570","-2772","48194","103079","-83556","-78338","34482","-31690","-13933","33009","-14872","-95547","2396","16785","26656","-221644","38318","-221062","30830","-2257","-11298","144059","77590","-100266","-44294","-88689","133031","-9351","-33242","-180816","-114604","87828","10915","73693","87291","-304263","592","-92625","56008","-250418","-46480","13144","-57278","-24606","-67148","65231","45932","-67655","94162","-12818","-48418","90805","-48981","50154","111174","-49145","-51535","-148235","21832","-281615","-25346","-24525","71186","42055","29516","-207652","139409","-122842","29703","-33976","11328","90275","-79438","100724","50442","-94582","3260","-182561","-2230","-68727","-10240","3355","8419","-125306","-117694","-7559","-7111","-494","-16810","-241641","153292","23157","19591","-43716","11138","-169297","11336","141911","119126","193106","-11412","-62781","105964","58881","128788","-146699","139348","-206948","57548","36351","71443","-5090","-63788","-24199","13426","43069","-18783","110098","30506","-395351","-84006","39892","57706","298234","25552","-217181","92794","-85903","-35215","38185","2442","-29609","27472","235602","-88363","-266993","-10467","-66190","188061","209573","-98886","136674","-58231","-45304","-82390","-71976","161352","24709","63340","-147006","-6794","203266","-17275","47614","49190","-433121","20053","52272","32316","15847","-33703","-170713","158940","52465","-21434","-134564","72668","-152248","-8084","-25089","10742","103970","-73060","46366","200776","-50847","-11160","-8059","157277","-455204","-101140","338244","21102","-38098","34693","-268947","228846","8535","63514","-18137","19792","-144575","-104068","45843","184548","1816","56768","75137","173046","44","-125616","130787","33230","-73593","77888","1297","49367","-193423","-13331","74618","77377","91765","25074","262557","-63522","-372736","286714","53486","-28770","-270613","5402","40998","33728","141660","-38366","-38069","110380","81417","39300","168269","57313","177377","59074","-67451","185412","95290","127908","227536","-17078","-84106","-147932","189657","182407","272078","92948","-350248","41818","65875","45960","202801","147540","213284","55192","54321","61650","-108783","81733","-60171","108242","66853","-160778","251835","63826","-112749","203538","14393","149015","-7111","154768","15473","5104","145096","94352","-69390","177320","-244554","133724","329819","-18026","176097","-51014","110637","199316","342590","34112","206195","261630","-108918","126066","139890","-17995","124396","-31886","213045","280798","103209","20597","183365","125544","-194110","33042","-30105","24583","242191","50314","-217495","121558","31816","-5441","71272","-64527","-134253","-2598","464778","131732","-75687","55873","-266024","-6477","115937","12729","353482","95196","-262875","-95540","-54647","127959","364463","111114","-144802","-142150","145684","81206","23417","-251471","-130324","-20370","-32331","-23733","114083","52235","258339","-193974","-58847","-142438","-355352","150386","-212979","-70592","317903","-22780","-8871","-76500","-57810","-283366","17851","62765","87182","-265068","-407452","-21098","102393","300330","355683","-30672","-464660","-299204","57460","-87696","284615","58098","-3651","182954","-165655","-88164","-367179","81006","152778","-80288","-104511","-115220","-7422","-269781","46250","-198134","165620","111284","-298776","-62414","-80106","-142495","75034","45830","83892","-6888","-246170","74328","133639","56102","-248808","-310306","-222655","17280","195198","211388","45355","-118489","-123863","-169422","371001"]}],"seconds":0.151,"computed":"atlas","estimate":{"seconds":0.456,"low":0.278,"high":0.789,"bytes":2267607}}