# Trace form for 7623.2.a.x, downloaded from the LMFDB on 25 April 2024.
[0, 2, -2, 0, 4, 4, 0, -2, -12, 0, -10, 0, 0, 2, 2, 0, 16, 4, 0, 6, 20, 0, 0, -10, 0, 4, 4, 0, -4, -6, 0, 8, -16, 0, 2, -4, 0, -12, -24, 0, -36, -8, 0, -6, 0, 0, 16, 8, 0, 2, -28, 0, -8, -12, 0, 0, 12, 0, 12, -4, 0, 6, 4, 0, 32, -2, 0, -14, -4, 0, 10, 6, 0, -10, 0, 0, 48, 0, 0, -8, 56, 0, 8, -12, 0, 2, 18, 0, 0, 12, 0, -2, -32, 0, 10, 30, 0, 10, -2, 0, 56, -16, 0, -2, 0, 0, 24, -6, 0, 14, 0, 0, -16, -24, 0, -26, -24, 0, 46, -4, 0, 0, 12, 0, -8, 12, 0, -14, -48, 0, 8, 0, 0, -6, 14, 0, -12, -10, 0, 26, -20, 0, -48, 0, 0, -18, 4, 0, 0, 2, 0, -2, -72, 0, 0, 4, 0, -20, 20, 0, -80, 10, 0, 8, -16, 0, 18, -12, 0, -18, -2, 0, -36, 0, 0, -4, 0, 0, 18, -12, 0, -16, -4, 0, 72, -12, 0, 0, -20, 0, -84, -22, 0, -10, -16, 0, 4, -32, 0, -30, -72, 0, 10, 6, 0, -16, 20, 0, -8, 0, 0, 6, -48, 0, -48, -24, 0, -8, 22, 0, 0, 10, 0, 32, 16, 0, 36, -12, 0, 0, 68, 0, 48, -30, 0, -2, -92, 0, -2, -36, 0, 14, 0, 0, -24, 4, 0, -12, -24, 0, -42, 16, 0, 0, 26, 0, 32, 16, 0, 12, -16, 0, -18, -22, 0, -36, 24, 0, -28, -20, 0, 28, 8, 0, -20, 0, 0, -10, -44, 0, 36, 0, 0, -4, 96, 0, 0, 8, 0, -20, 48, 0, -8, 36, 0, -50, 48, 0, 4, -4, 0, 6, 38, 0, 120, -6, 0, 22, 0, 0, -4, 0, 0, -20, 32, 0, -40, -14, 0, 0, 112, 0, -16, -6, 0, -20, 4, 0, 48, -8, 0, -10, -36, 0, -54, -28, 0, -56, 30, 0, 4, 0, 0, -2, 60, 0, -18, -14, 0, 24, 28, 0, 0, 36, 0, 54, -36, 0, 48, -26, 0, 34, 16, 0, 8, -14, 0, -22, -104, 0, 24, 12, 0, -34, 0, 0, -12, 0, 0, 14, 168, 0, 4, 44, 0, 0, 10, 0, 32, -12, 0, -14, -12, 0, 44, -28, 0, 8, 12, 0, 128, 32, 0, 20, -20, 0, -12, 0, 0, -30, 40, 0, -40, 4, 0, -30, 32, 0, 0, -16, 0, 50, -78, 0, 96, -16, 0, -6, 96, 0, 66, -12, 0, 2, -4, 0, -44, -48, 0, -28, 0, 0, 8, 22, 0, -6, -32, 0, -32, -16, 0, 0, -72, 0, -18, 2, 0, -54, 24, 0, -136, 24, 0, 56, -72, 0, 12, 48, 0, 14, 14, 0, 108, 0, 0, 84, 4, 0, 12, 8, 0, -24, 16, 0, 0, 26, 0, 22, 0, 0, -10, -38, 0, -6, 12, 0, 16, -6, 0, 46, 84, 0, -40, -8, 0, -26, 0, 0, -52, 24, 0, 10, -32, 0, -58, -22, 0, 0, 0, 0, 24, -12, 0, 22, 36, 0, 40, 28, 0, 10, 96, 0, -48, -8, 0, 42, 84, 0, -28, 0, 0, 62, -64, 0, 16, -8, 0, 4, 40, 0, 0, -36, 0, 8, -62, 0, 88, -20, 0, 6, -56, 0, 96, 16, 0, -60, -80, 0, -120, -54, 0, 16, 0, 0, -8, -44, 0, 30, 44, 0, -96, 12, 0, 0, 48, 0, -42, -8, 0, -12, 146, 0, -48, -40, 0, -2, -8, 0, -20, 16, 0, -2, -18, 0, -76, 0, 0, 22, -192, 0, 24, 26, 0, -50, 32, 0, 0, 72, 0, 4, 8, 0, -66, -12, 0, 34, 56, 0, -64, -36, 0, 26, 72, 0, -64, -40, 0, 2, 0, 0, -144, -6, 0, -56, 32, 0, -12, 44, 0, 0, 8, 0, -8, 10, 0, 18, -64, 0, -10, -38, 0, -64, 118, 0, 84, -30, 0, 36, 108, 0, 70, 0, 0, -38, 56, 0, -60, -24, 0, -10, -12, 0, 0, 8, 0, 10, 2, 0, -96, 0, 0, 4, 36, 0, -52, 70, 0, -16, -60, 0, -56, -10, 0, 0, 0, 0, -60, 16, 0, -38, -156, 0, -12, -28, 0, 0, -96, 0, -16, 12, 0, 2, -142, 0, -32, -36, 0, 30, 0, 0, 32, 0, 0, 30, 16, 0, 128, 0, 0, -32, -48, 0, -24, 10, 0, -2, 10, 0, 0, 6, 0, 2, -8, 0, -12, -40, 0, -2, -26, 0, -288, 24, 0, -14, -8, 0, -2, 38, 0, -8, 0, 0, -20, 0, 0, -32, -72, 0, -24, -24, 0, 0, -4, 0, 16, -52, 0, 32, -88, 0, 76, 24, 0, 24, -68, 0, -24, -28, 0, 34, -224, 0, -32, 0, 0, 26, 16, 0, 84, 18, 0, 26, 24, 0, 0, 4, 0, -54, 0, 0, -80, -20, 0, -24, 48, 0, -46, 14, 0, 74, 78, 0, -16, 4, 0, 42, 0, 0, 10, 4, 0, -34, -2, 0, 156, -48, 0, 0, -144, 0, -20, 48, 0, -8, -12, 0, -72, -28, 0, -60, -132, 0, -48, -12, 0, 18, 112, 0, 8, 0, 0, -14, -12, 0, 156, -12, 0, -12, 76, 0, 0, -52, 0, 14, -16, 0, -40, -4, 0, 14, 30, 0, 64, -30, 0, -60, 48, 0, 100, -12, 0, -12, 0, 0, 168, -32, 0, -36, 36, 0, -8, -12, 0, 0, 30, 0, -48, 0, 0, 8, 240, 0, 30, -36, 0, 24, -44, 0, 96, -12, 0, 6, -24, 0, -12, 0, 0, -38, -14, 0, -28, 48, 0, 40, -200, 0, 0, -84, 0, -16, -192, 0, 12, 64, 0, -26, -24, 0, -134, 10, 0, -6, -24, 0, -32, -20, 0, 38, 0, 0, -68, 68, 0, -26, 86, 0, -24, -90, 0, 0, 20, 0, 104, 24, 0, -76, 0, 0, -24, 42, 0, 56, 32, 0, 48, -42, 0, -32, 14, 0, -132, 0, 0, 34, 80, 0, 86, -72, 0, -8, 62, 0, 0, 108, 0, 18, 108, 0, -6, 44, 0, -46, -4, 0, 64, -16, 0, 4, 116, 0, 64, -46, 0, -20, 0, 0, 0, 30, 0, 88, -40, 0, 102, -2, 0, 0, 32, 0, -36, 20, 0, 46, -80, 0, 20, 84, 0, 2, -70, 0, -192, -52, 0, 52, 72, 0, -16, 0, 0, -16, -132, 0, -112, 24, 0, -60, 56, 0, 0, -6, 0, -22, -26, 0, 128, -4, 0, -86, 16, 0, 38, -16, 0, 6, -4, 0, 0, 60, 0, 20, 0, 0, 108, 48, 0, 2, -20, 0, 124, -48, 0, 0, -192, 0, -4, 64, 0, -18, -12, 0, 80, -138, 0, -12, -192, 0, -10, -10, 0, 10, 156, 0, 160, 0, 0, 6, 216, 0, 60, -28, 0, -8, -40, 0, 0, -24, 0, -72, 16, 0, 176, 8, 0, 58, -132, 0, -88, 42, 0, -36, 168, 0, -18, -68, 0, -42, 0, 0, -56, 12, 0, 6, 84, 0, 50, -56, 0, 0, -24, 0, -292, 60, 0, 18, 0, 0, -14, -108, 0, 24, 2, 0, 0, 36, 0, -48, 40, 0, -124, 0, 0, -32, 116, 0, 36, -2, 0, -30, 84, 0, 0, 0, 0, 38, -76, 0, 240, 36, 0, 72, -48, 0, 16, 68, 0, 4, 86, 0, -64, 36, 0, -90, 0, 0, -60, -24, 0, -12, -4, 0, -24, -26, 0, 0, 132, 0, -18, 30, 0, 50, -10, 0, -112, 12, 0, 56, 144, 0, -24, -16, 0, 4, -74, 0, -112, 0, 0, 16, 128, 0, 106, -32, 0, -42, 4, 0, 0, -20, 0, 78, 160, 0, -108, -114, 0, 74, 8, 0, -72, 6, 0, 62, 24, 0, -26, 12, 0, 78, 0, 0, -16, -36, 0, 60, -24, 0, -100, -32, 0, 0, -54, 0, 64, -22, 0, -62, 20, 0, 116, -96, 0, -92, 16, 0, -236, -72, 0, -14, -120, 0, 84, 0, 0, 0, -84, 0, -60, 22, 0, 16, -140, 0, 0, -4, 0, 8, 74, 0, -112, 144, 0, 10, 132, 0, -30, 92, 0, 62, 16, 0, 16, -72, 0, -6, 0, 0, 76, 84, 0, 22, -40, 0, -4, 24, 0, 0, 144, 0, -24, 32, 0, -106, -40, 0, -36, 52, 0, -12, 104, 0, -184, -60, 0, 30, -8, 0, 120, 0, 0, 60, 72, 0, -20, -12, 0, -96, 72, 0, 0, -114, 0, -18, 120, 0, -10, 76, 0, 50, 74, 0, 312, -6, 0, -26, -24, 0, -8, 60, 0, -20, 0, 0, 144, 24, 0, 16, 32, 0, 120, 90, 0, 0, -20, 0, 284, -64, 0, -16, 96, 0, 120, 28, 0, 50, 48, 0, 8, 68, 0, 44, -64, 0, 6, 0, 0, 78, -132, 0, -32, -12, 0, 62, -208, 0, 0, -176, 0, -6, 92, 0, 96, 14, 0, -100, 48, 0, 32, 28, 0, 30, 8, 0, -20, -18, 0, 16, 0, 0, 48, -8, 0, -60, 34, 0, 80, 24, 0, 0, 24, 0, 118, 124, 0, 54, -22, 0, 52, 48, 0, 8, 456, 0, -138, 22, 0, -60, -22, 0, 96, 0, 0, 46, 4, 0, -8, -10, 0, 48, -112, 0, 0, 70, 0, -72, 60, 0, 6, -10, 0, -12, -40, 0, 104, -140, 0, 66, 48, 0, 96, -36, 0, -32, 0, 0, 8, -76, 0, 52, -16, 0, 136, -76, 0, 0, -140, 0, 216, -54, 0, 78, -152, 0, -36, 76, 0, 50, 12, 0, 136, 12, 0, 12, 144, 0, 142, 0, 0, 38, 26, 0, 256, 68, 0, 0, 64, 0, 0, -66, 0, -50, -68, 0, -32, 0, 0, 6, -104, 0, -120, -62, 0, 98, 88, 0, -48, -18, 0, -6, 0, 0, -4, 30, 0, -72, 144, 0, 0, -108, 0, 0, 144, 0, -28, -24, 0, 2, -36, 0, -88, 14, 0, -2, 92, 0, 64, -128, 0, -82, -92, 0, -156, 0, 0, -34, 0, 0, 2, -78, 0, -56, -138, 0, 0, 36, 0, -28, -20, 0, -178, 44, 0, -50, -2, 0, 4, -112, 0, -14, -180, 0, 126, -54, 0, -78, 0, 0, 192, -24, 0, -22, 40, 0, -24, -18, 0, 0, 8, 0, 24, -78, 0, 54, 168, 0, -14, -4, 0, -38, 60, 0, 228, 0, 0, 22, 96, 0, 36, 0, 0, 12, -54, 0, -224, 60, 0, 38, 24, 0, 0, -84, 0, -68, -28, 0, -32, 84, 0, -72, -312, 0, 42, 14, 0, 20, 120, 0, -152, -16, 0, -26, 0, 0, 4, 24, 0, 96, 58, 0, -24, 0, 0, 0, 80, 0, 46, 180, 0, 16, -26, 0, -60, -40, 0, -26, -192, 0, 12, -6, 0, 2, 168, 0, -32, 0, 0, -10, -200, 0, 0, -16, 0, -28, 0, 0, 0, 176, 0, 8, -240, 0, 80, 0, 0, -12, 108, 0, 12, 52, 0, -66, 16, 0, -60, -8, 0, 4, 0, 0, -60, 68, 0, 10, 48, 0, 18, -38, 0, 0, -44, 0, -376, 22, 0, 48, -60, 0, 12, 80, 0, -44, 96, 0, 88, 64, 0, 36, -144, 0, -18, 0, 0, -98, -24, 0, 144, -44, 0, -16, 24, 0, 0, 90, 0, -90, -64, 0, 28, 18, 0, -70, 36, 0, -84, 20, 0, 12, -64, 0, 368, 100, 0, 60, 0, 0, 60, 40, 0, -28, -20, 0, 384, -28, 0, 0, -8, 0, -4, 32, 0, 66, 56, 0, 168, -24, 0, 46, 268, 0, 20, -30, 0, -36, 102, 0, 48, 0, 0, -32, -24, 0, 50, 24, 0, -78, -2, 0, 0, 8, 0, 10, 136, 0, -110, 42, 0, 12, 44, 0, -172, -40, 0, -106, 96, 0, 72, -10, 0, -60, 0, 0, -36, 48, 0, 34, -208, 0, -96, 0, 0, 0, 196, 0, 0, 4, 0, -64, 72, 0, -120, -12, 0, 4, -92, 0, 32, 76, 0, 112, -96, 0, 96, 0, 0, -24, -124, 0, -28, 60, 0, 74, 216, 0, 0, -62, 0, 64, 38, 0, -144, -8, 0, 40, -172, 0, 216, 4, 0, 62, 152, 0, -124, 12, 0, 20, 0, 0, -132, 12, 0, 78, -48, 0, -160, 144, 0, 0, 12, 0, -8, 60, 0, -8, 76, 0, 8, -30, 0, -30, 0, 0, 112, -36, 0, -18, -16, 0, -180, 0, 0, -60, -128, 0, -92, 36, 0, 50, 44, 0, 0, -2, 0, -66, -48, 0, 24, -48, 0, -56, -136, 0, 64, 54, 0, 52, -204, 0, -4, 24, 0, -26, 0, 0, -64, 4, 0, -26, 72, 0, 130, 92, 0, 0, -22, 0, 168, 52, 0, -6, -40, 0, -246, -26, 0, -64, -38, 0, 140, 24, 0, 20, 336, 0, 112, 0, 0, -6, -28, 0, -120, -16, 0, 20, 32, 0, 0, 6, 0, -130, 160, 0, 264, 32, 0, -134, 112, 0, -24, -108, 0, -22, 156, 0, 24, 100, 0, 36, 0, 0, -24, -16, 0, 4, -44, 0, 52, -110, 0, 0, -240, 0, 4, -78, 0, 48, 122, 0, -48, 0, 0, -18, -76, 0, 76, -60, 0, -204, 78, 0, 8, 0, 0, 20, 40, 0, -180, -104, 0, -32, -32, 0, 0, -60, 0, 112, -216, 0, -36, 84, 0, -8, 4, 0, 40, 52, 0, 62, -84, 0, 0, 14, 0, -88, 0, 0, 280, -96, 0, -18, 8, 0, -160, -56, 0, 0, 42, 0, 24, -42, 0, -62, -112, 0, 300, 136, 0, -116, 36, 0, 192, -18, 0, 108, 20, 0, 16, 0, 0, -72, -178, 0, -312, 6, 0, -52, -144, 0, 0, -84, 0, -4, -30, 0, -384, -152, 0, 20, -120, 0, -14, 60, 0, 26, -4, 0, 80, -84, 0, -98, 0, 0, 72, 36, 0, 34, -48, 0, -48, 42, 0, 0, -352, 0, 82, 8, 0, -6, -124, 0, 264, 24, 0, -14, 168, 0, 24, 100, 0, 10, 36, 0, -264, 0, 0, 74, 36, 0, 44, 24, 0, -50, 96, 0, 0, 62, 0, 60, 32, 0, 54, -2, 0, 2, 18, 0, -228, 28, 0, -98, -100, 0, -4, 0, 0, -16, 0, 0, 48, 84, 0, 56, 492, 0, -12, 34, 0, 0, -30, 0, -96, 28, 0, 16, 28, 0, 84, 126, 0, 114, -48, 0, -4, 54, 0, -30, -8, 0, -126, 0, 0, -16, 108, 0, -24, -60, 0, 142, 248, 0, 0, -12, 0, 2, 152, 0, -232, 0, 0, 42, -60, 0, 20, -136, 0, -78, -36, 0, -160, 56, 0, 16, 0, 0, 18, 44, 0, 44, 82, 0, 152, 14, 0, 0, -288, 0, 84, -64, 0, -80, -168, 0, 72, 24, 0, -24, -32, 0, -32, -84, 0, -8, -28, 0, -172, 0, 0, -142, -24, 0, 0, -104, 0, -24, 96, 0, 0, -6, 0, 48, 120, 0, 60, -36, 0, -58, 156, 0, 8, 72, 0, 84, 32, 0, -16, -40, 0, -54, 0, 0, -132, 54, 0, -12, 36, 0, -84, 32, 0, 0, -20, 0, 20, -24, 0, 10, 192, 0, -48, -34, 0, -10, -152, 0, -208, 26, 0, -94, 48, 0, -50, 0, 0, 24, 20, 0, 148, -8, 0, -34, 160, 0, 0, 24, 0, 10, -16, 0, -72, 96, 0, 6, -212, 0, -16, 70, 0, 30, 168, 0, -8, -80, 0, 104, 0, 0, -4, 14, 0, 2, -72, 0, -160, -20, 0, 0, 216, 0, 156, 32, 0, 22, -206, 0, -16, -36, 0, -76, 104, 0, 60, -40, 0, -6, 4, 0, 0, 0, 0, -48, 52, 0, -24, 20, 0, -56, -126, 0, 0, -12, 0, 132, 96, 0, -60, 60, 0, -114, -60, 0, 16, 96, 0, 34, 200, 0, 38, -10, 0, -96, 0, 0, 108, -20, 0, 18, -128, 0, -32, 48, 0, 0, 164, 0, 12, -66, 0, 8, -232, 0, 102, 0, 0, 132, 140, 0, -32, 80, 0, -26, 276, 0, 240, 0, 0, -14, -10, 0, 144, 44, 0, -34, -168, 0, 0, -180, 0, 8, 12, 0, 168, -28, 0, -18, 168, 0, -4, 204, 0, 94, -4, 0, 252, -44, 0, 94, 0, 0, 4, 80, 0, 88, -44, 0, -148, 40, 0, 0, 336, 0, -324, -28, 0, 72, -10, 0, -192, 88, 0, 152, 60, 0, -248, 18, 0, -100, -284, 0, -32, 0, 0, -8, -16, 0, 66, 12, 0, -116, -24, 0, 0, 48, 0, 56, -152, 0, -24, 8, 0, 14, 122, 0, 80, -70, 0, -66, 12, 0, -12, 56, 0, -80, 0, 0, -192, -32, 0, -144, 48, 0, -44, 108, 0, 0, 166, 0, 80, 28, 0, 84, 72, 0, -166, 28, 0, 110, 84, 0, -48, 72, 0, -8, 368, 0, -12, 0, 0, -16, -12, 0, 16, -8, 0, 18, -216, 0, 0, 18, 0, 54, -156, 0, -128, -56, 0, 10, 40, 0, -60, -32, 0, -10, 288, 0, -144, -36, 0, 26, 0, 0, 120, 80, 0, -20, -6, 0, -264, -96, 0, 0, 20, 0, -232, -12, 0, -6, 28, 0, -148, -68, 0, -90, -528, 0, 12, -110, 0, -114, -34, 0, 144, 0, 0, 46, 16, 0, -66, 56, 0, 22, 68, 0, 0, 60, 0, 30, -240, 0, -36, 78, 0, -114, -40, 0, 72, -24, 0, -90, -240, 0, -156, -28, 0, 42, 0, 0, 40, 162, 0, 78, -420, 0, 172, -4, 0, 0, 196, 0, -128, 140, 0, 32, -240, 0, 140, 84, 0, 30, -218, 0, -96, -94, 0, -24, -32, 0, 52, 0, 0, -112, -80, 0, 120, 82, 0, 24, -12, 0, 0, -54, 0, 42, -198, 0, 264, 16, 0, -58, 120, 0, -48, -8, 0, -18, -86, 0, 288, 12, 0, -50, 0, 0, 308, -42, 0, -148, 78, 0, -184, -108, 0, 0, -144, 0, 148, 12, 0, -26, 160, 0, -96, -128, 0, 86, -64, 0, 170, 16, 0, 24, -72, 0, -16, 0, 0, -96, 156, 0, -72, 24, 0, 6, -52, 0, 0, 40, 0, 140, -96, 0, 176, 16, 0]