# Trace form for 5850.2.a.ct, downloaded from the LMFDB on 20 December 2025.
[0, 3, 3, 0, 3, 0, 0, 4, 3, 0, 0, 6, 0, 3, 4, 0, 3, 4, 0, 2, 0, 0, 6, 0, 0, 0, 3, 0, 4, 10, 0, -6, 3, 0, 4, 0, 0, 10, 2, 0, 0, 14, 0, 0, 6, 0, 0, -4, 0, -5, 0, 0, 3, 0, 0, 0, 4, 0, 10, 14, 0, -2, -6, 0, 3, 0, 0, 6, 4, 0, 0, 4, 0, -12, 10, 0, 2, 8, 0, -8, 0, 0, 14, -4, 0, 0, 0, 0, 6, 22, 0, 4, 0, 0, -4, 0, 0, 28, -5, 0, 0, 22, 0, -10, 3, 0, 0, 12, 0, -6, 0, 0, 4, -12, 0, 0, 10, 0, 14, 28, 0, -21, -2, 0, -6, 0, 0, -6, 3, 0, 0, 14, 0, 4, 6, 0, 4, -30, 0, -8, 0, 0, 4, 6, 0, 0, -12, 0, 10, 36, 0, 2, 2, 0, 8, 0, 0, 10, -8, 0, 0, 8, 0, -14, 14, 0, -4, 0, 0, 3, 0, 0, 0, 12, 0, 0, 6, 0, 22, 38, 0, 6, 4, 0, 0, 0, 0, 8, -4, 0, 0, 16, 0, -12, 28, 0, -5, -14, 0, -4, 0, 0, 22, -16, 0, 0, -10, 0, 3, 4, 0, 12, 0, 0, 12, 0, 0, -20, -6, 0, 0, 4, 0, -4, 4, 0, -12, 4, 0, 10, 0, 0, 10, 20, 0, 0, 14, 0, 28, 44, 0, 30, -21, 0, -2, 0, 0, 2, -6, 0, 0, -18, 0, 0, -6, 0, 3, -32, 0, 32, 0, 0, 14, 32, 0, 0, 4, 0, 6, 26, 0, 14, 4, 0, -30, 0, 0, 30, -8, 0, 0, 10, 0, -48, 4, 0, 6, 28, 0, 21, 0, 0, -12, -18, 0, 0, 10, 0, 36, 0, 0, -28, 2, 0, 2, 0, 0, -62, 8, 0, 0, 0, 0, -4, 10, 0, -8, 34, 0, 20, 0, 0, 8, 24, 0, 0, -14, 0, 14, 16, 0, 46, -4, 0, 0, 0, 0, -16, 3, 0, 0, -12, 0, -4, 0, 0, 12, 8, 0, -38, 0, 0, 6, -42, 0, 0, 22, 0, 38, 16, 0, -37, 6, 0, 4, 0, 0, -38, 0, 0, 0, -52, 0, -42, 8, 0, -4, 10, 0, 22, 0, 0, 16, -20, 0, 0, -12, 0, 28, 10, 0, -20, -5, 0, -14, 0, 0, 2, -4, 0, 0, 62, 0, -6, 22, 0, -16, 20, 0, 22, 0, 0, -10, 16, 0, 0, 3, 0, 4, 42, 0, -46, 12, 0, 0, 0, 0, -48, 12, 0, 0, 8, 0, -8, -20, 0, -6, -36, 0, -28, 0, 0, 4, 20, 0, 0, -4, 0, 4, 14, 0, 28, -12, 0, 4, 0, 0, 16, 10, 0, 0, -16, 0, -52, 10, 0, 20, 48, 0, -16, 0, 0, 14, 0, 0, 0, 28, 0, 44, 36, 0, 10, 30, 0, -21, 0, 0, -24, -2, 0, 0, 42, 0, -12, 2, 0, -6, 12, 0, -42, 0, 0, -18, -28, 0, 0, 0, 0, -6, -4, 0, -48, 3, 0, -32, 0, 0, -8, 32, 0, 0, -68, 0, -72, 14, 0, 32, -52, 0, 11, 0, 0, 4, 14, 0, 0, 6, 0, 26, -10, 0, 30, 14, 0, 4, 0, 0, -4, -30, 0, 0, 40, 0, -36, 30, 0, -8, 34, 0, 0, 0, 0, 10, -4, 0, 0, -48, 0, 4, 4, 0, 12, 6, 0, 28, 0, 0, -12, 21, 0, 0, 28, 0, 0, -12, 0, -18, -68, 0, -24, 0, 0, 10, -46, 0, 0, 36, 0, 0, 8, 0, -42, -28, 0, 2, 0, 0, -90, 2, 0, 0, -4, 0, -14, -62, 0, 8, -22, 0, -18, 0, 0, 0, 32, 0, 0, -4, 0, 10, 16, 0, 54, -8, 0, 34, 0, 0, -5, 20, 0, 0, 4, 0, -74, 8, 0, 24, -80, 0, 28, 0, 0, -14, 20, 0, 0, 14, 0, 16, -14, 0, 22, 46, 0, -4, 0, 0, -96, 0, 0, 0, -4, 0, -32, -16, 0, 3, 56, 0, 48, 0, 0, -12, -28, 0, 0, -4, 0, 0, 0, 0, 18, 12, 0, 8, 0, 0, 20, -38, 0, 0, -10, 0, -28, 6, 0, -42, 64, 0, 50, 0, 0, 22, 28, 0, 0, 38, 0, 16, -4, 0, 60, -37, 0, 6, 0, 0, -10, 4, 0, 0, -4, 0, -26, -38, 0, 0, 12, 0, -18, 0, 0, -52, -56, 0, 0, -42, 0, 8, -24, 0, -76, -4, 0, 10, 0, 0, -22, 22, 0, 0, 34, 0, -40, 16, 0, -20, 14, 0, -10, 0, 0, -12, 18, 0, 0, 28, 0, 10, -8, 0, 8, -20, 0, -5, 0, 0, -74, -14, 0, 0, -20, 0, -2, 2, 0, -4, 24, 0, 40, 0, 0, 62, -24, 0, 0, -6, 0, 22, -48, 0, -74, -16, 0, 20, 0, 0, 52, 22, 0, 0, -8, 0, -94, -10, 0, 16, -116, 0, -82, 0, 0, 3, 40, 0, 0, 4, 0, 42, -104, 0, 101, -46, 0, 12, 0, 0, -28, 0, 0, 0, 88, 0, 58, -48, 0, 12, 96, 0, -20, 0, 0, 8, -8, 0, 0, -8, 0, -20, -16, 0, 6, -6, 0, -36, 0, 0, 22, -28, 0, 0, -64, 0, -16, 4, 0, 20, -44, 0, -60, 0, 0, -4, 0, 0, 0, 4, 0, 14, -24, 0, -92, 28, 0, -12, 0, 0, -92, 4, 0, 0, -28, 0, -8, 16, 0, 10, -56, 0, 20, 0, 0, -16, 4, 0, 0, -52, 0, 10, -14, 0, -18, 20, 0, 48, 0, 0, 52, -16, 0, 0, 60, 0, 44, 14, 0, 0, 20, 0, -12, 0, 0, 28, -44, 0, 0, 44, 0, 36, -80, 0, -49, 10, 0, 30, 0, 0, -88, -21, 0, 0, -102, 0, -16, -24, 0, -2, -26, 0, 44, 0, 0, 42, -24, 0, 0, -12, 0, 2, -132, 0, 20, -6, 0, 12, 0, 0, 78, -42, 0, 0, 8, 0, -24, -18, 0, -28, 12, 0, 22, 0, 0, 0, 132, 0, 0, -6, 0, -4, -10, 0, 54, -48, 0, 3, 0, 0, -8, -32, 0, 0, 52, 0, 80, -8, 0, 32, -136, 0, -16, 0, 0, -68, 84, 0, 0, -72, 0, 14, -12, 0, 26, 32, 0, -52, 0, 0, 12, 11, 0, 0, -52, 0, 98, 4, 0, 14, 56, 0, -30, 0, 0, 6, -92, 0, 0, 26, 0, -10, -4, 0, 16, 30, 0, 14, 0, 0, 100, 4, 0, 0, -50, 0, -6, -4, 0, -30, 106, 0, 52, 0, 0, 40, 12, 0, 0, -36, 0, 30, -114, 0, 44, -8, 0, 34, 0, 0, 30, 0, 0, 0, -28, 0, -78, 10, 0, -4, 60, 0, 10, 0, 0, -48, -20, 0, 0, 4, 0, 4, -80, 0, -48, 12, 0, 6, 0, 0, -4, 28, 0, 0, -68, 0, 52, -12, 0, 21, 22, 0, -44, 0, 0, 28, 4, 0, 0, 0, 0, -12, -24, 0, -60, -18, 0, -68, 0, 0, 24, -24, 0, 0, 4, 0, 4, 10, 0, -46, 28, 0, -16, 0, 0, 36, 4, 0, 0, 0, 0, 8, -12, 0, -62, -42, 0, -28, 0, 0, -36, 2, 0, 0, 4, 0, 106, -90, 0, 2, -114, 0, -76, 0, 0, -4, 20, 0, 0, -14, 0, -62, 24, 0, 56, 8, 0, -22, 0, 0, 58, -18, 0, 0, -84, 0, -24, 0, 0, 32, 188, 0, 50, 0, 0, -4, 16, 0, 0, 10, 0, 16, -130, 0, 28, 54, 0, -8, 0, 0, 16, 34, 0, 0, -20, 0, -36, -5, 0, 20, 64, 0, -86, 0, 0, 4, -44, 0, 0, -74, 0, 8, -82, 0, -80, 24, 0, -80, 0, 0, 72, 28, 0, 0, 10, 0, 118, -14, 0, 20, -84, 0, 56, 0, 0, 14, 22, 0, 0, 16, 0, -14, -20, 0, 18, 22, 0, 46, 0, 0, -34, -4, 0, 0, -108, 0, -24, -96, 0, 0, 48, 0, -10, 0, 0, -4, 28, 0, 0, -32, 0, -16, -52, 0, 16, 3, 0, 56, 0, 0, 72, 48, 0, 0, -40, 0, -72, -12, 0, -28, -72, 0, 29, 0, 0, -4, -46, 0, 0, 0, 0, 0, 24, 0, 18, 18, 0, 12, 0, 0, -12, 8, 0, 0, 12, 0, 20, 20, 0, -38, -12, 0, -18, 0, 0, -10, 40, 0, 0, -28, 0, 6, -78, 0, 84, -42, 0, 64, 0, 0, -6, 50, 0, 0, -138, 0, 16, 22, 0, 28, -144, 0, 18, 0, 0, 38, -28, 0, 0, 16, 0, -4, -104, 0, 28, 60, 0, -37, 0, 0, 38, 6, 0, 0, -2, 0, 6, -10, 0, 4, -16, 0, 76, 0, 0, -4, 8, 0, 0, -26, 0, -38, -12, 0, 10, 0, 0, 12, 0, 0, 104, -18, 0, 0, 124, 0, 96, -52, 0, -56, 52, 0, 94, 0, 0, -42, 26, 0, 0, 8, 0, -24, 10, 0, 84, -76, 0, -4, 0, 0, -60, 10, 0, 0, -56, 0, 72, -22, 0, 22, 100, 0, -6, 0, 0, 34, -44, 0, 0, -40, 0, 16, -16, 0, -120, -20, 0, 14, 0, 0, 180, -10, 0, 0, 56, 0, -6, -12, 0, 18, 28, 0, -2, 0, 0, 28, -42, 0, 0, 10, 0, -8, -136, 0, 56, 8, 0, -20, 0, 0, -64, -5, 0, 0, -106, 0, -21, -74, 0, -14, 20, 0, 38, 0, 0, -20, -92, 0, 0, -2, 0, 2, -24, 0, -160, -4, 0, 24, 0, 0, 54, 40, 0, 0, -42, 0, -80, 62, 0, -24, -116, 0, -26, 0, 0, -6, 36, 0, 0, 22, 0, -48, -14, 0, 70, -74, 0, -16, 0, 0, -26, 20, 0, 0, 20, 0, 116, 52, 0, 22, 80, 0, 72, 0, 0, -8, 40, 0, 0, -94, 0, -10, 60, 0, -6, 16, 0, -116, 0, 0, 0, -82, 0, 0, 4, 0, 50, 3, 0, 40, 8, 0, -58, 0, 0, 4, 40, 0, 0, 42, 0, -104, -24, 0, -31, 101, 0, -46, 0, 0, 56, 12, 0, 0, 52, 0, -22, -28, 0, 0, -106, 0, 36, 0, 0, 88, 14, 0, 0, 58, 0, -48, -40, 0, -20, 12, 0, 96, 0, 0, 140, -20, 0, 0, -106, 0, -126, 8, 0, -8, 20, 0, 4, 0, 0, -8, -4, 0, 0, -20, 0, -16, 24, 0, -22, 6, 0, -6, 0, 0, 34, -36, 0, 0, 124, 0, 68, 22, 0, -28, -96, 0, -76, 0, 0, -64, -80, 0, 0, -16, 0, 4, 44, 0, 16, 20, 0, -44, 0, 0, 104, -60, 0, 0, -30, 0, 92, -4, 0, 0, -60, 0, -54, 0, 0, 4, -28, 0, 0, 14, 0, -24, -36, 0, 106, -92, 0, 28, 0, 0, -8, -12, 0, 0, 46, 0, 74, -92, 0, 4, -204, 0, -32, 0, 0, -28, 20, 0, 0, -8, 0, 16, 12, 0, 54, 10, 0, -56, 0, 0, 0, 20, 0, 0, 96, 0, 20, -16, 0, 4, 88, 0, 111, 0, 0, -52, -76, 0, 0, 10, 0, -14, 6, 0, -66, -18, 0, 20, 0, 0, -38, 48, 0, 0, -100, 0, -64, 52, 0, -16, 106, 0, 66, 0, 0, 60, -40, 0, 0, 44, 0, 14, -84, 0, 92, 0, 0, 20, 0, 0, 100, -12, 0, 0, 90, 0, 24, 28, 0, -44, 120, 0, -12, 0, 0, 44, 10, 0, 0, 36, 0, -80, 56, 0, -80, -49, 0, 10, 0, 0, 0, 30, 0, 0, 78, 0, 102, -88, 0, -21, 36, 0, -36, 0, 0, -102, 12, 0, 0, -16, 0, -24, 94, 0, -28, -2, 0, -26, 0, 0, -16, 44, 0, 0, -128, 0, 2, 42, 0, -24, 48, 0, 76, 0, 0, -12, -96, 0, 0, 2, 0, -132, 18, 0, -116, 20, 0, -6, 0, 0, -42, 12, 0, 0, 12, 0, 92, 78, 0, -42, -186, 0, -48, 0, 0, 8, 96, 0, 0, -24, 0, -18, 22, 0, 72, -28, 0, 12, 0, 0, 52, 22, 0, 0, -56, 0, 16, 0, 0, 132, 76, 0, 74, 0, 0, -6, 40, 0, 0, -4, 0, -10, -12, 0, 10, 54, 0, -48, 0, 0, -72, 3, 0, 0, -48, 0, 94, -8, 0, -32, -28, 0, -116, 0, 0, 52, 84, 0, 0, 80, 0, -8, 108, 0, -8, 32, 0, -136, 0, 0, 52, -16, 0, 0, 104, 0, -40, -68, 0, 84, -116, 0, 14, 0, 0, -72, 8, 0, 0, 14, 0, -12, 22, 0, 32, 26, 0, 32, 0, 0, -136, -52, 0, 0, 60, 0, 168, 12, 0, 11, 48, 0, -14, 0, 0, -52, -24, 0, 0, 98, 0, 4, 76, 0, 60, 14, 0, 56, 0, 0, 96, -30, 0, 0, -62, 0, 84, 6, 0, -92, -64, 0, -56, 0, 0, 26, -50, 0, 0, -10, 0, -4, -100, 0, 34, 16, 0, 30, 0, 0, -28, 14, 0, 0, 0, 0, -64, 100, 0, 4, 40, 0, -78, 0, 0, -50, 116, 0, 0, -6, 0, -4, -8, 0, -56, -30, 0, 106, 0, 0, 3, 52, 0, 0, 40, 0, -34, 40, 0, 12, -192, 0, -93, 0, 0, -36, -28, 0, 0, 30, 0, -114, 84, 0, 62, 44, 0, -8, 0, 0, -140, 34, 0, 0, 8, 0, -32, 30, 0, 0, 148, 0, 36, 0, 0, -28, -52, 0, 0, -78, 0, 10, 12, 0, 18, -4, 0, 60, 0, 0, -12, 10, 0, 0, 4, 0, 60, -48, 0, -20, 196, 0, 122, 0, 0, 4, 86, 0, 0, 4, 0, -80, 192, 0, 34, -48, 0, 12, 0, 0, 14, 6, 0, 0, 228, 0, 110, -4, 0, 28, 132, 0, -14, 0, 0, -68, 68, 0, 0, 52, 0, -12, 32, 0, 0, 21, 0, 22, 0, 0, -4, -44, 0, 0, 24, 0, -48, 28, 0, 4, 38, 0, -88, 0, 0, 0, 42, 0, 0, -12, 0, -24, 42, 0, 10, -60, 0, -18, 0, 0, 46, -68, 0, 0, 60, 0, 6, 24, 0, -24, -32, 0, -112, 0, 0, 4, -96, 0, 0, 4, 0, 10, 92, 0, -178, -46, 0, 28, 0, 0, 52, -16, 0, 0, 32, 0, 34, 36, 0, 4, -40, 0, -74, 0, 0, 0, 40, 0, 0, 8, 0, -12, 144, 0, 3, -62, 0, -42, 0, 0, -68, -28, 0, 0, -82, 0, 8, -36, 0, 2, 156, 0, 100, 0, 0, 4, 88, 0, 0, 106, 0, -90, -72, 0, 8, 2, 0, -114, 0, 0, 102, -76, 0, 0, 48, 0, -40, -4, 0, 20, 96, 0, -48, 0, 0, -14, -8, 0, 0, -62, 0, 24, 38, 0, -104, 56, 0, 8, 0, 0, -148, -22, 0, 0, -16, 0, 44, 58, 0, -18, -182, 0, 52, 0, 0, -84, 16, 0, 0, -24, 0, 0, 0, 0, -104, 32, 0, 188, 0, 0, 8, 50, 0, 0, -12, 0, 76, -4, 0, 16, -24, 0, -12, 0, 0, 10, 100, 0, 0, 16, 0, -130, 20, 0, 10, 28, 0, 54, 0, 0, -56, -8, 0, 0, 142, 0, 180, 16, 0, 34, -104, 0, 16, 0, 0, -20, -132, 0, 0, -36, 0, -5, 262, 0, 104, 20, 0, 64, 0, 0, -58, -86, 0, 0, -14, 0, 40, 4, 0, -44, 4, 0, -28, 0, 0, -74, -48, 0, 0, 8, 0, -82, 22, 0, 140, -80, 0, 24, 0, 0, -4, -80, 0, 0, 56, 0, -84, 72, 0, 28, -168, 0, 108, 0, 0, 10, 12, 0, 0, 118, 0, -14, -64, 0, -4, 20, 0, -84, 0, 0, 40, 56, 0, 0, -84, 0, 8, 14, 0, 22, 136, 0, 88, 0, 0, 16, 46, 0, 0, -14, 0, -20, -16, 0, -80, 18, 0, 22, 0, 0, -136, 46, 0, 0, 60, 0, 60, -34, 0, -4, 178, 0, 106, 0, 0, -108, -44, 0, 0, -24, 0, -96, 188, 0, 22, 0, 0, 48, 0, 0, 34, -10, 0, 0, -88, 0, 26, -4, 0, 28, 156, 0, -126, 0, 0, -32, 10, 0, 0, -16, 0, -52, 102, 0, -96, 16, 0, 3, 0, 0, -108, 56, 0, 0, -16, 0, -40, 72, 0, 48, 4, 0, -14, 0, 0, -40, 0, 0, 0, -72, 0, -12, 80, 0, -48, -28, 0, -72, 0, 0, 60, 29, 0, 0, 192, 0, 12, -4, 0, -46, 44, 0, -22, 0, 0, 0, -52, 0, 0, 0, 0, 24, -84, 0, -36, 18, 0, 18, 0, 0, -36, 12, 0, 0, -192, 0, -24, -12, 0, 8, -146, 0, -8, 0, 0, 12, 0, 0, 0, 20, 0, 20, 28, 0, 60, -38, 0, -12, 0, 0, 6, -18, 0, 0, 126, 0, -130, -10, 0, 40, 92, 0, 113, 0, 0, -28, 64, 0, 0, 6, 0, -78, 106, 0, -20, 84, 0, -42, 0, 0, -64, 64, 0, 0, 84, 0, 144, -6, 0, 50, -64, 0, -88, 0, 0, -138, 128, 0, 0, 16, 0, 22, 64, 0, 76, 28, 0, -144, 0, 0, -96, 18, 0, 0, 2, 0, 72, 38, 0, -28, -88, 0, -16, 0, 0, 16, 4, 0, 0, -4, 0, -104, 56, 0, -48, 28, 0, 60, 0, 0, 94, -37, 0, 0, 6, 0, 64, 38, 0, 6, -86, 0, -4, 0, 0, -2, -104, 0, 0, 6, 0, -10, -18, 0, 80, 4, 0, -16, 0, 0, -74, 76, 0, 0, -76, 0, -256, -4, 0, 8, 16, 0, 52, 0, 0, -26, 32, 0, 0, -38, 0, -12, 102, 0, -28, 10, 0, 0, 0, 0, -16, 12, 0, 0, 4, 0, -12, 104, 0, -18, -22, 0, 52, 0, 0, 124, -32, 0, 0, 96, 0, -52, 50, 0, -18, -56, 0, 52, 0, 0, 10, 94, 0, 0, 28, 0, 104, -42, 0, 26, -272, 0, -90, 0, 0, 8, -84, 0, 0, -24, 0, 10, 236, 0]