# Trace form for 425.4.c.b, downloaded from the LMFDB on 15 June 2026.
[0, 2, 0, 16, 14, 0, 0, 28, 0, 74, 0, 0, 112, 0, 0, 0, 82, -136, 0, -160, 0, 224, -40, 236, 0, 0, -116, 160, 196, 0, 0, 0, 0, 0, 34, 0, 518, 268, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 656, -294, 0, -1088, 0, 0, 0, 0, 0, -1280, 252, 360, 0, 0, -140, 1036, 334, 0, -320, 0, -952, 1888, 0, 0, 0, 1656, 0, 0, -1120, 0, -928, 0, 0, -718, 200, 0, 1568, 0, 544, 0, -600, -2980, 0, 0, 1652, 0, 928, 0, 0, -2752, 0, 0, 0, 1284, 272, 0, -1740, 0, 1284, 1128, 1120, 0, 0, 2144, 1148, 2776, 0, 0, 0, 0, 0, -1904, 0, 1862, -220, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2240, 1848, 0, 510, 0, 0, 0, 0, 0, -180, -2320, 3034, 0, 0, -2352, 1876, -1740, 0, -2736, 0, -5032, -560, 0, 0, 0, -2668, 0, 0, 3304, 0, 2096, 0, 0, 1104, -2532, 0, -2334, 0, -5920, 0, -724, 2016, 0, 0, 2880, 0, -3440, 0, 0, -1624, 0, 0, 0, -1120, 680, 0, 2240, 0, -8416, 2672, -4224, 0, 0, -2058, 4148, -1480, 0, 0, 0, 0, 0, -7616, 0, -2496, 8732, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2428, 13248, 0, 1972, 0, 0, 0, 0, 0, -12192, -8960, -5300, 0, 0, 3780, 8456, -4292, 0, 2520, 0, 476, 160, 0, 0, 0, -10064, 0, 0, 1600, 0, -2100, 0, 0, 624, 7252, 0, -2272, 0, -238, 0, 4352, 3752, 0, 0, 5240, 0, -4800, 0, 0, -23840, 0, 0, 0, 10224, -5576, 0, -3772, 0, 13216, 6308, -8, 0, 0, 9404, 7424, 2776, 0, 0, 0, 0, 0, 8670, 0, -22016, 11592, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10272, -6560, 0, 1258, 0, 0, 0, 0, 0, -13920, -2944, 6748, 0, 0, -3052, 10272, 5040, 0, 9024, 0, 10880, -5026, 0, 0, 0, 3000, 0, 0, -5416, 0, 9916, 0, 0, 9184, -21032, 0, 22208, 0, -2800, 0, -13720, 8160, 0, 0, 5408, 0, -19340, 0, 0, -6440, 0, 0, 0, -20860, -15232, 0, -4480, 0, -918, -3820, 14896, 0, 0, -1760, 13188, 9676, 0, 0, 0, 0, 0, 2720, 0, 13920, 14616, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -19264, 15900, 0, -16048, 0, 0, 0, 0, 0, 25268, 8932, -17920, 0, 0, 14784, -8120, 8988, 0, 3528, 0, 4080, -5900, 0, 0, 0, 5040, 0, 0, -18676, 0, 3200, 0, 0, 27364, -5080, 0, 19260, 0, -1440, 0, 7896, -18560, 0, 0, 6560, 0, -1960, 0, 0, -18880, 0, 0, 0, -10878, 7888, 0, 15008, 0, 7664, -13920, 4676, 0, 0, 4000, 19432, -21888, 0, 0, 0, 0, 0, -10880, 0, 16924, -4480, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10880, -21344, 0, -13328, 0, 0, 0, 0, 0, -11960, 26432, 13034, 0, 0, -5852, -3300, 16768, 0, -30256, 0, -4284, 9280, 0, 0, 0, 8832, 0, 0, -20256, 0, -17124, 0, 0, -4720, -18672, 0, -33900, 0, 23184, 0, -12800, 868, 0, 0, 18560, 0, -5792, 0, 0, 9324, 0, 0, 0, 3504, 2380, 0, 3514, 0, 13320, -15680, 11600, 0, 0, 27720, -27520, 2412, 0, 0, 0, 0, 0, 5474, 0, -12992, 44088, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -5180, 31552, 0, 5440, 0, 0, 0, 0, 0, -10052, -2700, 14540, 0, 0, -16240, -67328, 2800, 0, 12358, 0, -4624, -33792, 0, 0, 0, 25680, 0, 0, -14636, 0, -16464, 0, 0, 33184, 10988, 0, -3200, 0, -12180, 0, -13688, -27200, 0, 0, 7616, 0, -19152, 0, 0, 43708, 0, 0, 0, 53824, -35224, 0, -432, 0, -8400, 1608, -19968, 0, 0, 18880, 14340, -41720, 0, 0, 0, 0, 0, -18224, 0, -48976, -40020, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 21856, 23128, 0, -2720, 0, 0, 0, 0, 0, 14672, -17564, -19424, 0, 0, 61272, 12992, -12040, 0, 12684, 0, 15776, 16560, 0, 0, 0, -17724, 0, 0, -4400, 0, -37264, 0, 0, -16338, -42372, 0, -38528, 0, -97536, 0, 30816, -41440, 0, 0, -42400, 0, 74472, 0, 0, -5068, 0, 0, 0, 30240, -3400, 0, 67648, 0, -29596, -9280, -21440, 0, 0, -15876, 17976, 20160, 0, 0, 0, 0, 0, 3808, 0, -24080, 1280, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -24360, -61126, 0, -9248, 0, 0, 0, 0, 0, 36960, 7400, 68960, 0, 0, 17976, -14124, -16800, 0, -8516, 0, 4760, 15792, 0, 0, 0, 4992, 0, 0, 15680, 0, -17968, 0, 0, 45804, -18176, 0, -58912, 0, 5824, 0, -1904, 45380, 0, 0, -29568, 0, 20128, 0, 0, 30016, 0, 0, 0, -3600, 4012, 0, -12054, 0, 41920, 16968, 29036, 0, 0, 38864, -22200, -12760, 0, 0, 0, 0, 0, -15776, 0, -110260, -21480, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 81792, -5360, 0, -44608, 0, 0, 0, 0, 0, -30176, 67916, -37440, 0, 0, -16872, 61124, 16420, 0, 50464, 0, 19992, -64, 0, 0, 0, -11888, 0, 0, 17026, 0, 75232, 0, 0, 34336, 26068, 0, 22208, 0, 31624, 0, 41676, -3080, 0, 0, 5728, 0, 23960, 0, 0, -820, 0, 0, 0, -5116, 69360, 0, -53360, 0, 107184, -36420, -101824, 0, 0, 92736, -17012, 11892, 0, 0, 0, 0, 0, 13804, 0, 21704, -28172, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6568, 17640, 0, -21828, 0, 0, 0, 0, 0, 104728, -85344, 47508, 0, 0, -52480, 22080, -8212, 0, -37100, 0, 2720, -90960, 0, 0, 0, -10440, 0, 0, 7984, 0, 40572, 0, 0, 23520, 59192, 0, 6328, 0, -64380, 0, 25872, -23552, 0, 0, 53984, 0, 14760, 0, 0, 2568, 0, 0, 0, -24416, 7140, 0, 47508, 0, 1120, 40320, 9732, 0, 0, 49782, -15544, 41736, 0, 0, 0, 0, 0, 87040, 0, 17544, -70448, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 95116, 24000, 0, -17136, 0, 0, 0, 0, 0, -22540, -43328, -2520, 0, 0, -90572, -37368, 21440, 0]