# Trace form for 6003.2.a.f, downloaded from the LMFDB on 24 April 2024.
[0, 2, 2, 0, -2, 4, 0, 0, -6, 0, 4, 4, 0, -4, 0, 0, -2, 0, 0, -4, -4, 0, 4, 2, 0, -2, -4, 0, 0, -2, 0, -16, 10, 0, 0, 0, 0, 0, -4, 0, -12, 4, 0, 4, -4, 0, 2, -8, 0, -14, -2, 0, 4, 4, 0, 8, 0, 0, -2, 8, 0, -16, -16, 0, 14, -8, 0, -8, 0, 0, 0, -16, 0, -4, 0, 0, 4, 0, 0, 12, -4, 0, 4, -8, 0, 0, 4, 0, -12, 0, 0, 0, -2, 0, -8, -8, 0, 8, -14, 0, 2, -20, 0, -8, 12, 0, 4, -16, 0, 4, 8, 0, 0, -8, 0, 4, 2, 0, 8, 0, 0, 26, -16, 0, 16, -24, 0, 0, -6, 0, -8, -24, 0, 0, -8, 0, 0, -16, 0, 16, 0, 0, -16, -8, 0, -4, -4, 0, 0, -4, 0, 24, 12, 0, 0, -32, 0, -16, 12, 0, 20, 0, 0, 16, -4, 0, -8, -24, 0, -18, 0, 0, -4, 4, 0, 0, -4, 0, 0, 0, 0, -20, 0, 0, -6, 0, 0, -40, 8, 0, -8, 4, 0, 28, 8, 0, 14, 20, 0, -8, 6, 0, -20, 0, 0, 8, -8, 0, 4, -48, 0, -16, -4, 0, -16, 8, 0, 0, 4, 0, -8, 0, 0, 16, 0, 0, -8, 8, 0, 8, 4, 0, 6, -4, 0, -16, -8, 0, 0, -8, 0, -36, 26, 0, 16, -28, 0, 8, 48, 0, -24, -12, 0, 4, 0, 0, -34, 12, 0, 0, 8, 0, -24, -12, 0, 8, 0, 0, 8, -28, 0, 0, 0, 0, -16, -4, 0, -4, 16, 0, 0, -44, 0, 16, 16, 0, -8, 0, 0, 6, -4, 0, 4, 0, 0, 16, 0, 0, -4, -4, 0, 0, 24, 0, 4, -32, 0, -32, 0, 0, -32, 8, 0, 28, -16, 0, -12, 4, 0, -4, 28, 0, 0, 40, 0, 4, 16, 0, -12, 0, 0, 24, 8, 0, -24, -16, 0, -8, -18, 0, 0, -32, 0, 0, -12, 0, 4, 24, 0, -20, 0, 0, 20, -4, 0, -32, 0, 0, 0, -52, 0, 10, -20, 0, 0, -8, 0, 12, -2, 0, 0, 0, 0, 12, -40, 0, 24, 4, 0, 12, 8, 0, 4, -56, 0, 0, 28, 0, -8, 0, 0, 0, 42, 0, 20, 24, 0, -4, -8, 0, 2, 4, 0, 32, 20, 0, 0, -40, 0, -36, 8, 0, 8, 0, 0, -16, -20, 0, -48, 8, 0, -32, -16, 0, -12, 0, 0, 0, 16, 0, 8, 0, 0, 32, 0, 0, -4, -4, 0, 16, -24, 0, 0, 0, 0, 0, 16, 0, 0, 36, 0, 88, 8, 0, 8, 0, 0, -12, 8, 0, -4, 36, 0, 8, 2, 0, -4, 60, 0, 0, -16, 0, -24, 48, 0, 4, 0, 0, -8, -4, 0, 0, -36, 0, -26, 16, 0, -40, 48, 0, -28, 40, 0, 0, 8, 0, 16, 0, 0, 48, 24, 0, -12, -44, 0, -40, 4, 0, 0, 4, 0, 0, -22, 0, 12, -16, 0, -96, 0, 0, 24, 4, 0, -8, 24, 0, -12, 0, 0, 2, 8, 0, 0, -8, 0, -32, 24, 0, -28, -28, 0, 36, 0, 0, 0, 8, 0, 24, 16, 0, -4, 4, 0, 0, -4, 0, -16, 4, 0, -8, 0, 0, -44, 12, 0, -16, 16, 0, 48, -56, 0, -32, 8, 0, 0, -2, 0, -36, 6, 0, 4, 0, 0, 8, 12, 0, 0, 0, 0, 32, 16, 0, 0, 12, 0, 0, 4, 0, -4, 24, 0, 12, 0, 0, -24, 52, 0, -8, -20, 0, -32, 16, 0, 36, -32, 0, 0, 8, 0, 28, 32, 0, 8, 0, 0, -38, 28, 0, 16, 40, 0, 56, -36, 0, 4, 0, 0, 28, -4, 0, -12, 56, 0, 8, 0, 0, 40, -16, 0, 16, 4, 0, -16, 44, 0, -48, -4, 0, 0, 44, 0, 52, 24, 0, 24, 0, 0, -2, 24, 0, -16, -72, 0, 68, -8, 0, 18, -48, 0, 0, 0, 0, -32, -48, 0, -32, 0, 0, -4, -8, 0, -32, -4, 0, 24, 32, 0, -80, -20, 0, 0, -68, 0, 40, 28, 0, -4, 0, 0, -36, -32, 0, 0, -16, 0, -16, 0, 0, -52, 40, 0, 0, 10, 0, 20, 2, 0, 52, 0, 0, -8, -40, 0, -40, 12, 0, 10, -16, 0, 80, 0, 0, 0, -12, 0, -8, 12, 0, 40, 0, 0, 76, 8, 0, 4, 48, 0, -40, 12, 0, 24, -20, 0, 0, -4, 0, -56, -16, 0, -16, 0, 0, -28, 40, 0, 16, -24, 0, 0, -88, 0, -32, 0, 0, 14, -32, 0, -56, -20, 0, 24, 0, 0, 32, -4, 0, 8, 56, 0, 80, -10, 0, 4, -88, 0, 0, 32, 0, 60, 12, 0, 24, 0, 0, -40, 32, 0, -48, -36, 0, -8, -28, 0, 72, 24, 0, 0, -20, 0, -12, -16, 0, -28, 0, 0, -48, 48, 0, 8, -36, 0, 2, -32, 0, 16, -36, 0, 0, -4, 0, 0, 0, 0, -20, 0, 0, 48, 12, 0, -40, -8, 0, 0, 8, 0, 8, 32, 0, 0, 64, 0, 16, -12, 0, -4, 0, 0, 44, 16, 0, -8, -32, 0, -16, 0, 0, 0, 16, 0, 0, 0, 0, -16, 96, 0, 0, 0, 0, 36, 16, 0, 0, 88, 0, 24, -40, 0, -60, -8, 0, 0, -12, 0, -16, -12, 0, -8, 0, 0, 0, -12, 0, 36, 32, 0, 0, 8, 0, -10, -4, 0, 28, 4, 0, 60, -80, 0, 36, 0, 0, 16, -12, 0, 4, -8, 0, 48, 56, 0, 8, 4, 0, 0, -28, 0, 8, 8, 0, -4, 0, 0, 66, 0, 0, 36, 56, 0, -24, -78, 0, 16, 28, 0, 0, -40, 0, 16, -36, 0, 120, 28, 0, 40, 28, 0, 40, 0, 0, -8, 4, 0, 0, -80, 0, 0, -16, 0, 20, 48, 0, 72, 0, 0, 0, 12, 0, -44, -8, 0, 92, -40, 0, -4, 28, 0, 0, 0, 0, 4, 48, 0, 44, 0, 0, 46, -4, 0, -24, -12, 0, -16, -104, 0, 32, -96, 0, 0, 40, 0, -8, 8, 0, 4, 0, 0, -96, -8, 0, 72, 4, 0, 32, 12, 0, 0, -32, 0, 0, 2, 0, -8, 44, 0, 28, 0, 0, -8, 136, 0, 60, -32, 0, 8, 0, 0, -4, 28, 0, -28, 16, 0, -8, 36, 0, 0, 0, 0, 64, 0, 0, 8, 4, 0, 12, 24, 0, 48, -36, 0, 0, 4, 0, 4, 64, 0, 0, 0, 0, 4, -68, 0, 40, -48, 0, 4, 32, 0, -100, -8, 0, 0, -16, 0, -28, 44, 0, 12, -14, 0, 28, -16, 0, -16, 64, 0, 16, 16, 0, -56, 0, 0, 0, -32, 0, 24, 16, 0, 0, 0, 0, -2, 72, 0, -12, -36, 0, -6, 0, 0, 72, 12, 0, 0, 72, 0, -8, 8, 0, 4, 0, 0, -20, 0, 0, 0, 8, 0, -112, 32, 0, -16, 76, 0, 0, 0, 0, 12, 44, 0, -4, 0, 0, 12, 12, 0, -16, 4, 0, 24, -72, 0, 16, 12, 0, 0, -72, 0, 0, -72, 0, 52, 0, 0, 44, -8, 0, -28, 44, 0, 4, 32, 0, 16, -8, 0, 14, 36, 0, 32, -120, 0, 88, 0, 0, 8, 16, 0, -44, 28, 0, 96, 80, 0, 24, -8, 0, 0, -4, 0, -72, -38, 0, -28, 0, 0, -24, 48, 0, 40, -52, 0, -16, 56, 0, -12, 8, 0, 0, -4, 0, 0, -32, 0, 16, 28, 0, 4, 36, 0, 52, -68, 0, 56, -56, 0, 24, 8, 0, 0, 44, 0, -64, -40, 0, -16, 0, 0, -60, 16, 0, -4, -12, 0, 36, -48, 0, 44, 84, 0, 0, -48, 0, 20, 40, 0, -24, 0, 0, 44, 8, 0, 12, 52, 0, -24, -4, 0, 24, 8, 0, 0, 168, 0, -32, -2, 0, 72, 0, 0, 16, 16, 0, -72, -40, 0, -56, 68, 0, 8, 32, 0, 0, 54, 0, -48, 0, 0, 8, 0, 0, 0, -36, 0, 8, 32, 0, -48, -16, 0, -34, -32, 0, 0, -68, 0, -48, 20, 0, -8, 0, 0, -36, -32, 0, -12, -8, 0, 88, -24, 0, 32, 32, 0, 0, -80, 0, 20, -160, 0, -32, 0, 0, -68, -16, 0, -88, 40, 0, -12, -52, 0, 0, 4, 0, 0, 32, 0, -8, -36, 0, 32, 14, 0, -44, 0, 0, -16, 64, 0, 12, -16, 0, 0, -16, 0, 0, 52, 0, 40, 0, 0, -48, 0, 0, -10, 12, 0, -36, 60, 0, 2, -64, 0, -76, 52, 0, 0, 64, 0, 112, 8, 0, -40, 0, 0, 0, -40, 0, -12, 16, 0, -36, 14, 0, -16, -8, 0, 0, 80, 0, 0, 76, 0, -8, 0, 0, -12, 76, 0, 0, -8, 0, -12, -16, 0, -8, 120, 0, 0, -48, 0, -64, 76, 0, -40, 0, 0, -72, -4, 0, 48, 32, 0, -120, -40, 0, -12, -80, 0, 112, 8, 0, -20, -44, 0, 16, 0, 0, -12, 112, 0, 8, 56, 0, -16, -64, 0, -4, -16, 0, 0, -8, 0, 48, -84, 0, 40, 0, 0, 12, 16, 0, -8, -84, 0, 16, 0, 0, -88, 80, 0, 0, -32, 0, 0, 56, 0, 0, -70, 0, -32, -8, 0, -52, -56, 0, -60, 16, 0, -40, -24, 0, 0, 44, 0, 8, 32, 0, 4, 0, 0, -40, 24, 0, 56, -8, 0, -48, 80, 0, -14, -28, 0, 0, -4, 0, -88, -52, 0, -112, 0, 0, -32, -52, 0, 80, 20, 0, 12, -40, 0, -104, 24, 0, 0, 48, 0, 36, 40, 0, 32, 0, 0, -16, -48, 0, 36, -76, 0, 72, -24, 0, -28, -32, 0, 0, 72, 0, 8, -120, 0, 0, 0, 0, -20, 48, 0, 4, -12, 0, 16, -32, 0, 4, 12, 0, 0, 20, 0, -84, -48, 0, 144, 0, 0, 8, -8, 0, -36, -4, 0, 86, 2, 0, 32, -16, 0, 0, 48, 0, -36, -120, 0, 72, 0, 0, 20, 84, 0, 20, 0, 0, 0, 48, 0, -64, -20, 0, 0, 24, 0, -8, 16, 0, 12, 0, 0, -80, -40, 0, -24, 56, 0, 12, 0, 0, 8, -72, 0, 0, 8, 0, -32, -12, 0, 48, 0, 0, 64, 80, 0, -84, 16, 0, -4, -40, 0, -72, 4, 0, 0, -80, 0, -148, 44, 0, -16, 0, 0, -60, 40, 0, -32, 88, 0, -8, -16, 0, 0, 16, 0, 0, 0, 0, 16, 16, 0, -100, 0, 0, 0, 32, 0, -40, -48, 0, 96, -32, 0, -36, 0, 0, 0, 112, 0, -104, -36, 0, 16, 0, 0, 0, 0, 0, -88, 20, 0, -32, 8, 0, -40, 24, 0, 0, -60, 0, -24, 12, 0, 80, 0, 0, -12, -40, 0, 4, -16, 0, 12, -64, 0, 64, -24, 0, 0, 24, 0, 32, 0, 0, -4, 0, 0, -136, -36, 0, 32, 24, 0, -38, 0, 0, -8, 80, 0, 0, -14, 0, -4, -36, 0, -4, 28, 0, 12, 24, 0, -32, -60, 0, -80, -40, 0, 0, 36, 0, 0, -24, 0, -40, 48, 0, -12, 0, 0, 8, 4, 0, 40, 12, 0, 128, -48, 0, 56, 24, 0, 0, 8, 0, -4, -36, 0, 8, 0, 0, -28, 16, 0, -8, 8, 0, 24, -84, 0, -112, 4, 0, 0, -40, 0, -40, 66, 0, 0, 0, 0, -176, 108, 0, 56, -44, 0, 52, -24, 0, -26, 8, 0, 0, -16, 0, 28, 8, 0, 0, 0, 0, 40, -20, 0, -52, -80, 0, -36, 0, 0, -64, 120, 0, 84, 0, 0, -48, -40, 0, 28, 0, 0, -80, 40, 0, 0, -76, 0, -12, -24, 0, 4, 72, 0, 0, 0, 0, -112, -8, 0, 64, 0, 0, -16, -40, 0, 8, 20, 0, -48, 52, 0, 52, 24, 0, 0, -8, 0, 8, 0, 0, 36, -28, 0, -36, 44, 0, -8, 64, 0, -44, 92, 0, 40, -96, 0, 0, -12, 0, 28, 112, 0, -52, 0, 0, 0, 112, 0, -80, -4, 0, 48, 0, 0, 32, 44, 0, 0, -72, 0, 0, 90, 0, -4, 0, 0, 12, -24, 0, -36, -160, 0, 16, 16, 0, -104, 0, 0, 0, 32, 0, 96, 48, 0, 72, 0, 0, 40, 8, 0, 64, -8, 0, -40, -20, 0, 0, -4, 0, 0, -24, 0, -124, -96, 0, 8, 0, 0, 16, 24, 0, 4, 24, 0, -32, 32, 0, 36, -64, 0, -28, 0, 0, -32, -40, 0, 92, 0, 0, -2, 4, 0, -32, -24, 0, 44, 136, 0, 0, 28, 0, 0, 4, 0, 76, 8, 0, 136, 0, 0, -36, 60, 0, 32, 52, 0, -8, -40, 0, 0, -24, 0, 0, -4, 0, 84, 20, 0, 0, 28, 0, 16, 160, 0, 24, -8, 0, -36, 64, 0, 40, 0, 0, 0, 48, 0, 8, 64, 0, 0, 0, 0, 64, -8, 0, 4, 0, 0, -8, 12, 0, -24, 64, 0, 0, 16, 0, -36, 32, 0, 88, 0, 0, 12, 128, 0, -24, -4, 0, 64, -20, 0, 98, 0, 0, 0, -44, 0, 0, 12, 0, -68, 0, 0, 52, 40, 0, -16, 0, 0, 0, -4, 0, 32, 8, 0, 0, -100, 0, 8, -44, 0, -40, 0, 0, -16, -48, 0, 72, -28, 0, 132, -8, 0, 36, -12, 0, -14, 176, 0, 40, 28, 0, 16, 0, 0, 32, -48, 0, 64, -112, 0, 60, 16, 0, -80, 64, 0, 0, 56, 0, 0, 8, 0, -92, 0, 0, 32, -24, 0, 40, 8, 0, 16, -12, 0, -52, 0, 0, 0, -36, 0, -212, 2, 0, 72, 56, 0, 72, -12, 0, 36, 60, 0, -80, -18, 0, 0, 16, 0, 0, 72, 0, 4, 48, 0, -20, 0, 0, 72, 0, 0, 40, -8, 0, -8, -68, 0, 120, -20, 0, 0, -40, 0, -4, -20, 0, 0, 0, 0, -8, 0, 0, 8, -140, 0, 40, -112, 0, -32, -64, 0, 0, -48, 0, 76, -80, 0, 96, 0, 0, 0, -8, 0, 40, -12, 0, 44, 48, 0, 36, -4, 0, 0, 4, 0, 48, 4, 0, 12, 0, 0, 48, -16, 0, 12, -4, 0, -8, -24, 0, -72, 4, 0, 98, 16, 0, -12, 0, 0, 8, 0, 0, -72, -24, 0, 160, 0, 0, -24, 28, 0, 16, -52, 0, 0, 40, 0, -8, 44, 0, 8, 0, 0, 80, 12, 0, 44, -80, 0, -36, 4, 0, 96, -52, 0, 0, -16, 0, -8, 112, 0, -96, 14, 0, -36, -128, 0, 80, 96, 0, -120, -40, 0, -16, 88, 0, 0, 0, 0, 56, -8, 0, 16, 0, 0, 28, -44, 0, -28, -36, 0, 0, 32, 0, 80, -8, 0, 0, 24, 0, -24, 48, 0, -16, 0, 0, -4, 96, 0, -144, -72, 0, 38, -112, 0, 168, -84, 0, 0, 4, 0, -56, -24, 0, 16, 0, 0, -88, -40, 0, -52, -104, 0, 96, -16, 0, -56, 20, 0, 0, 60, 0, 8, -72, 0, -80, 0, 0, -12, 16, 0, 48, 0, 0, -32, -96, 0, 8, 16, 0, -28, -8, 0, -80, 12, 0, 36, 0, 0, -68, 52, 0, -44, -40, 0, 152, -56, 0, -56, 80, 0, 0, 24, 0, -8, 64, 0, 8, 0, 0, 44, 16, 0, 0, -64, 0, -120, -192, 0, 16, 16, 0, 0, -68, 0, 8, -60, 0, -16, -28, 0, -8, -12, 0, -12, 72, 0, 8, 36, 0, -16, -108, 0, 0, -44, 0, 84, -16, 0, -12, 0, 0, 48, 64, 0, -72, 28, 0, 40, 0, 0, 64, -24, 0, 0, 28, 0, 0, -44, 0, 8, 0, 0, -112, 12, 0, -52, 4, 0, 8, -72, 0, -4, 8, 0, 0, 24, 0, -40, -60, 0, 48, 0, 0, 168, -32, 0, -16, -32, 0, 2, 40, 0, -56, 24, 0, 0, 16, 0, 76, 16, 0, 48, 0, 0, 116, 72, 0, -40, -68, 0, 16, -56, 0, -68, -172, 0, -56, 24, 0, 32, 80, 0, 80, 0, 0, 18, 72, 0, 56, 48, 0, 0, 4, 0, 124, 8, 0, 0, 96, 0, 120, 0, 0, -36, 0, 0, -4, 8, 0, 96, 112, 0, 0, 48, 0, -16, 48, 0, 0, -34, 0, 32, -116, 0, 32, 0, 0, -68, -16, 0, -132, -48, 0, 28, -36, 0, 8, 8, 0, 0, 0, 0, 176, -36, 0, 32, 0, 0, -108, -4, 0, -8, -80, 0, -32, 88, 0, -72, -116, 0, 0, -32, 0, 32, 26, 0, 8, 0, 0, 80, 68, 0, -72, 60, 0, -160, -16, 0, 20, -32, 0, 0, 28, 0, 76, 68, 0, -16, 0, 0, -98, -88, 0, -40, -8, 0, 24, -68, 0, -52, -64, 0, 0, 0, 0, 12, 8, 0, -136, 0, 0, 32, -72, 0, -92, -8, 0, 36, 20, 0, -80, 96, 0, 14, -120, 0, -112, -44, 0, 0, 0, 0, -8, 16, 0, 64, -64, 0, -16, 12, 0, 16, 84, 0, 0, 0, 0, -16, 144, 0, 32, 0, 0, 156, 0, 0, -24, -40, 0, 0, -96, 0, -16, -48, 0, 0, -72, 0, -104, -30, 0, 12, -56, 0, -64, -36, 0, 20, -64, 0, -32, -2, 0, -64, 28, 0, 0, -76, 0, -52, -12, 0, -32, 0, 0, 64, 16, 0, 56, 112, 0, 24, 0, 0, -40, 40, 0, 0, -24, 0, 20, 0, 0, 40, 0, 0, 0, -36, 0, 16, 16, 0, 0, -36, 0, -6, 64, 0, 0, 16, 0, -8, -16, 0, -124, 0, 0, -80, -60, 0, -56, 0, 0, 76, 16, 0, 24, -8, 0, 0, -60, 0, -200, 12, 0, 76, 0, 0, -16, 0, 0, 8, -160, 0, 72, -36, 0, -16, 8, 0, 112, -8, 0, 40, -168, 0, 48, 0, 0, -48, -152, 0]