# Trace form for 1225.2.a.k, downloaded from the LMFDB on 19 April 2024.
[0, 2, -2, -2, 2, 0, -2, 0, -6, 0, 0, 4, 6, 4, 0, 0, 6, -4, 8, 0, 0, 0, 4, 2, 2, 0, -12, -2, 0, -2, 0, -12, 6, -12, 12, 0, -16, 0, -8, 4, 0, -10, 0, -10, -12, 0, 2, -4, -6, 0, 0, -4, 20, 8, 6, 0, 0, 8, 2, -8, 0, -6, 12, 0, -14, 0, -4, -22, -20, -6, 0, -8, 8, -4, 0, 0, 16, 0, -4, 24, 0, -2, 18, -2, 0, 0, 6, 2, -4, -6, 0, 0, -6, 12, 4, 0, -10, -12, 0, 16, 0, 2, 4, 2, -20, 0, 0, -14, -10, -10, 0, 0, 0, -8, 0, 0, -2, -16, -16, 0, 0, 2, -18, 2, -12, 0, 0, -4, 10, 14, 0, -16, 20, 0, 18, 0, 20, 8, -2, -4, 0, 4, -16, -8, 0, 0, -4, 0, 0, -10, 0, 12, -8, 16, 0, 0, 4, -12, -32, -16, 0, 0, -22, -36, -26, 0, 38, -42, 0, -2, 0, -16, -2, 16, 2, 0, 12, 32, 22, -20, 0, -6, 0, 30, -2, 0, 12, 8, -4, 0, 0, -20, 6, 4, 28, 0, 0, 36, 0, -8, 0, 26, 30, 0, -4, 0, -6, 8, 12, -16, 0, 24, -8, 32, 26, 0, 10, 0, 34, 12, 0, -24, 0, -12, 0, 0, -16, -20, -8, -12, 0, 0, 6, 28, 32, 0, 40, -16, 0, -20, 0, 44, 30, 32, 42, 0, 10, 16, 36, -34, 0, 4, 0, 12, -28, 0, -26, -24, 10, 0, 0, 0, 48, 10, 20, 0, 0, -10, -14, -10, 0, 16, -12, 0, -24, 0, 10, -4, 44, 0, 0, -4, 4, -28, 40, 0, 8, 0, 8, -10, 0, -4, 12, 32, 0, 0, 0, 4, 2, -4, 0, 0, -28, -34, 0, 0, -32, 18, 0, 2, 0, -32, -12, 24, 44, 0, 40, -12, -8, -4, 0, 2, 0, -16, 46, 0, 20, -14, 38, 0, 0, 12, -74, 0, 46, 0, 0, -24, -30, 32, 0, -24, 16, 0, 26, 0, 16, -30, -6, -42, 0, -12, 20, 48, 8, 0, -38, 0, 20, -20, 0, -22, -10, -34, 0, 0, 6, 14, 6, 16, 0, 0, -36, 8, -8, 0, 12, -4, 0, 48, 0, 36, 28, -14, 34, 0, -4, -8, -44, 36, 0, 4, 0, -16, -20, 0, -16, -12, 24, 0, 0, 38, 22, -24, -62, 0, 0, 0, 12, 10, 0, 8, 10, 0, 0, 0, 4, -36, 0, -24, 0, 10, -48, 0, -16, 0, 8, 0, -38, 8, 0, -4, -6, 24, 0, 0, -58, -8, 4, 0, 0, 0, 56, -18, 0, 0, -4, 18, 0, 2, 0, -4, 40, 4, -28, 0, -16, 8, 28, 12, 0, 60, 0, 26, -6, 0, -36, 26, -48, 0, 0, -20, 0, -28, -24, 0, 0, 16, 52, -60, 0, 0, -60, 0, -62, 0, -16, -20, -6, 52, 0, -4, -22, 4, -32, 0, -36, 0, 2, 4, 0, 38, 28, -22, 0, 0, 4, 34, 60, 38, 0, 0, 54, -8, 8, 0, -34, -8, 0, -48, 0, -4, -8, -60, -80, 0, -78, 24, -36, -40, 0, -48, 0, -36, 6, 0, 62, 20, -62, 0, 0, 26, -40, 22, -4, 0, 0, -30, 40, -48, 0, 0, 10, 0, 44, 0, -84, 12, -48, -12, 0, -8, 84, -58, -12, 0, 28, 0, 0, 4, 0, 24, -8, 12, 0, 0, 16, 20, -22, -4, 0, 0, 12, 32, 4, 0, -32, 12, 0, 0, 0, -52, 0, -48, -4, 0, 6, -8, 4, 24, 0, 28, 0, -8, 44, 0, -2, -34, -8, 0, 0, -8, 48, -20, -6, 0, 0, 0, -2, 68, 0, 2, 24, 0, 12, 0, -8, 32, -76, 0, 0, -12, -80, 0, -44, 0, 32, 0, -4, -48, 0, 46, 14, 4, 0, 0, 32, 14, -18, -64, 0, 0, -4, 44, 10, 0, -30, -16, 0, 48, 0, 58, -60, -8, 42, 0, 0, -2, -50, 28, 0, -60, 0, -48, 16, 0, 62, 28, 8, 0, 0, 68, -24, 78, -16, 0, 0, -4, -30, 0, 0, -4, -48, 0, 10, 0, -2, 36, 26, -20, 0, -46, 28, 0, -12, 0, -56, 0, -48, 54, 0, -16, 34, -12, 0, 0, -20, -12, 20, -20, 0, 0, 22, -28, 26, 0, -2, 78, 0, -42, 0, 12, -42, 44, -2, 0, 10, -52, -56, 20, 0, 0, 0, 18, -12, 0, -56, 72, 8, 0, 0, -72, -12, -36, 12, 0, 0, 12, -56, -28, 0, -4, 4, 0, -36, 0, -14, 32, -22, 44, 0, 40, 4, 12, -32, 0, 52, 0, -52, -16, 0, -64, -4, 2, 0, 0, 16, 26, 4, 58, 0, 0, -32, 36, -52, 0, -40, 16, 0, 8, 0, 32, -70, -24, -70, 0, 72, 82, 26, 26, 0, 4, 0, 8, 0, 0, -12, 8, 46, 0, 0, 28, -8, 10, -10, 0, 0, 10, -8, 36, 0, -36, -44, 0, 4, 0, 16, 12, -8, 36, 0, -56, -34, -76, 72, 0, -16, 0, 24, 28, 0, 0, -48, -56, 0, 0, 54, -12, 8, 48, 0, 0, -52, 2, -2, 0, 32, 42, 0, 32, 0, -36, 54, 32, 0, 0, -20, -56, 96, -32, 0, -2, 0, 20, -88, 0, 78, -74, 0, 0, 0, -52, 20, 0, 10, 0, 0, 4, -10, 12, 0, 0, -20, 0, 0, 0, -12, -14, 76, 64, 0, -60, 24, 68, 72, 0, -44, 0, -28, -24, 0, -30, -92, 32, 0, 0, -94, -8, -6, -6, 0, 0, 44, 40, 2, 0, 64, -24, 0, -40, 0, -36, 12, -2, -24, 0, -20, 10, 64, 8, 0, 68, 0, 16, 16, 0, -84, 12, 76, 0, 0, 10, 0, 24, 76, 0, 0, -10, 26, 0, 0, -48, 0, 0, 4, 0, -18, -20, 36, 20, 0, 48, -28, -14, 6, 0, -12, 0, 48, -14, 0, -20, -36, 36, 0, 0, 30, -16, 4, 0, 0, 0, 42, -32, -60, 0, -54, -16, 0, -22, 0, 32, -20, -40, 2, 0, -20, -48, -22, 8, 0, 58, 0, 72, -14, 0, 16, 64, 8, 0, 0, -28, -18, -48, -8, 0, 0, -36, -16, -36, 0, 50, -44, 0, 16, 0, 76, 58, 80, 10, 0, 88, 146, 44, -72, 0, -52, 0, 48, -40, 0, -4, 16, -46, 0, 0, 92, 8, -2, -26, 0, 0, -66, 0, 20, 0, 134, 20, 0, -76, 0, -4, -10, 22, 64, 0, 6, 6, 44, 64, 0, -52, 0, 52, 58, 0, -40, 76, 24, 0, 0, -26, 8, 4, -18, 0, 0, 18, -84, 30, 0, 68, 52, 0, 68, 0, 96, 64, 44, 40, 0, 48, -8, -68, -164, 0, 94, 0, -4, 18, 0, -4, -28, -4, 0, 0, -24, -40, -20, 36, 0, 0, -16, -64, 24, 0, 20, 0, 0, 42, 0, -12, -88, 56, -116, 0, 54, -44, -4, 48, 0, 6, 0, -36, -20, 0, 16, -20, -12, 0, 0, -12, 32, -4, -92, 0, 0, -4, 48, 64, 0, 10, -36, 0, 0, 0, -8, 36, 4, 10, 0, 76, 22, 36, 8, 0, -4, 0, -8, 28, 0, 54, -44, -6, 0, 0, -80, -32, -52, -24, 0, 0, 38, -28, 94, 0, -16, 72, 0, 16, 0, 0, 24, 20, -64, 0, 92, -66, -6, -2, 0, -68, 0, -32, 32, 0, 2, -32, -44, 0, 0, -8, -2, -64, -16, 0, 0, 10, 12, -38, 0, 80, -8, 0, 16, 0, 68, 56, 0, 36, 0, -56, 52, 14, 72, 0, -24, 0, 100, 4, 0, 60, 24, 8, 0, 0, 12, -8, 16, 16, 0, 0, -70, 20, -30, 0, 76, 0, 0, -6, 0, -16, -48, 60, -82, 0, -6, 24, -16, -80, 0, 10, 0, 74, 92, 0, -36, 34, -6, 0, 0, 16, -22, -60, 0, 0, 0, -96, -40, 4, 0, -36, -66, 0, 108, 0, 24, -2, -6, -42, 0, 24, 0, 60, -2, 0, 130, 0, 12, 12, 0, -16, -12, -64, 0, 0, 64, 6, -8, 48, 0, 0, -26, 28, -68, 0, -48, -32, 0, -32, 0, -34, 20, 4, 72, 0, -66, 12, 48, -74, 0, -88, 0, -80, 12, 0, -34, -44, -16, 0, 0, 18, -4, -28, -16, 0, 0, 16, 10, 42, 0, -52, 6, 0, -92, 0, -10, -72, -28, -92, 0, -54, -10, -30, -44, 0, 0, 0, -68, -94, 0, 76, 64, 64, 0, 0, -56, -68, -22, 76, 0, 0, 112, 28, -18, 0, -12, 42, 0, -18, 0, 0, 60, -112, 20, 0, -20, 44, -68, 12, 0, 32, 0, 0, -22, 0, -44, -82, 2, 0, 0, 4, 38, 76, -74, 0, 0, 24, 34, -80, 0, 36, -44, 0, -54, 0, -44, -32, -10, 32, 0, 4, -6, 36, -44, 0, 96, 0, 68, 4, 0, -58, -16, -90, 0, 0, -38, 22, 36, 34, 0, 0, 104, -20, -80, 0, -24, -12, 0, 64, 0, 16, 56, 8, -12, 0, -4, -16, -20, 98, 0, 4, 0, 44, -84, 0, 64, 0, -12, 0, 0, -64, -28, 36, -44, 0, 0, -54, 68, 72, 0, 8, 42, 0, -48, 0, -42, -8, 20, 48, 0, -26, 24, 36, -12, 0, -100, 0, 72, -42, 0, 24, -36, 64, 0, 0, 68, 64, 56, -76, 0, 0, -16, 52, 4, 0, -6, -26, 0, 44, 0, -44, -16, -60, 18, 0, -92, -72, -10, 40, 0, 24, 0, -12, 48, 0, -60, 32, 116, 0, 0, 0, 40, -16, -16, 0, 0, 32, -24, -20, 0, 22, -56, 0, 102, 0, -8, 30, -30, -38, 0, 0, -120, -92, 10, 0, 6, 0, -90, 40, 0, -30, 60, -42, 0, 0, -16, 90, 0, -32, 0, 0, -12, -32, 32, 0, -102, 60, 0, -36, 0, 2, -124, -48, 8, 0, 10, -18, 6, 56, 0, 56, 0, -8, -70, 0, -16, 8, -68, 0, 0, -8, 4, -46, 108, 0, 0, 82, 28, -12, 0, -92, 32, 0, -36, 0, 40, -20, -28, -12, 0, -16, 56, 0, 58, 0, 4, 0, -96, 22, 0, -32, 32, 4, 0, 0, 32, 32, 28, 60, 0, 0, 0, -96, -56, 0, -16, 12, 0, -52, 0, 8, -42, -32, 92, 0, -24, 60, 16, 16, 0, -36, 0, -82, 108, 0, 42, 40, 22, 0, 0, 76, -88, -24, 10, 0, 0, 0, 48, 0, 0, 2, 116, 0, -30, 0, -80, -52, 8, -80, 0, -12, -20, 8, 48, 0, -192, 0, -32, 0, 0, 68, -6, 42, 0, 0, 60, -48, 104, 6, 0, 0, -138, 32, 54, 0, 0, -68, 0, 104, 0, 48, -4, -12, 20, 0, 16, 44, -38, -106, 0, 32, 0, -104, 4, 0, 18, -40, -12, 0, 0, -42, 16, -12, 44, 0, 0, -88, -24, 18, 0, -120, 20, 0, -46, 0, 12, 16, -56, 52, 0, -26, 4, -126, 32, 0, -4, 0, -152, 48, 0, -8, 52, -8, 0, 0, 44, -76, 112, -52, 0, 0, -18, -32, 124, 0, -48, -100, 0, -32, 0, -32, 162, 68, 16, 0, 14, -92, -18, -68, 0, -54, 0, -26, -92, 0, 32, 50, -30, 0, 0, 64, -48, 48, 88, 0, 0, -32, -24, 4, 0, -32, 116, 0, -4, 0, -10, 0, -48, 68, 0, 36, 68, -28, 98, 0, 8, 0, -8, -48, 0, 50, 12, 96, 0, 0, -32, 114, -48, 34, 0, 0, 92, 36, 4, 0, -92, -16, 0, -64, 0, -32, -10, -22, 0, 0, -80, 20, -148, -84, 0, 12, 0, 56, 102, 0, 6, -4, 16, 0, 0, 54, 48, 22, -80, 0, 0, 144, 12, -18, 0, 8, -42, 0, -12, 0, -124, 8, -12, -52, 0, 0, -88, 56, 60, 0, 74, 0, 6, -40, 0, -4, 20, -80, 0, 0, -64, -56, -10, -84, 0, 0, 4, -50, 84, 0, -12, 44, 0, 64, 0, -44, 70, 68, 88, 0, -12, 56, 0, 36, 0, 6, 0, 38, -122, 0, 48, -32, 20, 0, 0, -44, 130, 132, -16, 0, 0, 84, -10, 32, 0, 20, 24, 0, -20, 0, 64, -116, -38, -26, 0, 12, -12, -24, 16, 0, 6, 0, 8, 84, 0, -88, -42, -96, 0, 0, 24, 10, -70, -90, 0, 0, -24, 100, -176, 0, 56, 60, 0, 8, 0, 32, 60, 34, 42, 0, -24, 16, 24, 28, 0, -48, 0, 12, 60, 0, 80, 132, 20, 0, 0, 94, 30, 14, 92, 0, 0, -90, -8, -14, 0, 20, -92, 0, 42, 0, -48, -16, -154, -32, 0, -24, -80, 102, -98, 0, -84, 0, 120, 0, 0, 48, 52, 44, 0, 0, -56, 4, -48, -40, 0, 0, 4, 8, 16, 0, 130, -86, 0, -38, 0, -12, -148, -32, -24, 0, 26, 116, 114, 36, 0, -22, 0, -14, -70, 0, 0, 48, -60, 0, 0, 64, -42, 100, 20, 0, 0, 108, 156, -56, 0, 94, -4, 0, -6, 0, 22, 104, -72, -32, 0, -92, -34, -24, -66, 0, -108, 0, -56, 20, 0, -82, 84, 0, 0, 0, -116, -46, -86, 16, 0, 0, 24, 20, -108, 0, 0, 8, 0, -44, 0, 48, -14, -50, -16, 0, 108, 12, -26, -86, 0, 148, 0, -16, -46, 0, 52, -108, 66, 0, 0, -52, 4, -32, -12, 0, 0, 96, -148, 2, 0, 4, -48, 0, -64, 0, -76, 96, -8, 32, 0, 38, -16, 46, 24, 0, 148, 0, 92, -32, 0, -36, -130, 88, 0, 0, 12, 0, -90, 64, 0, 0, 4, 24, 84, 0, 4, -62, 0, -36, 0, 60, -48, -20, -48, 0, 36, 32, -116, -48, 0, 78, 0, 36, 8, 0, 48, -156, -24, 0, 0, -24, -52, -96, 0, 0, 0, -48, 14, -64, 0, -16, 84, 0, 96, 0, -8, -108, 212, -26, 0, 0, -2, -32, 100, 0, 12, 0, -24, 76, 0, 0, -22, 34, 0, 0, 52, -40, 20, -48, 0, 0, -64, -28, -36, 0, -20, -24, 0, 64, 0, -62, 116, 144, -96, 0, -4, -102, 172, 2, 0, 4, 0, 20, -28, 0, -96, 8, -128, 0, 0, -70, -50, 88, 124, 0, 0, -136, 0, -2, 0, 44, 64, 0, 44, 0, -12, -36, -18, -12, 0, -110, 12, -6, -30, 0, 60, 0, -8, -74, 0, -16, 12, -64, 0, 0, -8, 8, -20, -140, 0, 0, 18, 22, 60, 0, -38, 2, 0, 56, 0, 132, 168, 64, 48, 0, 36, 132, 24, -8, 0, -144, 0, -14, 66, 0, 60, 38, -154, 0, 0, 16, 88, -68, -48, 0, 0, -24, 8, -48, 0, -132, 0, 0, -40, 0, 92, -98, 48, -144, 0, -48, -164, -56, -10, 0, -42, 0, 34, -16, 0, -2, -12, 68, 0, 0, 64, 26, -64, -30, 0, 0, -6, 12, 168, 0, 20, -36, 0, 0, 0, 50, 8, -56, 2, 0, -16, -4, 88, -64, 0, -16, 0, 80, -6, 0, -28, -136, -26, 0, 0, -18, -96, -52, -56, 0, 0, 14, -64, 8, 0, 12, -36, 0, 24, 0, 0, -44, -4, 8, 0, 110, 136, 56, -92, 0, -10, 0, 64, 160, 0, -96, 48, 4, 0, 0, -20, 64, -12, 44, 0, 0, -108, 26, -48, 0, 80, 0, 0, 52, 0, 88, 4, 0, -64, 0, 16, 28, -88, 128, 0, 40, 0, 40, 94, 0, -100, -56, 10, 0, 0, -68, -156, 12, -32, 0, 0, -112, -138, 136, 0, 6, 160, 0, 64, 0, 4, -48, 150, -46, 0, 84, -30, -28, -32, 0, 96, 0, -24, -32, 0, -64, 158, 32, 0, 0, -78, -112, -108, 124, 0, 0, 28, -44, -30, 0, 38, 8, 0, 28, 0, -14, 8, 54, 86, 0, 116, 0, 16, 24, 0, 64, 0, 28, 0, 0, 32, 0, -12, 0, 0, -80, 68, 10, 74, 0, 0, -42, -84, -100, 0, 56, -40, 0, -26, 0, 30, -48, 18, 52, 0, 94, -40, 18, 0, 0, -36, 0, 6, 88, 0, -44, -126, 96, 0, 0, -52, 48, -28, -16, 0, 0, -24, -58, 84, 0, 176, -10, 0, 28, 0, 0, -80, -48, -2, 0, 64, -12, -16, -124, 0, 0, 0, -16, -6, 0, 4, -4, 108, 0, 0, 124, -56, 40, -8, 0, 0, 0, 80, -24, 0, 74, -30, 0, -108, 0, -4, 30, 24, 58, 0, -40, 54, 116, 100, 0, -48, 0, 74, -132, 0, 98, -8, 96, 0, 0, 64, 102, -20, -82, 0, 0, 62, -44, 84, 0, 32, -64, 0, 36, 0, 72, 22, 24, 12, 0, -60, 30, 48, -16, 0, 40, 0, 16, 0, 0, 70, 72, -26, 0, 0, -6, 132, 34, 10, 0, 0, 30, 148, -42, 0, 96, 110, 0, -8, 0, 76, -56, 164, -16, 0, 70, -26, 70, 66, 0, -6, 0, 52, -58, 0, -40, 0, 12, 0, 0, 44, 32, 78, 108, 0, 0, -156, -44, -152, 0, -112, -80, 0, 14, 0, 16, 96, -8, 156, 0, -10, -20, 28, 92, 0, -118, 0, -108, -208, 0, -124, -8, -2, 0, 0, 136, 36, -112, -38, 0, 0, 100, -22, 0, 0, 12, 8, 0, -60, 0, 112, 12, -28, 32, 0, -16, 60, -60, 60, 0, 156, 0, 92, 148, 0, 114, -32, -10, 0, 0, 0, -148, 66, 26, 0, 0, 116, -116, 70, 0, -18, 100, 0, 8, 0, -82, 124, 66, 66, 0, -20, 32, 70, -18, 0, -8, 0, 48, -24, 0, -26, -56, 40, 0, 0, -36, 20, 0, 76, 0, 0, 54, 90, -2, 0, 52, 44, 0, -112, 0, -30, -28, -48, -132, 0, 32, -44, 34, -34, 0, 4, 0, 140, -46, 0, 56, -88, -148, 0, 0, -156, 12, -4, -164, 0, 0, 114, 148, 32, 0, 6, 38, 0, -102, 0, -112, 58, 36, 102, 0, 60, -56, -74, -96, 0, -16, 0, -64, -72, 0, -164, -2, 88, 0, 0, -56, 24, 4, -4, 0, 0, 0, -136, 52, 0]