# Trace form for 6015.2.a.h, downloaded from the LMFDB on 19 April 2024.
[0, 39, 0, 39, 48, -39, 0, 22, 3, 39, 0, -1, 48, 30, 8, -39, 58, 32, 0, 27, -48, 22, 23, -8, 3, 39, -4, 39, 60, -9, 0, 19, 1, -1, 26, -22, 48, 44, 14, 30, -3, 31, 8, 75, 1, -39, 19, -16, 58, 91, 0, 32, 94, 17, 0, 1, 27, 27, 26, -1, -48, 55, 11, 22, 77, -30, 23, 84, 36, -8, -8, -2, 3, 79, 20, 39, 58, 32, -4, 29, -58, 39, 53, 9, 60, -32, -17, -9, 57, 37, 0, 71, 7, 19, 32, -27, 1, 91, -9, -1, 48, 8, 26, 69, -14, -22, 10, -10, 48, -13, -23, 44, 117, 27, 14, 8, -19, 30, 56, 19, -3, 116, -19, 31, 4, -39, 8, 67, -5, 75, 4, 25, 1, 99, 14, -39, 26, 23, 19, 71, -60, -16, 12, -18, 58, 9, 24, 91, 123, -52, 0, 34, 41, 32, -54, -19, 94, 115, 20, 17, -1, 44, 0, 92, 42, 1, 32, -45, 27, 111, -26, 27, 136, 37, 26, 22, -60, -1, 93, -13, -48, 43, -38, 55, 11, -44, 11, 57, -9, 22, -14, 17, 77, 151, -2, -30, 106, 34, 23, 67, 3, 84, 35, -9, 36, -31, -11, -8, 214, 84, -8, 69, -69, -2, -69, -75, 3, 163, 41, 79, -1, -36, 20, 110, 68, 39, -51, -3, 58, 25, -19, 32, -12, 69, -4, 16, -48, 29, 140, -40, -58, 95, 27, 39, 114, -91, 53, 42, 22, 9, 0, 35, 60, 126, -87, -32, 12, 41, -17, 117, -94, -9, 6, 22, 57, -17, -162, 37, 193, 48, 0, 25, -4, 71, 14, -1, 7, 140, -20, 19, -27, -34, 32, 169, -69, -27, -62, 9, 1, 103, -26, 91, 88, 55, -9, 1, -25, -1, 108, -4, 48, -27, -49, 8, 42, -55, 26, 91, -10, 69, -11, -46, -14, 164, 17, -22, 25, -54, 10, 35, -77, -10, -112, -28, 48, 30, -105, -13, 49, 29, -23, 3, 8, 44, -21, -84, 117, 179, -66, 27, -36, -16, 14, 179, -6, 8, -88, -67, -19, 47, 8, 30, -18, 37, 56, 2, -140, 19, 46, -24, -3, 32, -88, 116, 131, -79, -19, 20, -24, 31, -20, -56, 4, 95, -14, -39, -74, 14, 8, 90, -58, 67, 25, -6, -5, -32, -58, 75, 185, -84, 4, -31, -127, 25, 1, -29, 1, 45, -47, 99, 58, -39, 14, 204, 91, -39, -253, -89, 26, 47, -53, 23, 12, 68, 19, -9, -243, 71, 83, 52, -60, -99, -114, -16, -130, 32, 12, 82, -111, -18, 17, 2, 58, 107, -85, 9, -350, 32, 24, 72, -57, 91, 29, -122, 123, -37, -186, -52, 206, -7, 0, 56, -59, 34, -85, -71, 41, 115, -121, 32, -7, -216, -54, 33, -98, -19, -264, -36, 94, 80, -32, 115, 7, -60, 20, 27, -135, 17, -31, -18, -1, 2, -108, 44, 77, -91, 0, 14, -116, 92, 9, 2, 42, 57, -70, 1, -269, -26, 32, 21, -48, -45, -34, -74, 27, -8, -382, 111, 106, -23, -26, 61, -43, 27, -74, -69, 136, 147, -39, 37, 14, 172, 26, 194, 121, 22, -260, -115, -60, 9, -10, -1, 29, -75, 93, 10, -191, -13, -27, -29, -48, -182, -65, 43, 46, 13, -38, 182, -46, 55, 23, -28, 11, 68, -13, -44, -159, 96, 11, 109, -117, 57, -187, 9, -9, -27, 3, 22, -7, 9, -14, 63, -77, 17, -78, -8, 77, 121, -31, 151, 19, -103, -2, 37, 97, -30, -441, -34, 106, 61, -56, 34, 36, -3, 23, -19, -286, 67, -83, -46, 3, 204, 159, 84, -144, -116, 35, 216, -46, -9, 19, -99, 36, 74, 45, -31, -632, 23, -11, 230, -4, -8, -123, -71, 214, 39, 21, 84, 176, 4, -8, -43, 103, 69, -227, -67, -69, 144, -62, -2, 5, -2, -69, 121, 98, -75, -410, -40, 3, 47, -4, 163, 124, 39, 41, -25, -43, 79, -89, 9, -1, -188, 10, -36, 179, -99, 20, 128, 48, 110, -14, 28, 68, 147, 64, 39, -32, 110, -51, 38, -26, -3, 68, -13, 58, -23, -237, 25, -7, -7, -19, -20, -25, 32, 79, -71, -12, 117, -54, 69, 60, -39, -4, 154, -40, 16, -271, -13, -48, 40, -12, 29, 119, -66, 140, 18, -427, -40, -77, 60, -58, -71, 8, 95, -68, -9, 27, 152, -61, 39, -24, 70, 114, -36, 148, -91, -335, 118, 53, 51, -123, 42, -185, 22, 22, 52, -241, 9, -200, -169, 0, -28, -96, 35, -86, -34, 60, 185, -20, 126, -41, 44, -87, 105, 207, -32, -355, -111, 12, -17, 54, 41, 146, -16, -17, 19, -183, 117, -157, 3, -94, -187, 206, -9, 212, -115, 6, 216, 217, 22, -20, -69, 57, 80, 204, -17, -374, 132, -162, 39, 1, 37, 0, -50, 193, -44, -212, 48, 103, 48, 0, 72, -88, 25, -69, -92, -4, 147, -76, 71, -42, -182, 14, 49, 28, -1, -281, 58, 7, 22, -32, 140, 235, 176, -20, 45, 124, 19, -58, 25, -27, 70, -227, -34, 228, -111, 32, 111, -127, 169, 26, -31, -69, 28, 39, -27, -654, 144, -62, 35, -136, 9, 107, -183, 1, -37, -193, 103, 49, 38, -26, 79, 179, 91, -18, -22, 88, 206, -37, 55, 60, 61, -9, 156, 190, 1, -502, -110, -25, 105, -93, -1, 66, 29, 108, 13, -17, -4, -195, 178, 48, -146, -42, -27, -174, -43, -49, 309, -149, 8, 38, -22, 42, 39, -8, -55, -327, 114, 26, 129, -11, 91, -239, 58, -10, 44, -230, 69, -28, -42, -11, -14, 143, -46, -5, -57, -14, 260, 7, 164, 9, -68, 17, 160, 20, -22, -274, -36, 25, -55, 14, -54, 146, 34, 10, -17, -609, 35, 8, 57, -77, -146, 164, -10, 137, -151, -112, 259, 8, -28, 2, 56, 48, -122, 178, 30, -176, -9, -105, 39, -106, -13, 63, 8, 49, -34, -396, 29, 51, -96, -23, 64, -16, 3, -37, -67, 8, 169, -120, 44, -3, -7, -21, 140, 152, -84, -239, 92, 117, 179, -35, 179, -106, -117, -66, 9, -149, 27, 62, -5, -36, -253, -136, -16, -131, 31, 14, 202, 95, 179, 11, -99, -6, 149, 117, 8, -112, -53, -88, -26, -214, -67, 51, -93, -19, -84, -259, 47, -99, 72, 8, 153, -104, 30, 74, -69, -18, 242, -39, 37, 69, 10, 56, 115, 7, 2, -819, 30, -140, -68, 69, 19, 208, -4, 46, 75, -64, -24, -125, -4, -3, -59, 79, 32, 49, -163, -88, 129, -27, 116, -41, -138, 131, -113, 64, -79, -163, 125, -19, 40, 1, 20, -82, -91, -24, 36, -201, 31, 114, -88, -20, -35, -60, -56, 122, -110, 4, 98, -64, 95, -68, 90, -14, 145, -237, -39, -45, -1, -74, -16, 51, 14, 242, -5, 8, 3, -640, 90, 36, 277, -58, -322, 154, 67, 211, -25, 25, 151, 155, -6, 19, 3, -5, 20, 61, -32, -410, 200, -58, -4, 12, 75, -6, -195, 185, -69, -199, -84, 148, -58, 4, -13, 165, -31, 62, -16, -127, 180, -276, 25, 48, -250, 1, 121, -22, -29, -498, -2, 1, -59, -140, 45, -69, 148, -47, 40, 74, 99, 42, -136, 58, 101, -66, -39, 6, -95, 14, 246, -200, 204, -27, -16, 91, -12, 208, -39, -287, 73, -253, 31, -114, -89, -116, -177, 26, 91, -12, 47, -150, -108, -53, 88, 173, 23, -57, -42, 12, 63, -228, 68, -22, -130, 19, 169, -52, -9, -700, -117, -243, 65, 0, 71, 103, -184, 83, -35, -406, 52, 19, -78, -60, -363, -197, -99, -84, -126, -114, 178, -255, -16, 87, -28, -130, 133, -47, 32, -328, 107, 12, 17, -12, 82, -79, -199, -111, -41, -28, -18, -272, -132, 17, -123, -112, 2, 234, -117, 58, 219, -298, 107, 94, -9, -85, 193, 68, 9, -530, 7, -350, -270, -6, 32, -183, -120, 24, -22, -611, 72, -158, 9, -57, -122, 162, 91, 101, 17, 29, 54, -147, -122, 162, -246, 123, -125, -152, -37, -437, 20, -186, 81, -193, -52, -145, -239, 206, -48, -315, -7, 265, -140, 0, 49, -249, 56, -47, -25, -59, 81, -286, 34, 4, 59, -85, -85, 18, -71, -132, -154, 41, 91, -14, 115, -141, -25, -121, 1, -294, 32, -284, -140, -7, -400, 190, -216, -197, -140, -54, 11, -711, 33, 20, 75, -98, -149, 82, -19, -217, 33, -264, -71, 27, -36, -201, -34, 94, 34, -571, 80, -51, -4, -32, -99, 168, 115, 19, -169, 7, 56, -343, -60, 69, -198, 20, -18, 49, 27, -452, -34, -135, -197, 62, 17, -37, 24, -31, -9, -222, -18, -99, -202, -1, -203, -221, 2, -128, -103, -108, 76, -589, 44, 26, -188, 77, -34, 19, -91, -157, 214, 0, 25, -88, 14, -66, -267, -116, -55, 14, 92, -96, -68, 9, 78, -71, 2, 51, -1, 42, 231, -96, 57, 25, -29, -70, 129, -28, 1, -877, -202, -269, -32, -108, -26, 34, -148, 32, 4, -308, 21, -449, -164, -48, 15, -17, -45, 15, 27, -34, 139, -348, -74, 49, 50, 27, 3, -197, -8, -523, -149, -382, -50, -42, 111, -180, -142, 106, 55, -435, -23, -77, -18, -26, 4, 123, 61, -291, -91, -43, 247, -340, 27, 10, -311, -74, 46, -4, -69, -103, -67, 136, -243, 11, 147, -93, 11, -39, 46, -223, 37, 94, -91, 14, 189, 67, 172, 103, -164, 26, 137, -345, 194, -17, 45, 121, 116, 155, 22, -180, 159, -260, -80, -25, -115, -66, -432, -60, 54, -308, 9, -107, -86, -10, 77, 10, -1, 64, -35, 29, -9, -187, -75, 77, 111, 93, 95, -48, 10, -665, -164, -191, 103, 112, -13, 40, -15, -27, 28, -93, -29, 1, -353, -48, 13, -46, -182, -360, -30, -65, 115, -202, 43, 105, -55, 46, 4, 306, 13, -781, 71, -38, -299, -49, 182, -37, 29, -46, -29, 85, 55, 37, -250, 23, 64, 229, -28, 259, -3, 11, 216, -503, 68, -8, -265, -13, 241, -220, -44, -119, -182, -159, -163, 21, 96, 24, -145, 11, 84, 239, 109, 91, 13, -117, 0, 228, 57, -68, -179, -187, 97, -224, 9, 66, -175, -9, 68, 283, -27, -842, 24, 3, -199, 36, 22, 95, -171, -7, 16, -199, 9, 273, -310, -14, 119, 38, 63, -60, -179, -77, -128, -80, 17, 6, 16, -78, 169, 31, -8, -154, -122, 77, -213, 88, 121, 170, -2, -31, 67, -275, 151, 144, -33, 19, -413, -71, -103, -254, -47, -2, 124, -426, 37, -8, -6, 97, 130, -46, -30, -86, -57, -441, -72, 18, -34, -36, -196, 106, -37, -634, 61, 138, 222, -56, -81, -42, 34, -44, -2, 36, 107, -263, -3, 140, -129, 23, -32, -20, -19, -473, -92, -286, -443, -46, 67, 321, -197, -83, 24, -144, -46, 161, -363, 3, -86, -8, 204, 292, -32, 159, 34, -143, 84, 88, -62, -144, -25, 39, -116, -388, 105, 35, -248, -131, 216, 92, 2, -46, 79, -216, -9, 565, -110, 19, 6, -94, -99, 52, -20, 36, -34, -240, 74, 24, 69, 45, 226, -120, -31, -296, -272, -632, -236, 20, 23, -142, -126, -11, 56, -220, 230, 133, -148, -4, -1, 355, -8, -333, -95, -123, 166, -712, -71, 14, -153, 214, 111, 151, 39, -198, 224, 21, -36, 74, 84, 40, -206, 176, -14, 31, 4, -105, 58, -8, 64, -275, -43, 390, -90, 103, 328, 6, 69, 58, -261, -227, -103, 90, -67, -535, -119, -69, -261, -25, 144, -292, 49, -62, 6, -43, -2, -96, -217, 5, -75, 24, -2, 187, 32, -69, 28, -10, 121, 58, 32, 98, -29, -60, -75, -381, 5, -410, -480, -185, -40, 100, -509, 3, 84, 0, 47, 98, -89, -4, -21, 113, 163, 253, 31, 124, 67, -661, 39, 127, -22, 41, 17, -78, -25, -263, -217, -43, -145, -1, 79, -255, 35, -89, 29, -376, 9, 409, -217, -1, -360, 165, -188, -363, -45, 10, 17, -487, -36, 47, -13, 179, 92, 73, -99, 66, 200, 20, 62, -58, 128, -188, 237, 48, 39, 327, 110, 312, 88, -14, -48, 373, 28, 241, -204, 68, 189, 90, 147, -91, -29, 64, 163, -134, 39, -229, -173, -32, -2, 253, 110, 656, 31, -51, 89, -167, 38, 18, -130, -26, 65, 511, -3, 952, -47, 68, -64, -295, -13, 53, -207, 58, 416, 474, -23, -442, 517, -237, -406, -12, 25, 120, -393, -7, -68, -401, -7, 652, -23, -19, 14, 624, -20, -252, 9, -25, -100, -223, 32, 243, 5, 79, 305, 723, -71, -392, -372, -12, -69, -83, 117, 180, -16, -54, -52, 948, 69, 91, -48, 60, -293, 432, -39, -96, 99, -4, 126, -198, 154, 114, -145, -40, 93, 375, 16, -425, 138, -271, -241, 130, -13, 410, -245, -48, -32, 153, 40, 300, -25, -12, 50, 596, 29, 483, -82, 119, 234, 685, -66, 111, -68, 140, -27, 47, 18, -643, -191, -427, -90, -17, -40, 336, 157, -77, -2, -320, 60, 251, -215, -58, 432, 264, -71, -68, -107, 8, -42, -53, 95, 85, 99, -68, 234, 265, -9, -18, 273, 27, -77, 350, 152, -267, -227, -61, -32, 284, 39, 641, -373, -24, -136, 79, 70, 623, -72, 114, 375, -218, -36, 57, 399, 148, -69, 532, -91, 61, 83, -335, -141, -29, 118, 105, -11, 53, 122, -68, 51, 136, -64, -123, -461, 1127, 42, 134, 37, -185, -121, 210, 22, 186, 17, 22, 157, 201, 52, -413, -138, -241, 59, -206, 9, 47, -104, -200, 7, 374, -169, 44, -71, 0, 245, 464, -28, 130, -56, -96, 367, -144, 35, 59, 88, -86, 142, 537, -34, -112, -329, 60, -331, 85, 185, -168, 613, -20, 71, 565, 126, 1026, -78, -41, -174, 854, 44, 298, -115, -87, 219, -502, 105, 121, -222, 207, -144, 159, -32, -241, 365, -355, -204, 7, -111, 151, -293, 12, 216, 203, -17, 2, -166, 54, 47, 750, 41, 509, -33, 146, 250, 394, -16, 98, 218, -17, 69, -96, 19, -489, -382, -183, 86, 264, 117, 561, -1, -157, 36, 86, 3, 442, -447, -94, -82, 550, -187, -396, -80, 206, 117, 545, -9, 32, 139, 212, 400, 623, -115, 514, 208, 6, -285, -7, 216, -54, -22, 217, 60, 303, 22, 276, 553, -20, -160, 160, -69, 119, -27, 57, 241, 233, 80, 135, 85, 204, 131, -332, -17, 52, -37, -374, -422, 31, 132, 415, 491, -162, 18, -612, 39, 69, -90, 1, 143, 473, 37, 927, -2, 0, 9, 588, -50, 108, 285, 193, 94, 522, -44, -574, 413, -212, -4, -77, 48, 121, -409, 103, 91, 418, 48, 402, -200, 0, -191, 611, 72, 9, -14, -88, 66, -502, 25, 116, 251, -69, -55, 346, -92, 127, 62, -4, 103, -9, 147, -175, 591, -76, -2, -255, 71, 607, -334, -42, -162, 227, -182, -597, -57, 14, -133, 289, 49, 70, 128, 28, 290, 539, -1, 295, 51, -281, -239, 269, 58, 597, 56, 7, 26, 366, 22, 312, 319, -32, -122, 714, 140, 580, -21, 235, 363, -290, 176, 48, 108, -20, 539, 406, 45, -800, -186, 124, -343, 34, 19, 577, 97, -58, 74, 547, 25, 212, -276, -27, 336, 313, 70, 94, 8, -227, 35, 420, -34, 382, 139, 228, 116, 140, -111, -837, 571, 32, -20, -106, 111, -50, -135, -127, 23, 586, 169, 692, -161, 26, 135, 710, -31, 326, -61, -69, 334, 487, 28, 43, 286, 39, 65, 398, -27, -425, -159, -654, 9, 74, 144, 369, -44, -62, 69, 791, 35, -45, 182, -136, -87, 685, 9, -394, -147, 107, 142, -328, -183, 39, -116, 1, 594, 936, -37, -320, 245, -193, -258, -14, 103, 237, -190, 49, -172, 157, 38, 550, 11, -26, -10, 429, 79, 155, -194, 179, 319, -410, 91, -121, 46, -18, 403, 658, -22, 87, -142, 88, 346, 260, 206, -229, 408, -37, 115, -40, 55, 314, -523, 60, -265, 1117, 61, 38, -9, -9, -56, 238, 156, 10, -166, 190, 291, 264, 1, 711, 565, -502, 38, -29, -110, -125, -442, -25, 75, 96, 105, 1, 356, -93, -288, 151, -1, 567, -10, 66, 307, 449, 29, 191, 520, 108, 252, 657, 13, -280, -182, -17, -409, 27, -4, 764, 281, -195, 29, 316, 178, 21, -203, 48, -75, 204, -146, 386, 182, -42, -107, 257, -27, 65, -155, -174, 282, 386, -43, -292, 36, -49, -56, -46, 309, 199, -373, -149, -13, 666, 8, 351, 332, 38, -132, 480, -22, 108, -182, 42, 283, -221, 39, 46, -212, -8, 97, 28, -55, -48, 207, -327, -181, -23, 114, 132, 109, 26, 28, 88, 129, 260, -8, -11, 192, 261, 91, 233, -68, -239, -155, 374, 58, 13, 5, -10, 119, 79, 44, -383, 352, -230, -129, 159, 69, 115, -373, -28, -96, -110, -42, 128, 286, -11, 0, 68, -14, 387, -109, 143, -319, 336, -46, 117, 397, -5, 120, -155, -57, -752, -22, -14, 32, 187, 260, 145, 201, 7, -9, 524, 164, 478, -79, 9, -447, 422, -68, 641, 27, 17, -277, 108, 160, -3, 231, 20, 272, 699, -22, 320, 246, -274, -504, 7, -36, -177, -120, 25, -9, 11, -55, 155, 25, 14, 109, 152, -54, 448, -63, 146, 179, -207, 34, 77, 78, 10, 68, -342, -17, 91, -394, -609, -295, 78, 35, -442, 592, 8, 8, 111, 57, 62, -106, -77, 199, 704, -146, -40, -121, 164, -305, 52, -10, 31, -321, 137, -239, 880, -151, -353, 497, -112, -382, -19, 259, -722, -95, 8, 103, 357, -28, 1008, -114, 2, 41, 39, 56, 117, -37, 48, 248, -665, -122, -97, 294, 178, 416, 782, 30, 576, -222, -176, -93, 441, -9, -40, -90, -105, 34, 964, 39, -175, -143, -106, -54, 405, -13, -238, -61, 63, -501, -403, 8, 56, 2, 49, 420, 382, -34, -722, 104, -396, -249, -36, 29, -405, 66, 51, 3, 212, -96, -463, -266, -23, -48, 593, 64, -99, 19, -16, 139, 848, 3, 286, 158, -37, -82, -394, -67, 264, -227, 8, -131, 83, 169, -1065, 525, -120, 46, 526, 44, 319, -167, -3]