# Trace form for 1575.2.ef, downloaded from the LMFDB on 19 April 2024.
[0, 2880, 0, -4, 0, 0, 0, 0, 0, 0, 0, 0, 16, 0, 0, -16, -360, 0, 64, 0, 48, 0, 0, 24, 0, -48, 0, 32, 0, 0, 20, 0, 60, 16, 0, 0, 0, 24, -72, 40, 0, 0, -160, 0, 0, -40, 0, -12, 156, 0, 0, 0, 0, 0, 260, 24, 0, 4, 0, -60, -188, 0, 0, 32, 0, 72, 0, 12, 0, 0, 0, 0, -216, 0, 0, 108, 0, 0, -272, 0, 0, 40, 96, -120, 0, 48, 0, -216, 48, 0, -252, 0, -156, 24, 240, -120, 0, 60, 0, 0, 0, 0, -216, -192, 0, 24, 0, 0, 272, 0, 0, -120, 0, -12, 0, -36, 0, 32, 96, 0, -760, -360, -120, 112, 0, 0, 0, -96, -456, -480, -72, 0, 108, 0, 0, -72, 0, -12, -436, 0, 60, 60, -24, 0, 200, 48, 0, -4, -48, 0, -540, 0, 0, -108, 0, -108, 0, -36, -12, -280, 84, 0, -240, 96, -1260, -40, 0, 132, -40, 0, 0, 0, 168, -288, 0, 24, 0, -40, -48, 0, -692, 0, 0, 176, 0, -264, 0, -24, 0, 0, 360, 0, 48, -24, 0, 544, 360, 0, -600, 0, 372, -80, -108, 192, 320, -96, 0, -868, 0, 600, 256, 0, 1056, 156, -120, 0, 0, 0, 372, 600, 0, -60, 916, -288, 0, -168, 0, 312, 660, -360, 888, -40, -336, 0, 0, -24, 0, 444, -96, 0, 684, 0, 0, 336, 0, 48, 0, -120, 360, 0, -276, 0, 120, 96, 360, 312, 360, -36, -248, 0, 0, -20, -144, 48, 600, -60, 0, -468, -12, 0, -340, 0, -408, 112, 0, 12, 320, 120, 0, -400, 0, 0, 264, 0, -1860, -716, 0, 0, -284, 0, 240, 140, -84, -1512, 0, -24, 0, -180, -216, 0, -564, 0, -2004, 100, 0, 0, 0, 0, 192, -540, -288, 480, -296, -72, 0, 40, 0, 300, -724, 0, 264, 0, 24, 0, 0, -96, 0, 108, 624, 0, 168, 0, 0, -152, 0, -48, 0, -48, -228, 0, 0, 0, -168, 0, -600, -308, 0, 96, -240, 0, 0, -160, 192, -360, -320, 192, 0, 96, 36, 0, 332, 720, -1296, -476, 0, 348, -120, 84, 0, -260, 576, 0, -928, 144, 0, -124, 0, 0, -48, 0, -1176, 0, -48, -348, -760, 0, 0, -432, -384, -720, -764, 0, 0, 64, 0, 0, -240, 960, -1116, 0, -132, 0, 40, -60, 0, -460, 0, -36, 752, 0, 576, -60, -120, 0, -80, -960, 0, 624, 0, 0, 64, 0, 0, -292, 0, 1020, 0, 0, 1740, 840, 84, 0, 1448, -264, 0, 1128, 0, 828, 1012, 0, 0, 0, -1344, 720, 2520, 108, -840, 40, 0, 0, 652, 0, 1152, 868, 0, 96, -560, 96, 0, 80, -1488, 0, -60, -24, 1320, -200, 0, 0, 1208, 0, 1836, 80, 252, 972, 0, 0, 0, 508, -432, 960, 628, 0, 528, -48, 480, 0, 420, -216, 1368, 840, 0, 60, -1716, -336, 0, 1000, 0, -72, 236, 0, -432, 0, 72, 0, 0, 0, 0, 808, 300, 0, -1456, 0, 0, 372, 0, -24, 420, -408, -264, -180, -132, 0, -168, -96, 0, -160, 0, -468, -992, 0, 0, 200, -144, 360, 60, 24, 0, -800, -180, 0, -124, 0, 744, -116, -900, -396, -80, -96, 0, 0, 0, 0, -1964, -72, -720, -180, 0, 0, 164, 0, -300, 20, 132, 264, -620, -168, 0, 64, -216, -1800, -384, 0, -288, 136, 0, 0, 280, 144, -2592, -720, -84, 0, -300, -96, 0, -816, 0, -276, -128, 120, 360, 0, 48, 0, 560, 0, 480, -1168, 0, 0, 720, 0, 0, -1288, 720, -2016, 320, -96, 468, 140, 48, 0, -1648, 408, 0, 348, 0, 228, -384, 0, 0, -40, -24, 108, 0, 48, 0, -52, 276, 0, 36, 360, -192, 380, 0, 1056, -480, 0, 0, -120, 456, 0, 1180, 336, 0, 312, 0, 0, -1936, 0, 2088, 0, 192, 972, 2020, -24, 0, -380, 0, 0, 1596, -120, 696, 1096, 840, 0, 320, 192, 2028, 640, 636, 0, 336, -264, 0, -384, -2880, 1236, 1920, 0, 660, 40, 480, 0, 2320, 624, 0, 396, 684, 1020, 184, -120, 0, -80, 0, 996, 0, -48, 912, 0, 0, 0, 944, 720, 0, 772, 0, -480, -1276, 300, 0, -120, 600, 408, -440, 144, -1740, -444, 24, 0, 96, 0, -600, -144, 0, -1140, -160, 0, 0, 0, -96, 0, -16, -144, -3180, -36, 0, 0, -204, 0, 192, -360, 0, -600, -2040, 120, 0, 256, 552, 0, -1244, 120, -864, -1032, 0, 0, -300, 288, 240, -1520, -84, -1080, -1724, 0, 0, 308, 0, -720, -2272, 0, -1536, 80, -84, 0, 0, 0, 0, -272, -468, -1320, -216, 0, 0, -252, 0, -1224, -20, -72, -1500, 600, -264, 0, -176, -528, -1920, -1708, 0, -540, -336, 0, 0, 0, -624, 192, -1180, -72, 0, 352, 84, 0, 1664, 0, -192, -2280, 0, -468, -200, 24, 0, 0, -528, 0, -2484, 228, 0, -80, 0, 0, 140, -1920, -1848, 0, -336, 0, 580, -168, 0, -288, 2064, -1200, -136, 360, -408, 636, -240, 0, 240, 96, -1332, 0, -156, -480, 1812, -576, 0, -192, 240, -732, 716, -480, 2232, 0, -588, 0, -840, 96, -480, 688, 60, 1440, 572, 0, 0, 1740, 0, -144, -80, -240, 756, 1420, -1920, 0, -44, -96, 2160, 28, 120, 1968, 1868, 0, 0, -160, 1824, 2628, 2320, -1188, 0, 1388, 612, 0, 2560, 0, 3132, 160, -480, 1512, 560, -1344, 0, 1920, 48, -240, 2136, -48, 3840, 1232, 120, 0, 1708, 0, 1152, -220, -1272, 2520, 0, -216, 0, 1164, -144, 2760, 2488, 0, 252, -492, 0, 0, -320, 144, 432, 540, -576, 0, -532, -264, 0, 56, 0, 1368, -108, 0, -192, -320, 288, 0, 1560, 792, 0, 76, -912, 0, -3040, 480, 0, 976, 0, 588, 0, -24, -2040, -1580, 252, 0, 1000, 48, 0, -128, 480, 36, -460, 360, 0, -160, 336, -576, 340, -24, 0, 224, -72, 0, 1136, 0, 588, -1080, 0, -948, 640, 48, 0, 0, 1176, 0, -708, 60, -2400, -176, 0, 0, 0, 0, -84, 160, -792, -1044, 720, 0, 0, 280, 744, 0, -3080, 0, 168, -856, 0, 0, 80, 240, -732, 0, 1368, 60, -1408, 96, 0, -432, 0, -1548, -1476, -840, -60, -80, 300, 0, -740, 432, 0, 96, -12, 0, 560, 0, 0, 240, 0, -384, -160, 0, -348, 1340, -156, 0, -1400, -1584, 0, -368, 0, -12, 1404, 0, 0, 160, -240, 804, 0, -120, 0, 1816, 0, 0, 24, -360, 912, 128, 0, 144, 920, -504, 0, -400, -1320, 0, 792, -192, 1920, 184, 0, 0, -2268, 0, 1500, 240, -372, 864, 1580, 156, 0, 88, -1632, 1380, 2864, 0, 960, 420, -1140, 0, 1040, -1392, -684, 1300, 192, 900, 2388, -288, 0, -2280, 0, -24, 4064, 0, 1584, 520, 948, 0, -1440, -1296, 1800, 944, 72, -1800, -424, 0, 0, -1864, -2160, 1416, 120, -96, -444, 0, 288, 0, 2268, -144, 0, 160, -360, -1752, 180, 720, 0, -200, 0, 1872, 1180, 0, 1080, -968, 48, 0, 2124, -360, 3948, 1396, 0, -3900, 0, 60, 0, -220, -2040, 0, -1924, 144, 1680, -592, -120, 0, -1376, 0, -504, -320, -24, -3144, -80, -492, 0, -212, 264, 0, 856, 0, -4260, -2036, 0, 0, 820, -240, -432, -2880, 420, 0, -472, 492, 0, 628, 0, -1416, -248, -60, -4596, 400, -120, 0, 0, 0, 0, -2220, 228, 0, -420, 0, 0, 732, 0, 672, -1640, 84, -3348, -280, -192, 0, -44, -1128, -3120, -2472, 0, 216, -720, 0, 0, 1160, 96, -672, -1720, 168, 840, 912, -144, 0, -656, 0, -1284, -792, 0, -1032, 1020, 120, 0, -660, -1872, 0, -3548, 12, 0, 1028, 0, 0, 1776, 0, -3120, 0, 216, -96, 2200, 204, 0, 1456, -144, 1320, -388, 0, 3720, 808, 900, 0, 780, -2784, 2556, 0, 300, -720, -32, 348, 0, 416, -240, -240, -820, 0, 4212, 200, 1728, 0, -1460, 552, 240, 996, 0, 1560, 4308, -180, 0, 16, 0, -660, -1040, 792, 252, 1160, 0, 0, -1888, 2616, 3960, 608, 0, 360, 2008, 840, 0, 20, 576, 1860, -200, 444, 0, 788, 1008, 0, 2552, 0, 3984, 688, 1500, 1488, -400, 852, 0, 940, 2160, 0, 3032, 48, 1980, 208, 0, 0, 296, 960, 756, -480, 0, 1392, 0, 24, 0, -932, 1128, 0, 3560, 0, 2976, 256, 0, 0, 0, 912, 96, 1680, 1800, 600, 2148, 0, 0, -216, -240, 768, 108, 0, 528, -40, -480, 0, 1360, -96, -480, 52, 972, -1020, 1012, 0, 0, 1088, 0, 180, 240, 744, -840, -620, 1368, 0, 1040, -120, 0, -2184, 0, -900, -176, 0, 0, -320, -408, -1524, -720, -48, 720, -1048, 708, 0, -1884, 0, -240, -1592, 2520, -984, -540, 108, 0, 0, 0, -960, -2656, -372, -2280, -468, 0, 0, -1132, 600, -3372, -400, 0, -204, -1440, 168, 0, -1136, 1080, 0, 0, 0, -2652, -312, 0, 0, 0, -96, -4140, -1360, 192, 0, -2292, -300, 0, -1416, 0, -2700, -4100, 0, -1704, 0, 84, 0, -3000, 192, -2700, 360, 288, 0, -44, 0, 0, -2592, -1920, -180, -580, -540, 936, -360, -264, 0, -448, 1632, -300, -632, 0, -672, 908, 0, 0, -440, -120, -1644, 0, 36, 0, 916, -888, 0, -828, 0, -972, 272, -720, -180, -1380, 72, 0, -2000, -144, -1800, 228, -48, 0, -840, -120, 0, 700, 0, -3204, -160, -612, -120, -480, -768, 0, -2020, -456, -2640, 2404, 0, 2232, 536, 0, 0, 1140, 624, 60, -120, -228, 0, -724, 684, 0, 160, 0, -336, -264, 0, -216, -600, 0, 0, -2700, -1272, 0, 1268, -252, 0, 464, 0, 0, 76, 0, -252, 360, 0, -4296, 0, 2040, 0, -1784, 0, 1920, -436, 0, -1236, -1068, -1320, 0, 240, -1056, -804, -980, -120, 0, 28, -480, 0, -1988, 0, 468, 104, 0, -1464, -680, -120, 0, 380, -768, 0, -2636, -456, -5340, 204, 0, 0, 652, 0, 60, 160, -324, -288, -1440, 0, 0, -476, -384, 0, -432, 0, 336, 8, 480, 0, -160, -888, -1908, 340, -1104, 480, -2632, -468, 0, 1076, 0, -72, -1416, 0, -4440, -520, -732, 0, 0, -1008, 1200, -3164, 852, 0, -952, -360, 0, -848, 0, -1860, 360, 0, -5544, -1860, 372, 0, -712, 360, 0, -3500, 0, -3516, -52, 0, 0, 80, 480, -2208, -5800, 372, 0, 1756, 0, 0, -1912, 0, -1176, -524, 0, 0, 80, -24, 0, 40, 192, 600, 456, 324, 0, -148, 0, 0, -424, -720, -420, 200, 1392, 1512, 1920, 96, 0, 448, -2304, -2040, -1988, 120, 4596, 1104, 0, 0, -360, -1080, 588, 0, -168, 0, 1020, 240, 0, 1428, 0, 1728, -796, 0, -1392, -680, 396, 0, 200, -1824, -1800, -1596, 12, 3600, 5504, 0, 0, 760, 0, 2412, -440, -24, 2136, -100, 1440, 0, 748, -2592, 2340, 1176, 0, 4704, -1904, -660, 0, -780, -1536, 924, 4020, -216, -720, 1132, 396, 0, -1228, 0, 936, 2864, 0, 2856, 0, 444, 0, 280, -768, -1680, 3420, 12, -2160, 2940, 0, 0, 3016, -3120, 2664, -460, 240, -660, 0, -96, 0, 1368, -336, 3600, 1952, 0, 4656, 1860, 0, 0, -1040, 192, 1872, 4440, -1128, -720, -3148, -528, 0, 224, 0, 3996, 1992, 0, 4188, 0, 72, 0, 1760, -960, 0, 2988, 2016, 60, -980, 0, 0, 688, -2280, 1260, -1000, -984, -744, 960, -696, 0, 1812, -912, 0, 576, 0, -912, 232, 0, 0, 80, -336, 708, -1740, 1008, -1800, -1488, 504, 0, -192, 0, -792, 240, 0, 816, -320, -168, 0, 0, 456, 0, 632, 396, 0, -1564, 0, 0, -1576, 0, -5076, 0, 492, 576, -3220, 456, 0, -2032, -1152, -1560, 452, 0, -1176, -1120, 0, 0, -2520, 1296, -1344, -60, -144, -900, 668, 0, 0, -1808, -720, -1980, -2720, 0, -696, 560, 768, 0, -1000, -336, 0, 136, -864, 0, -200, -120, 0, 4, 1920, -792, 660, 384, 2952, -1240, 0, 0, -2856, 1752, -4560, 124, -120, 288, 3368, 60, 0, -1280, 1632, -2616, 0, 684, -720, 1416, 648, 0, -2172, -120, -1848, 1836, 1320, 24, -320, 648, 0, -2480, 1992, -600, 956, 672, 0, 300, 0, 0, -2716, 0, 792]