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