# Trace form for 3850.2.a.bt, downloaded from the LMFDB on 25 April 2024.
[0, 3, -3, -2, 3, 0, 2, 3, -3, 7, 0, 3, -2, -2, -3, 0, 3, -2, -7, -6, 0, -2, -3, -10, 2, 0, 2, -8, 3, 0, 0, -12, -3, -2, 2, 0, 7, -4, 6, -8, 0, 4, 2, -8, 3, 0, 10, 0, -2, 3, 0, -28, -2, -12, 8, 0, -3, 8, 0, -4, 0, -6, 12, 7, 3, 0, 2, -4, -2, -8, 0, -28, -7, 14, 4, 0, -6, 3, 8, 18, 0, 3, -4, 8, -2, 0, 8, 44, -3, 18, 0, -2, -10, -12, 0, 0, 2, 4, -3, 7, 0, -14, 28, 4, 2, 0, 12, -8, -8, 8, 0, -12, 3, 2, -8, 0, 0, 30, 4, -2, 0, 3, 6, -36, -12, 0, -7, 16, -3, 4, 0, -30, -2, -6, 4, 0, 2, -30, 8, 10, 0, -40, 28, -2, 7, 0, -14, -2, -4, -12, 0, -2, 6, 14, -3, 0, -8, 34, -18, 52, 0, -10, -3, -12, 4, 0, -8, 24, 2, -3, 0, -74, -8, -2, -44, 0, 3, -16, -18, -16, 0, 26, 2, 44, 10, 0, 12, -2, 0, -8, 0, -24, -2, -14, -4, 0, 3, -6, -7, -8, 0, -56, 14, 0, -28, 0, -4, -14, -2, -6, 0, 36, -12, 8, 8, 0, 8, -12, -8, 20, 0, 20, 12, -12, -3, 0, -2, 20, 8, 42, 0, -2, 0, -54, -30, 0, -4, -16, 2, -58, 0, 0, -3, -46, -6, 0, 36, -56, 12, 24, 0, -28, 7, -10, -16, 0, 3, -16, -4, -4, 0, -28, 30, -8, 2, 0, 6, 36, -4, 26, 0, 12, -2, -8, 30, 0, -8, -18, -10, -44, 0, -70, 40, -28, -28, 0, 2, 4, -7, 9, 0, 52, 14, 38, 2, 0, 4, -8, 12, 16, 0, -8, 2, -68, -6, 0, -14, 16, 3, 8, 0, -52, 8, -56, -34, 0, 18, -28, -52, 0, 0, 84, 10, -4, 3, 0, 12, -20, -4, 0, 0, -8, 8, 0, -24, 0, -2, -22, 3, -60, 0, -12, 74, 3, 8, 0, 2, -24, 44, -18, 0, -64, -3, -32, 16, 0, 18, -28, 16, -6, 0, 71, -26, -2, -2, 0, -44, 20, -10, 88, 0, -12, -12, -38, 2, 0, 0, -28, 8, 4, 0, 8, 24, -20, 2, 0, 14, -104, 4, -2, 0, 36, -3, 64, 6, 0, 7, 2, 8, 8, 0, -26, 56, -8, -14, 0, 0, -4, 28, 12, 0, 20, 4, -4, 14, 0, 2, 0, 6, -28, 0, 10, -36, -32, 12, 0, -8, -6, -8, -8, 0, 22, -8, 4, 12, 0, 8, 16, -20, 12, 0, 7, -20, -52, -12, 0, 12, 60, 3, 22, 0, 4, 2, -72, -20, 0, -8, -30, -42, -32, 0, -34, 2, -50, 0, 0, 54, -42, 30, -4, 0, -52, 4, -8, 16, 0, -2, -56, 58, -80, 0, 12, 0, -8, 3, 0, 46, 26, 6, 88, 0, -28, -36, -88, 56, 0, -12, -28, -24, -48, 0, -16, 28, 80, -7, 0, 10, -38, 16, -6, 0, 14, -3, 136, 16, 0, 4, 0, 4, 20, 0, 18, 28, -16, -30, 0, 8, 48, -2, -21, 0, 60, -6, 76, -36, 0, 4, -68, -26, 3, 0, 56, -12, 60, 2, 0, 8, -4, -30, 18, 0, 12, 8, 18, 18, 0, 10, -38, 44, -80, 0, -28, 70, 12, -40, 0, 28, 3, 28, -66, 0, 24, -2, 56, -4, 0, 7, -24, -9, 40, 0, 8, -52, -12, -14, 0, -38, 22, -2, 76, 0, 12, -4, -18, 8, 0, -12, -16, -16, 4, 0, 24, 8, 28, -2, 0, 68, -20, 6, 44, 0, -32, 14, 82, -16, 0, -3, 6, -8, -20, 0, 8, 52, 18, -8, 0, 56, 8, 34, 32, 0, 40, -18, 16, 28, 0, 52, -2, 0, -116, 0, -18, -84, -38, -10, 0, 4, -28, -3, -4, 0, -12, -12, 20, 20, 0, 4, 14, 0, -64, 0, 34, 8, -32, -8, 0, 0, -44, 24, -40, 0, -6, 2, 10, 22, 0, -3, 14, 60, 4, 0, -112, 12, -16, -74, 0, -3, -16, -8, -20, 0, 8, -2, 7, 24, 0, -44, 64, 18, 76, 0, -48, 64, 4, 3, 0, 32, -14, -16, 38, 0, 102, -18, 60, 28, 0, -16, 64, 6, -24, 0, 4, -71, -4, 26, 0, 2, 80, 2, 7, 0, 8, 44, 126, -20, 0, 10, -4, -88, -44, 0, 136, 12, 128, 12, 0, 38, 0, -2, -8, 0, -44, 0, 176, 28, 0, -8, -40, -4, -8, 0, -28, -8, 8, -24, 0, 20, 72, -2, -12, 0, 36, -14, -50, 104, 0, -4, -12, 2, -132, 0, -28, -36, 56, 3, 0, -64, -44, -6, -32, 0, 2, -7, 36, -2, 0, -8, 42, -8, 80, 0, -46, 26, 14, -56, 0, 8, -8, 14, -46, 0, 66, 0, 80, 4, 0, -28, 188, -12, 30, 0, -24, -20, -62, -4, 0, 4, -36, -14, 10, 0, -44, -2, -2, 0, 0, -6, 64, 28, -28, 0, 45, -10, 36, 36, 0, 32, 3, -12, 96, 0, 28, 8, -34, 6, 0, 8, 38, 8, -4, 0, -36, -22, 98, 8, 0, -4, 74, -12, 18, 0, 40, -8, 32, -16, 0, 20, 10, -12, -16, 0, 86, -7, -64, 20, 0, 52, -88, 12, 16, 0, 3, -12, 104, -60, 0, -3, 8, -22, -60, 0, -80, -4, 4, -2, 0, 72, -32, 20, 74, 0, -100, 8, 8, 30, 0, 42, -30, 32, 54, 0, -40, 34, -32, -2, 0, 50, 60, 0, 18, 0, -6, -54, -4, 42, 0, -30, -6, 4, 100, 0, -62, 52, 20, -4, 0, 8, -48, -16, -28, 0, 84, 2, 82, 56, 0, -58, 44, 80, -30, 0, 11, -12, -40, 0, 0, 8, 64, -3, 168, 0, 84, -46, 10, -26, 0, -6, -62, -88, 18, 0, 28, 28, 52, 36, 0, 88, -40, -56, 28, 0, 24, 12, -92, 28, 0, 24, -18, 48, -8, 0, -2, 16, 40, -28, 0, -80, 36, 7, 2, 0, -4, -10, 18, 38, 0, -16, 42, 6, 32, 0, 34, -14, -12, 3, 0, -136, 48, -16, -2, 0, 42, -4, 66, 0, 0, -4, -76, -20, 76, 0, -4, -18, -12, -28, 0, 16, 20, 30, 38, 0, 28, -8, 70, -48, 0, 2, -2, 21, 164, 0, 42, -60, 36, 6, 0, -76, 4, 36, -62, 0, 14, -4, -44, 68, 0, 26, 0, -3, -24, 0, 40, -56, -174, 12, 0, -60, -42, -2, 7, 0, -14, -8, -76, 4, 0, 30, -62, -18, 34, 0, -104, -12, -66, -8, 0, -18, -168, -18, -22, 0, -14, -10, 52, 38, 0, -44, 42, 80, 132, 0, -112, 28, -58, -70, 0, -12, -10, 40, -2, 0, 56, -28, 4, -3, 0, -28, 72, 66, 120, 0, -12, -24, -32, 2, 0, -56, 36, 4, 24, 0, 88, -7, -16, 24, 0, 9, -100, -40, -92, 0, 192, -8, 72, 52, 0, 12, 52, 14, 24, 0, -20, 38, 104, -22, 0, 2, -8, -76, -98, 0, -14, -12, -3, 4, 0, 18, -88, -8, -100, 0, 68, 12, 28, 16, 0, 16, -74, -4, 8, 0, 42, -24, -128, -8, 0, -28, 40, 2, 64, 0, -2, -68, -24, 20, 0, -6, 2, -44, -4, 0, -12, 32, 92, -14, 0, -82, -180, 16, -4, 0, 56, 3, -70, -6, 0, 8, 62, 20, -16, 0, -68, -8, 2, -52, 0, -18, -4, 8, 16, 0, 134, -56, -16, -8, 0, -34, 80, -32, -80, 0, 20, -40, -84, 18, 0, -16, 26, -28, 64, 0, -28, -52, -8, 2, 0, 0, -130, 116, -112, 0, 44, 18, 40, 84, 0, 38, 30, 10, 38, 0, 48, -4, 104, 28, 0, 3, 74, 4, -28, 0, 98, 12, -94, 12, 0, -20, -54, -20, -2, 0, 60, -4, 116, -14, 0, 0, -40, 64, -104, 0, -22, -34, -8, -8, 0, 32, -4, 8, 16, 0, 3, 0, 120, 44, 0, -24, -24, 40, 48, 0, -176, 6, -4, -2, 0, -10, -160, -22, 168, 0, -14, 3, -36, -14, 0, -60, 32, -4, 42, 0, 80, 112, -120, -12, 0, 16, -98, 74, -91, 0, 100, 3, -24, 16, 0, 8, 134, 20, -6, 0, -12, -8, 12, 2, 0, -7, -20, -24, 56, 0, -16, 44, -8, -64, 0, -18, 16, -76, -92, 0, -72, 48, -20, -64, 0, -4, -56, -3, -106, 0, -64, -32, 98, 14, 0, 16, 4, -38, 4, 0, 0, -102, 86, 18, 0, -60, -4, -28, -24, 0, 88, 16, -40, -64, 0, -6, 16, 24, -52, 0, -30, -4, -8, 71, 0, 4, 12, -26, -14, 0, -48, -2, -56, -80, 0, -2, 112, -7, 70, 0, -64, -8, -6, -44, 0, -126, 36, 20, 36, 0, 74, -10, -80, 4, 0, 88, 36, 44, -32, 0, 86, -136, -86, -12, 0, -128, 132, -12, -86, 0, 8, -38, -26, 0, 0, 2, 108, 8, 92, 0, -152, 44, 56, 0, 0, -176, -30, -28, -112, 0, 24, 8, -108, 40, 0, 4, 28, 8, -12, 0, -39, 28, -16, 8, 0, -8, 140, 24, 10, 0, -42, -20, 20, -72, 0, 2, 132, 12, -82, 0, 72, -36, 0, 14, 0, 50, 20, -104, -54, 0, -40, 4, -38, 12, 0, -2, -74, 132, -52, 0, -12, 28, 92, 36, 0, -56, 108, -3, -16, 0, 20, 64, -2, 44, 0, 6, -8, 32, -20, 0, 184, -2, -40, 7, 0, -36, 122, 2, 20, 0, 12, 8, -128, -42, 0, 8, 14, -80, -168, 0, -84, 46, 42, -26, 0, -14, -74, 56, -114, 0, -16, -8, 94, 8, 0, -14, -2, 46, 108, 0, -26, -66, -132, 0, 0, -80, 16, -4, -46, 0, -54, 28, 104, -188, 0, 12, -26, -30, -12, 0, -56, 24, -12, 20, 0, 62, -48, 4, -112, 0, -80, -4, -260, 36, 0, 14, 122, -10, -16, 0, -2, 44, 56, 2, 0, 2, -28, 0, 50, 0, 172, 6, -58, -64, 0, -28, 192, 28, -76, 0, 73, -45, 14, 10, 0, -36, 0, -36, 88, 0, 92, -32, 62, -3, 0, 12, -68, -96, -84, 0, -46, -28, -8, -8, 0, 34, 44, -6, -10, 0, -56, -8, -24, -38, 0, -8, 164, 4, -24, 0, 34, 36, -84, 22, 0, -98, 34, -8, -56, 0, 100, 4, 110, -74, 0, 12, 34, -18, 40, 0, -126, -40, 24, 8, 0, -32, -20, 16, 52, 0, -24, -20, 44, -10, 0, 12, -28, 16, -22, 0, -56, -86, -180, 7, 0, 64, 0, -20, 120, 0, -10, -52, -134, 88, 0, -12, -6, -16, 20, 0, 20, -3, -80, 12, 0, -104, -20, 60, -96, 0, -120, 3, -12, -8, 0, 22, -8, 60, -16, 0, -2, 80, -180, 4, 0, -4, 104, 2, -64, 0, 10, -72, -4, 32, 0, -20, -56, -74, -152, 0, 12, 100, -64, -8, 0, -8, -28, -30, -16, 0, 108, -42, 64, 30, 0, -32, 24, -54, 12, 0, -8, 40, -108, -34, 0, 32, 108, 2, 151, 0, -228, -50, 24, -60, 0, 0, 112, -18, -3, 0, 34, 6, 58, 54, 0, 4, 60, -42, 36, 0, -24, 30, 6, 6, 0, -4, -50, -100, -40, 0, -74, 62, 26, -52, 0, -20, 48, 4, 164, 0, -88, -8, -8, 48, 0, 16, 12, 28, 116, 0, -62, -84, -2, -2, 0, -82, -62, -56, -56, 0, -8, 58, 58, -44, 0, -80, 176, 30, -108, 0, 116, -11, -108, 12, 0, 40, -24, 0, -88, 0, -2, -8, -98, -64, 0, 3, -140, -168, -18, 0, -32, -84, -176, 46, 0, -10, -16, 26, -2, 0, -4, 6, -44, 62, 0, 88, -120, -18, -108, 0, -28, -28, 48, -28, 0, -52, -70, -36, -16, 0, 0, -88, -6, 40, 0, 56, -64, -28, 42, 0, -28, -24, -220, -12, 0, 92, 24, -28, 116, 0, 26, -24, -102, 18, 0, -48, -62, 8, 106, 0, -148, 2, -88, -16, 0, -40, 60, 28, 4, 0, -12, 80, 44, -36, 0, -7, 50, -2, 36, 0, 176, 4, 9, 10, 0, -18, 48, -38, -38, 0, 148, 16, -20, -42, 0, -6, 52, -32, -116, 0, -4, -34, 52, 14, 0, 12, -108, -3, -96, 0, 38, 136, 10, -48, 0, 16, -2, 2, -32, 0, 234, -42, 196, 4, 0, -66, 88, 0, 82, 0, -20, 4, 24, 76, 0, 20, 96, -76, -8, 0, 118, 4, 48, 18, 0, 12, -44, 28, 84, 0, -128, -16, 16, -20, 0, -30, -94, -38, -56, 0, -24, -28, 156, 8, 0, -70, -8, 48, 76, 0, 70, -2, 96, 2, 0, -21, 88, -164, 72, 0, -68, -42, -14, 60, 0, -36, 84, -6, -62, 0, 34, 76, -168, -4, 0, -36, 90, 62, 128, 0, -62, -14, -50, 4, 0, 44, -20, -68, 16, 0, -94, -26, -14, 0, 0, 3, 16, 24, -48, 0, -78, -40, 8, 56, 0, 174, -6, -12, 60, 0, -16, 60, -116, 42, 0, 2, -52, -7, -128, 0, 120, 14, 24, 8, 0, 76, 112, -4, -8, 0, -56, -30, 248, 62, 0, 18, -4, -34, -84, 0, 184, 104, -2, 12, 0, 66, -64, 8, 83, 0, -56, 18, -102, 168, 0, 18, -128, 22, -28, 0, -76, 14, -136, 10, 0, -52, -68, -38, -64, 0, -68, 44, 0, -42, 0, -80, -108, -132, 60, 0, 16, 112, 8, -28, 0, 58, 84, 70, -68, 0, 32, 12, -40, 10, 0, -40, -32, 2, -108, 0, -4, -56, -96, 28, 0, -4, 14, 3, -10, 0, 100, 28, -46, -72, 0, -66, -14, -120, 28, 0, 74, 12, 60, 24, 0, 32, -4, -2, -20, 0, -12, 56, 48, -36, 0, -4, -14, -24, -6, 0, -128, -88, 0, 7, 0, 16, -84, -24, -114, 0, 0, -9, 4, 100, 0, 40, -8, 92, -84, 0, 36, -192, 124, 8, 0, -72, 32, -52, 20, 0, 0, -12, 24, -52, 0, -14, 380, -24, 124, 0, 74, 20, 8, -38, 0, -104, 52, 22, -204, 0, 44, -2, -124, 8, 0, 76, -122, 98, -22, 0, -88, 14, -20, 12, 0, 3, 120, -4, -24, 0, -34, -18, -60, 88, 0, 8, -74, 100, -48, 0, -74, -68, -40, -12, 0, -28, -12, -16, 84, 0, 20, -16, 70, 74, 0, 4, 144, -8, 100, 0, 3, -42, 128, 24, 0, 128, 88, 8, 20, 0, -82, 28, 88, -40, 0, -2, -22, -64, 152, 0, 26, 2, 110, 68, 0, 24, -20, -20, -24, 0, 20, 6, 96, -2, 0, 44, 46, 4, -28, 0, -84, 12, -18, -32, 0, -92, 34, 14, -124, 0, -272, 82, -12, 180, 0, -16, -64, 4, -76, 0, -52, -56, -132, -3, 0, 70, 82, 6, 16, 0, -32, -8, -34, -62, 0, -20, -58, 16, 64, 0, -56, 68, 48, 8, 0, -2, 8, 52, 72, 0, -120, 18, 166, 4, 0, -8, 20, -16, -28, 0, 16, -134, -60, 56, 0, 16, -12, 8, 76, 0, 52, 34, -6, -80, 0, 32, -4, 80, 42, 0, 34, -20, 62, 40, 0, 84, 71, -18, -214, 0, -20, 16, -96, -26, 0, 28, -160, -64, 32, 0, -2, 28, 4, 52, 0, 8, -172, -2, -28, 0, 196, 0, 60, 130, 0, -116, -16, 112, -36, 0, -116, -44, -54, -18, 0, -40, 148, -84, 20, 0, 100, -38, -72, -30, 0, -10, 64, -38, -32, 0, 144, -48, 88, 4, 0, -104, -96, -28, 48, 0, 26, -3, 34, -74, 0, -4, -12, 28, 52, 0, 85, -98, 60, -12, 0, 94, -16, -12, 76, 0, -38, 20, -64, 54, 0, 20, 18, 2, -56, 0, -78, -60, -160, 4, 0, -116, 48, 14, -58, 0, -20, 0, -146, 40, 0, -64, 54, 104, -28, 0, -248, 22, -156, 34, 0, 8, -68, 8, 248, 0, 0, -32, 4, 4, 0, -8, 2, -16, 114, 0, 16, -3, 112, 0, 0, -120, 8, -44, 36, 0, 96, 24, -46, 24, 0, -40, -82, -48, 64, 0, -20, 176, -48, -6, 0, 4, 100, 2, -98, 0, -32, 10, 46, 160, 0, 22, -264, -168, 16, 0, -48, 14, 80, -3, 0, 36, -62, 14, -104, 0, -16, 60, -30, -32, 0, 4, -56, -42, -68, 0, 112, -80, -2, -112, 0, 120, -176, 12, 154, 0, -88, -16, 56, 98, 0, -74, 36, 91, 24, 0, 88, -100, 8, -3, 0, 24, 128, -16, 218, 0, 64, -8, -42, -134, 0, -20, 24, 6, -80, 0, -28, 12, 56, 8, 0, -12, -8, -2, 176, 0, -152, 7, -64, 20, 0, 24, 16, -56, 2, 0, -112, 16, -10, -44, 0, 8, 52, 64, -50, 0, 156, 18, 8, -16, 0, 76, 64, 92, -68, 0, -134, 72, -18, -48, 0, 20, -26, 64, 21, 0, -20, 4, 164, 56, 0, 3, -228, 106, 100, 0, -8, 64, 4, 32, 0, -98, -16, -14, 44, 0, 268, -16, -102, -4, 0, 38, 110, -4, -16, 0, 120, 0, 164, 102, 0, -86, 0, -18, -4, 0, 64, 60, 8, 4, 0, 28, 18, 24, -144, 0, 106, -88, 12, -16, 0, 40, -224, 64, -16, 0, -28, 6, 82, -16, 0, -24, 20, 52, -130, 0, 16, 30, 230, 4, 0, 8, -220, -71, 64, 0, -4, -4, -8, -12, 0, 26, -152, 14, 96, 0, -16, 48, -44, 2, 0, 56, -172, 80, -78, 0, -128, 2, 8, -112, 0, 7, 86, -70, 0, 0, -72, 64, -20, 8, 0, 6, 118, 44, -232, 0, 20, 126, -28, -36, 0, -20, 36, -36, 46, 0, -36, -74, -40, 10, 0, 80, 10, -4, -24, 0, -8, -88, 68, -36, 0, -44, -2, 32, 26, 0, -32, -86, 196, 136, 0, 86, 112, 12, 154, 0, -20, 128, 136, -132, 0, 12, 108, 86, 72, 0, 12, -8, -76, 38, 0, 26, 32, 0, -6, 0, 132, -2, -48, -108, 0, -8, 64, -92, -128, 0]