# Trace form for 4005.2.a.c, downloaded from the LMFDB on 25 April 2024.
[0, 1, 0, 0, -2, 1, 0, -4, 0, 0, 0, 2, 0, 4, 0, 0, 4, -6, 0, 0, -2, 0, 0, 5, 0, 1, 0, 0, 8, -5, 0, -2, 0, 0, 0, -4, 0, -2, 0, 0, 0, 5, 0, 2, -4, 0, 0, -8, 0, 9, 0, 0, -8, 8, 0, 2, 0, 0, 0, -9, 0, 14, 0, 0, -8, 4, 0, 15, 12, 0, 0, 12, 0, -15, 0, 0, 0, -8, 0, -5, 4, 0, 0, -11, 0, -6, 0, 0, 0, 1, 0, -16, -10, 0, 0, 0, 0, -5, 0, 0, -2, -14, 0, -20, 0, 0, 0, -2, 0, 1, 0, 0, -16, 17, 0, 5, 10, 0, 0, 24, 0, -7, 0, 0, 4, 1, 0, -12, 0, 0, 0, -2, 0, 0, 0, 0, 0, 2, 0, -23, 8, 0, 0, 8, 0, -5, 0, 0, 4, 3, 0, -6, 0, 0, 0, -2, 0, -5, 0, 0, 0, -20, 0, -22, -10, 0, 0, -24, 0, 3, 0, 0, -4, -22, 0, -4, 8, 0, 0, 26, 0, -10, 0, 0, 0, -2, 0, -12, 16, 0, 0, 15, 0, -10, 0, 0, -18, -18, 0, -11, 0, 0, 0, 20, 0, 5, 0, 0, 16, 0, 0, -12, -16, 0, 0, 2, 0, 8, 0, 0, -4, -24, 0, 3, 0, 0, 0, 0, 0, 22, 0, 0, 0, -14, 0, -8, 18, 0, 0, -7, 0, -8, 0, 0, -28, 9, 0, 0, 0, 0, 0, 12, 0, 10, 0, 0, 16, 20, 0, 8, -8, 0, 0, -6, 0, 8, 0, 0, -30, -26, 0, -8, -24, 0, 0, 2, 0, 27, 0, 0, 0, 18, 0, 16, -24, 0, 0, -20, 0, 19, 0, 0, 30, -9, 0, -9, 0, 0, 0, 20, 0, -8, 0, 0, 0, 14, 0, -13, 16, 0, 0, -20, 0, -8, 0, 0, 10, 22, 0, -10, -8, 0, 0, 0, 0, 4, 0, 0, 0, 32, 0, 20, 22, 0, 0, 15, 0, -20, 0, 0, 12, -4, 0, -8, 0, 0, 0, 20, 0, 2, 0, 0, 0, -11, 0, 12, -2, 0, 0, 4, 0, -19, 0, 0, 32, -15, 0, 4, 20, 0, 0, -32, 0, 17, 0, 0, 0, -20, 0, -20, 0, 0, 0, 24, 0, -8, 0, 0, 10, 18, 0, -30, 0, 0, 0, -5, 0, 10, 0, 0, 4, -30, 0, -8, 28, 0, 0, -4, 0, -3, 0, 0, 40, 36, 0, -11, 0, 0, 0, 11, 0, -2, 0, 0, 0, -6, 0, -56, 4, 0, 0, -16, 0, -16, 0, 0, -2, 0, 0, -12, 0, 0, 0, 6, 0, 1, 0, 0, 32, -6, 0, 10, -34, 0, 0, -16, 0, 20, 0, 0, -10, 0, 0, -24, -20, 0, 0, -12, 0, -60, 0, 0, 0, 4, 0, 0, -48, 0, 0, 22, 0, -8, 0, 0, 14, -5, 0, 7, 0, 0, 0, 17, 0, 30, 0, 0, -8, -48, 0, -18, -2, 0, 0, -32, 0, -14, 0, 0, 24, 24, 0, 60, 0, 0, 0, -20, 0, -16, 0, 0, 0, -2, 0, -12, 4, 0, 0, 12, 0, 2, 0, 0, 0, 20, 0, -2, 0, 0, 0, 18, 0, 44, 0, 0, 0, 1, 0, 16, -4, 0, 0, 0, 0, 20, 0, 0, 46, 7, 0, 8, -16, 0, 0, -27, 0, 17, 0, 0, 0, 31, 0, -22, -16, 0, 0, 5, 0, 20, 0, 0, 10, 44, 0, 16, 0, 0, 0, -36, 0, 0, 0, 0, -8, -39, 0, 24, -6, 0, 0, -16, 0, -17, 0, 0, 12, -7, 0, -27, 0, 0, 0, -32, 0, -29, 0, 0, 0, 7, 0, 31, 4, 0, 0, -4, 0, 1, 0, 0, 10, 12, 0, -13, 0, 0, 0, -12, 0, 36, 0, 0, 0, 46, 0, -43, 40, 0, 0, -45, 0, -18, 0, 0, 44, 43, 0, -2, 20, 0, 0, 30, 0, 30, 0, 0, 0, 0, 0, -25, 48, 0, 0, 28, 0, 1, 0, 0, -6, 42, 0, 20, 0, 0, 0, 9, 0, 2, 0, 0, 8, 32, 0, 15, 44, 0, 0, -23, 0, -30, 0, 0, 8, 10, 0, 0, -16, 0, 0, 56, 0, -34, 0, 0, 0, -10, 0, 8, -52, 0, 0, -24, 0, 80, 0, 0, 20, -5, 0, -40, 0, 0, 0, -12, 0, -19, 0, 0, 0, 30, 0, 18, 4, 0, 0, -9, 0, 3, 0, 0, 24, 8, 0, -40, -32, 0, 0, -6, 0, -29, 0, 0, 0, 28, 0, -4, -30, 0, 0, -36, 0, 49, 0, 0, 20, 15, 0, -2, 0, 0, 0, 0, 0, 24, 0, 0, 36, -5, 0, 6, 36, 0, 0, -68, 0, 56, 0, 0, 22, -48, 0, 48, 0, 0, 0, -30, 0, -20, 0, 0, 0, 50, 0, -41, -40, 0, 0, -22, 0, 0, 0, 0, -10, 36, 0, -47, 0, 0, 0, 49, 0, 22, 0, 0, -32, -54, 0, -24, 0, 0, 0, 35, 0, -4, 0, 0, 24, 3, 0, 28, 32, 0, 0, -10, 0, 22, 0, 0, 0, -54, 0, -42, -4, 0, 0, 4, 0, -22, 0, 0, -16, -10, 0, 60, 0, 0, 0, -4, 0, 38, 0, 0, 8, 34, 0, 4, 48, 0, 0, -17, 0, 48, 0, 0, -6, 0, 0, 26, 0, 0, 0, 10, 0, -48, 0, 0, 0, -10, 0, 29, 0, 0, 0, -12, 0, -22, 0, 0, -44, 8, 0, -18, 0, 0, 0, 48, 0, -2, 0, 0, 0, 16, 0, 0, 28, 0, 0, -12, 0, 13, 0, 0, 16, -13, 0, 25, -36, 0, 0, 18, 0, -60, 0, 0, 0, -35, 0, 15, 14, 0, 0, -8, 0, -27, 0, 0, 16, -10, 0, 32, 0, 0, 0, 6, 0, 92, 0, 0, 56, -2, 0, 2, -18, 0, 0, 2, 0, -18, 0, 0, 0, 10, 0, -8, 0, 0, 0, -11, 0, 5, 0, 0, 0, -32, 0, 54, -24, 0, 0, 0, 0, -8, 0, 0, -20, 24, 0, 20, 0, 0, 0, -14, 0, -21, 0, 0, -32, 5, 0, -20, -40, 0, 0, 24, 0, -22, 0, 0, -16, -84, 0, -38, 16, 0, 0, -12, 0, 0, 0, 0, 0, 19, 0, -60, 12, 0, 0, -12, 0, 24, 0, 0, -16, 18, 0, 7, 0, 0, 0, -10, 0, 62, 0, 0, 60, 10, 0, 2, 52, 0, 0, -44, 0, -40, 0, 0, 16, 8, 0, -20, 48, 0, 0, 23, 0, 6, 0, 0, 0, -55, 0, 20, -4, 0, 0, 9, 0, -24, 0, 0, -54, -5, 0, -28, 0, 0, 0, 3, 0, 30, 0, 0, 0, 0, 0, 23, -36, 0, 0, 45, 0, -20, 0, 0, -32, -40, 0, 0, 48, 0, 0, -90, 0, 88, 0, 0, 0, 22, 0, 4, 40, 0, 0, 19, 0, -21, 0, 0, -38, 4, 0, 0, 0, 0, 0, -39, 0, -14, 0, 0, -60, 96, 0, 20, 18, 0, 0, -8, 0, -4, 0, 0, 18, 35, 0, -12, 0, 0, 0, 21, 0, -25, 0, 0, 0, -40, 0, -7, -40, 0, 0, 2, 0, -1, 0, 0, 16, -8, 0, -72, 0, 0, 0, 88, 0, 0, 0, 0, 0, 9, 0, 40, -28, 0, 0, 56, 0, 9, 0, 0, 26, -54, 0, 32, -32, 0, 0, 0, 0, 2, 0, 0, 0, 90, 0, 34, 40, 0, 0, -10, 0, -24, 0, 0, 16, -104, 0, 12, 0, 0, 0, 61, 0, -20, 0, 0, -20, 10, 0, 40, -44, 0, 0, -10, 0, 0, 0, 0, 20, -3, 0, 42, 16, 0, 0, -57, 0, 20, 0, 0, 0, -54, 0, 20, 0, 0, 0, 8, 0, -10, 0, 0, -8, 48, 0, -55, 0, 0, 0, -29, 0, 48, 0, 0, 0, -56, 0, -6, -64, 0, 0, 12, 0, -28, 0, 0, -40, 8, 0, -13, -44, 0, 0, -36, 0, -4, 0, 0, 0, -60, 0, -80, -30, 0, 0, 30, 0, -26, 0, 0, 40, 0, 0, 40, 0, 0, 0, -8, 0, -45, 0, 0, -24, -35, 0, 40, 8, 0, 0, -42, 0, -33, 0, 0, 16, 21, 0, 2, 0, 0, 0, 72, 0, 26, 0, 0, 0, 27, 0, 0, -40, 0, 0, -8, 0, 44, 0, 0, -4, -24, 0, 15, 0, 0, 0, 70, 0, 18, 0, 0, 0, 11, 0, 66, 22, 0, 0, 16, 0, 4, 0, 0, -24, -45, 0, 16, 4, 0, 0, 4, 0, -50, 0, 0, 0, 16, 0, -20, -8, 0, 0, 56, 0, -4, 0, 0, 38, 19, 0, 44, 0, 0, 0, -4, 0, -38, 0, 0, -64, 16, 0, -18, 30, 0, 0, 0, 0, -9, 0, 0, -8, 68, 0, -67, -40, 0, 0, -9, 0, 48, 0, 0, 0, 58, 0, 30, 64, 0, 0, -35, 0, 18, 0, 0, -34, 0, 0, 20, 0, 0, 0, -60, 0, 0, 0, 0, 0, -8, 0, 4, 40, 0, 0, 12, 0, -6, 0, 0, 40, -10, 0, -18, 0, 0, 0, -28, 0, 14, 0, 0, 0, -46, 0, 49, -48, 0, 0, -13, 0, -40, 0, 0, 16, 75, 0, 14, 0, 0, 0, 96, 0, 43, 0, 0, -20, 10, 0, -20, -36, 0, 0, 59, 0, -12, 0, 0, 60, -8, 0, -32, 0, 0, 0, 4, 0, -28, 0, 0, 0, 0, 0, -46, 10, 0, 0, 41, 0, 22, 0, 0, -20, 0, 0, -4, 0, 0, 0, -10, 0, -14, 0, 0, -8, -40, 0, -88, 60, 0, 0, 0, 0, 16, 0, 0, 16, -46, 0, 0, -56, 0, 0, 24, 0, 22, 0, 0, 0, 4, 0, 65, 8, 0, 0, 56, 0, 60, 0, 0, 6, 5, 0, 6, 0, 0, 0, -16, 0, 32, 0, 0, -80, 30, 0, -48, -72, 0, 0, 20, 0, 3, 0, 0, 22, -12, 0, -26, 0, 0, 0, -28, 0, 7, 0, 0, 0, 28, 0, 15, -22, 0, 0, -75, 0, -16, 0, 0, 4, -20, 0, 32, 0, 0, 0, 0, 0, -50, 0, 0, 0, -57, 0, -37, 12, 0, 0, -8, 0, -4, 0, 0, 112, -24, 0, 45, -8, 0, 0, -8, 0, 84, 0, 0, 0, 65, 0, 65, 32, 0, 0, -10, 0, 0, 0, 0, 32, 30, 0, 20, 0, 0, 0, 16, 0, 69, 0, 0, 4, 2, 0, -18, 0, 0, 0, 120, 0, -48, 0, 0, 24, -48, 0, -49, 0, 0, 0, 10, 0, -11, 0, 0, 0, -70, 0, -40, -12, 0, 0, 12, 0, -2, 0, 0, -2, 8, 0, 2, 0, 0, 0, 12, 0, 53, 0, 0, -64, -44, 0, 4, 12, 0, 0, -80, 0, -15, 0, 0, -20, -19, 0, -92, 68, 0, 0, -71, 0, -18, 0, 0, 0, -25, 0, 12, 32, 0, 0, -51, 0, -15, 0, 0, -40, 18, 0, -14, 0, 0, 0, 4, 0, -48, 0, 0, 20, 24, 0, 0, 0, 0, 0, -48, 0, -39, 0, 0, 48, -6, 0, -32, 40, 0, 0, 6, 0, -25, 0, 0, 0, 17, 0, -12, 24, 0, 0, -20, 0, -17, 0, 0, 120, 78, 0, 35, 0, 0, 0, 104, 0, -20, 0, 0, 0, -42, 0, -28, -8, 0, 0, -20, 0, 32, 0, 0, 0, 58, 0, -44, 96, 0, 0, 33, 0, -55, 0, 0, 0, -80, 0, 24, -44, 0, 0, 0, 0, -102, 0, 0, 16, -8, 0, -40, 0, 0, 0, 24, 0, 27, 0, 0, -28, 12, 0, -108, 10, 0, 0, -75, 0, 18, 0, 0, -14, 26, 0, -12, 0, 0, 0, -30, 0, 0, 0, 0, 0, -16, 0, -24, -34, 0, 0, -72, 0, 52, 0, 0, -60, 51, 0, -5, 0, 0, 0, -6, 0, -64, 0, 0, 16, 10, 0, 38, 96, 0, 0, -20, 0, 10, 0, 0, 36, -54, 0, -34, 4, 0, 0, -40, 0, -30, 0, 0, 0, 45, 0, 13, 64, 0, 0, -8, 0, -76, 0, 0, 28, -16, 0, -76, 0, 0, 0, 18, 0, 70, 0, 0, -48, 0, 0, -4, -48, 0, 0, -6, 0, -20, 0, 0, -120, -3, 0, 5, 0, 0, 0, 36, 0, -4, 0, 0, 0, 42, 0, -60, 40, 0, 0, 84, 0, 36, 0, 0, 32, -90, 0, 0, 0, 0, 0, -11, 0, -30, 0, 0, 0, 34, 0, 19, 4, 0, 0, -66, 0, 67, 0, 0, 24, -80, 0, 11, -8, 0, 0, 48, 0, 30, 0, 0, 0, -2, 0, 18, -24, 0, 0, -30, 0, -36, 0, 0, -4, 75, 0, -88, 0, 0, 0, -20, 0, -6, 0, 0, 0, -79, 0, -41, -40, 0, 0, -56, 0, 29, 0, 0, 4, 2, 0, -78, 0, 0, 0, 0, 0, 52, 0, 0, 0, 84, 0, -16, -36, 0, 0, 72, 0, -55, 0, 0, -88, -16, 0, -36, 0, 0, 0, -96, 0, 40, 0, 0, 0, 80, 0, -24, -2, 0, 0, 18, 0, 0, 0, 0, -32, -22, 0, 32, 8, 0, 0, -12, 0, -40, 0, 0, 0, -24, 0, -44, 0, 0, 0, 6, 0, 17, 0, 0, -40, 23, 0, 6, 0, 0, 0, -88, 0, -89, 0, 0, -92, 1, 0, 12, -14, 0, 0, -25, 0, 40, 0, 0, -16, 62, 0, 28, 32, 0, 0, 60, 0, -6, 0, 0, 0, -88, 0, -86, 54, 0, 0, 10, 0, -28, 0, 0, -34, 0, 0, 30, 0, 0, 0, -42, 0, -21, 0, 0, 0, 30, 0, -16, -62, 0, 0, 16, 0, 2, 0, 0, 44, 20, 0, -64, 32, 0, 0, 25, 0, 74, 0, 0, 0, 12, 0, 0, -10, 0, 0, -72, 0, 0, 0, 0, -40, 40, 0, 38, 0, 0, 0, -24, 0, -80, 0, 0, -20, -24, 0, -70, -88, 0, 0, 104, 0, -12, 0, 0, -32, -14, 0, -12, 0, 0, 0, 44, 0, 20, 0, 0, 0, -60, 0, 22, 72, 0, 0, -67, 0, -40, 0, 0, 0, -53, 0, 80, 0, 0, 0, 138, 0, 4, 0, 0, 16, -100, 0, 45, 78, 0, 0, 0, 0, -52, 0, 0, -48, 6, 0, -4, 12, 0, 0, 16, 0, 22, 0, 0, 0, 56, 0, 22, 32, 0, 0, 12, 0, -31, 0, 0, 34, -8, 0, 55, 0, 0, 0, -20, 0, 0, 0, 0, -24, -66, 0, -45, 14, 0, 0, 16, 0, -5, 0, 0, 54, -80, 0, -48, 0, 0, 0, 7, 0, 26, 0, 0, 0, -66, 0, -8, 64, 0, 0, -32, 0, 10, 0, 0, 58, 6, 0, 17, 0, 0, 0, -27, 0, -10, 0, 0, 0, 30, 0, 56, -14, 0, 0, 44, 0, 16, 0, 0, -62, 29, 0, -30, -8, 0, 0, 60, 0, -48, 0, 0, 0, 0, 0, -64, 8, 0, 0, -18, 0, 0, 0, 0, -2, 70, 0, 40, 0, 0, 0, 5, 0, -40, 0, 0, -20, -16, 0, -32, -24, 0, 0, 44, 0, -34, 0, 0, 26, -14, 0, 76, 0, 0, 0, -66, 0, -18, 0, 0, 0, -18, 0, 25, 24, 0, 0, -88, 0, 24, 0, 0, -72, -14, 0, 40, 0, 0, 0, 60, 0, 12, 0, 0, 0, -72, 0, -28, -92, 0, 0, 36, 0, -16, 0, 0, 86, 22, 0, -20, -80, 0, 0, 56, 0, -5, 0, 0, 0, -16, 0, -44, 90, 0, 0, 34, 0, 10, 0, 0, 36, 72, 0, 85, 0, 0, 0, 0, 0, -2, 0, 0, -88, 75, 0, -68, -86, 0, 0, -12, 0, -77, 0, 0, 4, -12, 0, 28, -40, 0, 0, -24, 0, -14, 0, 0, 0, 19, 0, 12, -60, 0, 0, 80, 0, 0, 0, 0, -60, 2, 0, -22, 0, 0, 0, -16, 0, 80, 0, 0, 0, 26, 0, 68, 0, 0, 0, 67, 0, 20, 0, 0, 50, 30, 0, 33, -96, 0, 0, -2, 0, -14, 0, 0, 0, -96, 0, 26, -56, 0, 0, 28, 0, -36, 0, 0, -2, 57, 0, 18, 0, 0, 0, -45, 0, 30, 0, 0, 12, 44, 0, -48, -84, 0, 0, -35, 0, -32, 0, 0, -40, 0, 0, 83, 0, 0, 0, -72, 0, 1, 0, 0, 0, 23, 0, 0, -18, 0, 0, 16, 0, 120, 0, 0, -4, 78, 0, -48, 0, 0, 0, 75, 0, 14, 0, 0, -16, -35, 0, 0, -64, 0, 0, -2, 0, 24, 0, 0, -30, 20, 0, 72, -88, 0, 0, 132, 0, 72, 0, 0, 0, 56, 0, -40, 46, 0, 0, -35, 0, 7, 0, 0, 60, -6, 0, 49, 0, 0, 0, 8, 0, 32, 0, 0, -16, -74, 0, 52, -20, 0, 0, 120, 0, 11, 0, 0, 0, 25, 0, -27, 32, 0, 0, 63, 0, 32, 0, 0, 0, 17, 0, 40, -112, 0, 0, 0, 0, 80, 0, 0, 68, 4, 0, 144, 0, 0, 0, -68, 0, 31, 0, 0, 0, 16, 0, 44, 20, 0, 0, -22, 0, -3, 0, 0, -16, -57, 0, 12, 104, 0, 0, -112, 0, 0, 0, 0, 0, -18, 0, 5, 48, 0, 0, -72, 0, 30, 0, 0, -160, 20, 0, 72, 0, 0, 0, -81, 0, -12, 0, 0, -40, 40, 0, 12, 10, 0, 0, -90, 0, 44, 0, 0, 80, -51, 0, 60, 0, 0, 0, 16, 0, 62, 0, 0, 0, -60, 0, 10, 24, 0, 0, 64, 0, 70, 0, 0, 38, -44, 0, -36, 0, 0, 0, 0, 0, 132, 0, 0, 0, 0, 0, 8, -60, 0, 0, 0, 0, -41, 0, 0, -36, 102, 0, -52, -8, 0, 0, 59, 0, -39, 0, 0, 0, 6, 0, 108, 18, 0, 0, 24, 0, 88, 0, 0, -6, -16, 0, 0, 0, 0, 0, 100, 0, 126, 0, 0, -48, -75, 0, -16, -16, 0, 0, -21, 0]