# Trace form for 4002.2.a.t, downloaded from the LMFDB on 18 April 2024.
[0, 2, -2, -2, 2, 0, 2, 0, -2, 2, 0, 8, -2, 4, 0, 0, 2, 0, -2, -8, 0, 0, -8, -2, 2, 6, -4, -2, 0, 2, 0, 12, -2, -8, 0, 8, 2, 4, 8, -4, 0, 0, 0, 8, 8, 0, 2, 0, -2, -10, -6, 0, 4, 8, 2, 0, 0, 8, -2, -8, 0, -4, -12, 0, 2, -16, 8, 12, 0, 2, -8, -4, -2, 12, -4, -6, -8, 0, 4, 20, 0, 2, 0, 4, 0, -16, -8, -2, -8, -16, 0, -8, -2, -12, 0, -8, 2, 24, 10, 8, 6, -4, 0, 0, -4, -8, -8, -12, -2, -24, 0, -4, 0, -8, -8, 0, 2, 4, 8, -8, 0, 10, 4, 0, 12, 0, 0, 8, -2, -8, 16, 4, -8, -4, -12, 0, 0, 16, -2, 20, 8, 0, 4, 16, 2, 0, -12, 10, 4, -8, 6, 32, 8, 0, 0, 0, -4, 12, -20, -8, 0, 0, -2, 16, 0, 0, -4, 16, 0, -2, 16, -8, 8, 16, 2, 0, 8, 8, 16, -16, 0, 16, 8, 4, 2, 16, 12, 0, 0, 0, 8, -12, -2, 4, -24, 16, -10, 20, -8, -8, -6, -12, 4, 0, 0, 16, 0, -2, 4, -32, 8, 0, 8, 4, 12, -24, 2, 0, 24, -12, 0, 16, 4, 32, 0, 6, 8, 4, 8, -12, 0, 0, -2, -4, -4, 64, -8, -20, 8, -20, 0, 20, -10, -2, -4, 0, 0, -8, -12, -4, 0, 24, 0, -8, -8, 16, 2, -44, 8, 8, -16, 2, -4, -4, 8, 0, 4, 16, 12, -28, 0, 8, 0, 8, -16, 24, 2, 12, -20, 12, -8, 20, 0, 20, -4, 8, -16, 8, -2, -18, 0, -24, 12, -4, -10, 16, -4, -8, 8, -4, -6, -12, -32, 4, -8, 32, 0, 40, 0, 0, 0, -16, 4, -4, -12, 8, 20, 12, 8, 8, 0, 12, 0, 8, 2, 12, -16, 24, 0, 32, 0, -16, 4, 4, -16, -48, 0, 0, 2, 8, -16, 48, 8, 0, -8, 0, -16, 0, -2, 4, 0, -4, -8, -20, -8, -48, -16, 8, 16, 4, 0, -2, -16, -10, -8, 48, -4, 20, -2, 0, -16, 0, -12, 40, 0, 0, 0, 4, 0, 8, -8, -8, 12, 16, 2, 32, -4, 8, 24, 20, -16, 0, 10, -4, -20, 32, 8, -28, 8, 4, 6, 36, 12, 24, -4, 0, 0, 16, 0, 36, -16, -16, 0, 8, 2, 88, -4, -20, 32, -12, -8, -12, 0, 0, -8, 0, -4, 16, -12, -16, 24, 16, -2, 0, 0, 0, -24, 8, 12, -24, 0, -10, -16, 20, -4, -16, -32, 8, 0, 32, -6, 0, -8, -32, -4, 16, -8, -12, 12, 0, 0, -4, 0, 56, 2, 0, 4, 64, 4, -24, -64, -12, 8, 32, 20, -24, -8, 8, 20, 28, 0, -8, -20, 0, 10, -8, 2, 64, 4, -16, 0, 20, 0, 0, 8, 0, 12, -24, 4, -20, 0, -16, -24, -44, 0, 16, 8, 2, 8, -32, -16, 24, -2, 8, 44, 8, -8, 0, -8, -16, 16, 44, -2, -20, 4, 0, 4, 0, -8, 2, 0, -8, -4, -16, -16, -8, -12, 16, 28, -40, 0, 16, -8, -16, 0, -24, -8, 28, 16, -4, -24, -8, -2, 16, -12, -16, 20, -8, -12, 40, 8, 0, -20, 32, 0, 32, -20, 0, 4, 40, -8, -12, 16, 12, -8, -6, 2, -20, 18, -4, 0, 44, 24, 32, -12, -16, 4, 0, 10, -48, -16, -20, 4, -68, 8, 0, -8, 8, 4, -24, 6, -36, 12, 12, 32, 0, -4, 20, 8, 0, -32, -64, 0, -8, -40, -16, 0, 8, 0, -64, 0, 2, 16, -8, -4, -62, 4, 32, 12, -16, -8, 32, -20, 0, -12, -64, -8, -20, -8, -4, 0, -16, -12, -4, 0, 24, -8, 20, -2, -32, -12, 0, 16, -12, -24, 16, 0, 12, -32, 0, 0, -40, 16, -16, -4, -32, -4, -2, 16, -32, 48, -16, 0, 4, 0, -6, -2, -52, -8, -4, 16, -4, -48, -64, -8, 0, 0, 12, 8, 16, 0, 16, 16, 0, 0, 32, 2, -16, -4, 4, 0, -40, 4, -24, 8, -64, 20, 8, 8, 24, 48, 20, 16, -12, -8, -64, -16, 20, -4, 48, 0, 4, 2, -20, 16, 6, 10, -12, 8, 2, -48, 24, 4, 36, -20, 0, 2, 48, 0, 56, 16, 8, 0, 52, 12, 0, -40, 4, 0, -4, 0, 12, 0, -24, -4, 0, 0, -68, -8, 8, 8, -4, 8, -12, -12, -16, -16, -32, -2, -16, -32, 44, 4, -44, -8, 36, -24, -8, -20, -8, 16, -16, 0, -2, -10, -48, 4, -20, 20, 4, -32, 16, -8, -40, 28, 0, -8, -12, -4, -64, -6, -16, -36, 48, -12, -8, -24, 28, 4, -64, 0, -12, 0, -8, -16, 48, 0, -20, -36, -8, 16, -24, 16, 24, 0, -24, -8, -24, -2, -12, -88, -12, 4, 0, 20, -64, -32, -12, 12, 28, 8, 2, 12, -20, 0, -64, 0, 0, 8, -20, 0, -4, 4, -28, -16, -8, 12, -28, 16, 0, -24, -8, -16, -16, 2, -48, 0, 18, 0, 80, 0, 72, 24, 24, -8, -16, -12, 12, 24, 4, 0, -16, 10, 48, 16, -16, -20, -32, 4, -32, 16, 8, 32, -32, -8, -48, 0, 4, -32, 12, 6, 0, 0, 12, 8, -40, 32, -40, 4, -4, -16, 68, 8, 16, 12, -32, -12, 8, 0, 64, 0, -40, 4, 40, 0, 12, -56, 0, -2, 28, 0, 40, -4, 16, -64, -64, -4, -52, 24, 4, 64, -80, 12, 0, -8, -8, -32, 20, -20, -24, 24, -12, 8, 36, -8, 8, -20, -8, -28, 0, 0, 10, 8, -12, 20, -32, 0, 24, -10, -8, 8, 0, -2, 16, -64, -12, -4, 76, 16, -64, 0, -24, -20, -4, 0, 0, 0, -32, -8, -8, 0, -96, -12, 16, 24, 24, -4, -52, 20, -4, 0, -32, 16, -16, 24, 48, 44, -32, 0, -84, -16, 0, -8, 4, -2, 8, -8, -8, 32, -12, 16, -28, -24, -48, 2, 0, -8, 8, -44, 0, -8, 64, 8, 56, 0, 0, 8, -32, 16, 8, -16, 0, -44, 0, 2, -32, 20, -4, -4, -4, 0, 40, -4, 4, 0, 16, 8, 0, -2, 20, 0, -76, 8, -12, 4, 48, 16, 96, 16, 8, 8, -8, 12, 4, -16, 24, -28, -4, 40, -80, 0, 0, -16, 2, 8, 48, 16, 4, 0, 10, 24, 64, 8, 92, -28, -48, -16, 52, 4, -24, 24, -20, 8, -24, 2, -32, -16, 0, 12, 0, 16, -16, -20, 0, 8, 32, 12, 16, -40, -40, -8, 24, 0, 8, 20, 0, -32, 10, 0, 60, -32, -4, 20, 0, 0, -24, -4, -8, -40, 48, 8, 24, 12, 8, -16, 32, -12, 24, 8, -16, 6, 52, -2, -20, 20, -32, -18, -16, 4, 0, 0, -8, -44, -52, -24, 16, -32, -20, 12, -32, 16, -48, -4, 0, 0, 0, -10, -48, 48, 4, 16, -12, 20, -32, -4, -32, 68, 0, -8, 0, 0, 28, 8, 28, -8, -48, -4, -4, 24, -96, -6, -8, 36, -36, -12, 48, -12, 48, -32, -24, 0, -24, 4, -56, -20, 0, -8, -68, 0, -8, 32, -16, 64, 20, 0, -30, 8, -36, 40, 84, 16, 32, 0, 16, -8, 48, 0, 12, 64, -8, 0, -48, -2, -32, -16, -88, 8, 8, 4, 16, 62, 20, -4, -24, -32, 64, -12, 12, 16, -56, 8, 56, -32, 12, 20, 0, 0, -20, 12, 0, 64, 0, 8, -24, 20, 0, 8, -68, 4, -52, 0, -16, 16, 24, 12, -16, 4, 16, 0, 28, -24, -24, 8, -16, -20, 16, 2, 84, 32, 0, 12, 28, 0, 52, -16, 0, 12, -16, 24, -32, -16, -8, 0, -24, -12, 88, 32, 24, 0, -40, 0, 36, 40, 10, -16, 24, 16, 112, 4, -20, 32, -48, 4, 48, 2, 16, -16, 4, 32, -8, -48, -8, 16, -32, 0, 16, -4, -32, 0, 40, 6, -16, 2, 0, 52, 0, 8, 8, 4, 32, -16, 20, 4, 0, 48, -16, 64, 48, 8, -50, 0, 12, 0, -4, -12, 0, -8, 0, -16, 0, 0, 48, -16, 4, -16, -16, 0, -72, 0, -56, -32, -16, -2, 12, 16, 0, 4, 32, -4, -104, 0, -64, 40, 4, -4, -56, 24, 24, -8, -28, 64, -88, -20, 12, -8, 48, -8, -24, -24, -32, -48, -10, -20, 28, -16, 24, 12, -96, 8, 56, 64, -8, 16, 40, -20, 0, 4, -28, -48, -32, 0, 16, -4, 8, -2, 0, 20, -12, -16, 0, -6, 24, -10, 0, 12, 8, -8, 0, -2, 116, 48, -64, -24, -16, -4, -72, -36, 16, 20, -48, 0, -44, -2, -20, -48, -24, 0, 8, -56, 0, -16, -12, -8, -44, 0, 0, -52, -52, -12, 64, 0, 24, 40, 36, -4, 16, 0, 20, 4, -16, 0, -96, -12, 16, 0, 32, 24, 64, 4, 44, 0, -24, 0, 16, 68, -16, 8, 16, -8, -60, -8, -2, 4, 80, -8, -12, 12, 32, 12, 80, 16, -112, 16, -24, 32, -16, 2, 8, 16, -8, 32, -12, -44, 16, -4, -8, 44, -16, 8, -36, -36, 0, 24, 52, 8, -144, 20, 16, 8, 112, -16, 16, 16, -44, 0, 128, 2, -80, 10, 20, 48, 92, -4, 20, 20, 0, -20, -60, -4, -4, 32, 0, -16, 20, 8, -80, 40, -2, -28, -12, 0, -8, 8, 8, 12, 0, 4, 52, 64, 16, 6, -12, 16, 16, 36, 8, -48, 140, 12, -24, 8, -16, 24, 76, -28, 64, -4, 40, 64, 8, 0, -12, 12, -16, 0, 32, 8, -16, 16, 16, -48, 8, 0, 4, 20, 24, 36, -96, 8, -32, -16, -28, 24, 48, -16, 0, -24, 4, 0, 8, 24, 80, 8, 8, 24, -112, 2, -48, 12, -16, 88, 128, 12, -60, -4, 16, 0, 16, -20, 4, 64, 8, 32, -24, 12, 36, -12, -40, -28, -12, -8, -66, -2, 0, -12, 24, 20, 24, 0, -32, 64, 72, 0, -4, 0, -32, -8, -52, 20, 88, 0, 0, 4, -8, -4, 0, 28, -40, 16, 4, 8, -8, -12, 12, 28, -96, -16, -16, 0, -12, 24, 8, 8, -48, 16, 6, 16, 48, -2, 24, 48, 20, 0, 8, -18, 64, 0, 4, -80, 64, 0, -60, -72, -44, -24, 0, -24, -12, 8, -32, 16, -8, 12, -44, -12, 16, -24, 32, -4, 4, 0, 0, 16, -24, -10, 0, -48, 48, -16, -4, 16, 0, 20, 20, 32, -12, -4, 36, 32, 68, -16, 32, -8, 16, -32, 0, 32, -4, 8, -60, 48, -8, 0, 64, -4, -88, 32, 24, -12, -8, -6, -8, 0, 36, 0, 64, -12, 8, -8, -12, 40, -36, -32, -20, 40, 0, -4, -20, 4, 8, 16, -20, -68, 48, -8, 36, -16, 0, -12, -48, 32, 40, 12, 64, -8, 0, 0, 64, -64, 8, 0, 44, 40, -92, -4, 16, -40, 24, 0, -18, -12, -8, 56, 24, 0, 32, 2, 64, -28, -8, 0, -112, -40, -2, 4, 24, -16, 24, 64, 8, 64, 32, 4, 96, 52, 62, -24, 68, -4, -88, -64, -32, 80, 8, -12, -16, 0, 16, 8, 36, 8, -24, 32, -32, -20, 104, 20, 0, 24, 0, -24, 0, 12, 64, -8, 64, -36, 92, 8, -4, -8, 20, 20, 20, 8, 0, 28, 4, 0, 8, 0, -32, -10, 16, -8, 0, 12, 64, -20, 4, 32, -96, 0, -12, -24, -24, 10, -16, 8, -8, -8, -20, 0, 12, 2, -88, -16, 32, 64, -72, 12, 108, 4, 0, -76, 16, -16, -4, 64, 12, 0, 16, 24, 64, 20, -16, 4, -28, 0, -64, 0, -12, 0, 52, 32, 60, 8, 0, 8, -40, 0, 24, 96, 40, 12, 32, -16, 64, -24, 16, -24, 64, 4, -40, 52, 32, -20, -40, 4, -100, 0, 2, 32, 88, -16, -72, 16, 32, -24, 0, -48, -8, -44, 16, 32, -96, 0, -12, 84, -4, 16, -96, 0, 0, 8, 6, -4, 12, 2, 16, -8, 52, 8, 52, 8, 64, -32, 4, 12, -48, -16, 72, 28, 4, 24, 32, 48, 16, -2, 64, 0, -36, 8, -36, -8, 0, 44, 0, 0, -4, 8, -12, -64, -60, -8, -32, -56, -16, 0, -4, 0, 108, -8, -16, 32, 12, -16, 72, -8, 0, 16, -4, 0, -132, 44, -32, 0, 40, -2, -4, 32, 16, -20, 8, 4, -136, 4, -4, 4, -104, 0, -48, -40, 40, 4, -32, -4, -40, 0, 24, -16, 20, -8, 60, 0, 64, 2, 12, -20, -16, 0, -8, 76, 16, -8, 32, 12, -24, -4, -60, -48, -64, -16, -20, -96, -16, -16, 92, -8, 12, -8, -36, 8, 60, -12, 64, -4, 16, 16, -8, -24, -20, 28, -12, 4, -48, -40, -48, 80, 64, 0, 24, 0, -4, 16, -88, -2, 80, -8, 20, -48, 96, -16, 0, -4, -6, 0, -72, -10, 12, -24, 12, -64, 0, -8, 8, -92, -2, 28, -32, 48, 64, 16, -24, -52, 32, -4, 8, 24, -36, -24, -24, 20, -104, -8, 0, 24, -20, -2, 162, 32, -48, 16, 32, 0, 80, -12, -56, 0, -40, -16, -68, 16, -8, 20, -48, 0, -16, -8, -52, -32, -24, -12, 0, -16, 0, 40, 68, 40, -128, 8, -4, -24, -24, 0, 112, -8, 4, -20, 80, 0, 24, 32, -12, -10, 64, 0, 24, -60, 24, 32, 32, 4, 72, -20, 0, 0, -80, 0, -120, 24, 68, 4, 24, 8, -24, 40, -8, -48, 32, -8, 76, -24, 4, -12, -128, -8, 16, 16, 12, -32, 20, 12, -120, -24, 16, -8, -28, 16, -40, -6, 32, -52, 0, 2, 48, 20, 16, -20, 116, 32, 16, 18, -44, 16, 0, -4, -56, 0, 44, 0, 0, 8, 4, 44, -36, 52, 16, 24, 0, -16, 8, 32, -40, 20, 48, -12, 8, 32, -104, -16, -28, 48, 16, 4, 48, 0, 24, 0, 2, 0, -60, 10, 72, 48, 48, -48, -12, -4, 12, -16, 20, 12, -32, -20, -96, 32, -4, 4, 0, 32, -108, -68, -16, 0, 16, 8, -64, 0, 40, 0, 84, -28, -128, -8, 0, -28, 0, 8, -12, 48, 12, 4, -84, 4, 40, -24, 64, 96, 100, 6, 22, 8, 16, -36, 0, 36, 4, 12, -48, -48, 28, 12, 0, -48, 8, 32, -44, 24, 16, 0, -28, 24, -20, -4, 72, 56, 64, 20, 32, 0, 64, 8, 12, 68, 32, 0, -144, 8, 8, -32, 36, 16, 0, -64, -48, -20, 120, 0, 120, 30, 20, -8, 128, 36, 48, -40, 8, -84, -52, -16, 12, -32, 24, 0, -16, -16, -56, 8, -24, -48, 0, 0, -76, -12, 24, -64, 60, 8, -24, 0, 24, 48, -32, 2, -16, 32, 12, 16, -24, 88, 0, -8, 12, -8, -32, -4, 16, -16, 0, -62, 32, -20, 8, 4, 64, 24, 24, 32, 40, -64, 12, 12, -44, -12, 120, -16, -28, 56, -48, -8, -32, -56, -2, 32, -12, -12, 32, -20, 20, 0, -4, 0, 0, 20, 64, -12, -56, 0, -100, -64, 0, 0, -36, -8, -144, 24, 20, -20, -116, 0, 24, -8, 4, 68, 48, -4, 44, 52, 28, 0, 40, 16, -16, -16, 8, -24, 0, -12, 0, 16, 28, -4, 24, -16, 0, 0, 0, -28, -120, 24, -16, 24, 8, -8, 256, 16, -40, 20, 16, -16, 4, -2, -32, -84, 48, -32, -40, 0, 8, -12, -18, -28, -64, 0, -40, -52, -80, 16, 12, 0, 12, -12, -72, 16, -16, -24, -16, 32, -24, 16, -92, 8, -64, 0, 16, 24, -56, 12, -80, -88, -12, -32, 76, -24, -96, 0, -4, 40, -8, 0, -96, -36, 16, -40, 0, -10, 108, 16, -48, -24, 80, -16, 52, -112, 16, -4, 12, 20, 76, -32, 32, 48, 48, -4, 32, -48, 32, -2, 48, -16, 28, 16, -8, -4, -36, -32, 4, 8, 32, 48, 0, 8, -48, -16, 48, 32, -44, 0, 8, -16, -4, 4, -44, 32, 0, 0, -12, -40, -36, -6, 72, 16, 0, -2, 192, 0, 144, -52, -12, 0, 76, -8, 68, -8, 40, -4, -32, -32, -16, 16, 40, -20, -44, -4, -72, 0, 4, -48, -40, 16, 172, -64, -68, -48, 96, -8, 8, 50, -16, 0, 76, -12, -16, 0, 32, 4, -48, 12, -132, 0, -8, 8, 8, 0, -8, 16, -64, 0, -96, 0, 96, -48, 40, 16, 80, -4, -4, 16, -40, 16, -48, 0, 64, 72, -12, 0, -68, 56, 16, 32, 0, 16, -10, 2, 16, -12, -28, -16, -8, 0, 24, -4, -40, -32, -112, 4, -104, 104, -16, 0, -20, 64, -80, -40, 64, -4, -36, 4, -74, 56, 52, -24, 24, -24, -128, 8, -4, 28, 0, -64, -48, 88, 80, 20, -24, -12, -176, 8, 0, -48, 32, 8, -28, 24, 8, 24, 72, 32, 64, 48, -20, 10, -156, 20, -96, -28, 24, 16, 32, -24, -68, -12, 12, 96, 64, -8, 8, -56, -36, -64, 132, 8, 16, -16, -8, -40, 128, 20, -128, 0, 8, -4, 64, 28, 0, 48, 0, 32, 168, 0, 120, -16, -10, 4, -64, -8, -16, 2, 12, 0, 40, -20, -16, 12, 32, 16, 0, 0, 32, 6, -24, -24, -60, 10, 16, 0, 8, -12, 144, -8, -48, 8, 0, 0, 0, 2, 52, -116, -16, -48, -8, 64, 72, 24, 12, 16, -152, 4, -4, 72, -76, 36, -68, -16, -224, -20, 64, 48, -28, 0, 48, 44, 24, 2, -48, 20, -16, 48, 4, 24, 32, 0, 48, -8, 0, 56, -68, 0, -112, 16, 32, 12, 124, 8, 0, 44, 8, 0, -92, 0, -132, 52, 96, 52, -24, 12, -56, -64, -16, 0, 32, -24, -24, -40, -24, -36, 0, 4, 20, -16, 52, 0, 48, -20, 112, -4, 4, 16, 32, 0]