# Trace form for 2254.2.a.x, downloaded from the LMFDB on 24 April 2024.
[0, 4, 4, -3, 4, -7, -3, 0, 4, -1, -7, 2, -3, -1, 0, 9, 4, -5, -1, -11, -7, 0, 2, -4, -3, 3, -1, -3, 0, 2, 9, -6, 4, -15, -5, 0, -1, -8, -11, 3, -7, -9, 0, 4, 2, -3, -4, -11, -3, 0, 3, -18, -1, 1, -3, -10, 0, 3, 2, -12, 9, -21, -6, 0, 4, -24, -15, -3, -5, 3, 0, 11, -1, 16, -8, -18, -11, 0, 3, -21, -7, -8, -9, -4, 0, 10, 4, 7, 2, -27, -3, 0, -4, -27, -11, 5, -3, -6, 0, 13, 3, -5, -18, -26, -1, 0, 1, -22, -3, 2, -10, 30, 0, -16, 3, 7, 2, 1, -12, 0, 9, -16, -21, -13, -6, -15, 0, 22, 4, 36, -24, -7, -15, 0, -3, -11, -5, -1, 3, 2, 0, 2, 11, -8, -1, 10, 16, 0, -8, -18, -18, -40, -11, 46, 0, 16, 3, 33, -21, 15, -7, 0, -8, 7, -9, 38, -4, -10, 0, 33, 10, -15, 4, 15, 7, 0, 2, 21, -27, -25, -3, -7, 0, 66, -4, 18, -27, 18, -11, 0, 5, 24, -3, 0, -6, 16, 0, -43, 13, -13, 3, -2, -5, 0, -18, 34, -26, 1, -1, 28, 0, 35, 1, 29, -22, 9, -3, 0, 2, -31, -10, -23, 30, -3, 0, 7, -16, -41, 3, 11, 7, 0, 2, 3, 1, 11, -12, 0, 0, 14, 9, -2, -16, 43, -21, 0, -13, 12, -6, 1, -15, -37, 0, -2, 22, 8, 4, 55, 36, 0, -24, -6, -7, -13, -15, 43, 0, 27, -3, 0, -11, -6, -5, 0, -1, 41, 3, 6, 2, 55, 0, -39, 2, -4, 11, 23, -8, 0, -1, 29, 10, 6, 16, -16, 0, 24, -8, 32, -18, 1, -18, 0, -40, 53, -11, 52, 46, 36, 0, 4, 16, -61, 3, 26, 33, 0, -21, 33, 15, -19, -7, 37, 0, -36, -8, 94, 7, -5, -9, 0, 38, -35, -4, -9, -10, 16, 0, 23, 33, 12, 10, 38, -15, 0, 4, -9, 15, -33, 7, 11, 0, 16, 2, 19, 21, -30, -27, 0, -25, -34, -3, 71, -7, 19, 0, -72, 66, -32, -4, 27, 18, 0, -27, -11, 18, 46, -11, -21, 0, 21, 5, -2, 24, -5, -3, 0, 0, -64, -6, 34, 16, 5, 0, -7, -43, 56, 13, -1, -13, 0, 3, 14, -2, -56, -5, 52, 0, -65, -18, 53, 34, -64, -26, 0, 1, -8, -1, 65, 28, -93, 0, -32, 35, 42, 1, -33, 29, 0, -22, -25, 9, -17, -3, 63, 0, -29, 2, 11, -31, 3, -10, 0, -23, -22, 30, 3, -3, -38, 0, -40, 7, 30, -16, 61, -41, 0, 3, -28, 11, 0, 7, -24, 0, -20, 2, 22, 3, 42, 1, 0, 11, -36, -12, -52, 0, 100, 0, -8, 14, 24, 9, 51, -2, 0, -16, -17, 43, 61, -21, 16, 0, -23, -13, 0, 12, -22, -6, 0, 1, -7, -15, 18, -37, -62, 0, 65, -2, 1, 22, 62, 8, 0, 4, 79, 55, 55, 36, -26, 0, -71, -24, -1, -6, -57, -7, 0, -13, 120, -15, 4, 43, -33, 0, -87, 27, 88, -3, 97, 0, 0, -11, -46, -6, -16, -5, -57, 0, -8, -1, -44, 41, -48, 3, 0, 6, -83, 2, 101, 55, 5, 0, -3, -39, -116, 2, 92, -4, 0, 11, 64, 23, -6, -8, -37, 0, -3, -1, 73, 29, 50, 10, 0, 6, -39, 16, 31, -16, -33, 0, -14, 24, 8, -8, 8, 32, 0, -18, 77, 1, 15, -18, 104, 0, -41, -40, 5, 53, -20, -11, 0, 52, 48, 46, -2, 36, -4, 0, -67, 4, -27, 16, 3, -61, 0, 3, 98, 26, 50, 33, -8, 0, 74, -21, -64, 33, -7, 15, 0, -19, -53, -7, -45, 37, -21, 0, -61, -36, 67, -8, -6, 94, 0, 7, 19, -5, -45, -9, 27, 0, 73, 38, -76, -35, 69, -4, 0, -9, -2, -10, 4, 16, -112, 0, 89, 23, 90, 33, 5, 12, 0, 10, -73, 38, -22, -15, -45, 0, -57, 4, -95, -9, -72, 15, 0, -33, 70, 7, 79, 11, 17, 0, -60, 16, -82, 2, -37, 19, 0, 21, -58, -30, 18, -27, 6, 0, -31, -25, -16, -34, -50, -3, 0, 71, 36, -7, -67, 19, 13, 0, -16, -72, -115, 66, -3, -32, 0, -4, 53, 27, -13, 18, -134, 0, -60, -27, 32, -11, -40, 18, 0, 46, -96, -11, 23, -21, 51, 0, -21, 21, 15, 5, 40, -2, 0, 24, -41, -5, -6, -3, 52, 0, -14, 0, 32, -64, -39, -6, 0, 34, 26, 16, -56, 5, -38, 0, -26, -7, -49, -43, 39, 56, 0, 13, 61, -1, -82, -13, -47, 0, 84, 3, -19, 14, 34, -2, 0, -56, 36, -5, 4, 52, 5, 0, -8, -65, -91, -18, -9, 53, 0, 34, 45, -64, -109, -26, -48, 0, 29, 1, 39, -8, -36, -1, 0, 65, -16, 28, 18, -93, -105, 0, -90, -32, 12, 35, -25, 42, 0, 1, 55, -33, 8, 29, 37, 0, 12, -22, 21, -25, 34, 9, 0, -17, 67, -3, -16, 63, -67, 0, 24, -29, -86, 2, -9, 11, 0, -31, -52, 3, 15, -10, -46, 0, 33, -23, -30, -22, 37, 30, 0, 3, -37, -3, -81, -38, 64, 0, -3, -40, -7, 7, 28, 30, 0, -16, 25, 61, -58, -41, -80, 0, 12, 3, 45, -28, -164, 11, 0, 0, 47, 7, -48, -24, 91, 0, -72, -20, 12, 2, -6, 22, 0, 3, 127, 42, -3, 1, 8, 0, 47, 11, -163, -36, 9, -12, 0, -52, 62, 0, 102, 100, 22, 0, 88, -8, -86, 14, 3, 24, 0, 9, 44, 51, -64, -2, -6, 0, 27, -16, 202, -17, -107, 43, 0, 61, -135, -21, -28, 16, -8, 0, 25, -23, -55, -13, 81, 0, 0, 12, -4, -22, -57, -6, 6, 0, 100, 1, 55, -7, -72, -15, 0, 18, -54, -37, 37, -62, -111, 0, -75, 65, -72, -2, -84, 1, 0, 22, 9, 62, -30, 8, -44, 0, 6, 4, -70, 79, -87, 55, 0, 55, 22, 36, -170, -26, 3, 0, -57, -71, 29, -24, 15, -1, 0, -6, -91, -57, 91, -7, 101, 0, 27, -13, -79, 120, -97, -15, 0, 4, 24, 43, 82, -33, -60, 0, -26, -87, 3, 27, -50, 88, 0, -3, 37, 97, -52, 0, 61, 0, -1, -11, 11, -46, -60, -6, 0, -16, -58, -5, 4, -57, -19, 0, 33, -8, 106, -1, 29, -44, 0, 41, 45, -48, -61, 3, 127, 0, 18, 6, -25, -83, -69, 2, 0, 101, 63, 55, 8, 5, 87, 0, 102, -3, 11, -39, 26, -116, 0, 2, -50, 92, 49, -4, 28, 0, 71, 11, -19, 64, -69, 23, 0, -6, -43, -8, -33, -37, -63, 0, 54, -3, -106, -1, 171, 73, 0, 29, 134, 50, -62, 10, -49, 0, 30, 6, 31, -39, -69, 16, 0, 31, 31, -16, 18, -33, -35, 0, -3, -14, 40, 24, -47, 8, 0, -8, -32, 8, 11, 32, -1, 0, 20, -18, -161, 77, -60, 1, 0, 15, -14, -18, -37, 104, 47, 0, 5, -41, -125, -40, 63, 5, 0, 53, 147, -20, -56, -11, -4, 0, -1, 52, 21, 48, 39, 46, 0, -2, -186, 36, -68, -4, -85, 0, 87, -67, -69, 4, -22, -27, 0, 16, -2, 3, -13, -61, 53, 0, 33, 3, 0, 98, -100, 26, 0, 50, 126, 33, 35, -8, 90, 0, 78, 74, -82, -21, 10, -64, 0, 33, -37, -7, 134, 15, 190, 0, 145, -19, -102, -53, 19, -7, 0, -45, 46, 37, -60, -21, 8, 0, 102, -61, 120, -36, 3, 67, 0, -8, -10, -6, -56, 94, -162, 0, 120, 7, 2, 19, 84, -5, 0, -45, -3, -9, -101, 27, 41, 0, -5, 73, 40, 38, -81, -76, 0, -35, -210, 69, 68, -4, -103, 0, -51, -9, -154, -2, -11, -10, 0, 4, -63, 16, 118, -112, 71, 0, 9, 89, -55, 23, -42, 90, 0, 33, 47, 5, -99, 12, 12, 0, -1, 10, -42, -73, 13, 38, 0, -22, -5, -15, 36, -45, 69, 0, -153, -57, -134, 4, -54, -95, 0, -9, -82, -72, -30, 15, 59, 0, -10, -33, 22, 70, -151, 7, 0, 79, -64, 11, 5, 17, 20, 0, -102, -60, 21, 16, 18, -82, 0, 2, -31, -37, -92, 19, 11, 0, 80, 21, 175, -58, 25, -30, 0, 18, 103, -27, -151, 6, -40, 0, 9, -31, -93, -25, 80, -16, 0, -34, 17, -50, 104, -3, -5, 0, 78, 71, -11, 36, 68, -7, 0, -67, -2, 19, -47, 13, 20, 0, 58, -16, -4, -72, -138, -115, 0, 66, -25, -3, -9, -32, -183, 0, -2, -4, -22, 53, 15, 27, 0, -13, -56, 18, -34, -134, 42, 0, -99, -60, 4, -27, 64, 32, 0, -11, 88, -40, 24, 18, 8, 0, -85, 46, 82, -96, -28, -11, 0, 23, 107, -21, 35, 51, -115, 0, -62, -21, -134, 21, -79, 15, 0, 5, -93, 40, 74, -2, -129, 0, -5, 24, -99, -41, -8, -5, 0, -6, -29, -3, 69, 52, 20, 0, 3, -14, -60, 0, -27, 32, 0, -64, -91, -39, 0, -6, -37, 0, 136, 34, 80, 26, -104, 16, 0, -56, 0, 5, 28, -38, 59, 0, -3, -26, -163, -7, 94, -49, 0, -43, 202, 39, 47, 56, -131, 0, 71, 13, -61, 61, -3, -1, 0, -82, 75, -13, 30, -47, 65, 0, -15, 84, 30, 3, -82, -19, 0, 14, -91, 34, -86, -2, 10, 0, -66, -56, 154, 36, 74, -5, 0, 4, -104, 52, -4, 5, -100, 0, -130, -8, -29, -65, 65, -91, 0, -18, -11, -9, 43, 53, -28, 0, 32, 34, 40, 45, 33, -64, 0, -109, -102, -26, -41, -48, -94, 0, 27, 29, 99, 1, 62, 39, 0, -8, -102, -36, 15, -1, 50, 0, -67, 65, 24, -16, -43, 28, 0, 18, 51, -93, -22, -105, -16, 0, -15, -90, 31, -32, -134, 12, 0, 35, 9, -25, 181, 42, 115, 0, -105, 1, -83, 55, 72, -33, 0, 8, 175, 29, -34, 37, -80, 0, -132, 12, -15, -22, 96, 21, 0, -25, -100, 34, 25, 9, 23, 0, -128, -17, 18, 67, 31, -3, 0, -16, -190, 63, 16, -67, 126, 0, -75, 24, 131, -29, -26, -86, 0, 2, 95, -9, 17, 11, 33, 0, 53, -31, 75, -52, -71, 3, 0, 15, 138, -10, -3, -46, -93, 0, 10, 33, 278, -23, 56, -30, 0, -22, 29, 37, 40, 30, -29, 0, -16, 3, 33, -37, 37, -3, 0, -81, -83, -38, 101, 64, -146, 0, -53, -3, 22, -40, 52, -7, 0, 7, 111, 28, -114, 30, -148, 0, -121, -16, 92, 25, 26, 61, 0, -58, -34, -41, 21, -80, -62, 0, -79, 12, 46, 3, 183, 45, 0, -28, -48, -164, 199, 11, 101, 0, 20, 0, -6, 47, 57, 7, 0, -48, 77, -24, -51, 91, 43, 0, 12, -72, -56, -20, -5, 12, 0, 2, 136, -6, 24, 22, 49, 0, 8, 3, 84, 127, 135, 42, 0, -3, -173, 1, -59, 8, -157, 0, -25, 47, 133, 11, -110, -163, 0, -36, 56, 9, -17, -12, 191, 0, -138, -52, -65, 62, 30, 0, 0, 102, 112, 100, 153, 22, 103, 0, 12, 88, -103, -8, 4, -86, 0, 14, -122, 3, -38, 24, -46, 0, -13, 9, 94, 44, 89, 51, 0, -64, -8, -2, 104, -6, -73, 0, -6, 27, 59, -16, -38, 202, 0, -17, -2, -107, -41, 43, -152, 0, 72, 61, 31, -135, 68, -21, 0, -28, -10, 16, 133, -8, -22, 0, 64, 25, 149, -23, 40, -55, 0, -13, -175, 81, 46, 0, -49, 0, -71, 12, -88, -4, -34, -22, 0, -57, 186, -6, -26, 6, 139, 0, -138, 100, -3, 1, 66, 55, 0, -7, -33, -72, -124, -15, -7, 0, 47, 18, -9, -54, 21, -37, 0, 37, -70, -62, 93, -111, 161, 0, -4, -75, -105, 65, -69, -72, 0, -2, -140, -84, 204, 1, -6, 0, 25, 22, 166, 9, 163, 62, 0, -30, 50, 8, -118, -44, 226, 0, -126, 6, 27, 4, 57, -70, 0, 79, -66, -87, 152, 55, -3, 0, 19, 55, 130, 22, 49, 36, 0, -170, 138, -26, 15, 3, -33, 0, 122, -57, 145, -71, -3, 29, 0, -24, 95, 15, -19, -1, -169, 0, 10, -6, 223, -91, -59, -57, 0, 91, 202, -7, -100, 101, 92, 0, 38, 27, 84, -13, 19, -79, 0, 120, -91, -97, -59, -15, 116, 0, 4, 4, -43, 24, 291, 43, 0, 82, -75, -33, 150, -60, 18, 0, 49, -26, 74, -87, 34, 3, 0, 27, -13, -50, 27, 88, -5, 0, 41, -3, 114, 37, -40, 97, 0, -52, -47, 0, -90, 61, 67, 0, 9, -1, -71, -11, -29, 11, 0, -46, -81, -60, 33, -6, -8, 0, 104, -16, 61, -58, 87, -5, 0, 4, 119, -57, 85, -19, -15, 0, -5, 33, -63, -8, -59, 106, 0, -1, 93, 29, 9, -44, -101, 0, 34, 41, -200, 45, 65, -48, 0, -61, -15, 3, 3, 127, 68, 0, 46, 18, 24, 6, -4, -25, 0, -83, 108, -69, 149, 2, 188, 0, 28, 101, -24, 63, 6, 55, 0, 8, 0, 5, 143, 87, 232, 0, 108, 102, 97, -3, 90, 11, 0, -39, -130, 26, 44, -116, 106, 0, -5, 2, 282, -50, 15, 92, 0, 49, -24, -4, -153, 28, 61, 0, 44, 71, 30, 11, 165, -19, 0, 64, -13, -69, 56, 23, 128, 0, -173, -6, 127, -43, -51, -8, 0, -33, -10, -37, 2, -63, 48, 0, -64, 54, 25, -3, -87, -106, 0, -1, -63, 171, -35, 73, 48, 0, 33, 29, -76, 134, 47, 50, 0, -62, -108, 10, 10, -49, 5, 0, 170, 30, 108, 6, 128, 31, 0, -39, -15, -69, -18, 16, 218, 0, 62, 31, 99, 31, -39, -16, 0, 18, 70, -33, 39, -35, -66, 0, -37, -3, 57, -14, 47, 40, 0, 24, -30, -47, -128, 8, 106, 0, 10, -8, 26, -32, 26, 8, 0, 11, -343, 32, -16, -1, 69, 0, -117, 20, 109, -18, -14, -161, 0, 77, 226, -60, 45, 1, 212, 0, 4, 15, -97, -14, 72, -18, 0, -37, 89, 104, 83, 47, -62, 0, -116, 5, 156, -41, -29, -125, 0, -40, -39, 63, 12, 5, -108, 0, 124, 53, 122, 147, 4, -20, 0, -56, -23, -11, -147, -4, -147, 0, 24, -1, -19, 52, -14, 21, 0, 48, 38, 39, 90, 46, 130, 0, -223, -2, -27, -186, 65, 36, 0, -68, -1, -4, 22, -85, 37, 0, -43, 87, 113, -67, -21, -69, 0, 4, 140, -22, -30, -27, -57, 0, -210, 16, -96, -2, 100, 3, 0, -13, -4, -61, -3, 53, 24, 0, 57, 33, -64, 3, 75, 0, 0, 98, -109, -100, 59, 26, 10, 0, -2, 50, 93, 126, -47, 33, 0, 35, -73, -8, 229, 90, 19, 0, 102, 78, 69, 74, -214, -82, 0, -21, 56, 10, -78, -64, 250, 0, 49, 33, 60, -37, 99, -7, 0, 134, 58, 15, -95, 190, -28, 0, -26, 145, -57, -19, -30, -102, 0, -53, -109, 19, -102, -7, -61, 0, 43, -45, -191, 46, 9, 37, 0, -60, -120, -21, -59, 8, -22, 0, 43, 102, 84, -61, -70, 120, 0, -36, 85, 3, -176, 67, -214, 0, -74, -8, -64, -10, 119, -6, 0, -56, 16, 94, 100, -162, 91, 0, -31, 120, 101, 7, 19, 2, 0, 19, -169, 84, -62, -5, 66, 0, 47, -45, -89, -3, 179, -9, 0, -101, 123, 27, 67, 41, 143, 0, 143, -5, -181, 73, -78, 40, 0, 38, -80, -81, -59, -76, -7, 0, -148, -35, -71, -210, -96, 69, 0, 68, 30, -4, -11, -103, 75, 0, 94, -51, -10, -9, 180, -154, 0, -2, 29, -11, -163, -10, -5, 0, -137, 4, 32, -63, 87, 16, 0, 118, -58, -112, -239, 71, -22, 0, -83, 9, -1, 89, 0, -55, 0, 23, -75, -42, 71, 90, -35, 0, -163, 33, -37, 47, -136, 5, 0, -99, -9, 12, -128, 12, -28, 0, 229, -1, -203, 10, -15, -42, 0, -73, 175, 13, -87, 38, -125, 0, -8, -22, 98, -5, -58, -15, 0, 36, 43, -45, -8, 69, 106, 0, 101, -153, 102, -57, -215, -134, 0, 4, -122, -54, 123, -95, -14, 0, -94, -9, -10, -82, 80, -72, 0, -30, -136, 15, -28, 59, -102, 0, -66, -10, 125, -33, 52, 22, 0, 70, 61, -151, 16, 7, -72, 0, -31, 79, 187, -64, 12, 11, 0, 5, -55, 17, 53, 20, -73, 0, 17, -102, -86, -60, -55, 21, 0, 16, -1, 18, 64, -82, -38, 0, 202, 2, -106, -31, -126, -37, 0, -92, 122, 19, -278, 11, 8, 0, 13, 80, -96, 21, 17, 175, 0, -58, -168, 25, -82, -30, -196, 0, 68, 18, -153, 103, -47, -27, 0, -151, 32, 6, -121, -40, 113, 0, -95, 9, 67, -31, -78, -93, 0, -25, 124, 80, 148, -16, -13, 0, 24, -34, -178, 17, 15, -50, 0, 104, -49, -3, 26, -5, -37, 0, -183, 78, 1, 71, 24, -11, 0, 36, -101, 68, -69, -7, -20, 0, -147, -67, -74, -2, 97, 19, 0, -47, -251, 13, 204, 20, -193, 0, 16, 58, 174, -16, -319, -4, 0, -72, -22, -138, -68, -115, -38, 0, 29, 66, 71, -25, -27, -3, 0, -9, 138, -32, 76, -183, -71, 0, 159, -2, 15, -4, 33, -22, 0, 53, 0, 15, -83, 27, 117, 0, -48, -13, -11, -56, 0, 18, 0, -34, 50, -134, -33, 42, -36, 0, 124, -99, -155, -60, 44, 4, 0, -27, 25, 64, 48, 32, 55, 0, -132, -11, -159, 88, -29, -40, 0, 24, 6, 18, -104, 8, -208, 0, 26, -85, 163, 46]