# Trace form for 2254.2.a.z, downloaded from the LMFDB on 25 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]