# Trace form for 7942.2.a.bx, downloaded from the LMFDB on 29 December 2025.
[0, 12, 12, -3, 12, -9, -3, 0, 12, 3, -9, -12, -3, 0, 0, 9, 12, -9, 3, 0, -9, -9, -12, -18, -3, 3, 0, -21, 0, 9, 9, -27, 12, 3, -9, -18, 3, -9, 0, 18, -9, -27, -9, 9, -12, -36, -18, -27, -3, -6, 3, -18, 0, 18, -21, 9, 0, 0, 9, 0, 9, -18, -27, 0, 12, -36, 3, 9, -9, -18, -18, -9, 3, 18, -9, -21, 0, 0, 18, -18, -9, -24, -27, -36, -9, 9, 9, -63, -12, -18, -36, 12, -18, 18, -27, 0, -3, 12, -6, -3, 3, -54, -18, -27, 0, 18, 18, -27, -21, 21, 9, -45, 0, 18, 0, 36, 9, 9, 0, -81, 9, 12, -18, -18, -27, -45, 0, -33, 12, 9, -36, -9, 3, 0, 9, 72, -9, -54, -18, -9, -18, 63, -9, 0, 3, -63, 18, -3, -9, -18, -21, -51, 0, -9, 0, 9, 18, -63, -18, 0, -9, -36, -24, -54, -27, -9, -36, 27, -9, -6, 9, 0, 9, 54, -63, 45, -12, -63, -18, -27, -36, -42, 12, 9, -18, 45, 18, 9, -27, -72, 0, 9, -3, -27, 12, -81, -6, -54, -3, -36, 3, -63, -54, 18, -18, 36, -27, -9, 0, 0, 18, -45, 18, -45, -27, -27, -21, -24, 21, -9, 9, -27, -45, 72, 0, 39, 18, -45, 0, 72, 36, 9, 9, -63, 9, -36, 0, -36, -81, -63, 9, -27, 12, 24, -18, -18, -18, 0, -27, 0, -45, -108, 0, 18, -33, -18, 12, -18, 9, -6, -36, 108, -9, -18, 3, -27, 0, -45, 9, 108, 72, 6, -9, -3, -54, -3, -18, -30, -9, -54, -18, 81, 63, -75, -9, 0, 0, 45, 3, 39, -63, 15, 18, -45, -3, -18, -9, 21, -18, -36, -21, -30, -51, 9, 0, -9, -9, -24, 0, -81, 9, -90, 18, -21, -63, -72, -18, -18, 0, -9, -9, 0, -36, 0, -24, 72, -54, -93, -27, -45, -9, -27, -36, 108, 27, -27, -9, 27, -6, 18, 9, 27, 0, 33, 9, 18, 54, -9, -63, -18, 45, -54, -12, -99, -63, 81, -18, 72, -27, 18, -36, 0, -42, -3, 12, -90, 9, -45, -18, -54, 45, -45, 18, 66, 9, -27, -27, -153, -72, -27, 0, 42, 9, -27, -3, 18, -27, -54, 12, -54, -81, -18, -6, 72, -54, 45, -3, -27, -36, 0, 3, 99, -63, -12, -54, -9, 18, 9, -18, -69, 36, -9, -27, 54, -9, 63, 0, 0, 0, -72, 18, 84, -45, -18, 18, -27, -45, 24, -27, -18, -27, -117, -21, 45, -24, 234, 21, 0, -9, -18, 9, 48, -27, -27, -45, -81, 72, -36, 0, 108, 39, 27, 18, -12, -45, -144, 0, 144, 72, 153, 36, -9, 9, -27, 9, -9, -63, -72, 9, -33, -36, 216, 0, -9, -36, 0, -81, 18, -63, 9, 9, -39, -27, 72, 12, 9, 24, -24, -18, 45, -18, 153, -18, 9, 0, 36, -27, 0, 0, -54, -45, 63, -108, -90, 0, -54, 18, 51, -33, 18, -18, -66, 12, 0, -18, 54, 9, 27, -6, 0, -36, -63, 108, 18, -9, 36, -18, 72, 3, -42, -27, 45, 0, -72, -45, 18, 9, 18, 108, 6, 72, 36, 6, -57, -9, -72, -3, 108, -54, -27, -3, 0, -18, 30, -30, 117, -9, -63, -54, 66, -18, 18, 81, -27, 63, 54, -75, 198, -9, -27, 0, 0, 0, 9, 45, -81, 3, -21, 39, 90, -63, -54, 15, -18, 18, 72, -45, -135, -3, 0, -18, 81, -9, -9, 21, 135, -18, 18, -36, 45, -21, 45, -30, 153, -51, -9, 9, -54, 0, -72, -9, -54, -9, 60, -24, -99, 0, -27, -81, -108, 9, 126, -90, 0, 18, -6, -21, 0, -63, 9, -72, -162, -18, -36, -18, 45, 0, 66, -9, -18, -9, 0, 0, -9, -36, 9, 0, -18, -24, 0, 72, -12, -54, -126, -93, 153, -27, 99, -45, 81, -9, 57, -27, -72, -36, 0, 108, -45, 27, 135, -27, 18, -9, -45, 27, -120, -6, 63, 18, 36, 9, -18, 27, 54, 0, -18, 33, 18, 9, 81, 18, 6, 54, 0, -9, -27, -63, 72, -18, 171, 45, -81, -54, 0, -12, -63, -99, -36, -63, 54, 81, -81, -18, 162, 72, 36, -27, -9, 18, -90, -36, 111, 0, 18, -42, 117, -3, -27, 12, 66, -90, 54, 9, 42, -45, 72, -18, -9, -54, -54, 45, 0, -45, -27, 18, -99, 66, 72, 9, 18, -27, 18, -27, -36, -153, -36, -72, -18, -27, 18, 0, -9, 42, -63, 9, 162, -27, -234, -3, 126, 18, -36, -27, 162, -54, -45, 12, -156, -54, 0, -81, 9, -18, -81, -6, -108, 72, -36, -54, 54, 45, 63, -3, 12, -27, -144, -36, 54, 0, 180, 3, 0, 99, -18, -63, 90, -12, -207, -54, -27, -9, 30, 18, 21, 9, 90, -18, 0, -69, 57, 36, -9, -9, 60, -27, 21, 54, 54, -9, 81, 63, 39, 0, -108, 0, 180, 0, 36, -72, 153, 18, 93, 84, 162, -45, -18, -18, 0, 18, 102, -27, -90, -45, 45, 24, 0, -27, 189, -18, -9, -27, 45, -117, -81, -21, -126, 45, 105, -24, 18, 234, 168, 21, 30, 0, -36, -9, 135, -18, 63, 9, 126, 48, -9, -27, 180, -27, -36, -45, 81, -81, 24, 72, 0, -36, -81, 0, 72, 108, -108, 39, 99, 27, 93, 18, 90, -12, 48, -45, 81, -144, 162, 0, 36, 144, -63, 72, -63, 153, 153, 36, -156, -9, -261, 9, -9, -27, -36, 9, -90, -9, 0, -63, 18, -72, -9, 9, -18, -33, 93, -36, 36, 216, 81, 0, 216, -9, 54, -36, 174, 0, -36, -81, 18, 18, 27, -63, 63, 9, -90, 9, 57, -39, -36, -27, 36, 72, 27, 12, 0, 9, -9, 24, 87, -24, 108, -18, 153, 45, 18, -18, 174, 153, -99, -18, 126, 9, 27, 0, -99, 36, -99, -27, 99, 0, -90, 0, 108, -54, -27, -45, -12, 63, 0, -108, 9, -90, 0, 0, -114, -54, -9, 18, -54, 51, 63, -33, 90, 18, -117, -18, 18, -66, -18, 12, 36, 0, 6, -18, 39, 54, -45, 9, 27, 27, 90, -6, -45, 0, 54, -36, 36, -63, 216, 108, 0, 18, -36, -9, -36, 36, 72, -18, -9, 72, 189, 3, 18, -42, -27, -27, -63, 45, -108, 0, 207, -72, -12, -45, -36, 18, -45, 9, 153, 18, 81, 108, 207, 6, -36, 72, -54, 36, 0, 6, 108, -57, -66, -9, 3, -72, 63, -3, 54, 108, 45, -54, -99, -27, -39, -3, 72, 0, -225, -18, 270, 30, 171, -30, 108, 117, 54, -9, 36, -63, 63, -54, 129, 66, -66, -18, 0, 18, -315, 81, 45, -27, -45, 63, -141, 54, 99, -75, 27, 198, 99, -9, 72, -27, 9, 0, 69, 0, 48, 0, 99, 9, -237, 45, 36, -81, 45, 3, -18, -21, -18, 39, 9, 90, 0, -63, -36, -54, -153, 15, 36, -18, 63, 18, 162, 72, 81, -45, -135, -135, -36, -3, 27, 0, 0, -18, 198, 81, 105, -9, 9, -9, -45, 21, -27, 135, 252, -18, -162, 18, 90, -36, 0, 45, -21, -21, 132, 45, 45, -30, 261, 153, -18, -51, 21, -9, -54, 9, -135, -54, -18, 0, -90, -72, -90, -9, 45, -54, -27, -9, -33, 60, 60, -24, 18, -99, -6, 0, -18, -27, 0, -81, 90, -108, 36, 9, -108, 126, -18, -90, 153, 0, 0, 18, 27, -6, 117, -21, 189, 0, 54, -63, 198, 9, 126, -72, 279, -162, -84, -18, -36, -36, -99, -18, 36, 45, 234, 0, 0, 66, -9, -9, 36, -18, 222, -9, 21, 0, -117, 0, 216, -9, -9, -36, 45, 9, -270, 0, 324, -18, -99, -24, 135, 0, 198, 72, -144, -12, 63, -54, -360, -126, 81, -93, 81, 153, 0, -27, 54, 99, 36, -45, -108, 81, -117, -9, 27, 57, -66, -27, 27, -72, 159, -36, 180, 0, -12, 108, -60, -45, 126, 27, 90, 135, 51, -27, -99, 18, 27, -9, -198, -45, -144, 27, 0, -120, -240, -6, 18, 63, -90, 18, 18, 36, 138, 9, -126, -18, 54, 27, 36, 54, 27, 0, -15, -18, -81, 33, 72, 18, 45, 9, -117, 81, 54, 18, -180, 6, -171, 54, 54, 0, 0, -9, -36, -27, -153, -63, 159, 72, 279, -18, 33, 171, -261, 45, 126, -81, 171, -54, 36, 0, -201, -12, 27, -63, -72, -99, -36, -36, 90, -63, 27, 54, -9, 81, 27, -81, -207, -18, 0, 162, -9, 72, -18, 36, 153, -27, 0, -9, 54, 18, 72, -90, -135, -36, 9, 111, -213, 0, -180, 18, -195, -42, -27, 117, -81, -3, 0, -27, -72, 12, 171, 66, -189, -90, 357, 54, 0, 9, -108, 42, -63, -45, -54, 72, 3, -18, -36, -9, 81, -54, 201, -54, 189, 45, -72, 0, 15, -45, -72, -27, 45, 18, 0, -99, 99, 66, 27, 72, 270, 9, -72, 18, 45, -27, 0, 18, -288, -27, 45, -36, 54, -153, -117, -36, -90, -72, 261, -18, -162, -27, -108, 18, -222, 0, -123, -9, 27, 42, -54, -63, 72, 9, 9, 162, 132, -27, 39, -234, -36, -3, -54, 126, 0, 18, 9, -36, -9, -27, -45, 162, -108, -54, 234, -45, -63, 12, -153, -156, 126, -54, 126, 0, -324, -81, -186, 9, 18, -18, 54, -81, -57, -6, 153, -108, -324, 72, 0, -36, 234, -54, 0, 54, -153, 45, 63, 63, 36, -3, 9, 12, 114, -27, -45, -144, 12, -36, 9, 54, 63, 0, 135, 180, 18, 3, 153, 0, 33, 99, 90, -18, -9, -63, 165, 90, -36, -12, 54, -207, 0, -54, 3, -27, -144, -9, 144, 30, 171, 18, -207, 21, 36, 9, -240, 90, -162, -18, 117, 0, 261, -69, -54, 57, 18, 36, 18, -9, -153, -9, 225, 60, 99, -27, -279, 21, -18, 54, 0, 54, 36, -9, -18, 81, 285, 63, 51, 39, -270, 0, -360, -108, -45, 0, 135, 180, 63, 0, -99, 36, 126, -72, 6, 153, 90, 18, 111, 93, 9, 84, -81, 162, -96, -45, 387, -18, 0, -18, 108, 0, 0, 18, -72, 102, 63, -27, -9, -90, 0, -45, -9, 45, 36, 24, 243, 0, 387, -27, 126, 189, 90, -18, 117, -9, 63, -27, 162, 45, -297, -117, 135, -81, 63, -21, 0, -126, -267, 45, 90, 105, 279, -24, 18, 18, -180, 234, 9, 168, -90, 21, 144, 30, 165, 0, 0, -36, -45, -9, -201, 135, 324, -18, -45, 63, 195, 9, -63, 126, -369, 48, 45, -9, 0, -27, -81, 180, 36, -27, -99, -36, -189, -45, 171, 81, -180, -81, 36, 24, -36, 72, -36, 0, -72, -36, -54, -81, 99, 0, 54, 72, 36, 108, 162, -108, -180, 39, -243, 99, 117, 27, 0, 93, -24, 18, -18, 90, -27, -12, 156, 48, 9, -45, 27, 81, -216, -144, 288, 162, -207, 0, 225, 36, 180, 144, -54, -63, -21, 72, 27, -63, 153, 153, -27, 153, -114, 36, -72, -156, 0, -9, 162, -261, -135, 9, 75, -9, -27, -27, -18, -36, -27, 9, 117, -90, 6, -9, -153, 0, -225, -63, -153, 18, 24, -72, 81, -9, 72, 9, -90, -18, 276, -33, -153, 93, 225, -36, 0, 36, 0, 216, 81, 81, 216, 0, -234, 216, 237, -9, 162, 54, -162, -36, -171, 174, -216, 0, 90, -36, -54, -81, 180, 18, -189, 18, 180, 27, -39, -63, -162, 63, -306, 9, 90, -90, 0, 9, -198, 57, 135, -39, -45, -36, 162, -27, 63, 36, 36, 72, 261, 27, 99, 12, 99, 0, -99, 9, 99, -9, -45, 24, 378, 87, 63, -24, -36, 108, -231, -18, 48, 153, -63, 45, 0, 18, -153, -18, 36, 174, -90, 153, 9, -99, -99, -18, 27, 126, -126, 9, -126, 27, -9, 0, -54, -99, 54, 36, 18, -99, 60, -27, 54, 99, 135, 0, -153, -90, 42, 0, 33, 108, 0, -54, 189, -27, 135, -45, 0, -12, 45, 63, 117, 0, -252, -108, -396, 9, 126, -90, -9, 0, 144, 0, 0, -114, 198, -54, -180, -9, 153, 18, 183, -54, 351, 51, -72, 63, 270, -33, 0, 90, -45, 18, 36, -117, -117, -18, 264, 18, -90, -66, 45, -18, -108, 12, -396, 36, 108, 0, 153, 6, -162, -18, -9, 39, 234, 54, -45, -45, 9, 9, 153, 27, 108, 27, -81, 90, 0, -6, -78, -45, -9, 0, -57, 54, 72, -36, -153, 36, -171, -63, 243, 216, -90, 108, 21, 0, 144, 18, -54, -36, -135, -9, 99, -36, -72, 36, -9, 72, -315, -18, -18, -9, 267, 72, 0, 189, 144, 3, -135, 18, 306, -42, -45, -27, -213, -27, 135, -63, 27, 45, 189, -108, -216, 0, 270, 207, -63, -72, 90, -12, 45, -45, 18, -36, 36, 18, -234, -45, 126, 9, 81, 153, 0, 18, 180, 81, -27, 108, -162, 207, 72, 6, 324, -36, -243, 72, 180, -54, 303, 36, 27, 0, 54, 6, -90, 108, 117, -57, 54, -66, -315, -9, 153, 3, -135, -72, -198, 63, 36, -3, 0, 54, -120, 108, 36, 45, 153, -54, -135, -99, 54, -27, -78, -39, -123, -3, -90, 72, -252, 0, -126, -225, -180, -18, 75, 270, 63, 30, -36, 171, 189, -30, 18, 108, -243, 117, 54, 54, 0, -9, 171, 36, -81, -63, -9, 63, 180, -54, -18, 129, -72, 66, -135, -66, 69, -18, -126, 0, -108, 18, 72, -315, 135, 81, 18, 45, -156, -27, -162, -45, -36, 63, -213, -141, 99, 54, 0, 99, -96, -75, 189, 27, 63, 198, 243, 99, -252, -9, 117, 72, 255, -27, 9, 9, -9, 0, 144, 69, -486, 0, -315, 48, 27, 0, -135, 99, -54, 9, 75, -237, -216, 45, 387, 36, 0, -81, 54, 45, -180, 3, -135, -18, -351, -21, 45, -18, -15, 39, -72, 9, 81, 90, 21, 0, 216, -63, 45, -36, 36, -54, 153, -153, 90, 15, 369, 36, 255, -18, -153, 63, -144, 18, 0, 162, -72, 72, -3, 81, 45, -45, -360, -135, -204, -135, 135, -36, -72, -3, -342, 27, -324, 0, -378, 0, -33, -18, 99, 198, 36, 81, 27, 105, 90, -9, 63, 9, 189, -9, -216, -45, 0, 21, -99, -27, 177, 135, -90, 252, -78, -18, 99, -162, 24, 18, -114, 90, 63, -36, 234, 0, 108, 45, 162, -21, -9, -21, -96, 132, -54, 45, 126, 45, -27, -30, 9, 261, -81, 153, 0, -18, -306, -51, -90, 21, 252, -9, 153, -54, -135, 9, -24, -135, 108, -54, 36, -18, 27, 0, 42, -90, 9, -72, 15, -90, -21, -9, 36, 45, -210, -54, 108, -27, 72, -9, -138, -33, 0, 60, -72, 60, -153, -24, -156, 18, -36, -99, 306, -6, 153, 0, -99, -18, -264, -27, 39, 0, 18, -81, -240, 90, -39, -108, -261, 36, 276, 9, 162, -108, -99, 126, 297, -18, -126, -90, 0, 153, 0, 0, 186, 0, 144, 18, 45, 27, -18, -6, 243, 117, 90, -21, -279, 189, 144, 0, 6, 54, -9, -63, 162, 198, 171, 9, 279, 126, -72, -72, -198, 279, -633, -162, 180, -84, 0, -18, -171, -36, 45, -36, -45, -99, -252, -18, -297, 36, -270, 45, -9, 234, 27, 0, -261, 0, -84, 66, 90, -9, 0, -9, 243, 36, -135, -18, -45, 222, -234, -9, -99, 21, 63, 0, 0, -117, 99, 0, 42, 216, 9, -9, 117, -9, -54, -36, -225, 45, -126, 9, 126, -270, 63, 0, 36, 324, 165, -18, -81, -99, 63, -24, -75, 135, 225, 0, -27, 198, -144, 72, -204, -144, 0, -12, 81, 63, 36, -54, -153, -360, -288, -126, 3, 81, -306, -93, 189, 81, -201, 153, 171, 0, -174, -27, -81, 54, 90, 99, 63, 36, -126, -45, -9, -108, -468, 81, 252, -117, 90, -9, 0, 27, -81, 57, -54, -66, 24, -27, -171, 27, 27, -72, 120, 159, -297, -36, -18, 180, -144, 0, -198, -12, -135, 108, -162, -60, -414, -45, 135, 126, -153, 27, -24, 90, 117, 135, -309, 51, 0, -27, 144, -99, 24, 18, -36, 27, -126, -9, -144, -198, -144, -45, -261, -144, 18, 27, 117, 0, -108, -120, -33, -240, -90, -6, -45, 18, 9, 63, -156, -90, 54, 18, 147, 18, 108, 36, 0, 138, -198, 9, 60, -126, -288, -18, 102, 54, 180, 27, 27, 36, -45, 54, -117, 27, -9, 0, 378, -15, 0, -18, -216, -81, -246, 33, 225, 72, 45, 18, 333, 45, -279, 9, -414, -117, 0, 81, 9, 54, 171, 18, 108, -180, -15, 6, 45, -171, 120, 54, -117, 54, -207, 0, 189, 0, -396, -9, 18, -36, -399, -27, 207, -153, -18, -63, 234, 159, 108, 72, 135, 279, -180, -18, 0, 33, 54, 171, 54, -261, -225, 45, 63, 126, 12, -81, 18, 171, 54, -54, -240, 36, -9, 0, -486, -201, -81, -12, -129, 27, -108, -63, -120, -72, -126, -99, -171, -36, 18, -36, -171, 90, 0, -63, 171, 27, -189, 54, -261, -9, -198, 81, -36, 27, -36, -81, -45, -207, 159, -18, 6, 0, 0, 162, 63, -9, 324, 72, -66, -18, -63, 36, -54, 153, 288, -27, 27, 0, 72, -9, 0, 54, -108, 18, -261, 72, 81, -90, 315, -135, -234, -36, -42, 9, 78, 111, -333, -213, -276, 0, 9, -180, -171, 18, 18, -195, -54, -42, -288, -27, -3, 117, 189, -81, 45, -3, 9, 0, 0, -27, 324, -72, -108, 12, -99, 171, 27, 66, 153, -189, -474, -90, 9, 357, 33, 54, 81, 0, -261, 9, 162, -108, -90, 42, 36, -63, 198, -45, 45, -54, 90, 72, 225, 3, -39, -18, 0, -36, 126, -9, 468, 81, -18, -54, -99, 201, -126, -54, -18, 189, -108, 45, -180, -72, -108, 0, 162, 15, 180, -45, -9, -72, -45, -27, -270, 45, -207, 18, -87, 0, 117, -99, -6, 99, 0, 66, -27, 27, -90, 72, -111, 270, 180, 9, -333, -72, -117, 18, 261, 45, -90, -27]