# Trace form for 1225.2.a.a, downloaded from the LMFDB on 25 April 2024.
[0, 1, -2, 1, 2, 0, -2, 0, 0, -2, 0, -3, 2, 1, 0, 0, -4, 7, 4, 0, 0, 0, 6, -6, 0, 0, -2, -5, 0, -5, 0, -2, 8, -3, -14, 0, -4, -2, 0, 1, 0, -2, 0, 4, -6, 0, 12, -3, -4, 0, 0, 7, 2, -6, 10, 0, 0, 0, 10, -10, 0, 8, 4, 0, -8, 0, 6, -2, 14, -6, 0, -8, 0, 6, 4, 0, 0, 0, -2, -5, 0, 1, 4, -4, 0, 0, -8, -5, 0, 0, 0, 0, -12, -2, 6, 0, 8, 7, 0, 6, 0, -12, -14, -19, 0, 0, 12, 8, -10, 5, 0, -2, 0, -6, 0, 0, -10, -2, 20, 0, 0, -2, -16, -2, -4, 0, 0, -2, 0, 4, 0, -22, -6, 0, 4, 0, 0, -12, 12, 10, 0, -3, 16, -3, 8, 0, -12, 0, -4, 10, 0, -13, 0, -14, 0, 0, 2, -18, 10, -6, 0, 0, -2, 14, -4, 0, 8, -3, 0, -12, 0, 0, 8, -9, 10, 0, 12, -10, 0, -20, 0, 18, 0, 8, 0, 0, 4, -21, -6, 0, 0, -3, -8, -16, -14, 0, 0, -2, -12, 10, 0, -2, 24, 0, 14, 0, 38, 12, -4, 0, 0, -13, -12, -8, -16, 0, 0, 0, -10, 6, 0, 7, 4, 21, 0, 0, 12, 17, 0, 10, 0, 0, 0, -16, 4, 0, -20, -5, 0, 15, 0, -22, 4, 16, 16, 0, 4, 0, 0, -4, 0, 18, 0, 18, 4, 0, 16, 22, -8, 0, 0, 10, 44, 24, 0, 0, 0, 0, -4, -10, 0, 8, -28, 0, 24, 0, -12, -2, -20, 4, 0, 7, 6, 11, -16, 0, 6, 0, -16, 32, 0, 7, 12, -9, 0, 0, 0, 15, -20, -6, 0, 0, 26, -12, 0, 0, 28, 7, 0, -19, 0, -12, 0, 21, 36, 0, -10, -12, 12, 15, 0, 8, 0, 0, 2, 0, -28, 5, 0, 0, 0, 12, -8, 4, 6, 0, 0, 18, 24, -6, 0, 6, 0, 0, 0, 0, 18, 18, -10, 20, 0, -5, -24, 11, 20, 0, 0, 0, 40, -20, 0, -19, -36, -2, 0, 0, -16, -3, 24, 4, 0, 0, -4, 24, 42, 0, 0, -5, 0, 20, 0, -2, 6, 16, 0, 0, 32, -8, 14, 5, 0, -42, 0, -22, 4, 0, 12, 7, -20, 0, 0, -3, 4, -2, -24, 0, 0, 6, 0, -20, 0, -12, -38, 0, -24, 0, 8, 10, 0, -30, 0, -3, 26, 6, 0, 0, 16, 0, 16, -3, 0, -23, 20, 26, 0, 0, 10, 0, -12, -30, 0, 0, -14, 4, -4, 0, -42, 10, 0, -5, 0, 6, -12, -13, -34, 0, 0, 38, -20, -35, 0, -12, 0, -36, 20, 0, 32, 27, -4, 0, 0, -18, 0, -12, 10, 0, 0, 12, -30, 30, 0, -2, 44, 0, -4, 0, -32, -42, 0, 14, 0, 7, -4, -35, 0, 0, 8, 0, 8, -35, 0, -3, -36, -9, 0, 0, -36, -12, -4, 30, 0, 0, -32, 0, -44, 0, 8, 9, 0, -9, 0, 28, -20, -4, -44, 0, -48, -14, 12, 13, 0, 20, 0, -2, 0, 0, 0, -20, 20, 0, 0, 27, -16, 18, 56, 0, 0, -32, -24, -16, 0, 0, 0, 0, 4, 0, 20, 28, -8, 4, 0, -21, -14, -24, -6, 0, -22, 0, 0, -30, 0, 12, -6, -3, 0, 0, 16, -43, -64, -16, 0, 0, -14, 18, 0, 0, 18, 12, 0, 0, 0, -2, 8, 41, -30, 0, 20, 10, 12, 25, 0, 8, 0, 4, -26, 0, 24, 27, 0, 0, 0, -3, -28, 44, -14, 0, 0, -22, 38, -10, 0, 30, 24, 0, -4, 0, -42, 0, -36, -14, 0, 37, 0, -13, 24, 0, -12, 0, -30, 16, 0, 22, -16, 1, 0, 0, 0, -8, 0, 30, 0, 0, 28, 4, -10, 0, 8, -12, 0, -15, 0, -12, -24, 7, 0, 0, -8, 30, -6, 21, 0, -24, 0, 24, -36, 0, -24, -43, 12, 0, 0, 17, -12, -16, 0, 0, 0, 10, -16, -6, 0, 8, -18, 0, -36, 0, 0, -14, -40, -16, 0, -13, 10, 0, 24, 0, -22, 0, -20, 35, 0, 10, 0, 12, 0, 0, -40, 15, 40, -30, 0, 0, 38, -22, 36, 0, 4, -28, 0, 13, 0, 28, 16, 1, 6, 0, -48, 6, -8, -35, 0, 0, 0, 14, 0, 0, -48, 8, -42, 0, 0, -33, 12, 18, 10, 0, 0, -32, -40, 18, 0, -2, 4, 0, -6, 0, -32, -10, 16, 0, 0, 22, -32, 21, 16, 0, 0, 0, -10, 0, 0, 24, 84, 25, 0, 0, 44, 17, -4, 24, 0, 0, 0, 8, -14, 0, 20, -13, 0, -21, 0, 0, 6, -18, -4, 0, 4, -10, 0, 45, 0, 38, 0, 8, -12, 0, -28, 0, 40, 0, 0, -23, 24, -26, 0, 0, 0, 18, 24, 30, 0, -2, -8, 0, -20, 0, 0, 10, 60, -30, 0, -4, 6, 7, -26, 0, -12, 0, 24, 11, 0, 12, -16, -54, 0, 0, 0, 42, 6, -40, 0, 0, 46, 54, -40, 0, -52, 32, 0, 15, 0, -2, 0, -14, 0, 0, 12, -32, 60, -9, 0, -32, 0, -36, 14, 0, -8, -28, 0, 0, 0, -3, 42, 0, -20, 0, 0, -6, 10, 10, 0, -42, -12, 0, 0, 0, 26, 38, 34, 24, 0, 12, 0, 12, -76, 0, 20, 0, 70, -5, 0, 7, 24, -8, 0, 0, 72, 38, -40, 50, 0, 0, -32, -12, -54, 0, 0, -13, 0, 21, 0, 48, 36, 12, 40, 0, 24, -42, -10, 6, 0, -12, 0, -6, -24, 0, 30, 15, -60, 0, 0, -27, 4, -16, -44, 0, 0, 8, 0, 0, 0, -22, 32, 0, 84, 0, -32, -12, -28, 0, 0, -10, -14, 51, 0, 0, 70, 0, 0, -24, 0, -8, -16, 12, 0, 0, -8, -13, 70, 10, 0, 0, 6, -70, 36, 0, 18, 0, 0, 25, 0, 18, 36, 6, 24, 0, 0, 12, -60, -60, 0, -12, 0, 6, 32, 0, 0, -5, 44, 0, 0, -43, 0, -26, -18, 0, 0, 56, 18, 20, 0, 18, -56, 0, 20, 0, 8, 20, 0, 0, 0, 17, 48, 1, 28, 0, -24, 0, -26, 11, 0, -3, -40, -44, 0, 0, 4, -21, 0, 20, 0, 0, 8, 10, 40, 0, -20, -20, 0, -4, 0, 18, -54, -19, 16, 0, -36, 8, -56, 4, 0, 48, 0, -16, 64, 0, 0, 42, 32, 0, 0, -3, 0, 4, 24, 0, 0, 10, -4, -30, 0, 36, 0, 0, -56, 0, 8, -22, -8, 24, 0, 0, 42, -19, 14, 0, 48, 0, 0, 25, 0, -5, 22, 57, 0, 0, 32, 20, 60, -14, 0, 0, -24, 4, 0, 0, 6, 4, 0, 16, 0, -52, 0, -34, 86, 0, 64, 0, 32, 0, 0, -20, 0, 44, 14, 0, -36, 5, -24, 0, 0, 47, -18, -42, -24, 0, 0, -24, 0, 44, 0, 38, 4, 0, -16, 0, -82, -12, 30, 10, 0, 7, 0, 21, -20, 0, -12, 0, -50, -15, 0, 27, -16, -3, 0, 0, -8, -56, 0, -2, 0, 0, -24, -46, -54, 0, 0, 27, 0, 36, 0, 6, 6, -39, 0, 0, -88, -20, 14, 30, 0, -52, 0, 24, 44, 0, -38, -38, 20, 0, 0, 42, -60, 18, -24, 0, 0, -20, 8, 20, 0, -20, 42, 0, 0, 0, 0, -30, 28, 20, 0, 7, -74, -3, 20, 0, 26, 0, -24, 15, 0, 4, 0, 0, 0, 0, 30, -33, -32, -70, 0, 0, -44, 24, 16, 0, -2, 6, 0, -70, 0, 68, 0, -23, 16, 0, -4, -22, -60, 26, 0, -22, 0, -26, 0, 0, -8, -63, 10, 0, 0, 0, -16, -12, 24, 0, 0, -30, 30, -20, 0, 28, 24, 0, 24, 0, -14, -42, 16, 4, 0, 39, 8, -8, -60, 0, 0, 0, -42, -19, 0, -20, 48, -35, 0, 0, -48, -5, 36, 0, 0, 0, 0, 6, 86, 0, -12, 60, 0, 26, 0, -2, -34, 15, 12, 0, 32, 68, 0, -33, 0, 38, 0, 14, -20, 0, 32, 7, 12, 0, 0, -58, -16, -12, 0, 0, 0, 0, 36, -36, 0, 8, 20, 0, 28, 0, 40, 6, 32, -40, 0, 27, 26, -48, -10, 0, 0, 0, 0, 5, 0, -28, 22, 36, 0, 0, 0, 5, -70, -12, 0, 0, -20, -36, 0, 0, -24, -63, 0, 10, 0, 30, 0, -49, -30, 0, -40, 30, 60, 5, 0, 66, 0, -2, -38, 0, 44, -3, 0, 0, 0, 12, -4, 24, 56, 0, 0, 6, -26, 0, 0, -42, -56, 0, 0, 0, -2, -28, -6, -6, 0, -8, 48, 7, -12, 0, 8, 0, 70, -35, 0, -3, 0, 1, 0, 0, -28, 17, 8, 50, 0, 0, 48, -36, -16, 0, 0, -35, 0, 15, 0, 0, 66, 6, -24, 0, -36, 36, -10, -9, 0, -62, 0, 0, 64, 0, 40, 4, -36, 0, 0, 24, 4, -36, -4, 0, 0, 30, 0, -30, 0, -52, 32, 0, 20, 0, -32, 30, 0, 0, 0, 12, -44, -39, 0, 0, -42, 0, -16, -10, 0, 9, -28, -39, 0, 0, 10, 18, 0, 0, 0, 0, -48, 28, -84, 0, -50, -8, 0, -4, 0, -12, -44, -2, -34, 0, 0, 0, -48, -5, 0, -14, 0, 64, -24, 0, -16, 13, 14, 0, 0, -8, 0, 50, 26, 0, 0, -32, 42, -2, 0, 48, 0, 0, -6, 0, 36, 58, 0, 20, 0, 40, -4, 6, 20, 0, 48, 0, -90, 5, 0, 22, -76, 27, 0, 0, -16, -8, 12, -36, 0, 0, 56, 48, 0, 0, -40, 57, 0, -30, 0, -32, 46, 12, -24, 0, 52, -40, 76, 49, 0, -2, 0, 0, -36, 0, 0, -3, -60, 0, 0, 39, 4, -36, 0, 0, 0, 58, 20, 50, 0, 28, 0, 0, -20, 0, -60, 4, 60, -36, 0, -37, 8, 42, -6, 0, -14, 0, 0, -24, 0, 0, 12, -19, 0, 0, -48, 42, -22, 50, 0, 0, -24, -22, 0, 0, 108, -30, 0, -75, 0, 50, -32, 12, -84, 0, -6, -84, 80, 6, 0, -12, 0, 54, -46, 0, -108, 54, 40, 0, 0, -43, 52, 44, -64, 0, 0, 32, -30, 6, 0, 18, 4, 0, -20, 0, 28, -2, 0, 18, 0, -133, 0, 11, 64, 0, -60, 0, 18, -40, 0, 12, 64, -8, 0, 0, 72, 0, 0, -40, 0, 0, 8, 4, 56, 0, 8, -18, 0, 41, 0, -12, 6, 1, 0, 0, 0, -12, 20, -10, 0, -20, 0, -42, 12, 0, -10, 25, -20, 0, 0, 17, 84, 8, 12, 0, 0, 10, 24, 10, 0, -12, -26, 0, -76, 0, 0, 30, -48, 56, 0, 27, -24, 1, 0, 0, -24, 0, 76, 20, 0, 47, 0, -3, 0, 0, -70, 9, 10, 44, 0, 0, -14, 0, -24, 0, 16, -48, 0, -27, 0, -22, -72, 35, -76, 0, 40, -10, -100, 36, 0, 38, 0, -6, 0, 0, 24, 17, 54, 0, 0, -3, 8, 4, 26, 0, 0, 8, -42, -50, 0, 0, -96, 0, -36, 0, -24, -14, -80, -70, 0, -16, -24, 37, 84, 0, 0, 0, -12, 26, 0, -3, 24, 27, 0, 0, 12, 27, 24, 24, 0, 0, 0, -46, -30, 0, 60, 40, 0, 0, 0, -42, 54, 22, -4, 0, 32, 6, 0, 1, 0, -2, 0, -76, -16, 0, 8, 10, 0, 0, 0, -8, 44, 10, 0, 0, 0, 30, -84, 10, 0, -2, 64, 0, 24, 0, 28, 0, 0, 4, 0, 12, 20, -13, 14, 0, -102, 0, 8, 60, 0, -30, -70, 41, 0, 0, 0, -15, 48, 20, 0, 0, 16, -12, 16, 0, -24, 77, 0, -14, 0, -54, 0, 11, 26, 0, -70, 18, -20, -15, 0, 30, 0, -76, -6, 0, 140, -42, 0, 0, 0, 67, -18, -24, 0, 0, 0, 58, -50, 24, 0, -12, -36, 0, 0, 0, -12, -12, -24, -60, 0, -43, 8, 0, -24, 0, 60, 0, 120, 0, 0, -18, 24, -34, 0, 0, -12, 0, 0, -16, 0, 0, 0, 74, 10, 0, 0, -14, 0, 40, 0, -20, 86, -24, -16, 0, 52, -6, 18, -45, 0, 0, 0, 8, -112, 0, -18, 4, -40, 0, 0, -78, -36, 4, 56, 0, 0, -72, 0, -80, 0, -14, -8, 0, -40, 0, 88, 32, 0, -20, 0, 9, -34, -13, 0, 0, -2, 0, -28, 0, 0, 17, 24, -29, 0, 0, 26, -30, -22, 14, 0, 0, 6, 48, 40, 0, 88, 35, 0, 45, 0, 28, -4, 25, 42, 0, 0, 78, -40, 12, 0, 38, 0, 34, -16, 0, -20, 0, -40, 0, 0, -30, 0, 24, 40, 0, 0, -30, 8, -14, 0, -62, -36, 0, 54, 0, 38, 6, 0, 44, 0, -3, 36, 12, -16, 0, 0, 0, -8, -25, 0, -28, -96, 20, 0, 0, 32, -35, -64, -30, 0, 0, 48, 28, -84, 0, -32, -25, 0, 1, 0, 16, 6, 76, 0, 0, -8, -42, -48, -38, 0, 6, 0, -26, -20, 0, 0, -35, 60, 0, 0, 22, -72, 0, -40, 0, 0, -154, 56, 14, 0, -42, 0, 0, 44, 0, 8, -42, -48, 30, 0, 20, 0, 31, -42, 0, 38, 0, 0, -9, 0, -68, -48, -33, 0, 0, 12, -16, -50, -36, 0, 0, 10, -12, 0, 0, -114, -3, 0, 25, 0, -32, -64, 46, -40, 0, -60, -36, 28, -24, 0, 8, 0, -2, 24, 0, -8, 17, 12, 0, 0, 25, -6, -86, -8, 0, 0, 18, -32, 0, 0, -10, 104, 0, -32, 0, 68, 0, -86, -30, 0, -3, 0, -44, 0, 0, -32, 0, 0, 21, 0, 39, 40, 72, 0, 0, -88, -20, 0, -84, 0, 0, 36, -6, -10, 0, 48, 0, 0, -40, 0, -62, -94, 24, 0, 0, 84, 48, 24, -5, 0, -22, 0, 18, 48, 0, 0, 27, -88, 0, 0, 17, -76, 70, -4, 0, 0, -48, 16, 114, 0, -22, 82, 0, 24, 0, 0, 28, -20, 8, 0, 57, -14, -39, -40, 0, -42, 0, 20, 65, 0, -13, 0, 26, 0, 0, 50, -21, 30, 80, 0, 0, -54, 0, 16, 0, 6, 20, 0, -18, 0, -82, 8, 0, 112, 0, 52, 28, 4, 20, 0, 20, 0, -66, 0, 0, 92, 45, 54, 0, 0, -21, 0, 38, -54, 0, 0, 8, -72, -16, 0, 58, -12, 0, -6, 0, 78, -22, 56, 10, 0, 0, 88, -63, 40, 0, 0, 0, -60, 45, 0, -48, 104, -23, 0, 0, -48, 52, -44, -26, 0, 0, 0, 64, 76, 0, -20, -93, 0, 4, 0, 18, -84, -3, 60, 0, -36, 30, 0, 0, 0, 18, 0, 4, 40, 0, -8, -51, -40, 0, 0, -16, 40, 64, 0, 0, 0, -30, 0, -16, 0, -2, 72, 0, 60, 0, -28, -30, -40, -30, 0, -43, -14, -4, 74, 0, 6, 0, -40, -14, 0, -63, -26, 70, 0, 0, 0, -40, -30, -20, 0, 0, -8, -66, 24, 0, 0, -22, 0, -25, 0, -32, 0, 12, 66, 0, 32, 28, 140, -54, 0, -2, 0, 48, 44, 0, -48, -91, 0, 0, 0, 42, 2, 8, -12, 0, 0, -40, 140, -20, 0, 0, -136, 0, 0, 0, 46, 10, -16, 54, 0, -83, 8, -19, 44, 0, 60, 0, -52, 36, 0, -64, 44, 0, 0, 0, 52, 15, -56, 90, 0, 0, 8, -2, 126, 0, 0, 17, 0, -35, 0, 8, 0, 32, 16, 0, 24, 16, -24, -45, 0, -32, 0, 54, 60, 0, -30, 18, 40, 0, 0, 0, -56, -32, -24, 0, 0, 58, 0, -36, 0, 66, 14, 0, 84, 0, -32, -82, -8, 70, 0, -28, -78, -19, 0, 0, 16, 0, 60, -126, 0, 77, 12, -48, 0, 0, 42, -23, 38, 0, 0, 0, 40, 84, -48, 0, 70, 87, 0, -35, 0, 12, 48, -29, 10, 0, 0, 10, 0, 75, 0, -12, 0, -42, 48, 0, -12, -28, -86, 0, 0, -3, 0, -16, -120, 0, 0, 0, -52, -80, 0, 38, 4, 0, 34, 0, -30, 60, 0, 30, 0, 37, -32, 12, -136, 0, 0, 0, 66, 12, 0, 42, -76, -13, 0, 0, -28, 4, 20, 0, 0, 0, -32, 14, -14, 0, -12, -5, 0, 0, 0, -54, 116, -14, 16, 0, 24, -42, 36, -8, 0, 98, 0, 30, 0, 0, 0, 87, 72, 0, 0, 95, -16, 12, -40, 0, 0, 50, -28, 0, 0, 28, 0, 0, -12, 0, -32, 58, 80, 24, 0, 27, -54, 76, -26, 0, 96, 0, 0, -17, 0, -13, 0, -35, 0, 0, -48, -42, -10, -20, 0, 0, 56, 48, 0, 0, -72, -66, 0, 12, 0, 0, 40, -69, -10, 0, 70, -12, 24, -21, 0, -42, 0, -26, 20, 0, 72, 6, 0, 0, 0, 92, 24, 24, 126, 0, 0, 58, -20, -6, 0, 8, -60, 0, 80, 0, 98, -24, 30, 0, 0, -30, 0, -84, -60, 0, -60, 0, -10, 5, 0, -8, -132, -27, 0, 0, 4, 72, 0, -40, 0, 0, -44, -72, 6, 0, -72, 42, 0, 21, 0, 8, -24, 61, 0, 0, -48, 0, -56, 105, 0, 16, 0, -22, -12, 0, 26, 2, 0, 0, 0, 12, 84, 10, 56, 0, 0, -12, -32, 60, 0, -12, 2, 0, 56, 0, 0, 0, 12, 60, 0, -63, 16, -25, 0, 0, -14, 0, 12, 51, 0, 17, 0, -39, 0, 0, -70, 87, 70, 30, 0, 0, 6, -66, 0, 0, -2, -24, 0, 90, 0, 18, 28, -8, -34, 0, -16, 10, -100, -24, 0, -24, 0, 0, 0, 0, 72, 95, 16, 0, 0, -13, 84, -12, 70, 0, 0, -2, -30, -60, 0]