# Trace form for 15.3, downloaded from the LMFDB on 25 April 2024.
[0, 8, -4, -4, -8, -4, -8, -8, 12, 16, 24, 16, 28, 0, 0, -16, -48, -40, -52, -48, -36, 0, 40, 56, 72, 56, 88, 44, 56, 0, -44, -48, -76, -56, -8, -40, -40, 32, -96, -64, 8, -56, -48, 24, 0, 76, -8, 128, 124, 72, 164, 136, -112, 56, 16, -144, 0, -64, -152, 0, 16, 128, 88, 24, -56, -112, -16, -152, -104, -264, -120, -272, -156, -72, 0, 44, 448, 88, 280, 472, 164, -32, 408, -16, -24, 72, -224, 56, 72, 0, -16, -208, 104, 0, -248, 144, -352, -352, -188, 80, -536, 136, 8, -256, 0, 120, -408, 128, 28, 32, -56, 280, 112, 224, 112, 440, 264, 64, 536, 0, 12, 240, -416, -352, 24, -364, 288, 48, 132, -64, 432, 160, 80, -96, 0, -376, 88, -304, -312, -688, 40, 184, -288, -56, 128, 8, 424, 4, -464, 0, -104, -784, -144, -40, -120, -200, -344, 464, 120, 496, 480, 64, 116, 1112, 0, 64, 88, 104, -240, 512, -72, -464, 440, 224, 280, 400, -368, 352, 24, 0, 164, -368, -152, -112, -296, -40, 0, -416, 112, -264, -864, 16, 284, -784, 0, -328, 64, -328, 40, -768, 108, -144, -520, -240, -232, -440, 496, 72, -544, 0, 120, 1552, 344, 560, 1112, 464, 552, 344, 144, 296, 344, 496, -568, 440, 0, 496, -312, 464, 208, -128, -440, -48, -288, -88, -640, -552, -1632, -432, -32, 0, 16, -496, 492, 236, 544, 468, -248, 272, -120, -504, 744, -1472, -144, 32, 0, -392, 168, -112, -56, 192, -88, -344, 224, -1240, -120, -480, 240, -912, 248, 0, 76, 1184, 488, 552, -88, 496, 1368, -320, 456, 72, -360, 1432, 176, -440, 0, 896, -48, 88, 52, 352, 72, 856, -928, -280, -424, -824, 600, -32, -8, 0, -164, -688, 712, 384, -144, 448, -248, 456, 248, -104, -320, -464, 648, -688, 0, -360, -1344, -1072, -352, 280, -1068, -1896, -112, 192, -328, -432, -1568, -224, 600, 0, 56, 336, -352, 224, -88, 752, -240, 1800, -268, 1096, 1048, 368, 368, 984, 0, 360, 808, 320, -488, 192, -240, 776, -192, 488, -40, 832, 1752, 432, -40, 0, -552, -32, -32, -692, 192, -1000, 496, -560, -184, 1120, 1280, -176, -240, -576, 0, -1096, 184, -408, -384, -2208, 336, -1264, -720, 320, 24, -400, -920, -8, -32, 0, 448, -2048, -468, -384, -1168, -120, -464, 576, 1032, -48, -216, -200, 888, -304, 0, -44, 720, -392, -24, 632, -200, 72, -120, 600, 552, 1592, 1384, 1000, 224, 0, 0, 2240, -1112, -496, 1264, -1048, 1936, -1216, 592, -320, -264, 1984, -980, 72, 0, 272, 128, -480, -392, -1248, -312, 488, 160, -352, -64, 24, 448, 584, 416, 0, 44, -352, -592, -88, -528, 520, -1488, 792, -984, 616, -680, -392, 144, 1144, 0, -120, -3176, 1808, -208, -288, 672, -488, 864, -752, 792, 144, -1024, -88, -2416, 0, -460, -1968, 640, 48, -928, 272, -1328, -2872, 816, -944, -1048, -1040, -128, 1504, 0, 56, 208, -272, 1056, 1872, 684, 1800, 3752, -832, 720, 1616, 608, -732, 2688, 0, 152, 2192, 92, -304, 1832, -376, 208, 1312, -472, -984, -336, -536, 176, -696, 0, -360, 1640, -272, 752, 1952, -680, 512, -144, 592, -960, -712, -1248, -1760, -1456, 0, 1096, -768, 520, 640, -1064, -576, -1248, -168, -1472, -2288, -416, -576, -600, -1416, 0, 520, -736, 680, 984, 512, 680, 1088, -2344, 944, -472, -2568, 688, 912, -2496, 0, -896, -1136, 904, 704, -1680, 440, 1264, -3352, -1364, 856, -1448, 304, -1792, -248, 0, 328, 5080, 1808, 836, -16, 3384, 2808, 1152, 1952, 440, 480, -744, 1112, 2432, 0, 1512, 1984, 208, -648, 1744, -660, -2376, 288, -960, -840, 272, -1808, 232, -144, 0, 80, 0, 296, 1064, -208, 1080, -2328, -1120, -840, 1216, 656, -1448, -32, -800, 0, 120, -1744, 120, 280, 1752, -1768, -712, 800, -192, -2240, 88, 424, -1824, -296, 0, 536, 1200, 80, 132, -40, -1088, -480, 744, -160, 512, -1192, -296, -80, 928, 0, -664, -784, -2288, -656, -3416, -240, -392, 1680, -1496, -344, -1752, -496, 792, -992, 0, 284, 232, 992, -544, 1992, 456, -280, -584, 2000, 1184, 4904, 1440, 1080, 392, 0, -2520, 2144, -1552, -216, 352, -24, 552, -432, 2688, 1416, 200, 280, 760, 1744, 0, 832, -3224, -1232, -1216, -1488, -272, 1488, 936, -368, 240, 528, 3600, 1168, 336, 0, -796, -1168, 428, -1624, -736, 1128, 1472, 824, 120, 1936, -120, 1600, 1744, -16, 0, -1568, -472, -656, 104, -1728, -2960, 1424, 248, 752, -456, -808, 3016, -1632, -1600, 0, 1516, -4816, -1120, -2280, -2240, -2168, 336, -3696, -840, 240, 1552, -2408, 808, -816, 0, -1048, -4520, -1896, -1492, 992, 120, -4296, 3336, -880, -640, 1080, 72, -552, 4656, 0, -152, 32, 208, 728, 984, -376, 48, 2376, 40, 2936, 3080, 1264, -96, 592, 0, 640, -128, 608, 480, 832, 1100, 1848, 1304, 2032, 96, -640, -1792, 2848, 1992, 0, -16, 3456, 960, -904, -320, 1856, -520, -1456, 1776, 192, 1720, 952, 1104, 1136, 0, -56, -1440, -1360, 72, -368, 448, -1992, -4080, -1112, 752, -2680, -48, -576, -5216, 0, 240, 2296, -1064, 912, -2176, 36, -440, -840, 296, 576, -1592, 2224, -2192, -128, 0, -656, 1624, 248, -952, -1248, -1744, 1872, 1088, -2968, -2272, 152, -1688, -2516, -248, 0, 808, 4064, 576, 272, -1616, -760, 40, 832, -1320, -4464, 1864, 1192, 1084, -3736, 0, -1016, 3736, -712, 360, 312, -2784, -304, -1872, 48, 1000, 40, -1440, -432, 2552, 0, -2176, 2112, -424, 672, 3304, 2560, 1264, 1816, 2224, 1200, -640, -1952, -80, 1280, 0, 4352, 384, 808, 584, 3432, 1320, 704, -2248, 2176, -120, -2800, -3104, 872, 1760, 0, 960, -3520, 3512, 1584, 2712, 2512, -1272, 1600, 848, 1576, -2408, -2696, 1064, -2608, 0, 240, 720, 656, 432, -2368, -1104, -2776, -720, -1552, -1568, 256, 1152, -1544, -3600, 0, 488, -6104, 3568, 3984, 2344, 2552, 1152, 2888, -900, -1808, -1072, -1856, -452, 2544, 0, -1288, -3568, 2600, 152, -960, 2332, 176, -1536, -2704, -1680, -1864, 528, -2208, -2864, 0, 664, -3344, 808, 2592, 3360, -2808, 1992, -2816, -3456, -704, -2632]