# Stored data for newform 4017.2.a.l, downloaded from the LMFDB on 16 April 2024.
{"label": "4017.2.a.l", "space_label": "4017.2.a", "level": 4017, "weight": 2, "hecke_orbit": 12, "hecke_orbit_code": 49539595934633905, "dim": 32, "analytic_rank": 0, "is_twist_minimal": true, "hecke_cutters": [[2, [448, 19904, 115696, -329280, -2533864, 2237531, 17617551, -12452452, -55015319, 40477251, 93793507, -74809920, -97303496, 85148401, 65112226, -63692866, -28744723, 32637745, 8232579, -11723074, -1378739, 2975237, 65863, -530155, 25471, 64778, -6548, -5160, 733, 241, -42, -5, 1]], [23, [5831152644198400, 43229143651655680, -38499273309734912, -694006677569447936, -390306605008633280, 2557396784407001408, -102268273577954976, -4333791227221485472, 4077548726699952304, -756601374327710580, -894899163783679312, 567838317791580144, -46135611940791763, -67851895193558464, 24751511235783120, 211724676209587, -1994682740858569, 394229479637712, 35406760111027, -23915747166443, 2334478566988, 435762364857, -119040893671, 4436946106, 1724988198, -241808302, 828910, 2363843, -190237, -1055, 944, -53, 1]]], "char_order": 1, "char_parity": 1, "char_degree": 1, "char_conductor": 1, "char_orbit_label": "a", "char_is_real": true, "Nk2": 16068, "fricke_eigenval": -1, "atkin_lehner_string": "-++", "analytic_conductor": 32.07590649194833, "level_radical": 4017, "self_twist_type": 0, "is_self_dual": true, "is_self_twist": false, "is_cm": false, "is_rm": false, "analytic_rank_proved": true, "char_values": [4017, 1, [1340, 1237, 1756], [1, 1, 1]], "inner_twist_count": 1, "level_primes": [3, 13, 103], "conrey_indexes": [1], "related_objects": [], "self_twist_discs": [], "cm_discs": [], "rm_discs": [], "relative_dim": 32, "sato_tate_group": "1.2.3.c1", "atkin_lehner_eigenvals": [[3, -1], [13, 1], [103, 1]], "trace_display": [5, 32, 1, 11], "traces": [32, 5, 32, 45, 1, 5, 11, 12, 32, 16, 3, 45, -32, 12, 1, 75, 10, 5, 0, 4, 11, 27, 53, 12, 67, -5, 32, 32, 6, 16, 12, 19, 3, 25, 16, 45, 36, 8, -32, 36, -19, 12, 43, -23, 1, 11, 30, 75, 75, 28, 10, -45, 22, 5, 58, 60, 0, 33, -24, 4, 47, -25, 11, 146, -1, 27, 34, 58, 53, -35, 18, 12, -2, -20, 67, 24, 39, -5, 39, 2, 32, 64, 17, 32, 35, -13, 6, 55, -48, 16, -11, 39, 12, 58, 59, 19, 42, 16, 3, 163, 0, 25, -32, -12, 16, 14, 33, 45, 34, -45, 36, 53, 11, 8, 17, 15, -32, 6, 25, 36, 115, -72, -19, -21, -30, 12, 87, -13, 43, -16, -38, -23, 56, -77, 1, 69, 51, 11, 47, -129, 30, 60, -3, 75, -13, -46, 75, 24, -26, 28, 58, -78, 10, -29, 60, -45, 93, 53, 22, -8, -18, 5, -31, -158, 58, -3, 5, 60, 32, -178, 0, 11, -4, 33, 71, -97, -24, 43, 10, 4, 93, -12, 47, -4, -3, -25, -42, 0, 11, 51, 79, 146, -24, 28, -1, -57, 59, 27, 38, -73, 34, 7, 42, 58, 95, -5, 53, -75, -42, -35, 63, -75, 18, 21, -68, 12, 42, -24, -2, 224, -10, -20, 86, 7, 67, 16, -72, 24, 55, -170, 39, -45, 61, -5, 16, -162, 39, 20, 49, 2, -37, -88, 32, 81, -68, 64, 0, -159, 17, -192, -56, 32, 45, -67, 35, 221, -21, -13, 104, -4, 6, -8, 117, 55, 34, -80, -48, 41, -56, 16, 26, 138, -11, -95, 5, 39, 76, -55, 12, -274, -1, 58, 97, -171, 59, -27, -24, 19, 100, -139, 42, 2, -9, 16, 135, -121, 3, 39, -53, 163, 139, -79, 0, -34, 69, 25, -9, 12, -32, -190, 60, -12, 9, -174, 16, -64, -23, 14, 37, -120, 33, -20, 88, 45, -67, -161, 34, -2, -23, -45, -34, -119, 36, 103, -38, 53, 41, 5, 11, -182, -69, 8, 79, 20, 17, -102, 54, 15, 92, 40, -32, -38, 33, 6, -10, -176, 25, -190, 61, 36, 166, -238, 115, -32, -3, -72, 214, 61, -19, -74, -147, -21, 92, -166, -30, 115, -6, 12, 7, 120, 87, -173, -12, -13, -32, -40, 43, 142, 60, -16, 92, 24, -38, -47, -222, -23, 71, 3, 56, 311, 1, -77, -12, -192, 1, -185, -8, 69, 122, 9, 51, -45, -112, 11, 116, -19, 47, -125, -7, -129, 38, 203, 30, -19, 51, 60, -35, 178, -3, -37, 0, 75, -99, -14, -13, -210, -5, -46, 128, -246, 75, -25, -58, 24, 101, -108, -26, 9, -88, 28, 87, 65, 58, 100, -16, -78, -74, 87, 10, 91, -123, -29, 131, -63, 60, -94, 118, -45, 169, -91, 93, 16, -78, 53, -264, 197, 22, 180, -38, -8, -36, -114, -18, -54, -125, 5, 190, -42, -31, -189, -24, -158, 114, -8, 58, -40, -86, -3, 49, 268, 5, -132, 190, 60, -128, 227, 32, 33, -133, -178, 146, 30, 0, -78, -1, 11, 91, 19, -4, -36, -131, 33, -6, -150, 71, -45, -13, -97, 185, -73, -24, 179, 19, 43, -82, -165, 10, -68, -83, 4, 68, 174, 93, -102, -129, -12, -26, 66, 47, -94, -161, -4, 38, 47, -3, 200, -52, -25, -43, -434, -42, -22, -101, 0, 152, -127, 11, 87, -25, 51, 112, 23, 79, -186, 144, 146, 39, 177, -24, -166, 3, 28, 249, 95, -1, -113, 9, -57, -44, 203, 59, 55, 10, 27, 74, -70, 38, -11, -56, -73, -32, -17, 34, 137, -174, 7, 113, -73, 42, 143, -30, 58, -86, -232, 95, -312, 164, -5, 30, 185, 53, -82, 67, -75, 138, -139, -42, -16, -175, -35, -144, 452, 63, 7, -240, -75, -75, -85, 18, -185, -89, 21, -55, -134, -68, -163, 214, 12, 23, -28, 42, -227, -6, -24, 32, -172, -2, 67, 32, 224, 78, 305, -10, -93, -68, -20, 33, -2, 86, -444, -71, 7, 97, -22, 67, 45, -133, 16, -11, -482, -72, 177, -74, 24, 200, 142, 55, 13, -22, -170, -87, -132, 39, 179, -39, -45, -205, 64, 61, 174, -8, -5, 65, -268, 16, -18, -6, -162, 146, 117, 39, 381, -52, 20, -58, -182, 49, -3, -101, 2, -11, 25, -37, -86, -172, -88, 68, -60, 32, -86, -21, 81, -60, 30, -68, -207, 148, 64, 108, 58, 0, -360, 95, -159, -61, -84, 17, -224, -179, -192, 115, -24, -56, -33, -168, 32, -158, -298, 45, -10, -125, -67, 130, -29, 35, 47, 24, 221, -238, -158, -21, 70, -17, -13, 108, 6, 104, -258, 149, -4, 189, -130, 6, -145, -10, -8, -68, 54, 117, 81, -25, 55, -47, -103, 34, -176, -125, -80, 213, -154, -48, 160, -147, 41, -180, 25, -56, 50, -91, 16, -279, 504, 26, -443, 185, 138, -96, -103, -11, -109, -137, -95, 250, -12, 5, -194, 85, 39, 211, -106, 76, -146, -122, -55, -71, -22, 12, -28, -115, -274, 74, 251, -1, 202, 1, 58, 42, -364, 97, -164, -12, -171, -93, -333, 59, -66, 93, -27, 16, -468, -24, 72, 108, 19, -94, -92, 100, -216, -362, -139, -34, -117, 42, -67, -411, 2, 144, -189, -9, 179, -114, 16, 84, -58, 135, -232, -36, -121, -75, 407, 3, -17, -18, 39, 56, 246, -53, -228, -120, 163, -98, -104, 139, -130, -12, -79, 112, -306, 0, 35, -34, -34, -97, -287, 69, 66, -131, 25, 221, -334, -9, -42, -18, 12, 129, -47, -32, -113, 80, -190, -269, -11, 60, -148, 53, -12, 43, -232, 9, -433, -95, -174, -65, -706, 16, 114, 68, -64, 2, -576, -23, 2, -249, 14, -15, 22, 37, -228, -72, -120, 134, 20, 33, -213, -493, -20, 107, 227, 88, -417, 23, 45, 5, 52, -67, -314, -94, -161, 5, -733, 34, -14, 211, -2, 177, -224, -23, -24, -165, -45, 108, -516, -34, -173, -107, -119, 175, 29, 36, -456, -39, 103, -77, -312, -38, -133, 117, 53, -122, -166, 41, -457, -35, 5, 129, -128, 11, 33, -193, -182, 188, -113, -69, -7, -232, 8, -39, -243, 79, -16, -27, 20, 22, -319, 17, 165, -77, -102, 77, -2, 54, -92, -74, 15, -175, 418, 92, -392, 62, 40, -126, 595, -32, -189, -216, -38, -208, -253, 33, -80, -20, 6, 41, -763, -10, -64, -222, -176, 80, -22, 25, 347, 6, -190, -70, -116, 61, 143, -17, 36, -188, -1, 166, -348, 171, -238, 334, 275, 115, -55, -94, -32, -14, 128, -3, 179, -19, -72, -108, -83, 214, -308, 268, 61, -35, 122, -19, 3, -303, -74, 87, 272, -147, -52, -113, -21, 215, 13, 92, -687, -107, -166, -172, 430, -30, -189, 442, 115, -91, 625, -6, 55, -3, 12, -75, -114, 7, -55, -192, 120, 144, -113, 87, -55, -196, -173, 112, -142, -12, 336, 116, -13, 70, -88, -32, 100, 48, -40, 199, -405, 43, 8, -121, 142, -132, 166, 60, 42, -79, -16, 66, -53, 92, 266, -128, 24, -62, -285, -38, 613, -28, -47, 11, -226, -222, -77, -193, -23, 313, 1, 71, -205, 3, 3, 92, -39, 56, 4, 18, 311, -143, 550, 1, 169, 61, -77, -71, 197, -12, -177, -11, -192, 70, 11, 1, -206, -165, -185, -95, 100, -8, -58, -89, 69, 106, -98, 122, 161, -135, 9, 278, 138, 51, -6, -59, -45, -225, 53, -112, -465, 126, 11, -77, -153, 116, -451, 335, -19, 72, 441, 47, 63, -496, -125, 347, -290, -7, 309, -135, -129, -42, -305, 38, -418, 15, 203, -43, -44, 30, -293, -168, -19, -98, -16, 51, 554, -203, 60, 208, 504, -35, -291, 181, 178, -89, 540, -3, -2, -284, -37, 202, 392, 0, 290, -143, 75, 195, -41, -99, -163, -227, -14, 458, -7, -13, 29, -77, -210, -95, -230, -5, 647, 0, -46, -331, 334, 128, -148, -86, -246, 3, 6, 75, 74, 193, -25, 121, -189, -58, 420, -321, 24, 28, -203, 101, 546, -141, -108, 32, -23, -26, 37, -201, 9, -143, 139, -88, 91, -113, 28, -80, 12, 87, -114, -147, 65, 60, 800, 58, -127, 52, 100, -98, 148, -16, -94, 276, -78, -74, -42, -74, -355, -102, 87, 173, -157, 10, -14, -127, 91, 182, 191, -123, -85, -169, -29, 290, 162, 131, 157, -33, -63, -356, -455, 60, 461, 227, -94, -113, 176, 118, -65, 174, -45, 177, 265, 169, -99, -194, -91, -111, 225, 93, 565, 355, 16, -34, 11, -78, 250, -161, 53, 127, -329, -264, -243, 138, 197, -137, 45, 22, -426, -134, 180, -25, 525, -38, -276, 242, -8, 22, -12, -36, 189, -190, -114, 238, -333, -18, -212, -33, -54, 38, -463, -125, -53, 1, 5, -90, 230, 190, 192, -132, -42, 134, 228, -31, 215, -11, -189, 0, -55, -24, -133, -90, -158, -91, 154, 114, -545, -27, -8, 257, -319, 58, 348, -55, -40, 141, 164, -86, 600, 48, -3, -17, -754, 49, -200, 10, 268, 105, 408, 5, 235, -165, -132, 70, -15, 190, 172, 45, 60, -178, 511, -128, -357, -141, 227, 39, 704, 32, 296, 177, 33, -124, 185, -133, -151, -46, -178, 316, -258, 146, -6, -188, 30, -165, -81, 0, 414, 45, -78, 110, -33, -1, 390, -25, 11, -77, -92, 91, 131, 105, 19, -176, 525, -4, -87, 157, -36, 5, -207, -131, 565, -276, 33, 242, -2, -6, -25, -98, -150, -115, -137, 71, -117, -63, -45, 3, 191, -13, -121, 188, -97, 5, 72, 185, 328, -212, -73, 24, 631, -24, 41, 662, 179, -295, 776, 19, 362, 175, 43, 220, -68, -82, -96, 297, -165, 34, -200, 10, 21, -230, -68, -18, 73, -83, 51, -21, 4, 385, 405, 68, -122, 30, 174, -72, -452, 93, 111, 53, -102, -189, 113, -129, 59, -26, -12, 366, 632, -26, -332, 155, 66, 66, 105, 47, -75, 60, -94, -87, -548, -161, 90, 29, -4, 31, 425, 38, -305, 198, 47, 136, 13, -3, 558, 34, 200, -120, 1060, -52, -412, 154, -25, 277, 606, -43, -234, -105, -434, 99, 28, -42, 44, -143, -22, 437, 181, -101, 16, 126, 0, -166, -26, 152, -10, -93, -127, -80, 866, 11, -21, 38, 87, -418, 122, -25, 297, 85, 51, -314, 634, 112, -49, 252, 23, 184, -50, 79, 91, -193, -186, 201, 395, 144, 222, 289, 146, -56, 56, 39, -705, -100, 177, -38, 631, -24, -90, 147, -166, 167, 77, 3, -506, -59, 28, 236, 943, 249, -650, -10, 95, -122, 570, -1, 477, -117, -113, 31, -159, 9, -172, -56, -57, 118, 15, -44, -69, 125, 203, -8, -327, 59, 99, 78, 55, 78, 113, 10, 486, -51, 27, -9, -608, 74, 30, 428, -70, -33, -170, 38, 363, -7, -11, 41, -259, -56, 592, -47, -73, 62, 217, -32, 98, -407, -17, -47, 279, 34, -111, -47, 137, 385, 367, -174, 88, 245, 7, 91, 129, 113, 307, 163, -73, -286, 817, 42, -236, 130, 143, 249, 892, -30, -275, -101, 58, -188, -148, -86, 275, -103, -232, -1, -413, 95, -60, 4, -312, -9, 382, 164, 490, 37, -5, 75, 285, 30, -250, 3, 185, 208, -318, 53, -12, 232, -82, -81, 719, 67, -271, -20, -75, 331, 72, 138, 817, -167, -139, 97, -342, -42, 353, 433, -16, 13, -114, -175, 130, -539, -35, 11, 499, -144, -51, 229, 452, 68, 46, 63, -388, -91, 7, 173, 1117, -240, 215, 200, -75, 137, 1160, -75, -40, -8, -85, 176, 167, 18, -64, 76, -185, 260, -42, -89, -24, -150, 21, 182, 184, -55, 821, -456, -134, 204, 240, -68, 300, 26, -163, -318, -323, 214, 356, 555, 12, -56, 357, 23, 342, -44, -28, 176, -148, 42, 162, -245, -227, 0, 152, -6, -89, -92, -24, -58, -32, 32, -105, 71, -172, -40, 336, -2, 119, -113, 67, 126, 78, 32, -81, 37, 224, 146, 620, 78, -455, -98, 305, -112, 140, -10, 259, 87, -93, -143, -212, -68, -159, 106, -20, 134, -345, 33, 29, 188, -2, 74, 135, 86, 16, -123, -444, 18, 531, -71, 133, -60, 7, -227, -3, 97, -976, 83, -22, 115, -22, 67, 83, 116, 45, 214, 581, -133, 445, -276, 16, 165, -344, -11, 305, 138, -482, -93, -132, -72, 40, -202, 177, -167, 846, -74, -77, 24, 24, -322, -53, 200, -81, -233, 142, -216, -4, 55, 393, 638, 13, -228, 253, -22, -142, -376, -170, 190, 286, -87, -23, -73, -132, 127, 474, 39, 8, 72, 179, 2, -587, -39, -16, -182, -45, -18, -401, -205, -121, 18, 64, 159, 77, 61, 221, 260, 174, -152, 226, -8, -229, -325, -5, 457, -232, 65, 12, 7, -268, -40, -729, 16, 1008, -178, -18, 31, -108, -6, -307, 23, -162, 10, 598, 146, -422, -93, 117, 36, 158, 39, -180, 21, 381, -94, 757, -52, -332, 165, 20, 104, 82, -58, -165, -19, -182, 121, 72, 49, 23, -187, -3, 178, -369, -101, 3, -67, 2, -178, 575, -11, 127, 37, 25, -241, 328, -37, 24, -5, -86, -99, -63, -172, 403, 340, -88, -177, -600, 68, -361, 240, -60, 386, -101, 32, -57, -98, -86, 23, 320, -21, -302, -68, 81, -32, -70, -60, -439, -316, 30, 14, 345, -68, -486, 437, -207, -554, 178, 148, -44, 16, 64, 210, 719, 108, -321, 468, 58, 254, 631, 0, 327, -682, -360, 35, 54, 95, 402, 63, -159, 81, -27, -61, -11, -355, -84, 218, -330, 17, 655, 127, -224, 90, -505, -179, -116, 4, -192, 55, -140, 115, 160, 453, -24, 51, 469, -56, -298, 21, -33, 489, -358, -168, -27, -31, 32, 70, 267, -158, 277, -115, -298, -71, 448, 45, -477, -53, -10, 322, 534, -125, -120, -1, -67, -138, 97, 130, -1014, -83, -29, -387, 266, 35, -435, 160, 47, -409, 656, 24, 337, 371, 221, -111, 416, -238, 309, -265, -158, -81, 348, -21, -43, -106, 70, -493, 42, -17, 68, 237, -13, 164, -47, 108, 108, -10, 6, -497, 91, 104, 1055, 450, -258, -48, 238, 149, -439, 319, -4, 355, 204, 189, -460, -454, -130, 139, 529, 6, 494, -142, -145, -93, 330, -10, -348, -21, -8, -127, 989, -68, -658, 575, 54, 21, 12, 117, 248, -53, 81, 89, 1072, -25, -485, 572, 55, 52, 615, -47, -1011, -251, -103, -28, -653, 34, -41, 159, -176, 148, -409, -125, 4, 82, -80, -90, 48, 213, 161, -111, -154, 200, 45, -48, -118, 3, 160, -248, -162, -147, 223, -96, 41, 33, -305, -180, 269, 108, 25, 108, -103, -56, -174, 123, 50, -107, 450, -91, 270, -242, 16, 42, -246, -279, -382, -105, 504, -179, 1314, 26, 246, 182, -443, 259, 0, 185, 160, 277, 138, -261, 1651, -96, -732, -145, -103, -126, -315, -11, 182, -58, -109, -106, 409, -137, -431, -528, -95, 298, 17, 250, -51, 178, -12, -78, 331, 5, 253, -79, -194, 86, 326, 85, 119, -79, 39, -394, 730, 211, -456, -60, -106, 121, 442, 76, 127, 166, -146, -95, -109, -122, 592, -121, -55, 124, -584, -71, 237, 20, -22, 24, 107, 12, -108, -344, -28, 189, 651, -115, -391, -5, -274, -173, -28, 74, -581, -89, 251, 396, 1542, -1, 68, 118, 202, 59, 211, 1, 404, -197, 58, 299, -51, 42, -288, 637, -364, -392, -578, 97, 57, -261, -164, -489, 240, -12, -53, 65, -171, 199, -139, -93, -434, -59, -333, 77, -131, 59, 687, 93, -66, -252, 68, 93, -428, -162, -27, -67, 262, 16, 708, -47, -468, 51, -287, -24, -22, 95, 72, -38, 352, 108, -766, 331, 19, 133, 606, -94, -359, 70, -92, -264, 73, 100, -401, 157, -216, 140, 819, -362, -821, 78, -139, -2, 353, -34, -669, 35, -117, -154, -317, 42, 56, -334, -67, 384, -225, -411, -7, 190, 2, 15, 546, 144, 481, 283, -189, -381, -301, -9, -61, -42, 179, -270, 344, -114, 238, 181, 16, 227, 897, 84, -537, 96, -58, 270, -545, 135, 600, 6, -232, -265, 356, -36, 318, 845, -121, -95, 818, -75, -720, -273, 407, -233, 156, 3, -806, 325, -17, 110, 5, -18, -713, -359, 39, 123, 532, 56, -307, 134, 246, -286, 927, -53, 294, -36, -228, 175, 237, -120, 662, -62, 163, 336, -282, -98, 75, -424, -104, -124, -103, 139, -289, 56, -130, 0, -236, -12, 543, 42, -79, -342, -663, 112, -98, 381, -306, -108, 240, 0, 320, -454, 35, 22, -221, -34, 171, 574, -34, -99, -120, -97, 429, -203, -287, -63, 689, 69, 445, 36, 66, 178, 1133, -131, -706, -191, 25, -575, 75, 221, -164, 101, -334, 40, 1006, -9, -29, -34, -42, 209, 75, -18, -240, -403, 12, 53, 88, 129, 217, -68, -47, -164, -22, -32, -21, 714, -113, -698, -191, 80, -364, -183, -190, 278, 12, -269, -417, 68, -11, -286, -601, 60, 1255, 35, -148, -167, -604, 53, 35, 150, -12, 342, 130, 43, -172, -569, -232, -280, 483, 9, 132, -34, -433, -42, 417, -95, -875, -461, -174, -383, 735, -65, -906, 735, -706, -254, 24, 16, 131, -133, 114, 79, 1289, 68, 373, 542, -64, -365, -34, 2, 637, -1143, -576, -94, 549, -23, -12, -4, 2, 137, 505, -249, -224, -2, 14, 76, -642, -15, -938, 58, 22, 96, 507, 37, 347, 10, -228, 141, 383, -72, -115, 227, -120, 67, -436, 134, -32, -243, 20, 259, -127, 33, -42, -422, -213, -33, -29, -493, -123, 22, -20, -86, 483, 107, -546, 191, 227, -256, 616, 88, -489, -6, -417, -350, -7, 23, -24, -548, 45, -135, 799, 5, -850, 141, 52, -192, 69, -67, 660, 729, -314, -282, 94, -94, -242, -1037, -161, 111, 51, 5, -16, 296, -733, 201, 210, 34, -221, 27, -14, -557, 620, 211, 250, 72, -2, -415, -33, 177, 308, 195, -224, -319, 568, -23, -414, -4, -24, -69, 753, -165, -420, -5, -45, -157, 288, 108, -618, 1018, -516, -55, -7, -34, -343, -635, -173, 217, 367, -107, -618, -6, -119, -244, 170, 175, -1143, -613, 29, -275, 595, 36, -190, 159, -456], "weight_parity": 1, "has_non_self_twist": 0, "level_is_prime": false, "level_is_prime_power": false, "level_is_square": false, "level_is_squarefree": true, "inner_twists": [[1, 1, 1, 1, 1, 1, 1]], "char_orbit_index": 1, "prim_orbit_index": 1, "minimal_twist": "4017.2.a.l", "char_is_minimal": true, "conrey_index": 1, "id": null, "is_polredabs": null, "nf_label": null, "trace_hash": null, "qexp_display": null, "hecke_ring_index": null, "projective_image": null, "projective_image_type": null, "field_poly_is_cyclotomic": null, "field_poly_root_of_unity": null, "artin_degree": null, "artin_image": null, "field_poly_is_real_cyclotomic": null, "artin_field_label": null, "projective_field_label": null, "hecke_ring_index_proved": null, "trace_zratio": null, "hecke_ring_generator_nbound": null, "field_disc": null, "field_disc_factorization": null, "field_poly": null, "hecke_ring_index_factorization": null, "trace_moments": null, "projective_field": null, "artin_field": null, "embedded_related_objects": null}