# Trace form for 6015.2.a.b, downloaded from the LMFDB on 19 April 2024.
[0, 23, -5, 23, 9, 23, -5, -16, -12, 23, -5, -13, 9, -18, -6, 23, -11, -34, -5, -35, 9, -16, -11, -14, -12, 23, -6, 23, -26, -43, -5, -21, -14, -13, -12, -16, 9, -18, 6, -18, -12, -45, -6, -43, -11, 23, -29, -14, -11, -25, -5, -34, -20, -3, -5, -13, 3, -35, 10, -9, 9, -67, -7, -16, -8, -18, -11, -32, -24, -14, -6, -8, -12, -39, -16, 23, -48, -26, -6, -59, -11, 23, -1, -23, -26, -34, -7, -43, 17, -51, -5, -37, 11, -21, 8, -35, -14, -29, 32, -13, 9, -40, -12, -15, 5, -16, -46, -28, 9, -71, -11, -18, 5, -19, 6, -14, -27, -18, 30, 7, -12, -72, -17, -45, 4, 23, -6, -23, 16, -43, -6, -19, -11, 13, -9, 23, -40, -15, -29, -63, -26, -14, -34, 2, -11, -43, -6, -25, 79, -36, -5, -54, 35, -34, 26, -21, -20, -51, 44, -3, -14, -46, -5, 8, -26, -13, -24, -59, 3, -11, -12, -35, -34, -21, 10, -16, 6, -9, 41, 23, 9, -71, 6, -67, -1, -18, -7, -5, 71, -16, 6, 25, -8, -39, 41, -18, -49, 18, -11, -37, -12, -32, 17, 61, -24, -45, 59, -14, 30, -66, -6, -97, 37, -8, 21, -43, -12, -27, 81, -39, -11, -54, -16, 12, 68, 23, -61, -23, -48, -33, -29, -26, 14, -5, -6, -14, 22, -59, 118, 20, -11, -95, 62, 23, -6, -25, -1, 8, 94, -23, -5, 39, -26, 16, 33, -34, -37, -17, -7, -119, -20, -43, -26, 6, 17, -3, 36, -51, 55, -38, -5, -63, 26, -37, -60, -13, 11, -56, 122, -21, 3, -66, 8, -13, 52, -35, -66, 43, -14, -21, 10, -29, -64, -17, 32, -9, 11, -13, 64, 58, 9, -11, 66, -40, -16, -67, -12, -23, 38, -15, -7, -16, 5, -18, 89, -16, -99, 36, -46, -33, -8, -28, -48, 88, 9, -18, -7, -71, 57, -13, -11, -105, 95, -18, 11, -32, 5, -117, 133, -19, -24, -22, 6, -41, 48, -14, -54, 31, -27, -55, -6, -18, -82, -31, 30, -8, 0, 7, 58, 80, -12, -56, 7, -72, 63, -39, -17, -6, 110, -45, -16, 34, 4, 21, 130, 23, -66, -28, -6, -42, -48, -23, -59, -6, 16, -26, 130, -43, 41, 22, -6, -31, 136, -19, 171, -59, -11, 37, 39, 13, -11, -23, -9, -18, 102, 23, -69, 49, -40, -91, -1, -15, -14, -24, -29, -23, -33, -63, 121, 102, -26, -81, 162, -14, -38, -34, -34, 92, 7, 2, -7, 0, -11, -21, 53, -43, -148, -64, -6, -32, 17, -25, -37, 34, 79, -51, 30, -36, 116, -47, -5, -84, 94, -54, 73, -37, 35, -29, 29, -34, 11, -128, 26, 91, 154, -21, -58, 146, -20, 8, 8, -51, 15, 64, 44, -35, 75, -3, 1, 62, -14, -154, 34, -46, -26, -29, -5, 26, -40, 8, 32, 26, -26, 55, 290, -13, -53, 40, -24, -91, 9, -59, -23, -72, 3, -40, 44, -11, -109, -17, -12, 1, 129, -35, 128, -15, -34, -13, 95, -21, 5, -84, 10, -112, 67, -16, -40, 47, 6, -15, -46, -9, -7, -7, 41, -28, -125, 23, 16, 165, 9, -116, 63, -71, 208, -71, 6, -52, 124, -67, -11, 38, -1, 56, 138, -18, -223, 16, -7, -11, 5, -5, -180, 51, 71, -19, -53, -16, -65, -107, 6, -143, 105, 25, 126, -14, -8, -33, 102, -39, -27, -109, 41, -53, 159, -18, -187, 136, -49, -119, 30, 18, 47, -75, -11, 7, -84, -37, 51, 152, -12, -182, 131, -32, -12, -72, 17, 48, 124, 61, -17, -9, -24, 68, 43, -45, -64, 73, 59, 14, 4, -14, -65, -19, 30, 23, -109, -66, 31, 50, -6, -49, 99, -97, 93, -23, 37, 104, 58, -8, 16, -152, 21, -53, 104, -43, -226, -10, -12, -123, -6, -27, -12, 41, 81, -19, 55, -39, -173, 3, -11, -102, -59, -54, -45, 13, -16, -70, -128, 12, -9, 26, 68, -51, 158, 23, -129, 28, -61, 34, -40, -23, -114, 129, -48, -15, -55, -33, -25, 45, -29, -8, -37, -26, 99, -63, 14, -13, 4, -5, -26, -83, -6, 56, 108, -14, -65, 69, 22, -126, -34, -59, -89, -94, 118, 2, -41, 20, 54, 100, -11, -163, -91, -95, 2, -43, 62, 110, 25, 23, -6, 132, -6, -54, 107, -25, -253, 80, -1, -141, 79, 8, 71, 2, 94, -36, 9, -23, 4, -75, -5, -24, -45, 39, -52, -54, -26, 103, -24, 16, 35, -76, 33, 67, 47, -34, -231, 61, -37, -89, 26, -17, -149, 68, -7, -21, -69, -119, 141, 141, -20, -141, 298, -43, -77, -51, -26, -6, 53, 6, 44, 125, 17, -110, 142, -3, -94, 86, 36, -27, -14, -51, 5, -44, 55, -46, -98, -38, 73, -12, -5, -208, 114, -63, -105, 8, 26, 89, 4, -37, -26, -18, -60, 105, 128, -13, -183, 202, 11, -228, -24, -56, 52, -58, 122, -59, -56, -21, -6, 169, 3, -118, 9, -66, -4, -11, 8, 9, 77, -13, -12, 155, 52, 70, 155, -35, -104, -68, -66, 99, -34, 43, -129, 33, -14, -21, -75, -21, 165, 76, 10, -153, 117, -29, 182, -16, -64, 46, 23, -17, 6, -51, 32, -74, 46, -9, 124, -14, 11, -119, 41, -13, -120, 67, 64, 23, -13, 58, 78, 166, 9, -178, -42, -11, 112, -71, 66, 51, 35, -40, 6, 62, -16, 33, 288, -67, -153, 232, -12, -1, -1, -23, -53, 138, 38, -18, 98, -15, 120, -60, -7, -4, 145, -16, -21, -5, 5, -110, 73, -18, 71, -164, 89, 82, 143, -16, -74, 74, -99, 45, 6, 36, 24, 22, -46, 25, -47, -33, 110, 221, -8, -174, 129, -28, 55, -39, -48, 123, 143, 88, 41, 194, 9, 82, 30, -18, -8, 139, -7, 103, -49, -71, 29, 38, 57, 18, 54, -13, 193, -46, -11, -86, 244, -105, 241, -37, 95, 59, -38, -18, -12, -25, 11, -20, 116, -32, -59, 52, 5, -195, 17, -117, 126, 79, 133, 61, 73, -19, 212, 93, -24, -31, -6, -22, -16, -45, 6, 28, -265, -41, 59, 61, 48, 39, 157, -14, -156, 401, -54, 134, 30, 31, 123, 167, -27, -66, 143, -55, 22, 126, -6, -91, 116, -18, 82, -97, -82, 92, -40, -31, 37, -26, 30, -63, 103, -8, -55, 168, 0, -288, 21, 7, 62, -114, 58, -43, -222, 80, 83, 126, -12, -125, 146, -56, 173, -27, 7, 119, 93, -72, 81, 30, 63, 133, 110, -39, -205, 65, -17, 46, -11, -6, -100, 147, 110, -54, 35, -45, -240, 40, -16, 13, 212, 34, -12, 12, 4, 132, -30, 21, 68, 22, 130, -45, 99, 23, -221, 79, -66, -188, -61, -28, 187, 17, -6, -23, -64, -42, 280, 161, -48, -108, 232, -23, 113, -33, -59, 157, 71, -6, -29, 35, 16, -126, -135, -26, 5, 158, 130, 136, 14, -43, 136, 53, 41, -5, 71, 22, 28, 120, -6, -125, -269, -31, 270, -14, 136, 60, -34, -19, 22, 2, 171, 169, -137, -59, -124, 144, -11, 33, 118, 37, 111, 72, 39, 20, 36, 13, 178, 214, -11, -25, 102, -23, 98, -95, -9, 70, -96, -18, 62, 124, 102, 54, -26, 23, -191, 123, -69, -41, -6, 49, 119, -13, -40, -25, -170, -91, 418, 80, -1, -36, 175, -15, 59, 8, -14, 149, 0, -24, 94, -24, -29, 75, -38, -23, -24, 167, -33, -181, -5, -63, 109, -100, 121, 39, 8, 102, -1, 146, -26, -199, -31, -81, 2, 16, 162, 180, 37, -14, 33, 152, -38, -13, 145, -34, 20, 121, -34, 41, -37, 92, 321, -17, 7, -17, -14, 2, 156, -96, -7, -3, 238, 0, 218, -119, -11, 21, 18, -21, -20, 121, 53, 59, 178, -43, -120, 229, -148, -2, -26, -64, 87, 48, -6, 6, -51, -32, 245, -51, 17, -132, 36, -25, -247, -3, -37, 122, 215, 34, 36, 276, 79, 55, -4, -51, 139, -42, 30, -101, 55, -36, 195, 111, 116, -38, 3, -47, 119, 42, -5, 105, 275, -84, 207, -63, 94, 161, -36, -54, 26, -81, 73, 131, -74, -37, -108, 80, 35, 1, -60, -29, 281, 53, 29, -13, 236, -34, 258, 24, 11, -214, 162, -128, 189, -56, 26, 159, 33, 91, 122, 255, 154, 117, 134, -21, -199, 287, -58, 173, 3, 146, 67, 106, -20, -66, -25, 8, 167, 78, 8, -81, 110, -51, -71, -13, 15, 106, 21, 64, 52, -100, 44, 34, -87, -35, 76, 12, 75, -203, -66, -3, 209, -148, 1, 43, 128, 62, 269, 132, -14, -119, -3, -154, 413, -21, 34, 54, -113, -46, 10, 210, -26, 162, 192, -29, 79, 86, -5, -115, -64, 26, 222, 333, -40, -17, 104, 8, -22, -96, 32, 82, 117, 26, 89, -9, -26, 159, 50, 55, 11, 29, 290, 31, 42, -13, -221, -44, -53, 4, 64, 40, -110, 24, -24, 58, 156, -91, 367, 86, 9, 107, 252, -59, 282, -11, -23, 63, -208, -72, 66, -22, 3, 69, 33, -40, -120, 131, 44, 148, -16, -11, -120, 210, -109, -67, -277, -17, 106, -20, -12, -128, 309, 1, 192, -23, 129, 157, -92, -35, 38, 7, 128, 144, 436, -15, -238, 103, -34, -177, -7, -13, 247, -47, 95, -16, -75, -21, 8, 103, 5, 13, 173, -84, -9, -18, 10, 119, -94, -112, 89, 197, 67, 10, 277, -16, 39, 235, -40, 28, -99, 47, 212, 80, 6, 36, -170, -15, 177, 164, -46, 29, 132, -9, 297, -33, -7, 211, -55, -7, -8, 23, 41, -75, -9, -28, 163, 34, -125, -15, -48, 23, -244, -73, 16, 88, -249, 165, 289, 73, 9, -23, 214, -116, 176, -18, 63, 21, -130, -71, -7, 103, 208, 8, -352, -71, -212, -21, 6, -195, 57, -52, 178, 123, 124, -13, 35, -67, 37, -70, -11, 300, 1, 38, -213, -105, -1, 234, -225, 56, 95, -73, 138, 185, -34, -18, -175, -4, -223, -73, 11, 16, 128, -43, -7, -32, 47, -11, -15, 201, 5, -152, 367, -5, 178, -117, -180, 167, 72, 51, 133, 33, 71, -2, -29, -19, -72, -120, -53, 5, -24, -16, -27, -1, -65, -22, -59, -107, 193, -38, 6, -105, -36, -143, 271, -41, 105, 100, -90, 25, 48, 18, 126, -51, -93, -14, -218, 16, -8, -153, -54, -33, 330, 328, 102, 31, -309, -39, -176, -61, -27, -15, -13, -109, -89, -55, 41, 50, -114, -53, -6, 258, 159, 26, -139, -18, -372, 291, -187, -14, -82, 136, 171, 164, -49, -31, -236, -119, 256, -2, 30, -153, 56, 18, 18, -8, 47, -109, 69, -75, 0, -49, -11, 46, -96, 7, -51, 152, -84, -173, 58, -37, -47, -139, 51, 80, -60, 152, 263, -63, -12, -120, -152, -182, 52, -56, 131, 156, -87, -32, 7, 110, -12, 247, -305, -72, -170, 157, 17, -68, 63, 48, 10, -120, 124, -39, -192, 61, 57, -26, -17, 60, 275, -9, -256, -6, -24, 130, 4, 68, 110, 79, 43, -102, -56, -45, -57, -194, -64, -40, -16, 73, -28, -88, 59, 34, -188, 14, 23, -56, 4, -127, 93, -14, -87, 21, -65, -6, -76, -19, 130, 137, 30, 35, -91, 23, 128, 126, -109, 56, -66, -66, 136, -60, 31, -28, -209, 50, -68, -132, -6, -76, 67, -49, 334, -42, 99, -30, -80, -97, -48, -17, 93, 353, -96, -23, -257, -41, 37, -161, -59, 104, -142, 109, 58, -6, -125, -8, -32, 117, 16, -209, 59, -152, 188, -26, 21, -106, -364, -53, 130, 64, 104, -149, -12, -43, -218, 299, -226, 98, 41, -10, -342, 167, -12, 22, -184, -123, -192, -67, -6, 83, 125, -27, -305, -31, -12, 345, -131, 41, 136, 20, 81, 241, -14, -19, 48, 155, 55, -5, 171, -39, 135, -5, -173, -59, -78, 3, 357, 97, -11, -22, 163, -102, -31, 37, -59, -125, -139, -54, 39, 175, -45, -40, 99, 13, -150, 220, -16, 188, -11, -70, 154, 295, -128, -23, -275, 12, -106, -212, -9, -126, -334, 26, 285, -18, 68, 73, -218, -51, 102, 71, 158, 81, -98, 23, -211, 241, -129, -62, -69, 28, 34, -85, -61, 49, -247, 34, -110, -26, -40, -223, 113, -23, 100, -91, -114, -4, -88, 129, -1, 359, -48, -100, -98, -15, 169, 147, -55, -210, -14, -33, -184, 63, -25, -24, -227, 45, 122, -5, -29, 116, -210, -8, 152, -23, -37, 270, -137, -26, -33, -77, 99, 7, -2, -63, -16, -296, 14, -323, 121, -13, 46, 328, 4, 102, -182, -5, -23, -92, -26, 139, -136, -83, 55, -81, -6, -258, -160, 56, 162, 47, 108, -63, -77, -14, -268, 196, -65, 63, -38, 69, -46, 121, 22, -34, -259, -126, 20, -11, -34, -294, 172, -59, 137, 92, -89, -70, -53, -94, 7, -30, 118, 341, -1, 2, 81, -29, -41, -98, -7, 20, 108, 93, 54, 0, -164, 100, 88, -89, -11, -302, 224, -163, 198, -21, -91, 86, -187, -95, 53, 129, 2, 10, 297, -43, -126, 97, 62, -153, -148, 110, 107, 35, 25, -64, 220, 23, 323, -65, -6, 172, 89, 132, 213, -32, -6, 27, -116, -54, 17, -33, 107, 319, -268, -25, -242, 63, -253, -127, -37, 80, 271, 25, -1, 34, 104, -141, -46, -42, 79, -107, -101, 8, 70, -51, 71, -57, -118, 2, 30, -11, 94, 127, -393, -36, -99, 250, 9, -113, 116, -23, -155, -56, 4, -47, -4, -75, -24, 107, -5, -361, 100, -24, 264, -84, -45, -33, -232, 39, 94, 100, -52, 38, -335, -54, -4, -93, -26, -233, 73, 103, -24, -147, -24, -37, -317, 16, 32, -282, 35, -36, 24, -76, -56, -29, 33, -73, 52, 67, 29, 96, 47, 170, -39, -34, -269, -21, -231, -190, 11, 61, -58, 211, -37, -128, -203, -89, 104, -90, 26, -183, 157, -17, 163, 91, -149, 130, -196, 68, 154, -64, -7, -125, -290, -21, -613, -336, -69, 26, -58, -119, -149, 45, 141, 146, 98, 141, 338, -201, -20, -4, -6, -141, 570, 8, 298, -197, -223, -43, 8, -49, -77, -80, -69, -51, -234, 148, -26, -45, 15, -6, 48, 114, 53, 64, -477, 6, -106, -327, 44, -208, -70, 125, 64, -35, 17, -21, 131, -110, 75, 21, 142, 27, -38, -3, -202, -177, -94, -288, 1, 86, -15, -161, 36, 62, 120, -27, 455, 306, -14, 83, 198, -51, -339, -154, 5, 155, 18, -44, 34, 87, 55, -180, -238, -46, 210, -157, -98, -130, -26, -38, -235, -121, 73, -29, -368, -12, 186, -254, -5, 129, 109, -208, 356, 26, 114, 104, -204, -63, -40, -165, -105, 215, -103, 8, -237, -104, 26, -145, 32, 89, -12, 117, 4, 26, -347, -37, 41, 76, -26, -318, 19, -18, 115, 55, -60, -333, -17, 105, 290, 284, 128, 172, -79, -13, 139, 57, -183, 61, -53, 202, 53, 14, 11, 40, -424, -228, -10, 71, -24, -200, 292, -56, 324, -91, 52, -231, 78, -58, 9, 292, 122, 231, -534, -59, -284, 20, -56, -151, -23, -21, 55, -385, -6, -72, -217, 169, 226, 128, 3, -310, -263, -118, 598, -40, 9, -265, -200, -66, 44, 435, -4, -28, 74, -11, -257, -179, 8, -86, -109, 9, 108, 279, 77, -17, 58, -13, 38, -145, -12, -17, -154, 155, 416, 1, 52, 224, -163, 70, 129, -206, 155, 131, 54, -35, -17, -87, -104, 111, 128, -68, -135, -144, -66, -15, -83, 99, 395, -258, -34, 65, 119, 43, 90, -13, -129, -100, 102, 33, 95, 74, -14, -94, 8, -21, -252, 201, -75, -168, 5, -21, -201, -8, 165, -84, 51, 76, 279, -185, 10, -350, 150, -153, 109, -112, 117, -143, -338, -29, 67, 22, 182, 153, 12, -16, -40, -8, -64, -58, -40, 46, 205, 156, 23, 47, -540, -17, -42, 201, 6, -13, -299, -51, 66, -15, 32, -28, -192, -74, -46, 118, 46, 343, -268, -9, -309, -3, 124, -26, -7, -14, 39, -296, 11, -7, 180, -119, 45, 20, 41, 16, 151, -13, 85, -28, -120, -205, 3, 67, -125, -46, 64, -354, 99, 23, 76, -86, -13, -223, 16, 58, -374, -239, 78, 165, 74, 166, 13, 121, 9, -73, -176, -178, -109, -116, -42, 163, -222, -11, 63, -95, 112, -46, -254, -71, -94, 36, 66, 40, 208, 51, -71, 31, 35, -71, -102, -40, -119, -112, 6, -234, -50, 62, 168, -52, -16, 49, -267, 33, 124, -174, 288, 27, -212, -67, -598, 91, -153, -231, -11, 232, -224, -33, -12, 38, -82, -1, -260, 76, -1, -132, 189, -23, 74, 56, -53, 139, -493, 138, 138, 253, 38, 21, -231, -18, -191, -70, 98, 87, -223, -15, -239, 35, 120, 16, -86, -60, -66, -354, -7, 92, -152, -4, 247, -11, 145, 305, -142, -16, 5, -11, -21, 346, -235, -5, -104, 16, 5, -252, -180, -110, -85, 15, 73, 51, -96, -18, -80, -79, 71, 25, -398, -164, -379, -19, 89, -241, -400, 82, -53, 133, 143, -4, 68, -16, -201, 134, -74, -20, -65, 74, -325, -144, -99, -107, -199, 45, 57, -11, 6, -247, -330, 36, 256, -143, 24, -213, -452, 22, 105, -44, -46, 282, -530, 25, -109, -200, -47, 63, 126, -33, -510, -240, 110, -14, -153, 221, 46, 242, -8, -245, 340, -174, -172, -33, 129, -101, -173, -28, 102, 321, 55, -119, -276, -39, 69, -253, -48, -440, -27, 123, 234, 91, 143, -109, -617, 88, -94, -254, 41, 111, -129, 194, -243, -53, 9, 78, -330, 82, 159, 122, 30, -120, 112, -18, -282, -170, -8, -187, -187, 139, 218, -78, -7, 136, -152, 103, -16, -357, -49, -332, 21, -71, 268, -119, 29, -275, -3, 38, 30, 8, 57, 36, -78, 18, -422, 2, 54, -55, 47, -13, -679, -164, 193, -75, -28, -46, 13, -120, -11, -284, -351, -86, 71, 7, 244, 91, -376, -105, -84, 276, 241, -54, 148, -37, -3, -309, 95, -485, 51, 59, -95, 237, -38, 152, 58, -18, -151, -373, -12]