# Trace form for 7225.2.a.r, downloaded from the LMFDB on 10 July 2025.
[0, 3, -1, 0, 1, 0, 2, -2, -3, -1, 0, 4, 6, -4, 12, 0, -3, 0, 5, 0, 0, -4, -8, -8, -8, 0, 10, -6, -16, -12, 0, 10, 3, -2, 0, 0, -11, -8, -4, 10, 0, -2, 10, 14, 6, 0, -22, 10, -16, 7, 0, 0, 0, -14, -2, 0, 6, -16, 8, -4, 0, 6, -14, 16, -11, 0, -4, -6, 0, 0, 0, 8, 7, -30, 20, 0, -12, -14, 6, 10, 0, -13, -30, 2, 0, 0, 4, 16, -2, 2, 0, 10, 22, -18, -4, 0, 10, 20, -43, -6, 0, -10, 0, 22, -6, 0, -18, 0, -14, 18, 0, 20, 10, 18, -4, 0, 8, 0, -12, 0, 0, -21, 26, -24, -4, 0, -30, -6, 33, 10, 0, 14, 10, 8, 12, 0, 0, -24, -30, 28, 0, 22, 16, -14, 13, 0, 6, 10, 0, -2, 0, -12, 16, 0, 32, 0, -18, 14, 26, 8, 0, -44, -23, -18, 6, 0, -40, 26, -6, -15, 0, 12, 6, 8, -4, 0, 0, -4, -44, 8, 0, -12, -22, -36, 8, 0, -4, 0, 26, 12, 0, -32, 18, 26, -28, 0, 53, -12, 18, 18, 0, -34, 20, 0, 0, 0, -56, -22, -16, 4, 0, 58, 26, 50, -34, 0, 22, -10, 2, -16, 0, 0, 12, -50, -44, 0, -46, -6, 16, -26, 0, -14, -4, -16, -14, 0, 8, -6, 0, -24, 0, 10, -11, 32, -62, 0, -32, -20, 8, -34, 0, -40, 30, 14, 20, 0, 13, 28, 18, 20, 0, -8, -46, -22, -4, 0, -20, -50, -46, -38, 0, 0, 0, 24, -10, 0, -16, -30, 16, 4, 0, 30, 6, -26, 34, 0, 18, -36, -27, 0, 0, -36, -22, -22, -36, 0, -12, -4, 58, -14, 0, -2, 52, 42, 32, 0, 0, -2, -46, -22, 0, -4, 2, -26, 18, 0, -32, 54, -32, -20, 0, 12, 42, 0, 37, 0, -4, 32, 26, -30, 0, -8, 6, 0, 8, 0, -16, 24, 1, -12, 0, 24, -8, -82, -24, 0, -56, -22, -40, 14, 0, -12, 20, -42, -16, 0, -6, 0, 16, 8, 0, -25, 44, 2, 46, 0, 32, 14, 8, -6, 0, -44, 38, -24, 0, 0, -32, 36, -44, -2, 0, -2, 68, 10, 8, 0, 50, -6, -8, -58, 0, 0, -17, -42, 32, 0, -28, 70, 26, -20, 0, 28, 6, -42, 22, 0, -28, -28, 0, -18, 0, 2, 34, -20, 36, 0, -10, -22, 8, -14, 0, -10, -22, -26, 6, 0, 24, 88, 46, 4, 0, 26, 38, -28, 36, 0, 30, 0, -24, -4, 0, -53, 0, 18, -36, 0, -24, 32, 60, 26, 0, 28, 34, 44, -36, 0, 4, -32, 0, 0, 0, -2, 18, -50, -20, 0, 44, -46, 32, 58, 0, -8, 8, 10, 36, 0, 0, -26, -20, 34, 0, 48, 2, -14, 13, 0, -30, -70, 30, -40, 0, -36, 20, 0, -12, 0, 26, -18, -38, 10, 0, -32, -8, 6, -16, 0, -28, -16, -22, 6, 0, 28, -61, 32, -2, 0, 18, 14, -44, -16, 0, -44, -12, -14, 4, 0, 0, 0, -10, 51, 0, -8, 0, -52, -42, 0, 40, -24, -22, 50, 0, 20, -8, 12, 0, 0, -12, -28, 12, 62, 0, -32, 46, 58, 2, 0, -38, 48, 20, 0, 0, 0, 66, -38, -2, 0, 16, -60, -58, -30, 0, 26, -14, 32, 36, 0, 21, -24, 0, -12, 0, -46, -8, 4, 46, 0, -10, 26, 4, 36, 0, -36, -32, 38, 24, 0, -26, 54, -2, -24, 0, -58, 50, 46, -8, 0, 10, 24, -20, 36, 0, 8, 0, 22, -92, 0, 28, -58, -34, -4, 0, 16, -52, -38, 14, 0, 2, -12, -26, 0, 0, 4, -4, 14, 26, 0, -36, -40, 24, -34, 0, -62, -34, -68, -56, 0, 0, -74, -1, 8, 0, -42, -36, 48, 20, 0, 50, 22, 86, 36, 0, 26, -4, 0, 32, 0, -28, 32, -40, 10, 0, -20, -10, 6, 4, 0, -17, -6, -28, -20, 0, -4, -30, 24, -8, 0, 86, -10, -34, 4, 0, 104, 40, 46, 56, 0, 28, 0, -30, 56, 0, 10, -32, -40, -50, 0, -2, -2, -4, -72, 0, 32, 48, -2, 0, 0, -40, 36, -4, -72, 0, -90, 27, -28, -32, 0, -32, -30, -34, 11, 0, 0, 48, -30, -4, 0, 66, -18, 34, -16, 0, 24, 28, -4, -16, 0, 46, -6, 0, -80, 0, 100, -54, -36, -28, 0, 32, -52, -14, 30, 0, 34, 14, -28, -36, 0, 40, -12, -12, 50, 0, 54, -62, -20, 16, 0, 16, 48, 60, 48, 0, -8, 0, -8, -27, 0, -32, -26, -68, -54, 0, -80, 16, -16, -58, 0, 28, -62, -12, 0, 0, 6, -56, -36, 22, 0, 26, -40, -32, 0, 0, 48, 64, -32, 36, 0, 0, -20, 78, -46, 0, -6, -34, -4, 0, 0, 16, -32, -20, 2, 0, -32, 68, 0, 44, 0, -20, 16, 22, 72, 0, -7, 32, 8, 36, 0, 40, -24, -2, -20, 0, -28, -34, 28, -132, 0, -12, 22, 4, -8, 0, -52, 30, -42, -26, 0, -10, 0, -78, -16, 0, -16, -50, 8, 60, 0, -44, -26, -4, -20, 0, 34, 103, 62, 0, 0, 72, -32, 4, 42, 0, 10, 34, -44, 56, 0, -26, -76, -42, -76, 0, 0, -32, 0, -6, 0, 40, 6, 32, -22, 0, -128, -8, 42, 82, 0, -10, -50, 0, -24, 0, -50, -22, 58, -14, 0, 56, -34, 8, -30, 0, -20, 12, 58, 40, 0, -18, 42, -122, 72, 0, 0, 32, 104, 12, 0, -30, -22, 26, 20, 0, 28, 0, 68, 30, 0, 56, 20, 22, -22, 0, -13, -24, -46, -30, 0, -2, 10, 19, 0, 0, 52, 2, 54, 96, 0, 66, -62, -22, 46, 0, -30, -16, 18, 36, 0, 0, 8, 36, -62, 0, -28, 6, 72, 76, 0, 38, -72, -114, -24, 0, 32, 34, 0, -28, 0, 36, -16, -16, -24, 0, 48, 58, -32, -14, 0, 8, -34, -66, -80, 0, -10, -140, -14, 1, 0, 16, 10, 56, -12, 0, 22, -46, 96, -50, 0, 92, 0, -48, 8, 0, 96, 40, 84, 52, 0, -32, 96, 28, -16, 0, 52, -54, 4, 0, 0, 24, 60, 57, -64, 0, 56, 16, -26, 12, 0, 0, 48, 54, 6, 0, 0, 74, 72, 24, 0, -18, 44, -110, -76, 0, -2, 48, -24, -24, 0, 32, -82, 0, -13, 0, 4, -4, -54, -42, 0, 22, 18, -82, 44, 0, 52, 8, -2, 92, 0, -60, 52, -34, -2, 0, -30, -6, 4, -50, 0, -58, -22, 48, -70, 0, 8, 0, -66, -58, 0, 64, 154, -26, -30, 0, -64, -36, 78, 58, 0, -108, -34, 2, 0, 0, 32, 30, 22, 10, 0, 36, -84, -88, -98, 0, 62, -17, 20, 6, 0, 0, -96, 76, 72, 0, -48, 58, -20, 76, 0, -16, -10, 62, 48, 0, -56, -10, 0, 40, 0, 22, 34, 8, -4, 0, -18, 20, 18, -20, 0, 70, -82, -32, -40, 0, -40, -30, 106, 44, 0, -74, 0, 36, 16, 0, 42, -18, 60, -50, 0, -64, 0, -32, 48, 0, -96, -62, 74, 86, 0, -36, 42, -28, 136, 0, 8, 56, 26, 0, 0, 26, -8, 42, -16, 0, -66, 42, -12, -2, 0, 66, -134, 120, -12, 0, 0, 104, 64, 110, 0, 38, -36, -42, -42, 0, 38, 70, 56, 12, 0, -6, -54, 0, -88, 0, -84, -120, 90, 2, 0, 36, 76, 2, -64, 0, 72, 60, 68, 74, 0, -4, 12, 26, -48, 0, -16, -82, 98, -12, 0, -10, 14, 58, 12, 0, -64, 0, -18, -48, 0, -15, 16, -12, 46, 0, 2, 26, 20, 58, 0, -88, -90, 4, 0, 0, 92, 42, 72, -58, 0, -78, -46, -136, -114, 0, 42, 78, -34, 76, 0, 0, 14, 66, -58, 0, -54, 64, 18, 28, 0, 6, 104, -74, -100, 0, 26, 76, 0, 68, 0, 22, 64, 44, -100, 0, 112, 31, 8, -54, 0, 48, 60, 72, 8, 0, 18, -42, 4, 16, 0, 22, -8, 4, -15, 0, 14, -98, 76, -26, 0, 8, 0, -16, 100, 0, 122, -68, 8, 8, 0, -92, 32, 40, 34, 0, -22, 72, -2, 0, 0, 126, -26, 28, -132, 0, 74, 52, -164, 36, 0, -24, -16, 42, -66, 0, 0, -62, 26, -6, 0, 24, 16, -8, -8, 0, -8, -48, -38, 98, 0, -12, -26, 0, 14, 0, 12, 16, 48, -44, 0, 48, 10, 72, 20, 0, 60, 190, -32, -51, 0, 12, 18, 0, 56, 0, -58, -44, 6, 20, 0, -58, -10, 71, 42, 0, 44, 0, 28, -44, 0, 142, 36, 56, -76, 0, -92, -94, 36, 70, 0, -54, -58, 28, 0, 0, 46, -32, -30, -24, 0, 14, -98, -50, 34, 0, 58, -116, -2, 48, 0, 0, 26, 126, -70, 0, 12, -52, 40, 56, 0, -48, -14, -36, 4, 0, -12, 0, 0, 22, 0, -20, -104, -14, 44, 0, 17, 28, 108, -10, 0, 112, 40, 0, 12, 0, -56, -138, 20, -4, 0, 2, 72, 92, -28, 0, -58, 26, 14, -14, 0, 78, 0, -34, 106, 0, 16, 52, 48, -24, 0, -70, -40, 64, -108, 0, -58, -34, 52, 0, 0, -8, -76, 149, 26, 0, 54, 70, 12, 116, 0, 48, 68, -22, -36, 0, 0, 168, 82, 26, 0, -44, 74, 18, -68, 0, 0, -72, 16, -114, 0, 36, 34, 0, -20, 0, -44, 40, 10, 116, 0, 88, 82, 6, -6, 0, 40, 22, 92, -60, 0, -74, 46, 84, 40, 0, 28, 0, 120, -36, 0, -8, -128, -28, 32, 0, 32, 0, -46, -36, 0, -86, -28, 78, -60, 0, -8, 50, -40, -50, 0, 82, 60, 22, 0, 0, 24, -28, 88, -26, 0, 6, -12, -70, 10, 0, -64, -28, -2, -34, 0, 0, -102, 78, -84, 0, -62, 8, -76, 36, 0, -76, 44, -20, 80, 0, 49, -11, 0, 58, 0, 96, 32, -72, -66, 0, 100, -38, -50, -26, 0, 70, -64, -10, 104, 0, -32, -4, -102, -40, 0, -72, -32, 116, 34, 0, 8, -24, 130, 10, 0, -32, 0, -52, 36, 0, 2, 0, -150, -48, 0, -8, -4, -14, -48, 0, 66, 56, 10, 0, 0, 52, 62, 38, 16, 0, -92, -64, -76, -82, 0, 40, -50, 32, 40, 0, 0, 84, -10, -78, 0, -42, 20, -32, 12, 0, 22, 90, -64, -107, 0, -60, -68, 0, -96, 0, -86, -130, 68, 58, 0, 28, -22, -82, 84, 0, 16, -34, -90, 40, 0, -12, 6, -36, 102, 0, -28, 22, -14, -16, 0, 106, 112, 48, -58, 0, 50, 0, -100, 40, 0, 48, -34, 6, 80, 0, -116, -68, -80, 48, 0, 10, -150, -8, 0, 0, 80, 4, -38, 36, 0, -50, -64, -68, 8, 0, -68, 36, -12, 96, 0, 0, 18, 104, 84, 0, 54, -94, 72, 30, 0, 58, 28, 10, -45, 0, -36, -22, 0, 112, 0, 80, 6, -114, -16, 0, -110, 72, 158, -40, 0, -56, -76, 34, -96, 0, -32, -36, 14, -94, 0, 106, -32, -24, -44, 0, 20, 112, -4, 36, 0, 80, 0, 28, -46, 0, 64, 22, -80, 68, 0, -56, 16, -112, -36, 0, 30, 80, 64, 0, 0, -30, 84, 6, 118, 0, -78, -12, -40, 4, 0, -12, -116, -38, -84, 0, 0, -19, -16, -8, 0, 80, -48, 18, -32, 0, 88, -74, -110, 120, 0, 17, 92, 0, 36, 0, 30, 20, -44, -4, 0, -8, 12, -52, -58, 0, -52, -150, 78, 138, 0, 4, 44, -42, 8, 0, 8, 46, 108, 52, 0, -8, 124, 48, -8, 0, 92, 0, 116, 56, 0, -4, -52, -134, 124, 0, 52, 144, -48, -108, 0, -12, 46, -18, 0, 0, -56, 34, 60, 72, 0, 140, 4, -64, 46, 0, -92, -88, -114, 84, 0, 0, -34, 76, 138, 0, -34, -32, -68, 64, 0, 90, -48, 220, -52, 0, 68, 28, 0, -44, 0, -92, 22, -14, 12, 0, 72, 10, -24, 98, 0, 106, -84, 40, -132, 0, -4, -148, -32, 160, 0, -6, 118, -35, -28, 0, 0, -8, 10, -2, 0, -82, 0, 4, 68, 0, 10, 42, -64, -82, 0, -50, -108, 66, 60, 0, -64, -68, -10, 0, 0, 32, 38, 124, 56, 0, -36, 34, -126, 12, 0, -116, 46, -32, -70, 0, 0, 58, 72, -16, 0, 70, -12, 136, 12, 0, -100, -140, 98, 76, 0, -2, 2, 0, 48, 0, 112, -10, -40, -104, 0, 17, 88, -44, -26, 0, 72, -92, -24, -12, 0, -104, 20, 32, -154, 0, 136, -20, -8, -60, 0, 38, -16, -52, 122, 0, -186, 0, -22, -104, 0, -56, 24, 40, -134, 0, -56, 78, -32, 4, 0, 156, -30, 12, 0, 0, 154, -162, -100, 72, 0, 2, -44, 32, 30, 0, -50, -36, 84, -12, 0, 0, -162, 3, 8, 0, 114, -36, -24, -8, 0, 130, -44, 34, -8, 0, -68, 20, 0, 66, 0, 34, 52, -28, 84, 0, -92, 10, -202, 80, 0, -44, 154, -2, -41, 0, -40, 70, 46, 124, 0, 62, -8, -68, 24, 0, -46, 18, -36, 16, 0, -16, 0, -12, 100, 0, -4, 34, 28, -26, 0, -4, -12, 22, -48, 0, 64, 32, -18, 0, 0, 64, -22, -38, -80, 0, 50, -130, 98, -132, 0, -30, -32, -158, 28, 0, 0, 8, -64, 46, 0, -134, 68, -54, 38, 0, -154, 52, 134, -16, 0, -34, -58, 0, -80, 0, -2, -122, -114, 100, 0, -48, -154, 6, 16, 0, -52, -96, 50, 52, 0, 88, -54, 50, -4, 0, -32, 78, 94, 17, 0, 96, -34, 60, 46, 0, 120, 0, -56, 0, 0, 64, -80, -64, 14, 0, 80, -44, 2, -134, 0, 54, -16, -32, 0, 0, -92, 56, 96, 2, 0, -50, 24, -10, 78, 0, -10, 204, 26, 42, 0, 0, 90, -18, 80, 0, 102, 54, 68, -80, 0, -76, -100, 64, -40, 0, 84, 28, 0, 12, 0, -80, 54, 136, 114, 0, 60, 14, -76, 0, 0, 12, 116, 56, 148, 0, 42, 12, -42, -62, 0, -70, -46, -18, -66, 0, 4, 90, 20, 28, 0, 76, 0, -64, -124, 0, 135, -162, 96, -82, 0, -28, -76, 2, 8, 0, 72, 42, 4, 0, 0, -76, -74, -16, 64, 0, 18, 160, -22, 10, 0, 102, -108, -6, 16, 0, 0, -16, -10, -150, 0, -36, -188, 48, 24, 0, 20, 8, -156, -68, 0, 52, -146, 0, 16, 0, -72, 58, -26, 60, 0, 52, -68, 164, 110, 0, 148, -30, -104, -124, 0, -2, 94, -34, 76, 0, 60, -10, -110, 150, 0, -114, 62, -4, -32, 0, -48, 0, 132, -12, 0, -116, -80, -54, 84, 0, 0, -134, 34, 20, 0, -2, 30, 60, 0, 0, -44, -26, -90, -46, 0, -72, -48, 20, 12, 0, -44, 2, -52, 8, 0, 0, 90, -16, -26, 0, 122, 52, -152, 40, 0, 22, 78, -90, 58, 0, -112, 102, 0, -144, 0, -82, -36, -4, -52, 0, 12, -28, 52, 128, 0, -12, 36, -152, 66, 0, -108, 0, -152, -130, 0, 8, -20, 56, -4, 0, 8, -44, -60, 66, 0, -52, 0, 34, -60, 0, -128, -22, 114, -46, 0, 72, 28, 28, 56, 0, -108, -4, 88, 0, 0, 56, 62, 78, -162, 0, 68, 97, 180, -148, 0, 24, 150, -38, 100, 0, 0, -72, -4, 22, 0, -22, -42, 98, -66, 0, 162, 96, 68, -68, 0, -56, -34, 0, 32, 0, 108, 60, 20, -170, 0, -8, 116, 102, -4, 0, -100, 22, 126, -8, 0, 84, 10, 102, 8, 0, 44, -114, 60, -126, 0, 158, -84, -64, -34, 0, 8, 0, 6, 36, 0, 52, 36, 90, -78, 0, 140, 106, 144, -36, 0, -58, 24, -120, 0, 0, -24, 38, 62, -236, 0, -110, 112, 100, -8, 0, 178, -86, 82, -144, 0, 0, -154, -34, -146, 0, 74, -74, 14, -16, 0, -72, 140, -48, 128, 0, 40, -96, 0, 47, 0, -4, 42, 126, 50, 0, 36, -8, -26, 32, 0, -156, -8, -72, -160, 0, 52, 26, 130, -8, 0, 28, -64, -10, 34, 0, -58, -50, 18, -50, 0, 20, 0, -11, 4, 0, 42, 50, -66, 94, 0, 42, 32, -42, 62, 0, -102, 2, -76, 0, 0, -92, -60, -204, 150, 0, -32, 2, -42, 58, 0, -24, 110, 24, -36, 0, 0, 106, -12, 48, 0, -74, 80, 6, -76, 0, 0, 46, 130, -76, 0, 84, 96, 0, -82, 0, 174, -110, 64, 54, 0, -88, 24, -16, -110, 0, -2, -6, -58, 46, 0, 128, -172, 8, 13, 0, -172, 72, -152, -64, 0, 8, -70, -78, -40, 0, 4, 0, 4, 106, 0, -30, 30, 78, 212, 0, -64, 44, -56, 84, 0, 28, -84, -20, 0, 0, -152, 100, -154, 22, 0, -48, -76, 32, 64, 0, 130, 134, -2, 144, 0, 0, 18, -128, -54, 0, -128, 100, 164, 40, 0, -84, -116, -84, -88, 0, 4, -52, 0, 56, 0, -102, 16, 68, -128, 0, -52, -78, -118, -290, 0, 24, 88, 49, -24, 0, 72, 48, -22, 20, 0, -12, -64, -142, 36, 0, 74, 18, -146, 74, 0, -70, 0, 94, -2, 0, -180, 114, -48, -70, 0, -19, -10, -62, -34, 0, -58, 26, 20, 0, 0, -36, -82, -124, 124, 0, 124, -58, 98, -50, 0, -66, -8, 88, -168, 0, 0, -52, -100, -88, 0, -52, -26, -110, -8, 0, -34, 26, -56, 268, 0, -36, 90, 0, -16, 0, 78, 48, -46, -64, 0, 24, -76, 40, -38, 0, -72, 86, 70, 60, 0, 80, 16, 30, -76, 0, 8, 58, 16, 94, 0, -214, -132, -86, -290, 0, -104, 0, 68, -104, 0, -148, 8, -18, -44, 0]