# Trace form for 800.4.a.b, downloaded from the LMFDB on 14 October 2024.
[0, 1, 0, -5, 0, 0, 0, 10, 0, -2, 0, -15, 0, 8, 0, 0, 0, -21, 0, 105, 0, -50, 0, 10, 0, 0, 0, 145, 0, -20, 0, -230, 0, 75, 0, 0, 0, -54, 0, -40, 0, -195, 0, 300, 0, 0, 0, 480, 0, -243, 0, 105, 0, 322, 0, 0, 0, -525, 0, 560, 0, -730, 0, -20, 0, 0, 0, -255, 0, -50, 0, -40, 0, 317, 0, 0, 0, -150, 0, -830, 0, -671, 0, -75, 0, 0, 0, 100, 0, -705, 0, 80, 0, 1150, 0, 0, 0, -1434, 0, 30, 0, -1902, 0, -1480, 0, 0, 0, -1945, 0, -246, 0, 270, 0, 753, 0, 0, 0, -16, 0, -210, 0, -1106, 0, 975, 0, 0, 0, -1490, 0, -1500, 0, 780, 0, 1050, 0, 0, 0, -2749, 0, -735, 0, -2400, 0, -120, 0, 0, 0, 1215, 0, 836, 0, 1790, 0, 42, 0, 0, 0, 1374, 0, -1610, 0, 100, 0, -1895, 0, 0, 0, 720, 0, -2133, 0, -210, 0, 2512, 0, 0, 0, -2800, 0, 165, 0, -3158, 0, 3650, 0, 0, 0, 315, 0, 1450, 0, -3290, 0, -197, 0, 0, 0, 1746, 0, 4660, 0, 1275, 0, -200, 0, 0, 0, -20, 0, -1575, 0, -265, 0, 200, 0, 0, 0, -2300, 0, -1585, 0, -168, 0, 1060, 0, 0, 0, 4660, 0, 1660, 0, 750, 0, -3462, 0, 0, 0, 4150, 0, 4020, 0, 3985, 0, -560, 0, 0, 0, 840, 0, 375, 0, -6625, 0, -150, 0, 0, 0, -2246, 0, -540, 0, 40, 0, -3950, 0, 0, 0, 3525, 0, 2656, 0, -3110, 0, -400, 0, 0, 0, 6884, 0, 460, 0, 4630, 0, -215, 0, 0, 0, -1950, 0, -4472, 0, 7170, 0, -1602, 0, 0, 0, -2175, 0, 80, 0, 3000, 0, 9510, 0, 0, 0, -1885, 0, 7400, 0, 9250, 0, -8162, 0, 0, 0, 6924, 0, 300, 0, 9725, 0, -2205, 0, 0, 0, 1230, 0, 4800, 0, -8075, 0, 108, 0, 0, 0, 4741, 0, -3765, 0, 3450, 0, -5860, 0, 0, 0, -8705, 0, -1470, 0, 1160, 0, -1998, 0, 0, 0, 1050, 0, -8190, 0, 4166, 0, 5530, 0, 0, 0, -5340, 0, 390, 0, 3220, 0, -9378, 0, 0, 0, -160, 0, -4045, 0, 7450, 0, -8090, 0, 0, 0, -600, 0, 6574, 0, -210, 0, -3900, 0, 0, 0, 7036, 0, -5250, 0, 8277, 0, -1840, 0, 0, 0, 810, 0, -2179, 0, 13745, 0, 5600, 0, 0, 0, 3675, 0, 12245, 0, -660, 0, -960, 0, 0, 0, -7300, 0, 600, 0, -7470, 0, -1173, 0, 0, 0, 1050, 0, 5660, 0, 486, 0, -1115, 0, 0, 0, -4180, 0, 4089, 0, 2925, 0, -8950, 0, 0, 0, 4519, 0, -3045, 0, 10068, 0, -1460, 0, 0, 0, -4740, 0, -2550, 0, -6870, 0, -4500, 0, 0, 0, -644, 0, -8610, 0, -432, 0, -500, 0, 0, 0, 17710, 0, 9475, 0, -8660, 0, 420, 0, 0, 0, -400, 0, 17300, 0, -3600, 0, -1860, 0, 0, 0, 10665, 0, -5870, 0, 3170, 0, 15225, 0, 0, 0, -7200, 0, -12560, 0, -12187, 0, 5315, 0, 0, 0, 4830, 0, -12067, 0, -1120, 0, -1560, 0, 0, 0, -825, 0, 3645, 0, -1672, 0, 15790, 0, 0, 0, 10595, 0, 1460, 0, -2100, 0, -8300, 0, 0, 0, -15264, 0, 2400, 0, -1575, 0, 15400, 0, 0, 0, -6710, 0, 14569, 0, -7780, 0, 16450, 0, 0, 0, 19829, 0, 985, 0, -750, 0, -4830, 0, 0, 0, -795, 0, -24150, 0, -8730, 0, 21457, 0, 0, 0, -23300, 0, 26570, 0, -25245, 0, 510, 0, 0, 0, 14040, 0, 1000, 0, 3840, 0, -19502, 0, 0, 0, -6286, 0, 2420, 0, 1450, 0, -7050, 0, 0, 0, 7875, 0, 1134, 0, 2290, 0, 1325, 0, 0, 0, -1944, 0, 80, 0, -15150, 0, -7860, 0, 0, 0, 2420, 0, -8400, 0, 11500, 0, 20462, 0, 0, 0, -634, 0, -32205, 0, -27100, 0, 840, 0, 0, 0, -200, 0, -5300, 0, 10950, 0, 24182, 0, 0, 0, -25704, 0, -14340, 0, -23300, 0, -6525, 0, 0, 0, -8300, 0, 2576, 0, -28955, 0, 300, 0, 0, 0, 4095, 0, 17310, 0, 9720, 0, -5670, 0, 0, 0, -19020, 0, -25140, 0, 1660, 0, -2300, 0, 0, 0, -20100, 0, 30030, 0, -14800, 0, -19925, 0, 0, 0, -36100, 0, 20917, 0, -6300, 0, -5368, 0, 0, 0, 3825, 0, -25540, 0, -4200, 0, 18730, 0, 0, 0, 150, 0, -19450, 0, 29940, 0, 33125, 0, 0, 0, -16216, 0, 750, 0, -25843, 0, -2460, 0, 0, 0, 4480, 0, -27475, 0, 11230, 0, 3948, 0, 0, 0, 2700, 0, -20475, 0, 600, 0, -2900, 0, 0, 0, -22100, 0, 19750, 0, 7530, 0, -5840, 0, 0, 0, -16026, 0, -10080, 0, 1410, 0, -4755, 0, 0, 0, -13280, 0, 35770, 0, 30620, 0, 15550, 0, 0, 0, 31500, 0, -160, 0, -9150, 0, 28940, 0, 0, 0, 25765, 0, -41584, 0, -34420, 0, 5103, 0, 0, 0, -33350, 0, -20320, 0, -23989, 0, -23150, 0, 0, 0, -11060, 0, 1075, 0, -540, 0, -38882, 0, 0, 0, -15269, 0, -19375, 0, 9750, 0, -22900, 0, 0, 0, 22360, 0, 12450, 0, -2040, 0, 2868, 0, 0, 0, 23444, 0, 8010, 0, 3750, 0, 37595, 0, 0, 0, -11420, 0, -14900, 0, 10065, 0, 50400, 0, 0, 0, -400, 0, 4600, 0, -6762, 0, -15000, 0, 0, 0, -2620, 0, 3804, 0, 46500, 0, 1125, 0, 0, 0, 7800, 0, 45190, 0, 9425, 0, -320, 0, 0, 0, 2960, 0, 15166, 0, -25515, 0, -46250, 0, 0, 0, 23789, 0, 40810, 0, 47472, 0, -1950, 0, 0, 0, 19760, 0, 2536, 0, -34620, 0, -36337, 0, 0, 0, -1500, 0, -27490, 0, 23109, 0, 3890, 0, 0, 0, 33880, 0, 11025, 0, -17175, 0, -7350, 0, 0, 0, 13311, 0, 10575, 0, 492, 0, 53110, 0, 0, 0, -24000, 0, 3000, 0, -8990, 0, 40375, 0, 0, 0, -1236, 0, -7830, 0, -1200, 0, -11760, 0, 0, 0, 33810, 0, -32035, 0, -23705, 0, -1932, 0, 0, 0, -1506, 0, 24195, 0, 6662, 0, -17250, 0, 0, 0, -6640, 0, 29300, 0, -60950, 0, -57083, 0, 0, 0, 15330, 0, -13580, 0, 43525, 0, 8360, 0, 0, 0, 7350, 0, 54895, 0, 44455, 0, -5368, 0, 0, 0, 17900, 0, 9990, 0, 26682, 0, -50080, 0, 0, 0, 21510, 0, -19294, 0, 420, 0, 1080, 0, 0, 0, 40950, 0, -600, 0, 4800, 0, -20830, 0, 0, 0, 55940, 0, 2212, 0, -33195, 0, -45898, 0, 0, 0, -28119, 0, 13740, 0, 26700, 0, 15040, 0, 0, 0, -28275, 0, 29700, 0, 28530, 0, -16100, 0, 0, 0, 59106, 0, 46890, 0, 58800, 0, 66215, 0, 0, 0, -2430, 0, -25791, 0, 800, 0, 22200, 0, 0, 0, 20225, 0, 5355, 0, -18950, 0, 2980, 0, 0, 0, 12420, 0, 40450, 0, 50820, 0, -22527, 0, 0, 0, -5640, 0, -76650, 0, 43500, 0, 76705, 0, 0, 0, -32870, 0, 7200, 0, 31055, 0, 1050, 0, 0, 0, 29175, 0, -1560, 0, 38070, 0, -21330, 0, 0, 0, -40785, 0, 3900, 0, -35180, 0, -45562, 0, 0, 0, -2100, 0, 3690, 0, 39475, 0, -41385, 0, 0, 0, 840, 0, 9200, 0, 25120, 0, -20018, 0, 0, 0, -32739, 0, 3220, 0, -4050, 0, -60730, 0, 0, 0, 10895, 0, -2110, 0, -16580, 0, 5498, 0, 0, 0, 74984, 0, -28000, 0, -6657, 0, -11295, 0, 0, 0, -6000, 0, -70885, 0, 1470, 0, 1650, 0, 0, 0, -61225, 0, -36620, 0, -11472, 0, 3300, 0, 0, 0, -31580, 0, 69600, 0, 44850, 0, -26775, 0, 0, 0, 81774, 0, -20550, 0, 36500, 0, -40820, 0, 0, 0, 240, 0, 28910, 0, -16400, 0, 37350, 0, 0, 0, 254, 0, 5865, 0, -2250, 0, 76140, 0, 0, 0, -28485, 0, 3150, 0, -5250, 0, -15216, 0, 0, 0, -28300, 0, -29110, 0, 12305, 0, -35235, 0, 0, 0, -54330, 0, 5575, 0, 36555, 0, -69000, 0, 0, 0, -32900, 0, -11840, 0, -1672, 0, 17430, 0, 0, 0, -20445, 0, -4200, 0, -1970, 0, -14625, 0, 0, 0, 5600, 0, -3580, 0, 6093, 0, -9600, 0, 0, 0, -82650, 0, -47737, 0, -22595, 0, 91138, 0, 0, 0, 14091, 0, 17460, 0, -34410, 0, -50340, 0, 0, 0, 33285, 0, 7300, 0, -15560, 0, 46600, 0, 0, 0, 22350, 0, 83120, 0, 23700, 0, -7300, 0, 0, 0, 12750, 0, -3375, 0, 1575, 0, -2748, 0, 0, 0, -1968, 0, 22500, 0, 4860, 0, 11870, 0, 0, 0, 37555, 0, 23234, 0, 46690, 0, -58263, 0, 0, 0, 43050, 0, -3020, 0, -11700, 0, 2160, 0, 0, 0, -2840, 0, -200, 0, 34995, 0, -7742, 0, 0, 0, -110400, 0, -30085, 0, -88550, 0, -15750, 0, 0, 0, 3790, 0, 6024, 0, -18250, 0, 43300, 0, 0, 0, -2650, 0, -2100, 0, -28985, 0, -47520, 0, 0, 0, 52470, 0, -89651, 0, 2000, 0, 102972, 0, 0, 0, -86500, 0, -78345, 0, -87150, 0, -1440, 0, 0, 0, 41235, 0, 9300, 0, -51020, 0, 14805, 0, 0, 0, 10530, 0, 55890, 0, 4266, 0, 29355, 0, 0, 0, 29350, 0, 11025, 0, -98165, 0, -15850, 0, 0, 0, -6440, 0, -70455, 0, -2550, 0, 60950, 0, 0, 0, -1680, 0, -45060, 0, 36000, 0, -47643, 0, 0, 0, -5024, 0, 102680, 0, 10600, 0, 60935, 0, 0, 0, -18210, 0, -26575, 0, 20020, 0, -8848, 0, 0, 0, -7875, 0, -23885, 0, -24150, 0, 97260, 0, 0, 0, 60335, 0, 46600, 0, -16200, 0, 81200, 0, 0, 0, -22944, 0, 7800, 0, -59973, 0, 16600, 0, 0, 0, 90550, 0, -42429, 0, -330, 0, 56612, 0, 0, 0, -18225, 0, 95555, 0, -88012, 0, 8360, 0, 0, 0, 44605, 0, 6316, 0, -34620, 0, -400, 0, 0, 0, -23886, 0, -12540, 0, -52975, 0, -74060, 0, 0, 0, -105850, 0, 30114, 0, -11920, 0, 10500, 0, 0, 0, -53261, 0, 41500, 0, -26850, 0, -16650, 0, 0, 0, 29785, 0, -68140, 0, 76320, 0, 40200, 0, 0, 0, -12000, 0, 3170, 0, -30896, 0, -630, 0, 0, 0, 39850, 0, -77000, 0, -74025, 0, 64288, 0, 0, 0, -59341, 0, 35045, 0, -5600, 0, 6240, 0, 0, 0, -72845, 0, -25810, 0, -11200, 0, 38900, 0, 0, 0, 39942, 0, 6580, 0, -87562, 0, 40435, 0, 0, 0, -20610, 0, 8400, 0, -99145, 0, 20098, 0, 0, 0, 394, 0, -25920, 0, -33328, 0, 3750, 0, 0, 0, 101205, 0, 24150, 0, 31080, 0, -16207, 0, 0, 0, -66250, 0, -50740, 0, 3975, 0, -58500, 0, 0, 0, 120750, 0, 14600, 0, -1500, 0, -3492, 0, 0, 0, 35374, 0, -107285, 0, -21992, 0, -66940, 0, 0, 0, -88365, 0, 57280, 0, -9320, 0, 28425, 0, 0, 0, -132850, 0, -22460, 0, -5410, 0, 126225, 0, 0, 0, -5880, 0, -36975, 0, 73405, 0, 13122, 0, 0, 0, -8300, 0, 40845, 0, -70200, 0, -88860, 0, 0, 0, 400, 0, -128800, 0, 88990, 0, -19200, 0, 0, 0, -10800, 0, 97510, 0, -39500, 0, -150570, 0, 0, 0, -125520, 0, 10493, 0, 31430, 0, 5166, 0, 0, 0, -12100, 0, 31995, 0, 24132, 0, -6710, 0, 0, 0, -80255, 0, 35250, 0, -150840, 0, 81698, 0, 0, 0, 138316, 0, 61040, 0, 3150, 0, 26560, 0, 0, 0, -5670, 0, 40626, 0, 167900, 0, -11450, 0, 0, 0, -31100, 0, 530, 0, 56110, 0, -37680, 0, 0, 0, -53580, 0, -750, 0, 9720, 0, -61403, 0, 0, 0, -5800, 0, -199710, 0, -15813, 0, 75750, 0, 0, 0, -93600, 0, 39300, 0, -3305, 0, -114388, 0, 0, 0, 6688, 0, 68840, 0, -12100, 0, 5100, 0, 0, 0, 42000, 0, -99786, 0, -88490, 0, 4600, 0, 0, 0, -155400, 0, -102310, 0, -17388, 0, 14320, 0, 0, 0, 46300, 0, -2475, 0, 45965, 0, 166668, 0, 0, 0, 161025, 0, 36500, 0, -2150, 0, 135500, 0, 0, 0, -155435, 0, 336, 0, 47370, 0, 135047, 0, 0, 0, -103906, 0, -104280, 0, 1000, 0, 1255, 0, 0, 0, -2120, 0, 47385, 0, 6415, 0, -54750, 0, 0, 0, 75591, 0, -120910, 0, 144000, 0, -44720, 0, 0, 0, 38460, 0, -4030, 0, 128520, 0, -204225, 0, 0, 0, 71700, 0, -17310, 0, 10992, 0, -9320, 0, 0, 0, -7050, 0, 32625, 0, -16020, 0, -139402, 0, 0, 0, 23226, 0, 800, 0, -3320, 0, -108650, 0, 0, 0, -12880, 0, 30050, 0, -25830, 0, 144775, 0, 0, 0, 58650, 0, -21750, 0, -73383, 0, -53280, 0, 0, 0, 56860, 0, -35170, 0, -20475, 0, 800, 0, 0, 0, 6924, 0, 92465, 0, 49350, 0, -48600, 0, 0, 0, -72900, 0, 28350, 0, -33920, 0, -29927, 0, 0, 0, -6340, 0, -15160, 0, 95100, 0, 2955, 0, 0, 0, 125700, 0, 151291, 0, 89300, 0, -120350, 0, 0, 0, 126331, 0, 11500, 0, 146720, 0, 156430, 0, 0, 0, 79065, 0, -18850, 0, -8040, 0, -64738, 0, 0, 0, -150150, 0, 31290, 0, 33210, 0, 74000, 0, 0, 0, -26190, 0, -7970, 0, 5760, 0, -62790, 0, 0, 0, 92500, 0, 100735, 0, 180500, 0, -30240, 0, 0, 0, -89465, 0, -69900, 0, -81620, 0, 31500, 0, 0, 0, -34640, 0, 26840, 0, 9200, 0, -47180, 0, 0, 0, -69510, 0, 126577, 0, -19125, 0, 32992, 0, 0, 0, 127700, 0, 69240, 0, 49080, 0, -1680, 0, 0, 0, -16380, 0, -93650, 0, -14340, 0, 3000, 0, 0, 0, 70274, 0, 24490, 0, -10875, 0, 48655, 0, 0, 0, 97250, 0, 20096, 0, -118795, 0, -149700, 0, 0, 0, 39420, 0, 13250, 0, -22050, 0, -72910, 0, 0, 0, 99840, 0, 180244, 0, 81080, 0, -105842, 0, 0, 0, 300, 0, 96600, 0, 95295, 0, 129215, 0, 0, 0, 15050, 0, 12300, 0, 16600, 0, 147368, 0, 0, 0, 17239, 0, -116130, 0, -22400, 0, -116640, 0, 0, 0, 137375, 0, -111354, 0, -74800, 0, 4492, 0, 0, 0, -80750, 0, -19740, 0, 3975, 0, -19020, 0, 0, 0, 1320, 0, 57729, 0, 1080, 0, -129822, 0, 0, 0, 102375, 0, 44740, 0, 214840, 0, -3000, 0, 0, 0, 204945, 0, 13420, 0, -107420, 0, -25264, 0, 0, 0, 83766, 0, 47410, 0, 110500, 0, 15435, 0, 0, 0, 7900, 0, -14800, 0, -193405, 0, -37650, 0, 0, 0, 127894, 0, 29200, 0, 167810, 0, 43400, 0, 0, 0, 34500, 0, 116250, 0, 80130, 0, 60237, 0, 0, 0, 50400, 0, 96000, 0, 24749, 0, -102225, 0, 0, 0, 1500, 0, 23775, 0, -54155, 0, -156450, 0, 0, 0, 110546, 0, -109200, 0, -5312, 0, 136620, 0, 0, 0, -178850, 0, -87050, 0, 2520, 0, -153100, 0, 0, 0, -161246, 0, 6220, 0, -74197, 0, -14700, 0, 0, 0, -101610, 0, 190900, 0, -157500, 0, -15900, 0, 0, 0, 11600, 0, 23580, 0, -19450, 0, 45750, 0, 0, 0, -22595, 0, -144700, 0, -19980, 0, 144013, 0, 0, 0, -3164, 0, 13770, 0, -128825, 0, -26320, 0, 0, 0, 207920, 0, 81900, 0, 154560, 0, -13768, 0, 0, 0, -69900, 0, -25515, 0, 142350, 0, 79280, 0, 0, 0, -2460, 0, -1576, 0, 154330, 0, -81900, 0, 0, 0, 101600, 0, -24900, 0, 149365, 0, 119945, 0, 0, 0, 41660, 0, -9260, 0, 127260, 0, -17556, 0, 0, 0, 168000, 0, -24215, 0, 55300, 0, 152260, 0, 0, 0, 430, 0, 7236, 0, 21800, 0, 2700, 0, 0, 0, -135394, 0, 194410, 0, 13968, 0, 51930, 0, 0, 0, -37590, 0, -53400, 0, 76345, 0, 17250, 0, 0, 0, 96875, 0, -78895, 0, 14100, 0, 3900, 0, 0, 0, 37280, 0, 114500, 0, 182070, 0, 101077, 0, 0, 0, -78246, 0, 7530, 0, 8944, 0, -288645, 0, 0, 0, -62250, 0, 11729, 0, -93780, 0, 10200, 0, 0, 0, -51554, 0, -207930, 0, -156438, 0, -219000, 0, 0, 0, 2160, 0, -60300, 0, -117220, 0, -73753, 0, 0, 0, 3204, 0, -1600, 0, -77175, 0, -18750, 0, 0, 0, -163980, 0, -187975, 0, -59775, 0, -40450, 0, 0, 0, -230879, 0, 101720, 0, 57100, 0, 116850, 0, 0, 0, 74500, 0, -28854, 0, 9400, 0, 8400, 0, 0, 0, 254576, 0, -252000, 0, -80900, 0, -227960, 0, 0, 0, -131450, 0, 85499, 0, -160, 0, 184292, 0, 0, 0, -23000, 0, -187265, 0, -17118, 0, 33810, 0, 0, 0, -23435, 0, -6000, 0, -112950, 0, 177667, 0, 0, 0, -12600, 0, 16460, 0, 13100, 0, 65740, 0, 0, 0, -275790, 0, 36945, 0, 271905, 0, -232500, 0, 0, 0, -2100, 0, -5625, 0, 41250, 0, -2120, 0, 0, 0, 49725, 0, 190564, 0, -39000, 0, -214997, 0, 0, 0, -225950, 0, 162150, 0, 99375, 0, 3770, 0, 0, 0, -23800, 0, 1600, 0, 39795, 0, 268800, 0, 0, 0, 186031, 0, 70360, 0, -214600, 0, -11060, 0, 0, 0, -75830, 0, -266776, 0, 39340, 0, 127575, 0, 0, 0, -259746, 0, -18500, 0, -142702, 0, 268580, 0, 0, 0, 82770, 0, -45193, 0, -118945, 0, 28680, 0, 0, 0, 16324, 0, -217305, 0, -18400, 0, -237360, 0, 0, 0, 33690, 0, 9750, 0, 87780, 0, -41143, 0, 0, 0, 290016, 0, -15120, 0, -98800, 0, -147595, 0, 0, 0, -12680, 0, 8100, 0, 186180, 0, -13848, 0, 0, 0, -266479, 0, 181685, 0, -203982, 0, -21790, 0, 0, 0, -350400, 0, 187950, 0, -600, 0, 44793, 0, 0, 0, 137450, 0, 24150, 0, -76500, 0, -115545, 0, 0, 0, -142170, 0, -282025, 0, -136080, 0, 59250, 0, 0, 0, -259289, 0, 8480, 0, -169400, 0, 107950, 0, 0, 0, 4410, 0, -45604, 0, 7800, 0, 85875, 0, 0, 0, -204354, 0, 36750, 0, -14900, 0, 44820, 0, 0, 0, 135790, 0, 38040, 0, -66555, 0, 122450, 0, 0, 0, -52875, 0, 125075, 0, -52752, 0, -35670, 0, 0, 0, -6600, 0, -265550, 0, 37280, 0, 177083, 0, 0, 0, -73556, 0, -39840, 0, -9600, 0, -23120, 0, 0, 0, -15000, 0, -131069, 0, -127555, 0, 44950, 0, 0, 0, 13280, 0, 16150, 0, 46650, 0, 144270, 0, 0, 0, 29600, 0, 177390, 0, 6180, 0, -61815, 0, 0, 0, 36234, 0, -305850, 0]