# Trace form for 8001.2.a.b, downloaded from the LMFDB on 19 April 2024.
[0, 1, -2, 0, 2, -1, 0, -1, 0, 0, 2, 0, 0, -1, 2, 0, -4, -6, 0, -4, -2, 0, 0, -9, 0, -4, 2, 0, -2, -5, 0, -3, 8, 0, 12, 1, 0, 1, 8, 0, 0, -10, 0, -4, 0, 0, 18, -12, 0, 1, 8, 0, -2, -3, 0, 0, 0, 0, 10, -3, 0, -3, 6, 0, -8, 1, 0, 12, -12, 0, -2, -6, 0, -7, -2, 0, -8, 0, 0, 0, 4, 0, 20, 9, 0, 6, 8, 0, 0, -1, 0, 1, -18, 0, 24, 4, 0, 14, -2, 0, -8, 15, 0, 16, 0, 0, 6, -12, 0, 4, 0, 0, 4, -10, 0, 9, -10, 0, 6, 6, 0, -11, 6, 0, -6, 9, 0, 1, 0, 0, -2, -6, 0, 4, -24, 0, 0, -21, 0, 2, 2, 0, 12, 0, 0, 5, 14, 0, 2, 24, 0, -4, 0, 0, 0, 3, 0, 22, 0, 0, -8, 9, 0, -13, -20, 0, -18, -8, 0, -12, -12, 0, -8, -14, 0, 4, 0, 0, 2, 16, 0, -8, -2, 0, 0, -1, 0, 0, -24, 0, -8, -6, 0, 4, -28, 0, 2, -12, 0, -11, 0, 0, -30, 5, 0, 10, -32, 0, 4, 0, 0, 15, -6, 0, 24, 4, 0, 3, -8, 0, 0, 6, 0, -10, -8, 0, 20, -18, 0, -20, -18, 0, 0, 29, 0, 12, -6, 0, -12, 7, 0, 18, 22, 0, -6, -1, 0, 4, 0, 0, -18, 12, 0, 0, -2, 0, 16, -3, 0, -1, 2, 0, 12, -26, 0, 3, -8, 0, 24, 24, 0, 11, 24, 0, 42, 0, 0, -24, -4, 0, 0, -10, 0, 16, -12, 0, 0, 10, 0, 19, -10, 0, -14, -18, 0, 3, 0, 0, -48, 9, 0, 4, 8, 0, 16, 3, 0, 22, 0, 0, -6, -15, 0, -16, -44, 0, 0, 10, 0, 0, 8, 0, -18, 24, 0, 4, 26, 0, 0, 12, 0, -20, 18, 0, 16, -12, 0, -18, 24, 0, 12, 0, 0, -1, 0, 0, 28, 23, 0, -4, -8, 0, 0, -12, 0, 6, -2, 0, -32, -24, 0, -3, 16, 0, 2, 7, 0, -7, 36, 0, 2, 3, 0, -22, 0, 0, 0, 5, 0, 12, 8, 0, 12, -24, 0, 0, -8, 0, 28, 12, 0, 54, 0, 0, 24, 0, 0, -13, 22, 0, 16, 13, 0, 3, 30, 0, -10, 0, 0, -30, -20, 0, 32, 3, 0, -9, -8, 0, 0, 36, 0, 18, -30, 0, 0, 24, 0, 3, -24, 0, -8, 0, 0, 38, -6, 0, 8, 36, 0, -10, 0, 0, -12, -14, 0, 1, 20, 0, 8, -28, 0, 0, -20, 0, 36, -1, 0, -29, 40, 0, 18, -14, 0, -19, 20, 0, -58, -9, 0, -12, -24, 0, 0, 0, 0, 16, 12, 0, -14, 34, 0, -1, -36, 0, -22, -14, 0, -14, 0, 0, 2, -24, 0, 30, -8, 0, 12, 6, 0, -26, 18, 0, -24, 0, 0, -15, 0, 0, 2, 0, 0, 7, -32, 0, 6, -16, 0, 0, 2, 0, 0, 4, 0, 33, -12, 0, 52, 18, 0, 58, -6, 0, 8, 10, 0, 12, 0, 0, -48, 0, 0, -32, -22, 0, -48, -4, 0, -26, -42, 0, 0, 20, 0, 0, 48, 0, 4, 20, 0, 4, -4, 0, 20, -8, 0, 10, -32, 0, 0, 0, 0, 16, 0, 0, -20, 36, 0, -37, -38, 0, 10, -9, 0, 0, 0, 0, 36, -14, 0, 12, -6, 0, -4, -23, 0, -6, 48, 0, -18, -19, 0, -12, -8, 0, -8, 11, 0, 13, -32, 0, -6, 12, 0, -2, -44, 0, 0, -13, 0, 8, 6, 0, 30, 1, 0, 11, 32, 0, 44, -6, 0, -20, 0, 0, -20, -1, 0, -1, 0, 0, 0, 34, 0, -28, 18, 0, -48, 9, 0, 0, -8, 0, -26, 2, 0, 6, 40, 0, -24, -15, 0, 49, 40, 0, 0, -4, 0, 45, -16, 0, 24, 0, 0, 3, 36, 0, -24, 2, 0, -14, 0, 0, 0, 36, 0, 21, 2, 0, 16, 3, 0, -6, -28, 0, -46, -2, 0, 60, 8, 0, 8, 39, 0, -4, 0, 0, 24, -15, 0, -46, -12, 0, 0, 27, 0, 0, 32, 0, 48, -36, 0, -16, 6, 0, -16, 20, 0, -16, 0, 0, -14, 24, 0, -5, 14, 0, -72, 0, 0, -11, -2, 0, -6, 41, 0, -24, 44, 0, 0, 12, 0, 28, 48, 0, -10, 4, 0, -7, -24, 0, 0, -3, 0, -4, -12, 0, 48, 3, 0, 46, 0, 0, 8, 48, 0, 12, 0, 0, -24, 40, 0, 0, -108, 0, -4, -22, 0, 39, -24, 0, 0, 10, 0, 3, 26, 0, -22, 48, 0, 72, -32, 0, -26, 0, 0, -9, -6, 0, 0, -44, 0, 19, 10, 0, 0, 13, 0, 16, 60, 0, 20, -31, 0, -24, 0, 0, -6, -15, 0, -8, 18, 0, 8, -6, 0, 8, 0, 0, -72, 25, 0, -4, -36, 0, 30, 12, 0, 11, 12, 0, -48, -9, 0, 4, -6, 0, 0, -51, 0, -50, 8, 0, 0, -31, 0, 14, -76, 0, 6, 0, 0, -12, 0, 0, -72, -9, 0, 38, 20, 0, 0, -3, 0, -43, 12, 0, 28, -47, 0, -1, -2, 0, -20, 48, 0, -16, 0, 0, 56, 15, 0, 18, 0, 0, 0, 8, 0, -13, -36, 0, 2, 48, 0, 0, 58, 0, -40, 6, 0, 45, 0, 0, 28, 6, 0, -4, 38, 0, -40, -30, 0, -4, 58, 0, 18, 0, 0, -8, 24, 0, 24, 14, 0, 90, 12, 0, 0, 12, 0, 7, -32, 0, 0, -56, 0, 6, 14, 0, -68, 21, 0, -22, 2, 0, 36, -4, 0, 14, 0, 0, 28, 16, 0, -2, 28, 0, 12, -16, 0, 0, -2, 0, 48, -30, 0, 12, -60, 0, 8, 36, 0, -48, -24, 0, -12, 11, 0, 26, 52, 0, 0, 0, 0, 18, 24, 0, 0, 12, 0, -25, 30, 0, 0, 34, 0, -5, 0, 0, 0, -15, 0, -4, -14, 0, 32, 40, 0, 0, -6, 0, 32, 50, 0, -25, 0, 0, -2, 18, 0, -10, -4, 0, -8, -24, 0, 0, -66, 0, 0, -5, 0, 37, -52, 0, -36, -15, 0, 4, -116, 0, 6, 54, 0, 32, 0, 0, -20, 0, 0, -2, -24, 0, -48, -5, 0, 16, 48, 0, 0, -9, 0, 108, 64, 0, 22, -3, 0, 7, 48, 0, 8, 15, 0, -60, 52, 0, 0, 54, 0, -22, 0, 0, -40, 34, 0, -6, 0, 0, -48, -61, 0, 0, 0, 0, -40, 10, 0, 18, -8, 0, 8, 12, 0, -11, -20, 0, 16, -9, 0, 26, -20, 0, 32, 0, 0, 18, 24, 0, 0, -72, 0, 13, -32, 0, 0, 20, 0, -3, 20, 0, -72, -18, 0, -36, 74, 0, 38, 1, 0, 12, 0, 0, 18, 8, 0, -29, 0, 0, 28, 8, 0, -26, -36, 0, 28, 48, 0, 0, -24, 0, 6, 12, 0, 12, 8, 0, 46, -2, 0, 50, 12, 0, 0, 36, 0, -7, 18, 0, 38, 0, 0, -62, 24, 0, 8, -18, 0, 36, 0, 0, -22, 14, 0, 59, -26, 0, 32, -30, 0, 27, 6, 0, -24, -45, 0, -4, 4, 0, 44, 7, 0, 11, 0, 0, 26, -4, 0, -3, -16, 0, 0, 42, 0, 0, -30, 0, -2, 20, 0, -30, -22, 0, -32, -16, 0, -12, 0, 0, 12, -35, 0, -14, 40, 0, 0, 0, 0, 8, 20, 0, 2, 30, 0, -48, 2, 0, 0, -58, 0, -7, -16, 0, -68, -32, 0, 3, 56, 0, 0, -58, 0, 28, 48, 0, -18, 1, 0, 48, 0, 0, 8, -2, 0, -14, 0, 0, -4, -56, 0, 0, -12, 0, -80, -15, 0, 26, 24, 0, 30, 54, 0, 30, -98, 0, -40, 12, 0, -12, -36, 0, 8, 0, 0, 12, -90, 0, 0, 6, 0, -16, -24, 0, 0, 0, 0, -24, -6, 0, -36, 24, 0, -4, 0, 0, -4, -11, 0, 27, 28, 0, -24, 53, 0, 60, 0, 0, -72, 44, 0, -36, -42, 0, -2, -44, 0, 0, -32, 0, -6, 12, 0, -36, 12, 0, 0, 24, 0, 28, 46, 0, 4, 12, 0, 11, -120, 0, -8, 0, 0, 43, 0, 0, -78, 27, 0, 10, 8, 0, 0, 69, 0, -54, -24, 0, 30, -16, 0, -4, 92, 0, 12, -5, 0, -8, 4, 0, -54, -2, 0, -69, 0, 0, 0, -36, 0, -10, -48, 0, 72, 32, 0, 0, 32, 0, -6, -19, 0, 0, 0, 0, -40, 37, 0, -38, 32, 0, -4, 36, 0, 45, 14, 0, -48, 0, 0, 18, 10, 0, -14, 10, 0, 4, 72, 0, 0, 12, 0, -15, 22, 0, 0, 30, 0, -52, 6, 0, -82, -45, 0, -8, 48, 0, -44, -6, 0, -9, 0, 0, -24, 0, 0, 0, -56, 0, -96, -4, 0, 0, 10, 0, -8, -41, 0, 6, 14, 0, 24, -10, 0, -3, -16, 0, 6, 36, 0, 12, 8, 0, 0, 0, 0, 40, -48, 0, -6, -22, 0, 15, -92, 0, 0, -108, 0, -9, 0, 0, -96, -6, 0, -25, -24, 0, -56, -21, 0, 15, 24, 0, -80, -30, 0, 10, 0, 0, 108, 16, 0, 30, 8, 0, 44, 54, 0, 11, -78, 0, 0, -36, 0, -28, 0, 0, -20, -16, 0, -10, -6, 0, -26, 18, 0, -4, 0, 0, -96, 0, 0, -23, -144, 0, 32, -10, 0, 20, 26, 0, 0, 0, 0, -24, 18, 0, 6, 49, 0, -24, -60, 0, 88, 36, 0, 4, -38, 0, 0, -9, 0, -9, 0, 0, -26, -29, 0, 54, -32, 0, -60, -20, 0, 0, 0, 0, 62, 9, 0, -12, 48, 0, -64, -84, 0, -1, 6, 0, 30, 20, 0, -68, 16, 0, -18, 0, 0, -64, 0, 0, 12, -22, 0, -46, -16, 0, 0, -7, 0, -48, 72, 0, -50, 63, 0, 59, 8, 0, 36, 18, 0, -18, 0, 0, -24, 4, 0, 81, -22, 0, -24, 55, 0, 20, 48, 0, 18, 6, 0, 0, -8, 0, 6, 57, 0, 15, 48, 0, 102, 1, 0, -90, 100, 0, 0, 50, 0, -28, 0, 0, 62, 0, 0, -4, -28, 0, 76, -6, 0, -23, 0, 0, 0, -12, 0, 68, 24, 0, -16, 4, 0, 32, 72, 0, 18, -96, 0, 2, -76, 0, -20, -12, 0, 50, 0, 0, 6, 40, 0, 12, 86, 0, 0, 15, 0, 0, -28, 0, 94, 24, 0, -68, 2, 0, 2, 21, 0, -28, 0, 0, -96, 82, 0, -2, 32, 0, -16, 0, 0, 24, -56, 0, -30, 3, 0, 38, -36, 0, 0, 3, 0, -2, 40, 0, -16, -35, 0, 1, 26, 0, 0, 0, 0, 72, -2, 0, -96, -25, 0, 28, 0, 0, -58, 9, 0, -40, 0, 0, -12, 7, 0, 0, -90, 0, -36, 26, 0, -56, -28, 0, -12, 8, 0, -27, 8, 0, -38, -24, 0, -3, 40, 0, 60, 0, 0, -76, 8, 0, 0, 22, 0, -36, -18, 0, 0, -72, 0, -26, 16, 0, -24, -48, 0, -34, 0, 0, -28, -24, 0, -5, -180, 0, -24, -66, 0, 9, 0, 0, -24, -12, 0, -11, -14, 0, 32, -42, 0, 0, -24, 0, 112, -68, 0, -81, -12, 0, 0, -24, 0, 24, 68, 0, -42, -60, 0, 60, 44, 0, -2, 0, 0, 120, 0, 0, 8, 56, 0, 10, -28, 0, 44, -24, 0, 24, -28, 0, -32, -60, 0, -12, 4, 0, -28, -6, 0, 20, -24, 0, 32, -54, 0, -64, 0, 0, 0, -3, 0, 4, -48, 0, 60, 10, 0, 0, -24, 0, 60, -40, 0, 0, 0, 0, -72, -40, 0, -16, 96, 0, 24, 13, 0, 7, 12, 0, -22, 0, 0, -1, -52, 0, -52, -63, 0, -29, -36, 0, 0, -6, 0, -13, -36, 0, 0, -10, 0, -20, 0, 0, -24, -3, 0, -68, 50, 0, -30, 48, 0, -19, 0, 0, -68, 20, 0, -46, 10, 0, -4, 48, 0, 0, 0, 0, 30, -19, 0, -22, 8, 0, 14, 30, 0, 9, 0, 0, -80, 18, 0, 18, 0, 0, 0, 66, 0, 30, -32, 0, -100, 24, 0, -3, 50, 0, 0, 48, 0, -16, 0, 0, -36, -36, 0, -36, 20, 0, 8, -88, 0, 34, 8, 0, 48, -37, 0, -62, 0, 0, 66, -9, 0, -36, 24, 0, 10, -61, 0, 0, -74, 0, 0, -18, 0, -4, 36, 0, 30, 70, 0, -85, -8, 0, 116, 35, 0, 13, 0, 0, -108, 0, 0, -54, -64, 0, -16, 18, 0, -31, 20, 0, 0, -3, 0, 90, 4, 0, 24, 23, 0, -2, 96, 0, 10, 40, 0, -22, -32, 0, 0, -72, 0, 0, 0, 0, 18, -6, 0, -85, -216, 0, -64, -38, 0, 0, 0, 0, 6, 8, 0, 30, -14, 0, 0, 15, 0, -62, -8, 0, -30, -3, 0, -36, 120, 0, -52, 0, 0, 16, 84, 0, -108, 10, 0, 25, 44, 0, 0, 18, 0, 84, 40, 0, -68, -63, 0, 97, 12, 0, 0, 9, 0, 14, 0, 0, 122, -10, 0, 31, 0, 0, -8, 4, 0, 36, 40, 0, -20, -126, 0, 0, -36, 0, 8, 33, 0, -14, -8, 0, -24, -62, 0, 28, 22, 0, 0, 14, 0, 74, -16, 0, 18, 0, 0, -3, -52, 0, 20, -24, 0, 21, 0, 0, 0, 44, 0, 44, -36, 0, -48, 30, 0, -4, 0, 0, 144, 12, 0, 33, -26, 0, 32, 29, 0, -43, 0, 0, -40, 0, 0, -30, 6, 0, 0, -82, 0, 44, 72, 0, 36, -12, 0, 14, 72, 0, -74, 9, 0, 87, 0, 0, -2, 19, 0, 20, -24, 0, -20, 0, 0, -135, -18, 0, -16, -16, 0, 126, 58, 0, 0, -50, 0, 9, -56, 0, -16, -3, 0, -32, 52, 0, 0, 12, 0, -48, -28, 0, -96, 13, 0, 8, 0, 0, 24, -48, 0, 18, 0, 0, -24, -12, 0, 0, -24, 0, -8, -144, 0, 14, -46, 0, 4, -36, 0, 58, -100, 0, -12, -15, 0, 58, -96, 0, -72, 0, 0, 71, 14, 0, 0, 52, 0, -34, -38, 0, 0, -36, 0, 1, 124, 0, -24, 1, 0, -45, 0, 0, 36, 77, 0, -4, -72, 0, 16, -54, 0, 30, 22, 0, -28, -28, 0, -56, -118, 0, 26, -23, 0, 0, 0, 0, 60, 14, 0, 36, -54, 0, 0, 35, 0, 4, 24, 0, 90, 74, 0, 0, 8, 0, -4, 0, 0, 24, 0, 0, -14, -15, 0, 108, -22, 0, 0, -30, 0, 14, -26, 0, 8, 12, 0, -13, 6, 0, 16, 18, 0, 12, -12, 0, -84, 6, 0, -6, 0, 0, 0, 24, 0, 36, 2, 0, -40, 26, 0, 0, 60, 0, 22, 30, 0, 44, 0, 0, 32, -36, 0, -4, 24, 0, -88, 24, 0, 0, -12, 0, 70, 0, 0, -64, 28, 0, -40, -60, 0, 3, 0, 0, 0, 60, 0, -144, -16, 0, 0, 12, 0, 28, -2, 0, -60, 43, 0, 0, 96, 0, -2, -40, 0, 63, 0, 0, 116, -7, 0, -47, 14, 0, 32, 12, 0, 0, 68, 0, 64, 24, 0, 7, -6, 0, -56, -27, 0, -64, -36, 0, 116, -81, 0, 5, -56, 0, 0, 0, 0, 11, 18, 0, -2, -45, 0, -60, -96, 0, 0, -3, 0, 90, 0, 0, 4, 84, 0, -4, 28, 0, 52, -16, 0, 22, 4, 0, 112, -33, 0, 66, 0, 0, 12, 28, 0, 12, 80, 0, 30, -6, 0, 0, -52, 0, 0, -70, 0, -18, -30, 0, -108, -5, 0, -8, -60, 0, 98, -58, 0, 0, 0, 0, -24, 0, 0, -12, 24, 0, 72, -46, 0, -72, -8, 0, 0, 25, 0, -10, -24, 0, 90, -132, 0, -37, 32, 0, -12, 48, 0, -26, 32, 0, 0, 24, 0, -27, 0, 0, 0, -23, 0, 91, 48, 0, 6, -12, 0, 0, 0, 0, -48, -20, 0, -7, 8, 0, 48, 32, 0, -42, 4, 0, 22, 32, 0, -40, -54, 0, -28, 0, 0, -47, 48, 0, -106, -12, 0, -16, -120, 0, 0, 84, 0, 87, 72, 0, -88, 26, 0, -54, 72, 0, 42, 34, 0, -15, 0, 0, 88, -120, 0, 67, 0, 0, 32, 30, 0, -20, 6, 0, -24, 3, 0, 0, 72, 0, -12, 0, 0, -41, 56, 0, -48, 78, 0, 36, -56, 0, 0, -13, 0, 13, -4, 0, -24, 99, 0, -20, -22, 0, 120, -22, 0, 91, 0, 0, 0, -4, 0, -50, -86, 0, -16, 22, 0, 1, 78, 0, -54, -13, 0, -44, -20, 0, -8, -70, 0, 8, 0, 0, -138, 36, 0, -3, 108, 0, 0, 40, 0, 0, -30, 0, 32, -96, 0, 26, 8, 0, -92, -38, 0, 48, 0, 0, 10, -54, 0, 0, 16, 0, -8, 0, 0, 38, 54, 0, 4, -16, 0, 64, 138, 0, 0, 15, 0, 30, -64, 0, 72, 36, 0, 16, 20, 0, 0, 72, 0, -81, -72, 0, -64, -35, 0, -48, 0, 0, -32, 37, 0, 86, 0, 0, 38, -3, 0, 0, 0, 0, 32, -8, 0, 10, 40, 0, -74, 15, 0, 9, 76, 0, -32, -48, 0, 60, 8, 0, -72, 0, 0, 34, -90, 0, 0, -9, 0, 0, 48, 0, 0, -47, 0, -75, -36, 0, -10, -36, 0, 14, 0, 0, -20, 48, 0, 84, -8, 0, 0, -12, 0, -18, 0, 0, -24, 18, 0, -38, 30, 0, -22, -82, 0, 0, 4, 0, -60, 52, 0, 23, 104, 0, 0, 47, 0, -76, 82, 0, 90, -24, 0, 20, 16, 0, -48, 0, 0, -88, 0, 0, 12, -80, 0, -3, 18, 0, 0, 70, 0, 19, 24, 0, 0, -45, 0]