# Trace form for 5415.2.a.p, downloaded from the LMFDB on 30 April 2026.
[0, 2, -2, 2, 2, -2, -2, 4, -6, 2, 2, 0, 2, -8, -8, -2, 6, -8, -2, 0, -2, 4, 4, 4, -6, 2, 4, 2, 12, 4, 2, 4, 6, 0, 16, -4, 2, -8, 0, -8, 6, 12, -8, 4, -8, -2, 12, 12, 6, -2, -2, -8, 0, -8, -2, 0, -16, 0, 16, 0, -2, 0, -28, 4, -14, 8, 4, -24, -24, 4, 8, -8, -6, -4, -12, 2, 0, -4, 4, 0, -6, 2, -8, -4, 12, 8, -8, 4, 4, 4, 2, -12, -28, 4, -28, 0, 6, 0, -14, 0, 2, -4, 16, -8, 20, -4, 8, -16, 2, -12, -4, -8, 12, -8, 0, -4, -36, -8, -24, -24, 6, -18, 16, 12, 52, -2, -8, -16, 10, 4, -4, 8, -8, 0, 24, -2, 32, -28, 12, 8, -12, 12, 32, -4, 6, -4, 4, -2, 32, 4, -2, 4, 0, -8, 12, -4, 0, -4, 32, -8, -6, -8, -2, -4, 4, 0, -20, -20, -16, 10, -16, 0, 12, -16, 16, 4, 0, 0, -40, -40, -2, 44, 20, 0, 4, 8, -28, 8, 44, 4, 0, -16, -14, 16, 12, 8, 30, -24, 4, -16, -6, -24, -4, -12, -24, -12, 24, 4, -24, 0, 8, 8, -8, -8, 16, -4, -6, 32, 20, -4, 8, 24, -12, -24, 8, 2, -16, 4, 0, 8, -12, -4, 8, -28, 4, -12, 48, 0, 56, 8, -6, -4, 18, 2, -32, 2, -8, 0, -36, -4, 2, 40, 12, 16, 16, 8, -26, -8, -8, 4, 0, 4, 28, -36, 4, 8, 0, 4, -24, 20, 2, -56, -24, -12, 28, 0, -28, -12, -16, 4, 16, 4, -28, 4, -56, 0, -12, 20, 6, 14, -16, 0, -4, 24, -14, 0, 4, 0, -20, -32, 2, 12, -60, -4, 0, 0, 16, 24, -20, -8, 28, -56, 20, -36, -52, -4, -64, 0, 8, 20, 14, -16, 32, 0, 2, -8, 32, -12, -32, 40, -4, -20, 44, -8, 20, 24, 12, -48, 22, -8, 24, -24, 0, -16, -16, -4, 56, 4, -36, 36, -8, -8, 4, -4, -24, 8, 76, -24, 48, 0, 6, 0, -52, -18, -28, 4, 16, -36, 12, 12, 12, -16, 52, 0, -24, -2, -52, -36, -8, -20, 0, -16, 44, -24, 10, 4, 4, 4, -24, -4, -4, 16, -10, 8, 16, 0, -8, 60, -8, 0, 6, -12, 24, 8, 12, -2, 44, -20, 32, -36, 8, -28, -40, 24, 12, 4, -28, 8, 0, -16, -12, 52, 24, 12, 24, -8, 32, -16, -16, -4, 8, -24, 6, -16, -88, -4, -28, 0, 4, 32, -4, -2, -40, 20, 32, -4, 40, 4, -36, 4, -2, 4, 40, 4, 44, 12, 0, 52, -24, -8, 28, 44, 12, -36, 12, -4, 44, 44, 0, -48, 28, -4, -24, -4, 32, 0, -88, -8, -12, 0, -6, 52, 52, -8, -18, 0, -2, 0, 16, -4, 14, 24, 4, 24, 0, 0, 12, -40, -20, -8, -2, -20, -60, -4, -16, 4, -8, 10, -16, -28, -16, -8, 54, 0, 16, 8, 12, -16, -28, -16, -20, 12, 16, -8, -64, 4, -4, -64, 0, 26, -8, 0, 0, -52, -40, 16, 72, -40, -72, -16, -2, -20, 48, 44, -16, 12, 20, 40, -28, 0, 4, 0, 4, -32, 60, 8, 24, 20, -28, -12, -12, 8, 32, -28, 44, 8, 8, 4, 48, -12, 0, 0, 28, -16, -36, 4, -14, -36, -78, 16, 36, 16, 12, 0, 12, 8, 32, 12, 30, 0, 24, -24, -24, -36, 4, 24, 36, -16, -40, -24, -6, 52, -28, -24, 116, 18, -4, -24, 0, -12, -16, -32, -24, -12, -80, -12, 20, -8, 24, -48, -52, 4, 44, 44, -24, 2, 60, 0, 108, -8, 8, 0, 32, 8, -32, 16, -8, 24, -12, -8, -10, 20, 16, -36, -56, -4, 0, 28, -6, -24, 4, 32, -60, 0, 20, -8, 36, -4, -96, 40, 8, -20, 28, 24, -12, 0, -12, 88, -20, -24, -24, 16, 8, -24, 36, 2, -54, 56, -16, -12, -32, 4, 32, 0, 0, 28, 16, 8, 12, 32, -12, 16, -96, -4, 20, -8, 8, -40, -4, -28, 12, -12, 4, 0, 8, -12, 20, 0, 48, -48, -32, 0, -48, -88, 56, 4, -56, 8, 28, -64, -6, -32, 0, -4, 60, 4, 18, -12, 44, 2, -4, -24, -32, 20, 32, 2, 28, 0, -8, -8, -32, 0, 32, 8, -36, -4, 28, -4, 40, -32, 2, 12, 36, 40, -52, -4, 12, 28, -20, 16, 0, 36, 16, -32, -72, 8, 24, 24, -26, -60, -12, -8, -24, 32, -8, 4, 12, 4, 52, 0, 0, 24, -64, 4, -6, 4, 28, 24, -8, -36, -32, 8, 4, -16, -44, 8, 32, -16, 0, -80, 6, 4, -56, 0, -24, 8, 80, 20, 4, 76, 2, 8, -76, -56, 4, 4, -24, 0, 60, -12, -4, 52, 28, 20, 40, 0, -72, -52, -28, 60, 20, -12, 48, -24, -16, 20, 0, 4, -60, 8, 16, 50, -84, 4, -56, -10, -28, -36, -24, 4, 16, -96, -56, -36, 48, 0, 48, -8, -12, -16, -12, 20, 48, 40, 6, 16, 36, 14, 144, 32, -16, 96, 44, 0, 0, -4, -4, -16, -80, 24, 0, -44, -14, 28, 56, 0, -52, 16, 4, -32, 40, 0, -56, 0, -20, 40, 64, -32, -32, -112, 2, 32, 20, 12, 0, -44, -60, -48, -92, -4, -20, 24, 0, -24, -44, 0, 40, -20, 16, -24, -4, 24, -76, 8, -20, -8, 64, -8, 32, -52, 28, 0, -60, -56, -60, -8, 20, 36, 96, -36, -44, 4, -52, 40, 0, -4, 12, 20, -64, 16, 0, 0, 104, 40, 8, 16, 16, 20, -108, -56, 14, 90, 44, -16, -100, -16, 32, -36, 54, 0, -12, -24, 2, 24, 8, -8, 0, 0, 32, -36, -30, -12, 4, 4, -32, 24, -88, 40, 0, -8, -4, 112, -12, -20, 104, 16, 44, -84, -48, -8, 6, 8, 20, -48, 80, 24, 12, 0, 12, 52, 4, -48, 0, -44, 22, 12, 48, -8, -24, 72, 24, 116, 16, -24, -14, 12, 0, -32, -24, -16, -24, 40, -16, 20, 40, -4, 52, 32, 56, 48, 24, 4, 40, 24, -36, 0, 64, 36, 12, 44, -8, 16, 44, -8, 176, -8, 4, 64, 38, -4, 8, 20, -24, -24, 0, 8, 12, 12, 76, 100, -16, -24, -72, -116, 48, 4, 124, 0, 12, 40, 6, -40, -44, 0, -40, -32, -52, -108, 72, -18, -20, -8, -28, 88, 0, 4, 84, 0, 16, 48, -8, -36, 0, 28, 12, -24, 96, 12, -108, 44, 12, -8, -32, -16, -20, 24, 52, -16, 20, 0, -8, 0, -24, 88, -68, -2, -52, -68, -52, -60, 16, -36, -20, 16, -8, -4, -24, -20, 48, 96, 0, -36, 56, -16, -4, -8, 44, 104, 52, -24, 12, -80, 10, -56, -20, 4, 142, 20, 4, 0, -8, 4, -56, -4, -24, 28, -16, -4, -12, -40, -4, -24, -88, 16, 4, 12, -10, 0, 0, 8, -48, -52, 16, -12, -44, 0, 4, 44, -8, 44, -56, 60, -28, 72, -8, -8, 112, 0, 120, 8, 6, 32, -44, -12, 44, 4, 24, 80, -68, 8, -18, -72, 12, 12, 64, -2, 0, 16, 44, -16, 32, -20, 72, -108, 32, -2, 100, -36, 136, 44, 8, -32, -12, -28, 48, 0, -40, -8, -8, 24, 36, 16, 12, -24, -32, 4, -124, -12, -28, -36, -2, 8, -84, -88, 0, -40, -44, -16, 56, -40, -12, -12, 64, 52, 0, -16, 24, 96, 64, 12, -16, 0, 24, 0, 44, -8, 4, -72, 32, 0, 26, -16, -24, -52, -16, 8, 104, -4, 48, 92, 8, -56, 0, -24, 60, -4, 6, 52, 24, -16, 0, -28, -88, 12, 40, -4, 120, 4, -28, 32, -28, 0, 40, 24, 4, 36, 152, 32, -40, -64, -4, -76, -4, -2, -36, -8, -40, 12, -12, 20, 0, 0, 32, 32, -16, -4, 60, -60, 40, 16, 24, 4, -16, 64, -36, -20, -4, 4, -24, 0, -2, 12, 2, 4, -8, 56, 40, -96, 36, 4, 24, -4, 44, -56, -40, 12, -16, 28, 0, 58, -28, 52, -16, -16, -24, 0, 8, -8, -16, -40, 28, -36, -104, 44, 88, 12, 12, 0, -44, -36, 16, 64, 12, -8, 72, -4, -28, 0, 44, -36, -16, 44, 28, 64, 0, -4, 0, -48, -44, -76, 28, -32, -36, -4, -8, -4, -24, 40, 16, -4, 56, -84, 32, 60, 12, 0, 72, -44, -88, -44, 12, -8, 128, -32, -12, -20, -56, 0, 108, 24, -6, 36, 80, 52, 0, -14, 52, 8, -140, -8, 16, -56, -18, -44, 16, 0, -36, 120, -2, 36, 4, 0, 56, 0, 16, -24, -52, -4, -28, 56, 14, 48, 4, 24, -48, 0, 4, -16, -8, 24, -4, -28, 0, 20, -48, 0, 24, 76, 12, -8, 20, -40, -56, 12, -20, 32, -40, -8, 64, 56, -2, 0, 76, -20, 20, -12, -60, 0, 140, -4, 60, 48, -16, -88, -20, 4, 60, -68, -8, 92, 0, 10, -116, -64, -16, 0, 72, -28, 76, -8, -16, -56, -24, -8, 72, -24, 54, -16, 44, 0, 20, -48, 16, 60, -28, 8, 16, 64, 12, 28, -28, -16, 0, 24, -28, 56, -100, -16, 0, 56, -20, -64, -40, 12, 112, 36, 16, 92, -22, -8, 52, -24, -64, 72, -96, 4, 64, 0, -4, 36, 64, -64, -40, 92, 0, 0, -48, 26, 28, -40, -8, 4, 24, 0, 8, -20, 0, -52, 192, -52, -14, -44, -40, 32, 124, 16, -8, 52, 72, -108, -32, -40, -168, 64, -72, 0, -12, -16, -44, -96, -2, -24, 24, -20, 68, 8, 48, 48, 12, 44, -32, -72, -16, 80, 0, 12, -84, -32, 20, -16, 32, 40, 20, -16, -28, -40, -56, 0, -24, 24, 4, 64, 120, 0, -12, 20, 4, -28, -36, -32, -44, -56, 60, -24, 4, 8, 80, -88, 24, -28, -20, 20, 0, 20, -28, -24, 136, -12, -96, -8, -12, -6, 30, 8, 116, 48, 32, -56, 8, -28, -22, 0, 44, -48, 72, 8, -24, -32, 8, -12, -24, 4, -8, -68, 48, 24, 60, -12, -80, 28, 0, -120, -48, 0, -88, 16, 28, 0, 112, -16, 16, -100, -36, 8, -72, 4, -8, -56, -14, 0, -56, -36, -56, -128, -78, -4, -152, 16, -32, 32, 36, -44, -48, 16, -36, -36, 12, 24, 0, 0, 8, 64, 12, 68, -12, 8, 128, 100, 32, -32, -4, 12, -28, 20, 30, 4, 64, 0, -88, 80, 24, 24, 84, -24, -16, -8, -24, -16, 64, -36, -76, 112, 4, 60, 88, 24, 0, -52, 36, 116, -48, -16, -100, 28, -40, 0, 60, -24, 104, -24, -6, -20, -64, 52, -44, 0, -28, -24, -24, -24, 52, 32, 116, 88, 8, 18, 36, 128, -4, 64, 28, -24, 8, -40, 0, -4, 16, -12, 36, 144, -16, -24, -40, -32, 76, 36, -24, 0, 24, -12, -12, -32, -80, 0, 108, -12, -88, 68, 20, -74, -12, -8, -92, 64, 24, 16, 12, -48, -20, 32, -52, -92, 0, 4, 100, 0, 44, 60, 76, 44, 24, 88, -24, 36, -140, 2, -144, 72, 60, 32, 52, 0, 40, 92, 108, 36, 64, -8, -24, -108, 8, -96, -20, 0, -12, 20, 32, -104, -8, 8, 0, 132, -32, 40, -72, 16, -80, -36, -8, -104, -44, 24, -28, -112, -12, 24, 216, -8, 112, 0, -10, -16, -186, 20, -140, -4, 16, 56, 60, -36, -4, 8, -56, -32, 8, -4, -54, 0, 0, -72, 24, 28, 8, -48, -6, 4, -56, -24, -16, 84, 4, 32, 16, 32, -112, -16, -60, 0, 44, 0, 10, 32, 20, 40, -32, -8, -100, -28, 36, 8, -16, -4, 152, -24, -96, 0, 0, 40, 32, 32, 8, -4, -96, -20, -76, -60, 28, 4, -168, 24, 8, -8, -12, -68, 60, 0, 104, -56, -12, 104, -6, 88, -32, -52, -20, 12, 144, -24, -140, -28, -24, 120, -20, 16, 0, -8, 8, 16, 28, -24, -12, 40, 36, 92, -40, 2, 28, 56, -54, -20, -44, 56, -48, 0, -16, 20, 76, -12, -16, 40, -32, 72, -116, 4, -24, 36, 32, -136, -70, 0, -8, -8, 0, -52, -96, 28, 32, 72, 16, 104, 40, 8, 52, -28, 12, -24, -4, 32, -64, 68, -12, 0, -36, 16, -96, -4, -96, -48, 48, -4, 28, 116, 20, -40, -92, -8, -64, -4, 8, -20, 0, -40, -120, 8, -4, 16, 24, -28, -52, 8, 12, 28, 72, -12, 68, -52, 4, 12, -288, 0, -24, 16, 8, 84, -184, -12, -102, -8, 20, -12, -24, 0, 52, 20, 48, 8, 144, -48, 0, 20, -32, 4, 28, 0, -12, 16, -48, -4, -100, -88, 16, 60, 56, -40, -72, 4, -4, 0, -56, 104, -8, 8, -112, 88, 28, 24, -8, -64, 64, 64, -6, -4, 104, -32, 108, 16, 0, -8, 160, -4, 88, 80, 60, -48, 96, 4, -128, -100, 18, 72, 28, -12, -88, 120, 44, 0, -36, 2, -40, -24, -4, -96, -84, -24, 24, -32, -32, 32, -152, 20, 4, -160, 32, -120, 0, 2, -108, 84, 28, 42, 40, 0, -160, -8, -8, -20, 84, -8, 4, 32, -32, -28, 0, 0, 24, 4, 32, 40, 20, 8, -40, 48, -36, 32, 76, -4, -28, 72, 28, 24, 36, -4, 0, -108, 40, -4, -112, -32, 24, 24, 2, -8, 132, 12, 20, -4, 36, -80, 52, 40, -40, 0, -52, -8, 0, -4, -32, -52, 12, 44, -44, 28, 0, -48, -20, -12, -84, 16, -192, -16, 0, -48, 100, 36, -112, -52, 16, 108, -12, -32, 24, 160, -72, 16, -48, 8, -76, -52, 24, 0, -28, 24, 52, 52, -26, -44, -44, -60, 76, -4, -12, -140, -106, -8, 116, 36, -24, -48, 0, 32, -12, 32, -8, -40, 96, 4, -140, 152, 12, 112, -44, 4, 32, -88, 52, -44, -12, 0, 80, 80, 0, -16, 40, 24, -16, 48, -64, 0, -20, 4, -28, -24, -6, -168, -32, 4, 0, 12, 28, -84, 24, 24, 96, -48, -8, 4, 56, -36, 16, 48, -32, -116, 28, 8, -124, 0, 4, 24, 84, -16, 88, -60, -44, 24, 12, 8, -96, -56, 32, 60, 12, -16, 24, -96, 0, 0, -216, -80, -32, -72, 6, -18, -32, 4, 36, -52, -56, -128, -52, 0, -52, 40, -24, 0, -208, 8, 12, -96, 80, -24, 18, 20, 184, -56, 4, 0, -76, 76, -104, -16, 2, -16, 0, 8, -88, 0, -76, -116, -48, -56, -16, 12, 4, 40, -112, 4, 140, 72, -24, -192, -14, 0, -188, 16, 60, -24, -128, -12, 48, -80, -4, -32, 32, 52, -4, -24, 28, 28, -88, 20, 0, -24, 40, 32, 108, 0, 64, 20, -72, 96, -12, -52, -32, 36, -28, 40, 8, 60, 156, 0, 20, -48, 204, -12, 44, 8, 48, 48, -28, -24, 2, 16, -16, -32, 132, 20, 184, 8, 0, -84, 60, 4, -12, -28, -60, 4, -104, 8, -36, -16, 16, -44, -36, 50, -128, -4, -84, 0, 32, 4, 8, -48, -56, -48, -200, -10, -32, 24, -28, -24, 16, -36, -136, -132, -24, 28, 0, 4, -112, -52, 16, -8, -52, -96, -16, 8, -56, 84, 80, -36, -54, 104, 48, 16, 28, 0, 4, -128, 48, -68, -16, -8, -172, 136, -12, -8, -24, -16, -68, 64, -12, -172, 56, 20, 0, 16, 48, 88, -148, 40, 28, -176, 6, 4, -140, 16, -24, 8, 36, -112, 20, 14, 20, 0, 144, -12, 80, 32, -12, -52, -16, -28, -240, 96, 60, 8, 44, -64, -80, 0, 64, -20, 0, -16, -76, -4, 16, -88, -4, -4, 4, -16, -176, -16, -80, 64, 40, 24, 56, 16, 0, 0, 116, -44, 28, -26, -14, 4, 68, 28, 8, 48, 56, 0, -64, 0, -36, -92, -52, 52, 0, 16, -80, 140, 4, 52, -88, -32, -56, -96, 40, -112, -60, 0, 148, -16, -56, 4, -64, 0, -72, -48, -20, 100, 16, 40, -192, -116, 64, 36, 72, -32, 32, 8, -32, 16, 132, -112, 0, 48, 2, 16, -4, 32, 30, 20, 20, 132, -40, 12, -48, 40, 0, 56, 48, -44, -60, 0, -60, -76, 16, -48, -24, -56, -92, -12, 144, -4, 80, -44, -20, -4, 32, 24, 36, -40, 0, 80, 102, -24, 28, -116, -44, -64, 48, 0, -40, -144, 40, 76, -4, -20, -36, 96, 16, 0, 0, -24, 72, 224, -4, -20, -12, 24, 192, 32, -76, -32, -48, 8, -60, 72, -20, 96, 0, -8, 12, -120, 64, 104, -24, -8, -32, -36, 32, -20, -8, -52, -104, -4, 28, -24, -76, 0, -32, 12, -60, 76, 60, -56, 12, 100, -60, 40, -44, -8, -32, 44, 20, -74, -32, 36, 0, 60, 96, 28, 48, -36, 40, 16, -44, -72, 112, 4, 28, -8, -52, 8, 16, 40, -8, 0, 0, -24, -48, -4, 16, 104, 12, 80, -48, 20, 32, -152, -64, 12, 8, 16, -24, -24, 0, 48, -56, 0, 60, 0, 104, 76, -20, 40, -28, 196, 8, -96, -120, 16, -40, -64, 16, 0, 36, 20, 28, 24, -108, -4, -152, -56, -64, 32, 14, -48, -20, 90, -128, 36, 44, -56, 0, -16, 78, 96, -100, -40, -88, -16, 132, -4, 32, 80, -36, -36, 12, 40, 54, -16, 84, 0, -20, -76, -12, -24, -28, -24, -296, 0, 2, 80, -124, 24, -12, -32, 8, -160, -88, -8, 0, 36, 0, -48, -32, 0, 84, 44, 32, -12, 104, -36, 56, 32, -30, 144, -32, -12, -156, 0, 4, 136, 96, 4, -24, -64, -32, 16, 64, 24, 24, 48, -88, -52, 24, 40, 120, -16, 0, 36, -64, -8, 64, 20, -4, 32, -56, 112, -76, -24, -12, -16, 152, -20, -36, -8, 104, 0, 28, 16, -60, 64, 44, -64, 40, -84, 24, -24, -48, 24, -96, -8, -4, 96, 6]