# Trace form for 2025.2.a.f, downloaded from the LMFDB on 05 September 2025.
[0, 1, 2, 0, 2, 0, 0, 0, 0, 0, 0, -5, 0, -4, 0, 0, -4, -4, 0, -5, 0, 0, -10, 6, 0, 0, -8, 0, 0, 5, 0, -9, -8, 0, -8, 0, 0, 10, -10, 0, 0, -7, 0, 2, -10, 0, 12, 2, 0, -7, 0, 0, -8, 8, 0, 0, 0, 0, 10, 1, 0, -2, -18, 0, -8, 0, 0, -6, -8, 0, 0, -1, 0, 8, 20, 0, -10, 0, 0, 12, 0, 0, -14, 6, 0, 0, 4, 0, 0, 9, 0, 0, 12, 0, 4, 0, 0, -14, -14, 0, 0, 3, 0, -2, 0, 0, 16, -6, 0, -1, 0, 0, 0, -16, 0, 0, 10, 0, 2, 0, 0, 14, -4, 0, -18, 0, 0, -16, 0, 0, 0, -15, 0, 0, -12, 0, 0, 12, 0, -19, 0, 0, -2, 20, 0, 0, 16, 0, 20, 2, 0, -5, 0, 0, 0, 0, 0, -2, 24, 0, 0, 0, 0, -8, -14, 0, 12, 12, 0, 3, 0, 0, 4, -6, 0, 0, 20, 0, 18, -23, 0, -25, 0, 0, 0, 0, 0, 20, 4, 0, 0, -1, 0, -26, -28, 0, -14, 12, 0, 16, 0, 0, 6, 0, 0, 0, -4, 0, 16, 25, 0, 11, 16, 0, -12, 0, 0, 0, -2, 0, 0, 16, 0, -8, 0, 0, -32, 4, 0, 6, 0, 0, 0, 6, 0, 0, 2, 0, 0, 16, 0, -11, 28, 0, -4, 0, 0, 20, 0, 0, 0, 12, 0, -30, -32, 0, 16, -6, 0, 0, 0, 0, -30, 10, 0, 0, 0, 0, -12, 31, 0, -8, 16, 0, 24, 0, 0, 18, -38, 0, 0, -6, 0, -6, -2, 0, 40, 0, 0, -1, 0, 0, 16, 18, 0, 0, 0, 0, 4, -24, 0, 0, -10, 0, 20, 0, 0, -10, 0, 0, 0, 9, 0, 4, -4, 0, 24, -2, 0, -25, 0, 0, 0, 20, 0, 0, -16, 0, 0, 0, 0, -21, 12, 0, 24, 0, 0, 8, 6, 0, 0, 45, 0, 0, 0, 0, -12, 20, 0, 13, 0, 0, 40, -18, 0, 0, 18, 0, -46, 27, 0, 6, -50, 0, 0, 0, 0, -18, -24, 0, 0, 0, 0, -16, 40, 0, 0, -20, 0, 4, 0, 0, -2, -36, 0, 0, -52, 0, -28, -6, 0, -24, 0, 0, 24, 0, 0, 38, 32, 0, 0, -30, 0, 36, 6, 0, 0, -50, 0, 14, 0, 0, -4, 0, 0, 0, 32, 0, 50, -16, 0, 13, 22, 0, 0, 0, 0, 0, -12, 0, 0, -3, 0, 26, 0, 0, -2, -30, 0, -29, 0, 0, 32, 6, 0, 0, -16, 0, 0, -17, 0, 35, -32, 0, 8, 0, 0, 38, 12, 0, 0, 15, 0, 6, -20, 0, 12, 4, 0, 0, 0, 0, 0, -10, 0, 0, 0, 0, 32, 15, 0, -40, -22, 0, 28, 0, 0, -8, 0, 0, 0, -43, 0, -20, 40, 0, 36, 0, 0, 7, 0, 0, 24, -20, 0, 0, -60, 0, -32, -2, 0, 0, 32, 0, -12, 0, 0, -10, 0, 0, 0, -10, 0, -16, -30, 0, 20, 36, 0, 13, 0, 0, 0, 28, 0, 0, 0, 0, 62, 35, 0, 3, -16, 0, 32, 0, 0, -28, 24, 0, 0, -25, 0, 0, 36, 0, -38, -24, 0, -8, 0, 0, -12, -18, 0, 0, -12, 0, 0, 3, 0, 5, 40, 0, 0, 0, 0, 16, -2, 0, 0, 0, 0, -40, 0, 0, 36, 18, 0, 45, 0, 0, -40, -14, 0, 0, 4, 0, -48, 17, 0, -19, 0, 0, -10, 0, 0, -34, 40, 0, 0, -8, 0, -4, -20, 0, 0, -24, 0, -28, 0, 0, 18, 0, 0, 0, 8, 0, -4, -40, 0, -17, 0, 0, -4, 0, 0, 28, -50, 0, 0, -3, 0, -6, 0, 0, 40, -10, 0, -5, 0, 0, -16, -8, 0, 0, 28, 0, 0, -44, 0, 25, -42, 0, 0, 0, 0, 30, 24, 0, 0, 10, 0, -42, 16, 0, 6, 6, 0, 0, 0, 0, 90, 48, 0, 0, 0, 0, -8, -32, 0, 4, -12, 0, 40, 0, 0, 28, 26, 0, 0, -19, 0, -50, 40, 0, -36, 0, 0, 22, 0, 0, 0, -54, 0, 0, -46, 0, 54, -27, 0, 0, 12, 0, -50, 0, 0, -44, 0, 0, 0, -8, 0, 46, -36, 0, -48, 30, 0, -35, 0, 0, 0, -4, 0, 0, -32, 0, 40, 0, 0, -32, -8, 0, -40, 0, 0, -28, 8, 0, 0, 27, 0, 0, -2, 0, -72, -4, 0, 5, 0, 0, -52, 18, 0, 0, 0, 0, -12, 35, 0, 5, -48, 0, 28, 0, 0, -4, 24, 0, 0, 0, 0, 8, 76, 0, 32, 4, 0, -8, 0, 0, -60, -40, 0, 0, 72, 0, 0, -7, 0, -21, 0, 0, -100, 0, 0, -10, 28, 0, 0, -3, 0, 46, 0, 0, 0, 44, 0, 27, 0, 0, 32, 28, 0, 0, 50, 0, -32, -13, 0, -4, 26, 0, 22, 0, 0, 0, -32, 0, 0, 60, 0, 0, 0, 0, 0, 32, 0, 55, 0, 0, -6, -44, 0, 0, 52, 0, 0, -60, 0, 24, 0, 0, -60, 0, 0, 24, -58, 0, 0, 25, 0, 52, 32, 0, 12, 6, 0, 0, 0, 0, -16, -10, 0, 0, 0, 0, -34, -45, 0, -32, 70, 0, 0, 0, 0, 18, 8, 0, 0, 49, 0, -30, 76, 0, 12, 0, 0, -11, 0, 0, 30, 4, 0, 0, 12, 0, -40, -1, 0, 35, 12, 0, 8, 0, 0, -42, 0, 0, 0, -46, 0, -42, -4, 0, -20, 18, 0, -32, 0, 0, 0, -16, 0, 0, 32, 0, 30, 0, 0, 50, -80, 0, -22, 0, 0, 40, 0, 0, 0, 27, 0, 0, -16, 0, 8, -28, 0, -45, 0, 0, -86, 48, 0, 0, -40, 0, 40, 12, 0, -1, 72, 0, 0, 0, 0, -48, 14, 0, 0, 0, 0, -4, 24, 0, -40, -40, 0, 17, 0, 0, -60, -20, 0, 0, 0, 0, -4, -9, 0, 31, 0, 0, 32, 0, 0, -48, -12, 0, 0, 15, 0, -6, -20, 0, 0, 8, 0, -56, 0, 0, -20, 0, 0, 0, -32, 0, 0, -51, 0, 36, 20, 0, 72, 0, 0, 0, 26, 0, 0, -9, 0, 28, 0, 0, 56, 70, 0, -29, 0, 0, 24, 50, 0, 0, 62, 0, 70, -24, 0, 12, 6, 0, -16, 0, 0, -2, 32, 0, 0, -16, 0, 44, -56, 0, 0, 34, 0, 0, 0, 0, -50, -30, 0, 0, 0, 0, 36, 49, 0, -15, 0, 0, -48, 0, 0, 18, -16, 0, 0, -5, 0, 56, -12, 0, -36, -42, 0, 11, 0, 0, -12, 10, 0, 0, 4, 0, 6, 24, 0, 0, 10, 0, 0, 0, 0, -90, 0, 0, 0, 28, 0, -58, 32, 0, -2, -36, 0, 10, 0, 0, 0, -10, 0, 0, -80, 0, -32, 0, 0, -36, 36, 0, 36, 0, 0, 30, 90, 0, 0, 37, 0, 0, -80, 0, -28, -66, 0, -35, 0, 0, 0, 16, 0, 0, -48, 0, 34, 5, 0, -23, -38, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 54, -68, 0, 40, 60, 0, 48, 0, 0, -16, -44, 0, 0, -8, 0, -20, -15, 0, -39, 0, 0, -48, 0, 0, 60, -56, 0, 0, -32, 0, 80, 18, 0, 0, 10, 0, -23, 0, 0, 8, 0, 0, 0, 0, 0, -80, -12, 0, 56, -34, 0, -48, 0, 0, 0, -4, 0, 0, 63, 0, 30, 56, 0, -50, -12, 0, -37, 0, 0, -6, 56, 0, 0, -12, 0, 0, -54, 0, 20, 40, 0, -20, 0, 0, 58, -10, 0, 0, 5, 0, 36, 0, 0, -16, -64, 0, 0, 0, 0, 56, -12, 0, 0, 0, 0, -88, 15, 0, -7, 50, 0, -42, 0, 0, -22, -24, 0, 0, -15, 0, -18, 60, 0, 0, 0, 0, 8, 0, 0, 20, -48, 0, 0, -84, 0, 16, 5, 0, 0, 0, 0, 12, 0, 0, 6, 0, 0, 0, -45, 0, 10, 90, 0, 96, 10, 0, 63, 0, 0, 0, 42, 0, 0, -16, 0, -64, 0, 0, -35, 8, 0, 0, 0, 0, -40, 40, 0, 0, 24, 0, 0, 56, 0, 26, 80, 0, 5, 0, 0, -38, -12, 0, 0, -100, 0, 0, 33, 0, -24, -36, 0, 0, 0, 0, 4, 44, 0, 0, -35, 0, 8, -36, 0, -108, -20, 0, -1, 0, 0, 0, -30, 0, 0, 54, 0, -54, 32, 0, 75, 0, 0, 12, 0, 0, -34, 0, 0, 0, -60, 0, -12, -88, 0, 0, -18, 0, -35, 0, 0, -16, 0, 0, 0, 92, 0, -36, 64, 0, -40, -48, 0, 60, 0, 0, 0, -70, 0, 0, 34, 0, -44, 0, 0, -8, -42, 0, 63, 0, 0, -32, -32, 0, 0, 0, 0, 0, 36, 0, -60, -64, 0, -16, 0, 0, -60, -40, 0, 0, -51, 0, -36, -56, 0, 8, -70, 0, 63, 0, 0, 54, 36, 0, 0, 0, 0, 0, 95, 0, 24, -72, 0, -8, 0, 0, 40, 10, 0, 0, -36, 0, -34, 0, 0, 36, 0, 0, 54, 0, 0, 56, 36, 0, 0, -12, 0, 70, -47, 0, 0, 10, 0, -48, 0, 0, 22, 56, 0, 0, -44, 0, -56, -8, 0, 0, -30, 0, -49, 0, 0, 0, -46, 0, 0, 16, 0, 76, 0, 0, 20, 0, 0, 8, 0, 0, -22, -16, 0, 0, -29, 0, 0, -60, 0, -80, -78, 0, 3, 0, 0, 72, -74, 0, 0, -12, 0, -14, 0, 0, 43, -42, 0, 0, 0, 0, -14, -100, 0, 0, 0, 0, -6, -20, 0, 28, 60, 0, -10, 0, 0, -6, -72, 0, 0, 92, 0, 8, 56, 0, 64, 0, 0, 88, 0, 0, 40, 54, 0, 0, 25, 0, 38, 0, 0, 56, -62, 0, -19, 0, 0, 0, 0, 0, 0, -32, 0, -26, 48, 0, 8, -8, 0, 26, 0, 0, 0, 0, 0, 0, -45, 0, -12, 0, 0, -64, 30, 0, -35, 0, 0, 120, 60, 0, 0, 0, 0, 0, -26, 0, 5, 24, 0, 64, 0, 0, -12, 110, 0, 0, 71, 0, 40, -6, 0, -88, 10, 0, 0, 0, 0, 52, 62, 0, 0, 0, 0, -120, 20, 0, -13, 48, 0, 4, 0, 0, -16, -60, 0, 0, 8, 0, 52, 48, 0, -58, 0, 0, -39, 0, 0, 50, -14, 0, 0, 104, 0, 0, -10, 0, 0, 12, 0, 12, 0, 0, 18, 0, 0, 0, -48, 0, 22, 0, 0, -20, 30, 0, 9, 0, 0, 0, 40, 0, 0, -34, 0, -90, 0, 0, -30, -64, 0, 70, 0, 0, 76, 64, 0, 0, -60, 0, -70, 36, 0, 0, 72, 0, 24, 0, 0, 98, -26, 0, 0, -60, 0, 76, -9, 0, 64, 0, 0, 0, 0, 0, -60, -22, 0, 0, 0, 0, 70, 30, 0, 8, -62, 0, -39, 0, 0, 12, 4, 0, 0, -40, 0, -2, -15, 0, 54, 70, 0, 0, 0, 0, -48, 8, 0, 0, 39, 0, 26, -84, 0, 0, 42, 0, 11, 0, 0, -92, 0, 0, 0, -84, 0, -8, -78, 0, 18, -20, 0, 36, 0, 0, 0, -64, 0, 0, -55, 0, 30, 0, 0, -32, 16, 0, 36, 0, 0, 0, -12, 0, 0, 30, 0, 0, -15, 0, 64, 100, 0, -80, 0, 0, -14, 0, 0, 0, 63, 0, 28, 80, 0, -56, -8, 0, 0, 0, 0, 54, -30, 0, 0, 0, 0, -16, 27, 0, 59, 16, 0, -56, 0, 0, 10, -90, 0, 0, 80, 0, 20, -86, 0, 96, 0, 0, 115, 0, 0, -40, 48, 0, 0, 0, 0, 24, 9, 0, 0, -2, 0, 72, 0, 0, -62, 0, 0, 0, 125, 0, 18, -96, 0, 14, 20, 0, -59, 0, 0, 0, 66, 0, 0, -8, 0, 0, 49, 0, 67, -40, 0, -80, 0, 0, 28, 34, 0, 0, 4, 0, 0, 0, 0, -40, 72, 0, 5, 0, 0, 64, 30, 0, 0, -4, 0, -18, 81, 0, 8, 62, 0, 0, 0, 0, 54, 0, 0, 0, 0, 0, 48, -96, 0, 0, -56, 0, -5, 0, 0, 30, 66, 0, 0, -12, 0, -20, 33, 0, 5, 0, 0, 16, 0, 0, 54, -112, 0, 0, 27, 0, -38, -20, 0, 0, -8, 0, 73, 0, 0, -32, 0, 0, 0, 60, 0, -102, -33, 0, 5, 72, 0, 0, 0, 0, -14, 72, 0, 0, -57, 0, 30, 0, 0, 26, 40, 0, 32, 0, 0, -18, 130, 0, 0, 56, 0, 0, -81, 0, -28, 56, 0, 140, 0, 0, 40, -58, 0, 0, 13, 0, -16, 48, 0, 100, 80, 0, 0, 0, 0, 0, 72, 0, 0, 70, 0, -48, 64, 0, -71, 24, 0, 6, 0, 0, -60, 0, 0, 0, -48, 0, -56, -4, 0, 0, 0, 0, 23, 0, 0, -32, 10, 0, 0, 88, 0, -56, -80, 0, 0, -48, 0, 68, 0, 0, 40, 0, 0, 0, 9, 0, 26, -50, 0, -60, 0, 0, -43, 0, 0, 0, -70, 0, 0, 0, 0, 98, 0, 0, -39, -30, 0, 76, 0, 0, 60, -48, 0, 0, -84, 0, 0, 36, 0, -16, 2, 0, 89, 0, 0, -10, -8, 0, 0, 112, 0, 0, 24, 0, -7, -36, 0, -84, 0, 0, -20, 22, 0, 0, 0, 0, -72, 0, 0, 20, -14, 0, 35, 0, 0, 8, 58, 0, 0, 6, 0, 48, 16, 0, 5, 0, 0, 10, 0, 0, -48, -80, 0, 0, 60, 0, 2, -180, 0, 0, -26, 0, -70, 0, 0, 56, -14, 0, 0, -116, 0, 32, -45, 0, -12, 0, 0, -72, 0, 0, 0, 20, 0, 0, -55, 0, 18, 0, 0, -20, 92, 0, -48, 0, 0, -80, -64, 0, 0, -64, 0, 0, 36, 0, -43, -72, 0, 0, 0, 0, 38, 36, 0, 0, 33, 0, 100, 60, 0, 90, -8, 0, 0, 0, 0, 74, 76, 0, 0, 0, 0, -80, -12, 0, -63, -28, 0, -132, 0, 0, -60, -70, 0, 0, -10, 0, -46, -8, 0, 32, 0, 0, -27, 0, 0, 0, -30, 0, 0, 34, 0, 10, 29, 0, 49, -46, 0, -38, 0, 0, 30, 0, 0, 0, 93, 0, 80, 8, 0, 20, -42, 0, -7, 0, 0, 0, -16, 0, 0, 108, 0, -68, 0, 0, -80, 0, 0, 120, 0, 0, 8, 96, 0, 0, 67, 0, 0, -16, 0, -88, 72, 0, -108, 0, 0, -8, 40, 0, 0, 0, 0, -30, 25, 0, -36, -78, 0, 0, 0, 0, 70, -48, 0, 0, 0, 0, 44, 120, 0, -56, 72, 0, -60, 0, 0, -64, 4, 0, 0, 160, 0, 0, 75, 0, 16, 0, 0, 20, 0, 0, -20, -46, 0, 0, 14, 0, -66, 0, 0, 0, -6, 0, 104, 0, 0, 8, 0, 0, 0, -80, 0, -24, -30, 0, -31, 112, 0, -34, 0, 0, 0, -96, 0, 0, -69, 0, -8, 0, 0, 0, 2, 0, -12, 0, 0, 126, 14, 0, 0, 60, 0, 56, 63, 0, -45, 0, 0, -24, 0, 0, 32, -74, 0, 0, -48, 0, -30, -6, 0, 112, 20, 0, 0, 0, 0, -12, -54, 0, 0, 0, 0, -108, -41, 0, 45, 40, 0, 0, 0, 0, -64, -20, 0, 0, -93, 0, -2, 116, 0, -10, -56, 0, -96, 0, 0, 10, -60, 0, 0, 72, 0, 32, -9, 0, 0, -16, 0, -128, 0, 0, -16, 0, 0, 0, -22, 0, -4, 56, 0, -24, -10, 0, -80, 0, 0, 0, 30, 0, 0, -88, 0, 30, 0, 0, 95, -14, 0, 50, 0, 0, -58, 0, 0, 0, 55, 0, 0, -44, 0, -48, -14, 0, 21, 0, 0, -30, 8, 0, 0, -36, 0, 60, 8, 0, -88, -48, 0, 0, 0, 0, 10, 16, 0, 0, 0, 0, -24, 20, 0, -96, 42, 0, 30, 0, 0, -84, 20, 0, 0, 0, 0, 10, 4, 0, 80, 0, 0, -12, 0, 0, -86, 12, 0, 0, -71, 0, -14, 12, 0, 0, -100, 0, 35, 0, 0, -90, 0, 0, 0, 20, 0, 0, 18, 0, -68, 96, 0, 20, 0, 0, 0, 126, 0, 0, -15, 0, -44, 0, 0, 84, 42, 0, 67, 0, 0, -16, 72, 0, 0, -64, 0, 0, -81, 0, -60, -70, 0, 8, 0, 0, -58, 24, 0, 0, 32, 0, 2, -80, 0, 0, -68, 0, 0, 0, 0, 48, 84, 0, 0, 0, 0, 56, -37, 0, 40, 0, 0, 160, 0, 0, 52, 10, 0, 0, -82, 0, 78, -38, 0, -24, 0, 0, 11, 0, 0, -100, -70, 0, 0, -80, 0, 66, -27, 0, 0, -48, 0, 0, 0, 0, 30, 0, 0, 0, -10, 0, -72, 8, 0, 44, -42, 0, -48, 0, 0, -70, -16, 0, 0, 16, 0, -72, 0, 0, 45, -108, 0, -40, 0, 0, -68, -2, 0, 0, 34, 0, 0, 92, 0, -60, -4, 0, 25, 0, 0, 0, -12, 0, 0, -54, 0, 64, -37, 0, -12, 150, 0, 0, 0, 0, 14, 0, 0, 0, -7, 0, -50, -68, 0, 100, -96, 0, 32, 0, 0, -120, -86, 0, 0, -24, 0, -88, 2, 0, 7, 0, 0, -36, 0, 0, 14, -70, 0, 0, -96, 0, 120, -16, 0, 0, 36, 0, 15, 0, 0, 92, 0, 0, 0, 0, 0, 128, 43, 0, 24, -80, 0, 0, 0, 0, 0, 60, 0, 0, -16, 0, -38, 0, 0, -70, 2, 0, -155, 0, 0, 68, -62, 0, 0, -88, 0, 0, -6, 0, 53, -8, 0, -84, 0, 0, -24, 126, 0, 0, 40, 0, 10, 0, 0, -64, -10, 0, 14, 0, 0, -80, -56, 0, 0, 0, 0, 72, 16, 0]