# Trace form for 4225.2.a.bh, downloaded from the LMFDB on 23 April 2024.
[0, 3, 3, -4, 5, 0, -2, 2, 9, 3, 0, 6, 2, 0, -4, 0, 5, -6, 5, 0, 0, 2, 14, -14, 8, 0, 0, -10, 2, 6, 0, 10, 11, -6, 10, 0, -11, 0, 8, 0, 0, 4, 14, -6, 20, 0, -16, 10, 24, -9, 0, 12, 0, -8, -34, 0, 20, 2, -12, 8, 0, 6, 6, -18, 33, 0, -8, 10, 10, 12, 0, 12, -45, -24, -2, 0, 10, -2, 0, -16, 0, 23, 24, 22, 6, 0, 16, 6, 24, -10, 0, 0, -32, -2, 16, 0, 18, -14, -25, 8, 0, -2, -4, -8, 0, 0, -36, -38, -22, 24, 0, 18, 10, 10, -4, 0, 6, 0, -20, -16, 0, -13, 8, 12, 24, 0, -20, 20, 25, 32, 0, 0, 6, -6, 48, 0, -6, 18, -2, 4, 0, -18, -8, 0, -63, 0, -22, 8, 16, 24, 0, -16, 6, -2, 2, 0, 0, -10, 12, 16, 0, -14, 53, 18, 44, 0, 12, -14, -22, 0, 0, 2, 36, 24, 42, 0, 34, -30, -34, 28, 0, 14, 0, -26, -62, 0, 20, 4, 18, 36, 0, 20, -22, -26, 26, 0, -35, 6, 0, 0, 0, -10, -2, 36, 0, 0, -22, 4, 0, 8, 0, -8, -36, -58, -24, 0, 26, 22, -20, 14, 0, 0, 38, 14, 8, 0, 18, 6, 2, -6, 0, 16, 60, 8, 0, 0, -34, 16, 28, 18, 0, 44, 13, -24, -6, 0, 12, 0, 64, -38, 0, 8, -14, -30, 42, 0, 5, 16, 30, 20, 0, -54, 36, -20, 36, 0, 10, 32, 58, 18, 0, 8, 38, 0, -42, 0, -16, 36, -56, -28, 0, -20, -22, 18, -42, 0, 0, 0, -55, -7, 0, 4, -56, 4, 14, 0, 54, -44, 40, 0, 0, -2, -44, 52, 24, 0, -30, -6, 14, -36, 0, 8, 0, 46, -34, 0, -4, -60, 44, -6, 0, 48, 10, 16, 45, 0, 20, -80, 64, -4, 0, 22, 18, -56, -20, 0, -10, -14, 0, -36, 0, 16, -10, -8, 54, 0, 68, -36, 18, 26, 0, 0, 54, 36, -16, 0, -22, 20, 68, 16, 0, -49, 12, 30, 0, 0, -42, 12, -54, -28, 0, 28, 18, -2, 8, 0, 16, 0, 8, 18, 0, -52, 60, 10, -28, 0, -102, -56, 2, -22, 0, 24, -39, -28, 6, 0, -46, 0, -80, 12, 0, 26, -38, 0, 46, 0, -12, -2, 24, 44, 0, -76, -74, 14, 10, 0, 0, -8, 18, 8, 0, 24, -72, 30, -8, 0, -72, -16, -52, 0, 0, 30, 10, -8, -6, 0, -52, -2, -22, 32, 0, -13, 0, -72, 18, 0, 104, -28, 30, -8, 0, 28, 2, 2, -16, 0, 20, 22, -22, -28, 0, 78, 24, -22, 30, 0, -20, -20, 0, -28, 0, 32, -34, 10, -28, 0, 16, -52, 6, 8, 0, 0, 84, 0, 17, 0, 10, 2, -36, -42, 0, 40, 20, -48, 0, 0, 54, -14, -22, -4, 0, -26, -4, -10, 0, 0, -76, 0, 30, 10, 0, -36, -1, -24, -52, 0, 20, 26, 16, 16, 0, 50, -60, -8, 8, 0, -86, -28, 58, 3, 0, 38, 10, 0, 68, 0, 40, -52, 98, -34, 0, -50, 48, -50, 42, 0, 0, -50, -82, 62, 0, -18, -30, -44, 52, 0, -56, 8, -40, 0, 0, 8, -28, 22, 2, 0, -48, -38, -90, -46, 0, 48, 0, 8, 32, 0, -19, 56, -95, 28, 0, 16, -60, -44, -126, 0, -10, 66, -10, -4, 0, -8, 68, 34, -76, 0, 60, -20, 0, 56, 0, 62, 54, 38, -74, 0, 100, 42, 32, -60, 0, 0, -26, 50, -68, 0, 34, -46, -74, -76, 0, 28, -72, 36, 0, 0, 26, -2, -22, -4, 0, 2, -64, 44, -58, 0, 0, 0, 6, 118, 0, -6, 6, -50, -18, 0, -12, -12, -1, -12, 0, -24, 14, -34, -68, 0, 116, 32, -12, 8, 0, -8, 70, 0, 40, 0, -90, -42, -74, 10, 0, 14, 6, -26, -2, 0, 0, 60, -60, -64, 0, 42, 50, 46, -24, 0, 20, 4, 130, 0, 0, 62, 132, -38, -90, 0, -66, 32, 122, 44, 0, 26, 0, -2, 80, 0, 34, 48, -14, -2, 0, 28, 26, -58, -36, 0, 72, 10, 8, 4, 0, -38, -55, -24, -10, 0, 8, 74, 0, 27, 0, 56, -14, 2, 62, 0, -84, 58, -80, 10, 0, 0, -12, -82, -8, 0, -114, 38, 24, -42, 0, 20, 10, -100, 0, 0, -12, -92, 14, 10, 0, 82, -86, 12, 108, 0, -60, 0, -8, -2, 0, -100, -126, 20, -130, 0, -86, -40, -46, 20, 0, 4, -56, 108, -63, 0, -92, 2, 10, 4, 0, -24, -130, 0, 30, 0, -100, 18, -4, -8, 0, -90, -26, -46, 10, 0, 0, -4, 142, 70, 0, -22, 0, -50, 14, 0, -28, 22, 56, 0, 0, 52, -56, -20, -164, 0, -58, 90, 82, 6, 0, -44, 0, -14, 52, 0, 32, 28, 12, -18, 0, 21, 12, 0, -44, 0, 40, -22, -48, -96, 0, -18, -34, 56, -24, 0, -122, 4, 0, 60, 0, 8, -62, 42, -34, 0, 72, 12, 14, -4, 0, 0, -72, 70, -44, 0, -34, -50, 52, 22, 0, 18, 5, 46, 0, 0, -74, 28, -42, -34, 0, 76, 142, 6, -24, 0, -24, 0, -28, 66, 0, -40, 76, -8, -38, 0, 0, 28, 38, -150, 0, -24, 10, 34, -26, 0, -30, -64, 52, 44, 0, -26, 90, 0, 12, 0, -100, 118, 24, 92, 0, -16, 40, -80, -98, 0, 0, 8, 28, -128, 0, -74, 68, -36, -120, 0, 40, 82, -16, 0, 0, 62, -52, -32, -40, 0, 52, 48, -32, 20, 0, -33, 0, -16, 148, 0, -52, 14, -1, -16, 0, 0, 58, 60, -52, 0, -58, 72, -50, -44, 0, 124, -40, -22, 36, 0, 84, 28, 0, 4, 0, -28, 70, -42, -78, 0, 6, -112, 108, 80, 0, 0, -74, -72, -88, 0, 28, -28, 38, -34, 0, -40, -126, -76, 0, 0, -16, 86, -42, -30, 0, -14, 16, 18, -91, 0, -8, 0, -120, -44, 0, 4, 2, 76, 54, 0, 16, -8, 36, 36, 0, 16, 104, 4, -42, 0, 18, -60, -84, -86, 0, -8, -122, 0, 64, 0, 44, -2, 29, -30, 0, -94, 110, 94, -6, 0, 0, 12, 12, 70, 0, 32, 106, 60, -88, 0, 130, 26, -78, 0, 0, -42, -46, 70, 14, 0, -70, -122, -38, -25, 0, 8, 0, 32, -4, 0, -102, -22, 100, 36, 0, 52, 30, 18, -96, 0, 44, -24, 80, 2, 0, -4, 4, -72, 14, 0, -74, -30, 0, 24, 0, -28, 20, 54, -68, 0, 36, 46, 54, -84, 0, 0, -108, -30, -24, 0, -188, 86, -96, 56, 0, -8, 124, 118, 0, 0, 16, 38, 40, -74, 0, 20, 55, -110, 98, 0, -97, 0, 80, 2, 0, 28, -48, 50, -24, 0, -88, 48, -108, -48, 0, -76, 20, -52, 20, 0, -64, -62, 38, 120, 0, -8, -4, 0, 66, 0, 34, -62, -64, 0, 0, 26, 84, 52, 40, 0, 0, -2, 40, 4, 0, 32, 70, -60, 42, 0, 0, -64, -106, 0, 0, 20, 48, 38, -44, 0, 14, -116, 0, 32, 0, 56, 0, 70, 10, 0, 142, -68, -106, -46, 0, 128, 58, 114, -98, 0, -52, -30, -80, -12, 0, 52, 136, 28, -136, 0, 8, -6, 0, -46, 0, -48, -10, -36, 2, 0, 26, 52, 40, 54, 0, 0, -102, -72, 8, 0, 136, -20, -116, -76, 0, 28, -116, 38, 0, 0, 42, 32, 230, 10, 0, 44, -102, 36, -28, 0, 12, 0, -98, 18, 0, -32, 4, -26, -70, 0, 5, -24, -38, 80, 0, 50, 24, 18, 0, 0, -34, 42, -32, 12, 0, -14, 144, 0, 50, 0, 8, 24, -84, -64, 0, -44, -136, 78, 72, 0, 0, 64, -18, 40, 0, -66, -68, 6, 30, 0, -176, 8, -42, 0, 0, 28, 14, 88, 6, 0, 50, 92, -70, -20, 0, 52, 0, 24, 52, 0, -16, -18, 44, 14, 0, -114, 118, -12, 100, 0, 52, 22, -40, -55, 0, -140, -40, -6, 12, 0, 140, 14, 0, 4, 0, 18, 66, -64, 216, 0, -70, 2, -146, -58, 0, 0, -30, 60, 8, 0, 114, 62, 132, 62, 0, -36, 154, -10, 0, 0, 18, 76, 96, 6, 0, -64, 76, -90, 52, 0, -24, 0, 34, 62, 0, 18, 0, 62, 10, 0, -56, -44, -12, -46, 0, 160, 40, 32, 68, 0, 66, -70, 120, 20, 0, 36, -50, 0, -83, 0, 0, 30, -52, 66, 0, -12, 4, 50, 36, 0, 0, 18, -49, -44, 0, -10, -16, 4, 58, 0, 82, 74, 138, 0, 0, 12, -176, -172, 126, 0, -124, 92, -26, 60, 0, -82, 0, 40, -28, 0, -104, 2, 38, 16, 0, 52, -94, 64, 80, 0, 52, 58, 62, 44, 0, 28, 56, 114, 36, 0, -172, -24, 0, -8, 0, 108, -24, -28, -48, 0, 136, 32, 6, -22, 0, 0, 110, 122, -12, 0, -124, -88, 164, -52, 0, 12, -114, 24, 0, 0, 6, 84, -166, 30, 0, -50, -100, 94, -98, 0, 82, 0, -118, -74, 0, -40, -2, -10, -36, 0, -42, -76, 28, 76, 0, -52, -26, -10, -60, 0, 24, -10, -97, -100, 0, 174, -28, 0, -116, 0, 18, -10, 34, -150, 0, 48, -28, 4, -208, 0, 0, 58, 56, 76, 0, 50, -60, 8, -10, 0, 0, 0, 12, 0, 0, -26, -110, 8, -34, 0, -126, 78, 134, -98, 0, 112, 0, 110, -52, 0, 194, 22, 136, -12, 0, 54, -82, 80, 72, 0, -124, -106, 66, 106, 0, 88, -20, -14, 8, 0, 76, 6, 0, 64, 0, 72, 76, 12, -40, 0, -6, -100, -228, 108, 0, 0, -42, 36, 96, 0, 220, 80, 80, 56, 0, -60, -32, -18, 0, 0, -6, -52, 0, 54, 0, 34, 50, 58, -60, 0, 80, 0, 102, 130, 0, -43, -123, -32, -12, 0, -32, 24, 76, -32, 0, -24, -30, -68, 56, 0, -92, 64, -90, -60, 0, 14, -26, 0, 56, 0, 10, 18, -12, 166, 0, 42, -46, -8, 28, 0, 0, 4, -20, -44, 0, -14, -16, 66, -28, 0, -100, -44, -78, 0, 0, -58, 136, -96, 98, 0, 82, -82, -24, -20, 0, -78, 0, 12, -240, 0, 50, 162, -62, 60, 0, -12, -22, -22, 42, 0, 140, -72, 66, -28, 0, 30, 20, 84, 81, 0, -40, 22, 0, -48, 0, -4, -178, 6, -86, 0, -58, -118, -30, 4, 0, 0, 144, -62, 128, 0, 22, 130, 20, -58, 0, -20, -42, 38, 0, 0, 48, -128, -18, 0, 0, 56, 40, -56, 156, 0, -76, 0, -58, -172, 0, 96, -30, 4, 198, 0, 168, 80, -250, 104, 0, -96, -112, 70, 8, 0, 74, 24, -122, 16, 0, -138, -30, 0, 8, 0, 4, -34, 92, -56, 0, 30, -2, 40, 182, 0, 0, -58, -20, -1, 0, 36, -202, -136, 220, 0, 90, 162, 44, 0, 0, -54, -28, -84, 188, 0, -64, -58, -174, -92, 0, 0, 0, -96, -148, 0, 48, -2, -144, 52, 0, -8, 14, -48, 12, 0, -156, 4, -132, 126, 0, -18, 122, 70, 16, 0, 52, -74, 0, -172, 0, 70, 2, 92, 56, 0, 0, 62, 64, -94, 0, 0, 156, -42, 72, 0, -86, -128, -136, 0, 0, -4, -55, -16, 0, 0, -50, 16, 236, 150, 0, -10, -28, 102, 88, 0, 81, 0, 28, 12, 0, 20, 144, -84, 120, 0, -68, -46, -58, 66, 0, -28, -44, -22, 106, 0, -6, -14, -76, 144, 0, 44, 280, 0, -132, 0, 68, -32, 20, 96, 0, 0, 48, 6, 56, 0, 0, 28, -126, -32, 0, 6, -120, 28, 140, 0, -88, 34, -54, 0, 0, 26, 46, -20, -120, 0, 158, 10, 76, 80, 0, 0, 0, -16, -54, 0, 44, 18, -244, -52, 0, -124, 0, -68, -16, 0, 0, 28, -70, -8, 0, -22, -120, 86, -180, 0, 40, -60, 0, -14, 0, -156, -24, 14, 130, 0, -110, 100, 130, 106, 0, 0, 82, -166, -32, 0, 34, 28, -175, -66, 0, 44, -20, -82, 0, 0, -188, 78, -132, -42, 0, -10, -148, -52, -76, 0, 42, 0, 66, -98, 0, -44, 20, -94, -20, 0, 64, 2, 176, 44, 0, 58, 14, 58, 194, 0, -12, 46, 0, 58, 0, -24, -98, 0, -164, 0, -40, -184, 2, -116, 0, 80, -92, -52, -128, 0, 0, -26, 56, 20, 0, 36, -14, -48, -26, 0, 93, -108, 14, 0, 0, -100, -30, -128, 104, 0, 256, 24, 38, -94, 0, 32, 0, -80, 0, 0, -136, -72, 54, 10, 0, -98, -20, 14, 164, 0, 48, 8, 4, 24, 0, -96, 114, -44, 92, 0, -124, 36, 0, 4, 0, -10, -74, 60, -66, 0, 48, 12, -94, -20, 0, 0, -22, -56, -60, 0, 42, 16, -85, 152, 0, -28, 8, -30, 0, 0, -84, -20, -32, -80, 0, -16, -298, -68, -146, 0, 46, 0, 8, -32, 0, -24, 78, 42, 30, 0, 192, -60, -86, -97, 0, -48, 12, 110, -16, 0, 120, 138, -36, -60, 0, -132, 40, 0, -124, 0, -48, 72, 64, 110, 0, 80, -130, 24, -170, 0, 0, -2, 156, -24, 0, -68, 2, -66, 16, 0, 76, 8, -140, 0, 0, 64, 48, 44, 136, 0, 106, -56, 12, 264, 0, 44, 0, -118, -162, 0, -112, 6, 22, 60, 0, 72, -184, -38, 212, 0, -170, 14, -36, -24, 0, -12, -40, -164, 212, 0, 160, -168, 0, 24, 0, -132, 48, 122, 46, 0, 24, 6, -58, 26, 0, 0, -80, -42, 53, 0, -98, -100, 152, 52, 0, 136, -13, 184, 0, 0, -24, -46, -2, 106, 0, -80, 120, -40, -4, 0, 104, 0, 112, -156, 0, 56, -116, 46, 76, 0, -154, 0, -32, 104, 0, -42, -60, -130, 94, 0, 24, -14, 182, -114, 0, 68, -92, 0, -152, 0, 52, 14, 140, -80, 0, -26, 68, -128, 4, 0, 0, -18, 52, 84, 0, 6, 106, 68, -172, 0, -8, -54, 96, 0, 0, -24, 22, -84, 88, 0, -68, 16, -20, -22, 0, -68, 0, 142, -30, 0, 24, 28, -24, -14, 0, -25, -32, 204, 138, 0, -16, 48, -38, -8, 0, -66, -126, 22, -4, 0, -160, 224, 0, -84, 0, 38, 60, -10, -104, 0, -78, -46, -56, -2, 0, 0, 46, 2, -30, 0, 12, -76, 172, 166, 0, 38, 92, -104, 0, 0, 56, -8, -38, -92, 0, -2, 186, 118, -60, 0, -120, 0, -78, -46, 0, 180, 84, 60, 58, 0, 290, 66, -154, 24, 0, 44, 30, 110, -98, 0, -70, -82, 76, -28, 0, -174, -120, 0, 120, 0, 40, -82, -184, 36, 0, -60, -12, 40, 162, 0, 0, -10, 36, -4, 0, -24, 20, 130, -62, 0, -12, -64, 14, 0, 0, 0, 10, 66, 116, 0, 36, 202, 98, -28, 0, 2, 0, -64, -28, 0, -84, -22, 4, 52, 0, -72, 28, -16, -52, 0, -234, -130, -144, -4, 0, 18, 140, -58, -136, 0, 30, 168, 0, 30, 0, -144, 102, -52, 220, 0, 164, -44, -114, -154, 0, 0, 64, -12, -130, 0, 194, -24, -54, 26, 0, -24, 62, 66, 0, 0, -50, -100, 90, 120, 0, 108, 80, 8, 64, 0, 100, 0, -74, -110, 0, 204, 81, 150, 136, 0, -108, 80, 64, -24, 0, -103, -36, -60, 20, 0, 180, -12, -38, -42, 0, 132, 42, 0, 84, 0, 28, 26, 12, -172, 0, 14, 10, -62, 116, 0, 0, -106, 156, 24, 0, 176, 56, 40, 92, 0, -40, -92, -20, 0, 0, -60, -32, -42, -124, 0, 118, -10, 28, -52, 0, 128, 0, 126, -14, 0, 16, -152, -62, 30, 0, -72, -150, -98, 10, 0, 148, 108, -54, -28, 0, 22, -214, -14, 48, 0, 38, -168, 0, -4, 0, 16, 20, -170, -26, 0, -120, -26, 98, -104, 0, 0, -10, -52, 188, 0, -218, -72, -10, 20, 0, -56, -48, 24, 0, 0, 56, -6, 16, 86, 0, 20, 96, 32, 136, 0, 16, 0, 70, 110, 0, 36, -10, 28, 54, 0, -36, 204, 166, -70, 0, 0, 78, 84, 44, 0, -82, 76, -23, -60, 0, -8, -188, 0, -188, 0, 50, 96, -8, 136, 0, 128, 28, 110, -30, 0, 0, -96, -8, 28, 0, 4, 172, 34, 96, 0, 16, 138, 320, 0, 0, -32, -54, 18, -82, 0, -204, -24, -82, -4, 0, -104, 0, 48, 18, 0, -100, -184, 48, -152, 0, 0, 2, 6, 112, 0, 60, -68, 342, 136, 0, 26, -34, 26, 154, 0, -6, 44, 0, -15, 0, 12, 34, -192, 40, 0, 54, 226, -6, 232, 0, 0, 76, 244, 162, 0, -110, -36, 48, -56, 0, 16, 66, -120, 0, 0, 54, 20, 114, 16, 0, -206, -24, 10, 24, 0, 52, 0, -34, 36, 0, -116, -162, -4, -10, 0, 92, 172, 108, -48, 0, 70, 168, 8, 68, 0, 48, 40, 46, -28, 0, -114, 190, 0, -84, 0, 164, -4, 8, -66, 0, 66, 44, 94, -66, 0, 0, 18, -133, 60, 0, 32, 64, -106, -164, 0, -106, -56, 70, 0, 0, -142, 164, 100, 18, 0, 266, -28, 156, -134, 0, -108, 0, 36, 30, 0, -87, 74, 92, -112, 0, -68, 38, -44, 28, 0, 8, -106, 106, 144, 0, -106, 54, 64, 120, 0, 240, 100, 0, 112, 0, 40, 20, -96, -122, 0, -184, -12, 194, -90, 0, 0, -160, -70, -20, 0, 132, -40, -108, 116, 0, -80, -42, -62, 0, 0, 98, -118, -20, 8, 0, -144, -158, -72, -172, 0, 56, 0, -60, 108, 0, 56, 140, -24, 58, 0, 66, -114, -26, -22, 0, 172, 68, -64, -4, 0, -14, -100, -100, 40, 0]