# Trace form for 8450.2.a.bz, downloaded from the LMFDB on 06 September 2025.
[0, 3, 3, -1, 3, 0, -1, 5, 3, -4, 0, -4, -1, 0, 5, 0, 3, -10, -4, -8, 0, -4, -4, 3, -1, 0, 0, 2, 5, 3, 0, -8, 3, 6, -10, 0, -4, 8, -8, 0, 0, -11, -4, 1, -4, 0, 3, 15, -1, -8, 0, -6, 0, -4, 2, 0, 5, 12, 3, -24, 0, -15, -8, -9, 3, 0, 6, 5, -10, 6, 0, -32, -4, -26, 8, 0, -8, -2, 0, 2, 0, -5, -11, 7, -4, 0, 1, -1, -4, 17, 0, 0, 3, -16, 15, 0, -1, -6, -8, -4, 0, -17, -6, -19, 0, 0, -4, 16, 2, -9, 0, -12, 5, 4, 12, 0, 3, 0, -24, -12, 0, -9, -15, -22, -8, 0, -9, 1, 3, -12, 0, -22, 6, -18, 5, 0, -10, 18, 6, -20, 0, -26, -32, 0, -4, 0, -26, -2, 8, -3, 0, 26, -8, 18, -2, 0, 0, 2, 2, -8, 0, -16, -5, 3, -11, 0, 7, 15, -4, 0, 0, 6, 1, -2, -1, 0, -4, 22, 17, -6, 0, -29, 0, 26, 3, 0, -16, 4, 15, 15, 0, -14, -1, -20, -6, 0, -8, 24, -4, -20, 0, -4, -17, 12, -6, 0, -19, 10, 0, 20, 0, -26, -4, 6, 16, 0, 2, -18, -9, 32, 0, 0, -12, -35, 5, 0, 4, -13, 12, 35, 0, 10, 3, 30, 0, 0, -24, -10, -12, -8, 0, 29, -9, 5, -15, 0, -22, 0, -8, 21, 0, -40, -9, -32, 1, 0, 3, -24, -12, 4, 0, -11, -22, -5, 6, 0, -18, 6, 5, 37, 0, 0, -10, 0, 18, 0, 6, -40, -20, 34, 0, -23, -26, 29, -32, 0, 0, -23, -4, 1, 0, 44, -26, -24, -2, 0, 8, -12, -3, 0, 0, 18, 26, 8, -8, 0, 18, 11, -2, 32, 0, -50, 0, -8, 2, 0, 2, 34, -8, 10, 0, 32, -16, 8, -5, 0, 3, 10, -11, 32, 0, 28, 7, 8, 15, 0, -4, -32, 0, -20, 0, -36, 6, -32, 1, 0, -2, -5, -1, 14, 0, 0, -4, -4, 22, 0, 17, 4, -6, 8, 0, -17, -29, -25, 0, 0, 26, -47, 3, 45, 0, 26, -16, -80, 4, 0, 15, 0, 15, -22, 0, -40, -14, 13, -1, 0, -20, -6, -6, 67, 0, -24, -8, -16, 24, 0, -4, -4, -20, 20, 0, -37, -4, 0, -17, 0, 12, -48, -6, 11, 0, 50, -19, -40, 10, 0, 0, -12, 20, -16, 0, 23, -26, -6, -4, 0, 6, -53, 16, 0, 0, -2, 2, 6, -18, 0, -9, 6, 32, 36, 0, -1, 0, 17, -12, 0, -35, -27, 5, -13, 0, -46, 4, -46, -13, 0, 12, -8, 35, 26, 0, -45, 10, -36, 3, 0, 30, 47, 0, 34, 0, -38, -24, 8, -10, 0, -12, -18, -8, 10, 0, 0, 29, 3, -9, 0, 5, -43, -15, -15, 0, 12, -22, -10, 0, 0, -8, -44, 21, 32, 0, 16, -40, 11, -9, 0, -32, 0, 1, -1, 0, -62, 3, -38, -24, 0, -12, -48, 4, 24, 0, -45, -11, 11, -22, 0, -5, 64, 6, 32, 0, 18, -18, 0, 6, 0, 5, 30, 37, 34, 0, 21, 0, 12, -10, 0, 0, -53, 18, 27, 0, -8, 6, -20, -40, 0, -20, -24, 34, 0, 0, 8, -23, 23, -26, 0, 29, 8, -32, 39, 0, -8, 0, 28, -23, 0, -4, 60, 1, 44, 0, -28, 44, 52, -26, 0, -24, 25, -2, -16, 0, -8, 8, 6, -12, 0, -3, -26, 0, -22, 0, 29, 18, -30, 26, 0, 8, 21, -8, -4, 0, 0, 18, -26, 11, 0, -2, 42, 32, 0, 0, -40, -50, -16, 0, 0, -8, -44, 2, -8, 0, -4, 2, 32, 34, 0, -8, 0, 10, 38, 0, 85, 32, 44, -16, 0, 8, -12, -5, 60, 0, -8, 3, 94, 10, 0, -11, 30, 32, 14, 0, -51, 28, 0, 7, 0, 8, -32, 15, -7, 0, 6, -4, -74, -32, 0, 0, -98, -20, -38, 0, -47, -36, 41, 6, 0, -32, 35, 1, 0, 0, 12, -2, -16, -5, 0, -1, 88, 14, -66, 0, 9, 0, -40, -4, 0, -4, -26, 22, 49, 0, 30, 17, 34, 4, 0, -6, -16, 8, 28, 0, -55, -17, 58, -29, 0, -25, 15, 0, 32, 0, 20, 26, -56, -47, 0, 3, 40, 45, -18, 0, 0, 26, 109, -16, 0, -80, 7, 4, 8, 0, -40, 15, -38, 0, 0, 15, -58, -22, 20, 0, -1, -40, 13, -14, 0, 13, 0, -1, -3, 0, -48, -20, 30, -6, 0, -6, -20, 67, -22, 0, 52, -24, 9, -8, 0, -16, 4, 24, 32, 0, 2, -4, 0, -4, 0, -20, -44, 20, -8, 0, 10, -37, 44, -4, 0, 0, -31, -17, -15, 0, 14, 12, -42, -48, 0, -6, -26, 11, 0, 0, 37, 50, -84, -19, 0, -40, 87, 10, -75, 0, 74, 0, 36, -12, 0, 20, 46, -16, -46, 0, -70, 23, 31, -26, 0, -6, -15, -4, 23, 0, 64, 6, -50, -53, 0, 16, 30, 0, -102, 0, -11, -2, 41, 2, 0, 6, 65, -18, -68, 0, 0, -9, -6, 6, 0, 32, 42, 36, 64, 0, -34, -1, 32, 0, 0, 17, 7, -12, 25, 0, 58, -35, -82, -27, 0, 5, 0, -13, -36, 0, 32, -46, -13, 4, 0, -46, 51, -13, 18, 0, 0, 12, -42, -8, 0, 35, -4, 26, -24, 0, -27, -45, 0, 10, 0, -36, 23, 3, 19, 0, 12, 30, 26, 47, 0, 0, 36, 34, -2, 0, 67, -38, 38, -24, 0, 8, 37, -10, 0, 0, -30, -12, -8, -18, 0, -8, -8, 10, 30, 0, 59, 0, -40, 29, 0, 3, 72, -9, -12, 0, 6, 5, 4, -43, 0, -15, 8, -15, -88, 0, -23, 12, 67, -22, 0, -10, -41, 0, -69, 0, 50, -8, 14, -44, 0, 21, -26, 32, 24, 0, 0, 16, 52, -40, 0, 11, -8, -9, -55, 0, -22, -32, -18, 0, 0, 1, 18, -1, -48, 0, -21, -62, 68, 3, 0, -38, 0, -24, 34, 0, 12, -12, 60, -48, 0, 4, 8, 24, -50, 0, 81, -45, 44, -11, 0, 11, 14, -22, -7, 0, 74, -5, 0, 64, 0, 6, 62, 32, 6, 0, -105, 18, -52, -18, 0, 0, 36, 6, 3, 0, 30, 5, -20, 30, 0, 37, 86, 34, 0, 0, 1, 21, -41, 0, 0, 12, -21, -10, 40, 0, 30, 0, -66, -53, 0, 18, -38, 27, 50, 0, 53, -8, -21, 6, 0, -20, 65, -40, -7, 0, 32, -20, -4, -24, 0, 34, -2, 0, 22, 0, 92, 8, 109, -23, 0, 23, -85, -26, 71, 0, 0, 29, 30, 8, 0, -32, 54, 39, -12, 0, 40, -8, 15, 0, 0, 28, 72, -23, -23, 0, 4, -4, -8, 60, 0, 1, 0, 44, 82, 0, 52, -28, 79, 44, 0, 52, 8, -26, 39, 0, -70, -24, -62, 25, 0, -2, 16, -16, 20, 0, 75, -8, 0, 8, 0, 6, -4, -12, -46, 0, 48, -3, -40, -26, 0, 0, 24, -22, 82, 0, 9, 29, 66, 18, 0, -30, 116, 26, 0, 0, -22, 8, 46, 21, 0, -8, -88, -4, -158, 0, 72, 0, -87, 18, 0, -26, -34, 11, -15, 0, 36, -2, -80, 42, 0, 32, 44, 0, 46, 0, 40, -40, -52, -50, 0, -16, 22, 0, -55, 0, 8, -8, 18, -44, 0, 2, 52, -8, 14, 0, 0, -4, -17, 2, 0, 32, 10, 34, 80, 0, 202, -8, -18, 0, 0, 10, 22, 38, 106, 0, 41, 85, 21, 32, 0, 44, 0, -16, 1, 0, -106, 8, -74, -12, 0, -5, 0, 60, 26, 0, 77, -8, 5, 3, 0, 94, -119, 10, -12, 0, 26, -11, 0, 30, 0, 32, 2, 14, 26, 0, -75, -51, 25, 28, 0, 0, 61, 7, -1, 0, 0, 8, 2, -32, 0, 15, -84, -7, 0, 0, -17, 6, 12, -4, 0, -74, 9, -32, 76, 0, -66, 0, 90, -98, 0, -20, -38, -38, -16, 0, 43, -47, 8, -36, 0, 41, 5, 6, -15, 0, 54, -32, -6, 35, 0, 1, -2, 0, 54, 0, -21, 12, -20, -2, 0, -16, 116, -5, 40, 0, 0, -1, -52, 88, 0, 14, -34, -66, 6, 0, -4, 9, 104, 0, 0, -40, -9, -4, -19, 0, -70, -4, -12, -26, 0, 22, 0, 49, 16, 0, 20, 30, 45, 17, 0, 34, 77, 4, -139, 0, 58, -6, 4, -16, 0, 8, -36, 28, 88, 0, 48, -55, 0, -17, 0, 58, 83, -29, 61, 0, 40, -25, -40, 15, 0, 0, 58, 32, -84, 0, -86, 20, 24, 26, 0, -56, -25, -47, 0, 0, 80, 3, 10, 40, 0, 45, -76, -18, 8, 0, -39, 0, 60, 26, 0, 109, -51, -16, 15, 0, 38, -80, -6, 7, 0, 4, -62, 8, -26, 0, -24, -40, -55, 15, 0, -38, 88, 0, 36, 0, 30, 15, -80, -58, 0, -22, 92, 20, -16, 0, 0, -1, 51, -40, 0, 13, 19, -14, 64, 0, 42, 13, 58, 0, 0, -1, 52, -3, 32, 0, -121, -48, 25, -20, 0, 30, 0, -6, 93, 0, 100, -6, -120, -20, 0, 67, -2, -22, 72, 0, -56, 52, 22, -24, 0, 9, -97, -8, -20, 0, 154, -16, 0, 4, 0, 24, 28, 32, 120, 0, 44, 2, 37, -4, 0, 0, 43, -4, -52, 0, -16, -20, -58, -44, 0, 20, 164, -8, 0, 0, -30, 10, 56, -37, 0, 44, -25, -4, -97, 0, -48, 0, -52, -31, 0, -17, -30, -15, -22, 0, 5, 14, -91, 12, 0, -42, -77, -48, -22, 0, 106, -6, -74, -26, 0, 11, 52, 0, 46, 0, -36, 37, -64, 50, 0, -84, -101, -19, -64, 0, 0, -40, -2, 87, 0, 10, 40, -75, -12, 0, -72, 74, -88, 0, 0, 36, 121, -12, -95, 0, -62, 20, -32, 46, 0, -16, 0, -46, 44, 0, 146, -70, 4, 23, 0, 31, 32, -26, -80, 0, -22, -6, 100, -15, 0, -4, -28, 23, -66, 0, -29, 64, 0, 6, 0, -50, 78, -53, -145, 0, -10, 16, -16, 30, 0, 0, 52, -102, 56, 0, -33, -11, -72, -2, 0, 41, 16, 2, 0, 0, -76, 6, 180, 65, 0, -18, 22, -68, 96, 0, 3, 0, 14, -9, 0, -6, -21, 6, -36, 0, 12, 32, 48, 42, 0, 36, -48, 64, -86, 0, -20, -34, 8, -1, 0, 32, 52, 0, -50, 0, -58, 17, -46, 7, 0, -12, -6, 25, -72, 0, 0, 58, -137, -35, 0, -82, -85, -27, -10, 0, 78, 5, 38, 0, 0, -13, -44, -36, -40, 0, -38, 32, 58, -46, 0, -13, 0, 4, 36, 0, 72, -46, -68, 51, 0, -13, 128, 18, -128, 0, 42, 0, -69, 12, 0, -42, -37, -8, -20, 0, -20, 35, 0, -4, 0, 26, 50, -24, -24, 0, -13, -27, 100, -45, 0, 0, 23, 10, -68, 0, -56, -36, 16, 23, 0, 3, -28, 19, 0, 0, -121, 12, -96, 30, 0, 26, 23, 47, -11, 0, 62, 0, 44, 36, 0, 34, 14, -2, 88, 0, 20, 67, 64, -38, 0, 38, -16, -24, -113, 0, 26, 8, 34, 37, 0, -10, 28, 0, 44, 0, -9, -30, 12, -12, 0, -8, 44, -18, 182, 0, 0, -8, -84, -8, 0, 10, 2, 30, 50, 0, 24, 59, -54, 0, 0, -40, 78, 29, -24, 0, 68, 3, 70, 72, 0, -9, 0, -12, -132, 0, -52, 6, 54, 5, 0, 4, -104, -43, 27, 0, 10, -15, 80, 8, 0, -15, 102, -88, -36, 0, -104, -23, 0, 12, 0, 67, 20, -22, 120, 0, -106, -10, 2, -41, 0, 0, -42, -69, 36, 0, 32, 50, 24, -8, 0, 14, 9, -44, 0, 0, 160, 21, 20, -26, 0, 32, -20, 24, -14, 0, 13, 0, 55, 16, 0, 52, 63, -40, -15, 0, 56, 11, -58, -8, 0, -9, 168, -55, 62, 0, 47, -22, -45, -32, 0, -18, 41, 0, -189, 0, 28, 1, 32, 18, 0, -1, 50, -48, -48, 0, 0, -21, 99, -62, 0, 68, 227, 3, 40, 0, -96, -38, 26, 0, 0, -24, 86, 34, -18, 0, -91, 12, -71, -12, 0, 60, 0, -48, -119, 0, 38, 4, 10, 8, 0, 24, -102, -50, -20, 0, 51, 81, -116, -45, 0, 44, 45, -11, -87, 0, 64, 11, 0, 14, 0, -22, -40, -7, -154, 0, -56, 74, 18, -5, 0, 0, 51, 64, 88, 0, -26, 6, -80, 62, 0, 32, -40, 6, 0, 0, 25, -105, 36, 18, 0, -52, -14, -18, -41, 0, -42, 0, 6, 36, 0, 6, 90, 3, -114, 0, -86, 30, 25, 5, 0, -20, -48, 30, 44, 0, 48, 37, 80, 86, 0, 34, 98, 0, 76, 0, 97, 1, 51, 21, 0, -41, -4, 0, -90, 0, 0, 12, -74, -21, 0, -10, -32, 40, -14, 0, -82, 30, -120, 0, 0, -66, -21, -53, -76, 0, -18, 18, 54, -38, 0, 27, 0, 50, 28, 0, 76, 53, 67, -8, 0, -21, -115, 6, 32, 0, -32, -20, 4, 65, 0, -40, 104, -7, 66, 0, -15, 32, 0, -20, 0, -4, 120, -24, -20, 0, 92, 34, 26, -2, 0, 0, 50, 22, -140, 0, -105, 92, 51, 8, 0, 109, 16, -23, 0, 0, 34, 23, 60, -85, 0, -26, -12, 71, 86, 0, 32, 0, 4, 29, 0, 30, 7, 8, 29, 0, 80, -32, -50, 54, 0, 39, 38, -12, 106, 0, -95, 40, 89, -8, 0, 15, -69, 0, 19, 0, -54, 28, -152, 72, 0, -23, 94, -23, -32, 0, 0, 4, -33, -4, 0, -8, -6, 60, 3, 0, 110, 1, 88, 0, 0, 44, 0, 82, 60, 0, 16, 52, -31, -28, 0, 79, 0, 44, -172, 0, 32, 52, -40, 8, 0, -26, 68, 39, 60, 0, 85, -70, -64, -24, 0, -62, -37, 25, 37, 0, 50, -2, 0, 16, 0, -16, -34, 20, -2, 0, -76, 75, 104, -8, 0, 0, -19, 8, 72, 0, 18, 6, -24, -4, 0, -12, 0, -46, 0, 0, -151, 48, -77, -3, 0, -40, -88, -26, -43, 0, 38, 0, 60, 24, 0, -22, 26, 82, 36, 0, -9, 9, -68, 29, 0, 66, -49, 18, -108, 0, -28, -30, -82, 116, 0, 26, 20, 0, -24, 0, -33, -22, 139, 8, 0, 46, -114, 21, -48, 0, 0, -8, 28, -88, 0, -4, 104, -158, 14, 0, 3, 72, -14, 0, 0, -87, -157, 18, 144, 0, 18, -26, 14, -34, 0, 11, 0, -15, 90, 0, 72, 36, 4, -2, 0, -80, 37, 42, -56, 0, -2, 32, -110, 44, 0, 0, -72, 46, -80, 0, -15, 40, 0, -40, 0, -52, -59, -50, 12, 0, -6, -16, 58, 22, 0, 0, -146, -55, 58, 0, 27, 8, -25, -8, 0, 18, -156, -44, 0, 0, -108, 2, -52, 52, 0, -8, 104, 14, 42, 0, 61, 0, 21, -4, 0, -17, -19, 2, -51, 0, -26, 32, 66, 10, 0, 34, -22, 80, 22, 0, -16, 202, 15, -8, 0, -18, -55, 0, -47, 0, 48, 10, -40, 22, 0, 38, -44, 106, 12, 0, 0, 41, -40, 85, 0, 21, -12, 32, -76, 0, 18, 44, 0, 0, 0, -16, 34, 1, 40, 0, -60, -106, 103, 8, 0, -74, 0, -12, 33, 0, -92, -5, -48, 0, 0, 60, 132, 26, 46, 0, -20, 77, 64, -8, 0, 5, 88, 3, -38, 0, -138, 94, 0, -119, 0, 10, 60, -12, -158, 0, -101, 26, -110, -11, 0, 0, -104, 30, -64, 0, 56, 32, 62, 2, 0, 14, 32, 26, 0, 0, 16, -75, 30, -51, 0, 25, 31, 28, 64, 0, 64, 0, -60, 61, 0, 7, -80, -1, 124, 0, 0, 0, 85, 8, 0, 2, -41, -32, 68, 0, 2, 15, -44, -84, 0, -7, -156, 0, 130, 0, -4, -17, 135, 6, 0, 12, -35, -4, -69, 0, 0, -74, 108, 9, 0, -32, 26, 76, -200, 0, -88, -66, 92, 0, 0, 90, 47, -98, -45, 0, 118, -20, -156, -38, 0, -38, 0, -16, -102, 0, 32, 43, 114, -47, 0, 8, -16, -36, 29, 0, 64, 41, 14, 5, 0, 6, 58, -15, 0, 0, -11, 54, 0, -32, 0, -6, -128, 35, -154, 0, 6, 1, 78, -2, 0, 0, 8, 54, 62, 0, -12, -21, -17, 12, 0, -20, 35, -2, 0, 0, 18, -16, -190, 116, 0, -5, -100, 40, -72, 0, -113, 0, 19, -1, 0, -52, -102, 88, 63, 0, 224, 14, -46, -34, 0, -66, 74, 6, 6, 0, -2, -4, 88, 9, 0, 104, -113, 0, 89, 0, 16, -40, -20, -9, 0, -4, 20, -19, -20, 0, 0, -70, -90, -4, 0, -12, -80, -26, -155, 0, -48, 22, -20, 0, 0, 49, -86, 16, -92, 0, -108, 20, 139, 30, 0, 45, 0, 17, -80, 0, 38, 34, -36, 77, 0, 4, 48, -139, 96, 0, -165, 58, -61, -6, 0, 4, -152, -16, -144, 0, -18, 8, 0, -36, 0, 28, 32, 88, 16, 0, 81, 48, -29, -55, 0, 0, 41, -17, -120, 0, 78, 58, 58, 83, 0, -29, 20, 61, 0, 0, -136, 40, -7, -25, 0, -40, -20, 15, 15, 0, 108, 0, -100, 58, 0, 32, -78, -84, 8, 0, -76, -86, 136, 20, 0, 24, -73, 26, -10, 0, 72, -56, -106, -25, 0, -47, 76, 0, -34, 0, -40, 80, 1, 3, 0, 10, -48, 40, -97, 0, 0, 45, 2, -76, 0, -18, -110, 8, -82, 0, -31, -39, -229, 0, 0, 60, -40, 26, 19, 0, 22, 109, -110, -51, 0, -16, 0, 15, -14, 0, -28, 38, -80, -80, 0, -6, -40, 7, -51, 0, -38, 4, 2, -62, 0, 8, -116, -26, 74, 0]