# Trace form for 6015.2.a.a, downloaded from the LMFDB on 19 April 2024.
[0, 2, 2, 2, -2, 2, 2, 4, -6, 2, 2, -8, -2, 8, 4, 2, -2, 0, 2, -4, -2, 4, -8, 8, -6, 2, 8, 2, -4, 8, 2, -4, 10, -8, 0, 4, -2, 8, -4, 8, -6, 12, 4, -8, 8, 2, 8, 0, -2, 10, 2, 0, -8, 0, 2, -8, -12, -4, 8, -12, -2, -12, -4, 4, 14, 8, -8, 8, 0, 8, 4, 4, -6, 4, 8, 2, 4, -16, 8, 12, -2, 2, 12, 20, -4, 0, -8, 8, 24, -8, 2, 24, -8, -4, 0, -4, 10, 32, 10, -8, -2, 12, 0, 28, -24, 4, 0, -8, -2, 8, -8, 8, -4, 12, -4, 8, -8, 8, -12, 8, -6, 10, -12, 12, 4, 2, 4, 8, -6, -8, 8, -4, 8, 16, 8, 2, 0, 0, 8, -20, -4, 0, 4, -32, -2, 8, 4, 10, -8, -24, 2, -16, 12, 0, -16, -4, -8, 8, 12, 0, 10, 0, 2, 8, -12, -8, 20, 24, -12, 10, 0, -4, 8, 28, 8, 4, 8, -12, -8, -16, -2, 0, 24, -12, -24, 8, -4, 0, 0, 4, -4, 4, 14, 0, 32, 8, -10, -12, -8, 12, -6, 8, 12, -16, 0, 12, 28, 8, -8, 16, 4, -20, 0, 4, -8, -8, -6, 32, 8, 4, 8, 4, 8, 0, 20, 2, 12, -48, 4, 20, 8, -16, -24, 48, 8, 0, 12, 12, 8, -40, -2, 24, 10, 2, 12, 10, 12, -4, 12, 20, 2, -36, -4, -32, 8, 0, -34, -20, -8, -8, -8, 8, -4, 48, 24, 0, 16, -8, -8, 4, 2, 4, 0, 24, 0, -8, -8, 16, -20, -4, -12, 20, 0, 0, -4, -4, -32, -8, 10, -30, 8, 32, -4, 40, 10, -12, -24, -8, -24, 24, -2, -48, -16, 12, 4, -12, 0, 20, 16, 28, -4, 8, -24, -12, 8, 4, -12, -16, 0, -32, 14, -8, 0, 12, -2, 8, 8, 8, -36, -32, -8, -16, -20, 8, 24, 8, -4, -12, 10, 12, 0, 16, -4, 56, 24, 8, 28, -40, -8, 12, 4, 8, -40, 8, -12, 4, 8, 8, -16, -12, -6, 6, 0, 10, -24, 4, -12, -24, -8, 12, 8, 56, 4, 28, 0, 2, 0, 16, 4, -24, 4, 8, 4, 28, -6, -16, 0, -8, -32, 52, 8, -8, -30, -4, -12, 12, 8, 4, 12, 16, -2, 2, 8, 4, -12, 2, -16, -32, 0, -8, 12, 0, -28, -32, 8, 20, 40, -20, 16, -40, -4, 28, -20, 0, 0, 0, 4, 8, 8, -32, -8, -20, -2, 12, 32, 8, -8, -40, 4, 36, 24, 10, 4, 32, -8, -8, 0, -24, 28, -20, 2, -48, -12, -16, -48, 24, 12, -60, 20, 0, -8, 28, -16, 16, -8, -4, 48, 8, -8, -32, 0, 8, 36, 32, 12, -4, -8, 0, -40, 16, 10, 20, 24, 0, -10, 32, 2, 36, 36, 8, 10, 0, -12, -16, -4, -8, 4, -48, 20, -56, -2, 24, -36, 16, -12, 12, -32, 10, -8, -44, 0, 8, -22, -4, -20, 28, 8, 0, -8, 28, -24, -60, 8, 40, 4, 4, 48, 20, 8, 2, 0, -12, -16, 32, -8, -8, -24, -16, 4, -40, -2, 20, 4, 0, 0, 8, 24, -8, 0, -12, -8, -64, -24, 32, 16, 8, 20, -36, -4, -48, -4, 0, 20, -60, 0, 12, 0, 4, -12, -52, -4, -12, 32, 4, -8, 8, 14, -12, -30, 0, -8, 56, 32, 0, -12, 8, 40, 4, -10, 68, -12, -12, -8, 16, -8, 8, 24, 12, 24, -32, -6, -8, -48, 8, 16, 10, 12, 36, -20, -16, -12, -16, 0, 8, 20, 12, 48, 0, 28, -40, 4, 8, 8, 48, -8, 2, -12, 16, -8, -12, 4, 28, -36, -20, -16, 8, 0, 72, -32, 4, -6, 36, -8, 8, 0, -8, 12, 56, -6, 48, 8, 32, -8, 20, 8, -4, -12, 4, -32, -12, 8, -52, -16, 4, -60, 16, 8, 64, -24, 0, 8, 48, 20, 56, -12, 2, -10, 36, 12, 56, 0, -48, 16, -16, 4, 0, 56, 20, 8, 28, 8, -32, -28, -16, -40, -20, -24, -16, 12, 48, -4, -4, 8, -52, -56, 0, 8, -24, 12, 0, 4, 12, 24, -56, 8, -32, 16, -40, -12, -8, -2, 40, 6, 24, 0, 8, 10, -64, -72, 2, 4, -16, 12, -60, -24, 10, 40, -32, 12, -8, -8, -4, 56, -24, 12, -24, 28, 20, 0, -48, 2, 16, 0, -36, 16, -16, -4, -20, -24, -32, 12, 16, 8, -16, -4, 0, 28, -52, -34, 12, -16, -20, 0, 28, -8, -4, -96, -8, 52, -72, -8, -16, -8, 8, -10, 8, -4, 0, 12, 48, 12, -56, 24, -32, 4, 0, -12, 20, 16, -16, 10, -8, 2, -16, -8, 0, 4, 4, -36, -52, 2, 8, 16, 4, -32, 8, 0, -32, -8, 24, -12, 12, 0, 16, -84, -8, -32, -24, -8, -4, 20, 16, 56, 32, -20, 24, -16, -4, -40, -84, -12, 38, 28, 20, 20, 10, 0, 20, 0, 0, 0, 56, -4, -20, 8, -4, 24, -52, -32, -40, 8, -8, -20, -48, 10, 28, 12, -30, -32, -48, 8, 8, -24, 32, -40, 4, -4, 32, 36, 40, 8, -20, 10, -12, -4, -12, 32, -8, -24, -16, -8, -8, 0, -48, -24, -16, -12, 24, -20, -96, -2, 28, -48, -48, -36, 0, -16, -24, 48, 12, 24, 16, 4, -80, -60, -12, -20, -32, 0, 12, -24, 20, 28, -12, 16, 8, 16, 28, 40, -92, -4, 76, -48, 8, 8, 0, -24, 32, -32, -12, 0, -52, 8, 80, 12, 4, 32, -12, -12, 16, -4, -16, -24, -28, 0, 4, 40, -32, 16, 8, 14, 46, 20, -8, -24, 0, 0, 24, -30, 12, 32, -8, -2, 16, 36, 8, 12, 12, 8, 32, -10, 8, 0, 28, -36, -12, -16, -32, 4, 0, -8, -60, -20, -16, -48, 12, -20, -20, -56, 8, -6, -96, 24, -4, 36, 8, 16, 84, -4, -60, 12, -12, 32, -16, 10, -16, -24, 12, -44, -52, 0, 4, 8, 16, 46, 12, -4, 52, 20, 56, 28, 40, 24, 0, 0, 8, 8, 16, 28, 24, -8, -40, -60, -48, -8, 16, 40, 12, 12, -4, 4, -52, -48, 8, 20, -20, -40, -64, 2, 8, 0, 20, -12, 16, -48, 4, 32, -128, 8, -12, -8, 8, -8, 80, -16, -8, -4, -12, -40, 88, -6, 32, 20, 6, -4, 32, 0, 32, 0, 10, 8, -72, -24, 12, -8, 4, 0, -40, -12, 24, 8, -24, -64, -16, -8, 4, 32, 12, -16, -24, 8, -48, 60, 56, -36, 0, 4, -20, -48, 28, 20, 12, 0, -4, -20, 2, -60, -24, 0, 12, 12, 16, 0, -112, 4, -48, -4, -24, -52, -24, 4, 128, -12, 8, 96, 20, 4, -76, 8, 28, 8, -44, -6, -20, -12, -16, 30, 0, 0, 72, -24, -8, 56, -52, -32, 48, 0, 52, -4, 96, 8, -8, -40, -8, 4, 0, -30, 32, 68, -4, 12, 20, -12, 84, 40, 12, 16, -52, 8, 112, 8, 4, 72, 52, 12, -40, -24, 16, -32, -32, -2, 28, -8, 2, 48, 24, 8, -28, 48, 4, 10, 40, -12, -20, 36, 2, -28, 4, -16, -56, 12, -32, -16, -16, 0, 10, 8, -8, -20, 60, 12, -128, 16, 0, 0, -4, -28, 8, -40, -32, 12, 0, 8, -48, -8, 20, 48, 32, 40, -60, 2, -20, 12, -48, 16, -36, -24, -40, -12, 24, -4, 124, 28, 28, -12, -32, -20, 0, 16, 0, 8, -104, 0, -88, 72, 0, 32, 96, 4, 52, -34, 8, 36, 4, 8, -20, 8, -32, 0, -24, -8, -80, -12, -20, 56, -8, -2, 44, 48, 12, -8, 16, 32, 48, -24, 8, 20, 64, -8, -32, -4, -40, 60, 24, 4, 48, 32, 36, -12, 32, 24, 84, -52, 10, 16, 0, 4, -72, -20, 32, 16, 48, -8, -64, 64, -8, -72, 16, 0, 104, -8, -24, 48, 4, 28, 4, 56, -20, 12, -92, 2, 24, -30, -48, 36, 4, -12, -40, 56, -16, 0, -28, -48, 64, -16, 24, -16, -64, 12, -6, 0, -60, -56, 16, 20, -8, -40, 0, 28, 88, -8, 76, -32, 28, -84, 16, -16, -8, 40, 16, -20, -48, -8, 0, -16, -4, -12, -32, 48, -48, -12, 8, -4, -80, -8, 20, -52, -32, 24, 0, 0, 8, -8, 8, -24, 0, 36, 16, 0, 32, -4, -88, 12, 64, 8, -4, -56, 56, -8, 4, -32, 0, 48, -56, -40, -8, 12, 16, -8, 84, 10, 16, 40, 20, -6, -30, 24, 104, 0, 0, 8, 28, -10, 36, -64, 32, -24, -80, 2, -16, -4, 36, -16, -64, 36, 40, -60, 8, 24, 8, 10, 28, 56, 0, -32, -12, -12, -80, -8, -16, -24, -44, -4, 104, -56, -8, -24, 24, 4, -68, -24, -48, -28, -4, 20, 24, 0, -56, -48, 12, -2, -12, 16, 24, 0, -48, -36, 0, -16, 16, -16, 32, -12, 32, -20, 12, 24, 96, -32, 140, 4, 10, 16, 88, -8, -12, -16, -44, -12, 80, 0, 24, -28, 8, -52, 20, -22, -112, 12, -4, 16, 80, -20, -24, 0, 28, 28, 40, 8, -60, -4, 0, -32, -4, -8, 8, -52, 28, -72, -24, -24, 0, -16, -60, 8, -12, 8, 8, 50, 40, 8, 68, 4, 40, 0, 4, 36, -16, 48, 48, -12, 20, -56, 56, 8, -16, -32, 2, -4, -96, 0, 16, -36, -12, 20, -32, -16, -36, -16, 32, 14, -108, -8, -24, -2, -8, -16, 32, -24, -44, 0, -16, -4, -12, 4, 12, -12, -40, -52, 28, -2, 36, 8, 20, 48, 8, 4, -8, 32, 0, 8, 88, 0, 72, -32, 8, 8, -32, 24, 96, -36, -8, 12, 140, 0, -32, 16, -12, -28, -4, -8, 16, 32, -64, -24, -16, -24, 80, -4, 32, -20, 64, 16, -56, -24, 8, 32, -88, 20, 60, 24, -36, -48, -48, -4, 8, 40, -48, -84, 16, -4, 54, 38, 0, -28, -12, 20, 80, 60, -60, 10, 112, 0, 20, 20, 12, 0, -12, 0, 20, 0, 4, 56, -28, -12, 16, -20, -52, -8, 28, -4, -32, 8, -12, -52, 56, 32, -24, -40, 4, 24, 12, -8, -56, 20, 8, -48, -32, 14, 72, 28, -12, -12, -32, -30, -40, -96, 0, -48, 48, -8, -12, 8, 56, -8, 12, 32, -72, 40, 0, 4, -8, -12, 44, 32, 8, -36, -32, 40, -60, -40, 4, -20, 16, -10, 8, -12, 68, -12, -112, -12, 0, -32, -12, -8, 4, -8, -36, -16, 16, 8, 4, -8, 0, 0, 8, -48, -4, 24, 28, -16, 12, -68, -32, 24, -12, 20, -32, -96, -24, -6, 12, 28, -8, 48, 6, -48, -52, -12, 8, 0, -68, 16, -56, -24, 10, 144, 40, 12, -16, -24, 36, 16, -24, -20, 4, -80, -16, 60, 4, -12, 68, -60, -16, -32, -24, 0, -96, 12, 8, -8, 96, 20, -76, -28, 12, -12, 64, 48, 10, 8, 0, -16, -16, 28, 56, 56, -40, -92, -40, 4, 112, 76, 8, -144, 28, 8, -40, -8, 48, 0, 68, -8, -56, 32, 2, 32, 44, -12, 16, 0, 16, -52, -72, -8, 16, 80, -12, -60, 44, 4, 104, -32, 28, -12, -24, -36, -128, 16, -20, 4, 44, -16, -112, -8, 8, -28, 4, 0, 64, 4, 72, 120, -104, -32, 28, -16, 4, 8, -96, -6, -40, 46, 36, -20, -16, -8, 64, -72, 8, 0, -44, 0, -68, 24, -8, -10, -96, 12, 40, -32, 56, -8, 128, -6, 52, 16, 48, -36, 8, 8, -36, -60, 32, 12, -8, -8, -80, 32, 20, -30, -84, 8, -80, 0, -4, 28, -8, -12, 64, -12, 4, 16, 44, -32, 12, 12, -12, 0, 124, 8, -48, -60, -52, -28, 4, -16, -40, 48, 4, 12, 0, -60, 104, -20, 16, 56, -132, 8, -76, -2, 64, -96, -12, -24, 2, -4, 0, 108, -68, 8, -4, -16, 48, 84, 4, 20, 32, -60, 56, -12, 64, -12, -60, 96, 2, -16, -68, -10, 12, -16, 36, -8, -32, 12, -32, 44, 56, -52, 60, 0, 36, 4, -48, -8, -8, 16, -96, 90, -16, 12, 8, 4, 136, 52, 0, 60, 0, 56, 128, -28, 20, 40, 36, 8, -32, 0, 28, 0, -20, 8, -64, 24, -32, 16, 20, -28, -136, 24, -16, 40, 36, -40, 76, 60, -20, -48, 28, -24, 36, 16, -16, -40, 16, 12, -40, 4, 48, -4, -8, -4, -16, -52, -4, -144, 28, 8, -168, -20, -52, -20, 124, -56, -64, -64, 0, -2, 16, 8, 88, 0, -24, 20, 0, 12, 0, 16, 0, -16, 76, 4, 112, -32, 12, -128, 8, 24, 96, -12, -56, 8, -76, 8, -28, 40, -32, 80, -144, 16, 152, -8, -40, -12, 24, -12, -20, 40, -8, 88, -16, -2, 104, 32, 40, -20, 12, 6, 48, -12, 24, 32, 120, 0, -112, 32, 8, 0, 80, 10, 28, -8, -64, -72, -36, -72, -40, 12, 2, 8, -48, 4, -136, 0, -16, -40, 36, 12, -32, 24, -60, 24, -148, -24, -24, 64, 10, -16, -8, 40, -30, 4, -32, -32, 80, 12, 32, -48, -8, -24, -120, -8, 36, -48, -4, 20, -8, 56, -12, 36, -24, 0, 136, 12, 64, -20, -24, 48, -108, 28, 68, 28, 20, 12, 16, 0, -20, -4, -48, -60, 104, 2, 36, 60, 16, -24, -48, 0, -96, 12, -36, -12, 8, 16, -8, 0, -16, -112, -96, -4, 76, -48, -20, 20, 32, -24, 24, 52, -32, -24, -112, 12, 8, 128, 16, 12, -60, 8, 72, 32, -16, 20, 32, -4, -68, -76, 0, 24, 52, 28, -20, -8, -52, -44, -128, -34, 28, -20, 12, 12, -76, -16, -36, 90, -20, 0, 16, 0, 16, 72, 28, -8, 80, -8, 96, -56, -4, -52, -72, -96, 4, 48, -8, 0, 12, 52, 8, 20, -72, 96, 20, -8, 100, -8, -16, -120, -32, -8, 0, -4, 8, 0, -104, -10, 0, 32, 8, -68, 108, -4, 104, 36, 0, 20, 28, 12, 32, 84, 48, 56, 128, 12, 88, -16, -56, -52, -4, 24, -20, 112, -32, -8, -32, 4, -32, 24, 0, 52, -128, -12, 4, -40, 20, -72, 40, 16, 16, 32, -16, -32, 40, 10, 138, 28, -8, 8, 20, 2, 48, 144, -16, 24, 48, -8, -64, -28, 0, 16, -84, 4, -56, -10, 4, 40, 48, -36, 32, -20, -52, -36, -128, 2, -16, 12, 8, 4, 36, 16, -56, -56, 4, 36, 0, -32, 88, 16, 8, -16, -20, 0, -4, 10, -32, -8, 0, -8, 0, -60, 24, 60, -100, -12, 0, -128, 12, -80, -16, 0, -56, 0, 16, -4, 56, -84, -48, 8, -8, 40, -48, -32, 104, 4, -24, 0, 20, -8, -48, -48, -4, -24, -28, 20, -112, -48, 16, 32, -56, 56, 192, -60, 32, -2, -136, -20, -72, 36, 24, -48, 64, -16, 12, -36, -4, -8, 48, -40, 16, 12, -84, 24, -80, -12, 68, 124, 38, -28, 12, 28, -84, 60, 20, -32, -184, 20, 0, 0, 10, 48, 64, 0, 84, -8, 20, -104, 88, 0, -44, -88, 0, -72, -4, 0, 96, 96, 56, 96, 8, -4, 60, 52, -20, -22, 8, 8, -192, -36, -4, 4, -16, 24, -80, -20, -52, -8, 0, -32, 28, 0, -40, -24, -32, 8, -160, -80, -8, -36, 0, -20, 36, -56, -48, -8, -28, 10, 64, 44, 28, -48, 224, 12, 128, -24, -30, 16, 12, -32, -60, 48, -48, -8, -16, 8, -8, -20, 8, 64, 40, -24, -24, -32, 32, 4, -44, -40, -16, 84, 4, 24, 100, -4, 160, 48, 32, 96, 80, 36, 20, 12, 40, 32, -64, 8, 124, 84, -20, 52, 2, 10, 76, 48, -12, 0, -96, -4, -160, -72, -12, 100, -64, 32, -76, -16, -8, 48, 4, -24, 32, -64, -16, -64, 4, -8, -68, -24, -8, 16, -8, 0, -136, 104, -48, -24, 72, -24, 8, -48, -16, 4, 0, -12, 140, 4, 24, -56, 12, -20, -40, 36, -96, -92, 76, -2, 16, 24, 28, -10, 20, -48, -8, -36, -48, 4, 28, -36, 44, -40, 0, -56, 16, -16, 48, 0, -24, -28, 56, 48, 8, 64, 12, -48, 36, 24, -132, 16, 16, -64, -8, 4, 16, -6, -80, 0, -52, -60, -100, -168, -12, 16, 144, -20, 56, -8, -32, -56, -48, 0, -64, -28, 12, 88, 176, -24, 144, 76, 20, 32, 32, 28, 96, -28, -12, 16, 56, 16, 16, -8, 8, 120, -32, 16, -72, 20, 28, -48, 40, 40, -36, 0, -92, 16, 92, -4, 32, -36, 76, -32, -48, -48, -28, -48, 8, -4, -108, 8, 20, 4, 0, -80, 4, -24, 90, 20, 32, 52, 144, -32, -60, 136, -12, 0, -52, 0, 152, 8, -52, -24, 12, 8, 80, 24, 80, 0, 48, 12, 168, 16, 4, 0, 0, 32, 24, -12, -12, -88, -36, -12, -52, 64, 16, -40, 32, -4, -8, 56, -16, 56, -12, -24, 4, 4, -28, 32, 28, 0, -176, 16, 4, -56, -64, 40, -16, -8, -32, 36, 32, 16, 8, 8, 8, 84, -80, 14, 64, 16, 46, -40, -12, 20, 52, -18, -8, -30, -92, -24, -192, 104, 0, 0, 20, 0, 0, -8, 24, 28, 24, -30, 56, 36, 12, 64, -76, 32, 136, 120, -8, -80, 0, -2, 60, -16, 16, -12, 64, 36, 36, 16, 8, -64, -136, 12, 144, 40, 12, 60, -128, 8, 4, 72, 32, 8, 12, -10, -8, 28, 8, -24, 68, 0, 184, 32, 28, -12, -192, -36, -76, -80, -12, 8, 40, -16, -16, -8, -32, -44, -72, 4, 16, 104, 0, -168, 28, -8, -88, 24, -60, 24, 8, -20, 48, -68, -16, 24, -16, -48, -4, -84, 12, -4, 144, -20, 68, 24, -20, 0, 24, -56, -32, 48, 8, 12, -36, -6]