# Trace form for 9522.2.a.ce, downloaded from the LMFDB on 14 January 2026.
[0, 8, -8, 0, 8, 0, 0, 0, -8, 0, 0, 0, 0, 12, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 32, -12, 0, 0, 0, 0, 0, -8, 0, 0, 12, 0, 0, 0, 0, 0, -12, 0, 0, 0, 0, 0, 12, 0, 32, -32, 0, 12, 0, 0, 12, 0, 0, 0, -24, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, -12, 12, 0, 12, 0, 0, 0, 0, 0, 0, 0, 0, 12, 0, 0, -36, 0, 0, 0, 0, 0, 0, 0, 0, -12, 84, 0, 0, -32, 0, 32, -60, 0, 0, -12, 0, 0, 0, 0, 0, -12, 0, 0, 0, 0, 0, 0, 0, 24, 72, 0, -40, 0, 0, 0, 0, 0, 0, -8, 0, 0, 48, 0, 8, 0, 0, 0, 0, 0, 20, 12, 0, -12, 0, 0, 0, -12, 0, 0, 0, 0, 20, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, -12, 0, 0, -24, 0, -20, 36, 0, 0, -48, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -12, 0, 60, 12, 0, -84, 0, 0, 8, 0, 0, 32, 48, 0, 0, -32, 0, 60, 0, 0, 0, 0, 0, 12, 36, 0, 24, 0, 0, 0, 96, 0, 0, 0, 0, 12, 0, 0, 68, 0, 0, 0, 0, 0, 0, 0, 0, 0, 72, 0, 0, -24, 0, -72, 96, 0, 0, 40, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 12, 0, -88, 0, 0, -48, 0, 0, 108, -8, 0, 0, -72, 0, -60, 0, 0, 0, 0, 0, 24, -20, 0, -12, 0, 0, 0, 12, 0, 0, 0, 0, 56, 0, 0, 12, 0, 0, 0, 0, 0, 0, 0, 0, 104, -20, 0, 0, -36, 0, 132, 0, 0, 0, 108, 0, 0, 0, 0, 0, -72, 0, 0, 0, 0, 0, -12, 0, 132, -12, 0, 12, 0, 0, -60, 0, 0, 24, 96, 0, 0, 20, 0, -36, 0, 0, 0, 0, 0, 48, -60, 0, 80, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -40, 0, 0, 0, 0, 0, 0, 0, 0, 12, 84, 0, 0, -60, 0, -12, -96, 0, 0, 84, 0, 0, 0, 0, 0, -8, 0, 0, 0, 0, 0, -32, 0, -48, -24, 0, 52, 0, 0, 32, 0, 0, 48, -60, 0, 0, 0, 0, 160, 0, 0, 0, 0, 0, -96, -12, 0, -36, 0, 0, 0, -24, 0, 0, 0, 0, 268, 0, 0, -96, 0, 0, 0, 0, 0, 0, 0, 0, -56, -12, 0, 0, 72, 0, 132, -68, 0, 0, -108, 0, 0, 0, 0, 0, 60, 0, 0, 0, 0, 0, 0, 0, 8, 0, 0, -72, 0, 0, -8, 0, 0, 24, 84, 0, 0, 72, 0, -96, 0, 0, 0, 0, 0, -40, -12, 0, 148, 0, 0, 0, 24, 0, 0, 0, 0, 0, 0, 0, -96, 0, 0, 0, 0, 0, 0, 0, 0, 0, -24, 0, 0, -8, 0, -12, 24, 0, 0, 88, 0, 0, 0, 0, 0, 48, 0, 0, 0, 0, 0, -108, 0, 8, 12, 0, 60, 0, 0, 72, 0, 0, -88, 60, 0, 0, -48, 0, 72, 0, 0, 0, 0, 0, 88, -24, 0, 20, 0, 0, 0, 12, 0, 0, 0, 0, 96, 0, 0, -12, 0, 0, 0, 0, 0, 0, 0, 0, 68, -56, 0, 0, 0, 0, 12, -12, 0, 0, -84, 0, 0, 0, 0, 0, -24, 0, 0, 0, 0, 0, 180, 0, 128, -104, 0, 20, 0, 0, 76, 0, 0, 36, -60, 0, 0, -132, 0, 0, 0, 0, 0, 0, 0, -108, 156, 0, 44, 0, 0, 0, -72, 0, 0, 0, 0, 72, 0, 0, 84, 0, 0, 0, 0, 0, 0, 0, 0, 12, 36, 0, 0, -132, 0, 12, -12, 0, 0, -12, 0, 0, 0, 0, 0, 60, 0, 0, 0, 0, 0, -24, 0, -96, 84, 0, -72, 0, 0, -20, 0, 0, -28, 36, 0, 0, 36, 0, 12, 0, 0, 0, 0, 0, 240, -48, 0, 60, 0, 0, 0, -80, 0, 0, 0, 0, -8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 84, 0, 0, 0, 24, 0, -184, 40, 0, 0, -12, 0, 0, 0, 0, 0, 132, 0, 0, 0, 0, 0, -12, 0, 76, -12, 0, -84, 0, 0, -84, 0, 0, 60, 72, 0, 0, 12, 0, 96, 0, 0, 0, 0, 0, -84, 72, 0, -100, 0, 0, 0, -36, 0, 0, 0, 0, 8, 0, 0, 120, 0, 0, 0, 0, 0, 0, 0, 0, 32, 120, 0, 0, 48, 0, 24, -60, 0, 0, -52, 0, 0, 0, 0, 0, -32, 0, 0, 0, 0, 0, -48, 0, 60, 0, 0, -48, 0, 0, 0, 0, 0, 136, -160, 0, 0, 156, 0, 84, 0, 0, 0, 0, 0, -64, 96, 0, 12, 0, 0, 0, 36, 0, 0, 0, 0, 20, 0, 0, 24, 0, 0, 0, 0, 0, 0, 0, 0, 80, -268, 0, 0, -48, 0, 28, 96, 0, 0, 156, 0, 0, 0, 0, 0, -24, 0, 0, 0, 0, 0, 108, 0, 72, 56, 0, 12, 0, 0, -48, 0, 0, -72, 216, 0, 0, -132, 0, 68, 0, 0, 0, 0, 0, 108, -72, 0, 12, 0, 0, 0, 156, 0, 0, 0, 0, -60, 0, 0, -36, 0, 0, 0, 0, 0, 0, 0, 0, 0, 60, 0, 0, -8, 0, 0, 48, 0, 0, 72, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, -24, 0, -84, 144, 0, -24, 0, 0, -72, 0, 0, 96, 96, 0, 0, 84, 0, -152, 0, 0, 0, 0, 0, 228, 40, 0, 12, 0, 0, 0, -148, 0, 0, 0, 0, -36, 0, 0, -24, 0, 0, 0, 0, 0, 0, 0, 0, -120, 0, 0, 0, 228, 0, 40, 96, 0, 0, -24, 0, 0, 0, 0, 0, 132, 0, 0, 0, 0, 0, 144, 0, -180, 0, 0, 24, 0, 0, 144, 0, 0, 8, 108, 0, 0, 12, 0, -24, 0, 0, 0, 0, 0, -88, 396, 0, -108, 0, 0, 0, 180, 0, 0, 0, 0, -48, 0, 0, -64, 0, 0, 0, 0, 0, 0, 0, 0, 108, 180, 0, 0, -8, 0, -12, 132, 0, 0, -60, 0, 0, 0, 0, 0, -72, 0, 0, 0, 0, 0, 88, 0, -60, 216, 0, 156, 0, 0, 48, 0, 0, -96, -72, 0, 0, -192, 0, 76, 0, 0, 0, 0, 0, -12, -88, 0, 24, 0, 0, 0, -20, 0, 0, 0, 0, 44, 0, 0, -12, 0, 0, 0, 0, 0, 0, 0, 0, 12, -96, 0, 0, 144, 0, -192, 12, 0, 0, -96, 0, 0, 0, 0, 0, 324, 0, 0, 0, 0, 0, 132, 0, -68, -68, 0, 56, 0, 0, -28, 0, 0, 0, 108, 0, 0, -12, 0, 12, 0, 0, 0, 0, 0, 84, 0, 0, -24, 0, 0, 0, -12, 0, 0, 0, 0, 24, 0, 0, -48, 0, 0, 0, 0, 0, 0, 0, 0, -180, 12, 0, 0, -128, 0, 104, -120, 0, 0, -20, 0, 0, 0, 0, 0, -76, 0, 0, 0, 0, 0, -36, 0, 60, -24, 0, 56, 0, 0, 132, 0, 0, 12, 0, 0, 0, 228, 0, 96, 0, 0, 0, 0, 0, -96, 108, 0, -156, 0, 0, 0, -44, 0, 0, 0, 0, -132, 0, 0, 72, 0, 0, 0, 0, 0, 0, 0, 0, 40, -72, 0, 0, 144, 0, 116, -84, 0, 0, -48, 0, 0, 0, 0, 0, -120, 0, 0, 0, 0, 0, -60, 0, 48, -12, 0, -36, 0, 0, -124, 0, 0, 132, -132, 0, 0, -12, 0, 12, 0, 0, 0, 0, 0, 12, -228, 0, 84, 0, 0, 0, 72, 0, 0, 0, 0, -60, 0, 0, 220, 0, 0, 0, 0, 0, 0, 0, 0, 24, -48, 0, 0, 96, 0, -84, 120, 0, 0, 72, 0, 0, 0, 0, 0, 20, 0, 0, 0, 0, 0, 28, 0, -36, 24, 0, 228, 0, 0, -36, 0, 0, -208, -12, 0, 0, -36, 0, -156, 0, 0, 0, 0, 0, -60, -240, 0, 48, 0, 0, 0, -60, 0, 0, 0, 0, -40, 0, 0, 80, 0, 0, 0, 0, 0, 0, 0, 0, -324, 8, 0, 0, 240, 0, 24, 0, 0, 0, 24, 0, 0, 0, 0, 0, -48, 0, 0, 0, 0, 0, 168, 0, -144, -84, 0, 0, 0, 0, 372, 0, 0, -24, -60, 0, 0, 184, 0, -40, 0, 0, 0, 0, 0, 12, -36, 0, 88, 0, 0, 0, -120, 0, 0, 0, 0, -132, 0, 0, -12, 0, 0, 0, 0, 0, 0, 0, 0, 12, -324, 0, 0, -76, 0, 12, -84, 0, 0, 84, 0, 0, 0, 0, 0, 84, 0, 0, 0, 0, 0, -60, 0, -72, -228, 0, 8, 0, 0, -12, 0, 0, -24, -96, 0, 0, -72, 0, 0, 0, 0, 0, 0, 0, -96, 84, 0, -72, 0, 0, 0, 100, 0, 0, 0, 0, -156, 0, 0, 36, 0, 0, 0, 0, 0, 0, 0, 0, 156, -8, 0, 0, 24, 0, -180, -120, 0, 0, -108, 0, 0, 0, 0, 0, -12, 0, 0, 0, 0, 0, -300, 0, 96, -32, 0, -120, 0, 0, -60, 0, 0, -48, -132, 0, 0, -24, 0, 60, 0, 0, 0, 0, 0, 52, -312, 0, -104, 0, 0, 0, -204, 0, 0, 0, 0, 32, 0, 0, -152, 0, 0, 0, 0, 0, 0, 0, 0, 48, 84, 0, 0, -60, 0, 0, -12, 0, 0, 48, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -136, 0, 160, -456, 0, 60, 0, 0, -156, 0, 0, -336, -84, 0, 0, 192, 0, 72, 0, 0, 0, 0, 0, -56, 64, 0, -96, 0, 0, 0, -12, 0, 0, 0, 0, -120, 0, 0, -36, 0, 0, 0, 0, 0, 0, 0, 0, -52, -20, 0, 0, -336, 0, 268, -24, 0, 0, 144, 0, 0, 0, 0, 0, -96, 0, 0, 0, 0, 0, 132, 0, -72, -80, 0, 268, 0, 0, -108, 0, 0, 48, -384, 0, 0, -28, 0, -96, 0, 0, 0, 0, 0, -156, -108, 0, 0, 0, 0, 0, -144, 0, 0, 0, 0, 24, 0, 0, -120, 0, 0, 0, 0, 0, 0, 0, 0, -108, 24, 0, 0, -72, 0, -56, 192, 0, 0, -12, 0, 0, 0, 0, 0, 48, 0, 0, 0, 0, 0, 72, 0, -216, 432, 0, 144, 0, 0, 132, 0, 0, -20, -68, 0, 0, -168, 0, -100, 0, 0, 0, 0, 0, -84, -108, 0, 72, 0, 0, 0, -12, 0, 0, 0, 0, -216, 0, 0, -156, 0, 0, 0, 0, 0, 0, 0, 0, -60, 60, 0, 0, -72, 0, -72, 36, 0, 0, -120, 0, 0, 0, 0, 0, -396, 0, 0, 0, 0, 0, -168, 0, 64, 0, 0, -60, 0, 0, -16, 0, 0, 8, -84, 0, 0, 0, 0, -48, 0, 0, 0, 0, 0, -72, 276, 0, 168, 0, 0, 0, 312, 0, 0, 0, 0, -8, 0, 0, 184, 0, 0, 0, 0, 0, 0, 0, 0, 24, -108, 0, 0, 84, 0, -144, -36, 0, 0, 24, 0, 0, 0, 0, 0, 72, 0, 0, 0, 0, 0, -96, 0, -96, -132, 0, -96, 0, 0, -84, 0, 0, -288, 152, 0, 0, -192, 0, -180, 0, 0, 0, 0, 0, -160, -228, 0, -40, 0, 0, 0, -12, 0, 0, 0, 0, -84, 0, 0, 148, 0, 0, 0, 0, 0, 0, 0, 0, 112, 36, 0, 0, -84, 0, 36, 24, 0, 0, 96, 0, 0, 0, 0, 0, 96, 0, 0, 0, 0, 0, -324, 0, -184, 120, 0, 0, 0, 0, 136, 0, 0, -228, 288, 0, 0, -40, 0, -96, 0, 0, 0, 0, 0, 24, -156, 0, -276, 0, 0, 0, -276, 0, 0, 0, 0, -132, 0, 0, -48, 0, 0, 0, 0, 0, 0, 0, 0, -144, -96, 0, 0, 180, 0, 0, 12, 0, 0, -24, 0, 0, 0, 0, 0, -144, 0, 0, 0, 0, 0, -8, 0, -108, 84, 0, 36, 0, 0, -12, 0, 0, 276, 24, 0, 0, 84, 0, -288, 0, 0, 0, 0, 0, -92, 88, 0, -396, 0, 0, 0, 108, 0, 0, 0, 0, 56, 0, 0, -180, 0, 0, 0, 0, 0, 0, 0, 0, -144, 48, 0, 0, -120, 0, 96, 64, 0, 0, -300, 0, 0, 0, 0, 0, 96, 0, 0, 0, 0, 0, 180, 0, -276, -108, 0, -180, 0, 0, -300, 0, 0, 8, -144, 0, 0, 12, 0, -132, 0, 0, 0, 0, 0, 60, -72, 0, -100, 0, 0, 0, 60, 0, 0, 0, 0, 72, 0, 0, 12, 0, 0, 0, 0, 0, 0, 0, 0, -88, -48, 0, 0, 60, 0, -216, 72, 0, 0, -156, 0, 0, 0, 0, 0, -48, 0, 0, 0, 0, 0, 96, 0, 72, -144, 0, -52, 0, 0, 192, 0, 0, -60, -76, 0, 0, 24, 0, 88, 0, 0, 0, 0, 0, -88, 12, 0, 88, 0, 0, 0, -24, 0, 0, 0, 0, -288, 0, 0, 20, 0, 0, 0, 0, 0, 0, 0, 0, -192, -44, 0, 0, 24, 0, -232, 12, 0, 0, 0, 0, 0, 0, 0, 0, -168, 0, 0, 0, 0, 0, -228, 0, -268, -12, 0, 96, 0, 0, -216, 0, 0, -144, -72, 0, 0, 192, 0, -12, 0, 0, 0, 0, 0, 96, 192, 0, -240, 0, 0, 0, 360, 0, 0, 0, 0, -324, 0, 0, 48, 0, 0, 0, 0, 0, 0, 0, 0, -132, 132, 0, 0, 68, 0, 68, -60, 0, 0, -56, 0, 0, 0, 0, 0, 28, 0, 0, 0, 0, 0, 0, 0, -108, 264, 0, 36, 0, 0, 12, 0, 0, 96, -12, 0, 0, -240, 0, -456, 0, 0, 0, 0, 0, -72, -84, 0, 0, 0, 0, 0, 24, 0, 0, 0, 0, -484, 0, 0, 12, 0, 0, 0, 0, 0, 0, 0, 0, -164, -24, 0, 0, 156, 0, -116, 48, 0, 0, -216, 0, 0, 0, 0, 0, 48, 0, 0, 0, 0, 0, -144, 0, -216, 180, 0, -12, 0, 0, -224, 0, 0, 128, -60, 0, 0, -104, 0, 120, 0, 0, 0, 0, 0, 20, 288, 0, -204, 0, 0, 0, -228, 0, 0, 0, 0, 76, 0, 0, -24, 0, 0, 0, 0, 0, 0, 0, 0, 36, -84, 0, 0, -60, 0, 24, -324, 0, 0, -56, 0, 0, 0, 0, 0, -132, 0, 0, 0, 0, 0, -12, 0, 0, -396, 0, -56, 0, 0, -228, 0, 0, -84, -96, 0, 0, -72, 0, 8, 0, 0, 0, 0, 0, -312, 96, 0, -108, 0, 0, 0, 156, 0, 0, 0, 0, 132, 0, 0, 44, 0, 0, 0, 0, 0, 0, 0, 0, -240, 132, 0, 0, 192, 0, 84, -72, 0, 0, 24, 0, 0, 0, 0, 0, -636, 0, 0, 0, 0, 0, 276, 0, 372, -40, 0, 72, 0, 0, -72, 0, 0, -144, -312, 0, 0, -116, 0, 84, 0, 0, 0, 0, 0, 48, -684, 0, -184, 0, 0, 0, 24, 0, 0, 0, 0, 120, 0, 0, -40, 0, 0, 0, 0, 0, 0, 0, 0, 60, -144, 0, 0, -48, 0, 12, -48, 0, 0, 36, 0, 0, 0, 0, 0, 124, 0, 0, 0, 0, 0, -132, 0, 132, 0, 0, -156, 0, 0, 12, 0, 0, -200, -12, 0, 0, 312, 0, 96, 0, 0, 0, 0, 0, 392, -12, 0, 228, 0, 0, 0, -84, 0, 0, 0, 0, -24, 0, 0, -72, 0, 0, 0, 0, 0, 0, 0, 0, -36, 60, 0, 0, 96, 0, -32, -220, 0, 0, 60, 0, 0, 0, 0, 0, -264, 0, 0, 0, 0, 0, -228, 0, 0, -24, 0, 48, 0, 0, 336, 0, 0, -96, -120, 0, 0, 84, 0, -120, 0, 0, 0, 0, 0, -72, 24, 0, 324, 0, 0, 0, 96, 0, 0, 0, 0, -20, 0, 0, 348, 0, 0, 0, 0, 0, 0, 0, 0, -28, 96, 0, 0, 36, 0, -24, -264, 0, 0, -228, 0, 0, 0, 0, 0, 36, 0, 0, 0, 0, 0, 208, 0, 12, -216, 0, 108, 0, 0, 36, 0, 0, 172, 156, 0, 0, 132, 0, -36, 0, 0, 0, 0, 0, -180, 60, 0, 240, 0, 0, 0, -48, 0, 0, 0, 0, -24, 0, 0, 60, 0, 0, 0, 0, 0, 0, 0, 0, 156, 40, 0, 0, -156, 0, -280, -80, 0, 0, 384, 0, 0, 0, 0, 0, -252, 0, 0, 0, 0, 0, 12, 0, -160, 324, 0, -8, 0, 0, 144, 0, 0, -240, -36, 0, 0, -24, 0, 0, 0, 0, 0, 0, 0, -24, -36, 0, 24, 0, 0, 0, -132, 0, 0, 0, 0, 48, 0, 0, 24, 0, 0, 0, 0, 0, 0, 0, 0, -168, 276, 0, 0, 144, 0, 84, -72, 0, 0, 0, 0, 0, 0, 0, 0, -372, 0, 0, 0, 0, 0, 24, 0, 60, -132, 0, 44, 0, 0, -184, 0, 0, -24, 40, 0, 0, 144, 0, -96, 0, 0, 0, 0, 0, -156, -12, 0, 36, 0, 0, 0, -88, 0, 0, 0, 0, -12, 0, 0, 120, 0, 0, 0, 0, 0, 0, 0, 0, -88, 132, 0, 0, -180, 0, -24, 12, 0, 0, -504, 0, 0, 0, 0, 0, 108, 0, 0, 0, 0, 0, 72, 0, 16, -12, 0, 324, 0, 0, 96, 0, 0, 76, 144, 0, 0, -12, 0, 84, 0, 0, 0, 0, 0, -84, -288, 0, 120, 0, 0, 0, -216, 0, 0, 0, 0, -84, 0, 0, 44, 0, 0, 0, 0, 0, 0, 0, 0, 60, -408, 0, 0, 72, 0, 228, 120, 0, 0, -8, 0, 0, 0, 0, 0, 12, 0, 0, 0, 0, 0, 24, 0, 96, 144, 0, 192, 0, 0, 72, 0, 0, -160, 0, 0, 0, -84, 0, -140, 0, 0, 0, 0, 0, 348, 96, 0, -84, 0, 0, 0, 72, 0, 0, 0, 0, -284, 0, 0, -100, 0, 0, 0, 0, 0, 0, 0, 0, 60, 156, 0, 0, -612, 0, 48, -36, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, 0, 0, 0, 36, 0, -180, -156, 0, 8, 0, 0, -132, 0, 0, -24, -576, 0, 0, 180, 0, 120, 0, 0, 0, 0, 0, 108, 144, 0, -124, 0, 0, 0, -204, 0, 0, 0, 0, 12, 0, 0, -312, 0, 0, 0, 0, 0, 0, 0, 0, 300, -96, 0, 0, -96, 0, 32, -48, 0, 0, 120, 0, 0, 0, 0, 0, 60, 0, 0, 0, 0, 0, 48, 0, 132, -216, 0, 120, 0, 0, 24, 0, 0, -228, -60, 0, 0, 276, 0, -168, 0, 0, 0, 0, 0, 312, -52, 0, 312, 0, 0, 0, 104, 0, 0, 0, 0, -32, 0, 0, 204, 0, 0, 0, 0, 0, 0, 0, 0, -4, -32, 0, 0, 48, 0, 288, 152, 0, 0, 72, 0, 0, 0, 0, 0, 372, 0, 0, 0, 0, 0, -432, 0, 228, -48, 0, -84, 0, 0, 8, 0, 0, 60, 96, 0, 0, 0, 0, 12, 0, 0, 0, 0, 0, -48, 312, 0, 48, 0, 0, 0, -12, 0, 0, 0, 0, 0, 0, 0, -284, 0, 0, 0, 0, 0, 0, 0, 0, 136, -384, 0, 0, -160, 0, 456, 276, 0, 0, -60, 0, 0, 0, 0, 0, 156, 0, 0, 0, 0, 0, 336, 0, 84, -156, 0, -264, 0, 0, -192, 0, 0, -52, -72, 0, 0, -372, 0, 32, 0, 0, 0, 0, 0, -124]