# Trace form for 256.3.h.a, downloaded from the LMFDB on 25 April 2024.
[0, 28, 0, -4, 0, 4, 0, 4, 0, -4, 0, -4, 0, 4, 0, 8, 0, 0, 0, -4, 0, 4, 0, 68, 0, -4, 0, -100, 0, 4, 0, 0, 0, -8, 0, 92, 0, 4, 0, -188, 0, -4, 0, 92, 0, 40, 0, 8, 0, 0, 0, 224, 0, 164, 0, -252, 0, -4, 0, 124, 0, 68, 0, 0, 0, -8, 0, -164, 0, -188, 0, 260, 0, -4, 0, -488, 0, -220, 0, 520, 0, 0, 0, -484, 0, -96, 0, 452, 0, -4, 0, -196, 0, -32, 0, 0, 0, -8, 0, 216, 0, 4, 0, -380, 0, -200, 0, 828, 0, -284, 0, -1272, 0, 0, 0, 796, 0, -476, 0, -512, 0, -196, 0, 316, 0, -92, 0, 0, 0, -8, 0, -164, 0, 292, 0, 968, 0, 316, 0, -1124, 0, 712, 0, 1288, 0, 0, 0, -1536, 0, 356, 0, 708, 0, 320, 0, -128, 0, 4, 0, 0, 0, -8, 0, 316, 0, 588, 0, -1020, 0, -4, 0, 1884, 0, 868, 0, -2040, 0, 0, 0, 1756, 0, 644, 0, -1468, 0, -4, 0, 736, 0, 128, 0, 0, 0, -8, 0, -1132, 0, -476, 0, 1284, 0, -4, 0, -1860, 0, -892, 0, 2568, 0, 0, 0, -1956, 0, -1052, 0, 1924, 0, 192, 0, -1124, 0, -672, 0, 0, 0, -428, 0, 892, 0, -828, 0, -1848, 0, 700, 0, 2040, 0, -1112, 0, -1784, 0, 0, 0, 2496, 0, -736, 0, -1724, 0, 380, 0, 1084, 0, -156, 0, 0, 0, 56, 0, -1508, 0, 484, 0, 2308, 0, -644, 0, -2916, 0, 900, 0, 2312, 0, 0, 0, -2564, 0, 1412, 0, 2048, 0, -836, 0, -1828, 0, 1828, 0, 0, 0, 604, 0, 2200, 0, 1252, 0, -2300, 0, -328, 0, 2684, 0, 1156, 0, -3832, 0, 0, 0, 2492, 0, 1124, 0, -2620, 0, -4, 0, 2044, 0, 164, 0, 0, 0, -8, 0, -288, 0, -376, 0, 2756, 0, -200, 0, -2692, 0, -1528, 0, 2824, 0, 0, 0, -3328, 0, -1888, 0, 2304, 0, -904, 0, -964, 0, -2524, 0, 0, 0, -8, 0, 1884, 0, -3232, 0, -3196, 0, -1412, 0, 2744, 0, -2012, 0, -2552, 0, 0, 0, 3484, 0, -956, 0, -2616, 0, -580, 0, 1020, 0, -288, 0, 0, 0, -8, 0, -2056, 0, 772, 0, 768, 0, 956, 0, -3208, 0, 1348, 0, 4616, 0, 0, 0, -1792, 0, 3268, 0, 3076, 0, 1660, 0, -1924, 0, 4036, 0, 0, 0, -8, 0, -420, 0, 3300, 0, -2616, 0, 1152, 0, 3260, 0, 2444, 0, -2296, 0, 0, 0, 3548, 0, 804, 0, -1212, 0, 516, 0, -1060, 0, 260, 0, 0, 0, -8, 0, -1700, 0, -764, 0, 3528, 0, -4, 0, -3328, 0, -1116, 0, 4104, 0, 0, 0, -3460, 0, -2780, 0, 1348, 0, 1212, 0, -1760, 0, -5152, 0, 0, 0, 952, 0, 1016, 0, -3800, 0, -636, 0, 2108, 0, 3804, 0, -2592, 0, -3568, 0, 0, 0, 2524, 0, -1596, 0, -2492, 0, 572, 0, 2620, 0, -156, 0, 0, 0, -136, 0, 1052, 0, 968, 0, 452, 0, -964, 0, -1668, 0, 3180, 0, -512, 0, 0, 0, -3488, 0, 3780, 0, 1284, 0, -2500, 0, 2272, 0, 5124, 0, 0, 0, -1096, 0, 1948, 0, 6372, 0, -1724, 0, -1544, 0, 1460, 0, 3620, 0, -5112, 0, 0, 0, 1084, 0, 1184, 0, -1540, 0, -4, 0, 1500, 0, 288, 0, 0, 0, -8, 0, -1064, 0, -956, 0, 1412, 0, -1228, 0, -1860, 0, -3232, 0, 3080, 0, 0, 0, -768, 0, -6204, 0, 1476, 0, -2436, 0, -68, 0, -6556, 0, 0, 0, -8, 0, -2056, 0, -6364, 0, 712, 0, -2116, 0, 828, 0, -4472, 0, -248, 0, 0, 0, 60, 0, -2272, 0, 1220, 0, -772, 0, -1600, 0, -992, 0, 0, 0, -8, 0, -932, 0, 1964, 0, 2948, 0, 1276, 0, -448, 0, 2372, 0, 1800, 0, 0, 0, -2212, 0, 5508, 0, -384, 0, 2688, 0, -1796, 0, 8160, 0, 0, 0, -8, 0, 1012, 0, 5124, 0, 1288, 0, 2684, 0, -100, 0, 4964, 0, 520, 0, 0, 0, 668, 0, 3044, 0, -3580, 0, 1152, 0, 2012, 0, 228, 0, 0, 0, -1808, 0, 1308, 0, -668, 0, -952, 0, 2112, 0, 372, 0, -4824, 0, -4600, 0, 0, 0, 2720, 0, -7264, 0, -700, 0, 3968, 0, 2208, 0, -6748, 0, 0, 0, -1928, 0, 380, 0, -9020, 0, -3068, 0, 2812, 0, -1412, 0, -6108, 0, 2312, 0, 0, 0, -1060, 0, -2140, 0, 3016, 0, 956, 0, 252, 0, -704, 0, 0, 0, 248, 0, -1416, 0, 1252, 0, -2304, 0, -1800, 0, -4, 0, 4996, 0, 1032, 0, 0, 0, 3484, 0, 7908, 0, 256, 0, -3332, 0, -2820, 0, 7524, 0, 0, 0, 2168, 0, -3780, 0, 9128, 0, 1348, 0, -4036, 0, -2116, 0, 7496, 0, 7688, 0, 0, 0, -2524, 0, 4036, 0, 2244, 0, -3404, 0, -2852, 0, 292, 0, 0, 0, 2304, 0, -1572, 0, -3776, 0, -1404, 0, -1732, 0, 6556, 0, -4536, 0, -2296, 0, 0, 0, 796, 0, -6172, 0, -2044, 0, -3652, 0, -324, 0, -10272, 0, 0, 0, -8, 0, 5052, 0, -5464, 0, 3780, 0, -3848, 0, -3208, 0, -7004, 0, 8, 0, 0, 0, -4484, 0, -4892, 0, -956, 0, -576, 0, -1028, 0, 1224, 0, 0, 0, -8, 0, 5760, 0, 1376, 0, -4536, 0, 1276, 0, 5916, 0, 8776, 0, -11000, 0, 0, 0, 5852, 0, 9892, 0, -5436, 0, 4156, 0, 5116, 0, 8804, 0, 0, 0, -8, 0, 1088, 0, 11492, 0, -896, 0, 4028, 0, -5636, 0, 7716, 0, 1288, 0, 0, 0, -2308, 0, 5380, 0, 8772, 0, 1852, 0, 640, 0, 3812, 0, 0, 0, 2844, 0, 2328, 0, -4120, 0, -5628, 0, 4608, 0, -420, 0, -7484, 0, -2544, 0, 0, 0, 6140, 0, -10300, 0, 452, 0, 4860, 0, -2312, 0, -10044, 0, 0, 0, 3832, 0, -8356, 0, -9820, 0, 8264, 0]