# Trace form for 3025.2.a.v, downloaded from the LMFDB on 23 April 2024.
[0, 4, -3, 2, 7, 0, -1, -11, -9, 0, 0, 0, 14, -7, -2, 0, 5, -3, -2, 12, 0, -6, 0, 9, -15, 0, 13, 5, -7, -8, 0, 3, -6, 0, -10, 0, 8, 3, -12, -3, 0, -7, -2, -21, 0, 0, 12, 3, 2, 15, 0, 9, -27, 11, -20, 0, 15, -5, -2, -7, 0, 4, -11, -3, -27, 0, 0, 1, 15, -28, 0, -15, -13, 9, -36, 0, 8, 0, -6, 6, 0, -20, 44, -15, -47, 0, -3, -15, 0, 0, 0, 4, -18, -21, -11, 0, -26, -6, 42, 0, 0, -21, -27, 10, 23, 0, 5, -20, -5, 9, 0, -11, -11, -1, -5, 0, -32, 8, 52, 18, 0, 0, -27, 9, -1, 0, 14, -28, 41, -33, 0, -15, 0, -35, -44, 0, -16, 23, 84, 9, 0, 34, -8, 0, 17, 0, -8, -1, 29, -30, 0, 10, -19, 13, 0, 0, -1, -7, -16, 17, 0, -26, -4, 30, -31, 0, 31, -35, 40, -17, 0, -6, -53, -11, -25, 0, 0, 20, 35, 28, 0, 39, 3, -21, 31, 0, 28, 0, 49, -5, 0, -15, 9, -41, -27, 0, -43, 5, 0, 0, 0, -1, 43, 15, 18, 0, 11, -50, 6, 0, 0, 47, 20, -31, 22, 0, -5, 8, -44, 27, 0, -2, -17, -30, 43, 0, 77, -46, 35, -25, 0, 0, 21, 5, -20, 0, -13, 35, 31, 1, 0, 4, 0, -48, 8, 0, 43, -14, 7, -18, 0, 18, -36, 0, 25, 0, -7, 23, -16, 28, 0, 4, 37, -1, 0, 0, 10, -20, 26, -11, 0, -11, 16, 24, -26, 0, -86, 14, 31, -30, 0, -30, -37, -51, 2, 0, 0, -12, -28, -43, 0, -26, 12, -23, 43, 0, -28, 0, 25, -32, 0, 64, 2, -21, 33, 0, -27, -31, 0, -38, 0, -19, 10, -24, 9, 0, 74, 5, 4, 0, 0, -86, -77, -17, -29, 0, 1, 25, 42, 3, 0, -28, -39, -15, 57, 0, 29, 32, -30, -8, 0, 0, 1, -25, 51, 0, -23, -13, -5, -15, 0, -10, 0, 61, 70, 0, -75, -22, -23, -14, 0, -24, 13, 0, 33, 0, -2, -84, -60, 5, 0, -41, -57, -24, 0, 0, -48, 36, 45, -20, 0, -26, -8, -39, 30, 0, 17, -10, -17, -18, 0, -58, 28, -51, 77, 0, 0, -16, -35, 25, 0, 33, -77, -29, -42, 0, 50, 0, -40, 38, 0, 34, -49, -5, 113, 0, -21, 105, 0, -41, 0, -19, -50, 30, -23, 0, 73, 13, -143, 0, 0, -39, 45, 6, 1, 0, 66, 42, -81, -6, 0, -1, 9, -89, -22, 0, -4, 40, 58, -16, 0, 0, -93, -6, 18, 0, -30, 46, -75, -10, 0, -59, 0, -36, 43, 0, -34, 4, 25, 23, 0, 19, 39, 0, -5, 0, -44, 9, 4, -67, 0, -44, 43, 49, 0, 0, 89, 48, -10, 27, 0, 3, -22, 3, 44, 0, -10, 93, 69, 8, 0, -16, 99, -21, 40, 0, 0, -44, -10, -57, 0, -51, 61, 45, 39, 0, -81, 0, 61, -8, 0, 37, -19, -38, -63, 0, -18, -16, 0, 97, 0, 1, 30, 36, 15, 0, -44, 80, 21, 0, 0, 36, -7, -1, 3, 0, 3, -30, 29, -23, 0, 2, 135, 15, -147, 0, 76, 74, 66, 43, 0, 0, 17, 0, 68, 0, -3, 84, 38, -43, 0, 11, 0, -51, -89, 0, 30, -7, 35, 12, 0, 39, -37, 0, -44, 0, 134, 52, 58, 24, 0, -71, 30, 38, 0, 0, 0, -35, 58, -87, 0, -17, 73, 16, 17, 0, 108, 13, 0, 75, 0, -19, 38, 29, 33, 0, 0, 55, 49, 30, 0, 40, -29, -55, -18, 0, 135, 0, -11, 19, 0, -56, -57, -21, 62, 0, 54, 42, 0, -56, 0, 32, 38, 94, 98, 0, -13, -6, 49, 0, 0, 48, 41, -13, -75, 0, -70, 50, 11, -43, 0, 4, -10, -1, 64, 0, 31, -38, -98, -38, 0, 0, 68, -36, -30, 0, 10, 30, 69, 33, 0, 54, 0, -21, 16, 0, -85, 40, 30, -11, 0, -22, 62, 0, -25, 0, 10, -21, -55, 2, 0, 3, 65, 19, 0, 0, -20, 63, -45, -20, 0, 12, 55, 88, 71, 0, 107, 10, -21, -5, 0, -51, 20, 49, 23, 0, 0, 50, -25, 27, 0, 12, -32, -32, 126, 0, 49, 0, 1, 78, 0, -5, -37, -28, 70, 0, 15, -28, 0, 23, 0, -114, 5, 24, -36, 0, 80, -48, 25, 0, 0, 9, 133, 5, -108, 0, 45, 14, -53, 46, 0, 4, -33, 39, 18, 0, 5, 28, -7, -41, 0, 0, 60, 35, -12, 0, 138, -70, -138, 87, 0, -81, 0, -31, 58, 0, 25, -92, 15, 39, 0, 0, -16, 0, 53, 0, 81, -5, 85, 26, 0, 105, 80, -116, 0, 0, 84, -28, -148, 12, 0, -17, -122, 24, 39, 0, -135, -15, -167, -9, 0, -21, 71, -73, -70, 0, 0, 50, 86, 6, 0, -44, -19, 19, 50, 0, -59, 0, -7, -28, 0, 18, -197, -32, 46, 0, 128, -30, 0, -49, 0, -42, 1, -76, 55, 0, -150, -21, 61, 0, 0, -10, -78, -8, -7, 0, 159, 28, -179, -8, 0, -10, -13, 19, 4, 0, 25, 22, 0, 128, 0, 0, -54, -26, -45, 0, -75, 42, 106, -6, 0, -10, 0, 124, 86, 0, 58, -51, -27, -43, 0, 100, -5, 0, -64, 0, 25, 48, 25, -32, 0, 39, 6, -58, 0, 0, -23, -38, 20, 2, 0, 61, 1, 44, -67, 0, -9, 97, 121, 47, 0, 10, -52, 8, -123, 0, 0, -31, 25, 38, 0, -6, 35, -84, -21, 0, 84, 0, 52, -97, 0, -53, 131, -51, -42, 0, -182, 3, 0, 45, 0, 131, -131, -65, 44, 0, 29, -71, 4, 0, 0, 28, 54, 30, 50, 0, 27, -107, -81, -36, 0, -35, 73, -16, -19, 0, -126, 21, -108, 60, 0, 0, 23, -18, -26, 0, 42, 19, -23, 2, 0, 59, 0, -18, 62, 0, 79, 0, 167, 86, 0, -34, 53, 0, -50, 0, -40, -62, -71, 60, 0, -96, 90, -48, 0, 0, 6, -2, 79, 129, 0, 14, -35, 80, 26, 0, 109, -75, 103, 55, 0, 126, 82, -4, 45, 0, 0, -17, -234, 32, 0, -94, 24, 94, 20, 0, -129, 0, 20, 37, 0, -31, 97, -1, -95, 0, -29, 80, 0, 11, 0, -92, -59, -88, -112, 0, 88, 1, 34, 0, 0, -70, 28, 38, 77, 0, -83, 12, 44, -2, 0, -51, 23, -26, -203, 0, -20, -80, 138, -14, 0, 0, -83, -56, 28, 0, -99, -49, -27, -88, 0, -67, 0, -10, -73, 0, 106, 90, -110, 51, 0, -5, -18, 0, 28, 0, -97, 35, 93, 41, 0, -106, -29, -67, 0, 0, -87, 66, -14, -73, 0, -107, 2, 23, 124, 0, -95, 75, -51, 35, 0, 50, -67, -4, -22, 0, 0, -120, 95, 58, 0, 26, -81, -51, -200, 0, 0, 0, -34, -76, 0, -106, 168, 122, 93, 0, -37, -27, 0, -21, 0, 59, 15, -72, 50, 0, -107, 10, 77, 0, 0, 75, -131, 159, 133, 0, -50, 7, -2, 44, 0, 114, -192, 1, 74, 0, -96, 28, 85, 11, 0, 0, 11, -37, -57, 0, 7, -95, 28, 76, 0, 4, 0, 65, -143, 0, -36, 45, -185, -105, 0, 17, -115, 0, 41, 0, -30, 102, 59, -120, 0, 103, -55, -85, 0, 0, -3, -95, 20, -1, 0, 9, 33, -76, -41, 0, 13, -132, -48, -55, 0, -54, -55, 22, -125, 0, 0, 99, 152, 5, 0, 63, 125, 93, -147, 0, -78, 0, -100, 110, 0, 21, 62, -31, -152, 0, -36, -15, 0, 52, 0, 13, -19, -16, -56, 0, -21, 38, 95, 0, 0, -110, -77, -1, -132, 0, -149, 45, 128, -86, 0, 22, 123, -10, 10, 0, 38, -19, -91, 42, 0, 0, -44, 23, 3, 0, 108, 3, -6, 11, 0, 55, 0, 39, -12, 0, -8, 50, 135, -54, 0, 119, 31, 0, -33, 0, 4, 28, 96, -31, 0, 87, -162, -46, 0, 0, -103, 97, -23, -27, 0, -21, 125, -49, -295, 0, 89, 11, -8, -87, 0, -21, -196, 24, -4, 0, 0, 32, 30, -118, 0, 92, 25, 60, 0, 0, -85, 0, -106, -99, 0, -1, -106, 54, -75, 0, -79, 38, 0, 105, 0, -19, 65, 40, -109, 0, 70, -38, -10, 0, 0, 1, -7, -92, 25, 0, -226, -27, 1, 84, 0, -25, -131, 99, 150, 0, 69, -130, 75, -72, 0, 0, -32, 49, -155, 0, -102, -2, -25, 77, 0, 77, 0, -116, 37, 0, -31, -49, 116, -95, 0, -6, 85, 0, 30, 0, -17, 12, -184, 93, 0, -56, -142, 69, 0, 0, -14, -117, -183, 35, 0, 116, -15, -26, -57, 0, -86, -122, -46, -33, 0, 28, -160, 50, 81, 0, 0, -10, 46, 35, 0, -34, 136, 9, -47, 0, 173, 0, 79, 2, 0, 99, -25, -55, -60, 0, -30, -119, 0, -40, 0, -68, 153, 34, -287, 0, 85, 20, 58, 0, 0, 26, -170, -26, -119, 0, 184, -41, 169, -47, 0, -89, -37, 70, 46, 0, 7, 13, -47, -91, 0, 0, 69, 57, 111, 0, -107, -55, 91, -81, 0, 104, 0, -46, -105, 0, 100, -20, -127, 127, 0, -124, -237, 0, 157, 0, 143, -52, -151, 176, 0, -7, -137, 86, 0, 0, 108, 86, 33, 103, 0, 38, 0, -125, -41, 0, -135, 20, -70, -31, 0, 26, -20, 85, 219, 0, 0, -62, -95, -44, 0, 76, -99, -76, 20, 0, -151, 0, -71, 2, 0, 51, -13, 149, -40, 0, 103, -188, 0, -38, 0, -21, -7, 115, 38, 0, 27, -59, -16, 0, 0, 129, 184, -23, 253, 0, 17, 75, 9, 13, 0, -57, -80, -30, -33, 0, 207, 20, -186, -145, 0, 0, -102, 88, -117, 0, -28, -65, 240, 87, 0, -81, 0, 70, -45, 0, -199, 32, -141, -131, 0, -23, 130, 0, -104, 0, -152, -107, -76, 57, 0, 40, 91, 65, 0, 0, -61, -192, 39, 15, 0, 94, -166, -13, 205, 0, -52, -140, 61, 113, 0, -77, 43, -61, -153, 0, 0, -22, 59, 14, 0, -77, -169, -72, -84, 0, 32, 0, -80, -20, 0, -76, 185, 48, -22, 0, -55, 40, 0, 1, 0, 22, 82, 19, 71, 0, 4, 62, -67, 0, 0, -69, -185, 7, 209, 0, 171, -122, 264, -132, 0, -101, -68, -42, 42, 0, -128, -55, 12, 15, 0, 0, -50, -81, 55, 0, 94, 126, -104, 117, 0, 36, 0, 128, 64, 0, -29, 19, 5, 59, 0, -60, -91, 0, -166, 0, -19, -10, 86, -167, 0, 110, -48, 139, 0, 0, 113, 27, -55, 65, 0, -111, -47, -155, 163, 0, 10, -34, 129, -68, 0, -66, -138, 8, -35, 0, 0, 20, 11, -54, 0, 101, -90, -21, -109, 0, 50, 0, 272, -128, 0, -1, 38, 20, -24, 0, 130, -17, 0, 27, 0, 99, -158, 51, 66, 0, 54, 20, -102, 0, 0, 8, 69, 35, -41, 0, -137, -55, 78, 100, 0, 107, -36, 24, 20, 0, -4, 3, 154, 80, 0, 0, 197, 20, 73, 0, 84, 33, -85, -201, 0, 73, 0, -26, 93, 0, -70, 48, -72, -42, 0, -97, 108, 0, -22, 0, -65, -96, 44, 70, 0, -71, -7, 40, 0, 0, -318, 15, 91, -85, 0, -83, -44, 44, -144, 0, 87, 1, -10, 57, 0, 86, 78, 34, 104, 0, 0, 55, -50, 103, 0, -11, -149, 52, 170, 0, -75, 0, -1, 160, 0, -76, 88, 34, 3, 0, 129, 78, 0, -38, 0, -38, -68, -48, 54, 0, -24, 28, -136, 0, 0, -5, 42, 26, 56, 0, 63, -20, -158, -108, 0, 214, 167, 129, -89, 0, 38, -147, 36, -15, 0, 0, 160, -170, 16, 0, 37, 25, -25, -48, 0, -40, 0, -82, -97, 0, -7, -18, 57, 125, 0, -171, -68, 0, -9, 0, 29, 119, -67, -98, 0, -77, 3, 98, 0, 0, 229, 89, -228, -55, 0, -96, -204, 41, -7, 0, -138, 108, -316, -56, 0, 51, 116, 117, -52, 0, 0, 35, -35, -48, 0, 19, -30, 69, 82, 0, 12, 0, -185, -44, 0, 130, -47, -25, 22, 0, 254, -28, 0, 71, 0, 14, 5, 34, 36, 0, -201, 12, -199, 0, 0, 114, -57, 103, -70, 0, 10, 91, -13, 56, 0, -77, 9, -21, -110, 0, -142, 37, -55, -27, 0, 0, -69, 139, -104, 0, 45, -100, -40, -5, 0, 29, 0, 55, -64, 0, 341, 42, -26, -29, 0, -2, -24, 0, -56, 0, -23, -45, -125, 20, 0, 103, 146, -65, 0, 0, 35, -50, 138, 4, 0, 29, 53, 29, 53, 0, 161, 12, 260, 113, 0, -68, 37, -150, -165, 0, 0, -10, -45, 5, 0, -127, 199, 124, 196, 0, 14, 0, 120, 97, 0, 107, 43, 32, 46, 0, 9, 73, 0, -5, 0, 184, 47, -124, -45, 0, -172, 75, 87, 0, 0, -6, 165, 9, -55, 0, -61, 13, 31, -103, 0, 120, 163, -53, -92, 0, -78, 62, 4, -77, 0, 0, -190, -7, 5, 0, -140, 45, -216, -62, 0, -92, 0, 27, -19, 0, -57, -58, -32, 92, 0, -21, 109, 0, 111, 0, 113, 38, -11, -129, 0, -35, 92, 111, 0, 0, 46, 308, 28, -117, 0, 231, 66, -141, 152, 0, 129, 98, -31, -25, 0, 85, 65, -92, 76, 0, 0, -98, 88, -107, 0, -136, 173, 45, -90, 0, -237, 0, -17, -99, 0, -69, -62, 64, -39, 0, 203, 94, 0, -60, 0, -104, 33, -90, -97, 0, -35, -47, 14, 0, 0, -20, -16, -75, -77, 0, 103, 10, -166, -5, 0, 79, 99, 40, -145, 0, -56, 138, -60, 172, 0, 0, 155, 109, 53, 0, 70, -31, 15, 14, 0, -11, 0, 61, 125, 0, -111, 15, -29, -76, 0, 77, 126, 0, 165, 0, 123, -9, 90, 33, 0, -202, -216, -61, 0, 0, 11, -183, 192, -52, 0, -51, 133, 56, -152, 0, 29, 110, -84, 155, 0, 23, 193, 39, -101, 0, 0, -21, -169, 44, 0, 14, 63, 14, -40, 0, 148, 0, -145, -31, 0, 4, 48, 72, 30, 0, -133, 8, 0, -108, 0, 60, 47, 25, 259, 0, -87, -12, -115, 0, 0, -111, 85, -127, 117, 0, -57, 28, -87, 176, 0, -2, -37, 21, 235, 0, -200, 30, -166, 68, 0, 0, 106, 109, 89, 0, 45, 54, 120, -113, 0, 63, 0, 50, -24, 0, 58, -97, 71, -8, 0, -35, -73, 0, -105, 0, 25, -55, 99, -145, 0, 115, 28, 64, 0, 0, -184, -116, 312, 37, 0, -211, 95, -2, -183, 0, 170, -55, -250, 97, 0, 199, -95, 122, 0, 0, 0, 45, -54, -34, 0, 32, 155, -33, 118, 0, -26, 0, -60, 3, 0, -102, -213, -41, 112, 0, 10, -101, 0, 73, 0, 70, 40, 45, 145, 0, 20, 75, -204, 0, 0, -81, 53, -8, -197, 0, -37, 29, -10, 94, 0, -77, 83, 75, -139, 0, 63, -102, -25, -47, 0, 0, 43, 25, -18, 0, -72, -35, 80, 154, 0, -185, 0, -131, 123, 0, -263, 25, -200, -163, 0, 57, 71, 0, -45, 0, -242, -28, 235, 203, 0, 144, 212, 25, 0, 0, 109, -100, -250, -18, 0, 80, 341, 19, -41, 0, -72, -85, 193, -63, 0, -145, 134, 209, 117, 0, 0, 86, -236, 74, 0, 18, -121, 89, 86, 0, 157, 0, 14, -15, 0, 24, -151, 9, 44, 0, -155, 53, 0, 85, 0, -43, 175, 49, 96, 0, -42, 135, 223, 0, 0, 24, 115, -78, -330, 0, -47, -69, 126, -60, 0, -71, -150, -106, -27, 0, -45, 105, 34, 72, 0, 0, -52, 15, -154, 0, 39, -202, -151, 71, 0, -86, 0, 81, 19, 0, 59, -32, -157, 24, 0, -113, -52, 0, 161, 0, -136, 56, 5, 105, 0, 59, -95, -28, 0, 0, -59, 62, -105, -45, 0, 133, -33, -42, 130, 0, -121, 45, -26, 105, 0, -67, 63, 4, -76, 0, 0, -243, -13, 42, 0, 70, 80, -83, 57, 0, 101, 0, 77, 46, 0, 89, -275, 85, 113, 0, -29, -65, 0, -2, 0, -39, 17, 114, -155, 0, 26, 178, -1, 0, 0, 9, -107, -92, -120, 0, 185, -133, 250, 18, 0, 88, 103, 29, 106, 0, -33, 60, -179, -35, 0, 0, 73, 17, 249, 0, -102, 35, -140, 119, 0, -34, 0, 41, -2, 0, -26, 1, -31, 38, 0, 85, -85, 0, 115, 0, 20, -190, -90, -147, 0, 38, 35, -105, 0, 0, 129, -12, 24, 76, 0, 168, -42, -58, 279, 0, -197, -72, 55, -157, 0, 174, 116, 80, 241, 0, 0, 14, 85, 201, 0, -27, 76, -41, -113, 0, -94, 0, 41, 229, 0, -145, -165, -7, 98, 0, 0, 50, 0, -3, 0, 74, -211, 106, 8, 0, -22, -83, -70, 0, 0, 241, 279, -26, 219, 0, 70, 192, -89, -58, 0, 41, -65, -30, 67, 0, 47, -42, -210, 21, 0, 0, -87, 20, -90, 0, -105, -17, -83, 51, 0, 76, 0, -64, 183, 0, -42, -55, 132, 145, 0, 94, 258, 0, -161, 0, -46, 92, -156, 36, 0, 24, -30, -45, 0, 0, 122, 41, 77, 32, 0, -55, -42, 64, 63, 0, -144, 181, 0, -310, 0, 142, 148, 47, -20, 0, 0, -87, 29, -45, 0, 19, -222, 60, -39, 0, 261, 0, -247, -178, 0, 37, 168, 15, 56, 0, 63, 48, 0, -73, 0, 144, 49, 35, 11, 0, 247, -83, 60, 0, 0, -76, -134, -29, 30, 0, -178, 32, 60, 123, 0, -207, 124, 84, 149, 0, 33, 105, -17, -32, 0, 0, -69, -26, 127, 0, 16, 38, -149, -82, 0, 144, 0, 3, -220, 0, 396, 85, -115, 63, 0]