# Trace form for 8001.2.a.f, downloaded from the LMFDB on 29 March 2024. [0, 1, 2, 0, 2, 0, 0, -1, 0, 0, 0, 0, 0, 2, -2, 0, -4, -1, 0, -2, 0, 0, 0, 0, 0, -5, 4, 0, -2, 9, 0, 0, -8, 0, -2, 0, 0, -1, -4, 0, 0, 3, 0, -6, 0, 0, 0, -8, 0, 1, -10, 0, 4, -11, 0, 0, 0, 0, 18, 12, 0, -10, 0, 0, -8, 0, 0, 4, -2, 0, 0, -8, 0, -4, -2, 0, -4, 0, 0, -13, 0, 0, 6, 6, 0, 0, -12, 0, 0, -12, 0, -2, 0, 0, -16, 0, 0, -7, 2, 0, -10, -4, 0, -16, 0, 0, -22, -6, 0, 16, 0, 0, 4, 6, 0, 0, 18, 0, 24, 1, 0, -11, -20, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 2, 8, 0, 0, 6, 0, -7, 0, 0, -16, 0, 0, 0, -8, 0, -2, 10, 0, 8, 0, 0, 0, 0, 0, -12, -26, 0, 0, 0, 0, -15, 6, 0, 12, 2, 0, -9, 0, 0, -12, -14, 0, 5, 0, 0, -24, -18, 0, -21, -4, 0, 0, 0, 0, 0, -16, 0, 0, -8, 0, 22, -14, 0, 2, 16, 0, 20, 0, 0, -8, -9, 0, 0, -32, 0, -8, 0, 0, 4, -22, 0, -12, 0, 0, 0, 32, 0, 0, -2, 0, -5, 8, 0, 12, 12, 0, -17, 0, 0, 0, 11, 0, 0, 24, 0, 2, 21, 0, 11, -22, 0, -20, 0, 0, -4, 0, 0, 0, -13, 0, 0, 2, 0, 16, 22, 0, 1, 0, 0, -2, -12, 0, 0, 4, 0, 8, 1, 0, 4, 4, 0, 12, 0, 0, -20, -14, 0, 0, 3, 0, -13, -16, 0, 0, -3, 0, -16, 0, 0, -8, 24, 0, 0, 0, 0, 20, 0, 0, 6, 16, 0, 8, 0, 0, -21, 0, 0, 0, -4, 0, 27, -24, 0, -26, 34, 0, 0, 0, 0, 0, 2, 0, -10, -30, 0, 0, 8, 0, 2, 12, 0, 4, 0, 0, 10, -18, 0, 0, 0, 0, -1, 0, 0, -28, 15, 0, -27, 10, 0, 0, -2, 0, 0, -24, 0, -36, 27, 0, -15, -42, 0, -4, 0, 0, 2, 0, 0, 0, 11, 0, 4, 0, 0, 0, 18, 0, -36, 0, 0, -16, 3, 0, 0, 44, 0, -14, 10, 0, 0, 0, 0, 32, 0, 0, -16, 40, 0, 20, -9, 0, 0, -8, 0, -18, 0, 0, 18, 0, 0, -32, -12, 0, 0, -16, 0, 0, -28, 0, -2, 8, 0, 0, 5, 0, 10, -12, 0, 0, 12, 0, 0, 0, 0, 32, 0, 0, -7, 0, 0, -4, -14, 0, 0, -10, 0, 8, -16, 0, 0, 12, 0, 24, 0, 0, 35, -34, 0, 0, -40, 0, -36, -36, 0, 22, -4, 0, -4, 0, 0, 0, 0, 0, 10, 2, 0, 42, 19, 0, -2, 22, 0, -22, 0, 0, 30, 0, 0, 0, -44, 0, -9, -8, 0, 0, 8, 0, 10, 0, 0, -26, -1, 0, 0, 0, 0, 2, -41, 0, 4, 32, 0, 44, 0, 0, 0, 2, 0, 0, 30, 0, 32, -2, 0, -24, 0, 0, -23, 0, 0, 4, 6, 0, 0, 0, 0, 2, 0, 0, 24, 8, 0, 8, 0, 0, -12, 12, 0, 0, -18, 0, 13, -40, 0, -14, 40, 0, -12, 0, 0, 6, 32, 0, 0, -26, 0, 0, 22, 0, 14, 0, 0, -6, 0, 0, 8, -32, 0, 0, -6, 0, 0, 0, 0, 48, -17, 0, 0, 0, 0, 4, 0, 0, 0, 20, 0, 0, -21, 0, 27, 12, 0, 16, 0, 0, -10, 16, 0, 0, -16, 0, 46, -42, 0, 0, 37, 0, 1, 0, 0, -8, 12, 0, 25, 54, 0, -24, 1, 0, 10, 0, 0, 68, 0, 0, 2, 0, 0, 0, -35, 0, 38, 0, 0, 4, -38, 0, 0, -20, 0, -30, -14, 0, 0, -12, 0, 16, -4, 0, -28, 4, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 25, 20, 0, -18, 21, 0, 7, 0, 0, 0, -16, 0, 0, -2, 0, 24, -22, 0, -37, -28, 0, 30, 0, 0, -3, -54, 0, 10, 22, 0, 2, 0, 0, -4, 4, 0, 21, 0, 0, 0, 0, 0, 0, -36, 0, 54, -21, 0, 16, -30, 0, -42, -45, 0, -3, 0, 0, 0, 6, 0, 14, 4, 0, 0, 0, 0, 31, 0, 0, 22, 15, 0, 0, 8, 0, 0, 6, 0, 20, 32, 0, 36, 0, 0, 23, -72, 0, 0, -4, 0, -16, -16, 0, 6, 24, 0, -41, 0, 0, 44, -9, 0, 0, 0, 0, 20, -6, 0, 0, 0, 0, -4, 0, 0, 14, 32, 0, 0, -6, 0, -20, -32, 0, 40, -34, 0, 8, 40, 0, -18, 0, 0, 0, 0, 0, 0, 12, 0, 36, -18, 0, 0, 0, 0, 12, 36, 0, 0, 37, 0, 27, 0, 0, -24, 13, 0, -6, 0, 0, -16, -1, 0, 0, 0, 0, -56, 54, 0, 52, -4, 0, 8, 0, 0, 11, 44, 0, 10, 0, 0, 5, 20, 0, 0, -18, 0, 5, 0, 0, 24, 35, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 3, -14, 0, 0, -42, 0, -12, -4, 0, -28, -20, 0, -1, 0, 0, -10, 16, 0, 0, 0, 0, -32, 0, 0, 11, 0, 0, 0, 0, 0, 47, 24, 0, 0, -2, 0, 0, 70, 0, -34, 1, 0, 11, 0, 0, -80, -16, 0, 5, -72, 0, -72, 16, 0, -2, 22, 0, -8, 0, 0, -10, -8, 0, 0, -1, 0, 0, -48, 0, 0, -31, 0, -8, 20, 0, 0, -32, 0, 0, 42, 0, 38, -6, 0, -31, -4, 0, 22, 0, 0, -30, 0, 0, 0, -60, 0, 7, 60, 0, 40, 4, 0, 0, 0, 0, -88, -9, 0, 0, -18, 0, -8, 0, 0, -14, 0, 0, 16, 0, 0, -42, 20, 0, 0, 0, 0, -12, -26, 0, -2, 22, 0, -37, 0, 0, 0, 6, 0, 0, 0, 0, -82, 44, 0, 41, 8, 0, 32, -15, 0, -26, 44, 0, 0, 8, 0, -10, 0, 0, 2, 10, 0, 27, 0, 0, 60, -10, 0, 0, 64, 0, 0, -34, 0, -5, -24, 0, 0, 0, 0, -8, -46, 0, 0, 42, 0, -50, 0, 0, 12, 0, 0, 19, 0, 0, -16, -9, 0, 30, 2, 0, 0, 12, 0, 0, 48, 0, 8, 0, 0, -37, 8, 0, 0, -26, 0, -40, -24, 0, 0, 50, 0, 12, 0, 0, -36, 36, 0, 0, 26, 0, -40, -10, 0, 0, 0, 0, 80, 0, 0, -20, -24, 0, 0, -24, 0, 0, 6, 0, 64, 0, 0, 35, 0, 0, -26, 0, 0, 0, 32, 0, 44, -4, 0, 15, 28, 0, 0, 0, 0, 0, -6, 0, 0, -27, 0, -19, 16, 0, -32, -24, 0, 20, 0, 0, -12, -9, 0, 0, 0, 0, 16, -2, 0, 64, 48, 0, -34, 40, 0, 0, 0, 0, 0, -15, 0, 9, 8, 0, 0, 52, 0, 27, 0, 0, 0, 9, 0, 0, 0, 0, -42, 0, 0, 20, 54, 0, 12, 0, 0, 8, 0, 0, 0, 14, 0, -35, -20, 0, 16, -23, 0, 0, 0, 0, -32, -48, 0, -5, 92, 0, -42, -46, 0, -62, 0, 0, 74, 0, 0, -48, 2, 0, 0, 4, 0, 0, -8, 0, 24, -54, 0, -17, 50, 0, 54, 18, 0, 0, 0, 0, 2, -30, 0, -14, 20, 0, 52, 0, 0, 21, 68, 0, 0, 0, 0, -8, 4, 0, 0, 48, 0, 20, 0, 0, -70, -32, 0, 0, 76, 0, 0, -18, 0, 46, 4, 0, -76, 0, 0, 0, 0, 0, -20, 45, 0, 60, 0, 0, -28, -33, 0, 0, 0, 0, -24, -8, 0, 0, 16, 0, -8, -72, 0, 38, -56, 0, 4, 55, 0, -10, -24, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, -32, 0, 0, 0, 13, 0, 0, 50, 0, 20, 16, 0, -22, 0, 0, 42, 0, 0, 0, 14, 0, 0, -42, 0, -72, 0, 0, -32, -53, 0, -36, 0, 0, -2, 6, 0, 0, 48, 0, -44, -16, 0, -28, -74, 0, 0, 0, 0, 8, 30, 0, 0, -12, 0, -20, -6, 0, -54, 0, 0, 40, 0, 0, 44, 0, 0, 0, 4, 0, 0, 13, 0, -6, -4, 0, 8, 0, 0, 32, 42, 0, 0, 9, 0, 53, 48, 0, 0, 7, 0, 21, 0, 0, 0, 22, 0, 0, 54, 0, -42, -24, 0, 0, 32, 0, -30, 0, 0, -22, 0, 0, -90, 63, 0, -26, -6, 0, 8, 0, 0, -22, 0, 0, 12, 0, 0, 0, 28, 0, 4, 12, 0, -32, 0, 0, 0, -60, 0, -4, 62, 0, 0, 34, 0, 41, 22, 0, 30, 44, 0, -15, 0, 0, 8, 45, 0, 0, 0, 0, 12, -21, 0, 26, 40, 0, 64, 0, 0, 0, 36, 0, 0, -6, 0, 12, 46, 0, -72, -3, 0, 0, 0, 0, -8, 37, 0, 50, -32, 0, 0, 0, 0, -64, 6, 0, 48, 0, 0, -99, -82, 0, 0, 0, 0, 42, 0, 0, -18, 2, 0, -13, 0, 0, 28, -44, 0, 0, 20, 0, -12, -29, 0, 5, 0, 0, 0, 0, 0, -11, -8, 0, 0, -65, 0, -22, 28, 0, 0, -12, 0, -38, 0, 0, -12, -55, 0, 0, -40, 0, -32, -12, 0, 6, 0, 0, -68, 0, 0, -39, 16, 0, 40, 68, 0, 17, -18, 0, 0, -15, 0, -11, 0, 0, 0, 44, 0, 0, 16, 0, 24, -20, 0, -4, 72, 0, 0, 0, 0, -42, 0, 0, 0, -11, 0, 0, 24, 0, 36, 11, 0, 0, 0, 0, 74, 0, 0, 0, 54, 0, 64, 7, 0, 2, -24, 0, 26, 0, 0, -34, -12, 0, 0, 0, 0, 26, 0, 0, -2, -12, 0, 46, 0, 0, 0, -21, 0, -20, -56, 0, 108, 0, 0, -32, 104, 0, -4, 0, 0, -11, 0, 0, 0, 24, 0, 78, 22, 0, 88, -28, 0, 68, 10, 0, 0, -2, 0, 0, 10, 0, 20, 65, 0, 108, 24, 0, -36, 0, 0, 4, 10, 0, 0, -5, 0, -69, 24, 0, 70, 0, 0, 4, 0, 0, 0, 8, 0, 0, 0, 0, 0, 8, 0, 59, 16, 0, -64, 0, 0, 0, 0, 0, 0, 16, 0, 62, 6, 0, -14, 13, 0, -82, 0, 0, -84, -18, 0, 0, -24, 0, 0, -90, 0, 0, -28, 0, -40, 40, 0, 5, -2, 0, 0, 12, 0, -51, 0, 0, 32, 2, 0, 35, 0, 0, -16, 0, 0, 0, -32, 0, 0, -22, 0, -38, 22, 0, 0, 0, 0, -14, -24, 0, 0, 40, 0, -1, 94, 0, 0, 0, 0, 6, 0, 0, -4, -46, 0, 20, 0, 0, 70, 0, 0, 50, 0, 0, 2, 0, 0, 0, 22, 0, 0, 12, 0, 14, -80, 0, -32, 35, 0, -7, 10, 0, -72, -16, 0, 0, -72, 0, 32, 0, 0, 10, -4, 0, 0, 0, 0, 20, -8, 0, 0, -48, 0, -20, -20, 0, -8, -24, 0, -59, 0, 0, -2, -1, 0, 0, 0, 0, -96, 40, 0, 0, 0, 0, -62, 0, 0, -4, -16, 0, 20, 9, 0, 0, -4, 0, -64, -60, 0, 0, 0, 0, 0, -10, 0, 0, 38, 0, -12, 8, 0, -6, -62, 0, -4, 0, 0, -24, 0, 0, 0, -12, 0, 26, -60, 0, 44, 20, 0, 20, 0, 0, -120, 36, 0, 0, 14, 0, 60, -22, 0, 73, 80, 0, 8, 0, 0, 32, 0, 0, 0, 11, 0, 16, -88, 0, -18, -3, 0, 0, 0, 0, -18, 39, 0, 65, 0, 0, 0, -51, 0, 13, -28, 0, 0, 0, 0, 36, 16, 0, 0, 0, 0, -44, -84, 0, 20, -18, 0, -15, 0, 0, 0, 54, 0, 0, -24, 0, 0, 3, 0, -8, -2, 0, 44, 0, 0, 44, -74, 0, 0, 48, 0, 16, 0, 0, 12, -34, 0, 22, 0, 0, -4, 12, 0, 0, -82, 0, 88, 60, 0, -24, 82, 0, 8, 0, 0, 0, 0, 0, -30, -24, 0, -38, -52, 0, 0, 11, 0, -72, 0, 0, 16, -36, 0, 0, -20, 0, 0, 6, 0, -32, 0, 0, 20, -30, 0, 0, 54, 0, 0, 10, 0, -88, 60, 0, -20, 8, 0, -10, 0, 0, 64, 0, 0, 0, 4, 0, -68, -82, 0, 0, -10, 0, 0, 0, 0, -6, 0, 0, 0, 12, 0, 16, -16, 0, -46, -36, 0, -30, 0, 0, 84, 0, 0, 0, -100, 0, -8, 26, 0, 10, 12, 0, 0, 0, 0, 56, 38, 0, 0, 78, 0, 68, -32, 0, -18, -12, 0, 21, 60, 0, 0, 82, 0, 0, 0, 0, 24, -1, 0, -8, 0, 0, 48, 0, 0, 0, 0, 0, 0, 4, 0, -33, -74, 0, 0, 4, 0, -38, 0, 0, -52, -12, 0, 0, -80, 0, -24, 0, 0, -27, -24, 0, 100, 0, 0, -44, 24, 0, 0, 0, 0, 44, -36, 0, 72, 33, 0, 17, 0, 0, 26, -78, 0, 0, 0, 0, -20, -34, 0, 18, 0, 0, 28, 60, 0, 1, 80, 0, 0, 0, 0, 0, -40, 0, -24, 27, 0, -17, 0, 0, -48, 56, 0, 0, 0, 0, 0, -28, 0, -44, 64, 0, 0, 0, 0, 10, 70, 0, 0, -2, 0, 0, 0, 0, 0, 36, 0, 4, 0, 0, 64, -24, 0, 10, 44, 0, -8, 66, 0, -50, 30, 0, 28, 0, 0, -74, 0, 0, 0, -117, 0, -32, 0, 0, 0, -76, 0, 22, 0, 0, -54, -8, 0, 0, -38, 0, 16, -84, 0, -41, 0, 0, -48, 0, 0, -2, 40, 0, 0, 0, 0, 0, -12, 0, -18, -36, 0, -6, 0, 0, 0, 6, 0, 0, 32, 0, -4, -33, 0, 14, 128, 0, 0, 0, 0, -73, -34, 0, 80, -16, 0, -42, 0, 0, 0, 57, 0, -10, 0, 0, -30, 7, 0, 0, 18, 0, 8, 0, 0, -4, 0, 0, 104, 0, 0, 76, 54, 0, 0, -63, 0, 91, -40, 0, 18, 0, 0, -29, 0, 0, 0, 14, 0, 0, -42, 0, 0, -13, 0, 1, 40, 0, 54, 0, 0, 54, 0, 0, 0, -54, 0, -2, 16, 0, -32, 64, 0, 36, 0, 0, 28, -23, 0, 35, -70, 0, -20, -15, 0, 0, 0, 0, -46, 0, 0, 26, 0, 0, 0, 6, 0, 27, -32, 0, -96, -12, 0, 0, -10, 0, 92, 0, 0, 0, 0, 0, -92, 11, 0, 0, -124, 0, 0, 0, 0, 29, 74, 0, 0, 2, 0, 49, -96, 0, 2, 18, 0, -4, 0, 0, 8, -16, 0, 0, 0, 0, 0, 2, 0, 88, 24, 0, -108, 0, 0, 0, -34, 0, 50, -30, 0, -40, 0, 0, 36, 0, 0, 44, 0, 0, 48, -27, 0, 0, 2, 0, -60, 0, 0, -80, -28, 0, 20, 20, 0, 15, 104, 0, 0, -67, 0, -10, 42, 0, 0, -72, 0, -23, 0, 0, 0, 75, 0, 0, -16, 0, 4, 4, 0, 70, 0, 0, 96, 0, 0, -82, 40, 0, 0, 32, 0, 0, -70, 0, -64, -8, 0, -2, 0, 0, 76, 0, 0, 80, 0, 0, -36, -60, 0, -108, 92, 0, 0, 0, 0, 40, -76, 0, 0, 79, 0, -51, 0, 0, 0, -11, 0, 0, 0, 0, 90, -12, 0, 0, 120, 0, 60, -65, 0, -4, -28, 0, -66, 0, 0, 42, 0, 0, 0, 53, 0, 60, -24, 0, -16, 8, 0, 0, 0, 0, 0, -39, 0, 0, -8, 0, -144, -18, 0, 14, 76, 0, -56, 0, 0, -47, 0, 0, 110, 0, 0, 36, -20, 0, -48, 72, 0, 5, 0, 0, 0, 30, 0, 0, 0, 0, 0, 12, 0, -24, -8, 0, 16, 30, 0, -81, -64, 0, 0, -3, 0, -44, 0, 0, 26, 22, 0, 37, 0, 0, 50, -14, 0, 0, 0, 0, 32, -6, 0, 4, -44, 0, 36, 0, 0, -12, 42, 0, 0, 12, 0, 10, 0, 0, 14, 0, 0, -58, 0, 0, -84, -10, 0, -80, -144, 0, 0, 89, 0, -72, -32, 0, -106, 0, 0, 0, -72, 0, 0, 96, 0, 8, 0, 0, 12, 12, 0, -50, 0, 0, 48, -33, 0, 0, -44, 0, -32, 0, 0, 0, -56, 0, -74, 0, 0, -56, 56, 0, 0, 15, 0, -96, 16, 0, 0, -102, 0, 16, 0, 0, -24, 0, 0, 0, -40, 0, -6, -6, 0, -38, 0, 0, 0, 0, 0, -32, 80, 0, -20, 3, 0, 36, 44, 0, 0, 9, 0, 68, 0, 0, 4, -63, 0, 0, 0, 0, 26, -36, 0, 0, -12, 0, 0, -30, 0, 0, 8, 0, 0, -20, 0, 3, 64, 0, 42, 33, 0, -2, 0, 0, 18, -64, 0, 0, 106, 0, 96, 0, 0, 0, 0, 0, 14, 0, 0, -16, 42, 0, 0, -70, 0, -18, 72, 0, 44, 80, 0, -16, 0, 0, 0, 9, 0, 0, -42, 0, -48, 33, 0, -24, 0, 0, 32, 0, 0, -87, 0, 0, 0, 12, 0, 0, -44, 0, 84, -10, 0, -10, -90, 0, 126, 72, 0, 0, -52, 0, -6, -60, 0, -24, 16, 0, 0, 0, 0, -78, -44, 0, 0, 0, 0, 13, 12, 0, 0, -60, 0, -36, 0, 0, 28, 28, 0, 0, 0, 0, 24, 89, 0, 14, -64, 0, 0, 0, 0, 2, 0, 0, -120, 24, 0, 100, -8, 0, 62, -39, 0, 0, 0, 0, 68, 4, 0, 0, 82, 0, 0, 41, 0, 74, 30, 0, 88, -5, 0, -34, -30, 0, 0, 0, 0, 24, 0, 0, 90, -144, 0, -10, 0, 0, 0, -12, 0, 0, 12, 0, -42, -108, 0]