# Trace form for 7225.2.a.bv, downloaded from the LMFDB on 15 June 2024.
[0, 15, 0, 9, 12, 0, -9, 12, -6, 12, 0, -6, 24, 0, 0, 0, 6, 0, -12, 6, 0, 30, 12, 36, -18, 0, 36, 36, 24, 18, 0, 0, -12, -12, 0, 0, -9, 12, 6, -9, 0, 18, -36, 3, 12, 0, -21, 3, -12, 15, 0, 0, 27, 0, -21, 0, 6, 39, 18, -12, 0, 15, 54, 60, -36, 0, 18, 24, 0, 42, 0, -6, -66, -9, 36, 0, -18, -30, 30, 9, 0, 51, -36, -15, 9, 0, -36, 51, 30, -24, 0, -27, 15, 42, -57, 0, -42, 48, 0, -12, 0, -6, 0, 6, 108, 0, -15, 48, 36, -24, 0, 12, 75, 51, 144, 0, 30, -84, 18, 0, 0, -33, 60, 6, 12, 0, -108, 0, 39, 18, 0, -48, -48, -6, 21, 0, 0, 39, 93, 33, 0, 18, 87, 84, 12, 0, -99, 123, -9, 18, 0, 6, -3, 0, 78, 0, -84, -48, 0, 96, 0, 24, -114, 18, 117, 0, 24, 114, -30, 57, 0, -45, 159, 63, -6, 0, -78, 15, -24, -48, 0, -33, 153, 36, 36, 0, -24, 0, 120, 141, 0, 30, -18, 24, 60, 0, 24, 84, 0, 36, 0, 30, -30, -3, 0, 0, -90, 60, -72, 18, 0, -12, -39, -54, 90, 0, -81, -27, -6, -54, 0, 0, 153, -3, 3, 0, -54, 141, -72, -54, 0, -18, 81, 66, -18, 0, -6, 15, 0, 12, 0, -51, -141, 57, 114, 0, -108, -48, 24, 69, 0, -18, -9, 24, -81, 0, -90, 99, -78, -102, 0, -72, 18, 72, -6, 0, -36, 87, -48, -18, 0, -57, 0, -45, -15, 0, 3, -72, 69, 18, 0, 81, -6, 51, 57, 0, -144, 42, 45, 0, 0, -66, 51, 72, 39, 0, -45, 105, -75, 12, 0, -51, -33, 66, -99, 0, 0, 84, 66, 54, 0, -36, 168, 18, 48, 0, -21, 9, 3, -78, 0, 132, 51, 0, 117, 0, -18, -45, -60, -57, 0, 72, -75, 6, 66, 0, 42, -39, -3, 117, 0, 12, 258, -27, -66, 0, -174, 96, -108, 18, 0, -63, 162, -90, 60, 0, 3, 0, 60, 57, 0, 141, 66, 69, 126, 0, 21, 90, -27, 39, 0, 81, -18, -18, 0, 0, -114, 69, -144, -42, 0, 69, -135, -84, 156, 0, -63, -75, -66, 3, 0, 0, 147, 18, 144, 0, -18, -15, -66, -90, 0, -3, 150, 57, 96, 0, 24, -57, 0, 63, 0, -57, 12, 60, 189, 0, 15, -18, -108, 78, 0, -18, 0, -9, -72, 0, 0, 69, 162, -24, 0, -39, -27, 24, -129, 0, -195, 183, -96, 0, 0, 108, 0, 75, -6, 0, 21, 129, -108, -102, 0, -48, 174, 24, 6, 0, -27, -135, 63, 0, 0, -81, 3, 42, 45, 0, -75, -15, -114, -66, 0, -48, -24, 108, -123, 0, 0, 57, 126, 18, 0, 33, 90, 96, 72, 0, -213, 48, 105, 3, 0, -33, 180, 0, -159, 0, -84, 87, -36, 51, 0, 123, -84, 267, -93, 0, -126, 30, 3, 45, 0, -147, 18, -36, -24, 0, -39, 6, -66, 48, 0, -18, 54, 15, -36, 0, 3, 0, -114, 81, 0, 60, -36, 114, 120, 0, 51, -18, -90, 57, 0, 165, -27, -69, 0, 0, 51, -108, -78, -27, 0, -18, -33, -9, 135, 0, -192, 12, -192, 0, 0, 0, -84, -81, 249, 0, 150, 231, 6, -12, 0, 9, 213, 30, -108, 0, -42, -15, 0, 30, 0, 42, -84, -102, -114, 0, -210, 12, -135, 15, 0, 96, -123, 0, -78, 0, 63, 3, -63, -84, 0, 6, -57, 30, -84, 0, -120, 12, -42, -120, 0, -135, 0, -66, -90, 0, -81, -21, -246, 24, 0, -15, -54, 165, -36, 0, -144, 165, 42, 0, 0, -30, 69, 18, 90, 0, -96, 162, 240, -54, 0, 42, 0, 54, 18, 0, 0, 12, 9, -156, 0, -108, -36, 12, 42, 0, 69, -126, -144, -51, 0, 69, -135, 0, -57, 0, 216, -24, 180, -123, 0, 153, 36, 72, 72, 0, 138, 120, -105, -24, 0, -108, 6, 78, 0, 0, 48, 51, -6, -66, 0, 78, 45, 90, 114, 0, -30, 0, 228, -69, 0, -54, -75, 99, -3, 0, -63, 120, 21, -90, 0, 15, 54, -198, 0, 0, -78, 3, -87, -6, 0, 237, -21, -222, 18, 0, -153, 12, 138, 54, 0, 0, -69, -78, -186, 0, -12, -24, -228, -120, 0, 33, -27, 150, -21, 0, -3, 135, 0, -93, 0, -27, -36, -159, 192, 0, 111, -72, -9, 27, 0, -15, -171, 30, 156, 0, -18, -72, -132, -114, 0, 81, 6, 102, -36, 0, 87, -90, 150, -168, 0, 117, 0, -117, -108, 0, 30, 93, 147, -9, 0, 129, -132, 39, 153, 0, -177, -60, 186, 0, 0, -45, -90, -102, -21, 0, 9, 24, 105, -42, 0, 69, -33, 84, -105, 0, 0, -96, -3, -27, 0, -24, -186, 192, -12, 0, -108, 0, -222, 33, 0, -144, -57, 0, 174, 0, 63, 153, 117, -141, 0, 111, 132, 111, 72, 0, -27, -12, -24, -9, 0, 174, -78, -15, 333, 0, -96, 81, -288, 150, 0, 90, -108, 24, 282, 0, 57, 0, -3, 141, 0, 48, -42, -12, 36, 0, 45, -102, -60, -102, 0, 138, -51, 42, 0, 0, 150, 240, 105, 114, 0, 270, 18, 135, -24, 0, 81, 141, -246, 213, 0, 0, 15, -126, -57, 0, -186, -18, -63, 36, 0, 159, -222, -63, 186, 0, -78, -228, 0, 114, 0, -18, 78, 198, 90, 0, -72, 138, -213, -267, 0, 0, 78, -132, 6, 0, 66, -84, 207, 3, 0, 264, 30, 36, -21, 0, 147, -48, 78, -156, 0, -102, 0, 48, 21, 0, -6, -285, -126, -102, 0, -45, -120, 54, -33, 0, 9, -15, -42, 0, 0, -96, 45, 87, -240, 0, -51, 69, -39, -84, 0, 207, -99, 312, 27, 0, 0, -135, 180, -39, 0, 21, -69, 189, 189, 0, -99, -75, -84, -270, 0, -39, -78, 0, -207, 0, -48, 75, -87, -168, 0, -96, 156, 213, 6, 0, -162, 15, 81, 36, 0, -84, -309, 12, 42, 0, 30, 54, -84, 39, 0, 24, -273, 72, -69, 0, -201, 0, -150, -129, 0, 3, -24, 225, -81, 0, 6, -63, 0, -45, 0, 69, 126, -63, 0, 0, 276, -24, -57, -48, 0, 90, -9, 36, -150, 0, 288, -45, -354, -69, 0, 0, -96, -138, 81, 0, 120, -186, -177, -213, 0, 147, -213, 156, 156, 0, 201, 69, 0, -36, 0, 174, -3, -9, -78, 0, 24, -42, -135, -96, 0, -30, -15, -129, -231, 0, 135, -78, -267, -51, 0, 54, -126, 336, 189, 0, 276, -192, 60, 27, 0, -72, 0, -45, 33, 0, -222, 279, -279, -150, 0, -204, -57, -123, -195, 0, -108, -255, 225, 0, 0, 72, -141, 174, -48, 0, -186, -45, 345, -246, 0, 39, 240, 99, 78, 0, 0, -102, 78, -72, 0, 117, -282, 96, 252, 0, 102, 138, 3, 162, 0, -33, 156, 0, 66, 0, 30, 138, 45, -141, 0, 75, 99, 105, -264, 0, 3, 117, 345, -63, 0, -303, -138, 192, 210, 0, 324, -180, -171, -129, 0, 129, -312, -93, 105, 0, 375, 0, 234, -99, 0, 33, 72, -111, 72, 0, -12, 69, -150, -99, 0, -150, 120, -192, 0, 0, 39, -279, 138, -60, 0, -33, 57, -27, -84, 0, 30, 177, 21, 168, 0, 0, -144, -111, -150, 0, -39, 168, -132, 60, 0, 150, -165, 81, -141, 0, -192, -114, 0, -174, 0, 75, -165, -105, -30, 0, -6, -141, -6, -60, 0, -93, 18, 54, -99, 0, -33, -159, -123, -24, 0, 207, -36, 135, 159, 0, -51, -222, -45, -111, 0, 3, 0, -231, -132, 0, -87, -309, 36, -126, 0, -126, -384, -93, -126, 0, -120, 279, -21, 0, 0, 246, -111, 282, 63, 0, 123, 30, -6, -102, 0, 84, -6, 198, 273, 0, 0, -63, -66, -93, 0, -57, -333, 81, 126, 0, -33, -252, -72, -24, 0, 6, 60, 0, -159, 0, 21, -30, -231, -237, 0, -18, 156, -120, -174, 0, 240, 45, 39, 210, 0, 252, -102, -171, 147, 0, -75, 114, -51, 171, 0, -177, -288, 15, 123, 0, 90, 0, -93, 138, 0, -129, 153, -120, -162, 0, -198, -186, 9, -12, 0, 231, 150, -150, 0, 0, 141, 51, -87, 111, 0, -6, 42, 63, 69, 0, 267, -9, -195, 66, 0, 0, -66, -48, 63, 0, 114, -267, -198, -99, 0, 219, -360, -168, 141, 0, 162, 72, 0, 12, 0, 99, 216, 48, 60, 0, -351, 93, -438, -3, 0, -69, -96, 315, 6, 0, 345, -270, 216, 186, 0, 102, 63, 66, -24, 0, 162, -90, -240, 102, 0, -138, 0, 132, -252, 0, -12, 108, -123, -57, 0, -57, -171, -54, -21, 0, 33, -6, -84, 0, 0, -36, -216, 69, -261, 0, -66, -15, -69, -99, 0, 189, 3, 174, -87, 0, 0, -153, 135, -147, 0, 30, -249, 279, -12, 0, 69, 66, -108, 291, 0, -219, -150, 0, -300, 0, 3, 174, -54, 90, 0, -177, -72, -168, -42, 0, -228, 6, -240, -69, 0, 162, -417, -240, 150, 0, 27, -81, 21, 156, 0, 312, -237, 81, 78, 0, 81, 0, -123, -156, 0, 60, -3, 291, 147, 0, 201, 33, -174, -174, 0, 81, -90, 108, 0, 0, 390, -48, -39, -189, 0, -213, -120, -189, -54, 0, 135, 18, -453, 120, 0, 0, -255, -321, -111, 0, 153, -195, -276, 60, 0, -63, -117, -216, -81, 0, 0, -216, 0, 183, 0, 15, 312, -111, -252, 0, 117, 192, -6, -60, 0, -9, -6, -36, 51, 0, 168, -165, -243, 54, 0, 87, -384, 66, 354, 0, -102, -24, -225, -444, 0, -78, 0, -216, -159, 0, 126, -36, -330, 12, 0, -153, -90, -21, 15, 0, 141, 204, 315, 0, 0, -21, -168, 3, 381, 0, -75, 102, 102, 123, 0, 42, 141, 21, -324, 0, 0, -33, -219, 288, 0, -18, -447, -12, -159, 0, 18, -417, -63, -57, 0, 93, 114, 0, 123, 0, -297, -12, 9, -57, 0, 354, 285, 33, 114, 0, -198, 12, 78, -9, 0, 276, 48, 240, 195, 0, 138, 36, 81, 147, 0, -147, -186, 405, 171, 0, 354, 0, 150, -258, 0, -45, -147, -204, 3, 0, 99, 129, -129, -246, 0, -12, -36, -108, 0, 0, 207, -306, -141, 123, 0, 234, -18, 60, 30, 0, -306, -63, 378, -195, 0, 0, -36, 66, -423, 0, -165, -252, -342, -165, 0, 54, -282, 63, -51, 0, -177, 42, 0, -81, 0, -225, 39, -105, -117, 0, -153, 267, -129, -51, 0, 0, -315, 141, -27, 0, 183, -150, -207, -102, 0, -84, -486, 51, -57, 0, -96, -105, 318, -93, 0, 108, 0, -108, -156, 0, -297, -15, 147, -273, 0, -63, -27, 48, -210, 0, 183, -171, -405, 0, 0, 90, 66, 69, 135, 0, 159, -195, -306, -144, 0, 132, 36, -15, 129, 0, 0, -66, -183, 105, 0, 234, -156, -66, -123, 0, 162, 306, -273, 126, 0, -30, 36, 0, -285, 0, 261, 66, -27, -168, 0, -81, 204, 219, 102, 0, 60, 63, -102, 69, 0, 198, -60, -222, 39, 0, -198, 123, -276, 54, 0, 444, -57, -441, -39, 0, -132, 0, -348, 81, 0, -63, -72, -159, 315, 0, -105, -60, -36, 24, 0, 27, 330, -9, 0, 0, 132, 150, -6, -255, 0, 6, -240, 123, 267, 0, 405, 168, -321, -27, 0, 0, 84, 108, -87, 0, -168, 96, -108, -144, 0, 162, -162, 12, 219, 0, 186, -270, 0, -132, 0, 225, 129, 246, -165, 0, -207, -219, -195, -168, 0, 249, 18, -27, -204, 0, -51, -225, 279, -129, 0, 249, 105, 117, -192, 0, 129, 123, 132, 42, 0, -255, 0, 57, -234, 0, -231, -198, -393, 162, 0, -81, -177, 0, 69, 0, -375, 216, 159, 0, 0, 15, -117, -33, -60, 0, -189, 198, 171, 57, 0, 303, 126, 321, 330, 0, 0, -90, 15, -132, 0, -210, 210, 18, 378, 0, 186, -417, -162, 6, 0, 231, 147, 0, -183, 0, -102, 192, 228, 27, 0, 159, 54, 81, -273, 0, -201, -84, 252, 81, 0, -183, -54, -264, -261, 0, -297, 165, 36, 39, 0, 51, -129, -102, -177, 0, 63, 0, -138, -183, 0, 114, 63, 474, 183, 0, -132, -117, -258, 6, 0, -150, -60, 93, 0, 0, 207, -186, -135, 162, 0, 42, 111, 18, -204, 0, -279, -102, -174, -186, 0, 0, -387, -156, 432, 0, 54, -255, 108, -411, 0, -33, -90, 117, 12, 0, -225, 99, 0, 99, 0, 252, -30, -39, -291, 0, -9, 99, -321, 264, 0, 117, 63, -243, -207, 0, -72, -243, -132, 264, 0, -33, -243, 351, -129, 0, -42, 75, -411, 360, 0, 147, 0, -234, -156, 0, -210, 297, -444, -147, 0, 3, -381, -69, -189, 0, 393, -27, -114, 0, 0, 48, -24, 336, 141, 0, 168, 96, -93, -369, 0, -87, -216, -99, 231, 0, 0, -12, 0, -21, 0, 264, 147, 420, 195, 0, -69, 369, -249, -42, 0, -372, -180, 0, -45, 0, -261, -27, 84, 66, 0, -30, -123, 24, -450, 0, 108, 270, -57, -90, 0, -78, 141, 306, -489, 0, 351, -330, -327, -174, 0, 84, -132, 33, -150, 0, 285, 0, 486, 399, 0, -129, -195, -102, -255, 0, -297, -63, 63, 39, 0, 336, 210, 186, 0, 0, -69, -57, -75, -276, 0, -204, -18, -111, 57, 0, -72, -27, 87, -222, 0, 0, -36, -63, 27, 0, 306, 255, 396, 183, 0, -54, 126, 288, 144, 0, -168, -123, 0, -150, 0, -117, -219, -114, 306, 0, -144, -129, 369, 123, 0, -195, 174, -225, 324, 0, -81, 210, 33, -297, 0, 255, -21, -63, -66, 0, -93, -75, 351, -303, 0, -354, 0, 297, 3, 0, -219, -117, 228, -174, 0, -117, 207, 3, -351, 0, -396, 168, 165, 0, 0, -96, -330, 216, 72, 0, -192, -198, 102, -21, 0, 84, 45, 72, -189, 0, 0, 48, -348, -264, 0, -246, -54, 105, 39, 0, -243, -30, 204, -315, 0, 18, 72, 0, 105, 0, 669, 72, -186, -120, 0, -153, 234, -15, 66, 0, -312, -162, 42, -213, 0, 84, 258, 297, -72, 0, 63, 291, -204, 69, 0, 6, 150, 204, 579, 0, -360, 0, -75, 81, 0, 3, 24, -81, 126, 0, 90, 288, -57, -312, 0, -12, -231, -15, 0, 0, -18, 93, -192, 288, 0, 6, -90, 78, 69, 0, 87, 114, -282, 12, 0, 0, 219, 291, -60, 0, -468, -93, 78, 72, 0, 168, 123, -294, -159, 0, 72, 15, 0, 165, 0, -177, 21, 150, 78, 0, -129, -192, 96, 60, 0, -138, 117, 63, 222, 0, -351, -177, 336, 90, 0, 57, -15, 279, -216, 0, 294, 48, 198, 63, 0, 57, 0, 75, 3, 0, 135, 216, 78, -183, 0, -204, -45, -57, 429, 0, -324, -264, -234, 0, 0, -300, 354, 96, -417, 0, 153, 45, 159, 63, 0, 96, -21, 18, -225, 0, 0, 105, 123, 30, 0, 414, 174, -75, -114, 0, -234, 321, 186, 393, 0, -15, 165, 0, 15, 0, -423, -159, -441, 51, 0, 117, 9, 288, 339, 0, 294, 171, 348, -9, 0, -324, 327, 48, 306, 0, -261, -282, 57, -135, 0, 87, 147, 60, 72, 0, 405, 0, -345, 15, 0, 396, -162, 393, -108, 0, 252, -33, 255, -9, 0, 255, -324, 54, 0, 0, 30, 21, -384, 54, 0, 57, 399, -42, 276, 0, -264, 75, 135, 120, 0, 0, 168, -231, 24, 0, 441, 300, -87, 99, 0, -210, 87, -36, -213, 0, 183, -300, 0, 51, 0, 72, 279, 345, -429, 0, 192, -81, -93, -516, 0, 186, -249, -9, -78, 0, 171, 192, -246, -48, 0, 219, 207, 0, 141, 0, -438, 147, -519, 0, 0, -174, 0, -177, -126, 0, -42, -93, 102, 249, 0, 150, 255, 411, 531, 0, 678, 405, -120, 0, 0, -84, 150, 267, -222, 0, -102, 189, 327, -102, 0, -195, 84, -105, 132, 0, 0, 192, 231, 378, 0, -441, 84, -42, 3, 0, 330, -114, -282, -96, 0, 213, 195, 0, 351, 0, -75, -228, 357, -45, 0, 45, -258, -84, 156, 0, 162, -348, -537, 261, 0, -90, 378, 141, 156, 0, 84, 198, -99, -273, 0, -105, 51, 213, 57, 0, -390, 0, 510, 15, 0, -93, 303, -6, 246, 0, 153, -75, 123, -423, 0, -447, 0, 39, 0, 0, -450, 330, 3, -57, 0, -9, 54, -276, -66, 0, 285, 93, 255, -75, 0, 0, 246, 90, -147, 0, -306, 63, 51, -387, 0, 273, 162, -57, -444, 0, 237, 138, 0, -294, 0, 240, -102, -222, 138, 0, -81, 111, 420, -177, 0, 60, 96, 153, -246, 0, 0, 225, 60, 63, 0, -549, 633, 12, 327, 0, 132, 138, -228, -12, 0, 129, 0, -168, 144, 0, 150, 162, 528, -276, 0, 411, 108, 159, -243, 0, -330, -444, 234, 0, 0, -324, 351, -105, 513, 0, 78, -48, -129, -177, 0, -189, -69, -318, 15, 0, 0, -120, -210, 117, 0, 315, 168, 18, 156, 0, -150, 114, 384, -225, 0, -249, 183, 0, 63, 0, 234, -30, -30, 105, 0, -159, 183, -123, 276, 0, 210, 78, -411, 216, 0, 27, 15, -30, -285, 0, -285, 105, -138, -75, 0, -84, 162, 12, -375, 0, 153, 0, -150, 165, 0, 198, -108, -372, 255, 0, 549, 63, 24, 291, 0, -153, 63, -228, 0, 0, -177, 183, 24, -39, 0, 135, -390, 42, -6, 0, -180, -174, 444, 63, 0, 0, 510, 96, 165, 0, -297, 282, -171, 255, 0, 132, 171, 57, 177, 0, -171, 15, 0, 300, 0, -243, -258, 117, 672, 0, 363, -75, -204, 162, 0, 138, 315, 45, -297, 0, 3, 228, 69, 108, 0, -108, 372, -108, -210, 0, -537, 327, 312, 318, 0, 270, 0, 255, 261, 0, 297, -567, -93, 126, 0]