# Trace form for 4017.2.a.b, downloaded from the LMFDB on 24 April 2024.
[0, 1, -1, 1, -1, 2, -1, -2, 3, 1, -2, 4, -1, -1, 2, 2, -1, -6, -1, -2, -2, -2, -4, -2, 3, -1, 1, 1, 2, -2, -2, 8, -5, 4, 6, -4, -1, -4, 2, -1, 6, -10, 2, 4, -4, 2, 2, -8, -1, -3, 1, -6, 1, 4, -1, 8, -6, -2, 2, -8, -2, -2, -8, -2, 7, -2, -4, -4, 6, -2, 4, -8, 3, 0, 4, -1, 2, -8, 1, 0, -2, 1, 10, 4, 2, -12, -4, -2, 12, 6, -2, 2, 2, 8, 8, -4, -5, 2, 3, 4, 1, 12, 6, 1, -3, -4, -4, 10, -1, -12, -8, -4, 2, 8, 2, -4, 2, -1, 8, 12, 6, 5, 2, -10, -8, -12, 2, -16, 3, 4, 2, 22, -4, 4, 4, 2, -18, -18, 2, 4, 4, -8, 8, -4, -1, -4, 0, -3, 4, -10, 1, 4, -6, -6, 8, 16, 1, -14, 0, 4, -10, 4, -1, -10, 10, 8, -4, -12, -6, 1, 12, -2, -4, -24, 2, 2, -4, -8, -6, -2, -2, 18, -2, -2, -6, -8, -8, -24, 8, -2, 4, -8, 7, 16, -2, -2, 3, 26, -4, -16, -3, -4, -12, 4, 6, -20, -1, -2, 1, -8, 4, -20, -4, -8, -10, 8, 3, -16, 12, 0, -8, 6, 4, -10, 10, -1, -8, 12, 2, -6, 4, -8, -6, -8, 1, -16, 8, 0, -12, 28, -2, 20, -5, 1, 2, -6, 10, 2, 24, 4, 12, -24, 2, -8, 16, -12, -17, -28, -4, 8, 2, -2, -22, -12, 12, 8, -4, 6, 4, -6, -2, 32, 6, 2, 18, -4, 2, -2, -4, 8, -12, -6, 8, 4, 8, -4, 4, 20, -5, 19, 4, 2, 0, 6, 3, -16, -12, 4, 10, 2, 1, -8, -4, 12, 2, -4, 6, -16, 8, 1, -16, 6, -3, -22, 14, -4, 0, 2, -4, -8, 14, 10, -4, 12, -1, 1, 10, -12, -30, 16, -8, -4, -4, -4, 12, -8, 2, 2, -1, 8, 12, 32, 2, 20, 12, -4, 24, 18, 2, -28, -2, -1, -20, -30, 8, -16, -6, 12, 2, 0, 6, -15, -18, 5, -2, 0, 2, 8, 2, -10, 8, -8, -8, 10, 24, -12, -24, 2, 2, -8, 4, -16, 8, -24, 3, -16, -16, 4, -2, 24, 2, 12, -9, 22, -26, 0, -4, 8, 16, 4, 1, 10, 4, -8, -12, 2, -4, -16, -18, -10, 20, -18, -1, 16, 2, 8, 5, 4, 8, -30, 4, 6, 20, -8, 12, 6, 8, 4, -10, -4, -8, -24, -1, -26, 16, -4, 12, 4, 0, 0, 24, -3, -6, -40, 4, 12, 10, -10, -14, 30, 1, -40, -8, 4, -12, 4, -6, -16, 6, -6, 4, -14, 8, -36, 2, 16, 8, -30, 1, 8, 16, -14, -24, 16, 0, 2, -12, 4, -28, 24, -10, 4, -20, 4, -5, 4, -1, -8, -6, -10, 6, 38, 10, 12, -2, 8, -8, 16, -4, -20, 12, -12, 24, 30, -6, 24, 8, 1, 16, 30, 12, 0, 11, -2, 28, 2, -4, -32, -8, -24, -6, 24, 2, 28, -22, 2, 12, -48, -4, -19, -8, -8, -4, 10, -6, 20, -12, -2, 6, -12, -2, -10, -32, 18, 30, -24, -2, 8, 18, -2, 4, 4, -6, 0, 2, -8, -4, 30, -8, -4, 4, -24, 6, 0, 8, 16, -4, -2, -24, -12, 4, -32, 4, -8, -20, 2, 7, 4, -19, 16, 4, -8, -2, 16, 0, -2, -6, 0, 3, -16, 16, 26, 4, 6, -4, 24, 10, -16, -2, -4, -3, 30, 8, -4, -4, 10, -12, 20, 10, 4, 4, 8, 6, -26, 16, -20, -24, 26, -1, 14, -16, -2, -6, -12, 1, -19, 22, -8, 14, 24, 4, -10, 0, -20, -2, -32, -4, 3, 8, -8, 6, 42, -10, 30, -4, 8, -12, -14, 3, -32, -1, -16, 10, 44, 12, 44, 10, 0, -16, 6, -8, 32, 4, 6, 12, 8, 4, 4, 12, -10, 8, -8, 10, 34, -2, -1, -1, -22, -8, -4, -36, 12, -32, 12, 2, -36, -20, -6, -4, -4, 4, 4, 24, -8, -18, 8, -6, 60, 28, -8, -2, -42, 1, 8, 28, -16, 30, -24, 8, 10, 16, 0, 18, -16, -12, -8, 2, 28, 0, -28, -2, -2, 15, 20, -18, 2, -5, 16, 6, 1, 0, -24, 2, 40, -8, -6, 10, -16, 10, -18, 8, 2, 8, -24, 24, -20, -10, 4, 24, -20, 12, -36, 8, -24, -2, 8, 2, -22, 8, -8, -12, 18, 16, 24, 8, -12, 24, 8, -17, 32, 16, -28, -16, -6, -4, -8, 6, 8, -24, 20, 2, -32, -12, -2, 3, -28, -22, 10, -26, -12, 0, -16, 12, 2, -8, 8, 16, 42, -4, 48, 5, 6, -10, 0, 4, 8, 8, -6, 36, 12, -2, 0, -4, 32, 16, -20, 6, -8, 10, 2, 20, -42, 18, 8, 3, -4, -16, -36, 2, 14, -8, -2, -7, 18, -4, -24, 8, 8, 30, -12, -12, -25, -6, -6, 20, 2, 8, -10, -4, 4, -6, 8, 8, -38, -4, -4, 30, 22, 4, 20, -8, 20, 24, 48, -5, -48, 26, 19, 16, 0, 4, 4, -36, 2, -4, 24, 0, 12, 0, 6, -8, 40, 3, -32, -6, -16, 40, 26, -12, 32, -12, 4, 10, 16, 10, -4, -6, 2, -30, -16, 1, -24, 40, -8, 24, 36, -4, -56, -12, 12, -4, -12, 2, 16, 16, -4, 6, -44, 6, -16, -12, -16, 14, 8, 8, 4, 36, 1, 10, 22, -16, 6, 8, 6, 30, -48, -3, -22, -8, -22, 16, 18, 14, 20, 8, -4, -16, 12, 0, 0, -2, 2, 36, -2, -4, -16, -28, -8, -24, 36, 14, 33, -4, 10, -20, 32, -4, 8, 15, 12, -4, 20, -1, -8, 8, 1, 2, 26, 10, 24, 6, -12, -38, -4, -30, 52, -12, 16, -2, -8, -8, -12, -40, -4, -16, -32, -4, -50, 20, -4, -36, 8, 12, 48, 24, -8, -30, -8, 2, 30, -24, 2, 8, 36, -1, 8, -48, 8, -30, -36, 12, 28, 0, 32, 23, 10, 2, 0, 28, 20, -2, 46, 12, 56, 32, -4, -8, 12, 24, -36, 2, 18, -24, 20, 2, -16, -28, -28, 66, 6, -2, 56, 12, -1, 48, -40, -20, -8, 19, -30, -8, 30, 8, -36, 12, -16, -10, 8, -6, 34, -20, 12, 4, 8, 2, -4, 6, 0, 12, -4, 6, 16, 10, -15, -32, -32, -18, -32, -42, 5, 24, -38, -2, -50, -8, 0, -54, 38, 2, 28, 4, 8, -4, 32, 2, 12, 0, -10, 2, 54, 8, 48, 12, -8, -30, -20, -8, 2, 4, 10, 20, 16, 24, -38, 6, -12, 0, 6, -24, 24, -16, 2, -4, 4, 2, 24, 8, -8, 12, 24, 4, 20, 32, -16, -12, -12, 8, -32, -20, -24, -2, 44, 3, 18, -4, -16, -19, -6, -16, 4, -12, 4, 8, 44, -2, -16, -16, 24, 0, 24, 2, 28, -6, 12, 0, 8, -9, 40, 16, 22, 16, -42, -26, -2, 20, 0, -6, 60, -4, 20, -24, 8, -30, -6, 16, 56, -2, 4, 4, -48, 1, -14, -30, 10, 8, 40, 4, 48, 12, -8, -10, 48, -12, -54, -20, 2, -14, 14, -4, -8, 4, -16, -8, -48, -18, 3, 26, -10, 16, -54, 20, -8, 8, -18, -26, 4, -1, -50, -14, 16, 48, 0, 2, 32, -6, 8, 12, -8, 5, 38, 19, 4, 22, 4, 8, -48, -42, -30, -24, -44, 4, -2, 10, 6, 0, -16, 20, -36, -2, -8, 32, -80, 12, 8, -3, 6, 8, 46, 8, 40, -34, 4, -42, 68, -10, -56, -30, -4, 12, 22, -8, 32, -12, -24, 14, 16, -1, -2, 32, -26, -1, -16, 16, -8, -30, -4, -44, -12, 12, 48, -44, 4, 50, -12, 0, -24, -16, 0, -6, 8, 24, -4, -32, -3, 4, -4, -6, 40, -4, -40, -8, -24, 4, 32, -4, 12, -36, 16, 10, -1, 8, -10, 8, 0, -14, -12, -34, 30, -2, 16, 1, -32, 3, -40, 22, 64, -8, 16, 4, 4, 12, -12, -12, 16, -32, 4, -12, -32, -6, -21, 36, -16, -20, 30, 6, -48, -20, -6, 4, -52, 4, -30, -4, -14, -72, -4, 8, 0, -18, -36, -8, -10, 2, 32, -60, 16, 28, -64, 8, 54, 6, -30, 42, 4, 1, -12, -8, 8, 12, 62, 16, -24, 30, -14, 24, 8, -24, 12, -10, 16, 16, 6, 0, -52, -6, 2, 16, 12, -12, -22, 8, 4, -6, 24, -28, 40, 0, 24, 28, 66, -10, 88, 2, 4, 15, 38, -20, 0, 54, 4, -2, 4, -5, 26, -16, 4, -2, -64, -1, -8, 0, -8, 24, 16, -6, 12, -40, -10, -8, -8, 6, -62, -14, 38, 16, 8, 10, 40, 18, 12, -24, -16, -2, 0, 8, 8, 24, 48, -8, 28, 20, 16, -10, -66, -4, 4, -72, -20, 20, 32, 12, 0, 36, -12, 40, -16, 24, -72, -2, 30, -8, -24, -6, -36, 22, 24, 8, 40, 8, -24, 4, 1, -18, -72, 16, 2, -24, 30, -24, 16, 12, -52, 24, 0, -8, -32, 11, -8, -32, -2, 16, 8, 28, 0, 48, 2, 6, -12, -4, -50, 8, -32, -2, -34, -8, 12, -24, -24, -20, -26, -6, 20, 32, 24, -12, -44, 2, -20, 15, 28, 28, 0, -22, -5, -10, 2, 78, -8, 12, 14, 0, -48, 16, -54, -4, 4, -2, -19, -8, -24, -8, -16, -48, -8, -42, -16, -4, -10, -48, 10, -7, 14, -6, 12, -10, 20, 0, -8, -12, 54, -8, -2, 8, 54, 6, 24, -12, -12, -12, -60, -2, 22, 0, -10, 12, 12, -32, 26, 16, 18, 20, 16, 30, 16, 8, -24, 10, -2, -2, -40, -60, 8, 42, 32, 18, 32, -8, -2, -1, -12, 4, 16, -16, 4, 36, -8, -6, 2, -14, 0, -8, 16, 2, 28, -3, -8, -18, -26, -4, 56, 24, 30, -24, -56, -8, 4, 30, -4, 12, 0, 4, 59, 25, -24, -6, 4, 6, -40, -60, 0, -2, -12, 8, -10, 10, 16, -20, 10, -4, -44, -6, -2, -8, -22, -24, 64, 38, -12, -4, -14, 4, 16, -10, -32, -22, 40, 4, -72, -20, -8, 24, -22, -20, 36, 24, 2, -48, -56, 7, -4, 48, 4, 26, 4, -19, 36, -48, 16, 0, 32, 4, -18, -4, -8, 12, -56, -2, 4, -4, 16, -24, -6, 0, -10, -12, -2, 0, 48, -6, -52, -40, 0, -40, -40, 3, -60, 32, -16, 18, 4, 16, 16, 40, 26, -26, 8, 4, 22, -32, 6, -12, 18, -4, 54, -30, 24, -16, -32, 10, 10, 4, -16, 34, -40, -2, 0, -30, -4, 16, 56, -3, -10, 24, 30, 40, -30, 8, -4, -8, -4, -36, 62, -4, 12, 56, 10, 36, 0, -12, -60, -4, 20, 12, -2, 10, 0, -16, 4, 16, -64, 4, 64, -18, 8, 44, 16, 6, -48, 16, -26, 4, 24, 16, -4, 14, -20, -8, -64, -24, -27, -4, 26, 36, 72, -1, -16, -14, 14, -22, 4, -16, -14, -6, -2, -24, 20, -6, -46, 30, -12, 48, 42, 1, -34, 22, -19, -8, 82, 22, 30, -48, -8, -18, 12, 14, 4, -20, 24, 40, 16, 4, -16, -16, -10, -12, -16, 0, -64, 0, -20, -2, 36, -2, -96, -12, -32, 2, -80, -4, -8, 16, 3, 84, 54, 8, -48, -24, -8, -36, -24, 6, -48, -33, 42, -4, 8, -10, 80, 60, 30, -32, 12, -4, -46, -8, 8, -5, 10, -12, 4, -4, -14, -20, 8, 3, 48, 8, -32, 8, 12, -1, 40, 10, -16, -26, 24, 10, -2, -24, 44, -18, -16, 12, -4, -38, 44, 4, 12, 10, -8, -52, 0, -12, -74, -16, 0, 6, 6, 8, 48, -8, -8, 12, 32, 56, 16, 4, 14, -16, 6, 32, 72, 12, 6, 50, 8, 20, -54, 4, -32, 12, 4, -8, -54, 12, 20, -48, -10, -72, 30, 8, 20, -30, -8, 8, -16, 10, 22, -30, 34, -24, -32, -2, -38, -24, -1, -36, -88, -1, -58, -8, -22, 16, -20, -8, -32, -30, -4, 36, -48, -36, 14, -28, 12, 0, -20, -32, -12, -45, 12, -10, -12, 2, -82, 0, -36, -84, -30, -20, 16, -2, -6, -46, 24, -4, 32, -56, -4, 32, 86, 4, 24, 24, 4, -12, -4, 24, -32, 36, -8, 10, -48, -18, 56, -24, 8, -20, -8, -6, -74, 16, 60, -28, -4, 28, -60, -22, -8, -6, -68, -2, -32, -56, -42, -36, 12, 1, -12, 48, 8, 40, 0, 28, -44, 8, -16, 19, 0, 30, 10, 24, -24, -30, 64, 8, 72, 36, 10, -4, 48, 16, -52, -10, 0, -8, 8, 18, -76, -34, -16, -20, -54, -12, -10, 20, -8, -8, -16, 2, 32, 4, 28, -18, -46, 0, -48, 12, -28, 4, 96, -2, 46, -16, -2, 10, -52, 15, 104, 96, 20, 32, 12, -18, -40, 32, 2, -18, -12, -5, -22, 24, 16, 38, 32, 6, 8, 50, 1, -8, -64, 0, 44, 18, -24, -38, 0, 2, -1, -28, 40, -12, -64, -8, 8, -4, -6, -32, -48, 10, 17, -12, -16, 0, -6, 10, -80, -6, -18, -54, -4, 8, -18, -48, 2, -4, -6, 8, -132, -30, -24, 20, -4, 24, 16, -2, -20, 4, 44, -10, -16, -28, 4, -16, 36, 24, 60, 38, -20, -18, 24, 12, 56, 0, -36, -6, -80, 8, 8, -24, -24, -16, -24, -2, 0, 12, 8, -4, 88, 2, -72, -24, -22, 40, -30, 8, -2, 12, -8, -24, 16, -12, 10, -20, 18, 32, -32, 16, -24, 4, 24, 12, 0, 8, -48, 32, -12, 60, -4, 24, -10, -2, 8, -44, 24, -17, -28, -18, 32, -4, 54, 16, 64, 57, -28, 6, -72, -16, 8, -4, -6, 4, -80, -4, -24, 8, -8, -44, 2, 6, 108, 16, 8, -16, -46, -24, -60, 0, 20, -24, -32, 2, -42, -28, -32, 18, 16, -12, 70, 0, -2, -8, -48, 3, -18, -40, -28, 16, -26, -22, -4, -48, 10, 42, -24, -26, 32, 2, -12, -28, -2, 0, -50, -6, -16, -60, 24, 12, -22, -20, 2, -24, 22, -8, 8, 10, 8, 6, -64, 16, -46, -56, 42, 6, -8, -4, 48, 4, 48, 48, 48, 5, -19, 14, 6, -30, 8, -10, -8, -24, 0, -40, 20, 4, 32, -48, 8, -4, 48, 8, 80, -10, -6, -48, 24, 36, -2, 54, 12, -20, -36, -2, 24, -6, 0, -14, -16, -4, 66, 8, 32, -12, -62, 16, 56, -8, -20, 48, 72, 6, 0, -3, -8, 26, -40, 10, 76, -48, 2, 54, -60, 20, -20, 8, -42, 40, 24, 18, 60, -26, 8, -4, 60, 3, 26, 50, -4, -14, -46, -16, 16, -16, -36, 0, 8, 2, 32, -32, 14, 18, -44, -8, -32, 12, -2, 8, -40, -7, 48, -38, 18, 19, 20, -4, -56, -66, -24, -4, 24, 8, -16, 48, 8, 14, 0, 30, 60, -24, -12, 44, -24, -12, 6, 2, -25, 10, -12, -6, 30, 0, -6, 16, -6, 20, 60, 36, 2, 6, -32, 8, -28, 32, -10, 80, -24, -4, 60, -8, 4, -3, 24, -6, -92, -24, 8, -46, 0, 8, -78, -40, -38, 22, -26, -4, -32, -42, -4, -68, -24, 30, -16, 56, 22, -30, 32, 4, -1, -4, 20, -22, 20, -8, -12, -32, 20, 36, -64, 24, 16, 14, 48, -16, -30, -5, -50, 2, -48, 32, -12, 26, -16, 3, 19, 16, 36, 16, 48, 8, 0, 10, 50, 4, -20, -44, 4, 12, 56, -36, -74, -48, 2, -44, -98, -4, -8, -70, 24, 12, 32, 0, 112, 24, 12, 48, 54, 0, -96, -6, 6, -8, -4, -8, -8, 4, 40, -32, -38, 3, -34, -12, -32, 4, 80, -6, 16, -40, -16, -20, 90, 40, 4, -8, 26, 24, -24, -12, 20, -32, 32, -4, 84, -12, -4, 12, 4, -16, -10, 10, -58, 1, 16, -24, 48, 10, -52, 8, -4, 0, -26, -6, 24, 12, 2, -34, 6, -30, -24, 6, -16, -16, -36, 1, 0, 32, -24, -1, -20, 40, -92, 22, -8, -64, -12, 24, 78, -16, 36, 4, 8, -4, 18, 60, -56, 12, -48, -12, 12, -16, 12, 96, 96, -4, 20, -12, -12, 32, 16, 2, -24, 21, 16, 36, -74, 16, 20, 60, -4, -30, 40, 6, -88, 48, -44, 28, 24, 6, 8, 4, -16, 52, 48, -12, -96, 30, -16, -4, 0, 14, 16, 24, 8, 4, 60, 8, 64, 0, 4, 54, 78, 36, -16, -8, 1, 10, -10, 10, 60, -32, 22, -60, -6, -16, -40, -84, 6, 64, -8, 8, 42, -54, 6, -2, 102, 30, 104, 42, -48, -4, -20, -3, -37, 12, -22, -8, -4, -8, 0, -68, -22, -62, 80, 16, 16, 24, 18, -90, -8, 14, -112, 24, 20, -8, 20, 8, -66, -12, -4, -10, -66, -16, 72, -48, 12, -6, -36, 0, -24, 52, 0, -30, 32, -2, 4, 16, 2, -12, -64, 36, 14, 22, -2, 8, 68, -4, 20, 2, -16, -24, 16, -28, -8, -40, -8, 0, -6, -24, 24, 28, 36, -66, -60, 14, -16, -88, 33, 2, 8, -4, 32, -45, 10, -38, 24, -20, -48, 0, 32, -18, 18, -4, 10, -2, 8, -4, -18, 15, -16, -26, 12, -16, -66, -4, 80, -10, 20, 64, 32, -1, 102, 8, -8, 0, 32, 8, 0, 24, 1, -16, -16, 2, -24, -12, 26, -40, 60, 10, 0, 24, 24, 8, 46, 6, 144, 62, -12, -6, -32, -38, -12, 16, -4, -8, -12, -30, -56, -40, 52, 18, 38, -12, -24, 8, 16, 16, -66, -2, 12, 0, -8, -24, -34, -8, 60, 24, -12, -48, -12, -40, 6, -28, -4, 20, 128, -16, 28, 30, -32, 66, -2, -4, 6, -4, -50, 24, 0, 20, -8, 20, -4, -32, 88, -36]