# Trace form for 3825.2.a.p, downloaded from the LMFDB on 10 February 2025.
[0, 2, -2, 0, 2, 0, 0, 4, -6, 0, 0, 8, 0, 0, -8, 0, 6, -2, 0, 0, 0, 0, -12, -4, 0, 0, 8, 0, 12, 4, 0, 0, 6, 0, 2, 0, 0, 4, -8, 0, 0, -4, 0, -4, 16, 0, 0, -4, 0, -2, 0, 0, -16, 12, 0, 0, -16, 0, 4, 24, 0, 4, 12, 0, -14, 0, 0, 12, -2, 0, 0, 0, 0, 4, -28, 0, 16, 20, 0, 8, 0, 0, 28, -4, 0, 0, -12, 0, -28, 16, 0, -8, 4, 0, -4, 0, 0, 4, -14, 0, 0, 16, 0, -4, 8, 0, -28, 4, 0, -12, 0, 0, 12, -12, 0, 0, -12, 0, -32, -4, 0, 14, 12, 0, -24, 0, 0, 12, 10, 0, 0, 8, 0, 8, -20, 0, 6, 8, 0, 16, 0, 0, 12, -8, 0, 0, 4, 0, 52, -4, 0, 32, -8, 0, -44, 0, 0, 20, -4, 0, 0, -4, 0, -4, -52, 0, 36, -4, 0, -10, 0, 0, 28, 20, 0, 0, 24, 0, -32, 8, 0, -12, 24, 0, 8, 0, 0, -8, 12, 0, 0, -24, 0, 36, -20, 0, 30, 20, 0, 40, 0, 0, -16, 0, 0, 0, 12, 0, 0, 8, 0, -24, 44, 0, 24, 0, 0, -12, -20, 0, 0, 0, 0, -12, 8, 0, 20, -20, 0, -24, 0, 0, -4, -4, 0, 0, 40, 0, 8, -40, 0, 20, -46, 0, -28, 0, 0, -16, 12, 0, 0, 24, 0, -12, 20, 0, -26, 0, 0, 32, 0, 0, 20, -4, 0, 0, -24, 0, 28, -4, 0, -16, -6, 0, -16, 0, 0, 20, 12, 0, 0, 20, 0, -20, -24, 0, 40, -32, 0, 2, 0, 0, -12, 36, 0, 0, -36, 0, 4, -8, 0, 8, -56, 0, 0, 0, 0, 28, 68, 0, 0, -16, 0, -28, 12, 0, 0, -20, 0, 8, 0, 0, 4, 0, 0, 0, 8, 0, 36, 0, 0, 48, -68, 0, 16, 0, 0, -4, 10, 0, 0, -12, 0, -16, -4, 0, -12, 12, 0, 52, 0, 0, 20, -44, 0, 0, 48, 0, 0, 24, 0, -22, 36, 0, -40, 0, 0, 20, -12, 0, 0, 40, 0, 16, 12, 0, 4, 16, 0, 0, 0, 0, 24, -12, 0, 0, -28, 0, 36, 32, 0, 4, -10, 0, -12, 0, 0, -4, -28, 0, 0, 44, 0, 24, 16, 0, 8, 40, 0, -12, 0, 0, -20, 56, 0, 0, 8, 0, -40, -16, 0, -24, 52, 0, -52, 0, 0, -8, -52, 0, 0, 0, 0, 0, 36, 0, 52, 8, 0, 8, 0, 0, -8, -12, 0, 0, 12, 0, -36, 36, 0, -40, -28, 0, -16, 0, 0, -16, 56, 0, 0, -4, 0, 12, 12, 0, 36, -12, 0, 32, 0, 0, -80, 0, 0, 0, -12, 0, 40, 40, 0, -48, -12, 0, 78, 0, 0, -12, 4, 0, 0, 16, 0, -4, 16, 0, 0, -12, 0, 16, 0, 0, -24, 4, 0, 0, 4, 0, -52, 4, 0, 0, 54, 0, -8, 0, 0, -8, -88, 0, 0, 12, 0, -28, -48, 0, 36, 0, 0, -34, 0, 0, 40, 48, 0, 0, -44, 0, -44, 8, 0, -12, 0, 0, -6, 0, 0, 28, 24, 0, 0, -16, 0, 12, -20, 0, -40, 48, 0, -32, 0, 0, -36, -52, 0, 0, 8, 0, 12, -4, 0, -40, -72, 0, 88, 0, 0, -40, -2, 0, 0, -40, 0, 64, -4, 0, -36, 12, 0, -24, 0, 0, 12, 60, 0, 0, -4, 0, -8, -24, 0, -12, -32, 0, 80, 0, 0, 12, -8, 0, 0, -16, 0, 60, -20, 0, -84, 68, 0, -48, 0, 0, -4, 48, 0, 0, 84, 0, -44, -4, 0, 8, -20, 0, -12, 0, 0, -32, 16, 0, 0, -28, 0, 36, -4, 0, 8, -36, 0, 104, 0, 0, -12, 20, 0, 0, -12, 0, -8, 32, 0, 4, -40, 0, 44, 0, 0, -16, -28, 0, 0, 0, 0, 28, 68, 0, -10, -36, 0, 24, 0, 0, 60, -4, 0, 0, 16, 0, -12, -32, 0, 8, 4, 0, -96, 0, 0, 4, -36, 0, 0, -72, 0, 48, -64, 0, 28, 32, 0, 12, 0, 0, -64, -12, 0, 0, -8, 0, 32, 8, 0, -16, 22, 0, -60, 0, 0, 28, 40, 0, 0, 4, 0, -36, -8, 0, -16, 56, 0, 16, 0, 0, -96, -20, 0, 0, -72, 0, -16, -20, 0, -16, -12, 0, 0, 0, 0, -88, -76, 0, 0, -48, 0, 8, -24, 0, -68, -16, 0, -80, 0, 0, 20, -8, 0, 0, -28, 0, -32, -48, 0, -12, 0, 0, -6, 0, 0, 20, 4, 0, 0, -32, 0, 32, -28, 0, 16, -28, 0, 4, 0, 0, -60, 8, 0, 0, -24, 0, -48, 52, 0, 40, -16, 0, -144, 0, 0, 32, 12, 0, 0, -28, 0, 36, 20, 0, -120, -28, 0, 12, 0, 0, 16, 2, 0, 0, 72, 0, 4, -8, 0, -34, -24, 0, -80, 0, 0, 60, 36, 0, 0, 16, 0, 68, 32, 0, 16, 44, 0, 0, 0, 0, -4, -4, 0, 0, -8, 0, -60, 28, 0, -16, 4, 0, 8, 0, 0, -52, -4, 0, 0, -68, 0, -36, 16, 0, -12, -44, 0, -8, 0, 0, -12, 16, 0, 0, 64, 0, -12, 24, 0, -12, 144, 0, 44, 0, 0, -12, 52, 0, 0, -16, 0, -48, -72, 0, -88, -12, 0, 48, 0, 0, -108, 24, 0, 0, -20, 0, 20, -20, 0, 32, -68, 0, 28, 0, 0, -12, -72, 0, 0, -44, 0, -16, 72, 0, -56, -52, 0, 16, 0, 0, 16, -72, 0, 0, -40, 0, -52, 24, 0, -26, 64, 0, 4, 0, 0, 36, -74, 0, 0, 56, 0, 4, 40, 0, 12, 28, 0, 80, 0, 0, 8, -12, 0, 0, -4, 0, -16, 24, 0, 64, 12, 0, 36, 0, 0, -52, -4, 0, 0, -48, 0, -24, 24, 0, 80, 32, 0, 28, 0, 0, 4, -36, 0, 0, -4, 0, -68, 8, 0, -64, 8, 0, -14, 0, 0, 8, 16, 0, 0, 0, 0, 8, -16, 0, 144, -4, 0, 56, 0, 0, -12, -8, 0, 0, 68, 0, 4, -52, 0, 8, -68, 0, -12, 0, 0, 88, 50, 0, 0, -68, 0, -12, -40, 0, -64, 32, 0, 16, 0, 0, 36, -40, 0, 0, 92, 0, -68, 64, 0, 16, -92, 0, 16, 0, 0, 100, 14, 0, 0, 40, 0, -36, -88, 0, -32, -28, 0, 8, 0, 0, 0, 44, 0, 0, -20, 0, 20, 32, 0, 64, -20, 0, -40, 0, 0, -20, 16, 0, 0, 16, 0, -20, 52, 0, 68, 20, 0, 12, 0, 0, 4, -24, 0, 0, 0, 0, 84, -12, 0, -12, 84, 0, 56, 0, 0, -72, -144, 0, 0, -32, 0, 28, 32, 0, 2, -32, 0, -32, 0, 0, 112, 12, 0, 0, -152, 0, 12, -20, 0, 48, 36, 0, 52, 0, 0, -12, 24, 0, 0, 48, 0, -20, -12, 0, -60, -36, 0, 40, 0, 0, 12, -36, 0, 0, 24, 0, -72, -16, 0, -84, -44, 0, 56, 0, 0, 0, -120, 0, 0, 32, 0, 36, -16, 0, -16, -100, 0, -8, 0, 0, 0, 76, 0, 0, -12, 0, 12, 12, 0, -80, 60, 0, -92, 0, 0, 12, 68, 0, 0, -4, 0, -56, 24, 0, -112, -40, 0, -24, 0, 0, -140, 8, 0, 0, -28, 0, 28, 8, 0, -32, -64, 0, 24, 0, 0, -48, 44, 0, 0, 72, 0, 16, 24, 0, -40, 56, 0, -48, 0, 0, -12, 4, 0, 0, 48, 0, 12, -36, 0, 16, -16, 0, 28, 0, 0, 4, -184, 0, 0, 80, 0, 4, 16, 0, 4, -76, 0, -20, 0, 0, 12, 0, 0, 0, 16, 0, -64, 8, 0, 52, 28, 0, 32, 0, 0, 52, -12, 0, 0, 0, 0, -48, -8, 0, 24, -48, 0, 16, 0, 0, 56, -8, 0, 0, 12, 0, -132, -24, 0, 64, 30, 0, 100, 0, 0, -40, -64, 0, 0, -36, 0, -24, -108, 0, -32, -28, 0, 78, 0, 0, -16, -32, 0, 0, -28, 0, 80, 32, 0, -52, -68, 0, -52, 0, 0, -16, 180, 0, 0, 56, 0, 68, -28, 0, 20, 16, 0, -72, 0, 0, 88, -24, 0, 0, -64, 0, 84, -60, 0, 4, -12, 0, -64, 0, 0, -64, 44, 0, 0, -36, 0, -4, 48, 0, -12, 124, 0, 56, 0, 0, -16, -60, 0, 0, -88, 0, 132, -72, 0, 4, 40, 0, -22, 0, 0, -12, 60, 0, 0, -24, 0, 92, -100, 0, -24, -24, 0, -48, 0, 0, 12, 48, 0, 0, -44, 0, -4, 16, 0, 16, 20, 0, -112, 0, 0, -76, 40, 0, 0, -16, 0, -12, 152, 0, 88, 44, 0, 68, 0, 0, 128, 36, 0, 0, 28, 0, 68, -16, 0, -8, -92, 0, -20, 0, 0, 40, -16, 0, 0, -8, 0, -16, 96, 0, 152, -152, 0, -48, 0, 0, 80, -20, 0, 0, -48, 0, 72, 36, 0, 0, 148, 0, 112, 0, 0, -8, 96, 0, 0, -16, 0, 60, -100, 0, 96, 8, 0, 40, 0, 0, 12, 44, 0, 0, 32, 0, 64, -88, 0, -24, 60, 0, -4, 0, 0, 60, -22, 0, 0, 120, 0, -64, 40, 0, -52, -64, 0, 0, 0, 0, 72, 60, 0, 0, -16, 0, 60, -4, 0, 88, -108, 0, -36, 0, 0, -60, 4, 0, 0, 36, 0, -80, 76, 0, 16, 124, 0, -12, 0, 0, 24, 56, 0, 0, 48, 0, -36, -88, 0, -68, -44, 0, 8, 0, 0, -4, 248, 0, 0, -40, 0, -12, -16, 0, -12, -60, 0, -16, 0, 0, -36, -48, 0, 0, -16, 0, -12, -4, 0, 64, 184, 0, -16, 0, 0, -16, 84, 0, 0, 152, 0, 108, -88, 0, 14, 76, 0, -20, 0, 0, -56, -80, 0, 0, 8, 0, -100, -16, 0, 70, 66, 0, 72, 0, 0, 32, 100, 0, 0, 32, 0, -92, -152, 0, 20, 12, 0, -104, 0, 0, 24, 56, 0, 0, -76, 0, -56, 116, 0, 32, 12, 0, -68, 0, 0, -16, 104, 0, 0, 4, 0, 60, 8, 0, 28, 48, 0, -32, 0, 0, 16, -84, 0, 0, 60, 0, -28, 40, 0, 92, 64, 0, -36, 0, 0, -36, -24, 0, 0, 4, 0, 36, 132, 0, 0, 48, 0, 8, 0, 0, 28, -88, 0, 0, 44, 0, -8, 40, 0, -16, 36, 0, 64, 0, 0, 132, 48, 0, 0, -16, 0, 20, 36, 0, 0, -68, 0, -64, 0, 0, -100, -20, 0, 0, -12, 0, 0, 8, 0, -56, 28, 0, -248, 0, 0, 56, -36, 0, 0, -16, 0, 92, 48, 0, 24, -20, 0, -4, 0, 0, 4, -20, 0, 0, 184, 0, 160, -24, 0, 96, 104, 0, 52, 0, 0, -28, 0, 0, 0, -40, 0, 32, 220, 0, -24, -44, 0, -14, 0, 0, 28, 12, 0, 0, -12, 0, -52, -40, 0, -108, -24, 0, 44, 0, 0, -36, -44, 0, 0, -32, 0, -68, -68, 0, 112, -4, 0, -24, 0, 0, 116, 40, 0, 0, -24, 0, 64, 128, 0, 48, 112, 0, 24, 0, 0, -16, 0, 0, 0, 20, 0, 72, -12, 0, 112, 68, 0, -24, 0, 0, 120, -32, 0, 0, 64, 0, -56, 0, 0, 12, 26, 0, -80, 0, 0, -40, -52, 0, 0, -8, 0, -84, -84, 0, 42, 0, 0, 40, 0, 0, -112, 8, 0, 0, 20, 0, -68, -116, 0, -96, 28, 0, 100, 0, 0, -16, -176, 0, 0, 120, 0, -48, -32, 0, -88, 56, 0, 24, 0, 0, 12, 32, 0, 0, 48, 0, 16, 64, 0, -28, -60, 0, 24, 0, 0, 28, -60, 0, 0, -72, 0, 40, 12, 0, -8, 72, 0, -40, 0, 0, 128, -44, 0, 0, 32, 0, -72, -92, 0, 120, -164, 0, -80, 0, 0, -12, 36, 0, 0, 40, 0, 4, 28, 0, 76, 36, 0, -44, 0, 0, 36, -56, 0, 0, 132, 0, 104, -8, 0, 64, 32, 0, -16, 0, 0, -16, -70, 0, 0, 72, 0, 4, 24, 0, -8, -14, 0, 24, 0, 0, -68, 60, 0, 0, -48, 0, 40, 60, 0, 64, -152, 0, -12, 0, 0, -24, -48, 0, 0, -76, 0, 28, 12, 0, 16, 60, 0, 92, 0, 0, -108, 0, 0, 0, 24, 0, 4, 32, 0, -96, -140, 0, 44, 0, 0, 68, 24, 0, 0, -16, 0, -92, -200, 0, -66, 24, 0, 8, 0, 0, 60, 136, 0, 0, -52, 0, 24, -52, 0, 88, 80, 0, -104, 0, 0, -132, -176, 0, 0, -52, 0, -100, 28, 0, 8, -16, 0, 48, 0, 0, -36, -28, 0, 0, 128, 0, -80, -12, 0, 100, 8, 0, 196, 0, 0, 72, 32, 0, 0, 24, 0, -120, -124, 0, -10, -12, 0, -112, 0, 0, -84, 96, 0, 0, 52, 0, 148, 148, 0, -112, 24, 0, 60, 0, 0, 0, 16, 0, 0, 36, 0, 44, 16, 0, -108, -116, 0, -70, 0, 0, 28, 76, 0, 0, -60, 0, -48, -8, 0, 44, -96, 0, 48, 0, 0, -8, 32, 0, 0, 8, 0, -8, -92, 0, 0, -4, 0, -8, 0, 0, -112, -60, 0, 0, 108, 0, -76, 16, 0, 8, -84, 0, 16, 0, 0, -88, -52, 0, 0, -8, 0, 24, 48, 0, 64, -92, 0, -52, 0, 0, 12, 52, 0, 0, -164, 0, 20, 40, 0, -100, 28, 0, -128, 0, 0, 4, -24, 0, 0, 24, 0, 12, 96, 0, 152, -44, 0, 64, 0, 0, 148, 36, 0, 0, -108, 0, -24, -116, 0, 8, -6, 0, 96, 0, 0, 88, 16, 0, 0, -124, 0, -32, -184, 0, 136, 16, 0, -8, 0, 0, 240, -64, 0, 0, 20, 0, 52, -80, 0, -68, -56, 0, -108, 0, 0, 4, -116, 0, 0, -96, 0, 48, 116, 0, -24, -68, 0, -72, 0, 0, 64, -16, 0, 0, 40, 0, -76, 0, 0, 24, 60, 0, -56, 0, 0, 20, -8, 0, 0, 36, 0, 76, -12, 0, -84, -72, 0, -104, 0, 0, 8, 40, 0, 0, 168, 0, -88, 24, 0, -18, 124, 0, 100, 0, 0, 56, -48, 0, 0, -88, 0, -64, -12, 0, 96, 76, 0, -96, 0, 0, -56, 44, 0, 0, -84, 0, 20, 108, 0, 8, 88, 0, 92, 0, 0, 84, 16, 0, 0, 4, 0, 88, 16, 0, -68, -12, 0, 12, 0, 0, -36, -48, 0, 0, -76, 0, 76, -48, 0, -36, 116, 0, 36, 0, 0, 20, 116, 0, 0, -72, 0, 12, 84, 0, -88, -84, 0, 72, 0, 0, -4, 0, 0, 0, 112, 0, 28, -56, 0, 8, 176, 0, -8, 0, 0, -44, 40, 0, 0, 88, 0, 4, 140, 0, -8, 56, 0, 16, 0, 0, 60, -8, 0, 0, -52, 0, 88, -128, 0, -20, 48, 0, 120, 0, 0, -44, 28, 0, 0, 64, 0, 4, 120, 0, 28, -16, 0, -80, 0, 0, -96, -68, 0, 0, -64, 0, -16, -88, 0, 72, 0, 0, -128, 0, 0, 124, 32, 0, 0, 16, 0, -48, 52, 0, -68, -32, 0, 28, 0, 0, -132, 96, 0, 0, -12, 0, 4, 32, 0, 0, 0, 0, 8, 0, 0, 24, -20, 0, 0, -96, 0, -32, 44, 0, 264, 52, 0, 16, 0, 0, -96, 16, 0, 0, 160, 0, -12, -12, 0, 88, -28, 0, 60, 0, 0, -100, 44, 0, 0, -4, 0, -72, 76, 0, 64, -72, 0, -160, 0, 0, -8, -52, 0, 0, 96, 0, -60, 16, 0, -56, -60, 0, -60, 0, 0, 76, -136, 0, 0, 72, 0, 76, 4, 0, 20, 76, 0, -80, 0, 0, -112, 44, 0, 0, 24, 0, 32, -20, 0, -8, -12, 0, 96, 0, 0, 88, -32, 0, 0, 56, 0, -132, -112, 0, 4, 68, 0, 108, 0, 0, -52, -36, 0, 0, 76, 0, 24, -112, 0, -40, -120, 0, -30, 0, 0, -28, -164, 0, 0, 80, 0, -76, 8, 0, 104, -64, 0, -88, 0, 0, 132, 64, 0, 0, -8, 0, 84, -28, 0, -104, 68, 0, 72, 0, 0, 4, -174, 0, 0, 72, 0, 56, 48, 0, -88, -72, 0, -44, 0, 0, -4, 56, 0, 0, -128, 0, -56, -48, 0, 96, 148, 0, 128, 0, 0, -52, 60, 0, 0, 4, 0, -32, 0, 0, -120, -156, 0, 24, 0, 0, -40, 4, 0, 0, -124, 0, 52, 44, 0, -96, -140, 0, 88, 0, 0, 8, 124, 0, 0, 16, 0, -20, -104, 0, -16, 104, 0, 30, 0, 0, 80, -24, 0, 0, -152, 0, 124, 16, 0, 48, -36, 0, 116, 0, 0, 8, 96, 0, 0, 0, 0, -100, 16, 0, -100, -56, 0, 4, 0, 0, -4, 60, 0, 0, 40, 0, 32, 184, 0, -24, 36, 0, -148, 0, 0, 20, -56, 0, 0, 44, 0, -24, 24, 0, 76, -40, 0, 48, 0, 0, -16, 10, 0, 0, -272, 0, 92, -24, 0, 8, 92, 0, -64, 0, 0, 108, 66, 0, 0, 8, 0, -48, 124, 0, -36, -4, 0, 0, 0, 0, 44, 20, 0, 0, -92, 0, 172, -108, 0, 72, -8, 0, 0, 0, 0, 84, 180, 0, 0, -56, 0, -8, -28, 0, -128, 172, 0, 32, 0, 0, 124, -20, 0, 0, -48, 0, -64, -136, 0, -20, -72, 0, 24, 0, 0, 0, 168, 0, 0, -72, 0, -84, 180, 0, -96, -4, 0, 32, 0, 0, -48, -124, 0, 0, -108, 0, -176, -36, 0, 0, -156, 0, 4, 0, 0, 64, -156, 0, 0, -48, 0, -64, -104, 0, -20, 8, 0, -68, 0, 0, -24, 40, 0, 0, -116, 0, -4, -120, 0]