# Trace form for 2415.2.cg, downloaded from the LMFDB on 19 April 2024.
[0, 1440, 0, 0, 136, 0, 8, 0, 0, 144, 0, 0, 0, 0, 0, -8, -120, 0, 0, 0, 40, -8, 0, 0, -24, 36, -80, 0, 0, 16, 8, 32, 0, 0, 12, -8, -136, 0, 0, 72, 40, 0, 0, 0, 216, 0, 32, 0, 0, 144, 56, -16, 0, 0, 36, 84, 48, 0, 0, -16, 32, 48, 0, 0, 216, -8, 16, 0, 0, -8, 8, -16, 0, 0, -112, -16, 232, 0, 0, 80, 0, -144, 0, 0, 24, 4, 832, 0, 0, -16, 0, 320, 0, 0, -176, -192, 48, 0, 0, 0, -496, -120, 0, 0, -784, 0, 48, 0, 0, 48, -348, -56, 0, 0, -416, -52, 48, 0, 0, 0, -88, -200, 0, 0, -48, -156, 0, 0, 0, -208, 240, -136, 0, 0, 128, 8, -72, 0, 0, 0, -24, 32, 0, 0, 120, -104, 64, 0, 0, 48, -32, -48, 0, 0, -48, 32, 48, 0, 0, 72, -248, 8, 0, 0, 400, 100, -260, 0, 0, 464, 276, -88, 0, 0, 112, -16, -368, 0, 0, 560, 180, 48, 0, 0, -52, 464, -28, 0, 0, 8, 44, -464, 0, 0, 640, -8, -136, 0, 0, 120, 28, -216, 0, 0, 436, -24, -832, 0, 0, -448, 0, 0, 0, 0, -888, -72, 24, 0, 0, 16, -624, -224, 0, 0, -96, 8, -80, 0, 0, 112, -540, 0, 0, 0, 80, -176, -304, 0, 0, -656, 448, -208, 0, 0, -1180, 0, -16, 0, 0, -16, 352, -208, 0, 0, -208, 16, -472, 0, 0, -16, -172, -16, 0, 0, -48, -64, 0, 0, 0, -88, 36, 144, 0, 0, 336, 336, -40, 0, 0, -32, 108, -104, 0, 0, 384, -92, -208, 0, 0, 816, 600, -96, 0, 0, -8, 252, -384, 0, 0, 0, 0, 16, 0, 0, 1188, 204, 32, 0, 0, 80, 492, -288, 0, 0, 176, 8, -184, 0, 0, -56, 112, 144, 0, 0, 136, 132, -224, 0, 0, 16, -304, -64, 0, 0, -256, 224, -56, 0, 0, -32, 352, -304, 0, 0, 528, 24, 80, 0, 0, 0, -96, 16, 0, 0, 56, 608, -192, 0, 0, -304, -40, -232, 0, 0, 80, 472, -80, 0, 0, 0, 812, 96, 0, 0, 608, 56, -244, 0, 0, -352, 216, -32, 0, 0, 800, 68, -272, 0, 0, 256, -128, -72, 0, 0, 300, 16, 48, 0, 0, -16, 20, 312, 0, 0, -48, 0, -280, 0, 0, 392, -136, 176, 0, 0, 56, 0, 1712, 0, 0, 376, 64, -96, 0, 0, -16, -380, -208, 0, 0, -688, -1020, -128, 0, 0, 80, -272, 1608, 0, 0, -280, -728, -144, 0, 0, -1264, 28, 336, 0, 0, -1248, -56, 360, 0, 0, -100, 48, -364, 0, 0, -336, -880, 384, 0, 0, -1200, -496, -460, 0, 0, 32, -1172, -384, 0, 0, -96, -156, 112, 0, 0, -400, -320, -48, 0, 0, -2008, -572, -36, 0, 0, -56, 0, -360, 0, 0, -560, -40, -160, 0, 0, 72, -536, -488, 0, 0, -48, 192, -224, 0, 0, 832, 128, -112, 0, 0, 2312, 384, -568, 0, 0, -88, 120, 48, 0, 0, 624, -24, 472, 0, 0, 0, 960, -72, 0, 0, 536, -456, -1104, 0, 0, 0, -32, -776, 0, 0, -616, -192, -48, 0, 0, -48, -720, -1040, 0, 0, -32, 316, 1040, 0, 0, -224, -584, 56, 0, 0, 480, -204, -688, 0, 0, -672, 640, 736, 0, 0, -832, 108, 1544, 0, 0, -32, -236, -328, 0, 0, -240, 8, -1088, 0, 0, 16, 556, -32, 0, 0, -16, -96, -728, 0, 0, -512, 860, -288, 0, 0, -968, 776, -152, 0, 0, 16, 688, -528, 0, 0, -176, 584, -520, 0, 0, -48, -552, 96, 0, 0, -24, 172, 1008, 0, 0, 176, -8, 128, 0, 0, 616, 316, 16, 0, 0, 16, -420, 368, 0, 0, 40, -288, 812, 0, 0, -384, 40, -64, 0, 0, 272, -356, 1520, 0, 0, -112, -240, 32, 0, 0, -1928, 0, 112, 0, 0, -80, -732, 144, 0, 0, 416, -72, 348, 0, 0, -32, 456, -120, 0, 0, 76, -268, 0, 0, 0, 176, -256, 240, 0, 0, -608, 56, 1200, 0, 0, 680, -16, 776, 0, 0, -216, -208, -1404, 0, 0, 8, -72, 8, 0, 0, 400, 320, 80, 0, 0, 1216, 0, 80, 0, 0, 48, 300, 104, 0, 0, 144, -504, 240, 0, 0, 952, 8, 1748, 0, 0, -392, 600, -16, 0, 0, 568, 528, 2488, 0, 0, 880, 108, 616, 0, 0, 1096, 420, -24, 0, 0, -16, -456, 0, 0, 0, -1008, 40, 1752, 0, 0, 800, -64, -120, 0, 0, 312, 656, -32, 0, 0, 720, -240, 1888, 0, 0, 164, -1324, 72, 0, 0, 144, 448, 48, 0, 0, -128, 160, -128, 0, 0, -280, -568, 16, 0, 0, -112, -24, 1712, 0, 0, 160, 0, -8, 0, 0, 64, -544, 36, 0, 0, 32, -360, 1328, 0, 0, 1600, 464, -16, 0, 0, 96, 192, 112, 0, 0, 108, -232, -1784, 0, 0, 936, 80, -424, 0, 0, 1260, -48, -176, 0, 0, 0, 760, -592, 0, 0, -32, -28, 528, 0, 0, 240, 1700, -48, 0, 0, 348, 596, -480, 0, 0, 472, -96, -592, 0, 0, -704, 80, -896, 0, 0, 480, -2136, -1344, 0, 0, -1528, 496, -532, 0, 0, 0, 804, 0, 0, 0, -64, -1636, 192, 0, 0, -1904, 496, -248, 0, 0, 1136, -444, -404, 0, 0, 32, -152, -528, 0, 0, 1736, -176, 932, 0, 0, -3488, 1020, 0, 0, 0, 0, 380, -1008, 0, 0, -1704, 320, 88, 0, 0, -2780, 204, -96, 0, 0, 112, -1012, -864, 0, 0, -1344, 0, -472, 0, 0, 328, -652, 448, 0, 0, -48, -632, 736, 0, 0, -96, 824, -192, 0, 0, -1000, -1600, 40, 0, 0, -160, -584, 864, 0, 0, 1168, -200, -2040, 0, 0, -432, -40, 216, 0, 0, -136, -548, 3096, 0, 0, 136, 40, -224, 0, 0, 176, 280, 1080, 0, 0, -32, 68, -32, 0, 0, 784, -484, 592, 0, 0, 560, 120, 112, 0, 0, 152, 272, 632, 0, 0, 760, -896, 1656, 0, 0, 1536, 172, 64, 0, 0, 8, 260, -840, 0, 0, 1824, 8, -48, 0, 0, 208, -976, 1728, 0, 0, -48, 1252, -64, 0, 0, 328, 72, -504, 0, 0, -340, -664, 1168, 0, 0, 160, 324, 1968, 0, 0, -112, -372, -256, 0, 0, 216, 1260, 0, 0, 0, 480, 1176, 744, 0, 0, -464, 88, -952, 0, 0, 216, 320, -612, 0, 0, 24, 840, 608, 0, 0, -1056, -104, -1516, 0, 0, -96, -732, -376, 0, 0, -752, 1448, 288, 0, 0, -672, -272, -504, 0, 0, 284, -48, -436, 0, 0, 328, 380, -888, 0, 0, -904, -240, 208, 0, 0, 720, -900, -416, 0, 0, 0, 348, -2384, 0, 0, -1648, 72, 144, 0, 0, 632, -208, -1520, 0, 0, -672, 596, -2272, 0, 0, 392, 72, -1868, 0, 0, 1472, -548, 32, 0, 0, -608, -184, -736, 0, 0, 328, -240, -408, 0, 0, -1680, 132, -64, 0, 0, -480, 220, -1296, 0, 0, -1496, 172, 92, 0, 0, 1368, 272, -856, 0, 0, 64, 328, -2080, 0, 0, -336, -888, -992, 0, 0, -40, -856, -568, 0, 0, -312, 912, -216, 0, 0, -856, -8, 372, 0, 0, 1208, 8, -208, 0, 0, 72, 8, -640, 0, 0, -448, 672, 24, 0, 0, -1728, -748, -704, 0, 0, 272, -476, -832, 0, 0, 1344, 384, -624, 0, 0, -344, -128, -88, 0, 0, -632, -244, -1712, 0, 0, 848, 200, -336, 0, 0, -2112, 668, -176, 0, 0, -32, -1368, -856, 0, 0, 80, 616, -1176, 0, 0, 1160, 1668, -72, 0, 0, -656, 568, -1352, 0, 0, -288, -8, 8, 0, 0, 944, 168, -120, 0, 0, 64, 1812, -296, 0, 0, -1008, 16, -1048, 0, 0, -248, 424, 144, 0, 0, -64, 388, -272, 0, 0, -152, -1168, -1320, 0, 0, 656, 348, 1072, 0, 0, 32, -472, 792, 0, 0, 1008, -144, -1416, 0, 0, -160, -536, 392, 0, 0, 120, 48, -720, 0, 0, -240, 32, -464, 0, 0, -28, 420, 448, 0, 0, 136, 1384, 936, 0, 0, 784, 16, -960, 0, 0, -240, 2660, 224, 0, 0, 632, -348, 2176, 0, 0, -208, -816, -544, 0, 0, -1600, 456, 48, 0, 0, 512, 300, -1040, 0, 0, 1480, -32, 1648, 0, 0, -1568, 192, 552, 0, 0, -48, -520, 1808, 0, 0, 768, -552, 928, 0, 0, -864, -1332, 520, 0, 0, -104, 776, -16, 0, 0, 1552, -384, 1856, 0, 0, 928, 236, 16, 0, 0, -480, -544, 3128, 0, 0, 216, -192, -768, 0, 0, -836, -804, -496, 0, 0, -8, -2040, 1496, 0, 0, -1952, -372, -176, 0, 0, 432, -1720, -264, 0, 0, -740, -652, 3528, 0, 0, -1400, -8, 3680, 0, 0, -464, -2812, -48, 0, 0, 520, 828, 1136, 0, 0, 1216, -56, 2156, 0, 0, 1160, -532, 16, 0, 0, -136, -1032, 1008, 0, 0, -616, 12, 2800, 0, 0, -1148, 16, -296, 0, 0, -672, -1788, -896, 0, 0, 1008, 512, 2440, 0, 0, -32, -2128, -464, 0, 0, 608, 1852, 144, 0, 0, 1104, 32, 440, 0, 0, -48, 780, -204, 0, 0, -88, 328, 1192, 0, 0, -3376, 484, -304, 0, 0, 1416, 2776, -760, 0, 0, 0, 84, -2736, 0, 0, 240, 640, -240, 0, 0, 192, 672, -200, 0, 0, -16, 1184, -1408, 0, 0, 2496, 16, 1280, 0, 0, 944, 2432, -1856, 0, 0, 368, 644, -480, 0, 0, 248, 328, 1024, 0, 0, 1764, 752, 104, 0, 0, 1744, -164, -400, 0, 0, -1696, 888, -1168, 0, 0, 1712, -8, -32, 0, 0, 608, 1388, -1072, 0, 0, 1352, 40, 960, 0, 0, 96, 888, 164, 0, 0, 128, 964, 592, 0, 0, 3104, 56, 92, 0, 0, -288, 628, -360, 0, 0, 28, -200, -1648, 0, 0, 816, 40, -1488, 0, 0, -1044, 1496, 712, 0, 0, 0, 988, 1568, 0, 0, 1072, 64, 32, 0, 0, -424, 420, 1424, 0, 0, -16, -548, -1376, 0, 0, 624, -768, -1264, 0, 0, 2128, -460, 2768, 0, 0, 240, 1756, -80, 0, 0, -288, 648, -712, 0, 0, -16, -152, 80, 0, 0, 224, 2132, 3648, 0, 0, 1136, -440, -1192, 0, 0, 148, 8, -400, 0, 0, -64, -1616, 0, 0, 0, -464, 24, 0, 0, 0, 64, 1832, 976, 0, 0, 56, -692, 1888, 0, 0, 712, -224, -912, 0, 0, 3344, 464, -112, 0, 0, -144, -476, 520, 0, 0, -544, -168, 1492, 0, 0, -424, 2108, -48, 0, 0, 136, 1916, 2832, 0, 0, 320, -1576, 608, 0, 0, 232, -876, 480, 0, 0, -1664, 172, -592, 0, 0, -2680, -188, -460, 0, 0, -1536, -576, -120, 0, 0, -72, 240, 2032, 0, 0, 192, -292, -224, 0, 0, -80, -824, 0, 0, 0, -48, 680, 1560, 0, 0, -1920, -40, -880, 0, 0, 544, -224, -464, 0, 0, -2856, -236, 1240, 0, 0, 768, -920, 448, 0, 0, 48, -1440, -128, 0, 0, -128, -3720, -160, 0, 0, -376, -196, -768, 0, 0, -1376, -528, -736, 0, 0, -1280, 28, -616, 0, 0, -3952, 344, 184, 0, 0, 1920, -1568, -1864, 0, 0, -32, -1412, -696, 0, 0, 3600, -1280, -192, 0, 0, -1896, -1844, -80, 0, 0, -1376, -512, -2896, 0, 0, -2928, 0, -184, 0, 0, -2368, -60, -1084, 0, 0, 88, 432, -1808, 0, 0, 32, -744, -704, 0, 0, 144, -464, 16, 0, 0, -792, -544, -368, 0, 0, -2920, 1608, -1160, 0, 0, 3864, 0, -652, 0, 0, 576, 592, -592, 0, 0, 656, 72, -3032, 0, 0, 576, -256, -304, 0, 0, -24, 1528, -312, 0, 0, -152, 2036, -1664, 0, 0, -1280, 2272, 320, 0, 0, -96, 180, -1408, 0, 0, 1296, 456, -896, 0, 0, 1512, -240, -104, 0, 0, 64, -432, 32, 0, 0, 832, 404, -352, 0, 0, -4192, 2112, 1168, 0, 0, -128, 2124, 1152, 0, 0, 920, 0, 24, 0, 0, 1080, 592]