# Trace form for 2000.4.a.k, downloaded from the LMFDB on 21 June 2026.
[0, 6, 0, -14, 0, 0, 0, -67, 0, 92, 0, -27, 0, 149, 0, 0, 0, 72, 0, 105, 0, -148, 0, -269, 0, 0, 0, -590, 0, -30, 0, 168, 0, -162, 0, 0, 0, 167, 0, -34, 0, 387, 0, -874, 0, 0, 0, 443, 0, 213, 0, 1808, 0, -191, 0, 0, 0, 20, 0, 955, 0, 1242, 0, -409, 0, 0, 0, -2372, 0, 2424, 0, 1428, 0, 1484, 0, 0, 0, -286, 0, 910, 0, 366, 0, -884, 0, 0, 0, -840, 0, -1715, 0, -1752, 0, 1008, 0, 0, 0, 1812, 0, 2511, 0, -668, 0, -3169, 0, 0, 0, -3802, 0, 530, 0, -3382, 0, 674, 0, 0, 0, 2753, 0, -2146, 0, -2427, 0, -6078, 0, 0, 0, -3592, 0, 494, 0, -2537, 0, -1655, 0, 0, 0, -3738, 0, -3095, 0, 2432, 0, 4917, 0, 0, 0, 2678, 0, 3090, 0, -3382, 0, -11686, 0, 0, 0, -7138, 0, 376, 0, 2932, 0, -8614, 0, 0, 0, 2373, 0, 887, 0, -25, 0, -7421, 0, 0, 0, -11450, 0, 9705, 0, -6098, 0, 5402, 0, 0, 0, -8274, 0, 3380, 0, 7948, 0, 2604, 0, 0, 0, -14268, 0, -270, 0, 2692, 0, 490, 0, 0, 0, -1833, 0, -13010, 0, 12163, 0, -19782, 0, 0, 0, -1926, 0, -13414, 0, -3118, 0, -7634, 0, 0, 0, -3052, 0, -4840, 0, 6866, 0, -13036, 0, 0, 0, -18630, 0, -1500, 0, 8007, 0, -7664, 0, 0, 0, -13400, 0, 6184, 0, -7612, 0, -1427, 0, 0, 0, -6498, 0, 5549, 0, -9120, 0, -6439, 0, 0, 0, -8720, 0, 1600, 0, -2, 0, -10452, 0, 0, 0, 13457, 0, 6676, 0, -5443, 0, -11264, 0, 0, 0, 10141, 0, 9238, 0, -3462, 0, -3061, 0, 0, 0, -19620, 0, -6089, 0, 6612, 0, -9008, 0, 0, 0, -15022, 0, -9466, 0, 1428, 0, -12896, 0, 0, 0, 477, 0, -6340, 0, 7662, 0, 3940, 0, 0, 0, 1310, 0, -25994, 0, -4642, 0, -5581, 0, 0, 0, -6708, 0, -30484, 0, -12256, 0, -7760, 0, 0, 0, -14502, 0, -6180, 0, -37840, 0, -2936, 0, 0, 0, -15286, 0, 20690, 0, 7991, 0, -12812, 0, 0, 0, 9088, 0, 26409, 0, -15337, 0, 8159, 0, 0, 0, -5440, 0, 4295, 0, 2072, 0, -6049, 0, 0, 0, -36748, 0, -14980, 0, 4148, 0, -4622, 0, 0, 0, -16133, 0, -16430, 0, 197, 0, -12728, 0, 0, 0, -14964, 0, 12765, 0, 9398, 0, -11295, 0, 0, 0, 3910, 0, -21930, 0, -29648, 0, 931, 0, 0, 0, -14294, 0, -38172, 0, -12512, 0, -8666, 0, 0, 0, 7530, 0, 7000, 0, 24241, 0, -40994, 0, 0, 0, -37560, 0, 16235, 0, 10196, 0, 6708, 0, 0, 0, 14602, 0, 42450, 0, 1162, 0, -32254, 0, 0, 0, -2082, 0, 32446, 0, 47978, 0, 3508, 0, 0, 0, 12483, 0, -13780, 0, -7498, 0, -63098, 0, 0, 0, -29917, 0, 18824, 0, -12947, 0, -2280, 0, 0, 0, 22954, 0, 24545, 0, -46578, 0, -13749, 0, 0, 0, -11918, 0, -21910, 0, -16702, 0, 33390, 0, 0, 0, 8069, 0, -934, 0, -3073, 0, -3794, 0, 0, 0, 14566, 0, -6363, 0, 47155, 0, 9198, 0, 0, 0, -24060, 0, 31104, 0, 28492, 0, 82512, 0, 0, 0, -39532, 0, -35506, 0, 17520, 0, 1750, 0, 0, 0, -24773, 0, -12244, 0, 66714, 0, 41106, 0, 0, 0, 69683, 0, 34905, 0, 7513, 0, -20612, 0, 0, 0, -10798, 0, 4626, 0, -29828, 0, 9522, 0, 0, 0, -3772, 0, 44740, 0, 42968, 0, -21516, 0, 0, 0, 1680, 0, -9170, 0, -19163, 0, -16364, 0, 0, 0, 48683, 0, 51550, 0, 7483, 0, 11469, 0, 0, 0, -27758, 0, 895, 0, -13520, 0, 75270, 0, 0, 0, 48460, 0, -9664, 0, -49822, 0, -1322, 0, 0, 0, 23402, 0, 5646, 0, 60277, 0, -30554, 0, 0, 0, 68273, 0, 31090, 0, -74994, 0, -11661, 0, 0, 0, 50438, 0, 11425, 0, 55672, 0, 115202, 0, 0, 0, -49430, 0, -48536, 0, -20714, 0, 30084, 0, 0, 0, -10883, 0, 27504, 0, 23232, 0, 1906, 0, 0, 0, 100850, 0, -32046, 0, 46748, 0, -18472, 0, 0, 0, -10956, 0, 33936, 0, -53308, 0, 36785, 0, 0, 0, 31376, 0, 980, 0, 92280, 0, 58118, 0, 0, 0, 30780, 0, -26680, 0, -5008, 0, -37008, 0, 0, 0, 38543, 0, 35372, 0, -14962, 0, -7221, 0, 0, 0, 49124, 0, -20815, 0, 78370, 0, 59791, 0, 0, 0, -9628, 0, 75776, 0, -93742, 0, -31822, 0, 0, 0, 45497, 0, 18442, 0, -10263, 0, -45300, 0, 0, 0, 65860, 0, -50225, 0, -24912, 0, 57464, 0, 0, 0, 51764, 0, -63365, 0, -36176, 0, 86190, 0, 0, 0, -104852, 0, -22526, 0, 68948, 0, 47768, 0, 0, 0, -37183, 0, 27514, 0, -87635, 0, 24772, 0, 0, 0, 137110, 0, -58525, 0, 33393, 0, 58738, 0, 0, 0, -22510, 0, 14346, 0, 61342, 0, 50021, 0, 0, 0, -43402, 0, -34270, 0, -97312, 0, -55344, 0, 0, 0, -33770, 0, -27280, 0, -65214, 0, 51092, 0, 0, 0, 44264, 0, -67736, 0, -78802, 0, 66279, 0, 0, 0, 6572, 0, -37945, 0, 4354, 0, 60781, 0, 0, 0, -37802, 0, 17630, 0, -39532, 0, 23754, 0, 0, 0, 66837, 0, -32784, 0, -86143, 0, -96614, 0, 0, 0, 139443, 0, -62584, 0, 85203, 0, 2730, 0, 0, 0, 40966, 0, -57290, 0, -6798, 0, 173172, 0, 0, 0, -65182, 0, 159574, 0, 76398, 0, 6228, 0, 0, 0, 73684, 0, 87450, 0, -35218, 0, -6588, 0, 0, 0, 132197, 0, 1665, 0, 7715, 0, 79968, 0, 0, 0, 29202, 0, -43664, 0, 142, 0, -24288, 0, 0, 0, -37122, 0, 3954, 0, -8572, 0, 37734, 0, 0, 0, 21830, 0, -6036, 0, -64292, 0, -36204, 0, 0, 0, -30077, 0, -147630, 0, -136957, 0, 17350, 0, 0, 0, -56218, 0, -129895, 0, 10590, 0, 117281, 0, 0, 0, 61276, 0, -105096, 0, 14698, 0, 93348, 0, 0, 0, 32107, 0, 92660, 0, -14641, 0, -186950, 0, 0, 0, 10555, 0, 5080, 0, 40668, 0, -121311, 0, 0, 0, 83728, 0, 58405, 0, -31218, 0, 57914, 0, 0, 0, -57990, 0, 93160, 0, -62532, 0, 93744, 0, 0, 0, 162754, 0, -106290, 0, 120402, 0, -32030, 0, 0, 0, 125820, 0, 113130, 0, 5433, 0, 141059, 0, 0, 0, 124424, 0, 23696, 0, 72442, 0, -36599, 0, 0, 0, 79346, 0, -72620, 0, 4568, 0, 117940, 0, 0, 0, 130610, 0, -54504, 0, -23943, 0, 91296, 0, 0, 0, -95887, 0, -41539, 0, 124798, 0, 125244, 0, 0, 0, 181602, 0, 67194, 0, -98318, 0, 142561, 0, 0, 0, -157230, 0, 111400, 0, 79756, 0, 92408, 0, 0, 0, 118517, 0, 82736, 0, 27135, 0, -100664, 0, 0, 0, 23738, 0, -103435, 0, 10610, 0, 176723, 0, 0, 0, -45920, 0, 34, 0, 191872, 0, 22676, 0, 0, 0, -66024, 0, 92824, 0, -49962, 0, -14866, 0, 0, 0, -184945, 0, -39540, 0, 259460, 0, -121004, 0, 0, 0, 79640, 0, 49961, 0, 11553, 0, -44192, 0, 0, 0, 29834, 0, -9659, 0, 24522, 0, 81986, 0, 0, 0, 56688, 0, -80760, 0, 176458, 0, -10326, 0, 0, 0, -36515, 0, -39460, 0, -276053, 0, -1618, 0, 0, 0, -2514, 0, 105898, 0, 80563, 0, -86371, 0, 0, 0, -37458, 0, 20306, 0, 57294, 0, 86086, 0, 0, 0, -171830, 0, 66150, 0, -141892, 0, -115266, 0, 0, 0, -186803, 0, 171090, 0, 21122, 0, -92258, 0, 0, 0, 195930, 0, -218235, 0, -170385, 0, -95815, 0, 0, 0, 72810, 0, 58565, 0, 245072, 0, 137862, 0, 0, 0, -1614, 0, -7190, 0, 7586, 0, -224540, 0, 0, 0, 106292, 0, -279150, 0, -105086, 0, 18646, 0, 0, 0, 122499, 0, -52210, 0, 5843, 0, 84778, 0, 0, 0, -186188, 0, 201616, 0, -236898, 0, -4869, 0, 0, 0, -8152, 0, 42932, 0, 57050, 0, 64628, 0, 0, 0, -35070, 0, -1190, 0, -148853, 0, -124120, 0, 0, 0, 42253, 0, 42514, 0, -112704, 0, -222822, 0, 0, 0, -9486, 0, 1961, 0, 121680, 0, -57910, 0, 0, 0, -11440, 0, 7740, 0, -148652, 0, -2224, 0, 0, 0, -219170, 0, -98874, 0, -32528, 0, -21000, 0, 0, 0, -102662, 0, -88207, 0, 14188, 0, 41679, 0, 0, 0, -308988, 0, 94344, 0, -51978, 0, -38978, 0, 0, 0, -119030, 0, 152414, 0, -12562, 0, -207260, 0, 0, 0, 96964, 0, -250, 0, -187248, 0, -39958, 0, 0, 0, 99886, 0, 184085, 0, -32332, 0, -319726, 0, 0, 0, -139970, 0, 52, 0, -53140, 0, 45291, 0, 0, 0, -129412, 0, 89080, 0, 1950, 0, 89014, 0, 0, 0, 89330, 0, 246180, 0, 112229, 0, -27538, 0, 0, 0, 128133, 0, 205384, 0, -22297, 0, -54521, 0, 0, 0, 16104, 0, -15765, 0, 148232, 0, 113035, 0, 0, 0, -258658, 0, -147006, 0, -42292, 0, 55168, 0, 0, 0, -300091, 0, -210360, 0, 27567, 0, 67866, 0, 0, 0, 63253, 0, 175, 0, 260776, 0, -33711, 0, 0, 0, 125620, 0, 106675, 0, -52620, 0, -15499, 0, 0, 0, -117704, 0, -131086, 0, 47988, 0, 68260, 0, 0, 0, -40291, 0, 29964, 0, -90081, 0, -61504, 0, 0, 0, 44420, 0, -89585, 0, -92497, 0, 253028, 0, 0, 0, -64910, 0, -246615, 0, 115402, 0, 145011, 0, 0, 0, -120504, 0, -28940, 0, -73444, 0, -214636, 0, 0, 0, 81253, 0, 180190, 0, 10602, 0, -251938, 0, 0, 0, 151963, 0, 167224, 0, -85717, 0, -372683, 0, 0, 0, 91060, 0, 244815, 0, -2176, 0, -82814, 0, 0, 0, -97488, 0, -904, 0, 227628, 0, -130130, 0, 0, 0, -81593, 0, -178968, 0, -66163, 0, -233840, 0, 0, 0, 76393, 0, 144575, 0, 292095, 0, 142729, 0, 0, 0, -279726, 0, -217920, 0, 65412, 0, -71048, 0, 0, 0, -118362, 0, -400986, 0, 323388, 0, -371972, 0, 0, 0, -139278, 0, 78220, 0, 245432, 0, 65752, 0, 0, 0, 11820, 0, 19926, 0, -113852, 0, -7230, 0, 0, 0, -147968, 0, 204160, 0, -76156, 0, 94411, 0, 0, 0, -239362, 0, 133420, 0, -6312, 0, 205860, 0, 0, 0, -34294, 0, -195354, 0, -19127, 0, -239988, 0, 0, 0, -41724, 0, -58696, 0, 234860, 0, -211786, 0, 0, 0, 72332, 0, -203255, 0, -204898, 0, 43227, 0, 0, 0, 52740, 0, 32720, 0, 241610, 0, 19028, 0, 0, 0, -419816, 0, 358636, 0, 396787, 0, -305014, 0, 0, 0, -4354, 0, -3805, 0, -499582, 0, 67059, 0, 0, 0, 369258, 0, -114126, 0, -2808, 0, 152812, 0, 0, 0, -76712, 0, -40242, 0, -510382, 0, -38126, 0, 0, 0, 132234, 0, 331930, 0, 269712, 0, -232698, 0, 0, 0, -45940, 0, -20610, 0, 200281, 0, -269806, 0, 0, 0, -371648, 0, -145404, 0, -309578, 0, 56031, 0, 0, 0, 49508, 0, 69050, 0, -103690, 0, -188012, 0, 0, 0, 190330, 0, 198624, 0, -121683, 0, -50828, 0, 0, 0, -247495, 0, 19750, 0, 195283, 0, -197059, 0, 0, 0, -79290, 0, -158276, 0, -203398, 0, -17589, 0, 0, 0, -184400, 0, -244610, 0, 68288, 0, 150628, 0, 0, 0, 38834, 0, -242004, 0, 201797, 0, -400880, 0, 0, 0, -92262, 0, 173722, 0, -277812, 0, 157170, 0, 0, 0, -104090, 0, -164579, 0, 38612, 0, -82409, 0, 0, 0, -228142, 0, 142050, 0, -259552, 0, -267346, 0, 0, 0, -198623, 0, -67440, 0, -125150, 0, -266680, 0, 0, 0, -239644, 0, 133865, 0, 3026, 0, 227868, 0, 0, 0, -348486, 0, 24491, 0, 196222, 0, 7282, 0, 0, 0, -98432, 0, 38284, 0, -38482, 0, 129634, 0, 0, 0, 151080, 0, 35510, 0, -139268, 0, -62288, 0, 0, 0, -107914, 0, -142526, 0, 265838, 0, 53249, 0, 0, 0, 91260, 0, -260386, 0, -172248, 0, -193070, 0, 0, 0, -418700, 0, -201970, 0, -116662, 0, 165948, 0, 0, 0, -177380, 0, 59796, 0, -168633, 0, -103928, 0, 0, 0, -255974, 0, -149260, 0, -206830, 0, 187739, 0, 0, 0, 518920, 0, 205805, 0, 205812, 0, -258368, 0, 0, 0, -355922, 0, -548866, 0, -130184, 0, -216776, 0, 0, 0, 449037, 0, -8990, 0, 117460, 0, -150874, 0, 0, 0, 102262, 0, -238449, 0, -235307, 0, 164866, 0, 0, 0, -40688, 0, -431814, 0, -55818, 0, 5149, 0, 0, 0, -119682, 0, 33400, 0, -198722, 0, -83280, 0, 0, 0, -306216, 0, -101120, 0, 672, 0, -217944, 0, 0, 0, -143965, 0, 54894, 0, -230782, 0, -488101, 0, 0, 0, 62676, 0, 319610, 0, -63690, 0, 64221, 0, 0, 0, 120294, 0, 187890, 0, 120090, 0, 331688, 0, 0, 0, -82966, 0, 17390, 0, -135603, 0, -167084, 0, 0, 0, 32453, 0, 275910, 0, 519816, 0, 62573, 0, 0, 0, -375562, 0, 8040, 0, -57766, 0, -232798, 0, 0, 0, -92752, 0, -91000, 0, 421008, 0, -252096, 0, 0, 0, -95470, 0, -361584, 0, -394006, 0, 266582, 0, 0, 0, 369810, 0, -326515, 0, -269287, 0, -307040, 0, 0, 0, -329768, 0, -76428, 0, 384172, 0, -134419, 0, 0, 0, 257250, 0, 601286, 0, 75480, 0, 359024, 0, 0, 0, 278660, 0, -389956, 0, 391427, 0, 398522, 0, 0, 0, 222956, 0, 278549, 0, 85188, 0, -11457, 0, 0, 0, 248054, 0, 460915, 0, -308638, 0, 383285, 0, 0, 0, 194620, 0, 70590, 0, 236208, 0, -595642, 0, 0, 0, -424460, 0, -325554, 0, -274266, 0, -35924, 0, 0, 0, 118303, 0, -279377, 0, 14786, 0, -26131, 0, 0, 0, 483440, 0, 128864, 0, 69952, 0, -50540, 0, 0, 0, 30556, 0, -123846, 0, -62212, 0, -63430, 0, 0, 0, 228667, 0, 477780, 0, 194120, 0, 138446, 0, 0, 0, -201094, 0, -348076, 0, 848, 0, 13998, 0, 0, 0, -18606, 0, 350966, 0, 133390, 0, -46848, 0, 0, 0, 352258, 0, 93980, 0, 355868, 0, 163424, 0, 0, 0, -276239, 0, -130914, 0, -263983, 0, 175722, 0, 0, 0, 122173, 0, 182430, 0, -214270, 0, -22071, 0, 0, 0, -196438, 0, 394490, 0, -595100, 0, 396914, 0, 0, 0, 122660, 0, -103040, 0, 3368, 0, 507004, 0, 0, 0, 105394, 0, -286144, 0, -28796, 0, 354082, 0, 0, 0, 61090, 0, 146, 0, -48487, 0, -86301, 0, 0, 0, -391610, 0, -329235, 0, 104982, 0, 216844, 0, 0, 0, 129218, 0, -60150, 0, -199142, 0, -53292, 0, 0, 0, -26643, 0, 212024, 0, 381142, 0, 237870, 0, 0, 0, 118417, 0, 102729, 0, 146838, 0, 29798, 0, 0, 0, 291582, 0, 302162, 0, -353218, 0, -354599, 0, 0, 0, 221092, 0, 241420, 0, -292592, 0, 91784, 0, 0, 0, 120984, 0, 280980, 0, -8954, 0, 835420, 0, 0, 0, 43300, 0, -43112, 0, 44703, 0, 135200, 0, 0, 0, -175998, 0, -220815, 0, -557540, 0, 65441, 0, 0, 0, 371180, 0, 152266, 0, 126756, 0, -76292, 0, 0, 0, 211762, 0, -1264, 0, 308307, 0, -215040, 0, 0, 0, 90553, 0, 144930, 0, 60590, 0, 125278, 0, 0, 0, 43590, 0, -304450, 0, 263892, 0, 278002, 0, 0, 0, -416092, 0, -241216, 0, -343902, 0, -113516, 0, 0, 0, 269852, 0, -360236, 0, 473882, 0, 98042, 0, 0, 0, 206670, 0, -597610, 0, 282758, 0, 957779, 0, 0, 0, -177466, 0, 353884, 0, 85484, 0, -695669, 0, 0, 0, 45680, 0, 250524, 0, -271302, 0, -625390, 0, 0, 0, 102650, 0, 156930, 0, 117752, 0, 272566, 0, 0, 0, -234237, 0, 52349, 0, 517673, 0, -255120, 0, 0, 0, 510210, 0, -170890, 0, 429566, 0, -311219, 0, 0, 0, 593812, 0, 356940, 0, 522628, 0, 99218, 0, 0, 0, -377353, 0, 388206, 0, -115708, 0, -77588, 0, 0, 0, 138466, 0, 531666, 0, 17768, 0, 40648, 0, 0, 0, 418750, 0, 768485, 0, 469410, 0, 461707, 0, 0, 0, -210230, 0, 156654, 0, -25952, 0, 20064, 0, 0, 0, 376357, 0, -110864, 0, 370986, 0, 484210, 0, 0, 0, 8660, 0, 484995, 0, -494627, 0, -144202, 0, 0, 0, -9728, 0, -682710, 0, 271702, 0, -136768, 0, 0, 0, 693346, 0, 98050, 0, -377742, 0, 329454, 0, 0, 0, -106947, 0, 36690, 0, 75290, 0, 448142, 0, 0, 0, -489227, 0, 410014, 0, -236219, 0, -355720, 0, 0, 0, -91648, 0, 198195, 0, 141222, 0, -544719, 0, 0, 0, 785816, 0, 192806, 0, 204478, 0, -5112, 0, 0, 0, -591803, 0, 111110, 0, 249217, 0, 498176, 0, 0, 0, 111593, 0, -270955, 0, 137827, 0, 61624, 0, 0, 0, 38980, 0, 26095, 0, -92828, 0, 56702, 0, 0, 0, 166208, 0, -516366, 0, 846928, 0, 92184, 0, 0, 0, 466375, 0, 508720, 0, 360242, 0, 174950, 0, 0, 0, -859430, 0, 122825, 0, 25953, 0, 609888, 0, 0, 0, -467396, 0, -102828, 0, -386798, 0, 469702, 0, 0, 0, 421106, 0, -506640, 0, 132796, 0, 440074, 0, 0, 0, 474240, 0, -106370, 0, 8754, 0, 150956, 0, 0, 0, 49313, 0, -246342, 0, 153698, 0, -17540, 0, 0, 0, 112392, 0, -26261, 0, -465400, 0, -58327, 0, 0, 0, 557880, 0, 259820, 0, -594382, 0, 754560, 0, 0, 0, 321337, 0, -445104, 0, 302357, 0, -210924, 0, 0, 0, -317179, 0, -447793, 0, -375342, 0, -194950, 0, 0, 0, 504088, 0, 176285, 0, -27606, 0, 149602, 0, 0, 0, 488766, 0, -120702, 0, -138900, 0, -324486, 0, 0, 0, -424773, 0, 26744, 0, -808478, 0, 708226, 0, 0, 0, -119376, 0, -583, 0, -192562, 0, -105651, 0, 0, 0, 344282, 0, 151126, 0, -662918, 0, 705, 0, 0, 0, 103076, 0, -57610, 0, -8410, 0, 247214, 0, 0, 0, 468354, 0, -418380, 0, -14438, 0, 275248, 0, 0, 0, 164493, 0, 108530, 0, 357115, 0, 126388, 0, 0, 0, -81218, 0, -569254, 0, 388072, 0, -306269, 0, 0, 0, 410410, 0, 643920, 0, 438856, 0, 467858, 0, 0, 0, 8747, 0, 688030, 0, -111988, 0, -191230, 0, 0, 0, 11243, 0, -338960, 0, 514438, 0, 591040, 0, 0, 0, 876890, 0, -256265, 0, -490168, 0, 147780, 0, 0, 0, 258386, 0, -312106, 0, -75762, 0, 19564, 0, 0, 0, 573437, 0, -11850, 0, -758168, 0, 755036, 0, 0, 0, 47844, 0, -94085, 0, -478967, 0, 707138, 0, 0, 0, 6720, 0, -546594, 0, 327884, 0, -188720, 0, 0, 0, -163440, 0, -278034, 0, -557732, 0, 703218, 0, 0, 0, 235487, 0, 432020, 0]