# Trace form for 5415.2.a.h, downloaded from the LMFDB on 06 December 2025.
[0, 1, 1, -1, -1, -1, -1, -2, -3, 1, -1, -6, 1, 0, -2, 1, -1, -6, 1, 0, 1, 2, -6, -8, 3, 1, 0, -1, 2, -4, 1, 0, 5, 6, -6, 2, -1, -4, 0, 0, 3, 0, 2, -2, 6, -1, -8, -8, 1, -3, 1, 6, 0, -2, -1, 6, 6, 0, -4, -12, -1, 2, 0, -2, 7, 0, 6, 8, 6, 8, 2, -16, -3, 14, -4, -1, 0, 12, 0, -8, 1, 1, 0, 0, -2, 6, -2, 4, 18, 0, -1, 0, 8, 0, -8, 0, -5, 12, -3, -6, -1, -18, 6, 8, 0, -2, -2, 12, 1, 6, 6, 4, 2, 6, 0, 8, 4, 0, -12, 12, -3, 25, 2, 0, 0, -1, -2, -4, -3, 2, 0, -2, -6, 0, 8, 1, 18, -10, 8, -16, -2, 8, -16, 0, -1, 4, 14, 3, 4, 6, -1, 16, 0, -6, 12, 0, 0, -2, -8, 2, -5, 16, 1, -22, 0, -6, 0, -16, -6, -13, 6, 0, 2, -6, 4, -2, 6, 12, 0, 20, 1, -10, 0, -2, 24, 4, 0, 36, 8, 2, 0, 10, -7, -24, 12, 0, 3, 6, -6, -20, -3, -8, -18, 8, -6, 0, 8, -8, 0, 0, -2, 20, 2, 16, 12, 2, 3, 0, 6, -14, -6, 0, 4, -8, -10, 1, 6, 28, 0, 2, 8, -12, 12, 22, 0, 8, 12, 8, 12, 6, -1, -18, 25, -1, -2, 3, 0, 0, 0, 0, -1, -6, 2, 48, -4, -6, -17, 22, 2, 8, 0, -4, -2, -12, -18, 2, 0, 0, -8, -12, 1, -20, 6, 0, -10, -6, -8, -2, -16, 0, -6, 4, 8, -14, 16, 0, 0, 0, 5, 19, 4, -12, -14, -30, 3, 12, 12, 6, 6, 0, 1, 4, 16, 18, 0, -2, -6, 8, -12, -8, 0, 34, 0, 10, -2, 2, 8, 6, 2, 24, -7, -12, 16, 0, -1, 0, -22, -6, 0, 16, -6, -28, 0, -4, -16, -8, -2, 12, -13, -6, -6, 0, 0, 20, 6, -8, -6, 8, -4, -2, -2, 0, -30, -34, 12, 16, 0, -12, 20, 10, 3, 0, -10, -25, 0, -14, -2, -14, 8, 0, 4, 4, 0, 0, 36, 1, 24, 0, 2, -20, 0, 4, 10, -8, 3, -12, -24, -2, -12, -14, 0, 48, 9, 2, 6, 8, 6, 6, -20, 0, -1, -4, -8, 0, 18, -1, 8, 24, -18, 10, 0, 10, -8, 24, -8, 0, 0, 16, 0, -30, 2, -6, 20, -8, 6, -6, 16, -4, -12, 0, 2, -36, 1, 16, 0, -4, -6, 0, -14, -24, -18, -3, 0, -12, -4, 0, -8, -6, -14, 8, 1, 0, -6, -16, 28, 0, 0, -6, 2, 6, -8, 30, -12, -14, 4, 0, 22, 12, 0, -16, 8, 2, 36, 12, 8, 0, -12, -2, 6, 18, 5, 0, -18, -16, -25, -12, -1, -8, -6, 22, 3, -26, 0, 24, 0, 6, 0, 32, 0, -24, 1, 16, -6, -36, 6, 18, 48, 13, 4, 24, -6, -28, -11, 0, 22, -8, -2, 48, 8, 6, 0, 4, -4, 4, 2, 2, -12, 0, -6, 41, 2, -12, 0, 0, 0, -12, -24, -20, -12, 18, -1, -42, -20, 10, -30, -6, 0, 8, 10, 2, -6, 0, -24, 16, -2, -4, 16, 18, 0, 0, -2, -36, 4, -36, -8, -6, -14, -2, 48, 8, 0, -24, 0, -10, 0, -8, 7, 2, 19, 24, -4, 0, -12, 12, -42, 0, -30, -20, -3, 0, 12, -6, 4, -10, 6, -12, -6, 20, 0, 20, 3, -22, 4, 8, -16, -25, 18, -16, 0, -8, -2, 0, 6, -2, 8, 0, -36, 34, -8, 8, 0, 8, 34, 0, 0, 1, 10, 0, 2, 24, 2, -40, 24, -20, 6, 4, -2, 0, 24, -16, 3, -40, -12, 2, -16, -2, 0, 20, -3, 72, 0, 0, 22, -18, -6, 2, 0, 14, 16, -48, 6, 22, -28, 0, 0, 0, -4, 32, 16, 8, -8, -12, 10, -36, 12, -1, 13, -18, -6, -24, -18, -28, 0, 36, 0, 10, 20, -2, 2, 0, -8, 32, 6, 12, 8, 16, -12, 0, -2, -22, 2, -42, 0, 0, -42, -8, -34, 36, -12, -14, 16, -8, 0, 0, -12, 0, -20, -6, 10, -18, 1, -16, 0, 18, 10, -4, -25, 26, 0, 1, -14, 12, 2, -22, -14, -3, -40, -48, 0, -20, -4, 0, 4, -24, 0, -6, 0, 0, -36, -24, 1, 40, 8, 6, 0, -16, -2, -38, -20, -48, 0, 30, 4, -12, -10, 6, -8, 0, 17, -14, -12, -22, 24, 6, -2, 0, -36, -8, -14, 0, 0, 96, 48, 4, 3, 2, 2, 28, -6, 12, 8, -12, 18, 0, 6, -2, 20, 26, 0, 48, 5, 0, -4, -84, 8, -16, 0, 12, 54, 2, -1, -20, -8, 20, 24, 22, -6, 0, 10, 0, 0, 6, 10, -14, -24, 6, 24, -36, 8, 6, 0, 2, 0, 18, 16, 16, 0, 0, -30, -8, 6, -13, -6, -4, -20, 13, -8, -50, 2, 14, -6, 32, -16, 26, -4, 0, -36, -46, 0, 44, -2, 0, -36, 24, -5, 6, 16, -19, 0, 48, -4, 0, -18, 12, 0, 2, 14, 24, -24, 30, -6, -42, -3, 2, 0, -12, -12, -48, -12, 8, 0, -6, 8, 0, -6, -20, 6, 0, 8, 0, -1, 12, 0, -4, -18, 10, -16, 52, -28, -18, 0, 0, 0, 0, -6, 2, -2, 4, 6, -40, -24, -8, 30, 0, 12, -4, -14, 8, -20, 18, 0, 0, -22, -34, 12, -36, 0, 30, -16, -10, -8, -44, 2, 0, 12, -2, 12, 48, -8, 0, 0, -6, -36, 30, -2, -10, -6, -24, 18, 20, 7, -31, 0, 12, 18, 24, -16, -14, -75, 0, -12, 8, 1, 32, -8, 0, -2, 42, 22, 0, -3, 6, -26, -8, 0, -6, 24, -16, 0, 16, 6, 16, 0, 28, 32, 20, 0, 14, -24, 4, 3, 0, 16, 72, 6, 8, -36, 0, 2, -34, 18, -12, -48, -14, 13, -8, 12, 6, 24, -40, 6, -54, -28, 0, 23, 0, 0, 0, -22, -20, -8, 2, -6, 18, 48, 8, -8, -12, 6, -56, 0, -8, 4, -12, 4, 0, 4, 2, 6, -14, 2, -8, 12, 0, 0, -20, 30, -32, 41, 34, -2, -2, -12, -56, 0, -16, 0, -72, 0, -50, -12, 12, -8, 16, -20, -2, 12, -10, 18, 0, -3, 64, -42, 0, 20, 0, 10, -10, -42, 25, -6, -32, 0, 16, 8, 14, 30, 54, 2, 4, 6, 14, 0, 0, -8, 0, 16, 0, 2, -2, -4, 108, 48, -4, 18, 8, 0, -12, 0, 0, 10, 0, -36, 20, -4, -1, -36, 24, -24, 18, -6, 0, 14, -48, -2, -28, 16, 20, 8, -48, 0, 44, -24, -4, 0, -2, -10, 0, 0, 8, -8, 46, -3, -56, 2, 12, -19, 0, 24, 0, -12, 2, 0, -20, 12, -22, 12, 14, -14, 32, 0, 60, 30, -48, -20, -8, -9, -72, 0, -2, -12, 44, -6, 26, -20, -8, -10, 20, -6, 0, -12, -6, -18, -10, 20, -6, 0, 0, 20, -36, 1, -2, -22, 4, -4, 18, 8, 96, -48, 0, -25, 12, -18, -30, -16, 1, 0, 2, -8, 16, 2, -24, 0, 8, 18, -3, -2, -10, -8, 36, 0, -16, -12, -10, 34, 0, 8, -32, 8, -24, 0, -84, 8, -36, -34, 0, 0, 8, 0, -18, 1, -16, -10, -40, 0, 6, 6, 30, 24, -42, -2, 0, -40, 6, 8, -48, -20, 20, -6, 8, 4, 0, -6, 0, 0, 6, -24, 30, -16, 48, 17, 4, -40, -36, 12, -22, 2, 0, -48, -42, -2, -4, 0, 36, 20, -8, -1, 10, 72, -16, 0, 66, 0, 50, 66, 4, -18, 20, 6, -72, 2, 0, 0, 0, 14, 12, -16, 24, -48, 36, 18, -38, 22, 3, 28, -2, 0, 66, 0, 12, 0, -84, 4, 0, 32, 0, 48, -20, 8, 0, 8, 6, -12, 48, 14, 12, -36, -8, -12, 0, -1, 48, 39, 0, -18, 20, 6, 96, -24, 16, -6, 36, -28, 32, 0, 0, 36, 0, 0, -21, 10, 6, -20, -10, -2, 6, -10, -6, 0, -12, 8, -22, 32, -30, 18, 2, 12, 0, -8, 14, 16, 0, -4, 40, 0, 0, 2, 24, -22, -40, 6, -12, -42, -16, 0, -4, 0, 16, 18, 40, -8, 0, 34, -2, 36, 14, -36, 0, -14, -12, -16, 12, -8, -18, 0, 0, 0, -44, 12, -10, 0, 2, -60, 30, -6, 0, -10, -18, -18, 60, -5, 12, -16, 0, 0, -19, 18, -4, 30, 16, -4, 14, 25, 26, 26, 12, 0, 0, 1, -36, 14, 8, 12, 0, 6, 30, -22, -22, 14, 0, -3, 72, -56, 26, -48, -12, 0, -40, -20, -24, -12, 32, 0, -26, -4, -6, -24, 72, 0, 30, -6, -32, 0, -6, 0, 0, -108, 24, -24, -18, -1, 0, 40, -16, -40, -4, 6, 60, 0, 36, -16, 68, -6, 0, -38, -18, 20, 0, -48, 0, 0, -13, 30, -76, -4, 2, -12, -24, -30, 96, 6, 12, 8, 28, 0, -8, 11, 8, -14, 0, 12, -64, -22, 46, 72, 8, 6, 0, 2, -26, 0, -48, -12, -6, -8, -34, 14, -6, 0, -50, 0, 16, 96, -4, -48, -10, 4, -42, -15, -4, 2, 28, -2, 0, 28, -2, -18, 0, 12, -36, -8, 0, -12, 36, 6, -6, 0, -41, -6, -56, -2, 8, 60, 12, 26, -24, 0, 34, 48, 0, 7, -30, 0, -4, 4, 12, -84, -52, 24, 26, -16, 20, 0, 6, 12, 0, 18, -18, 2, -30, 1, -54, -20, 42, -24, 0, 20, 12, -24, -10, 22, -44, 30, 128, 0, 6, -10, 70, 0, -36, 0, -8, 6, 0, -10, -16, -14, -2, -8, -72, 6, 0, -24, 0, -36, 28, 24, 30, 6, -16, 0, -96, 2, 16, 0, 4, 18, 4, -16, -26, 16, -18, 0, -12, 0, 8, 30, 0, -8, -112, 2, -41, -13, 36, 6, -12, -4, 36, -60, 36, 13, 0, 8, 40, -50, 6, -10, -14, 14, 36, 6, 2, 32, 0, -48, 0, 26, -8, 4, 12, 0, 48, -12, 24, -46, -20, 0, 108, 44, 10, -6, 18, 0, -28, 36, 8, 24, 12, -7, 0, 6, -2, -16, -82, -19, -8, 0, -24, 48, 32, 4, 26, 0, 0, -6, 2, 12, -72, 0, -12, 2, -48, 42, 38, 24, 0, 24, 12, 30, 36, 30, 20, -42, 0, 3, 34, 2, 0, 0, -8, -12, -96, 12, 6, -48, -16, -4, 28, 8, 10, 0, 0, -6, 18, 24, 12, 0, -16, 6, 62, -20, -20, 34, 132, 0, -10, -8, -20, 0, -44, -3, 74, 12, 22, 0, 0, -4, 0, -6, -8, 10, 22, 16, 12, 52, 25, -84, 64, -18, -72, 0, 16, 0, 16, 0, 14, 0, 8, 6, 0, 2, 64, -6, 0, 4, 14, -6, 96, -40, 2, -8, 24, -8, 0, -30, 0, 0, -40, 36, -39, -4, -34, 14, -36, 8, -4, -28, -8, 18, 78, 0, -22, 0, -8, -66, 0, -34, 14, -12, 0, -36, 2, 0, 74, 30, -1, 16, -18, -10, 24, -24, 0, -44, 24, -2, 0, 0, -24, -60, -56, -2, 0, -12, 40, 48, 20, -24, 40, 0, 20, 0, 30, -6, 36, -12, -4, 30, -72, 2, 0, -10, 0, -18, 10, -24, 8, -18, 16, 20, 0, -3, -36, -31, 40, 0, 12, 12, 0, 54, -2, 24, 56, 16, 80, -14, 2, -25, 0, 0, 4, 12, -20, 8, -32, 3, 14, 32, -72, 8, 2, 0, 8, 10, 0, 42, -48, -22, 0, 0, 18, -9, 8, 6, 0, 26, -2, -8, -8, 0, -120, -6, -14, -24, 86, -16, -8, 0, 48, 16, -44, -6, 28, 16, -22, 0, -6, 28, 6, -32, 0, 20, 60, 0, 22, 14, 0, 24, 30, 4, 16, 1, -32, 0, 12, -16, 4, 72, -8, 18, 0, 8, -88, 36, 12, 0, 0, -10, 28, -34, 36, -18, 16, -12, -38, -144, 1, -14, 28, -13, -14, -8, 18, 4, 0, 6, -24, -24, 24, -40, 50, 18, 0, -54, 28, 28, -10, 0, 0, 45, -36, 0, 60, 0, -78, 0, -10, -66, -150, -20, 64, 8, 2, 2, -16, -2, -24, 18, 0, -48, 2, 8, 0, -24, -32, -12, 0, -6, 0, -56, -12, 0, 12, -8, 88, -4, -16, -12, -12, 12, 30, 0, 0, -4, 0, 2, 30, 2, 22, -14, -66, -2, -60, -8, 42, 36, 6, 0, 6, 0, 0, -20, -48, 42, -6, -32, 8, -41, -56, 34, 0, -6, -36, -2, 144, 12, 6, -56, 14, 0, -2, -16, -60, 0, 8, -72, 4, 0, 46, -50, 0, 12, 20, 12, -36, 40, 0, 16, 0, 20, -16, -2, 6, 36, 2, -10, 36, -18, 18, 0, 24, -1, 14, 64, 16, 42, -16, 0, -36, 60, -18, 0, 0, -10, 0, -10, 4, 18, -68, 25, 36, 6, -26, -32, 48, 0, 0, 16, -1, -8, 120, 14, -20, 10, -12, 54, 24, -2, 0, 4, 22, 18, 0, 14, -36, 0, 3, 0, 32, 40, 17, 0, 48, -16, -26, 0, 12, 6, 20, -2, -12, 4, -34, 108, 0, 16, 0, -4, 12, -18, 24, 8, -96, 0, -48, -12, 6, 0, -58, 0, -68, 14, 0, 0, -16, 36, -8, 20, 24, -12, 0, -1, -8, 36, -40, 24, 0, -8, -8, 18, -6, 6, 0, 0, 0, 42, 16, -48, -24, 2, -54, -28, 38, -80, -6, 20, 0, -8, 48, -48, 4, 0, 46, 44, -30, 24, 6, -4, -26, 0, 12, -2, 32, 10, -64, 0, -6, 0, -42, 8, 0, 8, 0, 46, 24, -17, -30, -56, 14, -2, 0, 12, -40, -57, 22, 0, 14, -24, 56, 0, -6, -4, -120, 2, 144, 0, 0, -20, 0, 36, 60, -22, 8, -12, 46, 14, -12, 70, 0, 32, 72, 0, -22, 60, -96, 90, 16, -48, -48, 20, -4, -8, -28, -3, 0, -72, -2, 0, 18, -2, -24, -36, -28, 44, 96, 6, -12, 26, -12, -28, -64, -8, -60, 10, 12, 20, 0, -18, 16, 0, 0, 12, -78, -6, 40, -6, 2, -10, 0, -20, 94, -6, -26, 0, -38, 0, -18, -20, -48, -36, 70, -5, -19, -2, 0, 22, 0, 4, 0, -12, 84, 18, -70, -8, 0, 96, 16, -16, 66, 0, 0, 25, -12, 12, -48, -54, 12, -30, -2, 16, -16, 1, 0, 0, 20, 2, 8, 8, -42, 16, -20, 6, -18, -24, 4, 0, -22, 8, -32, 6, 0, -3, 0, 2, 48, -10, 26, -24, 0, 36, -72, 0, -96, -16, -6, 60, -24, -10, 58, -34, 14, 0, 68, 24, 40, -32, -6, -8, -14, -24, -32, 0, 36, -84, 0, -8, -32, -36, -6, -102, 0, 0, 16, 0, -2, 8, 24, 0, -168, -18, -18, -1, 0, -16, -88, -30, -16, -40, -48, 0, 0, 6, 0, 2, -20, 30, 36, -24, 8, -42, -12, -6, 2, 0, 13, 40, -18, 6, 0, -40, 4, -48, -58, 20, -36, 20, -13, -18, 24, 8, -28, -4, 50, 0, 44, -2, -24, 0, -14, 0, 24, 6, 80, -72, -32, 30, 28, 16, 14, 48, -26, 11, 0, 4, -132, 40, 0, -36, -96, 36, 28, -22, 46, -2, 0, 0, 8, -16, -44, -42, -12, 2, 0, -4, 0, 0, -48, 36, 0, -20, -24, -8, -10, 5, -22, 10, -6, -72, 6, -16, -48, 0, 19, 66, 0, 0, -4, 50, -48, 22, -22, 4, 0, 18, 0, 20, -4, 18, 36, -72, -12, -2, -24, 0, -4, 0, -2, 0, 64, -14, -36, 12, -24, -48, 42, 24, 0, 48, -30, 36, 0, 6, 0, -38, 42, -22, -41, 3, -70, 84, -2, -2, 108, 0, 40, 66, 12, 0, -2, 12, 36, 0, 48, -84, 56, 12, 0, 0, -8, -32, 12, 0, 28, 16, 6, -20, 12, -8, 6, 0, 0, 24, 16, 6, 34, 12, 20, 48, 48, -6, -78, 12, 0, 36, -58, -8, -18, -36, 0, 0, 90, 1, -56, 48, -12, 13, 42, 0, 26, 18, 4, 20, -52, 18, -16, 96, -10, 24, 0, 16, 88, 30, -52, 36, 28, 28, 6, 32, 18, 0, 60, 0, 68, -36, 0, 0, -8, 0, -96, -21, 0, -10, 98, 6, 0, -60, -2, -10, 0, 2, 42, 6, -4, -14, 66, -6, 0, 0, 40, -12, 0, 24, 36, -22, 8, -32, -16, -30, 52, 6, 0, 2, 132, -12, 96, 0, 4, -24, -82, 14, -12, -16, -8, 0, -200, 20, -18, 40, -18, 0, 60, 0, -8, 6, 0, 24, 0, 22, -50, -40, 34, 2, 0, -12, 96, 42, 36, -16, 8, 0, -49, -4, -30, 0, -48, 16, 36, 102, 10, 40, -70, 8, 0, 0, 44, 102, 6, -2, -132, -36, 0, 14, 0, -12, 36, 0, 2, 14, -42, -12, 96, -48, -48, 12, -76, 8, -8, -18, 0, 0, -48, 0, 8, 0, 6, -44, 24, 36, 62, -10, -30, 0, -18, 2, -20, -20, 10, 30, -16, 6, 0, 0, 24, -30, 78, -18, 8, 18, -20, 60, 68, -7, -16, 12, 31, 16, -2, 0, 12, 0, -12, -19, 36, -18, 72, -4, -24, 10, -2, 16, 0, 4, 14, 14, 24, 75, 0, 26, 0, -26, 0, 12, 0, 0, -8, 0, -12, -1, -88, -36, -32, 42, 32, 8, 32, -12, 0, 0, -40, 2, 72, 30, -42, 22, 60, -22, 20, 42, 0, 0, 36, 3, 36, 72, -6, 24, 0, 26, 12, 48, 8, -12, 0, 0, 96, -40, 6, 20, 50, -24, 72, -4, 16, 32, -60, 0, 10, -26, -16, -12, -46, -6, -40, 24, -16, 72, 12, 0, 0, 30, -28, 6, 120, -32, 0, 0, -20, -6, -32, 0, -6, 0, -14, -36, 0, 24, -20, 24, -4, -18, -106, -3]