# Stored data for newform 6026.2.a.k, downloaded from the LMFDB on 25 April 2024.
{"label": "6026.2.a.k", "space_label": "6026.2.a", "level": 6026, "weight": 2, "hecke_orbit": 11, "hecke_orbit_code": 45035996307265418, "dim": 35, "analytic_rank": 0, "is_twist_minimal": true, "hecke_cutters": [[3, [336640, -8690176, 43246192, 204891544, -608467192, -1353029107, 3172173310, 4407263345, -8710903152, -8536338023, 14434827350, 10814446618, -15553148232, -9508623484, 11442064790, 6016276792, -5941777529, -2796989654, 2226928449, 966210715, -610545405, -249183725, 123119233, 47934000, -18207157, -6827279, 1948411, 708385, -146684, -51953, 7362, 2549, -221, -75, 3, 1]], [5, [-4543552, -1247639744, 12291956896, -4203213740, -180176576662, 196939568971, 926105618053, -1006058601141, -2141437091878, 2301519536049, 2504510119592, -2879924189906, -1577674357675, 2149698061467, 520699570607, -1012316029831, -59177567273, 314274784063, -19380785641, -66230912625, 9865551230, 9595300501, -2128727902, -948615359, 280652794, 61493531, -24321424, -2305664, 1394260, 24035, -50978, 1791, 1077, -78, -10, 1]]], "char_order": 1, "char_parity": 1, "char_degree": 1, "char_conductor": 1, "char_orbit_label": "a", "char_is_real": true, "Nk2": 24104, "fricke_eigenval": -1, "atkin_lehner_string": "-++", "analytic_conductor": 48.11785225802356, "level_radical": 6026, "self_twist_type": 0, "is_self_dual": true, "is_self_twist": false, "is_cm": false, "is_rm": false, "analytic_rank_proved": true, "char_values": [6026, 1, [787, 4325], [1, 1]], "inner_twist_count": 1, "level_primes": [2, 23, 131], "conrey_indexes": [1], "related_objects": [], "self_twist_discs": [], "cm_discs": [], "rm_discs": [], "relative_dim": 35, "sato_tate_group": "1.2.3.c1", "atkin_lehner_eigenvals": [[2, -1], [23, 1], [131, 1]], "trace_display": [35, -3, 10, 14], "traces": [35, 35, -3, 35, 10, -3, 14, 35, 54, 10, 9, -3, 19, 14, 14, 35, 28, 54, 21, 10, 28, 9, -35, -3, 81, 19, -21, 14, 35, 14, 5, 35, 26, 28, -7, 54, 51, 21, 21, 10, 3, 28, 43, 9, 2, -35, 10, -3, 85, 81, 26, 19, 39, -21, 2, 14, 50, 35, -42, 14, 47, 5, 23, 35, 61, 26, 22, 28, 3, -7, 0, 54, 30, 51, -26, 21, 2, 21, 55, 10, 67, 3, 20, 28, 28, 43, 29, 9, -31, 2, 32, -35, 11, 10, 16, -3, 36, 85, -9, 81, 37, 26, 32, 19, -57, 39, 3, -21, 84, 2, 39, 14, 71, 50, -10, 35, 99, -42, 39, 14, 120, 47, -107, 5, 9, 23, -30, 35, -8, 61, -35, 26, 69, 22, -6, 28, 75, 3, -43, -7, 22, 0, 6, 54, 27, 30, -31, 51, 78, -26, 73, 21, 110, 2, -69, 21, 80, 55, 29, 10, -14, 67, 39, 3, 125, 20, -36, 28, 130, 28, -22, 43, -5, 29, 125, 9, -80, -31, -16, 2, 0, 32, 25, -35, 42, 11, 9, 10, -24, 16, 86, -3, 74, 36, 51, 85, 48, -9, 70, 81, 10, 37, 60, 26, 108, 32, -54, 19, 60, -57, 56, 39, -38, 3, -110, -21, 9, 84, -16, 2, 56, 39, -79, 14, 172, 71, 8, 50, 29, -10, -38, 35, -20, 99, 16, -42, 73, 39, 19, 14, 56, 120, -111, 47, 148, -107, 79, 5, 16, 9, 6, 23, -9, -30, 114, 35, 74, -8, 94, 61, -3, -35, 88, 26, -62, 69, 39, 22, 9, -6, 36, 28, -119, 75, 17, 3, 44, -43, 18, -7, 101, 22, -24, 0, -94, 6, 86, 54, 93, 27, 76, 30, 30, -31, 118, 51, 100, 78, -19, -26, 111, 73, -19, 21, -96, 110, 6, 2, -132, -69, -113, 21, -29, 80, -266, 55, 32, 29, 94, 10, -159, -14, -64, 67, 18, 39, 5, 3, 96, 125, -15, 20, 112, -36, 18, 28, 53, 130, -206, 28, 45, -22, 52, 43, -14, -5, -98, 29, 99, 125, -44, 9, -108, -80, -45, -31, -100, -16, 75, 2, 30, 0, -57, 32, 5, 25, -12, -35, -57, 42, -48, 11, 52, 9, 118, 10, -33, -24, 74, 16, 31, 86, 67, -3, -146, 74, 109, 36, 85, 51, -28, 85, 3, 48, 0, -9, -65, 70, -141, 81, 56, 10, -158, 37, -27, 60, -12, 26, -4, 108, -10, 32, -125, -54, 19, 19, -26, 60, 73, -57, 216, 56, -35, 39, 74, -38, 3, 3, 70, -110, -7, -21, 73, 9, -22, 84, -21, -16, -27, 2, 126, 56, -189, 39, 57, -79, -121, 14, -25, 172, -123, 71, -282, 8, 20, 50, 71, 29, -123, -10, 38, -38, 16, 35, -68, -20, -70, 99, 56, 16, 61, -42, -112, 73, 112, 39, -242, 19, 113, 14, 71, 56, -28, 120, 65, -111, -34, 47, -59, 148, -178, -107, 9, 79, -435, 5, 84, 16, -116, 9, 192, 6, -91, 23, -79, -9, -131, -30, 73, 114, 72, 35, 85, 74, -116, -8, 121, 94, -60, 61, 111, -3, -247, -35, 30, 88, 52, 26, 35, -62, -56, 69, 26, 39, 35, 22, -50, 9, -251, -6, 179, 36, 30, 28, -77, -119, 4, 75, 27, 17, -25, 3, -21, 44, -82, -43, 115, 18, 125, -7, -201, 101, -49, 22, -57, -24, -38, 0, -13, -94, 156, 6, -87, 86, -81, 54, -113, 93, -26, 27, -37, 76, -227, 30, -94, 30, -161, -31, -62, 118, -84, 51, -26, 100, -103, 78, -221, -19, 59, -26, -106, 111, -4, 73, -33, -19, -49, 21, -148, -96, -90, 110, 65, 6, -429, 2, 62, -132, -123, -69, 21, -113, -118, 21, 159, -29, -240, 80, -86, -266, -21, 55, -173, 32, -72, 29, -159, 94, -91, 10, 102, -159, 52, -14, -147, -64, -126, 67, -1, 18, -164, 39, -26, 5, -10, 3, -55, 96, -105, 125, -218, -15, -54, 20, -7, 112, -35, -36, -48, 18, -26, 28, -15, 53, -439, 130, -93, -206, -71, 28, 258, 45, -187, -22, -33, 52, 14, 43, -49, -14, -132, -5, -90, -98, -48, 29, 150, 99, -182, 125, -41, -44, -113, 9, -40, -108, -42, -80, 195, -45, -130, -31, -5, -100, -187, -16, -125, 75, -65, 2, -115, 30, -190, 0, -189, -57, -126, 32, 9, 5, -78, 25, 80, -12, -426, -35, -42, -57, 80, 42, -125, -48, 80, 11, -225, 52, -216, 9, -104, 118, 14, 10, -442, -33, -140, -24, -203, 74, -26, 16, -92, 31, -38, 86, -292, 67, -126, -3, 178, -146, -370, 74, 99, 109, -100, 36, -38, 85, 60, 51, -38, -28, -66, 85, -117, 3, -19, 48, -87, 0, 4, -9, 60, -65, -303, 70, 189, -141, 0, 81, -7, 56, -144, 10, 7, -158, 147, 37, -13, -27, 58, 60, -294, -12, -89, 26, 55, -4, 235, 108, -63, -10, 25, 32, -154, -125, -141, -54, 166, 19, 45, 19, -24, -26, 98, 60, -248, 73, -199, -57, 172, 216, -124, 56, -409, -35, 167, 39, 49, 74, -51, -38, 58, 3, -134, 3, -64, 70, 30, -110, -187, -7, -319, -21, 215, 73, -319, 9, 116, -22, -19, 84, -66, -21, -164, -16, 19, -27, 77, 2, 119, 126, -161, 56, -384, -189, -71, 39, 142, 57, -289, -79, 97, -121, -179, 14, -21, -25, 124, 172, 80, -123, 17, 71, 56, -282, -34, 8, -106, 20, 18, 50, -186, 71, -146, 29, -14, -123, 60, -10, 1, 38, -206, -38, 283, 16, 68, 35, -139, -68, 172, -20, 29, -70, 111, 99, -112, 56, -18, 16, -95, 61, -3, -42, 130, -112, -222, 73, 244, 112, -81, 39, -194, -242, -36, 19, 105, 113, -81, 14, 206, 71, -195, 56, -63, -28, 261, 120, 211, 65, -213, -111, 77, -34, -494, 47, 45, -59, -26, 148, 476, -178, -123, -107, 314, 9, -162, 79, -43, -435, -86, 5, 5, 84, 36, 16, 21, -116, -70, 9, -340, 192, -3, 6, -45, -91, 11, 23, 263, -79, -104, -9, -3, -131, -448, -30, 324, 73, -84, 114, 34, 72, -391, 35, 15, 85, -297, 74, -234, -116, -46, -8, 48, 121, -2, 94, 208, -60, 86, 61, 167, 111, -419, -3, 106, -247, -554, -35, 11, 30, 25, 88, 219, 52, -82, 26, 57, 35, -18, -62, 35, -56, 28, 69, 395, 26, -158, 39, 30, 35, 67, 22, 238, -50, -86, 9, -172, -251, 44, -6, -10, 179, -109, 36, -237, 30, -35, 28, 283, -77, -223, -119, 120, 4, 15, 75, -277, 27, -181, 17, -110, -25, -8, 3, 139, -21, -601, 44, 143, -82, 191, -43, -149, 115, -241, 18, 31, 125, 20, -7, -320, -201, 95, 101, -291, -49, -85, 22, 54, -57, -109, -24, -201, -38, -66, 0, -103, -13, -446, -94, 36, 156, -256, 6, 210, -87, 153, 86, 8, -81, 0, 54, -153, -113, 237, 93, 284, -26, -202, 27, -223, -37, -206, 76, 354, -227, -148, 30, 53, -94, -143, 30, -26, -161, 163, -31, 136, -62, -54, 118, 43, -84, 73, 51, -313, -26, -86, 100, 92, -103, 50, 78, 129, -221, -84, -19, 295, 59, -191, -26, 255, -106, 11, 111, 105, -4, 85, 73, -22, -33, 39, -19, 114, -49, 139, 21, -93, -148, -39, -96, 134, -90, 9, 110, 68, 65, -108, 6, 198, -429, 14, 2, 195, 62, -317, -132, -21, -123, -120, -69, -23, 21, 125, -113, -267, -118, 161, 21, 101, 159, -261, -29, -219, -240, -34, 80, 224, -86, -392, -266, 3, -21, -207, 55, -2, -173, 8, 32, -111, -72, -20, 29, 33, -159, -212, 94, -130, -91, 239, 10, -709, 102, -81, -159, -78, 52, -129, -14, 177, -147, -381, -64, 25, -126, 10, 67, -49, -1, -73, 18, 160, -164, 231, 39, -564, -26, -160, 5, -294, -10, -50, 3, -43, -55, -57, 96, -100, -105, -86, 125, -31, -218, -569, -15, -48, -54, 80, 20, 270, -7, 18, 112, -89, -35, 122, -36, -168, -48, 267, 18, 463, -26, -114, 28, 329, -15, -33, 53, -103, -439, -276, 130, 87, -93, -160, -206, 42, -71, 285, 28, 16, 258, 29, 45, -251, -187, -50, -22, -180, -33, -214, 52, -102, 14, 123, 43, 94, -49, 41, -14, 204, -132, -411, -5, -53, -90, 203, -98, -64, -48, -221, 29, 119, 150, -312, 99, 180, -182, 291, 125, -474, -41, -47, -44, -178, -113, 54, 9, -229, -40, -240, -108, 114, -42, -210, -80, 61, 195, -301, -45, -44, -130, 91, -31, -250, -5, -117, -100, 102, -187, 398, -16, -29, -125, -59, 75, -384, -65, -154, 2, -9, -115, -581, 30, -290, -190, -271, 0, -23, -189, 44, -57, 78, -126, -101, 32, 48, 9, 49, 5, -246, -78, -34, 25, -450, 80, 25, -12, -41, -426, 128, -35, 167, -42, -261, -57, 100, 80, 306, 42, -198, -125, 58, -48, 216, 80, 43, 11, -359, -225, 65, 52, -13, -216, -61, 9, 5, -104, -223, 118, 63, 14, -579, 10, -113, -442, -93, -33, 231, -140, -231, -24, 354, -203, -271, 74, -144, -26, 322, 16, 184, -92, -11, 31, 180, -38, 208, 86, 148, -292, -109, 67, 21, -126, -104, -3, 66, 178, -372, -146, -22, -370, 89, 74, 149, 99, -464, 109, 229, -100, -178, 36, -201, -38, 35, 85, -7, 60, 28, 51, 235, -38, -163, -28, 307, -66, -147, 85, 527, -117, 4, 3, -62, -19, 62, 48, 287, -87, 318, 0, -525, 4, 95, -9, 78, 60, -3, -65, 362, -303, 324, 70, -212, 189, -228, -141, 452, 0, -306, 81, -40, -7, -199, 56, 429, -144, 246, 10, 2, 7, -236, -158, -176, 147, 405, 37, 752, -13, 111, -27, -85, 58, -378, 60, 135, -294, -158, -12, 305, -89, -587, 26, 0, 55, 112, -4, 57, 235, 209, 108, -117, -63, 81, -10, -260, 25, 476, 32, -269, -154, 194, -125, -79, -141, -135, -54, 339, 166, 529, 19, 59, 45, 170, 19, -134, -24, -91, -26, 495, 98, 87, 60, -180, -248, 169, 73, -462, -199, -30, -57, 80, 172, 10, 216, -136, -124, -137, 56, 412, -409, -326, -35, 121, 167, -87, 39, 196, 49, -40, 74, -196, -51, -19, -38, 4, 58, 144, 3, 182, -134, 85, 3, -53, -64, -94, 70, 174, 30, 532, -110, 248, -187, 45, -7, 26, -319, -191, -21, 618, 215, 197, 73, -234, -319, 324, 9, 320, 116, 73, -22, -89, -19, 210, 84, 253, -66, -3, -21, 113, -164, -230, -16, 359, 19, 581, -27, -422, 77, 339, 2, 66, 119, -124, 126, -281, -161, 390, 56, -57, -384, -2, -189, 252, -71, -13, 39, 13, 142, 198, 57, 209, -289, -72, -79, -23, 97, -572, -121, 284, -179, 43, 14, 166, -21, 37, -25, -6, 124, 275, 172, 140, 80, -71, -123, -118, 17, 344, 71, -166, 56, -219, -282, 209, -34, -446, 8, -55, -106, -24, 20, 330, 18, -20, 50, 72, -186, 210, 71, -622, -146, 200, 29, -770, -14, 98, -123, 369, 60, -73, -10, -16, 1, -45, 38, 452, -206, -83, -38, 298, 283, -303, 16, 114, 68, 34, 35, -123, -139, 71, -68, -467, 172, -67, -20, 140, 29, 178, -70, 365, 111, 39, 99, 94, -112, -129, 56, 55, -18, 159, 16, 60, -95, -286, 61, -490, -3, -150, -42, 150, 130, 572, -112, 149, -222, 44, 73, 3, 244, 46, 112, 55, -81, -70, 39, 688, -194, -214, -242, -20, -36, -44, 19, 19, 105, -355, 113, 166, -81, 361, 14, 41, 206, -154, 71, -631, -195, 296, 56, 373, -63, -46, -28, 31, 261, -101, 120, 175, 211, 524, 65, -267, -213, 334, -111, -120, 77, 348, -34, 176, -494, -169, 47, 173, 45, -28, -59, 37, -26, 139, 148, -35, 476, -209, -178, -14, -123, -222, -107, 308, 314, -541, 9, 234, -162, 288, 79, -92, -43, 48, -435, 117, -86, 347, 5, 117, 5, 0, 84, 272, 36, 220, 16, 290, 21, -903, -116, 232, -70, 65, 9, -29, -340, -39, 192, 570, -3, 359, 6, 368, -45, 377, -91, -520, 11, 605, 23, 40, 263, 172, -79, 254, -104, -171, -9, 663, -3, -391, -131, 313, -448, 416, -30, 157, 324, -193, 73, 465, -84, 250, 114, -89, 34, 117, 72, 70, -391, 31, 35, 100, 15, 230, 85, 87, -297, -253, 74, 316, -234, 528, -116, 29, -46, -531, -8, 446, 48, -118, 121, 442, -2, -106, 94, 207, 208, 194, -60, 238, 86, 73, 61, 60, 167, -205, 111, 399, -419, -16, -3, 276, 106, -420, -247, -32, -554, -252, -35, 385, 11, -189, 30, 514, 25, 112, 88, -250, 219, 166, 52, -213, -82, -57, 26, 411, 57, -190, 35, 221, -18, 43, -62, 593, 35, -5, -56, -29, 28, 108, 69, 380, 395, 107, 26, -303, -158, -14, 39, -54, 30, -11, 35, 39, 67, 258, 22, -102, 238, -239, -50, 372, -86, -236, 9, 208, -172, -351, -251, 750, 44, -26, -6, -194, -10, 52, 179, 238, -109, 46, 36, 809, -237, -398, 30, 50, -35, -329, 28, -169, 283, 358, -77, 214, -223, 60, -119, -16, 120, -686, 4, -81, 15, 237, 75, 281, -277, -1, 27, -157, -181, 314, 17, -687, -110, 29, -25, 455, -8, 121, 3, 453, 139, -283, -21, 581, -601, 679, 44, -325, 143, -415, -82, 272, 191, 585, -43, -413, -149, -28, 115, -6, -241, -36, 18, -105, 31, 553, 125, -107, 20, 117, -7, 149, -320, 109, -201, 46, 95, -590, 101, 484, -291, 301, -49, -73, -85, 11, 22, -142, 54, 219, -57, 49, -109, 213, -24, 346, -201, 228, -38, 451, -66, -765, 0, 109, -103, -587, -13, 9, -446, 242, -94, 325, 36, 50, 156, -142, -256, 244, 6, -61, 210, -88, -87, 58, 153, 943, 86, 421, 8, 350, -81, -39, 0, -97, 54, 527, -153, -13, -113, -117, 237, 241, 93, 554, 284, 85, -26, -463, -202, 601, 27, 256, -223, -37, -37, 283, -206, -98, 76, -55, 354, 169, -227, 408, -148, -179, 30, -23, 53, -210, -94, 181, -143, -299, 30, -231, -26, 45, -161, 763, 163, 175, -31, 609, 136, -423, -62, -154, -54, -98, 118, 135, 43, -150, -84, 53, 73, 117, 51, -32, -313, 7, -26, 281, -86, -173, 100, 190, 92, 445, -103, 33, 50, 188, 78, -724, 129, -155, -221, 473, -84, 442, -19, 405, 295, -347, 59, 344, -191, 116, -26, 195, 255, -64, -106, 222, 11, -120, 111, -374, 105, 39, -4, -194, 85, 57, 73, -416, -22, 340, -33, -95, 39, -371, -19, 388, 114, -494, -49, 523, 139, -700, 21, 65, -93, -66, -148, 32, -39, 173, -96, -92, 134, 235, -90, 292, 9, 107, 110, 317, 68, -2, 65, 100, -108, -589, 6, 47, 198, -469, -429, -3, 14, -301, 2, 386, 195, 0, 62, 153, -317, 40, -132, 197, -21, 394, -123, -421, -120, 449, -69, 105, -23, -273, 21, -55, 125, -16, -113, -21, -267, 282, -118, 87, 161, -388, 21, 164, 101, 335, 159, 9, -261, 44, -29, -30, -219, -84, -240, 263, -34, 65, 80, -279, 224, 434, -86, 394, -392, -233, -266, 87, 3, -593, -21, 107, -207, 319, 55, 329, -2, -84, -173, 346, 8, 589, 32, 149, -111, -17, -72, 111, -20, -127, 29, 293, 33, -314, -159, 290, -212, -552, 94, -39, -130, -205, -91, 328, 239, 534, 10, 20, -709, 253, 102, 214, -81, 158, -159, 366, -78, 138, 52, -157, -129, 156, -14, -11, 177, -167, -147, 410, -381, 533, -64, -229, 25, 38, -126, 281, 10, -22, 67, 124, -49, -415, -1, 111, -73, -71, 18, -180, 160, 64, -164, -11, 231, -259, 39, 388, -564, -163, -26, 299, -160, -789, 5, 187, -294, 223, -10, 12, -50, 142, 3, 332, -43, -258, -55, 439, -57, 26, 96, 240, -100, -86, -105, -50, -86, -2, 125, -125, -31, -332, -218, 10, -569, -310, -15, 571, -48, -178, -54, 229, 80, 942, 20, -295, 270, 118, -7, -278, 18, 85, 112, 77, -89, -276, -35, -60, 122, -259, -36, 420, -168, 37, -48, 447, 267, -428, 18, 207, 463, 291, -26, -547, -114, 51, 28, -110, 329, -99, -15, -283, -33, 477, 53, -228, -103, 93, -439, 239, -276, 190, 130, -19, 87, -89, -93, 375, -160, -478, -206, -157, 42, 368, -71, 157, 285, 585, 28, 271, 16, 62, 258, 134, 29, -136, 45, 208, -251, -338, -187, 195, -50, -112, -22, -39, -180, 582, -33, 616, -214, -198, 52, 119, -102, 115, 14, 13, 123, -28, 43, -395, 94, -507, -49, -289, 41, 27, -14, -209, 204, 53, -132, -65, -411, 367, -5, 431, -53, -102, -90, 365, 203, -453, -98, 63, -64, 602, -48, -660, -221, -120, 29, 201, 119, 123, 150, 110, -312, 64, 99, 611, 180, -529, -182, 113, 291, -773, 125, 164, -474, 403, -41, -236, -47, 402, -44, 316, -178, -27, -113, 17, 54, 173, 9, -68, -229, 142, -40, -115, -240, 139, -108, 288, 114, -621, -42, 107, -210, -298, -80, 357, 61, -623, 195, 120, -301, 458, -45, -418, -44, 179, -130, -45, 91, -363, -31, -52, -250, 172, -5, -439, -117, -127, -100, 63, 102, 341, -187, 46, 398, -263, -16, 631, -29, -30, -125, -251, -59, 688, 75, 122, -384, -9, -65, -524, -154, -4, 2, -186, -9, 45, -115, 424, -581, -133, 30, -26, -290, -631, -190, 296, -271, -112, 0, -181, -23, 650, -189, -120, 44, -9, -57, 430, 78, 137, -126, -17, -101, 23, 32, 240, 48, -86, 9, 230, 49, -468, 5, 30, -246, -220, -78, 863, -34, -87, 25, 279, -450, -482, 80, -115, 25, 451, -12, -632, -41, 309, -426, -292, 128, -82, -35, -239, 167, -215, -42, 648, -261, -201, -57, -104, 100, -523, 80, 48, 306, 162, 42, -199, -198, -182, -125, 456, 58, 8, -48, 490, 216, 277, 80, -704, 43, 67, 11, 316, -359, -783, -225, -266, 65, -373, 52, 323, -13, -124, -216, -26, -61, -258, 9, 550, 5, 517, -104, 804, -223, -117, 118], "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": "6026.2.a.k", "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}