# Trace form for 8019.2.a.k, downloaded from the LMFDB on 25 April 2024.
[0, 51, 0, 0, 60, -6, 0, 12, 0, 0, 18, -51, 0, 30, -12, 0, 78, 0, 0, 30, -18, 0, 0, -3, 0, 75, -9, 0, 36, 0, 0, 42, 15, 0, 42, 9, 0, 48, 3, 0, 54, 0, 0, 18, -60, 0, 42, -30, 0, 99, 30, 0, 60, -18, 0, 6, -21, 0, 30, -24, 0, 99, 0, 0, 114, 15, 0, 39, 39, 0, 48, -30, 0, 69, 0, 0, 90, -12, 0, 48, -42, 0, 42, 21, 0, 84, -24, 0, 0, -15, 0, 69, 66, 0, 66, 12, 0, 72, 57, 0, 120, 30, 0, 51, 18, 0, 54, 18, 0, 114, -18, 0, 84, -24, 0, 60, 51, 0, 48, -42, 0, 51, -6, 0, 126, 60, 0, 36, 30, 0, 48, 15, 0, 105, 78, 0, 126, 33, 0, 78, 36, 0, 42, -30, 0, 96, -48, 0, 96, 18, 0, 81, -12, 0, 12, -21, 0, 108, 66, 0, 126, 42, 0, 54, 63, 0, 84, 51, 0, 135, 75, 0, 54, 36, 0, 84, -78, 0, 48, -60, 0, 168, 69, 0, 126, -78, 0, 0, -33, 0, 72, -45, 0, 93, -6, 0, 180, 0, 0, 90, 111, 0, 78, 18, 0, 120, 36, 0, 120, -30, 0, 90, -114, 0, 84, 30, 0, 81, -36, 0, 18, -57, 0, 63, 36, 0, 69, 18, 0, 171, 21, 0, 66, 60, 0, 33, 21, 0, 15, 24, 0, 141, 0, 0, 174, -84, 0, 66, 93, 0, 51, -144, 0, 3, -144, 0, 138, 54, 0, 108, -54, 0, 42, 21, 0, 108, 156, 0, 42, 18, 0, 108, 78, 0, 12, -75, 0, 96, -144, 0, 48, 24, 0, 27, -84, 0, 9, -174, 0, 123, 72, 0, 129, 24, 0, 30, -51, 0, -54, 18, 0, 201, 93, 0, 159, 84, 0, 117, -36, 0, -9, -150, 0, 51, 105, 0, 135, -48, 0, 0, -189, 0, -30, -6, 0, 159, -84, 0, 12, 0, 0, 84, 147, 0, 90, 126, 0, 63, 60, 0, 36, -42, 0, 78, -210, 0, 102, 51, 0, 210, -66, 0, -15, -63, 0, 48, 78, 0, -63, 6, 0, 135, -93, 0, 72, 60, 0, 45, 294, 0, -18, 90, 0, 63, -42, 0, 171, -90, 0, 75, 153, 0, -27, -60, 0, -9, -192, 0, 6, 15, 0, 99, -84, 0, 24, 21, 0, 174, 186, 0, 66, 63, 0, 27, 90, 0, -87, -48, 0, 102, -204, 0, 84, 87, 0, 9, -66, 0, -3, -168, 0, 132, 93, 0, 30, 0, 0, 36, -138, 0, -120, 42, 0, 60, 126, 0, 129, 132, 0, 150, -54, 0, -69, -48, 0, 120, 114, 0, -24, 12, 0, 0, -222, 0, -78, -18, 0, 45, -90, 0, 48, 0, 0, 6, 45, 0, -51, 27, 0, 168, 114, 0, -90, -18, 0, 87, -276, 0, -219, 78, 0, 192, -90, 0, 60, -108, 0, 54, 93, 0, -69, -24, 0, 120, -138, 0, 87, -33, 0, 90, 300, 0, -27, 90, 0, 15, -42, 0, -153, -39, 0, 54, 177, 0, 36, -6, 0, 30, -207, 0, -90, -6, 0, 36, -69, 0, -42, -15, 0, 102, -177, 0, 36, 120, 0, 63, 204, 0, -153, -99, 0, 216, -261, 0, 168, 117, 0, 108, 0, 0, -30, -210, 0, 111, 123, 0, -39, 54, 0, 195, -186, 0, -126, 60, 0, 219, 96, 0, -69, 153, 0, 72, -60, 0, -150, -69, 0, 177, 372, 0, 63, 24, 0, 18, -189, 0, 24, 3, 0, 249, -120, 0, 24, 60, 0, -6, 48, 0, -237, 117, 0, 138, 189, 0, 27, -6, 0, 96, -186, 0, -84, 249, 0, 93, -114, 0, 21, -123, 0, 177, 225, 0, -66, 21, 0, 99, -75, 0, 6, 96, 0, 66, 231, 0, -78, 198, 0, 204, -30, 0, -27, -33, 0, 84, 336, 0, -33, -126, 0, 24, -201, 0, 60, 90, 0, 0, -87, 0, -186, 66, 0, 249, -156, 0, 96, 177, 0, 21, 243, 0, -63, -99, 0, 51, -183, 0, -27, 99, 0, 126, -18, 0, 0, -57, 0, 207, 132, 0, -183, 96, 0, 168, -45, 0, -30, 39, 0, 60, 159, 0, -60, 198, 0, 81, -114, 0, -66, -69, 0, 192, 312, 0, -42, 24, 0, -15, -306, 0, -204, -90, 0, 213, -213, 0, 150, 39, 0, 78, 225, 0, -78, 39, 0, 294, 171, 0, 159, -39, 0, 66, -660, 0, -108, 270, 0, 213, -96, 0, -39, -117, 0, 84, 324, 0, 72, -48, 0, 165, -138, 0, -84, -69, 0, 9, 108, 0, -72, 144, 0, 204, -48, 0, -45, -414, 0, 126, 255, 0, -111, 42, 0, 30, -390, 0, 102, 105, 0, 123, -117, 0, -138, -9, 0, 144, -6, 0, 72, 132, 0, 72, 327, 0, -96, -69, 0, 90, -327, 0, -183, 78, 0, 198, -78, 0, 0, -264, 0, 129, 375, 0, -9, 207, 0, 3, -6, 0, -24, -6, 0, 354, 288, 0, 63, 135, 0, 0, -90, 0, -72, -165, 0, 177, 312, 0, -18, 84, 0, 12, -321, 0, -36, -33, 0, 282, -6, 0, 48, -21, 0, 102, 9, 0, -66, 198, 0, 54, 189, 0, -150, -48, 0, 87, -354, 0, -48, 189, 0, 177, 78, 0, 42, -237, 0, -30, 339, 0, -129, -69, 0, 213, -291, 0, -24, 99, 0, 21, 216, 0, -144, 189, 0, 321, -42, 0, -9, -480, 0, -45, 279, 0, -285, -114, 0, -21, -585, 0, 108, 6, 0, 6, -150, 0, -78, 150, 0, 309, -75, 0, -219, 54, 0, 78, 234, 0, -216, -84, 0, 57, -234, 0, -252, 18, 0, -12, -66, 0, 24, -261, 0, 270, 132, 0, -336, -135, 0, -33, -48, 0, -279, 12, 0, 75, 183, 0, -15, 78, 0, 15, 0, 0, -231, -72, 0, 144, 309, 0, 144, 24, 0, 15, -873, 0, -393, -264, 0, 111, -30, 0, -168, 60, 0, -30, -117, 0, -273, 297, 0, 258, 117, 0, -123, -69, 0, -75, -591, 0, 60, 63, 0, 207, -75, 0, -66, -270, 0, -108, -123, 0, -240, -84, 0, 414, -135, 0, -261, 21, 0, -6, 387, 0, -339, 195, 0, 6, -66, 0, 45, -192, 0, 30, 348, 0, -189, 138, 0, -12, -687, 0, -120, -204, 0, 27, -168, 0, -234, 84, 0, -48, 105, 0, -144, 273, 0, -27, 576, 0, -270, -72, 0, 252, -345, 0, -96, 30, 0, -108, -138, 0, -57, -402, 0, 126, 405, 0, -99, 54, 0, -159, 132, 0, -90, 87, 0, 162, 216, 0, -60, 405, 0, 39, -120, 0, -249, -129, 0, 90, 513, 0, -426, 21, 0, -30, -531, 0, -180, -60, 0, 90, -297, 0, -228, 48, 0, -78, 60, 0, -6, 207, 0, 204, 342, 0, -189, -51, 0, -222, -321, 0, -474, 231, 0, 237, -63, 0, -18, -387, 0, -108, -90, 0, -429, -33, 0, 12, 105, 0, -30, 51, 0, -90, 375, 0, -360, 171, 0, 165, -54, 0, -159, -207, 0, -84, 348, 0, 24, -120, 0, -18, -165, 0, -336, -69, 0, -255, -285, 0, -186, 108, 0, 276, -189, 0, -429, 144, 0, -252, 294, 0, -378, -114, 0, 3, -450, 0, -6, 24, 0, -153, 135, 0, 18, -327, 0, 138, 417, 0, 90, -81, 0, 42, -144, 0, -327, -66, 0, -54, 66, 0, -105, 372, 0, 138, -84, 0, -330, -99, 0, 69, 780, 0, -330, 168, 0, 24, -918, 0, -234, -285, 0, 231, -288, 0, -204, 111, 0, -240, 222, 0, -351, -54, 0, 279, 357, 0, -60, -60, 0, -162, -582, 0, -402, 171, 0, 9, -15, 0, -51, -282, 0, 60, 9, 0, -210, -126, 0, 21, -99, 0, -432, 42, 0, -57, 312, 0, -231, 222, 0, -15, -48, 0, -168, -222, 0, -183, 732, 0, -96, 402, 0, 42, -486, 0, -246, -129, 0, 54, -216, 0, -414, 93, 0, 189, -150, 0, -66, 357, 0, -261, 540, 0, -588, -51, 0, 231, -63, 0, 33, -33, 0, -180, 324, 0, 6, -423, 0, -66, 276, 0, -216, -39, 0, -189, -75, 0, -132, 138, 0, 144, 423, 0, -351, 231, 0, -75, -126, 0, -210, -165, 0, 63, 903, 0, -342, 171, 0, -60, -975, 0, -330, -177, 0, 168, -126, 0, 162, 135, 0, -264, 93, 0, -594, -117, 0, -99, 291, 0, -18, -36, 0, 144, -741, 0, -282, 225, 0, 198, 18, 0, -30, -258, 0, 66, 93, 0, -447, -216, 0, 33, -3, 0, -270, 150, 0, -324, 402, 0, -75, 156, 0, 39, -48, 0, -252, -429, 0, -273, 456, 0, -486, -33, 0, -15, -483, 0, -405, -156, 0, -114, -267, 0, -531, 114, 0, 42, -180, 0, -180, 396, 0, 12, 375, 0, -171, -105, 0, -57, -537, 0, -489, -222, 0, 21, 486, 0, -78, -366, 0, 183, 111, 0, -681, 99, 0, -186, 240, 0, -288, 75, 0, 168, 333, 0, -285, 54, 0, -330, -126, 0, -531, 54, 0, 387, 156, 0, -87, 246, 0, -33, -354, 0, -435, -423, 0, 72, 108, 0, -90, 54, 0, 9, 30, 0, -357, 204, 0, 258, 393, 0, -693, -78, 0, -84, -681, 0, -330, 186, 0, -165, -18, 0, -36, -369, 0, -177, 246, 0, -150, 87, 0, 303, 438, 0, -381, 183, 0, -186, 249, 0, -441, 216, 0, 51, -42, 0, -102, -186, 0, -189, 822, 0, -567, 369, 0, 30, -339, 0, -156, -93, 0, -42, -450, 0, -438, 504, 0, -72, -69, 0, -129, 171, 0, -27, 771, 0, -333, -96, 0, 66, -165, 0, -330, 99, 0, -72, 207, 0, 48, -210, 0, 279, 243, 0, -327, 45, 0, -309, 282, 0, -420, 30, 0, 63, 300, 0, -636, 96, 0, -186, -96, 0, -360, -213, 0, -90, 312, 0, -69, 111, 0, -18, -570, 0, -288, -396, 0, -183, -234, 0, -531, 162, 0, 33, -84, 0, -519, 144, 0, -48, 171, 0, -393, -81, 0, -318, -309, 0, -252, 378, 0, 261, 27, 0, 12, -459, 0, -294, -87, 0, -558, -105, 0, 111, -75, 0, -330, 123, 0, -174, 393, 0, -303, 168, 0, 189, -12, 0, -264, -33, 0, 60, 969, 0, -462, 93, 0, 21, -912, 0, -597, -414, 0, -33, -690, 0, -84, 636, 0, -96, 162, 0, -582, 93, 0, -210, 744, 0, -333, -108, 0, 96, -678, 0, -288, -345, 0, -222, 6, 0, -66, -300, 0, 126, 351, 0, -213, -396, 0, -303, 264, 0, -444, 12, 0, -6, 123, 0, 123, 435, 0, -201, -126, 0, -270, -24, 0, -36, 516, 0, -558, -36, 0, -42, -615, 0, -240, -507, 0, 45, -501, 0, -651, 165, 0, -150, 132, 0, -210, 336, 0, 120, 747, 0, -351, -54, 0, -207, -150, 0, -453, 201, 0, 54, 12, 0, -63, -561, 0, -249, -135, 0, -624, 69, 0, 180, 342, 0, -444, 75, 0, 6, 390, 0, -636, 153, 0, 135, -84, 0, -381, -507, 0, -78, 381, 0, -264, 516, 0, -51, -216, 0, -258, -99, 0, -231, -267, 0, -192, 261, 0, -15, -204, 0, -426, 183, 0, -399, 735, 0, -627, -135, 0, 474, -651, 0, -414, 3, 0, -354, -78, 0, -75, -237, 0, -108, 45, 0, -174, -609, 0, -153, 216, 0, -405, 81, 0, 6, -99, 0, -585, -21, 0, -45, -54, 0, -240, -144, 0, -249, 567, 0, -582, 30, 0, -36, -993, 0, -276, -93, 0, 180, -432, 0, -588, 180, 0, -291, -237, 0, -588, -123, 0, 111, 207, 0, 24, -84, 0, -456, -315, 0, -468, 237, 0, 141, -225, 0, 78, -462, 0, -165, -12, 0, -375, 9, 0, 87, 39, 0, -531, 96, 0, -231, 150, 0, -195, -63, 0, 48, -48, 0, -669, -84, 0, -348, 498, 0, -204, 336, 0, 60, -414, 0, -204, -585, 0, -378, -729, 0, -474, 315, 0, 87, -309, 0, -288, 351, 0, -123, -177, 0, -768, -168, 0, -48, -96, 0, -138, -108, 0, -84, 318, 0, -69, -327, 0, 144, 135, 0, -381, -279, 0, -138, 99, 0, -294, 198, 0, -6, -75, 0, -528, 126, 0, -174, -126, 0, -162, 9, 0, 453, 1098, 0, -483, 342, 0, 78, -87, 0, -597, -297, 0, 9, -705, 0, -312, 213, 0, -51, 57, 0, -162, 69, 0, -75, 576, 0, 75, 0, 0, -348, -381, 0, -6, 246, 0, -102, -180, 0, 33, -153, 0, 189, -105, 0, -405, -9, 0, 228, 609, 0, -420, 111, 0, -180, 78, 0, -48, 213, 0, 126, -72, 0, -93, -162, 0, -390, 582, 0, -192, 216, 0, 45, -486, 0, -354, -558, 0, -450, -750, 0, -300, 366, 0, 108, -246, 0, -192, 288, 0, -123, -234, 0, -306, -93, 0, 183, -330, 0, -318, -60, 0, -93, 78, 0, 6, -423, 0, -6, -6, 0, -204, -6, 0, -102, 240, 0, -42, 48, 0, 210, 258, 0, -411, 39, 0, -348, -180, 0, -639, -207, 0, 276, 327, 0, 264, 189, 0, 0, -822, 0, -528, -93, 0, 336, -312, 0, 336, 159, 0, 30, -276, 0, -96, 135, 0, -114, 762, 0, -75, -90, 0, 57, -702, 0, -417, 81, 0, 294, -630, 0, -111, -114, 0, 177, 129, 0, -219, 9, 0, 123, 732, 0, 63, 129, 0, -54, 87, 0, -18, -90, 0, 444, -78, 0, -18, -114, 0, -384, 1107, 0, -96, -408, 0, -18, -447, 0, 468, -42, 0, 138, -1086, 0, -66, 639, 0, 78, -138, 0, -180, 219, 0, 105, 378, 0, 87, -120, 0, 60, -165, 0, 450, 18, 0, -435, -123, 0, -36, -255, 0, 351, 213, 0, -255, -267, 0, -291, 693, 0, -138, 564, 0, 450, 300, 0, -81, 81, 0, -42, -120, 0, -21, -99, 0, 126, 705, 0, -297, 300, 0, 30, -150, 0, 12, -459, 0, -27, -204, 0, -69, 324, 0, -6, 96, 0, 18, 84, 0, 147, -72, 0, 165, -90, 0, -72, -204, 0, -48, 204, 0, 297, 63, 0, 114, -375, 0, -141, 6, 0, -87, -111, 0, 426, 696, 0, 270, 180, 0, -342, -135, 0, -36, 108, 0, -30, -84, 0, 564, -231, 0, -30, 588, 0, -372, -195, 0, -30, -801, 0, -573, -189, 0, 204, -1272, 0, 132, 384, 0, 240, -255, 0, -18, 264, 0, 87, 282, 0, 306, -81, 0, 303, -579, 0, -330, -108, 0, -423, 72, 0, 36, -462, 0, 231, 99, 0, 99, -690, 0, 6, 651, 0, -558, 204, 0, 207, 108, 0, -84, 327, 0, 48, -18, 0, -78, 66, 0, 234, 837, 0, 207, 246, 0, 57, -612, 0, -219, -612, 0, 246, -1533, 0, -354, 108, 0, -132, 168, 0, 135, 198, 0, 321, 189, 0, -150, -63, 0, -234, -309, 0, 252, 261, 0, 174, -438, 0, -36, -399, 0, -186, 90, 0, 210, 9, 0, -102, 267, 0, 558, 300, 0, -195, 504, 0, -216, -63, 0, 291, -69, 0, -36, -219, 0, 57, 732, 0, -333, -84, 0, -18, -411, 0, -228, -159, 0, -306, -1404, 0, -90, 354, 0, 450, -222, 0, 117, 408, 0, -90, 921, 0, -243, -171, 0, 108, 111, 0, 198, 207, 0, -264, -24, 0, -21, -258, 0, 330, 243, 0, -33, -213, 0, -90, 1164, 0, -162, 465, 0, 108, 48, 0, 102, -135, 0, -48, -66, 0, 465, 471, 0, 150, 480, 0, -102, 198, 0, -60, 75, 0, -120, -162, 0, 276, -954, 0, 192, 378, 0, 6, 0, 0, -180, 78, 0, 309, 294, 0, -66, -33, 0, 117, -588, 0, -90, 60, 0, 84, -297, 0, -21, -435, 0, -24, 15, 0, 174, -291, 0, 240, -39, 0, 114, 102, 0, 87, 459, 0, -132, -117, 0, 327, -15, 0, -624, -12, 0, -108, 624, 0, 249, 417, 0, -24, -1005, 0, 84, -456, 0, -363, -342, 0, -6, 837, 0, 201, -441, 0, 234, 426, 0, -351, -462, 0, -36, -141, 0, 261, -228, 0, 432, 51, 0, 348, -57, 0, 0, -387, 0, 120, 153, 0, 3, -78, 0, 210, 819, 0, 9, 126, 0, 195, 99, 0, 129, -153, 0, -336, -174, 0, 420, 354, 0, 246, 1278, 0, 468, 216, 0, 84, -21, 0, -429, -87, 0, 576, -1707, 0, -444, 207, 0, -114, 30, 0, 186, 177, 0, 165, 651, 0, 297, -66, 0, 90, -99, 0, 267, 483, 0, 345, -663, 0, -93, -273, 0, -288, 138, 0, 462, -198, 0, 66, 309, 0, 354, 261, 0, 168, 348, 0, 423, 192, 0, 558, -51, 0, -246, -81, 0, -303, 933, 0, -390, 168, 0, 144, 153, 0, 1068, 162, 0, -369, -588, 0, -99, 507, 0, 264, -234, 0, 528, 315, 0, -108, 105, 0, -48, -3, 0, 228, 312, 0, -240, -24, 0, -81, 123, 0, 144, -297, 0, 282, 546, 0, 243, -474, 0, 51, 483, 0, 810, 600, 0, 123, 270, 0, 615, -270, 0, -207, -138, 0, -273, 66, 0, 498, 678, 0, 78, 174, 0, -54, 63, 0, -258, -348, 0, 54, -1407, 0, 618, 288, 0, 102, -213, 0, 324, 216, 0, 426, 297, 0, 231, -108, 0, -90, -312, 0, 144, 237, 0, 48, -660, 0, 54, -300, 0, -48, -69, 0, 630, -66, 0, 546, 669, 0, -546, 105, 0, -180, -15, 0, -180, -12, 0, 348, -42, 0, 438, -474, 0, -174, 474, 0, 612, -180, 0, -21, -114, 0, 285, -108, 0, 45, -873, 0, 243, 507, 0, 84, -117, 0, -315, 174, 0, 153, 639, 0, 108, -108, 0, 483, 27, 0, 183, 126, 0, -63, -501, 0, -156, -999, 0, 372, 600, 0, 876, -453, 0, -126, 267, 0, -183, 411, 0, 630, 306, 0, 816, 0, 0, -306, -42, 0, 285, -93, 0, 192, 1188, 0, 111, 465, 0, -18, -1632, 0, -24, -156, 0, 618, -483, 0, -243, 291, 0, 294, 279, 0, 516, 177, 0, 69, -96, 0, 492, -108, 0, -105, -216, 0, 243, 372, 0, 333, -564, 0, -78, -552, 0, 30, 243, 0, -225, -63, 0]