# Trace form for 8470.2.a.bo, downloaded from the LMFDB on 23 April 2024.
[0, 2, -2, 0, 2, -2, 0, 2, -2, 10, 2, 0, 0, -4, -2, 0, 2, -4, -10, 0, -2, 0, 0, 0, 0, 2, 4, 0, 2, -12, 0, 0, -2, 0, 4, -2, 10, 12, 0, 0, 2, -4, 0, 8, 0, -10, 0, -16, 0, 2, -2, -32, -4, -4, 0, 0, -2, 16, 12, -16, 0, -4, 0, 10, 2, 4, 0, 8, -4, -16, 2, 0, -10, -4, -12, 0, 0, 0, 0, 16, -2, 2, 4, 16, 0, 4, -8, 16, 0, -12, 10, -4, 0, -32, 16, 0, 0, 4, -2, 0, 2, -20, 32, 0, 4, 0, 4, -8, 0, -12, 0, -16, 2, 4, -16, 0, -12, -20, 16, -4, 0, 0, 4, 16, 0, -2, -10, -16, -2, 32, -4, -32, 0, 0, -8, 0, 4, -12, 16, -32, -2, 0, 0, 0, 10, 12, 4, 0, 12, 20, 0, -16, 0, -20, 0, 0, 0, 20, -16, -48, 2, 0, -2, 24, -4, 0, -16, 32, 0, -18, -4, 0, 8, -20, -16, 2, 0, 0, 12, 24, -10, -28, 4, 64, 0, -12, 32, 0, -16, 0, 0, 16, 0, -20, -4, 0, 2, 36, 0, 0, -2, 64, 20, -12, -32, 4, 0, 0, -4, 0, 0, -8, -4, -32, 8, -8, 0, 0, 12, -32, 0, 8, 16, 0, -2, 10, -4, 48, 16, 20, 0, 0, 12, 12, 20, 16, -16, -16, 4, 32, 0, 12, 0, 0, -4, -2, -16, 0, 0, -32, 2, 0, 10, 0, 16, 32, 2, 52, -32, 12, 4, -60, 32, -16, 0, 4, 0, -32, 8, 4, 0, 0, -4, 0, 12, 0, -16, 4, 32, 0, 2, -20, 0, 0, 0, -16, 0, -4, -10, 38, -12, -16, -4, -4, 0, 16, -12, 0, -20, 0, 0, 8, 16, 0, 0, 4, 20, -16, 0, -32, 0, -32, 0, -12, -20, -10, 16, 12, 48, 0, -2, 32, 0, -32, 2, -4, -24, -48, 4, -16, 0, 24, 16, 60, -32, -8, 0, -36, 18, 0, 4, 0, 0, 2, -8, 16, 20, -24, 16, -20, -2, 0, 0, -44, 0, 0, -12, -32, -24, -16, 10, -22, 28, 0, -4, 4, -64, 0, 0, -20, 12, -4, -32, 4, 0, 0, 16, 24, 0, 8, 0, -64, -16, -48, 0, 0, 20, 40, 4, 28, 0, 32, -2, -16, -36, -16, 0, -12, 0, 16, 2, 20, -64, 0, -20, -2, 12, 0, 32, -4, -4, 64, 0, -16, 0, -16, 4, -16, 0, -16, 0, 12, 8, -80, 4, -4, 32, -4, -8, 0, 8, 0, 0, 36, 0, -16, -12, -16, 32, -16, 0, 10, -8, -40, -16, 12, 0, -48, 2, -12, -10, 0, 4, -16, -48, 4, -16, 44, -20, -64, 0, 12, 0, 32, -12, 32, -12, -16, -20, 8, -16, 32, 16, 0, 16, 0, -4, -20, -32, -48, 0, -24, -12, -16, 0, -4, 0, 0, 4, 0, 2, 40, 16, -8, 0, 0, 0, 0, 32, 24, -2, 0, 0, -16, -10, 20, 0, 0, -16, -44, -32, -4, -2, 32, -52, 0, 32, 0, -12, 64, -4, 4, 60, 32, -32, 0, 16, 64, 0, -30, -4, -80, 0, 8, 32, 8, -8, -32, -4, 0, 0, 4, 0, 0, 4, 12, 0, -24, -12, -20, 0, 16, 16, 16, -4, 16, -32, 20, 0, -16, -2, 0, 20, 0, 0, -4, 0, 2, 0, 12, 16, -8, 0, 64, 4, 0, 10, -12, -38, -64, 12, 16, 16, 0, 4, 20, 4, -48, 0, -32, -16, -32, 12, -52, 0, 4, 20, -64, 0, 32, 0, -20, -8, 40, -16, 0, 0, -48, 0, 16, -4, 32, -20, -12, 16, -16, 0, -76, 32, 80, 0, -32, 32, -12, 0, 2, 12, 0, 20, 8, 10, 0, -16, -64, -12, 16, -48, -4, 0, 0, 2, -60, -32, 0, 0, -32, 32, -32, -2, 0, 4, -32, 24, -36, 48, 32, -4, -20, 16, 8, 0, -12, -24, 64, -16, 0, -60, -16, 32, -160, 8, 0, 0, 28, 36, 0, -18, 28, 0, 4, -4, 0, 0, 56, 0, 12, -2, -64, 8, 8, -16, -32, -20, 0, 24, 32, -16, -24, 20, 0, 2, -76, 0, -16, 0, 0, 44, -20, 0, -4, 0, 80, 12, 32, 32, 0, 24, -48, 16, -16, -10, 0, 22, 16, -28, -12, 0, 32, 4, -86, -4, -80, 64, 92, 0, 0, 0, 0, 20, 8, -12, -32, 4, 32, 32, -20, -4, 80, 0, -8, 0, 0, -16, -64, -24, 16, 0, 12, -8, 0, 0, -36, 64, -12, 16, 20, 48, 32, 0, 12, 0, -16, -20, -44, -40, 0, -4, -16, -28, 16, 0, 0, -32, 32, 2, -20, 16, -16, 36, 128, 16, 4, 0, 8, 12, 48, 0, -44, -16, 32, -2, -60, -20, 0, 64, 0, 0, 0, 20, 12, 2, -16, -12, -96, 0, -24, -32, 32, 4, -20, 4, 20, -64, 48, 0, 0, 16, 8, 0, -12, 16, 64, -4, -4, 16, -32, 0, -64, 16, -80, 0, 30, -12, 96, -8, 18, 80, 0, -4, 128, 4, 16, -32, 28, 4, 0, 8, -20, 0, 32, -8, 16, 0, 0, 0, 20, -36, 128, 0, 0, 16, -16, 12, 20, 16, -2, -32, -28, 16, 0, 0, -28, -10, 72, 8, 0, 40, 0, 16, -16, -12, 0, 0, 0, 48, -24, -2, 32, 12, -32, 10, 104, 0, 32, -4, 28, 16, 24, 48, -100, -4, -32, 16, 0, -44, -64, 20, -32, 64, 32, 0, 96, -12, 0, 0, 12, -32, 0, 12, -44, -32, 0, 12, 96, 16, 0, 20, -4, -8, -16, 16, -4, -32, -16, -16, 0, 0, -8, -16, 8, 0, -16, 4, -4, 20, -16, 32, 0, 48, -12, 0, 2, 24, -40, 12, 20, 16, -96, 0, -32, 4, -16, 0, -32, 0, 0, -4, 4, 0, 0, -2, -60, -40, 0, -16, -36, 8, 0, 0, -32, 0, -80, 0, 96, 0, 0, -32, -84, -24, -32, 2, 0, 0, 32, 0, -64, 16, -48, 10, -4, -20, -64, 0, 68, 0, 12, 16, 20, 44, 40, 32, -12, 4, 0, 2, -4, -32, -32, 52, 0, 0, -32, -32, 12, 0, 0, 12, -120, -64, 0, 4, -96, -4, 20, -60, 0, -32, -96, 32, 20, 0, 40, -16, -4, -64, 8, 0, -16, 30, -16, 4, 60, 80, 0, 0, 32, -8, 0, -32, 60, -8, -20, 8, -88, 32, 8, 4, -144, 0, -32, 0, 0, -4, 0, 0, 0, 0, -16, -4, 0, -12, -16, 0, 76, 24, 32, 12, 28, 20, 20, 0, 160, -16, -16, -16, -8, -16, 32, 4, -44, -16, 0, 32, -48, -20, 0, 0, 52, 16, -32, 2, 0, 0, -48, -20, -10, 0, 0, 0, 12, 4, -32, 0, 0, -2, -48, 0, 0, -12, -144, -16, 24, 8, -80, 0, -20, -64, 32, -4, -32, 0, -16, -10, -76, 12, 0, 38, 24, 64, 64, -12, 64, -16, -8, -16, -12, 0, 96, -4, 32, -20, -56, -4, 32, 48, -16, 0, 0, 32, -160, 16, -12, 32, -18, -12, 16, 52, 8, 0, 40, -4, -96, -20, 68, 64, -32, 0, 0, -32, 0, 0, 28, 20, 0, 8, -12, -40, 64, 16, 64, 0, -20, 0, -4, 48, 0, 0, -52, -16, 48, 4, 0, -32, -64, 20, 2, 12, 80, -16, -92, 16, 112, 0, -60, 76, 0, -32, 20, -80, 0, 0, 72, 32, 0, -32, 32, 12, -16, 0, 60, -2, -160, -12, 24, 0, 0, -20, -128, -8, 48, -10, -8, 0, 128, 16, 0, 64, -28, 12, 0, -16, -32, 48, 64, 4, -32, 0, 4, 0, -48, -2, 64, 60, 24, 32, -52, 0, 0, 0, -20, 32, 96, -32, 112, 32, -12, 2, 12, 0, 16, -4, -28, 32, -64, -24, 60, 36, 64, -48, 0, -32, 0, 4, 40, 20, 16, -16, -96, -8, -16, 0, -28, 12, 0, 24, -4, -64, 0, 16, 64, 0, 0, 60, -64, 16, 32, -32, 16, 160, 0, -8, 100, 0, 0, 0, -4, -28, 0, -36, -32, 0, -20, 18, 0, -28, 0, 0, 0, -4, -80, 4, 12, 0, 96, 0, 0, -56, -112, 0, 14, -12, 0, 2, 28, 64, 0, -8, -4, -8, 36, 16, 36, 32, 32, 20, -4, 0, -32, -24, -144, -32, 16, 16, 0, 24, 0, -20, 0, 0, -80, -2, 112, 76, -64, 0, 20, 16, 64, 0, 52, 0, 32, -44, 100, 20, 0, 0, 24, 4, 0, 0, -12, -80, -48, -12, 16, -32, -16, -32, -92, 0, -96, -24, 68, 48, 4, -16, -64, 16, 32, 10, 0, 0, 32, -22, -38, -16, 32, 28, 0, 12, -40, 0, -36, -32, 16, -4, 0, 86, -48, 4, -208, 80, 0, -64, 4, -92, 120, 0, -8, 0, -48, 0, -64, 0, -16, -20, -8, -8, 160, 12, 12, 32, -64, -4, 0, -32, -16, -32, -108, 20, -32, 4, 36, -80, 0, 0, 96, 8, -8, 0, -16, 0, 160, 16, -8, 64, 0, 24, 64, -16, 48, 0, 88, -12, 0, 8, -40, 0, 0, 0, -90, 36, -104, -64, -4, 12, 64, -16, 0, -20, -16, -48, -32, -32, 16, 0, -24, -12, 0, 0, -64, 16, 16, 20, 32, 44, 8, 40, -100, 0, 0, 4, 44, 16, 32, 28, -100, -16, 32, 0, 0, 0, 224, 32, 12, -32, 64, -2, -32, 20, 0, -16, 0, 16, 10, -36, -32, -128, -8, -16, 64, -4, -32, 0, -12, -8, 0, -12, 48, -48, 16, 0, 0, 44, 0, 16, -12, -32, -32, 2, -4, 60, 20, 20, -32, 0, -80, -64, -12, 0, 120, 0, 44, 0, 32, -20, 0, -12, -72, -2, -36, 16, 176, 12, 4, 96, 48, 0, -140, 24, 12, 32, 32, -32, 48, -4, 52, 20, 0, -4, -64, -20, 96, 64, 16, -48, 128, 0, 24, 0, 32, -16, -96, -8, -24, 0, 12, 12, -16, -16, 0, -64, 112, 4, -60, 4, -24, -16, -84, 32, 96, 0, 32, 64, 8, -16, -64, 80, 32, 0, -58, -30, 0, 12, 36, -96, 12, 8, 128, -18, -32, -80, -36, 0, 0, 4, 36, -128, -112, -4, 0, -16, 64, 32, 0, -28, -128, -4, -4, 0, 96, -8, 224, 20, -2, 0, 40, -32, 80, 8, 116, -16, 40, 0, -16, 0, 0, 0, 0, -20, 176, 36, -12, -128, 24, 0, -100, 0, -96, -16, 52, 16, -32, -12, 20, -20, -40, -16, 0, 2, 64, 32, 4, 28, 0, -16, 0, 0, 32, 0, -80, 28, 16, 10, 44, -72, 0, -8, 88, 0, 0, -40, 180, 0, 0, -16, 44, 16, 32, 12, 24, 0, -112, 0, 32, 0, 72, -48, 36, 24, 0, 2, 0, -32, 16, -12, 32, 32, 52, -10, 108, -104, -16, 0, 22, -32, 64, 4, 128, -28, 0, -16, 12, -24, 0, -48, 16, 100, -48, 4, -32, 32, 32, -16, -4, 0, -60, 44, 0, 64, 0, -20, 0, 32, 0, -64, 0, -32, -96, 0, -16, -96, -16, 12, 20, 0, 16, 0, 10, -12, 32, 32, 120, 0, 4, -12, 0, 44, 0, 32, 12, 0, 0, -12, -4, -96, 0, -16, -32, 0, 0, -20, 36, 4, 0, 8, 4, 16, -32, -16, 0, 4, 4, 32, -24, 16, -160, 16, 28, 0, -128, 0, -128, 8, -8, 16, 0, -8, -40, 0, -4, 16, 0, -4, 64, 4, -16, -20, 32, 16, 0, -32, -116, 0, 48, -48, -64, 12, 0, 0, -8, -2, 0, -24, 0, 40, 32, -12, 80, -20, 16, -16, 20, 96, -40, 0, -40, 32, 4, -4, 160, 16, 16, 0, -28, 32, 0, 0, -20, 0, 80, 4, 0, -4, -32, 0, -32, 0, 144, 2, 24, 60, 32, 40, 16, 0, -20, 16, 0, 36, -64, -8, 4, 0, 16, 0, 32, 32, 96, 0, 0, 80, 0, 0, 12, -96, 32, 0, 40, 0, 0, 32, 76, 84, -16, 24, -60, 32, -48, -2, 96, 0, -40, 0, -20, -32, 0, 0, -4, 64, 40, -16, 0, 48, 0, -10, 132, 4, 128, 20, -64, 64, 38, 0, 2, -68, 72, 0, 20, -12, 0, -16, 32, -20, 0, -44, -16, -40, -16, -32, -40, 12, 240, -4, 4, 0, 32, -2, -32, 4, -4, 32, 36, 32, -64, -52, 0, 0, -32, 0, 100, 32, -16, 32, 16, -12, 96, 0, 60, 0, -48, -12, 96, 120, 16, 64, -128, 0, 0, -4, 92, 96, -8, 4, 16, -20, 48, 60, 12, 0, 32, 32, 0, 96, 16, -32, 60, -20, 48, 0, 0, -40, -16, 16, -12, 4, 8, 64, 96, -8, 16, 0, -44, 16, 80, -30, -8, 16, -48, -4, 0, -60, 0, -80, 4, 0, 160, 0, -36, -32, 48, 8, -32, 0, 4, 32, -12, -60, 0, 8, 60, 20, 0, -8, 0, 88, 0, -32, -16, -8, 160, -4, -4, 144, 0, 0, 0, 32, 160, 0, -12, 0, -32, 4, -36, 0, 0, 0, 60, 0, -64, 0, -40, 16, 16, 4, -32, 0, 8, 12, -64, 16, -96, 0, 16, -76, 0, -24, 0, -32, -12, -12, -192, -28, 16, -20, 88, -20, 0, 0, 64, -160, 96, 16, -10, 16, 112, 16, 34, 8, 0, 16, -108, -32, 40, -4, -256, 44, 12, 16, -60, 0, 0, -32, -12, 48, 96, 20, 0, 0, 16, 0, 0, -52, 48, -16, 92, 32, -16, -2, -64, 0, -128, 0, 12, 48, 32, 20, 40, 10, -120, 0, 224, 0, 0, 0, -88, -12, 0, -4, -32, 32, 64, 0, 16, 0, -32, 2, -116, 48, -176, 0, 12, 0, -4, 12, 0, 144, -112, 16, -76, -24, 144, -8, -44, 80, 96, 0, -48, 20, -112, 64, -100, -32, 64, 4, -12, 32, 0, 0, 0, 16, -16, 10, -12, 76, 48, -12, -100, 0, 32, -38, 260, -24, -32, -64, 24, -64, 64, 12, 0, -64, 0, 16, -32, 8, -48, 16, -104, 12, 60, 0, -100, -96, 16, 4, -32, -32, 72, 20, 52, 56, 0, 4, -8, -32, 8, -48, -12, 16, 64, 0, 56, 0, -32, -32, 20, 160, -36, -16, -128, 12, 96, -32, 0, 18, -80, 12, 32, -16, 144, -52, 0, -8, 0, 0, 52, -40, -128, 4, 92, 96, 112, 20, 20, -68, 0, -64, 84, 32, 160, 0, -4, 0, 48, 32, 256, 0, 32, 0, 2, -28, -64, -20, 24, 0, -128, -8, 0, 12, -48, 40, -64, -64, 16, -16, 140, -64, 32, 0, 20, 20, 0, 0, 4, 4, -160, -48, -24, 0, 0, 0, -80, 52, 0, 16, -60, -48, 0, -4, -84, 0, -20, 32, 0, 64, 16, -20, 32, -2, 64, -12, 0, -80, -40, 16, 0, 92, 8, -16, -32, -112, 112, 0, 8, 60, -112, -76, -16, 0, -44, 32, -108, -20, 0, 80, 60, 0, -16, 0, 256, -72, -32, -32, 0, 0, 256, 32, -16, -32, 32, -12, 20, 16, -24, 0, 0, -60, -32, 2, 72, 160, -128, 12, 0, -24, 48, 0, 40, 0, 0, 20, -16, 128, 16, 8, 32, -48, 0, 10, -84, 8, -192, 0, -20, -128, -22, -16, -100, 0, 40, -64, 56, 28, 0, -12, -64, 0, -64, 16, 0, 32, 32, -48, 44, -64, 0, -4, 148, 32, 48, 0, -96, -4, 4, 0, -52, 48, 64, 2, -72, -64, 0, -60, -32, -24, 64, -32, 0, 52, 96, 0, 64, 0, 0, 0, -64, 20, 96, -32, 40, -96, -20, 32, 0, -112, 0, -32, -208, 12, -64, -2, -52, -12, -64, 0, -4, -16, 0, 4, 190, 28, 64, -32, -4, 64, 0, 24, -84, -60, 4, -36, -128, -64, -32, 48, 12, 0, -32, 32, -124, 0, 112, -4, 0, -40, 32, -20, 0, -16, 96, 16, -44, 96, -64, 8, -20, 16, 24, 0, -16, 28, 64, -12, 30, 0, 48, -24, 32, 4, 0, 64, 8, 0, 80, -16, -4, -64, -80, 0, 128, 0, -112, -60, -8, 64, -64, -16, -104, -32, -16, 32, 0, -16, -8, -160, -12, 0, -128, 8, -48, -100, -8, 0, 32, 0, -112, 0, 52, 4, 0, 28, 116, 0, 0, 36, 192, 32, -56, 0, 8, 20, 160, -18, -4, 0, 32, 28, 40, 0, -48, 0, -164, 0, 0, 4, 0, 80, -16, -4, 32, -12, 28, 0, -12, -96, 0, 0, -92, 0, 104, 56, -32, 112, 24, 0, 32, -14, 0, 12, -92, 0, 16, -2, 20, -28, 48, -64, 28, 0, -16, 8, -28, 4, -16, 8, -208, -36, 64, -16, 0, -36, -80, -32, -16, -32, -96, -20, 64, 4, -48, 0, 128, 32, -16, 24, -12, 144, -12, 32, -64, -16, 0, -16, -20, 0, -96, -24, -100, 0, 0, 20, 16, 0, 16, 0, -52, 80, -160, 2, -36, -112, 64, -76, 0, 64, 20, 0, 46, -20, -128, -16, -40, -64, 0, 0, -60, -52, -176, 0, 0, -32, -64, 44, 4, -100, 0, -20, 32, 0, -48, 0, 140, -24, -2, -4, -108, 0, -64, 0, 224, 12, 104, 80, -12, 48, 64, 12, 0, -16, -136, 32, 60, 16, 8, 32, -116, 92, 256, 0, -44, 96, -4, 24, -64, -68, 32, -48, -16, -4, 0, 16, 36, 64, 0, -16, 64, -32, -80, -10, 160, 0, 0, 0, 12, -32, 0, 22, 64, 38, -16, 16, 0, -32, 64, -28, 36, 0, 0, -12, -64, 40, 0, 0, -16, 36, -160, 32, 76, -16, -32, 4, -192, 0, 0, -86, -68, 48, -16, -4, 64, 208, 112, -80, -20, 0, -32, 64, 120, -4, -128, 92, -16, -120, 48, 0, 0, 8, 96, 0, -88, 48, -96, 0, 32, 64, 12, 0, 224, 16, -96, 20, -76, 8, 32, 8, -28, -160, 0, -12, -80, -12, 24, -32, 52, 64, -64, 4, 108, 0, -128, 32, 0, 16, -4, 32, -40, 108, 120, -20, 0, 32, 32, -4, 64, -36, -32, 80, -4, 0, 0, 0, -24, -96, -32, -8, 12, 8, -32, 0, 4, 16, 0, 0, 20, -160, 32, -16, 256, 8, -88, -64, 16, 0, -40, -24, 0, -64, -72, 16, -32, -48, 128, 0, 0, -88, 32, 12, -24, 0, 36, -8, -180, 40, 48, 0, -28, 0, 32, 0, 116, 90, 16, -36, -16, 104, 0, 64, -20, 4, 0, -12, -64, -64, -32, 16, 160, 0, -16, 20, -68, 16, 64, 48, 12, 32, -24, 32, 0, -16, 128, 0, -16, 24, 16, 12, 56, 0, -64, 0, 32, 64, 16, -16, 76, -16, 10, -20, 4, -32, 0, -44, -48, -8, -80, -40, 0, 100, 128, 0, -40, 0, 80, -4, 32, -44, -64, -16, -188, -32, -64, -28, 0, 100, 12, 16, -224, -32, -112, 0, 28, 0, -120, 0, -2, -224, 32, -32, -48, -12, 0, 32, -24, -64, 0, 2, 76, 32, -80, -20, -100, 0, -12, 16, -8, 0, 64, -16, -64, -10, -64, 36, -128, 32, 0, 128, 0, 8, 0, 16, 24, -64, 0, 4, 64, 32, 96, 0, -12]