# Trace form for 1225.2.a.p, downloaded from the LMFDB on 25 April 2024.
[0, 2, 0, -2, 0, 0, 4, 0, 0, 0, 0, -6, 0, -6, 0, 0, -8, 2, -8, 12, 0, 0, 8, -12, -8, 0, -4, -2, 0, -6, 0, 12, 0, 14, -12, 0, 0, 4, 0, 2, 0, -4, 0, -4, 0, 0, -4, 6, 8, 0, 0, -14, 0, 0, -4, 0, 0, -12, -16, 4, 0, 0, 12, 0, 16, 0, -20, 8, 0, 8, 0, -12, 16, 0, -12, 0, 0, 0, -8, -14, 0, -2, -12, 0, 0, 0, 0, -10, -16, -16, 0, 0, 0, 0, 12, 0, 0, -18, 0, -16, 0, -12, 16, -30, 8, 0, -12, -12, 0, 10, 0, -16, 0, 12, 24, 0, 0, 8, -12, 0, 0, 12, -8, -8, 0, 0, 0, -8, 0, 4, 0, 16, 0, 0, 12, 0, 24, -24, -20, 24, 0, 6, 8, 10, 0, 0, 24, 0, 0, -24, 0, 2, 0, 24, 0, 0, 0, 36, 24, -12, 0, 0, 24, 12, 0, 0, 0, -10, 0, -4, 0, 0, 0, 6, 4, 0, 24, -16, 0, -12, 0, -12, 0, -8, 8, 0, 12, -30, 0, 0, 0, -6, -16, 32, -12, 0, 0, -24, 24, -12, 0, 4, 24, 0, 0, 0, -12, 8, 24, -36, 0, 18, 0, 20, 24, 0, 8, 0, 0, 24, 0, 6, 20, 6, 0, 0, 20, -6, 0, -12, 0, 0, 32, 24, 24, 0, 0, 38, 0, -18, 0, 24, -48, 32, 0, 0, 4, -36, -24, 0, 0, -8, 0, 28, -12, 0, 0, 36, -8, 0, 0, 32, 12, -12, 40, 0, 0, 16, 0, -24, 0, -24, -8, 0, 0, 0, 0, 12, -12, -24, 0, -18, 0, -18, 0, 0, -12, 0, 0, 4, 0, 6, 0, -26, 0, 0, 24, -2, 8, 40, 0, 0, -24, 36, -48, 0, -8, -42, 0, 18, 0, -20, 16, -6, -8, 0, 0, 12, 12, -14, 0, 36, 0, 12, 0, 0, 12, -10, 24, 0, 0, -4, 0, 24, 12, 0, 0, -36, 24, 8, 0, -12, -48, 0, 0, 0, 12, -12, 0, 12, 0, 10, 0, -30, 20, 0, 0, 0, -24, 0, 0, 34, -36, -60, 0, 0, 8, -6, 48, 24, 0, 0, 0, 16, 44, 0, -24, 34, 0, 4, 0, -4, 48, 8, 32, 0, 0, 0, 0, -42, 0, 0, 0, -4, -4, 0, 0, -6, -4, 0, 0, 18, 4, -48, 0, 0, 0, -36, -32, -12, 0, 24, 0, 0, 48, 0, 0, -36, 48, 12, 0, -38, 0, -24, 24, 0, -32, 0, 0, -22, 0, -18, 8, 12, 0, 0, 0, -72, -24, -24, 0, 0, 32, -36, 0, 0, 60, 32, 0, -54, 0, -12, 0, -26, -36, 0, -48, 32, 68, 10, 0, 40, 0, -8, 24, 0, -8, -14, 0, 0, 0, -44, 24, 12, -52, 0, 0, 24, -24, 32, 0, 0, -36, 0, 0, 0, -16, 4, 16, 0, 0, -18, 0, 42, -24, 0, -48, 0, 0, 6, 0, 22, 60, 74, 0, 0, -36, 28, 0, -8, 0, 0, 0, -12, -24, 0, 0, 6, 0, 6, 0, -4, 24, -48, 0, 0, 64, -24, -56, 30, 0, 24, 0, 24, -32, 0, -24, -12, -12, 0, 0, -10, 32, -24, 0, 0, 0, 32, 0, 16, 0, -36, 40, 0, -60, 0, 0, -24, -48, 12, 0, 74, 32, -4, 0, 0, -44, 0, -16, 24, 0, -52, 0, 54, 0, 0, 0, -6, -24, -32, 0, 0, -24, -24, -48, 0, -36, 24, 0, 72, 0, 20, -16, -30, 4, 0, 0, 8, 36, -30, 0, 12, 0, -24, 0, 0, -48, 30, 0, 0, 0, -30, 0, -20, -28, 0, 0, -12, -48, 48, 0, 16, 0, 0, -8, 0, 60, 84, 0, 40, 0, -34, -48, -18, -16, 0, 0, 0, 24, -16, 0, -24, -48, -30, 0, 0, -72, 40, -48, -36, 0, 0, 0, -36, 20, 0, 16, -48, 0, 6, 0, -24, -72, 26, 0, 0, -16, 52, 0, 54, 0, -16, 0, -24, -12, 0, 0, -46, 4, 0, 0, -30, 12, -24, 0, 0, 0, 80, 16, 12, 0, 24, 0, 0, -20, 0, -8, 32, -48, -32, 0, 42, 16, 24, -48, 0, 60, 0, 0, 34, 0, -48, 0, -84, 0, 0, 0, -6, -32, -8, 0, 0, 0, -60, 0, 0, 72, 36, 0, -42, 0, -4, 0, 30, 76, 0, 0, 0, 16, 26, 0, 12, 0, -48, -24, 0, 24, 0, 0, 0, 0, 42, -24, 68, 60, 0, 0, 16, 0, -64, 0, 0, -4, 0, 0, 0, -24, 0, 0, -12, 0, -60, 0, -30, 16, 0, 24, 0, 40, -24, 0, 52, 68, 22, 0, 0, 20, -66, 0, 76, 0, 0, -48, 8, 4, 0, 0, -34, 0, -30, 0, 0, 8, 48, 0, 0, -60, 12, -48, -18, 0, 24, 0, 56, 52, 0, 56, -24, 24, 0, 0, -30, -48, -8, 24, 0, 0, -36, 0, 60, 0, -72, -48, 0, 60, 0, 0, -24, 36, -72, 0, 24, 0, 50, 0, 0, -24, 0, 0, -26, 0, -12, 0, 12, 0, 0, -48, 28, 32, 24, 0, 0, -56, 0, 0, 0, -48, -28, 0, 90, 0, -36, 0, 24, -24, 0, 0, -60, -52, -10, 0, -72, 0, -80, 0, 0, 8, 28, -40, 0, 0, 54, 0, 36, -56, 0, 0, -4, 8, -84, 0, 36, 20, 0, -40, 0, 28, 12, 0, -48, 0, 0, 48, 0, -12, 0, 0, 0, 8, -26, 0, 14, -48, 28, 0, 0, 72, 24, 0, 84, 0, 0, 0, 20, 36, 0, -48, 66, 0, 66, 0, 24, 80, 36, -16, 0, -16, 96, 0, -24, 0, -28, 0, -24, 0, 0, 0, 38, -12, 0, 0, 46, 28, -48, 0, 0, 0, 36, 96, -84, 0, -60, 0, 0, -84, 0, 0, -12, 12, 48, 0, 0, -80, 42, -8, 0, 20, 0, 0, 24, 0, -28, 0, -68, 0, 0, 0, 18, 0, 8, 0, 0, -32, 40, 0, 0, 12, 0, 0, -34, 0, 24, 0, 40, -32, 0, 24, -40, -60, 60, 0, -60, 0, 24, -64, 0, -24, 18, 0, 0, 0, -42, 16, 60, -12, 0, 0, 24, 0, 12, 0, -8, 48, 0, 0, 0, -24, -60, -24, 8, 0, -2, 0, -18, -60, 0, 0, 0, 48, 90, 0, 66, -16, 12, 0, 0, 44, 30, 0, -24, 0, 0, -32, 36, 0, 0, 0, -32, 0, 0, 0, -48, -48, -34, 0, 0, 12, -32, 16, 96, 0, 48, 0, 100, 24, 0, 0, -28, 0, 0, 0, 82, -96, -24, -32, 0, 0, 16, 0, 80, 0, 84, 24, 0, 56, 0, 0, -8, 8, 8, 0, 24, -104, -42, 0, 0, 96, 0, 0, 10, 0, 26, 0, 66, 0, 0, 48, -4, 40, -28, 0, 0, 24, 24, 24, 0, -60, -12, 0, -32, 0, 0, -64, -84, -36, 0, 0, 48, 64, 0, 0, 4, 0, -60, 0, 0, 36, 82, 0, 0, 0, 10, 0, 68, 72, 0, 0, 84, 72, -24, 0, 20, -44, 0, 0, 0, -12, 72, 0, 60, 0, 10, -16, -2, -20, 0, 0, 0, -8, -30, 0, 62, -48, -10, 0, 0, -32, -36, 48, -12, 0, 0, 0, 8, -28, 0, 96, -66, 0, 12, 0, 88, -48, 18, 16, 0, 96, 36, 0, -48, 0, 12, 0, 0, 4, 0, 0, -12, -20, 0, 0, -72, 28, 4, 0, 0, 0, 12, 0, 12, 0, 24, 0, 0, -120, 0, 16, 24, -36, 92, 0, 66, -72, 38, 56, 0, 36, 0, 0, -18, 0, -60, -24, 48, 0, 0, 0, 74, 48, -72, 0, 0, -32, -24, 0, 0, 36, 24, 0, 72, 0, 0, 0, -38, -24, 0, 8, 64, 52, -60, 0, -16, 0, -32, -24, 0, -48, -6, 0, 0, 0, 48, 0, 12, 0, 0, 0, -28, 48, 12, 0, 48, 72, 0, 0, 0, -20, -76, 0, 44, 0, -66, 0, -24, 108, 0, -24, 0, -48, 102, 0, -16, 24, -86, 0, 0, 24, 62, 0, -72, 0, 0, -48, 32, -60, 0, 0, -12, 0, 48, 0, 84, 24, -66, 0, 0, -56, -60, 96, -30, 0, -44, 0, 12, -92, 0, 0, -74, 36, 0, 0, -4, 8, -88, -24, 0, 0, 0, 0, 80, 0, 12, 40, 0, 12, 0, 0, 0, 56, 12, 0, 50, 72, 8, 0, 0, -72, 0, 64, 66, 0, 0, 0, 16, 0, 0, -40, -30, 0, -28, 0, 0, 56, 20, 64, 0, -96, -38, 0, -12, 0, 12, 48, -6, -12, 0, 0, -44, -60, -18, 0, -24, 0, 28, 0, 0, 84, 18, 72, 0, 0, 84, 0, -16, -32, 0, 0, 72, 8, 36, 0, -88, 24, 0, -16, 0, -84, -24, 0, -56, 0, -36, -96, -62, -4, 0, 0, 0, 48, -22, 0, 18, -48, 18, 0, 0, 36, -30, 0, -108, 0, 0, 0, -120, 0, 0, -88, -6, 0, -66, 0, -84, 24, -24, 0, 0, -76, 72, 0, -62, 0, -48, 0, -16, -24, 0, 0, 28, 92, 0, 0, -48, -36, -24, 0, 0, 0, -52, -96, -96, 0, 48, 0, 0, 28, 0, -64, 48, -8, -12, 0, -60, 96, -30, 0, 0, 60, 0, 0, -16, 0, -18, 72, -34, 0, 0, 0, -24, -72, 68, 0, 0, -72, 52, 0, 0, 28, 24, 0, 24, 0, 4, 0, 12, 36, 0, 8, 0, -88, 78, 0, -36, 0, 12, 64, 0, 24, 18, 0, 0, 0, -8, 8, 8, 108, 0, 0, -116, -24, 20, 0, 20, 64, 0, 0, 0, -72, 48, -8, -72, 0, 48, 0, 84, -36, 0, 48, 0, -112, -54, 0, 16, 100, -38, 0, 0, -80, -84, 0, 72, 0, 0, 0, 64, 0, 0, 0, -42, 0, 88, 0, -8, -24, -36, 0, 0, -36, 8, 120, 18, 0, 36, 0, -60, -68, 0, -96, 42, -68, 0, 0, -54, 84, 92, -32, 0, 0, 36, 0, -60, 0, 80, -96, 0, -36, 0, 0, -4, 36, -24, 0, -38, 96, -88, 0, 0, -68, 0, 0, 100, 0, -96, 0, -18, 0, 0, 0, -60, 8, 48, 0, 0, 64, -60, 64, 0, -48, 16, 0, 18, 0, 36, 48, 76, 24, 0, 0, -84, -104, -96, 0, 60, 0, 56, 0, 0, -52, -124, -16, 0, 0, -30, 0, -132, 32, 0, 0, 0, -128, -24, 0, -60, -52, 0, -40, 0, 72, 48, 0, 60, 0, 6, 48, 150, 48, 0, 0, 0, -16, -148, 0, 48, -48, 8, 0, 0, 24, 0, -64, 32, 0, 0, 0, 8, -48, 0, 64, -36, 0, 18, 0, 72, -80, 150, -120, 0, 72, 96, 0, -72, 0, 8, 0, -12, 44, 0, 0, 22, -132, 0, 0, -82, -12, -60, 0, 0, 0, -60, -48, -20, 0, 28, 0, 0, 108, 0, 72, 60, 48, -84, 0, -58, 16, -102, 0, 0, 0, 0, 0, -12, 0, 66, -136, -18, 0, 0, 0, 54, 72, 116, 0, 0, -56, -108, 0, 0, 0, -8, 0, -78, 0, 16, 0, 10, 120, 0, -48, -68, -36, 60, 0, -24, 0, -12, 16, 0, -40, -18, 0, 0, 0, -42, -32, -20, 44, 0, 0, 132, -72, 36, 0, -96, 48, 0, 0, 0, 80, -76, 0, 68, 0, -24, 0, -38, 12, 0, 104, 0, -72, 0, 0, 30, 40, 6, 0, 0, -116, 30, 0, 0, 0, 0, 48, -96, -52, 0, 0, 4, 0, -72, 0, -48, 144, -8, 0, 0, 48, -48, 72, 66, 0, 60, 0, 4, 120, 0, -48, 64, 96, 0, 0, -64, 36, -72, 32, 0, 0, 88, 0, -92, 0, -72, 0, 0, -104, 0, 0, -180, -64, -12, 0, 36, -40, 18, 0, 0, -60, 0, 32, -12, 0, -24, 0, -82, 0, 0, 48, 42, 8, -16, 0, 0, 96, 96, 96, 0, 64, 18, 0, -64, 0, -36, 0, 6, 36, 0, 0, 36, 4, -10, 0, 56, 0, 48, 0, 0, -36, -120, -120, 0, 0, 22, 0, 40, -72, 0, 0, -76, 96, 48, 0, -12, -60, 0, 72, 0, 72, 36, 0, -96, 0, -14, 32, -72, -48, 0, 0, 0, 80, -36, 0, -100, 72, 72, 0, 0, -36, 96, 0, -32, 0, 0, 0, 24, -44, 0, 48, 156, 0, 4, 0, -136, -32, -24, -16, 0, 84, 24, 0, 114, 0, 60, 0, -16, -8, 0, 0, 84, 96, 0, 0, 0, -4, 28, 0, 0, 0, -60, -48, -96, 0, -20, 0, 0, 72, 0, -64, 16, 24, -140, 0, 114, 24, 30, -128, 0, -68, 0, 0, -96, 0, -54, 112, 126, 0, 0, 0, -96, -120, -48, 0, 0, 0, -96, 0, 0, 64, -34, 0, 42, 0, 36, 0, -10, -36, 0, 64, -24, -24, -12, 0, 0, 0, 32, 0, 0, 4, 72, 0, 0, 0, 48, 24, -36, 32, 0, 0, -52, 0, 28, 0, -108, -84, 0, 0, 0, 68, 64, -64, 72, 0, 18, 0, 36, 48, 0, -96, 0, -48, 82, 0, -68, -24, 44, 0, 0, -24, -46, 0, 28, 0, 0, 96, 28, -48, 0, 0, 66, 0, -114, 0, -48, -88, -48, 0, 0, -112, -72, 0, -40, 0, -4, 0, -24, 20, 0, 120, 22, -36, 0, 0, 48, -120, 48, -96, 0, 0, -20, 0, 84, 0, 120, 96, 0, 132, 0, 0, 96, 8, 24, 0, 0, -72, 74, 0, 0, -116, 0, -64, -30, 0, 12, 0, -18, 0, 0, -24, 24, -72, -120, 0, 0, 8, 72, 88, 0, -84, 90, 0, -14, 0, -40, 0, 32, 8, 0, 0, 72, -36, 0, 0, -12, 0, -36, 0, 0, 32, -42, -40, 0, 0, -54, 0, 60, -48, 0, 0, -48, 40, 72, 0, 28, -24, 0, 0, 0, 64, 4, 0, 56, 0, -70, 48, 48, 32, 0, 0, 0, -48, 90, 0, -54, 8, 48, 0, 0, 56, 60, 48, -24, 0, 0, 0, 36, -124, 0, 0, -48, 0, 24, 0, -48, 96, -124, 72, 0, -68, -16, 0, -90, 0, -24, 0, 72, -120, 0, 0, -78, -64, 0, 0, 102, 108, 60, 0, 0, 0, -128, 32, 192, 0, -60, 0, 0, 8, 0, -8, -128, 68, 16, 0, -18, -16, -6, 96, 0, 60, 0, 0, -22, 0, 142, -72, 96, 0, 0, 0, 6, 40, 12, 0, 0, 72, 16, 0, 0, 28, 0, 0, -120, 0, 24, 0, -48, 80, 0, -8, 36, -36, 28, 0, 24, 0, -12, 96, 0, 84, -94, 0, 0, 0, 46, 0, 76, 12, 0, 0, 8, 72, -64, 0, 84, -124, 0, 0, 0, -36, -144, -96, -12, 0, 24, 0, 102, -48, 0, 56, 0, 120, 18, 0, 48, -104, 6, 0, 0, 96, 24, 0, -28, 0, 0, 96, -52, 0, 0, 0, -58, 0, -20, 0, -32, 24, -30, 0, 0, -12, -128, 0, 96, 0, -36, 0, 120, 32, 0, 16, -54, 40, 0, 0, 24, -96, 164, -120, 0, 0, -60, 0, -96, 0, 60, -144, 0, -12, 0, 0, 108, 24, 172, 0, -50, 72, 72, 0, 0, -76, 0, 0, -64, 0, 102, 0, -48, 0, 0, 32, -8, -24, 72, 0, 0, -96, 96, 48, 0, 72, 88, 0, 54, 0, 108, -48, 76, 36, 0, 0, -44, 28, -60, 0, 76, 0, -88, 0, 0, 72, 74, 96, 0, 0, -4, 0, 0, -40, 0, 0, -128, 64, 0, 0, 48, -80, 0, 144, 0, 20, 40, 0, -52, 0, -6, 0, -114, -84, 0, 0, 0, 72, -92, 0, 48, 36, -144, 0, 0, 84, -218, -48, 24, 0, 0, 0, -16, 60, 0, -40, 90, 0, 30, 0, -108, -120, 0, -32, 0, -48, -48, 0, 6, 0, 108, 0, -60, 4, 0, 0, 72, 96, 0, 0, 144, 136, 24, 0, 0, 0, 16, 144, 104, 0, -144, 0, 0, 12, 0, 0, 60, -80, 108, 0, -76, 104, -126, 32, 0, -24, 0, 0, 60, 0, -70, 40, -128, 0, 0, 0, 54, 96, 36, 0, 0, 96, 40, 0, 0, 108, -38, 0, -34, 0, -72, 0, -54, -116, 0, 24, -48, 48, 42, 0, -72, 0, -48, 16, 0, -44, 24, 0, 0, 0, -78, -8, -40, 64, 0, 0, 60, -8, 0, 0, 96, 60, 0, 0, 0, -84, -12, -24, -124, 0, 150, 0, 16, -8, 0, 0, 0, -48, 0, 0, -48, 76, -54, 0, 0, 20, -52, 0, 72, 0, 0, -32, 48, 36, 0, 0, 98, 0, -96, 0, 144, 96, 56, 0, 0, 128, -52, -24, -28, 0, -24, 0, -24, 144, 0, 40, 26, -88, 0, 0, 42, -48, -24, 0, 0, 0, -120, 0, 0, 0, -84, 96, 0, 4, 0, 0, -28, 64, 0, 0, 18, -64, 48, 0, 0, 48, 0, -32, -70, 0, -22, 0, 102, 0, 0, 0, -120, 40, 48, 0, 0, 0, 24, -120, 0, -144, -156, 0, 44, 0, -144, 64, 54, -20, 0, 0, -60, 40, -46, 0, -84, 0, 84, 0, 0, -48, -48, 0, 0, 0, -52, 0, 32, 12, 0, 0, 4, -48, -92, 0, -72, 12, 0, 48, 0, 60, -24, 0, 12, 0, -48, 64, -76, 76, 0, 0, 0, -112, -102, 0, -16, 28, 98, 0, 0, -28, 72, 0, -12, 0, 0, 0, 164, -148, 0, 48, -12, 0, -78, 0, 84, -32, 66, -144, 0, 24, 144, 0, 18, 0, 0, 0, 96, 108, 0, 0, -84, 0, 0, 0, 60, 92, -100, 0, 0, 0, 108, 32, -60, 0, -92, 0, 0, -48, 0, -152, -112, -84, -96, 0, -30, -120, -10, -32, 0, 44, 0, 0, -102, 0, 54, -32, -54, 0, 0, 0, 6, 64, 48, 0, 0, 80, -24, 0, 0, -44, -16, 0, -24, 0, 132, 0, 124, 60, 0, 0, -32, -52, 144, 0, 136, 0, 216, -48, 0, 8, 138, 0, 0, 0, 18, 120, -72, 12, 0, 0, -76, -56, 104, 0]