# Trace form for 9025.2.a.bd, downloaded from the LMFDB on 19 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]