# Trace form for 4275.2.a.bf, downloaded from the LMFDB on 13 May 2025.
[0, 3, 0, 0, 6, 0, 0, 0, -3, 0, 0, 3, 0, -12, -15, 0, 12, -6, 0, -3, 0, 0, -9, -9, 0, 0, 0, 0, 27, 15, 0, 15, -6, 0, 6, 0, 0, -12, 0, 0, 0, -12, 0, -12, -15, 0, -15, 12, 0, 21, 0, 0, -24, -9, 0, 0, -30, 0, 0, -12, 0, 3, -9, 0, -21, 0, 0, -15, -60, 0, 0, -18, 0, -3, 24, 0, -6, -12, 0, 3, 0, 0, -9, 3, 0, 0, 0, 0, -21, 3, 0, 0, 9, 0, -18, 0, 0, 12, -57, 0, 0, -6, 0, 15, 12, 0, 48, -6, 0, -12, 0, 0, 15, -3, 0, 0, 30, 0, 33, -54, 0, 0, 18, 0, 9, 0, 0, -9, -12, 0, 0, -3, 0, 0, -9, 0, 18, -30, 0, -6, 0, 0, 33, -12, 0, 0, 48, 0, -30, 0, 0, 30, 3, 0, -12, 0, 0, 12, 45, 0, 0, 42, 0, -18, -45, 0, 9, -42, 0, 9, 0, 0, -24, 21, 0, 0, 21, 0, -30, -12, 0, -36, 60, 0, -21, 0, 0, 36, -18, 0, 0, -15, 0, -36, -42, 0, 33, -6, 0, 30, 0, 0, -6, 0, 0, 0, 87, 0, -48, -3, 0, 9, -30, 0, -63, 0, 0, -12, -36, 0, 0, 24, 0, -3, -27, 0, -45, -18, 0, -3, 0, 0, -15, 24, 0, 0, -9, 0, 90, 6, 0, -42, 21, 0, 48, 0, 0, 12, -33, 0, 0, -66, 0, -21, 51, 0, -42, 21, 0, -30, 0, 0, 39, -9, 0, 0, 15, 0, -51, -30, 0, 18, -30, 0, -54, 0, 0, -21, -15, 0, 0, 39, 0, 0, -21, 0, 36, -12, 0, 57, 0, 0, -18, 39, 0, 0, 60, 0, 0, 36, 0, 0, 42, 0, -12, 0, 0, -27, 72, 0, 0, -24, 0, -9, -3, 0, -75, -51, 0, 15, 0, 0, -12, 6, 0, 0, 99, 0, -6, -24, 0, -3, 27, 0, -15, 0, 0, 24, 0, 0, 0, 45, 0, 48, 12, 0, 36, 42, 0, 9, 0, 0, 15, -48, 0, 0, 60, 0, -81, 66, 0, 3, 84, 0, -108, 0, 0, 30, -21, 0, 0, -60, 0, 6, 60, 0, -48, -60, 0, 18, 0, 0, 33, -42, 0, 0, -42, 0, -12, -54, 0, -36, -135, 0, -120, 0, 0, 3, -63, 0, 0, 21, 0, -60, 36, 0, -75, -30, 0, 12, 0, 0, -15, -18, 0, 0, 24, 0, 9, 0, 0, -6, 45, 0, 105, 0, 0, 24, 27, 0, 0, -30, 0, 18, -72, 0, 78, 9, 0, 27, 0, 0, -24, -45, 0, 0, -15, 0, 30, -3, 0, 18, -111, 0, 21, 0, 0, -36, 63, 0, 0, -30, 0, 72, 60, 0, 30, -45, 0, -12, 0, 0, 78, -12, 0, 0, -84, 0, -30, -45, 0, 48, 24, 0, -75, 0, 0, 12, 33, 0, 0, -30, 0, -30, 0, 0, 69, -18, 0, 24, 0, 0, 6, 36, 0, 0, 15, 0, 39, -51, 0, -60, 45, 0, 6, 0, 0, 72, 114, 0, 0, 39, 0, 18, -39, 0, -15, 12, 0, 0, 0, 0, -27, 48, 0, 0, -3, 0, 12, 87, 0, -9, -33, 0, 60, 0, 0, -39, 0, 0, 0, -15, 0, -126, -6, 0, 15, -72, 0, 48, 0, 0, 57, -42, 0, 0, -96, 0, 84, 72, 0, 6, 60, 0, 63, 0, 0, -21, -48, 0, 0, 12, 0, -45, 99, 0, -39, -15, 0, -15, 0, 0, -72, 0, 0, 0, 0, 0, 60, 12, 0, -6, 60, 0, 96, 0, 0, -57, 6, 0, 0, -48, 0, 0, -27, 0, -12, -30, 0, 0, 0, 0, -96, 84, 0, 0, -75, 0, 141, 36, 0, 48, 87, 0, 12, 0, 0, -84, -45, 0, 0, 54, 0, 18, -6, 0, -6, 15, 0, -60, 0, 0, 9, -12, 0, 0, -39, 0, -54, 36, 0, 30, -105, 0, 15, 0, 0, -45, -57, 0, 0, -57, 0, 12, -30, 0, 18, -9, 0, 6, 0, 0, -15, -6, 0, 0, -105, 0, -48, 36, 0, 42, 126, 0, -24, 0, 0, 66, -78, 0, 0, -66, 0, 12, -3, 0, 12, 54, 0, 15, 0, 0, -63, -57, 0, 0, -27, 0, -42, -63, 0, -132, 0, 0, 0, 0, 0, 30, 120, 0, 0, 24, 0, 21, -66, 0, -9, 15, 0, 60, 0, 0, 153, -24, 0, 0, -12, 0, -36, 102, 0, 12, 66, 0, 0, 0, 0, -111, 90, 0, 0, -12, 0, 138, -201, 0, -111, 48, 0, -75, 0, 0, -108, -36, 0, 0, -96, 0, 66, 12, 0, -66, 72, 0, 141, 0, 0, -39, 18, 0, 0, -60, 0, -12, -27, 0, 99, -36, 0, 60, 0, 0, 75, -39, 0, 0, 36, 0, -6, -12, 0, 45, 135, 0, 18, 0, 0, 12, 150, 0, 0, 36, 0, -18, 159, 0, 111, -24, 0, 6, 0, 0, 84, -24, 0, 0, 15, 0, 114, -24, 0, -12, 72, 0, -63, 0, 0, -96, -84, 0, 0, 6, 0, -12, -21, 0, -120, 36, 0, -66, 0, 0, 3, 12, 0, 0, 0, 0, 180, 39, 0, 60, -60, 0, 15, 0, 0, 6, 69, 0, 0, -12, 0, 18, 240, 0, 141, 48, 0, 6, 0, 0, 21, -12, 0, 0, 105, 0, 18, 75, 0, 42, 66, 0, -87, 0, 0, -18, 75, 0, 0, -54, 0, -27, -75, 0, 141, -72, 0, -42, 0, 0, -54, 72, 0, 0, 48, 0, -30, 6, 0, -21, -6, 0, 27, 0, 0, 108, 78, 0, 0, -9, 0, 24, -81, 0, 36, -12, 0, 12, 0, 0, 234, -51, 0, 0, -120, 0, 39, 114, 0, 12, -96, 0, -90, 0, 0, -18, 42, 0, 0, 0, 0, 42, -72, 0, -6, 66, 0, -21, 0, 0, -54, -18, 0, 0, 30, 0, 24, 36, 0, -3, -9, 0, 141, 0, 0, 3, 87, 0, 0, 48, 0, -6, -180, 0, 60, 9, 0, 78, 0, 0, 117, 132, 0, 0, 111, 0, 48, 24, 0, -18, 123, 0, -84, 0, 0, -12, 180, 0, 0, -96, 0, -15, 24, 0, -228, -90, 0, -21, 0, 0, 126, 0, 0, 0, 108, 0, 81, -48, 0, -24, 9, 0, 84, 0, 0, -6, 33, 0, 0, -78, 0, -102, 30, 0, 36, 90, 0, -21, 0, 0, -51, -60, 0, 0, -156, 0, 3, -12, 0, -60, -171, 0, 21, 0, 0, 18, 30, 0, 0, 18, 0, -48, -63, 0, -78, 9, 0, 120, 0, 0, 0, 63, 0, 0, 156, 0, -180, 54, 0, -48, -24, 0, 36, 0, 0, 54, 0, 0, 0, 12, 0, 117, 87, 0, 39, -15, 0, -120, 0, 0, 24, -27, 0, 0, -105, 0, -27, 72, 0, -54, 63, 0, 84, 0, 0, -78, -63, 0, 0, -9, 0, 36, -87, 0, 126, -12, 0, -3, 0, 0, -18, 15, 0, 0, -9, 0, -60, 42, 0, -33, 111, 0, 129, 0, 0, 18, 9, 0, 0, -63, 0, 0, 30, 0, -144, 54, 0, -60, 0, 0, 0, -54, 0, 0, -36, 0, -120, -78, 0, -129, -30, 0, -108, 0, 0, 6, 54, 0, 0, 48, 0, -51, -33, 0, 21, 90, 0, -33, 0, 0, 72, 33, 0, 0, -39, 0, -117, -39, 0, 84, -36, 0, -48, 0, 0, 18, 51, 0, 0, 30, 0, 147, -24, 0, -129, -60, 0, -120, 0, 0, -69, 78, 0, 0, -18, 0, -168, -9, 0, -48, -108, 0, -33, 0, 0, -12, -198, 0, 0, -30, 0, 15, 228, 0, -75, -12, 0, 90, 0, 0, -24, 12, 0, 0, -51, 0, -66, -54, 0, -36, 60, 0, 147, 0, 0, -39, -12, 0, 0, 30, 0, 24, 216, 0, -72, 78, 0, -168, 0, 0, 45, 24, 0, 0, 198, 0, 216, -24, 0, 36, 66, 0, -3, 0, 0, -90, 3, 0, 0, 21, 0, -60, -75, 0, 12, -204, 0, -60, 0, 0, -69, 156, 0, 0, 60, 0, 102, 18, 0, 6, -9, 0, -108, 0, 0, 18, -108, 0, 0, 93, 0, 60, -69, 0, 105, -102, 0, -15, 0, 0, 285, -72, 0, 0, 24, 0, -192, 150, 0, -66, 54, 0, 51, 0, 0, 3, 90, 0, 0, 24, 0, 102, 30, 0, 84, -117, 0, 3, 0, 0, 108, 15, 0, 0, -24, 0, 51, 18, 0, -48, -192, 0, -30, 0, 0, 48, -102, 0, 0, 105, 0, 30, 42, 0, -45, -126, 0, -24, 0, 0, -150, 9, 0, 0, 96, 0, -51, 30, 0, -9, 144, 0, 6, 0, 0, 102, 204, 0, 0, -93, 0, -132, 135, 0, -60, 120, 0, 33, 0, 0, -24, 12, 0, 0, 222, 0, 30, 12, 0, 51, 93, 0, 75, 0, 0, -126, -51, 0, 0, 39, 0, 54, -321, 0, 9, 96, 0, 120, 0, 0, -78, -66, 0, 0, 84, 0, -135, 42, 0, -3, -150, 0, 18, 0, 0, -36, -120, 0, 0, -66, 0, -114, -18, 0, 60, 30, 0, 171, 0, 0, -174, -60, 0, 0, -114, 0, 81, -18, 0, -60, -33, 0, -132, 0, 0, -45, 12, 0, 0, 33, 0, -6, -48, 0, -165, 216, 0, -78, 0, 0, 90, -54, 0, 0, -78, 0, 9, 21, 0, 42, 6, 0, 96, 0, 0, -120, -33, 0, 0, 18, 0, 0, -51, 0, -234, -3, 0, -111, 0, 0, 30, 15, 0, 0, -72, 0, -57, 90, 0, 48, -156, 0, -81, 0, 0, -51, 132, 0, 0, -72, 0, 84, 93, 0, -27, -15, 0, -12, 0, 0, -36, -18, 0, 0, -18, 0, -30, -9, 0, -36, 15, 0, -150, 0, 0, 99, -18, 0, 0, -84, 0, 36, 0, 0, -60, -12, 0, 0, 0, 0, 126, -81, 0, 0, -15, 0, -27, 48, 0, 36, -273, 0, -96, 0, 0, 78, 204, 0, 0, -48, 0, 63, 48, 0, 384, 12, 0, 33, 0, 0, 21, -102, 0, 0, 18, 0, 51, -51, 0, -45, 0, 0, 156, 0, 0, -30, 81, 0, 0, -3, 0, 24, 117, 0, 30, -126, 0, 117, 0, 0, 42, 12, 0, 0, -81, 0, -63, -132, 0, -60, 39, 0, 87, 0, 0, -84, 21, 0, 0, 174, 0, 93, 9, 0, 27, -102, 0, 0, 0, 0, 36, 30, 0, 0, -132, 0, 27, -84, 0, 126, 36, 0, -12, 0, 0, -9, -9, 0, 0, 60, 0, 51, -102, 0, 153, -54, 0, -42, 0, 0, 48, 48, 0, 0, -27, 0, -72, 15, 0, 144, -9, 0, 12, 0, 0, 126, 90, 0, 0, 120, 0, -60, -27, 0, 18, 69, 0, -30, 0, 0, -189, -162, 0, 0, 36, 0, -45, 132, 0, -30, -306, 0, 66, 0, 0, 24, 33, 0, 0, 3, 0, -198, -78, 0, 60, -135, 0, -66, 0, 0, -57, 24, 0, 0, -39, 0, -123, -108, 0, 108, 129, 0, 126, 0, 0, -54, -93, 0, 0, 42, 0, -12, 0, 0, -132, 0, 0, -81, 0, 0, 132, -180, 0, 0, -105, 0, 84, 9, 0, -114, 57, 0, 36, 0, 0, 36, -213, 0, 0, 36, 0, -99, -39, 0, -90, -93, 0, 180, 0, 0, -51, -108, 0, 0, 90, 0, 9, -75, 0, -45, 60, 0, 36, 0, 0, 18, -192, 0, 0, 0, 0, -99, -306, 0, 42, 57, 0, 3, 0, 0, -66, -156, 0, 0, 63, 0, -18, 6, 0, 216, -51, 0, 120, 0, 0, 12, 90, 0, 0, -42, 0, 12, 141, 0, -21, 0, 0, -132, 0, 0, -75, -75, 0, 0, -27, 0, 228, 24, 0, -138, -48, 0, -96, 0, 0, -15, -33, 0, 0, 132, 0, -120, 0, 0, 126, -48, 0, 72, 0, 0, -300, -12, 0, 0, -12, 0, 60, 42, 0, 120, -105, 0, -87, 0, 0, -30, -327, 0, 0, -192, 0, -45, -51, 0, 189, 33, 0, -6, 0, 0, 48, -60, 0, 0, -222, 0, 78, -18, 0, 6, -36, 0, -48, 0, 0, -84, -30, 0, 0, -48, 0, 60, 51, 0, -18, 120, 0, 78, 0, 0, -87, 6, 0, 0, -114, 0, 21, 39, 0, -48, 186, 0, -267, 0, 0, 75, 90, 0, 0, 72, 0, -63, -180, 0, -9, 150, 0, -90, 0, 0, -138, 81, 0, 0, 75, 0, -48, -18, 0, 12, 258, 0, -102, 0, 0, -45, -45, 0, 0, 3, 0, 27, 0, 0, 0, 156, 0, 12, 0, 0, 102, -168, 0, 0, -51, 0, 12, 21, 0, 123, -15, 0, -21, 0, 0, -84, -276, 0, 0, -30, 0, 78, -102, 0, -171, -15, 0, 72, 0, 0, -18, 42, 0, 0, -6, 0, -15, -90, 0, 18, 180, 0, 42, 0, 0, 96, -90, 0, 0, -12, 0, -114, 51, 0, 120, 3, 0, -36, 0, 0, 54, 138, 0, 0, 57, 0, -36, -96, 0, 0, 0, 0, -45, 0, 0, 84, -84, 0, 0, 168, 0, 0, 30, 0, -18, 120, 0, -30, 0, 0, 147, 114, 0, 0, 54, 0, -39, 54, 0, 24, -66, 0, -126, 0, 0, 120, -183, 0, 0, -138, 0, 0, -30, 0, 111, 72, 0, 27, 0, 0, -198, 186, 0, 0, 9, 0, 168, -108, 0, -57, -24, 0, -9, 0, 0, 72, -60, 0, 0, -30, 0, -60, -138, 0, 96, 39, 0, 120, 0, 0, -33, 87, 0, 0, 123, 0, 75, -84, 0, -78, -303, 0, -39, 0, 0, 24, -12, 0, 0, 54, 0, -51, -192, 0, -87, 81, 0, -156, 0, 0, 21, 87, 0, 0, 81, 0, 24, 36, 0, 87, 243, 0, -27, 0, 0, -48, -84, 0, 0, 15, 0, -120, 114, 0, 138, 0, 0, 0, 0, 0, 51, 216, 0, 0, 60, 0, 3, 27, 0, -165, -153, 0, 120, 0, 0, 108, -18, 0, 0, 45, 0, 72, -18, 0, 69, 48, 0, -60, 0, 0, -111, -129, 0, 0, 18, 0, 153, 42, 0, 117, 93, 0, -117, 0, 0, -63, -39, 0, 0, 0, 0, 144, 42, 0, -9, 6, 0, 84, 0, 0, 15, -42, 0, 0, -45, 0, 36, -177, 0, 63, 36, 0, -6, 0, 0, 60, -45, 0, 0, 42, 0, 177, 0, 0, 36, -144, 0, 96, 0, 0, 84, -99, 0, 0, 240, 0, -30, -69, 0, 147, 12, 0, 42, 0, 0, 15, 120, 0, 0, -93, 0, 9, -234, 0, 78, 30, 0, 0, 0, 0, -117, -36, 0, 0, 54, 0, -129, 30, 0, -144, 12, 0, -48, 0, 0, -3, 9, 0, 0, 78, 0, 144, 72, 0, 105, -162, 0, 51, 0, 0, 33, -15, 0, 0, -27, 0, -129, -42, 0, 120, 60, 0, -72, 0, 0, -96, -48, 0, 0, -108, 0, 162, -54, 0, 57, -72, 0, 42, 0, 0, -294, 60, 0, 0, 159, 0, -168, 3, 0, -108, 177, 0, 0, 0, 0, -150, 126, 0, 0, -72, 0, -48, -141, 0, -99, 174, 0, 144, 0, 0, 51, 6, 0, 0, 300, 0, -33, -213, 0, -66, 168, 0, 216, 0, 0, 0, 75, 0, 0, -39, 0, 0, 276, 0, 75, 48, 0, -33, 0, 0, 30, 54, 0, 0, 9, 0, -132, 75, 0, 132, -105, 0, -168, 0, 0, 66, 126, 0, 0, 24, 0, 48, 300, 0, -63, -132, 0, 36, 0, 0, -21, -15, 0, 0, 180, 0, 66, -90, 0, 15, -156, 0, -18, 0, 0, -120, -123, 0, 0, 33, 0, -39, 204, 0, -24, -291, 0, -51, 0, 0, -138, 30, 0, 0, -75, 0, -171, -24, 0, -78, 180, 0, -129, 0, 0, 156, 48, 0, 0, -84, 0, -12, 102, 0, 24, 138, 0, 168, 0, 0, -84, 60, 0, 0, -168, 0, -99, 0, 0, 6, -210, 0, -96, 0, 0, 156, -207, 0, 0, -60, 0, -66, 21, 0, -27, 12, 0, -147, 0, 0, 153, 48, 0, 0, 36, 0, 45, -258, 0, 72, -153, 0, 312, 0, 0, -12, -348, 0, 0, 162, 0, 0, -27, 0, -264, 6, 0, -96, 0, 0, -84, -111, 0, 0, -84, 0, -33, 33, 0, 108, 132, 0, 36, 0, 0, 90, 102, 0, 0, 6, 0, -18, 12, 0, 318, 12, 0, 18, 0, 0, 255, -36, 0, 0, -90, 0, -75, -63, 0, -99, -201, 0, 162, 0, 0, 96, -204, 0, 0, 24, 0, -36, -258, 0, 6, 90, 0, -24, 0, 0, 84, 120, 0, 0, 120, 0, -240, -9, 0, -24, -270, 0, 210, 0, 0, -96, 48, 0, 0, -54, 0, -144, -48, 0, -90, -99, 0, -36, 0, 0, 252, -96, 0, 0, -315, 0, 264, -27, 0, -114, -165, 0, -81, 0, 0, -27, -75, 0, 0, 129, 0, -177, -66, 0, -75, -24, 0, 60, 0, 0, 30, 60, 0, 0, 105, 0, -96, 147, 0, 48, -48, 0, 72, 0, 0, -123, -24, 0, 0, 0, 0, -36, 144, 0, -84, -96, 0, 30, 0, 0, -285, 132, 0, 0, -21, 0, -60, 24, 0, 72, 153, 0, -138, 0, 0, -15, 147, 0, 0, 114, 0, -234, 33, 0, -198, -108, 0, -30, 0, 0, -150, -18, 0, 0, 3, 0, 303, -60, 0, 60, 3, 0, -300, 0, 0, 63, -3, 0, 0, -264, 0, -21, -78, 0, -228, -48, 0, 12, 0, 0, 69, -6, 0, 0, -195, 0, -183, 48, 0, 24, 108, 0, -48, 0, 0, -78, 57, 0, 0, 33, 0, 78, 240, 0, 12, 69, 0, -30, 0, 0, -60, -96, 0, 0, -162, 0, 180, 78, 0, -210, -93, 0, 141, 0, 0, 96, 81, 0, 0, 72, 0, 72, 126, 0, 63, 0, 0, 54, 0, 0, 66, 96, 0, 0, 93, 0, 366, -42, 0, -36, -213, 0, 6, 0, 0, 12, -69, 0, 0, 66, 0, -12, -30, 0, 30, 75, 0, -111, 0, 0, 84, -24, 0, 0, 261, 0, 36, -15, 0]