# Trace form for 9025.2.a.x, downloaded from the LMFDB on 25 April 2024.
[0, 3, -3, -3, 3, 0, 6, 0, -6, 0, 0, 0, -3, 0, 6, 0, 3, -6, -3, 0, 0, 3, 9, 6, -6, 0, -15, -6, -9, 15, 0, 9, 0, 9, 9, 0, -9, 0, 0, -12, 0, 12, -3, 0, -9, 0, -18, 6, 6, -15, 0, 3, 18, -6, -3, 0, 3, 0, -18, 21, 0, 9, -21, -3, 12, 0, -9, 18, -15, -12, 0, 30, 39, 0, 3, 0, 0, 9, 12, 9, 0, 15, -18, 0, 3, 0, -21, -21, -9, 15, 0, -15, 24, -24, -9, 0, 9, 15, 18, -18, 0, -15, -9, -18, 6, 0, -9, 0, 21, -15, 0, -12, -9, -9, 0, 0, 15, 21, -9, 3, 0, -15, 3, 3, 18, 0, -12, -3, -3, 3, 0, -21, 0, 0, 12, 0, 27, -30, 18, 18, 0, -21, -18, -27, -36, 0, 24, 21, -18, 24, 0, 30, 0, 12, 0, 0, -3, 9, 15, 3, 0, -12, -12, 0, 39, 0, 9, -33, -6, 3, 0, 0, 45, 6, 36, 0, 0, -15, -18, 27, 0, -6, 3, -21, -18, 0, 33, 0, -3, -9, 0, 27, -21, 27, -33, 0, -15, 18, 0, 36, 0, -12, 0, -3, 12, 0, 39, 6, 9, 0, 0, -9, 21, -24, 0, 0, -33, -12, 15, 12, 0, -3, 12, -27, 18, 0, 27, -18, 0, 9, 0, 0, -18, 3, 12, 0, 3, -24, -18, -9, 0, -27, 33, 9, -27, 0, 9, 0, 3, -36, 0, -6, 24, -18, 21, 0, -51, 21, -3, 3, 0, 15, 45, 3, 9, 0, 0, -30, -36, 12, 0, -21, -24, 0, 9, 0, -12, -15, 12, 33, 0, -12, 27, 21, 12, 0, 0, -6, -9, -33, 0, -33, -36, 9, -36, 0, 42, 0, -54, 30, 0, -21, -21, 21, 0, 0, -18, 33, 0, 24, 0, 27, -3, 30, 24, 0, -54, 84, -9, -9, 0, -27, 18, 0, 15, 0, -3, -3, -81, -3, 0, -45, -54, 39, 9, 0, 3, 45, 36, 54, 0, -27, 0, 3, -51, 0, -36, 3, -12, 0, 0, 9, 27, 45, 36, 0, 6, -6, 18, 42, 0, 0, 60, 24, -6, 0, 30, 27, 24, -51, 0, -15, -6, 42, -18, 0, 27, 12, 6, -45, 0, -24, 18, -48, 15, 0, -24, -30, 33, -24, 0, -18, 18, 6, 18, 0, 27, 36, -60, 0, 0, -15, 30, 39, 21, 0, 27, -9, -9, 21, 0, -3, -54, 12, 18, 0, -45, -3, 0, 9, 0, -6, -30, 42, -9, 0, 54, 12, -27, 9, 0, 51, 48, -27, 15, 0, -33, 0, -12, 54, 0, -15, 36, -21, 15, 0, 48, -57, 9, -45, 0, 9, 0, -12, -18, 0, 0, 0, -15, -6, 0, -75, 9, 45, 6, 0, 54, -63, -51, 30, 0, -15, -36, -18, 33, 0, 30, -6, -54, 12, 0, 6, 51, 6, -42, 0, 33, -3, 42, 21, 0, -21, -33, -27, 0, 0, 0, 12, 36, -9, 0, -15, -45, -3, -15, 0, 18, 30, -66, -3, 0, 24, 75, 0, 0, 0, -24, -18, -15, 42, 0, 54, -27, 0, -84, 0, -54, -15, -18, -33, 0, -6, 0, -3, 45, 0, 6, -18, 9, 9, 0, 27, 102, 42, 9, 0, -15, 18, -21, 48, 0, 0, 0, 24, -30, 0, -27, -39, -21, 39, 0, -9, -36, -27, 6, 0, -3, 3, -54, 36, 0, 0, 9, -36, 45, 0, 36, 21, 15, -3, 0, 9, 48, -18, 12, 0, 18, 84, 12, 0, 0, 45, -45, 24, -18, 0, 51, -12, -36, 51, 0, 81, 24, 12, 30, 0, -36, -18, 0, 15, 0, 21, 39, -42, -24, 0, -27, 69, -42, 54, 0, 6, 0, -3, 15, 0, -111, 0, -63, 15, 0, 54, 75, -6, -81, 0, -6, -12, 45, -6, 0, -42, 27, -99, -30, 0, 0, 9, -42, 18, 0, 9, 27, -81, -12, 0, 75, -12, 0, -3, 0, 30, 87, 15, 126, 0, -60, 36, -33, 33, 0, 0, 0, 0, -6, 0, -42, 0, -63, -18, 0, 27, 27, 36, 0, 0, -69, 51, 72, 33, 0, 24, 114, -18, -27, 0, -45, -45, 84, 66, 0, 33, 12, 0, 0, 0, -45, -15, -15, -63, 0, 69, 9, 42, 9, 0, -54, -27, -63, -39, 0, 21, 0, 48, -78, 0, -39, -81, 51, -60, 0, -24, 15, 75, 33, 0, -36, 36, 72, 9, 0, 0, 0, 51, -42, 0, 39, 117, 27, 0, 0, 9, -30, -6, -72, 0, -18, -54, 51, 18, 0, -9, 21, 0, -72, 0, 45, -30, 24, 63, 0, 3, 45, -6, 96, 0, -12, 0, 45, 0, 0, 18, 54, -39, -6, 0, -27, 36, 9, 12, 0, 18, -27, -12, -84, 0, 108, 27, 0, 0, 0, 42, 45, 36, 6, 0, -42, 57, -18, 81, 0, -6, -39, 66, 0, 0, 12, 0, 33, 33, 0, -24, -27, -78, 60, 0, 36, 111, -66, 63, 0, 33, -9, 27, 21, 0, 0, -27, -72, 57, 0, -6, -12, 33, 54, 0, -54, 18, 30, 24, 0, -6, -24, 45, -6, 0, 81, -48, -36, -9, 0, 12, -36, -18, -27, 0, -51, 42, -21, 9, 0, -66, 84, 36, 0, 0, 12, -45, -84, 36, 0, 99, 27, 45, -57, 0, -27, -69, -57, 18, 0, 9, -63, 0, 81, 0, -30, -24, 63, 60, 0, 0, 36, 0, -81, 0, 42, -3, 63, -33, 0, 108, 0, -27, -21, 0, 81, 24, 36, 9, 0, 30, 99, -30, -9, 0, -57, 3, -9, 33, 0, 0, -42, -36, 54, 0, 42, 27, 12, -102, 0, 69, 24, 36, 3, 0, 0, 12, 30, -60, 0, -87, -27, 42, 54, 0, 81, 54, -72, -21, 0, -24, 15, 81, -54, 0, -18, -72, 39, 0, 0, 66, -81, 30, -60, 0, -63, -9, -21, -18, 0, 54, 63, -21, 54, 0, 45, 6, 0, 42, 0, 0, -36, 93, 54, 0, 45, -36, -69, -45, 0, -27, -18, -36, 84, 0, 54, 0, 33, 30, 0, -39, -18, 24, -27, 0, 123, -117, -63, 0, 0, -54, -12, 45, -60, 0, 0, -33, 3, -36, 0, -21, 75, -27, 18, 0, 30, 6, -36, 36, 0, -24, -54, -30, -48, 0, -69, 15, 135, -69, 0, -90, 120, -12, 45, 0, 0, 9, -3, -72, 0, -39, -45, -72, 0, 0, -81, -36, -3, -9, 0, -6, -54, 12, 45, 0, 39, -30, -45, 18, 0, 18, -42, 0, -138, 0, -48, 21, -6, -9, 0, 63, 18, 18, -24, 0, 117, -93, -105, 33, 0, 39, 0, 90, 6, 0, -21, 39, 93, -27, 0, -9, -21, -6, 72, 0, -57, -84, -24, -69, 0, 0, 9, 81, 105, 0, 99, -36, -63, -24, 0, -69, 30, 27, 33, 0, 12, 12, 27, -12, 0, -3, -42, 99, 54, 0, 63, 21, -78, -3, 0, -81, -66, 54, 6, 0, 12, 21, 30, 0, 0, 72, -45, -39, -15, 0, -18, 75, -36, -24, 0, -18, 0, 18, -108, 0, 45, -27, 0, 69, 0, 39, -27, 39, 9, 0, -36, -57, -9, 45, 0, -105, -9, -24, 48, 0, 48, 0, -63, -18, 0, 78, -21, 12, -48, 0, -114, -54, -96, -54, 0, -30, -6, -9, 12, 0, 0, -36, -18, 18, 0, 27, -18, 36, -81, 0, 60, 69, 78, 15, 0, -15, 9, 78, 36, 0, 33, 9, -42, 21, 0, 12, -18, 63, -36, 0, 18, -3, 0, 45, 0, -15, 120, 45, 0, 0, 66, -90, -36, 69, 0, 54, -24, 6, -108, 0, -3, 54, 75, -48, 0, 12, 45, 0, 72, 0, -36, 33, -54, -75, 0, 9, 72, 48, 27, 0, 60, 27, 54, 15, 0, -72, 0, -102, 90, 0, 24, 18, 63, 24, 0, 48, -21, -45, -69, 0, 81, 3, 33, -18, 0, 0, -18, 24, -48, 0, 6, -33, -90, 45, 0, -63, 15, 39, -81, 0, -18, 84, -135, -93, 0, 27, 39, 15, -90, 0, 162, 45, -60, -48, 0, 69, 27, 21, 12, 0, 21, -18, -27, 0, 0, 3, -27, 0, 9, 0, -18, 18, 30, -45, 0, 99, -45, 45, -9, 0, -9, 9, 0, -69, 0, -69, 102, -15, -42, 0, -63, -33, 18, 36, 0, 45, -132, 114, -216, 0, -9, 0, 30, -123, 0, 27, 51, -24, 90, 0, -153, -9, -63, -81, 0, 72, 36, -6, 27, 0, 0, 18, -18, -105, 0, 45, 18, 51, -9, 0, -54, 18, 57, -27, 0, -81, -165, -81, -21, 0, -72, -3, -15, -27, 0, 48, 9, 72, 18, 0, 96, -123, -72, 39, 0, 9, -51, -27, 0, 0, -75, -30, 12, 24, 0, -108, 24, 63, 6, 0, -24, 51, 60, 0, 0, -42, 90, 0, -102, 0, -39, -66, -27, -81, 0, -87, 6, 114, 54, 0, -96, -39, -60, 18, 0, 81, 0, -6, -6, 0, -99, -123, 57, 9, 0, 30, -147, 81, -180, 0, -9, -39, -27, -138, 0, 0, -66, 120, -9, 0, 0, -54, 75, 105, 0, 78, 57, -18, 132, 0, -90, -57, -36, -60, 0, -60, -9, 150, 48, 0, -48, -120, 63, 45, 0, 6, -93, 0, -99, 0, -105, -27, -60, 0, 0, -24, 18, -18, -120, 0, 45, 33, -111, 9, 0, 45, 15, 42, 3, 0, -15, -174, 0, 18, 0, 21, 90, 18, -90, 0, 9, 48, 9, 51, 0, 33, 60, -45, 57, 0, -153, 0, -9, -9, 0, 21, 9, -12, 63, 0, -21, 33, 63, -36, 0, -51, -192, -60, -126, 0, 0, 36, 0, -12, 0, 24, -63, -6, -78, 0, 0, 27, -102, -51, 0, 18, 30, 39, -45, 0, 48, -54, -207, 93, 0, -9, 24, -48, 18, 0, -87, 27, 27, -54, 0, 57, -18, 36, 0, 0, 3, -66, 3, -63, 0, 6, 45, 3, 42, 0, 105, -90, -63, -30, 0, -9, -51, 0, -117, 0, 108, 9, -48, 9, 0, 27, -48, -18, 48, 0, -45, 15, -3, -81, 0, 51, 0, -63, 33, 0, 54, 27, -153, -48, 0, 3, -21, 9, 30, 0, -45, 24, -15, 0, 0, 0, -3, 63, -39, 0, -45, 6, -3, -27, 0, 42, 36, -33, -72, 0, 96, -18, 21, 27, 0, 99, -81, -48, 18, 0, 18, 9, 30, 72, 0, 63, -18, 0, -30, 0, 153, 27, -78, 0, 0, -21, 126, 51, -75, 0, 39, -69, 27, 39, 0, -144, -66, 0, -69, 0, -15, 6, 0, -27, 0, 51, -24, -96, 30, 0, 135, -51, -27, -3, 0, -69, -126, 75, 48, 0, -93, 0, 36, 57, 0, 0, -39, -153, -45, 0, 69, 9, -51, -30, 0, 75, 45, 0, 78, 0, 0, 63, -21, -81, 0, -96, 18, 18, 54, 0, -144, 42, -117, 21, 0, 126, 36, -78, -72, 0, -21, -75, 72, -108, 0, -24, -39, -12, -60, 0, -63, -30, 99, 27, 0, -93, -135, -27, 0, 0, 0, -12, -27, 39, 0, 15, -210, -51, -81, 0, -69, -72, 3, 60, 0, -51, 3, 0, -84, 0, -144, 96, -9, -15, 0, -66, -9, 48, -42, 0, 69, -12, 45, 72, 0, 81, 0, 24, -99, 0, 63, 93, -36, 15, 0, -51, -96, -99, -3, 0, -6, -15, 132, 90, 0, 0, -171, 21, 30, 0, -126, -3, 36, 9, 0, 39, -27, 6, -63, 0, -150, 81, 12, 6, 0, 63, 171, 18, 39, 0, -117, -45, -51, -18, 0, 69, 0, 75, -63, 0, 21, -78, -72, 0, 0, -9, -9, 93, -57, 0, -108, -27, 39, 57, 0, 18, 24, -18, 96, 0, -42, 93, 0, -45, 0, 63, -54, 84, 84, 0, 21, 63, 78, -126, 0, 66, 36, 12, -117, 0, -24, 0, 45, 81, 0, -21, -57, -36, -12, 0, 216, -48, -69, 54, 0, -36, -72, 75, -9, 0, 0, 42, -90, 66, 0, 18, -147, 42, 45, 0, -138, 36, -78, -3, 0, 90, -171, 48, -39, 0, 99, -21, 84, 99, 0, -72, -45, 54, 57, 0, 27, 3, -54, -45, 0, 81, -3, 63, 0, 0, -45, -45, -156, 51, 0, -30, 84, -18, 36, 0, -144, 12, 3, -99, 0, 27, -138, 0, 117, 0, 6, 15, 45, -33, 0, -60, 42, -63, 24, 0, -72, 36, 81, -18, 0, 27, 0, 9, -6, 0, -72, 39, 39, 144, 0, -186, -27, 45, -78, 0, 141, 33, 9, 6, 0, 0, -39, -132, -45, 0, -84, 12, 96, -18, 0, 24, 27, 9, 126, 0, 45, 12, 207, 57, 0, 18, 189, -6, -15, 0, -138, -150, 135, 21, 0, 36, 57, -84, -153, 0, -78, 3, -69, 0, 0, 57, 63, -90, 69, 0, 39, -12, 117, -15, 0, -15, 171, 27, -15, 0, -60, 114, 0, -81, 0, 45, 150, -135, 45, 0, -81, -18, 120, -66, 0, -75, 45, -54, 90, 0, 0, 0, 9, 9, 0, 45, -189, 24, 72, 0, 36, 78, 45, 51, 0, 18, -18, -18, 36, 0, 0, 99, 69, -39, 0, 96, 24, 9, -84, 0, -36, 27, -21, -108, 0, 120, 54, 6, 6, 0, -123, 87, 54, 0, 0, -81, -66, 21, 72, 0, 57, -111, -21, -57, 0, 66, -12, 27, 0, 0, -171, -93, 18, -87, 0, 72, 51, -3, -126, 0, -114, -93, -45, 3, 0, -90, -45, 0, -27, 0, -9, 81, -93, -39, 0, 66, 156, 36, 174, 0, 75, 105, 111, -21, 0, -135, 0, 153, -9, 0, -213, 0, -135, 12, 0, 51, -198, -6, 90, 0, 78, 60, 87, -15, 0, 0, 81, -48, -141, 0, -54, 51, -51, 45, 0, 75, 36, 99, -57, 0, -72, 0, -54, 66, 0, 54, 24, -18, 36, 0, -177, 36, 0, -15, 0, 60, 27, -12, -6, 0, 72, -114, -45, 0, 0, -84, 117, -45, 99, 0, -42, -66, -33, -57, 0, 21, 3, -51, -63, 0, -48, 42, 0, 84, 0, -54, -102, 0, 90, 0, -45, -99, -48, 72, 0, -21, 9, 129, -99, 0, 72, 0, -90, 57, 0, 42, -57, 90, -99, 0, -36, -48, 147, 69, 0, 93, -51, -144, 0, 0, 0, -45, -135, 39, 0, 69, -9, -21, -45, 0, 0, -96, 45, -78, 0, 117, 42, -9, -63, 0, 99, -63, -81, -72, 0, -78, 141, -102, 15, 0, 63, 0, -84, -51, 0, -126, -90, 36, 0, 0, 168, 9, -45, -12, 0, 39, -276, -66, -36, 0, -27, 36, 111, 0, 0, -12, 84, 0, 54, 0, 57, -3, 93, 72, 0, -186, 90, 30, 99, 0, -111, -162, -117, -24, 0, 45, 0, 51, -18, 0, 15, 84, -18, -54, 0, -33, -36, 84, -15, 0, -216, 102, 75, 33, 0, 0, -60, 27, -48, 0, -237, 21, -90, 72, 0, 0, -30, 93, 27, 0, -18, -6, -138, 141, 0, 0, -3, -39, 138, 0, 72, -81, -9, 42, 0, -123, -72, -81, 78, 0, -27, -96, 27, 0, 0, -18, -21, -99, -81, 0, -75, -27, -21, -18, 0, -48, -78, 45, -6, 0, 18, -30, 0, -30, 0, 30, -108, -21, 99, 0, 69, -141, -108, 54, 0, 99, -75, -57, 54, 0, -12, 0, 72, -111, 0, -87, -15, -45, -30, 0, -153, -42, 72, 171, 0, -15, -81, 57, -42, 0, 0, -117, -75, -105, 0, 72, -45, -24, 135, 0, -42, 72, 66, -24, 0, -135, 3, 126, -51, 0, -117, -69, -108, 60, 0, 51, -63, 63, 63, 0, -48, 60, -27, 3, 0, 90, 24, 21, 0, 0, 153, 24, -117, 36, 0, -117, 9, 102, -12, 0, -63, 27, -51, -54, 0, -45, 36, 0, 18, 0, 195, 81, 72, 147, 0, 81, -81, -90, 54, 0, -42, 9, 9, -30, 0, -207, 0, -96, -15, 0, 54, 6, 96, -99, 0, -3, -9, -18, 87, 0, 222, -108, -117, -60, 0, 0, 15, -144, 12, 0, -9, -78, 30, 12, 0, 45, 24, 6, -12, 0, 27, -33, 72, 153, 0, 30, -144, 96, 6, 0, -39, -3, 108, 21, 0, 72, -105, 36, 0, 0, 42, -51, 105, 0, 0, -3, -36, 201, 9, 0, -99, 54, -3, -81, 0, -24, 9, 123, -27, 0, -30, -156, 0, -9, 0, 12, 75, 9, -15, 0, 9, -63, 9, 66, 0, 186, 144, -57, -90, 0, -45, 0, 6, 45, 0, 84, -90, 21, -27, 0, -63, 93, 0, -126, 0, 81, 0, -72, 171, 0, 0, 36, 36, 81, 0, 42, 69, 93, -39, 0, 0, 6, -75, -108, 0, -21, -72, -141, 45, 0, -3, -102, 63, 78, 0, -63, -156, -180, 132, 0, -189, -48, 240, -120, 0, -24, 0, 36, 0, 0, 9, 87, 168, -48, 0, -9, 27, -66, 45, 0, 120, -48, -162, 24, 0, -162, 123, 0, -9, 0, -15, -81, 141, 54, 0, -27, -135, -120, -156, 0, 18, 30, -156, -105, 0, 12, 0, 93, 12, 0, -9, 135, 216, 0, 0, -3, -108, -93, -9, 0, -165, 45, 3, -18, 0, 0, 48, 207, 93, 0, 0, 78, 9, 90, 0, 3, 108, -27, 123, 0, 24, 0, -9, -9, 0, -9, 78, 12, -117, 0, 27, 192, 120, -120, 0, 0, -36, 54, -81, 0, 72, 66, -18, 0, 0, -99, -162, 0, 135, 0, 222, -30, -144, -75, 0, -132, -63, -60, 84, 0, 33, -21, 0, -81, 0, -99, 30, -36, 30, 0, -60, 105, -36, -48, 0, 48, 54, -168, 12, 0, 105, 0, 108, -51, 0, 108, -36, 30, -63, 0, -6, -126, -111, 18, 0, -42, 39, 93, -159, 0, 0, 153, 114, -81, 0, -81, 21, -63, 96, 0, -132, 72, 18, 6, 0, -90, -30, -24, 54, 0, -135, -18, -36, 168, 0, 63, 153, 45, 6, 0, 27, -36, -45, 90, 0, -12, 9, 45, 0, 0, 96, 6, 63, -12, 0, -54, 159, -42, 189, 0, 27, -48, 156, -102, 0, 126, -18, 0, 159, 0, 0, -96, 117, -57, 0, 12, 27, -24, 30, 0, 54, -12, 171, 96, 0]