# Trace form for 15.3.c, downloaded from the LMFDB on 16 April 2024.
[0, 2, 0, -4, -2, 0, 10, -12, 0, -2, 10, 0, 4, 32, 0, -10, -38, 0, -40, -4, 0, 24, 20, 0, 30, -10, 0, 44, 12, 0, -20, -36, 0, -20, 20, 0, 2, -32, 0, -64, 30, 0, -60, 32, 0, 40, 60, 0, 76, -26, 0, -20, -32, 0, 70, -20, 0, 8, -140, 0, 10, 164, 0, 12, -82, 0, -40, 48, 0, -60, -60, 0, -120, -148, 0, 20, 4, 0, 160, 276, 0, -158, 280, 0, -24, -20, 0, 140, 60, 0, -10, -192, 0, 72, -220, 0, -70, -332, 0, 80, 10, 0, -40, 52, 0, 60, 20, 0, -44, 76, 0, 64, 228, 0, -20, -60, 0, -32, 20, 0, -60, 202, 0, -280, 36, 0, 240, -52, 0, -64, 160, 0, 20, 24, 0, -70, 60, 0, -120, -164, 0, 220, -560, 0, 38, 140, 0, 52, 32, 0, -50, -316, 0, 80, -120, 0, 64, 328, 0, -20, -70, 0, 80, 472, 0, 40, -420, 0, -180, 174, 0, 4, -32, 0, 280, 60, 0, -20, 480, 0, -40, 4, 0, -328, 180, 0, -180, -40, 0, -264, -20, 0, 164, -428, 0, -160, 26, 0, -20, -484, 0, -96, 300, 0, 20, -280, 0, 240, -608, 0, 120, 4, 0, 560, 900, 0, 210, 216, 0, 296, 20, 0, -160, 172, 0, 10, 140, 0, -8, -564, 0, 120, -420, 0, -640, 220, 0, -552, -120, 0, 190, 524, 0, 236, -164, 0, -560, -64, 0, 420, -50, 0, -12, -120, 0, 40, 362, 0, 160, 192, 0, -560, 60, 0, -120, -20, 0, -480, -48, 0, 220, 164, 0, 384, -540, 0, 60, 48, 0, 36, -180, 0, 440, -288, 0, 20, 320, 0, 280, 538, 0, 664, 148, 0, -130, -20, 0, -140, -500, 0, -20, -192, 0, -300, 76, 0, -20, 368, 0, -104, -180, 0, 480, -788, 0, -240, -276, 0, -40, 280, 0, -900, -360, 0, 158, -160, 0, -152, 840, 0, -100, -396, 0, 32, 420, 0, -456, 788, 0, -140, 20, 0, 80, 744, 0, 120, 60, 0, -140, -724, 0, 704, -140, 0, -40, 560, 0, 120, 860, 0, -30, -714, 0, -404, 192, 0, 820, -372, 0, 1120, -160, 0, -72, -88, 0, 50, -660, 0, -420, -724, 0, 104, -920, 0, -690, 120, 0, -32, 332, 0, -320, -120, 0, -60, -420, 0, -80, 248, 0, -48, 190, 0, 240, -576, 0, -80, 840, 0, -120, 916, 0, 540, -52, 0, -60, 420, 0, 328, -40, 0, -60, 1124, 0, -880, 60, 0, 1120, -984, 0, -320, 160, 0, -836, 452, 0, -280, -76, 0, -740, -4, 0, 26, 320, 0, -64, -480, 0, 500, 492, 0, 200, -560, 0, 632, -260, 0, -60, 668, 0, -140, 60, 0, 240, 732, 0, 180, -1620, 0, 32, -288, 0, -656, 60, 0, 1380, 20, 0, 80, -1120, 0, 140, -512, 0, 360, -202, 0, -950, -1772, 0, -944, -130, 0, 280, 280, 0, 20, 684, 0, 840, -4, 0, -420, 2100, 0, 720, -300, 0, -348, 52, 0, -100, 888, 0, -88, 900, 0, 64, 440, 0, -60, 480, 0, 140, 752, 0, -120, -260, 0, 380, 698, 0, 80, -24, 0, -960, -900, 0, -860, -1660, 0, 70, -396, 0, -8, -140, 0, -960, 2048, 0, -164, -100, 0, -360, -1656, 0, 160, 164, 0, 720, 512, 0, 80, -840, 0, -220, -140, 0, 948, -1680, 0, 40, 1924, 0, 920, -1680, 0, 82, -1772, 0, 856, -140, 0, -1660, -40, 0, 640, 2100, 0, -52, 72, 0, 420, 608, 0, 440, 120, 0, 968, 960, 0, -150, 4, 0, -48, 316, 0, -600, -1012, 0, -840, 820, 0, -80, 1112, 0, 560, -360, 0, 260, -1604, 0, -420, 720, 0, 1216, 50, 0, 40, -328, 0, 60, -1396, 0, -8, 2020, 0, 20, -416, 0, -2240, -690, 0, -1800, 312, 0, -160, -40, 0, 240, -40, 0, -432, -472, 0, 380, -60, 0, 148, 1320, 0, -40, 1364, 0, -320, -1260, 0, 640, 840, 0, -344, 240, 0, 420, -1788, 0, -220, -174, 0, -280, 1992, 0, 260, -360, 0, -4, 540, 0, 1128, -608, 0, -300, -1516, 0, -480, -820, 0, 840, -560, 0, 1620, -60, 0, 1120, 64, 0, -440, -1380, 0, 20, -4, 0, -276, 1440, 0, 240, -320, 0, 1120, 1320, 0, -760, -312, 0, -1048, -4, 0, 1010, 1348, 0, 478, -740, 0, 328, 1312, 0, 130, -420, 0, -280, 1196, 0, 128, -120, 0, -540, 500, 0, -1680, 40, 0, 100, -676, 0, -2100, -2240, 0, 264, -1312, 0, 240, -60, 0, -260, -456, 0, 20, -1620, 0, -724, -164, 0, -900, 428, 0, -640, 180, 0, -384, 1980, 0, 160, 1120, 0, 980, 494, 0, -120, -1072, 0, 260, 1380, 0, -60, 2624, 0, 40, 484, 0, 120, 440, 0, 1920, -1200, 0, 96, 360, 0, 1660, 900, 0, -790, -1116, 0, -328, -320, 0, 380, -64, 0, 192, 280, 0, 1080, -428, 0, 100, -120, 0, -240, 636, 0, -96, -1312, 0, -820, -420, 0, -792, -2660, 0, 360, -278, 0, 840, -4, 0, 220, -1212, 0, 576, -100, 0, -560, -1368, 0, -80, 2700, 0, -640, -1684, 0, 1680, 1560, 0, -490, -60, 0, -1076, -216, 0, 700, 768, 0, 332, -120, 0, -296, -312, 0, -2100, 380, 0, 520, -1928, 0, 40, 900, 0, -480, 312, 0, -160, -172, 0, 1000, -860, 0, -960, 1400, 0, -10, -40, 0, 384, 420, 0, -1580, 2568, 0, 1200, -960, 0, -152, 840, 0, -820, 564, 0, 440, 836, 0, -736, 420, 0, -120, 160, 0, -52, 980, 0, 360, 52, 0, -720, 2020, 0, -1920, 1068, 0, 1576, -220, 0, 1640, -1680, 0, 420, 320, 0, 552, -2368, 0, -2020, -360, 0, -20, 920, 0, -560, -2640, 0, 410, -1274, 0, 3600, -524, 0, 720, 1348, 0, 40, -1660, 0, -236, 984, 0, 320, -3116, 0, 2360, -960, 0, -76, -1820, 0, -1680, 420, 0, -1320, 64, 0, 400, 1924, 0, 792, 3360, 0, -420, 48, 0, -704, -150]