# Trace form for 5225.2.a.b, downloaded from the LMFDB on 08 December 2023.
[0, 1, 0, -1, -2, 0, 0, 4, 0, -2, 0, 1, 2, -2, 0, 0, 4, 0, 0, 1, 0, -4, 0, -3, 0, 0, 0, 5, -8, -6, 0, -7, 0, -1, 0, 0, 4, 7, 0, 2, 0, 0, 0, 10, -2, 0, 0, 0, -4, 9, 0, 0, 4, -6, 0, 0, 0, -1, 0, 3, 0, -10, 0, -8, -8, 0, 0, -11, 0, 3, 0, 15, 0, -8, 0, 0, -2, 4, 0, -16, 0, 1, 0, 0, 8, 0, 0, 6, 0, 9, 0, -8, 6, 7, 0, 0, 0, 1, 0, -2, 0, 0, 0, 16, 0, 0, 0, 18, -10, 2, 0, -7, 16, 9, 0, 0, 12, 4, 0, 0, 0, 1, 0, 0, 14, 0, 0, -2, 0, -10, 0, -6, 2, 4, 0, 0, 0, -21, 0, 8, 0, 0, 0, -2, -8, 0, 0, -9, -14, -6, 0, -10, 0, 0, 0, 0, -4, -17, 0, 6, 0, -12, 0, 4, 0, 0, 0, 18, 0, -9, 0, -2, -20, -24, 0, 0, 4, -3, 0, 15, 0, -7, 0, 10, 0, 0, 0, 0, 0, 20, 0, -15, 8, 4, 0, 0, -18, -12, 0, -16, 0, 11, 0, -24, 0, 0, 0, 6, -8, 1, 0, -22, 12, -15, 0, 0, 0, -28, 0, 8, 0, 0, 0, -5, 0, 0, 0, 12, 2, -13, 0, -4, 0, -18, 0, 0, -6, 16, 0, -18, 0, 20, 0, -16, 20, 0, 0, -2, 0, 0, 0, 21, 16, -3, 0, 0, 16, 6, 0, 28, 0, 12, 0, 30, 0, 0, 0, -9, 22, -30, 0, -16, 0, 8, 0, 0, -6, -26, 0, 14, 0, -30, 0, -14, -30, 0, 0, 0, 0, -17, 0, -1, 16, -18, 0, 0, 0, 5, 0, 6, 0, 40, 0, 0, 4, 0, 0, -2, -8, -16, 0, -24, 0, 1, 0, 0, 32, -15, 0, -6, 0, -18, 0, 0, -2, 0, 0, -2, 0, 0, 0, -7, 0, -14, 0, 0, -16, 4, 0, -9, 0, -7, 0, 8, 0, 0, 0, 18, -12, -28, 0, -10, 0, 21, 0, 0, -18, 0, 0, 12, 0, 1, 0, -1, 16, 0, 0, -23, -12, 0, 0, -24, -14, -14, 0, 0, 0, 12, 0, 5, 0, 2, 0, -33, 0, 0, 0, -20, -2, -3, 0, 0, 0, 6, 0, 0, 4, -14, 0, -4, 0, -30, 0, 14, 0, 0, 0, 7, 0, 32, 0, 21, -32, 12, 0, 0, 0, -8, 0, 12, 0, 26, 0, 0, 0, 0, 0, -40, -36, 2, 0, -6, 20, 13, 0, 0, -4, -3, 0, 14, 0, -18, 0, 27, 14, 0, 0, 6, -32, -27, 0, 0, -18, 10, 0, 0, 0, 10, 0, 0, 0, 12, 0, -29, -24, 0, 0, 3, -8, -44, 0, 17, 0, 10, 0, 0, 0, 12, 0, -6, 0, -14, 0, 12, -2, 0, 0, 7, 0, -4, 0, 30, 0, 0, 0, 0, -28, 60, 0, -16, 0, -18, 0, -18, 0, 0, 0, 9, 4, 21, 0, -32, 0, 5, 0, 0, 20, 0, 0, 24, 0, 39, 0, 16, 12, 0, 0, 0, -4, -14, 0, -6, -8, 0, 0, 0, 0, -15, 0, 9, 0, -10, 0, 7, 0, 0, 0, 22, 42, 20, 0, -6, 0, -64, 0, 0, -16, 30, 0, -20, 0, 0, 0, 6, 0, 0, 0, 4, 0, 6, 0, -46, 4, 15, 0, 0, 16, 7, 0, -4, 0, 0, 0, -6, 0, 0, 0, -24, 18, -7, 0, 12, 28, 0, 0, 0, 12, 16, 0, -24, 0, 20, 0, 22, 20, 0, 0, -8, 0, 24, 0, 0, 0, -2, 0, 0, 0, 30, 0, -13, 0, -15, 0, 36, 8, 0, 0, -1, 34, 0, 0, -1, 0, 22, 0, 0, -12, -18, 0, -30, 0, -15, 0, 7, 24, 0, 0, -21, 0, 3, 0, 28, -8, -27, 0, 0, 0, 16, 0, -18, 0, -13, 0, 0, 0, 0, 0, 18, -36, 5, 0, -10, 0, -14, 0, 0, 18, -6, 0, 4, 0, -12, 0, -12, 4, 0, 0, 13, 40, 12, 0, 17, 48, -8, 0, 0, 0, 0, 0, 18, 0, 30, 0, 7, -8, 0, 0, 0, 6, -25, 0, 32, 0, 21, 0, 0, -30, 18, 0, -9, 0, 64, 0, -20, 14, 0, 0, -35, 0, 13, 0, 0, -20, 22, 0, 0, 0, -11, 0, 44, 0, 2, 0, 30, 0, 0, 0, 0, 0, 72, 0, -1, 0, -21, 0, 0, -40, -14, 0, 3, 0, 0, 0, 8, 30, 0, 0, -6, -16, -28, 0, -6, -8, 6, 0, 0, 0, -28, 0, 0, 0, 15, 0, -30, 36, 0, 0, -20, 24, -30, 0, 36, 0, 20, 0, 0, 32, -51, 0, 0, 0, -18, 0, -8, -22, 0, 0, 30, 0, -24, 0, 20, 48, 16, 0, 0, 0, 10, 0, 16, 0, 36, 0, 13, 0, 0, 0, 42, -12, 11, 0, 26, 16, 0, 0, 0, -2, -35, 0, 33, 0, 7, 0, 30, 44, 0, 0, 4, -24, 14, 0, -21, 30, 22, 0, 0, 0, -30, 0, 5, 0, 0, 0, 24, 0, 0, 0, 17, 56, -16, 0, 22, 0, -2, 0, 0, -16, 4, 0, 18, 0, 9, 0, 4, 0, 0, 0, -54, 0, -8, 0, 1, 10, 0, 0, 0, 0, -6, 0, 42, 0, 0, 0, -40, 0, 0, 0, -8, -24, 0, 0, 0, -4, 0, 0, 0, 26, -24, 0, -4, 0, 2, 0, -30, 8, 0, 0, -32, 0, 30, 0, 9, 36, 24, 0, 0, 0, 22, 0, -1, 0, -24, 0, 0, 12, 0, 0, 3, -32, 16, 0, 15, 0, 36, 0, 0, 36, 6, 0, -84, 0, 18, 0, -36, -40, 0, 0, 22, 0, 0, 0, -15, 32, 32, 0, 0, -40, 9, 0, 9, 0, -4, 0, 15, 0, 0, 0, 0, 4, -30, 0, 8, 0, 7, 0, 0, 0, 40, 0, 35, 0, -8, 0, 0, -42, 0, 0, -6, -32, -34, 0, -4, 6, -15, 0, 0, 0, -18, 0, -18, 0, 62, 0, 7, -32, 0, 0, 32, -12, -8, 0, -48, 0, 4, 0, 0, -56, 0, 0, -37, 0, -18, 0, -24, -24, 0, 0, 28, 0, -15, 0, -34, -60, -2, 0, 0, 0, -40, 0, -21, 0, 51, 0, 46, 0, 0, 0, 1, 18, -58, 0, 0, -44, -42, 0, 0, 60, -12, 0, 0, 0, 0, 0, -1, 32, 0, 0, -8, 0, -2, 0, 42, -16, 49, 0, 0, 0, 6, 0, -68, 0, 23, 0, 3, 12, 0, 0, 0, 52, -54, 0, 0, 0, 24, 0, 0, -28, -38, 0, 14, 0, 3, 0, -44, 60, 0, 0, -27, 0, 32, 0, -12, 28, 16, 0, 0, 60, -5, 0, 0, 0, 16, 0, 4, 0, 0, 0, -49, 0, 33, 0, 6, 0, 49, 0, 0, 34, -18, 0, -10, 0, 50, 0, -24, 2, 0, 0, 3, -32, 72, 0, 11, 36, 0, 0, 0, 0, 18, 0, 12, 0, 42, 0, -36, 0, 0, 0, -12, -10, 0, 0, 14, 0, -9, 0, 0, -12, -8, 0, 2, 0, 50, 0, 30, -80, 0, 0, 0, 0, -14, 0, -96, 0, 49, 0, 0, -8, -48, 0, 18, 0, -7, 0, 54, 0, 0, 0, -32, 4, -12, 0, -10, 16, 42, 0, 0, 32, -14, 0, -12, 0, 0, 0, 9, 48, 0, 0, -60, 0, -16, 0, -16, -2, 60, 0, 0, 0, -12, 0, 51, 0, -2, 0, -26, -64, 0, 0, -28, 30, 0, 0, 0, 0, -11, 0, 0, 12, 27, 0, -43, 0, 40, 0, -12, 36, 0, 0, 4, 0, -6, 0, 8, 0, 6, 0, 0, 4, -38, 0, -13, 0, 27, 0, 1, 0, 0, 0, 12, 4, 0, 0, 3, 0, 0, 0, 0, 0, -14, 0, -24, 0, -7, 0, 45, 14, 0, 0, -50, 0, -27, 0, 1, 28, -70, 0, 0, 0, -60, 0, -32, 0, 12, 0, 0, 32, 0, 0, 27, -8, 15, 0, 16, 0, 0, 0, 0, 18, -9, 0, 20, 0, -42, 0, 0, 14, 0, 0, 12, 0, 12, 0, -10, -16, 9, 0, 0, 0, 0, 0, -48, 0, 56, 0, -12, 0, 0, 0, -8, -36, 29, 0, -36, 24, -64, 0, 0, 56, -2, 0, -4, 0, -3, 0, 30, 20, 0, 0, 44, 0, -57, 0, 0, -42, 34, 0, 0, 0, -4, 0, -10, 0, -54, 0, 19, 36, 0, 0, 72, 0, 2, 0, -30, 0, 18, 0, 0, -24, 6, 0, 24, 0, -6, 0, 14, -2, 0, 0, -8, 0, 24, 0, 18, 2, -17, 0, 0, -32, 0, 0, -64, 0, -7, 0, 4, 0, 0, 0, -8, 46, -18, 0, -58, 24, -30, 0, 0, 0, -88, 0, 0, 0, 42, 0, 55, 48, 0, 0, 42, 28, -67, 0, -60, 28, 12, 0, 0, 0, 16, 0, 3, 0, -16, 0, -36, 0, 0, 0, -21, -24, 18, 0, -33, 0, 0, 0, 0, -10, 0, 0, -63, 0, 18, 0, -21, -4, 0, 0, -21, 0, 8, 0, -16, 66, 32, 0, 0, 0, 36, 0, 1, 0, 33, 0, -32, 0, 0, 0, 0, 40, 47, 0, 0, 4, 12, 0, 0, 6, 48, 0, 36, 0, -20, 0, -39, 0, 0, 0, -20, 0, -16, 0, -48, -12, -2, 0, 0, 0, 0, 0, -40, 0, 0, 0, -12, -8, 0, 0, 14, 28, 48, 0, 70, 0, 15, 0, 0, 8, -20, 0, 0, 0, -30, 0, -52, 60, 0, 0, 15, 0, 26, 0, -30, -28, 66, 0, 0, 0, -9, 0, -6, 0, 14, 0, 10, 0, 0, 0, -8, -14, 14, 0, -72, 0, -45, 0, 0, -64, -27, 0, -6, 0, -22, 0, 42, -42, 0, 0, -50, 64, 0, 0, 4, -24, 6, 0, 0, 0, -32, 0, 64, 0, -10, 0, 52, 0, 0, 0, -6, 16, 56, 0, -30, 0, -72, 0, 0, -24, 20, 0, 24, 0, -41, 0, 0, -52, 0, 0, 80, 0, -6, 0, 9, 0, -74, 0, 0, 0, 18, 0, 68, 0, -64, 0, 12, 0, 0, 0, -6, 80, 45, 0, -18, 72, 46, 0, 0, -4, 0, 0, 30, 0, 9, 0, -20, 12, 0, 0, -17, -40, -8, 0, -7, -26, -6, 0, 0, 0, -8, 0, 0, 0, -1, 0, 0, 8, 0, 0, -29, 6, 6, 0, 0, 0, 46, 0, 0, -28, 84, 0, 68, 0, 24, 0, 0, 36, 0, 0, 7, 0, 60, 0, -12, -54, 24, 0, 0, -28, -2, 0, 0, 0, 42, 0, 1, 0, 0, 0, 57, -12, 62, 0, 32, 64, 4, 0, 0, 54, 24, 0, 24, 0, 44, 0, -20, 0, 0, 0, -16, 36, -55, 0, 42, -20, 63, 0, 0, 0, 48, 0, 0, 0, 8, 0, 24, 0, 0, 0, 48, -20, -21, 0, -67, 0, 0, 0, 0, 0, 18, 0, 2, 0, 120, 0, 1, -24, 0, 0, -48, 0, 57, 0, -30, 58, 0, 0, 0, 48, 13, 0, -9, 0, -34, 0, -3, 0, 0, 0, 22, -6, -36, 0, -3, 16, -2, 0, 0, 88, -54, 0, -43, 0, -2, 0, -120, -34, 0, 0, 0, 0, -60, 0, 70, -20, 1, 0, 0, 0, -64, 0, 44, 0, 33, 0, -24, 0, 0, 0, -36, -24, 0, 0, 18, 0, -36, 0, 0, 12, 75, 0, 0, 0, 0, 0, 15, 28, 0, 0, 0, 0, -7, 0, -6, -24, -62, 0, 0, 4, 12, 0, -104, 0, 21, 0, 66, 0, 0, 0, -3, -14, -60, 0, 71, 0, 56, 0, 0, 8, 16, 0, 27, 0, -42, 0, 20, -60, 0, 0, -120, 0, 15, 0, -40, 0, 9, 0, 0, 0, 18, 0, 36, 0, -56, 0, 13, 56, 0, 0, -50, -120, 0, 0, -7, 0, -50, 0, 0, 32, 78, 0, -58, 0, -18, 0, -60, 36, 0, 0, 10, 0, 0, 0, -37, 36, 10, 0, 0, 0, -41, 0, 14, 0, 0, 0, -68, 0, 0, 0, 3, -18, 23, 0, 6, -8, 18, 0, 0, -42, -4, 0, 72, 0, 34, 0, -24, 64, 0, 0, -27, 0, 12, 0, -72, -10, 34, 0, 0, 0, 0, 0, -90, 0, 26, 0, -78, -40, 0, 0, -12, 0, 30, 0, 2, 0, -17, 0, 0, -48, 77, 0, 20, 0, 18, 0, -35, -78, 0, 0, -48, 0, -70, 0, 0, -32, 24, 0, 0, -24, 36, 0, 39, 0, -15, 0, -30, 0, 0, 0, 90, 0, -7, 0, 0, 8, 22, 0, 0, 28, 48, 0, -8, 0, 0, 0, 4, 12, 0, 0, 25, 16, 12, 0, 2, 0, -80, 0, 0, 0, -29, 0, -21, 0, 84, 0, -59, 0, 0, 0, 9, 30, -8, 0, 36, 0, -24, 0, 0, -18, 9, 0, 0, 0, -55, 0, -64, 20, 0, 0, -12, 0, -40, 0, -36, -14, 0, 0, 0, 0, -96, 0, -7, 0, 35, 0, 21, 0, 0, 0, 35, -44, -16, 0, 4, -84, 0, 0, 0, -40, 44, 0, -22, 0, -105, 0, 79, 12, 0, 0, 66, 0, -47, 0, 11, 128, 12, 0, 0, 0, -44, 0, -60, 0, -88, 0, 4, 32, 0, 0, 0, -60, -30, 0, -3, 0, -24, 0, 0, 40, -18, 0, 62, 0, 0, 0, 42, 0, 0, 0, -72, 0, 48, 0, -34, -12, 1, 0, 0, 0, -70, 0, -42, 0, 0, 0, 56, 0, 0, 0, 63, -8, -1, 0, 14, 0, 24, 0, 0, -12, 6, 0, -60, 0, 47, 0, 0, 92, 0, 0, 22, -8, -8, 0, 96, -30, 1, 0, 0, 0, 45, 0, 1, 0, 6, 0, 0, -32, 0, 0, 28, -14, 0, 0, -19, 0, -12, 0, 0, 8, -28, 0, -6, 0, -22, 0, 0, 0, 0, 0, -30, 0, 0, 0, -56, 12, -33, 0, 0, 0, 0, 0, -72, 0, -25, 0, -15, 0, 0, 0, -17, 48, -6, 0, -48, -36, 14, 0, 0, 14, 81, 0, 16, 0, 20, 0, 0, -24, 0, 0, -60, -56, -48, 0, 2, 0, -36, 0, 0, 0, 43, 0, -20, 0, 42, 0, -8, -24, 0, 0, -28, -32, -40, 0, 51, 0, -24, 0, 0, 48, 0, 0, -63, 0, -31, 0, 45, -40, 0, 0, 0, 0, 8, 0, -54, -44, -2, 0, 0, -40, -42, 0, 0, 0, 60, 0, -51, 0, 0, 0, 24, 16, 72, 0, 0, 0, -20, 0, 0, -48, 46, 0, 32, 0, 0, 0, -112, 0, 0, 0, 51, 0, 112, 0, -10, 4, -5, 0, 0, 0, -40, 0, -18, 0, -54, 0, -36, 0, 0, 0, 61, -60, -13, 0, 84, 0, -35, 0, 0, 26, 90, 0, -77, 0, -42, 0, 30, 30, 0, 0, -11, 0, -6, 0, 0, -72, 52, 0, 0, -16, 12, 0, 0, 0, 0, 0, 4, 0, 0, 0, -6, 2, -8, 0, -7, -68, 48, 0, 0, 0, -33, 0, -13, 0, -52, 0, -7, 2, 0, 0, 4, 0, 60, 0, 33, -44, 0, 0, 0, 0, 30, 0, 92, 0, -4, 0, -36, 24, 0, 0, 28, 36, 84, 0, -16, 0, 21, 0, 0, 60, 67, 0, -22, 0, 24, 0, -18, 30, 0, 0, 0, 0, -92, 0, 30, -14, 0, 0, 0, -48, -5, 0, 12, 0, -54, 0, 0, 0, 0, 0, 32, 42, -24, 0, 90, 0, -92, 0, 0, -6, -54, 0, -27, 0, 34, 0, -21, -56, 0, 0, 16, 16, 24, 0, -56, 54, -22, 0, 0, 0, -62, 0, 5, 0, -30, 0, -100, 0, 0, 0, 105, -32, -18, 0, -4, 0, 69, 0, 0, 36, 36, 0, 48, 0, 8, 0, -9, 26, 0, 0, -20, 0, -4, 0, 20, 0, 20, 0, 0, 0, -48, 0, 32, 0, 54, 0, -57, 0, 0, 0, 8, -36, 0, 0, -64, 72, -16, 0, 0, -10, 31, 0, 0, 0, -132, 0, 34, 20, 0, 0, 27, 0, 11, 0, -12, 28, -21, 0, 0, 0, -42, 0, 57, 0, -56, 0, 0, -36, 0, 0, 1, 12, -80, 0, 81, 0, 76, 0, 0, -8, -2, 0, 2, 0, 8, 0, -12, 24, 0, 0, 0, 0, -6, 0, -100, 24, 0, 0, 0, -8, 0, 0, 0, 0, 24, 0, 44, 0, 0, 0, 0, -26, 50, 0, 24, -80, 99, 0, 0, -24, 4, 0, -63, 0, 21, 0, 4, -34, 0, 0, -68, -96, 30, 0, 0, 16, 0, 0, 0, 0, 78, 0, -56, 0, 80, 0, -3, 0, 0, 0, -30, 0, 102, 0, -70, 0, -9, 0, 0, -36, 10, 0, 48, 0, 54, 0, 4, -60, 0, 0, -120, 0, -17, 0, -22, -14, -6, 0, 0, 16, -2, 0, -45, 0, 56, 0, 24, 0, 0, 0, 6, 0, 0, 0, -6, -12, 46, 0, 0, 50, 48, 0, 0, 0, -3, 0, 84, -64, 0, 0, -16, 0, 28, 0, 2, -42, 30, 0, 0, 0, -104, 0, -36, 0, -75, 0, 128, 60, 0, 0, 0, -36, -10, 0, 12, 0, 0, 0, 0, 18, 84, 0, 30, 0, -110, 0, -18, -128, 0, 0, -53, 0, 90, 0, 27, 40, 30, 0, 0, -28, -54, 0, 10, 0, -22, 0, 0, 0, 0, 0, 0, 70, -15, 0, 0, 0, 15, 0, 0, -26, 100, 0, -32, 0, 6, 0, -112, 0, 0, 0, 36, 40, 0, 0, -9, -44, 48, 0, 0, 0, -9, 0, -6, 0, 0, 0, 10, 0, 0, 0, 104, 22, -15, 0, -24, 0, 10, 0, 0, -88, 27, 0, -30, 0, 0, 0, 27, -4, 0, 0, 30, 0, 18, 0, 23, -60, -8, 0, 0, 0, 26, 0, 14, 0, -16, 0, -17, 0, 0, 0, -96, 0, -90, 0, -40, 0, 0, 0, 0, -144, 7, 0, 12, 0]