# Trace form for 80.4.a.b, downloaded from the LMFDB on 10 May 2024.
[0, 1, 0, -4, 0, 5, 0, -16, 0, -11, 0, -36, 0, -42, 0, -20, 0, -110, 0, 116, 0, 64, 0, -16, 0, 25, 0, 152, 0, 198, 0, -240, 0, 144, 0, -80, 0, -258, 0, 168, 0, 442, 0, 292, 0, -55, 0, -392, 0, -87, 0, 440, 0, 142, 0, -180, 0, -464, 0, 348, 0, -570, 0, 176, 0, -210, 0, -692, 0, 64, 0, -168, 0, -134, 0, -100, 0, 576, 0, -784, 0, -311, 0, -564, 0, -550, 0, -792, 0, 1034, 0, 672, 0, 960, 0, 580, 0, -382, 0, 396, 0, -674, 0, 992, 0, 320, 0, 500, 0, 1046, 0, 1032, 0, -558, 0, -80, 0, 462, 0, 1760, 0, -35, 0, -1768, 0, 125, 0, 328, 0, -1168, 0, 212, 0, -1856, 0, 760, 0, 1434, 0, -2196, 0, 1568, 0, 1512, 0, 990, 0, 348, 0, -2418, 0, -3672, 0, 1210, 0, -1200, 0, 358, 0, -568, 0, 256, 0, -2564, 0, 720, 0, 3056, 0, -433, 0, -1276, 0, -234, 0, -400, 0, -1392, 0, -524, 0, -1138, 0, 2280, 0, -1290, 0, 3960, 0, -2432, 0, -1520, 0, -2142, 0, 840, 0, -2306, 0, -3288, 0, 2768, 0, -3168, 0, 2210, 0, 176, 0, -4176, 0, 3876, 0, 672, 0, 1460, 0, 3840, 0, 536, 0, 4620, 0, 5688, 0, -275, 0, 2796, 0, 4446, 0, -2304, 0, 2522, 0, -1960, 0, 3136, 0, -816, 0, -5422, 0, -2860, 0, -435, 0, -4872, 0, 2256, 0, 5900, 0, 576, 0, 2200, 0, 5250, 0, 4128, 0, -2178, 0, -6240, 0, 710, 0, -4136, 0, -714, 0, -2144, 0, -2688, 0, -900, 0, -4466, 0, 2640, 0, -5302, 0, 6932, 0, -2320, 0, -7072, 0, 7187, 0, 1528, 0, -4034, 0, 1740, 0, -5472, 0, 672, 0, -4672, 0, 2696, 0, -2850, 0, 3836, 0, -3968, 0, -664, 0, 2986, 0, 880, 0, 2726, 0, -7128, 0, -2000, 0, -12760, 0, -1050, 0, -4184, 0, 6272, 0, 9212, 0, 2838, 0, -3460, 0, -3278, 0, 2232, 0, 8640, 0, 6880, 0, 320, 0, -4956, 0, 4678, 0, -6384, 0, 1890, 0, -840, 0, -7040, 0, 6472, 0, 6597, 0, 140, 0, -670, 0, -1960, 0, -4862, 0, -2272, 0, 8750, 0, -500, 0, -8316, 0, 380, 0, -1312, 0, 9688, 0, 2880, 0, -3212, 0, 3870, 0, 1760, 0, -848, 0, -3920, 0, 1622, 0, 7424, 0, 9906, 0, 10080, 0, -1555, 0, 9288, 0, -4214, 0, -5736, 0, -5568, 0, -2820, 0, 8784, 0, 7012, 0, -1602, 0, 4312, 0, -2750, 0, 9120, 0, -6048, 0, 3584, 0, -3470, 0, -3960, 0, -1856, 0, 3416, 0, 957, 0, -9708, 0, 5170, 0, 9672, 0, -10366, 0, -15912, 0, 14688, 0, 3360, 0, -16742, 0, -16720, 0, -1258, 0, -13528, 0, 4800, 0, -6916, 0, 11072, 0, -1432, 0, -10512, 0, 2900, 0, -1562, 0, -1728, 0, 10836, 0, -1024, 0, -1910, 0, -16656, 0, 10256, 0, 1084, 0, -21780, 0, 1980, 0, 2688, 0, -5804, 0, -12224, 0, -10512, 0, -3370, 0, 1732, 0, -4314, 0, 2144, 0, 17632, 0, 4960, 0, 14112, 0, 936, 0, -1190, 0, 3780, 0, 1600, 0, 26400, 0, -11911, 0, -3828, 0, -18564, 0, 2500, 0, 2096, 0, 3132, 0, -11002, 0, 4552, 0, 5230, 0, -5908, 0, 6270, 0, 22968, 0, 12544, 0, 5160, 0, 14806, 0, -12264, 0, -15840, 0, 684, 0, -2790, 0, 4976, 0, -2582, 0, 2540, 0, 6080, 0, -400, 0, 22786, 0, 8568, 0, 9024, 0, -5112, 0, 2310, 0, -7884, 0, -27840, 0, 9224, 0, -21902, 0, 8800, 0, 13152, 0, -15080, 0, -19702, 0, 7612, 0, -175, 0, -7320, 0, 12672, 0, 16464, 0, 24350, 0, -8840, 0, 19546, 0, -3476, 0, -2432, 0, -16544, 0, 625, 0, 16704, 0, 28380, 0, -21880, 0, -15504, 0, 1640, 0, 3654, 0, 1848, 0, 20994, 0, 18204, 0, -5840, 0, 2064, 0, -12528, 0, -15360, 0, 9942, 0, 1060, 0, 1474, 0, -24236, 0, 17614, 0, -18480, 0, -9280, 0, -3168, 0, -22752, 0, 20520, 0, 13058, 0, 3800, 0, -33186, 0, 6112, 0, -11184, 0, 31716, 0, 7170, 0, -17784, 0, -5964, 0, 2084, 0, -6336, 0, -10980, 0, -48620, 0, -10088, 0, -7418, 0, -29928, 0, 7840, 0, 10784, 0, -18242, 0, 8624, 0, 3840, 0, 7560, 0, 3264, 0, -3024, 0, -15872, 0, 21688, 0, 4950, 0, 26176, 0, 19837, 0, -32120, 0, -17818, 0, 1740, 0, 24912, 0, 22052, 0, 19488, 0, -15840, 0, -12090, 0, 6204, 0, -8000, 0, -21024, 0, -23600, 0, -18360, 0, -38034, 0, -2304, 0, 37802, 0, -16736, 0, 6050, 0, -14616, 0, 15042, 0, -21000, 0, 5950, 0, -6000, 0, -16512, 0, 51272, 0, 6048, 0, 30096, 0, 1790, 0, -23364, 0, 24960, 0, 8928, 0, 23940, 0, -2840, 0, 19846, 0, 43120, 0, -11374, 0, 4824, 0, 1280, 0, 2856, 0, 24762, 0, -16644, 0, 8576, 0, -12820, 0, 33872, 0, -7392, 0, 3182, 0, 7504, 0, 3600, 0, -12604, 0, 12230, 0, 17864, 0, 9570, 0, 15280, 0, -36480, 0, -9656, 0, 14815, 0, 21208, 0, -2165, 0, 560, 0, -27728, 0, 4128, 0, 5806, 0, -6380, 0, -39094, 0, 18876, 0, 28288, 0, -32296, 0, -1170, 0, -28748, 0, 28224, 0, 29064, 0, 4202, 0, -2000, 0, -9578, 0, 16136, 0, -41710, 0, -2260, 0, -6960, 0, 33696, 0, -5248, 0, 11196, 0, -45472, 0, -2620, 0, -2688, 0, -47520, 0, -15620, 0, 18688, 0, -5690, 0, -7756, 0, 7414, 0, 5312, 0, 20304, 0, 11400, 0, -3392, 0, 23576, 0, -15344, 0, 7056, 0, -6450, 0, -10912, 0, -19038, 0, -10092, 0, 2656, 0, 19800, 0, 20570, 0, -11944, 0, -21386, 0, -7072, 0, -12160, 0, -38020, 0, 5628, 0, -10904, 0, 20202, 0, -7600, 0, 28512, 0, -22944, 0, 27809, 0, -5500, 0, -10710, 0, -29840, 0, 51040, 0, 12476, 0, 35136, 0, 4200, 0, -36974, 0, -37224, 0, -11506, 0, 16368, 0, -11530, 0, -25088, 0, -4672, 0, 49552, 0, -36848, 0, -16440, 0, 24414, 0, -39216, 0]