# Trace form for 1134.2.a.k, downloaded from the LMFDB on 24 April 2024.
[0, 2, -2, 0, 2, 3, 0, 2, -2, 0, -3, 3, 0, 4, -2, 0, 2, -3, 0, 10, 3, 0, -3, -9, 0, 11, -4, 0, 2, -6, 0, 4, -2, 0, 3, 3, 0, 4, -10, 0, -3, 15, 0, 1, 3, 0, 9, 0, 0, 2, -11, 0, 4, -6, 0, -12, -2, 0, 6, -3, 0, -11, -4, 0, 2, 6, 0, 13, -3, 0, -3, 3, 0, 7, -4, 0, 10, 3, 0, 7, 3, 0, -15, 12, 0, 12, -1, 0, -3, 18, 0, 4, -9, 0, 0, 15, 0, 1, -2, 0, 11, 9, 0, -20, -4, 0, 6, -9, 0, 28, 12, 0, 2, -3, 0, 3, -6, 0, 3, -3, 0, -1, 11, 0, 4, 51, 0, -11, -2, 0, -6, -9, 0, 10, -13, 0, 3, 27, 0, -8, 3, 0, -3, 6, 0, -42, -7, 0, 4, 18, 0, 1, -10, 0, -3, 6, 0, 1, -7, 0, -3, -9, 0, -2, 15, 0, -12, 12, 0, -18, -12, 0, 1, -12, 0, 11, 3, 0, -18, 18, 0, 19, -4, 0, 9, 6, 0, -21, 0, 0, -15, -21, 0, -14, -1, 0, 2, -12, 0, -20, -11, 0, -9, -6, 0, 6, 20, 0, 4, 15, 0, -32, -6, 0, 9, -48, 0, 4, -28, 0, -12, -6, 0, -8, -2, 0, 3, -36, 0, -23, -3, 0, 6, -12, 0, 0, -3, 0, 3, -9, 0, 19, 1, 0, -11, 3, 0, 20, -4, 0, -51, -18, 0, -30, 11, 0, 2, 15, 0, 4, 6, 0, 9, 21, 0, -42, -10, 0, 13, -9, 0, -2, -3, 0, -27, -33, 0, 10, 8, 0, -3, 27, 0, 37, 3, 0, -6, 15, 0, -13, 42, 0, 7, -15, 0, -54, -4, 0, -18, -18, 0, 1, -1, 0, 10, 33, 0, -26, 3, 0, -6, -18, 0, -23, -1, 0, 7, -12, 0, 24, 3, 0, 9, -15, 0, 22, 2, 0, -15, 0, 0, 10, 12, 0, -12, -30, 0, 1, 18, 0, 12, 6, 0, 2, -1, 0, 12, -3, 0, -44, -11, 0, -3, -21, 0, -45, 18, 0, -18, 15, 0, 12, -19, 0, 4, 60, 0, 10, -9, 0, -6, -6, 0, -20, 21, 0, 0, -12, 0, 1, 15, 0, 21, -54, 0, -12, 14, 0, 1, -24, 0, 30, -2, 0, 12, -39, 0, -44, 20, 0, 11, -12, 0, 8, 9, 0, 6, 6, 0, 7, -6, 0, -20, -3, 0, 84, -4, 0, -15, 15, 0, 34, 32, 0, 6, 33, 0, -11, -9, 0, 48, -36, 0, -23, -4, 0, 28, -45, 0, 16, 12, 0, 6, -63, 0, 60, 8, 0, 2, 66, 0, 39, -3, 0, 36, 6, 0, -2, 23, 0, 3, 33, 0, -29, -6, 0, 12, 3, 0, 13, 0, 0, 3, 51, 0, 55, -3, 0, 9, 54, 0, 8, -19, 0, -1, -48, 0, 19, 11, 0, -3, -45, 0, -24, -20, 0, 4, 3, 0, 19, 51, 0, 18, -30, 0, -3, 30, 0, -11, -12, 0, 7, -2, 0, -15, -30, 0, 0, -4, 0, -6, -21, 0, -53, -9, 0, -21, -6, 0, 11, 42, 0, 10, 30, 0, -30, -13, 0, 9, 3, 0, 22, 2, 0, 3, 42, 0, 19, 27, 0, 33, -30, 0, 7, -10, 0, -8, 36, 0, 2, 3, 0, -27, 6, 0, -21, -37, 0, -3, 15, 0, 7, 6, 0, -15, 0, 0, 37, 13, 0, -42, 12, 0, 24, -7, 0, 15, 6, 0, 20, 54, 0, 4, 18, 0, 12, 18, 0, 18, 48, 0, 31, -1, 0, 1, -51, 0, 10, -10, 0, -33, 0, 0, -38, 26, 0, -3, 9, 0, 22, 6, 0, 18, 18, 0, 104, 23, 0, 1, -6, 0, -23, -7, 0, 12, 33, 0, 4, -24, 0, -3, -12, 0, 1, -9, 0, 15, -12, 0, 45, -22, 0, -2, -42, 0, 3, 15, 0, 0, -30, 0, 37, -10, 0, -12, 15, 0, -6, 12, 0, 30, -66, 0, -23, -1, 0, -18, 0, 0, 1, -12, 0, -6, -15, 0, 24, -2, 0, 1, -12, 0, -29, -12, 0, 3, 87, 0, -39, 44, 0, 11, -42, 0, 20, 3, 0, 21, 9, 0, 88, 45, 0, -18, -18, 0, -24, 18, 0, -15, -6, 0, -20, -12, 0, 19, -132, 0, -38, -4, 0, -60, -51, 0, -65, -10, 0, 9, 69, 0, 1, 6, 0, 6, 30, 0, -6, 20, 0, -21, -9, 0, -17, 0, 0, 12, 51, 0, 58, -1, 0, -15, 48, 0, 28, -21, 0, 54, -6, 0, -20, 12, 0, -14, -51, 0, 22, -1, 0, 24, 75, 0, 54, -30, 0, 2, 51, 0, -8, -12, 0, 39, -3, 0, -22, 44, 0, -20, -45, 0, 0, -11, 0, 12, -39, 0, 3, -8, 0, -9, 15, 0, 67, -6, 0, -6, -102, 0, 5, -7, 0, 6, -42, 0, 10, 20, 0, 3, 24, 0, -62, -84, 0, 4, -3, 0, -48, 15, 0, -15, -12, 0, 26, -34, 0, -32, -27, 0, -1, -6, 0, -33, -18, 0, -53, 11, 0, 9, 12, 0, 85, -48, 0, 36, -9, 0, -18, 23, 0, 4, 60, 0, 26, -28, 0, 45, 51, 0, -14, -16, 0, -12, -6, 0, -29, -6, 0, 63, -6, 0, -11, -60, 0, -8, 0, 0, -6, -2, 0, -66, -12, 0, -24, -39, 0, 3, -21, 0, -35, -36, 0, -6, -81, 0, -48, 2, 0, -23, -9, 0, -77, -3, 0, -33, 6, 0, 22, 29, 0, 6, 54, 0, 10, -12, 0, -3, 18, 0, -8, -13, 0, 0, 21, 0, -84, -3, 0, -51, 51, 0, 14, -55, 0, 3, 39, 0, -81, -9, 0, -54, 27, 0, -54, -8, 0, 19, -21, 0, 79, 1, 0, 48, 9, 0, -8, -19, 0, -11, 63, 0, -6, 3, 0, 45, -90, 0, -18, 24, 0, 20, -54, 0, 28, -4, 0, -3, -30, 0, 7, -19, 0, -51, 6, 0, -45, -18, 0, 30, -30, 0, 52, 3, 0, -30, 3, 0, -42, 11, 0, 12, 99, 0, 13, -7, 0, 2, 33, 0, 14, 15, 0, 30, 39, 0, -20, 0, 0, 4, 66, 0, -80, 6, 0, 21, 18, 0, -60, 53, 0, 9, 42, 0, -23, 21, 0, 6, -48, 0, 1, -11, 0, -42, -42, 0, -50, -10, 0, -30, 51, 0, 79, 30, 0, 13, -12, 0, -143, -9, 0, -3, 24, 0, 0, -22, 0, -2, 6, 0, 31, -3, 0, -42, 21, 0, -116, -19, 0, -27, 75, 0, 1, -33, 0, 30, 39, 0, 24, -7, 0, 10, 12, 0, 30, 8, 0, -36, -12, 0, -2, -2, 0, -3, -15, 0, -101, 27, 0, -6, -9, 0, -68, 21, 0, 37, -30, 0, -21, 3, 0, -15, -69, 0, -2, -7, 0, -6, 15, 0, 8, 15, 0, 0, -36, 0, 37, -37, 0, -13, 36, 0, -55, 42, 0, -12, 51, 0, 15, -24, 0, 7, 12, 0, 43, -15, 0, -6, 0, 0, 3, -20, 0, -54, 81, 0, -18, -4, 0, -18, -9, 0, -12, -12, 0, -18, -15, 0, 69, -18, 0, -48, 42, 0, 40, -31, 0, 1, 78, 0, -54, -1, 0, 51, -12, 0, -74, -10, 0, 10, 51, 0, -6, 33, 0, 0, 18, 0, 11, 38, 0, -26, 0, 0, 64, 3, 0, -9, 30, 0, 49, -22, 0, -6, 39, 0, 12, -18, 0, -18, 96, 0, 1, -104, 0, -23, 18, 0, -27, -1, 0, 6, 66, 0, 2, 23, 0, 7, 54, 0, 19, -12, 0, -33, 30, 0, 65, -4, 0, 24, 3, 0, -2, 3, 0, 12, 9, 0, -60, -1, 0, 9, -63, 0, 28, -15, 0, 12, 6, 0, 76, -45, 0, 22, 6, 0, 82, 2, 0, 42, 3, 0, -21, -3, 0, -15, 18, 0, 15, 0, 0, 30, 66, 0, -35, -37, 0, 10, -132, 0, 55, 12, 0, -15, 15, 0, 2, 6, 0, -12, -21, 0, -40, -30, 0, 66, -60, 0, 3, 23, 0, 1, 15, 0, -14, 18, 0, 0, 96, 0, -36, -1, 0, 12, -45, 0, 0, 6, 0, 15, -6, 0, -66, -24, 0, 2, -54, 0, -6, -1, 0, 12, -12, 0, -14, 29, 0, 12, -84, 0, 35, -3, 0, -87, -18, 0, -20, 39, 0, -44, -66, 0, -8, -11, 0, 42, 99, 0, 57, -20, 0, -3, -102, 0, 48, -21, 0, -9, 105, 0, 56, -88, 0, -45, -6, 0, -38, 18, 0, 18, -27, 0, -26, 24, 0, -18, 30, 0, 6, 15, 0, 6, 69, 0, -30, 20, 0, 12, -69, 0, 112, -19, 0, 132, 24, 0, -38, 38, 0, 4, 0, 0, 25, 60, 0, 51, 15, 0, -39, 65, 0, 10, -6, 0, 67, -9, 0, -69, -165, 0, -32, -1, 0, -6, -63, 0, 7, -6, 0, -30, 96, 0, 34, 6, 0, -20, 0, 0, 6, 21, 0, 9, -33, 0, 35, 17, 0, 0, -48, 0, 57, -12, 0, -51, 18, 0, 6, -58, 0, 1, 30, 0, 4, 15, 0, -48, 111, 0, 88, -28, 0, 21, -111, 0, 88, -54, 0, 6, -39, 0, 84, 20, 0, -12, -108, 0, -44, 14, 0, 51, -6, 0, 34, -22, 0, 1, 99, 0, 72, -24, 0, -75, 18, 0, -8, -54, 0, 30, -84, 0, 4, -2, 0, -51, -54, 0, -2, 8, 0, 12, 60, 0, -44, -39, 0, 3, 33, 0, -18, 22, 0, -44, -36, 0, 2, 20, 0, 45, 36, 0, 28, 0, 0, 11, 21, 0, -23, -12, 0, 39, -39, 0, 58, -3, 0, 8, -12, 0, 60, 9, 0, -15, 45, 0, -8, -67, 0, 6, 102, 0, 31, 6, 0, 102, -12, 0, -63, -5, 0, 7, 15, 0, 60, -6, 0, 42, -12, 0, 0, -10, 0, -20, -51, 0, -22, -3, 0, -24, 114, 0, 79, 62, 0, 84, -48, 0, -14, -4, 0, 3, -87, 0, -32, 48, 0, -15, -9, 0, -77, 15, 0, 12, 18, 0, 47, -26, 0, 34, -48, 0, 19, 32, 0, 27, 90, 0, -17, 1, 0, 6, 114, 0, -17, 33, 0, 18, -18, 0, -24, 53, 0, -11, -72, 0, 108, -9, 0, -12, 3, 0, -30, -85, 0, 48, -27, 0, 49, -36, 0, 9, -48, 0, 20, 18, 0, -23, 6, 0, -54, -4, 0, -60, 0, 0, 28, -26, 0, 28, -66, 0, -20, -45, 0, -51, 30, 0, -23, 14, 0, 16, -18, 0, -20, 12, 0, 6, 57, 0, -48, 29, 0, 6, -66, 0, -30, -63, 0, 6, -132, 0, -41, 11, 0, 60, 54, 0, 16, 8, 0, 0, 24, 0, -122, 6, 0, 2, 96, 0, 105, 66, 0, 12, 15, 0, -119, 24, 0, 39, 18, 0, -16, -3, 0, 21, -36, 0, 4, 35, 0, 36, -81, 0, -3, 6, 0, 81, -96, 0, 187, 48, 0, -2, -6, 0, -14, 23, 0, 9, -84, 0, 84, 77, 0, 3, 21, 0, 5, 33, 0, -6, 60, 0, 63, -22, 0, -29, -42, 0, -42, -6, 0, -54, -27, 0, 103, -10, 0, 12, -30, 0, 40, 3, 0, -18, -39, 0, 7, 8, 0, 13, -102, 0, 22, 0, 0, -21, -9, 0, -84, 84, 0, 3, 87, 0, -22, 51, 0, -51, -48, 0, -2, -14, 0, 55, -6, 0, -18, -3, 0, -39, -48, 0, 12, 81, 0, 9, 36, 0, -114, 54, 0, -27, 45, 0, -12, 54, 0, 8, -33, 0, 0, -19, 0, 21, -99, 0, -20, -79, 0, -1, 36, 0, 10, -48, 0, -9, 60, 0, 96, 8, 0, 19, -105, 0, 106, 11, 0, -63, -54, 0, -100, 6, 0, -3, -12, 0, 2, -45, 0, 90, 27, 0, 60, 18, 0, -24, -27, 0, -110, -20, 0, 54, -60, 0, 37, -28, 0, 4, -66, 0, -8, 3, 0, 30, 78, 0, 103, -7, 0, 19, -48, 0, -11, 51, 0, -6, -12, 0, -51, 45, 0, 18, 15, 0, 82, -30, 0, 30, 12, 0, -47, -52, 0, -3, 0, 0, -13, 30, 0, -3, 48, 0, -23, 42, 0, -11, -45, 0, -24, -12, 0, -99, 96, 0, 2, -13, 0, 7, -138, 0, -48, -2, 0, -33, -15, 0, 82, -14, 0, -15, -48, 0, 90, -30, 0, -39, 12, 0, -54, 20, 0, 0, -18, 0, 140, -4, 0, -66, 264, 0, 26, 80, 0, -6, -24, 0, 10, -21, 0, -18, -69, 0, -11, 60, 0, -53, -18, 0, -93, -9, 0, -42, -18, 0, 18, 23, 0, -21, 150, 0, 1, -6, 0, 48, 87, 0, -89, -1, 0, 11, -120, 0, -4, 42, 0, 42, -21, 0, 6, 50, 0, 10, -36, 0, 1, 30, 0, -51, 33, 0, 52, -79, 0, -30, -66, 0, -41, -13, 0, 12, -15, 0, -26, 143, 0, 9, -33, 0, 12, 3, 0, -24, 66, 0, -5, 0, 0, 22, -84, 0, -18, 2, 0, -6, 24, 0, -12, -31, 0, 3, -18, 0, -41, 42, 0, -21, -6, 0, 15, 116, 0, 19, -30, 0, -23, 27, 0, -75, 24, 0, -88, -1, 0, 33, 6, 0, 13, -30, 0, -39, 15, 0, -94, -24, 0, 7, 48, 0, -144, -10, 0, -12, -12, 0, -44, -30, 0, -8, 198, 0, 30, 36, 0, 12, -54, 0, 24, 2, 0, 2, 12, 0, 16, 3, 0, 15, -24, 0, 99, 101, 0, -27, -24, 0, -23, 6, 0, 9, -90, 0, -22, 68, 0, -21, -15, 0, 14, -37, 0, 30, 33, 0, 76, 21, 0, -3, 27, 0, 22, 15, 0, 69, 96, 0, 67, 2, 0, 7, -201, 0, 76, 6, 0, -15, 78, 0, 64, -8, 0, -15, 57, 0, -5, 0, 0, 36, 0, 0, -33, -37, 0, 37, 18, 0, -137, 13, 0, -36, -93, 0, 10, 55, 0, -42, -48, 0, -57, 12, 0, -51, 36, 0, -57, -15, 0, 24, 6, 0, 186, -7, 0, -12, -99, 0, -95, -43, 0, 15, -30, 0, -11, 6, 0, 0, -66, 0, 38, -3, 0, 20, 168, 0, 1, 54, 0, -81, 111, 0, -6, 18, 0, 4, 90, 0, -41, 18, 0, 9, 255, 0, -74, 12, 0, 12, -90, 0, -8, 18, 0, 15, 6, 0, 16, -69, 0, 18, 96, 0, 114, 48, 0, -42, 96, 0, 2, -40, 0, 31, 12, 0, -168, -1, 0, -78, 141, 0, -55, 54, 0, 1, -105, 0, 27, -51, 0, 12, -72, 0, -143, 74, 0, 10, -3, 0, -42, -10, 0, -51, 177, 0, -80, 6, 0, -33, -105, 0, -44, 0, 0, -18, -24, 0, 14, -11, 0, -38, -12, 0, -84, 26, 0, 0, -27, 0, 24, -64, 0, -3, -36, 0, -29, 9, 0, -30, -21, 0, 88, -49, 0, 22, -66, 0, 26, 6, 0, -39, -42, 0, -45, -12, 0, 18, -45, 0, 0, 18, 0, -96, 78, 0, -87, -1, 0, 104, -132, 0, 16, 23, 0, -18, -126, 0, -28, 27, 0, 1, 15, 0, -144, -6, 0, -66, -84, 0, 22, -2, 0, -23, 0, 0, 12, -7, 0, -54, -96, 0, -60, -19, 0, 12, 147, 0, 13, 33, 0, -30, -57, 0, -150, -65, 0, 4, -24, 0, 4, -24, 0, -3, 60, 0, 34, 2, 0, -3, -24, 0, -51, -12, 0, -9, 48, 0, 10, 60, 0, 1, 24, 0, -110, -9, 0, 63, -36, 0, -120, -28, 0, 15, 0, 0, -40, -12, 0, -6, -87, 0, -74, -76, 0, 45, -6, 0, -3, -22, 0, -6, 135, 0, -114, -82, 0, -2, -75, 0, -20, -42, 0, -3, -129, 0, -26, 21, 0, 3, 3, 0, -154, 15, 0, -18, 6, 0, -96, -15, 0, 0, 54, 0, 24, -30, 0, -66, -12, 0, -40, 35, 0, 37, -132, 0, 103, -10, 0, 132, -21, 0, 1, -55, 0, -12, 42, 0, 76, 15, 0, -15, -114, 0, 12, -2, 0, -6, 48, 0, 124, 12, 0, 21, -99, 0, 37, 40, 0, 30, -54, 0, -26, -66, 0, 60, -42, 0, 37, -3, 0, -23, 27, 0, -12, -1, 0, -15, 51, 0, 14, 14, 0, -18, -66, 0, -32, 0, 0, -96, -6, 0, 73, 36, 0, 1, 30, 0, 106, -12, 0, 45, -24, 0, 154, 0, 0, -6, -27, 0, 7, -15, 0, 6, 78, 0, 30, 66, 0, 24, -84, 0, -64, -2, 0, 54, 147, 0, 85, 6, 0, 1, -30, 0, -210, -12, 0, 12, 36, 0, -27, 14, 0, -29, -39, 0, -32, -12, 0, 84, -96, 0, 0, -35, 0, 3, 174, 0, -44, 87, 0, 18, -45, 0, 120, 20, 0, -39, 9, 0, -2, 44, 0, 66, -96, 0, 46, 8, 0, 11, -6, 0, 58, -42, 0, -99, -12, 0, -22, -57, 0, 20, 96, 0, 9, 3, 0, 102, -12, 0, 8, -48, 0, 21, -66, 0, 105, 9, 0, -105, 90, 0, -11, -56, 0, 88, -24, 0, -84, 45, 0, 6, -81, 0, 72, 38, 0, -18, 6, 0, -29, -18, 0, 27, -138, 0, -17, 26, 0, -24, 63, 0, 7, 18, 0, -30, 0, 0, 5, -6, 0, -15, 27, 0, -147, -6, 0, -69, 36, 0, 155, 30, 0, -20, 6, 0, 58, -12, 0, 69, -3, 0, 48, -112, 0, 19, 153, 0, -16, -132, 0, -24, -60, 0, 84, 38, 0, -38, -102, 0, 72, -4, 0, 0, 36, 0, 7, -25, 0, -60, 99, 0, 14, -51, 0, -15, -93, 0, 6, 39, 0, -65, 15, 0, 75, -10, 0, 6, 0, 0, 18, -67, 0, 9, 30, 0, 34, 69, 0, 165, -72, 0, -50, 32, 0, 1, -18, 0, -30, 6, 0, 63, 141, 0, 60, -7, 0, 6, 3, 0, -29, 30, 0, -96, 33, 0, -46, -34, 0, -6, -102, 0, 5, 20, 0, 0, 60, 0, -11, -6, 0, -21, 3, 0, 72, -9, 0, 33, -102, 0]