# Trace form for 9025.2.a.cf, downloaded from the LMFDB on 19 April 2024.
[0, 9, 6, 9, 6, 0, 12, 0, 6, 6, 0, 0, 18, 9, 0, 0, 12, 9, 24, 0, 0, -12, 24, 12, 3, 0, -3, 24, 15, -9, 0, -18, 3, -9, 24, 0, 18, 18, 0, 18, 0, -6, 0, 12, 48, 0, 9, -15, -21, -9, 0, 6, 33, 15, 63, 0, 0, 0, -6, -21, 0, -12, 36, -21, -36, 0, 3, 60, 51, 15, 0, 18, 0, -27, 27, 0, 0, 30, -6, -15, 0, 33, -24, 0, 48, 0, 39, -15, 27, 39, 0, -21, 6, -15, -15, 0, -33, 15, -15, -36, 0, 6, 39, 42, -3, 0, -15, 45, 27, 9, 0, -12, 18, 15, 0, 0, -42, 21, 51, 12, 0, 21, -42, 9, 18, 0, 21, 57, -9, 18, 0, -18, 27, 0, 3, 0, 12, -3, 51, -27, 0, -30, -6, 15, -60, 0, 12, 45, -39, -3, 0, -45, 0, 15, -3, 0, -3, 21, 6, -9, 0, -6, 93, 27, 27, 0, -36, 93, 39, -6, 0, 0, 63, 24, 18, 0, 18, 30, 33, -9, 0, -24, -45, 21, 9, 0, 3, 69, -63, 33, 0, 24, -48, -33, 0, 0, -42, 3, -60, -45, 0, 45, 57, -18, 63, 0, 6, 54, -15, 0, 0, -51, 75, 69, 6, 0, 24, 12, -15, 0, 0, 48, 3, 3, 45, 0, -27, 3, 0, 0, 0, 42, -75, -63, 27, 0, 57, -3, -51, -15, 0, 6, 66, 21, 54, 0, -3, 0, 12, 21, 0, 36, 84, 30, 48, 0, -48, 33, 48, -24, 0, 39, -69, 18, 24, 0, 0, 72, -30, 84, 0, 33, -3, -63, -12, 0, 102, -51, -75, 3, 0, -6, -15, 9, 129, 0, 27, -33, -108, -36, 0, 6, 9, 18, 12, 0, -18, -24, -6, 45, 0, 12, 33, 6, 0, 0, 33, 72, -54, 60, 0, 36, -60, 66, 138, 0, 0, -30, -108, 3, 0, 81, 27, 0, 114, 0, 54, -57, -3, -81, 0, -114, -93, -75, -9, 0, 24, 84, -90, -78, 0, 87, 0, -72, 87, 0, -18, 30, 3, 96, 0, 12, 57, 12, 87, 0, 117, 9, -45, 0, 0, 0, -36, -18, 69, 0, 6, 60, -36, 21, 0, 57, -66, -39, 87, 0, -15, 39, 93, -63, 0, 108, -24, 39, -30, 0, 39, 51, -12, -30, 0, 39, -42, -69, 63, 0, -51, 39, -144, 0, 0, 69, 24, 9, -21, 0, -51, 66, -51, 21, 0, 12, 111, -30, 108, 0, 63, -84, 0, -27, 0, -12, -84, -27, 3, 0, 9, 15, -51, -69, 0, -21, 12, -18, 30, 0, -3, 0, -87, -36, 0, 96, 21, 15, -30, 0, 87, 84, -87, 39, 0, -21, 48, -12, 18, 0, 0, 30, -72, 57, 0, 54, -27, 33, -84, 0, -105, -69, -138, -54, 0, 36, 3, -45, 51, 0, -24, -129, -18, -111, 0, -60, -21, 6, 12, 0, 24, 42, -63, 39, 0, -75, 24, 54, 0, 0, 18, 18, -102, -27, 0, 114, 72, -48, 144, 0, 57, -6, -3, 48, 0, -93, -69, 0, 117, 0, 15, -27, -57, -21, 0, 9, 27, 120, -147, 0, -81, 24, -9, 9, 0, 78, 0, 48, 66, 0, -54, 15, 132, -96, 0, -48, -39, 9, 36, 0, -102, 144, 30, 51, 0, 0, 90, 12, 75, 0, -21, 66, -87, 12, 0, 90, -99, 87, -54, 0, -120, 144, 99, -12, 0, 69, 42, 27, -78, 0, -39, -42, -24, -45, 0, -54, 96, 96, 114, 0, 93, 42, -72, 0, 0, 63, 30, -93, -57, 0, -78, -93, -39, 81, 0, -54, 24, 6, -39, 0, 90, 66, 0, -63, 0, -60, -48, 54, 12, 0, -18, -99, -36, -39, 0, 72, 120, 0, -54, 0, 42, 0, 24, 39, 0, -69, -90, -183, 72, 0, -66, 36, -87, 78, 0, 39, 129, -120, 39, 0, 0, -72, 48, 96, 0, 3, 33, 120, -3, 0, -66, -60, -81, 18, 0, 57, 0, 27, -174, 0, -144, 102, -30, -6, 0, -9, -6, -60, 33, 0, -39, -36, -108, 30, 0, 21, 15, 0, 0, 0, 21, 33, 111, 117, 0, -6, 30, 42, -63, 0, -81, 48, 45, -3, 0, -60, 117, 0, -12, 0, -102, -36, 9, 9, 0, 63, 84, -72, -114, 0, 84, 3, -93, -12, 0, -69, 0, -42, -66, 0, -27, -39, 21, 54, 0, 45, 81, -60, 9, 0, -129, -21, 36, 24, 0, 0, -54, 93, -42, 0, -66, -75, 120, 87, 0, -33, -57, 66, 39, 0, 111, -36, -195, 69, 0, -60, 231, 111, 18, 0, 78, -18, -96, -45, 0, -9, 135, -42, 63, 0, 27, -153, -69, 0, 0, 0, 48, 72, -87, 0, -114, 117, 84, 54, 0, 63, -30, 90, 87, 0, -81, 33, 0, 15, 0, 48, 33, 18, 42, 0, 189, -45, 24, -12, 0, -144, -78, -27, 159, 0, -105, 0, 66, -129, 0, -57, -120, -144, 15, 0, -60, 126, 159, -96, 0, 108, 39, -111, -39, 0, 0, 90, -84, 12, 0, -48, -120, -24, -90, 0, -138, -78, 87, 3, 0, 18, 87, 0, -102, 0, -99, -33, -72, 36, 0, -12, 6, 75, -48, 0, -126, 6, -63, -30, 0, 120, -39, 105, 0, 0, -231, -42, -120, -102, 0, 3, 102, -75, 63, 0, -96, 21, -39, -63, 0, 12, 156, 0, 9, 0, -120, -30, -120, 39, 0, 39, -3, 57, 72, 0, 33, 93, 93, 45, 0, 21, 0, -45, -24, 0, -138, 9, 42, -24, 0, -9, -3, 168, -117, 0, -54, -15, -27, 60, 0, 0, -39, 186, 45, 0, -147, 45, -93, 111, 0, -12, 165, 48, -93, 0, 12, -15, 9, -33, 0, 54, 84, 33, -144, 0, 237, 27, -6, -18, 0, 3, 78, 111, -9, 0, 84, 21, 111, 0, 0, 69, 171, 132, 30, 0, -138, -93, 81, -33, 0, -60, -138, -18, -36, 0, -48, -132, 0, -171, 0, 24, 123, -102, 81, 0, -243, 78, 51, -90, 0, 144, 54, 96, 21, 0, -129, 0, 39, -72, 0, 231, -42, -123, -147, 0, 63, -237, -99, -48, 0, -48, 63, -93, 57, 0, 0, 0, 135, -42, 0, -72, -84, -36, 36, 0, -201, 75, -60, -54, 0, 105, -240, -138, 3, 0, 42, 78, -141, 57, 0, 81, -120, -12, 51, 0, -96, -81, 33, -120, 0, -84, 42, 144, 0, 0, -99, -30, 81, 12, 0, -54, 6, 33, -63, 0, 78, -78, -153, 21, 0, 75, 24, 0, 66, 0, 12, 12, -54, -99, 0, -12, 63, 69, 219, 0, -132, -24, 165, 12, 0, 57, 0, -105, -42, 0, -117, -108, 150, 63, 0, 24, -96, 9, -9, 0, -84, -111, 129, -54, 0, 0, 33, 9, -117, 0, -78, 3, -48, -171, 0, 54, -69, 114, 183, 0, 30, -90, 48, 57, 0, -72, 168, 279, 105, 0, -33, -15, 33, -12, 0, 153, -84, 75, -105, 0, -24, 51, -78, 0, 0, 207, -120, -120, 225, 0, 108, -93, 72, -48, 0, -15, -63, 3, -72, 0, 12, -84, 0, -54, 0, 222, 117, 48, -9, 0, 66, 69, -36, 27, 0, 6, -102, 6, -258, 0, -177, 0, 75, 96, 0, 117, 33, -24, 108, 0, 75, -21, 30, -21, 0, 219, 21, -9, -105, 0, 0, 6, -165, -129, 0, 105, 27, 162, -117, 0, -27, 75, -69, 114, 0, 27, 27, -81, -63, 0, -27, -186, 12, -30, 0, -144, 108, 102, -69, 0, -54, -117, 66, -45, 0, -30, -21, 51, 0, 0, 126, -204, 168, -159, 0, 6, -18, -285, -84, 0, -264, 123, 240, -189, 0, -132, -90, 0, 24, 0, -216, -36, 204, 72, 0, 81, -30, 66, 219, 0, -63, -219, -60, 30, 0, 105, 0, 6, -108, 0, 66, 3, 45, -174, 0, 24, -18, -9, -48, 0, -45, -75, 165, -87, 0, 0, -84, -81, -291, 0, -165, -3, -12, 201, 0, 66, 75, 21, -144, 0, 9, -69, -72, 93, 0, 156, -69, 84, 63, 0, -126, -57, 144, 294, 0, 48, -114, 108, -219, 0, -51, -54, -153, 0, 0, 66, -192, 114, 171, 0, 45, -57, 105, -9, 0, 216, 36, 105, -54, 0, -21, -12, 0, 21, 0, -108, -9, 54, -48, 0, 108, 36, -75, -51, 0, -3, -90, -33, 3, 0, -3, 0, 36, 183, 0, -87, -87, -102, -9, 0, 129, -303, -123, 216, 0, -120, 3, 42, -123, 0, 0, -264, -192, 117, 0, -123, -87, 132, -3, 0, -45, 12, 54, -96, 0, 18, 96, 288, 81, 0, -69, 15, -87, 171, 0, -120, 120, 42, -48, 0, 84, -231, -39, -51, 0, -135, -156, -18, 0, 0, -132, -45, -276, 123, 0, 15, -117, 144, -222, 0, 0, -135, 9, 48, 0, 54, 54, 0, -45, 0, -57, 21, 114, -57, 0, -30, -129, -45, 114, 0, -99, -87, 21, 93, 0, 123, 0, -57, 54, 0, 69, 114, 15, 249, 0, 120, -111, 66, -138, 0, 243, -258, 123, 42, 0, 0, -15, 36, -207, 0, 141, 99, -228, -48, 0, 51, 291, 78, -192, 0, -177, -57, 150, 27, 0, -147, -195, -90, 198, 0, 15, -93, 132, -21, 0, -87, -15, -129, 141, 0, -30, -126, 132, 0, 0, 174, 210, 27, 78, 0, -234, 63, -51, -195, 0, 216, -33, 102, -264, 0, -195, -117, 0, 177, 0, 258, 54, -21, -18, 0, -120, -201, -81, 333, 0, -15, -147, 30, -75, 0, 114, 0, -39, -189, 0, 51, -96, -114, -78, 0, -210, -111, -222, 48, 0, -141, -165, 21, 114, 0, 0, -21, 75, 42, 0, -78, 159, 18, -105, 0, 132, -114, -78, 123, 0, 30, -93, -39, 138, 0, 12, -228, -105, 162, 0, -93, -174, -54, 57, 0, -114, 102, 183, 72, 0, -30, 6, 60, 0, 0, 15, -162, -126, -147, 0, 66, 93, 93, -240, 0, -162, -63, -3, 27, 0, -21, -108, 0, 30, 0, 228, -72, -129, 3, 0, 108, 207, 72, 162, 0, -42, -216, 156, -171, 0, 135, 0, 261, -12, 0, -441, 75, 372, -156, 0, -177, -18, -81, -36, 0, -72, 15, 108, -15, 0, 0, -123, -84, -6, 0, 357, 9, -291, 102, 0, 198, 75, 12, 135, 0, 147, 123, 81, 87, 0, 45, -54, 15, 159, 0, 21, 54, 138, 15, 0, -72, -108, 24, -288, 0, 48, 153, -54, 0, 0, -42, -285, -9, -105, 0, 135, -156, -180, 192, 0, 135, -57, -312, 3, 0, 252, -45, 0, -132, 0, 144, 51, 264, -18, 0, -156, 84, -27, 114, 0, 219, -42, -36, 66, 0, -252, 0, -30, 63, 0, 81, 63, 153, 222, 0, -87, -291, 36, -66, 0, 204, -105, -33, 21, 0, 0, -36, -204, 102, 0, -81, -15, 114, -72, 0, -21, 174, -129, 102, 0, -9, -27, -99, 48, 0, 84, 0, 132, 36, 0, 30, -66, -111, 156, 0, 216, -138, -3, -114, 0, 72, -279, 15, 0, 0, -156, -150, 0, 174, 0, 174, -126, -45, -6, 0, -111, -87, -84, 216, 0, -207, -12, 0, -30, 0, -147, 276, -57, 63, 0, -144, 84, 108, -30, 0, 111, -60, -48, -156, 0, 177, 0, -120, -39, 0, 414, -183, 249, 6, 0, 312, -75, 30, 57, 0, 18, -162, 129, -84, 0, 0, 72, 177, 75, 0, 36, 108, -54, -78, 0, -114, 294, -84, 144, 0, -213, -36, 180, -234, 0, 6, 198, 45, 87, 0, -12, -15, -357, -228, 0, 123, 90, -30, -57, 0, -84, 60, -177, 0, 0, 117, -198, -96, 21, 0, 441, 153, 231, -207, 0, 186, 129, 0, -156, 0, 138, -90, 0, -54, 0, -204, 129, 96, 57, 0, -18, 90, -33, 135, 0, 21, -12, -27, -48, 0, 18, 0, 114, 231, 0, -48, 30, -183, -114, 0, -177, 63, -39, -27, 0, -258, -267, 84, -243, 0, 0, -99, -198, -219, 0, -150, -39, 72, 297, 0, 60, 306, 366, -57, 0, 42, -189, -45, -81, 0, -165, -111, -390, -48, 0, -159, 96, -15, 87, 0, 159, 24, -90, -15, 0, -171, -57, 96, 0, 0, -228, -87, -27, -390, 0, -183, 288, -201, -252, 0, -297, 12, -180, -186, 0, 162, 48, 0, -291, 0, 120, 153, -324, -42, 0, -15, 87, -15, 9, 0, -195, -159, 0, 63, 0, 36, 0, 270, 63, 0, 81, 60, 39, -177, 0, -18, 135, 0, -66, 0, -174, 87, 75, -174, 0, 0, -111, 57, -141, 0, 114, -183, -60, 72, 0, 174, -138, 42, -222, 0, -111, 3, -39, -102, 0, 69, 96, 114, 0, 0, -15, 63, -162, 0, 0, -66, -168, 42, -204, 0, 81, -57, -66, 0, 0, 180, -228, 99, 18, 0, -201, -216, -273, 66, 0, -84, -72, 432, 3, 0, 15, 66, 0, -75, 0, -144, 9, 144, -12, 0, -63, -27, 108, -63, 0, -42, -93, 33, 18, 0, 48, 0, 60, -165, 0, -78, 132, 129, -210, 0, -207, -174, 18, 15, 0, 195, 69, -255, -3, 0, 0, -39, 153, -117, 0, 132, 36, -66, 75, 0, -63, -39, -333, -198, 0, -69, 144, 66, 99, 0, 219, 114, 222, -201, 0, -6, -39, 12, 90, 0, -12, -174, 246, -90, 0, -39, 192, -51, 0, 0, -18, 96, -216, 18, 0, -81, -93, 102, -102, 0, 234, -66, 21, 231, 0, 54, 84, 0, -81, 0, -135, -105, 105, -84, 0, 339, -225, 45, 3, 0, 231, -111, -51, 90, 0, -189, 0, -12, 21, 0, 48, 102, 3, -57, 0, -72, -159, 78, -9, 0, -54, -180, 15, 135, 0, 0, 165, 159, -186, 0, 255, 210, 246, -90, 0, -51, 51, 207, -300, 0, -300, -12, 117, 99, 0, -27, -204, -48, 249, 0, 516, -183, 243, 192, 0, 135, 33, -87, -156, 0, -12, 54, 12, 0, 0, 6, 42, -42, -117, 0, 36, 207, -87, -84, 0, 63, 108, 210, -39, 0, -12, -60, 0, -96, 0, -21, 363, 12, -117, 0, -261, 117, 198, 48, 0, -318, 132, -54, -126, 0, -15, 0, -138, 36, 0, 0, 105, -192, 183, 0, 192, 45, -3, -132, 0, 171, 57, 54, -168, 0, 0, -9, -108, -99, 0, 150, 123, 81, 30, 0, -222, 156, -3, 117, 0, -210, -159, 114, -96, 0, 87, 42, 84, 84, 0, -21, 141, -108, -114, 0, -216, 33, -339, -30, 0, -66, -102, 255, 0, 0, -153, 45, 36, -309, 0, -87, -45, 75, 105, 0, -27, -15, 276, -159, 0, 39, -51, 0, -9, 0, -108, 126, 171, 42, 0, -90, 195, 90, -21, 0, 90, 99, -114, -240, 0, 0, 0, 24, 264, 0, -144, 108, -201, -126, 0, -30, 255, 66, -204, 0, 213, 42, -153, 96, 0, 0, 111, 288, 72, 0, -60, -213, 501, 9, 0, 96, 210, -198, 60, 0, -186, 30, -168, -21, 0, -78, -141, 117, -138, 0, 36, 210, -162, 234, 0, 315, 177, 87, 84, 0, 297, 12, -180, 0, 0, -321, 165, 276, -285, 0, 93, -42, -39, -90, 0, 213, 102, -39, -36, 0, 195, 225, 0, 75, 0, 243, 117, -114, -210, 0, 165, 201, -231, 15, 0, -201, -117, -147, -90, 0, -588, 0, 90, -81, 0, -18, -261, -165, 9, 0, 120, 42, -621, -276, 0, -246, -9, -180, 27, 0, 0, -153, -225, 66, 0, 207, -210, -15, -120, 0, 27, 186, 123, -57, 0, 21, -87, -249, -384, 0, -21, -48, 231, 180, 0, -201, -93, 126, -255, 0, -69, 213, -6, -9, 0, -225, -78, -9, 0, 0, -69, 288, -297, 294, 0, 240, 150, 30, -51, 0, 48, -75, -72, 0, 0, -63, -390, 0, -75, 0, -12, 33, -69, -15, 0, -42, 66, 225, -168, 0, 66, 141, 60, 207, 0, -48, 0, -45, -108, 0, 189, -369, -324, 201, 0, -219, -102, -57, -45, 0, 93, -93, 75, 0, 0, 0, -18, 48, 210, 0, 141, -150, -84, -414, 0, -72, 30, 39, -282, 0, 249, -294, 102, -42, 0, -18, 129, -3, -156, 0, 240, -42, -105, 9, 0, -93, -33, -183, 120, 0, 318, -90, -48, 0, 0, 63, 12, -141, -180, 0, -93, 72, -261, -60, 0, -231, -243, -12, -108, 0, -243, 192, 0, -33, 0, -12, 33, -6, -33, 0, 156, -201, 264, 42, 0, 324, -12, 204, 126, 0, 111, 0, -180, 132, 0, -36, 171, -165, 123, 0, 132, 111, 270, 12, 0, -312, -63, -129, -87, 0, 0, 105, 216, -345, 0, -75, -105, 45, 18, 0, 234, 9, 57, 57, 0, -63, 57, -120, -24, 0, 444, 33, 36, -99, 0, 66, 165, -90, 198, 0, 93, -33, 159, 69, 0, 204, -147, 93, 0, 0, -147, -87, 234, 33, 0, -120, -207, 72, 135, 0, -279, 243, 21, -195, 0, -60, 129, 0, -159, 0, -183, -45, 135, 372, 0, -99, -198, -24, -63, 0, 90, 33, -105, 66, 0, 321, 0, 144, -294, 0, -141, 162, 36, -75, 0, -45, -81, -135, 6, 0, 90, 177, -141, 45, 0, 0, -66, -27, -147, 0, -150, -30, -330, 12, 0, -138, 168, 276, -27, 0, 303, -66, 87, -3, 0, -114, -159, 90, -171, 0, 183, -162, 462, -279, 0, 216, 120, -90, 51, 0, 99, 12, 210, 0, 0, -81, 219, -75, -252, 0, -75, -258, 150, 0, 0, -159, -312, -177, 126, 0, 99, -75, 0, 276, 0, 3, -84, -231, 204, 0, -222, -198, 240, -60, 0, -57, -75, 303, -27, 0, 228, 0, -291, 51, 0, 63, 81, 150, -339, 0, 153, -78, 339, 333, 0, -30, -60, -33, 117, 0, 0, -330, -33, 63, 0, -66, -153, -93, -12, 0, 150, -42, -192, 93, 0, -111, 174, 78, -36, 0, -84, 315, 168, -99, 0, -183, -27, -147, -18, 0, -57, 111, 66, 234, 0, -162, 228, 102, 0, 0, -81, -60, -72, 147, 0, -129, -48, 219, 321, 0, 48, -66, 384, 162, 0, -21, 357, 0, -129, 0, 72, 18, -261, -3, 0, -189, 198, -57, -246, 0, 117, -267, 225, -39, 0]