# Trace form for 9025.2.a.ba, downloaded from the LMFDB on 16 April 2024.
[0, 3, 1, 1, 7, 0, -6, -2, -6, 4, 0, -5, -4, -15, -7, 0, 3, -1, 14, 0, 0, 12, -8, -4, -21, 0, -5, -8, -11, 2, 0, 1, -6, 11, 25, 0, 3, -2, 0, -5, 0, 2, 23, 1, -18, 0, 24, -6, 1, -7, 0, 6, -35, 11, 10, 0, -15, 0, 7, -6, 0, -9, 13, -9, -8, 0, 29, -20, -34, 5, 0, 29, 11, 22, -7, 0, 0, 16, 30, 24, 0, -21, -31, 3, 28, 0, 32, -12, -9, 14, 0, 10, -41, -6, -21, 0, 17, 7, 23, -13, 0, -3, 40, 10, 30, 0, -9, 10, -25, 1, 0, 50, -2, 5, 0, 0, 11, -20, -21, 7, 0, -12, 35, 26, -4, 0, -22, 12, 3, -6, 0, 8, 32, 0, 6, 0, 21, 13, 46, -1, 0, -2, 16, 25, -15, 0, -18, -34, -49, -6, 0, 37, 0, 24, 37, 0, 20, -14, 46, 48, 0, 9, -26, -17, 11, 0, -37, 28, 14, 36, 0, 0, -23, 0, -23, 0, -5, -2, 30, 42, 0, -7, 35, -3, 27, 0, -2, 8, 5, -1, 0, -18, 48, -31, 34, 0, -10, -22, -36, 9, 0, 6, 37, -14, -43, 0, -22, 20, -15, 0, 0, 28, -6, -22, 16, 0, 35, -7, -44, 1, 0, 5, 99, 3, 23, 0, -30, 12, 0, 9, 0, -39, 15, -20, -70, 0, 5, 8, 15, 33, 0, 36, 34, 17, -59, 0, 15, 0, 17, 20, 0, -9, -40, 13, 80, 0, -59, 25, 17, 52, 0, 9, -29, -20, 35, 0, 0, 30, -72, -29, 0, -10, -58, -60, 36, 0, -39, -12, -13, 14, 0, -14, -7, -16, 93, 0, 40, 24, -8, 38, 0, 15, 83, 20, -24, 0, -53, 7, -2, 20, 0, -7, 63, -58, 0, 0, -11, 31, 50, -41, 0, -4, 105, 72, -11, 0, 18, -13, 54, -16, 0, 35, 22, 0, -30, 0, -31, 70, -61, 4, 0, -7, 26, -9, 3, 0, -7, -46, 12, -49, 0, -8, 0, -13, 36, 0, 19, -1, -28, -8, 0, 40, 29, 61, -7, 0, -18, 15, 14, -37, 0, 0, -91, -61, 55, 0, 56, -35, -61, -29, 0, 37, -33, -5, -10, 0, -7, -10, 6, 39, 0, -34, 70, 29, 77, 0, 15, 33, -28, -31, 0, 90, 71, 66, -77, 0, -43, -10, 22, 0, 0, -41, 78, -5, 12, 0, -30, 54, 7, -18, 0, 36, 93, 4, -25, 0, 30, -13, 0, -71, 0, 41, -16, -27, -79, 0, -115, 6, -21, -55, 0, 36, -27, 23, -15, 0, -23, 0, -82, -19, 0, 16, -125, -2, 66, 0, -94, -21, 56, -38, 0, 22, 94, -13, 4, 0, 0, -1, -16, 28, 0, 14, -89, -32, 2, 0, -127, 11, -15, 26, 0, -11, -7, -8, -10, 0, -9, 2, -27, -110, 0, 10, 50, 3, -9, 0, -7, -77, 56, -50, 0, -84, 86, -7, 0, 0, -18, -51, -6, 15, 0, 22, 54, -49, -39, 0, -2, 12, -10, -1, 0, -21, 25, 0, 40, 0, -71, 10, 106, -38, 0, 20, 22, -3, -13, 0, -70, 25, -8, 25, 0, -27, 0, -10, 48, 0, 40, 33, 79, -20, 0, -7, -16, 23, 40, 0, -115, -83, -33, 26, 0, 0, 28, -16, -80, 0, 23, -41, 11, -5, 0, 9, -49, 17, 46, 0, 39, 14, -20, 18, 0, 11, 90, -44, 46, 0, -17, 21, -95, -4, 0, 17, 43, 26, -63, 0, -6, -40, -73, 0, 0, 18, -40, -18, -4, 0, 5, 22, -120, -11, 0, -10, -15, -14, 61, 0, -70, 12, 0, 27, 0, 30, 37, -14, 42, 0, 44, 66, -134, 31, 0, 36, -71, 16, -5, 0, 100, 0, -20, 83, 0, 26, -10, 60, 2, 0, 55, 35, -37, 45, 0, -15, 56, 48, 2, 0, 0, 21, 23, 10, 0, 23, 30, -49, 93, 0, 40, 4, 14, 22, 0, -24, 42, -30, -63, 0, -60, -9, 59, 77, 0, 15, -43, -1, 48, 0, 84, 23, -143, 8, 0, 4, -28, -79, 0, 0, 2, 79, -56, -55, 0, -22, 19, 53, -70, 0, -14, -45, -47, 63, 0, 67, -50, 0, 64, 0, -5, -55, 46, -22, 0, 70, -28, 24, 24, 0, 79, -46, -101, -25, 0, -51, 0, -26, 47, 0, -52, 25, 75, -20, 0, 82, -64, 71, 77, 0, 46, 46, -16, 35, 0, 0, 63, 39, -7, 0, -46, -34, 25, 25, 0, 30, 32, 35, -35, 0, 4, -73, 70, -2, 0, 3, -24, 69, -80, 0, -98, 30, -26, 23, 0, -17, -104, 46, 11, 0, 5, -65, 110, 0, 0, -80, -103, 1, -26, 0, 79, -59, -7, 44, 0, -54, -50, 45, 41, 0, -17, 85, 0, -55, 0, 44, 56, -43, 14, 0, -65, -73, 101, 19, 0, 41, -39, 3, 113, 0, -89, 0, 108, 45, 0, 16, 69, -68, -1, 0, 14, -31, 34, -27, 0, 110, 40, 15, -36, 0, 0, 10, -11, -19, 0, -73, -18, 27, 40, 0, -28, -49, -8, 1, 0, 85, -83, 74, 21, 0, -39, -52, -145, 31, 0, -49, 31, 25, 16, 0, -62, 133, -29, -40, 0, 100, -116, 41, 0, 0, 15, -74, 38, -25, 0, 8, -1, 63, 170, 0, 107, -46, 14, -46, 0, 35, 26, 0, -26, 0, 74, -25, 0, 7, 0, 47, 77, 42, 9, 0, -74, -54, 28, 34, 0, 21, 0, 14, -165, 0, -36, 58, -111, 8, 0, -53, 49, -145, -129, 0, 2, -12, -23, -39, 0, 0, 4, 24, 67, 0, -55, -8, 72, 5, 0, -8, 9, -47, 32, 0, -47, -68, -108, -110, 0, -36, -14, 49, 7, 0, 172, 39, -43, 23, 0, -80, 35, 26, 84, 0, 1, 146, 119, 0, 0, -42, 141, -12, -13, 0, -85, 18, -80, 2, 0, -43, -28, -29, -14, 0, -15, -43, 0, 81, 0, -28, -2, -53, -131, 0, 91, -5, -52, -1, 0, -80, -37, -55, -116, 0, -10, 0, -9, -94, 0, -104, 43, -21, -72, 0, 90, -25, -165, -45, 0, -5, -64, 29, -32, 0, 0, -120, 52, -55, 0, -47, -7, 58, 35, 0, 115, 117, -57, -7, 0, 6, 51, -15, 40, 0, 170, 67, -111, 20, 0, -54, -34, 105, -36, 0, -60, -50, -150, 52, 0, 60, -28, 33, 0, 0, 155, 1, -44, 6, 0, 22, -58, -52, -46, 0, -93, -44, -70, -15, 0, -49, -34, 0, -17, 0, -24, 5, 85, 22, 0, 33, -140, 68, -15, 0, -26, 57, -42, 3, 0, -151, 0, 26, -90, 0, -56, -37, -66, -50, 0, -52, 2, -13, -58, 0, 39, 29, -160, -46, 0, 0, -16, -26, -20, 0, 145, 22, 42, -49, 0, 60, -88, -61, 49, 0, 48, -6, -108, 70, 0, -33, -123, 92, 45, 0, 36, -7, 75, 130, 0, -8, -72, -19, 159, 0, 76, -70, 100, 0, 0, 29, 31, 72, -60, 0, 72, -99, 79, -6, 0, 121, 91, 144, -83, 0, 49, 15, 0, -21, 0, 94, 25, -24, 99, 0, -44, -63, 29, -24, 0, -92, 31, 7, 39, 0, 205, 0, 123, 68, 0, -3, -16, -20, -48, 0, -106, -54, 2, 30, 0, -38, -129, 44, 80, 0, 0, 70, 66, 36, 0, -115, 105, -46, -105, 0, 46, -63, 104, -27, 0, 29, -3, 49, 60, 0, -7, -20, 118, -43, 0, -96, -121, -59, 35, 0, 18, 7, -85, -49, 0, -14, 111, -9, 0, 0, 28, -30, 53, 98, 0, -35, -4, 39, -52, 0, 20, 30, -5, -3, 0, -31, -77, 0, -115, 0, -50, -80, 167, 21, 0, 2, -43, 22, -7, 0, 73, 65, 1, 43, 0, -6, 0, -64, 140, 0, 17, 0, 35, -5, 0, 107, 52, -1, 53, 0, 28, -95, 157, 1, 0, 0, 15, 15, 109, 0, 41, 133, 20, 43, 0, -55, 163, 44, -10, 0, -200, 5, 60, -140, 0, 18, -116, 32, -22, 0, -75, -26, 51, -50, 0, -8, -14, 106, -89, 0, -108, 57, -82, 0, 0, 27, -72, -75, 52, 0, 6, -49, 9, 100, 0, -35, -24, -4, -25, 0, 56, 43, 0, 131, 0, 120, 14, -108, 115, 0, 17, -50, 45, 40, 0, 54, 189, 30, 57, 0, 119, 0, 61, -93, 0, -50, 7, 13, 137, 0, -44, -58, 59, 57, 0, -47, -22, 126, 125, 0, 0, -80, 71, -28, 0, -77, 136, -25, -107, 0, 42, -5, -153, 48, 0, 27, 112, 61, -62, 0, -49, 0, -22, 3, 0, -42, -103, 98, -218, 0, 34, -43, -97, 85, 0, 50, -112, -250, 0, 0, -110, 70, -100, 31, 0, -73, -117, 116, 2, 0, 10, -21, -146, 31, 0, -32, -93, 0, 63, 0, 30, -48, -31, -25, 0, 81, 93, 29, 66, 0, -112, 32, 265, -15, 0, -67, 0, -59, 61, 0, 184, 78, -25, 2, 0, 154, 77, -5, -5, 0, -35, 62, 40, 47, 0, 0, -9, 31, -7, 0, 151, 10, -55, -29, 0, 29, 21, 122, -151, 0, 53, 62, -45, 23, 0, 48, -132, 1, -206, 0, 137, 82, 150, -11, 0, -69, 55, 69, 105, 0, 2, -37, 71, 0, 0, 90, -69, 20, 81, 0, 123, -35, 77, -67, 0, -41, -69, 53, -180, 0, -104, 19, 0, 13, 0, 74, -147, -139, 229, 0, -6, -69, -24, -153, 0, 68, 116, 60, -7, 0, -51, 0, 78, -51, 0, 40, -113, 86, 6, 0, -175, 116, 21, -8, 0, 31, -18, -3, 22, 0, 0, -28, 7, -130, 0, 17, 40, 70, -159, 0, -46, -25, 140, -45, 0, 56, 20, 55, 20, 0, -22, 63, -95, -50, 0, 105, 1, 42, -29, 0, 20, 2, 164, -98, 0, 83, 64, -83, 0, 0, -99, 98, 110, -9, 0, -72, 37, -9, -49, 0, -48, 62, 105, 118, 0, -60, 41, 0, -118, 0, -116, -53, 10, 134, 0, -87, 176, -96, -15, 0, -166, 36, 14, 14, 0, -20, 0, -79, -41, 0, -172, 30, -57, -118, 0, -33, 1, -2, 102, 0, 47, -62, -132, -159, 0, 0, -44, 39, -86, 0, 54, -8, 89, -96, 0, -100, 60, -40, -203, 0, -26, 6, -5, -38, 0, -4, -47, 67, -125, 0, -160, 1, -34, 52, 0, 42, -124, 66, 141, 0, -188, 17, 15, 0, 0, -12, 136, -11, 57, 0, -24, -16, -102, -34, 0, -90, -30, -45, 20, 0, 20, -78, 0, -61, 0, -168, -154, -18, 45, 0, -228, 44, -116, -54, 0, 107, 142, -69, 107, 0, 192, 0, -105, -6, 0, -15, 27, -99, -123, 0, -83, -62, -104, -120, 0, -65, 75, 12, -177, 0, 0, -109, -11, 193, 0, 31, 33, -16, -230, 0, -171, -67, 15, -42, 0, -16, 174, 60, 64, 0, 90, 5, 119, 66, 0, 148, -176, -103, -94, 0, -24, 82, 43, 98, 0, 99, -31, 92, 0, 0, 68, -44, 42, -21, 0, 7, -113, 10, 108, 0, 173, -34, -181, -125, 0, 64, -157, 0, -37, 0, -80, 36, -112, -40, 0, -73, -5, 6, 91, 0, -56, -53, -108, -60, 0, -48, 0, -29, -150, 0, -11, -30, 13, 56, 0, -84, 75, 83, -161, 0, 86, 63, -106, 26, 0, 0, 124, -44, 25, 0, 168, 167, -7, 87, 0, 35, -25, 148, -67, 0, -168, 13, 90, 12, 0, -3, -31, -38, -31, 0, 48, -101, -103, -80, 0, 170, -47, 124, 89, 0, -244, -71, 33, 0, 0, -198, -33, 166, 245, 0, 15, 34, 4, -60, 0, 7, -50, 23, 74, 0, -31, 30, 0, 122, 0, -164, 5, -26, 42, 0, -23, -41, -186, 57, 0, -34, 56, -22, -70, 0, 29, 0, -12, -67, 0, 189, -65, -185, -253, 0, 98, 41, 45, -51, 0, -84, 9, -154, -84, 0, 0, 115, -125, -13, 0, 17, -22, -122, -9, 0, -43, 133, -176, -120, 0, 37, -21, -61, 11, 0, 35, -97, -32, -34, 0, -3, -185, -3, -12, 0, 7, -91, 37, -87, 0, -78, -108, 5, 0, 0, 75, -122, 32, 25, 0, -59, -22, 95, -26, 0, -102, 34, -48, 103, 0, 14, -102, 0, 74, 0, 80, 47, 80, -1, 0, 70, 30, 16, -68, 0, 54, 108, 161, -1, 0, -45, 0, -177, -230, 0, 7, 4, -69, 51, 0, -7, -3, 57, -82, 0, -139, -240, 36, -49, 0, 0, 67, -172, -189, 0, -76, 6, -15, -11, 0, 96, -55, -28, 148, 0, -24, 108, 39, 46, 0, -53, -26, -45, 111, 0, 8, -147, -120, 40, 0, -8, -208, 111, -74, 0, 130, 42, 71, 0, 0, -19, -137, -118, -137, 0, 109, 21, -84, 85, 0, 83, -132, 58, -44, 0, 144, 170, 0, -59, 0, 47, -55, -26, -25, 0, -98, 123, 173, 46, 0, 50, 20, 51, 78, 0, -106, 0, -37, -84, 0, 6, 210, 115, -78, 0, -53, 169, 185, 148, 0, 3, 28, 59, -29, 0, 0, 62, 1, 86, 0, -140, 212, 77, -125, 0, -77, 28, 1, 126, 0, -36, 68, -34, -70, 0, -104, 31, -162, 4, 0, -67, -82, 135, 114, 0, 67, 15, 20, 125, 0, 16, -120, -154, 0, 0, 72, 37, 47, -91, 0, -86, -126, 33, 108, 0, -166, -96, -80, -23, 0, 21, -144, 0, 37, 0, -74, 29, -45, -82, 0, 111, -9, 55, -98, 0, 115, -75, -123, 89, 0, -46, 0, 55, 21, 0, -53, 21, -48, 0, 0, 97, 65, 86, -189, 0, 55, 82, -333, 45, 0, 0, 115, -18, 70, 0, -90, -11, 96, -3, 0, 1, -115, -41, -59, 0, 156, 11, -192, 10, 0, -5, -49, -18, 89, 0, 94, 72, 25, -110, 0, 16, -166, -27, -53, 0, 47, 12, 75, 0, 0, 10, 181, -5, -28, 0, -76, -138, -84, -8, 0, 45, -304, 65, -150, 0, -3, -46, 0, -105, 0, 4, -117, 4, 65, 0, -71, -210, -49, 154, 0, 158, 67, 15, 5, 0, -82, 0, -40, -11, 0, 70, -4, 176, -21, 0, -85, -25, -144, -14, 0, 175, -15, 35, 24, 0, 0, 127, -26, -58, 0, -26, 6, -63, 194, 0, -84, -90, 246, -178, 0, -33, 110, 39, -154, 0, -14, -65, -46, 15, 0, -7, -113, 97, 13, 0, -61, 37, -31, -149, 0, 41, -135, 24, 0, 0, -89, -107, 181, -84, 0, 7, -153, -12, -74, 0, 139, -17, -43, 68, 0, -3, -20, 0, 191, 0, -39, -32, 10, 34, 0, 50, -76, 10, 21, 0, 40, 114, -143, 7, 0, -40, 0, -37, 74, 0, 101, 66, 183, -26, 0, 134, -279, 75, -25, 0, -123, 17, 24, 46, 0, 0, 37, 71, 36, 0, 33, 5, 105, -69, 0, 88, -155, -115, -89, 0, 29, -93, 211, -124, 0, -9, -70, 33, -32, 0, 28, -138, -84, 102, 0, 15, 253, 90, 198, 0, -83, 124, -87, 0, 0, -41, -26, -92, 15, 0, -240, -20, 28, -14, 0, -82, 8, 66, -49, 0, -60, 5, 0, 155, 0, -26, 5, -7, 142, 0, 29, 0, -132, 61, 0, 113, -170, -56, -66, 0, -63, 0, -10, -63, 0, 14, 64, -36, 67, 0, 64, -59, 56, -37, 0, 47, 15, -82, -47, 0, 0, 23, 50, 30, 0, 21, -44, 117, 62, 0, 105, -49, 45, 69, 0, 110, 7, 103, -168, 0, -227, 89, -70, -116, 0, 84, 131, -37, 180, 0, -29, -110, -68, 48, 0, -16, 36, 70, 0, 0, -205, -45, 87, 116, 0, 56, 23, -54, 76, 0, 36, -127, -141, -203, 0, -57, 80, 0, 60, 0, 177, 126, 78, 84, 0, -41, -108, -30, -19, 0, -7, -33, -6, 13, 0, 54, 0, 111, 58, 0, -185, -165, -16, -112, 0, 64, 49, 31, 361, 0, -69, 14, 65, 70, 0, 0, -221, 28, -113, 0, -93, 116, 109, 2, 0, -98, 215, -45, 84, 0, -6, -110, -167, 109, 0, 67, -32, -55, -191, 0, -21, 162, -2, -27, 0, 135, 28, -117, -34, 0, 262, -151, 110, 0, 0, 101, -9, 61, 54, 0, 86, 80, -140, 179, 0, -100, 80, -116, 228, 0, 244, -23, 0, -75, 0, -97, 85, 136, 36, 0, -139, 111, 3, -22, 0, -53, -35, 15, 28, 0, -32, 0, 198, 101, 0, -18, 172, -68, -16, 0, -14, 46, -41, -23, 0, 131, -292, 83, -163, 0, 0, 54, 373, -65, 0, 57, 78, -140, 83, 0, 59, -26, 102, -145, 0, -63, 29, 76, -118, 0, 30, -67, 102, 30, 0, 53, 151, 73, -83, 0, 67, -200, 0, 110, 0, -159, 168, 50, 0, 0, -74, 6, -88, -82, 0, -52, -80, 16, 43, 0, 17, 158, -219, 4, 0, -9, -98, 0, -184, 0, 337, 72, 380, -75, 0, -30, -60, -103, 112, 0, -224, 21, -175, 46, 0, 67, 0, -8, -166, 0, 92, 172, -155, -34, 0, 35, 158, 10, -179, 0, -59, -67, -141, -79, 0, 0, 55, 91, 220, 0, -83, -123, 73, -3, 0, 9, 47, -47, 100, 0, 33, -5, 48, -169, 0, 88, 75, -11, -171, 0, -49, -36, 1, -161, 0, -71, 43, -45, 23, 0, 210, -58, -25, 0, 0, -53, 17, -12, 201, 0, -147, 52, -16, -117, 0, 44, 137, -33, -100, 0, -495, 147, 0, -14, 0, -5, -162, 84, -21, 0, 145, -118, 42, -15, 0, -2, 39, 190, 84, 0, 140, 0, 109, 7, 0, -25, -115, -71, -7, 0, 4, -54, -110, -4, 0, 136, 154, 60, 204, 0, 0, -19, -117, 55, 0, -13, 58, 41, -35, 0, 298, 26, 150, 230, 0, -19, 8, -47, -80, 0, 282, -2, 158, -54, 0, -60, 1, -14, 36, 0, -64, -22, -24, -15, 0, 18, 60, 86, 0, 0, 164, 141, 2, 128, 0, 30, 15, -60, -31, 0, 50, -45, 121, 35, 0, 23, 330, 0, 10, 0, -255, 51, -111, 59, 0, 87, 27, 59, 27, 0, 14, -24, 3, 159, 0]