# Trace form for 51.3.f, downloaded from the LMFDB on 21 September 2025.
[0, 20, 0, -6, 24, 0, -2, -4, 0, 0, -16, 0, -42, -12, 0, 0, -64, 0, -4, 0, 0, 88, -40, 0, -82, 0, 0, 54, -160, 0, 0, 48, 0, 264, 152, 0, 0, 32, 0, 56, 52, 0, 0, 0, 0, 64, 388, 0, -230, 0, 0, -298, 64, 0, -254, -204, 0, -24, 396, 0, 0, -336, 0, -400, -480, 0, 0, -408, 0, -132, 0, 0, 276, -88, 0, -358, 0, 0, 380, -172, 0, 388, 372, 0, 1320, 648, 0, 0, -156, 0, 672, -124, 0, 0, 0, 0, 194, 688, 0, -864, 0, 0, -722, 92, 0, 24, 248, 0, 258, 932, 0, 0, -800, 0, -724, -516, 0, 0, -1648, 0, -592, 0, 0, 40, -936, 0, -1476, 0, 0, 600, -700, 0, 548, 1492, 0, 1524, 668, 0, 0, 96, 0, 288, -256, 0, 0, 0, 0, -218, 1012, 0, -1450, 0, 0, -744, 1464, 0, -232, 740, 0, 892, 1212, 0, 0, -820, 0, -768, -920, 0, 0, -2432, 0, -4, 0, 0, -472, -624, 0, -1396, 0, 0, 1080, 344, 0, 2064, 1736, 0, 2552, 1092, 0, 0, 780, 0, 1438, -1696, 0, 0, 0, 0, 1224, -120, 0, -1836, 0, 0, -898, -420, 0, 476, -1016, 0, 668, 1588, 0, 0, 16, 0, -1366, -2208, 0, 0, -3224, 0, -984, 0, 0, -916, -1604, 0, -2320, 0, 0, 784, -52, 0, -128, 2824, 0, 2536, 1016, 0, 0, -1332, 0, 54, -420, 0, 0, 0, 0, -544, 2380, 0, -1964, 0, 0, -2040, 720, 0, -284, 712, 0, 1040, 3936, 0, 0, -1960, 0, -1088, 1064, 0, 0, -1100, 0, -680, 0, 0, -392, 28, 0, -676, 0, 0, 1416, 1080, 0, 3100, 1260, 0, 2012, 1112, 0, 0, 1496, 0, 2830, -700, 0, 0, 0, 0, 1670, 1508, 0, -2144, 0, 0, 76, -176, 0, 620, -1024, 0, -456, -576, 0, 0, -880, 0, -1284, -2016, 0, 0, -6280, 0, -1248, 0, 0, -256, -2888, 0, -2196, 0, 0, 1336, -2348, 0, -328, 1196, 0, 1488, 932, 0, 0, 1464, 0, -612, 304, 0, 0, 0, 0, -1064, -1212, 0, 424, 0, 0, -1840, 1008, 0, -588, -1008, 0, 1018, 920, 0, 0, -356, 0, -1988, -768, 0, 0, -536, 0, 1428, 0, 0, 2848, 1704, 0, -924, 0, 0, 254, 1764, 0, 2252, 112, 0, 1272, 3168, 0, 0, -88, 0, 808, -12, 0, 0, 0, 0, 2756, 1840, 0, -1784, 0, 0, -758, 292, 0, -184, 1560, 0, -1696, 1496, 0, 0, 700, 0, -100, 684, 0, 0, 536, 0, -680, 0, 0, 284, -2492, 0, -250, 0, 0, -564, -1388, 0, -4612, 2000, 0, 1632, -3148, 0, 0, -756, 0, -3280, 1336, 0, 0, 0, 0, -1404, 1824, 0, 2328, 0, 0, -1538, 3608, 0, -2484, -496, 0, -4, -2884, 0, 0, -888, 0, -260, 3592, 0, 0, -832, 0, 440, 0, 0, -112, 980, 0, 2556, 0, 0, -46, -852, 0, 3796, -4144, 0, -284, 1068, 0, 0, 1552, 0, 3288, -3012, 0, 0, 0, 0, -252, -2448, 0, 414, 0, 0, 3420, -7664, 0, 2136, -4912, 0, -632, -1200, 0, 0, 704, 0, 2516, -9672, 0, 0, 5784, 0, -2012, 0, 0, 240, 4176, 0, 740, 0, 0, 1016, -2232, 0, -4448, -696, 0, -2696, -1812, 0, 0, -3072, 0, -2264, 6852, 0, 0, 0, 0, -2376, 1804, 0, 2836, 0, 0, 636, 1024, 0, -1560, 3292, 0, 484, 2744, 0, 0, -588, 0, 996, 11784, 0, 0, 4964, 0, 4388, 0, 0, 292, 3272, 0, 2624, 0, 0, -4718, 5000, 0, 1556, -5780, 0, -5188, 172, 0, 0, -12, 0, 1050, -1200, 0, 0, 0, 0, 2648, -1924, 0, -12, 0, 0, 3968, 5532, 0, 1280, 1936, 0, -2408, -7032, 0, 0, 2192, 0, 2072, -484, 0, 0, 5432, 0, -1448, 0, 0, -2572, -3580, 0, 2604, 0, 0, -2244, -6020, 0, -8964, 84, 0, -4788, -5020, 0, 0, -3204, 0, -5632, -764, 0, 0, 0, 0, -5108, -9416, 0, 5960, 0, 0, -1380, -4568, 0, -2080, 896, 0, 1676, -5688, 0, 0, 2192, 0, 4898, -3408, 0, 0, 5600, 0, 2072, 0, 0, 3856, 6708, 0, 4472, 0, 0, -3960, 7708, 0, 3288, -6620, 0, -6648, -1104, 0, 0, -1768, 0, -604, 2292, 0, 0, 0, 0, 952, 1956, 0, 1160, 0, 0, 8100, -8948, 0, 4808, 5848, 0, -4320, 1196, 0, 0, 5164, 0, 4158, 3752, 0, 0, 13896, 0, 3712, 0, 0, -940, -4408, 0, 5296, 0, 0, -696, -3224, 0, -5144, -868, 0, -6992, -10740, 0, 0, 1640, 0, -3552, -1016, 0, 0, 0, 0, -4732, -3264, 0, 9152, 0, 0, 1908, 5088, 0, 530, 2996, 0, 3884, -9728, 0, 0, 5120, 0, 3036, 11720, 0, 0, 256, 0, 3680, 0, 0, -2396, 7540, 0, 2748, 0, 0, -4, 348, 0, 2040, -8080, 0, -9752, 2480, 0, 0, 6652, 0, 292, -3796, 0, 0, 0, 0, 3096, -10796, 0, -540, 0, 0, 6890, -1820, 0, 348, -7056, 0, -4884, -9604, 0, 0, 3128, 0, 5684, -11232, 0, 0, 3192, 0, -3140, 0, 0, -6824, 1164, 0, 3900, 0, 0, -5360, 5500, 0, -10936, 568, 0, -7516, -2956, 0, 0, -9624, 0, -8248, 9500, 0, 0, 0, 0, -5988, -1248, 0, 5966, 0, 0, -1918, 2784, 0, -1132, 3312, 0, 2292, 9932, 0, 0, -4112, 0, 2760, 15552, 0, 0, 12852, 0, 840, 0, 0, 1440, 2300, 0, 5040, 0, 0, -7964, 5272, 0, 2012, -8008, 0, -6972, -7288, 0, 0, -288, 0, 1284, -2072, 0, 0, 0, 0, 4088, 2992, 0, -208, 0, 0, 6938, -3140, 0, 4980, 32, 0, -2444, -8108, 0, 0, 3068, 0, 3500, -556, 0, 0, 2024, 0, -2128, 0, 0, 2932, -392, 0, 3280, 0, 0, 3480, -4860, 0, -4552, -4136, 0, -3400, -632, 0, 0, 916, 0, -3424, 596, 0, 0, 0, 0, -1152, -13032, 0, 12776, 0, 0, 3232, -6408, 0, -174, -8072, 0, 712, -6892, 0, 0, 8812, 0, -1036, 2128, 0, 0, 1052, 0, 9744, 0, 0, 896, 13832, 0, 4216, 0, 0, -1120, 6320, 0, 5112, -512]