# Trace form for 8470.2.a.dc, downloaded from the LMFDB on 24 April 2024.
[0, 6, 6, -1, 6, 6, -1, -6, 6, 3, 6, 0, -1, 9, -6, -1, 6, 9, 3, 12, 6, 1, 0, 4, -1, 6, 9, -4, -6, 15, -1, 8, 6, 0, 9, -6, 3, -4, 12, -19, 6, 4, 1, 30, 0, 3, 4, -7, -1, 6, 6, 16, 9, -6, -4, 0, -6, -14, 15, 4, -1, -14, 8, -3, 6, 9, 0, 18, 9, -10, -6, 23, 3, 23, -4, -1, 12, 0, -19, 21, 6, -18, 4, 25, 1, 9, 30, 14, 0, -18, 3, -9, 4, -24, -7, 12, -1, 7, 6, 0, 6, 16, 16, -7, 9, 1, -6, 46, -4, -30, 0, -12, -6, 12, -14, 4, 15, 19, 4, -9, -1, 0, -14, 44, 8, 6, -3, -8, 6, 0, 9, 10, 0, -12, 18, -4, 9, 2, -10, 24, -6, 0, 23, 0, 3, 15, 23, -1, -4, 29, -1, 11, 12, 60, 0, 8, -19, -15, 21, 6, 6, -4, -18, -2, 4, 0, 25, 20, 1, -27, 9, 44, 30, 7, 14, -6, 0, -16, -18, 31, 3, -10, -9, 62, 4, -4, -24, 0, -7, 4, 12, 11, -1, 16, 7, -19, 6, 32, 0, 6, 6, 6, 16, -15, 16, 4, -7, 22, 9, 0, 1, 5, -6, -37, 46, 30, -4, -8, -30, 24, 0, -4, -12, 70, -6, 3, 12, 67, -14, 2, 4, 0, 15, -16, 19, -7, 4, -17, -9, -1, -1, -32, 0, -28, -14, 6, 44, 34, 8, 23, 6, 10, -3, 0, -8, 16, 6, -61, 0, 4, 9, -28, 10, 40, 0, -6, -12, 48, 18, -8, -4, -16, 9, 19, 2, 0, -10, 32, 24, 44, -6, -50, 0, 41, 23, -14, 0, -4, 3, 79, 15, 68, 23, -18, -1, 4, -4, 0, 29, 54, -1, -30, 11, -66, 12, -14, 60, -11, 0, -38, 8, 6, -19, -24, -15, -3, 21, -14, 6, 0, 6, 26, -4, 42, -18, 9, -2, 12, 4, 7, 0, 37, 25, 8, 20, 18, 1, 36, -27, -48, 9, 0, 44, -6, 30, -10, 7, 0, 14, -32, -6, -27, 0, -25, -16, 23, -18, -16, 31, -41, 3, -16, -10, 0, -9, 23, 62, -71, 4, -50, -4, 6, -24, 82, 0, -1, -7, -22, 4, 55, 12, 20, 11, -67, -1, 0, 16, 54, 7, -3, -19, -62, 6, 66, 32, 21, 0, 5, 6, 14, 6, -13, 6, 20, 16, -18, -15, 0, 16, 54, 4, -98, -7, -4, 22, 25, 9, -32, 0, -58, 1, -27, 5, -14, -6, 9, -37, 14, 46, 0, 30, 51, -4, -11, -8, 14, -30, 88, 24, -116, 0, 3, -4, 2, -12, -18, 70, -61, -6, -43, 3, 0, 12, -14, 67, -9, -14, -22, 2, -45, 4, 60, 0, 28, 15, -24, -16, -19, 19, -18, -7, 16, 4, 0, -17, 12, -9, -34, -1, -12, -1, -8, -32, 10, 0, 7, -28, 82, -14, 32, 6, 56, 44, -23, 34, 0, 8, -23, 23, 39, 6, -74, 10, -1, -3, 16, 0, -59, -8, -6, 16, -23, 6, -74, -61, -7, 0, 0, 4, 61, 9, -64, -28, 21, 10, 1, 40, 84, 0, 62, -6, 86, -12, -68, 48, 46, 18, 0, -8, 0, -4, -29, -16, 2, 9, -30, 19, 42, 2, -50, 0, -24, -10, -21, 32, -12, 24, -16, 44, 110, -6, 0, -50, 73, 0, 12, 41, 18, 23, 1, -14, -43, 0, -77, -4, 4, 3, -23, 79, -108, 15, -25, 68, 0, 23, 19, -18, -31, -1, 26, 4, -80, -4, 31, 0, -9, 29, 80, 54, 89, -1, -68, -30, -24, 11, 0, -66, 39, 12, -14, -14, -52, 60, 138, -11, 44, 0, -34, -38, -38, 8, -112, 6, 18, -19, 6, -24, 0, -15, 76, -3, -157, 21, 63, -14, -8, 6, 9, 0, 5, 6, -31, 26, -83, -4, 0, 42, -95, -18, 0, 9, 24, -2, 86, 12, 10, 4, 0, 7, 85, 0, -136, 37, -25, 25, -12, 8, -58, 20, -34, 18, 0, 1, 56, 36, -4, -27, -11, -48, -7, 9, 29, 0, -30, 44, 2, -6, 66, 30, 36, -10, -6, 7, 0, 0, 24, 14, -70, -32, -2, -6, -12, -27, 2, 0, 0, -25, -16, -16, 1, 23, -27, -18, -64, -16, 0, 31, -25, -41, -4, 3, 7, -16, 48, -10, 15, 0, 95, -9, -21, 23, 40, 62, -41, -71, -1, 4, 0, -50, 6, -4, -124, 6, 126, -24, 29, 82, -97, 0, -46, -1, 33, -7, -170, -22, 11, 4, -20, 55, 0, 12, -126, 20, 30, 11, 60, -67, 72, -1, -22, 0, -72, 16, -125, 54, 8, 7, 12, -3, 2, -19, 0, -62, 43, 6, -15, 66, 51, 32, -66, 21, -12, 0, -40, 5, 6, 6, -17, 14, 21, 6, -86, -13, 0, 6, -4, 20, 78, 16, 85, -18, -98, -15, 212, 0, -2, 16, 72, 54, -19, 4, -7, -98, -38, -7, 0, -4, 36, 22, -102, 25, -132, 9, 9, -32, 20, 0, 12, -58, 98, 1, -19, -27, 102, 5, -27, -14, 0, -6, 44, 9, -72, -37, 101, 14, 44, 46, -24, 0, 42, 30, -44, 51, 42, -4, 7, -11, 140, -8, 0, 14, -10, -30, -32, 88, -6, 24, 8, -116, -80, 0, -114, 3, -78, -4, -16, 2, -25, -12, 8, -18, 0, 70, -58, -61, 31, -6, -102, -43, 2, 3, -164, 0, 0, 12, -10, -14, 92, 67, 98, -9, -93, -14, 0, -22, 62, 2, -10, -45, -101, 4, -26, 60, 89, 0, -4, 28, -88, 15, -38, -24, 12, -16, -28, -19, 0, 19, 21, -18, 64, -7, 120, 16, 36, 4, 4, 0, -18, -17, -14, 12, -16, -9, 82, -34, 11, -1, 0, -12, -2, -1, -78, -8, -8, -32, 16, 10, -76, 0, -48, 7, -80, -28, -24, 82, -19, -14, 46, 32, 0, 6, -40, 56, -35, 44, 32, -23, 0, 34, 136, 0, -79, 8, -25, -23, 6, 23, -35, 39, 40, 6, 0, -74, 20, 10, 6, -1, -40, -3, 85, 16, -96, 0, -85, -59, -15, -8, 26, -6, 19, 16, -22, -23, 0, 6, 4, -74, -33, -61, 1, -7, -33, 0, 52, 0, 22, 4, -92, 61, 116, 9, -142, -64, -29, -28, 0, 21, 18, 10, -36, 1, -55, 40, 32, 84, 5, 0, -11, 62, 79, -6, -10, 86, -29, -12, -37, -68, 0, 48, -102, 46, -60, 18, -78, 0, 30, -8, -135, 0, -49, -4, -142, -29, -161, -16, -8, 2, 104, 9, 0, -30, 54, 19, -10, 42, 24, 2, 75, -50, 15, 0, -27, -24, -162, -10, -4, -21, -12, 32, -168, -12, 0, 24, -6, -16, 70, 44, 38, 110, 8, -6, 90, 0, -10, -50, 3, 73, 4, 0, -91, 12, -27, 41, 0, 18, 67, 23, -44, 1, -16, -14, 2, -43, -24, 0, 2, -77, 52, -4, 101, 4, 106, 3, 11, -23, 0, 79, -92, -108, -22, 15, -122, -25, 62, 68, -16, 0, -23, 23, -20, 19, -55, -18, -48, -31, -7, -1, 0, 26, 84, 4, -98, -80, 27, -4, -17, 31, -20, 0, 136, -9, -89, 29, -99, 80, -1, 54, -44, 89, 0, -1, 15, -68, 58, -30, -32, -24, 60, 11, -98, 0, -7, -66, 32, 39, -28, 12, -27, -14, 132, -14, 0, -52, 43, 60, 6, 138, -104, -11, 26, 44, -88, 0, 60, -34, 34, -38, -69, -38, 16, 8, 33, -112, 0, 6, 23, 18, 16, -19, -52, 6, -108, -24, -31, 0, 10, -15, -18, 76, 74, -3, -42, -157, -141, 21, 0, 63, 10, -14, 85, -8, -108, 6, 92, 9, 16, 0, -49, 5, 2, 6, -62, -31, -8, 26, -61, -83, 0, -4, 195, 0, 0, 42, 132, -95, 4, -18, 50, 0, 213, 9, -66, 24, 66, -2, -28, 86, -95, 12, 0, 10, -176, 4, 164, 0, 40, 7, -16, 85, 0, 0, 44, -136, -4, 37, -6, -25, 56, 25, 144, -12, 0, 8, 16, -58, 48, 20, -11, -34, -8, 18, 73, 0, -34, 1, -8, 56, -57, 36, 14, -4, -16, -27, 0, -11, -16, -48, 160, -7, -52, 9, -16, 29, 57, 0, 19, -30, 66, 44, -82, 2, -184, -6, -40, 66, 0, 30, -246, 36, -32, -10, -32, -6, -68, 7, 32, 0, 54, 0, -42, 24, 28, 14, -6, -70, 44, -32, 0, -2, -48, -6, -149, -12, 140, -27, -50, 2, -6, 0, 9, 0, -56, -25, -110, -16, 41, -16, 54, 1, 0, 23, 15, -27, 160, -18, -14, -64, -52, -16, -71, 0, -38, 31, -29, -25, -4, -41, -196, -4, 56, 3, 0, 7, 70, -16, 79, 48, -86, -10, -22, 15, -59, 0, -138, 95, 68, -9, 50, -21, 26, 23, 4, 40, 0, 62, -18, -41, 54, -71, -14, -1, -81, 4, 28, 0, 4, -50, -5, 6, 109, -4, 83, -124, 45, 6, 0, 126, 143, -24, 40, 29, 37, 82, -14, -97, 54, 0, 48, -46, -57, -1, -8, 33, 42, -7, -30, -170, 0, -22, -99, 11, -14, 4, 8, -20, -66, 55, -116, 0, 8, 12, 127, -126, 48, 20, -14, 30, 62, 11, 0, 60, -228, -67, -24, 72, -11, -1, 16, -22, -8, 0, 84, -72, -123, 16, -38, -125, 4, 54, -5, 8, 0, 7, -105, 12, 6, -3, -121, 2, -78, -19, -70, 0, 102, -62, -24, 43, 6, 6, -88, -15, 96, 66, 0, 51, -3, 32, -46, -66, -67, 21, -44, -12, 134, 0, -14, -40, -221, 5, -67, 6, -104, 6, -150, -17, 0, 14, -72, 21, 38, 6, -48, -86, -2, -13, 26, 0, 44, 6, 74, -4, 24, 20, 134, 78, 42, 16, 0, 85, -73, -18, -143, -98, -109, -15, 9, 212, -151, 0, -150, -2, 16, 16, -38, 72, 12, 54, -7, -19, 0, 4, -10, -7, -112, -98, 7, -38, -82, -7, -87, 0, -98, -4, 132, 36, 37, 22, -132, -102, 17, 25, 0, -132, -24, 9, 8, 9, 16, -32, -42, 20, -270, 0, 1, 12, 18, -58, -162, 98, 18, 1, 64, -19, 0, -27, 36, 102, 32, 5, -186, -27, -162, -14, 143, 0, -48, -6, -335, 44, 20, 9, 28, -72, -58, -37, 0, 101, -300, 14, 130, 44, -50, 46, 72, -24, -6, 0, 114, 42, 53, 30, 42, -44, 102, 51, -10, 42, 0, -4, -34, 7, 48, -11, -4, 140, 0, -8, 12, 0, 34, 14, -152, -10, -23, -30, -32, -32, 52, 88, 0, -6, -53, 24, 131, 8, -27, -116, -10, -80, -75, 0, -137, -114, -68, 3, -25, -78, -122, -4, -18, -16, 0, 2, -40, -25, 23, -12, -35, 8, -120, -18, 96, 0, 63, 70, -16, -58, 102, -61, -5, 31, -60, -6, 0, -102, -41, -43, -130, 2, 61, 3, 17, -164, -160, 0, -16, 0, 120, 12, -24, -10, 162, -14, -4, 92, 0, 67, -122, 98, 210, -9, -40, -93, 99, -14, 23, 0, 28, -22, 26, 62, -117, 2, 35, -10, -71, -45, 0, -101, -100, 4, -40, -26, -70, 60, -50, 89, -35, 0, 132, -4, 34, 28, -94, -88, 6, 15, 146, -38, 0, -24, -216, 12, 164, -16, 82, -28, -108, -19, -48, 0, 186, 19, -200, 21, -1, -18, 0, 64, 64, -7, 0, 120, 8, 16, -22, 36, -96, 4, 198, 4, -196, 0, 68, -18, 55, -17, 16, -14, -233, 12, -167, -16, 0, -9, 20, 82, -74, -34, -110, 11, -19, -1, 70, 0, -67, -12, 51, -2, 132, -1, -60, -78, -55, -8, 0, -8, 8, -32, -189, 16, -36, 10, 96, -76, 54, 0, 97, -48, -32, 7, 110, -80, 40, -28, -3, -24, 0, 82, -116, -19, 60, -14, -44, 46, -62, 32, -190, 0, 236, 6, -160, -40, -112, 56, 66, -35, 50, 44, 0, 32, -33, -23, 33, 0, 21, 34, 149, 136, -120, 0, -41, -79, 116, 8, 5, -25, -77, -23, 111, 6, 0, 23, -44, -35, 14, 39, -80, 40, -86, 6, 64, 0, 14, -74, -13, 20, 158, 10, 4, 6, -39, -1, 0, -40, 20, -3, 84, 85, 80, 16, -148, -96, -79, 0, -18, -85, 68, -59, 2, -15, -90, -8, -56, 26, 0, -6, -68, 19, 49, 16, -138, -22, -23, -23, 54, 0, -200, 6, -150, 4, 18, -74, -42, -33, -98, -61, 0, 1, -58, -7, 46, -33, -21, 0, -4, 52, -8, 0, 67, 22, -200, 4, 106, -92, 25, 61, -54, 116, 0, 9, -63, -142, 90, -64, -32, -29, -22, -28, -202, 0, 114, 21, -54, 18, -58, 10, -48, -36, 168, 1, 0, -55, -12, 40, -27, 32, 30, 84, -34, 5, -237, 0, -8, -11, -14, 62, 125, 79, -48, -6, 66, -10, 0, 86, 9, -29, -5, -12, 81, -37, -32, -68, 105, 0, 14, 48, 284, -102, -64, 46, 178, -60, 2, 18, 0, -78, 194, 0, 11, 30, -75, -8, -114, -135, 51, 0, 126, -49, -16, -4, 48, -142, 38, -29, -11, -161, 0, -16, -114, -8, 52, 2, 58, 104, 14, 9, -6, 0, 229, -30, -171, 54, -102, 19, 88, -10, 153, 42, 0, 24, 24, 2, 212, 75, -116, -50, -42, 15, 137, 0, 84, -27, 111, -24, 3, -162, 58, -10, -155, -4, 0, -21, -10, -12, 2, 32, -72, -168, 14, -12, 145, 0, 232, 24, -18, -6, 288, -16, 204, 70, 26, 44, 0, 38, -61, 110, 46, 8, 16, -6, 129, 90, -13, 0, -43, -10, -26, -50, 49, 3, -34, 73, 100, 4, 0, 0, -108, -91, -10, 12, -42, -27, -10, 41, -14, 0, 116, 18, -159, 67, 20, 23, 99, -44, -9, 1, 0, -16, 150, -14, -86, 2, 118, -43, -22, -24, -240, 0, -12, 2, 222, -77, -56, 52, -45, -4, 40, 101, 0, 4, -230, 106, -7, 3, 60, 11, -66, -23, 106, 0, 139, 79, -80, -92, 28, -108, -37, -22, 5, 15, 0, -122, 144, -25, -24, 62, 6, 68, 10, -16, -8, 0, 194, -23, -19, 23, 212, -20, -67, 19, -26, -55, 0, -18, -18, -48, -26, -31, -50, -7, 38, -1, -36, 0, 16, 26, -144, 84, -36, 4, -103, -98, -188, -80, 0, 27, 22, -4, -286, -17, 58, 31, 48, -20, 12, 0, -50, 136, 158, -9, 91, -89, -39, 29, -34, -99, 0, 80, 55, -1, -209, 54, 141, -44, -12, 89, -25, 0, -82, -1, 6, 15, 138, -68, -8, 58, 206, -30, 0, -32, -4, -24, -16, 60, 10, 11, 190, -98, -62, 0, -138, -7, 156, -66, 7, 32, -37, 39, 0, -28, 0, 12, -116, -27, 82, -14, -52, 132, 20, -14, -48, 0, 32, -52, 32, 43, 142, 60, 72, 6, -176, 138, 0, -104, 56, -11, 27, 26, -230, 44, -248, -88, 56, 0, -23, 60, -140, -34, -172, 34, 25, -38, 176, -69, 0, -38, -85, 16, 10, 8, 234, 33, 47, -112, -23, 0, 52, 6, 42, 23, -96, 18, 28, 16, 39, -19, 0, -52, 16, 6, 210, -108, 116, -24, -74, -31, -28, 0, 100, 10, -108, -15, 41, -18, -1, 76, -56, 74, 0, -3, -139, -42, 124, -157, 16, -141, 16, 21, -36, 0, 93, 63, 30, 10, -59, -14, 232, 85, 56, -8, 0, -108, 74, 6, -6, 92, 122, 9, 21, 16, -60, 0, 136, -49, -23, 5, 42, 2, 101, 6, 132, -62, 0, -31, -74, -8, 5, 26, 71, -61, -212, -83, -40, 0, -7, -4, 34, 195, -66, 0, 22, 0, 50, 42, 0, 132, -94, -95, -16, 4, 135, -18, -21, 50, 61, 0, -6, 213, 152, 9, -72, -66, 66, 24, -64, 66, 0, -2, 4, -28, -82, 86, -4, -95, 21, 12, -65, 0, -49, 10, 62, -176, 22, 4, 1, 164, 128, 0, 0, 40, -16, 7, 184, -16, 84, 85, -128, 0, 22, 0, -112, 44, 90, -136, 62, -4, -34, 37, 4, -6, 0, -25, -55, 56, 86, 25, 16, 144, 164, -12, 54, 0, 57, 8, -68, 16, -20, -58, -87, 48, -163, 20, 0, -11, 46, -34, -129, -8, 110, 18, 67, 73, 140, 0, 0, -34, -66, 1, -73, -8, 238, 56, -181, -57, 0, 36, 50, 14, 160, -4, -66, -16, 66, -27, -29, 0, 93, -11, -54, -16, 321, -48, -146, 160, 2, -7, 0, -52, -16, 9, 88, -16, 3, 29, -30, 57, -104, 0, 144, 19, 17, -30, -142, 66, 42, 44, 62, -82, 0, 2, 117, -184, 21, -6, -50, -40, 178, 66, -196, 0, -66, 30, 264, -246, -24, 36, -86, -32, -52, -10, 0, -32, 234, -6, -21, -68, 2, 7, 16, 32, 22, 0, -104, 54, -12, 0, 139, -42, -5, 24, 269, 28, 0, 14, -16, -6, 176, -70, 116, 44, -144, -32, -14, 0, 110, -2, -88, -48, 68, -6, 98, -149, 67, -12, 0, 140, 13, -27, -22, -50, -99, 2, 233, -6, 73, 0, 62, 9, -38, 0, -20, -56, -226, -25, 12, -110, 0, -16, 64, 41, 156, -16, -20, 54, 18, 1, 186, 0, 38, 23, 138, 15, 236, -27, 1, 160, -63, -18, 0, -14, 149, -64, -4, -52, -43, -16, 24, -71, -24, 0, 88, -38, -54, 31, -77, -29, -114, -25, 132, -4, 0, -41, -6, -196, 4, -4, 98, 56, -96, 3, -44, 0, -89, 7, -23, 70, -93, -16, 106, 79, 4, 48, 0, -86, -108, -10, 101, -22, 132, 15, 14, -59, 221, 0, -25, -138, 150, 95, 101, 68, -240, -9, 90, 50, 0, -21, -87, 26, 32, 23, -80, 4, -60, 40, 19, 0, 70, 62, -250, -18, -94, -41, 58, 54, -31, -71, 0, -14, 2, -1, -78, -81, 42, 4, 26, 28, 27, 0, -150, 4, 165, -50, -103, -5, -80, 6, 14, 109, 0, -4, 14, 83, 142, -124, 31, 45, -304, 6, 77, 0, -52, 126, 313, 143, -9, -24, -76, 40, -25, 29, 0, 37, -60, 82, 80, -14, 27, -97, -14, 54, 176, 0, 180, 48, 89, -46, -92, -57, 18, -1, -118, -8, 0, 33, -68, 42, -106, -7, 32, -30, -101, -170, -108, 0, -24, -22, -51, -99, -3, 11, 38, -14, 65, 4, 0, 8, 122, -20, -160, -66, 11, 55, 30, -116, 39, 0, -167, 8, 99, 12, 50, 127, 127, -126, -14, 48, 0, 20, -157, -14, -54, 30, 134, 62, -52, 11, -36, 0, -88, 60, 223, -228, -162, -67, 138, -24, 322, 72, 0, -11, -20, -1, 116, 16, 44, -22, -344, -8, 34, 0, -120, 84, -33, -72, -34, -123, -3, 16, -75, -38, 0, -125, 135, 4, -38, 54, -44, -5, 90, 8, -2, 0, 142, 7, -112, -105, 89, 12, -69, 6, 178, -3, 0, -121, 18, 2, 62, -78, 75, -19, 52, -70, 144, 0, 6, 102, 128, -62, 61, -24, 108, 43, -186, 6, 0, 6, -76, -88, 58, -15, -158, 96, 43, 66, 76, 0, -76, 51, -54, -3, 8, 32, -300, -46, -157, -66, 0, -67, 47, 21, -134, -44, 207, -12, 63, 134, -65, 0, -64]