# Trace form for 5175.2.a.bc, downloaded from the LMFDB on 12 December 2025.
[0, 2, -2, 0, 2, 0, 0, 4, -6, 0, 0, 0, 0, 0, -8, 0, 6, -12, 0, -4, 0, 0, 8, -2, 0, 0, 0, 0, 12, 0, 0, 0, 6, 0, 16, 0, 0, 4, 16, 0, 0, 8, 0, 12, -16, 0, 2, 12, 0, -2, 0, 0, 0, -4, 0, 0, -16, 0, -24, 4, 0, 4, -24, 0, -14, 0, 0, -20, -20, 0, 0, -16, 0, -4, -12, 0, -28, -8, 0, -4, 0, 0, 8, -8, 0, 0, 0, 0, 8, 12, 0, 0, -2, 0, 4, 0, 0, 20, -14, 0, 0, 0, 0, 4, 0, 0, -16, 0, 0, 12, 0, 0, 12, -28, 0, 0, 48, 0, -20, -28, 0, -6, 4, 0, 48, 0, 0, -8, 10, 0, 0, 0, 0, -20, 16, 0, 40, -4, 0, -8, 0, 0, 32, 0, 0, 0, 36, 0, 20, -36, 0, -8, 24, 0, 24, 0, 0, 20, -24, 0, 0, -4, 0, -32, -24, 0, 16, 0, 0, -26, 0, 0, -12, -16, 0, 0, 0, 0, -32, -36, 0, -28, 0, 0, 6, 0, 0, 8, -20, 0, 0, -24, 0, -8, -20, 0, 30, 24, 0, 4, 0, 0, 32, 24, 0, 0, -8, 0, 0, 24, 0, -8, 36, 0, -24, 0, 0, 24, 12, 0, 0, 0, 0, -8, 8, 0, 32, -16, 0, 12, 0, 0, -24, -32, 0, 0, 36, 0, 60, -16, 0, -12, 6, 0, -12, 0, 0, 0, -24, 0, 0, -24, 0, 0, -16, 0, -26, -24, 0, 16, 0, 0, -48, -24, 0, 0, 52, 0, -12, 8, 0, -8, -36, 0, 0, 0, 0, -4, 8, 0, 0, 20, 0, 12, -48, 0, 0, 0, 0, 42, 0, 0, -68, -12, 0, 0, -20, 0, 32, 0, 0, 12, 24, 0, -12, 0, 0, -16, -40, 0, 0, 4, 0, 20, 4, 0, 52, 0, 0, -48, 0, 0, 8, 36, 0, 0, 40, 0, -8, 8, 0, -8, -24, 0, -16, 0, 0, -44, 26, 0, 0, -48, 0, -16, -24, 0, 24, -28, 0, -8, 0, 0, 8, -40, 0, 0, 52, 0, 36, 8, 0, 6, 20, 0, 0, 0, 0, 4, -6, 0, 0, 12, 0, 4, -56, 0, -20, 0, 0, 4, 0, 0, -8, -32, 0, 0, -8, 0, 20, 12, 0, 12, -10, 0, -16, 0, 0, 52, 8, 0, 0, 12, 0, 0, -64, 0, -72, -16, 0, 40, 0, 0, 12, 24, 0, 0, 0, 0, -40, 24, 0, -28, 32, 0, -8, 0, 0, 0, 48, 0, 0, 40, 0, -4, -72, 0, -36, 4, 0, 48, 0, 0, 0, 48, 0, 0, -40, 0, -36, -24, 0, 32, -36, 0, -24, 0, 0, -36, -36, 0, 0, -24, 0, 16, 0, 0, 48, -40, 0, -36, 0, 0, -28, 24, 0, 0, -92, 0, 48, 56, 0, 0, 60, 0, -6, 0, 0, 16, -4, 0, 0, 36, 0, -24, 0, 0, 0, -48, 0, -32, 0, 0, 48, -24, 0, 0, -8, 0, 40, -48, 0, -40, 54, 0, 8, 0, 0, 32, -40, 0, 0, 12, 0, 12, 96, 0, 56, -24, 0, 2, 0, 0, -84, 0, 0, 0, 56, 0, -48, -32, 0, -24, 32, 0, -32, 0, 0, -8, 4, 0, 0, -72, 0, 20, 20, 0, -8, 36, 0, 0, 0, 0, -16, -48, 0, 0, 48, 0, 64, 20, 0, 12, 0, 0, 16, 0, 0, 8, -90, 0, 0, -24, 0, -40, 44, 0, 16, -48, 0, -72, 0, 0, 12, -24, 0, 0, -28, 0, 0, 32, 0, -8, -12, 0, -40, 0, 0, 40, 0, 0, 0, 0, 0, -28, 24, 0, 40, 36, 0, -36, 0, 0, 28, 44, 0, 0, 12, 0, -28, -32, 0, 4, -16, 0, -72, 0, 0, 0, 48, 0, 0, -20, 0, -20, -12, 0, -116, -12, 0, -32, 0, 0, -48, 32, 0, 0, 24, 0, 0, 40, 0, -52, 16, 0, 32, 0, 0, 0, 32, 0, 0, 16, 0, 48, 44, 0, -26, -12, 0, 40, 0, 0, 48, 32, 0, 0, 16, 0, 36, 0, 0, -40, -32, 0, 60, 0, 0, -32, 56, 0, 0, -12, 0, -32, 16, 0, 0, -32, 0, -20, 0, 0, -56, 0, 0, 0, -36, 0, -88, 60, 0, 12, -54, 0, -12, 0, 0, -84, 0, 0, 0, -60, 0, -20, 40, 0, -6, -8, 0, 64, 0, 0, -44, 48, 0, 0, 20, 0, 104, 24, 0, 28, 36, 0, 0, 0, 0, -20, 0, 0, 0, -24, 0, 0, 40, 0, 48, 0, 0, -36, 0, 0, 24, 20, 0, 0, -60, 0, 16, 32, 0, 32, -16, 0, -6, 0, 0, -4, 8, 0, 0, -60, 0, 0, -52, 0, -20, 60, 0, -56, 0, 0, -80, 64, 0, 0, 0, 0, 32, 24, 0, 40, 120, 0, 32, 0, 0, 12, -24, 0, 0, 0, 0, -48, -16, 0, -64, 24, 0, 72, 0, 0, 0, -4, 0, 0, 56, 0, -48, -72, 0, 86, 100, 0, -56, 0, 0, -12, -12, 0, 0, -4, 0, -36, 8, 0, -24, -48, 0, 64, 0, 0, -8, -36, 0, 0, -12, 0, 120, -56, 0, 0, -12, 0, -16, 0, 0, 76, -48, 0, 0, -12, 0, 40, 0, 0, -48, -12, 0, 8, 0, 0, 88, 24, 0, 0, 64, 0, -40, 144, 0, 4, 0, 0, 88, 0, 0, 12, 64, 0, 0, -72, 0, 16, 84, 0, 60, 48, 0, 36, 0, 0, 16, 0, 0, 0, 32, 0, -24, 24, 0, -44, -64, 0, 0, 0, 0, -52, 68, 0, 0, -12, 0, -8, 12, 0, 24, -28, 0, 0, 0, 0, 116, -20, 0, 0, -80, 0, -24, -4, 0, 82, 0, 0, -108, 0, 0, 48, 18, 0, 0, -48, 0, -16, 32, 0, 12, -12, 0, -40, 0, 0, -4, -24, 0, 0, 168, 0, 0, -12, 0, 0, -24, 0, 112, 0, 0, -40, 56, 0, 0, 0, 0, -40, -72, 0, 40, -52, 0, 12, 0, 0, 16, -16, 0, 0, 0, 0, 88, 8, 0, -76, 112, 0, -14, 0, 0, 0, 8, 0, 0, 64, 0, 12, 16, 0, 64, -16, 0, 8, 0, 0, -48, -68, 0, 0, -96, 0, -48, 12, 0, 0, -88, 0, 168, 0, 0, -32, -2, 0, 0, 24, 0, 60, 92, 0, 0, 0, 0, 4, 0, 0, -60, 48, 0, 0, 88, 0, 24, 0, 0, -12, -24, 0, -56, 0, 0, 0, 92, 0, 0, -32, 0, 4, 32, 0, 8, -72, 0, 16, 0, 0, 120, 24, 0, 0, -68, 0, -36, -12, 0, 64, 24, 0, -48, 0, 0, -68, 0, 0, 0, -56, 0, -52, 12, 0, 40, 2, 0, -36, 0, 0, -108, -8, 0, 0, -48, 0, -16, 116, 0, -72, 0, 0, 0, 0, 0, 48, -32, 0, 0, 12, 0, 36, -88, 0, 138, 0, 0, 16, 0, 0, 56, 80, 0, 0, 24, 0, -12, 16, 0, 20, -20, 0, 0, 0, 0, -48, 120, 0, 0, 24, 0, -52, 4, 0, -8, 8, 0, -96, 0, 0, 104, 12, 0, 0, 0, 0, 0, 48, 0, -4, -8, 0, 12, 0, 0, 112, 40, 0, 0, -40, 0, 76, -24, 0, 52, -12, 0, 4, 0, 0, 0, 48, 0, 0, 100, 0, -32, -36, 0, -56, -24, 0, -80, 0, 0, 28, 48, 0, 0, 56, 0, 8, -60, 0, -108, -72, 0, 60, 0, 0, -44, -72, 0, 0, -36, 0, 88, -48, 0, 0, 72, 0, -12, 0, 0, -48, 144, 0, 0, -96, 0, 28, 0, 0, -48, 48, 0, 36, 0, 0, 0, 28, 0, 0, -32, 0, 16, 72, 0, 0, 196, 0, 12, 0, 0, 68, 48, 0, 0, -72, 0, -4, 104, 0, -48, 56, 0, 64, 0, 0, 40, 0, 0, 0, -8, 0, -80, 0, 0, -20, 12, 0, -24, 0, 0, -72, -24, 0, 0, 0, 0, -72, 24, 0, -16, -16, 0, 0, 0, 0, 0, -4, 0, 0, -96, 0, -44, 80, 0, 0, 78, 0, 96, 0, 0, -4, -80, 0, 0, -24, 0, -96, -48, 0, -16, 48, 0, -50, 0, 0, -16, -24, 0, 0, 48, 0, 0, 40, 0, 16, 48, 0, 56, 0, 0, 104, -92, 0, 0, 0, 0, -4, -48, 0, -104, -48, 0, -12, 0, 0, -16, -4, 0, 0, 72, 0, -88, -72, 0, 56, 40, 0, 96, 0, 0, 0, 76, 0, 0, 96, 0, 76, 36, 0, 24, 16, 0, -48, 0, 0, 108, -108, 0, 0, 168, 0, -92, 36, 0, -96, -28, 0, 102, 0, 0, 68, 76, 0, 0, 0, 0, 8, 72, 0, 0, -96, 0, -28, 0, 0, 12, 64, 0, 0, -36, 0, -84, 0, 0, -36, 14, 0, -72, 0, 0, -40, -96, 0, 0, 16, 0, 20, 76, 0, 0, -24, 0, -20, 0, 0, -44, -4, 0, 0, -72, 0, -72, -16, 0, -76, 72, 0, 52, 0, 0, -8, 0, 0, 0, -28, 0, -92, 60, 0, -4, -16, 0, 96, 0, 0, 80, 16, 0, 0, 24, 0, 40, 0, 0, 0, -64, 0, 0, 0, 0, 120, 84, 0, 0, 20, 0, 64, 8, 0, 32, 0, 0, -16, 0, 0, 60, -32, 0, 0, -44, 0, -16, 64, 0, 32, -96, 0, 20, 0, 0, -136, -22, 0, 0, 40, 0, 0, -80, 0, -64, 40, 0, 132, 0, 0, 124, -32, 0, 0, 0, 0, 52, 8, 0, 0, 0, 0, -80, 0, 0, -28, -16, 0, 0, -68, 0, 48, 148, 0, -80, 16, 0, 36, 0, 0, 0, -24, 0, 0, 0, 0, 64, 64, 0, 68, -144, 0, -120, 0, 0, -12, -48, 0, 0, -80, 0, 16, 36, 0, 8, -40, 0, -8, 0, 0, 32, 120, 0, 0, 24, 0, 12, -120, 0, 0, 104, 0, 32, 0, 0, 72, -120, 0, 0, 32, 0, 44, 0, 0, 96, 48, 0, 28, 0, 0, -88, -64, 0, 0, 72, 0, 120, 4, 0, 14, -86, 0, -172, 0, 0, -72, 48, 0, 0, -84, 0, 36, 24, 0, -32, -16, 0, -84, 0, 0, 12, 0, 0, 0, 132, 0, -16, -76, 0, 96, 0, 0, 64, 0, 0, 32, -16, 0, 0, -36, 0, 44, -24, 0, 36, 48, 0, 0, 0, 0, 28, 24, 0, 0, -120, 0, 40, -8, 0, 20, 0, 0, 36, 0, 0, -4, 28, 0, 0, -28, 0, 68, -92, 0, 48, -72, 0, -44, 0, 0, 32, 96, 0, 0, -16, 0, 0, -48, 0, 8, 48, 0, -4, 0, 0, -68, -40, 0, 0, 0, 0, 0, -24, 0, 16, 108, 0, 20, 0, 0, -100, 16, 0, 0, 104, 0, -144, -32, 0, 20, 108, 0, -32, 0, 0, 0, -84, 0, 0, -32, 0, 28, -96, 0, 8, 4, 0, -24, 0, 0, 8, 12, 0, 0, -48, 0, -132, 96, 0, -4, -60, 0, -144, 0, 0, -32, 24, 0, 0, -80, 0, -40, -8, 0, 0, 72, 0, 22, 0, 0, -80, -48, 0, 0, -48, 0, -56, 0, 0, 92, 64, 0, 112, 0, 0, -32, 40, 0, 0, -36, 0, 92, 68, 0, -100, 84, 0, 32, 0, 0, 64, 56, 0, 0, -8, 0, -4, 16, 0, -48, -72, 0, -4, 0, 0, -40, 0, 0, 0, -36, 0, 16, -84, 0, -96, -144, 0, 8, 0, 0, 80, -48, 0, 0, -8, 0, 4, 96, 0, 172, -82, 0, 0, 0, 0, 112, 84, 0, 0, 32, 0, 8, -24, 0, -18, 0, 0, -24, 0, 0, -40, 24, 0, 0, 32, 0, -80, -60, 0, 44, 20, 0, 80, 0, 0, -20, 88, 0, 0, 32, 0, 0, -28, 0, 56, 36, 0, 0, 0, 0, -312, 0, 0, 0, 0, 0, 0, -80, 0, -36, -72, 0, -48, 0, 0, 56, -176, 0, 0, -16, 0, 68, -8, 0, -80, -108, 0, -44, 0, 0, 0, -12, 0, 0, 144, 0, 96, -72, 0, -52, -56, 0, 68, 0, 0, -32, 36, 0, 0, 120, 0, 132, -8, 0, 32, 48, 0, -20, 0, 0, -24, -72, 0, 0, -128, 0, 48, 40, 0, 0, 60, 0, -184, 0, 0, -12, -70, 0, 0, -28, 0, 128, 0, 0, 56, 36, 0, -96, 0, 0, -32, -84, 0, 0, 36, 0, -64, -36, 0, 48, -72, 0, -24, 0, 0, 24, 96, 0, 0, -68, 0, 136, 84, 0, 132, 144, 0, 20, 0, 0, 180, 0, 0, 0, 0, 0, 96, 48, 0, -64, -144, 0, 104, 0, 0, -60, -312, 0, 0, 28, 0, -116, 80, 0, 2, -192, 0, 0, 0, 0, -72, -32, 0, 0, 24, 0, -60, -24, 0, 68, 0, 0, 80, 0, 0, -68, 68, 0, 0, 40, 0, 40, -64, 0, -96, 68, 0, -40, 0, 0, -64, 12, 0, 0, -16, 0, 0, 24, 0, 12, -4, 0, 72, 0, 0, 16, 48, 0, 0, 0, 0, -96, -24, 0, -104, -24, 0, -28, 0, 0, -8, 40, 0, 0, -84, 0, -56, 24, 0, 8, -12, 0, 144, 0, 0, 0, -8, 0, 0, -96, 0, -24, -168, 0, 24, -120, 0, 42, 0, 0, 116, -116, 0, 0, 28, 0, 96, 72, 0, 12, -64, 0, -24, 0, 0, -48, 60, 0, 0, -20, 0, -96, 4, 0, 0, 48, 0, -80, 0, 0, 112, 48, 0, 0, 64, 0, -56, 0, 0, 4, -32, 0, 14, 0, 0, -8, -60, 0, 0, 152, 0, -192, 24, 0, 24, 84, 0, -36, 0, 0, -32, -132, 0, 0, 12, 0, -132, -84, 0, 48, 152, 0, -12, 0, 0, -156, 0, 0, 0, 168, 0, 16, -96, 0, 16, 52, 0, 12, 0, 0, -60, -76, 0, 0, -132, 0, 168, -120, 0, -84, -174, 0, 0, 0, 0, -24, -8, 0, 0, 48, 0, 0, -88, 0, -64, 0, 0, 20, 0, 0, -8, 36, 0, 0, 20, 0, -48, -48, 0, -96, -32, 0, 40, 0, 0, 64, 48, 0, 0, -8, 0, 0, 48, 0, -168, -28, 0, -88, 0, 0, -152, 48, 0, 0, 104, 0, -44, -4, 0, 16, 40, 0, -48, 0, 0, 104, 0, 0, 0, 152, 0, -28, -108, 0, 112, -96, 0, -4, 0, 0, 0, -24, 0, 0, -32, 0, 0, -48, 0, -18, 68, 0, 24, 0, 0, -48, -36, 0, 0, 0, 0, -56, -240, 0, -24, -56, 0, -48, 0, 0, 88, 44, 0, 0, -100, 0, 8, -88, 0, 0, -152, 0, 32, 0, 0, 92, 16, 0, 0, 64, 0, -64, 0, 0, -16, -144, 0, 168, 0, 0, -172, -96, 0, 0, 56, 0, 128, 40, 0, 0, 128, 0, -8, 0, 0, -40, 124, 0, 0, -40, 0, -100, -76, 0, -60, 8, 0, -32, 0, 0, -256, 0, 0, 0, -120, 0, 20, -144, 0, -104, 172, 0, -72, 0, 0, -80, -108, 0, 0, 48, 0, -76, -28, 0, 144, -12, 0, 0, 0, 0, 60, 96, 0, 0, -144, 0, 168, -48, 0, -36, 0, 0, -148, 0, 0, 60, -40, 0, 0, 52, 0, 212, 88, 0, -72, -24, 0, 144, 0, 0, 0, -48, 0, 0, -140, 0, 0, -76, 0, -44, 144, 0, -104, 0, 0, 132, -72, 0, 0, 0, 0, 32, 20, 0, -108, 64, 0, -36, 0, 0, 84, -48, 0, 0, -12, 0, -40, 32, 0, 120, 24, 0, -188, 0, 0, 0, -12, 0, 0, 16, 0, -76, 28, 0, -64, 84, 0, 28, 0, 0, 8, -4, 0, 0, 120, 0, -96, -68, 0, -16, 64, 0, -64, 0, 0, 64, -176, 0, 0, 4, 0, 48, -24, 0, 0, -64, 0, 64, 0, 0, -16, -36, 0, 0, 120, 0, 112, 0, 0, 16, 116, 0, 28, 0, 0, 24, 32, 0, 0, 96, 0, 4, 72, 0, -16, -24, 0, -140, 0, 0, -112, 0, 0, 0, -72, 0, -48, -96, 0, 104, 0, 0, 0, 0, 0, 28, 0, 0, 0, -80, 0, -76, -16, 0, 164, 80, 0, 20, 0, 0, 144, -72, 0, 0, 132, 0, -208, 108, 0, -72, -16, 0, -78, 0, 0, -120, -180, 0, 0, -96, 0, -52, 20, 0, 120, 0, 0, -68, 0, 0, 48, -4, 0, 0, -48, 0, 144, -20, 0, -4, 0, 0, -96, 0, 0, 28, 18, 0, 0, -40, 0, 0, 48, 0, 88, -96, 0, 36, 0, 0, -60, 0, 0, 0, 0, 0, -72, 120, 0, 48, -112, 0, -56, 0, 0, -12, -48, 0, 0, 200, 0, -40, -192, 0, 116, -68, 0, 104, 0, 0, 0, 6, 0, 0, 20, 0, 128, -56, 0, 40, 72, 0, 16, 0, 0, -20, 72, 0, 0, -96, 0, 92, 44, 0, -4, 92, 0, 2, 0, 0, -112, 0, 0, 0, 96, 0, 80, 52, 0, 0, -120, 0, 80, 0, 0, -32, -160, 0, 0, 60, 0, -16, 0, 0, -132, -40, 0, -16, 0, 0, -72, 24, 0, 0, -120, 0, 16, -48, 0, -140, -48, 0, 144, 0, 0, -68, -48, 0, 0, 80, 0, 64, -108, 0, 112, 56, 0, 64, 0, 0, -104, 156, 0, 0, 124, 0, -20, 148, 0, -132, 96, 0, 44, 0, 0, -16, -66, 0, 0, 60, 0, 64, -72, 0, -84, 84, 0, 0, 0, 0, 64, -80, 0, 0, 136, 0, -60, 36, 0, 0, 0, 0, -48, 0, 0, 92, -96, 0, 0, 8, 0, 48, 36, 0, -144, 176, 0, -192, 0, 0, 92, 72, 0, 0, 32, 0, 0, 60, 0, 104, -72, 0, -10, 0, 0, -128, 152, 0, 0, 0, 0, -20, 104, 0, 128, -48, 0, -80, 0, 0, 24, -40, 0, 0, 48, 0, -68, -32, 0, 56, -48, 0, -136, 0, 0, 0, -28, 0, 0, 48, 0, 32, 12, 0, -48, 24, 0, -36, 0, 0, 24, 112, 0, 0, 120, 0, -64, 108, 0]