# Trace form for 76.4.a.b, downloaded from the LMFDB on 24 April 2024.
[0, 3, 0, 1, 0, 9, 0, 44, 0, 60, 0, 79, 0, -11, 0, 90, 0, 82, 0, 57, 0, -213, 0, 103, 0, -210, 0, -107, 0, -93, 0, -116, 0, -664, 0, -93, 0, -466, 0, 337, 0, -188, 0, -11, 0, -387, 0, 163, 0, 69, 0, 203, 0, 197, 0, 231, 0, 19, 0, 1381, 0, -405, 0, 1547, 0, 1188, 0, 943, 0, -1339, 0, 1052, 0, -580, 0, -131, 0, 1855, 0, -1402, 0, 495, 0, 1802, 0, -1245, 0, -3159, 0, 1966, 0, -1723, 0, -224, 0, 171, 0, 48, 0, -455, 0, 134, 0, -1412, 0, 1770, 0, -2893, 0, -2925, 0, -4146, 0, 1054, 0, -372, 0, -6524, 0, 2518, 0, 3580, 0, -3076, 0, -1035, 0, -1312, 0, 3526, 0, 3075, 0, 836, 0, 504, 0, 1014, 0, 4869, 0, 2870, 0, 3090, 0, -2382, 0, -8682, 0, -1753, 0, -1660, 0, 11113, 0, -2820, 0, -230, 0, 5929, 0, 3565, 0, -1320, 0, 2382, 0, 2022, 0, 6398, 0, 1140, 0, 2142, 0, -3739, 0, 5021, 0, 1270, 0, 4534, 0, -5452, 0, -5550, 0, -6701, 0, -4545, 0, 10756, 0, -4056, 0, -2772, 0, -6344, 0, -3516, 0, -6227, 0, 3867, 0, -3438, 0, 2026, 0, 1501, 0, 1277, 0, -4622, 0, 2571, 0, 956, 0, 16077, 0, -19071, 0, -7568, 0, -8703, 0, -9589, 0, 6029, 0, -16012, 0, 4791, 0, 6861, 0, -5094, 0, -48, 0, 3848, 0, 1522, 0, -8292, 0, -209, 0, 6694, 0, 3837, 0, 10294, 0, 5442, 0, -9054, 0, 1308, 0, 1374, 0, -3033, 0, 1860, 0, 10328, 0, -14668, 0, 5007, 0, 15659, 0, -1442, 0, -8269, 0, 11956, 0, -3512, 0, 7823, 0, 1710, 0, 3130, 0, 18115, 0, 9866, 0, -2401, 0, 7974, 0, -15898, 0, -1683, 0, -6295, 0, 18658, 0, 969, 0, -3380, 0, 17818, 0, 3730, 0, -5915, 0, -8697, 0, -9291, 0, 12060, 0, 11947, 0, 1558, 0, 9715, 0, -18121, 0, -6797, 0, 1693, 0, 3620, 0, -4416, 0, -7350, 0, -8554, 0, -13932, 0, 3124, 0, 4452, 0, -8303, 0, 3365, 0, -461, 0, -9339, 0, -11538, 0, -15115, 0, -2934, 0, 1083, 0, -12141, 0, 1335, 0, -10284, 0, 4444, 0, -4243, 0, 8715, 0, -18990, 0, -9255, 0, 7953, 0, -366, 0, -574, 0, -6657, 0, -5255, 0, 10235, 0, -2099, 0, 5178, 0, -2016, 0, 5179, 0, -4047, 0, 10230, 0, -28312, 0, 5589, 0, -1106, 0, -4478, 0, 21495, 0, 11863, 0, 11532, 0, -27814, 0, 864, 0, 6389, 0, -26525, 0, -20213, 0, -2807, 0, 45426, 0, -730, 0, 21178, 0, 1416, 0, 1957, 0, -33226, 0, 26259, 0, 24225, 0, 11712, 0, 14026, 0, -5508, 0, 4786, 0, 32586, 0, 15816, 0, -3954, 0, 9359, 0, 8391, 0, 10459, 0, 1464, 0, -11575, 0, 27617, 0, 13486, 0, -15507, 0, -3990, 0, 13916, 0, -5304, 0, -28162, 0, -33361, 0, 2700, 0, 21036, 0, 15032, 0, 38508, 0, -3249, 0, -34905, 0, 35096, 0, -1317, 0, -36984, 0, 11587, 0, 20670, 0, -14162, 0, -13360, 0, -27852, 0, -2033, 0, -9258, 0, 13627, 0, -25686, 0, -31322, 0, -14401, 0, 19755, 0, 41388, 0, -19220, 0, 18316, 0, -18732, 0, -4398, 0, -3004, 0, 28962, 0, 28683, 0, -8522, 0, -14328, 0, -28620, 0, -37155, 0, -1767, 0, -18126, 0, -5676, 0, -18461, 0, 13640, 0, -76564, 0, 25578, 0, 8094, 0, 4688, 0, -462, 0, -39228, 0, 27959, 0, -5099, 0, -48040, 0, -56674, 0, 14210, 0, -35374, 0, -14400, 0, 41575, 0, -2204, 0, -1492, 0, 5962, 0, -17889, 0, 36335, 0, -2116, 0, -27140, 0, 42706, 0, 14364, 0, 39426, 0, -57141, 0, 61788, 0, 29721, 0, 108, 0, 46365, 0, 11210, 0, -25681, 0, 13348, 0, 921, 0, -12616, 0, 14272, 0, 8541, 0, -62079, 0, 5706, 0, -58716, 0, 94286, 0, 42580, 0, 19307, 0, -5538, 0, -20460, 0, 19036, 0, -14320, 0, -9249, 0, -9507, 0, 18761, 0, -13205, 0, -7957, 0, -9045, 0, -1767, 0, 27009, 0, 60022, 0, 42791, 0, 3996, 0, 2011, 0, 1869, 0, -11702, 0, 23953, 0, 50052, 0, 12507, 0, 78108, 0, -14811, 0, -26767, 0, 60541, 0, 7935, 0, 10294, 0, -17484, 0, -28088, 0, -8854, 0, -7854, 0, -36916, 0, -69702, 0, -55060, 0, -6888, 0, 80508, 0, 31575, 0, 47068, 0, -33976, 0, -53004, 0, 6351, 0, -20934, 0, -76425, 0, -3891, 0, 22700, 0, 19068, 0, 40938, 0, -15307, 0, 6403, 0, -80160, 0, 16827, 0, 17564, 0, -59623, 0, 48968, 0, -41844, 0, -8226, 0, 45471, 0, -34942, 0, 12134, 0, -20201, 0, 30039, 0, 18105, 0, -28442, 0, 47736, 0, -62547, 0, -13016, 0, -59990, 0, -3572, 0, -5986, 0, -43497, 0, 2310, 0, 8027, 0, -71442, 0, 19432, 0, 54278, 0, 3372, 0, 5585, 0, -80009, 0, 33454, 0, -130061, 0, -18924, 0, -10358, 0, 9282, 0, 31229, 0, -5131, 0, -7188, 0, -209, 0, -111670, 0, -36537, 0, 5222, 0, 74450, 0, 19059, 0, -13869, 0, -16602, 0, 50202, 0, -17730, 0, 15448, 0, -21150, 0, -390, 0, 13772, 0, 49023, 0, 62217, 0, 85608, 0, 19594, 0, 1498, 0, -7353, 0, 51456, 0, 10151, 0, -54844, 0, -122956, 0, -1146, 0, 81180, 0, 11044, 0, -57691, 0, 15174, 0, 25689, 0, 56097, 0, 14191, 0, 36933, 0, -6893, 0, 33768, 0, -69420, 0, -28956, 0, 45811, 0, 3097, 0, 41934, 0, 80271, 0, 12432, 0, 57497, 0, 74558, 0, -7758, 0, -52675, 0, -63088, 0, 56874, 0, 29336, 0, -16518, 0, 59679, 0, 29657, 0, 2980, 0, -155322, 0, 19196, 0, 56758, 0, 23769, 0, 1311, 0, 77003, 0, -110781, 0, 53676, 0, 104107, 0, -47801, 0, 20944, 0, 25296, 0, 52588, 0, -42325, 0, -4977, 0, -7980, 0, 42207, 0, -28050, 0, -15750, 0, -18637, 0, -44812, 0, -39480, 0, 60832, 0, 3857, 0, -38244, 0, 107521, 0, -16037, 0, -24366, 0, 3460, 0, -76620, 0, -24570, 0, -11238, 0, 81638, 0, -33996, 0, 2978, 0, 80839, 0, 2799, 0, -60633, 0, -34290, 0]