# Trace form for 4003.2.a.a, downloaded from the LMFDB on 20 April 2024.
[0, 2, 0, 0, 0, 0, 4, -2, 0, -2, 4, -4, 0, 8, 0, 4, -8, -2, 0, 2, 0, 0, -8, -12, -8, -6, 8, 0, 0, -8, 0, 4, 0, -8, -16, 0, 0, -14, 16, 8, -8, 16, -4, 0, 0, 0, 8, 8, 0, -12, 0, -16, 0, -4, -16, -8, 0, 16, -8, -12, 0, 20, -24, 2, 16, 8, -8, 14, 0, 8, -4, 12, 0, -6, -8, 0, 0, 4, 16, 6, 0, -10, 8, 6, 0, -16, 0, -8, 16, -18, -4, -8, 0, -24, 20, 16, 0, 12, 0, 4, 0, 14, -4, -10, -16, -4, -32, 0, 0, -4, -8, -8, 8, 16, 4, 8, 0, -8, 8, 2, 0, 2, 8, 8, 0, 0, 0, -2, 0, 0, 16, 18, 0, -2, -16, -16, 32, -6, -24, -20, 0, 20, 0, -32, 8, -8, 0, 0, 0, -14, -12, -22, -32, 2, 8, -24, 0, -8, -24, -32, 0, 12, 0, -4, 0, -8, -40, -24, 8, 22, -4, -2, 0, -24, -16, 6, 16, 8, 8, 8, 0, 16, -8, 8, -16, -8, 8, 36, 0, 0, 4, 14, 0, -2, 12, 16, 0, 6, 8, 28, 0, -16, -8, 8, 0, 8, 24, 12, -32, -36, 0, 4, 0, 0, -24, 0, 32, -4, 24, 0, 0, -40, -28, 28, 0, 6, -20, -40, 0, 36, -24, 8, 16, -12, -8, 20, 0, -24, 16, 6, -16, 6, 32, 0, 0, 0, 32, 40, 48, -40, -32, -12, 0, 8, -56, -4, 0, 0, 0, 14, 0, 8, 24, 2, 16, -32, -16, 8, 0, -36, 0, 46, 8, -8, 0, 12, 0, -12, -16, -4, 8, 14, 16, -20, 0, 4, -48, -16, 0, 32, -16, 12, 0, -40, -24, 8, 16, 32, -40, -32, 0, 0, -8, -8, -8, 8, 16, -28, 0, 24, 8, 6, -32, -10, 32, 0, 0, 12, -8, 32, 0, -24, -8, -66, 0, -24, 0, 24, -16, -8, -16, 12, 0, 14, 28, -16, 0, 8, 64, -20, 0, 40, -16, 26, 0, -24, 32, 6, 0, 38, 0, -32, 0, -42, -24, 0, 0, 16, -16, 8, 8, 28, 32, 32, 0, 0, 40, -4, 48, -16, -28, 4, 0, -16, 40, -32, -40, -48, 16, 4, 0, -56, 16, -16, 32, 8, -32, 0, 0, -24, 16, -20, 0, 24, 16, -24, 0, -30, 28, -16, 24, 0, 28, -32, 0, 0, 8, 44, 8, 16, 32, 0, 0, 12, -8, -40, 0, -16, -40, -40, 0, 36, -32, -8, 64, 6, 24, -20, 0, -48, 0, -36, 0, -42, 24, -16, 0, 20, -12, 20, 16, 12, -72, -36, 0, 8, -36, -40, -16, -32, 0, -48, 0, -8, -4, -8, -8, -4, -24, 64, 0, -36, 8, -12, 32, 8, 16, 36, 0, -14, 16, 32, -16, 0, 12, -6, 0, 4, 16, 18, 0, -72, 24, -8, 0, 12, 28, 12, -16, 0, -24, -28, 0, 40, 72, 8, -16, -12, 12, -62, 0, 28, 24, -18, 0, -8, 32, 64, 0, -36, -32, 6, 0, -64, -48, 24, 0, -56, 8, 32, -32, 48, 8, 36, 0, 0, 32, 92, 32, 42, -8, 12, 0, 80, -36, -24, 32, -16, 32, 24, 0, -16, -16, 32, 0, 24, -16, 28, 0, -20, 24, -40, 48, -6, -24, -28, 0, -6, 24, 0, 0, 40, -8, 0, 0, -20, 8, 10, 0, -30, 32, -28, 0, 16, -8, 36, -16, 6, 32, -32, 0, -6, 24, 72, 0, -8, -32, -12, 0, -92, -24, 16, 56, -6, 32, 16, 0, 28, -16, 20, 24, -28, 0, -14, 0, 32, 28, -4, 0, 8, 40, 72, 0, -20, 32, 32, -16, -56, -20, 56, 0, -32, 48, 18, -32, -2, -24, -40, 0, 46, 4, 26, 48, -32, 12, -56, 0, -48, 48, -12, 32, -42, 0, 28, 0, 0, -32, 24, 0, 8, -24, 24, 0, 0, -8, 24, -64, 6, -20, 12, 0, -32, 24, -72, 80, -16, 8, 32, 0, -36, 28, -56, 0, 8, 32, 0, 0, 18, 32, -12, 8, -4, 32, 24, 0, 0, 0, -24, 0, -80, 16, 54, 0, -4, 80, -16, 32, -48, 16, 16, 0, -22, -64, -46, -32, 16, 16, -14, 0, 10, 24, -6, -16, -72, 4, -48, 0, 16, 28, 54, 0, 10, 32, 24, 0, 24, 4, 8, 16, 58, -12, 0, 0, -92, -8, -24, 0, 4, -8, 10, 0, 72, 32, -76, -16, -40, -24, -6, 0, 0, 0, 78, -32, 24, -64, -8, 0, 58, -60, 32, -8, 12, -4, 4, 0, 16, 44, -32, 0, 12, 8, -48, 0, -60, 0, -12, -24, 8, 64, 48, 0, -24, 88, 32, 48, 32, 36, -10, 0, 32, 12, -16, -16, 96, 0, -8, 0, -76, -4, -88, 0, 18, 72, 12, 0, -8, -80, 32, 16, 36, -20, 40, 0, -16, 72, 0, 64, 0, 44, 8, 0, 52, -12, 52, -48, 24, -8, 6, 0, -20, 12, -24, 64, 12, -40, 28, 0, 96, -32, -52, 0, -10, 24, -8, 0, 64, -20, -2, 16, 8, 48, 68, 0, -40, -8, -16, 48, -42, -64, 4, 0, -8, 0, 52, 0, 32, -48, 32, 0, 36, -16, 24, -48, -12, -88, 0, 0, 22, 24, -32, 32, 12, 0, -32, 0, -24, -48, -46, 56, 2, -36, 20, 0, 88, -28, -16, 0, -16, -68, 32, 0, 132, -80, 0, 40, 32, -44, 8, 0, -14, -16, -82, -64, 68, -64, 40, 0, -18, 16, -56, 48, 32, 16, 48, 0, 42, -60, 10, 0, -6, -48, -12, 0, 48, 24, 40, 16, -80, 16, -24, 0, 16, -16, -80, 48, 16, 0, -36, 0, -24, -48, 12, -32, 0, 32, 16, 0, 48, -72, 6, 32, 90, -88, 0, 0, -32, 24, -16, -64, -32, 24, -4, 0, 20, 96, -24, -80, -72, -8, 20, 0, 4, 28, -42, -64, 16, 72, -20, 0, 0, 8, 10, 0, 24, 0, 28, 0, 28, 16, 32, 64, 32, -48, -20, 0, 28, -48, -132, -8, -40, 28, 32, 0, -34, 44, 8, 112, -16, 24, 66, 0, 2, 0, 32, -64, -48, -16, -24, 0, 0, -20, 30, 0, 62, -72, -8, 0, -52, -48, 14, -32, 80, 4, 14, 0, -40, 48, 16, -48, 14, 12, 12, 0, -40, -8, -32, 0, 22, -96, 16, 0, -34, -8, 48, 32, 24, 96, -48, 0, 40, 0, -2, -56, 72, 16, 0, 0, 28, 48, -56, 0, -8, -24, 32, 0, 24, 32, -48, -16, -2, -8, -42, 0, 28, -24, -12, 0, 0, -8, 8, 0, -8, -72, -52, -32, -72, 24, -32, 0, -38, -16, -12, 32, 32, -8, -36, 0, -40, 0, -24, 0, 20, 72, 56, 0, 0, 28, 72, -32, -96, 32, -64, 0, -28, 0, -4, -48, -60, -88, 50, 0, 4, 8, 2, 96, -24, 28, 20, 0, 44, -24, -60, 0, 32, -48, 8, 0, -56, -4, 52, 32, 0, 40, -60, 0, 16, 80, 64, 24, 24, -16, -68, 0, 88, 76, -24, 48, 48, 8, -18, 0, 6, 12, -22, 0, 12, 72, -4, 0, -80, 4, 0, 80, 28, 56, 16, 0, 2, -16, -40, 0, -66, -32, 72, 0, 24, 16, -12, 16, -80, 4, 24, 0, -18, 36, 28, 16, -24, 16, -40, 0, 72, 112, 70, -32, 36, 60, 44, 0, 24, 16, -16, -16, 6, -32, 72, 0, -120, -44, -8, -16, 6, 96, 8, 0, 12, -8, 0, 0, 16, 0, 20, 0, -8, -72, 24, -64, -32, 120, -28, 0, 72, 56, 24, -24, 32, 8, -16, 0, -80, -4, -16, 16, -50, -48, 48, 0, 48, 0, 4, 0, -8, 32, -72, 0, -48, 64, 32, 16, 12, 0, 58, 0, 0, -56, 8, 40, 26, 32, -48, 0, 122, -8, 66, 0, 8, 64, 42, 0, -36, 36, -88, 0, 40, 0, 32, 0, 24, -8, -22, 32, -20, 0, 0, 0, 12, -80, -84, -24, -48, -4, -24, 0, 0, 16, -36, -56, -14, 56, 8, 0, 14, -96, 90, 0, 32, 84, -68, 0, 12, 48, 2, -128, -80, -16, -16, 0, 88, -12, 22, 64, -24, -80, -72, 0, -16, 0, 78, 32, 40, -12, -64, 0, -8, 72, 64, 0, 10, -144, -6, 0, -106, -48, 16, -64, -24, -8, -6, 0, -60, -40, -48, 32, -28, -136, 24, 0, 116, -24, 12, 0, 24, -64, -104, 0, -8, -120, 16, -64, 54, 40, 154, 0, 8, 8, 8, 48, 32, 48, 0, 0, 48, 24, -22, 72, -48, 160, -50, 0, -110, -64, 128, 32, -6, 12, -8, 0, -72, 48, -36, 0, -84, -24, -88, 0, 32, 12, 30, -64, -12, 24, 12, 0, 16, 36, 24, 32, -104, 0, 22, 0, 96, 0, 36, -80, -32, 8, 4, 0, 24, 0, -44, -96, 28, -24, 36, 0, -4, 8, 72, 56, 28, 80, -20, 0, 32, 4, -8, 96, 4, -28, 0, 0, -60, 40, -16, -80, 16, 24, -42, 0, -90, 24, 24, 0, 0, -24, 12, 0, -48, -44, 24, -32, -14, -56, 28, 0, -128, 16, -24, -64, -22, -48, -24, 0, -60, -24, 24, -32, 72, 4, 56, 0, 0, -16, 32, -64, 80, -108, -10, 0, -116, 0, -36, 64, -20, 52, 40, 0, 14, 72, -72, -48, -74, 28, 48, 0, 24, 136, 6, -32, -28, -48, 4, 0, -24, 64, -28, 0, 48, -16, 18, 0, 72, 96, -6, -32, -154, 4, -36, 0, -8, 20, 54, -16, 12, 112, -96, 0, 40, -64, 0, -56, -32, 20, 48, 0, -4, -84, 96, -48, -82, -8, -36, 0, 0, 24, -60, -56, -78, 24, -8, 0, -28, -72, -32, -56, 48, -48, 48, 0, 8, -8, -24, -16, -64, 92, -28, 0, -16, -8, 12, 0, -72, 0, -8, 0, -50, 8, 108, -64, -24, 4, 184, 0, -20, -36, -32, 40, -60, 24, -120, 0, -72, 24, 24, 16, -64, -36, 24, 0, 60, -24, 14, 64, 8, 96, 66, 0, 104, -48, -8, 80, -6, -32, -42, 0, 0, 56, 36, 16, 62, 64, -36, 0, 32, 28, -6, 64, 28, 44, 14, 0, 82, -32, 32, 0, 56, -40, 112, 0, 0, -8, 120, -48, 32, 32, -88, 0, -16, -4, 32, 0, 8, 16, 0, 0, 18, -104, -14, 0, 84, -32, 26, 0, -24, 88, -48, 0, -40, -48, -48, 0, -90, 64, 80, -48, 2, 24, -96, 0, 40, -8, 40, 16, 16, -12, -88, 0, 80, 32, -86, 24, -52, -16, -64, 0, 12, -80, 12, 0, 76, 20, 0, 0, 16, -72, 8, 144, -96, 16, -8, 0, -6, -16, -36, 32, -40, 56, 72, 0, -24, 40, -28, 72, 4, 84, 36, 0, -16, 16, -28, 0, 8, -64, 28, 0, -16, 80, 0, 0, 38, 64, -32, 0, 32, 0, -112, -64, 64, 32, 104, 0, 84, -92, 4, 8, -84, 8, 96, 0, 36, -32, -40, 0, 18, 56, -8, 0, -72, 16, -12, 48, 112, -24, -8, 0, -8, -60, 60, -32, -2, -56, 60, 0, -8, 48, 0, -16, -86, 24, -32, 0, -92, -24, 32, -64, -44, 0, -172, 0, -74, -96, 60, -32, -24, 12, -32, 0, -8, 72, 74, 32, -44, 24, 0, 0, -84, -20, -28, -32, 36, -80, 36, 0, -64, 16, 120, 0, -50, 0, -8, 0, 56, -108, -60, -24, -46, -24, -4, 0, -24, 24, -16, -8, -4, -68, 32, 0, -116, 28, -48, -32, -56, 64, 44, 0, 0, 0, -18, 0, 64, -96, 32, 0, -12, 24, 104, -48, 64, -4, -14, 0, -14, -36, 0, -8, -136, -132, 12, 0, -56, -64, -24, -56, 64, 16, 32, 0, 18, -48, 44, 0, 4, -48, 88, 0, 86, 56, 64, 48, 92, -24, -104, 0, 36, -24, -14, -32, 16, 12, 0, 0, -36, -16, -18, -144, -8, 0, 84, 0, 20, 72, 0, 32, 0, 24, 22, 0, 40, 56, -96, -24, -34, 52, -4, 0, -48, 112, 12, 0, 16, 48, 20, 0, 72, 88, -28, -48, -96, -32, 8, 0, -96, -64, -80, 0, -88, 52, 84, 0, 0, 16, -32, -64, 30, -32, -26, 0, -30, 16, -16, 8, -96, 20, 72, 0, -12, 24, -72, 64, 32, -24, 40, 0, 44, 80, 124, 0, 0, -24, 40, 0, 24, -72, -12, 96, -130, 52, -48, 0, -36, -96, 96, 0, -8, 0, -144, 0, -80, 24, 92, -16, -48, -168, -18, 0, 124, 0, -32, 0, -70, 12, -74, 0, -40, 40, -56, -16, -32, -72, -136, 0, 32, 76, -32, -72, 12, -88, 40, 0, -60, -24, -64, -64, 24, -40, 0, 0, -120, 8, 34, -64, 70, 8, -20, 0, 24, -84, -16, 16, 8, 56, 68, 0, 128, -72, 48, 8, -84, 0, -28, 0, 96, -72, -8, 72, -60, -24, 160, 0, -144, -16, 10, 0, -64, 88, -64, 0, 28, 0, -6, -64, -54, 16, 0, 0, 48, -136, 226, 64, 40, -88, -24, 0, -48, 56, -44, 32, -6, -8, -40, 0, -96, -36, 24, -128, -6, -32, 28, 0, 36, 96, 68, 32, -88, 36, 0, 0, -112, 0, 10, 24, 0, -84, 24, 0, 112, -32, 8, -48, 24, -8, 70, 0, 0, 64, 66, 0, 38, -80, -24, 0, -6, -128, -48, 48, 8, -16, -12, 0, -52, -40, -40, 80, 54, 8, -114, 0, 4, 56, -48, -48, -32, 24, -28, 0, 60, -32, 12, 0, 160, -88, -4, 0, -68, 0, 24, 16, -32, 32, 32, 0, 24, -48, -80, -80, -156, -12, 12, 0, 66, -96, -12, -16, -44, -8, 4, 0, 104, -80, -56, 0, 12, 8, 24, 0, -8, -96, 0, -64, -38, 0, -48, 0, -64, 56, -110, 128, -24, 72, 24, 0, -36, 152, 16, 16, 30, -32, 130, 0, -16, -72, -48, 0, 16, 72, -108, 0, 18, 16, 4, -64, 0, -40, -60, 0, -12, 168, 52, 32, 56, 0, -100, 0, 72, 72, 0, -48, 6, -24, -14, 0, 30, -48, 24, 0, 136, -28, -86, 0, -24, -48, -48, 64, 16, -40, -76, 0, 40, -60, -120, 0, 128, 48, -16, 0, -96, -24, -8, 48, 96, -88, 84, 0, 0, -64, -2, -112, 108, -48, 76, 0, 20, 80, -128, -64, 40, -96, 112, 0, -40, -60, 28, 56, 32, -136, -40, 0, 10, 12, 20, 32, 120, 16, -72, 0, -84, -32, 24, 0, 58, -72, -32, 0, -88, 0, 56, 0, 24, 12, -8, 0, -226, -96, 24, 88, 108, -64, -80, 0, 36, -32, 30, -56, -36, -24, -48, 0, -6, 0, 224, 128, -8, 92, 96, 0, -8, 176, -46, -80, 36, 88, -38, 0, -8, -40, -72, -8, 156, 0, 0, 0, 16, 32, 28, -64, 32, 136, -6, 0, -48, -36, 4, 0, 72, 0, 104, 0, -36, 80, 42, 40, 172, 24, -12, 0, 108, 24, -66, 96, 24, 48, 88, 0, 0, -24, -36, -96, 114, -80, -176, 0, 12, 0, 16, 64, 88, 40, 96, 0, 176, 16, 68, 48, -48, 16, 72, 0, -72, -24, -20, 32, -8, -80, -48, 0, 56, -128, -24, -8, 44, 96, 64, 0, -42, 72, -28, 0, -14, 16, -36, 0, 174, -32, 44, -24, 0, -64, -106, 0, -32, -176, -28, 128, 24, 96, 20, 0, -96, 12, 106, -96, -8, -48, 0, 0, 0, 56, 32, -64, 56, -40, -8, 0, -16, 44, 54, 0, 4, 0, 16, 0, 252, 48, 30, -48, -104, 32, 0, 0, 56, 24, 16, 64, -72, -72, 168, 0, 88, 28, 72, 0, -4, -8, -48, 0, 24, -84, -136, 48, -32, 16, -6, 0, 4, 72, 24, 16, 12, 16, 16, 0, -8, 48, 48, 16, -152, -40, -48, 0, -54, 40, 0, 128, 32, 24, -84, 0, -44, 4, -16, 40, 92, 40, -8, 0, 40, 32, 48, 32, -84, -64, 20, 0, -96, 96, -88, -48, -72, 96, -60, 0, -4, 12, -8, 0, -60, -72, 70, 0, -16, 16, 50, -16, 96, 0, 56, 0, -120, 16, -100, 96, -56, -16, 0, 0, -4, 56, 84, -56, 16, 40, -28, 0, 16, -24, 114, -32, -10, -72, 32, 0, 144, -64, 48, -64, 80, 96, -80, 0, 42, 32, 64, -88, -24, -96, -160, 0, 0, 92, -12, -64, 20, -96, 32, 0, -224, 8, -48, 0, -92, -40, 24, 0, 12, -112, 32, -64, -16, -16, -28, 0, -32, 72, -24, 8, 20, 112, 56, 0, -112, -8, -48, 0, -8, 52, 80, 0, -92, 64, -24, 0, 66, 80, -72, 0, -60, -16, -84, -32, -24, 56, 28, 0, 24, -72, -10, 96, 48, -24, 4, 0, -8, -48, 24, -160, -12, -24, 30, 0, -96, -96, 52, 0, -8, -28, 0, 0, -68, -8, 20, -32, -96, 120, 0, 0, 46, -72, -6, -24, 32, 72, 60, 0, 72, 32, 0, 128, 158, 28, 24, 0, -72, -28, 28, 0, 10, -8, 146, 0, 32, -8, -80, -32, -48, -32, 96, 0, 16, -40, -174, -32, -100, 80, 0, 0, -24, 0, -88, -48, -108, 48, 100, 0, -88, -16, -24, 0, -44, -12, -14, 0, -12, 112, 8, -8, 128, 24, -68, 0, 52, 32, -16, -32, 28, 80, 120, 0, -54, -32, -32, -56, -278, 36, -64, 0, 0, 40, -64, 0, 0, -120, -96, 0, -48, -144, 118, -64, 96, 64, 72, 0, -68, 24, -4, -64, -54, 8, 40, 0, -36, -56, 76, -8, 40, 152, 66, 0, 60, 24, 96, 0, -64, -56, 80, 0, 16, 80, 16, 24, -100, 24, 6, 0, 24, 40, 30, -32, -40, -80, -48, 0, 40, 0, 76, 16, 56, -16, -30, 0, -104, 72, -96, 64, 8, -56, -36, 0, -24, -24, -168, 16, 64, 32, 12, 0, 66, 80, 8, 32, 8, 80, -116, 0, 72, -120, 0, -64, 144, 64, 34, 0, 72, -116, -6, 0, 96, -24, -12, 0, -60, -24, 120, 48, 56, 56, -8, 0, -120, -64, 52, -144, -48, -124, -16, 0, 70, -48, 48, 0]