# Trace form for 4002.2.a.bf, downloaded from the LMFDB on 29 March 2024. [0, 6, -6, 6, 6, 3, -6, 2, -6, 6, -3, 7, 6, 3, -2, 3, 6, 8, -6, -4, 3, 2, -7, 6, -6, -3, -3, 6, 2, 6, -3, 1, -6, 7, -8, 18, 6, 7, 4, 3, -3, 13, -2, 0, 7, 3, -6, 22, 6, 8, 3, 8, 3, 10, -6, -5, -2, -4, -6, 17, 3, 1, -1, 2, 6, -7, -7, 3, 8, 6, -18, 11, -6, 0, -7, -3, -4, 0, -3, 2, 3, 6, -13, 16, 2, 4, 0, 6, -7, 16, -3, -28, 6, 1, -22, 32, -6, 2, -8, 7, -3, 19, -8, -17, -3, 18, -10, 34, 6, 14, 5, 7, 2, 28, 4, 3, 6, 3, -17, 34, -3, -29, -1, 13, 1, 9, -2, 5, -6, 0, 7, 26, 7, 10, -3, 3, -8, 14, -6, -12, 18, 22, -11, 7, 6, 3, 0, 8, 7, 5, 3, 34, 4, 8, 0, 9, 3, -6, -2, 10, -3, 2, -6, 13, 13, -5, -16, 29, -2, -21, -4, -4, 0, 32, -6, 16, 7, 17, -16, -28, 3, -6, 28, 1, -6, -39, -1, -10, 22, 2, -32, 45, 6, 0, -2, -7, 8, 30, -7, -11, 3, 3, -19, 2, 8, 15, 17, 6, 3, 6, -18, 39, 10, 11, -34, 0, -6, -4, -14, 0, -5, -6, -7, 2, -2, -3, -28, 2, -4, -45, -3, 0, -6, 30, -3, -6, 17, 2, -34, -5, 3, -30, 29, 6, 1, 21, -13, -42, -1, 16, -9, 39, 2, 7, -5, 4, 6, -2, 0, -34, -7, 6, -26, 28, -7, 22, -10, 16, 3, 49, -3, 35, 8, -28, -14, -12, 6, -61, 12, 1, -18, 0, -22, 31, 11, 32, -7, 18, -6, 0, -3, 2, 0, 70, -8, -51, -7, 7, -5, 3, -3, -18, -34, 19, -4, -25, -8, -7, 0, -17, -9, 42, -3, -44, 6, 18, 2, -13, -10, 7, 3, 34, -2, -46, 6, -10, -13, 14, -13, 14, 5, -10, 16, 7, -29, -7, 2, 53, 21, 28, 4, -21, 4, -2, 0, 3, -32, 30, 6, 53, -16, 3, -7, 10, -17, 31, 16, 34, 28, 0, -3, -4, 6, -29, -28, 34, -1, 0, 6, 13, 39, -8, 1, -32, 10, 9, -22, 3, -2, -40, 32, 5, -45, 68, -6, 68, 0, 0, 2, 28, 7, 8, -8, 26, -30, 52, 7, 0, 11, 10, -3, -21, -3, 25, 19, 3, -2, 41, -8, 14, -15, 14, -17, -34, -6, -26, -3, -12, -6, 26, 18, 3, -39, 22, -10, -4, -11, 68, 34, 7, 0, 24, 6, -98, 4, 3, 14, -4, 0, 20, 5, 8, 6, 24, 7, 8, -2, 5, 2, 13, 3, -65, 28, 34, -2, 20, 4, 92, 45, 8, 3, -5, 0, 38, 6, 9, -30, 51, 3, -76, 6, -6, -17, -30, -2, 36, 34, 10, 5, -31, -3, -25, 30, 2, -29, 18, -6, 0, -1, 13, -21, -40, 13, 8, 42, -5, 1, 64, -16, 38, 9, 29, -39, 60, -2, 1, -7, -21, 5, -52, -4, 36, -6, -4, 2, -17, 0, 32, 34, 32, 7, 8, -6, 3, 26, 16, -28, 102, 7, 6, -22, 17, 10, 17, -16, 0, -3, -28, -49, 31, 3, 38, -35, -6, -8, -10, 28, 56, 14, 1, 12, -4, -6, -96, 61, -39, -12, 49, -1, -30, 18, -10, 0, -79, 22, 48, -31, 2, -11, 12, -32, -99, 7, 45, -18, -3, 6, 12, 0, 0, 3, -44, -2, 50, 0, -7, -70, 54, 8, -26, 51, 30, 7, 6, -7, -34, 5, -11, -3, -30, 3, -38, 18, 3, 34, -40, -19, 4, 4, 2, 25, 32, 8, 58, 7, 15, 0, 8, 17, -50, 9, 6, -42, 68, 3, -108, 44, 6, -6, -72, -18, 45, -2, 39, 13, 45, 10, 67, -7, 11, -3, 6, -34, -58, 2, 0, 46, -25, -6, -19, 10, -4, 13, -115, -14, -38, 13, 0, -14, 92, -5, -72, 10, -6, -16, 22, -7, 6, 29, 2, 7, 41, -2, -22, -53, -3, -21, 14, -28, 52, -4, 2, 21, -43, -4, 58, 2, -45, 0, -58, -3, 14, 32, 0, -30, -108, -6, 56, -53, 30, 16, -15, -3, 8, 7, -6, -10, -64, 17, -102, -31, 2, -16, 1, -34, -5, -28, -5, 0, -71, 3, 2, 4, -30, -6, -3, 29, -64, 28, 6, -34, -2, 1, -55, 0, 21, -6, -45, -13, 5, -39, -42, 8, 25, -1, -23, 32, 16, -10, -26, -9, -76, 22, 39, -3, -34, 2, 75, 40, 7, -32, -44, -5, -16, 45, 4, -68, -1, 6, -91, -68, -2, 0, -18, 0, 8, -2, -34, -28, -96, -7, -23, -8, 6, 8, -88, -26, 5, 30, 28, -52, 34, -7, -105, 0, 22, -11, 58, -10, 10, 3, 16, 21, 34, 3, 18, -25, 49, -19, -67, -3, -78, 2, 35, -41, 49, 8, 18, -14, -28, 15, -108, -14, -55, 17, -12, 34, -47, 6, -22, 26, -61, 3, -38, 12, -79, 6, 1, -26, -49, -18, 6, -3, 0, 39, -70, -22, -38, 10, 31, 4, 7, 11, 58, -68, 32, -34, -60, -7, 46, 0, 18, -24, 1, -6, -18, 98, 0, -4, -60, -3, 93, -14, 2, 4, -82, 0, -4, -20, 70, -5, -96, -8, -122, -6, -51, -24, 0, -7, -64, -8, 7, 2, -70, -5, -48, -2, 3, -13, 1, -3, -68, 65, -18, -28, -122, -34, 86, 2, 19, -20, 3, -4, 34, -92, -25, -45, -4, -8, -33, -3, -7, 5, -109, 0, -46, -38, -17, -6, -58, -9, -22, 30, 42, -51, 46, -3, -140, 76, -44, -6, 1, 6, 13, 17, 18, 30, -98, 2, -38, -36, -13, -34, -84, -10, -37, -5, 7, 31, -64, 3, 19, 25, 34, -30, -102, -2, 36, 29, -46, -18, -91, 6, -152, 0, -10, 1, -69, -13, 104, 21, 14, 40, -45, -13, -172, -8, 14, -42, 0, 5, -18, -1, -10, -64, -31, 16, 68, -38, 7, -9, -32, -29, -20, 39, -7, -60, 140, 2, -72, -1, 53, 7, -112, 21, 18, -5, 28, 52, 20, 4, -164, -36, -21, 6, 2, 4, 64, -2, -2, 17, -184, 0, 110, -32, 3, -34, 74, -32, -70, -7, 30, -8, -74, 6, -14, -3, 53, -26, 23, -16, 38, 28, 3, -102, -57, -7, -66, -6, 10, 22, -12, -17, -24, -10, 31, -17, -86, 16, -120, 0, 34, 3, 7, 28, 0, 49, 0, -31, 86, -3, 22, -38, -4, 35, -104, 6, 23, 8, -29, 10, 41, -28, 37, -56, 34, -14, -34, -1, -82, -12, 0, 4, 24, 6, 82, 96, 13, -61, -115, 39, -33, 12, -8, -49, -118, 1, 92, 30, -32, -18, -120, 10, -32, 0, 9, 79, 8, -22, -22, -48, 3, 31, -125, -2, -16, 11, -40, -12, 42, 32, -42, 99, 5, -7, 37, -45, -141, 18, 68, 3, 64, -6, 3, -12, 68, 0, 16, 0, 26, -3, 0, 44, 184, 2, 32, -50, 28, 0, -216, 7, 0, 70, 8, -54, -28, -8, 34, 26, 26, -51, -4, -30, -138, -7, 52, -6, 67, 7, 13, 34, 0, -5, -132, 11, 23, 3, 10, 30, -42, -3, 5, 38, -21, -18, -100, -3, 54, -34, 25, 40, 78, 19, -8, -4, 3, -4, 80, -2, 10, -25, 41, -32, -13, -8, 13, -58, 14, -7, -126, -15, 14, 0, 14, -8, 30, -17, -12, 50, -34, -9, -120, -6, -6, 42, -26, -68, 0, -3, -138, 108, -12, -44, -140, -6, 79, 6, 26, 72, 44, 18, -126, -45, 3, 2, -5, -39, -4, -13, 22, -45, -11, -10, -82, -67, -4, 7, 92, -11, 118, 3, 68, -6, -107, 34, 84, 58, 7, -2, -56, 0, 15, -46, 24, 25, 34, 6, -88, 19, -98, -10, -102, 4, 22, -13, 3, 115, -88, 14, 72, 38, -4, -13, 73, 0, -54, 14, 20, -92, 4, 5, -28, 72, 8, -10, 12, 6, 196, 16, 24, -22, -51, 7, 2, -6, 8, -29, -30, -2, -75, -7, 5, -41, -204, 2, -69, 22, 13, 53, 62, 3, -48, 21, -65, -14, 43, 28, 17, -52, 34, 4, -97, -2, 22, -21, 20, 43, 68, 4, -19, -58, 92, -2, 29, 45, 53, 0, 8, 58, -78, 3, 24, -14, -5, -32, -39, 0, 104, 30, 38, 108, -50, 6, 152, -56, 9, 53, 43, -30, -73, -16, 51, 15, 1, 3, 102, -8, -76, -7, -77, 6, 52, 10, -6, 64, 109, -17, -114, 102, -30, 31, 8, -2, -36, 16, 36, -1, -48, 34, 108, 5, 10, 28, 2, 5, -42, 0, -31, 71, 186, -3, 74, -2, -25, -4, -85, 30, 50, 6, 2, 3, -63, -29, -40, 64, 18, -28, -76, -6, -46, 34, 0, 2, 72, -1, 52, 55, 13, 0, -66, -21, 62, 6, -40, 45, -68, 13, 10, -5, 8, 39, -114, 42, 21, -8, -5, -25, 120, 1, -53, 23, 64, -32, 96, -16, -7, 10, 38, 26, -5, 9, 72, 76, 29, -22, -94, -39, 26, 3, 60, 34, 122, -2, 16, -75, 1, -40, -51, -7, -59, 32, -21, 44, -40, 5, -26, 16, -52, -45, -56, -4, 136, 68, 36, 1, -131, -6, 10, 91, -4, 68, 3, 2, -74, 0, -17, 18, 136, 0, 130, -8, 32, 2, -58, 34, 174, 28, 32, 96, 88, 7, 64, 23, 8, 8, -90, -6, 162, -8, 3, 88, 20, 26, -20, -5, 16, -30, -92, -28, -37, 52, 102, -34, 39, 7, -15, 105, 6, 0, -222, -22, 32, 11, 17, -58, -5, 10, 112, -10, 17, -3, 99, -16, 66, -21, 0, -34, 52, -3, -77, -18, -28, 25, 88, -49, 62, 19, 31, 67, -89, 3, -62, 78, 38, -2, 47, -35, 164, 41, -6, -49, 64, -8, 11, -18, -10, 14, 34, 28, 57, -15, 56, 108, -66, 14, 126, 55, 1, -17, 40, 12, 49, -34, -4, 47, -158, -6, 77, 22, -96, -26, -40, 61, -4, -3, -39, 38, -108, -12, -3, 79, 49, -6, -116, -1, -10, 26, -30, 49, 0, 18, 85, -6, -10, 3, 1, 0, 78, -39, -79, 70, 4, 22, -17, 38, 48, -10, -70, -31, -10, -4, 2, -7, 46, -11, 15, -58, 12, 68, -8, -32, 17, 34, -99, 60, 50, 7, -18, -46, 45, 0, -6, -18, 102, 24, -3, -1, 146, 6, 88, 18, 12, -98, -62, 0, 66, 4, 0, 60, 58, 3, 73, -93, -44, 14, 35, -2, 46, -4, 50, 82, 24, 0, -74, 4, -7, 20, 80, -70, -90, 5, 54, 96, 56, 8, -12, 122, -26, 6, 1, 51, 0, 24, 30, 0, 20, 7, 68, 64, 6, 8, 118, -7, 36, -2, -34, 70, 178, 5, 92, 48, -11, 2, -11, -3, 34, 13, -30, -1, -4, 3, -7, 68, -38, -65, -155, 18, 184, 28, 3, 122, -34, 34, -39, -86, -40, -2, 2, -19, -38, 20, 4, -3, -55, 4, 34, -34, 2, 92, -161, 25, 186, 45, 32, 4, 34, 8, 103, 33, 58, 3, -82, 7, 20, -5, 15, 109, 278, 0, -180, 46, 8, 38, -16, 17, 64, 6, -50, 58, 36, 9, 104, 22, 6, -30, -16, -42, 86, 51, 68, -46, 34, 3, 102, 140, -108, -76, 84, 44, 90, 6, 6, -1, -228, -6, -7, -13, -72, -17, 44, -18, -1, -30, 45, 98, 48, -2, 116, 38, 39, 36, 130, 13, 20, 34, 45, 84, 182, 10, 16, 37, 67, 5, -218, -7, 136, -31, 11, 64, -78, -3, 86, -19, 6, -25, 68, -34, 110, 30, -58, 102, -48, 2, 100, -36, 0, -29, -77, 46, -208, 18, -25, 91, 3, -6, 14, 152, -19, 0, -79, 10, -46, -1, -4, 69, 4, 13, -52, -104, -115, -21, 122, -14, 112, -40, -38, 45, 52, 13, -84, 172, 0, 8, -20, -14, 50, 42, 92, 0, 9, -5, 0, 18, -72, 1, 34, 10, 42, 64, -6, 31, -2, -16, 47, -68, 22, 38, -75, -7, -58, 9, 6, 32, -86, 29, -19, 20, 2, -39, 27, 7, 6, 60, 41, -140, 157, -2, 46, 72, -22, 1, -34, -53, 116, -7, -3, 112, 32, -21, -154, -18, 14, 5, 42, -28, -107, -52, 52, -20, 60, -4, 106, 164, 2, 36, 24, 21, 16, -6, -43, -2, 152, -4, -64, -64, 58, 2, -58, 2, 11, -17, -45, 184, 87, 0, -34, -110, -58, 32, 2, -3, 40, 34, 14, -74, -42, 32, 165, 70, 0, 7, -181, -30, 62, 8, -108, 74, 44, -6, -52, 14, 56, 3, -28, -53, 64, 26, 30, -23, -96, 16, 103, -38, -15, -28, 61, -3, -94, 102, 8, 57, -11, 7, -36, 66, -6, 6, 0, -10, 79, -22, -64, 12, -58, 17, 12, 24, -102, 10, 99, -31, -50, 17, 2, 86, 0, -16, -144, 120, 1, 0, 138, -34, -16, -3, -5, -7, 66, -28, 44, 0, -5, -49, 124, 0, 12, 31, -71, -86, 6, 3, 77, -22, 2, 38, -202, 4, 142, -35, -30, 104, 125, -6, -170, -23, -3, -8, 226, 29, 49, -10, -64, -41, 191, 28, 32, -37, 6, 56, -37, -34, -66, 14, -2, 34, 44, 1, 111, 82, -55, 12, -25, 0, -20, -4, 21, -24, 165, -6, -120, -82, -45, -96, -51, -13, -192, 61, 5, 115, -120, -39, 94, 33, -42, -12, -8, 8, -4, 49, 25, 118, 2, -1, 0, -92, -23, -30, -78, 32, 156, 18, 16, 120, 26, -10, 151, 32, -26, 0, -184, -9, 180, -79, -76, -8, 27, 22, 85, 22, 39, 48, -218, -3, -210, -31, -34, 125, 194, 2, -140, 16, 75, -11, -74, 40, 48, 12, 7, -42, 36, -32, -22, 42, -44, -99, -22, -5, 77, 7, -16, -37, 2, 45, 80, 141, 4, -18, -103, -68, 62, -3, -1, -64, 104, 6, -147, -3, -91, 12, 11, -68, 65, 0, -2, -16, 138, 0, -122, -26, -18, 3, 123, 0, 19, -44, 8, -184, -124, -2, 8, -32, -34, 50, -188, -28, 119, 0, -96, 216, -18, -7, 84, 0, -23, -70, -140, -8, 71, 54, 6, 28, -57, 8, 46, -34, -88, -26, -18, -26, 92, 51, 5, 4, 12, 30, -66, 138, 28, 7, -17, -52, 82, 6, 34, -67, -176, -7, 169, -13, -105, -34, 181, 0, 97, 5, 22, 132, 104, -11, -166, -23, 58, -3, 25, -10, 27, -30, 10, 42, 181, 3, -146, -5, 16, -38, -89, 21, 16, 18, 34, 100, 112, 3, 138, -54, 18, 34, 93, -25, 265, -40, 49, -78, 43, -19, 16, 8, -67, 4, 42, -3, -30, 4, -78, -80, -204, 2, 182, -10, 35, 25, 34, -41, -120, 32, 49, 13, 132, 8, -180, -13, 18, 58, 14, -14, 48, 7, -28, 126, 12, 15, 34, -14, -108, 0, 4, -14, -17, 8, -55, -30, 156, 17, 126, 12, -12, -50, 12, 34, -109, 9, -47, 120, 125, 6, -36, 6, -22, -42, -96, 26, -40, 68, -61, 0, -134, 3, 30, 138, -38, -108, -149, 12, 133, 44, -79, 140, 14, 6, -18, -79, 1, -6, -46, -26, 30, -72, -49, -44, -7, -18, -14, 126, 6, 45, -18, -3, 20, -2, 0, 5, 110, 39, -36, 4, -70, 13, 88, -22, -302, 45, -38, 11, 180, 10, 178, 82, 31, 67, -38, 4, -39, -7, 7, -92, 188, 11, -31, -118, 58, -3, -2, -68, 24, 6, 32, 107, 194, -34, -72, -84, -60, -58, 110, -7, 0, 2, 46, 56, -144, 0, 16, -15, 18, 46, 16, -24, 21, -25, 1, -34, 211, -6, 51, 88, -18, -19, -54, 98, 28, 10, 0, 102, 60, -4, 106, -22, -60, 13, -99, -3, 16, -115, 93, 88, 129, -14, 46, -72, 2, -38, -102, 4, -2, 13, -82, -73, 37, 0, 73, 54, -4, -14, -149, -20, 102, 92, 70, -4, -28, -5, -280, 28, -96, -72, 3, -8, 81, 10, -122, -12, -30, -6, 240, -196, -51, -16, 243, -24, -134, 22, 0, 51, 53, -7, -119, -2, -64, 6, -206, -8, 172, 29, 7, 30, -34, 2, -128, 75, -70, 7, 16, -5, 14, 41, -48, 204, -73, -2, 35, 69, 3, -22, -230, -13, 75, -53, 1, -62, 60, -3, 90, 48, -68, -21, 36, 65, -169, 14, -18, -43, -147, -28, -56, -17, -122, 52, -106, -34, -62, -4, 86, 97, -116, 2, -24, -22, 19, 21, 146, -20, -255, -43, 3, -68, 28, -4, 34, 19, 34, 58, -44, -92, 9, 2, -25, -29, 117, -45, -53, -53, -4, 0, -117, -8, 32, -58, -33, 78, -48, -3, 61, -24, -7, 14, 20, 5, 186, 32, -109, 39, -156, 0, 174, -104, -46, -30, -147, -38, -84, -108, -17, 50, -29, -6, -171, -152, -58, 56, 30, -9, 208, -53, -22, -43, 2, 30, 108, 73, 42, 16, 197, -51, -54, -15, 46, -1, -32, -3, -42, -102, -140, 8, 2, 76, -167, 7, -44, 77, -23, -6, 216, -52, 1, -10, 20, 6, -100, -64, 13, -109, 152, 17, -9, 114, 18, -102, -138, 30, -106, -31, -98, -8, 144, 2, 244, 36, -38, -16, -176, -36, 302, 1, -13, 48, 95, -34, -73, -108, -84, -5, -120, -10, -144, -28, -37, -2, -28, -5, -222, 42, 7, 0, -250, 31, 9, -71, -64, -186, 152, 3, 34, -74, 19, 2, -198, 25, -82, 4, 34, 85, -33, -30, 12, -50, -102, -6, -104, -2, -134, -3, 36, 63, 7, 29, 12, 40, -46, -64, -323, -18, 83, 28, -91, 76, -94, 6, -176, 46, -152, -34, 5, 0, 44, -2, -10, -72, -146, 1, 19, -52, -69, -55, 174, -13, 78, 0, 104, 66, 20, 21, 102, -62, 14, -6, -30, 40, 220, -45, -45, 68, 106, -13, -165, -10, -172, 5, -16, -8, 141, -39, 14, 114, 20, -42, 20, -21, 0, 8, -94, 5, 48, 25, -18, -120, -68, -1, -81, 53, -10, -23, -71, -64, -42, 32, -31, -96, -17, 16, -147, 7, 68, -10, -50, -38, -134, -26, 7, 5, 16, -9]