# Trace form for 712.1.y.a, downloaded from the LMFDB on 23 April 2024.
[0, 20, 2, -2, -2, 0, 2, 0, 2, 0, 0, 0, -2, 0, 0, 0, -2, 0, 0, -2, 0, 0, 0, 0, 2, 2, 0, -22, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, -20, 0, 0, 2, 0, 2, 0, 0, 0, 0, -2, 0, -2, 4, 0, 0, 0, 0, 0, -4, 0, -2, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 2, -2, 0, 0, 0, 0, -2, -2, 2, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 2, -4, 0, 0, 2, 0, -4, 0, 0, 0, 0, 0, 22, 0, 0, 0, 0, 2, 4, 0, 0, 0, 2, 0, 0, -20, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, -22, 0, 0, 0, 0, -2, 0, 4, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 0, -2, 0, 0, 0, 0, 20, 2, 0, 0, 0, 0, -4, -2, -4, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 0, 0, -2, -2, -18, 0, 0, 0, 0, 0, -2, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, -22, -4, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 2, 20, -2, 0, 0, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, -2, 0, 22, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 18, 0, 0, 2, 0, 0, 0, 0, 0, 0, -22, -16, 0, -4, 0, 0, 20, 0, 0, 0, 0, 0, -20, 0, 0, 0, -2, 0, -4, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4, -2, 0, -2, 0, -2, 0, 0, 4, 2, 0, 0, 0, 0, 2, 0, 0, 0, 0, 2, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4, 0, 2, 0, 4, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 2, 0, 2, -2, -4, 0, 0, 0, 0, 18, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, -18, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, -2, 0, 2, 0, 2, 0, 0, -18, 0, 20, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 4, 0, 0, 0, 0, 20, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, -2, 0, 0, -4, 0, -22, 0, 0, 0, 0, 0, 0, 0, -2, -2, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, -2, 20, 0, 0, 0, 0, 0, -2, 0, -20, 0, 0, 0, 0, 0, 2, -6, 18, 0, 0, -18, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, -2, -22, 0, 0, 0, 0, 0, -2, -4, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 4, 0, 0, 0, 0, -2, 0, 4, 0, 0, 0, 0, 0, -2, -2, 0, 0, 0, 0, 0, 0, -22, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 2, 0, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0, 0, 0, -4, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, -2, -2, 0, 0, 0, -20, 0, 0, 0, 0, 0, 0, 0, 0, 18, 0, 4, 0, 0, 0, 0, 0, 0, -2, 0, -4, 0, 0, 0, -2, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 4, 0, 0, -2, 0, 0, 22, 0, -4, 0, 0, 0, 0, 0, 0, -20, 2, 0, 0, 0, 0, 0, 0, 0, -2, 22, 0, 0, 0, 0, -4, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 20, 0, 0, -18, -2, 0, 2, 0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 20, -22, 0, 0, 22, 0, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 4, -4, 0, 22, 0, -2, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, -2, 0, 0, 0, 0, 0, 0, 2, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, -22, 0, 0, 0, 0, -4, 0, 2, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 4, 0, -2, 0, 0, 18, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, -2, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, -2, 0, 0, -4, -2, 0, 0, 0, 0, 0, -4, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 2, 0, 0, 0, 0, -4, -4, 0, 0, 0, 0, -2, 0, 4, 0, 0, 2, 0, 0, 20, 0, 0, 0, 0, 0, 0, -2, -2, 22, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 20, 0, 0, 0, 0, 0, 0, 20, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -20, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, -18, -2, 0, 0, 0, 0, 0, 0, 0, -24, 0, 0, 0, 0, 0, 22, 0, -2, 0, 0, 2, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -22, 0, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 2, 0, 2, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, -20, -22, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, -2, 0, -16, 0, 4, 0, 0, 0, 0, 2, -4, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, -2, 0, 0, -4, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0, 0, 0, 0, 0, -4, 0, 0, 4, 0, 0, 0, 0, 0, -20, 2, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 2, 0, 0, 0, 0, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, -2, 0, 0, -4, 0, 0, 0, -2, -2, 0, 0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, -18, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 22, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0, -2, -22, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -22, 0, 0, 0, 0, 0, 4, 0, 0, 0, -4, 0, 0, -18, 0, 0, 0, 0, 0, 0, 0, -2, 0, -4, 2, 0, 0, 0, 4, 0, 0, -22, 0, 0, 0, 0, 2, 4, 0, 2, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, -4, 0, 0, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0, -2, 0, 0, 4, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, -22, 2, 20, 0, -2, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 2, 0, 0, 18, 0, 2, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, -2, 0, 22, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 20, 0, 0, -4, 0, -20, 0, 0, 0, -2, 0, 0, 0, 18, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 2, -4, 0, -2, 0, 0, -18, 0, 20, 0, 0, 0, 0, 22, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -4, 0, 0, 0, 0, -22, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 18, 0, 0, 0, 0, -4, 0, -4, 0, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4, 20, 4, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, 2, -4, 0, 2, 0, 0, 0, 0, 0, 2, 22, 4, 0, 0, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, 0, 4, -2, 0, 0, 0, 2, 0, 0, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 16, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, -4, 0, -22, 2, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, -4, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4, -4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -18, -4, 0, 0, 0, -20, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, -22, 0, 0, 0, 0, 0, 0, 2, -22, 0, 0, -22, 0, 0, 0, 0, 0, 0, 24, 2, 0, 0, 0, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4, 0, 4, 0, 0, 0, 0, -2, 4, 0, 2, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, -18, 0, -20, 0, 0, 22, 0, 0, 0, 0, 0, 0, 0, 0, -18, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 22, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, -4, -2, 0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0]