# Trace form for 1512.2.dx, downloaded from the LMFDB on 19 April 2024.
[0, 1296, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -18, 0, 0, 0, 0, 0, 42, 0, -42, 0, 0, 0, 0, 0, 36, 0, 0, 0, 48, 0, 30, -24, 0, 0, 0, 0, 0, 0, 0, 24, 30, 0, -48, 0, 0, 0, 18, 0, 156, 0, 54, 0, 0, 0, 0, 0, -54, 0, -186, 0, 0, 0, 0, 0, 6, 0, -78, 0, 0, 168, -42, 0, 0, 0, 0, 0, 0, 0, -180, 0, 0, 0, 0, 0, -30, 72, 0, 0, 30, 0, -114, 0, 54, 0, -156, 0, 0, 0, 0, 0, 90, 0, -270, 0, 0, 0, -294, 0, -252, 0, 0, 0, -192, 0, 0, 0, 0, 0, 60, 0, -156, 0, 54, 0, 0, 0, -126, 0, 0, 0, -96, 0, -120, -120, 0, 120, -144, 0, 60, 0, -108, 0, -42, 0, -354, 0, 0, 0, 0, 0, 108, 120, 0, 0, 288, 0, -150, -192, 252, 0, 72, 0, 126, 0, -252, -72, 132, 0, -150, 0, 0, 0, -216, 0, 222, 144, 0, 0, 354, 0, -84, 0, 108, -144, 18, 0, 72, 0, 0, 0, 456, 0, -132, 0, 0, 0, 30, 0, 462, 0, -126, 0, 498, 0, 222, -624, 0, 0, 0, 0, -30, 0, -144, 0, 126, 0, 126, 0, -144, 0, 54, 216, 0, 0, 0, 0, 252, 0, 474, 0, -126, 0, 420, 0, -168, 0, 0, -384, -246, 0, 360, 0, 0, 0, 264, 0, -132, 0, -126, 0, 0, 0, 318, 0, 144, -24, 390, 0, -108, 0, 0, -120, -576, 0, -66, 0, 90, 0, 312, 0, -534, -48, -90, 0, -78, 0, 210, -312, 0, 0, 228, 0, -534, 0, -144, -168, -318, -648, 84, 0, 18, 0, -18, 0, -516, -240, 0, 0, -390, 0, 24, -360, -288, 48, -462, 0, -96, 0, -180, 0, -234, -144, -216, 0, 108, 0, -300, 0, -558, -24, 0, 0, -426, 0, -294, 168, 0, 0, -564, 0, -456, 0, 108, 312, 0, 144, -144, 0, -180, 0, -354, 0, -102, -96, -288, 0, -504, 0, 0, 0, 0, 240, -276, 0, 24, 0, -18, 456, -114, 648, -120, 0, 0, 0, -138, 0, 252, 0, 0, 0, 408, 0, -336, 0, 0, 0, -42, 0, 30, 0, 0, 360, 162, 0, -96, 0, 0, 0, -132, 0, 18, -48, -54, 0, 534, 0, 6, 0, -216, -288, 264, 0, 456, 0, 0, 624, 534, 72, 558, 0, 0, 0, 450, 0, 342, -576, 0, 0, 132, 0, 378, 768, 0, 0, -84, 0, 240, 0, -234, 1008, 30, 0, -108, 0, -234, 0, 636, 0, 420, 0, 0, 0, 96, 0, 222, 0, 0, -288, 744, 0, 390, 0, 288, 0, 414, 72, 1128, 0, -216, 0, 0, -216, -276, -144, -126, 0, -126, 0, 636, 336, -522, -192, 660, 0, 0, 0, 162, 0, 90, 0, 792, 0, 0, 0, 708, 0, -636, -288, 0, 0, -576, 0, 312, 0, -162, 0, 198, 0, -234, 0, 594, 0, -192, 0, 210, 0, 90, 0, 294, 0, -180, 0, 216, 0, -1002, 0, -264, 240, -54, 0, -216, 0, -1002, 0, 0, 0, 84, 0, -222, 0, 0, 0, -702, 0, -426, -144, 270, 0, -144, 0, -396, -168, 270, 0, -264, 0, -486, 0, 0, -384, -480, 0, -714, 0, -144, 0, -606, 0, -300, -312, 234, 0, 150, 0, -732, 0, 0, -24, -960, 0, -660, 0, 90, -504, 60, 0, -882, 0, -144, 0, -1002, 0, 564, -144, 0, 0, 0, 0, -108, -432, -234, -624, -366, 0, 618, 0, 234, -384, 282, 0, 0, 0, 0, 0, -342, -432, 1038, 0, 450, 0, 438, 0, 354, -912, 0, -144, 474, 0, 1032, 0, -324, 0, 810, 0, -72, 0, 540, 0, 108, 0, -24, 312, 612, 0, 780, 0, 78, -528, 0, 0, 852, 0, -132, 0, 252, 0, 834, 0, 1176, 0, 306, 0, 534, -1008, 60, -120, 0, 0, 264, 0, 858, -1200, 468, 0, 648, 0, -216, 0, 306, -1056, -192, 0, 984, 0, -324, 0, 576, 0, -288, 0, -234, 0, -432, 0, 0, -840, 306, 144, 942, 0, -414, 0, 0, -240, -750, 0, 1032, 0, 0, 0, 966, 0, -474, 0, 0, 0, -684, 0, 912, -576, 0, 432, 60, 0, -450, 0, -126, 0, -642, 0, -90, 0, 234, 0, 762, 0, 0, 720, 0, 0, -276, 0, -336, 0, 360, 0, 378, 0, -636, 0, 0, -600, -222, 0, -372, 0, 0, 0, -456, 0, -690, 144, -54, 0, -150, 0, -258, -456, 252, 0, -450, 0, 60, 0, 108, -48, -276, 0, -192, 0, 468, 0, -984, 0, -252, 0, -414, 0, 618, 0, -180, 528, 0, -288, -894, 0, 786, 0, 0, 384, 846, 0, -564, 0, 0, 0, -168, 0, 786, 0, 216, 0, 240, 0, -798, 648, 630, 0, -36, 0, -156, 0, -828, 720, 978, -72, -264, 0, -216, 0, -540, 0, 534, 288, 0, 0, 1134, 0, -948, 1512, -234, 0, -714, 0, 1680, 0, 0, 1464, -108, 0, -234, 0, 540, 0, 312, 0, 1236, 288, -810, 0, 870, 0, 0, 0, -108, 288, -234, 0, 1200, 0, -252, 1008, 1374, 0, 1356, 0, 90, 0, 1596, -576, 552, 720, 0, 0, 438, 0, 318, 192, -72, 168, 0, 0, 222, 0, -126, 1008, 300, 0, -372, 0, 0, 0, 1404, -504, -336, -240, -576, 0, -294, 0, 1254, 0, 0, 528, 390, 0, -186, 0, 0, 528, -708, -72, 360, 0, -108, 0, -90, 0, -810, 168, -342, 0, -324, 0, 570, 744, -162, -432, 390, 0, -900, 0, -468, 672, -408, 0, 432, 0, 342, 0, -12, 0, -336, 0, -432, 0, -786, 0, 936, 0, 126, 96, 54, 0, -1110, 0, -846, 0, -1614, 0, -1062, 0, 0, 0, 192, 0, -348, 0, -702, 0, 84, 0, -816, 504, -756, 0, -384, 0, 0, 0, 0, 384, -306, 0, -1452, 0, -702, 0, -1026, 0, 1020, 288, 0, 0, 732, 0, -972, 0, -432, -144, -618, 0, -36, 0, 288, 0, 156, 0, -546, 0, -846, 0, -1356, 0, -90, -144, -162, 0, 1878, 0, 162, -1152, -270, 0, -870, 0, 828, 0, -306, -480, 876, 0, -114, 0, 0, 0, -156, 504, 1614, 192, 378, 0, 912, 0, 198, -768, -630, -192, 222, 0, 936, 0, 0, -1488, 900, 0, 402, 0, -378, 0, 600, 0, 168, 48, -54, 0, 870, 0, 456, 0, 0, 144, 996, 0, 1446, 0, 0, -1632, 1740, 0, 270, 0, -144, 0, 540, 360, 930, 24, 0, 0, 108, 0, 828, -1680, -180, -576, 678, 0, 102, 0, -378, -1296, 936, 0, 120, 0, 0, 0, -12, 576, -222, 0, 18, 0, 888, 0, 972, -504, 0, -192, 726, 0, -390, 0, 0, 0, -654, 72, 732, 0, -234, 0, 216, 0, -480, 624, 180, 0, -780, 0, 120, -312, 0, -1536, 204, 0, -222, 0, 342, 0, -1092, 0, 672, 0, -72, 0, -690, 0, -312, -672, 0, 0, -834, 0, -1308, -552, 0, 0, -1350, 0, -240, 0, 54, -240, -48, 360, -846, 0, 0, 0, -252, 0, -1086, 240, 558, 0, -36, 0, 252, 288, 90, -480, -1056, 0, -492, 0, 0, -264, -84, -360, -618, 0, 0, 0, -1434, 0, -1416, -288, 378, 0, -234, 0, -1956, 600, 0, -120, 186, 0, -90, 0, 288, 0, 36, 648, -1098, 0, 18, 0, -846, 432, 108, 864, -108, 0, -258, 0, -966, 480, 270, -1248, -1728, 0, 1830, 0, 252, 552, 906, -72, -840, 0, -216, 0, -576, 1152, 192, -528, 900, 0, 336, 0, 306, 504, 360, -240, -1014, 0, 372, 0, 0, 720, 1980, -720, 96, 0, 270, 0, -72, -432, 1530, -192, -126, 0, -270, 0, -198, 2232, -216, -144, 246, 0, 72, 0, 720, 864, -240, 0, 780, 0, 522, 0, 528, 0, 852, -672, -216, 0, 90, 0, 1602, 1680, 324, -96, 666, 0, 288, 0, 648, 504, -606, -720, 1152, 0, 0, 0, 1368, 720, 768, -384, 360, 0, 300, 0, 1368, 2160, 1098, -480, 1554, 0, -1434, 0, -216, 1968, 300, 0, 360, 0, 936, 0, 216, 0, -1392, -720, -450, 0, 12, 0, 96, 0, -108, 672, 1092, 0, -1530, 0, -198, 768, -1458, 648, -1308, 0, 0, 0, -528, 0, -1932, 144, 0, 0, -1734, 0, 564, -600, 486, 0, -252, 0, -618, 0, -108, 624, -1530, 0, -66, 0, 162, 0, -1770, 0, 264, -312, -54, 0, -1248, 0, -768, 0, 1152, -240, -846, 0, -54, 0, 0, -960, -342, 0, -1212, 0, 576, 0, -660, 0, 204, -408, -270, 0, 168, 0, -2724, -432, 432, 0, -1092, 0, 408, 0, -900, -936, 576, 0, -174, 0, 576, 0, -1374, 0, 198, 0, -378, 0, 930, 0, -1914, 0, 0, -480, -1272, 0, -678, 0, 234, 0, 570, 0, -990, 0, 378, 0, -42, 360, 372, -816, -252, 0, 738, 0, -468, -816, 900, 384, -714, 0, 216, 0, -432, -744, 378, 0, 318, 0, 576, 0, -546, 0, 1116, 240, 0, 0, 372, 0, 1182, 0, 0, 0, 612, 0, 708, 0, -684, 0, 144, 0, 90, 0, 540, 0, 894, 0, 156, 144, -162, 0, 132, 0, 168, -1272, 504, 336, 1374, 0, 378, 0, -684, -432, -834, 0, 564, 0, 0, 0, 966, 0, -996, 528, -288, 0, -1122, 0, 162, -432, -468, -312, 198, 0, -990, 0, 0, -816, -738, 0, 1536, 0, -252, 0, -420, 0, 30, 768, -1188, 0, -1926, 0, 258, 0, 0, 1368, -408, 0, -1386, 0, 0, -960, -2082, 0, 1326, 0, -900, 0, 528, 0, -2700, 24, 756, 0, 252, 0, -510, -912, 288, -768, -924, 0, -1584, 0, -1188, 456, -1014, 864, -186, 0, 0, 0, 396, 0, -822, 0, -288, 0, -2358, 0, -2178, 600, -180, 240, -630, 0, -666, 0, 0, 0, -804, -864, -666, 0, -1242, 0, -348, 0, -402, 1704, 72, 0, -1140, 0, -108, 264, 756, 384, -3450, 0, 396, 0, -468, 456, 834, 0, -924, 0, -270, 0, -336, -504, -6, -480, 0, 0, 54, 0, 444, 648, -1422, 0, 18, 0, 360, 0, -306, 2016, 528, -360, -1206, 0, 0, 0, -1170, 0, 1830, 288, -918, 0, -294, 0, -552, 2304, -720, 864, 414, 0, 1164, 0, 0, 72, 1104, -432, -654, 0, -198, 0, -168, 0, 636, 0, 468, 0, 1302, 0, 978, 2040, 216, 864, -468, 0, 174, 0, 540, 1008, 288, 0, 1440, 0, -396, 0, -396, -936, 150, 888, -216, 0, 750, 0, 1068, 432, -774, 0, 1074, 0, -966, 0, 90, 1296, -906, -432, 888, 0, 0, 0, 1470, 0, 504, 1152, 990, 0, -30, 0, 846, 1200, -1116, 0, 1782, 0, 18, 0, 0, 2352, -2076, -360, -264, 0, -396, 0, 702, 0, -1086, 0, 612, 0, -438, 0, -126, 1584, 0, 840, -438, 0, -1302, 0, 522, 600, -1026, 0, -300, 0, -324, 0, -294, -216, -2580, 384, 0, 0, -1320, 0, -954, 312, 396, 0, -468, 0, -324, 0, 684, -624, -1398, 0, -318, 0, 216, 0, -1410, 0, -2466, 432, 0, 0, -2232, 0, 420, 144, -756, 0, -1032, 0, -1164, 0, -216, 288, -180, 0, -606, 0, -180, 0, -924, 0, -378, 288, 504, 0, -1740, 0, -84, -624, 216, 720, -84, 0, 372, 0, 1260, -1584, -786, 0, -1668, 0, 0, 0, -156, -1152, 852, 288, 0, 0, 876, 0, -474, -1104, 324, 384, -276, 0, 108, 0, 936, -1152, 606, 0, 186, 0, 378, 0, -1008, 0, 294, 480, 990, 0, 1848, 0, -252, 0, 702, 96, 930, 0, -840, 0, 0, -1680, 276, 0, 1050, 0, 234, 0, 966, -648, 228, -192, -342, 0, 318, 0, 690, -2856, 432, 576, 1068, 0, 2070, 0, 432, -1536, -696, 0, -222, 0, 1206, 0, 2640, 0, 390, 0, 432, 0, 174, 0, 1800, -72, 0, -192, 1248, 0, 1308, 0, -270, 0, 930, -72, 3192, 0, 0, 0, -468, -1872, -228, 0, 882, 0, -1116, 0, 1260, -1584, 1242, 624, 840, 0, -132, 0, 378, -1632, 996, 360, 696, 0, 756, 0, 2430, -864, -3012]