# Trace form for 8001.2.a.j, downloaded from the LMFDB on 28 March 2024. [0, 2, 0, 0, 0, 0, 0, 2, 0, 0, -4, 0, 0, -4, 0, 0, -8, 6, 0, -8, 0, 0, 8, 0, 0, -6, 0, 0, 0, 6, 0, 8, 0, 0, -8, 0, 0, 6, 12, 0, 8, 6, 0, -20, 0, 0, 8, 12, 0, 2, 0, 0, 0, 18, 0, -8, 0, 0, 4, 0, 0, -16, 0, 0, 16, 0, 0, 0, 0, 0, -4, -12, 0, 4, -24, 0, 0, 0, 0, -22, 0, 0, -16, -12, 0, 8, 0, 0, -16, -24, 0, -4, 0, 0, 8, -12, 0, 14, 0, 0, 0, 0, 0, -16, 0, 0, 4, 0, 0, -8, 0, 0, -8, -12, 0, -8, 0, 0, -20, 6, 0, -6, -12, 0, 0, 0, 0, -2, 0, 0, 8, 30, 0, -8, -12, 0, 16, -12, 0, 2, 0, 0, 4, 0, 0, -4, 36, 0, 0, 12, 0, 0, -24, 0, 8, 0, 0, -12, 0, 0, 0, 0, 0, 6, 0, 0, 16, -36, 0, -18, -12, 0, 0, -12, 0, -6, 0, 0, -8, 12, 0, -18, 0, 0, -16, 24, 0, -16, 0, 0, 16, 12, 0, -4, -12, 0, 0, -12, 0, -16, 0, 0, -8, 6, 0, 16, 24, 0, 16, 24, 0, -20, 0, 0, -4, 0, 0, 8, -12, 0, 0, -12, 0, -14, 0, 0, -16, -12, 0, 10, 0, 0, -8, -6, 0, -8, 0, 0, -8, -42, 0, 42, 0, 0, 0, 0, 0, 16, 0, 0, 32, -18, 0, 16, 0, 0, 0, -12, 0, 6, 0, 0, -16, -12, 0, -4, 12, 0, 0, 6, 0, 12, -24, 0, -32, 0, 0, -24, 12, 0, 8, 18, 0, -14, 0, 0, -16, 6, 0, 0, -12, 0, 0, 0, 0, 20, 48, 0, 0, 0, 0, -20, 12, 0, 32, 12, 0, -22, 0, 0, -16, 0, 0, 6, -36, 0, 0, -12, 0, 8, 0, 0, 8, -48, 0, 12, -24, 0, 32, 12, 0, 4, 0, 0, 4, 12, 0, -44, 0, 0, 0, 0, 0, 2, 0, 0, 20, 30, 0, 18, 0, 0, 0, -12, 0, -4, 0, 0, 48, 42, 0, 30, 12, 0, 0, -36, 0, -12, 0, 0, -12, 18, 0, -16, 24, 0, -16, -12, 0, 24, 0, 0, -44, -6, 0, -8, -60, 0, 0, -24, 0, -16, 0, 0, -28, 0, 0, -16, -24, 0, 24, -18, 0, -16, 0, 0, 4, -48, 0, -36, -12, 0, 0, 0, 0, -16, 0, 0, -32, 12, 0, 36, 24, 0, -8, -18, 0, -16, 0, 0, 40, -12, 0, -28, 0, 0, 0, 24, 0, 42, 0, 0, 16, 0, 0, 8, 12, 0, 16, -72, 0, -32, 0, 0, 40, 0, 0, -50, -60, 0, 0, 0, 0, 20, -24, 0, 36, 24, 0, 0, -24, 0, 40, 0, 0, 24, 0, 0, 20, -6, 0, -12, -12, 0, 0, 12, 0, 52, 24, 0, -4, 0, 0, 10, -24, 0, -32, -12, 0, -28, 0, 0, -8, 54, 0, 8, 0, 0, 0, 30, 0, 4, 0, 0, -4, -24, 0, 16, -24, 0, -16, -24, 0, -20, 0, 0, 4, 24, 0, -30, -36, 0, 0, -12, 0, 4, 24, 0, 48, 0, 0, -16, 12, 0, 0, 12, 0, -40, 0, 0, -24, -12, 0, -22, -24, 0, 0, 24, 0, 40, 0, 0, 44, -48, 0, 16, 60, 0, -8, -12, 0, 52, 0, 0, -16, 0, 0, -52, -48, 0, 0, -12, 0, 8, -72, 0, -44, -6, 0, -32, 0, 0, -24, -24, 0, 8, 0, 0, -16, -42, 0, -14, 0, 0, 0, 0, 0, 8, 0, 0, 32, -24, 0, -52, 12, 0, -16, 18, 0, 14, 0, 0, -12, -24, 0, -2, 36, 0, 0, 66, 0, 4, 0, 0, -40, 0, 0, -4, 24, 0, -32, 30, 0, 24, 0, 0, 68, -36, 0, -40, 0, 0, 0, -24, 0, 16, -24, 0, 8, 0, 0, 60, -36, 0, -32, -12, 0, 8, 0, 0, 0, -24, 0, 34, -12, 0, 0, 18, 0, 14, 24, 0, 32, 0, 0, 32, 0, 0, 80, -36, 0, -34, 0, 0, 20, -12, 0, 50, 60, 0, 0, -36, 0, -96, 0, 0, 0, 0, 0, -18, 24, 0, 16, 0, 0, 16, 0, 0, -12, 54, 0, -16, -96, 0, 0, -18, 0, -22, 0, 0, -8, -60, 0, 8, -24, 0, 0, -24, 0, 66, 0, 0, 4, 54, 0, 0, 0, 0, 0, 0, 0, -8, -48, 0, -8, -12, 0, 6, 48, 0, -32, -72, 0, -8, 0, 0, 16, 0, 0, 14, 0, 0, 0, 42, 0, -24, 24, 0, 44, -72, 0, 8, 24, 0, -8, 36, 0, 16, 0, 0, 44, -12, 0, 32, -48, 0, 0, 72, 0, 20, 0, 0, 4, 72, 0, -8, 0, 0, 16, -12, 0, -40, 0, 0, 24, 24, 0, 80, -24, 0, 0, 66, 0, 10, -48, 0, -20, -18, 0, 40, 24, 0, -32, 6, 0, -4, 0, 0, -72, -60, 0, -36, -12, 0, 0, 0, 0, -6, -72, 0, 24, -48, 0, -22, -12, 0, 8, -12, 0, -34, 0, 0, 68, -54, 0, -20, 12, 0, 0, 0, 0, 0, 24, 0, -32, 0, 0, -62, 36, 0, 32, -36, 0, -4, 0, 0, 20, -48, 0, -2, 48, 0, 0, -24, 0, -48, 0, 0, -16, 24, 0, 46, 24, 0, 32, -12, 0, -2, 0, 0, 8, 36, 0, 32, 0, 0, 0, 30, 0, 14, 0, 0, 44, 24, 0, -18, 48, 0, 0, 72, 0, -8, 0, 0, 72, -24, 0, -32, -12, 0, 0, 42, 0, -32, 0, 0, -80, 114, 0, -8, -36, 0, 16, 12, 0, 44, 0, 0, -40, -12, 0, -30, 48, 0, 0, 60, 0, -4, 0, 0, -28, 24, 0, 2, -36, 0, 64, -48, 0, -16, 0, 0, 16, 42, 0, 28, -12, 0, 0, 0, 0, -28, 0, 0, 4, 24, 0, 56, -36, 0, -64, 0, 0, 40, 0, 0, -16, -60, 0, 22, 0, 0, 0, 96, 0, -4, 0, 0, -56, -12, 0, -18, 36, 0, -64, -18, 0, 44, 0, 0, 32, 84, 0, 8, 48, 0, 0, -24, 0, -42, 0, 0, -48, 12, 0, 32, 84, 0, 32, -108, 0, -2, 0, 0, -32, -24, 0, 0, 0, 0, 0, 24, 0, 4, -24, 0, 32, -24, 0, -18, 0, 0, 0, -6, 0, 60, 0, 0, 8, 24, 0, 16, 24, 0, 0, 0, 0, -82, 48, 0, 16, -36, 0, 8, 0, 0, 64, 0, 0, -12, 0, 0, 20, -84, 0, -16, 0, 0, 0, -36, 0, -16, -24, 0, 32, -12, 0, -48, 0, 0, 0, -60, 0, 80, 0, 0, -8, 0, 0, -26, 24, 0, 0, 48, 0, -40, 48, 0, -40, 24, 0, 6, -12, 0, 32, 60, 0, 24, 0, 0, -24, 66, 0, -10, 12, 0, 0, 48, 0, 28, 24, 0, 16, 18, 0, -36, 72, 0, -16, -36, 0, 88, 0, 0, -64, -36, 0, -8, 48, 0, 0, -6, 0, -18, 0, 0, 24, -84, 0, 2, -12, 0, 0, 6, 0, -20, 0, 0, -44, -24, 0, 16, 60, 0, 0, 12, 0, -44, -24, 0, 12, -12, 0, -2, 84, 0, -64, -30, 0, 8, 0, 0, -16, 48, 0, -6, 48, 0, 0, -12, 0, -100, 0, 0, 68, 24, 0, 56, 12, 0, 32, -60, 0, -32, 0, 0, -8, -60, 0, -46, 0, 0, 0, 12, 0, 8, 72, 0, -96, -12, 0, -28, 0, 0, 88, 0, 0, -18, 0, 0, 4, 24, 0, -36, 0, 0, 0, 24, 0, 60, 0, 0, -12, 48, 0, 4, 84, 0, -16, 72, 0, 4, 0, 0, 56, 24, 0, -40, 0, 0, 0, 54, 0, 48, 48, 0, -12, -6, 0, -16, -60, 0, 0, 0, 0, -4, 0, 0, 32, 48, 0, -16, 36, 0, 0, -54, 0, 36, 48, 0, 16, 0, 0, -80, 24, 0, -8, 12, 0, 32, 0, 0, -64, -66, 0, -48, 72, 0, 0, 60, 0, -4, 0, 0, 80, -12, 0, -40, -12, 0, -32, 12, 0, 44, 0, 0, -72, 42, 0, 88, 24, 0, 0, -72, 0, 64, 0, 0, -8, -12, 0, 8, 60, 0, -40, 24, 0, 92, 0, 0, -4, 0, 0, -16, -72, 0, 0, 0, 0, 44, 0, 0, -56, -24, 0, -44, 132, 0, 64, 18, 0, -68, 0, 0, -8, -60, 0, 16, 0, 0, 0, 6, 0, 34, 96, 0, 32, 18, 0, -78, 0, 0, -96, 0, 0, 16, 0, 0, -48, -60, 0, -32, 24, 0, 0, 48, 0, -44, -24, 0, -12, -54, 0, -12, 36, 0, 16, 48, 0, -4, 0, 0, 80, 24, 0, 44, 108, 0, 0, 24, 0, -76, 0, 0, 0, 0, 0, -20, 24, 0, 24, -48, 0, -14, 0, 0, -68, 24, 0, -46, -24, 0, 0, 42, 0, 16, -48, 0, -4, -18, 0, 88, -36, 0, 0, 0, 0, -64, 0, 0, 0, -12, 0, -56, -24, 0, 0, 114, 0, 8, 48, 0, -20, -126, 0, 48, -12, 0, 88, 24, 0, 80, 0, 0, 40, -12, 0, 58, 60, 0, 0, -24, 0, 112, 120, 0, -64, -12, 0, -46, 0, 0, -56, 0, 0, 12, 0, 0, 100, -18, 0, -14, -48, 0, 0, -36, 0, 2, 0, 0, 24, -78, 0, 12, -36, 0, 56, 96, 0, 28, 0, 0, -16, 102, 0, 40, 24, 0, 0, -12, 0, -60, 48, 0, -32, -24, 0, -90, -24, 0, -48, 0, 0, 10, 0, 0, 16, -30, 0, 2, 0, 0, 0, 72, 0, -68, 0, 0, -28, -36, 0, -72, -48, 0, -8, 0, 0, 12, 0, 0, -12, -6, 0, 8, -120, 0, 0, 54, 0, 0, 24, 0, 12, 72, 0, -8, -48, 0, 64, 66, 0, 4, 0, 0, -52, 36, 0, -28, 72, 0, 0, 24, 0, -36, 0, 0, -8, -108, 0, -76, 72, 0, 64, -42, 0, 0, 0, 0, 60, 72, 0, 0, 24, 0, 0, 12, 0, 42, -48, 0, 36, 72, 0, -68, 0, 0, 0, 72, 0, 16, 0, 0, 24, -60, 0, -32, -36, 0, 0, -54, 0, -20, 0, 0, 80, 0, 0, 16, -108, 0, -80, -78, 0, -14, 0, 0, -4, -72, 0, 16, 24, 0, 0, 72, 0, -20, 0, 0, -88, -12, 0, -66, 24, 0, 32, -60, 0, 48, 0, 0, 32, -96, 0, 28, 24, 0, 0, -18, 0, 92, 0, 0, 84, -60, 0, 0, 96, 0, -32, -60, 0, 16, 0, 0, -16, 36, 0, 18, 0, 0, 0, 24, 0, -2, -24, 0, 40, 24, 0, 22, -24, 0, 0, -48, 0, 12, 0, 0, 16, -12, 0, 44, -60, 0, 0, 96, 0, -4, 48, 0, 36, 0, 0, 6, 144, 0, -80, 0, 0, 8, 0, 0, -32, 36, 0, -12, -48, 0, 0, 0, 0, -100, 120, 0, -16, 24, 0, 8, 120, 0, 32, -12, 0, -92, 0, 0, -8, -78, 0, 114, 72, 0, 0, 0, 0, -4, 48, 0, -64, 0, 0, 28, 12, 0, -72, 0, 0, 124, 0, 0, 32, -120, 0, 16, 24, 0, 0, 84, 0, 66, 48, 0, 24, 6, 0, 8, 24, 0, 0, -72, 0, -64, 0, 0, 12, -48, 0, 12, -72, 0, 0, -6, 0, 40, -24, 0, 156, 108, 0, 32, -24, 0, -40, 12, 0, -16, 0, 0, -32, -24, 0, -4, 0, 0, 0, 0, 0, 4, 24, 0, 8, -72, 0, 68, -108, 0, 24, -24, 0, -24, 0, 0, 0, -12, 0, -44, 12, 0, 0, -24, 0, -46, 0, 0, 32, -24, 0, 136, -96, 0, 8, 30, 0, 0, 0, 0, 16, 18, 0, 96, 24, 0, 0, -18, 0, 66, 48, 0, -80, 18, 0, -14, 12, 0, 64, 48, 0, -92, 0, 0, 32, 24, 0, 12, -72, 0, 0, -12, 0, 10, 0, 0, -16, 36, 0, -4, -60, 0, 16, 6, 0, 96, 0, 0, 92, 0, 0, -32, 96, 0, 0, -120, 0, 0, 0, 0, -8, -12, 0, -80, -12, 0, 8, -12, 0, -24, 0, 0, 0, 12, 0, 24, 12, 0, 0, 24, 0, -16, 0, 0, 48, 0, 0, -120, 0, 0, 8, -18, 0, -32, 0, 0, 4, 24, 0, 20, -96, 0, 0, -36, 0, -4, 48, 0, 28, 36, 0, 0, 12, 0, 0, 156, 0, -88, 0, 0, 0, -36, 0, 36, -48, 0, 0, 0, 0, 72, -120, 0, 0, 60, 0, -88, 0, 0, -8, 12, 0, -20, 0, 0, 40, 0, 0, 136, 12, 0, 0, 48, 0, -12, 72, 0, 40, -120, 0, -64, -144, 0, 32, -84, 0, -12, 0, 0, 56, 12, 0, 48, 60, 0, 0, 36, 0, 24, 0, 0, -60, 0, 0, -22, 0, 0, -96, -36, 0, -68, 0, 0, -32, -6, 0, 44, 48, 0, 0, -12, 0, -56, -24, 0, -16, 72, 0, 38, 24, 0, -64, 0, 0, -20, 0, 0, -4, 120, 0, 32, -36, 0, 0, -48, 0, 6, 48, 0, -8, -36, 0, 88, -36, 0, 48, -48, 0, -24, 0, 0, -28, 42, 0, -6, 24, 0, 0, 72, 0, -20, 48, 0, -8, -12, 0, -32, 0, 0, -8, 72, 0, 122, 0, 0, 28, -24, 0, 8, 12, 0, 0, 54, 0, -138, 0, 0, 80, -36, 0, 16, -72, 0, -88, 24, 0, 120, 0, 0, 8, -24, 0, 24, 72, 0, 0, -48, 0, 16, -120, 0, -64, 96, 0, -32, 24, 0, 0, 120, 0, 12, 0, 0, -36, -180, 0, -36, -24, 0, 0, 0, 0, 8, 0, 0, -20, -66, 0, 72, -96, 0, 32, 36, 0, 24, 0, 0, -40, 12, 0, -44, 60, 0, 0, -120, 0, 42, 96, 0, 16, -48, 0, 4, -48, 0, 16, 48, 0, -16, 0, 0, -60, -24, 0, 28, 12, 0, 0, -60, 0, -72, 0, 0, 4, 66, 0, 76, -36, 0, 88, 12, 0, 46, 0, 0, -24, -48, 0, 36, 0, 0, 0, -42, 0, -44, 0, 0, 152, -18, 0, 80, 0, 0, 48, 48, 0, 96, 0, 0, -44, 96, 0, -32, -36, 0, 0, 54, 0, 42, -48, 0, 16, 0, 0, 94, 84, 0, 32, 48, 0, 40, 0, 0, -32, 42, 0, 2, -12, 0, 0, -48, 0, -20, 0, 0, -84, 60, 0, 8, 60, 0, 0, 36, 0, 80, 0, 0, 20, 90, 0, -42, 72, 0, 0, 30, 0, 32, 96, 0, -16, 36, 0, -68, 72, 0, -64, 36, 0, 18, 0, 0, 20, -120, 0, -88, 0, 0, 0, 24, 0, -16, -24, 0, -56, -42, 0, -8, 48, 0, 0, 12, 0, 62, 0, 0, -32, -12, 0, 14, 48, 0, 0, 132, 0, 72, 0, 0, 92, -24, 0, -4, -48, 0, 24, -168, 0, 116, 0, 0, -40, 36, 0, 80, -84, 0, 0, 0, 0, 40, -72, 0, 48, -24, 0, 8, 36, 0, 48, 42, 0, 16, 0, 0, -28, -120, 0, 96, 24, 0, 0, 0, 0, 30, 0, 0, -32, -78, 0, 36, 12, 0, 80, 0, 0, -98, 0, 0, -64, -6, 0, 56, 48, 0, 0, -72, 0, -88, -48, 0, -84, -36, 0, 40, 12, 0, 64, 24, 0, 72, 0, 0, -104, -24, 0, -12, 24, 0, 0, -48, 0, 48, 0, 0, 60, 24, 0, -80, 96, 0, -136, -48, 0, 32, 0, 0, -12, 54, 0, -166, -12, 0, 0, 18, 0, -32, 0, 0, 80, -48, 0, 48, 48, 0, -24, 6, 0, -16, 0, 0, 144, -84, 0, -12, 24, 0, 0, -66, 0, 160, 48, 0, 16, -60, 0, 40, 24, 0, -16, 18, 0, 32, 0, 0, -16, -12, 0, 28, 168, 0, 0, 0, 0, -66, 72, 0, -12, -24, 0, 24, -132, 0, 0, 72, 0, 118, 0, 0, -112, -36, 0, -32, 0, 0, 0, 36, 0, -80, 144, 0, -44, 0, 0, -50, -48, 0, 0, -6, 0, -100, 0, 0, 88, -108, 0, -2, -12, 0, 0, 120, 0, -8, 24, 0, -88, -60, 0, -204, -60, 0, 72, -24, 0, -28, 0, 0, -24, -120, 0, -12, 0, 0, 0, -48, 0, 60, 0, 0, 20, -24, 0, 24, 48, 0, -64, 6, 0, 100, 0, 0, 4, 0, 0, -16, -144, 0, 0, 84, 0, 40, 0, 0, -76, 48, 0, 84, 0, 0, -160, 90, 0, -20, 0, 0, -28, -96, 0, -16, -36, 0, 0, 0, 0, -4, 48, 0, 48, 66, 0, -40, -120, 0, -40, -12, 0, -16, 0, 0, 8, 0, 0, -32, -24, 0, 0, -24, 0, 20, -120, 0, -8, 0, 0, 24, 108, 0, 24, -66, 0, -52, 0, 0, -64, -18, 0, 60, -36, 0, 0, 30, 0, 8, 0, 0, -52, -60, 0, -16, 96, 0, 0, 36, 0, -8, 0, 0, 28, -48, 0, 66, 24, 0, 0, 54, 0, -116, -48, 0, 4, -96, 0, 40, -72, 0, 0, -48, 0, -40, 0, 0, 88, 12, 0, -192, -72, 0, 0, -84, 0, -36, -48, 0, 64, -120, 0, 36, -12, 0, 24, -54, 0, 64, 0, 0, -44, -126, 0, 0, 120, 0, 0, -12, 0, 74, 192, 0, 0, 0, 0, 8, 48, 0, 72, -132, 0, 28, 0, 0, 20, -72, 0, -16, 48, 0, 0, -84, 0, -52, 0, 0, 32, -72, 0, -4, -144, 0, 16, 0, 0, -66, 0, 0, -32, -36, 0, -8, 0, 0, 0, 12, 0, 64, 48, 0, 32, -42, 0, -76, 72, 0, 64, -48, 0, 36, 0, 0, 60, 24, 0, -72, 24, 0, 0, 30, 0, 96, -96, 0, 44, 48, 0, -24, 12, 0, -8, -42, 0, -100, 0, 0, 52, -18, 0, -20, 60, 0, 0, 24, 0, -60, 0, 0, 52, -24, 0, -16, 0, 0, 64, -132, 0, 44, 0, 0, 36, 168, 0]