# Trace form for 8001.2.a.h, downloaded from the LMFDB on 20 April 2024.
[0, 2, -1, 0, 5, -3, 0, -2, -9, 0, 10, 2, 0, -3, 1, 0, 3, -8, 0, -8, -16, 0, 16, 5, 0, 3, 10, 0, -5, -9, 0, 9, -9, 0, 4, 3, 0, -5, 4, 0, 22, -6, 0, 6, -12, 0, 6, 20, 0, 2, -27, 0, -16, 5, 0, 14, 9, 0, -4, 5, 0, -13, 4, 0, 7, 13, 0, 6, -20, 0, -10, 24, 0, -13, -6, 0, -20, -2, 0, -4, -30, 0, 20, -3, 0, 12, -20, 0, 8, -23, 0, 3, 4, 0, -10, 12, 0, -26, -1, 0, 33, -15, 0, 12, 22, 0, -28, -8, 0, 0, -24, 0, -3, -14, 0, 1, -14, 0, -28, 8, 0, 14, -2, 0, 14, -15, 0, 2, 23, 0, -32, 36, 0, 8, -20, 0, 36, -17, 0, -22, 16, 0, -12, 14, 0, 5, -2, 0, -4, -8, 0, -2, 36, 0, -16, -5, 0, 28, -32, 0, 22, -5, 0, 31, -32, 0, -24, -8, 0, -13, -40, 0, 32, -24, 0, -3, -48, 0, -14, 20, 0, 26, -10, 0, -14, -1, 0, -8, 50, 0, -40, 20, 0, 24, 30, 0, 5, -10, 0, 1, -39, 0, -18, 9, 0, 26, -40, 0, -30, -8, 0, 3, 38, 0, 4, -26, 0, -9, -34, 0, 52, 12, 0, -10, 9, 0, 58, -16, 0, 10, 8, 0, 32, 1, 0, -30, 38, 0, -4, -47, 0, -50, 27, 0, -24, -3, 0, 12, -32, 0, 16, -20, 0, 22, -1, 0, -17, -1, 0, 5, 58, 0, -18, -16, 0, -33, -4, 0, 32, -8, 0, -29, -12, 0, 0, -48, 0, -2, 28, 0, -22, -6, 0, -24, 60, 0, -24, 6, 0, -2, -28, 0, -24, 16, 0, -33, 14, 0, -30, 1, 0, -6, 52, 0, -12, 11, 0, 10, 12, 0, 28, 9, 0, 8, -14, 0, 24, -22, 0, -26, -2, 0, -6, 32, 0, -30, -24, 0, 44, -20, 0, 12, 18, 0, -64, -26, 0, 38, -19, 0, 64, 26, 0, -2, -44, 0, 46, 5, 0, -40, 27, 0, 8, -12, 0, -36, -32, 0, -44, 14, 0, -6, -30, 0, 16, 11, 0, 17, -18, 0, -8, -5, 0, 28, -64, 0, -90, 5, 0, 42, 64, 0, -44, 30, 0, -14, 22, 0, -82, 10, 0, -20, -9, 0, 22, -28, 0, 41, 8, 0, 81, -7, 0, -5, -12, 0, 4, -22, 0, 0, -64, 0, 64, -5, 0, -21, 22, 0, -64, -28, 0, 2, 24, 0, -48, -12, 0, 13, -20, 0, 64, -26, 0, -32, -4, 0, 34, -20, 0, -2, -80, 0, -40, -4, 0, 9, 56, 0, -7, -12, 0, 28, -86, 0, 42, -13, 0, -7, 46, 0, -6, -28, 0, 13, 12, 0, -60, -1, 0, -6, 100, 0, -48, -28, 0, -12, 20, 0, -2, 12, 0, -1, 42, 0, 1, 56, 0, 4, 50, 0, 10, 22, 0, 36, -40, 0, -12, -24, 0, 48, -46, 0, 10, 30, 0, -3, 40, 0, 5, -20, 0, 13, 39, 0, -42, -52, 0, 20, 6, 0, -84, 28, 0, 9, 90, 0, 8, -36, 0, -25, 76, 0, 20, 26, 0, 12, -44, 0, 4, 2, 0, -38, 40, 0, 36, -34, 0, 16, -34, 0, 24, 36, 0, 4, -50, 0, -72, -12, 0, -26, 30, 0, -48, 40, 0, 72, 12, 0, -108, 2, 0, -6, 52, 0, -20, -18, 0, 41, 1, 0, 38, 3, 0, -46, 50, 0, -42, 0, 0, -36, 76, 0, 18, -17, 0, -12, 14, 0, 8, -41, 0, -40, 20, 0, -56, 13, 0, 17, 36, 0, -48, -30, 0, 18, 12, 0, -8, 23, 0, -6, -38, 0, 4, 23, 0, 16, -38, 0, 70, 20, 0, 30, -16, 0, 28, -3, 0, -3, -72, 0, -26, 86, 0, -28, -4, 0, -16, 1, 0, -46, 66, 0, 86, -8, 0, -54, -60, 0, 10, 55, 0, -29, 96, 0, -12, -12, 0, -31, 48, 0, 64, -30, 0, 13, -70, 0, -7, -24, 0, 26, -88, 0, 72, 58, 0, 17, 1, 0, 60, -33, 0, 68, -94, 0, -62, 50, 0, 24, 54, 0, -33, 31, 0, 20, 24, 0, -28, 15, 0, 48, 120, 0, 78, 31, 0, -38, 84, 0, 10, 2, 0, -12, 3, 0, 82, 12, 0, -10, -22, 0, -48, -24, 0, 29, -68, 0, -14, -28, 0, -59, 6, 0, 28, 7, 0, -22, -14, 0, 48, 8, 0, -16, 30, 0, -28, 54, 0, 51, -4, 0, -88, 35, 0, 0, 84, 0, -66, -33, 0, -12, 24, 0, 26, -30, 0, -12, 134, 0, -22, 24, 0, 24, -24, 0, 3, -42, 0, 47, -42, 0, 48, 14, 0, 11, 22, 0, -6, -6, 0, -80, -39, 0, 12, -30, 0, -1, 28, 0, 42, 38, 0, -25, 14, 0, -40, -55, 0, -24, -34, 0, 116, -39, 0, -16, -88, 0, 28, -25, 0, -12, 36, 0, -2, -8, 0, -56, 48, 0, 14, -23, 0, -9, -18, 0, -18, -6, 0, -14, 84, 0, 108, -21, 0, -8, 2, 0, 36, -21, 0, 88, -116, 0, 64, 7, 0, 70, -18, 0, -14, -72, 0, -26, -34, 0, -24, 15, 0, 16, -152, 0, 72, -21, 0, 13, 64, 0, -100, -63, 0, -2, -64, 0, -76, -80, 0, -64, -23, 0, 6, -49, 0, -20, -48, 0, 114, -56, 0, 51, -74, 0, 32, -60, 0, -54, 46, 0, -26, -36, 0, 49, 4, 0, 14, -36, 0, 18, 36, 0, 32, -28, 0, -8, 62, 0, -144, -56, 0, 42, 20, 0, -160, 6, 0, 2, 84, 0, 48, 30, 0, 11, 108, 0, -36, -20, 0, -64, -92, 0, 62, 17, 0, -13, -8, 0, -142, -2, 0, 34, -29, 0, -164, -40, 0, 22, -104, 0, 6, -78, 0, -74, -16, 0, -130, -28, 0, 32, 16, 0, 64, -2, 0, 0, -32, 0, 12, 7, 0, -28, -24, 0, 76, -14, 0, -20, -50, 0, 2, -20, 0, 89, -24, 0, 4, -14, 0, -5, -9, 0, 112, 39, 0, 24, 2, 0, -113, -60, 0, -28, 40, 0, 128, -36, 0, 117, 160, 0, 4, 52, 0, 6, 96, 0, -116, 8, 0, -56, -132, 0, -162, 25, 0, -51, -40, 0, -16, 21, 0, 2, 55, 0, -142, 38, 0, 36, -36, 0, -64, 8, 0, 0, -40, 0, 60, 31, 0, 60, -20, 0, 16, -21, 0, 50, -66, 0, -98, 5, 0, -85, -28, 0, 68, 55, 0, -30, 60, 0, 68, -92, 0, -28, -120, 0, 16, 88, 0, -52, 32, 0, 46, -35, 0, -66, 116, 0, 74, 66, 0, 14, 64, 0, -22, -20, 0, 49, 36, 0, -20, 5, 0, -40, -172, 0, -60, -56, 0, 58, 36, 0, 186, -24, 0, -31, 88, 0, -80, 36, 0, -31, 32, 0, -42, -80, 0, -34, -46, 0, -5, 9, 0, 52, -48, 0, 24, -110, 0, -61, 40, 0, 6, 8, 0, -16, 74, 0, -34, 30, 0, -8, -16, 0, -142, -120, 0, 13, 14, 0, -102, -50, 0, 10, 40, 0, 2, -22, 0, 45, -6, 0, 114, -68, 0, 60, 54, 0, -32, 92, 0, -96, 60, 0, 2, 24, 0, -23, 0, 0, -28, 6, 0, -13, 70, 0, 100, 15, 0, 3, 42, 0, 8, -29, 0, 75, 48, 0, 48, -52, 0, 63, 156, 0, 48, 52, 0, 88, 14, 0, 14, -10, 0, 34, 43, 0, 54, -20, 0, 30, -126, 0, 24, -23, 0, 56, -32, 0, 96, 18, 0, -26, -72, 0, 10, -10, 0, -24, 10, 0, 20, 24, 0, 33, 102, 0, -60, 34, 0, -41, -20, 0, 14, -54, 0, 32, 80, 0, 144, 1, 0, 50, 40, 0, -126, 48, 0, -72, -148, 0, 38, -30, 0, 8, 180, 0, 44, -3, 0, 24, -50, 0, 66, 34, 0, -22, 6, 0, -72, 84, 0, 80, 72, 0, 40, 60, 0, 10, -44, 0, -32, -20, 0, -52, -116, 0, -104, 16, 0, 12, 2, 0, 146, -96, 0, -24, 33, 0, 148, 69, 0, -13, -30, 0, 120, 63, 0, -90, -20, 0, -114, -22, 0, -53, -68, 0, -5, -46, 0, 2, -44, 0, 76, 10, 0, -18, -68, 0, 142, -48, 0, 52, 72, 0, -144, 12, 0, -1, -80, 0, -134, 2, 0, -89, 39, 0, -92, -41, 0, -42, 24, 0, 40, -3, 0, 12, 4, 0, 18, 36, 0, -34, 10, 0, -192, -9, 0, 8, 42, 0, 44, 22, 0, 49, 104, 0, -124, -44, 0, -26, 18, 0, 186, 46, 0, 36, 40, 0, -15, 3, 0, -40, -134, 0, 96, -25, 0, 88, 56, 0, 30, 90, 0, -27, 70, 0, 80, 8, 0, -58, -142, 0, 102, 72, 0, 0, 26, 0, 48, 84, 0, -3, 72, 0, -4, 12, 0, -40, -38, 0, 90, -45, 0, -30, 28, 0, 70, 78, 0, 7, -32, 0, -4, 106, 0, 16, 8, 0, -90, 26, 0, -34, 38, 0, -112, -33, 0, 92, -34, 0, 88, -2, 0, 9, 120, 0, 110, 90, 0, 6, 34, 0, -124, 12, 0, -4, 126, 0, 76, 2, 0, 3, -62, 0, -52, -2, 0, -25, -74, 0, 168, -12, 0, -11, -96, 0, -90, -31, 0, -5, 42, 0, -80, -8, 0, 10, 192, 0, -16, -46, 0, -88, -9, 0, 140, 42, 0, 13, -100, 0, 62, 12, 0, -34, -104, 0, -58, 70, 0, 50, -48, 0, 60, 16, 0, 2, 4, 0, 156, -46, 0, -13, 40, 0, -15, -52, 0, -10, -26, 0, -104, 30, 0, -6, -8, 0, -38, -49, 0, -48, 54, 0, 134, 26, 0, -44, -64, 0, -32, 31, 0, -77, -4, 0, 172, -1, 0, 60, 80, 0, 34, -24, 0, -76, -168, 0, -108, -3, 0, 30, 144, 0, 120, 104, 0, -3, -38, 0, -98, 84, 0, -88, -62, 0, -78, 100, 0, 42, -26, 0, 4, -12, 0, -36, 96, 0, -32, 47, 0, 60, -70, 0, 156, -41, 0, -30, 81, 0, 22, -108, 0, 50, 12, 0, -14, 92, 0, -33, -27, 0, -48, 73, 0, -98, -132, 0, -32, -54, 0, 46, 174, 0, 24, -79, 0, 3, -12, 0, -66, 3, 0, 60, -44, 0, 168, -24, 0, 104, -116, 0, 22, 28, 0, -12, -188, 0, -46, -44, 0, -67, 32, 0, -32, -50, 0, -4, 64, 0, 102, 94, 0, 44, -16, 0, -16, -48, 0, 112, 162, 0, 148, 20, 0, 36, -80, 0, 138, -52, 0, -16, -168, 0, -88, 67, 0, -22, 92, 0, -28, 36, 0, -118, 1, 0, 82, 17, 0, -38, 96, 0, 40, -102, 0, -36, 168, 0, 17, 14, 0, -4, -30, 0, -52, 1, 0, 14, 112, 0, 104, 9, 0, 50, -174, 0, 164, -23, 0, -5, 0, 0, 106, -44, 0, 32, -58, 0, -4, 19, 0, 6, -24, 0, -60, -3, 0, 68, 6, 0, 18, -85, 0, -144, 52, 0, -24, 16, 0, 104, -70, 0, 120, 78, 0, -34, 42, 0, -10, 0, 0, 33, -40, 0, -54, -64, 0, 62, 4, 0, -64, -42, 0, 90, 142, 0, 96, -118, 0, -8, 98, 0, -32, 38, 0, -14, 220, 0, 48, 8, 0, -33, 16, 0, -48, 0, 0, -67, -104, 0, 70, -46, 0, 29, -48, 0, -132, 2, 0, 44, 12, 0, -126, -16, 0, -33, 168, 0, 186, 72, 0, -96, -38, 0, 0, 60, 0, 56, 83, 0, 6, 48, 0, -60, 242, 0, 52, -66, 0, -84, 68, 0, -81, -22, 0, 2, 276, 0, -150, -10, 0, -32, -28, 0, 112, 8, 0, -48, 50, 0, -46, -4, 0, -48, -184, 0, 22, 13, 0, 54, 174, 0, -54, 6, 0, -48, -84, 0, 56, 70, 0, 96, -88, 0, -16, 80, 0, 24, 136, 0, 40, -19, 0, 51, -60, 0, -12, -8, 0, -87, 14, 0, 120, -19, 0, 75, -48, 0, 24, 2, 0, 19, 112, 0, 90, -6, 0, 76, 58, 0, 112, 33, 0, -62, -70, 0, 18, 60, 0, 2, -48, 0, 92, 30, 0, -88, 28, 0, 3, 32, 0, -18, -152, 0, 142, -57, 0, -42, -46, 0, 24, -34, 0, -83, 55, 0, 132, -16, 0, -28, 48, 0, -38, -56, 0, -108, -232, 0, 120, 28, 0, 33, -50, 0, -120, 80, 0, 0, -14, 0, 8, 72, 0, 10, -88, 0, -84, -106, 0, 114, 172, 0, 30, 93, 0, -52, 96, 0, 150, -1, 0, 42, 54, 0, -106, -1, 0, -48, 0, 0, 72, -20, 0, 6, -56, 0, -36, -96, 0, -3, -52, 0, -105, 67, 0, -55, 208, 0, -36, 92, 0, 60, 84, 0, 12, 22, 0, 53, 116, 0, -208, -11, 0, 34, -238, 0, 64, -67, 0, -102, -44, 0, 44, 56, 0, -10, -132, 0, 36, 8, 0, 90, -12, 0, 36, -8, 0, -103, 60, 0, -10, 14, 0, 24, 156, 0, -28, -56, 0, -66, 68, 0, -92, -9, 0, -110, -136, 0, 100, 13, 0, -4, 134, 0, -28, 18, 0, -8, 0, 0, 80, -150, 0, 33, 14, 0, 216, 108, 0, 104, 56, 0, 24, -113, 0, 106, 128, 0, -24, 81, 0, -96, -42, 0, 94, 22, 0, 9, -120, 0, -84, 42, 0, -144, -98, 0, -152, -48, 0, 26, 78, 0, -116, -35, 0, -156, 2, 0, 112, -8, 0, 18, -152, 0, -24, 70, 0, 48, 100, 0, 6, -76, 0, 41, -82, 0, 316, -32, 0, -67, 108, 0, 96, -60, 0, 22, -148, 0, -108, 36, 0, 30, -182, 0, 80, 66, 0, 19, 24, 0, -100, 53, 0, 21, 72, 0, -52, 52, 0, -28, -44, 0, -44, 138, 0, -56, 6, 0, -62, 20, 0, 42, -34, 0, 128, -53, 0, -21, 9, 0, -64, 23, 0, -12, 8, 0, 84, 54, 0, -63, -18, 0, 106, -64, 0, 68, 124, 0, -132, -22, 0, -143, 50, 0, 64, 103, 0, 40, 8, 0, -106, 26, 0, -40, 34, 0, -270, 149, 0, -56, -64, 0, -56, -26, 0, -38, 208, 0, 60, 88, 0, 76, 19, 0, -26, -4, 0, -82, 68, 0, 76, 60, 0, -104, -56, 0, -64, -59, 0, 72, 90, 0, 96, -26, 0, 5, -184, 0, 4, 68, 0, 50, -196, 0, 0, -50, 0, 2, 38, 0, -134, -7, 0, 39, 44, 0, -284, 61, 0, -8, 48, 0, -156, 6, 0, -66, 24, 0, -46, 90, 0, -90, -14, 0, 34, -5, 0, -56, -92, 0, -88, -108, 0, 62, -36, 0, -92, -39, 0, 40, -160, 0, -16, 136, 0, -52, -27, 0, -6, 92, 0, -152, -28, 0, 176, 119, 0, -20, -148, 0, -8, -20, 0, -20, -2, 0, 128, 12, 0, -27, -6, 0, -168, 74, 0, 2, -84, 0, 8, -64, 0, 36, -112, 0, -32, -144, 0, 50, 32, 0, 56, -72, 0, 52, -102, 0, -11, 22, 0, -72, -70, 0, 44, -34, 0, -2, -100, 0, 42, -14, 0, -28, 16, 0, 88, 112, 0, -84, -164, 0, 92, 54, 0, 6, -16, 0, 8, 42, 0, 32, 30, 0, 116, 66, 0, -60, -16, 0, 56, 65, 0, 132, 80, 0, -16, -144, 0, -77, 32, 0, -114, -11, 0, 7, -76, 0, -186, 32, 0, -118, 232, 0, -204, 8, 0, -17, 80, 0, -36, -39, 0, 120, 18, 0, 10, 35, 0, 129, -84, 0, -144, 140, 0, 7, -142, 0, 8, -47, 0, 6, -178, 0, -132, 5, 0, 16, 186, 0, -92, 68, 0, -144, 104, 0, 72, -58, 0, -28, -54, 0, -138, -141, 0, 94, 64, 0, -288, -6, 0, -22, -4, 0, -24, -60, 0, -98, -80, 0, 90, -114, 0, 20, 44, 0, -34, -5, 0, 88, 130, 0, -64, 80, 0, -32, 48, 0, -144, -16, 0, -42, 28, 0, -12, 0, 0, 96, -64, 0, -64, -43, 0, -90, -56, 0, -18, -112, 0, 63, 192, 0, 44, -12, 0, -74, 128, 0, 168, -30, 0, 85, 44, 0, 128, -63, 0, 129, -40, 0, 24, 22, 0, 14, -222, 0, 48, 48, 0, 41, -22, 0, 57, -28, 0, 16, -196, 0, -196, -160, 0, 56, -36, 0, 82, -56, 0, 161, -88, 0, -6, -10, 0, 102, -40, 0, -32, 150, 0, -73, 230, 0, 62, 44, 0, 20, 69, 0, 102, -24, 0, 21, 9, 0, 142, -52, 0, -71, -120, 0, 4, -114, 0, -20, -142, 0, -22, -129, 0, -20, -178, 0, 204, 28, 0, 159, -138, 0, 92, -124, 0, 50, 8, 0, -82, 49, 0, -41, 244, 0, -40, 69, 0, 86, -8, 0, 128, 12, 0, -37, 214, 0, 16, 90, 0, 42, 36, 0, -81, -134, 0, -63, 154, 0, -56, 7, 0, -17, 72, 0, 16, 100, 0, -60, 136, 0, -160, -132, 0, 5, 96, 0, 20, -174, 0, -86, 12, 0, -120, 32, 0, 28, 68, 0, 86, -30, 0, 32, 264, 0, -4, -36, 0, 184, 200, 0, 78, 22, 0, -58, 18, 0, 210, 94, 0, -116, 154, 0, -180, 93, 0, 0, 132, 0, 124, -130, 0, 8, 64, 0, -46, 52, 0, -29, -182, 0, 96, -49, 0, 52, 288, 0, -64, -87, 0, -68, 27, 0, -10, 5, 0, -16, -48, 0, 90, 114, 0, 66, -72, 0, 38, -57, 0, 21, -146, 0, -76, -62, 0, -72, -22, 0, 40, 86, 0, 80, -80, 0, -92, 5, 0, 44, -128, 0, 64, 39, 0, 93, 148, 0, 200, 28, 0, -34, -136, 0, -172, 118, 0, 96, 0, 0, 66, 20, 0, -2, -104, 0, -144, 58, 0, -28, -24, 0, -190, -52, 0, -8, 24, 0, -210, 102, 0, -85, 20, 0, 48, 27, 0, -152, -76, 0, 184, 12, 0, 36, -2, 0, -72, 22, 0, -112, -126, 0, -56, -20, 0, -13, -12, 0, 192, 22, 0, 155, 20, 0, -138, -81, 0]