# Trace form for 25.4.a.c, downloaded from the LMFDB on 19 April 2024.
[0, 1, 4, -2, 8, 0, -8, -6, 0, -23, 0, 32, -16, 38, -24, 0, -64, -26, -92, 100, 0, 12, 128, 78, 0, 0, 152, 100, -48, -50, 0, -108, -256, -64, -104, 0, -184, -266, 400, -76, 0, 22, 48, -442, 256, 0, 312, 514, 128, -307, 0, 52, 304, -2, 400, 0, 0, -200, -200, 500, 0, -518, -432, 138, -512, 0, -256, -126, -208, -156, 0, 412, 0, 878, -1064, 0, 800, -192, -304, 600, 0, 421, 88, -282, 96, 0, -1768, 100, 0, -150, 0, -228, 624, 216, 2056, 0, 512, -386, -1228, -736, 0, 702, 208, 598, 0, 0, -8, 1194, 800, -550, 0, 532, 384, -1562, -800, 0, -400, -874, 2000, 156, 0, -307, -2072, -44, -864, 0, 552, -1846, 0, 884, 0, -2208, -512, -600, -504, 0, 0, 2334, -624, -700, 0, -1028, 1648, 1216, 1472, 0, 3512, 614, -2128, 2050, 0, 1852, 0, 598, -768, 0, -608, 2494, 2400, 4, 0, -468, 1684, -2762, 176, 0, -1128, -3126, 0, -753, 0, -2300, -3536, 78, 400, 0, -2048, -1000, -600, -1300, 0, 1742, -912, 1036, 0, 0, 864, -832, 4112, -600, 0, 3772, 1024, 358, -1544, 0, -2456, 2214, -2944, -2600, 0, 252, 2808, 300, 416, 0, 2392, -1794, -2432, 3200, 0, -1168, -16, -824, 4776, 0, 0, 648, -2200, -1756, 0, -988, 2128, 6478, 1536, 0, -6248, -646, -1600, 3750, 0, 384, 0, -1482, -3496, 0, 4000, -1200, 624, 1400, 0, 3022, -1228, -3542, -4144, 0, -176, 3800, 0, 564, 0, -1248, 1104, 2496, -7384, 0, 4096, -2106, 3536, 1596, 0, 1150, -8832, 3638, 0, 0, -2400, 300, -1008, -6550, 0, -4388, 1664, 456, 9336, 0, -1248, -546, -2800, 2484, 0, -6858, -4112, -9282, 3296, 0, 4864, -132, 5888, -4237, 0, 772, 7024, -4842, 2456, 0, 0, 3200, 8200, 2964, 0, 2652, 7408, -1404, -6400, 0, 2392, 2594, -1536, -1196, 0, 7332, 0, -1562, 9976, 0, 4800, -1426, 16, -1600, 0, -2388, -1872, -2600, 3368, 0, -11048, 1100, 0, -3084, 0, -4008, -2256, 6118, -12504, 0, -768, -8866, -3012, 3124, 0, -3456, -9200, 3900, 0, 0, 312, 1714, 800, 1150, 0, 3800, -8192, 4398, -4000, 0, -1200, -312, -5200, 1800, 0, 3141, 6968, 614, -1824, 0, 4144, 5874, -4992, -506, 0, 12, 1728, 2078, -3328, 0, 0, -1900, -2400, 7900, 0, 3692, 15088, 7518, 0, 0, 1432, 10166, -3088, -1950, 0, -2028, 0, 4416, 8856, 0, -5888, -13786, -10400, 1200, 0, 6402, 1008, -4104, 5616, 0, 1200, -8512, 0, 11150, 0, -4668, 4784, -3000, -7176, 0, -9728, 1400, 12800, -13700, 0, -5438, -4672, -11822, 0, 0, -3296, 3108, 9552, -2432, 0, 7692, -6400, 1118, 2592, 0, -4400, 7800, -7024, -2600, 0, 7061, -3952, 11958, 4256, 0, 25912, -4100, 3072, -17050, 0, 704, -12496, -3704, -2584, 0, 0, 9494, 15000, -2600, 0, -11418, 1536, -7962, 3200, 0, -5928, -6526, -6992, 756, 0, -4988, 0, -14144, -4800, 0, 1248, 46, 5600, 17400, 0, -10108, 12088, 936, -2456, 0, -14168, -1166, 0, 5524, 0, 7072, -352, 1300, 15200, 0, 6912, -2472, 2256, 100, 0, 6252, -4992, -2602, 0, 0, 9984, 1506, -14768, 11150, 0, -5268, 16384, 10000, -8424, 0, 7072, 16448, 6384, -156, 0, -3638, 4600, 2078, -17664, 0, 14552, 2808, 4096, -6083, 0, -11500, -4800, 836, 1200, 0, 0, 2600, -26200, -9824, 0, 5622, -17552, -3484, 6656, 0, 1824, -16486, 18672, 11914, 0, -5000, 0, -3600, -2184, 0, -5600, -11706, 9936, -16796, 0, 1664, -27432, 25038, -8224, 0, -37128, -2526, 0, 17550, 0, 10712, 9728, -7544, -528, 0, 11776, 13654, -16948, -716, 0, 1692, 3088, -64, 0, 0, -19368, -14166, 4912, -10800, 0, -4428, 17024, -17842, 12800, 0, 16400, 5200, 11856, -17600, 0, 27302, 10608, 2898, 14816, 0, -5616, 3794, -25600, -600, 0, 19532, 4784, 13238, 10376, 0, 0, 11574, -4784, 8300, 0, 7800, 29328, 900, 4864, 0, -6248, -6400, 19952, 6916, 0, -7508, 0, 2336, -5704, 0, 32, -11666, -6400, -9476, 0, -27378, -9552, -1842, -3744, 0, -10400, 10114, 0, 16000, 0, -1296, -22096, -10402, 4400, 0, -1408, -20194, -12336, 7100, 0, -7118, -16032, 1976, 0, 0, 24472, -3900, -25008, -12956, 0, -16576, -3072, 31278, -35464, 0, -6024, 30054, 12496, 2316, 0, 1292, -13824, 4518, -18400, 0, 15600, -7500, 28288, -76, 0, 29272, 624, 4416, 6856, 0, 0, -572, 4600, 2964, 0, -5798, 15200, -26600, -16384, 0, 17592, -4212, -8000, 8950, 0, -13800, 0, -8424, -1248, 0, -10400, -2800, 7200, 7800, 0, -3588, 12564, -6044, 13936, 0, 2456, 8554, 0, -4283, 0, 11492, 8288, -2882, 23496, 0, -19968, -4032, -2024, 18700, 0, -7600, 48, -12242, 0, 0, 8312, 6486, -6656, -7164, 0, -31148, -32896, 2496, -7600, 0, -4800, 7694, 31600, -4992, 0, -4518, 14768, 3300, 30176, 0, 30072, 19000, -8192, -39550, 0, 4212, 2864, -22122, 40664, 0, 0, -3192, -7800, 2200, 0, 13184, -8112, -5000, 19648, 0, 17664, 16634, 17712, -7276, 0, 9372, 0, -19684, -55144, 0, -20800, -27586, 4800, -13364, 0, 3450, 25608, 28096, 2016, 0, -16416, 13100, 0, 3850, 0, 10032, 2400, 8776, -34048, 0, -3328, -44200, 44600, 5244, 0, 20562, -18672, -10322, 0, 0, -12000, -8846, -14352, -25350, 0, 1092, -19456, 7982, 5600, 0, 25600, -10800, -54800, 46000, 0, -21889, -21752, 13716, -9344, 0, -47288, 1842, 128, 18564, 0, -20748, -6592, 16998, 12432, 0, 0, 26494, -9728, -21500, 0, 264, 30768, -25762, -25600, 0, 4472, 8474, 5184, 19200, 0, -4788, 0, 8878, 31200, 0, -14048, -30546, -10400, 9684, 0, 32942, 28244, 27118, -7904, 0, 47832, 38634, 0, 11076, 0, 13472, 51824, 51400, -16400, 0, 0, -5928, -68200, 5400, 0, 52, 2816, -5304, 0, 0, -14816, 1794, -5168, -16146, 0, 41732, 12800, -9024, 37976, 0, 30000, 13248, -10400, 29200, 0, -5188, -45672, 15656, 3072, 0, -31848, -13754, 12800, -48650, 0, -30700, -11856, -14664, -26104, 0, 0, 11334, 3024, 3124, 0, -31178, -19952, 1716, -32000, 0, -56576, -4686, -9600, 33364, 0, 2852, 0, 598, 184, 0, 11200, 3200, 69600, -14004, 0, -18127, -40432, -27462, 24176, 0, 3744, -41726, 0, 5200, 0, 24312, -28336, 4200, -4664, 0, 33152, -40946, 22096, -4800, 0, 12650, 28288, -42282, 0, 0, 5200, 6168, 30400, -34476, 0, 1172, 27648, 8016, -9888, 0, 4512, 31614, 400, -26600, 0]