# Trace form for 800.4.a.s, downloaded from the LMFDB on 12 January 2025.
[0, 2, 0, 8, 0, 0, 0, 8, 0, 26, 0, -64, 0, -12, 0, 0, 0, -4, 0, -208, 0, -208, 0, 120, 0, 0, 0, 272, 0, -292, 0, -176, 0, -544, 0, 0, 0, 356, 0, -432, 0, 100, 0, -376, 0, 0, 0, -280, 0, 546, 0, 1136, 0, -316, 0, 0, 0, -448, 0, -720, 0, -1268, 0, -1816, 0, 0, 0, -744, 0, -48, 0, 48, 0, 940, 0, 0, 0, 1184, 0, -32, 0, 1250, 0, -1592, 0, 0, 0, -1936, 0, -780, 0, 1872, 0, -416, 0, 0, 0, -1220, 0, -3136, 0, 1516, 0, -2408, 0, 0, 0, 2328, 0, 44, 0, 656, 0, 2748, 0, 0, 0, -3228, 0, -5776, 0, 1114, 0, -1520, 0, 0, 0, 552, 0, 272, 0, -896, 0, -2752, 0, 0, 0, 2156, 0, -2704, 0, -1744, 0, 2688, 0, 0, 0, 264, 0, 2780, 0, 560, 0, 9164, 0, 0, 0, 3220, 0, -2416, 0, 3120, 0, -3480, 0, 0, 0, 3496, 0, -1250, 0, 368, 0, -4812, 0, 0, 0, -1920, 0, -5040, 0, -2100, 0, -6608, 0, 0, 0, -6784, 0, -3232, 0, -784, 0, -3556, 0, 0, 0, -1276, 0, 2336, 0, -720, 0, 2672, 0, 0, 0, -2664, 0, 4352, 0, 1024, 0, -10272, 0, 0, 0, -2144, 0, 9520, 0, -9192, 0, -1544, 0, 0, 0, 600, 0, -2036, 0, 11264, 0, 2444, 0, 0, 0, 8128, 0, 2848, 0, 9012, 0, -2728, 0, 0, 0, -1824, 0, -8624, 0, -5120, 0, -672, 0, 0, 0, -3172, 0, 5264, 0, -9940, 0, 5752, 0, 0, 0, -816, 0, -468, 0, -1232, 0, 7392, 0, 0, 0, 9764, 0, 16, 0, 2020, 0, 4040, 0, 0, 0, 10000, 0, 17830, 0, -2960, 0, -6684, 0, 0, 0, -13888, 0, 3504, 0, -10384, 0, 16048, 0, 0, 0, -3752, 0, -5360, 0, -8432, 0, 1068, 0, 0, 0, 3956, 0, 13952, 0, 14064, 0, 9632, 0, 0, 0, 8624, 0, 2000, 0, -19616, 0, -1516, 0, 0, 0, 3868, 0, 8688, 0, 3904, 0, 9040, 0, 0, 0, 10008, 0, -1444, 0, -8544, 0, 3900, 0, 0, 0, -18016, 0, -1376, 0, 10986, 0, 22888, 0, 0, 0, -9528, 0, -14060, 0, 4496, 0, 11620, 0, 0, 0, 7896, 0, 11856, 0, 16176, 0, 5624, 0, 0, 0, 9320, 0, -2756, 0, -12912, 0, 15904, 0, 0, 0, 11828, 0, 15488, 0, -13884, 0, -1248, 0, 0, 0, -6784, 0, 4516, 0, 11696, 0, -7680, 0, 0, 0, 896, 0, -1200, 0, -7300, 0, -8632, 0, 0, 0, 2608, 0, 24768, 0, 8560, 0, 11036, 0, 0, 0, -16704, 0, 16736, 0, -8262, 0, 4392, 0, 0, 0, -400, 0, 3188, 0, 8320, 0, -160, 0, 0, 0, -21108, 0, 20192, 0, 14364, 0, 3512, 0, 0, 0, -7944, 0, -14256, 0, -6320, 0, 1376, 0, 0, 0, -13324, 0, 26016, 0, 4008, 0, -4032, 0, 0, 0, -21080, 0, -16752, 0, 24640, 0, -17848, 0, 0, 0, 52512, 0, -14800, 0, -1040, 0, -10600, 0, 0, 0, -392, 0, 27804, 0, -25040, 0, -21376, 0, 0, 0, 12704, 0, -29232, 0, -5964, 0, -14584, 0, 0, 0, 7264, 0, -11326, 0, -1680, 0, 14760, 0, 0, 0, -15360, 0, -5952, 0, 7228, 0, 3888, 0, 0, 0, -2536, 0, -28772, 0, 24224, 0, -41408, 0, 0, 0, 12692, 0, -11952, 0, -63424, 0, -20088, 0, 0, 0, 6920, 0, -17052, 0, -31136, 0, -5344, 0, 0, 0, 4636, 0, -26896, 0, 4912, 0, 17024, 0, 0, 0, 9656, 0, 20608, 0, 9104, 0, -19044, 0, 0, 0, -12544, 0, -576, 0, -5596, 0, 8376, 0, 0, 0, -5080, 0, 42656, 0, 6672, 0, 46916, 0, 0, 0, -24180, 0, -21808, 0, 6816, 0, -14640, 0, 0, 0, 35072, 0, -19144, 0, -31824, 0, -12896, 0, 0, 0, 12084, 0, -83088, 0, 27732, 0, 11112, 0, 0, 0, -600, 0, 17280, 0, 13696, 0, 7380, 0, 0, 0, 58300, 0, -25264, 0, -11620, 0, -42912, 0, 0, 0, -9072, 0, -2672, 0, 49792, 0, -41540, 0, 0, 0, -32572, 0, -14480, 0, 21936, 0, -58040, 0, 0, 0, 33328, 0, 11112, 0, -25248, 0, 67616, 0, 0, 0, -46280, 0, -37456, 0, 11148, 0, -43168, 0, 0, 0, -43856, 0, -22004, 0, 65632, 0, -13728, 0, 0, 0, 21568, 0, -1120, 0, -30992, 0, 32592, 0, 0, 0, -15352, 0, -39526, 0, 43376, 0, 24468, 0, 0, 0, 10272, 0, 42064, 0, 30336, 0, -744, 0, 0, 0, -38744, 0, -14448, 0, -53936, 0, -8480, 0, 0, 0, -33500, 0, -3072, 0, -37228, 0, -42064, 0, 0, 0, -3360, 0, 3876, 0, 8048, 0, 34564, 0, 0, 0, -24736, 0, -25760, 0, 61248, 0, -53536, 0, 0, 0, -62536, 0, 16720, 0, 22512, 0, 19896, 0, 0, 0, -6540, 0, -14416, 0, 8292, 0, -64640, 0, 0, 0, 50352, 0, 15732, 0, -29120, 0, 14368, 0, 0, 0, 53312, 0, 23568, 0, 34652, 0, 29880, 0, 0, 0, 16984, 0, 77068, 0, 78224, 0, -47172, 0, 0, 0, -18752, 0, -8064, 0, 6142, 0, -13040, 0, 0, 0, -87704, 0, -7408, 0, 29808, 0, 6820, 0, 0, 0, 18444, 0, -31504, 0, 20320, 0, 30040, 0, 0, 0, 66712, 0, -48512, 0, -13584, 0, -500, 0, 0, 0, 25780, 0, -31344, 0, -12716, 0, -27832, 0, 0, 0, 29768, 0, -67632, 0, -37696, 0, 24128, 0, 0, 0, -5856, 0, 21088, 0, -27016, 0, 10688, 0, 0, 0, -36680, 0, 99580, 0, -5488, 0, 64480, 0, 0, 0, -101024, 0, 49664, 0, -64208, 0, 83424, 0, 0, 0, 2872, 0, 78324, 0, -72144, 0, -72032, 0, 0, 0, -8948, 0, -21072, 0, -34724, 0, 27120, 0, 0, 0, 84440, 0, -51720, 0, -44464, 0, 25516, 0, 0, 0, 122432, 0, -6736, 0, -42366, 0, 68280, 0, 0, 0, 56072, 0, -82048, 0, 41376, 0, -69376, 0, 0, 0, 41436, 0, 11136, 0, 68156, 0, 29176, 0, 0, 0, 39104, 0, -42096, 0, -24944, 0, -97376, 0, 0, 0, -54876, 0, 34592, 0, -59328, 0, 24480, 0, 0, 0, 23648, 0, -37436, 0, 13168, 0, 13412, 0, 0, 0, 17292, 0, -32304, 0, 30716, 0, 31744, 0, 0, 0, -65856, 0, 45280, 0, -73008, 0, -11668, 0, 0, 0, -34328, 0, 72960, 0, 85872, 0, 68720, 0, 0, 0, -104080, 0, -44940, 0, -19168, 0, -4428, 0, 0, 0, 14240, 0, 65520, 0, -76948, 0, -9544, 0, 0, 0, 27520, 0, -22036, 0, -34384, 0, -39688, 0, 0, 0, -6656, 0, 27600, 0, -9936, 0, -35928, 0, 0, 0, 32136, 0, 161938, 0, 14720, 0, -57884, 0, 0, 0, -3924, 0, 108880, 0, -100752, 0, -26472, 0, 0, 0, -20960, 0, -19348, 0, -108416, 0, 51296, 0, 0, 0, 41460, 0, 34960, 0, 82560, 0, 48360, 0, 0, 0, 53880, 0, -31036, 0, 92256, 0, 51424, 0, 0, 0, -3264, 0, 55632, 0, 240, 0, 118920, 0, 0, 0, -35936, 0, -14704, 0, 30096, 0, 18844, 0, 0, 0, -13752, 0, 119584, 0, -19168, 0, 40936, 0, 0, 0, -29456, 0, 89104, 0, -46624, 0, 18528, 0, 0, 0, -103008, 0, 144256, 0, -46644, 0, -28040, 0, 0, 0, 77496, 0, 16120, 0, 123728, 0, 80332, 0, 0, 0, 176192, 0, -52096, 0, 19924, 0, 5904, 0, 0, 0, -251232, 0, 27072, 0, 30672, 0, -34892, 0, 0, 0, -900, 0, -6288, 0, -53824, 0, 27800, 0, 0, 0, 122896, 0, -90756, 0, -67088, 0, 52604, 0, 0, 0, 2692, 0, 59520, 0, 136360, 0, -74112, 0, 0, 0, 26480, 0, -81980, 0, 58544, 0, -44160, 0, 0, 0, -136320, 0, -77392, 0, -8040, 0, -40720, 0, 0, 0, -69840, 0, -49312, 0, -20320, 0, 95424, 0, 0, 0, 26260, 0, 125824, 0, 156448, 0, 67304, 0, 0, 0, 147072, 0, -17516, 0, -112992, 0, -45920, 0, 0, 0, -11076, 0, -19984, 0, 64412, 0, -1544, 0, 0, 0, -27208, 0, 154304, 0, 11136, 0, -88968, 0, 0, 0, -12544, 0, -9344, 0, 49700, 0, 39696, 0, 0, 0, 52648, 0, 60240, 0, -61056, 0, 43744, 0, 0, 0, 7904, 0, -19728, 0, -56020, 0, 198208, 0, 0, 0, -26032, 0, -88704, 0, 49136, 0, 80320, 0, 0, 0, -53760, 0, -11920, 0, -10108, 0, 50864, 0, 0, 0, 34344, 0, -25650, 0, -24528, 0, 30228, 0, 0, 0, -11716, 0, -76144, 0, -37252, 0, -21648, 0, 0, 0, -51680, 0, -35440, 0, -51984, 0, 118784, 0, 0, 0, -101472, 0, -64576, 0, -7440, 0, -59184, 0, 0, 0, 41280, 0, 108196, 0, -50960, 0, -111740, 0, 0, 0, -67848, 0, 2816, 0, -48996, 0, -33768, 0, 0, 0, 146424, 0, 47964, 0, -63712, 0, 58188, 0, 0, 0, 148416, 0, -94016, 0, -88256, 0, -47712, 0, 0, 0, -76920, 0, -91536, 0, -115104, 0, -107276, 0, 0, 0, 20896, 0, 68784, 0, -80144, 0, -70912, 0, 0, 0, -67896, 0, 1944, 0, -18320, 0, 152800, 0, 0, 0, 89056, 0, -238048, 0, 117764, 0, -25624, 0, 0, 0, 30888, 0, -20332, 0, 162432, 0, 26052, 0, 0, 0, 42560, 0, -3696, 0, 69376, 0, -74744, 0, 0, 0, -87424, 0, -11632, 0, 132240, 0, 56856, 0, 0, 0, 48520, 0, -59568, 0, 20614, 0, -13624, 0, 0, 0, 140400, 0, 16256, 0, 103808, 0, -189920, 0, 0, 0, 64568, 0, -133072, 0, -69456, 0, 14104, 0, 0, 0, -6048, 0, 165372, 0, 111104, 0, -85988, 0, 0, 0, -142428, 0, 1312, 0, -23696, 0, 43728, 0, 0, 0, -37016, 0, -128752, 0, 40800, 0, -154140, 0, 0, 0, 147520, 0, -22544, 0, -72896, 0, -82824, 0, 0, 0, -108664, 0, -95280, 0, -95344, 0, -80640, 0, 0, 0, -129132, 0, 51360, 0, -22140, 0, -215504, 0, 0, 0, 18472, 0, 37668, 0, -27120, 0, -196236, 0, 0, 0, -40992, 0, 5488, 0, 20108, 0, -122384, 0, 0, 0, 30744, 0, 71004, 0, 245936, 0, 117984, 0, 0, 0, -31548, 0, -19840, 0, -60880, 0, 20896, 0, 0, 0, -200096, 0, 48520, 0, -115056, 0, 120704, 0, 0, 0, -81108, 0, -128768, 0, -3520, 0, -147496, 0, 0, 0, -20392, 0, -102388, 0, 129872, 0, -39488, 0, 0, 0, 13728, 0, -6960, 0, -56042, 0, -378496, 0, 0, 0, 53328, 0, 26064, 0, 99552, 0, -87820, 0, 0, 0, 151132, 0, -38544, 0, -36592, 0, -150528, 0, 0, 0, -149232, 0, -137028, 0, 89760, 0, -122336, 0, 0, 0, 236584, 0, -27856, 0, -68236, 0, 176296, 0, 0, 0, 12160, 0, -195456, 0, -16784, 0, 91236, 0, 0, 0, -147604, 0, -39856, 0, 65564, 0, 201664, 0, 0, 0, -25480, 0, 150464, 0, 107344, 0, -24404, 0, 0, 0, -80480, 0, -243840, 0, -29008, 0, -89840, 0, 0, 0, 18688, 0, 209704, 0, -768, 0, 97076, 0, 0, 0, 65468, 0, -142224, 0, -37512, 0, -197096, 0, 0, 0, -48072, 0, -16612, 0, -144736, 0, 128352, 0, 0, 0, 220224, 0, -116368, 0, 131012, 0, -23536, 0, 0, 0, -77472, 0, -60576, 0, -6464, 0, 127908, 0, 0, 0, -92736, 0, 109392, 0, 121136, 0, 6744, 0, 0, 0, 290480, 0, 69120, 0, -90288, 0, 84192, 0, 0, 0, -21728, 0, 181136, 0, 54448, 0, 142240, 0, 0, 0, -128120, 0, -22614, 0, -94800, 0, 202664, 0, 0, 0, -132928, 0, 12352, 0, -154452, 0, 79224, 0, 0, 0, 190008, 0, 44256, 0, -147056, 0, -60420, 0, 0, 0, -216924, 0, -118720, 0, 197888, 0, -262992, 0, 0, 0, 130016, 0, 130900, 0, 102368, 0, -203424, 0, 0, 0, -101408, 0, -122624, 0, -138324, 0, 213888, 0, 0, 0, -266184, 0, -70704, 0, -44976, 0, -161076, 0, 0, 0, -181824, 0, -77792, 0, -60792, 0, 184272, 0, 0, 0, 10960, 0, -80496, 0, 149760, 0, -21004, 0, 0, 0, 75480, 0, -156784, 0, 205296, 0, 72528, 0, 0, 0, 142080, 0, -75060, 0, -165296, 0, 150304, 0, 0, 0, 284608, 0, -91440, 0, -37816, 0, 15840, 0, 0, 0, 113680, 0, 132480, 0, 231520, 0, 194308, 0, 0, 0, -104704, 0, 81744, 0, 134000, 0, -177040, 0, 0, 0, 91448, 0, -168648, 0, -6528, 0, -260116, 0, 0, 0, -92364, 0, 42272, 0, -5280, 0, 97896, 0, 0, 0, 7960, 0, 104100, 0, -79424, 0, 430912, 0, 0, 0, 53884, 0, -198800, 0, 29552, 0, 94360, 0, 0, 0, 114360, 0, 73852, 0, -146032, 0, -204096, 0, 0, 0, 96160, 0, 166304, 0, 134280, 0, 164088, 0, 0, 0, -72144, 0, -217712, 0, -3696, 0, 70948, 0, 0, 0, 440140, 0, 160416, 0, 305308, 0, -163464, 0, 0, 0, 112032, 0, -91604, 0, 63008, 0, -88608, 0, 0, 0, 79008, 0, 278528, 0, -159452, 0, -82936, 0, 0, 0, -81624, 0, 101716, 0, -123680, 0, 113376, 0, 0, 0, -346084, 0, 158320, 0, 38336, 0, -11472, 0, 0, 0, -173688, 0, -24448, 0, -81584, 0, 139036, 0, 0, 0, -229400, 0, 43536, 0, -317408, 0, 189824, 0, 0, 0, 43312, 0, -24652, 0, -140896, 0, 144256, 0, 0, 0, 15756, 0, 8832, 0, -1268, 0, 187832, 0, 0, 0, -304224, 0, 230992, 0, 118432, 0, -81108, 0, 0, 0, -126400, 0, 334128, 0, 60788, 0, 182080, 0, 0, 0, -44416, 0, 89508, 0, 99216, 0, 30280, 0, 0, 0, 157792, 0, 204080, 0, -343888, 0, -143520, 0, 0, 0, -119008, 0, 56576, 0, 130992, 0, -46624, 0, 0, 0, -3000, 0, 160848, 0, -67008, 0, -93080, 0, 0, 0, -174552, 0, -160334, 0, 76032, 0, -181724, 0, 0, 0, 233344, 0, 317264, 0, -25492, 0, 277344, 0, 0, 0, 469504, 0, 173328, 0, -94320, 0, -277312, 0, 0, 0, -218156, 0, -7392, 0, -257120, 0, 30984, 0, 0, 0, -318144, 0, 108744, 0, 258112, 0, -290336, 0, 0, 0, -201128, 0, 29440, 0, 641408, 0, -48160, 0, 0, 0, 171864, 0, -80308, 0, -302960, 0, -129892, 0, 0, 0, -11808, 0, 16784, 0, -203708, 0, -308656, 0, 0, 0, 159048, 0, -139744, 0, -127424, 0, 335300, 0, 0, 0, 318828, 0, 31600, 0, 119040, 0, -51480, 0, 0, 0, -206448, 0, 2556, 0, 27184, 0, 124652, 0, 0, 0, 16096, 0, 91024, 0, 69184, 0, -18864, 0, 0, 0, -8160, 0, 69416, 0, -297904, 0, -52364, 0, 0, 0, 115840, 0, 143984, 0, -207044, 0, 572928, 0, 0, 0, -23848, 0, -176356, 0, 186576, 0, -85704, 0, 0, 0, 82852, 0, 26992, 0, -265360, 0, 286496, 0, 0, 0, 24472, 0, -191472, 0, -178496, 0, -248928, 0, 0, 0, -11636, 0, 332256, 0, -83412, 0, 144728, 0, 0, 0, -65024, 0, 150828, 0, -70320, 0, -9780, 0, 0, 0, -217696, 0, 27616, 0, -196718, 0, -64608, 0, 0, 0, 268528, 0, -578240, 0, -59744, 0, 54336, 0, 0, 0, -36068, 0, -74400, 0, 411708, 0, 92184, 0, 0, 0, 185808, 0, -189168, 0, 331008, 0, -227360, 0, 0, 0, 134692, 0, 138352, 0, -79276, 0, 485744, 0, 0, 0, 92040, 0, 52352, 0, -43648, 0, 28384, 0, 0, 0, 252864, 0, 57264, 0, 87408, 0, -20368, 0, 0, 0, -159880, 0, 328272, 0, -234000, 0, -220276, 0, 0, 0, -5772, 0, -168528, 0, -34832, 0, 22368, 0, 0, 0, 355888, 0, 249088, 0, 59216, 0, 440276, 0, 0, 0, -136416, 0, 129648, 0, -1960, 0, -245320, 0, 0, 0, -90288, 0, 122712, 0, -112304, 0, 256, 0, 0, 0, -26304, 0, -183680, 0, -143484, 0, 248824, 0, 0, 0, 443304, 0, -142700, 0, -127680, 0, -282040, 0, 0, 0, 170880, 0, -242480, 0, -410768, 0, 10296, 0, 0, 0, -136024, 0, 352284, 0, -316240, 0, -20832, 0, 0, 0, -14956, 0, 44560, 0, -106008, 0, 205184, 0, 0, 0, -58720, 0, 275088, 0, -294096, 0, 126560, 0, 0, 0, -392704, 0, -110544, 0, 77016, 0, -27440, 0, 0, 0, 161088, 0, -151088, 0, 143760, 0, 49404, 0, 0, 0, -40188, 0, 190224, 0, 194926, 0, -199648, 0, 0, 0, -453632, 0, 242772, 0, 104080, 0, 74976, 0, 0, 0, 54668, 0, -131360, 0, 239868, 0, 181552, 0, 0, 0, 175968, 0, -152192, 0, 49360, 0, 272556, 0, 0, 0, -123756, 0, -271776, 0, 374912, 0, -44336, 0, 0, 0, -91448, 0, 161360, 0, -267648, 0, 300864, 0, 0, 0, 168444, 0, 85360, 0, 322352, 0, 89976, 0, 0, 0, -280896, 0, -467240, 0, 464368, 0, 56480, 0, 0, 0, 97156, 0, 107648, 0, 208496, 0, -119320, 0, 0, 0, 3560, 0, -156652, 0, -113424, 0, -121212, 0, 0, 0, 109888, 0, -157520, 0, 75160, 0, -287776, 0, 0, 0, -86280, 0, 282800, 0, 25968, 0, 36556, 0, 0, 0, -167424, 0, 249312, 0, -189776, 0, 81136, 0, 0, 0, 385888, 0, -261772, 0, 407936, 0, 325472, 0, 0, 0, -402528, 0, 559360, 0, -208548, 0, 129792, 0, 0, 0, -127440, 0, -166836, 0, -218624, 0, -215844, 0, 0, 0, 357824, 0, 82464, 0, 91840, 0, -442376, 0, 0, 0, -146360, 0, 387264, 0, -61008, 0, 88320, 0, 0, 0, -4916, 0, -334768, 0, -250592, 0, -135912, 0, 0, 0, 200784, 0, -179780, 0, 230448, 0, 15936, 0, 0, 0, 363796, 0, -416048, 0, 114244, 0, -216504, 0, 0, 0, -362736, 0, -220178, 0, 175792, 0, 147400, 0, 0, 0, -188868, 0, 39312, 0, -165312, 0, -269456, 0, 0, 0, -22912, 0, -33120, 0, -381280, 0, 38236, 0, 0, 0, -326076, 0, -367568, 0, 283184, 0, -169656, 0, 0, 0, -421920, 0, 106304, 0, 389760, 0, -430876, 0, 0, 0, -185812, 0, -255824, 0, -302692, 0, -506096, 0, 0, 0, 197488, 0, -77440, 0, 714368, 0, 113092, 0, 0, 0, -273376, 0, -64512, 0, 223344, 0, -220152, 0, 0, 0, 283880, 0, 402144, 0, -234960, 0, -146336, 0, 0, 0, 7900, 0, -18768, 0, 304688, 0, 362712, 0, 0, 0, -839392, 0, -341876, 0, 420960, 0, 127776, 0, 0, 0, 340484, 0, 93824, 0, -120528, 0, -137792, 0, 0, 0, 265896, 0, -381080, 0, 220656, 0, 652800, 0, 0, 0, 83136, 0, 100720, 0, -229992, 0, 158048, 0, 0, 0, 28400, 0, 389584, 0, -159888, 0, -45108, 0, 0, 0, -262668, 0, -298368, 0, 274832, 0, -56600, 0, 0, 0, 37440, 0, 407428, 0, 60128, 0, -152864, 0, 0, 0, -319560, 0, -406304, 0, -76352, 0, -488480, 0, 0, 0, 283216, 0, -284724, 0, -109296, 0, -183400, 0, 0, 0, 228644, 0, 45024, 0]