# Trace form for 1408.2, downloaded from the LMFDB on 16 May 2024.
[0, 33552, -128, -96, -128, -128, -128, -96, -128, -160, -128, -108, -288, -128, -128, -88, -128, -192, -128, -96, -128, -104, -144, -200, -128, -128, -128, -48, -128, -96, -128, -56, -128, -256, -288, -48, -128, -96, -128, -48, -128, -128, -128, -80, -144, -296, -128, -88, -128, -248, -224, -104, -320, -192, -384, -140, -512, -288, -416, -160, -512, -256, -320, -216, -512, -256, -336, -296, -320, -232, -512, -160, -416, -288, -352, -120, -384, -148, -480, -88, -224, -200, -128, -16, -128, -144, -128, 16, -144, -232, -128, 0, -128, -32, -128, 24, -128, -128, -128, -56, -288, -32, -128, 0, -128, -88, -128, -64, 96, -64, -32, -528, 96, -192, 320, -464, 128, -32, 320, -440, 544, -212, -64, -896, 96, -88, 480, -472, 320, -512, 256, -496, 192, -232, 96, -824, 96, -192, 544, -432, 320, -112, 128, -264, 160, -128, 96, -344, 96, -32, 96, -48, -128, -72, -144, -144, -128, 0, -128, 56, -128, -240, -128, 64, -128, -156, -416, -32, -448, -128, -608, -80, -512, -224, -640, -128, -544, -560, -512, -176, -928, -320, -864, -208, -512, -512, -1120, -128, -960, -416, -896, -344, -832, -384, -832, -320, -896, -416, -480, -280, -1120, -416, -512, -192, -864, -248, -928, -88, -512, -280, -1088, -112, -640, -136, -512, -64, -608, -104, -448, 80, -208, -368, -128, 8, -128, -144, 32, 160, 128, -256, 128, 120, 224, 32, 512, 472, 128, -528, 384, 360, 448, -64, 112, 400, 640, -568, 384, 560, 384, 96, 512, 256, 768, -404, 288, 744, 384, -320, 448, 560, 256, -696, 896, 352, 176, -72, 384, 656, 384, -480, 640, 488, 384, -48, 448, 180, 224, -480, 128, 424, 512, 160, 384, 432, 128, -360, -80, 96, -384, -192, -448, -24, -608, -96, -960, 32, -512, -208, -768, -32, -1184, -448, -736, -88, -672, -192, -1280, -128, -496, -552, -640, -48, -1344, -384, -992, -920, -512, -480, -1408, -528, -1024, -1088, -864, -440, -1408, -1016, -512, -912, -992, -1112, -752, -1112, -640, -1192, -832, -968, -1280, -1216, -672, -952, -736, -992, -1344, -952, -608, -1688, -448, -960, -608, -1088, 0, -1856, -80, -1344, 128, -1968, 512, -1088, 320, -1728, 864, -1312, 832, -1492, 608, -728, 992, -1528, 704, -1360, 768, -2240, 672, -768, 400, -2384, 768, -832, 864, -1504, 1440, -448, 256, -1672, 1088, -1128, 864, -1496, 320, -128, 1248, -1504, 1056, -96, 768, -1448, 400, -128, 672, -1240, 768, -320, 704, -856, 992, -456, 768, -524, 416, -256, 512, -1056, -160, -104, 96, -904, 96, -256, -368, -808, -352, -288, -384, -248, -768, -520, -768, -64, -896, -188, -1568, -88, -1184, -576, -608, 80, -1024, -136, -1344, -144, -592, -728, -896, -80, -1152, -544, -672, 56, -1568, 0, -1568, -84, -832, -296, -1152, -248, -896, -384, -1024, 104, -1344, -192, -592, -208, -608, -80, -1184, 96, -1312, -72, -608, 368, -480, -276, -416, 216, -160, 584, -672, 520, 128, -128, -288, 792, -128, 480, 832, 448, -192, -480, 288, 880, 736, 496, 448, 568, 576, 336, 1312, 528, 736, 1496, 448, 624, 768, -320, 288, 1224, 608, 864, 1376, 984, 448, 176, 512, 944, 1440, 248, 320, 1264, 480, -448, 1024, 544, 448, 1624, 736, 320, 576, -104, 480, 1056, -32, 584, 96, 736, -160, -864, -608, 128, 256, 448, -640, 536, -672, -384, -64, 176, -864, 352, -416, 88, -1216, -664, -960, 368, -704, -480, -1056, -88, -1792, -176, -1824, -192, -1536, -368, -1472, -400, -1088, -640, -1408, -80, -1040, -608, -1664, -152, -1248, -448, -1248, -88, -1664, -424, -1920, -60, -1568, -720, -1088, -320, -1472, -416, -1536, -216, -1344, -512, -720, -784, -704, -424, -192, -1008, -544, -672, -1056, -1152, -480, -268, -416, -1432, -480, -192, 192, -808, 32, -224, -416, -1080, 144, -808, 384, -1536, 320, 208, 544, -1112, 1024, -328, 320, -828, 800, -80, 2912, -1392, 640, 224, 1504, -472, 832, 72, 480, -1328, 1152, -128, 1088, -1392, 1184, 1560, 832, -704, 1504, -116, 160, -432, 1760, 544, 2752, -1096, 1600, 816, 2944, -576, 5040, 1056, 2368, -200, 3392, 1752, 5824, -608, 3424, 2272, 3936, 448, 5472, 768, 4192, 800, 3968, 1504, 5120, -200, 4448, 3296, 4384, -40, 6816, 2088, 3904, 1160, 3072, 2304, 7488, 1008, 1792, 3164, 3296, 1600, 7808, 1752, 2560, 1968, 4864, 2144, 6528, 1408, 3024, 3424, 2688, 1296, 6528, 2112, 4864, 2088, 2560, 1944, 7968, 1340, 3712, 2736, 2304, 1512, 8128, 2128, 3232, 2328, 3968, 1112, 7328, 1272, 4992, 3416, 4736, 1912, 5248, 384, 4448, 3224, 3968, 992, 5888, 1408, 4544, 1176, 3840, 1824, 5664, 2048, 3296, 2352, 2208, -296, 5664, 1240, 2784, 1344, 2176, 2080, 3168, -416, 1728, 1536, 1248, 448, 1568, 1568, 960, -160, 448, 1432, 2304, 128, 1104, 1472, 256, -1408, 1280, 1256, 1216, 744, 1088, 1248, 2560, -548, 1184, 1896, 96, -64, 96, 688, 1216, -1536, 512, 1096, -96, -328, 672, 1440, -448, -1440, 640, 808, 320, 128, -864, 516, 448, -1264, -192, 976, 0, 64, -544, 448, 192, -1008, -592, 752, -800, -256, 192, 288, -1280, -608, -736, 400, -992, -76, -1952, 304, -1568, -224, -1440, 88, -960, -112, -960, 16, -800, -96, -1408, 64, -1216, -448, -640, -560, -672, -504, -928, -456, -448, -256, -704, -464, 96, -256, -96, -1408, -1248, -320, 128, -1208, -384, -96, 128, -1016, 416, -640, -544, -2240, -576, -152, 288, -912, 768, -376, 0, -1008, 768, -64, 480, -2048, -144, -368, 832, -480, 672, 392, -96, -1488, 1216, 376, 608, -1004, 1152, 144, 2048, -680, 800, -624, 736, -1048, 1792, -16, 272, -1808, 64, -128, 576, -1584, -640, -8, -384, -792, 832, -248, -672, -2096, 0, -608, -128, -1200, -896, -864, 192, -1184, -176, -304, -960, -2584, -704, -1152, -160, -824, -1568, -456, -1088, -648, -448, -736, -1728, -1760, -576, -640, -512, -664, -1216, -1072, -672, -1304, -1856, -344, -1792, -784, -1280, -960, -1728, -440, -1760, -764, -1632, -264, -2752, 304, -2592, 136, -1088, -352, -1280, 288, -1232, -368, -832, 304, -1312, 408, -2080, -144, -1024, -1216, -1344, 404, -1344, 736, -768, 80, -1152, 896, -608, 16, -512, -576, -512, 624, -1312, -256, -128, -48, -320, 64, -1472, 264, 832, -912, -1568, -72, -1280, -24, 640, -744, -608, -2112, 64, -56, -16, -1024, 352, 376, -192, -680, 448, -880, 672, 544, 576, -1368, 1472, -1808, 1312, -872, 544, -608, 448, -1072, 672, 160, -64, -200, 864, -1712, -384, -408, -256, -2880, 896, -1360, -64, -1212, -320, -1728, -224, -1184, -384, -64, -128, -1296, 384, -1760, -272, -2608, -672, -1616, 160, -1216, -288, -416, 0, -1944, 224, -2456, -2304, -768, -128, -1752, -256, -2752, -1056, -624, -384, -1768, -480, -1640, -1248, -728, -864, -1728, -96, -1856, -1472, -1784, -832, -2232, -1024, -2432, -1248, -1472, 128, -3160, -96, -2400, -1152, -2368, -160, -2064, 96, -2680, -448, -1808, 992, -3176, 256, -1184, -1056, -1836, -224, -2088, 160, -3544, 672, -576, 32, -1992, 928, -1152, -48, -1848, 352, -1200, 1248, -2776, -896, -192, 1856, -2496, 320, -68, -416, -2008, 2144, -320, -64, -2032, 768, 216, 1184, -1496, 624, -520, 1248, -1880, 960, 352, 1248, -3000, -64, -512, 416, -1368, 1152, -384, 1056, -1648, 1408, 136, 608, -1776, 896, 72, 720, -1680, -96, -816, 704, -2080, 1024, 0, -736, -2456, 1504, -468, 512, -1792, 736, -96, -800, -1944, 480, -256, 1280, -1536, -304, -376, 640, -2096, -896, -224, -224, -1960, 544, -1040, 448, -808, -192, -768, -512, -1000, -416, 48, -256, -1016, 192, -104, -624, -1112, -512, -576, 576, 424, -608, -384, 64, 80, 416, -620, -1440, 1024, -928, -40, -352, 1536, -928, -864, 512, 640, -304, -320, -576, 336, 640, -1760, -320, 1696, -256, 280, -64, 632, -512, -2056, -896, 1080, 1728, -192, -256, 2008, -1152, -1128, 544, 1224, 288, 288, 352, 1120, 416, -1024, 800, 2344, -352, -208, 672, 1584, 160, -2672, -1248, 904, 1088, 288, 128, 2808, -48, -1600, 704, 1160, -704, -240, -256, 1376, 448, -1024, -288, 1020, 416, 32, 832, 768, -480, -2576, -416, 1640, 320, -192, -464, 1824, -928, -1408, 704, 1200, -864, 600, -512, 1072, 576, -944, -1760, 1944, -672, -640, 448, 976, -1344, -2240, 96, 704, -544, -328, -1536, 5352, -800, -1912, -1408, 872, -992, -512, -992, 108, -32, -1248, -2272, 2664, -2816, -392, -3360, 3392, -5216, -1432, -3952, 3440, -4576, 640, -4480, 5256, -5600, -1064, -8256, 5512, -5536, 912, -5792, 5528, -6400, -104, -6272, 7976, -9600, 320, -7456, 7288, -4288, -1136, -7808, 3488, -12096, 896, -8032, 5344, -6528, -384, -7488, 11600, -5984, 1328, -10880, 5024, -11200, -256, -5408, 10608, -6144, 768, -9280, 9912, -7328, -80, -10240, 4952, -6432, 2000, -7232, 11576, -9728, 48, -9280, 5968, -9312, 1248, -5472, 8944, -10976, -184, -6368, 8256, -11456, 288, -12064, 7864, -5856, 32, -9856, 9072, -6848, 1792, -7648, 6788, -8768, -312, -9536, 11672, -6528, 1760, -5760, 5392, -10272, 288, -6928, 9792, -7744, 1760, -6912, 10856, -4512, 96, -9888, 5400, -11360, 1568, -4960, 10848, -6368, -80, -8320, 5856, -6016, 712, -11264, 3840, -8016, 0, -3168, 7304, -7040, 1584, -9216, 8416, -5824, 24, -4032, 6992, -4992, 768, -4288, 6784, -6208, 976, -6560, 5480, -1824, 1280, -3392, 4648, -5504, 1496, -2464, 4232, -2976, -864, -1280, 2288, 640, 704, -1504, 1896, -128, 960, 192, 1672, 992, 1824, -512, 5536, -32, -1832, 128, 2256, -864, 1008, 1664, 2056, -64, 528, 416, 940, 416, 2264, 160, 1504, 32, -448, 1024, 2224, 256, 2728, -272, 1584, 1280, 248, 384, 1936, 1056, 1560, 704, 2448, -896, -1076, -576, 912, 1280, 1928, 512, 2040, -1568, -256, -192, 2304, -192, 1816, 544, 928, 1248, -1688, -1024, 2632, -1504, 1248, 800, 1080, -96, 768, 384, 1584, 384, 2432, -192, 2032, -320, -1256, 576, 1800, -1472, 2568, -384, 1416, 960, 448, -768, 1648, 1376, 484, 384, 1288, -896, -1504, -672, 1488, 64, 1776, -1280, 1792, -400, 16, 640, 944, -1184, 1560, 1248, 128, 896, -896, 384, 172, 320, 768, -32, -296, -608, 128, 192, -368, 448, 712, -448, 424, 1024, -1440, 544, -1152, -608, 256, 448, -1432, -320, -168, -2624, -976, -576, 0, -192, -2192, -992, -504, -256, -704, -304, -120, 288, -1288, -192, -1136, -192, -2776, -544, 192, -1248, -684, -352, -160, -832, -1368, 1152, -560, -640, -2200, -1376, -176, 432, -1424, -1120, -832, -2176, -1536, 192, -960, -832, -4048, -1440, -212, -1248, -1336, -1120, -1424, -1536, -1120, -1664, -448, -1536, -3408, -752, -1504, 576, -1576, -992, -1136, -1696, -2024, 512, -1352, -1344, -2368, -1056, -1264, 1792, -2072, -1824, -2464, -1760, -2192, -352, -1312, 496, -4848, -928, -1536, -1280, -3056, -1376, -3256, -576, -2464, 32, -2136, -1152, -4752, -1824, -2208, -960, -2168, -512, -4480, -192, -3304, 592, -3056, -1376, -4744, -544, -2144, 0, -2128, -864, -4712, 128, -2112, 96, -2928, -992, -3176, -32, -3904, 256, -1632, -704, -4440, -736, -1312, 320, -3904, -384, -3480, -800, -2816, 1280, -800, -2592, -4116, -448, -408, -768, -1952, -1088, -2080, 896, -3592, -2176, -160, -672, -3712, -736, -1184, -864, -4480, -640, -1784, -448, -1856, 352, -1040, -672, -5512, -832, -536, -1152, -2368, -1312, -2296, -1056, -3800, -368, -424, -928, -4360, 480, -848, -2272, -4352, -896, -440, -640, -3088, -1472, 576, 32, -5416, -960, -728, -960, -1056, -1824, -1664, 48, -3640, 32, -712, -352, -3216, 384, 480, -1472, -3800, -640, -1384, 1664, -1688, -384, 520, -192, -4160, 864, 328, -1472, -1296, 288, -1320, -256, -1984, -512, 1312, -864, -1752, 896, 280, 1504, -1684, 736, -968, 2176, 0, -1504, -40, 544, -3800, 1728, -752, 384, -296, 1632, -528, 480, -784, 1856, -328, 1280, -1344, 1280, -944, 1696, -992, 1312, -2216, 768, 0, 1088, -720, 2432, -1656, 432, -1808, -192, -320, 1344, -2064, 864, -384, 608, -1744, 1856, -84, 864, -3392, -224, -680, 640, -3744, 704, -704, -672, -1304, 960, -72, 1280, -3072, 416, -472, 1376, -3456, -960, -96, -352, -1384, 1760, -368, 224, -3744, 288, -168, 2752, -3024, -960, -928, -352, -2640, 320, -288, 128, -3560, 448, -1280, 1120, -3000, 448, 884, -1600, -2760, 1824, -1568, -896, -3392, 736, -320, 1280, -2528, -768, -944, 1760, -2864, 448, 376, -32, -3504, 288, -512, 1216, -2140, 1248, 96, 0, -696, 2400, -640, -736, -2552, 0, 88, 816, -3240, -32, -64, 2016, -1280, 1248, 2328, -224, -2328, 1440, 8, 2464, -1304, 608, 1184, 2528, -696, 1472, 1632, -192, -1808, 912, 344, 1280, -392, 608, 384, 1472, -1168, 1984, 1416, -256, -284, 1216, 1472, 1536, 1888, -192, 1696, 2560, -536, 1088]