# Trace form for 2535.2.a.bj, downloaded from the LMFDB on 09 November 2025.
[0, 4, 0, -4, 4, -4, 0, 0, 0, 4, 0, 0, -4, 0, -12, 4, -8, 0, 0, 12, -4, 0, 0, 0, 0, 4, 0, -4, 12, -12, 0, 12, 0, 0, 12, 0, 4, 24, 0, 0, 0, 12, 12, 16, 0, -4, -24, 24, 8, -4, 0, 0, 0, 0, 0, 0, 0, -12, 12, -12, 4, -32, 0, 0, -8, 0, 0, -12, 0, 0, 12, -12, 0, 24, 24, -4, 24, 0, 0, -8, 8, 4, -12, 0, -12, 0, 12, 12, 24, 12, 0, 0, 24, -12, -12, -12, 0, 36, -24, 0, 4, -24, -12, 40, 0, 0, 48, 24, -4, 24, 0, -24, 0, 0, 0, 0, 0, 0, 36, -12, 0, -20, 0, -12, 12, -4, -12, 20, 0, -16, 0, -12, 0, 12, -12, 4, 24, 0, 24, -4, -12, -24, -12, 0, -8, 12, 36, 4, 24, 24, 0, 12, -48, 0, 24, -12, 0, 8, 24, 0, 0, 48, 0, 24, 48, 0, -24, -24, 0, 0, -12, 12, 28, 24, -12, 0, 0, 12, 12, -12, -4, 4, 0, 32, 24, -24, 0, 24, 24, 0, 0, 12, 8, 48, -12, 0, 8, -24, 0, -28, 0, 12, 24, 0, 0, -12, -36, 0, 0, -48, -12, -20, 0, 12, 12, -16, 0, 0, 72, -24, 0, 0, -24, -24, 24, 4, 0, 0, -24, -36, 24, 0, 24, 24, 0, -24, 24, 8, 36, -24, -8, 36, 0, -4, -44, 4, 12, 0, 48, 0, 0, 0, 12, 24, -12, 0, -32, 0, -12, -24, 0, -12, 36, -24, -24, 0, -96, -12, -60, 12, 0, 24, 0, 0, -60, 0, -24, 40, -48, 12, 0, 60, 12, 20, -48, 12, 0, 48, 0, -32, -12, -36, 12, 24, 24, 12, 0, 0, -24, 0, -4, 0, -120, 24, -24, 32, 12, 12, -24, -40, 0, -12, 0, 40, -12, 0, 28, 0, -48, 24, 8, -24, -24, -48, 4, 0, 12, -24, 0, 12, 0, 24, 0, 24, 72, 12, 0, -16, 0, 0, 0, 48, 0, 36, -48, 0, -84, 24, 0, 84, -12, 0, -48, 0, -36, 12, -24, 12, -12, -12, 0, 68, 48, 20, 0, -24, 0, 8, 0, 12, -24, -48, -12, 4, 0, 4, 24, 0, 12, 12, -24, -20, -60, 48, 0, 0, -12, 16, 36, 0, 0, 0, -48, 12, -72, 8, 0, 12, -48, -12, -8, 24, 12, 0, -48, -4, 60, 0, -24, 12, 12, 0, 28, 0, -24, 0, 0, 4, 24, 12, 12, 12, -72, 24, -48, 0, 12, -12, 72, 0, -12, -120, 8, -28, 12, -12, -12, -24, -36, -32, -24, -4, 0, 24, -24, -12, 96, -24, -72, 24, 0, 0, -24, -12, -84, 0, 48, 36, 120, 0, -24, 36, -24, 36, 24, 12, -24, -24, 0, -36, 12, -8, 0, -48, -24, 12, -48, 0, -24, 12, 0, 0, -24, -48, -44, -36, 0, -12, 0, -24, 24, 60, -48, 36, 0, 0, -24, -24, 24, 36, -4, 24, -120, -48, 0, 24, 48, 0, 44, 0, 12, -48, 0, -12, -12, -40, -28, 24, -48, -24, 0, 84, 12, 32, 0, 0, 36, 48, 0, 28, -48, -12, 96, 0, -12, -24, -24, 12, -12, -48, 4, -48, -72, -4, -72, -24, 0, -16, 0, -32, 0, -72, -24, 12, -96, 24, -4, -48, 0, 0, 0, -24, 36, 0, -24, 0, 36, 0, -72, -60, 0, -52, 0, -12, -84, 0, -8, 72, 0, -48, 0, 24, 12, -48, 0, 0, 84, 24, -8, -60, -36, 24, -48, 0, 0, 12, 24, 28, 0, -60, 0, 28, -96, -12, 0, 20, -24, 44, 96, 0, 0, 0, 0, -12, 36, 12, -24, -24, 36, 24, -12, 0, -60, -48, 0, 4, -84, 48, 44, 24, 12, 84, 48, 20, -72, -20, 0, 0, 24, -12, 0, 0, -12, -72, 48, 16, 72, -72, 0, 0, 0, 0, -12, 24, -72, 12, -24, 24, -60, 24, 0, 48, -48, 0, -72, -12, 24, 24, 48, 24, 12, 0, -24, 28, -60, -4, 0, 72, 0, 12, -24, 0, 0, -48, 24, 0, 12, 36, -32, 0, -24, 12, -72, 0, -48, 4, -24, -12, -24, -24, 12, -24, 0, 72, 0, 24, 96, -48, -24, -24, 12, -8, 72, 48, -36, 0, 48, 24, -12, 12, 8, 24, -96, -36, -56, -12, 0, -16, 0, 4, -36, -36, 44, 12, -36, -4, 0, -24, -12, -24, -24, 0, 0, -24, -48, -24, 60, 0, 24, 36, 0, 52, -48, 0, 0, -12, -12, 52, 0, -24, 48, 120, 12, -108, -24, 0, 60, 0, 32, 132, -24, 0, 36, 96, 12, 12, 24, 24, 24, 72, 0, -72, 72, 12, 8, -8, -36, 48, -96, 24, -24, -24, 24, 0, -156, 0, -28, 24, 96, 12, 0, 12, -48, 0, 60, -48, 0, -12, -24, 48, 0, -24, -72, -24, 0, -24, 0, 156, 48, 0, -48, 0, 60, 40, 0, 0, 36, -24, 24, -64, 24, -40, 0, -72, 48, 24, 0, -12, 36, -24, 0, -32, -72, -60, -44, 0, -12, -24, 0, -20, 12, -48, 48, 48, 108, -12, -48, 72, 0, -8, -28, -48, -24, -48, 0, -24, 108, 32, -12, 48, 12, 0, 48, 36, -168, 0, -12, 0, 0, -24, 0, 48, -24, 32, 0, -12, -108, -24, 0, 36, -12, 0, 0, 24, 24, 12, 48, 0, 96, 12, 4, 0, 72, 0, 0, -4, 120, -4, 0, -24, 0, -48, 24, -72, 84, -32, 24, -24, -12, 28, -24, -12, 36, 0, 24, 24, 36, 40, -72, 48, 0, 96, 24, 12, -12, -24, 0, 64, 48, -40, -24, -12, 12, 96, 24, 0, 24, -48, -28, 0, 0, 0, 0, 24, 48, -12, -24, -24, -12, 60, -8, 8, 0, 24, 24, -48, 24, 0, 0, 48, 12, -24, -4, 48, -48, 0, 64, 24, -12, 72, -8, 24, -12, 96, 0, 24, 0, -12, 0, -48, 0, -76, -96, -24, -12, 28, 0, -28, 48, -24, 0, 0, -72, 36, 24, -12, -96, 96, 0, -12, -24, 16, -48, -48, 0, 0, 120, 0, -48, -12, 0, -60, -24, -48, 112, 12, 0, 0, 0, -36, 36, -48, 48, 72, 0, 0, 24, 0, 84, 100, 0, -24, 60, 24, 0, 48, 72, -84, 72, 60, 12, -72, -144, 0, 36, 20, 48, 108, 0, 0, 0, -24, 36, -32, 24, -12, 0, 24, 24, -68, -12, -12, 24, -48, 12, 16, -48, 12, 24, 0, 0, 48, -72, -68, 36, 0, -48, 96, 0, -20, -72, 84, 0, -56, 36, 24, 24, 96, 0, 48, 0, -8, 24, 24, 0, 0, 60, -12, 112, -24, 24, -24, 48, 48, -48, 24, 12, 52, 0, -4, -24, 0, 0, 48, 24, -4, 48, 24, -24, 12, 0, 0, -52, 0, -12, 0, 24, -12, -132, -36, 24, -48, 120, 20, 0, 36, 60, 72, 96, -48, -24, -36, 0, -4, 0, 0, 4, 0, 12, -108, -24, -16, -96, -96, -36, -24, 0, 0, -48, 0, 0, 32, 24, 0, -156, 24, 48, -48, 48, -12, -24, 36, 72, 0, -48, -8, 24, -48, 0, -12, -36, -12, -24, -48, 48, 24, 0, 12, -60, 48, 8, 84, 96, -24, 84, -36, -12, -84, 48, 0, 0, -12, 48, -40, 0, 4, -96, 24, -60, -144, 44, 0, 0, 0, 24, -4, 132, -12, 12, -84, -12, -16, 0, 0, -24, 0, -28, -36, 48, 0, -48, 36, 24, 0, 144, 0, 84, -72, 0, 80, 0, -4, 4, 72, -24, 0, -96, -12, 72, 24, -12, 0, 48, -12, 16, -24, 72, -108, 0, -24, 12, 36, 48, -36, 0, 0, 24, 0, -12, -24, 32, 12, 120, -24, -72, 0, 12, 0, -120, 72, 12, -64, -48, 120, -72, 24, -8, -28, 72, 28, 0, 0, -12, 16, 0, 12, -108, 0, 12, 0, -36, 24, 24, 0, 36, 24, 72, 32, -24, -24, 24, 36, -72, 4, 84, 0, 0, -44, 0, -24, 96, 0, 24, -48, 144, 12, 96, 24, -96, 0, 60, 24, -24, 72, 72, -12, -12, -24, -52, 72, 0, 0, 0, 0, -24, -24, 24, 0, -96, 12, 0, -96, 84, -60, 0, 0, 36, -96, -48, 44, 60, -36, 12, -72, -120, 0, 72, 0, 0, 0, 24, -16, -216, -36, -24, -40, 24, 60, -48, -36, 48, 0, -24, 48, 144, -12, 36, 120, 24, 60, 0, 24, -144, -24, 0, -60, 96, 36, -48, -24, -12, -96, 72, 8, 96, -20, 0, 0, -24, 48, 48, -48, 24, -84, -24, -12, 24, -48, 48, -116, 0, 0, -96, 120, 24, -48, 96, -12, 60, -48, 0, 72, -144, 0, 44, 32, 24, 44, 96, 48, 12, -60, 44, 4, 36, 36, 0, 120, 0, -16, -12, 12, 84, 24, 0, -24, 12, 24, -52, 0, -24, 24, -144, -60, -96, -12, 48, 48, 48, -36, 0, 60, 0, 92, -48, 0, -36, -48, 24, -60, 24, 24, 4, 24, -24, 0, 0, -36, -156, 60, 4, -84, 0, -24, -24, 0, 120, 24, 0, 48, 120, -72, 0, 84, 216, -24, -12, 48, -48, -108, 24, 0, 0, 0, -44, -32, 84, 0, -48, 48, -12, -148, 192, 48, 0, -12, 0, 0, -72, 12, 24, -96, 12, 88, 48, 40, -72, 0, 28, -84, 0, -24, -72, -120, 48, 12, -24, 24, -192, 96, 0, -72, -72, -84, -72, -40, -12, -84, 144, -32, 12, -96, 0, 0, -36, 0, 72, 144, -36, -60, -28, -48, 24, -24, 0, 0, 0, -28, 36, 84, 48, 120, -96, 12, 84, -24, -96, 24, 72, 0, -8, 156, 12, -60, 96, 24, -24, -96, 24, -40, 24, -12, 0, 0, 12, 48, 48, 48, 192, -84, -4, -44, 48, 48, -24, 0, 72, 60, 48, 4, -12, 24, 72, -120, -48, 24, -132, 72, 0, -24, 0, 16, 0, -96, 0, -12, 96, 32, -80, 12, 0, 0, -72, 72, 60, -24, 24, -108, 192, -12, 0, 48, 96, -40, 0, -24, 24, -144, 4, 24, -72, 48, 48, 24, 0, -12, -144, 0, -72, -96, 0, -8, 0, 24, -12, 16, -36, 12, 0, 0, 0, -144, 24, 92, 84, 0, 0, 168, -36, -20, 0, 0, -96, 0, 72, -48, -60, 60, -108, 60, 0, 108, -48, 52, -108, -36, 0, 0, 24, 12, 48, 60, 84, -48, -120, 0, -168, -96, 8, 0, 84, -72, 116, 144, 0, -24, -48, 48, 72, 120, 0, -28, 0, -24, -48, -84, -12, -36, 192, 48, 12, -36, 0, 24, 48, 0, 4, 144, -84, 28, 48, -24, -48, 72, 8, 0, -36, 60, 0, 84, 36, -120, 0, -24, 36, -12, 48, 100, 24, 0, 24, 0, 0, 48, 96, -12, -24, -96, -24, -96, 12, -28, 48, 0, 0, 12, 24, 60, 84, 12, 0, -48, 0, -28, -24, -68, 96, 0, 0, 12, -48, -192, 0, -72, 288, -20, 72, 72, 24, -36, 0, -44, -144, -48, -96, 24, 0, 0, 84, -36, 0, -144, 0, 0, 132, -8, 0, 96, 72, 12, 0, -156, -36, 60, 72, -12, 0, 24, 24, 12, 24, 24, 12, 120, -36, 48, -48, -24, 96, 0, 12, -24, -192, 0, 24, -4, 60, 48, 120, 48, 0, 48, 0, -128, 96, -4, -36, -120, 84, 144, -24, -48, 156, -48, -44, 0, -96, -24, -72, 36, -12, -96, 24, -84, -132, -12, -48, 84, 0, -20, 24, -60, 72, -24, 24, 20, 48, 48, 0, -24, 60, 0, -120, -120, -24, -48, -168, 12, -36, -48, 0, 0, 0, 0, 0, 0, 12, 84, -144, 72, 12, -48, -48, 212, 96, -16, 40, 0, -72, 168, -36, 72, 96, -48, 0, 0, 12, 0, -72, 60, 0, -184, 0, 0, 96, 0, 12, 108, -72, -24, 48, 96, 72, 0, 48, -12, 0, -72, 24, -96, 72, -24, 72, -72, 60, -8, 0, -24, -168, 96, 0, -108, 216, -48, -24, -12, 48, 0, 24, 0, 48, 96, 72, 40, -36, 12, 96, -96, -24, 136, 8, -24, 0, 96, -48, -24, 72, -24, -24, 48, -12, 8, -168, 0, 144, 0, 24, 0, 24, -28, 48, 36, 60, 36, -48, 4, -108, -72, 0, 152, -60, -72, -40, 216, 0, 0, 0, -12, -60, 36, 24, 0, -24, 0, -12, -12, 0, -24, 0, 48, -12, -84, -24, -112, 0, 0, 48, 0, -12, -84, -28, -36, -96, 24, 32, 0, -36, 0, -24, -72, 24, -60, 48, -12, -132, 0, 72, -84, 168, 0, 0, -36, 48, -92, 144, -4, -120, -96, 24, 4, -24, 12, -64, 0, 24, -12, 24, 24, -132, -156, -12, -48, -192, 24, -72, -12, 0, 68, 48, -72, 72, -120, 0, -12, -96, -24, -44, -48, -96, 0, 48, 48, 0, 48, 24, 0, 108, 24, -24, 36, -12, -104, 0, 8, 0, 12, -72, -72, -168, -48, -72, 12, 36, -36, 72, 0, 24, -24, -48, -36, 12, -24, 48, -24, 12, 120, -48, -12, 0, 108, -8, 40, -120, -24, -156, 28, 96, 72, 0, 36, -12, 0, 56, -48, 96, 12, -96, 216, 0, 120, 12, 16, -60, 0, 0, 24, -108, -4, -148, -96, 36, 48, 0, 36, -36, 32, -44, 0, -168, -12, 24, -180, 36, -48, -72, 4, -60, -96, 0, -8, 0, 24, -84, -72, 12, -24, 96, 24, -72, 72, 24, 60, -48, 0, 8, 12, 0, 108, 96, 24, -96, 48, 48, -24, 36, 24, 0, 72, -60, 100, 72, 0, 0, -216, -24, -24, -144, -36, -48, 0, 0, -12, -24, -52, -120, 0, 48, -192, 168, 0, 24, -72, 0, 72, -72, 12, -24, -48, 12, 60, 84, -52, 168, 48, 0, 0, -120, 24, -180, 144, -48, -96, -24, -120, 56, -36, -12, -8, 0, 108, -120, 132, 24, -156, 72, 0, -96, -120, -60, -84, 24, 0, -180, -48, -32, -36, 228, -132, 192, -84, 24, 76, 0, 0, 0, -36, -36, 108, 48, -96, -24, 0, -12, -120, 120, -12, 84, 0, -24, -36, 24, -24, 96, -24, -24, 24, -72, -72, 168, 96, 0, 16, -48, 72, -24, 36, -72, 0, 24, -12, -12, -12, -8, 0, 96, 8, 72, -96, 36, 24, 0, -48, -36, 0, 96, 48, 0, -24, -48, 48, 24, 0, -216, 24, -108, -12, -24, 0, 168, 0, 48, -48, 156, -88, -48, 0, 96, -48, 28, -52, 24, -24, 0, -168, -96, -12, 24, -12, -72, -132, 0, -8, -120, -12, 64, 0, 48, -96, 48, 0, 24, -36, -60, -156, -144, 48, -24, -120, 0, 36, 44, 12, -84, -144, 24, 36, -228, -48, 8, -24, 0, 0, 96, 24, 12, 12, 72, -120, 0, 24, 0, 120, 0, -24, 0, 24, -228, 0, 0, 72, -24, -156, -36, 96, -48, -60, -72, 0, -60, -60, 48, 24, -48, 0, 0, -36, -60, -140, -168, -40, 0, -24, 0, 68, 36, 0, 156, -48, -36, -96, 24, 24, 36, 0, -24, 24, -48, 64, -48, -168, -24, -96, -96, 40, 12, -36, 0, 72, -144, 72, 4, -132, -48, 0, 48, -24, -132, -168, 0, 0, 120, 12, -16, 120, -36, 48, 96, 24, -72, 0, 0, -68, 0, 32, -36, -24, 72, 72, -144, 60, -48, 36, 44, -48, 192, 0, -120, 24, 12, 124, -44, 24, 108, -144, 0, 0, 120, 20, 0, 0, -12, -68, -96, 48, 180, 48, -48, -28, 48, -48, 0, 0, -108, 24, 0, 12, 48, -72, 48, -24, 12, -72, -132, -144, 0, 40, -96, 8, -120, -60, 28, 12, -48, 48, 72, -24, 24, 0, -72, 48, 48, -96, 0, 12, -36, 24, 72, 0, -108, -48, 0, -32, 96, -48, 12, -84, 36, -48, -48, -36, -12, -60, -96, 0, 156, -32, -48, -104, -72, -36, 0, -72, 168, -140, -240, 0, 0, -96, 12, -120, -36, 0, -48, 168, 0, -48, -48, 24, -216, 0, 0, -108, -144, -48, -36, -28, 24, 48, 144, -32, 48, -144, 0, -24, 180, 12, 192, 144, 108, -48, -96, 24, -48, 24, 0, 0, 84, -36, -120, -108, 12, -12, 48, 0, -108, 24, 0, 128, 0, -24, 24, 84, -24, 48, 0, -12, 84, -120, -48, 84, 12, 0, 28, 96, -96, 48, -192, -12, 24, 72, -4, 216, -96, 0, 0, 48, -72, 76, 144, 0, 72, 36, 0, 76, 144, 4, 108, 0, -120, -132, 72, 4, -144, -48, 0, 24, 120, 24, 72, 36, 0, 124, -120, 48, 36, 16, -24, -144, 288, 72, 0, -108, -84, 0, -24, 32, 156, -168, -24, -36, 0, 24, -104, -72, 12, 72, 0, -28, 144, 180, 24, -24, -24, 12, -36, -12, -36, 84, -48, 0, 96, 12, -24, -108, 192, -24, -96, -72, -36, 180, 4, -40, 0, -48, 72, 48, -60, -48, -48, 132, 0, -188, 0, -96, 48, 0, -24, 108, -48, -12, 0, -36, 12, -36, -96, 24, 192, 120, 0, 76, -36, -64, 48, -96, -48, 0, 0, 40, -192, -96, 24, 0, 0, 12, -72, 0, -12, 48, -120, -96, -36, 120, -24, 220, 0, 0, -12, -72, -24, 168, 72, 48, 24, 24, 28, 60, -132, 0, -168, 48, 0, -8, -24, 0, 72, 52, 0, 64, -168, -24, 0, -60, -48, -192, 24, 12, 72, -192, 24, -72, 84, 24, 0, 0, 12, 0, 0, -60, 216, -96, 8, -60, 24, -8, 180, -72, 0, -92, -192, -24, 0, -24, -24, -72, -180, 48, -8, 192, -24, 0, 0, 0, 60, -168, 0, -24, -108, -48, 140, -60, -12, -132, 0, 24, -36, 48, 4, -144, 240, -48, 0, 192, 48, 0, 0, 0, 168, 168, -64, 48, -84, -24, -36, -192, 12, -24, 144, -72, 0, 24, 8, -108, 48, -24, 48, 60, 12, 48, -24, -96, 36, 0, 0, 144, 12, -24, 48, -48, 0, 48, 48, 12, 156, 72, 0, 0, -204, 48, 144, 24, 0, 168, 120, 76, 96, -12, 96, 0, 0, 24, -24, 0, 12, 252, 120, -28, 36, -168, 0, 20, 0, 28, -48, 0, -48, 60, 144, 24, 132, 72, 0]