# Trace form for 4725.2.a.c, downloaded from the LMFDB on 14 May 2025.
[0, 1, -2, 0, 2, 0, 0, 1, 0, 0, 0, 4, 0, 2, -2, 0, -4, 3, 0, -8, 0, 0, -8, -6, 0, 0, -4, 0, 2, 4, 0, 6, 8, 0, -6, 0, 0, 3, 16, 0, 0, -1, 0, -11, 8, 0, 12, 9, 0, 1, 0, 0, 4, 6, 0, 0, 0, 0, -8, 15, 0, 4, -12, 0, -8, 0, 0, 8, 6, 0, 0, 12, 0, -6, -6, 0, -16, 4, 0, -1, 0, 0, 2, -9, 0, 0, 22, 0, 0, -2, 0, 2, -12, 0, -18, 0, 0, -12, -2, 0, 0, -10, 0, -2, 0, 0, -12, 2, 0, -9, 0, 0, -4, 2, 0, 0, 8, 0, -30, 3, 0, 5, -8, 0, 12, 0, 0, 15, 0, 0, 0, 4, 0, -8, -16, 0, 0, -18, 0, 0, 0, 0, -24, 8, 0, 0, 12, 0, 6, -12, 0, 5, 0, 0, -8, 0, 0, 8, 2, 0, 0, -6, 0, 11, -2, 0, 18, 17, 0, -9, 0, 0, -22, 22, 0, 0, -16, 0, 4, 2, 0, 16, -4, 0, 0, 0, 0, 12, 18, 0, 0, -2, 0, 25, 24, 0, 2, -4, 0, -12, 0, 0, 20, 4, 0, 0, 4, 0, -8, -32, 0, 4, 12, 0, -4, 0, 0, 6, 18, 0, 0, 6, 0, 2, 8, 0, -4, -24, 0, -4, 0, 0, 0, 6, 0, 0, 30, 0, -6, 18, 0, -10, -10, 0, 8, 0, 0, -16, 0, 0, 0, 25, 0, -24, -30, 0, 16, 10, 0, 3, 0, 0, -8, 14, 0, 0, 16, 0, 16, 21, 0, -2, -12, 0, 36, 0, 0, -13, 0, 0, 0, -10, 0, -28, 24, 0, -16, -1, 0, -8, 0, 0, -12, 1, 0, 0, 0, 0, 24, -12, 0, -11, -10, 0, 32, 0, 0, 2, 8, 0, 0, 3, 0, 16, -16, 0, -2, -18, 0, 16, 0, 0, 12, -24, 0, 0, -22, 0, 0, 9, 0, -1, -18, 0, -34, 0, 0, -7, 18, 0, 0, 24, 0, 1, 0, 0, -44, -2, 0, -20, 0, 0, 32, -25, 0, 0, -4, 0, -4, -34, 0, 45, -32, 0, 4, 0, 0, 30, 24, 0, 0, 6, 0, 13, -24, 0, 0, 8, 0, -3, 0, 0, 4, 21, 0, 0, -50, 0, -24, 24, 0, -18, 0, 0, 8, 0, 0, -6, 24, 0, 0, 0, 0, 12, -20, 0, -8, 12, 0, 32, 0, 0, -4, 15, 0, 0, 16, 0, 64, 33, 0, 14, -8, 0, 0, 0, 0, 4, 4, 0, 0, -24, 0, 2, -12, 0, -18, 48, 0, 24, 0, 0, -12, -24, 0, 0, -4, 0, -8, 6, 0, -4, 4, 0, 48, 0, 0, 14, 8, 0, 0, -1, 0, 23, -16, 0, -12, 12, 0, 8, 0, 0, 0, -44, 0, 0, 6, 0, -36, 17, 0, 6, 20, 0, 10, 0, 0, -16, 0, 0, 0, 26, 0, 12, 32, 0, -24, 12, 0, 13, 0, 0, -50, 21, 0, 0, 48, 0, 30, 41, 0, -6, -32, 0, -20, 0, 0, 36, -6, 0, 0, -15, 0, 26, 8, 0, -28, 18, 0, 13, 0, 0, -16, -2, 0, 0, 0, 0, -42, 4, 0, 29, 4, 0, 24, 0, 0, 29, -36, 0, 0, -32, 0, -1, 26, 0, 0, -4, 0, -22, 0, 0, 20, -4, 0, 0, 56, 0, 0, -2, 0, 11, 16, 0, 2, 0, 0, 20, 16, 0, 0, -9, 0, 24, 0, 0, -2, 20, 0, -48, 0, 0, -12, -33, 0, 0, -24, 0, 24, -36, 0, -18, 22, 0, 10, 0, 0, -14, -64, 0, 0, 18, 0, 26, -4, 0, 0, -6, 0, -44, 0, 0, -6, -2, 0, 0, -32, 0, 16, 9, 0, -19, 0, 0, 36, 0, 0, 2, -32, 0, 0, -12, 0, -26, -12, 0, 48, -8, 0, 60, 0, 0, 22, -42, 0, 0, 4, 0, -18, -12, 0, -14, 2, 0, 0, 0, 0, -24, 34, 0, 0, 16, 0, 2, 14, 0, -18, 30, 0, -12, 0, 0, -48, 42, 0, 0, -2, 0, 44, 12, 0, 50, 44, 0, 4, 0, 0, -3, 40, 0, 0, -18, 0, -24, -32, 0, 50, -10, 0, 15, 0, 0, 0, -36, 0, 0, 4, 0, 68, -33, 0, -2, -90, 0, 32, 0, 0, 4, 0, 0, 0, -33, 0, 0, -60, 0, -48, 32, 0, 12, 0, 0, -12, 36, 0, 0, -26, 0, 24, 2, 0, 16, -36, 0, -16, 0, 0, -23, 6, 0, 0, 3, 0, -9, -4, 0, -42, 30, 0, 44, 0, 0, 50, 49, 0, 0, 0, 0, -48, 8, 0, 48, 36, 0, -4, 0, 0, 2, -8, 0, 0, 2, 0, 8, 12, 0, -24, 2, 0, 27, 0, 0, 0, -24, 0, 0, -24, 0, 0, 42, 0, -46, 8, 0, -24, 0, 0, 88, -64, 0, 0, 8, 0, 3, 0, 0, -30, -18, 0, -16, 0, 0, -16, 3, 0, 0, -64, 0, -66, 55, 0, -13, -28, 0, 8, 0, 0, 5, -24, 0, 0, -18, 0, -8, -8, 0, 0, 17, 0, 2, 0, 0, 48, 6, 0, 0, -4, 0, 12, -4, 0, 16, 0, 0, -96, 0, 0, -37, -48, 0, 0, -30, 0, -41, 12, 0, 48, 13, 0, 15, 0, 0, 4, -72, 0, 0, 0, 0, -12, 24, 0, 18, 8, 0, 0, 0, 0, -17, -48, 0, 0, -12, 0, -36, -28, 0, -8, 4, 0, -43, 0, 0, 2, 24, 0, 0, -46, 0, 32, 35, 0, -8, 12, 0, -24, 0, 0, 12, -16, 0, 0, 17, 0, 6, -60, 0, 88, 28, 0, -12, 0, 0, 0, -2, 0, 0, 36, 0, -34, -18, 0, 5, -12, 0, -20, 0, 0, -40, 0, 0, 0, 45, 0, 0, 32, 0, -16, -12, 0, -8, 0, 0, -52, 21, 0, 0, -24, 0, -32, 66, 0, 11, 48, 0, -24, 0, 0, -40, -26, 0, 0, 8, 0, 45, 50, 0, -42, -48, 0, 1, 0, 0, -48, -11, 0, 0, 0, 0, -82, -24, 0, -48, 12, 0, 32, 0, 0, -2, 20, 0, 0, 6, 0, -11, -72, 0, 6, 12, 0, 56, 0, 0, 30, -12, 0, 0, -52, 0, 0, -31, 0, 28, 28, 0, -36, 0, 0, 5, -26, 0, 0, 52, 0, -24, 0, 0, 4, -48, 0, -26, 0, 0, -32, 12, 0, 0, 42, 0, -8, -18, 0, -54, -58, 0, -4, 0, 0, 13, -24, 0, 0, 21, 0, 22, -58, 0, 0, -29, 0, 8, 0, 0, 64, 12, 0, 0, 2, 0, -26, -61, 0, -40, 0, 0, 8, 0, 0, 26, 44, 0, 0, -120, 0, 2, -20, 0, 8, -6, 0, -50, 0, 0, -56, -8, 0, 0, -48, 0, 4, 24, 0, 11, -22, 0, 0, 0, 0, 18, -2, 0, 0, 25, 0, 14, -40, 0, -16, -4, 0, -32, 0, 0, 18, -36, 0, 0, -48, 0, 24, 17, 0, 17, 2, 0, -40, 0, 0, 8, 96, 0, 0, 27, 0, -9, 24, 0, 66, 44, 0, -4, 0, 0, 0, -21, 0, 0, -24, 0, 72, -36, 0, 26, 36, 0, -22, 0, 0, 36, 0, 0, 0, 22, 0, -39, 28, 0, 64, 18, 0, -36, 0, 0, -36, -21, 0, 0, -52, 0, 4, -40, 0, 32, -16, 0, 12, 0, 0, -30, 88, 0, 0, -18, 0, 8, 6, 0, 4, -44, 0, -14, 0, 0, 32, 2, 0, 0, 0, 0, -18, 23, 0, -24, 38, 0, 4, 0, 0, 16, -36, 0, 0, -6, 0, -64, -4, 0, 32, 25, 0, -36, 0, 0, 24, 0, 0, 0, 52, 0, 0, 42, 0, 22, -48, 0, 16, 0, 0, -21, -120, 0, 0, 30, 0, -43, 0, 0, 84, -13, 0, 12, 0, 0, -8, -20, 0, 0, 18, 0, 24, -7, 0, 28, 28, 0, -2, 0, 0, 49, 36, 0, 0, -24, 0, -66, 48, 0, 0, -2, 0, -4, 0, 0, -32, -3, 0, 0, -4, 0, -14, -96, 0, 25, 0, 0, -60, 0, 0, -90, 24, 0, 0, -14, 0, 36, 48, 0, -84, -10, 0, -28, 0, 0, 2, 24, 0, 0, -88, 0, -24, -4, 0, -49, -100, 0, 0, 0, 0, 48, -4, 0, 0, 4, 0, -12, 6, 0, -40, 60, 0, -2, 0, 0, 36, -24, 0, 0, 48, 0, 0, -34, 0, -27, -50, 0, 20, 0, 0, -18, -30, 0, 0, 4, 0, -47, 8, 0, 72, 19, 0, -19, 0, 0, 0, -67, 0, 0, -68, 0, 66, 50, 0, 16, 4, 0, 90, 0, 0, -62, 0, 0, 0, 30, 0, 50, -8, 0, -8, 54, 0, 34, 0, 0, 66, -32, 0, 0, 0, 0, 60, 4, 0, -37, 48, 0, -64, 0, 0, 4, -24, 0, 0, 52, 0, -18, 12, 0, -72, 0, 0, 16, 0, 0, 26, 16, 0, 0, 0, 0, -4, 18, 0, 8, -32, 0, 72, 0, 0, -72, 16, 0, 0, -25, 0, -6, 46, 0, -6, -3, 0, 6, 0, 0, -6, -12, 0, 0, 18, 0, 0, 0, 0, 0, 42, 0, -60, 0, 0, 24, -88, 0, 0, -48, 0, 42, 0, 0, -98, 6, 0, -38, 0, 0, 48, 42, 0, 0, 48, 0, -16, 31, 0, 2, -96, 0, -36, 0, 0, -70, 8, 0, 0, -55, 0, 10, -4, 0, 0, 72, 0, 61, 0, 0, -4, 30, 0, 0, -16, 0, -12, -24, 0, -33, 0, 0, -4, 0, 0, -65, -54, 0, 0, -6, 0, -4, 0, 0, 48, -34, 0, -50, 0, 0, 24, -19, 0, 0, 40, 0, -84, 56, 0, -13, 92, 0, 0, 0, 0, 18, 24, 0, 0, 6, 0, -72, -176, 0, 64, 30, 0, -48, 0, 0, -16, 36, 0, 0, -6, 0, 8, -36, 0, 30, 30, 0, 36, 0, 0, 46, 32, 0, 0, 20, 0, 40, 0, 0, -6, 58, 0, 8, 0, 0, 0, 18, 0, 0, 66, 0, -110, 36, 0, -40, 26, 0, 28, 0, 0, -10, 0, 0, 0, 16, 0, 52, -10, 0, 48, 34, 0, 8, 0, 0, 36, 8, 0, 0, 16, 0, 8, 12, 0, 60, -8, 0, -34, 0, 0, -30, -4, 0, 0, -62, 0, 11, -48, 0, -12, 32, 0, -16, 0, 0, 4, -34, 0, 0, 0, 0, 8, 27, 0, -38, -32, 0, 36, 0, 0, -68, 96, 0, 0, -6, 0, -10, 74, 0, 48, 25, 0, -49, 0, 0, 60, 11, 0, 0, 82, 0, 0, 16, 0, -24, -48, 0, -26, 0, 0, 14, -30, 0, 0, -36, 0, -8, 0, 0, 144, 2, 0, 39, 0, 0, 16, 44, 0, 0, 12, 0, -48, 10, 0, -77, -36, 0, -8, 0, 0, 0, -8, 0, 0, 17, 0, 3, 34, 0, 0, 6, 0, 6, 0, 0, 24, -17, 0, 0, 72, 0, 28, 90, 0, -57, 0, 0, -8, 0, 0, 68, 86, 0, 0, 14, 0, 96, -2, 0, -48, -23, 0, 78, 0, 0, 46, -27, 0, 0, -32, 0, -70, -36, 0, -68, 16, 0, 0, 0, 0, 22, 24, 0, 0, 60, 0, 35, -24, 0, 16, -72, 0, 86, 0, 0, -34, 21, 0, 0, -12, 0, 120, -21, 0, 24, -88, 0, -56, 0, 0, -2, 24, 0, 0, -38, 0, 88, -12, 0, 4, -1, 0, 54, 0, 0, 0, 36, 0, 0, 34, 0, 36, 80, 0, 6, -10, 0, 12, 0, 0, -9, 0, 0, 0, 45, 0, 5, 80, 0, -20, -24, 0, -13, 0, 0, -90, 32, 0, 0, 0, 0, -32, -53, 0, -50, 32, 0, 24, 0, 0, 16, 16, 0, 0, 18, 0, 10, 52, 0, -42, -10, 0, 8, 0, 0, 24, -17, 0, 0, 0, 0, -132, -79, 0, -28, -22, 0, -48, 0, 0, 40, 24, 0, 0, 64, 0, -30, 80, 0, 26, -60, 0, 40, 0, 0, -16, -10, 0, 0, -90, 0, 0, -1, 0, -63, 42, 0, 96, 0, 0, -66, -2, 0, 0, -99, 0, -8, 0, 0, 22, 12, 0, 30, 0, 0, -60, -16, 0, 0, 82, 0, 48, 10, 0, 16, 96, 0, -12, 0, 0, 12, 0, 0, 0, 1, 0, 62, 4, 0, 0, 15, 0, 48, 0, 0, -12, -24, 0, 0, 22, 0, 72, -46, 0, 72, 0, 0, -24, 0, 0, 48, -112, 0, 0, -78, 0, -81, -30, 0, 24, -80, 0, 26, 0, 0, 52, -12, 0, 0, -16, 0, 62, 75, 0, -8, -56, 0, 0, 0, 0, -11, 36, 0, 0, 54, 0, 44, -10, 0, 26, -24, 0, 22, 0, 0, -104, 100, 0, 0, 48, 0, 32, 48, 0, -10, -4, 0, 96, 0, 0, -61, 52, 0, 0, 27, 0, 64, 64, 0, -24, -16, 0, 2, 0, 0, 0, -90, 0, 0, 8, 0, 36, 45, 0, 34, 108, 0, 58, 0, 0, -16, 0, 0, 0, 34, 0, -6, -26, 0, 0, 3, 0, 43, 0, 0, -42, 45, 0, 0, -44, 0, 58, -48, 0, 16, 72, 0, 58, 0, 0, -44, -16, 0, 0, 72, 0, -44, -64, 0, -24, -20, 0, 34, 0, 0, -2, 0, 0, 0, 0, 0, 122, -18, 0, 70, 80, 0, 0, 0, 0, 12, -8, 0, 0, 72, 0, 16, -52, 0, -44, -12, 0, -40, 0, 0, 240, 63, 0, 0, -4, 0, 0, 44, 0, 25, -8, 0, 12, 0, 0, 12, 100, 0, 0, -24, 0, -36, 0, 0, 16, 29, 0, 50, 0, 0, 96, 57, 0, 0, -4, 0, -48, -66, 0, -28, -22, 0, 22, 0, 0, 44, -32, 0, 0, -4, 0, -79, -36, 0, 0, -8, 0, -40, 0, 0, -50, 9, 0, 0, -28, 0, 40, -63, 0, -32, 0, 0, 8, 0, 0, -1, 64, 0, 0, 16, 0, 60, -18, 0, 72, 4, 0, -54, 0, 0, 48, -50, 0, 0, -48, 0, -34, -8, 0, -80, -34, 0, 0, 0, 0, -79, 40, 0, 0, -75, 0, 32, -16, 0, -96, 22, 0, -7, 0, 0, -54, 0, 0, 0, 18, 0, -24, 12, 0, -26, -66, 0, -88, 0, 0, 63, 8, 0, 0, 10, 0, 84, 48, 0, 42, 24, 0, -17, 0, 0, 0, -17, 0, 0, -72, 0, 72, 60, 0, 1, -52, 0, -36, 0, 0, -36, 0, 0, 0, -9, 0, -120, -72, 0, -20, -20, 0, -15, 0, 0, -44, 36, 0, 0, 78, 0, -28, -2, 0, 24, 0, 0, -36, 0, 0, 33, 72, 0, 0, 67, 0, -20, 36, 0, 42, -90, 0, -6, 0, 0, 52, 8, 0, 0, 0, 0, 80, -88, 0, -12, -64, 0, 32, 0, 0, -32, -12, 0, 0, -25, 0, 47, 60, 0, -88, -77, 0, 24, 0, 0, 36, -4, 0, 0, -16, 0, 0, -32, 0, 54, -4, 0, 88, 0, 0, -96, 28, 0, 0, -4, 0, -91, 0, 0, -4, 54, 0, 50, 0, 0, -32, -34, 0, 0, 18, 0, -46, -16, 0, -45, 48, 0, -38, 0, 0, 45, -8, 0, 0, 24, 0, -36, -32, 0, 0, -165, 0, 18, 0, 0, 12, 24, 0, 0, 128, 0, 4, -6, 0, -70, 0, 0, -50, 0, 0, -22, 72, 0, 0, -8, 0, 24, -24, 0, 0, 15, 0, 30, 0, 0, -52, -54, 0, 0, 24, 0, -84, 28, 0, -8, -44, 0, 0, 0, 0, -24, -16, 0, 0, 46, 0, 70, 42, 0, 120, 6, 0, -12, 0, 0, -60, 144, 0, 0, 86, 0, -44, -66, 0, 13, -84, 0, 26, 0, 0, 24, -24, 0, 0, -73, 0, -44, 8, 0, 40, 36, 0, 72, 0, 0, 0, -24, 0, 0, -24, 0, 14, 8, 0, 0, -56, 0, -28, 0, 0, 32, 0, 0, 0, -40, 0, -3, -98, 0, -72, -74, 0, -18, 0, 0, 48, 88, 0, 0, 132, 0, -48, 24, 0, -100, -68, 0, 4, 0, 0, 62, 8, 0, 0, 21, 0, -41, 32, 0, 6, 60, 0, -65, 0, 0, 4, 42, 0, 0, 0, 0, 192, -6, 0, -18, -50, 0, 36, 0, 0, -62, 60, 0, 0, 68, 0, -46, 180, 0, -24, -64, 0, 70, 0, 0, 28, 24, 0, 0, -72, 0, 0, 45, 0, -12, 84, 0, 20, 0, 0, -18, 56, 0, 0, -42, 0, 8, 0, 0, -48, -8, 0, -40, 0, 0, 88, 64, 0, 0, 24, 0, 8, -12, 0, 100, 98, 0, 100, 0, 0, 11, -88, 0, 0, 33, 0, 135, -96, 0, 0, -3, 0, -6, 0, 0, -8, -30, 0, 0, 24, 0, -6, 30, 0, -104, 0, 0, -120, 0, 0, 75, 4, 0, 0, 38, 0, -32, -36, 0, 48, 0, 0, -17, 0, 0, -48, -48, 0, 0, 64, 0, 68, -48, 0, 12, 54, 0, 0, 0, 0, 40, -20, 0, 0, 96, 0, -44, 36, 0, 30, 22, 0, 51, 0, 0, -8, -50, 0, 0, 94, 0, -16, 12, 0, -35, -72, 0, -38, 0, 0, -3, 38, 0, 0, -18, 0, 32, -8, 0, 134, 36, 0, -40, 0, 0, 0, -27, 0, 0, -66, 0, -100, -90, 0, -88, -32, 0, -4, 0, 0, 76, 0, 0, 0, 15, 0, 56, 124, 0, -64, 99, 0, 4, 0, 0, -60, 24, 0, 0, -100, 0, 8, -54, 0, -12, 16, 0, -108, 0, 0, 32, -68, 0, 0, -90, 0, -3, -66, 0, 64, -98, 0, -40, 0, 0, 0, 33, 0, 0, 0, 0, -8, -49, 0, 66, 74, 0, 0, 0, 0, 14, 64, 0, 0, -48, 0, -14, -8, 0, 24, 21, 0, 84, 0, 0, -104, 68, 0, 0, 36, 0, 0, -48, 0, -18, 72, 0, 0, 0, 0, -8, -32, 0, 0, -8, 0, -64, 0, 0, -32, -8, 0, 4, 0, 0, -48, 6, 0, 0, 4, 0, -36, -24, 0]