# Trace form for 4225.2.a.r, downloaded from the LMFDB on 03 September 2025.
[0, 2, -2, 0, 2, 0, -4, 4, -6, -2, 0, -4, 8, 0, -12, 0, 6, 4, 2, -4, 0, 8, 8, 0, -4, 0, 0, 0, 20, 0, 0, -12, 6, -4, 4, 0, -2, 0, 0, 0, 0, 12, -16, 8, -12, 0, 4, -4, 0, 10, 0, -8, 0, 12, 16, 0, -20, 4, 16, -12, 0, -16, 0, -4, -14, 0, 12, -4, -12, -4, 0, -4, 6, 0, 24, 0, 4, -16, 0, 0, 0, -10, -4, -12, 24, 0, -28, -16, 16, -12, 0, 0, -8, 12, 12, 0, -4, -4, -42, 4, 0, 4, 0, -32, 0, 0, 12, 16, -32, 4, 0, -24, 12, 12, 4, 0, -32, 0, 0, -8, 0, -10, 16, -8, 12, 0, 12, 16, 10, 20, 0, 0, -20, 0, 4, 0, -4, -12, 4, -8, 0, -8, 32, 0, -6, 0, -24, 32, -48, 12, 0, -28, 8, -4, 40, 0, 0, -36, 24, -24, 0, -8, 10, 4, -4, 0, 4, -12, -32, 0, 0, 4, 48, -28, 16, 0, -12, 12, 12, 0, 0, 0, 0, 0, 4, 0, 12, 0, -20, -32, 0, 16, -8, 20, 20, 0, 74, -12, -8, 8, 0, 0, 12, -32, 8, 0, 28, 0, 0, 4, 0, -16, -36, -28, -20, 0, 16, 0, -4, 24, 0, 0, 24, 36, 4, 0, -20, -44, -12, 4, 0, -24, 16, -4, 0, 0, 12, -24, 8, 4, 0, 12, -6, 0, -16, 0, -16, 0, 24, 8, 0, 0, -20, 4, -12, 0, -26, -44, -36, -48, 0, 0, 48, 24, 20, 0, 8, 0, -4, -28, 0, -28, 12, 0, 44, 0, -4, 20, -16, 12, 0, -4, 16, 8, -60, 0, 0, 8, -6, -10, 0, -16, 48, 24, -52, 0, 24, 16, -28, 0, 0, 56, 16, -16, -12, 0, -4, 44, -64, 4, 0, 0, 0, 4, 36, 0, -48, 24, 0, 16, 0, 4, 16, -16, -10, 0, -52, 0, -28, -24, 0, 4, 4, 0, 4, 0, 24, -20, 0, 8, 0, 12, 0, 56, -44, 0, 36, 0, -16, -20, 0, 0, -8, 24, 12, 0, -12, 0, -16, 36, 0, -26, 0, 16, 0, 0, 32, -40, 0, -12, 0, -24, -36, 28, -8, 0, 20, 0, 64, -44, 0, -4, 0, 4, 44, 0, -4, -8, -36, 12, 0, 8, -62, -48, -36, 0, 12, -16, -8, -8, 0, -12, 8, 0, -28, 0, 64, 24, 16, -20, 0, -32, -24, 0, -4, 0, 0, 24, -4, 16, 0, 36, -16, 4, -12, 0, 36, -32, 24, 0, 0, -44, 0, -4, 24, 0, 4, -4, -24, -32, 0, -10, 0, 16, -24, 0, -12, 16, -44, 4, 0, -16, 28, 12, 28, 0, -4, -36, -12, 32, 0, -36, 56, -20, 0, 0, -60, 24, 0, -8, 0, 0, 24, -36, 24, 0, -8, -12, -8, 36, 0, 0, -36, -8, 22, 0, -28, 12, 48, 48, 0, 16, 40, 32, 0, 0, -36, -64, 16, -52, 0, 8, -56, -56, 20, 0, -12, 0, 8, -20, 0, 48, 54, -16, 60, 0, 52, 16, 96, -8, 0, -24, -16, 48, -96, 0, -20, -48, -12, -42, 0, 12, -16, 0, 24, 0, 12, 16, 60, -52, 0, 20, 64, 0, 20, 0, 0, 16, -76, 16, 0, -16, 12, -48, -28, 0, 40, -32, 0, 0, 0, 8, 60, 24, -24, 0, -44, -20, 40, -32, 0, -40, 0, -16, -40, 0, 14, -64, 42, -16, 0, -8, 24, 0, -24, 0, -64, 52, 72, 36, 0, 48, 0, -4, -48, 0, 44, 0, 0, 0, 0, -44, -128, 4, -4, 0, 8, -72, -16, -32, 0, 0, 12, -52, -52, 0, 72, -12, 60, -12, 0, 16, -24, -24, 0, 0, -12, 0, -36, 48, 0, 28, 24, 32, 16, 0, 24, 0, -48, 4, 0, 84, -36, 36, -24, 0, -8, -16, 30, 12, 0, -24, 100, -60, -8, 0, 36, 0, 56, 64, 0, 20, -72, 0, 28, 0, -24, 16, 4, -24, 0, 32, 16, 4, 28, 0, 0, 12, -32, -40, 0, 16, -12, 44, -4, 0, -104, 8, 24, 0, 0, -28, -44, 16, -12, 0, 48, 40, 44, 64, 0, 52, 0, -24, 36, 0, -32, -24, -36, -28, 0, 0, 36, -12, 16, 0, 32, 4, -8, 24, 0, -56, 42, 24, 0, 0, 4, 32, 0, 58, 0, -24, -64, 20, 84, 0, 4, 8, 4, -36, 0, 0, 24, -60, -12, 0, 4, 12, 16, 40, 0, -72, -12, 56, 0, 0, -96, 20, 64, 8, 0, 28, -28, 8, -16, 0, 84, 0, -48, 12, 0, -16, -12, -16, 28, 0, 28, -48, -76, -32, 0, 36, 0, 64, 30, 0, 48, 28, 84, -4, 0, 40, -16, 0, -40, 0, 8, 12, 8, 8, 0, 12, -20, -24, -16, 0, 0, -32, 4, 0, 0, 20, -96, -36, -72, 0, -24, 4, 12, 0, 0, 12, 56, -32, 92, 0, 24, 84, 8, 48, 0, 8, 0, -44, -8, 0, 4, -48, -24, 12, 0, 6, -84, -56, 48, 0, -12, 12, 36, 36, 0, 24, -44, 24, 96, 0, -52, -12, 0, -16, 0, 32, 96, -12, 16, 0, 20, -32, -48, 24, 0, 0, -12, 4, -4, 0, 24, 28, -16, 40, 0, 72, 42, 56, 0, 0, -20, 8, 72, 24, 0, 20, -12, 0, -40, 0, 108, 0, -92, -48, 0, 72, 24, 72, -44, 0, 44, 24, -12, -4, 0, -24, 12, 16, 36, 0, 20, -96, 0, -16, 0, 8, 12, 0, -88, 0, 4, 32, 16, -28, 0, 12, 124, 24, -28, 0, 0, 12, 24, 8, 0, 36, 72, 8, -36, 0, 92, -28, -24, 0, 0, -40, 24, 20, -12, 0, 12, 32, -72, -88, 0, 46, 0, -16, 60, 0, 24, 28, 14, 24, 0, 32, 56, 32, 36, 0, -48, -96, -56, 24, 0, -4, -8, -36, 0, 0, 0, -32, 0, -20, 0, 64, -48, 68, 136, 0, -40, -52, 96, 96, 0, 0, 16, -48, 112, 0, 84, -48, -12, -4, 0, -8, 20, 12, 0, 0, -44, -12, 108, 36, 0, 20, -96, 0, -14, 0, -16, 0, -76, 48, 0, -24, -76, 8, -40, 0, -144, -32, 64, 16, 0, 12, 40, 56, 32, 0, -36, -24, 48, -92, 0, -12, 16, 0, -24, 0, -4, -32, 42, 8, 0, -20, 0, -16, 8, 0, 0, 24, -48, -52, 0, 8, -12, 96, -16, 0, -92, -28, 136, 0, 0, 8, -12, -16, -100, 0, 0, -20, -12, 10, 0, -72, 0, 4, 44, 0, 68, 36, -16, -72, 0, -44, -16, -12, -12, 0, 96, 32, 36, -24, 0, 8, 0, 0, 88, 0, -12, -36, 0, -32, 0, 36, -8, 4, -116, 0, -12, -32, 32, -4, 0, 0, 80, 60, 60, 0, -12, -20, 16, -8, 0, 104, 16, -16, 0, 0, -16, -72, 72, -88, 0, 36, -10, 28, 72, 0, -74, 0, -24, 32, 0, -80, 40, 36, -32, 0, -24, 64, 0, -8, 0, -80, 104, -8, -36, 0, -116, -36, 12, 0, 0, -84, -24, 0, 24, 0, 68, -72, 80, 32, 0, 56, -52, 60, -16, 0, 0, 0, -72, -8, 0, -4, 108, 32, 200, 0, -4, 48, 72, 0, 0, -72, 0, -36, 60, 0, 20, -72, 96, 24, 0, 48, 0, -24, 4, 0, 20, 8, 60, 12, 0, 40, -48, 12, -36, 0, -124, -20, 0, -24, 0, -48, -16, -32, 48, 0, 72, -80, 0, -48, 0, 8, 20, 32, -8, 0, 108, 8, 0, -132, 0, 0, -16, 48, 0, 0, 0, 0, -56, 32, 0, -96, 48, 8, 0, 0, 80, -12, -32, -12, 0, -64, -100, 64, 68, 0, -12, 0, 32, -52, 0, -16, 32, -52, 20, 0, -30, 28, -12, -16, 0, -48, 24, -8, -60, 0, 108, -36, 16, 16, 0, 8, 44, 0, 24, 0, -88, 48, -24, -36, 0, 20, 92, -128, 140, 0, 0, -8, -36, 4, 0, 48, 48, 12, -16, 0, 28, 0, -48, 0, 0, -12, -64, 48, -72, 0, 20, 88, -36, -20, 0, 8, 0, -8, -52, 0, 56, -12, 88, 28, 0, 60, 72, 32, 12, 0, -12, -12, -8, 70, 0, 0, 152, 36, -16, 0, 4, -20, 0, 72, 0, 16, 8, 24, 92, 0, -40, 24, 24, 16, 0, 0, -48, 16, 24, 0, -68, -28, -56, -4, 0, 4, -20, 0, 0, 0, -24, -16, -64, 84, 0, -40, 40, 36, 40, 0, -12, 0, 116, -56, 0, -128, -24, 92, -36, 0, -12, -24, -32, -64, 0, 96, -16, -44, -12, 0, -20, 36, -72, 8, 0, 48, 176, 0, -58, 0, -48, -32, 0, 8, 0, -28, -24, 84, -132, 0, 0, 0, -58, 0, 0, -48, 16, 8, 32, 0, -52, -4, -128, 0, 0, 28, 8, -8, -16, 0, 4, 32, 0, -32, 0, -4, 0, 48, -24, 0, 36, 76, 36, -36, 0, -72, -36, 56, -4, 0, -8, -44, -112, -16, 0, -24, 48, 12, -4, 0, -56, 56, 0, -28, 0, 16, 128, -24, -60, 0, -84, 48, -16, 36, 0, 0, 36, -36, 60, 0, -24, -88, -32, -8, 0, -56, -172, 48, 0, 0, 12, 96, -60, 20, 0, 0, 104, -72, -44, 0, 56, 0, -48, 20, 0, 24, -12, -108, 144, 0, 140, 28, -8, 32, 0, 24, -100, -16, -8, 0, -64, 12, -2, -12, 0, -4, -48, 0, -52, 0, -12, 32, -44, 84, 0, 72, -104, -32, 12, 0, 0, 0, 96, -56, 0, -120, -24, -48, -60, 0, -8, 80, -8, 0, 0, -36, -12, 24, 52, 0, 72, -12, 8, 52, 0, 0, 0, 36, 88, 0, 12, -84, -128, -92, 0, 40, -72, -8, 128, 0, 92, -52, 120, 0, 0, 120, -32, 28, 20, 0, -4, 52, 0, -40, 0, -60, -140, -144, -80, 0, -20, 0, -96, 24, 0, 0, -48, 32, -124, 0, -4, 16, -96, -48, 0, 44, -48, -112, 0, 0, 20, 16, -8, -4, 0, -56, -12, 16, -48, 0, 32, 0, 24, -24, 0, 6, -6, 0, 132, 0, 64, 72, 16, -12, 0, 24, 20, 60, -4, 0, 60, 24, -52, -104, 0, 56, -24, 0, 92, 0, 48, 16, -160, -28, 0, -48, 48, 24, 28, 0, 0, 40, 72, -16, 0, -36, -48, 4, -148, 0, 84, 72, 32, 0, 0, -8, -36, 12, 52, 0, 24, -20, -72, 48, 0, 20, 0, -32, 12, 0, -20, 4, 12, 24, 0, -72, -72, 68, -60, 0, 64, 112, -88, 8, 0, -16, -24, 8, -74, 0, -44, -48, 0, 0, 0, 24, 24, 12, -60, 0, -72, -28, -80, -64, 0, 0, -40, -76, -84, 0, -8, -12, 64, -76, 0, -8, -148, -56, 0, 0, 180, 72, -48, -120, 0, -92, 24, -64, -32, 0, -184, 0, 36, 0, 0, -40, -100, -192, 36, 0, 116, 24, -12, 24, 0, 12, 24, -24, 20, 0, -24, 32, -36, 108, 0, -68, -20, 0, 192, 0, -32, 16, -8, 32, 0, 40, -96, -8, 12, 0, 0, -136, 104, 46, 0, 48, 12, 8, -28, 0, 32, 12, 36, 0, 0, 52, 32, 0, -52, 0, -24, 28, 32, -48, 0, -24, 0, 44, -60, 0, -40, 92, -16, -28, 0, -4, 68, -120, -144, 0, 16, -48, -48, -80, 0, 96, -148, -12, -60, 0, 72, -128, 0, 16, 0, -144, -8, 64, -24, 0, 108, 112, 36, -8, 0, 0, -16, 60, -64, 0, 108, 112, 200, -24, 0, 8, 98, 16, 0, 0, 20, -8, -60, -24, 0, 44, -40, -12, -124, 0, -30, 0, 8, 56, 0, -4, -112, 0, -28, 0, -48, 0, -84, 60, 0, 8, -48, 0, 72, 0, 64, 68, -48, -48, 0, 144, 4, 0, 0, 0, -12, -120, -24, -16, 0, -96, -32, 60, 80, 0, 0, -40, 36, -72, 0, 88, -112, -112, 60, 0, -76, 4, -208, 0, 0, 0, 0, -52, 60, 0, -140, 28, -96, -72, 0, 0, 0, 0, -40, 0, -24, -36, -56, -4, 0, -136, -112, 32, -24, 0, -4, -32, 116, -24, 0, -56, 48, -84, -20, 0, 60, 56, 0, 68, 0, 40, 48, -28, 20, 0, -196, -48, -80, -100, 0, 0, -44, 44, 144, 0, -24, 0, -70, -32, 0, 128, 48, -76, 0, 0, 148, -52, -160, 112, 0, -4, 32, 8, 60, 0, -112, 0, 64, -12, 0, -8, 192, 20, -32, 0, -120, 24, -48, 96, 0, 40, -12, 48, -56, 0, -136, -12, -16, 64, 0, -64, 24, 0, 64, 0, 0, 4, 124, -36, 0, -16, 72, -32, -68, 0, 0, 200, 96, 48, 0, -36, 44, 0, 120, 0, -42, -96, -56, 0, 0, -16, 60, -24, -12, 0, -60, -88, 0, -4, 0, -64, 0, 96, -64, 0, 24, 64, 84, 24, 0, -64, -8, -52, -12, 0, -96, -16, 16, 104, 0, -4, 116, 64, -44, 0, -220, 48, 0, 40, 0, -96, -16, -120, 4, 0, 68, -24, 120, -12, 0, 0, 0, 120, -100, 0, -68, 48, 6, 52, 0, 100, 80, -72, 0, 0, 20, 0, -104, -16, 0, 24, -36, 8, 92, 0, 16, 0, 216, 32, 0, -60, 124, 4, 48, 0, 44, -16, -12, -70, 0, 8, -144, -108, 64, 0, -68, 36, -72, -32, 0, 36, -32, 0, -24, 0, 48, 96, -144, 24, 0, 16, -24, 96, 84, 0, 0, -44, -24, 80, 0, -32, 12, -12, 8, 0, 68, 72, 68, 0, 0, -4, 0, 24, 52, 0, -24, 0, -116, 0, 0, 16, 0, 72, -60, 0, -116, 12, -100, 28, 0, 40, 16, 60, 108, 0, 0, -4, -8, -72, 0, 76, -216, -64, 8, 0, 12, 128, 0, 16, 0, 96, 48, 20, -72, 0, -56, -36, 80, 36, 0, 0, -128, -84, 26, 0, -132, 48, -80, 108, 0, -32, 62, 44, 0, 0, 64, 144, 0, -40, 0, 0, 144, 16, -72, 0, 4, 0, 56, 40, 0, 48, 48, 68, -88, 0, -24, 40, 40, 16, 0, 100, 32, 64, -112, 0, -8, 4, 20, 0, 0, -12, 96, 0, 76, 0, -60, -12, -48, -56, 0, 24, 148, -64, 0, 0, 0, -24, 48, -4, 0, -12, -132, 64, 12, 0, -80, 36, 64, 0, 0, 108, -24, -32, 36, 0, -108, 24, 32, 28, 0, 48, 0, 12, -8, 0, 144, 0, 16, 60, 0, 138, 92, 0, -172, 0, -8, -32, -240, -48, 0, 68, 4, -36, -8, 0, -84, 68, 0, -96, 0, 28, 200, 12, 40, 0, -12, 128, -48, 24, 0, 0, 24, 52, 80, 0, -160, 8, 0, 28, 0, 0, -96, -88, 0, 0, -12, 8, -12, -72, 0, -24, 12, -48, 32, 0, -140, 0, 12, 68, 0, -4, 24, 128, -24, 0, -44, -56, 84, 52, 0, 64, 52, -92, -76, 0, 12, 92, 24, 0, 0, 40, 0, 0, 16, 0, 72, 48, -24, -48, 0, 24, -120, -20, 144, 0, 0, 72, 48, 24, 0, -96, 16, -116, -20, 0, -64, 0, 16, 0, 0, 60, -108, 16, -40, 0, -48, -36, 128, -16, 0, 4, 0, 0, 4, 0, -120, -84, 24, 4, 0, 96, -32, -8, 0, 0, -32, 12, -64, -24, 0, -8, -24, -60, -72, 0, 0, -8, 0, -88, 0, 152, -80, 0, -28, 0, 60, -44, -72, -72, 0, 0, 128, -56, 116, 0, -36, -80, -44, -168, 0, -16, -12, 96, 0, 0, -24, -56, 20, 92, 0, 0, -56, -8, 24, 0, 140, 0, -24, -72, 0, -96, -30, -132, -108, 0, 12, -132, 24, -8, 0, 10, 16, -8, -24, 0, -60, 48, 12, 104, 0, -8, -156, 0, -52, 0, -8, -68, -32, 64, 0, 60, 0, -64, -68, 0, 0, 168, -48, -12, 0, 32, 104, 96, 16, 0, -16, -24, -104, 0, 0, 40, -92, -48, -204, 0, 208, -60, -80, -12, 0, -48, 0, -128, 84, 0, -44, 80, -36, 76, 0, 52, -80, 12, -24, 0, 60, 56, 16, -72, 0, -140, -36, -28, -32, 0, 120, 36, 0, 8, 0, -168, 28, -28, 96, 0, 0, 24, 128, 148, 0, 0, -44, 96, -96, 0, 68, 96, -28, -92, 0, -144, -56, -96, 0, 0, 40, -32, 92, -56, 0, 68, -48, 68, -12, 0, -136, 0, -16, 68, 0, -60, -156, 152, -160, 0, -64, 64, -36, -24, 0, 8, -20, 0, 140, 0, 12, 0, -70, 8, 0, -52, 72, 0, -216, 0, -164, -24, 24, -84, 0, -96, -96, 52, -20, 0, 0, 24, -120, 72, 0, -56, -112, -44, 12, 0, 48, 76, -84, 0, 0, -88, 64, 0, 24, 0, -12, 24, 24, 80, 0, -16, 0, -16, -48, 0, -48, -8, -88, 68, 0, 64, 84, -44, 52, 0, 48, 8, 104, 0, 0, -92, -52, 36, -12, 0, -32, 40, 0, 110, 0, 48, 72, 64, 32, 0, 100, -4, -52, 36, 0, 0, -24, -104, -80, 0, -36, 104, -56, -24, 0, -8, 36, 60, 0, 0, -204, 92, 128, -40, 0, 88, 208, -48, 48, 0, -100, 0, -36, 144, 0, -32, 36, -24, -76, 0, 16, -76, 112, -128, 0, -84, 0, -24, 0, 0, 60, 32, 20, 68, 0, -16, -80, 0, -108, 0, 120, -112, 0, 36, 0, -16, -144, -144, -296, 0, 0, -168, 94, -16, 0, 36, 72, -44, 28, 0, 0, -72, -16, 0, 0, 96, -136, -96, -28, 0, -180, 16, 232, -48, 0, 32, 0, 80, -24, 0, 58, -12, -24, 16, 0, 4, 24, 144, -8, 0, -24, 12, 0, 64, 0, 24, 84, 48, 52, 0, 164, 24, 0, 32, 0, -40, -16, 0, -44, 0, -24, 168, 24, 48, 0, 0, 28, 108, -32, 0, 36, 72, -32, 88, 0, 24, 116, 24, 0, 0, 12, -16, 72, 12, 0, -60, -12, 48, -12, 0, 60, 0, -36, -4, 0, 92, 200, 72, -52, 0, -144, -16, -4, -80, 0, -8, 0, -48, 148, 0, 184, 0, -16, 32, 0]