# Trace form for 8002.2.a.c, downloaded from the LMFDB on 20 April 2024.
[0, 1, 1, 2, 1, -2, 2, 0, 1, 1, -2, -6, 2, 2, 0, -4, 1, -2, 1, 8, -2, 0, -6, 4, 2, -1, 2, -4, 0, -6, -4, 0, 1, -12, -2, 0, 1, 0, 8, 4, -2, -2, 0, -6, -6, -2, 4, 0, 2, -7, -1, -4, 2, -4, -4, 12, 0, 16, -6, 0, -4, -6, 0, 0, 1, -4, -12, 2, -2, 8, 0, -8, 1, 10, 0, -2, 8, 0, 4, -16, -2, -11, -2, -12, 0, 4, -6, -12, -6, -2, -2, 0, 4, 0, 0, -16, 2, 2, -7, -6, -1, -12, -4, 16, 2, 0, -4, -12, -4, 0, 12, 0, 0, 2, 16, -8, -6, 2, 0, 0, -4, 25, -6, -4, 0, 12, 0, 0, 1, -12, -4, 14, -12, 0, 2, 8, -2, 18, 8, -6, 0, 0, -8, -12, 1, 12, 10, -14, 0, 6, -2, -24, 8, -2, 0, 0, 4, -22, -16, -8, -2, 0, -11, 14, -2, 24, -12, -8, 0, -9, 4, 8, -6, 6, -12, 0, -6, 0, -2, -18, -2, 8, 0, -12, 4, 0, 0, 12, 0, 0, -16, -12, 2, 6, 2, -8, -7, -18, -6, -20, -1, 4, -12, 0, -4, 4, 16, 4, 2, -48, 0, -16, -4, -16, -12, 12, -4, 0, 0, 20, 12, -4, 0, 24, 0, -1, 2, 18, 16, -6, -8, 0, -6, -14, 2, 0, 0, -32, 0, 0, -4, 2, 25, -10, -6, 14, -4, 16, 0, -24, 12, -2, 0, -24, 0, 8, 1, -14, -12, 0, -4, -6, 14, 20, -12, 8, 0, -4, 2, 6, 8, 28, -2, 0, 18, 6, 8, -14, -6, 0, 0, 2, 0, 6, -8, -32, -12, 0, 1, -13, 12, 4, 10, 0, -14, 0, 0, 24, 6, 8, -2, 0, -24, -24, 8, 12, -2, -28, 0, 32, 0, 28, 4, 14, -22, 0, -16, 12, -8, 36, -2, -24, 0, -16, -11, -2, 14, 0, -2, 0, 24, -22, -12, 0, -8, -4, 0, 14, -9, 4, 4, 0, 8, 0, -6, -16, 6, -16, -12, 4, 0, -8, -6, -6, 0, 16, -2, 0, -18, -12, -2, 45, 8, 50, 0, -20, -12, 0, 4, -2, 0, 0, 0, 32, 12, 24, 0, -12, 0, 8, -16, 0, -12, -16, 2, 0, 6, -6, 2, -6, -8, -8, -7, 28, -18, 32, -6, 30, -20, 0, -1, -18, 4, 0, -12, 22, 0, 0, -4, 38, 4, 36, 16, 0, 4, 24, 2, -12, -48, 26, 0, -8, -16, 0, -4, 2, -16, 0, -12, -24, 12, -24, -4, 34, 0, 24, 0, 32, 20, 16, 12, -7, -4, 4, 0, 4, 24, 12, 0, -2, -1, 12, 2, -48, 18, 0, 16, -22, -6, 8, -8, 0, 0, 16, -6, 0, -14, -6, 2, 0, 0, -44, 0, 36, -32, -8, 0, -4, 0, -24, -4, 0, 2, 0, 25, -4, -10, -4, -6, 28, 14, -30, -4, 12, 16, 12, 0, 0, -24, 4, 12, -16, -2, 8, 0, 24, -24, -18, 0, -18, 8, 0, 1, -32, -14, -32, -12, 0, 0, 12, -4, 6, -6, 34, 14, 0, 20, 0, -12, -7, 8, 0, 0, -4, -4, 24, 2, -36, 6, 42, 8, 22, 28, 16, -2, 0, 0, -22, 18, -6, 6, -48, 8, 0, -14, 0, -6, -38, 0, -12, 0, 24, 2, 18, 0, -4, 6, 0, -8, -6, -32, 12, -12, -24, 0, -4, 1, -10, -13, 12, 12, 0, 4, 24, 10, -4, 0, 38, -14, 0, 0, -36, 0, 18, 24, 0, 6, -40, 8, -12, -2, -22, 0, 2, -24, -50, -24, 40, 8, 0, 12, 0, -2, 22, -28, 8, 0, -6, 32, 16, 0, -16, 28, 0, 4, -19, 14, -96, -22, 0, 0, 40, -16, -32, 12, 0, -8, -14, 36, -8, -2, -2, -24, -4, 0, 24, -16, 24, -11, 0, -2, 0, 14, 32, 0, -28, -2, 10, 0, -10, 24, 24, -22, -8, -12, 0, 0, -24, -8, 48, -4, 36, 0, -14, 14, 4, -9, -4, 4, 0, 4, 36, 0, 14, 8, -36, 0, -12, -6, -8, -16, -10, 6, 0, -16, 12, -12, 4, 4, -28, 0, 34, -8, 0, -6, 0, -6, 0, 0, 24, 16, -16, -2, 0, 0, 24, -18, 0, -12, 0, -2, 0, 45, 4, 8, 6, 50, -4, 0, 13, -20, 12, -12, 44, 0, 28, 4, -12, -2, -6, 0, 32, 0, -20, 0, -12, 32, -12, 12, 0, 24, -40, 0, -4, -12, 48, 0, -8, 8, -48, -16, 6, 0, 0, -12, 4, -16, 0, 2, 30, 0, -28, 6, -16, -6, 0, 2, 0, -6, -16, -8, 48, -8, 24, -7, 44, 28, -36, -18, 40, 32, 0, -6, -12, 30, 16, -20, -42, 0, 0, -1, -2, -18, -60, 4, 0, 0, 12, -12, -2, 22, -42, 0, 56, 0, -28, -4, -48, 38, 0, 4, 30, 36, -24, 16, 12, 0, -10, 4, 2, 24, -28, 2, 14, -12, 16, -48, 0, 26, 0, 0, 7, -8, 4, -16, 18, 0, 0, -4, 12, 2, 0, -16, -30, 0, -16, -12, 22, -24, 30, 12, 0, -24, 8, -4, -12, 34, -26, 0, 96, 24, 4, 0, 2, 32, 0, 20, 8, 16, 0, 12, 26, -7, -18, -4, 0, 4, -32, 0, 0, 4, 66, 24, 0, 12, 36, 0, 16, -2, 0, -1, 8, 12, 0, 2, -16, -48, 34, 18, -12, 0, 24, 16, 72, -22, 24, -6, 0, 8, 32, -8, -56, 0, -16, 0, 0, 16, 16, -6, -18, 0, -56, -14, 56, -6, -24, 2, -42, 0, 28, 0, 0, -44, -8, 0, 0, 36, -18, -32, 20, -8, 24, 0, 6, -4, 24, 0, 72, -24, 0, -4, -31, 0, -12, 2, -12, 0, 40, 25, -32, -4, -16, -10, 0, -4, -4, -6, -42, 28, 12, 14, 0, -30, -48, -4, 36, 12, 0, 16, -24, 12, 20, 0, -44, 0, 40, -24, 22, 4, 0, 12, 0, -16, 0, -2, -8, 8, -32, 0, -50, 24, 28, -24, 6, -18, 0, 0, 2, -18, -30, 8, -2, 0, 0, 1, 2, -32, -32, -14, 0, -32, 24, -12, 26, 0, -8, 0, 12, 12, -24, -4, -32, 6, 0, -6, 96, 34, 8, 14, -30, 0, -28, 20, -22, 0, 32, -12, 0, -7, -12, 8, 12, 0, 4, 0, 32, -4, -12, -4, -24, 24, 0, 2, 0, -36, 6, 6, -24, 42, -24, 8, 0, 22, 90, 28, 0, 16, -8, -2, 25, 0, -18, 0, -16, -22, -40, 18, 50, -6, 0, 6, 0, -48, 20, 8, 8, 0, 8, -14, 0, 0, 72, -6, 0, -38, -48, 0, -56, -12, 64, 0, 0, 24, -6, 2, 12, 18, -28, 0, -50, -4, -24, 6, -96, 0, -36, -8, 16, -6, -4, -32, 0, 12, 0, -12, 12, -24, 0, 0, -32, -4, 12, 1, 34, -10, 0, -13, -4, 12, -48, 12, 24, 0, 6, 4, 28, 24, -12, 10, 0, -4, -42, 0, -16, 38, 0, -14, 72, 0, 14, 0, -36, -36, 0, 0, 64, 18, -60, 24, 12, 0, 60, 6, 66, -40, 0, 8, 0, -12, 0, -2, -30, -22, -36, 0, -4, 2, 16, -24, 0, -50, 0, -24, 34, 40, 20, 8, -22, 0, -16, 12, 0, 0, 48, -2, 7, 22, 76, -28, 40, 8, -32, 0, 18, -6, -32, 32, 48, 16, 0, 0, -20, -16, -12, 28, 48, 0, 36, 4, -6, -19, -6, 14, 0, -96, 4, -22, 52, 0, 30, 0, 4, 40, -16, -16, 48, -32, 0, 12, 0, 0, 0, -8, 16, -14, 4, 36, 18, -8, -16, -2, 0, -2, 42, -24, 28, -4, -12, 0, -42, 24, -10, -16, -48, 24, 0, -11, -50, 0, 68, -2, 24, 0, 16, 14, 12, 32, 54, 0, 0, -28, 64, -2, -24, 10, -40, 0, 32, -10, 32, 24, 6, 24, 28, -22, 4, -8, 4, -12, 8, 0, -84, 0, 0, -24, 8, -8, 0, 48, 32, -4, 6, 36, 32, 0, -12, -14, -4, 14, -64, 4, 0, -9, 24, -4, -56, 4, 0, 0, -24, 4, 42, 36, 0, 0, 0, 14, -16, 8, -37, -36, -44, 0, 48, -12, -72, -6, 22, -8, 0, -16, -40, -10, 0, 6, 28, 0, 80, -16, 32, 12, -24, -12, 0, 4, 0, 4, 0, -28, -8, 0, -12, 34, -24, -8, -4, 0, 0, -6, -54, 0, 24, -6, -22, 0, -12, 0, 0, 24, 72, 16, 42, -16, -32, -2, -16, 0, -14, 0, -46, 24, 16, -18, 66, 0, 0, -12, -48, 0, -12, -2, -84, 0, 0, 45, 26, 4, 64, 8, 0, 6, -60, 50, 34, -4, -8, 0, 0, 13, -34, -20, -8, 12, 0, -12, 0, 44, 14, 0, 4, 28, -64, 4, -60, -12, 0, -2, 0, -6, 24, 0, 58, 32, -42, 0, -48, -20, 48, 0, -18, -12, 0, 32, -34, -12, -16, 12, 8, 0, -26, 24, -128, -40, -8, 0, 0, -4, -108, -12, 16, 48, -28, 0, 4, -8, 48, 8, 0, -48, 0, -16, -9, 6, -66, 0, 6, 0, -36, -12, 36, 4, -16, -16, 0, 0, 56, 2, 24, 30, -88, 0, 8, -28, -56, 6, -64, -16, 0, -6, -34, 0, 0, 2, -46, 0, -56, -6, 6, -16, -60, -8, 0, 48, 12, -8, -28, 24, 32, -7, 68, 44, -42, 28, 50, -36, 0, -18, -96, 40, -16, 32, 0, 0, 48, -6, -24, -12, -14, 30, 0, 16, 0, -20, 0, -42, -72, 0, 8, 0, -8, -1, -6, -2, 0, -18, 48, -60, -24, 4, -38, 0, -18, 0, 14, 12, 32, -12, 84, -2, 34, 22, -28, -42, 44, 0, 24, 56, 8, 0, 8, -28, 0, -4, -32, -48, 0, 38, 56, 0, -36, 4, -44, 30, 0, 36, 0, -24, 24, 16, -4, 12, 0, 0, -96, -10, 44, 4, -2, 2, 0, 24, 144, -28, 36, 2, 0, 14, -10, -12, -66, 16, -76, -48, 0, 0, -2, 26, -24, 0, 40, 0, -37, 7, 12, -8, -28, 4, 0, -16, 36, 18, -16, 0, 42, 0, -8, -4, -38, 12, 54, 2, 0, 0, 28, -16, 0, -30, -12, 0, -46, -16, 0, -12, 24, 22, 0, -24, 24, 30, -12, 12, -54, 0, 36, -24, -8, 8, 132, -4, 0, -12, -20, 34, -54, -26, 32, 0, 6, 96, 0, 24, 64, 4, 0, 0, -8, 2, -14, 32, 48, 0, -32, 20, 10, 8, 16, 16, 0, 0, -8, 12, 76, 26, 12, -7, 12, -18, 0, -4, 36, 0, 0, 4, -18, -32, 8, 0, 50, 0, 36, 4, 36, 66, -64, 24, 0, 0, 0, 12, -46, 36, -20, 0, -84, 16, 24, -2, -24, 0, 0, -1, 10, 8, -44, 12, -90, 0, -12, 2, -8, -16, 24, -48, 0, 34, -100, 18, -64, -12, 24, 0, 80, 24, 72, 16, -10, 72, 0, -22, 0, 24, 24, -6, 0, 0, 0, 8, 48, 32, 44, -8, 0, -56, 16, 0, 4, -16, -16, 0, -7, 0, -12, 16, 0, 16, 0, -6, 32, -18, 54, 0, -46, -56, -44, -14, -64, 56, -26, -6, 0, -24, 12, 2, -46, -42, -38, 0, -6, 28, -16, 0, -48, 0, 0, -44, 24, -8, 0, 0, -34, 0, 0, 36, 80, -18, -16, -32, 0, 20, -16, -8, 0, 24, -36, 0, 0, 6, -48, -4, -48, 24, -28, 0, -18, 72, 32, -24, 32, 0, -96, -4, -4, -31, -4, 0, 0, -12, 0, 2, -8, -12, 30, 0, 28, 40, 12, 25, 12, -32, 0, -4, 48, -16, -12, -10, 12, 0, 0, -4, 28, -4, -20, -6, 0, -42, 16, 28, 128, 12, 64, 14, 0, 0, -48, -30, -56, -48, 0, -4, 108, 36, -40, 12, -24, 0, 16, 16, -20, -24, 38, 12, 0, 20, 48, 0, -60, -44, 58, 0, -4, 40, -48, -24, -34, 22, 0, 4, 46, 0, 80, 12, -48, 0, 24, -16, 36, 0, 24, -2, 14, -8, 50, 8, 72, -32, 0, 0, 78, -50, -28, 24, 0, 28, 0, -24, 11, 6, -38, -18, 12, 0, -8, 0, -96, 2, 0, -18, 0, -30, 36, 8, -44, -2, 18, 0, -76, 0, -8, 1, 28, 2, 0, -32, -8, -32, -72, -14, -50, 0, 48, -32, -6, 24, -40, -12, 0, 26, -16, 0, -54, -8, 0, 0, -20, 12, 12, 12, 0, -24, 0, -4, 22, -32, 68, 6, 24, 0, 48, -6, 34, 96, 8, 34, 0, 8, -52, 14, -14, -30, -4, 0, 72, -28, 68, 20, 16, -22, 42, 0, 0, 32, -36, -12, -62, 0, 0, -7, -60, -12, 28, 8, 0, 12, -36, 0, -24, 4, 48, 0, -34, 32, 32, -4, 64, -12, 0, -4, 14, -24, 0, 24, 12, 0, 56, 2, 48, 0, 16, -36, 0, 6, 0, 6, 54, -24, 48, 42, 0, -24, 0, 8, -66, 0, 0, 22, -68, 90, 108, 28, 2, 0, -16, 16, 8, -8, 12, -2, 0, 25, -68, 0, -8, -18, 0, 0, -64, -16, 56, -22, 120, -40, 0, 18, 24, 50, -32, -6, -44, 0, 88, 6, 0, 0, -4, -48, 14, 20, 72, 8, -47, 8, -24, 0, 0, 8, -8, -14, -12, 0, 0, 0, -22, 72, 16, -6, 2, 0, -28, -38, -40, -48, 8, 0, 0, -56, -24, -12, -82, 64, -40, 0, 48, 0, -60, 24, 4, -6, 0, 2, 12, 12, -20, 18, -80, -28, -24, 0, 0, -50, -2, -4, 0, -24, 0, 6, 96, -96, 66, 0, 18, -36, -16, -8, -14, 16, 0, -6, -24, -4, 24, -32, -70, 0, 12, 12, 44, 0, 48, -12, 0, 12, 96, -24, -46, 0, -16, 0, 86, -32, 200, -4, 0, 12, 0, 1, 0, 34, 60, -10, 42, 0, 88, -13, -14, -4, -32, 12, 0, -48, -32, 12, 96, 24, -48, 0, 0, 6, -36, 4, -36, 28, 0, 24, 66, -12, 12, 10, -32, 0, -38, -4, 78, -42, 96, 0, 0, -16, -34, 38, 66, 0, 80, -14, 16, 72, 88, 0, -68, 14, 0, 0, -72, -36, 12, -36, -72, 0, 20, 0, 64, 64, -66, 18, 0, -60, 96, 24, -46, 12, -24, 0, -18, 60, 28, 6, 8, 66, 0, -40, 2, 0, -84, 8, -26, 0, 48, -12, 0, 0, 80, -2, 49, -30, 8, -22, 0, -36, 72, 0, -120, -4, -96, 2, 0, 16, 0, -24, 14, 0, 0, -50, 6, 0, -8, -24, -2, 34, -4, 40, 0, 20, 24, 8, -84, -22, 8, 0, 34, -16, 28, 12, 50, 0, 0, 0, -56, 48, -16, -2, 0, 7, -96, 22, -144, 76, 60, -28, 0, 40, -34, 8, -48, -32, 60, 0, -24, 18, 52, -6, -48, -32, 0, 32, -78, 48, 6, 16, -32, 0, 0, 0, -20, -20, -24, -16, 0, -12, 4, 28, 112, 48, 0, 0, -14, 36, -8, 4, -108, -6, 28, -19, 12, -6, 0, 14, 32, 0, 0, -96, 12, 4, 0, -22, 0, 52, -16, 0, 0, 30, 36, 0, -50, 4, 14, 40, 12, -16, 0, -16, 2, 48, -90, -32, -12, 0, 36, 12, 0, 0, -36, 0, 0, 0, -48, -8, 36, 16, 6, -14, 60, 4, -16, 36, 0, 18, 0, -8, 2, -16, -60, -2, -36, 0, 84, -2, 64, 42, 48, -24, 0, 28, 44, -4, 0, -12, -16, 0, 60, -42, 20, 24, 12, -10, 0, -16, 0, -48, -40, 24, 16, 0, 80, -11, 34, -50, -24, 0, 28, 68, 8, -2, -13, 24, 144, 0, -12, 16, 192, 14, -18, 12, 0, 32, 8, 54, -68, 0, 82, 0, -8, -28, -46, 64, 36, -2, 0, -24, 0, 10, 0, -40, 16, 0, -54, 32, 0, -10, 0, 32, 0, 24, -48, 6, 52, 24, 14, 28, -72, -22, -36, 4, -12, -8, 0, 4, 0, -12, 50, 8, -22, 0, -64, -84, 24, 0, 8, 0, 0, -24, 44, 8, 48, -8, 60, 0, 12, 48, -28, 32, 0, -4, 0, 6, 70, 36, 72, 32, -12, 0, 74, -12, 8, -14, -82, -4, -84, 14, 0, -64, 54, 4, 0, 0, 16, -9, -44, 24, -4, -4, 0, -56, -64, 4, 86, 0, -32, 0, -96, -24, 20, 4, 68, 42, 0, 36, 0, 0, 48, 0, -30, 0, -52, 14, 48, -16, 44, 8, 0, -37, 144, -36, -94, -44, -32, 0, 12, 48, -4, -12, -48, -72, 0, -6, -74, 22, 96, -8, 64, 0, 0, -16, 12, -40, -28, -10, 0, 0, 80, 6, -32, 28, -28, 0, 0, 80, 0, -16, -74, 32, 0, 12, -64, -24, 100, -12, 76, 0, -36, 4, -34, 0, 0, 4, -112, 0, 24, -28, 40, -8, 28, 0, 30, -12, -26, 34, -48, -24, 0, -8, -37, -4, -84, 0, -12, 0, -36, -6, 14, -54, 78, 0, 0, 24, 0, -6, -2, -22, 84, 0, -16, -12, 48, 0, -22, 0, 0, 24, 24, 72, 16, 16, -36, 42, -36, -16, 12, -32, 40, -2, 0, -16, -82, 0, 12, -14, -24, 0, 58, -46, 12, 24, -72, 16, 0, -18, 48, 66, 0, 0, -192, 0, 36, -12, 18, -48, 48, 0, 0, -12, -24, -2, -12, -84, -62, 0, 20, 0, -88, 45, 48, 26, 0, 4, -120, 64, -24, 8, 62, 0, 48, 6, 80, -60, 88, 50, 0, 34, -16, -4, 16, -8, 16, 0, -32, 0, -48, 13, -68, -34, 0, -20, 0, -8, 0, 12, -2, 0, -32, -12, 72, 0, -84, 44, 0, 14, -76, 0, 24, 4, -20, 28, -12, -64, 0, 4, 0, -60, 0, -12, -96, 0, 36, -2, -34, 0, 72, -6, 82, 24, -36, 0, 0, 58, -58, 32, -36, -42, -48, 0, 10, -48, 74, -20, 40, 48, 0, 0, -12, -18, -22, -12, -168, 0, -176, 32, 80, -34, -96, -12, 42, -16, 44, 12, -20, 8, 24, 0, 0, -26, 24, 24]