# Trace form for 1425.2.a.c, downloaded from the LMFDB on 18 April 2024.
[0, 1, -1, 1, -1, 0, -1, -4, 3, 1, 0, 4, -1, -2, 4, 0, -1, -2, -1, -1, 0, -4, -4, 4, 3, 0, 2, 1, 4, -2, 0, 0, -5, 4, 2, 0, -1, 6, 1, -2, 0, -6, 4, -8, -4, 0, -4, 12, -1, 9, 0, -2, 2, 14, -1, 0, -12, -1, 2, 4, 0, 14, 0, -4, 7, 0, -4, 4, 2, 4, 0, 0, 3, 14, -6, 0, 1, -16, 2, 16, 0, 1, 6, 0, 4, 0, 8, -2, 12, -6, 0, 8, -4, 0, -12, 0, -5, 10, -9, 4, 0, -10, 2, -16, -6, 0, -14, -12, -1, -2, 0, 6, 4, 10, 1, 0, 2, -2, -4, 8, 0, 5, -14, -6, 0, 0, 4, 8, 3, -8, 0, 4, -4, 4, -4, 0, -6, 6, -4, -4, 0, 12, 0, -8, -1, 0, -14, 9, -6, 6, 0, 0, -3, -2, 16, 0, 2, 18, -16, 14, 0, -16, -1, 0, 6, 0, 0, 8, -12, -9, 0, -1, 8, 6, 2, 0, -4, 4, 6, 12, 0, 22, -8, 14, 12, 0, 0, -8, -12, -4, 0, 0, 7, -22, -10, 0, -9, -22, -4, 0, 0, 4, 10, 8, 2, 0, 16, 4, 2, -4, 0, 12, -14, 0, 12, 0, 3, 0, 2, 14, 0, 4, -6, 24, 20, 0, -10, 12, 1, -26, 0, -16, -6, -18, 2, 0, -4, 16, -8, -24, 0, -22, -5, 1, -14, 0, 6, 2, 0, 0, 0, 28, 4, 16, -8, 0, -17, 2, 8, -24, 0, -2, -4, 4, 12, 0, -4, -6, -4, -26, 0, 24, 2, 8, -6, 0, -4, -22, 4, 0, 0, 10, -12, 16, 0, 0, 8, 24, -5, -13, 0, 10, -14, -2, -9, 0, 18, 4, -6, -8, 0, 32, 0, -10, 1, 0, 2, 12, 16, -16, 0, 0, -6, -10, -18, 0, -16, -2, -14, -8, 0, -12, 16, 2, -1, 0, 0, -2, -18, -48, 0, -28, 0, 6, -8, 0, 4, -22, 9, 10, 0, 0, 1, -8, -24, 0, -6, -32, 2, 30, 0, -2, -20, 14, -4, 0, 6, 8, -12, -8, 0, 1, -22, 5, -8, 0, -14, 20, -4, -6, 0, -56, 0, -34, 8, 0, 36, 4, 4, 4, 0, 8, 0, -32, 3, 0, 22, -8, -10, 6, 0, -8, 27, 4, 22, 0, -4, 2, 0, 4, 0, -6, -4, 0, 10, 0, -8, 24, -6, 10, 0, 6, 16, -16, -4, 0, 10, -4, 4, 28, 0, 14, -12, 12, 42, 0, 0, -56, 12, -8, 0, 32, -1, -6, 0, 0, 2, -4, -14, 8, 0, 9, -4, -40, -6, 0, -24, 6, -28, -6, 0, -24, -10, 0, -12, 0, -3, -10, 26, -2, 0, 30, 16, 4, 2, 0, 18, 8, 2, -16, 0, 18, 12, -32, -16, 0, -8, 14, 24, -16, 0, -12, 22, -16, -5, 0, -1, -8, 42, 0, 0, 12, 6, 4, -2, 0, 0, 0, 0, 20, 0, 8, -28, 20, -12, 0, -16, -9, -8, -18, 0, -56, 11, -1, -2, 0, 8, 48, 24, 6, 0, -30, 2, 4, -4, 0, -4, 0, -4, -7, 0, 4, -4, 12, 6, 0, 12, 12, 26, 36, 0, 30, -24, 22, 10, 0, -8, -4, -6, 14, 0, 2, 12, -64, 22, 0, 4, 26, 0, 16, 0, -8, -10, -36, -12, 0, -16, -4, 0, 18, 0, -12, 8, 0, -24, 0, 7, -18, 13, -22, 0, 0, -10, 56, 42, 0, 2, -16, -9, 0, 0, -22, -6, 6, -4, 0, -6, 0, 8, 0, 0, 18, -32, 4, 0, 0, 10, 16, 5, 8, 0, -24, 2, 42, -12, 0, -48, -42, 16, -20, 0, 4, 0, 24, 2, 0, 10, -4, -18, -12, 0, 0, 48, 12, 2, 0, -14, -18, 8, 0, 0, -30, 12, 40, 16, 0, -2, 12, 3, 16, 0, 0, 0, -6, 2, 0, 6, 14, 48, 28, 0, -18, 28, 4, 0, 0, -6, -8, -8, 24, 0, 56, 20, -30, 22, 0, 9, 14, -10, -40, 0, 12, 0, -12, 1, 0, 8, -26, 8, -28, 0, -4, -6, -16, 32, 0, -6, 12, -30, -18, 0, -34, 2, -6, 28, 0, -14, 40, -4, 6, 0, 16, -18, 0, -8, 0, -12, -24, 8, 48, 0, 64, -1, -22, -22, 0, -5, -4, 24, 1, 0, 16, -14, 26, -20, 0, -20, 16, 6, 28, 0, 2, 56, -40, 0, 0, 34, 0, 8, 48, 0, -24, -12, 28, -4, 0, 4, 50, -4, 16, 0, -6, -8, 8, 0, 0, 32, -8, -17, 50, 0, 2, 22, -26, 8, 0, 30, -24, -6, 6, 0, 0, 8, -2, -9, 0, -4, 44, 22, 4, 0, -40, 12, -28, -2, 0, 0, 38, -4, -24, 0, -6, 6, 56, -4, 0, 0, -26, -30, 26, 0, 28, -8, 24, -24, 0, 2, 8, -10, 8, 0, 54, -6, 20, -48, 0, 16, 12, -4, -2, 0, -22, -14, -18, 4, 0, 4, 0, -28, 0, 0, -25, -14, 10, -12, 0, -12, -20, -14, 16, 0, 24, 0, 2, 56, 0, -36, 26, 8, 36, 0, 24, -32, 32, -5, 0, 6, -13, 0, 64, 0, -8, -6, 10, 4, 0, -14, -42, -8, -2, 0, 2, -9, 16, -4, 0, 40, 0, 18, -32, 0, 4, -24, -12, -6, 0, -12, -8, 6, 0, 0, -28, 24, 32, 30, 0, 0, -28, -12, -10, 0, -48, 1, 0, 10, 0, 26, -16, 2, -16, 0, 12, -30, 0, 16, 0, -4, -16, 10, -14, 0, -9, 18, 0, -8, 0, -6, -18, 16, -10, 0, -42, -18, -24, -4, 0, 32, 40, -16, -28, 0, -2, 24, 26, -14, 0, 24, -8, 16, -24, 0, -31, 12, -12, 22, 0, 16, 20, 15, 2, 0, -12, -1, 16, 8, 0, -14, -30, 0, -24, 0, -2, -12, 56, -18, 0, -4, -48, -2, -32, 0, -40, 0, -28, 0, 0, 0, 26, -20, 6, 0, 32, -8, -8, -28, 0, -20, -14, 4, -38, 0, -22, -16, -46, 9, 0, 24, 10, 18, 60, 0, -34, 56, 0, 23, 0, 1, -32, -2, -8, 0, -32, -24, 6, -48, 0, 24, -28, -6, 24, 0, -32, 30, -24, 2, 0, -4, 30, 12, -6, 0, 12, -4, -2, 0, 0, -20, 0, 7, 14, 0, -42, -4, 40, 12, 0, -12, 40, 6, 14, 0, 8, -4, -12, -12, 0, 26, -8, -36, 0, 0, 48, -30, 1, -24, 0, -22, 44, -14, 5, 0, -36, -8, -10, 4, 0, 18, -38, -14, -72, 0, 20, -2, -20, -4, 0, 64, -6, 22, -10, 0, -40, -12, -56, -26, 0, 0, -42, -16, -34, 0, -4, 8, -36, -10, 0, 36, 36, 36, -22, 0, 4, -16, -64, 4, 0, 0, 4, -18, -8, 0, 0, 12, 8, -24, 0, 0, 0, -24, -32, 0, -32, 3, 2, 18, 0, 13, 12, 22, -14, 0, -8, 0, 8, -10, 0, -56, 6, -14, -32, 0, 20, 2, -8, 16, 0, 27, -48, 0, 4, 0, -18, 22, 36, -30, 0, -6, 0, -4, 12, 0, 2, 18, 2, 0, 0, 8, 4, 0, -8, 0, 50, -18, -6, -32, 0, -4, 0, 0, 0, 0, -24, 10, 26, -16, 0, -7, -26, -8, 56, 0, 24, 24, -36, -6, 0, -42, 10, -12, -2, 0, 56, 16, 6, 42, 0, 16, -26, 20, -16, 0, -28, -4, 40, 0, 0, -24, 16, 10, -38, 0, -4, 10, -48, 4, 0, 54, 28, 12, -20, 0, -20, 0, 14, -16, 0, -12, -88, 2, 12, 0, 0, 42, -4, 18, 0, 8, -6, 0, -16, 0, -56, 30, -12, 12, 0, -40, -8, -48, -6, 0, 12, -2, 32, -12, 0, -1, 30, -16, -6, 0, 54, 0, -20, 0, 0, 6, 28, 2, 32, 0, -4, 30, 20, -14, 0, 48, 8, -28, 56, 0, 50, 18, 9, 28, 0, -4, 68, 0, -40, 0, -24, -6, 0, 8, 0, 24, 0, -24, 32, 0, 6, -56, -32, -28, 0, 30, -6, 22, 0, 0, 88, -27, -24, -14, 0, -10, 16, 40, 0, 0, 42, -12, -24, 0, 0, 12, -48, -3, -1, 0, -10, 8, 34, 26, 0, 40, -2, 28, 88, 0, -18, 4, 30, 18, 0, 16, -14, 32, 4, 0, 24, 2, 0, -12, 0, -30, 32, 18, -16, 0, 8, 34, 56, 2, 0, 6, -16, 12, 18, 0, 0, -14, 18, -40, 0, 12, 4, -6, -32, 0, -18, -16, 20, 6, 0, 0, -68, -8, -10, 0, 14, 36, -54, 24, 0, 8, -16, -48, -48, 0, 16, -64, -12, -1, 0, 22, -32, 66, -16, 0, -68, -5, -70, 4, 0, -8, 0, -1, -4, 0, -8, -16, 16, 42, 0, -26, 0, -20, -20, 0, 40, 28, 12, -16, 0, 6, -48, -28, 4, 0, 42, -2, -64, 56, 0, 40, 12, 0, 18, 0, 0, 34, -6, 0, 0, -24, 20, -48, -36, 0, -16, 24, 8, -60, 0, -28, 24, -4, 20, 0, -8, -12, 12, -50, 0, -4, -36, -16, 0, 0, -9, 6, -52, -8, 0, -8, -18, 0, -16, 0, 60, 32, -56, 8, 0, 11, -28, -50, -1, 0, 16, -2, -76, -66, 0, 26, -16, 8, 70, 0, 48, -10, 58, 24, 0, -6, 6, -6, 0, 0, -96, 0, -30, 8, 0, 2, 52, -45, 4, 0, 36, -4, -10, -44, 0, -66, 0, -4, 4, 0, 0, 40, 36, -4, 0, 28, -7, -2, -48, 0, -48, 0, 4, -38, 0, -4, -22, 24, 12, 0, -30, 6, 104, 6, 0, -56, 12, 12, 26, 0, 12, 0, -14, 26, 0, 10, 36, -26, 44, 0, -10, -28, 30, 24, 0, -24, -4, -24, 22, 0, 72, 10, 0, -8, 0, -10, -2, -8, 24, 0, -4, -54, 0, -6, 0, -20, 14, 16, -20, 0, -16, 16, 2, -12, 0, 12, -2, 2, -64, 0, 0, 22, 24, -6, 0, 18, 4, 4, -74, 0, 26, -12, 96, 0, 0, -28, 16, 0, 56, 0, -5, 25, -8, -14, 0, -10, 88, 36, -36, 0, 6, -12, -26, 20, 0, -70, 6, -16, 68, 0, -4, -24, -8, 0, 0, -2, 18, 56, -50, 0, -8, 12, -12, -26, 0, 8, 20, -36, 0, 0, -22, -24, -4, -32, 0, -32, 72, 7, -8, 0, -18, 6, 42, 13, 0, 0, -22, -64, 72, 0, 46, 8, 0, 2, 0, -10, 4, 4, 56, 0, 32, 42, -2, 42, 0, -8, -112, 2, 0, 0, -16, -2, 48, -9, 0, -16, 0, 12, -28, 0, -64, 40, -22, 0, 0, -6, -22, 32, 6, 0, -12, -4, 20, 72, 0, 12, -8, -6, -26, 0, 0, 68, 0, 8, 0, 6, 0, 0, -8, 0, 34, 28, 18, 24, 0, -32, 8, -10, 4, 0, -20, 0, 54, 28, 0, 36, 64, 10, 24, 0, 16, 48, -80, 5, 0, 0, 8, 10, 0, 0, 32, -78, -24, 16, 0, 2, 32, 16, 42, 0, -16, -12, -10, -30, 0, 0, 12, -48, 21, 0, -42, -4, 4, 16, 0, -14, -20, 14, -36, 0, -10, 9, 4, -54, 0, 0, -24, -8, 24, 0, -24, 2, 30, 18, 0, 16, 22, 10, 16, 0, -4, 42, 104, -18, 0, 24, -12, -20, -54, 0, 0, 32, 0, -40, 0, 48, -96, 28, 12, 0, 78, 2, 24, -8, 0, -26, -32, -14, 0, 0, -18, -72, -78, 8, 0, 16, 0, 24, 10, 0, -20, 31, -30, 12, 0, 12, -72, -66, 40, 0, -52, 16, -10, -20, 0, -5, -12, -2, 88, 0, 12, 12, -8, 3, 0, -16, 16, 8, -34, 0, -80, -70, 0, 30, 0, 0, 16, 24, -6, 0, 84, 2, 0, -12, 0, -56, -40, 6, 48, 0, 14, -4, -54, 48, 0, 6, 28, 32, 12, 0, -64, 40, -18, 0, 0, 28, 72, 0, 4, 0, 88, 0, -50, -26, 0, -20, -42, -6, -16, 0, -8, -32, 52, -8, 0, 8, 24, 84, -54, 0, -20, -20, 56, 14, 0, 20, -22, 38, -30, 0, -96, 22, 52, 48, 0, 46, -52, 9, -10, 0, 14, -8, 12, -10, 0, 18, -40, -60, 48, 0, -36, 34, 12, 56, 0, 0, -24, -45, -12, 0, 8, 1, 66, 32, 0, 6, -10, 8, 0, 0, -26, 32, -28, 8, 0, -6, -28, -48, -42, 0, 2, -72, -4, 28, 0, -6, 0, -24, -16, 0, 26, 32, 60, 30, 0, 24, 12, -6, -14, 0, 12, -4, 32, -30, 0, -4, -18, 6, -12, 0, 0, -12, -34, 12, 0, 2, -72, 0, -6, 0, 32, 28, -18, 0, 0, 7, -28, -14, 0, 0, 40, 42, -88, -4, 0, -40, 6, -4, -14, 0, -44, -12, 16, -40, 0, -18, -18, -14, 0, 0, -2, -8, 48, -20, 0, 12, -10, -12, -48, 0, -24, -78, 6, 8, 0, -36, 48, 0, -16, 0, -22, -48, 64, -30, 0, -1, -88, 72, -22, 0, -16, -22, -84, -44, 0, -6, 0, -5, 20, 0, -4, 36, 24, 24, 0, 10, 1, 4, 0, 0, 40, -6, 16, 38, 0, -14, 44, 72, 26, 0, 0, -20, 4, -2, 0, 20, -40, -20, 97, 0, 16, 64, -30, 6, 0, -66, 28, 10, 8, 0, -34, 40, 2, 4, 0, 56, -8, -26, -40, 0, 40, 0, 32, 42, 0, -16, -58, 34, 64, 0, 0, 4, 40, 8, 0, 36, 48, 30, -12, 0, -60, 36, -24, -36, 0, -12, 84, 22, 28, 0, -8, -4, 0, 48, 0, 64, -8, 4, 62, 0, 50, 0, 18, -4, 0, -18, 16, 8, -112, 0, 90, 0, -6, 12, 0, -8, -20, 8, 8, 0, -32, 0, -2, 0, 0, 72, -42, 32, -5, 0, -8, 32, 108, -17, 0, -2, 50, 18, -34, 0, 40, -39, 2, -12, 0, 22, 112, 14, -26, 0, 48, 8, -40, 0, 0, -8, -24, 30, -12, 0, -24, -56, -42, -6, 0, -70, 6, 32, 60, 0, -42, -20, 0, -6, 0, 8, 28, 16, -2, 0, 72, -9, -44, 48, 0, 0, 66, -4, 88, 0, 44, 18, 8, 22, 0, -36, 4, 42, -64, 0, -60, -6, -40, 0, 0, 12, 42, -12, -28, 0, -50, -2, 0, -6, 0, -2, 0, 0, -18, 0, 38, -24, 26, -4, 0, 0, -24, 8, -24, 0, -31, -50, -6, -18, 0, 6, 0, 96, 56, 0, -20, -4, -8, 0, 0, 0, -2, 0, -24, 0, -26, 24, -88, -30, 0, -26, 26, -16, 128, 0, 16, -3, 28, 26, 0, -8, 58, -56, 24, 0, -22, -24, -120, 24, 0, 36, 48, 2, 0, 0, 8, -42, 96, -10, 0, 36, 8, 2, -36, 0, -48, -56, 54, 80, 0, -6, -64, 42, 20, 0, -56, -48, 34, 26, 0, 20, 42, 16, 24, 0, 12, 28, 0, -4, 0, -40, -2, 0, -4, 0, 168, -24, -22, -16, 0, -14, 48, 38, -18, 0, -84, 4, -24, -30, 0, 48, -8, 4, 44, 0, 0, -18, 32, -28, 0, 12, 0, 20, -104, 0, -62, 20, -25, 0, 0, -14, -4, -80, 10, 0, -68, -12, -12, 88, 0, -6, -32, -12, -20, 0, -20, 0, -76, -14, 0, 4, 16, 18, -50, 0, -40, -24, 24, 6, 0, 0, 98, 16, 2, 0, 44, 56, -72, 30, 0, 12, 0, -36, -80, 0, 26, -40, 0, 8, 0, 16, 36, 6, 100, 0, 12, -12, 24, 6, 0, -32, 0, -12, 32, 0, 32, -5, 46, -30, 0, -16, 126, 6, 40, 0, -13, -54, -6, 0, 0, 20, 64, 0, -30, 0, 136, 6, -8, -28, 0, -6, -14, -32, 10, 0, -74, 4, -112, -42, 0, -20, 0, -14, -96, 0, -42, -144, 78, -8, 0, -28, -2, -56, -16, 0, 4, -50, 2, 18, 0, -9, -4, -84, 16, 0, -88, -4, -16, -68, 0, 0, 70, 40, -12, 0, 0, 24, 48, 18, 0, 0, -32, 8, -36, 0, -8, -8, 4, 0, 0, -24, 26, -32, -12, 0, 128, -6, -8, -56, 0, 32, 48, -12, -30, 0, -8, 30, 94, 6, 0, -66, 0, 0, 36, 0, 84, -88, -28, 9, 0, 24, 0, -14, 32, 0, 8, 30, 58, -16, 0, 40, 8, 0, -96, 0, -28, -42, -24, -12, 0, 24, -10, 0, 42, 0, -52, 12, -48, 48, 0, 1, 32, 1, 0, 0, 54, 10, -24, -24, 0, -34, -24, 26, -50, 0, -16, -56, 6, 2, 0, 28, -16, -88, 0, 0, 112, 18, 12, 4, 0, -30, 16, -6, 0, 0, 0, 16, 48, 14, 0, -96, -6, -4, -8, 0, -16, -24, 20, 10, 0, 0, -14, -12, -34, 0, 72, 90, -9, -32, 0, 18, 2, 16, 0, 0, 10, -8, 12, 34, 0, -56, 24, -6, 143, 0, -18, 6, -20, 16, 0, -68, -10, -18, 28, 0, 0, 0, -42, 42, 0, -18, 8, -40, -24, 0, -6, -4, -30, -4, 0, -6, -54, 32, -16, 0, 40, 18, -20, -16, 0, -20, -28, 30, -96, 0, -52, 0, -2, 68, 0, 24, 46, 10, 26, 0, -66, -14, -40, -12, 0, 54, 168, 24, 0, 0, -8, -24, 18, 16, 0, -48, -24, 48, -24, 0, -32, -16, -31, -64, 0, 12, -32, 3, -12, 0, 36, 22, 16, 32, 0, -22, -18, 16, -48, 0, 20, 68, -72, 15, 0, 70, 2, 4, -26, 0, 0, -40, -12, 0, 0, -1, -18, 4, 16, 0, 32, 8, 96, -16, 0, -16, 76, -14, 20, 0, -30, -26, -112, 0, 0, 60, -24, 20, 12, 0, -12, -40, -2, 12, 0, -12, -56, -16, 56, 0, -24, -18, -14, 48, 0, -28, -42, -4, -104, 0, -48, -42, -84, -2, 0, 64, -32, -168, 90, 0, -20, 40, -40, -12, 0, 0, 52, -18, -28, 0, 96, 0, -18, -102, 0, 6, 32, 0, 126, 0, 26, 8, -84, -20, 0, -48, 6, 36, -24, 0]