# Trace form for 8002.2.a.b, downloaded from the LMFDB on 24 April 2024.
[0, 1, 1, 0, 1, 0, 0, 0, 1, -3, 0, -2, 0, 4, 0, 0, 1, 0, -3, 1, 0, 0, -2, 3, 0, -5, 4, 0, 0, -4, 0, 0, 1, 0, 0, 0, -3, 6, 1, 0, 0, -8, 0, -12, -2, 0, 3, -10, 0, -7, -5, 0, 4, -13, 0, 0, 0, 0, -4, 7, 0, 12, 0, 0, 1, 0, 0, -16, 0, 0, 0, 8, -3, 4, 6, 0, 1, 0, 0, 10, 0, 9, -8, -4, 0, 0, -12, 0, -2, 15, 0, 0, 3, 0, -10, 0, 0, 10, -7, 6, -5, 7, 0, 13, 4, 0, -13, 11, 0, -18, 0, 0, 0, -6, 0, 0, -4, -12, 7, 0, 0, -7, 12, 0, 0, 0, 0, -18, 1, 0, 0, -12, 0, 0, -16, 0, 0, -13, 0, 0, 0, 0, 8, -8, -3, 0, 4, 0, 6, -16, 0, -9, 1, 0, 0, 0, 0, -10, 10, 0, 0, 0, 9, 8, -8, 0, -4, -8, 0, 3, 0, -3, -12, -24, 0, 0, -2, 0, 15, -26, 0, -19, 0, 0, 3, 0, 0, 0, -10, 0, 0, -27, 0, 12, 10, 0, -7, 6, 6, 24, -5, 0, 7, 0, 0, 0, 13, -9, 4, -2, 0, 11, -13, 0, 11, 0, 0, 0, -18, 0, 0, 0, 0, -28, 0, 15, -6, -2, 0, 14, 0, 0, -4, -16, -12, 0, 7, 0, 0, 4, 0, 5, -7, 0, 12, 0, 0, 4, 0, 0, 0, 12, 0, -6, -18, 0, 1, 31, 0, 0, 0, 12, -12, -15, 0, 0, 0, 0, -16, 32, 0, -8, 0, 0, -13, 10, 0, -20, 0, 0, 0, -6, 0, -6, 8, 0, -8, 0, -3, -17, 0, 0, 4, -15, 0, 0, 6, 0, -16, 12, 0, 0, -9, 0, 1, 0, 0, 23, 0, 0, 0, -27, 0, 22, -10, 0, 10, 31, 0, 8, 0, 0, 0, 0, 9, -20, 8, 0, -8, 0, 0, 16, -4, -18, -8, 0, 0, 13, 3, 0, 0, 0, -3, 0, -12, 0, -24, 3, 0, -25, 0, 0, -2, 2, 0, 0, 15, 0, -26, -33, 0, -18, -19, 0, 0, 0, 0, 3, 3, 24, 0, 0, 0, -22, 0, 0, -10, -16, 0, 23, 0, 0, -27, -4, 0, 0, 12, 36, 10, 16, 0, 0, -7, 0, 6, 0, 6, -36, 24, 0, -5, -18, 0, 0, 7, 0, 0, -12, 0, -23, 0, 0, 13, 0, -9, 0, 4, 0, -2, -14, 0, 13, 11, 30, -13, 0, 0, 0, 11, 0, 0, -12, 0, -31, 0, 0, -18, 3, 0, 22, 0, 21, 0, -12, 0, 0, -28, 0, 0, -9, 15, 16, -6, 0, -2, 0, 0, -22, 14, 0, 0, 33, 0, 28, -4, 0, -16, 12, -12, 0, 0, 0, 7, 24, 0, -5, 0, 39, 4, -16, 0, 24, 5, 0, -7, 0, 0, 23, 12, 0, 0, 26, 0, 0, 4, 0, 0, 0, 0, 36, 0, 0, 12, 16, 0, 0, -6, 0, -18, 0, 0, 0, 1, 0, 31, 0, 0, 20, 0, 0, 0, -28, 12, 22, -12, 0, -15, 0, 0, -14, 0, -21, 0, -32, 0, 0, -16, 0, 32, 14, 0, 20, -8, 0, 0, 0, 0, -16, -13, -36, 10, -4, 0, 0, -20, 0, 0, 4, 0, -48, 0, 0, -6, 6, 0, 0, -6, 0, 8, 33, 0, 3, -8, 0, 0, -15, -3, 7, -17, 0, 0, 0, 0, 26, 4, 0, -15, 8, 0, 0, 0, 0, 6, -24, 0, 0, -16, 0, 12, 0, 0, 22, 0, 48, -9, 0, 0, 38, 1, 0, 0, -40, 0, 16, 23, 0, 0, -15, 0, 31, 0, 0, -27, 0, 0, 25, 22, 0, -10, 0, 0, -28, 10, 0, 31, 0, 0, -28, 8, -24, 0, -12, 0, 21, 0, 0, 0, 4, 9, -14, -20, 0, 8, 25, 0, 0, -8, -12, 0, 0, 0, -3, 16, 0, -4, 0, -18, -12, -8, 0, 0, -24, 0, 13, 13, 0, 3, -9, 0, 0, 0, 0, 0, -14, -3, 0, 0, 0, -12, -52, 0, 34, -24, 0, 3, 0, 0, 0, -25, 0, 0, -50, 0, 6, -2, 0, 2, 0, 0, 9, 0, -30, 15, 0, 0, 0, -26, 0, -33, 6, 0, 0, -18, 0, -19, 20, 0, 8, 0, -27, 0, 0, 0, 35, 3, 0, 3, 32, 24, -24, 0, 0, 0, 49, 0, 0, -22, 12, 0, 0, 0, -46, -10, 0, -16, 0, 0, -23, 23, 0, 0, 15, 0, 0, -27, 0, -4, 28, 0, 48, 0, 0, 12, 45, 36, 0, 10, 0, 16, -8, 0, -16, 0, 0, -7, 0, 0, -3, 6, 0, 0, 0, 6, 48, -36, 0, 24, 34, 0, 0, -5, -45, -18, -8, 0, 0, 0, 0, 7, -18, 0, -38, 0, 0, -12, 0, 0, -12, -23, 0, 0, 4, 0, 48, 13, 0, 0, 36, -9, -14, 0, 0, 4, 0, 0, 0, -2, 0, -14, -26, 0, -13, 13, 0, 11, 0, 30, 0, -13, 0, 0, 18, 0, 36, 0, 0, 11, 49, 0, 42, 0, 0, -12, 12, 0, 0, -31, 0, 0, -20, 0, -64, -18, -30, 3, 0, 0, -46, 22, 0, 0, 18, 21, 36, 0, 0, -12, -2, 0, 0, 0, -18, -28, -10, 0, 0, 0, 0, -9, 0, 15, 0, 16, 0, -6, 0, 0, -28, -2, -21, 0, 30, 0, 8, -22, 0, 14, 0, 0, 32, 0, 0, 33, 32, 0, -30, 28, -39, -4, 24, 0, -7, -16, 0, 12, 0, -12, 33, 0, 0, 0, 14, 0, -24, 7, 0, 24, -20, 0, 16, -5, 0, 0, -36, 39, 0, 4, 0, -16, 0, 0, -31, 24, -33, 5, 0, 0, 28, -7, 0, 0, -27, 0, 0, 23, 0, 12, -32, 0, -30, 0, 54, 26, 6, 0, 0, 0, 0, 4, -36, 0, 13, 0, 0, 0, 0, 0, -10, 36, 0, 0, 0, 0, 0, 12, 0, 16, -13, 0, 11, 0, 0, -6, -52, 0, 0, -18, 18, 0, -44, 0, 38, 0, 0, 1, 40, 0, 40, 31, 0, 0, 6, 0, -58, 20, 0, 0, 0, 0, -6, 0, 0, -28, 0, 12, 0, 22, 0, -12, -16, 0, -12, -15, 36, 0, 0, 0, 0, -14, 0, 0, 31, -21, -28, 0, 0, -32, -20, 0, -15, 0, 0, -16, -24, 0, 60, 32, 0, 14, -16, 0, -30, 20, 0, -8, 0, 0, 36, 0, 21, 0, -44, 0, 1, -16, 0, -13, -16, -36, 0, 10, 0, -4, -4, 0, 0, 0, 0, -20, -34, 0, -14, 0, 0, 4, 0, 0, 17, -48, 0, 0, 7, 0, 54, -6, 0, 6, -21, 0, 4, 0, 0, -6, -26, 0, 0, 8, 0, 33, 0, 0, 0, 3, 54, -8, 0, 0, 0, 0, 0, -15, 27, -3, -7, 7, 0, -17, 60, 0, 12, 0, 0, 0, -14, 0, 0, 26, 0, 4, 0, 0, 20, -15, 0, 8, 50, 0, -22, 0, 36, 0, 2, 0, 0, 6, 0, -24, -15, 0, 32, 0, 0, -16, -2, 0, 0, 12, 0, 0, 36, 0, 9, 22, 0, 0, 0, 48, 0, -9, 0, 0, 0, 0, -46, 38, 0, 1, 18, 0, -39, 0, 0, -40, 32, 0, 35, 16, 0, 23, 18, 0, 4, 0, 39, -15, 0, 0, 13, 31, 0, 0, 0, 0, 12, -27, 0, 0, 48, 0, 46, 25, 0, 22, 0, 0, 0, -10, 0, 0, 0, 0, 40, -28, 0, 10, 0, 0, 0, 31, 0, 0, 0, 0, -16, -28, 0, 8, 36, -24, -2, 0, 0, -12, -34, 0, 0, 21, 24, 0, 54, 0, 44, 0, 0, 4, 0, 9, -35, -14, 0, -20, -50, 0, -58, 8, 0, 25, -12, 0, 0, 0, 0, -8, 28, -12, 0, 0, 0, 0, 34, 0, -30, -3, 0, 16, 65, 0, 47, -4, 0, 0, 36, -18, 0, -12, 0, -8, 0, 0, 52, 0, 48, -24, 0, 0, 0, 13, 0, 13, 8, 0, 0, 3, 0, -9, 0, 0, 21, 0, 27, 0, 35, 0, 40, 0, 0, -14, -39, -3, -1, 0, 0, 0, -66, 0, 0, -12, 0, -52, 0, 0, -27, 34, 0, -24, 0, 0, 4, 3, 0, 0, 44, 0, 0, 0, 0, -25, 36, 0, -53, 0, 0, -50, 36, 0, 0, 6, 0, -2, -29, 0, 0, 2, 30, 0, 0, 0, -72, 9, 0, 0, 28, -30, 70, 15, 0, 0, -34, 0, -16, 0, 0, -26, 4, 0, 0, -33, 0, 6, 61, 0, 24, 0, 0, -18, 0, 0, 28, -19, 0, 20, 3, 0, -14, 8, 0, 0, 0, -27, 28, 0, 0, 0, 0, 0, 0, 35, -24, 3, -24, 0, -38, 3, 0, 32, -35, 24, 0, -24, 0, 0, 10, 0, -42, 0, 0, 49, -42, 0, 39, 0, 0, -22, 24, 12, 0, 0, 0, 0, 62, 0, 10, -46, 24, -10, 0, 0, 26, -16, 0, 0, -39, 0, 0, -23, 0, 23, -48, 0, 0, 0, -9, 15, -42, 0, -60, 0, 0, -27, 0, 0, -49, -4, 0, 28, 0, 0, 52, 48, 9, 0, -48, 0, -29, 12, 0, 45, 0, 36, -60, 0, 0, 10, -4, 0, 0, 16, 72, -8, 3, 0, 0, -16, 0, 0, 0, 0, 35, -7, 0, 0, -2, 0, -28, -3, 0, 6, -4, 0, 20, 0, 0, 0, 41, 6, 0, 48, 0, -36, 0, 0, -72, 24, 0, 34, 0, 0, -55, 0, 0, -5, 32, -45, 0, -18, 0, -8, -24, 0, 16, 0, 78, 0, 60, 0, 0, 7, 0, -18, -6, 0, 55, -38, 0, 0, 0, 0, -21, -12, 57, 0, 0, 0, 24, -12, 0, -23, -70, 0, 32, 0, 0, 4, 0, 0, 0, 48, 0, 13, 0, 0, -72, 0, 0, 36, 0, -9, 80, -14, 0, 0, 18, 0, -27, 4, 0, 0, -56, 0, -50, 0, 0, -2, 0, 0, 80, -14, 0, -26, 12, 0, 23, -13, 0, 13, 0, 0, 0, 11, 0, 0, 15, 30, 18, 0, 0, -13, 23, 0, -72, 0, 0, 18, -48, 0, 0, 36, 0, 0, -4, 0, -28, 11, 0, 49, 0, 0, 0, 42, 81, 0, 40, 0, -33, -12, 0, 12, 20, 0, 0, 0, 0, -31, -30, 0, 0, 0, -36, -20, -60, 0, 5, -64, 0, -18, 0, -30, 68, 3, 0, 0, 0, 0, -24, -46, 0, 22, 0, 0, -34, 0, 0, 18, 96, 21, 0, 36, 0, 0, -48, 0, 0, -12, -18, -2, -40, 0, 2, 0, 0, 0, -52, -18, -49, -28, 0, -10, -1, 0, -16, 0, -72, 0, -16, 0, 0, -9, 0, 0, 0, 15, -20, 0, 0, 16, 0, 0, 0, -6, 0, 0, -41, 0, -42, -28, 0, -2, 30, -21, 0, 0, 0, 30, 66, 0, -20, 8, 0, -22, 0, 0, -36, 14, 0, 0, 0, 0, 16, 32, 0, 0, 0, 0, 10, 33, 0, 32, -54, 0, 101, -30, 0, 28, 0, -39, 0, -4, 0, 24, -6, 0, -58, -7, 27, -16, 0, 0, 2, 12, 0, 0, -13, -12, -11, 33, 0, 0, 62, 0, -80, 0, 6, 14, 0, 0, 0, -24, 0, 7, -47, 0, 0, 24, 0, -20, 0, 0, 0, 16, -33, -5, -55, 0, 48, 0, 0, -36, 51, 39, -12, 0, 0, 4, -41, 0, 0, -16, 0, 0, 7, 0, 0, -31, 0, 24, 0, -33, 80, 5, 0, 0, 82, 0, -49, 28, 0, -7, -64, 0, 0, 0, 0, -27, 64, 0, 0, 0, 0, 23, 7, 0, 80, 12, 0, -32, 0, 0, 13, -30, 0, 0, -78, 54, -36, 26, 0, 6, 0, 0, 52, 0, 0, 0, -42, 0, -50, 4, 0, -36, -42, 0, 0, 13, 0, 0, 0, 0, -28, 0, 0, 0, 38, 0, 76, -10, 0, 36, 36, 0, 71, 0, 0, 0, -63, 0, 0, 0, 84, 12, 56, 0, -38, 16, 0, -13, 0, 0, -21, 11, 0, 0, 120, 0, 0, -6, -45, -52, 78, 0, 27, 0, 0, -18, 11, 18, 0, 0, 0, -44, 32, 0, -40, 38, 6, 0, 0, 0, 45, 1, 0, 40, 0, 0, -71, 40, 0, 31, 0, 0, -32, 0, -42, 6, 24, 0, 0, -58, 0, 20, -30, 0, -18, 0, 0, 0, 20, 0, 0, -6, 0, 0, 32, 0, 1, -28, 0, 0, 28, 12, 20, 0, 0, 22, 0, 0, 0, -12, 48, -16, 47, 0, 54, -12, 0, -15, 0, 36, 84, 0, 0, 0, -9, 0, -15, 0, 0, -14, -16, 0, 32, 0, 0, 31, -24, -21, 0, -28, 0, 0, 5, 0, 40, -32, 0, -20, 0, 0, -50, -15, 0, 0, 31, 0, -16, -16, 0, -24, -6, 0, 0, 60, -12, 32, -63, 0, 0, 14, 0, -16, 0, 0, 30, -30, 0, 20, 0, 0, -12, -8, -15, 0, -32, 0, 104, 36, 0, 0, 0, 21, 83, 0, 0, -44, 42, 0, 0, 1, 0, -16, -48, 0, 0, -13, 0, -16, 0, -36, -40, 0, 0, 10, 0, 0, -77, -4, 0, -4, 38, 0, 53, 0, 0, 0, -87, 0, 0, -20, 0, -34, 0, 0, 40, -14, -12, 0, -75, 0, 0, 4, 0, 0, 30, 0, 0, 17, 0, -48, 48, 0, 41, 0, 0, 7, 9, 0, 0, 54, 0, -6, -96, 0, 61, 6, 0, -21, 0, 0, 72, 4, -36, 0, 0, 0, 0, -6, 0, -26, -42, 0, -16, 0, 0, 8, 8, 0, 0, 33, 18, 0, 156, 0, -8, 0, 0, 3, 0, 54, 48, -8, 0, 0, -40, 0, 18, 0, 0, 0, -92, 0, -7, -15, 0, 27, 70, -3, 0, -7, 0, 7, -16, 0, -4, -17, -93, 60, 0, 0, 0, 12, 0, 0, -22, 0, 21, 0, 0, -14, -104, 0, 0, 0, 0, 26, -64, 0, 0, 4, 0, 0, -36, 0, 18, 20, 0, -15, 0, 0, 38, 8, -36, 50, 66, 0, -76, -22, 0, 0, -54, 36, 0, 0, 0, 2, 0, 0, 0, 0, 45, 6, 39, 0, -18, -24, 0, -15, 0, 0, 35, 32, 0, 0, -72, 0, 27, -16, 0, -2, 0, 0, -26, 0, 0, 12, 29, 0, 0, 0, 0, 36, -6, 0, 49, 9, 0, 22, 0, 0, 16, 0, 0, 0, -3, 48, -18, 0, 0, -9, -42, 0, -56, 0, -96, 0, -84, 0, -50, -46, 0, 38, 0, 0, 0, 1, 0, 18, 0, 0, 4, -39, 24, 0, -58, 0, 0, -40, 0, 32, -32, 0, 0, 35, 0, 16, 56, 0, 0, 23, 0, 18, 88, 0, 33, 4, 0, 0, 0, 39, 52, -15, 0, 0, 0, 0, 12, 13, -30, 31, -55, 0, -96, 0, 0, 0, -108, 0, 0, 12, 0, -27, -12, 0, 130, 0, 60, 48, 0, 0, 4, 46, 0, 25, -96, 0, 52, 22, 0, 0, -54, 0, 48, 0, 0, -10, 0, 0, 0, 0, 0, 0, -28, 0, -58, 40, 0, -28, -35, 0, 0, 10, 18, 0, 36, 0, 0, 0, 0, 31, -84, 0, 27, 0, 0, 0, -20, 0, 0, -16, 18, -28, -85, 0, 32, 8, 0, 36, 0, -24, -58, -2, 0, 0, 24, 0, 32, -12, 0, -34, 0, 0, 0, 0, 0, 21, 0, 24, -65, 0, 0, 54, 69, 0, -60, 44, 0, 0, 0, 0, 96, 4, 0, 0, 92, 9, -64, -35, 0, -14, 91, 0, -18, -20, 51, -50, -13, 0, 0, -58, 0, 8, -74, 0, 0, 25, 0, -12, 0, 0, 58, 0, 0, 0, 26, 0, -144, -8, 0, 28, 48, -12, -8, 0, 0, 0, -63, 0, 0, 0, 45, 34, 0, 0, 0, -30, 0, -3, 0, 0, 48, 16, 0, 65, -10, 0, 0, 47, 0, -4, -60, 0, 14, 0, 0, 36, 63, -18, 0, 0, 0, -12, 0, 0, -60, -8, 0, 0, -55, 0, -22, 52, 0, 0, 0, 48, 74, -24, 0, 0, 63, 0, -92, 0, -36, 13, 48, 0, 0, 13, 0, 8, 24, 0, 24, 0, 0, 3, 0, 0, -7, -9, 0, 0, -52, 0, -78, 21, 0, 0, -8, 27, -64, 0, 0, 35, 0, 0, 90, 40, 0, 0, 91, 0, 83, -14, 0, -39, 0, -3, 0, -1, 0, 0, 42, 0, 44, 0, 0, -66, 128, 0, -59, 0, 0, -12, 42, 0, 0, -52, 0, 0, 0, 0, -24, -27, -69, 34, 0, 0, -46, -24, 0, 0, 0, 0, -70, 4, 0, 3, 32, 0, 0, 0, 0, 44, -21, 0, 0, 0, 0, 0, 54, 0, 12, -25, 0, 36, 0, 0, 73, -53, 81, 0, 42, 0, 22, -50, 0, 36, 0, 0, 116, 0, 0, 6, -40, 0, 0, -2, -66, -29, -48, 0, 0, 0, 0, 2, 30, 30, -62, 0, 0, 0, -16, 0, -76, -72, 0, 9, -51, 0, 0, 0, 0, 28, -51, -30, 0, 70, 0, 15, 0, 0, 26, 0, -93, -34, 0, 0, 6, -16, 0, 0, -58, 0, 0, -26, 0, 4, -120, 0, -9, 0, -24, -33, 0, 0, 0, 6, 0, 61, -96, 0, 192, 24, 0, 0, 0, 0, -14, -18, 0, 0, -49, 0, 30, 28, 0, -19, -50, 0, -112, 20, 0, 3, -82, 0, 0, -14, 0, 8, -62, 0, -64, 0, 0, 0, 0, -27, -1, 28, 0, 0, -54, 0, 60, 0, 60, 0, 48, 0, -28, 0, 0, 35, 0, -24, 0, 3, 0, -24, 29, 0, 0, -38, 0, 3, 0, 0, 0, 32, 0, -35, -8, 24, -98, 0, 0, -24, 8, 0, -64, 0, 0, 10, 10, 0, 0, -42, 0, 0, -85, 0, -14, 49, 0, -42, 0, 0, 56, 39, -48, 0, 16, 0, -10, -22, 0, 24, -52, 12, -84, 0, 0, 0, -32, 0, 0, 0, 54, 62, -34, 0]