# Trace form for 800.4.a.v, downloaded from the LMFDB on 20 January 2025.
[0, 3, 0, -5, 0, 0, 0, 2, 0, 18, 0, 31, 0, 8, 0, 0, 0, -89, 0, 87, 0, -70, 0, 122, 0, 0, 0, -143, 0, 84, 0, 294, 0, -209, 0, 0, 0, -94, 0, -32, 0, -345, 0, 412, 0, 0, 0, -824, 0, 359, 0, 1351, 0, 74, 0, 0, 0, -913, 0, 1040, 0, 482, 0, 1532, 0, 0, 0, -735, 0, -614, 0, 2048, 0, -15, 0, 0, 0, 1474, 0, 998, 0, -549, 0, 1221, 0, 0, 0, -2564, 0, 1189, 0, 4032, 0, 454, 0, 0, 0, -1010, 0, 1954, 0, 1398, 0, 2640, 0, 0, 0, -2841, 0, -2786, 0, 4986, 0, -1027, 0, 0, 0, 4112, 0, 394, 0, -2062, 0, 3935, 0, 0, 0, -2914, 0, 708, 0, 3924, 0, 3298, 0, 0, 0, -3529, 0, 2751, 0, 4848, 0, 4128, 0, 0, 0, -3425, 0, -1700, 0, 4170, 0, -2486, 0, 0, 0, 5910, 0, 2394, 0, -2292, 0, 793, 0, 0, 0, -1640, 0, 5473, 0, 5298, 0, 1888, 0, 0, 0, -9560, 0, -965, 0, 1838, 0, -438, 0, 0, 0, -1669, 0, -6562, 0, 3706, 0, -4201, 0, 0, 0, 7994, 0, 5036, 0, -7167, 0, 3176, 0, 0, 0, -820, 0, 4907, 0, -2151, 0, 2008, 0, 0, 0, -8524, 0, -3695, 0, 3528, 0, -3452, 0, 0, 0, 2676, 0, -2252, 0, -7286, 0, 274, 0, 0, 0, 4478, 0, -2092, 0, -7093, 0, 784, 0, 0, 0, 8416, 0, 10277, 0, -6655, 0, -702, 0, 0, 0, -13262, 0, -2276, 0, 8472, 0, -5390, 0, 0, 0, -1003, 0, -6288, 0, -2202, 0, -12528, 0, 0, 0, 10324, 0, -8844, 0, -10590, 0, -12103, 0, 0, 0, 2650, 0, 5192, 0, -17970, 0, 15926, 0, 0, 0, -7643, 0, -7616, 0, 11288, 0, -6898, 0, 0, 0, 14387, 0, -8824, 0, -18442, 0, 8678, 0, 0, 0, 9356, 0, 6412, 0, 2631, 0, -10093, 0, 0, 0, 17334, 0, 3584, 0, -10021, 0, -12436, 0, 0, 0, -7487, 0, -10427, 0, -6626, 0, -14420, 0, 0, 0, 6447, 0, -6090, 0, -20384, 0, -13910, 0, 0, 0, 17554, 0, -11786, 0, -6198, 0, -5094, 0, 0, 0, 14708, 0, -5910, 0, -23204, 0, 14310, 0, 0, 0, 4736, 0, 10621, 0, 12334, 0, -5154, 0, 0, 0, 10696, 0, 5674, 0, -11742, 0, 9244, 0, 0, 0, 748, 0, -22502, 0, 11959, 0, -23488, 0, 0, 0, -8014, 0, 6311, 0, -8289, 0, -240, 0, 0, 0, -4369, 0, -14645, 0, -5660, 0, -7760, 0, 0, 0, 25468, 0, -17112, 0, -14010, 0, -6249, 0, 0, 0, 1666, 0, 7116, 0, -6166, 0, 4645, 0, 0, 0, -5580, 0, -11917, 0, -4045, 0, 9890, 0, 0, 0, 13627, 0, -6443, 0, 10412, 0, -4900, 0, 0, 0, -340, 0, 23070, 0, -22250, 0, 13876, 0, 0, 0, -27844, 0, -9454, 0, 2768, 0, -1476, 0, 0, 0, 15486, 0, 11849, 0, -1580, 0, -33308, 0, 0, 0, 1392, 0, 32780, 0, -18992, 0, 15068, 0, 0, 0, -18071, 0, 1590, 0, 22790, 0, -14971, 0, 0, 0, -7856, 0, -9952, 0, -4657, 0, -10157, 0, 0, 0, -4226, 0, -24329, 0, 20960, 0, 14440, 0, 0, 0, 23555, 0, -7437, 0, -11144, 0, 23134, 0, 0, 0, 2995, 0, 27308, 0, 25644, 0, 40292, 0, 0, 0, -27008, 0, 36928, 0, 33251, 0, 11304, 0, 0, 0, -22846, 0, 9883, 0, 25684, 0, -46454, 0, 0, 0, 8401, 0, -1641, 0, -49706, 0, -25006, 0, 0, 0, -20683, 0, -15522, 0, 13434, 0, -30899, 0, 0, 0, -40404, 0, -19266, 0, -5471, 0, 35934, 0, 0, 0, -9624, 0, -45256, 0, 17152, 0, 15786, 0, 0, 0, 25770, 0, 53132, 0, 8926, 0, 49566, 0, 0, 0, -37453, 0, 68186, 0, 54686, 0, 51289, 0, 0, 0, -46616, 0, 1472, 0, 55862, 0, 20924, 0, 0, 0, -39084, 0, 17640, 0, 32516, 0, -18810, 0, 0, 0, 30150, 0, -22979, 0, -21620, 0, 48288, 0, 0, 0, 11720, 0, 9652, 0, 29762, 0, -19970, 0, 0, 0, 8248, 0, 80660, 0, -19812, 0, 24883, 0, 0, 0, -34844, 0, -64528, 0, 60667, 0, 20716, 0, 0, 0, 60155, 0, -25406, 0, 408, 0, -40958, 0, 0, 0, -53228, 0, 5412, 0, 33332, 0, 23732, 0, 0, 0, -37972, 0, -70, 0, 46480, 0, 65707, 0, 0, 0, 20452, 0, -16089, 0, 18316, 0, -59992, 0, 0, 0, 24357, 0, 54484, 0, -55864, 0, 48538, 0, 0, 0, -67818, 0, 3666, 0, 55444, 0, -7495, 0, 0, 0, -42920, 0, -8862, 0, 16919, 0, -36604, 0, 0, 0, -15680, 0, -23953, 0, 41458, 0, 61164, 0, 0, 0, 76444, 0, -27765, 0, 15768, 0, -2636, 0, 0, 0, 47020, 0, 45586, 0, 18942, 0, 77456, 0, 0, 0, -32370, 0, 77224, 0, 53950, 0, 26365, 0, 0, 0, -34848, 0, -34002, 0, 21140, 0, -86762, 0, 0, 0, 24212, 0, -10752, 0, -71578, 0, 19292, 0, 0, 0, -12427, 0, -21632, 0, -12116, 0, -64197, 0, 0, 0, 22978, 0, 736, 0, -4671, 0, 58850, 0, 0, 0, 19612, 0, -3439, 0, -28372, 0, 15110, 0, 0, 0, 8079, 0, 66191, 0, 46450, 0, 5572, 0, 0, 0, -35784, 0, 43798, 0, 51936, 0, 114580, 0, 0, 0, -39340, 0, -82034, 0, 50514, 0, -61685, 0, 0, 0, -30108, 0, 35364, 0, -24161, 0, -39952, 0, 0, 0, -1936, 0, -25032, 0, 9794, 0, -23128, 0, 0, 0, 35444, 0, -36636, 0, -45908, 0, -50215, 0, 0, 0, -23704, 0, 38634, 0, -61125, 0, 16384, 0, 0, 0, 69408, 0, -87686, 0, 2251, 0, 63998, 0, 0, 0, 34817, 0, -76442, 0, -16016, 0, -39950, 0, 0, 0, -51696, 0, 60920, 0, -65844, 0, -14829, 0, 0, 0, -76508, 0, -64166, 0, -2577, 0, -7278, 0, 0, 0, 83368, 0, 90947, 0, -60169, 0, -77246, 0, 0, 0, -63589, 0, 60081, 0, -76844, 0, -25426, 0, 0, 0, 55472, 0, -13640, 0, -25754, 0, -32341, 0, 0, 0, 62604, 0, -18258, 0, 912, 0, -141360, 0, 0, 0, -61982, 0, -40497, 0, -46647, 0, 93492, 0, 0, 0, 37742, 0, -66979, 0, 37698, 0, 37054, 0, 0, 0, 133824, 0, 17980, 0, -74178, 0, 43177, 0, 0, 0, 15962, 0, 84260, 0, -20625, 0, 46520, 0, 0, 0, -47282, 0, 30021, 0, -41703, 0, -76888, 0, 0, 0, -56420, 0, -19030, 0, 6494, 0, -76752, 0, 0, 0, 90550, 0, -52746, 0, -129044, 0, -130408, 0, 0, 0, 16014, 0, -123680, 0, -62624, 0, -78846, 0, 0, 0, 132052, 0, 25676, 0, -59525, 0, 17406, 0, 0, 0, -53459, 0, 79940, 0, 71860, 0, -54600, 0, 0, 0, -21475, 0, 57596, 0, -35146, 0, 103276, 0, 0, 0, -40310, 0, -110330, 0, 83080, 0, -94793, 0, 0, 0, 59506, 0, 49299, 0, -124544, 0, 76424, 0, 0, 0, -91579, 0, -72123, 0, -53298, 0, 4868, 0, 0, 0, 33044, 0, -77210, 0, -63164, 0, -20931, 0, 0, 0, 151448, 0, 61714, 0, -84468, 0, -16271, 0, 0, 0, 5914, 0, -18560, 0, -4559, 0, 37458, 0, 0, 0, -21693, 0, -34344, 0, -8814, 0, -144938, 0, 0, 0, 52207, 0, -94140, 0, -72212, 0, -59218, 0, 0, 0, 83692, 0, -76226, 0, -1511, 0, -48505, 0, 0, 0, 15168, 0, 97552, 0, -90048, 0, -98602, 0, 0, 0, -69015, 0, 34412, 0, 131306, 0, 54878, 0, 0, 0, 56751, 0, -39242, 0, -52588, 0, -54646, 0, 0, 0, 38232, 0, -131040, 0, -28835, 0, 21153, 0, 0, 0, -13712, 0, 4769, 0, -63006, 0, 170490, 0, 0, 0, 13475, 0, -53492, 0, 202000, 0, 23220, 0, 0, 0, 67572, 0, -5712, 0, -30930, 0, 84549, 0, 0, 0, 87830, 0, 129574, 0, -81572, 0, -65524, 0, 0, 0, 43392, 0, 21098, 0, 19408, 0, -6530, 0, 0, 0, -51866, 0, -78649, 0, -95598, 0, -69836, 0, 0, 0, -88037, 0, -109126, 0, -30094, 0, -167888, 0, 0, 0, 146276, 0, 31926, 0, -148365, 0, 72541, 0, 0, 0, 133062, 0, 7661, 0, -33051, 0, -17336, 0, 0, 0, -80276, 0, 132352, 0, 54280, 0, 95998, 0, 0, 0, -87757, 0, 21496, 0, 42346, 0, 93155, 0, 0, 0, 91120, 0, -67860, 0, 57215, 0, -109280, 0, 0, 0, -10322, 0, 109557, 0, -8893, 0, 1978, 0, 0, 0, -62081, 0, -49124, 0, 91698, 0, -100052, 0, 0, 0, 71205, 0, -174004, 0, 4896, 0, 21544, 0, 0, 0, -282, 0, 48264, 0, -63932, 0, -32884, 0, 0, 0, -171018, 0, -33173, 0, 85625, 0, 136260, 0, 0, 0, -86288, 0, -39284, 0, 69572, 0, 12790, 0, 0, 0, 38355, 0, 6134, 0, 95118, 0, -104147, 0, 0, 0, 30226, 0, -16556, 0, -1556, 0, 219328, 0, 0, 0, -1264, 0, 99720, 0, 108621, 0, -34006, 0, 0, 0, -84704, 0, 130229, 0, -7762, 0, 80978, 0, 0, 0, -75410, 0, 31864, 0, 108130, 0, -44340, 0, 0, 0, 136046, 0, 123052, 0, 31949, 0, -32192, 0, 0, 0, -34178, 0, 152783, 0, 28032, 0, 119772, 0, 0, 0, -115980, 0, -71671, 0, 65206, 0, 16144, 0, 0, 0, -84109, 0, -145876, 0, 35580, 0, 27201, 0, 0, 0, 195130, 0, 102062, 0, -97850, 0, 211899, 0, 0, 0, 17862, 0, -50869, 0, 140773, 0, -120130, 0, 0, 0, -86632, 0, -32937, 0, -26658, 0, 27366, 0, 0, 0, -247488, 0, -30412, 0, 124264, 0, -164543, 0, 0, 0, -66368, 0, 3032, 0, -141608, 0, 100807, 0, 0, 0, -4762, 0, 98307, 0, 16860, 0, 40400, 0, 0, 0, -151815, 0, 18461, 0, 16654, 0, -29916, 0, 0, 0, 29295, 0, 142824, 0, 73416, 0, 9880, 0, 0, 0, -107472, 0, 124640, 0, 8337, 0, 8152, 0, 0, 0, -213602, 0, 28353, 0, 121450, 0, 180244, 0, 0, 0, -36957, 0, 53933, 0, -38244, 0, 243352, 0, 0, 0, 133933, 0, 24980, 0, 184396, 0, 50704, 0, 0, 0, 151242, 0, 38500, 0, -52293, 0, 161876, 0, 0, 0, -151266, 0, -163850, 0, 119104, 0, -206716, 0, 0, 0, 81367, 0, -56188, 0, -32950, 0, 62046, 0, 0, 0, -180071, 0, -202004, 0, 140872, 0, -154168, 0, 0, 0, -22912, 0, -23890, 0, -21168, 0, -178966, 0, 0, 0, -37662, 0, 107568, 0, 125177, 0, -6320, 0, 0, 0, -44593, 0, 82571, 0, 201536, 0, -36928, 0, 0, 0, -242317, 0, 37146, 0, 231680, 0, 104604, 0, 0, 0, -159586, 0, 20044, 0, 21346, 0, 127619, 0, 0, 0, 149470, 0, 64464, 0, 126201, 0, 168666, 0, 0, 0, 37226, 0, 217584, 0, -6304, 0, 295438, 0, 0, 0, -204491, 0, 148274, 0, -95536, 0, 17461, 0, 0, 0, 9230, 0, 109500, 0, -52531, 0, 52460, 0, 0, 0, 78638, 0, 29144, 0, 84492, 0, -60004, 0, 0, 0, 54358, 0, 17861, 0, -223192, 0, -154204, 0, 0, 0, 65507, 0, -43408, 0, 112424, 0, -58803, 0, 0, 0, 166854, 0, -25748, 0, 16442, 0, 28929, 0, 0, 0, -229472, 0, -24021, 0, 60851, 0, -177862, 0, 0, 0, -75516, 0, 60387, 0, 61288, 0, 46196, 0, 0, 0, 195248, 0, 60560, 0, 50402, 0, 125792, 0, 0, 0, -12688, 0, -2854, 0, 170140, 0, 270950, 0, 0, 0, -121344, 0, -52137, 0, 93690, 0, 225574, 0, 0, 0, 29412, 0, -83083, 0, 165996, 0, 46586, 0, 0, 0, 54609, 0, -160362, 0, 63544, 0, 131930, 0, 0, 0, -231844, 0, 70800, 0, 165698, 0, -101952, 0, 0, 0, -168094, 0, -125770, 0, -101452, 0, -174434, 0, 0, 0, 209492, 0, 29166, 0, -154294, 0, -64992, 0, 0, 0, -15948, 0, 76822, 0, -24736, 0, -69591, 0, 0, 0, -135704, 0, -35802, 0, -119847, 0, -52778, 0, 0, 0, 250280, 0, -171212, 0, 25945, 0, -102484, 0, 0, 0, 121600, 0, -51704, 0, -34812, 0, 221172, 0, 0, 0, -256560, 0, 224450, 0, -77246, 0, 120824, 0, 0, 0, 196968, 0, -81090, 0, 110364, 0, -132800, 0, 0, 0, 45580, 0, 139215, 0, -87245, 0, 94908, 0, 0, 0, 216541, 0, 22044, 0, -210082, 0, -277740, 0, 0, 0, 79877, 0, -337008, 0, 59142, 0, 73259, 0, 0, 0, 161526, 0, -156088, 0, -55976, 0, -155097, 0, 0, 0, -167816, 0, -210245, 0, 38721, 0, -125398, 0, 0, 0, 175299, 0, 141390, 0, 480, 0, 138448, 0, 0, 0, 206764, 0, 166518, 0, -158552, 0, -56541, 0, 0, 0, -495580, 0, -55346, 0, 218960, 0, 187800, 0, 0, 0, -55066, 0, -18221, 0, 26004, 0, -78562, 0, 0, 0, -37270, 0, -83584, 0, 73336, 0, 26798, 0, 0, 0, 267712, 0, 219910, 0, -239122, 0, -94813, 0, 0, 0, -263742, 0, -47522, 0, 219411, 0, -219744, 0, 0, 0, 103020, 0, -48870, 0, -194245, 0, 291936, 0, 0, 0, 235756, 0, -74465, 0, -4174, 0, -272832, 0, 0, 0, -138644, 0, 337482, 0, -318544, 0, 247061, 0, 0, 0, 119100, 0, -133024, 0, 65908, 0, 10379, 0, 0, 0, 368564, 0, -256847, 0, -161076, 0, -288694, 0, 0, 0, 137791, 0, -45068, 0, -416448, 0, 184910, 0, 0, 0, 94441, 0, -118262, 0, -82408, 0, -259898, 0, 0, 0, -156990, 0, 228438, 0, -204722, 0, -257696, 0, 0, 0, 1394, 0, -183262, 0, -100224, 0, -830, 0, 0, 0, 154532, 0, -21535, 0, 105900, 0, -456160, 0, 0, 0, 348007, 0, 102236, 0, -138588, 0, 277396, 0, 0, 0, -466640, 0, -91232, 0, 233072, 0, -158572, 0, 0, 0, -63006, 0, 81459, 0, -244443, 0, -8624, 0, 0, 0, 86124, 0, -69176, 0, 62168, 0, 193024, 0, 0, 0, 78244, 0, 134042, 0, -85820, 0, 169048, 0, 0, 0, -83926, 0, -258482, 0, 108215, 0, 22047, 0, 0, 0, 20154, 0, -282496, 0, -205253, 0, -42036, 0, 0, 0, 29772, 0, 10910, 0, -306022, 0, -160590, 0, 0, 0, 107520, 0, 86572, 0, 35640, 0, 55478, 0, 0, 0, 100812, 0, -143736, 0, 199397, 0, -322897, 0, 0, 0, 241122, 0, 346916, 0, -92104, 0, -338760, 0, 0, 0, -101557, 0, 41890, 0, -333280, 0, -287192, 0, 0, 0, -106961, 0, 112866, 0, -278056, 0, -135188, 0, 0, 0, 14666, 0, 7924, 0, 67549, 0, 192580, 0, 0, 0, 554720, 0, -155509, 0, -367544, 0, 177546, 0, 0, 0, 262435, 0, -146356, 0, 67496, 0, -12672, 0, 0, 0, -162879, 0, 65940, 0, -92124, 0, 256336, 0, 0, 0, -541538, 0, -245098, 0, -147948, 0, -157669, 0, 0, 0, 68188, 0, 44464, 0, -184771, 0, -204858, 0, 0, 0, 89534, 0, -165824, 0, -139962, 0, -375104, 0, 0, 0, 102196, 0, -6498, 0, -126690, 0, -420975, 0, 0, 0, -398576, 0, 148856, 0, -152377, 0, -307393, 0, 0, 0, -336444, 0, -179435, 0, -97189, 0, -62234, 0, 0, 0, 231722, 0, -436400, 0, -44832, 0, 210396, 0, 0, 0, 513870, 0, 491778, 0, -267552, 0, 281180, 0, 0, 0, 100842, 0, 378612, 0, 344441, 0, 430100, 0, 0, 0, -136034, 0, -103108, 0, -187668, 0, -178876, 0, 0, 0, 81264, 0, 256644, 0, -114030, 0, -21178, 0, 0, 0, 85901, 0, -517364, 0, -259140, 0, 158449, 0, 0, 0, 313908, 0, -406578, 0, 95661, 0, -318912, 0, 0, 0, 332968, 0, -49332, 0, -30864, 0, -6824, 0, 0, 0, 184044, 0, 67323, 0, 59770, 0, 114848, 0, 0, 0, -119948, 0, 106952, 0, 57126, 0, 60356, 0, 0, 0, -563344, 0, 24980, 0, -35489, 0, -161527, 0, 0, 0, 260748, 0, -93300, 0, 44100, 0, -19700, 0, 0, 0, -37760, 0, -303865, 0, -134276, 0, -149436, 0, 0, 0, -227410, 0, 318364, 0, -10840, 0, 96508, 0, 0, 0, -189226, 0, 1670, 0, -88528, 0, 211994, 0, 0, 0, 52850, 0, -66408, 0, 189639, 0, 496650, 0, 0, 0, 40671, 0, 276911, 0, 56620, 0, -416180, 0, 0, 0, 3968, 0, 164716, 0, 17810, 0, 149329, 0, 0, 0, 187202, 0, -8186, 0, 220400, 0, -126773, 0, 0, 0, -80642, 0, 29227, 0, -47260, 0, -509544, 0, 0, 0, 16358, 0, -220950, 0, -52530, 0, 300552, 0, 0, 0, 228608, 0, -132932, 0, 104180, 0, -493029, 0, 0, 0, 221924, 0, 217344, 0, -79893, 0, 382034, 0, 0, 0, -464932, 0, -154221, 0, -160113, 0, 122934, 0, 0, 0, 122349, 0, -344920, 0, 694660, 0, -130342, 0, 0, 0, 60756, 0, -272930, 0, -53192, 0, 238720, 0, 0, 0, -338384, 0, 398568, 0, 325844, 0, -219352, 0, 0, 0, 201206, 0, 265313, 0, 280576, 0, 83188, 0, 0, 0, 48808, 0, 61265, 0, -177610, 0, -275326, 0, 0, 0, -473851, 0, 71504, 0, 458598, 0, -228729, 0, 0, 0, 187656, 0, 114052, 0, -361188, 0, 222556, 0, 0, 0, 236138, 0, -215021, 0, -74209, 0, 290092, 0, 0, 0, 96732, 0, 412505, 0, -468458, 0, 502112, 0, 0, 0, -156915, 0, 53804, 0, 208376, 0, 291351, 0, 0, 0, 523994, 0, -170246, 0, -36515, 0, 32762, 0, 0, 0, 3456, 0, 205664, 0, 107037, 0, -619040, 0, 0, 0, -242221, 0, -284408, 0, -318472, 0, -74644, 0, 0, 0, 207914, 0, -366200, 0, 34108, 0, -91549, 0, 0, 0, 297606, 0, -10348, 0, 37046, 0, -26396, 0, 0, 0, -325494, 0, -32475, 0, 76337, 0, 564040, 0, 0, 0, 31652, 0, 441337, 0, 639648, 0, 324760, 0, 0, 0, -173302, 0, 124370, 0, 104900, 0, 259461, 0, 0, 0, -339296, 0, -272968, 0, 441112, 0, 555541, 0, 0, 0, -315680, 0, -304756, 0, 167580, 0, 81224, 0, 0, 0, -77147, 0, 531691, 0, 193286, 0, 358714, 0, 0, 0, 8688, 0, -115350, 0, 334888, 0, -436243, 0, 0, 0, 69394, 0, 207178, 0, -73524, 0, -729, 0, 0, 0, -111546, 0, 122349, 0, 448720, 0, 81434, 0, 0, 0, -96685, 0, -419328, 0, -170520, 0, -324426, 0, 0, 0, -508102, 0, 306724, 0, -18560, 0, 227911, 0, 0, 0, 333254, 0, 176074, 0, -237980, 0, 339988, 0, 0, 0, 55742, 0, 103752, 0, 575371, 0, -282630, 0, 0, 0, -254439, 0, 8205, 0, -242592, 0, 217698, 0, 0, 0, -690760, 0, -560970, 0, 399552, 0, -338593, 0, 0, 0, 392572, 0, -117408, 0, -673600, 0, -55888, 0, 0, 0, -62008, 0, 11473, 0, 350883, 0, 89646, 0, 0, 0, -54240, 0, 59306, 0, 278638, 0, 410190, 0, 0, 0, 233664, 0, -258694, 0, 43644, 0, -55875, 0, 0, 0, -220846, 0, 618394, 0]