# Trace form for 8470.2.a.db, downloaded from the LMFDB on 19 April 2024.
[0, 6, 6, -1, 6, 6, -1, -6, 6, -1, 6, 0, -1, -6, -6, -1, 6, -21, -1, 3, 6, 1, 0, -10, -1, 6, -6, -4, -6, -10, -1, -4, 6, 0, -21, -6, -1, -2, 3, -26, 6, -7, 1, -19, 0, -1, -10, 10, -1, 6, 6, 4, -6, -16, -4, 0, -6, -16, -10, -3, -1, 8, -4, 1, 6, -6, 0, -27, -21, 4, -6, 4, -1, -13, -2, -1, 3, 0, -26, -14, 6, -14, -7, -51, 1, -21, -19, -8, 0, 1, -1, 6, -10, 4, 10, 3, -1, 7, 6, 0, 6, -28, 4, -18, -6, 1, -16, -9, -4, -44, 0, -34, -6, 11, -16, -10, -10, 20, -3, 21, -1, 0, 8, -33, -4, 6, 1, -22, 6, 3, -6, 5, 0, -3, -27, -4, -21, -25, 4, 40, -6, 20, 4, 0, -1, -10, -13, -1, -2, -44, -1, 16, 3, -38, 0, -4, -26, 42, -14, 14, 6, 10, -14, -11, -7, 0, -51, -8, 1, 14, -21, 12, -19, -16, -8, -6, 0, -8, 1, -17, -1, -8, 6, 2, -10, -2, 4, 0, 10, 4, 3, -18, -1, -12, 7, -26, 6, -18, 0, -26, 6, 38, -28, 10, 4, -7, -18, -32, -6, 0, 1, -13, -16, 54, -9, -19, -4, 4, -44, 5, 0, -30, -34, 14, -6, -1, 11, -25, -16, 4, -10, 0, -10, -67, 20, 10, -3, -38, 21, -26, -1, -5, 0, -18, 8, 6, -33, -38, -4, 33, 6, 44, 1, 0, -22, 4, 6, 7, 3, 2, -6, 14, 5, -54, 0, -16, -3, 3, -27, 42, -4, 64, -21, 26, -25, 0, 4, -44, 40, -38, -6, -55, 20, -24, 4, -16, 0, 7, -1, 63, -10, 9, -13, -56, -1, -3, -2, 0, -44, 32, -1, 19, 16, -54, 3, 8, -38, -7, 0, -4, -4, 36, -26, -33, 42, 1, -14, 16, 14, 0, 6, 43, 10, 43, -14, -6, -11, 70, -7, -10, 0, -21, -51, 30, -8, -27, 1, -41, 14, -20, -21, 0, 12, -6, -19, 4, -16, 3, -8, 24, -6, 42, 0, 39, -8, 4, 1, -4, -17, -32, -1, 7, -8, 0, 6, -13, 2, -40, -10, 61, -2, 16, 4, 6, 0, -1, 10, 6, 4, -27, 3, 6, -18, -10, -1, 0, -12, -27, 7, -14, -26, 42, 6, 52, -18, -14, 0, 36, -26, 16, 6, 23, 38, -14, -28, -14, 10, 0, 4, 64, -7, -25, -18, 3, -32, -51, -6, 10, 0, -91, 1, 60, -13, 24, -16, -21, 54, -8, -9, 0, -19, -6, -4, -33, 4, -8, -44, -62, 5, -26, 0, -1, -30, -1, -34, 1, 14, 60, -6, -41, -1, 0, 11, -16, -25, 6, -16, -75, 4, 51, -10, 42, 0, -30, -10, 4, -67, 34, 20, 27, 10, -34, -3, 0, -38, 3, 21, -58, -26, -20, -1, 124, -5, -4, 0, 7, -18, 38, 8, -114, 6, -91, -33, 46, -38, 0, -4, -4, 33, -11, 6, 58, 44, -70, 1, -28, 0, 11, -22, 38, 4, 13, 6, -37, 7, -18, 3, 0, 2, 0, -6, 31, 14, -73, 5, 1, -54, 64, 0, -22, -16, 0, -3, 118, 3, -9, -27, 126, 42, 0, -4, -18, 64, 110, -21, -44, 26, -27, -25, -44, 0, 24, 4, 14, -44, -34, 40, -84, -38, -20, -6, 0, -55, -89, 20, 11, -24, 14, 4, 43, -16, -32, 0, 68, 7, -10, -1, 73, 63, -10, -10, 51, 9, 0, -13, 20, -56, -29, -1, -18, -3, -116, -2, -79, 0, 21, -44, -38, 32, -42, -1, 13, 19, 34, 16, 0, -54, 40, 3, 8, 8, -4, -38, 46, -7, -33, 0, 43, -4, -85, -4, 66, 36, -1, -26, 6, -33, 0, 42, -76, 1, 10, -14, -77, 16, -22, 14, -6, 0, -42, 6, 79, 43, -59, 10, 3, 43, 56, -14, 0, -6, -4, -11, 70, 70, 5, -7, 47, -10, -3, 0, 38, -21, 164, -51, -3, 30, -112, -8, -60, -27, 0, 1, -85, -41, -4, 14, 32, -20, -7, -21, 116, 0, 32, 12, -25, -6, 102, -19, -50, 4, 31, -16, 0, 3, 40, -8, -78, 24, -43, -6, -86, 42, -68, 0, 20, 39, 28, -8, -64, 4, 44, 1, 60, -4, 0, -17, -18, -32, 32, -1, 18, 7, 68, -8, -10, 0, -20, 6, -1, -13, 136, 2, -22, -40, -1, -10, 0, 61, 57, -2, 22, 16, -76, 4, -44, 6, -45, 0, 9, -1, -28, 10, 28, 6, 16, 4, 0, -27, 0, 3, 69, 6, 44, -18, -38, -10, 16, -1, 56, 0, 127, -12, 100, -27, -4, 7, 34, -14, 6, -26, 0, 42, 8, 6, 42, 52, -107, -18, 66, -14, -11, 0, 18, 36, 14, -26, 76, 16, -110, 6, 133, 23, 0, 38, 10, -14, -84, -28, 43, -14, 7, 10, -20, 0, -11, 4, 34, 64, -20, -7, 12, -25, -26, -18, 0, 3, -83, -32, 80, -51, 132, -6, -21, 10, -8, 0, 62, -91, -86, 1, 130, 60, -7, -13, 14, 24, 0, -16, 112, -21, 76, 54, -2, -8, 12, -9, -41, 0, -53, -19, 33, -6, -16, -4, -16, -33, -28, 4, 0, -8, -60, -44, 101, -62, -6, 5, 30, -26, -82, 0, 97, -1, -47, -30, -8, -1, 6, -34, 22, 1, 0, 14, -58, 60, -17, -6, 24, -41, -40, -1, 160, 0, -3, 11, -8, -16, -51, -25, 68, 6, 40, -16, 0, -75, 2, 4, -5, 51, 8, -10, 25, 42, -126, 0, -2, -30, 20, -10, 91, 4, 3, -67, -42, 34, 0, 20, 47, 27, 10, 10, -4, -34, -20, -3, 4, 0, 1, -38, 34, 3, 38, 21, -99, -58, -18, -26, 0, -20, 25, -1, -118, 124, -25, -5, -12, -4, -48, 0, 101, 7, 28, -18, -40, 38, -26, 8, -66, -114, 0, 6, 16, -91, 206, -33, -18, 46, -20, -38, 96, 0, 88, -4, 79, -4, -26, 33, -54, -11, 54, 6, 0, 58, 15, 44, 38, -70, 18, 1, 19, -28, -8, 0, 94, 11, 10, -22, 26, 38, -81, 4, 108, 13, 0, 6, -7, -37, 4, 7, 1, -18, 44, 3, -57, 0, -32, 2, -18, 0, -48, -6, 92, 31, 44, 14, 0, -73, 90, 5, 6, 1, -19, -54, 0, 64, -13, 0, -16, -22, -142, -16, 84, 0, -2, -3, 54, 118, 0, 3, 56, -9, 38, -27, -102, 126, -19, 42, 140, 0, -28, -4, 20, -18, -112, 64, 4, 110, -76, -21, 0, -44, 172, 26, 72, -27, 5, -25, 44, -44, -42, 0, -58, 24, -8, 4, -30, 14, -39, -44, 86, -34, 0, 40, -14, -84, 14, -38, 146, -20, -76, -6, 31, 0, -49, -55, -1, -89, -10, 20, -49, 11, 142, -24, 0, 14, -25, 4, 161, 43, 85, -16, 11, -32, 114, 0, 4, 68, -2, 7, 108, -10, 6, -1, -33, 73, 0, 63, 60, -10, -164, -10, 39, 51, -9, 9, -67, 0, -54, -13, 8, 20, -85, -56, 2, -29, 10, -1, 0, -18, 64, -3, 12, -116, -14, -2, -38, -79, -14, 0, 30, 21, -134, -44, 124, -38, -26, 32, -12, -42, 0, -1, 29, 13, -9, 19, -5, 34, 40, 16, 38, 0, 16, -54, -92, 40, -18, 3, -94, 8, -28, 8, 0, -4, -64, -38, 6, 46, -10, -7, -168, -33, 142, 0, -65, 43, -38, -4, 26, -85, 8, -4, -26, 66, 0, 36, 33, -1, -112, -26, -3, 6, 68, -33, 17, 0, 44, 42, -35, -76, -125, 1, 20, 10, 8, -14, 0, -77, 8, 16, -62, -22, -106, 14, 21, -6, 4, 0, 50, -42, -4, 6, -2, 79, 35, 43, 7, -59, 0, 10, -104, 3, 1, 43, -28, 56, 2, -14, 57, 0, 4, -6, -14, -4, -112, -11, 14, 70, -47, 70, 0, 5, 190, -7, 168, 47, -54, -10, -10, -3, -48, 0, 41, 38, -4, -21, -16, 164, 88, -51, 27, -3, 0, 30, 80, -112, 3, -8, 18, -60, 26, -27, 8, 0, 98, 1, 42, -85, 30, -41, 26, -4, 12, 14, 0, 32, 64, -20, -94, -7, -86, -21, 35, 116, -140, 0, 26, 32, -154, 12, -2, -25, 15, -6, -102, 102, 0, -19, 182, -50, 18, 4, 66, 31, 16, -16, -44, 0, -50, 3, 152, 40, 48, -8, 26, -78, -38, 24, 0, -43, 156, -6, -24, -86, 100, 42, -55, -68, -38, 0, -32, 20, 262, 39, 24, 28, -24, -8, 22, -64, 0, 4, -10, 44, 38, 1, -16, 60, 88, -4, 32, 0, 66, -17, 195, -18, 7, -32, 88, 32, -94, -1, 0, 18, -84, 7, 63, 68, 46, -8, 32, -10, 219, 0, 82, -20, 9, 6, -24, -1, 65, -13, 162, 136, 0, 2, -56, -22, 8, -40, -158, -1, 38, -10, -75, 0, -3, 61, 13, 57, -54, -2, 52, 22, 7, 16, 0, -76, -34, 4, 143, -44, -54, 6, 22, -45, 32, 0, -91, 9, -281, -1, 206, -28, 18, 10, 19, 28, 0, 6, -14, 16, 38, 4, -204, 0, -54, -27, 124, 0, -4, 3, -43, 69, -13, 6, 8, 44, -10, -18, 0, -38, 121, -10, -5, 16, -7, -1, 236, 56, 106, 0, 34, 127, 70, -12, -4, 100, 30, -27, -28, -4, 0, 7, -169, 34, 36, -14, -12, 6, 86, -26, -14, 0, -24, 42, -33, 8, -26, 6, 28, 42, -5, 52, 0, -107, 1, -18, -4, 66, 90, -14, -32, -11, -190, 0, 16, 18, -109, 36, 25, 14, 4, -26, -9, 76, 0, 16, 2, -110, -6, 6, 92, 133, -4, 23, 43, 0, -52, 38, -93, 10, -52, -14, 2, -84, 43, -28, 0, 43, 181, -14, 108, 7, 4, 10, -6, -20, -107, 0, 68, -11, 67, 4, -108, 34, 70, 64, -48, -20, 0, -7, -52, 12, 44, -25, -10, -26, 166, -18, -174, 0, 0, 3, -120, -83, -21, -32, 251, 80, 38, -51, 0, 132, 98, -6, 30, -21, 166, 10, 110, -8, 234, 0, 26, 62, -27, -91, 76, -86, -92, 1, 71, 130, 0, 60, -41, -7, 5, -13, 121, 14, -46, 24, 66, 0, -20, -16, 16, 112, -213, -21, 18, 76, -114, 54, 0, -2, 132, -8, -70, 12, 238, -9, -32, -41, -6, 0, 12, -53, -58, -19, 203, 33, 43, -6, 4, -16, 0, -4, 38, -16, -200, -33, 10, -28, 3, 4, 152, 0, 60, -8, 68, -60, -33, -44, 24, 101, -35, -62, 0, -6, 52, 5, 207, 30, 42, -26, -44, -82, 116, 0, 108, 97, -85, -1, 39, -47, 130, -30, -50, -8, 0, -1, 28, 6, 4, -34, 57, 22, -50, 1, 110, 0, -80, 14, -4, -58, -5, 60, 128, -17, 120, -6, 0, 24, -32, -41, 26, -40, -7, -1, 41, 160, -25, 0, 7, -3, -118, 11, -93, -8, 220, -16, -2, -51, 0, -25, 32, 68, -64, 6, -96, 40, -42, -16, -13, 0, -14, -75, -72, 2, 166, 4, -148, -5, -40, 51, 0, 8, -16, -10, 54, 25, 16, 42, 61, -126, 204, 0, -53, -2, 64, -30, 42, 20, 16, -10, 76, 91, 0, 4, 48, 3, 44, -67, 6, -42, 35, 34, -3, 0, -128, 20, 43, 47, -1, 27, -30, 10, -130, 10, 0, -4, -42, -34, 6, -20, 254, -3, -52, 4, 154, 0, 86, 1, -27, -38, -64, 34, 27, 3, 86, 38, 0, 21, 6, -99, 49, -58, 208, -18, -26, -26, 139, 0, -10, -20, -82, 25, 4, -1, 117, -118, -129, 124, 0, -25, 8, -5, -61, -12, -29, -4, -104, -48, -27, 0, 120, 101, 44, 7, -174, 28, -88, -18, -14, -40, 0, 38, -114, -26, 82, 8, 38, -66, 42, -114, -10, 0, -126, 6, -176, 16, 14, -91, 52, 206, 55, -33, 0, -18, -25, 46, 62, -20, -14, -38, 98, 96, -21, 0, 24, 88, -230, -4, 36, 79, 107, -4, 22, -26, 0, 33, -161, -54, 16, -11, -126, 54, 72, 6, 84, 0, -9, 58, 23, 15, -120, 44, -7, 38, -39, -70, 0, 18, -14, 1, -175, 19, -48, -28, -28, -8, -63, 0, -14, 94, -41, 11, -46, 10, 66, -22, -250, 26, 0, 38, -9, -81, -82, 4, 112, 108, 16, 13, 64, 0, -184, 6, 88, -7, 56, -37, -40, 4, -25, 7, 0, 1, 196, -18, -172, 44, 28, 3, 3, -57, 234, 0, 114, -32, -140, 2, -88, -18, -51, 0, 18, -48, 0, -6, -129, 92, 179, 31, 10, 44, -42, 14, -117, 0, 229, -73, -32, 90, -91, 5, 173, 6, 13, 1, 0, -19, 108, -54, 60, 0, -19, 64, 62, -13, 40, 0, -7, -16, 24, -22, 254, -142, 244, -16, 54, 84, 0, 0, -21, -2, -108, -3, 1, 54, -17, 118, -74, 0, -8, 3, 65, 56, -64, -9, 16, 38, 50, -27, 0, -102, 295, 126, 7, -19, 82, 42, -97, 140, -6, 0, -202, -28, -16, -4, 19, 20, 4, -18, -33, -112, 0, 64, -180, 4, -2, 110, -98, -76, -8, -21, -36, 0, 84, -44, 120, 172, -98, 26, -62, 72, 211, -27, 0, 5, 33, -25, 29, 44, -26, -44, 78, -42, 12, 0, -52, -58, 104, 24, -1, -8, -22, 4, -134, -30, 0, 14, -196, -39, -1, -44, 176, 86, -16, -34, 148, 0, 202, 40, 1, -14, -79, -84, 32, 14, -36, -38, 0, 146, 60, -20, 86, -76, -20, -6, 47, 31, -141, 0, -41, -49, -43, -55, -16, -1, 109, -89, -20, -10, 0, 20, 124, -49, -16, 11, -43, 142, -58, -24, -16, 0, 12, 14, 10, -25, -50, 4, 37, 161, 6, 43, 0, 85, 6, -16, -27, 11, -130, -32, -75, 114, -132, 0, -70, 4, -214, 68, 164, -2, 51, 7, -157, 108, 0, -10, 134, 6, 10, -1, 42, -33, 58, 73, -68, 0, 20, 63, -123, 60, -30, -10, 21, -164, -98, -10, 0, 39, 52, 51, 4, -9, -134, 9, 130, -67, -30, 0, -88, -54, 34, -13, -125, 8, -132, 20, 78, -85, 0, -56, 27, 2, -104, -29, 32, 10, 18, -1, -132, 0, -34, -18, -56, 64, 41, -3, 24, 12, -170, -116, 0, -14, 40, -2, 92, -38, 127, -79, 20, -14, 3, 0, -87, 30, -96, 21, 32, -134, 110, -44, -58, 124, 0, -38, 38, -26, -70, 32, -165, -12, -20, -42, -58, 0, 80, -1, 6, 29, -161, 13, 124, -9, -186, 19, 0, -5, -169, 34, 64, 40, -4, 16, 169, 38, 144, 0, 62, 16, -150, -54, 7, -92, -40, 40, -3, -18, 0, 3, 63, -94, 38, 8, 68, -28, -46, 8, 62, 0, -24, -4, -114, -64, -28, -38, -18, 6, 141, 46, 0, -10, -91, -7, -42, -168, -137, -33, 136, 142, -46, 0, 46, -65, 86, 43, 42, -38, -39, -4, -137, 26, 0, -85, -194, 8, -42, -4, 38, -26, -106, 66, -4, 0, -156, 36, 99, 33, -180, -1, -132, -112, -11, -26, 0, -3, 4, 6, -338, 68, 230, -33, 58, 17, 64, 0, 152, 44, 64, 42, 32, -35, -70, -76, -202, -125, 0, 1, 223, 20, 51, 10, -28, 8, -7, -14, -3, 0, 45, -77, -28, 8, 11, 16, -140, -62, 104, -22, 0, -106, 142, 14, 38, 21, 84, -6, 4, 4, -28, 0, 20, 50, 13, -42, -88, -4, -2, 6, 108, -2, 0, 79, -37, 35, 24, 43, 40, 7, -165, -59, 134, 0, -18, 10, -88, -104, 31, 3, 228, 1, -61, 43, 0, -28, -58, 56, -164, 2, -8, -14, 77, 57, 0, 0, -16, 4, -206, -6, 180, -14, -110, -4, 31, -112, 0, -11, 27, 14, -6, 70, 18, -47, -73, 70, -91, 0, -187, 5, -166, 190, 40, -7, 1, 168, -286, 47, 0, -54, 180, -10, -253, -10, 64, -3, 42, -48, -6, 0, 64, 41, 47, 38, -22, -4, -64, -21, 41, -16, 0, 164, 27, 88, 0, -51, 36, 27, 123, -3, 142, 0, 56, 30, 118, 80, -6, -112, -278, 3, 112, -8, 0, 18, -9, -60, 144, 26, -2, -27, 10, 8, 41, 0, 126, 98, -110, 1, 29, 42, -124, -85, 68, 30, 0, -41, -42, 26, -133, -4, -26, 12, -200, 14, -18, 0, -116, 32, 27, 64, -142, -20, 70, -94, 110, -7, 0, -86, 154, -21, 54, 35, 14, 116, -44, -140, 32, 0, -137, 26, -81, 32, -112, -154, -27, 12, -42, -2, 0, -25, -164, 15, 114, -6, -44, -102, -76, 102, -54, 0, -52, -19, -301, 182, 24, -50, 102, 18, -180, 4, 0, 66, -87, 31, 14, 16, -84, -16, 132, -44, 31, 0, -122, -50, -34, 3, -27, 152, -36, 40, 16, 48, 0, -8, -84, 26, 16, -78, 30, -38, 32, 24, -16, 0, -20, -43, 82, 156, -106, -6, -113, -24, 136, -86, 0, 100, -23, 42, 22, -55, 50, -68, -188, -38, -89, 0, -44, -32, 105, 20, 14, 262, 52, 39, 11, 24, 0, 28, 98, -24, -324, -8, -131, 22, 14, -64, 70, 0, -92, 4, -150, -10, 32, 44, 43, 38, 60, 1, 0, -16, -67, 60, -6, 88, -32, -4, 19, 32, -293, 0, 2, 66, -64, -17, 68, 195, 48, -18, -122, 7, 0, -32, -49, 88, -10, 32, 25, -94, -10, -1, 172, 0, -15, 18, 73, -84, -50, 7, 73, 63, -3, 68, 0, 46, -10, -8, -31, 32, 162, -10, -72, 219, -232, 0, 51, 82, -261, -20, 54, 9, -26, 6, -146, -24, 0, -1, -52, 65, -10, -13, -44, 162, 50, 136, 20, 0, -26, 2, 6, -56, 50, -22, 91, 8, -29, -40, 0, -158, -193, -1, 108, 38, -90, -10, -18, -75, -60, 0, -8, -3, -96, 61, -131, 13, -116, 57, 224, -54, 0, -2, -24, 52, -37, 22, -79, 7, 6, 16, 13, 0, -75, -76, 38, -34, 21, 4, -206, 143, -71, -44, 0, -54, -38, 6, -38, 22, -144, -45, 8, 32, 54, 0, 51, -91, -42, 9, -48, -281, 4, -1, -13, 206, 0, -28, 13, 18, -124, 10, -43, 19, -58, 28, -202, 0, 34, 6, 6, -14, 98, 16, 66, 38, -90, 4, 0, -204, -23, 0, 126, -54, 33, -27, -66, 124, 40, 0, -156, -4, -112, 3, 15, -43, 19, 69, 8, -13, 0, 6, -219, 8, -105, 44, -126, -10, -4, -18, 75, 0, 62, -38, -96, 121, -186, -10, 46, -5, -255, 16, 0, -7, 0, -1, 26, 236, -33, 56, -116, 106, 74, 0, 4, 34, 129, 127, 43, 70, 1, -12, 73, -4, 0, 100, -68, 30, -85, -27, -17, -28, -208, -4, 1, 0, -72, 7, 66, -169, 70, 34, 62, 36, -46, -14, 0, -12, -1, 6, -124, 86, 124, -26, -175, -14, -186, 0, 6, -24, 200, 42, -60, -33, -42, 8, -10, -26, 0, 6, 46, 28, -135, 42, 126, -5, 41, 52, -76, 0, 56, -107, 70, 1, 80, -18, -307, -4, 10, 66, 0, 90, 60, -14, 72, -32, -40, -11, -77, -190, -102, 0, 9]