# Trace form for 25.4.a, downloaded from the LMFDB on 25 April 2024.
[0, 3, 4, -2, -6, 0, 6, -6, 0, 21, 0, -54, -16, 38, -12, 0, 18, -26, -92, 30, 0, 96, 128, 78, -210, 0, 96, 100, -48, 270, 0, -24, -256, -64, 78, 0, -492, -266, 400, -468, 0, -384, 48, -442, 858, 0, 636, 514, 128, -921, 0, 1326, 304, -2, 330, 0, -180, -200, -200, -60, 0, -1554, -432, 138, -846, 0, -858, -126, -208, 2112, 0, 1236, 0, 878, -1692, 0, 1290, -192, -304, 1620, 0, -1257, 88, -282, -492, 0, -1584, 100, 0, -2040, 0, -564, 624, 216, 2448, 0, 2766, -386, -1228, -2628, 0, 3306, 208, 598, 840, 0, 156, 1194, 800, 1590, 0, -3864, 384, -1562, -1290, 0, -2640, -874, 2000, 1248, 0, 729, -2072, -44, -1452, 0, 816, -1846, 0, 2172, 0, -24, -512, -600, -222, 0, -2730, 2334, -624, -1890, 0, 1716, 1648, 1216, 3276, 0, 1986, 614, -2128, -4350, 0, 2256, 0, 598, -1284, 0, 2136, 2494, 2400, 1152, 0, 1476, 1684, -2762, 3018, 0, 426, -3126, 0, -3579, 0, -3840, -3536, 78, 2640, 0, -5574, -1000, -600, 3870, 0, -3774, -912, 1036, -4860, 0, 1452, -832, 4112, -1020, 0, -984, 1024, 358, 948, 0, 1842, 2214, -2944, 7200, 0, 2226, 2808, 300, -8502, 0, 3456, -1794, -2432, 6210, 0, 7446, -16, -824, 2238, 0, 1050, 648, -2200, -12438, 0, -6084, 2128, 6478, 3468, 0, -7254, -646, -1600, -2130, 0, -3228, 0, -1482, -4728, 0, 7920, -1200, 624, 6360, 0, 6816, -1228, -3542, 3108, 0, -3018, 3800, 0, 11442, 0, -5994, 1104, 2496, -9132, 0, 3858, -2106, 3536, -2172, 0, 8190, -8832, 3638, 9030, 0, -2820, 300, -1008, -18870, 0, -18864, 1664, 456, 10158, 0, -17124, -546, -2800, 4332, 0, 2226, -4112, -9282, -2472, 0, 7272, -132, 5888, 2499, 0, 18216, 7024, -4842, -1842, 0, 9420, 3200, 8200, -6108, 0, 3756, 7408, -1404, -9270, 0, 6396, 2594, -1536, 6252, 0, 13296, 0, -1562, 10788, 0, -2340, -1426, 16, -15360, 0, -20154, -1872, -2600, 15114, 0, -18654, 1100, 0, -732, 0, -4374, -2256, 6118, -4272, 0, 2676, -8866, -3012, -3918, 0, -7068, -9200, 3900, -2760, 0, 3336, 1714, 800, 13050, 0, 5760, -8192, 4398, -7920, 0, 12030, -312, -5200, 17940, 0, -8127, 6968, 614, 528, 0, -3108, 5874, -4992, -9438, 0, 996, 1728, 2078, -11154, 0, -5880, -1900, -2400, 11370, 0, -8544, 15088, 7518, -20370, 0, 7566, 10166, -3088, 4110, 0, 27456, 0, 4416, 13548, 0, 7356, -13786, -10400, -1740, 0, 8556, 1008, -4104, -12612, 0, 3120, -8512, 0, 3240, 0, 1086, 4784, -3000, -48, 0, -18744, 1400, 12800, -1170, 0, -13014, -4672, -11822, -2460, 0, 2472, 3108, 9552, 14424, 0, -22824, -6400, 1118, 3096, 0, -19380, 7800, -7024, -18840, 0, -6447, -3952, 11958, 35028, 0, 30336, -4100, 3072, -21000, 0, 18162, -12496, -3704, -1632, 0, 7350, 9494, 15000, -8970, 0, -7554, 1536, -7962, 16320, 0, -3924, -6526, -6992, 2448, 0, 696, 0, -14144, 2340, 0, -6396, 46, 5600, 22020, 0, 7476, 12088, 936, -9708, 0, -24024, -1166, 0, -47718, 0, -27384, -352, 1300, 17160, 0, 10356, -2472, 2256, -24900, 0, 63876, -4992, -2602, -3960, 0, -3948, 1506, -14768, 37890, 0, -14424, 16384, 10000, -17412, 0, -1944, 16448, 6384, 21012, 0, 39636, 4600, 2078, -32952, 0, 15996, 2808, 4096, 22071, 0, -23820, -4800, 836, -12030, 0, -4230, 2600, -26200, 16578, 0, -5034, -17552, -3484, 35958, 0, -528, -16486, 18672, -10878, 0, -16200, 0, -3600, 1368, 0, 2730, -11706, 9936, -21948, 0, -53118, -27432, 25038, -27432, 0, -22974, -2526, 0, -4320, 0, -16464, 9728, -7544, -2964, 0, 4428, 13654, -16948, 42222, 0, 11016, 3088, -64, 22890, 0, -27684, -14166, 4912, -13740, 0, 28416, 17024, -17842, 15810, 0, 61200, 5200, 11856, -59700, 0, 42156, 10608, 2898, 11988, 0, 12612, 3794, -25600, 12840, 0, 8556, 4784, 13238, 5238, 0, 7740, 11574, -4784, 25380, 0, -3540, 29328, 900, -11208, 0, -1404, -6400, 19952, -50232, 0, -13824, 0, 2336, -24672, 0, -8004, -11666, -6400, 8652, 0, -35934, -9552, -1842, -17352, 0, -16770, 10114, 0, 40080, 0, 2232, -22096, -10402, 19380, 0, -18054, -20194, -12336, 33690, 0, -27054, -16032, 1976, -23310, 0, 10656, -3900, -25008, 18012, 0, 27972, -3072, 31278, -29742, 0, 13758, 30054, 12496, 17268, 0, 7956, -13824, 4518, -7620, 0, 7800, -7500, 28288, -4668, 0, 16266, 624, 4416, 5598, 0, -33600, -572, 4600, 16992, 0, -26094, 15200, -26600, -2022, 0, -5844, -4212, -8000, -11010, 0, 8640, 0, -8424, 6396, 0, -46590, -2800, 7200, -47220, 0, 2796, 12564, -6044, 52548, 0, 9708, 8554, 0, -27969, 0, 28236, 8288, -2882, 40128, 0, 32196, -4032, -2024, -5340, 0, 6120, 48, -12242, -8820, 0, 32436, 6486, -6656, -22392, 0, -13644, -32896, 2496, -16560, 0, -1860, 7694, 31600, -102516, 0, 63396, 14768, 3300, 63468, 0, 45276, 19000, -8192, 16380, 0, -58704, 2864, -22122, 44712, 0, -37380, -3192, -7800, 16410, 0, -22248, -8112, -5000, -5526, 0, 32952, 16634, 17712, 2832, 0, 3336, 0, -19684, -57552, 0, -89400, -27586, 4800, 22308, 0, -38130, 25608, 28096, -11802, 0, -18768, 13100, 0, 71790, 0, 47496, 2400, 8776, -7044, 0, 48906, -44200, 44600, -2148, 0, 32886, -18672, -10322, -15960, 0, -15360, -8846, -14352, -64830, 0, 25956, -19456, 7982, -2730, 0, 4530, -10800, -54800, 105360, 0, -19467, -21752, 13716, -69642, 0, -38664, 1842, 128, 117642, 0, -122484, -6592, 16998, 6216, 0, 38070, 26494, -9728, -68610, 0, -16788, 30768, -25762, -36870, 0, -22674, 8474, 5184, -24660, 0, -12684, 0, 8878, 19860, 0, 60726, -30546, -10400, -48528, 0, 31626, 28244, 27118, 27768, 0, 35466, 38634, 0, 588, 0, 85626, 51824, 51400, -61200, 0, -17460, -5928, -68200, 18840, 0, 14976, 2816, -5304, 15090, 0, -11988, 1794, -5168, 41142, 0, 128796, 12800, -9024, 61638, 0, 71160, 13248, -10400, -28020, 0, -41154, -45672, 15656, 28356, 0, -50304, -13754, 12800, -97230, 0, -9210, -11856, -14664, 1728, 0, 18480, 11334, 3024, 37032, 0, -112434, -19952, 1716, -54960, 0, -64488, -4686, -9600, 76092, 0, -129924, 0, 598, 3792, 0, -23520, 3200, 69600, -9072, 0, -74181, -40432, -27462, -2382, 0, 17352, -41726, 0, -39390, 0, 78786, -28336, 4200, -38892, 0, -9324, -40946, 22096, 76470, 0, 59730, 28288, -42282, 42630, 0, 34320, 6168, 30400, -4668, 0, 75216, 27648, 8016, -4944, 0, -71634, 31614, 400, -4620, 0]