# Trace form for 8001.2.a.a, downloaded from the LMFDB on 16 April 2024.
[0, 1, -2, 0, 2, -3, 0, -1, 0, 0, 6, -2, 0, 5, 2, 0, -4, -6, 0, -8, -6, 0, 4, -5, 0, 4, -10, 0, -2, 3, 0, -1, 8, 0, 12, 3, 0, -11, 16, 0, 0, -6, 0, -8, -4, 0, 10, 2, 0, 1, -8, 0, 10, -3, 0, 6, 0, 0, -6, 3, 0, -1, 2, 0, -8, -15, 0, 2, -12, 0, -6, -10, 0, 11, 22, 0, -16, 2, 0, 0, 12, 0, 12, -17, 0, 18, 16, 0, 0, 1, 0, -5, -10, 0, -4, 24, 0, -6, -2, 0, 8, -7, 0, -8, 0, 0, 6, 18, 0, -4, -12, 0, 4, -2, 0, 15, 6, 0, -6, 6, 0, -7, 2, 0, -2, 3, 0, -1, 0, 0, 30, 4, 0, 8, -4, 0, 0, 7, 0, -14, 6, 0, 20, -10, 0, -9, -22, 0, -22, -16, 0, -2, 0, 0, -4, 3, 0, -14, 0, 0, -24, 5, 0, -1, -12, 0, 34, 8, 0, 12, -36, 0, -16, -18, 0, -4, 8, 0, -2, -26, 0, -16, 10, 0, 0, 33, 0, 12, 4, 0, -48, 12, 0, -18, 12, 0, 2, -18, 0, -5, 0, 0, 14, -3, 0, 18, 16, 0, -20, 16, 0, -25, -6, 0, -36, 24, 0, 1, 8, 0, 12, -30, 0, -10, -8, 0, 4, 28, 0, -10, -30, 0, 0, -15, 0, -6, 6, 0, -12, 19, 0, -8, 14, 0, -2, -3, 0, -40, 0, 0, -6, 16, 0, 10, 2, 0, 16, -5, 0, 11, -30, 0, -8, 12, 0, 9, -16, 0, 4, -18, 0, 13, 24, 0, -14, -8, 0, 30, 28, 0, 0, -6, 0, 14, -20, 0, 20, 6, 0, 19, 18, 0, 22, 18, 0, -9, 0, 0, 32, -25, 0, 8, 4, 0, 32, 3, 0, -2, 4, 0, -6, 7, 0, -14, 28, 0, 0, -6, 0, -6, 24, 0, -10, 48, 0, 20, 2, 0, 0, -2, 0, 18, -34, 0, -16, -6, 0, -28, -24, 0, 36, 2, 0, -1, 0, 0, 36, -37, 0, -14, 8, 0, -16, 24, 0, 30, 2, 0, 52, 8, 0, 45, 32, 0, -10, -33, 0, -5, 20, 0, -66, 3, 0, -38, -24, 0, 0, 15, 0, 32, 48, 0, -24, -24, 0, -6, 36, 0, -12, -14, 0, 30, 0, 0, 36, 0, 0, 17, 10, 0, -16, -7, 0, -5, -14, 0, 6, 22, 0, -8, -36, 0, -16, -3, 0, 51, 40, 0, -32, -16, 0, 38, 50, 0, 0, -24, 0, 1, 36, 0, -48, -18, 0, 26, -2, 0, -8, 40, 0, 2, 0, 0, 60, -2, 0, -3, 20, 0, 8, -8, 0, 12, -4, 0, -56, 15, 0, 11, 20, 0, 30, 18, 0, -35, -12, 0, 30, -7, 0, -2, 12, 0, 0, 16, 0, -32, 12, 0, -38, 14, 0, -55, 16, 0, -14, 18, 0, -2, 0, 0, 6, 20, 0, -18, 80, 0, 4, 10, 0, 28, 6, 0, -32, 26, 0, 21, -20, 0, -2, -12, 0, -11, -32, 0, 10, 24, 0, -4, -22, 0, 0, -30, 0, 11, 8, 0, -24, 6, 0, 2, -18, 0, 16, -30, 0, -54, 0, 0, 36, -2, 0, -22, -26, 0, -48, 12, 0, 36, 14, 0, 16, -24, 0, 0, -60, 0, -28, 10, 0, -40, -12, 0, 12, 12, 0, 6, -28, 0, 0, -34, 0, 18, -20, 0, -12, -20, 0, -35, -38, 0, -18, 17, 0, 6, 0, 0, -36, 42, 0, 8, 18, 0, 44, -5, 0, -18, -32, 0, 50, -15, 0, 34, -16, 0, -4, 21, 0, -29, -64, 0, -6, 10, 0, 8, 4, 0, 0, 7, 0, -8, 6, 0, -14, -1, 0, -29, 28, 0, -28, 66, 0, -8, 0, 0, 12, 3, 0, 5, 12, 0, 0, 14, 0, 28, 10, 0, -96, 3, 0, -6, -40, 0, -2, -14, 0, -12, 24, 0, 4, -11, 0, 7, -36, 0, 0, -24, 0, -15, 16, 0, 12, 2, 0, 19, 56, 0, 24, -28, 0, 6, 0, 0, -4, -36, 0, -21, 2, 0, 32, -15, 0, 42, -36, 0, 74, 42, 0, 36, 28, 0, -8, -33, 0, 88, 16, 0, -48, 7, 0, 38, -60, 0, 0, 5, 0, 30, -52, 0, -16, 30, 0, 8, -90, 0, -32, 12, 0, 30, 0, 0, 66, 48, 0, -23, 10, 0, -40, -4, 0, -15, 66, 0, -6, -27, 0, 48, 76, 0, 24, -18, 0, -22, -8, 0, -30, 6, 0, -31, -64, 0, 0, 15, 0, 4, 24, 0, 48, 15, 0, 14, 12, 0, -36, -34, 0, -4, 0, 0, 28, 48, 0, 20, -60, 0, -4, 42, 0, -7, -36, 0, 0, 2, 0, -5, -34, 0, -10, 16, 0, -12, 32, 0, 14, -22, 0, -15, 10, 0, 0, 16, 0, 29, -6, 0, -44, 3, 0, 64, 16, 0, 36, 29, 0, 16, 0, 0, 6, 21, 0, 10, -102, 0, -40, -6, 0, -24, 32, 0, 32, -29, 0, -20, -76, 0, -50, -36, 0, 7, 12, 0, 48, 55, 0, 14, -2, 0, 0, 3, 0, 4, 48, 0, 36, 53, 0, 54, -52, 0, 2, 0, 0, 10, 0, 0, -80, -3, 0, 46, -4, 0, -24, 47, 0, -19, -60, 0, 4, -29, 0, 1, 6, 0, -20, -16, 0, 78, 0, 0, 16, -3, 0, 18, -24, 0, 0, 48, 0, -37, 56, 0, -30, -26, 0, 34, -22, 0, -20, -4, 0, -19, 0, 0, -36, -50, 0, -44, 70, 0, 24, -14, 0, -8, -30, 0, 14, -36, 0, -40, 4, 0, -12, -12, 0, 30, -12, 0, -32, 36, 0, 55, 64, 0, 0, -44, 0, -36, 38, 0, -28, -7, 0, -30, 110, 0, -16, 54, 0, -6, 0, 0, -36, -16, 0, 14, 4, 0, 4, -28, 0, -2, -6, 0, -40, 42, 0, 54, 36, 0, -80, 40, 0, 62, -8, 0, -20, 15, 0, 24, -56, 0, 0, 10, 0, -18, 32, 0, -52, 24, 0, 47, -42, 0, 20, 12, 0, 9, 0, 0, 24, -51, 0, -22, 22, 0, 32, -24, 0, 0, -10, 0, -48, 58, 0, -45, 8, 0, 22, 6, 0, 56, 60, 0, 60, 16, 0, -48, -22, 0, 0, 33, 0, 53, 24, 0, -12, 75, 0, 2, -4, 0, 18, 6, 0, 40, 0, 0, 60, 12, 0, 8, 108, 0, -8, -33, 0, -32, -36, 0, 4, -85, 0, -10, 44, 0, 26, -3, 0, 35, 48, 0, -24, 45, 0, -26, -72, 0, 0, -36, 0, 14, -16, 0, 48, -58, 0, 90, 0, 0, 60, -3, 0, 14, 0, 0, -20, 30, 0, -8, 80, 0, 24, -24, 0, 7, -12, 0, -24, -5, 0, -22, -12, 0, 28, 16, 0, -84, 40, 0, 68, -12, 0, 1, -36, 0, 0, 30, 0, 11, 12, 0, 40, -38, 0, -14, 70, 0, 38, 5, 0, 8, 0, 0, -34, -36, 0, 45, -12, 0, -44, -8, 0, -32, 36, 0, -84, 8, 0, -36, -16, 0, -18, 14, 0, -12, -88, 0, 10, -34, 0, -18, 36, 0, 0, 68, 0, -57, -50, 0, 30, 8, 0, -12, -68, 0, 16, 24, 0, 60, 0, 0, -42, 18, 0, 11, 58, 0, 64, -4, 0, 15, 6, 0, -20, -63, 0, 4, -16, 0, -4, -53, 0, 1, -8, 0, -14, 120, 0, 47, 16, 0, 0, -66, 0, 4, 14, 0, 2, -24, 0, 46, 58, 0, -28, 26, 0, -48, 0, 0, -132, -29, 0, -30, 16, 0, 0, -30, 0, 16, -12, 0, -6, 6, 0, -16, -10, 0, -12, -30, 0, -21, -48, 0, -28, -16, 0, 15, -56, 0, 0, 34, 0, -52, 96, 0, -6, -33, 0, 46, 12, 0, 40, 48, 0, -46, 0, 0, 28, -42, 0, -12, 24, 0, -48, -35, 0, -36, -4, 0, 22, -20, 0, 22, -14, 0, 36, -12, 0, -14, 68, 0, 48, 36, 0, 8, 30, 0, 0, -12, 0, -40, -12, 0, -4, 0, 0, 54, -38, 0, -56, 80, 0, 18, 0, 0, 56, -39, 0, -15, -12, 0, -72, -65, 0, 6, 4, 0, 72, 48, 0, 84, 42, 0, -2, -40, 0, -6, -64, 0, 30, 18, 0, 42, -84, 0, 0, -90, 0, -88, -74, 0, -84, 90, 0, 5, -72, 0, -28, 2, 0, 49, 0, 0, 66, 5, 0, 18, -176, 0, 0, 49, 0, 102, 48, 0, -14, -42, 0, -20, -76, 0, 60, 3, 0, -56, -4, 0, -10, 30, 0, -25, -60, 0, 0, 42, 0, -18, 16, 0, -60, 62, 0, -8, -16, 0, 90, -57, 0, -56, 0, 0, -24, -51, 0, 4, -60, 0, 20, -2, 0, 11, -66, 0, -96, -16, 0, -54, 46, 0, -10, -10, 0, 40, 40, 0, 8, 12, 0, 25, 30, 0, 0, -46, 0, -26, 6, 0, 54, -35, 0, -8, -96, 0, -76, -18, 0, 75, 0, 0, 36, -12, 0, 0, 44, 0, 16, -24, 0, -14, 30, 0, -12, 13, 0, -6, 62, 0, 64, 66, 0, -1, -96, 0, -30, -44, 0, -4, -8, 0, 0, 28, 0, 38, -48, 0, -30, 6, 0, -9, -28, 0, -12, -10, 0, -39, 0, 0, 68, 30, 0, 31, 8, 0, 24, -11, 0, -21, -28, 0, -96, -24, 0, 10, -40, 0, 60, 42, 0, -12, 8, 0, -84, -32, 0, -35, 14, 0, 0, 136, 0, -54, 0, 0, -4, -48, 0, 18, 10, 0, 34, -28, 0, 88, 0, 0, -32, 18, 0, -31, 24, 0, -32, 30, 0, 10, -14, 0, 44, 24, 0, 56, 30, 0, -10, 27, 0, -144, 28, 0, -32, 44, 0, -34, -58, 0, 0, 15, 0, -55, 44, 0, -6, 15, 0, 50, -128, 0, -16, -4, 0, 32, 0, 0, -58, 3, 0, 6, -32, 0, 32, 36, 0, -5, -6, 0, -42, -54, 0, -42, -20, 0, 102, 4, 0, 60, 0, 0, 12, -12, 0, 62, 48, 0, 0, -19, 0, 8, -32, 0, 58, -55, 0, -5, 40, 0, 76, 84, 0, 8, 0, 0, 72, -8, 0, 79, -14, 0, -24, 53, 0, -64, -48, 0, -110, 20, 0, -6, -28, 0, 2, 9, 0, 9, -72, 0, -6, 3, 0, 42, -8, 0, 0, 60, 0, 44, -36, 0, -106, 28, 0, 40, -108, 0, 52, -22, 0, 111, 0, 0, 0, -22, 0, 14, -20, 0, 16, 42, 0, -44, 80, 0, 6, 48, 0, 10, -92, 0, 4, -16, 0, 32, 48, 0, -94, 48, 0, -72, 38, 0, 0, -3, 0, -10, -4, 0, 58, -40, 0, -22, -2, 0, -6, 35, 0, -36, 0, 0, 32, -68, 0, -38, -156, 0, -16, 2, 0, -24, -16, 0, 6, 5, 0, 10, -36, 0, 24, -135, 0, -70, 8, 0, -96, -13, 0, -11, 74, 0, 0, 0, 0, -108, 30, 0, 52, -51, 0, 44, -68, 0, 22, -3, 0, -68, 0, 0, 8, 15, 0, -16, 38, 0, -60, -12, 0, 48, 36, 0, 100, 18, 0, 21, 88, 0, -70, 24, 0, -9, -24, 0, 28, -24, 0, 34, 16, 0, 0, 114, 0, 56, -14, 0, 72, 40, 0, -44, 80, 0, -4, 18, 0, -46, 0, 0, 24, 18, 0, -45, -60, 0, 24, 30, 0, 1, 32, 0, -72, -96, 0, -13, -110, 0, -64, -30, 0, 36, -24, 0, 88, -60, 0, 85, 72, 0, 0, -52, 0, 72, 28, 0, 14, 56, 0, 12, 60, 0, -110, 8, 0, -12, 0, 0, -108, 72, 0, -44, 12, 0, 28, -80, 0, -30, 36, 0, 32, 6, 0, 42, -28, 0, -4, -60, 0, -22, -8, 0, 56, -90, 0, 64, 4, 0, 0, 33, 0, -10, 40, 0, -84, 6, 0, 52, -108, 0, -36, 46, 0, 0, 0, 0, -80, 18, 0, -14, -124, 0, 8, -51, 0, 13, 20, 0, -30, 32, 0, 13, -48, 0, 56, -63, 0, 71, -12, 0, -20, -78, 0, 21, 36, 0, 0, -6, 0, 42, 52, 0, -48, 15, 0, -28, -94, 0, 42, -16, 0, -19, 0, 0, -24, 52, 0, -70, -18, 0, 4, -144, 0, -66, -24, 0, 102, -23, 0, -70, 44, 0, -22, 24, 0, -5, 0, 0, 48, -18, 0, -46, 0, 0, 0, 42, 0, -30, 48, 0, -116, 24, 0, 9, 90, 0, -8, 12, 0, 32, 0, 0, -12, -68, 0, -2, -112, 0, -120, -40, 0, -60, -60, 0, -32, 87, 0, -86, 96, 0, 22, 25, 0, 48, -16, 0, -66, -47, 0, -24, -106, 0, 0, -114, 0, -8, 12, 0, -150, 12, 0, 49, -4, 0, 4, 33, 0, -5, 0, 0, -12, 36, 0, -18, -80, 0, -32, 78, 0, 7, -60, 0, -24, -3, 0, -38, -16, 0, -108, -55, 0, 76, 16, 0, 66, 16, 0, 2, 64, 0, 0, -36, 0, 54, -4, 0, 170, 6, 0, -43, 20, 0, -44, -78, 0, 36, 0, 0, 6, 40, 0, 18, -70, 0, 0, -7, 0, 18, 24, 0, -90, -33, 0, -120, 52, 0, 72, 10, 0, 14, -28, 0, 72, -6, 0, -5, -28, 0, 0, 10, 0, -52, -48, 0, 116, -35, 0, -43, -180, 0, 0, -75, 0, 6, 0, 0, 6, 6, 0, -45, -28, 0, 56, 4, 0, -24, 20, 0, -60, 30, 0, 6, 16, 0, -80, 45, 0, -32, -24, 0, 48, -54, 0, 24, -14, 0, 0, -90, 0, 2, 24, 0, 10, -36, 0, 11, 44, 0, 12, -48, 0, -11, 0, 0, -32, -4, 0, 44, 168, 0, -80, -62, 0, -20, -68, 0, 24, 24, 0, -45, -2, 0, 36, -33, 0, 11, 40, 0, -60, 0, 0, -66, -22, 0, 0, 56, 0, 56, -40, 0, 76, 2, 0, -54, 28, 0, -70, -45, 0, -89, 0, 0, -10, 105, 0, -18, -16, 0, 36, 50, 0, 35, 34, 0, 72, -130, 0, -42, -90, 0, 12, 36, 0, 21, 88, 0, 16, 69, 0, 50, 64, 0, 0, 6, 0, 52, 84, 0, -16, -81, 0, -80, 72, 0, 16, -12, 0, 28, 0, 0, -28, 84, 0, -48, 24, 0, 88, 40, 0, -56, -10, 0, 68, -24, 0, 2, 36, 0, -36, -27, 0, -34, 64, 0, -136, -2, 0, -61, 114, 0, 0, -12, 0, -42, -30, 0, -16, 36, 0, 1, 24, 0, 68, 165, 0, -51, 0, 0, -48, 51, 0, 8, -120, 0, 8, 10, 0, -18, 42, 0, -36, -24, 0, -24, -22, 0, -58, 37, 0, 60, 0, 0, 8, 6, 0, -86, -30, 0, 0, -23, 0, 14, 20, 0, 126, -72, 0, 0, -8, 0, 16, 20, 0, -60, 0, 0, 106, 1, 0, -90, -2, 0, 16, 54, 0, -56, 14, 0, -240, -24, 0, 67, -94, 0, -16, -24, 0, -22, -12, 0, 132, 60, 0, -30, -8, 0, 0, -32, 0, -6, -2, 0, 48, -84, 0, -56, -92, 0, -58, 6, 0, 16, 0, 0, -52, 20, 0, -90, 96, 0, 56, -8, 0, -78, 132, 0, 58, 20, 0, -48, 60, 0, -16, -28, 0, -45, 0, 0, 60, 36, 0, 96, -32, 0, 0, -24, 0, 6, 6, 0, -12, 71, 0, 36, 32, 0, 10, 50, 0, 25, 0, 0, 60, 33, 0, -31, 42, 0, 96, -90, 0, 30, 28, 0, 32, 12, 0, 5, -30, 0, 56, 17, 0, -32, -20, 0, -68, 101, 0, 3, 104, 0, 0, 12, 0, -25, 6, 0, 66, -9, 0, -14, -92, 0, -12, -3, 0, 10, 0, 0, -96, -56, 0, 90, 92, 0, 4, 42, 0, 38, -28, 0, 84, -33, 0, -42, 24, 0, -24, 28, 0, 8, 48, 0, 70, 110, 0, -38, 72, 0, 0, 10, 0, -18, -22, 0, 40, -15, 0, 112, -44, 0, 14, -6, 0, -56, 0, 0, 24, 16, 0, -32, 28, 0, -136, -96, 0, -16, -48, 0, -72, 39, 0, 90, -16, 0, -30, 84, 0, 15, -32, 0, 24, 72, 0, -8, 80, 0, 0, 24, 0, -67, 4, 0, 0, 3, 0, -1, -108, 0, 38, -36, 0, 6, 0, 0, -160, 10, 0, -121, -36, 0, -48, 66, 0, -22, -56, 0, 78, 52, 0, -40, 30, 0, 12, 80, 0, 3, 144, 0, 130, 14, 0, -16, -12, 0, 0, -30, 0, 55, -72, 0, -96, -108, 0, -30, -168, 0, -42, -68, 0, -125, 0, 0, 80, -12, 0, -35, 12, 0, 64, -18, 0, 72, -30, 0, -36, -1, 0, -32, -84, 0, 84, 0, 0, 11, 72, 0, 180, 6, 0, 6, 176, 0, 0, 57, 0, -17, 84, 0, -180, 35, 0, -30, -10, 0, 72, -84, 0, 89, 0, 0, -4, 120, 0, 96, -98, 0, 16, 38, 0, -33, -66, 0, -10, 7, 0, -44, -36, 0, 176, -18, 0, -36, -32, 0, -98, 60, 0, 5, -204, 0, 0, -8, 0, 10, 14, 0, 84, 128, 0, -28, 40, 0, 76, 38, 0, -48, 0, 0, -6, -66, 0, 102, 112, 0, 8, -22, 0, -24, 10, 0, -60, -54, 0, -52, 50, 0, 60, -63, 0, 8, 104, 0, -84, -2, 0, 16, 36, 0, 0, -72, 0, -15, 60, 0, -124, -55, 0, -16, 16, 0, 16, 105, 0, -56, 0, 0, 114, 3, 0, -24, 112, 0, 64, 12, 0, -50, 24, 0, 102, -39, 0, -51, -8, 0, 60, -80, 0, 60, -40, 0, 4, -18, 0, 56, -22, 0, 0, 5, 0, 0, 96, 0, 32, 33, 0, -21, 108, 0, -46, 16, 0, -126, 0, 0, 20, 82, 0, 108, -80, 0, 0, -24, 0, -38, -8, 0, -24, 140, 0, -34, -50, 0, -30, -68, 0, 36, -132, 0, 92, 42, 0, 15, 52, 0, 0, -21, 0, 16, -54, 0, 70, 24, 0, -50, 16, 0, 96, -26, 0, 112, 0, 0, 36, -24, 0, -1, -150, 0, -48, -66, 0, 45, -36, 0, 24, 81, 0]