# Trace form for 8019.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 360, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -36, 0, 0, 360, 0, 0, -36, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, 0, 0, 0, 108, 0, 0, 108, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, 108, 0, 0, 360, 0, 0, -36, 0, 0, 108, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 108, 0, 0, -36, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 108, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 108, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -36, 0, 0, 360, 0, 0, 0, 0, 0, 108, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, -54, 0, 0, 0, 0, 0, -54, 0, 0, 0, 0, 0, -54, 0, 0, 0, 0, 0, 0, 0, 0, -144, 0, 0, -144, 0, 0, 108, 0, 0, -54, 0, 0, 360, 0, 0, -144, 0, 0, 0, 0, 0, -54, 0, 0, -144, 0, 0, -36, 0, 0, 0, 0, 0, 108, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 360, 0, 0, -144, 0, 0, -54, 0, 0, 0, 0, 0, -36, 0, 0, -216, 0, 0, -144, 0, 0, -216, 0, 0, -54, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 324, 0, 0, 324, 0, 0, 0, 0, 0, -216, 0, 0, 108, 0, 0, 324, 0, 0, -144, 0, 0, -216, 0, 0, 324, 0, 0, 0, 0, 0, -54, 0, 0, 0, 0, 0, 360, 0, 0, -144, 0, 0, -36, 0, 0, 108, 0, 0, 324, 0, 0, -216, 0, 0, -54, 0, 0, 0, 0, 0, 0, 0, 0, 324, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, 360, 0, 0, -36, 0, 0, -216, 0, 0, -216, 0, 0, -144, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, 324, 0, 0, 0, 0, 0, -216, 0, 0, -54, 0, 0, -216, 0, 0, -144, 0, 0, 108, 0, 0, 324, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, -216, 0, 0, -54, 0, 0, -324, 0, 0, -216, 0, 0, -324, 0, 0, 0, 0, 0, -324, 0, 0, 72, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 324, 0, 0, -324, 0, 0, -144, 0, 0, 0, 0, 0, -216, 0, 0, -324, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, 324, 0, 0, -36, 0, 0, -216, 0, 0, 306, 0, 0, -144, 0, 0, 0, 0, 0, -324, 0, 0, 0, 0, 0, -216, 0, 0, 180, 0, 0, 0, 0, 0, 180, 0, 0, -324, 0, 0, 180, 0, 0, 0, 0, 0, 54, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, 180, 0, 0, 324, 0, 0, 0, 0, 0, 0, 0, 0, 180, 0, 0, 0, 0, 0, 0, 0, 0, -324, 0, 0, -216, 0, 0, -144, 0, 0, 0, 0, 0, -108, 0, 0, 288, 0, 0, 0, 0, 0, 180, 0, 0, -324, 0, 0, 360, 0, 0, 648, 0, 0, 0, 0, 0, 648, 0, 0, 180, 0, 0, 648, 0, 0, -198, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 648, 0, 0, -252, 0, 0, 0, 0, 0, 0, 0, 0, 648, 0, 0, 0, 0, 0, 36, 0, 0, 180, 0, 0, 0, 0, 0, 270, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, 648, 0, 0, 180, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 648, 0, 0, 0, 0, 0, 108, 0, 0, -144, 0, 0, 216, 0, 0, 216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 216, 0, 0, 0, 0, 0, 0, 0, 0, 216, 0, 0, 288, 0, 0, 648, 0, 0, -36, 0, 0, -432, 0, 0, 0, 0, 0, -468, 0, 0, -54, 0, 0, 216, 0, 0, 0, 0, 0, 1008, 0, 0, 180, 0, 0, 0, 0, 0, 216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, -54, 0, 0, 0, 0, 0, 216, 0, 0, 0, 0, 0, 0, 0, 0, 648, 0, 0, 360, 0, 0, 0, 0, 0, 0, 0, 0, 216, 0, 0, 504, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 108, 0, 0, 504, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -324, 0, 0, -36, 0, 0, -216, 0, 0, -216, 0, 0, 216, 0, 0, 0, 0, 0, -216, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, -144, 0, 0, 108, 0, 0, 162, 0, 0, -324, 0, 0, -36, 0, 0, 432, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 324, 0, 0, -540, 0, 0, -216, 0, 0, -540, 0, 0, 360, 0, 0, -540, 0, 0, 180, 0, 0, 648, 0, 0, -360, 0, 0, -360, 0, 0, -54, 0, 0, -540, 0, 0, 216, 0, 0, -360, 0, 0, -252, 0, 0, -540, 0, 0, -360, 0, 0, 324, 0, 0, 0, 0, 0, -216, 0, 0, 180, 0, 0, -216, 0, 0, 0, 0, 0, -108, 0, 0, -360, 0, 0, -180, 0, 0, -144, 0, 0, -216, 0, 0, 0, 0, 0, -360, 0, 0, 0, 0, 0, -432, 0, 0, 0, 0, 0, 648, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -432, 0, 0, 0, 0, 0, -324, 0, 0, 0, 0, 0, -360, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, -684, 0, 0, -216, 0, 0, 864, 0, 0, -414, 0, 0, 0, 0, 0, 180, 0, 0, 0, 0, 0, 108, 0, 0, -216, 0, 0, 0, 0, 0, 432, 0, 0, -36, 0, 0, 432, 0, 0, 0, 0, 0, 432, 0, 0, 216, 0, 0, 0, 0, 0, -432, 0, 0, -432, 0, 0, -360, 0, 0, 432, 0, 0, -36, 0, 0, -432, 0, 0, -54, 0, 0, 792, 0, 0, -432, 0, 0, -540, 0, 0, 324, 0, 0, -684, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, 432, 0, 0, -468, 0, 0, 432, 0, 0, -216, 0, 0, -540, 0, 0, -324, 0, 0, -432, 0, 0, -324, 0, 0, 288, 0, 0, -324, 0, 0, 0, 0, 0, 216, 0, 0, -432, 0, 0, -432, 0, 0, -324, 0, 0, 36, 0, 0, 288, 0, 0, -432, 0, 0, -648, 0, 0, -216, 0, 0, -432, 0, 0, 0, 0, 0, 216, 0, 0, 180, 0, 0, -216, 0, 0, -432, 0, 0, -324, 0, 0, -360, 0, 0, -432, 0, 0, -468, 0, 0, 432, 0, 0, 0, 0, 0, 0, 0, 0, -486, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, -540, 0, 0, 756, 0, 0, 756, 0, 0, -252, 0, 0, 108, 0, 0, 0, 0, 0, 756, 0, 0, -432, 0, 0, 0, 0, 0, 720, 0, 0, 432, 0, 0, -324, 0, 0, 216, 0, 0, -360, 0, 0, -756, 0, 0, 0, 0, 0, 0, 0, 0, 702, 0, 0, 324, 0, 0, -324, 0, 0, 648, 0, 0, 216, 0, 0, 540, 0, 0, 216, 0, 0, -216, 0, 0, 576, 0, 0, -900, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, 216, 0, 0, 216, 0, 0, -432, 0, 0, -36, 0, 0, 432, 0, 0, 72, 0, 0, 0, 0, 0, -108, 0, 0, 0, 0, 0, -432, 0, 0, -540, 0, 0, 936, 0, 0, 216, 0, 0, -432, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, -324, 0, 0, -756, 0, 0, 0, 0, 0, -396, 0, 0, 216, 0, 0, -648, 0, 0, 0, 0, 0, 72, 0, 0, 0, 0, 0, 0, 0, 0, 756, 0, 0, -900, 0, 0, -432, 0, 0, 0, 0, 0, 180, 0, 0, -432, 0, 0, -54, 0, 0, 0, 0, 0, 216, 0, 0, 756, 0, 0, -432, 0, 0, 648, 0, 0, -684, 0, 0, -972, 0, 0, 0, 0, 0, -756, 0, 0, 432, 0, 0, -216, 0, 0, -252, 0, 0, -324, 0, 0, -144, 0, 0, -756, 0, 0, -252, 0, 0, 0, 0, 0, -324, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, 72, 0, 0, 216, 0, 0, -54, 0, 0, 648, 0, 0, -468, 0, 0, -216, 0, 0, 0, 0, 0, -540, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 756, 0, 0, -324, 0, 0, -252, 0, 0, -756, 0, 0, -144, 0, 0, 360, 0, 0, 180, 0, 0, 0, 0, 0, -252, 0, 0, -144, 0, 0, -756, 0, 0, -432, 0, 0, -684, 0, 0, -648, 0, 0, 0, 0, 0, -216, 0, 0, 0, 0, 0, -864, 0, 0, 0, 0, 0, 0, 0, 0, -648, 0, 0, -1116, 0, 0, -252, 0, 0, -540, 0, 0, 432, 0, 0, 0, 0, 0, -216, 0, 0, 432, 0, 0, -468, 0, 0, 0, 0, 0, -468, 0, 0, -756, 0, 0, 468, 0, 0, 0, 0, 0, -144, 0, 0, 216, 0, 0, 324, 0, 0, 756, 0, 0, -216, 0, 0, 0, 0, 0, -54, 0, 0, -540, 0, 0, 0, 0, 0, 432, 0, 0, 0, 0, 0, -648, 0, 0, 0, 0, 0, -324, 0, 0, -252, 0, 0, -216, 0, 0, 0, 0, 0, 0, 0, 0, -648, 0, 0, -1188, 0, 0, -324, 0, 0, 648, 0, 0, 216, 0, 0, -360, 0, 0, -684, 0, 0, 108, 0, 0, 0, 0, 0, 324, 0, 0, 0, 0, 0, -216, 0, 0, 216, 0, 0, 0, 0, 0, 126, 0, 0, 0, 0, 0, -648, 0, 0, 0, 0, 0, -324, 0, 0, -108, 0, 0, 0, 0, 0, 0, 0, 0, 396, 0, 0, -432, 0, 0, -360, 0, 0, -216, 0, 0, 216, 0, 0, -540, 0, 0, 504, 0, 0, 0, 0, 0, 216, 0, 0, 0, 0, 0, 0, 0, 0, -432, 0, 0, 288, 0, 0, 216, 0, 0, 576, 0, 0, -216, 0, 0, 432, 0, 0, -756, 0, 0, -252, 0, 0, -864, 0, 0, -684, 0, 0, 432, 0, 0, 432, 0, 0, -648, 0, 0, -468, 0, 0, -324, 0, 0, 648, 0, 0, 0, 0, 0, -432, 0, 0, 0, 0, 0, -324, 0, 0, -756, 0, 0, 216, 0, 0, 0, 0, 0, -432, 0, 0, -648, 0, 0, 216, 0, 0, -432, 0, 0, 756, 0, 0, 180, 0, 0, -648, 0, 0, 108, 0, 0, 72, 0, 0, 360, 0, 0, -252, 0, 0, 0, 0, 0, -54, 0, 0, -324, 0, 0, -108, 0, 0, 216, 0, 0, 216, 0, 0, 648, 0, 0, -648, 0, 0, 0, 0, 0, 0, 0, 0, 756, 0, 0, 0, 0, 0, 216, 0, 0, -900, 0, 0, -216, 0, 0, 0, 0, 0, -756, 0, 0, 0, 0, 0, -360, 0, 0, 0, 0, 0, 0, 0, 0, 432, 0, 0, -540, 0, 0, 324, 0, 0, 0, 0, 0, 432, 0, 0, -648, 0, 0, 0, 0, 0, 0, 0, 0, 666, 0, 0, -648, 0, 0, 324, 0, 0, -540, 0, 0, 504, 0, 0, 432, 0, 0, 108, 0, 0, 540, 0, 0, 432, 0, 0, -432, 0, 0, -432, 0, 0, 0, 0, 0, -324, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, 324, 0, 0, 756, 0, 0, 432, 0, 0, 864, 0, 0, 540, 0, 0, 936, 0, 0, -108, 0, 0, 1296, 0, 0, 0, 0, 0, -648, 0, 0, -468, 0, 0, -216, 0, 0, 216, 0, 0, 1224, 0, 0, -900, 0, 0, -648, 0, 0, 216, 0, 0, 720, 0, 0, -684, 0, 0, 0, 0, 0, 1080, 0, 0, -756, 0, 0, 216, 0, 0, 540, 0, 0, -216, 0, 0, -648, 0, 0, -648, 0, 0, 648, 0, 0, 324, 0, 0, 0, 0, 0, 0, 0, 0, -216, 0, 0, 540, 0, 0, 648, 0, 0, -144, 0, 0, 216, 0, 0, 432, 0, 0, 1044, 0, 0, 720, 0, 0, -216, 0, 0, -252, 0, 0, 0, 0, 0, 666, 0, 0, -648, 0, 0, 360, 0, 0, 180, 0, 0, 324, 0, 0, 1080, 0, 0, 288, 0, 0, -648, 0, 0, -432, 0, 0, 0, 0, 0, 0, 0, 0, 1152, 0, 0, -432, 0, 0, 1080, 0, 0, -324, 0, 0, -864, 0, 0, 396, 0, 0, -1080, 0, 0, 756, 0, 0, -756, 0, 0, -216, 0, 0, 216, 0, 0, 180, 0, 0, -324, 0, 0, -900, 0, 0, -864, 0, 0, 540, 0, 0, -756, 0, 0, 936, 0, 0, -1188, 0, 0, -54, 0, 0, 432, 0, 0, 0, 0, 0, -648, 0, 0, 432, 0, 0, -36, 0, 0, 540, 0, 0, 540, 0, 0, -360, 0, 0, -108, 0, 0, 0, 0, 0, 1080, 0, 0, 648, 0, 0, 0, 0, 0, 216, 0, 0, -864, 0, 0, -144, 0, 0, 0, 0, 0, -324, 0, 0, 648, 0, 0, 180, 0, 0, 720, 0, 0, -144, 0, 0, -648, 0, 0, 0, 0, 0, -756, 0, 0, 0, 0, 0, 216, 0, 0, 0, 0, 0, -864, 0, 0, 720, 0, 0, 540, 0, 0, -252, 0, 0, 432, 0, 0, -216, 0, 0, 0, 0, 0, 792, 0, 0, -1512, 0, 0, 216, 0, 0, -864, 0, 0, 180, 0, 0, -1440, 0, 0, 432, 0, 0, -1080, 0, 0, 864, 0, 0, 1080, 0, 0, 0, 0, 0, 108, 0, 0, 0, 0, 0, -1188, 0, 0, 1152, 0, 0, 108, 0, 0, -252, 0, 0, -468, 0, 0, -324, 0, 0, -648, 0, 0, -216, 0, 0, 0, 0, 0, -324, 0, 0, 0, 0, 0, 0, 0, 0, 720, 0, 0, 162, 0, 0, -972, 0, 0, 432, 0, 0, -1512, 0, 0, -216, 0, 0, -756, 0, 0, 0, 0, 0, -720, 0, 0, -432, 0, 0, 432, 0, 0, 540, 0, 0, 756, 0, 0, 1296, 0, 0, 0, 0, 0, 540, 0, 0, 0, 0, 0, 1152, 0, 0, 0, 0, 0, 324, 0, 0, 972, 0, 0, -216, 0, 0, -1080, 0, 0, 432, 0, 0, 1800, 0, 0, 0, 0, 0, -324, 0, 0, 324, 0, 0, 324, 0, 0, 0, 0, 0, -864, 0, 0, 432, 0, 0, -576, 0, 0, 990, 0, 0, -216, 0, 0, -540, 0, 0, -432, 0, 0, 720, 0, 0, -1512, 0, 0, 0, 0, 0, 432, 0, 0, 432, 0, 0, 0, 0, 0, 324, 0, 0, 648, 0, 0, 1260, 0, 0, -216, 0, 0, 396, 0, 0, -1080, 0, 0, 216, 0, 0, 0, 0, 0, 0, 0, 0, 1296, 0, 0, -216, 0, 0, 1080, 0, 0, -252, 0, 0, -792, 0, 0, -648, 0, 0, -540, 0, 0, -360, 0, 0, -216, 0, 0, -432, 0, 0, 0, 0, 0, 972, 0, 0, -864, 0, 0, 1152, 0, 0, -324, 0, 0, -540, 0, 0, 1296, 0, 0, 0, 0, 0, 1080, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -324, 0, 0, 540, 0, 0, -288, 0, 0, 1620, 0, 0, -864, 0, 0, 396, 0, 0, -360, 0, 0, 0, 0, 0, -540, 0, 0, 324, 0, 0, 0, 0, 0, -648, 0, 0, 648, 0, 0, -216, 0, 0, 1620, 0, 0, 72, 0, 0, 1080, 0, 0, 432, 0, 0, -1080, 0, 0, 540, 0, 0, 324, 0, 0, 324, 0, 0, 1080, 0, 0, 1296, 0, 0, 108, 0, 0, 162, 0, 0, 432, 0, 0, 612, 0, 0, -648, 0, 0, 108, 0, 0, 1080, 0, 0, 432, 0, 0, -216, 0, 0, 0, 0, 0, 432, 0, 0, 1044, 0, 0, 1080, 0, 0, 900, 0, 0, 720, 0, 0, -864, 0, 0, 540, 0, 0, -360, 0, 0, 756, 0, 0, -216, 0, 0, -1080, 0, 0, 0, 0, 0, 432, 0, 0, 216, 0, 0, 864, 0, 0, -432, 0, 0, -864, 0, 0, -252, 0, 0, 648, 0, 0, 0, 0, 0, 0, 0, 0, 720, 0, 0, 1620, 0, 0, -216, 0, 0, 216, 0, 0, 1134, 0, 0, 0, 0, 0, 432, 0, 0, 648, 0, 0, -648, 0, 0, 540, 0, 0, 0, 0, 0, -216, 0, 0, 612, 0, 0, -540, 0, 0, -216, 0, 0, -900, 0, 0, 1296, 0, 0, 0, 0, 0, 540, 0, 0, 324, 0, 0, 828, 0, 0, -540, 0, 0, 216, 0, 0, 108, 0, 0, 324, 0, 0, -108, 0, 0, 648, 0, 0, 1080, 0, 0, -792, 0, 0, 0, 0, 0, 0, 0, 0, 864, 0, 0, 0, 0, 0, -1296, 0, 0, 1080, 0, 0, -540, 0, 0, 720, 0, 0, 1080, 0, 0, 504, 0, 0, 1296, 0, 0, -684, 0, 0, 0, 0, 0, -900, 0, 0, 0, 0, 0, 1296, 0, 0, -324, 0, 0]