# Trace form for 8010.2.a.bn, downloaded from the LMFDB on 29 March 2024. [0, 7, 7, 0, 7, 7, 0, 1, 7, 0, 7, -1, 0, 0, 1, 0, 7, 9, 0, 9, 7, 0, -1, 8, 0, 7, 0, 0, 1, 4, 0, 16, 7, 0, 9, 1, 0, 2, 9, 0, 7, 1, 0, -10, -1, 0, 8, 13, 0, 26, 7, 0, 0, 24, 0, -1, 1, 0, 4, 6, 0, 23, 16, 0, 7, 0, 0, 5, 9, 0, 1, 8, 0, -2, 2, 0, 9, 6, 0, 7, 7, 0, 1, 7, 0, 9, -10, 0, -1, -7, 0, 48, 8, 0, 13, 9, 0, 30, 26, 0, 7, -12, 0, -3, 0, 0, 24, 10, 0, 32, -1, 0, 1, 10, 0, 8, 4, 0, 6, -43, 0, 54, 23, 0, 16, 7, 0, 17, 7, 0, 0, -15, 0, 28, 5, 0, 9, -36, 0, 24, 1, 0, 8, 6, 0, 4, -2, 0, 2, 4, 0, 40, 9, 0, 6, 16, 0, 45, 7, 0, 7, -60, 0, -8, 1, 0, 7, -3, 0, 81, 9, 0, -10, 14, 0, 1, -1, 0, -7, -1, 0, 51, 48, 0, 8, 2, 0, 28, 13, 0, 9, -35, 0, 8, 30, 0, 26, -57, 0, 27, 7, 0, -12, 16, 0, 1, -3, 0, 0, -53, 0, 33, 24, 0, 10, -10, 0, 104, 32, 0, -1, -40, 0, -2, 1, 0, 10, -6, 0, 45, 8, 0, 4, -7, 0, 13, 6, 0, -43, -11, 0, 86, 54, 0, 23, 26, 0, 74, 16, 0, 7, -1, 0, -2, 17, 0, 7, -37, 0, -2, 0, 0, -15, -11, 0, 24, 28, 0, 5, -25, 0, -23, 9, 0, -36, -1, 0, 48, 24, 0, 1, -73, 0, -53, 8, 0, 6, -64, 0, 68, 4, 0, -2, -23, 0, 6, 2, 0, 4, -50, 0, 26, 40, 0, 9, 23, 0, 8, 6, 0, 16, 24, 0, -16, 45, 0, 7, -54, 0, 38, 7, 0, -60, -14, 0, 0, -8, 0, 1, -38, 0, -58, 7, 0, -3, 5, 0, 99, 81, 0, 9, 4, 0, -40, -10, 0, 14, 8, 0, 11, 1, 0, -1, 20, 0, 8, -7, 0, -1, 2, 0, 74, 51, 0, 48, -2, 0, -8, 8, 0, 2, -12, 0, -103, 28, 0, 13, -50, 0, -21, 9, 0, -35, 70, 0, 6, 8, 0, 30, -74, 0, 30, 26, 0, -57, 7, 0, 10, 27, 0, 7, 44, 0, -76, -12, 0, 16, -44, 0, 29, 1, 0, -3, 26, 0, 7, 0, 0, -53, -16, 0, 91, 33, 0, 24, 9, 0, 5, 10, 0, -10, 17, 0, -21, 104, 0, 32, 2, 0, -20, -1, 0, -40, -2, 0, -7, -2, 0, 1, 28, 0, -107, 10, 0, -6, 48, 0, 123, 45, 0, 8, -13, 0, -82, 4, 0, -7, -6, 0, -59, 13, 0, 6, 12, 0, 9, -43, 0, -11, 14, 0, -72, 86, 0, 54, 30, 0, 2, 23, 0, 26, 24, 0, -102, 74, 0, 16, -72, 0, 14, 7, 0, -1, 34, 0, -12, -2, 0, 17, 89, 0, -92, 7, 0, -37, -3, 0, 55, -2, 0, 0, 7, 0, -177, -15, 0, -11, -28, 0, -17, 24, 0, 28, -44, 0, 10, 5, 0, -25, 8, 0, -32, -23, 0, 9, 32, 0, 54, -36, 0, -1, 82, 0, -31, 48, 0, 24, 19, 0, -4, 1, 0, -73, 53, 0, 10, -53, 0, 8, -30, 0, -91, 6, 0, -64, 8, 0, 83, 68, 0, 4, 114, 0, -112, -2, 0, -23, -2, 0, 0, 6, 0, 2, 80, 0, -43, 4, 0, -50, 13, 0, 83, 26, 0, 40, 54, 0, -86, 9, 0, 23, 48, 0, -75, 8, 0, 6, 22, 0, 18, 16, 0, 24, -1, 0, 7, -16, 0, 45, 130, 0, 25, 7, 0, -54, 17, 0, 94, 38, 0, 7, -40, 0, -87, -60, 0, -14, 24, 0, -104, 0, 0, -8, 27, 0, -15, 1, 0, -38, 34, 0, -62, -58, 0, 7, 28, 0, -48, -3, 0, 5, 30, 0, -70, 99, 0, 81, -51, 0, -118, 9, 0, 4, 65, 0, -36, -40, 0, -10, 84, 0, -76, 14, 0, 8, 24, 0, 172, 11, 0, 1, 97, 0, -140, -1, 0, 20, -52, 0, 35, 8, 0, -7, -54, 0, 6, -1, 0, 2, 69, 0, 24, 74, 0, 51, 4, 0, 14, 48, 0, -2, -62, 0, -25, -8, 0, 8, -80, 0, -14, 2, 0, -12, -102, 0, 4, -103, 0, 28, 136, 0, -13, 13, 0, -50, 40, 0, 14, -21, 0, 9, 60, 0, -72, -35, 0, 70, -42, 0, 103, 6, 0, 8, -3, 0, 16, 30, 0, -74, 9, 0, 26, 30, 0, 26, 45, 0, -4, -57, 0, 7, -36, 0, -48, 10, 0, 27, -52, 0, 22, 7, 0, 44, -36, 0, -60, -76, 0, -12, -90, 0, -102, 16, 0, -44, -8, 0, 24, 29, 0, 1, -79, 0, -88, -3, 0, 26, -1, 0, -70, 7, 0, 0, -63, 0, -3, -53, 0, -16, -44, 0, 109, 91, 0, 33, 81, 0, 40, 24, 0, 9, -30, 0, 66, 5, 0, 10, -52, 0, -39, -10, 0, 17, -82, 0, 14, -21, 0, 104, 42, 0, 44, 32, 0, 2, 1, 0, 74, -20, 0, -1, -18, 0, -22, -40, 0, -2, 28, 0, 4, -7, 0, -2, -113, 0, -1, 1, 0, 28, 90, 0, -144, -107, 0, 10, 51, 0, -56, -6, 0, 48, -122, 0, -85, 123, 0, 45, -89, 0, -44, 8, 0, -13, -96, 0, 2, -82, 0, 4, -94, 0, -126, -7, 0, -6, 28, 0, 118, -59, 0, 13, 14, 0, -52, 6, 0, 12, -64, 0, -58, 9, 0, -43, -126, 0, -35, -11, 0, 14, 20, 0, 99, -72, 0, 86, 8, 0, 59, 54, 0, 30, 43, 0, -134, 2, 0, 23, -63, 0, 1, 26, 0, 24, -35, 0, -57, -102, 0, 74, 136, 0, 2, 16, 0, -72, 27, 0, 125, 14, 0, 7, -198, 0, -196, -1, 0, 34, -40, 0, -6, -12, 0, -2, -32, 0, 16, 17, 0, 89, -65, 0, 16, -92, 0, 7, 1, 0, -102, -37, 0, -3, 27, 0, -21, 55, 0, -2, -53, 0, 10, 0, 0, 7, 8, 0, -53, -177, 0, -15, 29, 0, 8, -11, 0, -28, 33, 0, 66, -17, 0, 24, -16, 0, -106, 28, 0, -44, -6, 0, -30, 10, 0, 5, -206, 0, -10, -25, 0, 8, 48, 0, 108, -32, 0, -23, 104, 0, 64, 9, 0, 32, -30, 0, 25, 54, 0, -36, 34, 0, 8, -1, 0, 82, -120, 0, -40, -31, 0, 48, 20, 0, -118, 24, 0, 19, -2, 0, 15, -4, 0, 1, -92, 0, -13, -73, 0, 53, -118, 0, -20, 10, 0, -53, -95, 0, -6, 8, 0, -30, 7, 0, 40, -91, 0, 6, 45, 0, 72, -64, 0, 8, 13, 0, -24, 83, 0, 68, 0, 0, 88, 4, 0, 114, -91, 0, -7, -112, 0, -2, -121, 0, 46, -23, 0, -2, 13, 0, 262, 0, 0, 6, 88, 0, -31, 2, 0, 80, -91, 0, -108, -43, 0, 4, -9, 0, -11, -50, 0, 13, -44, 0, 87, 83, 0, 26, 86, 0, -28, 40, 0, 54, 86, 0, 28, -86, 0, 9, -82, 0, 28, 23, 0, 48, 30, 0, 26, -75, 0, 8, 21, 0, 100, 6, 0, 22, 74, 0, -7, 18, 0, 16, -114, 0, -160, 24, 0, -1, -80, 0, 8, 7, 0, -16, -171, 0, -1, 45, 0, 130, -92, 0, -100, 25, 0, 7, -2, 0, 163, -54, 0, 17, -82, 0, -90, 94, 0, 38, -63, 0, 30, 7, 0, -40, -105, 0, -37, -87, 0, -60, -7, 0, -74, -14, 0, 24, -2, 0, 119, -104, 0, 0, -85, 0, 48, -8, 0, 27, 39, 0, 29, -15, 0, 1, -210, 0, -11, -38, 0, 34, 100, 0, 4, -62, 0, -58, 24, 0, -64, 7, 0, 28, -36, 0, 36, -48, 0, -3, -67, 0, 2, 5, 0, 30, -103, 0, -25, -70, 0, 99, 42, 0, -212, 81, 0, -51, -23, 0, 70, -118, 0, 9, -11, 0, -172, 4, 0, 65, 14, 0, 53, -36, 0, -40, -13, 0, -1, -10, 0, 84, 3, 0, 117, -76, 0, 14, 48, 0, -12, 8, 0, 24, 112, 0, -97, 172, 0, 11, -137, 0, 31, 1, 0, 97, -100, 0, -73, -140, 0, -1, -129, 0, 42, 20, 0, -52, -53, 0, 0, 35, 0, 8, 54, 0, -10, -7, 0, -54, 55, 0, -4, 6, 0, -1, -68, 0, -64, 2, 0, 69, 107, 0, -84, 24, 0, 74, 68, 0, -48, 51, 0, 4, -44, 0, -54, 14, 0, 48, -98, 0, 58, -2, 0, -62, -235, 0, -23, -25, 0, -8, 30, 0, -85, 8, 0, -80, 6, 0, 97, -14, 0, 2, -70, 0, -56, -12, 0, -102, -96, 0, 132, 4, 0, -103, 8, 0, -50, 28, 0, 136, 64, 0, 96, -13, 0, 13, 26, 0, -98, -50, 0, 40, -162, 0, -9, 14, 0, -21, 206, 0, -108, 9, 0, 60, -106, 0, 23, -72, 0, -35, 246, 0, -246, 70, 0, -42, 8, 0, -60, 103, 0, 6, 26, 0, -17, 8, 0, -3, -136, 0, -204, 16, 0, 30, -103, 0, 24, -74, 0, 9, -8, 0, -66, 26, 0, 30, -16, 0, 53, 26, 0, 45, 4, 0, -182, -4, 0, -57, 107, 0, -173, 7, 0, -36, -116, 0, -54, -48, 0, 10, 68, 0, -72, 27, 0, -52, 38, 0, 17, 22, 0, 7, 56, 0, -110, 44, 0, -36, 53, 0, 62, -60, 0, -76, -72, 0, -14, -12, 0, -90, 23, 0, -104, -102, 0, 16, 0, 0, -37, -44, 0, -8, 40, 0, -56, 24, 0, 29, 89, 0, 0, 1, 0, -79, -60, 0, -38, -88, 0, -3, 78, 0, -246, 26, 0, -1, -58, 0, -54, -70, 0, 7, 262, 0, -75, 0, 0, -63, -79, 0, -28, -3, 0, -53, -7, 0, 5, -16, 0, -44, 174, 0, 108, 109, 0, 91, 99, 0, 52, 33, 0, 81, -9, 0, 55, 40, 0, 24, 86, 0, 14, 9, 0, -30, -236, 0, 4, 66, 0, 5, 35, 0, -42, 10, 0, -52, -40, 0, -130, -39, 0, -10, -253, 0, 51, 17, 0, -82, 45, 0, -202, 14, 0, -21, -112, 0, 8, 104, 0, 42, 42, 0, -88, 44, 0, 32, 11, 0, -80, 2, 0, 1, 98, 0, 83, 74, 0, -20, 157, 0, 139, -1, 0, -18, -236, 0, 20, -22, 0, -40, 360, 0, 4, -2, 0, 28, 8, 0, 3, 4, 0, -7, -42, 0, -43, -2, 0, -113, 45, 0, -90, -1, 0, 1, -364, 0, 2, 28, 0, 90, -160, 0, -3, -144, 0, -107, 74, 0, -84, 10, 0, 51, -50, 0, 22, -56, 0, -6, 164, 0, 32, 48, 0, -122, -50, 0, -2, -85, 0, 123, 106, 0, -8, 45, 0, -89, -8, 0, 102, -44, 0, 8, -58, 0, 22, -13, 0, -96, -44, 0, 63, 2, 0, -82, 168, 0, -12, 4, 0, -94, -19, 0, -38, -126, 0, -7, -103, 0, -95, -6, 0, 28, -200, 0, -56, 118, 0, -59, 28, 0, 95, 13, 0, 14, -320, 0, -50, -52, 0, 6, -16, 0, 104, 12, 0, -64, -21, 0, -86, -58, 0, 9, 107, 0, 108, -43, 0, -126, 153, 0, -20, -35, 0, -11, -100, 0, 70, 14, 0, 20, -226, 0, 158, 99, 0, -72, 6, 0, -103, 86, 0, 8, -166, 0, -55, 59, 0, 54, 298, 0, 190, 30, 0, 43, -178, 0, -74, -134, 0, 2, 237, 0, -114, 23, 0, -63, 30, 0, 49, 1, 0, 26, -4, 0, 184, 24, 0, -35, 80, 0, -88, -57, 0, -102, 32, 0, 7, 74, 0, 136, -98, 0, -217, 2, 0, 16, 10, 0, -98, -72, 0, 27, -94, 0, 48, 125, 0, 14, -122, 0, -94, 7, 0, -198, 10, 0, 44, -196, 0, -1, 80, 0, -32, 34, 0, -40, -76, 0, -73, -6, 0, -12, 88, 0, 175, -2, 0, -32, -98, 0, 204, 16, 0, 17, -74, 0, -44, 89, 0, -65, 68, 0, 116, 16, 0, -92, 29, 0, -8, 7, 0, 1, -80, 0, -126, -102, 0, -37, 336, 0, 336, -3, 0, 27, 31, 0, 26, -21, 0, 55, 31, 0, -44, -2, 0, -53, 7, 0, -152, 10, 0, 0, -106, 0, -119, 7, 0, 8, -23, 0, -141, -53, 0, -177, -290, 0, -16, -15, 0, 29, -136, 0, -110, 8, 0, -11, 91, 0, -406, -28, 0, 33, 198, 0, 63, 66, 0, -17, 38, 0, 136, 24, 0, -16, -58, 0, 9, -106, 0, 28, 23, 0, 38, -44, 0, -6, 5, 0, 68, -30, 0, 10, -32, 0, 27, 5, 0, -206, 216, 0, 70, -10, 0, -25, 229, 0, 17, 8, 0, 48, 242, 0, -49, 108, 0, -32, -21, 0, -134, -23, 0, 104, -182, 0, -48, 64, 0, 9, 60, 0, -18, 32, 0, -30, 26, 0, 2, 25, 0, 54, 34, 0, -12, -36, 0, 34, -20, 0, -54, 8, 0, -1, -32, 0, 75, 82, 0, -120, 97, 0, -34, -40, 0, -31, -64, 0, -2, 48, 0, 20, 356, 0, 100, -118, 0, 24, -7, 0, 185, 19, 0, -2, 304, 0, -8, 15, 0, -4, 195, 0, 240, 1, 0, -92, -102, 0, 28, -13, 0, -73, 264, 0, -335, 53, 0, -118, -107, 0, -166, -20, 0, 10, 97, 0, -130, -53, 0, -95, -44, 0, -104, -6, 0, 8, 116, 0, 48, -30, 0, 7, -64, 0, 20, 40, 0, -91, 123, 0, 27, 6, 0, 45, 224, 0, 189, 72, 0, -64, -91, 0, 333, 8, 0, 13, 154, 0, -13, -24, 0, 83, 135, 0, -66, 68, 0, 0, -82, 0, -92, 88, 0, 4, -206, 0, -48, 114, 0, -91, -358, 0, -250, -7, 0, -112, -139, 0, -6, -2, 0, -121, -30, 0, -39, 46, 0, -23, -59, 0, 130, -2, 0, 13, 205, 0, 192, 262, 0, 0, 213, 0, 102, 6, 0, 88, 178, 0, 12, -31, 0, 2, -44, 0, 38, 80, 0, -91, 9, 0, -193, -108, 0, -43, 44, 0, 96, 4, 0, -9, 212, 0, -56, -11, 0, -50, -74, 0, 14, 13, 0, -44, 58, 0, 327, 87, 0, 83, -72, 0, -148, 26, 0, 86, -127, 0, -105, -28, 0, 40, 168, 0, -188, 54, 0, 86, -167, 0, 30, 28, 0, -86, 458, 0, -390, 9, 0, -82, 2, 0, 121, 28, 0, 23, 247, 0, 15, 48, 0, 30, -59, 0, 54, 26, 0, -75, 98, 0, 24, 8, 0, 21, -162, 0, -260, 100, 0, 6, -102, 0, -135, 22, 0, 74, 236, 0, 77, -7, 0, 18, -22, 0, 118, 16, 0, -114, 226, 0, -72, -160, 0, 24, 198, 0, 200, -1, 0, -80, 14, 0, 106, 8, 0, 7, 12, 0, -174, -16, 0, -171, 224, 0, -218, -1, 0, 45, -298, 0, 34, 130, 0, -92, -59, 0, 96, -100, 0, 25, -12, 0, -196, 7, 0, -2, -57, 0, -6, 163, 0, -54, 168, 0, 92, 17, 0, -82, 72, 0, 89, -90, 0, 94, -45, 0, -108, 38, 0, -63, -92, 0, 8, 30, 0, 7, 322, 0, 213, -40, 0, -105, 70, 0, 138, -37, 0, -87, 194, 0, -3, -60, 0, -7, -49, 0, -4, -74, 0, -14, 55, 0, -166, 24, 0, -2, 128, 0, 141, 119, 0, -104, 464, 0, -50, 0, 0, -85, -146, 0, 7, 48, 0, -8, 115, 0, -65, 27, 0, 39, -177, 0, -106, 29, 0, -15, -83, 0, -282, 1, 0, -210, -168, 0, -270, -11, 0, -38, -328, 0, -28, 34, 0, 100, 46, 0, -126, 4, 0, -62, -17, 0, -109, -58, 0, 24, 260, 0, -69, -64, 0, 7, 40, 0, 46, 28, 0, -36, 18, 0, -44, 36, 0, -48, 236, 0, 122, -3, 0, -67, 10, 0, 112, 2, 0, 5, 4, 0, 290, 30, 0, -103, 312, 0, 18, -25, 0, -70, 155, 0, 8, 99, 0, 42, 122, 0, -158, -212, 0, 81, -32, 0, -338, -51, 0, -23, -51, 0, -20, 70, 0, -118, -82, 0, -10, 9, 0, -11, 64, 0, 32, -172, 0, 4, 323, 0, -169, 65, 0, 14, 54, 0, 192, 53, 0, -36, 108, 0, 104, -40, 0, -13, 120, 0, 8, -1, 0, -10, 344, 0, 82, 84, 0, 3, -16, 0, 324, 117, 0, -76, -31, 0, 18, 14, 0, 48, -120, 0, 132, -12, 0, 8, 67, 0, 312, 24, 0, 112, 136, 0, 19, -97, 0, 172, 22, 0, -198, 11, 0, -137, -4, 0, -98, 31, 0, 1, 20, 0, 37, 97, 0, -100, 72, 0, 165, -73, 0, -140, -88, 0, 53, -1, 0, -129, 6, 0, 302, 42, 0, 20, 10, 0, -117, -52, 0, -53, 108, 0, 191, 0, 0, 35, 18, 0, 235, 8, 0, 54, -108, 0, -30, -10, 0, -7, 214, 0, 39, -54, 0, 55, -91, 0, 262, -4, 0, 6, -66, 0, -353, -1, 0, -68, -190, 0, 22, -64, 0, 2, -85, 0, 8, 69, 0, 107, 13, 0, -86, -84, 0, 24, 83, 0, 242, 74, 0, 68, 82, 0, 69, -48, 0, 51, -7, 0, 168, 4, 0, -44, 6, 0, 114, -54, 0, 14, -134, 0, 74, 48, 0, -98, -112, 0, 53, 58, 0, -2, 144, 0, -272, -62, 0, -235, -93, 0, 72, -23, 0, -25, -142, 0, -2, -8, 0, 30, -29, 0, 162, -85, 0, 8, 0, 0, -42, -80, 0, 6, -48, 0, -178, 97, 0, -14, 44, 0, 75, 2, 0, -70, -165, 0, 80, -56, 0, -12, -70, 0, 322, -102, 0, -96, -43, 0, 82, 132, 0, 4, 81, 0, 353, -103, 0, 8, -132, 0, 309, -50, 0, 28, -160, 0, 13, 136, 0, 64, -215, 0, -317, 96, 0, -13, 83, 0, -76, 13, 0, 26, 122, 0, 86, -98, 0, -50, 41, 0, 467, 40, 0, -162, 164, 0, 54, -9, 0, 14, 266, 0, 253, -21, 0, 206, -86, 0, -121, -108, 0, 9, -91, 0, -159, 60, 0, -106, -294, 0, -292, 23, 0, -72, -288, 0, 48, -35, 0, 246, -264, 0, -63, -246, 0, 70, -75, 0, -98, -42, 0, 8, 134, 0, -20, -60, 0, 103, -79, 0, 43, 6, 0, 26, -166, 0, 22, -17, 0, 8, 54, 0, 107, -3, 0, -136, 18, 0, 484, -204, 0, 16, 142, 0, 188, 30, 0, -103, 166, 0, 107, 24, 0, -74, -84, 0, -1, 9, 0, -8, 4, 0, -38, -66, 0, 26, 7, 0, 360, 30, 0, -16, 82, 0, 8, 53, 0, 26, -215, 0, 172, 45, 0, 4, 74, 0, 130, -182, 0, -4, 170, 0, 22, -57, 0, 107, 25, 0, -27, -173, 0, 7, -344, 0, -74, -36, 0, -116, -216, 0, -218, -54, 0, -48, 32, 0, 17, 10, 0, 68, -218, 0, -129, -72, 0, 27, 94, 0, 19, -52, 0, 38, 71, 0, 40, 17, 0, 22, 148, 0, -87, 7, 0, 56, 6, 0, -40, -110, 0, 44, 198, 0, 143, -36, 0, 53, -87, 0, 413, 62, 0, -60, 25, 0, -61, -76, 0, -72, -144, 0, -44, -14, 0, -12, 20, 0, 24, -90, 0, 23, -278, 0, -106]