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