# Trace form for 1512.2, downloaded from the LMFDB on 25 April 2024.
[0, 26176, -32, -48, -56, 4, -48, -70, -92, -96, -72, -56, -48, -20, -46, -144, -64, -116, -48, -88, -20, -12, -100, -84, -12, -134, 52, -18, -116, 60, 48, -28, 188, -78, 40, 6, 0, 36, 188, 24, 64, -68, 0, -92, 156, 108, 16, 84, -12, -190, 40, 72, -32, 16, -48, -88, -118, -150, -136, 142, -168, 28, -292, 36, -260, 68, -228, 68, -288, 96, -98, 236, -216, -72, -188, 84, -160, 96, -348, 116, -168, -72, -64, 212, -126, 80, -44, -36, 80, -110, -324, 36, -36, -144, 144, -20, -360, -72, -44, -396, 72, -24, -456, 12, -100, -186, 68, -96, -552, 40, -252, -132, 30, -144, -432, 64, -240, 168, 16, 100, -672, 150, -312, -216, -64, 228, -264, -232, -424, 144, -160, -232, -204, 180, -516, -144, -440, 636, -264, -114, -436, 264, -336, -200, -300, 172, -732, -78, -452, 272, -360, 16, -512, 258, -346, -124, -192, 340, -380, -108, -296, 256, -60, -48, -144, 336, -80, 400, 66, 154, 4, 174, -32, 396, 312, 322, 228, -12, 80, 510, 324, 108, 104, 72, 88, 268, 168, 374, 492, -6, -272, 68, 612, -56, 736, -372, 22, -72, 708, -16, 568, -336, -72, -222, 612, -48, 384, -744, -72, -550, 180, -92, 408, -348, -328, -772, 264, -434, 128, -882, -536, -484, 696, -116, -374, -792, -528, -924, 48, -152, -560, -834, -628, -796, -96, -480, -868, -288, -778, -916, -480, -552, -856, -588, -624, -556, -912, -260, -1216, -312, -752, -940, -852, -104, -1124, -576, -768, -640, -852, -474, -1836, -96, -752, -988, -960, -604, -1874, -396, -888, 80, -1176, -788, -1400, -330, -876, -1492, -972, -272, -1480, -456, -666, -784, -588, -820, -960, 96, -900, -610, -612, -362, -1464, -450, -772, -252, -294, -1184, -1180, -204, -592, -1292, -1188, -270, -1188, -720, -1200, -584, -972, -624, -942, -420, -1368, -1312, -1056, -330, -1280, -522, -436, -540, -900, -1076, -1504, -534, -934, -920, -996, -160, -1208, -444, -1336, 258, -1500, -832, -1312, -252, -688, -664, -660, -158, -1548, -180, -1640, -268, -1176, -172, -1612, -516, -1240, -60, -1020, 12, -1066, -396, -952, 74, -1056, -124, -1392, -498, -1016, 296, -516, 454, -760, -174, -580, 64, -192, 528, -728, -258, -400, 18, -228, 248, -204, -240, -48, 648, -96, 200, 240, -204, 88, 456, -12, 436, 180, 60, 104, -20, 468, 376, 640, -786, 496, 508, 636, 248, 1372, -42, 412, -432, 1020, 320, 1672, -828, 284, 852, 984, 400, 1532, 666, 560, -138, 804, -76, 1736, -1380, 552, 612, 840, 20, 1696, 684, 440, -564, 1632, -78, 1476, -336, 488, 488, 1296, -308, 1546, 828, 128, -304, 924, -400, 2256, -564, 604, 662, 1056, 60, 1856, 828, 334, -1196, 1596, -150, 1380, 0, 312, -190, 1164, 164, 1604, 444, 784, -296, 888, -168, 2100, -732, 440, -192, 1548, -60, 2472, -132, 960, -674, 1452, -686, 2280, 96, 1008, -1284, 1584, -164, 1976, -924, 1236, -676, 1404, -188, 2532, -432, 1542, -1464, 1392, -156, 2152, -708, 856, -978, 708, -534, 2640, -348, 1184, -1392, 1206, -520, 1932, -1368, 1376, -636, 576, -1216, 808, -876, 696, -2516, 192, -324, 1958, -1632, 1568, -1696, -384, -494, 848, -720, 1100, -2476, -504, -734, 1068, -1728, 478, -1332, -624, -1244, 492, -1260, 728, -2188, -1128, -456, -696, -1704, 656, -2316, -252, -628, -636, -504, 336, -2196, -1752, -408, -1132, -1548, 272, -320, -1512, -940, -144, -1290, 120, -1370, -1428, -360, -584, -576, 240, -1088, -1068, -252, -864, 72, 286, -608, -516, -728, 176, -588, 544, 108, -948, -520, 336, -216, 416, -530, -42, 304, 808, 288, 384, -656, -252, 84, 1380, 708, 1372, 464, 612, -470, 500, -300, 224, 1220, 780, -528, 1048, 210, 2004, 468, 828, 428, 984, -240, 992, 74, 1176, -548, 1796, 564, -128, 638, 1224, -790, 1928, -324, 1684, 672, 1104, 20, 844, -156, 1500, 244, 1488, 296, 2316, -456, 672, 240, 1752, -840, 582, -216, 1304, -292, 2040, 440, 1828, 78, 1492, 576, 1548, -964, 1460, -42, -90, -384, 2028, -532, 808, -780, 1020, 784, 1512, -600, 816, 252, 900, -680, 612, -644, 136, -816, -464, -32, 1296, -1050, 200, 600, 220, -1880, 708, -72, -316, -1104, 144, 136, 924, -1528, -168, -6, -132, -1756, 336, 22, -812, -270, -744, 240, 876, -892, -180, 1056, -672, -534, 768, -364, 48, 480, -328, 1836, 1920, -2072, 320, 1200, -1016, -516, 1968, -166, 744, 450, -1096, 300, 1752, -1504, 1234, 990, -536, -436, 2352, -388, 1212, 1422, -1540, 1016, 1428, -844, 744, 1356, -1618, -748, 1812, 240, 200, 1272, -816, 822, 1200, -1128, 456, 90, -1824, 416, 2196, -52, -304, 1512, -2096, 1036, 2532, -894, -276, 1368, -1296, 1200, 2004, 132, 1686, 1152, -1672, 792, 2388, 140, 568, 1080, -1004, 1476, 2172, 32, 988, 1956, -460, 608, 1524, 772, 1016, 1392, -736, 1740, 2124, 364, 800, 2652, -952, 880, 2022, 744, 416, 672, -840, 2188, 1548, 204, -292, 1512, -680, 872, 972, 1108, 408, 408, -1008, 2512, 720, 400, 316, 864, -1036, 408, 600, 1052, -792, 1188, -762, 2744, 1272, 172, 340, 2196, -1000, 894, 1224, 1308, 408, 636, -688, 2836, 1098, 842, 668, 2040, -608, 1032, 1692, 806, 1512, 978, -392, 3216, 1548, 980, 654, 3408, 80, 1008, 2784, 780, 2856, 762, 84, 2800, 2316, 112, 2012, 2124, 14, 2308, 2760, 1064, 2608, 948, 320, 3570, 2112, 516, 2280, 2400, -260, 1758, 936, 1076, 2032, 1332, -136, 2780, 1488, 420, 1484, 2568, 272, 1656, 1176, 1104, 1066, 1500, 408, 3576, 1452, 656, 804, 1530, -36, 1736, 1164, 880, 1012, 1032, 502, 4096, 240, -90, 1340, 2160, -196, 1224, 240, 684, 1340, 450, -904, 3140, -132, 504, 220, 1212, -4, 1036, -864, 388, 24, 828, -540, 2792, -1680, -282, 522, 786, -612, 288, -1140, 364, -300, -1872, -840, 1686, -756, -212, 404, 528, 56, -1008, -1128, 492, 576, -288, -616, 1974, -1152, -1542, 788, 1056, -508, -652, -12, 8, 896, -1140, -1204, 1776, -720, -846, 752, 696, -588, -3430, -228, 276, 2482, -180, -380, 2644, 264, -1860, 1092, 1626, 60, -908, 468, 112, 1024, -2412, 120, 2452, 60, -704, 3312, 936, 520, -3240, 600, 284, 2844, -804, 276, 1712, 2256, -3050, 3908, 1104, 540, -1256, 1608, 1036, 2416, -1320, 1532, 1368, 1992, -780, 3282, 936, 304, -4040, 2016, 688, 4272, -648, 1480, 1464, 2556, -1534, 4452, 528, 1526, -748, 3684, 1200, 6104, -2556, 1224, 2454, 3348, -472, 4512, -48, 1104, -2140, 3186, 1028, 4380, -612, 1640, 1772, 3828, -1348, 4976, -414, 1960, -228, 3252, 1088, 3926, -1440, 1220, 1100, 3540, -88, 5016, -810, 1500, -3132, 2688, 1028, 3648, -900, 866, 40, 3096, -672, 4540, -1752, 944, -876, 2280, -24, 3948, -1446, 1192, -1510, 1530, -348, 3332, -2496, 816, -2152, 2376, -30, 2892, -1500, 528, -1524, 2016, -2232, 1706, -2130, 248, -1080, 1968, -788, 1936, -1878, -412, -2648, 924, -212, 680, -2952, -18, -2610, 1440, -996, 1200, -2280, -64, -512, 456, -1988, -144, -3036, -128, -1400, 186, 560, -984, -2124, 240, -1400, -888, -936, -508, -2928, -96, -3492, -1596, -516, -810, -1584, -632, -1980, -792, -1268, -1488, -2520, -1004, -888, -2100, -628, -2568, -2886, -1128, -996, -1884, -1136, -2592, -1596, -496, -1594, -2916, 64, -3132, -1452, -1088, -1572, -1428, -2624, -4316, -1584, -1688, -536, -2592, -410, -3868, -1848, -1608, -948, -4212, 264, -4804, -1416, -1768, -2920, -3132, -400, -5684, -984, -2204, -944, -4080, -1532, -6184, -1776, -2314, -72, -4056, -80, -5544, -1116, -2536, -1026, -3756, -356, -6104, -1272, -2216, -2240, -3672, 568, -6540, -96, -1560, -1008, -4104, -216, -4924, -816, -1932, -1132, -4428, 44, -5916, -1392, -2360, -1372, -2484, -256, -4956, -852, -1516, -2560, -2040, 24, -5016, -1092, -1958, -60, -3072, -2256, -4828, 786, -1576, -732, -2040, 60, -4288, -2910, -752, -660, -2490, -616, -3344, 720, -816, -3680, -1272, -870, -3164, -12, -1000, -208, -888, -3158, -4766, 1698, -392, -1452, -1296, -820, -2580, -1278, 172, -1116, -276, -1000, -1700, 1308, -1858, -3232, -828, -56, -1768, -444, -156, -1840, 1152, -1808, -1968, 1554, -500, 84, -756, 388, -1672, -3336, -808, -208, -780, -948, -1772, 1860, 376, -2012, 144, -824, -2904, 96, -424, 288, 528, -2906, -1328, 342, -824, 620, 648, 1316, -1392, -546, -370, 1494, 576, 188, -1764, 2676, 1472, -482, 132, 1576, -456, 1152, -624, 1708, -774, -1548, -280, 2454, 392, 772, -204, 140, -1356, -420, 1016, 2324, -480, 316, -712, 1572, -120, -1164, -216, 1248, -1704, 822, 376, 1516, -1800, -6, -2472, 660, -98, 1728, -2400, 1220, -1996, 678, -864, 822, -3156, 620, -2764, 432, -40, 240, -1686, 122, -2768, 1308, -464, 888, -2460, -120, -3304, 348, -608, 2080, -2976, 428, -1540, -330, -168, 268, -2808, 1400, -1772, 570, -820, -224, -3828, 502, -2232, 1008, -194, -192, -2808, -348, -2476, -306, 600, 1560, -2292, 624, -1960, -174, 656, -444, -1488, 788, -2784, 516, 48, -288, -2412, 78, -1572, 1368, 1024, -236, -4140, -156, -1146, 924, 1912, 932, -4044, -284, -2888, 666, 276, 220, -3720, 564, -1944, 1944, 1902, -744, -3468, -272, -3084, 1284, 1384, 1620, -4140, -488, -2852, 1740, 344, 600, -6048, -1644, -852, 336, 1476, 1544, -4632, 18, -452, 2544, 2624, -32, -2796, -816, -1650, 1944, 632, 1520, -2628, -564, -1764, 5016, 2108, 700, -2436, -592, -1824, 1728, 1922, 1322, -3744, -712, -316, 4116, 312, 1850, -4152, -1002, -648, 1764, 2512, 2208, -3852, -416, -744, 4944, 1712, 1248, -3612, -1994, -752, 3018, 1576, 2172, -2496, -640, -3368, 3336, 1864, 1860, -4680, -970, -96, 1788, 1540, 1968, -4188, 424, 400, 2550, 1384, 380, -2700, -1824, -1368, 2472, 792, 2202, -2796, -356, -1864, 2652, 636, 2724, -4698, -2928, -3544, 684, 1192, -132, -5628, -302, -1968, 1842, -444, 1068, -4680, -608, -2218, 2340, -820, 876, -4320, -1036, -2592, 2922, 108, 3152, -3732, -2132, -2696, 1308, 66, 872, -4188, 1412, -3228, 696, -1540, 810, -3480, -1964, -1244, 1098, 496, 384, -3318, -636, -1860, 0, -2520, 3912, -3108, 150, -2412, 708, -2408, 488, -2856, 1444, -1228, -396, -1144, 1872, -3924, -2088, -2316, 1242, -2976, 144, -3144, 920, -2588, 96, -1948, 4080, -2196, -788, -2568, 672, -1432, 134, -3756, 1580, -3776, 1032, -2128, 1908, -1440, -48, -3416, 1854, -3528, 1208, -2796, 288, -2728, 348, -688, 3594, -1884, -1028, -1874, 396, -3412, 1680, -1548, 1564, -916, 1152, -3788, 1040, -1488, -1336, -1928, 3996, -938, 1248, -444, -284, -484, 2376, -2868, 3312, -3300, -92, -732, -120, -2812, 760, -828, -162, -1936, 3084, -2104, 1284, -240, -1256, -3160, 2100, -3412, 456, 108, -348, -3608, 2052, -2320, 2572, 564, -1594, -1932, 90, -3752, 1204, -756, 460, -1044, 2040, -2538, -1804, 648, -716, -3732, 3336, -2304, -1710, -2772, -96, -3908, 1668, -2920, 2160, -984, -2638, -3624, -72, -2568, 244, 480, -686, -7320, 2322, -3208, -568, -360, -1180, -5060, 1314, -2960, -120, -1056, -368, -3468, 864, -5652, 1168, -1356, -1624, -3124, -732, -3482, -3580, -936, 128, -4528, 1992, -2224, -2100, -3264, -648, -4848, 2160, -2344, -6, -2508, -2224, -3932, 1056, -3292, 36, -3084, -1356, -9768, -972, -3072, -1784, -2088, -844, -5452, -1248, -3856, -1392, -4416, -552, -6268, 558, -5316, 468, -3156, -40, -7376, -504, -3382, -294, -4476, 312, -7692, -288, -3344, -1590, -7368, 232, -7656, -480, -3408, -1896, -4128, -220, -7464, 132, -4592, -2180, -5760, -150, -12004, -2196, -2912, 300, -4608, -1236, -7674, -1260, -2040, -668, -5772, 644, -7824, -2976, -4828, -1120, -5328, 976, -6584, -864, -2346, -2552, -4536, 360, -5892, -2220, -1548, -232, -5088, 1426, -5196, -936, -1272, -1104, -1986, 2230, -5732, -1452, -904, -28, -3672, 160, -7080, -1704, -428, -1350, -2664, 644, -1066, -2976, 8, 2176, -2460, 374, -1592, -2340, -336, -2016, -1812, 1014, -1912, -4386, 546, -360, -792, -8, -1944, -1494, 1244, -1014, -348, 372, -1156, -4452, 2628, -1212, 474, -1864, 492, -1932, 2516, -3332, 444, 1262, 384, -4404, 2420, -1160, 696, -272, 950, -1920, 3024, -2196, 1248, -460, 3148, -3300, 2328, 1386, 2460, -1536, 2580, -2304, 1404, -1900, 2676, 18, 3696, -3510, 3864, -1194, 1404, -624, 4808, -708, 4972, -1644, 2364, -288, 6248, -1992, 3704, 320, 4812, 630, 6700, -972, 4796, 1308, 5328, 124, 5560, -678, 5564, -1232, 5112, -784, 7704, -156, 4660, 2708, 4788, -892, 8280, -864, 5260, 1956, 5028, 188, 8180, -1752, 6128, 3630, 3948, -158, 8344, -1056, 6024, -792, 4506, -164, 8140, 156, 6004, 2940, 5448, -738, 7592, 780, 6344, 580, 3888, 752, 6684, -1176, 5876, 1608, 3996, -640, 7296, 1536, 5112, -1828, 3024, -4, 6684]