# Trace form for 4002.2.a.bj, downloaded from the LMFDB on 25 April 2024.
[0, 8, 8, -8, 8, 1, -8, 0, 8, 8, 1, 3, -8, 9, 0, -1, 8, 8, 8, 0, 1, 0, 3, 8, -8, 13, 9, -8, 0, 8, -1, -9, 8, -3, 8, -2, 8, 7, 0, -9, 1, 3, 0, 16, 3, 1, 8, 24, -8, 6, 13, -8, 9, 8, -8, 13, 0, 0, 8, -3, -1, 31, -9, 0, 8, 13, -3, -11, 8, -8, -2, 7, 8, 14, 7, -13, 0, 10, -9, 12, 1, 8, 3, -8, 0, 22, 16, -8, 3, -12, 1, 28, 8, 9, 24, -2, -8, 16, 6, 3, 13, 33, -8, 5, 9, 2, 8, 8, -8, 42, 13, -7, 0, 12, 0, 1, 8, 9, -3, 22, -1, 39, 31, -3, -9, 57, 0, 17, 8, -16, 13, -18, -3, 62, -11, -1, 8, 14, -8, 14, -2, -24, 7, -15, 8, 1, 14, -6, 7, 5, -13, 24, 0, 8, 10, 33, -9, 38, 12, -8, 1, 0, 8, 45, 3, -13, -8, -37, 0, 23, 22, 0, 16, 36, -8, -20, 3, 3, -12, 64, 1, 32, 28, -31, 8, -17, 9, -22, 24, 0, -2, -39, -8, 30, 16, -13, 6, 28, 3, -45, 13, 11, 33, 0, -8, 19, 5, 8, 9, 10, 2, 31, 8, -7, 8, -4, -8, 16, 42, -14, 13, -36, -7, -8, 0, 13, 12, -12, 0, 49, 1, -10, 8, 14, 9, -10, -3, -12, 22, 37, -1, 56, 39, -8, 31, -97, -3, 28, -9, 8, 57, -29, 0, 3, 17, -22, 8, -2, -16, -32, 13, 8, -18, -20, -3, 22, 62, 12, -11, 21, -1, 47, 8, -28, 14, 86, -8, 73, 14, -9, -2, -30, -24, -87, 7, 2, -15, -62, 8, 6, 1, -16, 14, 10, -6, 7, 7, -3, 5, 9, -13, 6, 24, -33, 0, -37, 8, -17, 10, -5, 33, -64, -9, 42, 38, -2, 12, -5, -8, 3, 1, -8, 0, 22, 8, 6, 45, -42, 3, 34, -13, 76, -8, 7, -37, -61, 0, -3, 23, -12, 22, -15, 0, -30, 16, -1, 36, 58, -8, 17, -20, -9, 3, -36, 3, -19, -12, -22, 64, -80, 1, -90, 32, -39, 28, -14, -31, 66, 8, 3, -17, -68, 9, -32, -22, -57, 24, 9, 0, 56, -2, -17, -39, -30, -8, 36, 30, 16, 16, -4, -13, 8, 6, 18, 28, -84, 3, 14, -45, -62, 13, -47, 11, -17, 33, 1, 0, -111, -8, 46, 19, -14, 5, 28, 8, 22, 9, -14, 10, -124, 2, -41, 31, 24, 8, -24, -7, 24, 8, 15, -4, -18, -8, -10, 16, -1, 42, 0, -14, -10, 13, 6, -36, 6, -7, 14, -8, -5, 0, 31, 13, -113, 12, -24, -12, -58, 0, -2, 49, -8, 1, -73, -10, -24, 8, -33, 14, -29, 9, -32, -10, -38, -3, 60, -12, -20, 22, 8, 37, -55, -1, 35, 56, 0, 39, -86, -8, 0, 31, -45, -97, 16, -3, 8, 28, 13, -9, -84, 8, -44, 57, 37, -29, -44, 0, 125, 3, -23, 17, -116, -22, -124, 8, 0, -2, -53, -16, -54, -32, -36, 13, -100, 8, -51, -18, 20, -20, 60, -3, 8, 22, -3, 62, 1, 12, -160, -11, -64, 21, -67, -1, 78, 47, -32, 8, 2, -28, -28, 14, 31, 86, 0, -8, 94, 73, 17, 14, -81, -9, -24, -2, 22, -30, -11, -24, 68, -87, 0, 7, -20, 2, -75, -15, 39, -62, 13, 8, 12, 6, -30, 1, -40, -16, 22, 14, 13, 10, -34, -6, 16, 7, -28, 7, -106, -3, -46, 5, 45, 9, 0, -13, -64, 6, -11, 24, -50, -33, -6, 0, 0, -37, 0, 8, 22, -17, -19, 10, 68, -5, 74, 33, -8, -64, 44, -9, 10, 42, -10, 38, -4, -2, -55, 12, -31, -5, -157, -8, 19, 3, 7, 1, -38, -8, 10, 0, 4, 22, -1, 8, -115, 6, -16, 45, 47, -42, -16, 3, 14, 34, -158, -13, 52, 76, 36, -8, -90, 7, 8, -37, 8, -61, -89, 0, 2, -3, -13, 23, 6, -12, 32, 22, 12, -15, 49, 0, 68, -30, -49, 16, 72, -1, 20, 36, 10, 58, -172, -8, -30, 17, -14, -20, 13, -9, -32, 3, 10, -36, 58, 3, 0, -19, 12, -12, -9, -22, 137, 64, -37, -80, -75, 1, -94, -90, -56, 32, 13, -39, -68, 28, 8, -14, -18, -31, -11, 66, 97, 8, 39, 3, 19, -17, -28, -68, -19, 9, 19, -32, -8, -22, 112, -57, -68, 24, 29, 9, -64, 0, 31, 56, -3, -2, 34, -17, 40, -39, 22, -30, -153, -8, -39, 36, 2, 30, -32, 16, -196, 16, 32, -4, -62, -13, 109, 8, -8, 6, -38, 18, -63, 28, 20, -84, -14, 3, 129, 14, -22, -45, 28, -62, -18, 13, -12, -47, -22, 11, -2, -17, -21, 33, -87, 1, -72, 0, -47, -111, -105, -8, 6, 46, 28, 19, -66, -14, 39, 5, -86, 28, 25, 8, 36, 22, -73, 9, -134, -14, -69, 10, 9, -124, -109, 2, 8, -41, 30, 31, 10, 24, -2, 8, 87, -24, 7, -7, 204, 24, -2, 8, -54, 15, -8, -4, 62, -18, -63, -8, 8, -10, -6, 16, 18, -1, -161, 42, 16, 0, 86, -14, -6, -10, -10, 13, -108, 6, -78, -36, -7, 6, 48, -7, 146, 14, 3, -8, 34, -5, 44, 0, -9, 31, -9, 13, -48, -113, -6, 12, -44, -24, -6, -12, 33, -58, -81, 0, -38, -2, 37, 49, -202, -8, 51, 1, 17, -73, -37, -10, -40, -24, 5, 8, -156, -33, -30, 14, 64, -29, -68, 9, 18, -32, -42, -10, -125, -38, 3, -3, 2, 60, 78, -12, -204, -20, 5, 22, -46, 8, -5, 37, -3, -55, -60, -1, 171, 35, 8, 56, 74, 0, -58, 39, -22, -86, -201, -8, -36, 0, -6, 31, -31, -45, 78, -97, 42, 16, 21, -3, -90, 8, -34, 28, 16, 13, 60, -9, -76, -84, 65, 8, 26, -44, -7, 57, -152, 37, 144, -29, 61, -44, -68, 0, 38, 125, 3, 3, 82, -23, -2, 17, 12, -116, -20, -22, -8, -124, 15, 8, 78, 0, 112, -2, 30, -53, -20, -16, 118, -54, 1, -32, -32, -36, -104, 13, -58, -100, -10, 8, 36, -51, -17, -18, 33, 20, -16, -20, 9, 60, -155, -3, -76, 8, 36, 22, -92, -3, 30, 62, 19, 1, -22, 12, 64, -160, 22, -11, 7, -64, -100, 21, 80, -67, -82, -1, 24, 78, 90, 47, -58, -32, 33, 8, 39, 2, -93, -28, 87, -28, 14, 14, -80, 31, 24, 86, -66, 0, 158, -8, 30, 94, -3, 73, -123, 17, 19, 14, 68, -81, -194, -9, 30, -24, 32, -2, 28, 22, 40, -30, 57, -11, 6, -24, 156, 68, -9, -87, 55, 0, 66, 7, -56, -20, 156, 2, 98, -75, 17, -15, 139, 39, -173, -62, 30, 13, -116, 8, 89, 12, -36, 6, -40, -30, 24, 1, -16, -40, 204, -16, 104, 22, 4, 14, 234, 13, 52, 10, -8, -34, 88, -6, 38, 16, -18, 7, -90, -28, 130, 7, 84, -106, -23, -3, 3, -46, -14, 5, -28, 45, 189, 9, 62, 0, -6, -13, -41, -64, 47, 6, 44, -11, -40, 24, 17, -50, 56, -33, 50, -6, -1, 0, 34, 0, 8, -37, 111, 0, 113, 8, -143, 22, -46, -17, -26, -19, -126, 10, 14, 68, -58, -5, 272, 74, -28, 33, 116, -8, 4, -64, -22, 44, 16, -9, 76, 10, 14, 42, 20, -10, 99, 38, 124, -4, 76, -2, 164, -55, 41, 12, 13, -31, 98, -5, -24, -157, -179, -8, -32, 19, 24, 3, -50, 7, -16, 1, -24, -38, 117, -8, 134, 10, -15, 0, 38, 4, -43, 22, 18, -1, -118, 8, 44, -115, 10, 6, 22, -16, 152, 45, 1, 47, 60, -42, 114, -16, 0, 3, 181, 14, 188, 34, 10, -158, 98, -13, 140, 52, -6, 76, -68, 36, -126, -8, -6, -90, -207, 7, 168, 8, -14, -37, -4, 8, 29, -61, 5, -89, 66, 0, 123, 2, -31, -3, -84, -13, -128, 23, 113, 6, 9, -12, -3, 32, 24, 22, -189, 12, 24, -15, 58, 49, -130, 0, 89, 68, 2, -30, 109, -49, 147, 16, 8, 72, 28, -1, 160, 20, 73, 36, -103, 10, -124, 58, 24, -172, -44, -8, 116, -30, 33, 17, 121, -14, -25, -20, 29, 13, 31, -9, -58, -32, 32, 3, 21, 10, 104, -36, 38, 58, 77, 3, -58, 0, -60, -19, 6, 12, 40, -12, 20, -9, -16, -22, 106, 137, -8, 64, 102, -37, -16, -80, 55, -75, -26, 1, 42, -94, -35, -90, 53, -56, -64, 32, 0, 13, 33, -39, 226, -68, 86, 28, -56, 8, 126, -14, 0, -18, -46, -31, -160, -11, 45, 66, 64, 97, -82, 8, -16, 39, 64, 3, -66, 19, -8, -17, 88, -28, 179, -68, -13, -19, 12, 9, -31, 19, 84, -32, 58, -8, 13, -22, 44, 112, -25, -57, 94, -68, -37, 24, -134, 29, 80, 9, 44, -64, -82, 0, 200, 31, -125, 56, 263, -3, 61, -2, 23, 34, -52, -17, 64, 40, 116, -39, -328, 22, 56, -30, 124, -153, 45, -8, 8, -39, 0, 36, -11, 2, -30, 30, 53, -32, -22, 16, 222, -196, 54, 16, -4, 32, 70, -4, 36, -62, 254, -13, -48, 109, 100, 8, 114, -8, -124, 6, 51, -38, -60, 18, 34, -63, -20, 28, -40, 20, -79, -84, -60, -14, 5, 3, 143, 129, -8, 14, 36, -22, 66, -45, 3, 28, 13, -62, 10, -18, -1, 13, -179, -12, 16, -47, 160, -22, 20, 11, 65, -2, 64, -17, 40, -21, -46, 33, 67, -87, -1, 1, 54, -72, -78, 0, -51, -47, -56, -111, 32, -105, -164, -8, 7, 6, -2, 46, -100, 28, -225, 19, 28, -66, 156, -14, -22, 39, -31, 5, -40, -86, 183, 28, 0, 25, 84, 8, 167, 36, -94, 22, -22, -73, 172, 9, -17, -134, 62, -14, 61, -69, 81, 10, 178, 9, -4, -124, 24, -109, 14, 2, -19, 8, -22, -41, -29, 30, -140, 31, 11, 10, 44, 24, 41, -2, -68, 8, 12, 87, -38, -24, 0, 7, 80, -7, -159, 204, 20, 24, 56, -2, -3, 8, 75, -54, 98, 15, 138, -8, -39, -4, 26, 62, 210, -18, -13, -63, 64, -8, 82, 8, -12, -10, 186, -6, -138, 16, 30, 18, -64, -1, -245, -161, 40, 42, -41, 16, -230, 0, -22, 86, -94, -14, -256, -6, -13, -10, 20, -10, 22, 13, 34, -108, -50, 6, -220, -78, -16, -36, 31, -7, 10, 6, 28, 48, 8, -7, -164, 146, 106, 14, -158, 3, 30, -8, 46, 34, 82, -5, 106, 44, -45, 0, 231, -9, -84, 31, 0, -9, -230, 13, -41, -48, 64, -113, -109, -6, -22, 12, 11, -44, -116, -24, -33, -6, 50, -12, 12, 33, -100, -58, 6, -81, 99, 0, 186, -38, 0, -2, -109, 37, -104, 49, 0, -202, 228, -8, -55, 51, -22, 1, 120, 17, 32, -73, 19, -37, -42, -10, 62, -40, -68, -24, 64, 5, 60, 8, -74, -156, 54, -33, 50, -30, 8, 14, 286, 64, -92, -29, -44, -68, -8, 9, 30, 18, -10, -32, -76, -42, -204, -10, 10, -125, 92, -38, 13, 3, 4, -3, -138, 2, -103, 60, 55, 78, -14, -12, 74, -204, 31, -20, 8, 5, -106, 22, 157, -46, 22, 8, -8, -5, -19, 37, 20, -3, -92, -55, -7, -60, 58, -1, -158, 171, 38, 35, -244, 8, 82, 56, -10, 74, 116, 0, 282, -58, -4, 39, -115, -22, -136, -86, 1, -201, -11, -8, -156, -36, 115, 0, -49, -6, 12, 31, 16, -31, 22, -45, -94, 78, -47, -97, 18, 42, 18, 16, 16, 21, 52, -3, 156, -90, -14, 8, 4, -34, -142, 28, 158, 16, -35, 13, 130, 60, -52, -9, -164, -76, -20, -84, -36, 65, -78, 8, 59, 26, 90, -44, -83, -7, -54, 57, -8, -152, 266, 37, -43, 144, -8, -29, -9, 61, 94, -44, 89, -68, 31, 0, -210, 38, -2, 125, -26, 3, -58, 3, 13, 82, -48, -23, -256, -2, -6, 17, 112, 12, 183, -116, -32, -20, 262, -22, -42, -8, -12, -124, -134, 15, -12, 8, -49, 78, -168, 0, -16, 112, -68, -2, -2, 30, 7, -53, 49, -20, 241, -16, -62, 118, -72, -54, -14, 1, 40, -32, -20, -32, -30, -36, -149, -104, -10, 13, 93, -58, -72, -100, 172, -10, -84, 8, -10, 36, 30, -51, 28, -17, -94, -18, 14, 33, 50, 20, -131, -16, -13, -20, -75, 9, 70, 60, 32, -155, 71, -3, 50, -76, -10, 8, 14, 36, 89, 22, -58, -92, 66, -3, 42, 30, 0, 62, 149, 19, 114, 1, -12, -22, 98, 12, -6, 64, 9, -160, 70, 22, -16, -11, -137, 7, -14, -64, 106, -100, 37, 21, 54, 80, -176, -67, 75, -82, -206, -1, 37, 24, 94, 78, 144, 90, -284, 47, 56, -58, 257, -32, -44, 33, -13, 8, 134, 39, 109, 2, 68, -93, 55, -28, -2, 87, -8, -28, -51, 14, 52, 14, 18, -80, -134, 31, 15, 24, 11, 86, -41, -66, 266, 0, -97, 158, 257, -8, 54, 30, -39, 94, 193, -3, -232, 73, -19, -123, -144, 17, -16, 19, 28, 14, -96, 68, -278, -81, 19, -194, 16, -9, 10, 30, -19, -24, 44, 32, 118, -2, 8, 28, 4, 22, 167, 40, -112, -30, 44, 57, 64, -11, 68, 6, 259, -24, -113, 156, -29, 68, -78, -9, -204, -87, 64, 55, 206, 0, -138, 66, -31, 7, 78, -56, -168, -20, 3, 156, 136, 2, 138, 98, -34, -75, -80, 17, -15, -15, -40, 139, 12, 39, -140, -173, -22, -62, -167, 30, -2, 13, 153, -116, 182, 8, -243, 89, 39, 12, -195, -36, 61, 6, -2, -40, 54, -30, -216, 24, 32, 1, -115, -16, 33, -40, 196, 204, 8, -16, 48, 104, -32, 22, -22, 4, -79, 14, 62, 234, -30, 13, 136, 52, -109, 10, 190, -8, -37, -34, 8, 88, -77, -6, -98, 38, 38, 16, 42, -18, -148, 7, 63, -90, 192, -28, 4, 130, -20, 7, 5, 84, 48, -106, 14, -23, 86, -3, 47, 3, -129, -46, -13, -14, 5, 5, 22, -28, 592, 45, -90, 189, -28, 9, 3, 62, -11, 0, 18, -6, -11, -13, -12, -41, 12, -64, 163, 47, -8, 6, 22, 44, 54, -11, 146, -40, 2, 24, 105, 17, 181, -50, 21, 56, 39, -33, -60, 50, 87, -6, 162, -1, -296, 0, 72, 34, -42, 0, 30, 8, 47, -37, -134, 111, -2, 0, 105, 113, -72, 8, -180, -143, -6, 22, -98, -46, 186, -17, -28, -26, 36, -19, 8, -126, 66, 10, 22, 14, -253, 68, -39, -58, -116, -5, 62, 272, 86, 74, 86, -28, -45, 33, -25, 116, 153, -8, 114, 4, -36, -64, -202, -22, -196, 44, 73, 16, -96, -9, 80, 76, 134, 10, 13, 14, 45, 42, 69, 20, 42, -10, 16, 99, -9, 38, 124, 124, 184, -4, 109, 76, 145, -2, 174, 164, -8, -55, 246, 41, -30, 12, -30, 13, 250, -31, 174, 98, -10, -5, -144, -24, 34, -157, 2, -179, 168, -8, 92, -32, -87, 19, -98, 24, -141, 3, -7, -50, 328, 7, -59, -16, -204, 1, 372, -24, 236, -38, 2, 117, -48, -8, -254, 134, 54, 10, 62, -15, -74, 0, 8, 38, -40, 4, -12, -43, -62, 22, 196, 18, 23, -1, 63, -118, -35, 8, -87, 44, -8, -115, 64, 10, 12, 6, 6, 22, -60, -16, -376, 152, -18, 45, -169, 1, -116, 47, 161, 60, 99, -42, -54, 114, -16, -16, 54, 0, -254, 3, -86, 181, 75, 14, 167, 188, 6, 34, -53, 10, -50, -158, 10, 98, 28, -13, -36, 140, 108, 52, 1, -6, -103, 76, 78, -68, 390, 36, 252, -126, 7, -8, -59, -6, -76, -90, -48, -207, 47, 7, -43, 168, -146, 8, 12, -14, 128, -37, -3, -4, -58, 8, -126, 29, -34, -61, -210, 5, 22, -89, -44, 66, 113, 0, -137, 123, 9, 2, 384, -31, -117, -3, 9, -84, 280, -13, -62, -128, 48, 23, -56, 113, -125, 6, 6, 9, -149, -12, 106, -3, 44, 32, -152, 24, -248, 22, 6, -189, 136, 12, -16, 24, -33, -15, 282, 58, 69, 49, 81, -130, 56, 0, 22, 89, 38, 68, 38, 2, -33, -30, -37, 109, -97, -49, 87, 147, 202, 16, -33, 8, -2, 72, -51, 28, 260, -1, 47, 160, -17, 20, -186, 73, 28, 36, 37, -103, -170, 10, 288, -124, 40, 58, 113, 24, -310, -172, -5, -44, 39, -8, -277, 116, 156, -30, -118, 33, -70, 17, 30, 121, 272, -14, 52, -25, -64, -20, 111, 29, 190, 13, 68, 31, -208, -9, -96, -58, -18, -32, 16, 32, -187, 3, 42, 21, 125, 10, 114, 104, 125, -36, 256, 38, -116, 58, -3, 77, -10, 3, 189, -58, -2, 0, 44, -60, -46, -19, -78, 6, -194, 12, -154, 40, 204, -12, -184, 20, 234, -9, -5, -16, -237, -22, -299, 106, 46, 137, -28, -8, 30, 64, 5, 102, 352, -37, -76, -16, 3, -80, 74, 55, 57, -75, 60, -26, -16, 1, -226, 42, -171, -94, 216, -35, 22, -90, -8, 53, -101, -56, 418, -64, -74, 32, -84, 0, -48, 13, 58, 33, -49, -39, 48, 226, 22, -68, 3, 86, -35, 28, 201, -56, -72, 8, -74, 126, 36, -14, 17, 0, 248, -18, 6, -46, 158, -31, 33, -160, 31, -11, 56, 45, -6, 66, -78, 64, 118, 97, 40, -82, -42, 8, -58, -16, -144, 39, -21, 64, -156, 3, -207, -66, 90, 19, -54, -8, -41, -17, 34, 88, 274, -28, -296, 179, -16, -68, -232, -13, -16, -19, -60, 12, 184, 9, 221, -31, 76, 19, 107, 84, 24, -32, -65, 58, 5, -8, 255, 13, -26, -22, 128, 44, -198, 112, 7, -25, 6, -57]