# Trace form for 425.4.b.a, downloaded from the LMFDB on 25 May 2026.
[0, 2, 0, 0, -2, 0, -42, 0, 0, -44, 0, -128, 0, 0, 132, 0, -142, 0, 0, 98, 0, 308, 0, 0, -294, 0, 438, 0, 0, -310, 0, -394, 0, 0, 102, 0, 44, 0, 0, 1022, 0, -524, 0, 0, 128, 0, 660, 0, 0, -282, 0, 238, 0, 0, -210, 0, 924, 0, 0, 666, 0, -710, 0, 0, -866, 0, 2688, 0, 0, 1540, 0, 94, 0, 0, 2232, 0, -98, 0, 0, 768, 0, -1678, 0, 0, -308, 0, 1548, 0, 0, -1022, 0, -3212, 0, 0, 78, 0, 630, 0, 0, 2816, 0, -1100, 0, 0, 3066, 0, -3918, 0, 0, 982, 0, 5208, 0, 0, -2058, 0, 310, 0, 0, -748, 0, 5530, 0, 0, 394, 0, -2904, 0, 0, 3612, 0, -3860, 0, 0, -4884, 0, 714, 0, 0, -1256, 0, 182, 0, 0, 3124, 0, -2622, 0, 0, -3368, 0, -436, 0, 0, -8448, 0, -1022, 0, 0, -9142, 0, -4840, 0, 0, 524, 0, -4416, 0, 0, -6264, 0, -2156, 0, 0, 6510, 0, 9088, 0, 0, -648, 0, -1964, 0, 0, 4620, 0, 8274, 0, 0, 1540, 0, 2480, 0, 0, -3222, 0, 282, 0, 0, 70, 0, -11396, 0, 0, -238, 0, 9072, 0, 0, -6272, 0, 7700, 0, 0, -4248, 0, -1470, 0, 0, -6118, 0, -2482, 0, 0, -1980, 0, 5526, 0, 0, 5652, 0, -19712, 0, 0, -9636, 0, -666, 0, 0, 11244, 0, 116, 0, 0, 710, 0, 11004, 0, 0, -10304, 0, -4616, 0, 0, 978, 0, 3026, 0, 0, -16368, 0, 6820, 0, 0, 18816, 0, 6468, 0, 0, -8610, 0, 264, 0, 0, 11268, 0, -1540, 0, 0, 8668, 0, -3322, 0, 0, -94, 0, -28032, 0, 0, -578, 0, -7518, 0, 0, 5922, 0, 15624, 0, 0, -16060, 0, -11352, 0, 0, -6958, 0, -2244, 0, 0, 21168, 0, 18976, 0, 0, 13092, 0, -768, 0, 0, 19840, 0, -9912, 0, 0, 1678, 0, -2352, 0, 0, -572, 0, -12238, 0, 0, 1836, 0, -21868, 0, 0, 12894, 0, 25216, 0, 0, 10836, 0, -588, 0, 0, -4592, 0, 5110, 0, 0, -13986, 0, 1022, 0, 0, 12900, 0, -8916, 0, 0, 3212, 0, 14910, 0, 0, 11528, 0, 28732, 0, 0, -6528, 0, 546, 0, 0, 7520, 0, 2282, 0, 0, 23226, 0, 30348, 0, 0, 9552, 0, -3740, 0, 0, 14448, 0, -2816, 0, 0, 15092, 0, 11952, 0, 0, 1100, 0, -20460, 0, 0, -15242, 0, 26292, 0, 0, -14520, 0, -6570, 0, 0, 2964, 0, -22560, 0, 0, -27426, 0, -1974, 0, 0, -65408, 0, 3472, 0, 0, -26004, 0, -982, 0, 0, -26736, 0, 6204, 0, 0, -5208, 0, 3606, 0, 0, -30528, 0, 33536, 0, 0, 15870, 0, -14406, 0, 0, 1190, 0, -2588, 0, 0, 22010, 0, -4986, 0, 0, 35816, 0, 30548, 0, 0, -16128, 0, 748, 0, 0, 32486, 0, -54312, 0, 0, -5530, 0, 29568, 0, 0, -5488, 0, -30750, 0, 0, 21462, 0, 27974, 0, 0, 436, 0, 4284, 0, 0, -20328, 0, -42240, 0, 0, 33320, 0, 19228, 0, 0, 23508, 0, -3612, 0, 0, -1372, 0, -24984, 0, 0, 3860, 0, -21318, 0, 0, 134, 0, -14652, 0, 0, 21462, 0, -34188, 0, 0, 18048, 0, -6516, 0, 0, -1530, 0, 67452, 0, 0, 15620, 0, -15190, 0, 0, -54660, 0, 1256, 0, 0, -37668, 0, -15232, 0, 0, -182, 0, -29838, 0, 0, -12438, 0, -14116, 0, 0, -34584, 0, 19052, 0, 0, 70812, 0, 32384, 0, 0, -18354, 0, -39198, 0, 0, -19306, 0, 33712, 0, 0, 13440, 0, 3368, 0, 0, -23028, 0, -16536, 0, 0, 436, 0, 23100, 0, 0, -47740, 0, -1898, 0, 0, 8160, 0, -59136, 0, 0, -28972, 0, 7700, 0, 0, -72562, 0, -2460, 0, 0, -12648, 0, 23944, 0, 0, 48432, 0, 9142, 0, 0, -2068, 0, -29604, 0, 0, 4840, 0, 4998, 0, 0, -42624, 0, -60676, 0, 0, -20622, 0, 37204, 0, 0, 21086, 0, 10360, 0, 0, -30912, 0, -49104, 0, 0, 8414, 0, 45440, 0, 0, -45858, 0, 6264, 0, 0, 23628, 0, 37030, 0, 0, 2156, 0, 26664, 0, 0, 95338, 0, 16880, 0, 0, 51594, 0, 45570, 0, 0, -11634, 0, 31080, 0, 0, 55424, 0, 54588, 0, 0, -28622, 0, -16896, 0, 0, 15708, 0, 648, 0, 0, 24514, 0, -66528, 0, 0, 1964, 0, -116130, 0, 0, 23686, 0, -8772, 0, 0, -53484, 0, -9900, 0, 0, 36486, 0, 50078, 0, 0, 57918, 0, 43428, 0, 0, 31152, 0, -4734, 0, 0, -67890, 0, -1540, 0, 0, -98560, 0, 24492, 0, 0, -2480, 0, -71898, 0, 0, 41486, 0, 54852, 0, 0, -34056, 0, -22554, 0, 0, -25676, 0, -6016, 0, 0, 20022, 0, 81060, 0, 0, -49742, 0, -40524, 0, 0, 85248, 0, -70, 0, 0, -442, 0, 22484, 0, 0, 11396, 0, -86286, 0, 0, -65844, 0, 74044, 0, 0, -142848, 0, -16898, 0, 0, 70664, 0, 45330, 0, 0, 63504, 0, 43956, 0, 0, 35960, 0, -127540, 0, 0, 26376, 0, 6272, 0, 0, 62166, 0, -728, 0, 0, -7700, 0, -1716, 0, 0, -69622, 0, -81840, 0, 0, -46860, 0, -29736, 0, 0, 40546, 0, -80696, 0, 0, 3150, 0, 84732, 0, 0, -49152, 0, 118844, 0, 0, 32340, 0, 6118, 0, 0, -91462, 0, -10980, 0, 0, 2482, 0, 9072, 0, 0, -7172, 0, 107392, 0, 0, 70728, 0, -72996, 0, 0, 61070, 0, 22202, 0, 0, 38682, 0, 9156, 0, 0, 24200, 0, -56048, 0, 0, -37284, 0, -5652, 0, 0, -18908, 0, 19040, 0, 0, 19712, 0, 33954, 0, 0, 98268, 0, -13818, 0, 0, 45504, 0, -67452, 0, 0, -5740, 0, 1358, 0, 0, -47286, 0, -99072, 0, 0, 63802, 0, 113008, 0, 0, 86196, 0, -11244, 0, 0, -82632, 0, 18036, 0, 0, -116, 0, 101640, 0, 0, 11662, 0, -36394, 0, 0, -94692, 0, 50410, 0, 0, 65408, 0, -21604, 0, 0, 77028, 0, -15810, 0, 0, -56760, 0, -90890, 0, 0, 6204, 0, 10304, 0, 0, 26040, 0]