# Trace form for 8470.2.a.ci, downloaded from the LMFDB on 19 April 2024.
[0, 3, -3, 2, 3, 3, -2, 3, -3, 7, -3, 0, 2, -2, -3, 2, 3, -2, -7, 6, 3, 2, 0, 10, -2, 3, 2, 8, 3, 0, -2, -12, -3, 0, 2, 3, 7, 4, -6, 8, -3, -4, -2, -8, 0, 7, -10, 0, 2, 3, -3, 28, -2, 12, -8, 0, -3, 8, 0, -4, 2, 6, 12, 7, 3, -2, 0, 4, -2, -8, -3, -28, -7, 14, -4, 2, 6, 0, -8, -18, 3, 3, 4, 8, 2, -2, 8, 44, 0, 18, -7, -2, 10, 12, 0, 6, -2, -4, -3, 0, 3, 14, -28, -4, 2, 2, -12, -8, 8, -8, 0, -12, 3, -2, -8, 10, 0, 30, 4, -2, -2, 0, -6, -36, -12, 3, -7, 16, -3, -4, 2, 30, 0, 6, -4, 8, 2, 30, 8, -10, 3, -40, 28, 0, 7, 0, -14, 2, 4, 12, -2, 2, -6, 14, 0, -12, 8, -34, 18, 52, -3, 10, -3, 12, -4, 0, -8, 24, -2, -3, 2, 74, -8, -2, -44, 3, 0, 16, -18, -16, 7, 26, 2, 44, -10, 4, -12, 0, 0, 8, -6, -24, 2, -14, 4, 8, 3, -6, 0, -8, -3, -56, -14, 0, 28, -4, 4, 14, -2, 0, -2, -36, 12, -8, 8, -8, -8, -12, 8, -20, 0, 20, 12, 12, -3, 7, 2, 20, 8, 42, -10, 0, 0, -54, -30, 0, -4, -16, 2, 58, 2, 0, 0, 46, 6, 3, 36, 56, 12, -24, -3, -28, 7, 0, -16, 28, 3, 16, 4, 4, -2, 28, -30, -8, 0, 12, -6, -36, 4, 26, -8, -12, -2, 8, -30, 0, -8, -18, 10, -44, -3, 70, 40, -28, -28, 8, 0, -4, -7, 9, 0, 52, 14, 38, -2, -4, -4, 0, -12, -16, 2, -8, -2, -68, 6, 6, -14, 16, 0, 8, 12, -52, -8, 56, 34, 7, -18, 28, -52, 0, 3, -84, -10, 4, 3, -2, -12, -20, 4, 0, 0, -8, 8, 0, -24, 4, 2, -22, 3, -60, -2, 0, -74, 3, 8, -8, 2, -24, 44, 18, -3, 64, 0, 32, -16, -28, 18, 28, 16, 6, -7, 71, -26, 0, -2, 14, -44, -20, 10, -88, -4, 12, 12, -38, 0, 2, 0, 28, -8, 4, 6, -8, 24, 20, -2, 0, 14, -104, -4, -2, -8, -36, -3, 64, 6, -18, 0, -2, 8, 8, 3, -26, 56, -8, 14, 3, 0, 0, -28, -12, 4, 20, -4, -4, -14, 8, 2, 0, 0, -28, 2, 10, 36, 32, -12, -2, 8, 6, -8, 0, 8, -22, 8, -4, 12, 44, -8, 16, 20, -12, 0, 7, -20, 52, -12, 18, -12, 60, 3, 22, -7, 0, -2, -72, -20, -2, -8, -30, -42, 32, 10, 34, 0, 50, 0, 12, 54, 42, 30, 4, 0, -52, 4, 0, 16, 6, -2, 56, -58, 80, -2, -12, 0, -8, 0, -4, -46, -26, -6, 88, -3, 28, -36, 88, -56, 0, -12, -28, 24, -48, 3, 16, 28, 80, -7, 14, 0, 38, 16, -6, -28, 14, -3, 136, -16, -4, -4, 0, -4, -20, 2, 18, -28, -16, 30, 2, 8, 48, 0, -21, -12, 60, 6, -76, 36, -8, -4, 68, -26, 0, 8, -56, 12, -60, 2, -8, -8, -4, 30, -18, 0, 12, 8, -18, 18, -12, -10, -38, 44, -80, 3, 0, -70, 12, -40, -2, 28, 3, 28, 66, -8, -24, 0, -56, 4, 10, 7, 24, -9, -40, 0, 8, -52, 0, -14, 30, -38, -22, 2, -76, 4, -12, 4, -18, 0, -2, 12, 16, 16, 4, -2, -24, 8, -28, 2, 0, 68, -20, -6, 44, -6, 32, 14, 82, -16, -36, 0, -6, -8, -20, -12, 8, 52, 18, 8, 3, -56, 0, -34, -32, -7, 40, 18, 16, -28, 16, 52, -2, 0, -116, -3, -18, 84, 38, 10, -4, -4, 28, -3, 0, 2, 12, 12, -20, 20, 30, -4, 14, 0, 64, 0, 34, 8, 32, -8, 6, 0, -44, 24, -40, -4, 0, -2, 10, 22, 8, -3, 14, 60, -4, 2, 112, 0, 16, 74, 30, -3, 16, -8, 20, 8, 8, -2, 0, 24, -10, -44, -64, -18, -76, 3, 48, -64, 4, 0, -40, -32, 14, 16, 38, 28, -102, -18, -60, -28, 0, -16, 64, -6, -24, 7, -4, -71, -4, 26, 0, 0, -80, 2, 7, -14, 8, 44, 126, 20, 2, -10, 0, 88, 44, 4, 136, -12, 128, -12, 12, 38, 0, 0, -8, -2, -44, 0, -176, -28, 2, 8, 40, -4, 0, -6, 28, 8, -8, -24, 14, -20, 72, 2, 12, 0, 36, -14, 50, 104, -12, 4, -12, 2, -132, 8, 0, 36, 56, 3, -34, -64, -44, -6, 32, 18, -2, 0, -36, 2, 52, -8, -42, -8, -80, -3, -46, 26, 0, -56, 10, 8, 8, -14, 46, -3, -66, 0, 80, 0, 12, 28, -188, 12, 30, -4, 24, -20, 62, 4, 0, 4, -36, 14, 10, -8, 44, -2, -2, 0, 24, 0, -64, 28, -28, -2, 45, -10, 36, -36, -3, -32, 0, 12, -96, 2, 28, -8, -34, -6, 74, 8, 38, 0, -4, -8, -36, 22, -98, -8, -2, 4, -74, -12, 0, -44, -40, 8, -32, -16, 3, -20, 10, 12, 16, 0, 86, -7, 64, 20, 16, -52, -88, 12, 16, -18, 0, 12, 104, -60, -16, -3, 8, -22, 60, 7, 80, 0, -4, 2, 26, 72, 32, 20, -74, 2, -100, 8, 0, 30, 44, 42, 30, -32, -54, -10, 40, -34, -32, 0, 4, -50, -60, 0, 18, -12, 6, -54, 4, -42, 0, -30, -6, -4, 100, 0, 62, 52, 20, -4, 8, 0, 48, -16, -28, -6, 84, 2, 82, -56, -24, 58, 0, -80, 30, 2, 11, 12, -40, 0, -14, 8, 64, 0, 168, 4, 84, 46, -10, 26, 8, 6, 62, -88, 0, 3, -28, -28, -52, 36, -6, -88, -40, 56, -28, 0, 24, 12, 92, 28, -8, -24, -18, 48, -8, -3, 0, -16, 40, -28, -56, -80, 36, 7, -2, -14, 4, 0, -18, -38, 0, -16, -42, 6, -32, 28, 34, -14, 0, 3, -4, -136, -48, 16, 2, 4, -42, 4, 66, 0, 14, 4, 76, 20, 76, -2, 4, -18, 12, 28, 0, 16, 20, -30, 38, -2, -28, -8, 70, -48, -36, 0, 2, 21, 164, 12, 42, -60, 36, -6, -8, 76, 0, -36, 62, 8, 14, 4, -44, -68, -8, 26, 0, 0, -24, -8, 40, 56, 174, -12, -12, 60, 42, -2, 0, 8, 14, 8, 76, 4, -20, -30, -62, 18, -34, 0, -104, -12, 66, -8, 20, 18, -168, -18, -22, 12, 0, 10, 52, 38, 12, -44, 42, 80, -132, -3, 112, 0, 58, 70, 7, -12, 10, 40, 2, 2, 56, -28, 0, -3, 20, -28, -72, -66, -120, 8, 12, 24, -32, 0, 42, 56, -36, -4, 24, -10, -88, -7, 16, -24, 0, 9, -100, 40, -92, 0, -192, -8, 72, 52, -54, 0, -52, 14, 24, -30, -20, 38, 104, 22, 0, -2, 0, 76, 98, -4, -14, 12, -3, -4, -16, 18, -88, 0, -100, 2, 68, -12, -28, -16, 58, -16, 74, -4, 0, 2, -42, 24, 128, -8, 0, 28, 40, -2, -64, 0, -2, -68, 24, 20, 46, 6, 2, -44, -4, 6, 0, -32, 92, -14, 3, -82, -180, 16, 4, 36, -56, 0, 70, 6, 56, 8, -62, 20, 16, 12, -68, -8, 0, -52, -24, -18, 4, -8, -16, -3, -134, 56, -16, 0, -28, 34, -80, 32, -80, 7, -20, -40, 84, -18, 0, -16, 26, 28, 64, -16, 28, -52, -8, 2, 28, 0, 130, 116, -112, 3, 44, 18, 40, -84, 16, -38, 0, -10, -38, 4, 48, 4, 104, -28, 4, 3, 74, 0, -28, -2, 98, -12, 94, -12, 28, 20, 54, -20, 0, -30, -60, 4, -116, -14, -8, 0, -40, -64, 104, 0, -22, -34, 8, -8, 12, -32, -4, 8, 16, -6, 0, 0, 120, 44, -36, -24, -24, 40, -48, 4, 176, 0, 4, 2, 26, -10, 160, -22, -168, -8, -14, 3, 0, -14, -12, -60, -32, 4, -42, -2, -80, -112, -120, 0, 8, -16, 98, -74, -91, -30, -100, 3, 24, -16, 0, 8, 134, -20, -6, -8, 12, -8, 12, 2, -18, 0, 20, -24, 56, 10, -16, 44, -8, 64, -44, 18, 0, 76, 92, -3, -72, -48, -20, 64, 70, -4, -56, 0, -106, 40, -64, 32, -98, -14, -28, -16, -4, -38, 0, -28, 0, 102, -86, 18, 8, 60, -4, 28, 24, 0, 88, 16, 40, -64, -4, 6, 16, 24, -52, -7, 0, 4, -8, 71, 9, 4, 12, -26, 14, 0, 48, 0, 56, 80, 52, -2, -112, -7, -70, 14, -64, -8, 0, -44, 38, -126, -36, -20, -36, -2, -74, 10, -80, 0, -4, -88, -36, -44, -32, -4, -86, -136, 86, 12, 0, -128, 132, 12, -86, -12, -8, -38, -26, 0, -16, 0, -108, 8, 92, 2, -152, 44, 56, 0, -8, 176, 0, 28, 112, -2, 24, -8, -108, -40, -68, 4, 28, 0, -12, 6, -39, -28, 16, -8, 6, 8, -140, 24, 0, -14, 42, 20, -20, -72, 16, -2, 132, -12, 82, 0, 72, -36, 0, 14, 8, -50, 20, -104, -54, 12, 0, -4, -38, 12, -52, -2, -74, 132, 52, -8, 12, 0, -92, -36, 56, -56, -108, -3, 16, 34, 20, 64, 0, 44, 7, 6, 8, -32, 20, -18, -184, 2, -40, 0, 28, 36, -122, -2, 20, -52, -12, 8, 128, 42, 0, 8, 14, 80, -168, 3, 84, 46, 42, -26, -84, 0, 74, 56, -114, -10, -16, -8, 94, -8, 4, 14, 0, -46, -108, 3, -26, 66, -132, 0, -2, -80, 16, 0, -46, -12, -54, -28, -104, 188, -20, -12, 26, -30, 0, 4, 56, -24, 12, 20, 0, -62, -48, -4, 112, 0, -80, -4, 260, 36, -8, -14, 122, -10, -16, 8, 0, -44, 56, 2, 0, 2, -28, 0, -50, -24, -172, 0, 58, 64, 4, -28, -192, 28, 76, 2, 73, -45, 0, 10, -22, -36, 0, 36, -88, 3, -92, 32, 62, 0, -60, -12, 68, 96, -84, -2, 46, -28, 8, 8, 0, 34, 44, 6, -10, -74, 56, -8, -24, -38, 3, 0, -164, 4, -24, 8, 34, 36, -84, -22, -8, 98, 0, 8, 56, 2, 100, -4, 110, 74, -24, 12, 34, 0, 40, 44, -126, 40, -24, -8, 18, 32, 20, 16, 0, -3, 24, 20, -44, -10, 64, -12, -28, -16, 22, 0, -56, -86, 180, 7, 32, -64, 0, -20, 120, -16, 0, 52, -134, 88, -28, -12, -6, -16, -20, 18, -20, 0, 80, -12, 28, -104, 20, 60, 96, 16, -120, 3, 0, -8, 6, 22, 8, -60, 16, -7, 2, -80, -180, 0, 71, 4, -104, -2, -64, -26, -10, -72, 4, -32, 0, -20, -56, 74, -152, -2, -12, 100, -64, -8, 14, 0, 28, -30, -16, -44, 108, -42, 64, -30, -20, 32, 0, 54, -12, 10, -8, -40, -108, 34, -88, 32, 108, 0, 151, -4, -228, 50, -24, 60, 12, 0, -112, -18, 0, 12, -34, -6, -58, 54, -38, -4, 60, 42, -36, 0, -24, 30, -6, 6, 2, 4, -50, -100, -40, 0, 0, -62, 26, -52, 28, -20, 48, 4, -164, -8, 88, 0, 8, -48, 4, 16, -12, 28, -116, 6, -62, -84, 0, -2, -8, -82, 62, 56, 56, 24, 8, -58, 58, 0, 20, 80, -176, -30, -108, -2, -116, -11, 108, -12, 0, 40, -24, 0, -88, 14, 2, -8, -98, -64, -104, 0, 140, -168, -18, -4, -32, -84, -176, -46, -2, 10, 0, -26, 2, -8, -4, -6, -44, -62, -36, 88, -120, 0, -108, -3, -28, 28, -48, 28, 64, 52, 70, -36, 0, 6, 0, 88, 6, 40, -18, -56, -64, 28, -42, 0, -28, -24, 220, -12, -2, -92, 24, -28, 116, 8, 0, 24, -102, 18, 8, -48, -62, 8, -106, 3, 148, 0, 88, 16, -26, -40, -60, 28, -4, 56, -12, 80, 0, -36, -8, -7, -50, 2, -36, 14, -176, -4, 9, 0, 3, 18, -48, 38, -38, 0, -148, 16, 20, 42, 0, -6, 52, 32, -116, -28, 4, -34, 52, 14, -12, 0, 108, -3, -96, 4, 38, 136, 10, 48, 20, -16, 0, -2, 32, -4, 234, 42, 196, -4, -4, -66, 88, 0, 82, -14, -20, -4, -24, -76, 8, -20, -96, -76, 0, 2, -118, -4, -48, 18, 0, -12, -44, -28, -84, 0, -128, -16, -16, -20, -28, 30, -94, -38, -56, 2, 0, 28, 156, 8, 10, -70, -8, 48, -76, 36, -70, 0, -96, -2, 32, -21, -88, -164, -72, -12, -68, -42, 0, 60, -2, -36, -84, 6, 62, 8, -34, -76, -168, 0, 6, 36, -90, -62, 128, -8, 62, -14, 50, -4, 0, 44, -20, 68, 16, 8, 94, -26, -14, 0, -22, 0, -16, 24, -48, 8, -78, -40, 8, -56, -4, -174, 0, 12, -60, 12, -16, -60, -116, -42, 44, 2, -52, 0, -128, -8, 120, -14, -24, -8, 16, -76, -112, -4, 0, 20, 56, 30, -248, 62, -12, -18, -4, 34, 84, 0, 184, 104, 2, 12, 7, -66, -64, 8, 83, -20, 0, -18, -102, 168, 52, 18, -128, 22, 28, -12, 76, 0, 136, -10, 18, -52, 68, -38, 64, -12, -68, 44, 0, -42, 60, -80, 108, 132, -60, 3, -16, -112, 8, 0, 22, -58, -84, -70, -68, -7, -32, 12, 40, -10, 0, -40, -32, -2, -108, -2, 4, -56, -96, 28, -72, 0, -14, 3, -10, -20, 100, 28, -46, 72, -2, 66, 0, 120, -28, -8, 74, -12, 60, -24, -30, 32, -4, 0, -20, -42, -12, -56, -48, 36, 32, 4, 14, -24, 0, 10, 128, 88, 0, 7, 34, -16, -84, 24, 114, 0, 0, -9, -4, 100, 50, -40, -8, 92, -84, 0, 0, 192, 124, 8, 12, -72, 32, -52, -20, 54, 0, 0, -24, 52, 42, -14, -380, -24, -124, 30, 74, 20, 0, -38, 4, -104, -52, -22, 204, 0, -44, 2, -124, 0, -52, -76, 122, -98, -22, 4, 88, 14, 20, -12, 0, 3, 120, 4, -24, 16, 34, -18, -60, 88, 6, 0, 74, 100, -48, -2, -74, -68, -40, 12, 56, 28, 0, 16, -84, -58, 20, 16, 70, -74, 80, 4, 144, 0, 100, -2, 3, 42, -128, -24, -12, -128, -88, 8, 0, 0, 82, -28, -88, -40, -8, 2, -22, 64, -152, 0, 26, 2, -110, 68, -4, -24, -20, -20, -24, -46, 0, -6, 96, -2, -26, 44, 46, 4, 28, -6, 84, 0, 18, 32, 88, -92, -34, 14, 124, -3, -272, 82, 0, 180, 28, -16, 64, -4, 76, -36, 52, 56, -132, 0, 88, -70, -82, -6, 16, -56, 32, -8, 34, 62, 0, -20, -58, -16, 64, -12, 56, 68, 48, 8, -28, 0, -8, 52, 72, 24, -120, 18, 166, -4, -48, 8, 0, 16, 28, 3, 16, 134, -60, -56, 16, 16, -12, 0, 76, 28, 52, -34, 6, 80, 80, -32, 4, 80, 0, -7, -34, 20, -62, 40, 14, -84, 71, 18, 214, 0, -20, 16, 96, -26, 38, -28, -160, -64, 32, 16, 0, -28, 4, 52, -6, 8, -172, -2, 28, -28, -196, 0, -60, -130, 14, -116, 16, 112, 36, -3, -116, -44, 0, -18, 136, -40, -148, 84, -20, -16, -100, 38, -72, 0, -4, 10, -64, 38, -32, -4, -144, -48, -88, -4, 0, -104, -96, 28, 48, -4, -26, -3, 34, -74, -20, 0, 12, 28, 52, 2, 85, -98, 60, 12, 18, -94, 0, 12, -76, -28, -38, -20, -64, -54, -16, 20, 18, 0, -56, 30, -78, 60, 160, -4, 2, 116, -48, 14, 0, 8, 20, 0, 146, 40, 48, 64, 54, -104, 28, 0, -248, 22, 156, 34, -21, -8, -68, 8, 248, -12, 0, 32, 4, 4, 60, -8, 2, -16, -114, 6, -16, 0, -112, 0, -76, -120, -8, -44, -36, 36, 96, 24, 0, 24, -8, -40, 82, 48, -64, -4, 20, -176, -48, 0, 68, -4, -100, -2, -98, -26, 32, 10, -46, -160, 0, 22, -264, 168, 16, 8, 48, 14, 80, -3, -56, 0, 62, 14, -104, 12, -16, 60, -30, 32, -60, -4, 0, 42, 68, 2, 112, 80, -2, 112, -8, 120, -176, 0, 154, -8, -88, 16, -56, -98, -4, 74, -36, 91, 0, 30, -88, 100, -8, -3, -18, -24, 128, 16, -218, 0, 64, -8, 42, -134, 12, 20, 24, 6, -80, 8, 0, -12, 56, 8, -18, -12, -8, -2, -176, 18, 152, 0, 64, -20, -12, 24, -16, -56, -2, -10, -112, 16, 0, -44, -38, 8, -52, -64, 50, 44, -156, -18, 8, 0, -80, -76, -64, -92, -68, 3, 134, 72, 18, 48, 0, 20, -26, -64, 21, -70, 20, 4, 164, 56, 12, 0, 228, 106, 100, -40, -8, 64, 4, -32, -2, 98, 0, 14, -44, 28, 268, 16, -102, 4, 3, 38, 110, 0, -16, 28, 120, 0, -164, -102, 66, 86, 0, -18, 0, -8, -64, -60, -8, 4, -24, -28, 18, -24, 144, 0, 106, -88, -12, -16, -56, -40, -224, 64, -16, 4, 0, -6, 82, -16, 10, -24, 20, 52, 130, 7, -16, 0, -230, -4, 24, 8, 220, -71, -64, -9, -4, -4, 0, -12, -40, 26, 152, -14, -96, 0, 16, -48, -44, 0, 8, -56, 172, -80, -78, -52, 128, 2, -8, 112, 0, 7, 86, 70, 0, -14, 72, 64, -20, 8, 30, 0, -118, 44, -232, -38, 20, 126, -28, 36, -22, 20, 0, 36, -46, 2, -36, 74, -40, -10, -76, 80, 10, 0, -24, 4, -8, 88, -68, 36, -12, 44, 2, 32, 0, 4, 32, 86, -196, 136, -18, -86, 112, -12, -154, 0, -20, 128, -136, -132, -2, -12, 108, 86, 72, 12, 0, 8, -76, 38, 16, 26, 32, 0, 6, 16, -132, 0, 48, 108, 4, -8, -64, -92, 128, -2, -114, 152, 0, -44, -24, -56, 148, 0, 64, 8, -96, -176, 56, 0, -28, -28, -22, -112, 64, 2, 292, -24, 40, 8, 0, 108, 124, 40, 68, 68, -4, -4, 18, -28, -20, 0, 162, 12, -76, -6, -50, 39, 168, 28, 44, -16, 0, 8, -18, -6, -80, -8, 248, 140, 32, -24, 160, 0, 16, 14, 162, -42, -148, -20, 82, 20, -40, 72, 0, -16, 40, 2, -12, -132, -36, 12, -172, -82, 48, 0, -168, -72, 2, 36, -6, 0, 7, -14, -26, -8, 0, 50, -56, -20, -20, 104, -184, 54, 44, -12, 52, 0, -236, 4, 8, 38, -80, -12, -36, 52, -88, 2, 0, 74, 18, -132, 148, -52, 118, 8, 100, -12, -72, 0, 3, 92, 40, 36, 60, -56, -104, 56, -60, 108, 0, 3, 122, -16, -40, -34, 162, -20, 22, -64, -32, 0, -52, -44, 160, -7, 100, -6, 176, -8, 40, 32, 0, -20, -40, 18, -44, 184, -60, -2, 16, 40, 76, 0, 102]