# Trace form for 8450.2.a.bf, downloaded from the LMFDB on 18 April 2024.
[0, 2, -2, 2, 2, 0, -2, 6, -2, 2, 0, 6, 2, 0, -6, 0, 2, 6, -2, 6, 0, 6, -6, 12, -2, 0, 0, 8, 6, -12, 0, 6, -2, 6, -6, 0, 2, 12, -6, 0, 0, 0, -6, 4, 6, 0, -12, 6, 2, 4, 0, -12, 0, 6, -8, 0, -6, 18, 12, 0, 0, 2, -6, 6, 2, 0, -6, 0, 6, 0, 0, -12, -2, 6, -12, 0, 6, 18, 0, 2, 0, 2, 0, 6, 6, 0, -4, -24, -6, 24, 0, 0, 12, 0, -6, 0, -2, 6, -4, 6, 0, -18, 12, -8, 0, 0, -6, -18, 8, -24, 0, 30, 6, 0, -18, 0, -12, 0, 0, 18, 0, -4, -2, -36, 6, 0, -6, 32, -2, 4, 0, -12, 6, 18, 0, 0, -6, -6, 0, -8, 0, 6, 12, 0, 2, 0, -6, 4, 12, 12, 0, 30, -6, -30, -18, 0, 0, 26, -2, 18, 0, 36, -2, -18, 0, 0, -6, -6, -6, 0, 0, 30, 4, -30, 24, 0, 6, 36, -24, 12, 0, 2, 0, -16, -12, 0, 0, 18, 6, 24, 0, -42, 2, 12, -6, 0, 4, 12, -6, -8, 0, 0, 18, -36, -12, 0, 8, -12, 0, 18, 0, -4, 6, -12, 18, 0, -8, 18, 24, -24, 0, 0, -30, -6, -6, 0, 0, -12, 18, 6, 0, 18, 12, 6, 0, 0, 0, 20, -18, -6, 0, 0, 4, -34, 2, 0, 36, 0, -6, -12, 0, -24, 6, 36, -32, 0, 2, 0, -4, 36, 0, -36, 12, 24, -6, 0, -18, 42, 0, -30, 0, 12, 6, 0, 6, 0, 0, -2, 8, -6, 0, 0, -6, -40, -12, 0, 0, 0, -2, 38, 0, 48, 6, 12, -4, 0, -12, 24, -12, 0, 0, 12, -30, -12, 6, 0, 30, -48, 18, 10, 0, -6, 0, -32, -26, 0, 2, 36, -18, -36, 0, 12, -36, -18, 2, 0, 18, -36, 0, 18, 0, 12, 6, 48, 6, 0, 6, 2, 0, 24, 0, 18, -30, -30, -4, 0, 30, 54, -24, 30, 0, 0, -6, 30, -36, 0, 24, -36, -12, -24, 0, 4, -2, -4, 0, 0, 16, 32, 12, -72, 0, 18, 0, -20, -18, 0, -6, 0, -24, -18, 0, 50, 42, -24, -2, 0, -12, 4, 6, -42, 0, 72, -4, -54, -12, 0, 6, -12, 8, 54, 0, 0, 0, 0, -18, 0, 36, 36, 12, -36, 0, -24, -8, 0, 12, 0, 0, -26, -18, 0, 0, 30, 4, 6, -6, 0, 12, 6, -18, 0, 0, 6, 8, -4, -18, 0, -24, 12, 24, 38, 0, 4, 0, 24, 30, 0, 6, 12, 6, 0, 0, 0, 0, 0, 12, 0, -18, 54, -6, 24, 0, -30, -18, 12, -12, 0, -6, -48, 0, 0, 0, 26, 0, 12, -20, 0, 18, 30, 6, -30, 0, 0, 0, 0, -4, 0, 34, -18, -2, -12, 0, -24, -36, 0, 0, 0, 6, -36, 12, 24, 0, -6, 24, 36, -6, 0, -36, 0, 32, 24, 0, 18, -2, 24, 0, 0, 4, 18, -36, -30, 0, 6, 36, -16, -12, 0, -24, 36, 6, 50, 0, 72, 18, 0, -42, 0, 0, 0, 30, 12, 0, -6, -12, 56, -6, 0, 0, -28, -6, -34, 0, -60, 0, 6, 2, 0, -8, 24, 6, 0, 0, -36, 0, 36, 6, 0, 40, 6, 12, 6, 0, 4, 0, -36, 0, 0, 2, -6, -38, -24, 0, 18, -48, 18, -6, 0, -12, 60, 4, 6, 0, -42, 12, 0, -24, 0, 12, -44, 0, -12, 0, -34, -12, 0, 30, 0, 12, 44, -6, -72, 0, 0, -30, 12, 48, 0, -18, -36, -10, 42, 0, 48, 6, 72, 0, 0, 32, 54, 26, -18, 0, 0, -2, 50, -36, 0, 18, 0, 36, -12, 0, -78, -12, 18, 36, 0, 18, -12, -2, 0, 0, 0, -18, 18, 36, 0, 0, -54, -18, 24, 0, 6, -12, 0, -6, 0, -48, -48, -6, 6, 0, 6, -6, 28, -2, 0, 0, 24, -24, 18, 0, 24, -18, 0, 30, 0, 30, 12, 4, 0, 0, 18, -30, 18, -54, 0, 24, 108, -30, 0, 0, -6, 0, 72, 6, 0, -30, -54, 36, 30, 0, 38, -24, 48, 36, 0, 12, -24, 24, -24, 0, -24, -4, -30, 2, 0, 4, -4, 0, -46, 0, 12, -16, 36, -32, 0, -12, 0, 72, -18, 0, 0, -18, -48, 0, 0, 20, -30, 18, -54, 0, 20, 6, -6, 0, 0, 24, 34, 18, 0, 0, -48, -50, -72, -42, 0, 24, 0, 2, 0, 0, 48, 12, -36, -4, 0, -6, 90, 42, -72, 0, -36, -72, -48, 4, 0, 54, -6, 12, 78, 0, 0, -6, 0, 12, 0, -8, -12, -54, 18, 0, 60, 0, 18, 0, 0, 0, 12, 18, 48, 0, 66, -36, 0, -36, 0, -12, 12, 36, 0, 0, -30, 24, -44, 8, 0, 0, -54, -12, 40, 0, -2, 0, 12, 26, 0, 18, 24, 0, -54, 0, 38, -30, -36, -4, 0, -6, -12, 6, -76, 0, 36, -12, 0, -6, 0, 18, -30, 0, 32, 0, -108, -6, -24, -8, 0, 4, -70, 18, 6, 0, 0, 24, 90, -12, 0, -24, 48, -38, -6, 0, -18, -4, -22, 0, 0, -24, -12, -30, 96, 0, 6, -6, 18, -12, 0, -6, 0, 0, -24, 0, -18, 0, 12, 0, 0, 0, -22, -12, -6, 0, -36, 18, 18, -54, 0, 6, -36, -24, 20, 0, -36, 30, 0, 18, 0, -12, 28, 12, -48, 0, 12, 6, -48, 48, 0, 0, 40, 0, 4, 0, 48, -26, 72, 0, 0, -12, 42, 20, 0, 0, 18, -18, 18, -30, 0, -6, -72, 30, -18, 0, -38, 0, 42, 0, 0, 0, 6, 4, -36, 0, 0, -34, -24, 18, 0, 2, 12, 12, 72, 0, -48, 24, 6, 36, 0, 0, 18, 0, 24, 0, 40, -6, -12, 36, 0, -12, 2, -24, 48, 0, 0, 6, -108, -24, 0, -36, 42, 6, -24, 0, -16, 36, -12, 0, 0, -32, 48, -24, 48, 0, 12, -18, 0, 2, 0, -24, 0, 0, -30, 0, 54, -4, -24, -18, 0, 36, 60, 30, 44, 0, 48, -6, 36, -36, 0, 16, 96, 12, -102, 0, -24, 24, 0, -36, 0, -6, 90, -50, 48, 0, -42, -72, -68, -18, 0, 0, 18, 42, 20, 0, -90, 0, -108, 0, 0, -30, -60, -12, 0, 0, 36, 6, 76, 12, 0, -56, 0, 6, -4, 0, 48, 0, -14, 28, 0, 6, 60, 34, 78, 0, 68, 60, 18, 0, 0, -6, 0, -2, 6, 0, -54, 8, 54, -24, 0, -6, 22, 0, -56, 0, 72, 36, 72, 0, 0, -36, 24, -6, 24, 0, 0, -40, -24, -6, 0, -12, 54, -6, 0, 0, -54, -4, 68, 0, 0, 36, 18, 0, 12, 0, 30, -2, 14, 6, 0, 38, 0, 24, -30, 0, 16, -18, 48, 48, 0, -18, -36, 6, -18, 0, -32, 12, -72, -60, 0, -4, -54, -6, -96, 0, -66, 42, 0, -12, 0, 0, -72, 24, 72, 0, 6, -12, -18, 44, 0, 0, 90, 12, -72, 0, -48, 34, 18, 12, 0, 0, -36, -30, 0, 0, -90, -12, 2, -44, 0, 6, 12, 72, 12, 0, 90, 0, 0, 30, 0, -12, -42, -48, 48, 0, -62, 18, -42, 36, 0, 10, 12, -42, 108, 0, 108, -48, 0, -6, 0, -72, -24, 0, 34, 0, -44, -32, 36, -54, 0, -26, 60, 18, 54, 0, 0, 0, 72, 2, 0, -50, 6, 36, 24, 0, 36, -18, 0, 0, 0, -36, -48, 12, 24, 0, -48, 78, 12, 12, 0, -18, 0, -36, 36, 0, -68, -18, -12, 12, 0, 2, 38, 0, -40, 0, 42, 0, 16, 18, 0, -18, 36, -36, 54, 0, 48, 0, 0, 54, 0, 18, 92, -24, -60, 0, -12, -6, 16, 12, 0, 0, -44, 6, -12, 0, -78, 48, 12, 48, 0, 6, -126, -6, 0, 0, 12, -6, -48, 6, 0, -28, 54, 2, -36, 0, 36, 0, -108, -24, 0, 24, -72, -18, -30, 0, -18, -24, -36, 18, 0, 0, -54, -30, 52, 0, 84, -30, -72, -12, 0, -4, 42, 0, 36, 0, -2, -18, 24, 30, 0, -18, -42, 54, -12, 0, 0, -24, -24, -108, 0, 30, 96, 0, 48, 0, 0, 6, 48, 0, 0, -72, 0, -6, 0, 0, 72, 30, 26, 54, 0, -36, 0, -30, 12, 0, -24, -38, 72, 24, 0, -48, -6, -36, 32, 0, 24, -12, -54, 24, 0, -24, 60, 24, 6, 0, -36, 24, 0, 4, 0, 30, 8, -2, -36, 0, -42, -4, 10, 4, 0, 0, 18, 46, 4, 0, -102, -12, 54, 16, 0, -36, -6, 32, 0, 0, 42, 12, 6, 0, 0, -72, -12, 18, 72, 0, -30, 0, -28, 18, 0, 48, -42, 0, 12, 0, -36, -20, 36, 30, 0, -18, -24, 54, -132, 0, 42, -20, -6, -6, 0, 6, -18, 0, 6, 0, 66, -24, 18, -34, 0, -18, -108, 0, 12, 0, 0, 48, 96, 50, 0, 72, -12, 42, -24, 0, 112, -24, -72, 0, 0, -2, -60, 0, -18, 0, 0, -48, -8, -12, 0, 36, 0, 4, -36, 0, 18, 6, 18, -90, 0, -42, -30, 72, 90, 0, -18, 36, -6, 72, 0, 48, -60, -4, -52, 0, -54, -54, 0, 6, 0, -12, -18, -78, 78, 0, -36, 0, 12, 6, 0, 0, -94, -12, -36, 0, 24, 8, 0, 12, 0, 54, -36, -18, 0, 0, 36, -60, 18, 0, 0, -18, -54, 0, -32, 0, -12, 0, -54, -12, 0, -18, 12, -48, -66, 0, 14, -66, 60, 36, 0, 0, -72, 36, 110, 0, 18, 12, -72, -12, 0, -36, -6, 0, 36, 0, -100, 30, 6, -24, 0, 44, 8, -8, -108, 0, 0, 0, -168, 54, 0, 12, 54, -40, 60, 0, 90, 2, -88, 0, 0, -12, -78, -26, 60, 0, 42, -18, -18, -24, 0, 0, 0, 54, 96, 0, 134, -38, -90, 30, 0, 36, 0, 4, 48, 0, 108, 6, -28, 12, 0, -6, 24, 76, -64, 0, -102, -36, 0, 12, 0, 0, -78, 6, 84, 0, -72, -18, -122, 30, 0, 0, -72, -32, -30, 0, -36, 108, -90, 6, 0, 24, 78, 8, 0, 0, -108, -4, -84, 70, 0, -18, -60, -6, 36, 0, -74, 0, -36, -24, 0, -90, -66, 12, 54, 0, -78, 24, -90, -48, 0, 38, -72, 6, -10, 0, 60, 18, 0, 4, 0, 22, 24, 0, 24, 0, 108, 24, -96, 12, 0, 30, -80, -96, 72, 0, 0, -6, -24, 6, 0, -18, -96, 12, 66, 0, -80, 6, -54, 0, 0, 0, 36, 24, 0, 0, -120, 18, 38, 0, 0, -12, 0, 0, 0, 0, -48, 0, 24, 22, 0, 12, -24, 6, -144, 0, -10, 36, 108, -18, 0, -18, -108, 54, -36, 0, 0, -6, 0, 36, 0, 24, -18, -20, -102, 0, 72, 36, 102, -30, 0, 0, 12, -18, -78, 0, -36, 12, -36, -28, 0, -12, 6, 48, 0, 0, 72, -12, 36, -6, 0, 48, -90, -48, 126, 0, 18, 0, 4, -40, 0, 0, 12, -4, 84, 0, 90, -48, -90, 26, 0, -72, -72, 0, -18, 0, 24, 12, -72, -42, 0, -20, 36, 0, 104, 0, -6, -18, -90, 18, 0, -18, -30, 30, 72, 0, 0, 6, 12, 72, 0, -30, -48, 18, -42, 0, -72, 38, -102, 0, 0, -42, 0, 0, 12, 0, -90, 0, 56, -6, 0, -4, 0, 36, -6, 0, -30, 0, 0, 34, 0, 24, 108, -18, -12, 0, 10, -2, -18, -12, 0, -12, 12, -72, 54, 0, 72, 48, 0, -24, 0, -6, 0, -36, 36, 0, 24, 0, 18, -18, 0, 0, 84, -24, 48, 0, -120, -40, -108, 6, 0, 12, -30, -36, 0, 0, 6, 12, -116, -2, 0, 24, 0, -48, -76, 0, -48, 0, 78, -6, 0, 108, 18, 24, 0, 0, -80, 36, -48, -42, 0, -6, 12, 24, -8, 0, 12, 16, 114, -36, 0, 12, 24, 0, -62, 0, -24, 32, 6, -48, 0, 24, 144, -48, -78, 0, 0, -12, 60, 18, 0, 0, 108, -2, -108, 0, 36, 24, -82, 0, 0, 0, -12, 30, 72, 0, 18, -54, -72, 4, 0, 24, 0, 18, -150, 0, -96, -36, -78, -60, 0, -30, 0, -44, 72, 0, -102, -48, 136, 6, 0, -36, -90, 36, -22, 0, 0, -16, 0, -96, 0, -12, -6, 102, -48, 0, -126, 24, 108, -24, 0, 0, 8, 36, 198, 0, -156, 6, -42, -90, 0, 50, 24, -48, 0, 0, -36, 42, 36, 72, 0, 68, 120, 18, -132, 0, -52, 0, 8, -18, 0, -42, -90, -20, -24, 0, 66, 90, 24, 0, 0, 108, 48, 0, -144, 0, -42, 30, 42, 60, 0, 12, 24, 0, 42, 0, 68, -36, 30, -6, 0, -76, 36, -12, -60, 0, 0, 56, -72, 0, 0, -6, -18, 4, 60, 0, -130, -48, 108, 0, 0, 14, -16, -28, -24, 0, -96, -6, -24, -60, 0, -34, 0, -78, 150, 0, -36, -68, 102, -60, 0, -18, -60, 0, -76, 0, 0, 6, 108, 0, 0, 2, -162, -6, 108, 0, 90, 54, 0, -8, 0, -54, 90, 24, -84, 0, -48, 6, -108, -22, 0, 0, -6, 56, 38, 0, 24, -72, 66, -36, 0, -72, 36, 0, 0, 0, -60, 36, -16, -24, 0, 6, -42, -24, 12, 0, -54, 0, 48, 40, 0, 24, -30, 6, 42, 0, -38, 12, 18, -54, 0, 6, -36, 0, 12, 0, -12, 54, -66, 4, 0, -68, -20, 0, -108, 0, -48, -36, -24, -18, 0, 0, 24, -12, -12, 0, 0, -30, 12, 2, 0, -14, -132, -6, 90, 0, -34, -38, 96, 0, 0, -24, 36, 30, -90, 0, -12, -16, -120, 18, 0, -48, 0, -48, 36, 0, 144, 18, -48, 36, 0, -6, -180, 18, 132, 0, -136, 32, -36, -12, 0, 72, -96, 60, 12, 0, -18, 4, 0, 54, 0, 6, -30, 96, 6, 0, 132, 66, 30, -42, 0, 0, 132, 12, -84, 0, 30, 0, 72, 72, 0, -24, -102, -72, 0, 0, 0, -6, 80, 12, 0, 18, 54, -44, 10, 0, 12, 0, 0, -90, 0, -12, -36, 72, 66, 0, -118, 48, 96, -34, 0, -18, 0, -12, -72, 0, 42, 0, 132, 36, 0, 30, 36, 0, -216, 0, 54, 90, 54, 12, 0, -2, 48, 44, 162, 0, 0, -6, 30, -12, 0, -72, 24, -12, -12, 0, 6, -90, 90, 0, 0, 0, -24, -30, -12, 0, 36, 12, -18, 42, 0, 48, 0, -48, 54, 0, -168, 62, -12, -18, 0, 42, 4, -36, -26, 0, 90, -10, -112, -12, 0, 42, 24, -108, 0, 0, 0, -108, 0, 48, 0, 0, 40, 6, -120, 0, 18, 72, -2, 24, 0, 0, -36, -34, -24, 0, 108, 44, 78, 32, 0, -36, -120, 54, 0, 0, 18, 26, -72, -60, 0, -18, -72, -54, 18, 0, 68, 0, 182, 0, 0, -72, 12, -2, -72, 0, 12, 50, 36, -6, 0, -36, 0, -24, -4, 0, -12, -36, -36, 18, 0, 0, -112, 0, -18, 0, -64, 36, 72, 48, 0, -12, 20, -24, -48, 0, 0, 48, 18, -78, 0, -12, 180, -12, 96, 0, -24, 18, 36, 0, 0, 36, 158, -36, -78, 0, -180, 68, -216, 18, 0, 12, 0, -12, 84, 0, 36, -2, 72, -38, 0, 0, 12, 40, -48, 0, -178, -42, -54, 0, 0, -16, 60, -18, 90, 0, -60, 18, 0, -36, 0, 36, -50, -54, 24, 0, -30, -48, 4, 0, 0, 0, -72, -54, -18, 0, 36, -18, 72, -92, 0, 24, -24, 60, 0, 0, -60, 12, 42, 6, 0, -16, 42, -12, -76, 0, 0, 0, -54, 44, 0, -6, -72, 12, 78, 0, -174, 78, -6, -48, 0, -12, 150, -48, 78, 0, -24, -6, -102, 126, 0, 6, -28, 0, 54, 0, -72, -12, -78, 6, 0, 48, -12, -6, 84, 0, 0, 28, -60, -54, 0, -2, -24, 36, 66, 0, -54, -36, -36, 0, 0, 108, -38, 24, 12, 0, -18, -24, -8, 72, 0, 18, 0, 30, -36, 0, -76, 18, -126, 24, 0, 36, -72, -18, -84, 0, 8, 0, -24, 54, 0, 30, 216, -52, -36, 0, -66, -84, 0, 30, 0, 72, 0, 12, 108, 0, -162, 4, -78, -42, 0, 0, -52, -36, 54, 0, -72, 2, -24, 18, 0, -24, 60, -30, 0, 0, -72, 18, 0, 42, 0, -54, -24, 12, -36, 0, -32, 0, -24, 24, 0, 24, -120, 108, -174, 0, 122, -30, 36, -96, 0, 0, 12, -48, -90, 0, -24, 0, 54, -6, 0, -48, 0, 0, -64, 0, 76, 72, -120, 0, 0, 6, 40, 0, 54, 0, 0, -72, 120, -30, 0, -26, 0, -54, -144, 0, 36, 36, 34, 0, 0, 30, 18, -12, -18, 0, 168, 24, 30, 38, 0, -72, 0, -24, 108, 0, 80, 48, 0, 6, 0, 36, 166, -32, 72, 0, -60, -24, -108, 12, 0, 54, 6, -24, 30, 0, -108, 24, 0, -60, 0, -24, -72, -6, -108, 0, 0, 36, -74, -24, 0, 0, -68, -4, -72, 0, 0, -30, 72, -8, 0, 2, 120, 36, 0, 0, -138, 42, 48, 4, 0, -10, -54, -4, -120, 0, 0, 0, -162, -18, 0, -46, 12, -4, -78, 0, 156, 102, 66, 12, 0, -54, 150, -16, 96, 0, -24, 36, 0, 6, 0, -32, 126, 0, -132, 0, -90, -42, -96, -12, 0, -6, 90, 0, -138, 0, 0, 72, -36, 12, 0, -18, -132, -72, -90, 0, 18, 30, 6, 0, 0, 28, 0, -18, 72, 0, 102, -48, 148, 42, 0, 0, 0, -12, -36, 0, 36, 36, 78, 20, 0, -36, 12, -30, 4, 0, 146, 18, 180, 24, 0, -54, -24, 132, 60, 0]