# Trace form for 135.4.a.c, downloaded from the LMFDB on 02 September 2025.
[0, 1, 1, 0, -7, 5, 0, -6, -15, 0, 5, -47, 0, -5, -6, 0, 41, -131, 0, -56, -35, 0, -47, 3, 0, 25, -5, 0, 42, -157, 0, 225, 161, 0, -131, -30, 0, -70, -56, 0, -75, 140, 0, 397, 329, 0, 3, -347, 0, -307, 25, 0, 35, 4, 0, -235, 90, 0, -157, 748, 0, -338, 225, 0, -167, -25, 0, 492, 917, 0, -30, 32, 0, 970, -70, 0, 392, 282, 0, -1257, 205, 0, 140, -102, 0, -655, 397, 0, 705, -1488, 0, 30, -21, 0, -347, -280, 0, 974, -307, 0, -175, -1335, 0, 686, 75, 0, 4, -1098, 0, -700, -235, 0, -246, -1055, 0, 15, 1099, 0, 748, 786, 0, 878, -338, 0, -1575, 125, 0, -1646, -1455, 0, -25, -1833, 0, 336, 492, 0, 1965, 1098, 0, -1042, 210, 0, 32, 235, 0, -785, 970, 0, 490, -2941, 0, 511, 840, 0, 282, 1125, 0, -571, -1257, 0, 805, -18, 0, 713, -980, 0, -102, 1596, 0, -2172, -655, 0, -2779, 4134, 0, -150, -1927, 0, -1488, 1828, 0, -520, 30, 0, -45, -350, 0, 6157, 2429, 0, -280, 4826, 0, 1670, 974, 0, 2149, -1380, 0, 4357, -375, 0, -1335, 942, 0, 700, 686, 0, -205, 2632, 0, -4162, -28, 0, -1098, 1985, 0, -1350, -700, 0, 1645, 655, 0, -5956, -966, 0, -1055, 4940, 0, 4344, 15, 0, 2355, -5202, 0, -1735, -5236, 0, 786, 1546, 0, -3659, 878, 0, 2366, -1535, 0, 280, -3375, 0, 125, 1221, 0, -141, -1646, 0, -119, -6255, 0, 420, 175, 0, -1833, 836, 0, 20, 336, 0, -3444, -2231, 0, -4832, -5371, 0, 1098, -1175, 0, 6450, -1042, 0, 450, -1050, 0, -1584, -224, 0, 235, -840, 0, 12248, -785, 0, -6790, 6594, 0, 3740, 1050, 0, -2941, -15, 0, -2382, 511, 0, -2296, -1690, 0, -4343, -1974, 0, 1125, -2124, 0, -7516, -571, 0, 8799, -6880, 0, 7379, -835, 0, -18, 7336, 0, -125, 713, 0, -2100, 2082, 0, -4986, 714, 0, 1596, 2460, 0, 904, -2172, 0, 4585, -10575, 0, 3900, -5955, 0, 4134, 8860, 0, -4454, -150, 0, -7567, -8781, 0, 160, 10416, 0, 1828, 2928, 0, -3723, -520, 0, -210, 4850, 0, 9102, 123, 0, -350, -24, 0, -8183, 6157, 0, 5205, 785, 0, 6136, 1960, 0, 4826, 5643, 0, 1410, 1670, 0, -6818, 8991, 0, -393, 4605, 0, -1380, -6285, 0, -12449, 4357, 0, 1025, 8076, 0, -1125, 9345, 0, 942, 3290, 0, -2833, 700, 0, -4802, -4488, 0, -510, -805, 0, 2632, -4777, 0, -6464, -4162, 0, -60, -3275, 0, 2028, 7686, 0, 1985, 10680, 0, 11566, -1350, 0, 4900, -168, 0, -1448, 3525, 0, 655, -2376, 0, -7440, -5956, 0, 1002, -14894, 0, -6580, 7385, 0, 4940, 150, 0, 16204, 4344, 0, -105, -5082, 0, -10326, -6437, 0, -5202, 4184, 0, -2952, -1735, 0, -11220, -18659, 0, -1400, -5502, 0, 1546, -15576, 0, 350, -3659, 0, -6146, 4870, 0, 10220, 5070, 0, -1535, -2692, 0, 20567, 280, 0, 9225, -192, 0, 5764, -875, 0, 1221, -2437, 0, -6675, -141, 0, 11522, -5849, 0, -5820, 11521, 0, -6255, 3430, 0, 16309, 420, 0, 375, -17032, 0, 4147, 12831, 0, 836, -29475, 0, -12158, 20, 0, -2352, -700, 0, -5490, -7380, 0, -2231, 14429, 0, -3942, -4832, 0, -21091, -3500, 0, -13751, -7686, 0, -1175, 8792, 0, 7542, 6450, 0, 7294, 7944, 0, -1985, -1230, 0, -1050, -6702, 0, -5275, -1584, 0, -480, -2760, 0, 8930, -1645, 0, -840, 75, 0, 6944, 12248, 0, 5495, 612, 0, -188, -14550, 0, 6594, -4206, 0, -12600, 3740, 0, -2870, -6571, 0, 3930, 20587, 0, -15, -9490, 0, 11861, -2382, 0, -3577, 4390, 0, -518, -9016, 0, -1690, 1735, 0, 15163, -4343, 0, -4230, 19011, 0, -7906, -7875, 0, -2124, 8928, 0, 625, -7516, 0, 3997, 9170, 0, -3416, 18855, 0, -6880, -8230, 0, 1535, 7379, 0, -7275, 4830, 0, 12549, 126, 0, 7336, 8164, 0, -35156, -125, 0, -4991, 23768, 0, -9165, 5740, 0, 2082, 21472, 0, 12982, -4986, 0, 1530, 1680, 0, -471, -11172, 0, 2460, 15886, 0, -6006, 904, 0, 15204, 1164, 0, -5844, 9825, 0, -10575, 26496, 0, 5490, 3900, 0, 16277, -20, 0, 17110, -28938, 0, 8860, -5210, 0, -18340, -4454, 0, 1050, 30251, 0, 3920, 7849, 0, -8781, 8010, 0, 18820, 160, 0, 22320, 675, 0, 1175, -12796, 0, 2928, 31890, 0, -4116, -3723, 0, 3640, -3925, 0, -11452, -450, 0, 4850, -52007, 0, 7094, 9102, 0, 483, -23124, 0, -3200, 2450, 0, -24, -20831, 0, -14705, -8183, 0, -43099, 6588, 0, -15605, -14227, 0, 785, 2555, 0, 21349, 6136, 0, 4200, 3702, 0, 4200, -33782, 0, 5643, -3740, 0, -1393, 1410, 0, -11690, -6906, 0, 5625, -14610, 0, 8991, -7840, 0, -1504, -393, 0, -12587, -2855, 0, 30493, 9660, 0, -6285, 6330, 0, 1690, -12449, 0, -30499, 33488, 0, 45457, 4025, 0, 8076, -45590, 0, -90, -1125, 0, 20025, -15304, 0, -40122, -6594, 0, 3290, 3565, 0, -22232, -2833, 0, -4900, 25098, 0, -43492, -10290, 0, -4488, 11206, 0, -23964, -510, 0, 835, 40217, 0, 7980, -18424, 0, -4777, -34606, 0, 260, -6464, 0, 29134, -10860, 0, -5268, 164, 0, -3275, -210, 0, -18477, 2028, 0, 16470, -41342, 0, 21898, -13895, 0, 10680, -18487, 0, 20670, 11566, 0, 9450, 59079, 0, -2460, 10500, 0, -168, -750, 0, 7593, -1448, 0, -9635, -3038, 0, -16732, -4585, 0, -2376, -8031, 0, 9876, -7440, 0, 41692, 19432, 0, 9140, 8730, 0, -14894, -35325, 0, -524, -6580, 0, 15825, -2600, 0, -38487, -34580, 0, 150, -5120, 0, 4794, 16204, 0, -30408, 10998, 0, 28075, -225, 0, -5082, -160, 0, -1750, -10326, 0, -25277, -12856, 0, 17192, 36414, 0, 4184, 30785, 0, -1374, -2952, 0, 12145, 8543, 0, 420, 30668, 0, -18659, 13506, 0, -4850, -1400, 0, -11790, 21775, 0, 24130, -10822, 0, -15576, -6588, 0, 20834, 350, 0, 25613, 8350, 0, 3854, -13170, 0, 4870, 12933, 0, 6252, 10220, 0, -13858, 17521, 0, 69936, 10745, 0, -2692, -12573, 0, -6900, 20567, 0, -1960, 1191, 0, 8945, 36225, 0, -192, 21785, 0, -58179, 5764, 0, -1875]