# Trace form for 5415.2.a.t, downloaded from the LMFDB on 06 May 2024.
[0, 2, 1, -2, -1, -2, -1, 6, 0, 2, -1, 4, 1, -2, -2, 2, -3, 2, 1, 0, 1, -6, 2, 4, 0, 2, 4, -2, -8, 6, 1, 12, -9, -4, -9, -6, -1, 4, 0, 2, 0, -2, 2, 10, -2, -2, -8, 8, 3, 14, 1, -2, 6, 2, -1, -4, 10, 0, -2, 4, -1, 16, 11, 6, 4, 2, -2, 2, -11, -4, 2, -14, 0, -16, -8, -2, 0, 12, -4, 0, 3, 2, -16, 8, 8, -2, 20, -6, 0, -16, -1, -16, -12, -12, -1, 0, 9, 4, -23, 4, -1, -6, 9, 16, -10, 6, 1, -4, 1, 14, -2, -4, 6, -22, 0, -4, -8, -2, 2, 26, 0, -14, 18, 2, -1, -2, -2, 26, 25, -10, -4, 4, 2, 0, 6, 2, 20, 14, 8, 12, 8, -8, -12, -4, -3, -6, 2, -14, -12, -6, -1, 20, 0, 2, -4, -12, -6, 40, 0, -2, 9, 32, 1, 0, -14, 4, 29, -24, -10, -14, 9, 0, 10, -12, 2, 6, -6, -4, 2, -22, 1, 18, 12, -16, 20, -4, -11, 4, -9, -6, 0, 30, -4, -14, 2, -2, -37, 14, 2, 8, 0, -2, 22, 28, 11, 2, -12, 4, -12, 0, -2, -16, -1, 14, 33, -10, 0, 26, 7, 16, 2, -22, 8, 14, -32, 2, -1, -8, 0, 18, 8, -12, 10, -18, 4, -8, -2, 0, -22, 2, -3, -2, -7, -2, 2, -14, 16, 0, -10, -8, -1, 36, -8, 8, 18, 2, 7, 16, -20, 32, -6, 6, -8, 4, 0, -2, 0, 16, 4, -32, 1, 20, 27, 16, 37, 4, 12, 22, 1, 12, -10, 2, 1, -2, 2, 0, 8, 24, -9, 8, 2, -4, 18, 34, 23, -4, 20, -4, -18, -24, 1, 0, 25, 6, 0, -16, -9, 18, -16, -16, -11, -16, 10, 14, 20, -6, 0, 26, -1, 12, -4, 4, -24, 0, -1, -2, 20, -14, 30, 34, 2, -4, 21, 4, 13, -2, -6, 4, -17, 22, 11, 24, 0, 60, -30, 4, 34, -16, 8, -54, -2, 2, -18, 44, -2, 14, 18, -26, -26, 56, 0, 0, 19, 14, 28, 16, -18, -10, 24, -2, 8, 6, 1, -22, -18, 2, 10, -16, 2, -60, 0, -26, 30, -32, -25, -12, -2, 10, -2, -26, 4, 44, 60, -4, 17, 0, -2, -6, -36, 0, -3, -54, -6, -2, 28, -2, -16, 8, -20, 8, 16, -14, -28, 12, -8, -8, 14, -12, 0, 52, -8, -8, -33, 8, 0, 2, 12, 28, 37, 4, -20, 12, 3, 30, -2, 6, -7, 0, -2, 8, 0, 14, 4, 0, 12, 16, -28, 6, 2, -6, 1, -4, 21, -20, -4, 16, 0, 54, 19, -2, 12, -74, 4, -62, 6, 12, 11, -36, 6, -4, 1, -40, 0, 20, 0, 0, -48, 2, 46, -10, -9, -24, 49, -32, 7, -4, -1, 54, -20, 0, 23, -30, 14, 26, 0, -4, -33, -32, -29, -16, 1, 24, 48, 52, 10, 6, -16, 14, -8, -30, -9, -68, -24, 0, -22, -16, -10, 16, -24, 12, 10, 24, -2, -36, -12, -6, -13, -8, 6, 2, -1, 4, 0, -28, -2, 4, -10, 22, -36, 28, -1, -58, 15, -18, -19, -14, -12, 4, 23, 16, 2, 0, -20, 0, 26, 4, -11, -16, 11, 20, -6, -4, -4, 16, 9, 22, 24, 6, 10, 12, 0, 0, 12, -30, -28, 4, 4, -36, -16, 14, 8, -26, -2, 4, -20, 2, -13, 24, 37, 0, -2, -14, 24, 10, -2, -26, -12, -8, 8, -38, 0, -12, 20, 2, 5, 14, -22, -52, 0, -28, -18, -18, -11, 44, 34, -2, 20, -14, 12, -12, 1, -4, -38, -68, 12, 2, 62, 0, -20, 44, 2, 48, 0, 16, -27, -26, 1, -74, -4, -14, -25, 52, -33, 24, -56, 10, 0, 4, 0, 8, 4, -26, 20, -16, -7, -4, 48, -16, -18, -20, -2, 66, 8, 22, -50, 0, -8, 32, 37, -14, -6, 32, 32, -18, 12, -2, -3, -30, 1, 12, -20, 8, 22, -48, 0, -14, -60, -18, -60, -2, -8, -32, 46, 12, -53, -12, -10, 58, -27, 18, -8, -24, -4, 0, 8, 8, 42, -68, 2, 30, 12, 0, -20, 4, 22, 4, -4, -2, 18, -24, 3, 88, 0, 2, 1, 6, 7, 78, -40, 2, -2, -50, -2, 58, 20, 14, -28, 4, -16, -8, 12, 0, -2, -28, 10, 6, -66, 8, -22, -82, 1, -28, 3, -36, 12, -20, 8, 2, -20, -8, 0, 20, -18, 42, 0, -2, -61, -4, -7, -14, 4, -16, 12, -20, 20, 12, 0, -32, 32, 0, 6, -28, -8, -6, 69, -40, 8, -34, 3, -4, 0, -86, 0, 4, -28, 2, -44, 42, 0, 28, -9, -16, -42, -32, -4, -32, 24, 32, -50, -34, -1, -16, -44, -20, -16, 0, -27, 0, -46, -16, 14, 30, -37, -28, 40, -4, -4, -56, -12, 2, -29, -22, 6, 134, -1, 24, 0, -12, 46, -18, 10, -30, 46, -2, -17, 14, -1, -42, -3, 2, -9, 48, -2, 92, 4, 0, -70, 42, -8, -20, -10, -24, -4, -28, 9, 12, -40, -8, -28, 0, -2, 8, 0, 4, 0, -6, -18, -24, 9, -34, 6, -14, -23, 0, 26, 4, 15, 64, -20, 68, -2, 4, -42, 0, 18, 22, 70, 24, 62, 26, -1, 2, -32, 0, -20, -18, -25, 8, 4, -6, -12, 50, 0, 16, 22, 16, 1, 32, 9, 0, -20, -18, -32, 4, 16, 4, -46, 16, -32, 40, 11, 0, 29, 16, -13, -4, -10, 40, 8, -14, 9, 56, -20, 56, -6, 6, 40, 32, 0, 36, 0, -26, 70, -58, 1, -30, 44, -12, -70, -18, 4, 20, 8, -4, 51, 14, 24, -20, 0, 0, -2, 34, 1, 46, 42, 2, -54, -14, -20, -32, 37, 14, -30, 28, -30, -14, -22, -34, 0, -40, -2, 8, -49, 4, 4, -8, -21, -100, -43, -4, 0, -32, -13, 4, 12, 2, 21, 0, 6, 36, -22, -4, -24, -38, 17, -28, -10, -22, 0, 54, -11, 70, 36, -24, -11, -2, 0, 0, -38, -60, 12, -54, 30, -2, -2, -4, -56, -24, -34, 24, 12, 16, 42, 12, -8, 0, -78, 54, 20, -14, 2, 16, -17, -2, -59, 16, 18, 30, -39, -44, 1, -66, 2, 8, 0, -14, -4, 8, -18, -30, -33, 26, -18, 32, 26, 10, -4, -56, -46, 42, 0, 36, -59, 0, -5, -26, -19, 18, -16, -14, -7, -100, -28, 68, -58, -16, -60, 34, 18, 120, -2, 10, 0, 48, -24, 22, 0, 2, 4, -46, -8, -12, 10, -6, 42, -14, -1, 10, 20, 22, 32, 0, 18, 66, -6, -2, -57, 148, -10, 42, 1, 16, 26, 32, -2, 8, 36, 60, 26, -18, 0, -40, 35, 26, -20, -18, -30, 4, -52, 32, -8, -20, 25, 36, -18, 12, -24, 36, 2, 0, -10, -10, 42, -32, 2, 18, 2, 26, -6, -122, -4, 40, -47, -44, 47, 8, -60, -8, 0, 4, 2, -50, -17, -22, -28, 0, -35, 8, 2, 24, 22, 6, 30, 16, 36, -2, 32, 0, -64, 28, 3, 46, 34, 54, 20, 2, 6, 6, -30, 2, 7, -116, -28, -18, 4, 2, 0, 18, 16, 4, -2, -8, 16, 28, 20, 14, 22, -8, 16, -10, -16, -56, 12, 14, -37, 0, 28, 16, -21, -12, 10, -56, 8, -44, -22, 8, 36, 0, -14, -10, 1, 12, 48, -36, 0, -36, 0, -52, -8, -70, 8, -4, 9, 8, 0, -8, 33, 34, -53, -8, -18, -42, 0, 0, 28, -2, -16, 6, -12, 24, -7, -28, 46, -76, -37, -16, 62, -4, 80, 96, 20, 0, 0, -12, 57, -32, -3, 34, 4, -30, 6, 2, 2, -24, -40, -6, 2, -28, 7, 52, 8, 0, -6, 56, 2, -4, -52, -8, -20, -8, 0, 20, 3, -14, 12, 2, -4, 64, -87, 0, 0, -72, -12, 90, -24, -16, -50, 60, 28, -56, -4, -6, 36, 0, -2, 32, -24, 6, 8, 0, -1, -52, 20, 4, -15, -20, -21, 8, -4, 20, -27, -84, 4, 34, -2, -16, -49, -12, 0, -26, -37, -54, -120, -18, -19, -4, -30, 2, 4, 22, -12, -28, 9, 74, -80, -22, -4, 0, -37, 62, -1, 74, -6, 104, 24, -12, 27, 52, -11, 52, 10, 36, 38, -8, -6, -2, 0, 4, 50, 50, -1, -92, -2, 40, 56, 2, 0, -14, 75, -20, -2, 102, 0, -18, -6, 0, -48, 44, 48, -36, -8, -2, 30, 34, -46, -24, -38, 10, 8, -44, 9, 8, -56, 24, 0, -8, -49, 66, -20, 32, -2, -104, -7, -40, 44, 4, -36, 38, 1, -8, -18, -54, -60, 0, 20, -34, 74, 0, 30, 42, -23, -44, -12, 30, 12, 4, -14, 2, -39, -26, -20, 54, 0, 6, -8, 4, -59, 108, 33, 32, 18, 32, -44, 42, 29, 24, 40, 16, 74, -2, -1, 0, 21, -24, -41, 0, -48, 28, 28, -52, -25, 20, -10, -56, 46, -6, 40, 56, 16, 24, 0, -14, 10, -72, 8, 16, -14, 30, -30, 24, 9, 16, -29, 68, 8, -18, 24, 6, -67, 0, 16, -16, 22, 72, -10, 16, 10, -96, 10, -78, 11, -16, -6, 48, 24, 16, 58, -12, 0, -58, -10, 112, -24, -24, -52, -14, 2, 16, -93, 36, -20, 38, 12, 14, -22, 6, -20, 0, 13, 72, 0, 8, 42, -112, -6, -26, 32, -2, -22, -24, 1, -40, 80, -4, -49, -12, 0, 28, -31, 28, 4, 102, 2, 34, 12, -4, 4, -60, 10, 2, 24, -22, 26, -84, 36, 0, -66, -28, -2, -82, 1, -78, -73, 58, 60, 2, -15, 80, -24, 18, -20, -94, 19, -8, 0, 14, -54, -58, 12, -12, -30, -4, -30, 12, -23, -34, -24, -16, 36, 4, -2, -16, -16, 0, 7, 4, 20, -48, -29, 0, -21, 40, -26, 80, -20, -4, -33, 40, 11, 74, -13, 16, 0, -84, -11, 2, -6, -20, 16, -72, 6, 10, -45, 4, 54, -4, 4, -106, 50, -16, 17, 0, -9, -8, 14, -22, -9, 50, -24, -24, -11, -6, -16, -24, -10, -24, 36, -12, -24, -6, 0, 12, -99, 0, 61, -60, -12, -106, 35, 30, 30, 12, 28, 78, -16, -4, 56, 80, -4, 0, -34, 36, -70, -6, 16, 16, 30, -14, 0, 36, -8, 20, 4, 26, -21, 54, 2, -44, 0, -4, 2, 96, 20, 20, -112, -2, 1, 48, 13, -96, 18, -24, 58, -100, -37, -44, 80, 0, -30, 28, 2, 64, 15, 14, 77, -14, -24, -28, -16, -10, -18, 46, 2, -76, 70, 26, 0, -92, 12, 2, 26, 8, -24, 0, -8, -56, 68, 38, -2, 108, 0, -38, -9, 12, -28, 0, -20, -22, 3, -2, -19, 10, -5, 148, 54, -14, 0, 0, 22, -144, -28, 52, 80, -60, 0, -16, 58, 28, -32, 24, 18, -80, -20, 18, -24, 10, 11, -48, -15, -44, -24, 42, -34, 0, 42, 2, -28, -84, -20, 54, -8, 14, 16, 14, -12, -6, 2, 12, 100, -28, -1, 76, 0, 4, -40, 22, 38, -54, 23, 68, 18, 66, -12, 16, -20, -2, 12, -58, -62, -36, -10, 0, 8, -56, 20, 16, 8, -44, -18, 42, -2, 116, 20, -48, -4, 60, 0, 50, -32, -16, 0, 70, 27, -24, 66, 26, -89, 56, -1, -84, -30, 74, -90, 28, 4, 32, -60, 14, 46, 0, 25, -62, 70, -52, 32, 12, 33, 22, -100, -24, 2, -64, 56, -18, -30, -10, 21, -24, 0, 36, 2, -4, -8, -4, 0, 26, -22, -8, -12, 20, -4, 60, -62, 26, -107, -44, -20, 0, 4, 16, -60, 4, 7, 10, 0, 4, 49, 16, -48, -44, -17, 16, -48, 54, 18, 0, 0, 20, -40, 50, 2, -56, 39, -66, 34, 6, -8, 58, 36, -22, 36, 36, 50, 14, -70, 0, -27, 132, 8, 4, 3, -32, 24, 84, -37, 54, -18, 14, -60, 166, 6, 100, -31, -32, 0, 2, -32, -20, -42, 18, -28, 10, -12, 64, 40, 2, -79, -64, 3, 0, 16, 30, -54, 0, -1, -8, 30, -12, -18, -48, 20, -40, 5, -8, 104, -8, -22, -72, -25, 48, -16, 162, 0, 54, 0, 14, 60, -14, 60, -32, 28, 18, 8, -56, 60, -12, 34, 2, -18, 42, 8, 0, 80, 32, -82, 8, -46, 22, 117, -12, -14, -22, 53, 82, 18, 12, -24, -104, 10, 10, 0, -58, -42, -112, 27, -52, 24, -18, -22, 70, 8, 60, -52, 24, 30, 8, 4, -110, -51, 0, 33, -10, -8, 8, 10, -8, -41, -68, -42, 40, 0, 68, -38, -28, -2, -2, 54, -30, 0, -18, -12, -68, 24, 0, 4, -28, 20, 36, 15, -4, -37, -110, -22, -16, -4, -4, -24, 0, 4, 4, 20, 2, 40, 28, -18, -12, -74, 24, 16, 6, -3, -24, -32, -88, -1, -30, 0, 28, -10, -2, 2, 74, -1, -2, 44, -6, 15, 12, -7, -48, 7, -78, -60, 8, 40, 0, 64, -2, -62, 16, 2, -68, -111, 50, 67, -8, 2, 20, -40, -58, 0, -94, -20, -12, 0, -14, -56, 36, 28, -52, -4, -4, 0, -54, 16, 0, -30, 8, -78, 158, -12, 100, 44, 0, -3, -16, 2, 44, 58, 28, 28, 8, -10, 56, 40, -6, 0, 100, 66, -56, -2, -8, 0, 32, 22, 6, 78, 82, 10, 92, -1, 56, -73, 28, -56, 4, -3, -8, 51, 36, -21, 0, -12, -76, -50, 20, -24, 12, -8, 18, 4, -2, 58, 50, 20, -16, 14, 8, -14, 10, 0, 126, 40, -20, 35, -54, 18, 54, -24, -42, -19, 0, 0, -8, -48, 2, 80, -12, 61, 0, -12, 4, -90, 116, 7, 74, -82, 14, 18, -4, -4, -24, 40, 16, -32, 62, -12, -32, 0, 20, -6, -32, -20, -112, 68, -12, 4, -8, 0, -106, -11, 32, -2, -112, -32, 36, 82, 0, 74, 30, -6, 18, 55, 28, 60, 4, 8, 78, 23, 6, -1, -72, -69, 2, 66, 40, 0, 104, -8, -8, 0, 34, 40, 32, -3, -20, -6, 4, -12, 112, 0, -88, -45, 86, -21, 0, 0, -18, -28, -4, 48, -82, 28, 86, 54, -2, 118, 52, 44, 22, -46, -42, -40, 28, 0, 10, -26, -28, 14, -54, 9, 262, 113, 16, 46, 24, 42, -26, -40, 32, -49, 2, 4, 0, 68, 32, -75, -80, -24, -4, -7, -32, 92, -24, 50, 4, 16, 34, 56, 42, 1, -44, 0, 16, 9, -54, 44, 74, -8, 20, 20, -42, 16, -162, 34, 0, -41, -36, 27, 0, -23, 0, -22, 28, 46, 30, -50, 16, 50, 6, -14, -148, -48, -30, -64, -26, 37, 2, -23, 28, 0, 92, -40, 66, 38, 4, -9, -2, 4, -16, 33, 56, 62, 0, 12, 32, -2, -2, 60, 0, 29, 8, 104, 22, 20, 16, -6, -16, -95, -134, -1, -76, 1, 2, -110, -24, -8, 28, 0, 24, -48, 12, -60, 188, -46, -52, -52, 18, -20, 36, -10, -96, 8, 30, -39, -6, -46, 0, 0, 2, 16, -16, 17, 54, 2, -14, 80, 20, 1, 48, 8, 42, -116, -132, 3, 30, 0, -2, 102, 92, 9, 52, 20, -48, 33, 68, 2, 8, 77, -92, 24, 6, -4, -36, -6, 0, -73, -40, 70, -80, 22, -42, 38, 98, 8, 16, 72, 20, 98, -44, 10, -68, 85, 24, 0, -16, 4, -88, 53, 28, 24, -80, -9, -2, 32, -12, -4, 14, 40, -84, -10, 8, 56, 0, 28, -24, -62, 0, -60, -132, 2, 44, 18, -8, -49, 36, 0, 12, -44, -4, 12, -26, 0, 140, -34, 6, -12, -8, 18, 4, 13, 24, 70, 114, -9, 8, 0, 34, -124, -88, -6, 0, -30, 14, -63, -2, 23, -32, -20, 0, 1, -4, -26, -200, 82, -4, -11, -4, -15, -64, 0, -64, -36, -32, 20, 28, 160, -68, -56, 40, 2, 8, -39, -4, 0, -4, 42, 48, 32, 0, 10, -6, -18, -70, 4, -22, 0, 76, -70, -74, 36, -24, -6, 90, -62, -28, -20, -26, 0, 22, 1, -72, 24, -2, 51, 58, 32, -64, 15, 0, -15, 16, 20, -182, -16, 18, -16, 0, 25, -124, 19, -8, -62, -168, -4, 14, -18, 6, -20, 44, 12, 68, -1, -50, 69, -4, 0, 192, -53, -16, -23, 140, -22, -34, 180, -16, -9, -32, -1, 40, -2, -32, 50, -70, -9, 0, 6, 0, 6, -76, 20, 72, -54, 18, 41, 0, 32, -86, -102, -4, -26, -80, -16, 16, 0, -4, 90, -44, 46, 32, 11, -16, -8, -28, 32, 16, -88, -40, -34, 22, -11, -24, 0, 0, 36, -20, -29, 76, 11, -16, 6, -40, 13, 132, 62, 4, -64, -132, 10, -104, 4, -40, 0, 12, -8, -16, 14, 14, 0, -82, -9, -56, -61, -56, -40, -22, 20, 32, 124, -56, -24, 0, 6, -70, 28, -6, 45, -26, -40, -124, -10, -32, -74, 136, 0, -12, 26, -36, 82, 64, 0, -56, -52, 26, 47, 0, -70, 106, -18, 58, -12, -102, -1, 124, 78, 30, -53, 44, -44, 0, 28, 12, 20, 26, 70, -4, 32, 18, 18, 10, -4, 40, -16, -20, -144, 36, -8, -4, 0, 4, 16, 28, -51, 8, 38, -14, -57, -38, -24, -84, -8, 20, -32, -152, 0, 26, -20, 0, -34, -10, 2, 44, 92, -34, 9, -4, -1, 16, 136, -46, 20, 32, -42, 0, -10, -2, 0, 36, 54, -68, 13, 14, 16, 116, 20, -24, -50, 32, -44, -72, -37, -172, -57, -14, 40, 0, 30, -124, 8, -28, 2, 8, 30, 48, -34, 14, -31, -30, 22, -64, -24, 34, 42, -72, 0, -10, 78, 40, 10, 44, 2, 20, -31, -8, 79, 26, 49, 2, 26, -4, 12, 40, -4, 0, 110, 8, -79, 88, 21, -8, -8, 100, 54, -44, 43, 38, 156, 4, -56, -64, 0]