# Trace form for 1205.2.k, downloaded from the LMFDB on 20 April 2024.
[0, 240, 0, 0, 240, 0, -32, 0, 0, 240, -20, 0, 0, 0, -4, -16, 224, 0, 0, -8, 0, -12, 0, 0, -104, 24, 12, 0, 0, 0, 0, -4, 0, 0, -32, -2, 224, 0, 0, 0, -44, 0, 0, 0, -44, 0, 16, 0, 0, 0, 0, 0, 0, 0, -176, 34, -32, 0, 0, 0, -92, 0, 0, 0, 232, -32, 76, 0, 0, -20, 24, -36, 0, 0, -68, 0, -112, 0, 0, 0, 0, 176, 0, 0, -128, -26, 12, 0, 0, 0, -180, 16, 0, 0, -120, -44, -104, 0, 0, -24, 28, 0, 0, 0, -188, 76, -8, 0, 0, -16, 80, 16, 0, 0, 92, -16, 0, 0, 0, -120, 0, 0, 0, 0, 96, 0, -104, 0, 0, -12, 18, -76, 0, 0, 96, 12, -176, 0, 0, 0, -78, 16, 0, 0, 88, 84, -16, 0, 0, 24, -160, -48, 0, 0, -112, 2, 124, 0, 0, 16, -120, 0, 0, 0, 0, -104, 0, 0, 0, 0, 56, -80, 0, 0, 0, 44, -60, 0, 0, 64, 0, 168, 0, 0, 64, 40, 20, 0, 0, 44, 46, 0, 0, 0, 0, 122, 0, 0, 0, -36, 0, 80, 0, 0, 36, 92, 24, 0, 0, 0, -94, 0, 0, 0, 0, -58, -552, 0, 0, 116, 290, 0, 0, 0, -56, 116, 120, 0, 0, 0, -12, 112, 0, 0, -220, 8, 0, 0, 0, 0, -156, 196, 0, 0, 0, -148, 0, 0, 0, 0, -268, 304, 0, 0, -208, -94, 176, 0, 0, 0, -48, 0, 0, 0, 8, 4, -64, 0, 0, -204, 0, 0, 0, 0, -264, -30, -452, 0, 0, 28, 24, -80, 0, 0, -512, -84, 0, 0, 0, 0, 0, 0, 0, 0, 0, 60, -328, 0, 0, -208, 0, 176, 0, 0, -284, -20, 100, 0, 0, -164, -68, -12, 0, 0, -160, 112, 0, 0, 0, 188, 0, 0, 0, 0, -136, 90, 52, 0, 0, -12, -230, 248, 0, 0, 72, -412, 96, 0, 0, 0, -76, -32, 0, 0, 232, 54, -308, 0, 0, 0, 148, -228, 0, 0, 0, -68, 284, 0, 0, 176, -348, 0, 0, 0, -32, -110, 0, 0, 0, 0, -72, -168, 0, 0, 0, 44, -400, 0, 0, -112, -74, 144, 0, 0, -608, -200, 56, 0, 0, 32, -338, 120, 0, 0, -320, -24, -472, 0, 0, 32, 120, 48, 0, 0, 44, 0, 360, 0, 0, -24, 0, -24, 0, 0, -100, 0, -176, 0, 0, 304, 102, 0, 0, 0, 408, 202, 248, 0, 0, 0, 66, 20, 0, 0, 0, 0, -144, 0, 0, -92, 244, 0, 0, 0, 516, -10, 632, 0, 0, -212, 0, 100, 0, 0, 216, 0, 228, 0, 0, -180, -64, 48, 0, 0, 0, -182, 200, 0, 0, 40, 0, 224, 0, 0, 0, 56, 344, 0, 0, 0, 0, -168, 0, 0, 0, 0, 192, 0, 0, 256, 0, 360, 0, 0, 0, 230, 268, 0, 0, 408, 0, 148, 0, 0, -416, 270, 544, 0, 0, 0, 126, 0, 0, 0, 0, -24, -12, 0, 0, 72, -208, -192, 0, 0, 24, 240, 364, 0, 0, 0, 0, 0, 0, 0, 472, 0, 584, 0, 0, -244, 280, 0, 0, 0, -836, 114, -352, 0, 0, 0, -52, 80, 0, 0, 0, 356, -48, 0, 0, 0, -66, 0, 0, 0, 32, -176, 444, 0, 0, -8, 30, 272, 0, 0, -292, -84, -128, 0, 0, 664, 584, -132, 0, 0, 264, -258, 332, 0, 0, 24, 0, -320, 0, 0, 284, 0, -96, 0, 0, 108, -288, 88, 0, 0, 376, -104, 88, 0, 0, 124, 0, 80, 0, 0, 312, 0, 88, 0, 0, 16, 444, -28, 0, 0, 396, -248, 248, 0, 0, -200, -180, 200, 0, 0, -20, 184, 144, 0, 0, -64, 12, -288, 0, 0, 0, -272, 0, 0, 0, -184, 2, 0, 0, 0, 232, -108, 0, 0, 0, 240, -602, 136, 0, 0, 0, -808, -896, 0, 0, -240, 0, 100, 0, 0, 0, 0, 0, 0, 0, 124, -170, -524, 0, 0, -1028, -138, -136, 0, 0, -400, 314, 0, 0, 0, 0, 66, 0, 0, 0, -32, 424, -496, 0, 0, -156, 0, 44, 0, 0, 80, 174, 0, 0, 0, -400, 0, 212, 0, 0, 208, 0, 0, 0, 0, 744, 0, 0, 0, 0, 360, 130, 0, 0, 0, 308, 0, -20, 0, 0, 632, 154, 0, 0, 0, -664, 338, -616, 0, 0, 72, 0, 96, 0, 0, 316, 0, 232, 0, 0, 768, 424, -40, 0, 0, 0, -296, 520, 0, 0, -396, 0, 0, 0, 0, -364, 82, 0, 0, 0, 432, 502, 56, 0, 0, 0, 130, 480, 0, 0, -176, 0, 368, 0, 0, 580, 0, 184, 0, 0, 68, 0, -800, 0, 0, 352, 140, 584, 0, 0, -36, -716, 136, 0, 0, 280, 42, -276, 0, 0, 1024, 224, -160, 0, 0, 276, 52, -256, 0, 0, 528, -84, 0, 0, 0, -36, 240, 0, 0, 0, 0, -392, -64, 0, 0, 0, -500, -56, 0, 0, -140, -238, 0, 0, 0, 620, -94, 0, 0, 0, 328, 2, 40, 0, 0, -1696, -72, 824, 0, 0, -116, 20, 364, 0, 0, 336, -444, 120, 0, 0, -188, 1322, -552, 0, 0, 0, 0, 36, 0, 0, 0, 76, -168, 0, 0, -388, 180, -204, 0, 0, -76, -488, -288, 0, 0, -448, 0, 256, 0, 0, -12, 716, 0, 0, 0, 0, 0, 0, 0, 0, 0, -282, 248, 0, 0, -1184, 160, -460, 0, 0, -60, 606, 4, 0, 0, 0, 0, -1040, 0, 0, 384, 1268, -416, 0, 0, 0, 310, 0, 0, 0, 72, -30, -408, 0, 0, -344, 352, 0, 0, 0, 0, -64, 0, 0, 0, 192, -300, 0, 0, 0, 0, -392, -272, 0, 0, -136, -64, 0, 0, 0, 256, 572, -1088, 0, 0, 0, 76, 204, 0, 0, -664, 502, 0, 0, 0, 0, 174, 0, 0, 0, 452, -772, -664, 0, 0, 592, 0, -16, 0, 0, 0, 76, 0, 0, 0, 0, 266, -1348, 0, 0, 40, -660, 116, 0, 0, -128, 0, 712, 0, 0, 504, 898, 0, 0, 0, -4, -138, 0, 0, 0, 0, 284, 0, 0, 0, 0, -128, -232, 0, 0, 280, -428, 128, 0, 0, -128, -700, 484, 0, 0, 464, -804, -1280, 0, 0, 304, -70, -84, 0, 0, 16, -292, -176, 0, 0, -228, -166, -1288, 0, 0, 140, 0, -240, 0, 0, 0, 0, -128, 0, 0, 0, 548, -340, 0, 0, 4, -452, -616, 0, 0, 352, -22, -108, 0, 0, -1020, 296, -296, 0, 0, -848, 474, 864, 0, 0, 408, -128, -84, 0, 0, 268, -106, -228, 0, 0, 464, 0, 0, 0, 0, -336, 0, 496, 0, 0, -268, -44, -1048, 0, 0, 132, 326, -456, 0, 0, 0, -124, 0, 0, 0, -384, -198, -160, 0, 0, -924, 0, 0, 0, 0, -384, 0, 540, 0, 0, 0, -516, 612, 0, 0, -496, -238, 380, 0, 0, -508, 0, 0, 0, 0, -408, 932, -720, 0, 0, -1280, 0, -304, 0, 0, 232, 224, -96, 0, 0, 340, -276, -576, 0, 0, 184, 0, 280, 0, 0, 1016, -954, -592, 0, 0, 240, 0, 352, 0, 0, 216, -96, -612, 0, 0, -220, -308, -1224, 0, 0, -124, 0, 244, 0, 0, 24, 1584, -596, 0, 0, 0, 0, -4, 0, 0, 216, 140, -152, 0, 0, 380, -252, 0, 0, 0, -208, 0, 564, 0, 0, 0, 0, -72, 0, 0, -544, 802, -204, 0, 0, 0, -444, 0, 0, 0, -752, -352, -180, 0, 0, 372, 260, -40, 0, 0, -380, 0, -212, 0, 0, 0, 0, 360, 0, 0, -248, -158, 508, 0, 0, -524, -660, -488, 0, 0, 376, -494, -528, 0, 0, 300, 748, -252, 0, 0, -488, -132, -1384, 0, 0, 200, 188, -36, 0, 0, 488, -868, 0, 0, 0, 1008, 0, 0, 0, 0, 96, 0, 156, 0, 0, 220, 274, 196, 0, 0, 152, -636, -604, 0, 0, -52, 212, 440, 0, 0, -72, 1020, -304, 0, 0, 4, 296, 688, 0, 0, -608, 0, 472, 0, 0, 128, -168, 0, 0, 0, 0, -200, 0, 0, 0, 0, 50, 196, 0, 0, 0, 752, -532, 0, 0, -412, 0, 1112, 0, 0, 148, 524, -52, 0, 0, -268, -26, 0, 0, 0, 0, -34, 0, 0, 0, 484, 0, 1728, 0, 0, -72, 632, 564, 0, 0, 0, 40, 0, 0, 0, 0, -280, -1232, 0, 0, 1328, 696, 0, 0, 0, -232, 748, 528, 0, 0, 0, -448, 632, 0, 0, -692, -740, 0, 0, 0, 0, -684, 1080, 0, 0, 0, -700, 0, 0, 0, 0, -1344, 8, 0, 0, -584, -24, 40, 0, 0, 0, -288, 0, 0, 0, -244, -44, -440, 0, 0, -584, 0, 0, 0, 0, -104, 128, -264, 0, 0, 336, 218, 160, 0, 0, -1084, -174, 0, 0, 0, 0, 0, 0, 0, 0, 0, 388, -560, 0, 0, -680, 0, 1016, 0, 0, -200, 496, 96, 0, 0, -644, -334, -520, 0, 0, -584, 684, 0, 0, 0, 1584, 0, 0, 0, 0, -320, 682, 148, 0, 0, -492, -222, 776, 0, 0, -628, 136, -440, 0, 0, -832, -206, -320, 0, 0, 480, 910, -1060, 0, 0, 0, 150, 248, 0, 0, 0, -930, 184, 0, 0, -32, -852, 0, 0, 0, 96, -566, 0, 0, 0, 0, 312, -968, 0, 0, 0, -704, -304, 0, 0, -836, -396, 1176, 0, 0, -1016, 112, 504, 0, 0, -1072, -156, 912, 0, 0, -884, -640, -84, 0, 0, 1256, 40, -1296, 0, 0, 344, 0, 764, 0, 0, 328, 0, -668, 0, 0, -340, 0, -496, 0, 0, 1704, 116, 0, 0, 0, -8, 972, -48, 0, 0, 0, 412, 1184, 0, 0, 0, 0, 368, 0, 0, 256, 480, 0, 0, 0, 448, 226, 456, 0, 0, -452, 0, 1008, 0, 0, 1032, 0, 560, 0, 0, 200, -96, 648, 0, 0, 0, 168, -800, 0, 0, 488, 0, 1100, 0, 0, 0, 1266, -16, 0, 0, 0, 0, -352, 0, 0, 0, 0, 80, 0, 0, 308, 0, 1032, 0, 0, 0, 794, 576, 0, 0, 1304, 0, 820, 0, 0, -296, 1010, 976, 0, 0, 0, 286, 0, 0, 0, 0, -136, 308, 0, 0, -260, 254, -256, 0, 0, 68, 586, 852, 0, 0, 0, 0, 0, 0, 0, 476, 0, 256, 0, 0, -280, -312, 0, 0, 0, -920, -292, -96, 0, 0, 0, 224, 196, 0, 0, 0, 464, 256, 0, 0, 0, -282, 0, 0, 0, 432, -1028, 308, 0, 0, 656, 84, 1112, 0, 0, -840, 620, -240, 0, 0, 2040, 1316, -568, 0, 0, 356, -690, 8, 0, 0, 920, 0, -988, 0, 0, 772, 0, -312, 0, 0, 1260, -256, -960, 0, 0, 392, -744, 136, 0, 0, 1280, 0, 4, 0, 0, 888, 0, -136, 0, 0, -524, 298, -708, 0, 0, 580, -580, 1136, 0, 0, -1128, 412, 1080, 0, 0, 260, 598, 560, 0, 0, -1212, 476, -568, 0, 0, 0, -524, 0, 0, 0, -72, -386, 0, 0, 0, 596, 98, 0, 0, 0, 1072, -306, -40, 0, 0, 0, -1400, -956, 0, 0, 576, 0, -376, 0, 0, 0, 0, 0, 0, 0, -540, 54, -828, 0, 0, -500, -1854, 348, 0, 0, -704, 676, 0, 0, 0, 0, 90, 0, 0, 0, -888, 740, -1420, 0, 0, 412, 0, 856, 0, 0, 648, 248, 0, 0, 0, 72, 0, 112, 0, 0, -2008, 0, 0, 0, 0, 1288, 0, 0, 0, 0, -176, 558, 0, 0, 0, 708, 0, -56, 0, 0, 104, 334, 0, 0, 0, -200, 734, 28, 0, 0, 144, 0, 456, 0, 0, 920, 0, -124, 0, 0, 2024, 576, -324, 0, 0, 0, -734, 804, 0, 0, -1404, 0, 0, 0, 0, 348, 1196, 0, 0, 0, 884, 300, -608, 0, 0, 0, 292, 568, 0, 0, -480, 0, 700, 0, 0, -356, 0]