# Trace form for 6422.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 233, 1, -4, 233, -6, -6, -6, 1, 235, 2, 8, -4, 0, -4, -4, 233, 8, 13, -1, -6, -4, -4, -14, -6, 223, 0, -16, -6, 2, 12, -20, 1, 0, 18, 36, 235, -2, 3, 0, 2, -6, 26, -12, 8, -10, 4, 4, -4, 211, 15, 32, 0, 26, -18, -8, -4, -2, 0, -12, -4, 10, 28, 32, 233, 0, 36, -4, 8, 12, -4, 12, 13, -36, 18, 52, -1, 20, 0, 20, -6, 241, 26, 48, -4, 40, 24, 26, -4, 6, 38, 0, -14, 20, -24, -2, -6, 38, 33, 52, 223, 22, 54, -40, 0, 148, 8, 76, -16, -6, 40, 12, -6, 62, 4, -28, 2, 0, -10, 26, 12, 249, 2, 120, -20, 60, 32, 28, 1, 36, 0, 4, 0, -8, 6, 100, 18, -16, 26, 4, 36, -16, -8, 0, 235, 0, 26, -12, -2, 6, -2, -16, 3, 42, -24, -8, 0, -6, 0, 26, 2, 6, -7, 8, -6, -16, -12, -16, 26, 0, -124, -13, -12, -102, -68, -74, 8, -58, -102, -12, -10, -18, 0, 76, 4, -160, -36, -100, 4, 20, -2, -14, -4, 2, -122, 0, 211, -74, 44, -38, 15, -26, -10, 88, 32, -112, -52, -40, 0, 0, -28, -20, 26, 72, -50, 40, -18, -84, -76, 80, -8, 0, -32, -96, -4, 181, -22, -28, -2, -122, -20, 72, 0, -98, 0, 24, -12, -40, 28, 50, -4, -38, -27, 148, 10, -58, -32, 0, 28, 8, -144, 8, 32, 84, -64, -28, 233, 30, 28, 16, 0, 38, -16, -20, 36, -96, -10, -52, -4, -150, -60, -30, 8, 0, 82, 16, 12, -82, 16, -216, -4, -46, 8, 12, 12, 28, 0, 112, 13, 305, -100, 0, -36, 10, -20, 84, 18, 32, 46, 0, 52, -60, -4, 80, -1, 20, 58, -20, 20, 60, -64, 98, 0, -136, 10, 208, 20, -30, 36, 24, -6, -62, 112, -18, 241, 0, 48, -42, 26, 88, 32, -84, 48, 94, 48, -164, -4, 142, 0, 96, 40, 72, 9, 42, 24, 76, 38, 40, 26, -98, -76, 0, -4, 44, 8, 72, 6, 20, -16, 54, 38, 233, -74, 52, 0, -60, -32, -12, -14, 26, 68, 16, 20, 42, -56, -40, -24, 0, 142, -28, -2, 128, 12, 104, -6, 216, -2, 56, 38, 62, 0, 18, 33, 220, -142, 80, 52, -6, -20, 30, 223, 114, 40, 0, 22, -158, -2, 72, 54, -26, 20, 48, -40, 188, 32, 32, 0, -4, -8, -76, 148, -6, -14, 100, 8, -20, -52, -56, 76, 0, 48, 28, -16, 42, 60, 60, -6, -4, -22, 160, 40, 347, 0, 116, 12, 260, 36, 0, -6, 10, 211, 136, 62, 44, -58, 0, 4, -12, -42, 224, -28, -66, -52, 92, 2, -264, 42, -512, 0, 180, -112, -412, -10, 104, -12, -31, 26, -530, 84, 92, 12, 0, 98, 296, 249, -412, -40, -120, 2, -60, 94, 152, 120, -12, 0, -408, -20, -108, 108, 16, 60, -8, -32, 210, 32, 140, 48, 0, 28, 46, 4, 102, 1, 34, 62, -256, 36, 16, 36, -36, 0, -566, -114, 140, 4, 92, -24, 36, 0, 395, -76, -276, -8, 0, 28, -12, 6, -600, 6, 4, 100, -14, 12, 12, 18, -32, 0, -20, -16, 50, -20, 8, 26, 124, -46, -456, 4, -38, 112, 0, 36, -64, 114, 212, -16, 164, -36, -110, -8, -90, 12, 136, 0, 100, 24, -474, 235, 48, -141, 20, 0, 36, 20, 136, 26, 0, -32, -140, -12, -12, 76, -24, -2, 106, 180, 396, 6, -692, 0, 88, -2, 126, 44, -52, -16, -230, -156, 76, 3, -86, -16, 0, 42, 50, 36, 152, -24, 130, -32, 92, -8, -644, -116, 196, 0, 285, -38, -44, -6, -60, 64, -68, 0, 134, 128, 160, 26, 0, 4, 144, 2, -62, 32, 132, 6, -8, 24, -486, -7, 128, 0, 116, 8, 50, 76, -64, -6, -238, 56, 60, -16, -134, 98, 0, -12, -36, 70, 248, -16, -148, 100, -80, 26, -118, -26, -464, 0, -90, 100, 12, -124, 6, -32, -52, -13, -60, -44, 44, -12, 0, -76, -156, -102, 112, 56, -208, -68, 76, -42, 96, -74, -82, 0, 2, 8, -576, 58, 36, -58, 94, 0, -192, -102, -76, 118, 0, -12, -132, 108, -30, -10, 152, 1, -160, -18, 170, 18, 90, 0, 301, 104, -52, 76, 130, -104, -152, 4, -440, 210, -92, -160, 0, 30, 84, -36, -40, -148, 164, -100, -36, 192, 80, 4, 76, 0, 160, 20, -154, 78, -16, -2, -8, -148, 120, -14, -12, 148, 0, -4, -108, 136, -444, 2, -286, -44, -12, -122, 44, 102, 18, 0, 184, 4, 198, 211, -236, -28, 92, -74, 208, -32, -124, 44, 0, -58, -260, -38, -258, -28, 144, 15, -102, 58, -224, -26, 48, 0, -460, -10, -96, 106, -100, 88, 52, 80, -228, 32, -24, 70, 0, -112, 26, 126, -246, -52, -408, 10, -68, -40, -142, -120, 28, 0, -74, 44, 240, 0, -100, 40, 124, -28, 361, 36, -184, -20, 0, -696, 194, 26, -480, 126, 112, 72, 98, -484, 66, -50, 98, 0, -320, 40, -664, 88, 20, -18, 108, 94, -276, -84, 152, -540, 0, -76, 130, -6, -356, 80, 98, 8, 70, -8, -526, 21, 232, 0, -348, 36, 236, -32, -44, 100, 232, -96, -272, -496, 128, -4, 0, -22, -212, 181, 124, -176, -92, -22, 140, -24, 340, -28, -382, 0, 28, -2, -188, 114, -72, -122, -140, 170, 302, -20, -256, 134, 0, 72, 250, -552, -656, 0, 100, -144, -1, -98, 148, 16, -244, 0, 172, -54, 328, 24, -6, -112, 152, -12, -4, 152, 0, -40, 0, 37, -58, 28, 126, 6, 52, 50, 172, 40, 214, -4, 241, 0, 188, -38, -112, -622, 60, -27, -38, -76, -596, 148, 196, 68, 0, 10, 238, 132, 40, -58, -178, 52, -164, -32, 88, 134, 184, 0, -380, -8, 100, 28, 138, 240, 20, 8, 278, -72, 204, -144, 0, -104, 64, 8, 388, 4, 56, 32, 22, -192, 12, 84, -30, 0, -292, -64, -318, -470, 124, -28, -62, 20, -200, 233, -106, -8, 0, 30, 140, -376, 156, 28, 240, 8, -264, 16, -216, 248, -664, 0, -436, -62, -20, 38, 0, -58, -204, -16, 98, -522, 168, -20, 0, 156, 268, 36, 384, 177, 32, -96, -222, 72, -364, -10, -200, 0, 72, -52, 54, -508, -52, -4, -144, 256, -184, -150, 220, -252, 0, -60, 104, -98, -4, -30, 176, -112, 150, 8, 763, 200, 92, 0, 318, 128, -60, 82, -218, 14, 136, 16, -240, 34, 26, 12, 0, 336, 296, -82, -174, 0, 336, 16, 274, -470, -488, -216, 142, 0, -58, -4, 26, 84, 4, -46, 12, -112, 232, 8, 206, -24, 0, 12, 192, -148, -404, 12, -10, -14, 72, 28, 276, 44, 472, 0, -368, -102, 160, 112, 100, 84, -22, 13, 90, 82, -144, 305, 0, -352, -58, -100, 100, 16, -180, 0, -92, 260, -784, -36, -656, 0, 148, 10, 28, 44, 20, -20, 72, -20, 440, 84, -126, -40, 0, 18, -88, 162, 68, 32, -348, -84, 68, 46, 162, -166, 396, 0, -36, 16, 104, 52, -4, -74, -48, -60, -64, -240, 204, -4, 0, -734, -264, 80, 226, -48, 112, -1, -168, 88, 112, 20, -376, 0, -374, 58, 237, -34, -140, -20, 118, 208, 356, 20, -54, 82, 0, 60, 58, 40, -130, -64, 150, -82, 64, 98, -536, -68, 348, 0, 290, -35, 248, -136, -88, 16, 40, 10, 28, -132, -56, 208, 0, 56, -390, 20, 316, 32, -288, -30, -304, -376, 40, 36, 58, 0, 368, 24, -334, 184, -134, -6, 220, -82, 204, -62, 68, -496, 0, 112, -108, -48, 236, -18, 16, 4, -8, 241, 116, -180, 436, 0, 74, 92, -484, 48, -92, 186, -220, -42, -48, 336, -10, 26, 0, 258, 160, 88, 448, -50, -260, 32, -166, -8, -40, -84, 122, 0, 274, 48, -184, -12, 48, 94, -96, -26, -592, 48, -58, -488, 0, -164, 214, 64, 292, -4, 4, 74, 228, 142, 24, -102, 232, 0, 56, -92, -216, 96, -76, 152, -120, 40, -54, -224, 24, 72, 0, 172, -84, 9, 475, -152, 184, 42, 138, -368, -360, 24, 416, 0, 312, 76, 366, 144, -304, 38, 204, -352, 46, 40, -56, 72, 0, 26, -122, -176, -200, -98, -200, 172, 40, -76, 708, 70, -76, 0, 24, -38, 406, -4, 174, -152, -76, 44, 250, -784, -296, 8, 0, 210, 304, 72, -482, 56, -14, 6, 18, 172, 252, 20, 190, 0, 326, -16, 366, 82, -144, 54, -16, 188, 352, 38, -256, -156, 0, 233, -46, 24, 28, -74, -28, -64, 172, 52, 6, -92, -408, 0, -192, -107, 100, -60, -76, -4, 24, -32, 92, 106, 60, -12, 0, -168, 256, -14, 248, -28, -276, 26, -196, 212, -530, 68, -874, 0, 32, 16, -952, 124, -138, 20, -78, 132, -688, 42, -106, -4, 0, -56, -180, -618, -892, -40, 48, -64, 48, -24, -324, 152, 172, 0, -996, -168, 272, 142, 24, 66, -280, -28, 200, 492, -296, -2, 0, -786, -364, 128, -678, 114, -100, 12, -248, -768, -248, 104, 172, 0, -1016, -6, -442, -146, 7, 216, -44, -68, -586, -2, 176, -788, 0, 56, -214, 372, -520, 38, 50, -56, -132, 62, -294, 22, 8, 0, 240, -64, 296, 18, -96, -220, 20, 33, -1134, -656, 492, 220, 0, -586, 32, -142, 48, -56, -132, 80, 220, 136, 426, 52, -628, 0, -164, -6, -524, -300, 64, -20, -110, -192, 248, 30, -150, 216, 0, 223, 176, -714, 192, 114, 500, -16, 42, 40, -126, -404, -692, 0, -42, 152, -348, 22, -96, 34, -80, -158, -378, 314, 64, -2, 0, 90, 196, 72, -386, -256, 356, 54, -20, 48, -452, -26, -86, 0, -376, 20, 56, -618, 92, 48, -104, 36, 340, -40, -112, 476, 0, 188, -12, 158, -324, 32, 42, -140, -160, 32, -1248, -108, 60, 0, -368, 314, -52, -4, -98, -256, 84, -8, 26, 132, -20, -76, 0, -76, 38, 148, 231, 63, -304, -6, -140, -472, 288, -14, -680, 0, -18, 100, 242, 220, 288, 8, 82, -268, 20, -20, 464, 84, 0, -52, 64, 46, 224, -56, 258, 26, -206, 76, 480, 242, 620, 0, -532, 292, -1200, 48, 104, -408, -148, 28, -244, 72, -64, -16, 0, -76, -48, 42, 26, 16, 128, 60, 394, 136, 264, 60, 82, 0, 256, -6, -412, -602, 260, -4, 36, 80, -696, -22, -140, 216, 0, 160, -352, 228, 294, 40, -456, 146, 232, 347, -132, 112, 36, 0, 108, -268, 604, 116, -226, -8, -108, 12, -558, 112, 296, 260, 0, 340, -306, 36, -900, -20, 376, 0, -110, 72, 96, -6, 368, 0, -160, 10, -136, -548, 76, 211, 230, -98, 484, 136, -6, -180, 0, 62, 426, -616, 380, 44, -362, 14, -228, -58, -756, -370, -456, 0, -880, -4, -316, 4, -12, 16, 72, -12, -500, 264, -62, -42, 0, -116, 392, 224, -248, 132, 176, -28, 232, 312, 74, -66, -528, 0, -342, -52, 345, -134, 136, 92, 64, 144, -484, 2, 4, 26, 0, -264, -134, -11, -526, 42, 0, 42, 96, -512, -156, 32, -68, 0, -276, 170, 212, 180, 494, 258, -330, -112, 0, -720, -344, -412, 0, 280, -100, -10, -358, -124, -152, 104, 264, -136, 300, -12, 566, 0, -740, -31, -130, 268, -248, 26, 184, 150, -504, -530, -412, 396, 0, 84, 234, -424, 24, 92, 232, -164, -22, 12, -444, 49, -60, 0, 368, 20, 160, 98, -12, -220, 108, 296, 290, -288, 176, 249, 0, 72, -68, -412, -676, -56, -30, -40, -100, 12, 156, -120, -266, 0, 452, 2, 536, 94, 220, -60, -44, 192, -116, 94, -80, -794, 0, 152, 632, -72, 560, 120, -360, 68, -208, -12, 34, 608, -84, 0, 490, -236, 332, -408, 252, 124, 110, -20, -404, 112, 236, -108, 0, -148, 8, 108, -138, -94, 188, 16, 154, 424, -350, 60, -118, 0, -332, -8, -744, 286, 136, -32, 178, -276, 416, 210, -280, -14, 0, 32, -90, -30, 472, 140, 24, -204, -252, 48, -169, 122, -780, 0, -86, 180, -498, 28, -6, 186, 72, 46, 64, -454, -44, 4, 0, 60, -108, 102, 256, 280, 148, 1, -136, -422, 432, 34, 142, 0, -404, 62, -104, 158, -24, -256, -202, 192, -112, 36, 516, 314, 0, 16, -98, -456, -20, 36, 68, -120, 408, -36, 500, 152, -912, 0, 430, 152, 292, -566, -392, -168, 28, -114, -158, 64, 72, 140, 0, 448, -24, 4, -238, -70, 244, 92, 52, -24, -456, -24, -932, 0, 232, 36, -48, 68, -16, 0, -104, -196, 232, 395, 152, 162, 0, -76, 280, 502, -216, -276, 128, -36, -84, -8, -494, -248, 596, 0, 288, -152, 100, 28, 0, 78, 132, -12, -534, 48, -440, 6, 0, -304, 14, -600, 272, 16, -88, 6, -256, 198, -80, 4, 36, 0, -588, 100, 158, -72, 100, -14, -84, -6, 688, 12, -94, -536, 0, 12, 20, 284, 334, 18, -466, -95, -124, -32, -708, -210, -44, 0, -60, -90, -120, -20, 212, -396, -194, -16, 220, 250, 64, 50, 0, -228, -244, -20, 328, -256, 164, 8, -34, 100, 448, 26, 121, 0, 444, 124, 26, -384, -288, -46, -24, 246, 424, -456, -86, 152, 0, 4, -230, 192, 532, -38, 244, 80, 268, 112, 264, -4, -1120, 0, -198, 84, -638, 36, -232, 36, -100, -64, 476, 180, -30, 114, 0, -384, -224, 212, 544, -56, -576, -16, -148, -30, -520, 164, 108, 0, 228, -36, 632, 272, 40, -110, -62, -204, -100, -8, 150, 536, 0, -90, -48, 14, -396, 12, 0, -28, 0, 136, -504, -264, 518, 0, 14, -36, -624, 100, -46, 376, 300, 24, 72, 384, -37, -474, 0, 108, -4, 235, -448, -114, -520, 48, -174, -600, -28, -141, 426, 0, 704, 20, 524, 22, -170, 0, -176, -68, -460, 36, -92, 36, 0, 20, -126, 196, 816, 136, -126, 236, 304, 26, 96, -256, 260, 0, 154, -32, -584, -32, 12, 198, 68, -140, -926, -408, -24, -12, 0, 628, -312, -12, -362, 140, 132, 76, 150, -508, 16, -24, 528, 0, 332, -2, -272, 136, -100, 106, -480, -304, -12, 180, 170, -224, 0, 396, -18, 60, -308, 6, -508, 30, 264, -692, 750, 332, 522, 0, -22, -16, 280, 88, 288, -212, -46, -2, 601, 10, -332, 126, 0, 320, 384, 44, -504, -44, 48, -52, 0, 288, 876, -16, -256, 0, 624, -230, 146, 116, -336, -156, 18, 422, 400, 76, 112, -40, 0, 3, -118, 122, -224, -86, 6, -50, -64, -16, 946, -360, -124, 0, -264, 44, 136, 42, -40, -49, 68, 50, 424, 340, 72, 36, 0, -262, 332, 152, 196, 20, 108, -24, -476, 450, -216, 130, 444, 0, -562, -32, -26, 212, 268, 92, 294, 260, 420, -8, 238, -744, 0, -644, -224, 168, 558, -116, 40, 136, 72, 196, 122, 228, 496, 0, 304, -78, 512, 285, -244, 132, -84, -38, 840, 400, -248, -44, 0, 48, -260, -6, 450, 164, 316, -60, -212, -204, -584, 64, 146, 0, 252, -68, 154, -332, -6, 0, -238, -24, -68, 134, 188, 164, 0, 128, 156, 336, 236, 160, 604, 0, -206, 26, -416, 12, 480, 0, 426, 210, 500, 4, 132, -146, -276, 144, 154, 140, 360, 2, 0, -80, -184, -62, 100, -54, -152, 32, 40, 280, 960, 132, -144, 0, 464, 6, 616, 202, 172, -8, 96, -222, 288, 24, 144, 260, 0, -486, -248, 232, 572, -7, 250, -6, 176, 128, 174, -520, 596, 0, -771, -46, 6, 116, -316, 144, 144, 8, -328, -128, 168, 50, 0, -406, 324, 76, 250, -56, 304, -64, 78, 68, 352, -6, 1064, 0, -560, -238, -372, 128, -98, 56, 58, 232, 376, 60, -394, 308, 0, -16, -40, 230, 136, -134, 166, 4, -418, 98, 68, -64, 368, 0, 444, 12, 224, -12, -254, -84, 244, -36, 600, 168, -152, 70, 0, -24, -144, 248, -1024, 464, 30, -16, 80, 248, 660, -148, -206, 0, 8, 100, 288, 54, -8, -80, -304, -288, -96, 26, 362, 220, 0, -118, -230, -168, -540, -26, 268, -4, -92, -464, 320, 204, 414, 0, 128, 96, 112, -90, 440, -308, 128, 100, -42, 306, -496, 12, 0, 192, -40, -124, 162, 86, 292, 6, 462, 408, 608, -32, 458, 0, 812, -52, 252, 112, 336, -13, -78, 111, -376, -60, 70, 594, 0, -44, -540, -542, -216, 44, -634, 152, -284, -12, -146, 306, 48, 0, 508, -40, -64, -76, 144, -18, -12, -156, 456, 184, 36, -102, 0, 136, -12, 112, -8, -28, -92, 56, 178, -264, 436, -208, 356, 0, -82, -68, 376, 464, -120, 76, -82, 216, 466, -42, -108, 88, 0, 96, 242, 300, 648, -74, -238, -216, -44, -82, 544, -252, 88, 0, 281, -204, -656, 2, 100, 44, -384, 8, -826, 10, -472, -576, 0, -136, 114, 58, 534, 286, 232, 36, 616, 528, -6, -58, 302, 0, 644, 94, 322, 376, 176, 0, -84, 190, 388, -192, 356, 28, 0, -102, 200, -68, 264, -76, 46, -82, -128, 118, 540, 174, 772, 0, 486, -84, 12, -12, 252, 370, 392, -132, 36, -208, 136, 108, 0, -448, -496, -30, -804, -132, -200, -10, 324, -1176, 636, 152, -772, 0, 476, 1, -706, -586, 164, -160, 344, 264, 56, -18, -160, -528, 0, 170, 360, 216, 216, 18, 96, -46, -58, 90, -738, 192, 320, 0, 576, 88, 200, 301, 106, -78, -4, 104, 844, -808, 232, -52, 0, 108, -82, 76, 144, 64, -148, 130, 44, 180, 624, -104, -880, 0, 524, -152, 324, 328, 322, 4, 40, 120, 752, -440, 48, -542, 0, 210, 78, -1206, 704, -92, -518, 180, -312, -160, -536, 442, 428, 0, -532, 24, 228, 30, -96, 472, 292, 84, -436, -28, 502, -36, 0, -434, 324, -40, 628, -204, 62, -148, 268, 446, -12, 164, 530, 0, 796, -100, 472, -788, 160, -36, 286, -228, 866, 192]