# Trace form for 800.4.a.x, downloaded from the LMFDB on 19 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]