# Trace form for 4725.2.a.bm, downloaded from the LMFDB on 29 December 2025.
[0, 4, -3, 0, 7, 0, 0, -4, -6, 0, 0, 0, 0, 1, 3, 0, 9, -9, 0, 3, 0, 0, 4, -12, 0, 0, 6, 0, -7, -3, 0, 0, -30, 0, -6, 0, 0, 12, -9, 0, 0, 9, 0, 8, 0, 0, -2, -15, 0, 4, 0, 0, -25, -9, 0, 0, 6, 0, 11, 6, 0, 9, -3, 0, 20, 0, 0, -13, -9, 0, 0, -9, 0, -1, -6, 0, 32, 0, 0, -15, 0, 0, 9, -42, 0, 0, -51, 0, 29, 12, 0, -1, -51, 0, 20, 0, 0, -9, -3, 0, 0, 15, 0, 23, 42, 0, -3, 0, 0, 7, 0, 0, -9, -9, 0, 0, -12, 0, -34, 9, 0, 10, -45, 0, -30, 0, 0, -4, -42, 0, 0, -12, 0, -3, 0, 0, -5, -27, 0, 1, 0, 0, -46, 0, 0, 0, -66, 0, 51, 0, 0, 9, -48, 0, -4, 0, 0, -15, 48, 0, 0, 12, 0, -21, 39, 0, 61, -12, 0, -25, 0, 0, 61, -12, 0, 0, -87, 0, 28, 6, 0, -30, -6, 0, 41, 0, 0, -4, -33, 0, 0, -36, 0, 13, 93, 0, 7, -24, 0, -4, 0, 0, -57, 3, 0, 0, -42, 0, -48, 0, 0, 6, 21, 0, -29, 0, 0, 0, 48, 0, 0, -9, 0, 42, 30, 0, -20, -51, 0, -15, 0, 0, -6, -39, 0, 0, 24, 0, 6, -15, 0, -29, -42, 0, 36, 0, 0, -26, 81, 0, 0, -12, 0, -33, 63, 0, 83, 3, 0, -12, 0, 0, 75, -15, 0, 0, 9, 0, -26, -15, 0, -19, 15, 0, 84, 0, 0, 35, 36, 0, 0, -9, 0, 11, 48, 0, -29, -9, 0, -35, 0, 0, 42, -3, 0, 0, -99, 0, -25, 27, 0, -8, -21, 0, 57, 0, 0, -3, 0, 0, 0, 12, 0, -9, 84, 0, -130, 15, 0, -50, 0, 0, 2, 0, 0, 0, 6, 0, -76, 15, 0, 24, -87, 0, -19, 0, 0, -33, -3, 0, 0, 75, 0, -4, -111, 0, 41, -15, 0, 21, 0, 0, 104, 3, 0, 0, -66, 0, -1, -6, 0, -47, 9, 0, 25, 0, 0, -43, -6, 0, 0, 9, 0, 47, -12, 0, 12, 6, 0, 6, 0, 0, 1, -30, 0, 0, -81, 0, -53, 3, 0, 38, -6, 0, -4, 0, 0, -6, -27, 0, 0, -21, 0, 30, 120, 0, -11, -75, 0, -4, 0, 0, 7, -6, 0, 0, 66, 0, 33, 18, 0, 35, 45, 0, -86, 0, 0, -9, 87, 0, 0, -12, 0, -3, 3, 0, 22, -39, 0, 21, 0, 0, 5, -117, 0, 0, 12, 0, -20, -93, 0, -71, -69, 0, -23, 0, 0, 29, 90, 0, 0, 48, 0, 50, 45, 0, 42, -30, 0, 13, 0, 0, -75, -12, 0, 0, 9, 0, -11, -27, 0, -27, 93, 0, -19, 0, 0, 49, -69, 0, 0, 24, 0, -2, 48, 0, -153, 9, 0, -46, 0, 0, -32, -48, 0, 0, -24, 0, -24, -21, 0, 1, -57, 0, -77, 0, 0, -50, 6, 0, 0, 54, 0, -42, -18, 0, 45, 3, 0, 22, 0, 0, -32, -21, 0, 0, 57, 0, 73, 0, 0, 19, 6, 0, 52, 0, 0, 18, -81, 0, 0, -9, 0, 15, -117, 0, -102, 57, 0, -45, 0, 0, 63, -12, 0, 0, 27, 0, -102, -54, 0, 42, 87, 0, -9, 0, 0, 44, 96, 0, 0, 42, 0, -79, -147, 0, -127, -33, 0, -30, 0, 0, 180, -57, 0, 0, -90, 0, -41, -81, 0, -28, 51, 0, -101, 0, 0, -34, -96, 0, 0, 3, 0, 7, 132, 0, -29, -39, 0, 85, 0, 0, -9, -12, 0, 0, -63, 0, -10, -30, 0, -84, 159, 0, 20, 0, 0, 1, 75, 0, 0, 51, 0, -68, 51, 0, -11, -42, 0, -62, 0, 0, -40, -15, 0, 0, 138, 0, -20, -126, 0, 56, 15, 0, 129, 0, 0, 31, 36, 0, 0, -12, 0, -75, -9, 0, -47, 39, 0, 9, 0, 0, -162, -69, 0, 0, 3, 0, 174, -39, 0, 49, 99, 0, -61, 0, 0, -36, 21, 0, 0, 36, 0, 39, -99, 0, 146, -15, 0, -3, 0, 0, 160, 12, 0, 0, 114, 0, 98, 0, 0, -23, 0, 0, 1, 0, 0, 90, -42, 0, 0, 27, 0, 125, 27, 0, 125, 75, 0, -17, 0, 0, 3, 0, 0, 0, 15, 0, -37, 0, 0, -27, 18, 0, 6, 0, 0, -72, 30, 0, 0, 45, 0, -7, -123, 0, -25, -12, 0, -41, 0, 0, -47, 6, 0, 0, 87, 0, -10, 30, 0, 13, 81, 0, 9, 0, 0, -34, 75, 0, 0, 9, 0, -18, -9, 0, 70, 66, 0, 25, 0, 0, -1, -99, 0, 0, -81, 0, -190, -120, 0, -64, 12, 0, 174, 0, 0, 53, 18, 0, 0, 36, 0, 49, -3, 0, 34, -36, 0, -42, 0, 0, -119, -9, 0, 0, -87, 0, 67, 123, 0, -55, 36, 0, -60, 0, 0, -10, 168, 0, 0, -48, 0, 13, 45, 0, -120, -9, 0, -30, 0, 0, 23, -27, 0, 0, 111, 0, 30, -75, 0, 0, 51, 0, 39, 0, 0, -65, 93, 0, 0, 102, 0, -49, 21, 0, 108, 39, 0, 4, 0, 0, 80, -18, 0, 0, 42, 0, -10, -78, 0, 30, 174, 0, 99, 0, 0, 85, 78, 0, 0, -39, 0, 62, 45, 0, -70, 12, 0, 15, 0, 0, 22, -66, 0, 0, -30, 0, -66, -39, 0, 3, -75, 0, 88, 0, 0, -48, 0, 0, 0, 129, 0, -50, 171, 0, 29, -39, 0, -44, 0, 0, 5, 153, 0, 0, -6, 0, -62, 27, 0, 38, 99, 0, -118, 0, 0, -4, 54, 0, 0, 36, 0, -1, -174, 0, 126, 9, 0, 58, 0, 0, 2, 21, 0, 0, -15, 0, -69, -21, 0, -49, 243, 0, 46, 0, 0, 2, 201, 0, 0, 0, 0, 16, -111, 0, 75, 30, 0, -11, 0, 0, 46, -51, 0, 0, 111, 0, 35, -57, 0, 8, 66, 0, 80, 0, 0, 100, 9, 0, 0, 72, 0, 33, 63, 0, -51, 18, 0, -60, 0, 0, 22, 0, 0, 0, -123, 0, 98, -48, 0, 74, 57, 0, 39, 0, 0, -9, 141, 0, 0, -39, 0, -34, 48, 0, 76, -51, 0, 71, 0, 0, -132, 69, 0, 0, -120, 0, 4, 3, 0, 67, -3, 0, 47, 0, 0, -156, 42, 0, 0, 99, 0, 94, 126, 0, 133, 141, 0, 15, 0, 0, 5, -30, 0, 0, -48, 0, -15, -21, 0, -8, 135, 0, -209, 0, 0, -47, 111, 0, 0, 18, 0, 28, -153, 0, -118, -12, 0, -18, 0, 0, -31, -12, 0, 0, 135, 0, -50, 39, 0, 21, -66, 0, -120, 0, 0, -162, -39, 0, 0, -42, 0, 23, 69, 0, -75, 90, 0, 27, 0, 0, -61, 15, 0, 0, 150, 0, 312, 12, 0, -15, 99, 0, 122, 0, 0, 50, 78, 0, 0, 3, 0, 25, -333, 0, -100, 27, 0, 80, 0, 0, 127, 27, 0, 0, 54, 0, -2, 99, 0, 66, 69, 0, -61, 0, 0, 73, 186, 0, 0, 12, 0, -130, -66, 0, 139, 9, 0, 26, 0, 0, -12, -24, 0, 0, -111, 0, -36, -96, 0, 83, 87, 0, -113, 0, 0, 43, 24, 0, 0, 69, 0, 38, 198, 0, -28, -39, 0, 98, 0, 0, -2, -6, 0, 0, 9, 0, -57, -6, 0, 35, 39, 0, -132, 0, 0, 30, 153, 0, 0, -165, 0, -13, 6, 0, -21, 90, 0, -52, 0, 0, -64, -102, 0, 0, 63, 0, -41, -42, 0, -86, -30, 0, -56, 0, 0, 33, 75, 0, 0, 156, 0, 17, 69, 0, -99, -36, 0, 4, 0, 0, -295, -90, 0, 0, 33, 0, 131, -15, 0, -93, 81, 0, 132, 0, 0, -11, -252, 0, 0, 63, 0, -21, -51, 0, 8, 36, 0, 39, 0, 0, 0, -3, 0, 0, 120, 0, 76, 57, 0, -13, -12, 0, 143, 0, 0, 37, -93, 0, 0, -18, 0, 70, 162, 0, 75, 21, 0, 50, 0, 0, -7, 12, 0, 0, -180, 0, 86, 24, 0, 57, 30, 0, -161, 0, 0, 43, 111, 0, 0, -87, 0, 4, -84, 0, 70, 99, 0, -163, 0, 0, -40, 6, 0, 0, -105, 0, 16, -93, 0, 65, -69, 0, 57, 0, 0, -8, 54, 0, 0, -3, 0, 4, -246, 0, 18, -99, 0, 45, 0, 0, -144, -81, 0, 0, -138, 0, 100, 36, 0, 103, 42, 0, -32, 0, 0, -91, -42, 0, 0, 30, 0, -98, -33, 0, 48, -78, 0, 86, 0, 0, 76, 0, 0, 0, -81, 0, 35, 51, 0, -13, -66, 0, -145, 0, 0, -6, 135, 0, 0, 51, 0, -87, -21, 0, 230, -96, 0, 83, 0, 0, 62, 9, 0, 0, 0, 0, 29, -78, 0, -115, -39, 0, 24, 0, 0, 20, -33, 0, 0, 72, 0, -64, 174, 0, 47, 192, 0, 0, 0, 0, 86, -111, 0, 0, -48, 0, 71, -75, 0, 7, 78, 0, 75, 0, 0, 76, -21, 0, 0, 21, 0, -42, -6, 0, -41, 9, 0, 9, 0, 0, -129, 9, 0, 0, 102, 0, -67, 27, 0, -42, -12, 0, 116, 0, 0, 19, -30, 0, 0, -33, 0, 39, 54, 0, -136, -45, 0, -49, 0, 0, 20, 42, 0, 0, 69, 0, -214, 51, 0, 45, -87, 0, 103, 0, 0, -37, 3, 0, 0, 6, 0, 15, -207, 0, 113, -117, 0, 74, 0, 0, 153, -45, 0, 0, 255, 0, 159, 75, 0, 39, 30, 0, 6, 0, 0, -117, -162, 0, 0, 39, 0, 4, -162, 0, -114, -15, 0, 9, 0, 0, 5, -159, 0, 0, -144, 0, 57, -66, 0, 16, -24, 0, -155, 0, 0, 32, -111, 0, 0, 63, 0, 35, 177, 0, -6, -159, 0, -135, 0, 0, 149, 15, 0, 0, -186, 0, -265, 87, 0, 37, -6, 0, 161, 0, 0, 29, 9, 0, 0, -78, 0, -74, 42, 0, -191, 21, 0, 87, 0, 0, -24, -6, 0, 0, 27, 0, -36, -186, 0, 28, 99, 0, 109, 0, 0, 12, -87, 0, 0, 75, 0, 98, 39, 0, -9, -51, 0, 26, 0, 0, 131, -9, 0, 0, -81, 0, -3, 33, 0, -122, -57, 0, -198, 0, 0, 47, -105, 0, 0, -27, 0, -124, -9, 0, 36, 12, 0, -57, 0, 0, -243, -6, 0, 0, 288, 0, -28, -33, 0, 33, -285, 0, -171, 0, 0, -29, -63, 0, 0, 27, 0, -69, 36, 0, 32, -126, 0, -53, 0, 0, -83, 75, 0, 0, 48, 0, 132, -3, 0, 66, 6, 0, -125, 0, 0, 104, -117, 0, 0, -114, 0, 12, -105, 0, -261, 183, 0, 29, 0, 0, 79, 27, 0, 0, -111, 0, 7, -69, 0, -64, 258, 0, -75, 0, 0, 179, -21, 0, 0, 15, 0, -44, 87, 0, 102, -45, 0, 26, 0, 0, 231, -69, 0, 0, -3, 0, 24, -87, 0, -93, -9, 0, 77, 0, 0, 59, -123, 0, 0, -42, 0, 0, -27, 0, 26, 15, 0, 161, 0, 0, -214, 15, 0, 0, -99, 0, -180, 57, 0, 9, -198, 0, 229, 0, 0, 19, 147, 0, 0, -108, 0, -30, -15, 0, -160, -153, 0, 71, 0, 0, 83, 12, 0, 0, 207, 0, -84, 105, 0, 47, -222, 0, -228, 0, 0, 53, 111, 0, 0, 63, 0, -109, 171, 0, -75, 90, 0, -35, 0, 0, -225, -75, 0, 0, -36, 0, -27, -72, 0, 28, -114, 0, 168, 0, 0, -16, -150, 0, 0, 132, 0, 119, 162, 0, 43, 9, 0, 37, 0, 0, 20, -27, 0, 0, 132, 0, 266, 39, 0, -11, -162, 0, -204, 0, 0, 23, -48, 0, 0, 0, 0, 65, 15, 0, -78, -27, 0, 177, 0, 0, 29, 24, 0, 0, 66, 0, 29, 9, 0, 11, -288, 0, -89, 0, 0, -144, 6, 0, 0, -63, 0, 35, -174, 0, 257, -81, 0, -79, 0, 0, -273, 87, 0, 0, -87, 0, -76, 252, 0, -20, -63, 0, -42, 0, 0, 10, 81, 0, 0, 3, 0, -17, -159, 0, -74, 12, 0, -59, 0, 0, -147, 45, 0, 0, -87, 0, -21, 0, 0, 15, 99, 0, 81, 0, 0, 132, -69, 0, 0, -24, 0, -67, 171, 0, 25, -150, 0, -7, 0, 0, 61, -27, 0, 0, -276, 0, 125, 138, 0, -120, -120, 0, -115, 0, 0, 8, 15, 0, 0, -222, 0, -7, 21, 0, 71, 33, 0, -2, 0, 0, 109, -111, 0, 0, -27, 0, -57, -66, 0, 24, -174, 0, 141, 0, 0, 32, -192, 0, 0, 81, 0, -56, 267, 0, -99, -60, 0, 3, 0, 0, 306, -90, 0, 0, 0, 0, -129, -51, 0, 152, -45, 0, 120, 0, 0, 29, -15, 0, 0, -60, 0, 129, 69, 0, 3, -12, 0, -65, 0, 0, 138, 87, 0, 0, -33, 0, 4, 75, 0, 9, -237, 0, -75, 0, 0, -16, -84, 0, 0, 3, 0, 61, 21, 0, -129, 21, 0, -73, 0, 0, 130, 21, 0, 0, 36, 0, -219, -15, 0, -98, 99, 0, -96, 0, 0, -39, 114, 0, 0, -21, 0, 50, 0, 0, -206, 213, 0, 55, 0, 0, -109, 27, 0, 0, -210, 0, 212, -123, 0, -87, -57, 0, -2, 0, 0, 18, 117, 0, 0, 0, 0, -114, 120, 0, -46, -99, 0, 111, 0, 0, -45, -84, 0, 0, -114, 0, 52, 48, 0, -21, -6, 0, 37, 0, 0, -69, 99, 0, 0, 123, 0, -45, 306, 0, 76, -72, 0, -29, 0, 0, 36, -15, 0, 0, -138, 0, -154, 18, 0, 90, 120, 0, -160, 0, 0, -24, -114, 0, 0, -225, 0, -113, 87, 0, -85, -102, 0, -3, 0, 0, -199, 36, 0, 0, -255, 0, 19, 123, 0, 119, -171, 0, -222, 0, 0, -27, -282, 0, 0, -45, 0, -61, 12, 0, -183, 72, 0, 33, 0, 0, 268, -39, 0, 0, 3, 0, 264, 24, 0, -110, 18, 0, -56, 0, 0, -75, -117, 0, 0, -15, 0, -69, -111, 0, -30, -75, 0, -121, 0, 0, -117, 201, 0, 0, -138, 0, -47, 99, 0, 4, -81, 0, -66, 0, 0, -1, 111, 0, 0, -81, 0, -20, 108, 0, -228, 33, 0, 53, 0, 0, -41, 96, 0, 0, 147, 0, -49, 15, 0, 29, -219, 0, -54, 0, 0, 138, 63, 0, 0, -51, 0, -21, 42, 0, -176, -24, 0, -12, 0, 0, 43, 174, 0, 0, 177, 0, 118, 75, 0, -112, -123, 0, -104, 0, 0, 116, -54, 0, 0, -3, 0, -123, -48, 0, -62, -12, 0, -171, 0, 0, 158, 51, 0, 0, -186, 0, -236, -6, 0, 103, 66, 0, 48, 0, 0, -112, -297, 0, 0, -27, 0, 32, -54, 0, 1, -165, 0, 73, 0, 0, -42, 6, 0, 0, -42, 0, 125, 261, 0, 106, -87, 0, -10, 0, 0, 47, 237, 0, 0, -114, 0, 25, -9, 0, -133, 114, 0, -29, 0, 0, 276, 75, 0, 0, 57, 0, -25, -141, 0, -73, -75, 0, -188, 0, 0, -5, 6, 0, 0, -123, 0, 4, 183, 0, 196, -6, 0, 43, 0, 0, -393, 69, 0, 0, 6, 0, -126, -9, 0, -30, 111, 0, 23, 0, 0, -78, -63, 0, 0, -105, 0, 218, 246, 0, -132, -9, 0, 128, 0, 0, 56, -54, 0, 0, 81, 0, -150, -51, 0, -47, 51, 0, 75, 0, 0, 113, 12, 0, 0, 75, 0, 153, 162, 0, 190, -30, 0, 204, 0, 0, -12, 87, 0, 0, -204, 0, 114, -6, 0, -103, 141, 0, 214, 0, 0, -60, -105, 0, 0, -138, 0, -6, -165, 0, 450, 93, 0, -49, 0, 0, -235, 129, 0, 0, 171, 0, -9, -39, 0, 113, -168, 0, -1, 0, 0, 18, 3, 0, 0, 30, 0, -16, -111, 0, 16, -111, 0, -19, 0, 0, -479, -6, 0, 0, -168, 0, -148, -72, 0, 111, 81, 0, 102, 0, 0, -1, -63, 0, 0, -195, 0, 85, 174, 0, 53, 87, 0, -75, 0, 0, -15, -3, 0, 0, -126, 0, -111, 3, 0, -35, -171, 0, -73, 0, 0, -38, -213, 0, 0, -108, 0, 72, 6, 0, 146, -171, 0, -20, 0, 0, 425, -24, 0, 0, -132, 0, 4, 162, 0, -207, -183, 0, 42, 0, 0, 27, 150, 0, 0, 57, 0, 10, -213, 0, -292, 84, 0, 6, 0, 0, 120, 45, 0, 0, 27, 0, -59, 213, 0, 30, 24, 0, -88, 0, 0, 61, 75, 0, 0, 78, 0, -59, -27, 0, 225, 21, 0, -23, 0, 0, 279, 144, 0, 0, -12, 0, -63, -63, 0, -30, -12, 0, 257, 0, 0, -53, -120, 0, 0, -90, 0, -230, -51, 0, 58, -24, 0, 55, 0, 0, 11, -102, 0, 0, 252, 0, 250, 75, 0, 140, 171, 0, 59, 0, 0, 22, -60, 0, 0, -30, 0, 4, 108, 0, -37, -60, 0, -110, 0, 0, 153, 78, 0, 0, -291, 0, 62, 66, 0, 0, -63, 0, -7, 0, 0, -112, -66, 0, 0, 6, 0, -59, 36, 0, 33, 9, 0, 4, 0, 0, 73, -39, 0, 0, 24, 0, 331, 6, 0, -76, -66, 0, 141, 0, 0, -95, -153, 0, 0, -102, 0, -33, 30, 0, -33, -42, 0, -49, 0, 0, 389, -18, 0, 0, -60, 0, -99, 18, 0, -5, -72, 0, 262, 0, 0, -35, 75, 0, 0, -180, 0, 11, -45, 0, -84, -45, 0, 224, 0, 0, -291, -75, 0, 0, 252, 0, 86, -36, 0, -8, -225, 0, 288, 0, 0, 40, -138, 0, 0, 162, 0, 5, 72, 0, 116, -30, 0, 9, 0, 0, 99, 45, 0, 0, -87, 0, 26, 162, 0]