# Trace form for 80.4.a.f, downloaded from the LMFDB on 25 April 2024.
[0, 1, 0, 8, 0, 5, 0, 4, 0, 37, 0, -12, 0, -58, 0, 40, 0, 66, 0, 100, 0, 32, 0, -132, 0, 25, 0, 80, 0, -90, 0, -152, 0, -96, 0, 20, 0, -34, 0, -464, 0, -438, 0, -32, 0, 185, 0, 204, 0, -327, 0, 528, 0, 222, 0, -60, 0, 800, 0, -420, 0, 902, 0, 148, 0, -290, 0, 1024, 0, -1056, 0, -432, 0, 362, 0, 200, 0, -48, 0, 160, 0, -359, 0, -72, 0, 330, 0, -720, 0, 810, 0, -232, 0, -1216, 0, 500, 0, 1106, 0, -444, 0, -258, 0, 988, 0, 160, 0, 24, 0, 950, 0, -272, 0, -1038, 0, -660, 0, -2146, 0, 264, 0, -1187, 0, -3504, 0, 125, 0, 124, 0, -256, 0, -132, 0, 400, 0, 400, 0, -1254, 0, 2860, 0, 1632, 0, 696, 0, -450, 0, -2616, 0, 750, 0, 448, 0, 2442, 0, -760, 0, 2246, 0, 1776, 0, -528, 0, 568, 0, -480, 0, 1524, 0, 1167, 0, 3700, 0, 3702, 0, 100, 0, -3360, 0, -3180, 0, -2098, 0, 7216, 0, -170, 0, -792, 0, 320, 0, -4392, 0, -2158, 0, -2320, 0, -1074, 0, -2840, 0, 8192, 0, -360, 0, -2190, 0, -4884, 0, -1200, 0, 2668, 0, -3456, 0, -160, 0, -608, 0, 2896, 0, -3828, 0, -1772, 0, 925, 0, 2784, 0, 350, 0, -384, 0, 1962, 0, 1020, 0, 1280, 0, 4320, 0, -478, 0, -5032, 0, -1635, 0, -5800, 0, -576, 0, -2652, 0, 1584, 0, 2640, 0, -2334, 0, -136, 0, -3330, 0, 3948, 0, 1110, 0, 6480, 0, 1590, 0, -4952, 0, -1856, 0, -300, 0, 1646, 0, -5624, 0, -1158, 0, -6992, 0, 4000, 0, -1752, 0, -557, 0, 8848, 0, -258, 0, -2100, 0, -960, 0, 7656, 0, -128, 0, -2064, 0, 4510, 0, 8944, 0, 7904, 0, -1392, 0, -5878, 0, 740, 0, 10326, 0, 1080, 0, 192, 0, 6600, 0, -1450, 0, 7600, 0, 816, 0, 4228, 0, -1258, 0, 5120, 0, 1106, 0, -8304, 0, 1824, 0, -2680, 0, -5280, 0, -9336, 0, -11770, 0, -4640, 0, 8322, 0, -2160, 0, 2112, 0, -10680, 0, 3141, 0, -9496, 0, 1810, 0, 5884, 0, -16206, 0, 888, 0, -2098, 0, 1000, 0, 5220, 0, -3860, 0, 992, 0, 9588, 0, -240, 0, -1184, 0, -13410, 0, -8712, 0, -1056, 0, 800, 0, -13114, 0, 3200, 0, -5838, 0, 8816, 0, -1795, 0, 408, 0, 9530, 0, -10032, 0, -1680, 0, -360, 0, 22880, 0, -7260, 0, 12062, 0, 7548, 0, 1650, 0, 3608, 0, 5568, 0, 13608, 0, -3838, 0, -3600, 0, -13200, 0, -7400, 0, -12099, 0, -8352, 0, 4050, 0, 6000, 0, 10770, 0, 5256, 0, 3584, 0, -1160, 0, -6694, 0, 5280, 0, -3018, 0, -14492, 0, -6080, 0, -7776, 0, 4096, 0, 17968, 0, 384, 0, 2500, 0, 8214, 0, 13680, 0, 1972, 0, -4224, 0, 5530, 0, -7916, 0, 4544, 0, -13932, 0, -5940, 0, -2220, 0, -1728, 0, 8260, 0, 12192, 0, 11148, 0, -1290, 0, 9336, 0, -9690, 0, 1448, 0, 8000, 0, 4940, 0, -2448, 0, 29616, 0, -16038, 0, -992, 0, 800, 0, -10032, 0, 5257, 0, -15540, 0, 25404, 0, 120, 0, -25440, 0, 3924, 0, 7142, 0, -16784, 0, 4750, 0, -7616, 0, 33374, 0, -9000, 0, 640, 0, -1360, 0, -10314, 0, 1856, 0, -6336, 0, 7128, 0, -5190, 0, -1436, 0, 2010, 0, 23188, 0, -35136, 0, -3300, 0, 22466, 0, -17264, 0, -288, 0, -2664, 0, -10730, 0, -22776, 0, -15200, 0, -8592, 0, -21198, 0, 1320, 0, -22720, 0, -15960, 0, 5882, 0, 37888, 0, -5935, 0, -8516, 0, -2880, 0, -11832, 0, 8462, 0, -17520, 0, -11094, 0, -2180, 0, -10560, 0, 3240, 0, 625, 0, -9600, 0, -2244, 0, 26848, 0, 21344, 0, 620, 0, 18966, 0, -15984, 0, 26322, 0, 10168, 0, -1280, 0, 23604, 0, 5040, 0, -4864, 0, 16422, 0, -660, 0, 13394, 0, 26100, 0, -3058, 0, -30624, 0, 2000, 0, 11880, 0, -14176, 0, -10824, 0, 10802, 0, 2000, 0, -10674, 0, 4424, 0, 22272, 0, 28608, 0, -6270, 0, 2800, 0, -12876, 0, 2428, 0, -1776, 0, 14300, 0, -28908, 0, 15696, 0, -6618, 0, -3400, 0, 8160, 0, -1032, 0, 20510, 0, 5920, 0, 20064, 0, 3480, 0, 34560, 0, -31680, 0, 3952, 0, -3824, 0, -2250, 0, -13196, 0, -30563, 0, -2112, 0, 8102, 0, -13080, 0, -12288, 0, 12580, 0, -46400, 0, -29892, 0, 3750, 0, -2664, 0, 96, 0, 40408, 0, -21216, 0, 2240, 0, 32366, 0, 12672, 0, -17238, 0, 3800, 0, 12210, 0, 24360, 0, 10850, 0, -18672, 0, 9102, 0, -3800, 0, -1088, 0, -43800, 0, 5184, 0, -7200, 0, 11230, 0, 25504, 0, 31584, 0, -4152, 0, -52316, 0, 8880, 0, 14166, 0, 13464, 0, 29970, 0, -4344, 0, -2640, 0, 12720, 0, 33210, 0, -39212, 0, -39616, 0, 2840, 0, -3200, 0, -8584, 0, 6222, 0, -31172, 0, -2400, 0, 264, 0, -29050, 0, 13168, 0, -21582, 0, 7620, 0, -12160, 0, 21720, 0, -16289, 0, -9264, 0, 5835, 0, -4748, 0, -55936, 0, 4488, 0, -6658, 0, 18500, 0, -13974, 0, -23780, 0, -14016, 0, 12228, 0, 18510, 0, -4456, 0, -1920, 0, -59392, 0, 40922, 0, 500, 0, 11606, 0, -2064, 0, -32958, 0, -8072, 0, -16800, 0, -15756, 0, 496, 0, 4308, 0, 20400, 0, -15900, 0, 61248, 0, 13680, 0, 14652, 0, -1024, 0, -10490, 0, -18776, 0, -9546, 0, 20568, 0, 864, 0, 36080, 0, -528, 0, 6280, 0, 71552, 0, 25056, 0, -850, 0, 36556, 0, -20430, 0, -32700, 0, -11136, 0, -3960, 0, 8906, 0, -47024, 0, -17418, 0, 57816, 0, 1600, 0, 2544, 0, -20996, 0, 82608, 0, 15402, 0, -21960, 0, 8640, 0, -5016, 0, -6687, 0, 888, 0, -10790, 0, 49444, 0, 52800, 0, 25188, 0, 11440, 0, -11600, 0, 2946, 0, -9720, 0, 35150, 0, -15012, 0, -5370, 0, 6528, 0, 4224, 0, 5128, 0, 33824, 0, -14200, 0, -49714, 0, -2720, 0]