# Trace form for 8001.2.a.k, downloaded from the LMFDB on 23 April 2024.
[0, 2, 0, 0, 8, 0, 0, 2, 0, 0, 12, 0, 0, 4, 0, 0, 8, 6, 0, 4, 0, 0, 0, -12, 0, 2, 24, 0, 8, 6, 0, 16, 0, 0, -12, 0, 0, -14, -12, 0, 24, -6, 0, 4, 0, 0, 0, 24, 0, 2, 0, 0, 16, 6, 0, 0, 0, 0, -24, 0, 0, 4, 0, 0, -16, 24, 0, 4, 24, 0, 12, -12, 0, -8, 0, 0, 16, 0, 0, -2, 0, 0, 12, -12, 0, -12, 0, 0, 0, 0, 0, 4, -48, 0, 0, -12, 0, 10, 0, 0, 8, 0, 0, -8, 48, 0, 24, 0, 0, 4, 0, 0, 8, 12, 0, 0, 24, 0, -12, 6, 0, -22, -12, 0, 64, 0, 0, 2, 0, 0, 24, -6, 0, 4, 60, 0, -24, -24, 0, -26, 0, 0, -12, 0, 0, -24, -36, 0, -56, 12, 0, 4, -24, 0, 0, 0, 0, -8, -24, 0, 0, -12, 0, 34, -24, 0, 0, -12, 0, 30, 36, 0, 16, -12, 0, 2, 0, 0, -48, -12, 0, -14, 24, 0, 0, 0, 0, 0, 96, 0, 24, 12, 0, 16, 36, 0, 8, -12, 0, 40, 0, 0, 0, 6, 0, 12, 0, 0, 16, 0, 0, -20, 24, 0, 36, 0, 0, 16, 36, 0, 0, -12, 0, 10, 0, 0, 0, -24, 0, 10, -72, 0, -48, 6, 0, 0, 0, 0, -12, -6, 0, -14, 0, 0, 16, 0, 0, -16, 0, 0, -48, 6, 0, 0, 0, 0, -64, -12, 0, -14, 96, 0, -36, 12, 0, 24, -12, 0, 16, -30, 0, -8, 24, 0, -48, 0, 0, 40, -36, 0, 24, 30, 0, 34, -48, 0, 0, -6, 0, -4, 36, 0, -32, -48, 0, -12, 0, 0, -72, -24, 0, 4, -36, 0, 16, -12, 0, 46, 0, 0, 96, 0, 0, 46, -12, 0, -8, 48, 0, 0, 0, 0, 0, 24, 0, 4, 0, 0, 24, 24, 0, -32, -48, 0, 84, 60, 0, -32, 96, 0, -48, 0, 0, 2, 0, 0, 60, 6, 0, 10, 0, 0, 0, -24, 0, -12, 0, 0, 48, -30, 0, -18, -84, 0, 16, -36, 0, 4, -48, 0, -84, 6, 0, 40, 0, 0, 0, -36, 0, 40, -48, 0, -36, 18, 0, 0, 12, 0, 40, 24, 0, -36, 0, 0, 12, -24, 0, 16, 0, 0, 8, 30, 0, 32, 0, 0, -24, 0, 0, 4, -36, 0, -32, 0, 0, 0, 0, 0, 0, 24, 0, -32, 72, 0, 48, 6, 0, 4, 0, 0, 24, 12, 0, 16, 0, 0, 16, -24, 0, -14, 0, 0, 48, -48, 0, -48, 12, 0, -16, -48, 0, 0, 48, 0, 0, 24, 0, 10, -12, 0, 0, -24, 0, -20, 24, 0, -24, -24, 0, 4, 144, 0, -24, 0, 0, 4, 24, 0, 0, 18, 0, -28, -60, 0, -88, 36, 0, -8, -24, 0, 12, 36, 0, 42, 24, 0, 64, -12, 0, -32, 0, 0, 36, -54, 0, 0, 0, 0, 8, -30, 0, -8, 0, 0, -84, 0, 0, 0, 0, 0, 48, 36, 0, -32, -24, 0, -84, 48, 0, 26, 36, 0, 16, 12, 0, 36, 120, 0, 60, 0, 0, -8, 132, 0, 0, 36, 0, 16, -96, 0, 0, 36, 0, -2, 48, 0, -104, -24, 0, 8, 0, 0, 48, 0, 0, 0, -36, 0, -24, 12, 0, -56, 0, 0, 12, -12, 0, -56, -72, 0, -96, -12, 0, 0, -72, 0, 12, 6, 0, 32, 0, 0, -56, 0, 0, -12, 48, 0, -144, 66, 0, -26, 0, 0, 16, 0, 0, 4, 0, 0, 24, 48, 0, 28, 12, 0, 0, -54, 0, 22, 0, 0, -84, 0, 0, -58, -12, 0, -32, -42, 0, 76, -48, 0, 24, 0, 0, 4, 0, 0, -96, 6, 0, 4, -48, 0, -60, -60, 0, 0, 24, 0, 136, -48, 0, -36, -24, 0, 0, 36, 0, -56, 12, 0, 0, -12, 0, -36, -48, 0, 24, 0, 0, 58, 36, 0, 120, 42, 0, 10, 72, 0, 0, 12, 0, -48, 0, 0, 16, 60, 0, 70, -48, 0, -72, -36, 0, -30, 108, 0, 8, 0, 0, -28, 0, 0, 24, 0, 0, -26, -72, 0, -96, -96, 0, 0, -48, 0, 0, 42, 0, -8, -48, 0, -56, 6, 0, 22, 48, 0, -48, 12, 0, -44, 0, 0, 0, 0, 0, -38, 0, 0, 24, 18, 0, -72, 24, 0, 0, 0, 0, 4, 96, 0, 24, -36, 0, -2, 0, 0, 48, 24, 0, 4, 48, 0, -60, -24, 0, 70, 0, 0, 64, 78, 0, 16, 72, 0, -108, -24, 0, 0, 72, 0, 8, -12, 0, 76, -48, 0, -12, 12, 0, -16, 72, 0, 160, -36, 0, 72, 0, 0, 72, 0, 0, 0, 192, 0, 0, 12, 0, 40, 24, 0, 0, 0, 0, 8, -72, 0, 48, 6, 0, -38, 0, 0, -12, 30, 0, 16, -72, 0, -32, 6, 0, 84, 0, 0, -96, 12, 0, 8, -108, 0, -80, 96, 0, -22, 24, 0, -12, 84, 0, -38, -12, 0, 72, -36, 0, -38, 0, 0, 36, 66, 0, 60, 36, 0, 64, 0, 0, 128, 72, 0, 72, 0, 0, 58, 36, 0, 0, 60, 0, -20, -48, 0, -12, 0, 0, 2, 0, 0, 40, 48, 0, 48, 0, 0, -24, 48, 0, -6, 0, 0, 0, -84, 0, 46, -96, 0, 24, 12, 0, 0, -120, 0, 40, -6, 0, 10, -144, 0, -84, -48, 0, -14, -48, 0, 0, -24, 0, 4, 24, 0, 96, 0, 0, -56, 60, 0, 0, -6, 0, 36, 0, 0, 0, 6, 0, -88, -12, 0, -24, -12, 0, -36, -24, 0, 60, -24, 0, 66, -168, 0, -56, 12, 0, -32, 0, 0, 60, -36, 0, -26, 132, 0, 16, 96, 0, 0, 0, 0, 24, 30, 0, 12, -108, 0, -64, -24, 0, 16, 0, 0, -12, 0, 0, 64, -108, 0, -96, 0, 0, 12, 24, 0, 12, -12, 0, 46, 0, 0, 0, 12, 0, -24, 0, 0, -108, 24, 0, 34, -36, 0, -64, -6, 0, -52, -48, 0, -48, -36, 0, 64, 0, 0, -56, 24, 0, 22, 96, 0, 0, 12, 0, 0, 60, 0, -72, 36, 0, -38, 48, 0, -96, 72, 0, 4, 0, 0, 96, 60, 0, -44, -24, 0, -48, 0, 0, 58, 0, 0, 16, -42, 0, 4, -120, 0, 0, -24, 0, -144, 24, 0, -32, 0, 0, 22, -48, 0, 24, 12, 0, 28, 48, 0, -96, -36, 0, -8, 0, 0, -84, -36, 0, 48, -24, 0, 160, 12, 0, 0, -72, 0, 48, 12, 0, 76, 48, 0, 0, 12, 0, -8, 120, 0, 168, -12, 0, 70, 72, 0, 136, 0, 0, 0, -48, 0, -120, -48, 0, 34, 84, 0, 0, -12, 0, -112, -24, 0, 0, 42, 0, 34, -36, 0, -16, -96, 0, 20, 72, 0, 0, 54, 0, -24, 0, 0, -32, -12, 0, 28, -192, 0, -12, 24, 0, 0, -96, 0, -48, -54, 0, 30, 0, 0, -48, 12, 0, -42, 36, 0, -144, -6, 0, 0, -96, 0, 0, 0, 0, 100, -36, 0, 16, -60, 0, -24, -72, 0, -132, -12, 0, 58, -36, 0, -32, 30, 0, -36, -48, 0, 288, 72, 0, 2, -120, 0, 184, 24, 0, -20, 0, 0, 0, 24, 0, -32, -36, 0, 192, 12, 0, 0, 0, 0, -48, 12, 0, -38, 0, 0, 184, -12, 0, 36, -24, 0, 84, -60, 0, 92, -48, 0, -8, 0, 0, -14, 192, 0, 12, -48, 0, -52, 24, 0, 0, -72, 0, -32, 0, 0, 24, -24, 0, -84, -36, 0, 0, -120, 0, -20, 96, 0, 72, 0, 0, -20, 0, 0, 16, -42, 0, -56, 0, 0, 12, 126, 0, 0, -36, 0, 0, 0, 0, -84, 96, 0, 24, 12, 0, 40, -36, 0, -128, 6, 0, -32, -48, 0, 24, 0, 0, 32, 144, 0, 168, 12, 0, -16, 240, 0, 0, 18, 0, 60, -72, 0, -128, -12, 0, 16, 192, 0, -12, 132, 0, 0, 36, 0, -48, 60, 0, 72, 0, 0, -96, 30, 0, 24, -144, 0, 8, 72, 0, 0, 0, 0, 120, -12, 0, 52, 12, 0, 120, 48, 0, 20, 24, 0, -156, 72, 0, 40, 72, 0, 40, 0, 0, -8, 0, 0, -120, -24, 0, 48, 84, 0, 0, 78, 0, -36, -96, 0, 0, -36, 0, 80, -144, 0, -48, 6, 0, -14, 0, 0, 0, -102, 0, 46, 0, 0, 96, -12, 0, 12, -120, 0, -84, 36, 0, 0, 0, 0, -72, -72, 0, 76, -168, 0, -24, 54, 0, 52, -204, 0, 16, 192, 0, -20, -144, 0, -24, 0, 0, 12, 36, 0, 16, 24, 0, -92, 96, 0, 0, 0, 0, -20, -72, 0, -168, 24, 0, 34, 24, 0, -72, -24, 0, -74, 72, 0, 160, 18, 0, -144, 0, 0, 36, 6, 0, 20, -204, 0, 0, 0, 0, 0, -144, 0, 24, 36, 0, 48, -216, 0, 160, 42, 0, 16, -48, 0, -204, 42, 0, 4, 36, 0, -72, 0, 0, -56, 72, 0, -24, 12, 0, -30, 12, 0, 0, -24, 0, -68, 24, 0, -60, -12, 0, -50, 0, 0, 40, 72, 0, -84, 96, 0, 60, -66, 0, 10, 0, 0, -144, -12, 0, 94, 0, 0, -48, 90, 0, -44, -84, 0, 24, -24, 0, -80, -96, 0, 0, 6, 0, 24, 24, 0, 64, -24, 0, -28, 0, 0, -48, 0, 0, 94, -144, 0, -16, -24, 0, 10, 120, 0, 0, 54, 0, -38, -72, 0, 128, -72, 0, -60, 0, 0, 84, 120, 0, -68, -120, 0, -48, -96, 0, -44, 0, 0, 204, 6, 0, 72, -24, 0, 16, -18, 0, 0, -72, 0, 48, 48, 0, 0, 0, 0, -32, -6, 0, 4, 0, 0, -48, 12, 0, -44, -120, 0, 0, 0, 0, -8, -192, 0, -12, -60, 0, 52, -72, 0, 0, -6, 0, 4, 96, 0, -156, 48, 0, -52, -144, 0, -128, 36, 0, -14, 144, 0, 180, 48, 0, 52, 0, 0, 0, 0, 0, -56, 24, 0, 0, -84, 0, 0, -180, 0, 16, -6, 0, 24, 0, 0, 72, 0, 0, 0, 84, 0, 48, -90, 0, -62, 48, 0, -24, 0, 0, -16, -72, 0, 64, 24, 0, -72, 0, 0, 0, -168, 0, -2, 168, 0, 16, 108, 0, -8, -96, 0, -48, -24, 0, -116, 72, 0, -56, 6, 0, 100, 0, 0, 60, -12, 0, 24, -48, 0, 96, 36, 0, 0, -192, 0, 24, -12, 0, -98, 0, 0, -192, -144, 0, 34, 24, 0, -144, 48, 0, 46, -72, 0, -64, 0, 0, 0, -192, 0, -192, -12, 0, 28, 36, 0, 0, -48, 0, -124, 48, 0, -84, -24, 0, -14, -48, 0, 0, 12, 0, -36, 96, 0, -72, -108, 0, -8, 0, 0, 40, 0, 0, 16, -24, 0, -36, 0, 0, 0, -48, 0, 0, 12, 0, -16, -96, 0, -168, -30, 0, -78, 0, 0, -80, -24, 0, 24, -48, 0, 168, 0, 0, -44, -12, 0, -48, 24, 0, -20, -96, 0, 0, -84, 0, -92, -72, 0, 16, -108, 0, -14, 288, 0, 156, -30, 0, 24, -72, 0, 0, 0, 0, 32, 0, 0, 240, 0, 0, -8, -168, 0, 16, -42, 0, 0, 24, 0, -36, 96, 0, 72, 72, 0, 0, -12, 0, -60, 72, 0, -48, 0, 0, 36, 0, 0, -112, 0, 0, -72, -120, 0, 96, -60, 0, -32, -132, 0, -88, -120, 0, 40, 144, 0, 96, -108, 0, -108, -36, 0, -32, 60, 0, 22, 0, 0, -48, 72, 0, -16, 0, 0, 24, -42, 0, -64, 144, 0, 132, 30, 0, 0, -72, 0, 168, -54, 0, -2, 48, 0, 0, -78, 0, 34, -12, 0, -128, 72, 0, 40, -48, 0, 240, 0, 0, -8, 120, 0, -128, 72, 0, 58, 0, 0, 0, -60, 0, 72, -36, 0, 72, -6, 0, 40, -216, 0, 12, 192, 0, 100, -48, 0, 0, 48, 0, -4, 0, 0, 24, 60, 0, -44, 36, 0, 8, -36, 0, 0, -120, 0, -48, -120, 0, -40, -36, 0, -32, -72, 0, 0, 0, 0, 12, -48, 0, 16, -72, 0, -168, -66, 0, -12, 0, 0, 12, -156, 0, -12, -96, 0, 0, 132, 0, -28, 0, 0, -60, -12, 0, 32, 252, 0, 0, -12, 0, 40, 144, 0, -72, 48, 0, -44, 0, 0, -128, -24, 0, -96, -24, 0, 144, 60, 0, 0, 72, 0, -168, -108, 0, 4, 192, 0, -120, -24, 0, -8, -36, 0, 104, 48, 0, 68, 72, 0, 144, 0, 0, 48, -72, 0, 16, 48, 0, 28, 48, 0, 0, -12, 0, -8, 60, 0, 144, -84, 0, -44, 0, 0, 168, 24, 0, 46, 0, 0, 120, 36, 0, 36, 0, 0, -144, 6, 0, -8, 0, 0, -32, 36, 0, 0, 264, 0, 96, 144, 0, 6, -24, 0, 96, 0, 0, -20, 144, 0, -108, 0, 0, 72, -228, 0, 64, 0, 0, 46, -96, 0, -168, 36, 0, 200, -12, 0, 0, -96, 0, 16, 144, 0, 108, 90, 0, 194, -72, 0, -8, -108, 0, -12, 96, 0, -168, 48, 0, -32, 0, 0, -104, 0, 0, 18, -96, 0, 60, -60, 0, 0, 132, 0, 32, 30, 0, -38, 0, 0, -24, 24, 0, -24, 240, 0, 96, 96, 0, -56, 0, 0, 0, 0, 0, -28, -120, 0, 0, 24, 0, -64, -72, 0, 0, 24, 0, 28, -144, 0, 0, -72, 0, 4, 48, 0, 156, 12, 0, -44, 0, 0, -224, -120, 0, 4, 0, 0, 60, 42, 0, -68, 0, 0, 24, 12, 0, -44, -48, 0, -36, 24, 0, -84, -36, 0, -224, 24, 0, -2, -144, 0, -96, -48, 0, -32, -48, 0, -96, 0, 0, 0, -48, 0, -72, 72, 0, -24, 36, 0, 0, 36, 0, 96, 0, 0, 84, -78, 0, 76, -84, 0, 24, 60, 0, -62, 24, 0, 0, 48, 0, -196, 0, 0, 128, -6, 0, -32, 0, 0, -132, -42, 0, 0, 96, 0, 112, 48, 0, 16, 0, 0, 276, 48, 0, -20, 108, 0, -48, -78, 0, 94, 48, 0, -132, 0, 0, 46, -36, 0, -288, -36, 0, 60, 264, 0, 0, -18, 0, 2, -60, 0, -104, -168, 0, -36, 0, 0, -84, 36, 0, 4, 36, 0, 16, 60, 0, -12, 0, 0, 60, 138, 0, 10, 0, 0, 16, 6, 0, 0, 96, 0, -60, 132, 0, -8, -144, 0, 48, 84, 0, 10, 192, 0, 60, 24, 0, -16, 0, 0, 112, 0, 0, 24, 24, 0, -264, -66, 0, 0, 168, 0, 0, -108, 0, 82, -216, 0, -96, -24, 0, 22, 216, 0, 88, 0, 0, -28, 0, 0, -60, -48, 0, -12, 0, 0, -168, 24, 0, 72, 0, 0, -48, -108, 0, 0, 60, 0, -232, -24, 0, 40, -24, 0, 48, -24, 0, 56, 36, 0, -32, -30, 0, 12, -168, 0, -12, 0, 0, 4, 192, 0, 304, 0, 0, -18, 0, 0, 0, 162, 0, 108, -84, 0, 48, 0, 0, -14, 0, 0, 96, 102, 0, -108, 96, 0, 16, 48, 0, -20, 0, 0, -132, -36, 0, -8, -252, 0, -192, 0, 0, 0, 24, 0, 192, 48, 0, 4, -72, 0, 16, -96, 0, -8, -48, 0, 12, 120, 0, 96, 240, 0, -120, 0, 0, 80, -240, 0, -84, 30, 0, -74, 36, 0, 0, 6, 0, -72, 48, 0, -132, 0, 0, 0, 192, 0, 136, 102, 0, 40, -192, 0, 36, 60, 0, 28, 0, 0, -144, 114, 0, 8, 48, 0, 0, 84, 0, 0, 72, 0, 0, -90, 0, -96, 144, 0, 48, -36, 0, -16, -120, 0, -224, 0, 0, 22, 24, 0, 24, 0, 0, 40, 108, 0, 0, 24, 0, 70, -48, 0, 0, -12, 0, -48, 0, 0, -144, -12, 0, 64, -48, 0, -36, 0, 0, 10, -96, 0, 48, 18, 0, -20, 0, 0, -60, 156, 0, -86, -180, 0, 232, 60, 0, 0, 72, 0, 48, 108, 0, 56, 12, 0, 120, 24, 0, -44, 168, 0, -48, 96, 0, -20, 72, 0, 40, 0, 0, -92, 0, 0, -180, 24, 0, 4, -288, 0, 0, -66, 0, -68, 48, 0, -216, 48, 0, -36, 0, 0, -192, -12, 0, 104, 0, 0, 12, 48, 0, 52, 0, 0, -32, 114, 0, -84, 240, 0, 12, 0, 0, 0, -204, 0, 280, -24, 0, 76, -48, 0, 240, 102, 0, 0, -24, 0, -144, 156, 0, 16, -144, 0, 72, 132, 0, 48, 0, 0, -120, -12, 0, 52, 216, 0, 0, 48, 0, -56, 36, 0, 8, 90, 0, 16, 0, 0, 72, 30, 0, -40, 180, 0, -112, -42, 0, 168, 0, 0, -144, 48, 0, 32, 72, 0, 48, 12, 0, 0, 0, 0, 204, 96, 0, 82, 120, 0, -104, -90, 0, -120, -144, 0, -24, 24, 0, -120, -168, 0, 0, 0, 0, 64, -384, 0, -36, 84, 0, -140, 144, 0, 0, 60, 0, 4, -48, 0, 240, 48, 0, 44, -36, 0, 0, -6, 0, 0, 168, 0, 156, -42, 0, 8, 0, 0, -32, -36, 0, -2, -96, 0, -24, 0, 0, 0, 0, 0, -56, 120, 0, 44, 24, 0, -24, 48, 0, 0, -24, 0, 88, 84, 0, 24, 0, 0, 0, 0, 0, 52, 0, 0, -96, -12, 0, 14, 48, 0, 0, -72, 0, 0, -288, 0, -176, 24, 0, -12, 0, 0, 144, -6, 0, -96, -72, 0, 0, -96, 0, -32, 0, 0, -12, -48, 0, 64, 72, 0, -152, -114, 0, 0, 0, 0, 180, 48, 0, -48, 108, 0, 48, -30, 0, 172, 72, 0, -132, 6, 0, -4, -84, 0, -288, 0, 0, -4, 48, 0, 192, -24, 0, 4, -144, 0, 0, -12, 0, 0, 0, 0, 264, 0, 0]