# Trace form for 4025.2.a.h, downloaded from the LMFDB on 23 April 2024.
[0, 2, -3, 0, 3, 0, -5, 2, -6, 4, 0, 12, 15, -6, -3, 0, 13, -2, -6, 8, 0, 0, -18, -2, -20, 0, 9, 0, 3, 6, 0, -2, -15, 0, 8, 0, 6, 10, -2, 0, 0, 0, -5, 6, 18, 0, 3, 4, 15, 2, 0, -10, -9, 22, 5, 0, -6, -20, 1, -4, 0, 10, -7, 4, 4, 0, -30, -2, -18, 0, 0, -4, -12, -18, -10, 0, -18, 12, 15, 0, 0, -22, 15, 6, 15, 0, -24, -20, -36, -14, 0, -6, -3, 20, -1, 0, -15, 14, -3, 24, 0, -4, 20, 16, 18, 0, -38, -4, -15, 10, 0, -10, 13, 12, 10, 0, -21, -12, -4, -2, 0, 50, -30, -30, 27, 0, -6, -6, 9, 30, 0, 30, 90, 8, -2, 0, 26, 2, 5, -14, 0, -10, 1, -36, 26, 0, 27, 0, 0, 14, 0, 40, 16, -4, -18, 0, -45, 34, -30, 10, 0, -2, 33, 34, -45, 0, -24, -16, -20, -8, 0, 16, 54, -12, 15, 0, 78, 20, 16, 24, 0, -20, 9, 30, 6, 0, -25, -12, -9, 0, 0, -8, 30, 8, -36, 0, 3, -24, -36, -24, 0, 10, 26, 6, -30, 0, -44, -4, -39, 48, 0, -16, 48, 10, 46, 0, 20, -2, 0, 0, 0, 6, -10, 8, -15, 0, -48, 12, 30, -24, 0, 0, 22, 0, 18, 0, 24, 60, 8, 4, 0, -18, -75, 0, 60, 0, 45, -24, -34, 30, 0, 0, 6, -12, 9, 0, -9, -10, -60, 10, 0, 12, -55, -2, -120, 0, -2, 10, 12, 0, 0, -44, -28, 0, -8, 0, -15, 8, 11, -4, 0, 6, 5, 18, 9, 0, 54, 0, -30, -22, 0, 30, -27, 42, -5, 0, -10, 0, -26, 6, 0, 6, -55, -40, 22, 0, 16, -12, 18, 40, 0, 6, 60, 26, -56, 0, 90, 16, -70, 36, 0, -80, 3, 12, -33, 0, -51, -30, 60, 4, 0, 0, 54, 20, 4, 0, 15, -12, 12, 60, 0, -12, -4, 2, -78, 0, 38, -52, 15, -28, 0, 0, -90, -42, -20, 0, -6, -10, -21, -12, 0, 34, 30, 0, -9, 0, -70, 14, -13, 0, 0, 22, 15, 22, 48, 0, 8, -18, 5, 14, 0, 0, 22, 4, -25, 0, -17, 12, 66, 16, 0, 2, -6, 20, 51, 0, 36, -26, 66, -20, 0, 22, -10, 6, -66, 0, 1, 60, 50, 52, 0, 10, 84, -4, 6, 0, 45, 20, -12, 2, 0, 64, 4, 8, -86, 0, -5, 10, -126, 0, 0, 24, -15, -22, -7, 0, -30, -8, 45, -18, 0, 4, -24, -30, 60, 0, 8, 10, 4, -24, 0, 0, 108, -10, 12, 0, -20, 62, 36, 10, 0, -24, -30, -16, 9, 0, -15, -36, -18, -2, 0, 10, -28, 36, -90, 0, -18, 44, 29, 0, 0, -30, -18, 0, 75, 0, 40, 54, -90, 0, 0, 4, -45, 14, 6, 0, 17, -4, -60, -4, 0, 40, -20, -58, -12, 0, 18, 0, -9, 4, 0, -18, 18, 20, 65, 0, 90, 24, -10, -40, 0, -24, 2, 2, 75, 0, 58, -18, 90, 2, 0, -8, -18, 0, 20, 0, -14, -30, -15, 12, 0, 26, 76, 0, 30, 0, 15, -58, 18, 20, 0, 64, 20, 0, -77, 0, 9, 24, -14, -18, 0, -60, 16, -42, 15, 0, 18, -22, -8, -64, 0, 0, -54, -20, 15, 0, 8, 46, 23, 10, 0, 6, -80, 132, 54, 0, -88, 16, 15, -48, 0, -30, 50, -12, 30, 0, 36, -60, -9, 0, 0, -20, -24, -4, 45, 0, 70, 20, -30, -20, 0, -12, -36, 76, 48, 0, -36, -24, -100, -14, 0, 0, 21, -14, -45, 0, -24, -120, 66, 0, 0, -46, -120, 40, -14, 0, 180, -6, 6, -8, 0, 42, 130, 52, -3, 0, -8, 32, 66, -24, 0, 20, 51, 36, 20, 0, -45, -36, -1, 48, 0, -38, -45, 30, -78, 0, -20, -6, 36, -40, 0, 60, -15, -68, -12, 0, -12, 50, -120, 14, 0, -60, -42, -42, -36, 0, -3, 0, 84, -66, 0, 40, -78, 24, 88, 0, 0, 30, 37, 30, 0, 6, -15, 60, 24, 0, 43, -4, 0, -16, 0, 0, 22, 2, 20, 0, -9, -70, -2, 40, 0, 16, 29, 90, -30, 0, -125, 36, 18, -14, 0, -36, 120, 6, -16, 0, 15, -12, 30, 0, 0, 60, -38, 18, -40, 0, -38, 12, -108, -4, 0, 54, 11, 40, -3, 0, -15, -8, -76, 0, 0, 0, 15, 10, -42, 0, 4, 12, -45, -20, 0, -100, 27, -48, -48, 0, -102, -10, -64, 60, 0, -24, -8, 20, 13, 0, -105, -52, -81, -110, 0, 12, -72, -30, 9, 0, -126, -4, 10, 6, 0, -28, 22, -108, 0, 0, 21, 30, 92, -36, 0, 18, -21, -20, -60, 0, -80, -36, -103, -12, 0, 24, -20, 14, -128, 0, -4, 4, -6, -60, 0, 130, -12, -2, 5, 0, -108, -20, 32, 54, 0, 0, -96, -50, 36, 0, -2, 50, 158, -90, 0, -10, -15, 16, -30, 0, 172, 18, 90, -50, 0, -30, -16, -10, 15, 0, 18, 20, 27, 0, 0, 6, 30, 28, 2, 0, -135, -40, 27, 50, 0, -24, -6, -40, 54, 0, -5, -8, -70, -6, 0, -132, -48, 36, -50, 0, 9, 0, 66, -46, 0, -32, 90, 30, -156, 0, -85, 8, -72, -8, 0, 18, -70, 36, -88, 0, -36, 30, -20, 30, 0, -60, 1, 12, 90, 0, 84, 32, -15, 0, 0, 8, 45, -60, 34, 0, 36, -26, -2, -30, 0, 20, -100, 0, 4, 0, -144, 18, 90, 54, 0, -20, 26, 12, -76, 0, -99, -120, 60, 2, 0, -20, 30, -8, 108, 0, 5, -70, -150, -20, 0, -18, -120, -14, -111, 0, 110, -86, -85, -84, 0, 20, 19, 26, 90, 0, -16, -10, 54, -6, 0, 8, -15, 90, 1, 0, 90, -44, 21, 10, 0, -36, -20, -16, 60, 0, 82, 68, 26, -8, 0, 60, -18, 42, 20, 0, 18, 24, -91, 90, 0, 88, 27, 120, -79, 0, -10, 0, -165, 0, 0, 26, -150, -10, -6, 0, 0, -40, 90, -6, 0, -20, -4, 14, -42, 0, 72, 10, -130, -62, 0, 4, -168, 66, 32, 0, -90, 40, -3, 40, 0, 26, -8, 60, 16, 0, -45, 84, -90, 94, 0, -4, 2, 50, -15, 0, 45, 40, -18, -18, 0, -4, -39, -160, -96, 0, 50, 74, -34, 100, 0, 54, -45, 52, 97, 0, -26, -4, -60, 34, 0, -10, -26, 6, -15, 0, -30, 30, 207, 10, 0, -24, 2, 10, -36, 0, 54, -52, 72, 10, 0, -56, 120, -6, -66, 0, 88, -2, -10, 70, 0, 60, -108, 96, 33, 0, -11, 110, 86, -8, 0, 34, 0, -12, 108, 0, 50, -30, -45, -20, 0, 40, 18, 2, -29, 0, -3, 42, -35, -20, 0, -30, -24, 32, 150, 0, -228, 80, -117, -16, 0, -40, 138, 10, -89, 0, -20, -24, 22, 60, 0, 36, 105, -8, -60, 0, 98, -24, -90, 60, 0, 60, -62, -42, 150, 0, 9, 16, 0, 60, 0, -30, 85, -110, 54, 0, -4, -6, -100, -60, 0, -12, -90, -6, -60, 0, -44, -66, 15, -22, 0, -60, 3, -48, 52, 0, -104, 50, -108, 90, 0, -48, 78, 4, 46, 0, 180, -74, 56, 20, 0, 18, -5, 72, -81, 0, 16, -42, 45, 8, 0, -28, -6, 24, 60, 0, -122, -70, 20, 6, 0, -42, 64, 0, 90, 0, -20, -20, -6, 10, 0, -60, -250, -28, 9, 0, -126, -54, 2, 22, 0, 30, -108, -66, -150, 0, -118, -72, 6, -42, 0, 30, -12, -40, -73, 0, -143, -52, -24, 30, 0, -60, -25, 8, -102, 0, 1, 66, 30, -12, 0, 20, 45, 12, 54, 0, -9, 0, -52, -32, 0, -40, 42, 0, 135, 0, -60, -70, 84, 100, 0, 168, 0, 54, -1, 0, -32, -8, 40, -48, 0, 28, -180, -60, 30, 0, 117, -60, 72, -36, 0, 8, 24, -180, -50, 0, 180, 4, -36, 80, 0, 0, 60, 32, 162, 0, 13, 48, 32, -14, 0, -10, 3, 36, 60, 0, -90, 22, 114, -24, 0, 114, 0, 70, 116, 0, -36, -72, -108, -120, 0, 12, -85, -24, -60, 0, -27, -36, -45, 14, 0, 40, -24, -10, 45, 0, -20, 10, 54, -42, 0, -36, -3, 68, 26, 0, -20, -30, 44, 180, 0, 6, -60, -50, -76, 0, 7, -72, -30, -62, 0, -10, -12, 4, 95, 0, 42, -120, -80, -88, 0, 180, -44, 30, -189, 0, -90, 94, 60, -4, 0, -16, 375, 16, -54, 0, -39, -24, 21, 78, 0, 60, 84, 48, -190, 0, -24, 68, 6, -36, 0, 46, -4, -50, -12, 0, -90, -16, -45, -10, 0, -8, -30, 2, 48, 0, -92, -26, 115, -80, 0, 10, 48, 12, -48, 0, 156, -30, 46, -44, 0, -120, -36, -32, -15, 0, -60, 12, 63, 10, 0, 10, 20, 4, -58, 0, 186, 30, 30, -2, 0, -16, 5, -58, -45, 0, 0, 170, 64, -84, 0, -38, -24, 0, 12, 0, 140, 46, -30, -88, 0, 2, 175, -32, -44, 0, 12, 6, 108, 2, 0, -60, 136, 0, -10, 0, 144, -24, -30, -42, 0, 8, 6, 80, 18, 0, -15, 4, -15, -150, 0, -32, 255, -150, 28, 0, 132, -36, 170, 58, 0, -10, -48, -42, 156, 0, 90, 0, 51, 12, 0, 0, 192, -20, 26, 0, 30, 28, -4, 90, 0, 90, 32, -24, -132, 0, 162, 6, -10, 62, 0, 48, -81, -56, -45, 0, -86, 0, 14, -16, 0, 50, -27, 0, 22, 0, 140, -6, 0, -40, 0, 0, 90, 4, 24, 0, 153, -54, 18, 84, 0, -20, 14, -2, 30, 0, 39, -30, 164, -44, 0, 18, 24, -140, 64, 0, 12, 38, 90, 60, 0, 240, -215, -82, -27, 0, 8, -12, -75, -92, 0, 0, 96, 4, 25, 0, -102, -90, -36, 18, 0, 8, 60, -24, 96, 0, 60, -18, -32, -50, 0, -76, -18, 112, -75, 0, -180, 48, 90, -14, 0, 0, 10, -90, 10, 0, 46, 20, 60, 0, 0, -52, -146, 0, -47, 0, -270, 44, 85, -16, 0, -36, 45, 28, -24, 0, -35, 204, -30, -24, 0, -80, 12, -72, 25, 0, -34, 16, -180, 30, 0, 52, 6, 30, 20, 0, -72, 108, 18, 60, 0, -56, 180, -44, 90, 0, -27, 0, -180, 86, 0, 130, 96, -90, 6, 0, 20, 100, -78, -30, 0, -12, 105, -48, -73, 0, 10, -94, 9, -160, 0, -6, 198, 4, 56, 0, -14, 84, 120, 52, 0, -48, -9, 204, -15, 0, -126, 0, 29, -10, 0, -30, 108, -110, -270, 0, -60, 42, 168, -10, 0, 124, 285, 10, 78, 0, 84, 0, 52, 84, 0, 60, -42, 8, 90, 0, -144, 12, 78, 44, 0, -52, 72, 30, -55, 0, 30, -96, 0, -20, 0, -2, 120, -4, 69, 0, -3, 30, -120, 22, 0, -20, -204, 20, -88, 0, -48, -70, -105, -48, 0, -120, -2, 22, -60, 0, 75, -84, 6, 10, 0, -48, -78, 2, 74, 0, 12, -26, -20, 48, 0, 96, -100, 0, 270, 0, -15, -40, 0, -12, 0, 50, 324, 10, 3, 0, -180, -44, -81, -32, 0, 12, -10, -72, -28, 0, -38, -72, 96, -6, 0, 0, 128, -88, 90, 0, -180, -10, -8, 64, 0, -72, 50, 90, 0, 0, 92, 30, -126, 80, 0, -2, -15, 28, 65, 0, 325, -42, 0, 8, 0, 50, 2, -26, 160, 0, 11, 120, 171, 0, 0, 86, -120, -4, 134, 0, 255, -16, 96, -110, 0, 100, 0, -120, -69, 0, 46, 6, -195, 144, 0, 0, 6, 14, 5, 0, -48, -40, 24, -62, 0, 18, -12, 30, 56, 0, -135, 60, 9, 12, 0, -120, -150, -64, 126, 0, -51, -66, 10, -28, 0, 20, 54, -30, -60, 0, 24, 16, -80, 0, 0, -54, -72, 180, -12, 0, -30, 32, 122, -30, 0, -18, -60, -22, 36, 0, -23, 36, -60, 18, 0, -50, -39, 144, -96, 0, 261, 30, -110, -78, 0, -102, -107, 24, -27, 0, -150, 14, 165, 100, 0, 42, -30, 24, 90, 0, 230, -50, -5, -32, 0, -48, 16, -56, 240, 0, 60, -30, -54, -24, 0, 100, -10, -120, 100, 0, -150, 22, 39, 0, 0, 90, 160, -118, 84, 0, -26, -6, 44, 0, 0, 30, -222, 6, 55, 0, 225, 0, 88, -30, 0, -48, 19, 30, 226, 0, -99, 6, -42, -140, 0, -60, 180, -28, -55, 0, 3, -54, 45, -102, 0, -40, -109, 48, 48, 0, -90, -40, 22, 126, 0, -100, 135, -60, -216, 0, 110, -10, -136, -20, 0, -56, 16, 104, 0, 0, -10, -72, 135, -12, 0, 8, -60, -14, -30, 0, 18, 40, 72, 6, 0, 36, 1, 40, 39, 0, 155, -144, 172, -36, 0, 48, -150, -30, -71, 0, 16, 6, -150, -10, 0, 0, -116, -40, 60, 0, -73, 0, -117, -144, 0, 26, 28, -60, -94, 0, 120, 102, -56, 30, 0, 24, -20, -16, -114, 0, 46, 72, 15, -76, 0, 60, 90, -38, -45, 0, -284, 90, -100, 16, 0, -54, 156, -48, -61, 0, -70, -50, 36, 130, 0, -14, -68, 36, 138, 0, -162, 20, -70, -106, 0, -30, 24, 156, -180, 0, 114, -80, 82, 36, 0, 66, -138, -90, 3, 0, -35, 20, -75, 0, 0, 12, -45, 18, 126, 0, -264, 64, -33, -124, 0, 140, 15, 12, -200, 0, -66, -24, 12, 96, 0, 0, -51, -10, 0, 0, 18, 110, -234, -30, 0, -120, -90, -48, -10, 0, 60, 62, 20, 200, 0, -60, -100, 4, -18, 0, -23, 120, -51, -52, 0, -16, 26, -20, -48, 0, 75, 0, 20, 120, 0, -96, 60, 4, 54, 0, 52, -72, -230, -12, 0, 20, 288, -40, -160, 0, 135, -120, 4, 8, 0, 0, 90, 60, -226, 0, -20, 40, 219, -66, 0, -48, 15, 60, 276, 0, 78, 26, -110, -12, 0, 100, -94, -6, -225, 0, 12, -4, -10, -16, 0, 10, -258, 60, 86, 0, 120, 4, -45, -90, 0, 68, -25, -56, 106, 0, 148, -12, -270, 110, 0, -40, -18, 72, -4, 0, 0, -10, 0, 42, 0, 2, 30, -10, -195, 0, 110, -42, -78, 0, 0, 0, 24, -24, 4, 0, 245, -36, 75, -60, 0, 0, 38, -20, 160, 0, -36, 80, 120, -52, 0, 36, 86, 0, 24, 0, 15, 80, 38, -88, 0, -48, -60, -28, 27, 0, -3, -2, -56, 120, 0, 60, 84, 48, -205, 0, 156, 0, -100, 78, 0, 4, 132, -100, -90, 0, -16, -56, -66, -120, 0, -42, -280, 28, 151, 0, -126, 98, -20, -20, 0, -140, -72, 24, 15, 0, -288, 0, 102, 80, 0, 34, -6, 16, 48, 0, -90, 72, -42, -10, 0, -90, 22, 32, -18, 0, -21, -10, 180, -24, 0, 22, 236, -12, 100, 0, -60, -90, 36, -144, 0, 6, 108, -120, -54, 0, -160, 34, -90, 12, 0, 44, -60, -24, 30, 0, -8, 48, -5, 68, 0, 0, 75, -78, 230, 0, 12, 36, -9, 86, 0, 130, 132, 10, -9, 0, 18, 56, -38, -140, 0, 72, -70, 0, 198, 0, 99, -30, 280, 14, 0, 40, 198, 54, 108, 0, -13, -20, 3, -6, 0, -62, 15, 0, 4, 0, 0, 72, 123, 100, 0, 74, 165, -52, 153, 0, 144, 22, 10, -12, 0, -44, 35, -12, 15, 0, 48, 360, 221, 78, 0, 22, -111, -30, -94, 0, -10, 86, 48, -30, 0, 36, -10, 120, -90, 0, -78, -30, -54, 24, 0, -60, 8, -42, 45, 0, 12, 84, 28, -18, 0, -96, 40, -120, -12, 0, 5, -56, -180, 80, 0, -108, 90, 14, 95, 0, -90, -84, -75, -110, 0, 170, -252, -48, -20, 0, -96, 0, 21, -44, 0, -68, -44, 0, 22, 0, 0, 76, 132, -80, 0, 4, -52, 36, 360, 0, 120, -84, -25, 38, 0, 12, -147, 44, 150, 0, -84, 80, 14, -136, 0, -90, -17, -120, -52, 0, 270, 56, 0, 12, 0, -36, -300, 6, 4, 0, 66, -144, -110, 118, 0, -180, 45, 16, 0, 0, -13, 40, -204, -18, 0, 128, 87, 30, -42, 0, 44, 2, 71, 180, 0, -96, -140, 48, -6, 0, -119, -30, -180, -92, 0, 20, 102, -72, -88, 0, -144, -90, 51, 34, 0, 0, -141, -24, -120, 0, -45, 100, -138, -30, 0, -34, 36, -28, 18, 0, 196, -44, 220, -26, 0, -40, -138, -50, 105, 0, 66, 210, 90, -32, 0, 82, 64, -20, 54, 0, 45, 10, 74, 12, 0, 30, 30, -62, 54, 0, 30, 22, -60, 146, 0, -70, -120, -18, -10, 0, -54, 52, 33, 120, 0, 6, 84, 140, 46, 0, -112, -60, -66, 30, 0, 36, 100, -146, 0, 0, -84, -48, -360, -24, 0, -60, 1, -22, 180, 0, 0, 0, 90, 60, 0, -80, -27, 32, 103, 0, 50, -16, 43, 40, 0, 20, 70, 52, 111, 0, -26, -10, -75, 180, 0, 72, -44, 8, 180, 0, 120, 10, 167, -56, 0, 24, -330, -40, 84, 0, 30, -84, 218, 80, 0, -4, 0, -12, -166, 0, -130, -60, 6, -24, 0, 80, 44, -120, -500, 0, 66, 24, 54, -54, 0, -30, 45, 50, 11, 0, -21, 12, -192, 20, 0, 6, -225, -60, -144, 0, -12, -116, 270, 68, 0, -10, 54, 2, -102, 0, -22, 60, 144, 0, 0, 52, -134, 30, -9, 0, 65, 64, 72, -170, 0, -36, 120, -58, 4, 0, 135, 162, -20, 0, 0, 8, 22, -10, -90, 0, 112, -30, -86, -12, 0, -90, 222, 0, 104, 0, -135, 72, 80, 0, 0, -264, -5, 116, -86, 0, 102, -32, 108, 10, 0, -120, -168, 0, 55, 0, -126, -110, 1, 6, 0]