# Trace form for 1280.4.a.h, downloaded from the LMFDB on 21 December 2025.
[0, 2, 0, 0, 0, -10, 0, 0, 0, 142, 0, 0, 0, 172, 0, 0, 0, -92, 0, 0, 0, 364, 0, 0, 0, 50, 0, 0, 0, 304, 0, 0, 0, -1064, 0, 0, 0, -100, 0, 0, 0, 480, 0, 0, 0, -710, 0, 0, 0, -10, 0, 0, 0, 652, 0, 0, 0, 112, 0, 0, 0, 380, 0, 0, 0, -860, 0, 0, 0, -2324, 0, 0, 0, -1356, 0, 0, 0, -1976, 0, 0, 0, 4790, 0, 0, 0, 460, 0, 0, 0, -1460, 0, 0, 0, 4872, 0, 0, 0, 3196, 0, 0, 0, 728, 0, 0, 0, -1820, 0, 0, 0, 2804, 0, 0, 0, -3444, 0, 0, 0, 12212, 0, 0, 0, 3114, 0, 0, 0, -250, 0, 0, 0, 2380, 0, 0, 0, 208, 0, 0, 0, 316, 0, 0, 0, 7532, 0, 0, 0, -1520, 0, 0, 0, -3588, 0, 0, 0, -6532, 0, 0, 0, -4308, 0, 0, 0, -4316, 0, 0, 0, 5320, 0, 0, 0, 10398, 0, 0, 0, -2372, 0, 0, 0, -6608, 0, 0, 0, -3608, 0, 0, 0, 500, 0, 0, 0, 16016, 0, 0, 0, -1292, 0, 0, 0, 6228, 0, 0, 0, 2884, 0, 0, 0, -2400, 0, 0, 0, -608, 0, 0, 0, -10360, 0, 0, 0, 9048, 0, 0, 0, -7912, 0, 0, 0, 3550, 0, 0, 0, 5408, 0, 0, 0, 9788, 0, 0, 0, -6944, 0, 0, 0, -9136, 0, 0, 0, 50, 0, 0, 0, -15204, 0, 0, 0, 12616, 0, 0, 0, -3412, 0, 0, 0, 21584, 0, 0, 0, -3260, 0, 0, 0, 15180, 0, 0, 0, 31304, 0, 0, 0, -3852, 0, 0, 0, -13952, 0, 0, 0, -560, 0, 0, 0, -5594, 0, 0, 0, 14572, 0, 0, 0, -46816, 0, 0, 0, 4420, 0, 0, 0, -1900, 0, 0, 0, 13692, 0, 0, 0, 13524, 0, 0, 0, 17492, 0, 0, 0, 8204, 0, 0, 0, 4300, 0, 0, 0, 13988, 0, 0, 0, -7100, 0, 0, 0, -8988, 0, 0, 0, -26448, 0, 0, 0, 11620, 0, 0, 0, -17328, 0, 0, 0, 5156, 0, 0, 0, -16744, 0, 0, 0, -13654, 0, 0, 0, 6780, 0, 0, 0, 34080, 0, 0, 0, 16564, 0, 0, 0, 26144, 0, 0, 0, 13524, 0, 0, 0, 9880, 0, 0, 0, -15716, 0, 0, 0, 32872, 0, 0, 0, 1708, 0, 0, 0, -10636, 0, 0, 0, -23950, 0, 0, 0, 4712, 0, 0, 0, -12272, 0, 0, 0, -23296, 0, 0, 0, 8572, 0, 0, 0, -2300, 0, 0, 0, -91504, 0, 0, 0, -30596, 0, 0, 0, -1328, 0, 0, 0, -710, 0, 0, 0, 7300, 0, 0, 0, -14136, 0, 0, 0, -29288, 0, 0, 0, -38636, 0, 0, 0, -33336, 0, 0, 0, -24360, 0, 0, 0, 5356, 0, 0, 0, -12920, 0, 0, 0, 46292, 0, 0, 0, -8600, 0, 0, 0, -15980, 0, 0, 0, 53172, 0, 0, 0, -13984, 0, 0, 0, -19240, 0, 0, 0, 10724, 0, 0, 0, -3640, 0, 0, 0, 2880, 0, 0, 0, 4928, 0, 0, 0, -40888, 0, 0, 0, 31196, 0, 0, 0, 9100, 0, 0, 0, 3222, 0, 0, 0, 41280, 0, 0, 0, 9856, 0, 0, 0, 39688, 0, 0, 0, -14020, 0, 0, 0, 26980, 0, 0, 0, -12896, 0, 0, 0, 12100, 0, 0, 0, 48944, 0, 0, 0, 17220, 0, 0, 0, -50616, 0, 0, 0, -15288, 0, 0, 0, 52636, 0, 0, 0, -28236, 0, 0, 0, -61060, 0, 0, 0, 2784, 0, 0, 0, 14292, 0, 0, 0, -93744, 0, 0, 0, 26384, 0, 0, 0, -15570, 0, 0, 0, 55328, 0, 0, 0, 15956, 0, 0, 0, -26532, 0, 0, 0, -102256, 0, 0, 0, 1250, 0, 0, 0, 4600, 0, 0, 0, -57288, 0, 0, 0, -860, 0, 0, 0, 27392, 0, 0, 0, -11900, 0, 0, 0, 35872, 0, 0, 0, -36236, 0, 0, 0, -96276, 0, 0, 0, 1060, 0, 0, 0, -1040, 0, 0, 0, 25340, 0, 0, 0, 13276, 0, 0, 0, 804, 0, 0, 0, 17276, 0, 0, 0, -1580, 0, 0, 0, 56072, 0, 0, 0, -140296, 0, 0, 0, -22080, 0, 0, 0, -22492, 0, 0, 0, -37660, 0, 0, 0, 33248, 0, 0, 0, -57768, 0, 0, 0, -134288, 0, 0, 0, 25428, 0, 0, 0, 7600, 0, 0, 0, 107242, 0, 0, 0, 3532, 0, 0, 0, -15656, 0, 0, 0, 9632, 0, 0, 0, 17940, 0, 0, 0, 15236, 0, 0, 0, -55160, 0, 0, 0, 23588, 0, 0, 0, 56100, 0, 0, 0, 32660, 0, 0, 0, -14340, 0, 0, 0, 20324, 0, 0, 0, -18200, 0, 0, 0, 56240, 0, 0, 0, 21540, 0, 0, 0, -105196, 0, 0, 0, 32680, 0, 0, 0, 18788, 0, 0, 0, -103660, 0, 0, 0, 21580, 0, 0, 0, 5164, 0, 0, 0, 31752, 0, 0, 0, 1360, 0, 0, 0, -84780, 0, 0, 0, -26600, 0, 0, 0, 61612, 0, 0, 0, 460, 0, 0, 0, 214368, 0, 0, 0, -2570, 0, 0, 0, -51990, 0, 0, 0, 34804, 0, 0, 0, 41588, 0, 0, 0, -54708, 0, 0, 0, 87360, 0, 0, 0, 11860, 0, 0, 0, 37696, 0, 0, 0, 226916, 0, 0, 0, 47980, 0, 0, 0, 62784, 0, 0, 0, 33040, 0, 0, 0, 25116, 0, 0, 0, 4304, 0, 0, 0, -199864, 0, 0, 0, -29992, 0, 0, 0, 18040, 0, 0, 0, 51688, 0, 0, 0, 82536, 0, 0, 0, 61048, 0, 0, 0, -61404, 0, 0, 0, -2500, 0, 0, 0, -11784, 0, 0, 0, -7336, 0, 0, 0, -64340, 0, 0, 0, 35752, 0, 0, 0, -80080, 0, 0, 0, -116616, 0, 0, 0, 71748, 0, 0, 0, -161728, 0, 0, 0, 61522, 0, 0, 0, 6460, 0, 0, 0, -5152, 0, 0, 0, -43264, 0, 0, 0, 57468, 0, 0, 0, 199084, 0, 0, 0, -31140, 0, 0, 0, -28220, 0, 0, 0, 198744, 0, 0, 0, 84748, 0, 0, 0, -169936, 0, 0, 0, -14420, 0, 0, 0, 5468, 0, 0, 0, -70860, 0, 0, 0, -244524, 0, 0, 0, 6360, 0, 0, 0, 12000, 0, 0, 0, -126672, 0, 0, 0, -69596, 0, 0, 0, -17480, 0, 0, 0, -159852, 0, 0, 0, 3040, 0, 0, 0, -15820, 0, 0, 0, 411940, 0, 0, 0, -54392, 0, 0, 0, -77160, 0, 0, 0, 51800, 0, 0, 0, 2548, 0, 0, 0, -15200, 0, 0, 0, -20272, 0, 0, 0, -89308, 0, 0, 0, -45240, 0, 0, 0, 221094, 0, 0, 0, 125996, 0, 0, 0, 96308, 0, 0, 0, -190428, 0, 0, 0, 39560, 0, 0, 0, 5456, 0, 0, 0, 118664, 0, 0, 0, 68628, 0, 0, 0, -3776, 0, 0, 0, -17750, 0, 0, 0, -92776, 0, 0, 0, -74328, 0, 0, 0, -10752, 0, 0, 0, 98748, 0, 0, 0, -27040, 0, 0, 0, 161756, 0, 0, 0, -27524, 0, 0, 0, -125560, 0, 0, 0, 104720, 0, 0, 0, -48940, 0, 0, 0, 19916, 0, 0, 0, 106904, 0, 0, 0, -44536, 0, 0, 0, 151796, 0, 0, 0, 34720, 0, 0, 0, 72960, 0, 0, 0, 19884, 0, 0, 0, 14768, 0, 0, 0, -35072, 0, 0, 0, 45680, 0, 0, 0, 418992, 0, 0, 0, -142124, 0, 0, 0, -105804, 0, 0, 0, 53200, 0, 0, 0, -250, 0, 0, 0, 13440, 0, 0, 0, 22436, 0, 0, 0, 50476, 0, 0, 0, 62376, 0, 0, 0, 76020, 0, 0, 0, -37988, 0, 0, 0, 18304, 0, 0, 0, -20496, 0, 0, 0, 274856, 0, 0, 0, -63080, 0, 0, 0, 331408, 0, 0, 0, 1648, 0, 0, 0, 106892, 0, 0, 0, 69160, 0, 0, 0, 17060, 0, 0, 0, 73460, 0, 0, 0, 23240, 0, 0, 0, -41004, 0, 0, 0, -39396, 0, 0, 0, -107920, 0, 0, 0, 90896, 0, 0, 0, 62608, 0, 0, 0, 20272, 0, 0, 0, 81168, 0, 0, 0, 16300, 0, 0, 0, -107548, 0, 0, 0, 59160, 0, 0, 0, -28392, 0, 0, 0, -254748, 0, 0, 0, -75900, 0, 0, 0, -5920, 0, 0, 0, -255360, 0, 0, 0, 78352, 0, 0, 0, 868, 0, 0, 0, -156520, 0, 0, 0, -96306, 0, 0, 0, -106932, 0, 0, 0, -220340, 0, 0, 0, 43396, 0, 0, 0, 19260, 0, 0, 0, -242396, 0, 0, 0, -174096, 0, 0, 0, -73416, 0, 0, 0, 258188, 0, 0, 0, 69760, 0, 0, 0, 67044, 0, 0, 0, -305868, 0, 0, 0, 241144, 0, 0, 0, -1520, 0, 0, 0, 2800, 0, 0, 0, 38852, 0, 0, 0, 12244, 0, 0, 0, 107968, 0, 0, 0, -178448, 0, 0, 0, 27970, 0, 0, 0, -306436, 0, 0, 0, -17252, 0, 0, 0, 187224, 0, 0, 0, -208516, 0, 0, 0, -72860, 0, 0, 0, -296184, 0, 0, 0, 37128, 0, 0, 0, -106392, 0, 0, 0, 99264, 0, 0, 0, 234080, 0, 0, 0, 88760, 0, 0, 0, -61332, 0, 0, 0, -313152, 0, 0, 0, -3968, 0, 0, 0, -22100, 0, 0, 0, 101052, 0, 0, 0, 67160, 0, 0, 0, -24000, 0, 0, 0, 738258, 0, 0, 0, 9500, 0, 0, 0, 126464, 0, 0, 0, -246792, 0, 0, 0, 99104, 0, 0, 0, -34196, 0, 0, 0, -68460, 0, 0, 0, 120512, 0, 0, 0, -96652, 0, 0, 0, -168412, 0, 0, 0, 47060, 0, 0, 0, -67620, 0, 0, 0, 168756, 0, 0, 0, 267804, 0, 0, 0, -8688, 0, 0, 0, -224112, 0, 0, 0, -87460, 0, 0, 0, 32084, 0, 0, 0, -290752, 0, 0, 0, 200716, 0, 0, 0, -107604, 0, 0, 0, -41020, 0, 0, 0, 154120, 0, 0, 0, -146628, 0, 0, 0, 5320, 0, 0, 0, -198552, 0, 0, 0, -21500, 0, 0, 0, -256168, 0, 0, 0, 122840, 0, 0, 0, -189196, 0, 0, 0, -487620, 0, 0, 0, -69940, 0, 0, 0, -147016, 0, 0, 0, 17024, 0, 0, 0, 100708, 0, 0, 0, 158992, 0, 0, 0, 35500, 0, 0, 0, 224896, 0, 0, 0, -249392, 0, 0, 0, 204680, 0, 0, 0, -22642, 0, 0, 0, 44940, 0, 0, 0, 47236, 0, 0, 0, -48908, 0, 0, 0, 108900, 0, 0, 0, 439348, 0, 0, 0, 132240, 0, 0, 0, 31376, 0, 0, 0, -413784, 0, 0, 0, -33488, 0, 0, 0, 131044, 0, 0, 0, -58100, 0, 0, 0, 17888, 0, 0, 0, 162140, 0, 0, 0, -91732, 0, 0, 0, 68920, 0, 0, 0, 86640, 0, 0, 0, -346864, 0, 0, 0, 165724, 0, 0, 0, -102440, 0, 0, 0, -206780, 0, 0, 0, -25780, 0, 0, 0, 57760, 0, 0, 0, 442188, 0, 0, 0, -107252, 0, 0, 0, 27176, 0, 0, 0, 83720, 0, 0, 0, 120960, 0, 0, 0, -288648, 0, 0, 0, -329504, 0, 0, 0, 68656, 0, 0, 0, 68270, 0, 0, 0, 126896, 0, 0, 0, 500, 0, 0, 0, 82336, 0, 0, 0, -441588, 0, 0, 0, -33900, 0, 0, 0, -164256, 0, 0, 0, 647752, 0, 0, 0, -58216, 0, 0, 0, -195364, 0, 0, 0, -170400, 0, 0, 0, -130114, 0, 0, 0, -128984, 0, 0, 0, 178080, 0, 0, 0, -43864, 0, 0, 0, -82820, 0, 0, 0, -265720, 0, 0, 0, 259204, 0, 0, 0, 45860, 0, 0, 0, -43168, 0, 0, 0, -130720, 0, 0, 0, -64488, 0, 0, 0, -575512, 0, 0, 0, 58968, 0, 0, 0, -71124, 0, 0, 0, -67620, 0, 0, 0, 180276, 0, 0, 0, 101444, 0, 0, 0, -455840, 0, 0, 0, 158424, 0, 0, 0, -49400, 0, 0, 0, -51156, 0, 0, 0, 240108, 0, 0, 0, -308568, 0, 0, 0, -266980, 0, 0, 0, 78580, 0, 0, 0, -43220, 0, 0, 0, 642408, 0, 0, 0, 7824, 0, 0, 0, -32600, 0, 0, 0, -164360, 0, 0, 0, -53504, 0, 0, 0, 236604, 0, 0, 0, 242256, 0, 0, 0, 64636, 0, 0, 0, -8540, 0, 0, 0, -561752, 0, 0, 0, 137948, 0, 0, 0, -243348, 0, 0, 0, -353248, 0, 0, 0, 53180, 0, 0, 0, -2400, 0, 0, 0, -202160, 0, 0, 0, -292852, 0, 0, 0, 91460, 0, 0, 0, 119750, 0, 0, 0, 25968, 0, 0, 0, 4688, 0, 0, 0, 581672, 0, 0, 0, -370488, 0, 0, 0, -23560, 0, 0, 0, -615860, 0, 0, 0, 155164, 0, 0, 0, -143244, 0, 0, 0, 383968, 0, 0, 0, 61360, 0, 0, 0, -242272, 0, 0, 0, -218232, 0, 0, 0, 71688, 0, 0, 0, 30620, 0, 0, 0, 116480, 0, 0, 0, 45580, 0, 0, 0, -371176, 0, 0, 0, 694948, 0, 0, 0, 82992, 0, 0, 0, -42860, 0, 0, 0, -5600, 0, 0, 0, 302844, 0, 0, 0, -206112, 0, 0, 0, 132496, 0, 0, 0, 11500, 0, 0, 0, -17624, 0, 0, 0, -305536, 0, 0, 0, 109964, 0, 0, 0, 360348, 0, 0, 0, 457520, 0, 0, 0, -114036, 0, 0, 0, 161612, 0, 0, 0, -402416, 0, 0, 0, 144512, 0, 0, 0, 152980, 0, 0, 0, -648656, 0, 0, 0, 156480, 0, 0, 0, -13624, 0, 0, 0, -590100, 0, 0, 0, 6640, 0, 0, 0, 508896, 0, 0, 0, -109480, 0, 0, 0, 516344, 0, 0, 0, -257520, 0, 0, 0, 3550, 0, 0, 0, 81798, 0, 0, 0, 6396, 0, 0, 0, -325696, 0, 0, 0, -7892, 0, 0, 0, -36500, 0, 0, 0, 538916, 0, 0, 0, -300352, 0, 0, 0, -110932, 0, 0, 0, -668976, 0, 0, 0, 70680, 0, 0, 0, -203992, 0, 0, 0, 337848, 0, 0, 0, -19000, 0, 0, 0, -9568, 0, 0, 0, 146440, 0, 0, 0, 66612, 0, 0, 0, 96732, 0, 0, 0, 895736, 0, 0, 0, -117632, 0, 0, 0, 193180, 0, 0, 0, 510328, 0, 0, 0, 152252, 0, 0, 0, 140004, 0, 0, 0, -568288, 0, 0, 0, 166680, 0, 0, 0, -399100, 0, 0, 0, -242252, 0, 0, 0, 369096, 0, 0, 0, 310992, 0, 0, 0, 121800, 0, 0, 0, -14536, 0, 0, 0, 370068, 0, 0, 0, 26880, 0, 0, 0, -313620, 0, 0, 0, -26780, 0, 0, 0, 728080, 0, 0, 0, -310288, 0, 0, 0, -164700, 0, 0, 0, 226548, 0, 0, 0, 64600, 0, 0, 0, -162348, 0, 0, 0, -626808, 0, 0, 0, -377068, 0, 0, 0, -40236, 0, 0, 0, -231460, 0, 0, 0, -270976, 0, 0, 0, -419500, 0, 0, 0, -346472, 0, 0, 0, -231818, 0, 0, 0, 43000, 0, 0, 0, 721392, 0, 0, 0, 7728, 0, 0, 0, 126732, 0, 0, 0, 1077780, 0, 0, 0, 79900, 0, 0, 0, -296868, 0, 0, 0, -728, 0, 0, 0, 61532, 0, 0, 0, 280812, 0, 0, 0, -265860, 0, 0, 0, -172608, 0, 0, 0, -137560, 0, 0, 0, 1377376, 0, 0, 0, -97276, 0, 0, 0, 69920, 0, 0, 0, 362572, 0, 0, 0, 122652, 0, 0, 0, -135284, 0, 0, 0, 258580, 0, 0, 0, 96200, 0, 0, 0, 18784, 0, 0, 0, -273492, 0, 0, 0, -93784, 0, 0, 0, 91200, 0, 0, 0, -53620, 0, 0, 0, -111112, 0, 0, 0, -37648, 0, 0, 0, -397040, 0, 0, 0, 378880, 0, 0, 0, 18200, 0, 0, 0, -990592, 0, 0, 0, 165048, 0, 0, 0, -80240, 0, 0, 0, 566748, 0, 0, 0, -14400, 0, 0, 0, -295068, 0, 0, 0, 116200, 0, 0, 0, -390084, 0, 0, 0, 535608, 0, 0, 0, -24640, 0, 0, 0, -353652, 0, 0, 0, -377928, 0, 0, 0, 215824, 0, 0, 0, -221920, 0, 0, 0, 204440, 0, 0, 0, 835380, 0, 0, 0, -342828, 0, 0, 0, -3260, 0, 0, 0, -397174, 0, 0, 0, -155980, 0, 0, 0, 279352, 0, 0, 0, 248024, 0, 0, 0, 254796, 0, 0, 0, -413000, 0, 0, 0, -45500, 0, 0, 0, 728992, 0, 0, 0, 171628, 0, 0, 0, 1034612, 0, 0, 0, -13312, 0, 0, 0, -16110, 0, 0, 0, -809788, 0, 0, 0, -19968, 0, 0, 0, 537844, 0, 0, 0, -251188, 0, 0, 0, -206400, 0, 0, 0, 198168, 0, 0, 0, -1284248, 0, 0, 0, -336148, 0, 0, 0, 300404, 0, 0, 0, -49280, 0, 0, 0, 342040, 0, 0, 0, 333908, 0, 0, 0, 740544, 0, 0, 0, 67800, 0, 0, 0, -198440, 0, 0, 0, 313820, 0, 0, 0, -374148, 0, 0, 0, -52288, 0, 0, 0, -247268, 0, 0, 0, 70100, 0, 0, 0, -12980, 0, 0, 0, 272552, 0, 0, 0, 198536, 0, 0, 0, -110132, 0, 0, 0, -134900, 0, 0, 0, -125684, 0, 0, 0, -126684, 0, 0, 0, -126784, 0, 0, 0, 299440, 0, 0, 0, 64480, 0, 0, 0, -890960, 0, 0, 0, -253936, 0, 0, 0, -306516, 0, 0, 0, 602448, 0, 0, 0, -60500, 0, 0, 0, 51580, 0, 0, 0, -560, 0, 0, 0, 360212, 0, 0, 0, 406084, 0, 0, 0, -244720, 0, 0, 0, -85202, 0, 0, 0, 485792, 0, 0, 0, 960204, 0, 0, 0, 778128, 0, 0, 0, -86100, 0, 0, 0, -557760, 0, 0, 0, 228628, 0, 0, 0, -53412, 0, 0, 0, -153468, 0, 0, 0, 253080, 0, 0, 0, 98800, 0, 0, 0, 1241932, 0, 0, 0, -507228, 0, 0, 0, 79816, 0, 0, 0, 76440, 0, 0, 0, -16736, 0, 0, 0, -478308, 0, 0, 0, 57512, 0, 0, 0, 35020, 0, 0, 0, -263180, 0, 0, 0, 360976, 0, 0, 0, 571064, 0, 0, 0, 99500, 0, 0, 0, 805140, 0, 0, 0, 141180, 0, 0, 0, -425260, 0, 0, 0, 368872, 0, 0, 0, 476852, 0, 0, 0, -160356, 0, 0, 0, 305300, 0, 0, 0, 110656, 0, 0, 0, -38064, 0, 0, 0, 776720, 0, 0, 0, 109112, 0, 0, 0, -13920, 0, 0, 0, -46732, 0, 0, 0, -177468, 0, 0, 0, 108588, 0, 0, 0, 993148, 0, 0, 0, -71460, 0, 0, 0, -184152, 0, 0, 0, -69048, 0, 0, 0, 465088, 0, 0, 0, -172368, 0, 0, 0, 468720, 0, 0, 0, -1900, 0, 0, 0, -325440, 0, 0, 0, -239500, 0, 0, 0]