# Trace form for 5239.2.a.k, downloaded from the LMFDB on 24 April 2024.
[0, 16, -4, -2, 18, -4, -6, -2, -12, 10, -2, -14, 8, 0, -8, 0, 14, 4, 28, -22, -28, -12, -8, 4, 8, -2, 0, 10, -16, -8, -20, 16, -48, -10, -8, -2, 22, -16, -6, 0, 14, -44, 14, 16, -4, -56, 0, -10, 0, 32, -2, 0, 0, -6, -24, 22, -4, 8, -74, -2, -40, 8, -4, -56, 38, 0, -34, 8, 32, -10, 108, -50, 44, -14, 8, 0, -44, 16, 0, 32, -68, -8, -6, 20, -136, 32, -8, -36, -40, -52, -34, 0, 14, -2, 44, -2, 80, -18, -12, -38, 40, -32, -46, -8, 0, 16, -58, -26, 48, 14, 6, 74, 22, 8, -44, -56, 20, 0, -10, -66, -56, -14, 64, -66, 18, -6, -64, -2, -58, -6, 0, 2, -100, 8, 4, 0, -116, -12, 8, -16, -30, -54, 60, 0, -36, 12, 76, -44, 76, -38, 64, -34, -8, 0, 18, -4, 0, -18, -90, -36, 54, -62, -68, 52, -34, 60, -38, -70, -6, 0, 18, -54, -6, -18, 96, -26, -28, -44, -24, 14, -126, 30, 0, -22, -70, -28, -6, 38, -16, 52, 18, -48, 4, -114, 2, 0, 126, -64, -6, -26, 60, -26, 64, 16, -30, 16, -74, 28, 0, 28, -58, -2, -70, -14, -100, 36, 60, -2, -22, -42, 66, 0, 0, 32, -14, -20, 44, -4, 44, 30, -74, 46, -94, -22, 0, -34, -94, 10, -28, -44, -42, -36, 86, -2, 52, -138, -54, 0, -12, 10, -22, 36, 40, -96, -74, 44, -18, 22, 4, -42, 0, -66, -68, 48, -96, -26, 20, 118, 46, -8, 44, -108, 26, 0, 26, -116, 24, 34, 66, 10, 148, -92, 94, -38, -92, -22, 0, -20, 14, -46, 144, 52, -34, 74, 148, 14, 70, -130, 34, 0, 84, 34, 16, -56, 40, -32, -22, 12, 82, -76, -2, 28, 0, 16, -118, 166, 70, -72, -196, 100, -8, 10, 50, -26, -56, 0, -64, -22, -8, -112, 220, -32, -40, -38, -38, -22, -168, -46, 0, -10, 26, -14, -42, 20, -20, 84, 120, -58, -16, -20, -162, 0, 20, -38, 68, 56, -82, -12, -30, -102, -10, -58, -32, 50, 0, -12, -54, -12, 50, -96, -110, 14, 8, -26, -6, -72, 134, 0, -88, 20, -30, 130, 92, 48, -32, -50, 10, 64, 182, -54, 0, 28, -322, -154, 50, -74, -96, 94, -26, 72, -16, -172, 94, 0, -144, 92, -86, -106, 120, -92, -52, -40, 18, 58, 130, -60, 0, 82, 64, 26, 288, -78, 178, 142, 40, -68, -4, -140, -74, 0, 118, -92, 38, -62, -8, 34, -8, -94, 116, 38, 130, 26, 0, 70, 124, -38, 150, 102, -84, -114, 114, 42, -92, -72, 26, 0, -74, -10, -102, 42, 92, -38, 68, -116, 88, 0, 4, -26, 0, -106, -272, 48, -12, -120, -82, 66, -10, 20, 102, -38, -112, 0, -8, 146, -114, -78, 84, 32, 46, -94, -8, 26, 40, -34, 0, 60, 14, 0, -196, -60, -18, 2, 160, -62, -164, 18, 6, 0, 94, 52, 66, 48, -12, -70, -104, -66, 0, -78, 188, -48, 0, 58, -116, -78, -92, -106, 96, 4, -28, 20, -32, -106, -96, 0, -84, 72, 50, 40, 34, 44, -118, -8, 130, 0, -58, -60, 0, -20, -126, 42, -76, -44, 54, -20, -88, -154, -56, -26, 28, 0, -200, 56, -112, 48, 130, -80, -124, -92, 168, 68, 226, 42, 0, 28, 234, -6, -116, 0, 62, 60, -86, -92, 108, 60, 134, 0, 2, -140, -162, -22, 32, 6, -40, -86, -82, 46, 10, 0, 0, 26, 180, 38, -108, 12, 8, -76, 136, -12, 60, -48, -90, 0, -140, 62, 78, -40, 184, -8, -114, -38, -28, 2, 144, -32, 0, -44, -218, 78, -82, -222, 132, 104, -84, -32, 2, 56, 14, 0, 58, 36, -72, -12, 140, 30, -248, -40, 120, 48, 146, 52, 0, -12, 52, 44, -78, 24, 100, -54, 50, 76, 264, -2, 44, 0, -76, 12, 170, -164, -10, -104, -22, -126, 198, 44, 44, 126, 0, 6, 114, 32, 64, -236, -8, 10, 96, 70, -318, -26, -108, 0, 2, 154, -98, 122, 226, 42, -192, 14, -52, 84, 84, 40, 0, 68, -40, -22, -192, 54, -226, 8, -78, -58, -28, 4, 190, 0, 88, 164, 198, 122, -32, -50, -106, -104, 66, 22, 246, -80, 0, -152, 52, -42, 4, -204, 184, 212, -22, -92, 114, -92, -48, 0, 20, -2, 8, -134, -160, 90, 38, -74, -108, 34, 182, -112, 0, 60, 124, 90, 46, -40, 110, -136, 144, -10, -190, -8, -26, 0, -178, 66, -288, 36, -44, 14, -210, -2, -76, -162, 246, 98, 0, 46, -130, -110, 422, -164, 104, 164, 138, 114, 134, 44, -152, 0, 16, 120, -342, 38, 80, -14, 22, 98, -78, -24, 208, 90, 0, -218, 320, -144, -268, -38, 436, 50, 50, 56, -76, -52, 90, 0, 174, -98, -62, 150, -300, -28, -350, -194, -148, 14, 178, -158, 0, 94, 178, 78, -22, 10, -124, -34, 76, 88, 248, 48, 0, 0, 236, 64, -60, 206, 136, 128, 14, -38, 66, 0, 102, 70, 0, -26, -110, 132, 188, -160, -54, -178, 156, 6, -16, 88, 106, 0, -108, 174, 178, 32, 168, 48, 0, -30, 62, 102, 310, -70, 0, 256, 80, -42, -202, -232, 162, 36, 266, -90, -124, -74, 4, 0, -82, -8, 194, -36, -36, 88, -112, -120, 54, -10, 126, 12, 0, 16, 134, 32, 116, 60, 48, -16, -102, 84, -236, -206, -34, 0, 210, 300, 82, -42, -46, -50, -20, 22, -120, -40, 188, -148, 0, 72, 38, 24, -58, -164, 76, 160, 6, -58, -92, 22, 58, 0, -132, 48, 302, -96, -60, 204, -190, 202, -174, -8, 340, 16, 0, -66, 4, -66, 216, 48, 422, -136, 62, -6, -80, -20, -74, 0, -8, 46, -136, -16, -270, 38, -148, -324, -226, -14, 112, 22, 0, -92, 276, -140, -48, -214, 28, 86, 116, -180, 308, -4, 26, 0, 196, 82, 144, -122, -8, 270, 134, 100, -4, -236, 116, 48, 0, -276, -234, 110, -20, -162, 178, 28, 44, -10, -90, -50, 102, 0, -252, 216, 62, -168, 122, -64, -114, 2, -344, 72, 290, -72, 0, -102, 54, -10, -242, -160, 212, 266, -12, 42, -28, 12, -40, 0, -8, 92, -70, 10, -66, 218, -66, -202, -2, 114, 210, -88, 0, -42, 310, 54, -92, 2, 160, -62, 296, 166, 106, 0, -98, 0, -22, 174, 48, 84, -106, -2, -248, 0, 186, -92, 146, 4, 0, -30, -90, -260, 160, -166, 226, 106, -182, -8, 124, 218, 130, 0, 100, -40, 140, -28, 2, 194, 82, 232, -8, -196, 22, -50, 0, 22, 320, 242, 310, 18, 186, 74, 362, 176, 192, -170, 134, 0, 8, 138, 148, -120, -334, 82, 266, -146, -16, 122, 200, -126, 0, -48, 60, -16, -268, -254, 168, -92, 54, -72, 26, -190, -230, 0, 120, 10, 382, 78, 306, 60, -86, -2, 206, -122, 142, -32, 0, 44, 24, -160, 200, -112, 490, -194, -6, -76, -176, -14, 344, 0, 92, 88, -192, 252, -88, 6, 98, 56, 82, 32, -4, 28, 0, 34, 220, -188, 156, -130, 500, 154, 436, 214, 116, -106, 154, 0, -150, -172, -264, -158, 36, 52, -102, 6, 146, -28, 118, -196, 0, 72, 94, -20, 212, 20, -134, -142, 288, -12, 138, 160, -232, 0, 184, 130, 124, -104, 14, -70, -100, -48, -100, 134, 138, 110, 0, 138, 10, 60, 298, -290, 46, 58, -92, 116, -66, 192, 302, 0, -2, 252, 48, 248, 236, 214, -102, 36, 126, -44, -110, 76, 0, -188, 178, 294, -82, -12, 378, -132, -150, -94, 74, -20, -86, 0, 356, -144, -138, -106, -136, 42, 44, -48, -56, -216, 352, 136, 0, 72, 14, 10, -328, 44, 100, 122, 62, -72, -12, -186, 102, 0, 84, -94, -284, 262, 214, 164, 172, 208, 192, -160, 174, 34, 0, 64, 114, -58, -200, -90, 258, 16, 58, -186, -158, -60, -102, 0, 56, 272, 164, -8, 62, 70, -4, 24, -254, -40, 136, 114, 0, 120, 66, 88, -150, -206, 4, 8, 110, -18, -42, -104, -4, 0, 2, -210, -372, 286, -318, 246, 198, -260, 142, 52, 86, 40, 0, 116, 8, 68, -18, 84, 184, -98, 286, 12, -200, 0, -80, 0, -288, 254, -110, -56, 112, -130, 50, 48, -398, 154, 180, 168, 0, 130, -336, 56, 196, -328, -300, 82, 62, 8, -128, 186, 224, 0, 112, 48, 160, -88, 0, 120, -50, 18, 0, 60, 116, 26, 0, -48, 8, 120, -330, 122, -62, -102, 126, -122, 16, -132, 326, 0, -156, 48, -368, -200, -74, -60, -298, -148, 256, 128, 132, -70, 0, -10, 54, -102, -42, -244, 182, 76, 100, -62, 132, -202, 62, 0, -260, -10, 336, -142, -162, 120, -170, 208, 160, 198, -206, 100, 0, 198, 78, 90, 16, 116, 0, 10, 60, 246, -284, 6, -276, 0, 90, 70, -138, 44, -122, -58, -86, -40, -42, 16, 74, 96, 0, 168, 182, 110, -448, -42, 186, 240, -104, 52, -138, 32, 174, 0, 122, 34, 486, 144, -282, 106, 150, -208, -8, -10, 130, -212, 0, -160, -54, -44, -378, 26, -322, -136, -210, -28, 146, -20, 20, 0, -20, 158, -2, -242, 440, -104, -372, -94, -236, 130, 138, -214, 0, 16, -208, 326, 210, 30, -76, 64, -554, -52, 8, 38, -232, 0, -246, -84, -332, 52, 142, 80, 186, 0, -76, 20, -52, 194, 0, -58, 272, -230, 614, -40, 194, -6, 206, -26, 328, 68, -304, 0, -20, -258, -498, 84, -294, 76, -208, -262, 26, -126, 188, 214, 0, -60, 148, -182, -476, -90, -350, -100, 290, 96, -278, 110, -438, 0, 90, 36, -92, 198, 132, 310, -144, -48, -106, 52, -226, 8, 0, 10, -304, 24, -126, -6, -210, 226, -88, 84, 328, -54, -284, 0, 516, 402, 106, 190, 194, -108, 226, 4, 290, -40, 110, 258, 0, -136, -158, -26, 362, -48, 274, -18, 174, 58, -24, 208, 248, 0, -38, -150, 646, 58, -146, -60, -302, -168, -86, 146, 428, -160, 0, 146, 14, -228, -232, 242, 216, -380, -76, 6, -170, -76, -46, 0, -52, 22, 232, -214, -348, -304, 214, 90, -60, -126, -32, -42, 0, -112, 180, -114, 524, -226, -126, 6, -282, -136, -186, -16, -44, 0, -154, -212, -180, -78, 62, 2, -4, 18, 138, -154, 280, -20, 0, 136, 94, -122, -44, 344, 20, 34, -36, -36, -210, -10, -12, 0, -148, -154, 632, 62, 0, -188, -172, -332, -124, 42, -84, 8, 0, -312, 78, -218, 466, -292, -256, 64, 404, 236, 312, -10, -12, 0, -22, -28, 122, -312, 228, 116, 76, 286, -206, -220, -2, 302, 0, 2, -380, -22, -74, -132, -228, -398, 112, -232, 306, 152, 334, 0, -4, -76, 466, -40, -26, -272, -40, -230, -158, 74, -82, 226, 0, -128, -388, 160, -294, -78, 360, 232, -24, -2, -146, -382, -116, 0, -122, -172, -88, -176, -104, -86, 446, -268, -354, -120, -182, 80, 0, -202, 366, -38, -226, 90, -326, 298, 58, 14, 96, -16, -54, 0, -40, 128, 114, 22, 122, -186, -388, -2, 120, 224, -84, 14, 0, -214, 148, 178, -334, 92, -238, -36, -590, 200, 262, 422, 26, 0, -226, -62, -26, 4, 394, 8, -102, 138, 94, -290, -316, -276, 0, -140, -8, -140, 192, 152, 38, -332, 190, 146, 150, 40, 132, 0, 74, 44, 212, -168, -26, -86, 50, -372, 70, -96, -4, 48, 0, 48, -124, 392, 308, -38, -54, 76, 80, 48, 216, -128, -154, 0, 142, -38, -240, -42, -58, 46, -28, 278, 36, 216, -96, -152, 0, 162, -336, -56, -92, 118, -362, 132, -60, -102, 342, -2, -118, 0, 292, 386, 92, 178, 318, -208, -2, 40, 118, -220, -484, -88, 0, 78, 394, 166, 332, 44, -72, 346, 38, -78, -262, -88, 178, 0, -28, -278, -414, 328, 182, -124, -502, -166, 218, 118, -58, 58, 0, 6, -130, -80, 318, 314, -184, -258, -346, 110, -138, -14, 58, 0, -158, 120, -142, -386, 378, -278, -96, -168, -142, -6, 100, -360, 0, -92, -102, -154, 362, -206, -194, 290, 68, -382, -232, 10, -162, 0, 48, -10, -206, -118, -34, -16, 280, 324, 138, 104, -262, 142, 0, 236, -168, -162, 660, 70, 188, -36, -234, -26, -158, -408, -226, 0, -22, -94, -306, 96, 144, -208, 52, -362, 192, 8, 30, 64, 0, -110, -260, 254, 246, -410, -196, 36, -220, 120, 76, -134, -236, 0, 258, -188, -262, -276, 258, 90, -270, -74, -90, -74, 98, -58, 0, 10, 32, -44, -368, 44, 156, -138, -128, -142, -232, 88, 56, 0, 388, -102, 40, 120, 122, -280, -30, 138, 88, -318, 74, 192, 0, -72, -62, 74, -270, 12, 14, -10, 138, 132, -238, 140, -448, 0, -20, -176, 450, -6, -166, 126, -254, -108, -220, 10, -306, 84, 0, -76, -346, 80, -162, 642, -406, -22, -8, 4, 426, -320, 108, 0, -96, 256, -428, 148, -92, -306, 226, 96, -24, 120, -198, -154, 0, 32, -446, 48, -228, 56, -266, 378, -318, -178, -186, 182, 86, 0, -290, -308, -368, -50, 254, -22, 190, -214, 64, 224, -78, 214, 0, 60, -276, 144, 300, 180, -256, -82, -34, -28, -614, -132, 232, 0, -82, -78, 438, -158, -286, -392, -104, -96, 44, -154, -120, -14, 0, 14, 188, -102, -540, -140, 24, 94, 206, 50, 94, -106, 158, 0, 6, -506, -368, -146, 182, -68, 36, 280, 92, 152, 8, 32, 0, -14, -158, -102, -198, 222, -452, -228, -70, 126, 490, -130, -108, 0, -82, 98, 136, -98, 318, 172, 408, -196, 394, 362, -168, 212, 0, 154, -176, 104, 94, -184, 8, 214, 728, 34, -364, -36, -298, 0, -120, -14, -400, 144, 8, -116, 404, -94, -376, 324, -54, 166, 0, 248, -208, 66, -194, 248, -468, -394, -8, -114, -492, 0, 264, 0, 384, 42, 530, 430, 334, -84, -114, 160, -20, 196, -340, -160, 0, -162, -274, -58, -330, 154, -390, 124, -488, -122, 480, -196, -104, 0, -64, 214, -44, -42, 60, 370, 398, 274, -394, 34, -246, -264, 0, 142, -58, 254, 286, 244, 70, 174, -238, 244, -256, -130, 118, 0, -360, -178, -462, 128, -206, -68, -112, 16, -374, -346, -40, 94, 0, 42, 14, -164, 500, 90, -188, 224, -18, 256, 410, -92, -460, 0, -150, -132, -906, 120, -50, 18, -100, 216, 126, -238, -150, -102, 0, -182, -20, -418, -834, 32, -202, -82, -10, 120, -28, 12, -194, 0, 324, 20, -116, 286, -166, -288, 428, 42, -490, 130, -540, -170, 0, 248, -140, 52, -508, 32, 142, 88, -366, 110, 670, -236, -142, 0, 180, -274, 90, 298, -110, 98, -50, -92, 16, -16, 110, 270, 0, -166, -488, 112, 206, 62, 58, 88, 352, 88, -68, -342, 4, 0, -166, 308, 302, 188, 512, -206, 436, 42, -194, 194, -408, 114, 0, 130, -358, -462, -344, -28, -110, 208, -166, 62, -230, 194, 194, 0, -312, -8, 10, -274, 186, 6, -128, 262, 276, -178, 30, 70, 0, -120, 224, -218, 334, 152, -316, -178, -106, -12, -100, 102, -44, 0, 42, -136, 224, -76, -134, -336, -6, -292, 90, -344, -332, -222, 0, 8, -106, 96, 114, 64, -134, 166, -24, 26, -356, -192, 152, 0, -290, -22, 580, 54, 24, 16, 492, 194, 254, -210, -534, 20, 0, -254, -598, -160, 270, 138, -58, 22, 118, 314, 92, 124, -246, 0, 220, -36, -88, -12, 52, -214, 238, 118, 214, -122, -86, 214, 0, -48, 264, -244, -136, -32, -8, 164, 116, -242, 678, -108, 356, 0, 26, -58, 604, 48, -242, 142, 344, -54, 18, -246, -312, 254, 0, 58, 222, 262, -512, 206, 84, -214, 88, 32, 290, -132, 256, 0, 244, -286, -44, -308, 194, -132, -284, 170, -132, 18, -318, -68, 0, -162, -90, 80, -428, -72, -312, 394, 102, 166, -148, 508, -38, 0, -8, -210, -230, -136, 376, -196, 260, 320, 334, 156, -150, -186, 0, -94, -172, 326, -294, 244, -126, -130, 20, 84, 616, -182, 232, 0, -258, 242, -160, 138, -166, -36, -18, -228, 190, -142, -122, -98, 0, 68, -74, -320, 20, -224, -646, -42, -168, 168, 258, -2, 80, 0, -188, -332, -92, -126, -210, -22, -302, 126, 38, -108, -40, -4, 0, 52, -268, 448, 638, 428, -6, -502, -294, 230, 284, -10, 144, 0, -284, -46, 104, -198, -134, 70, 290, 500, 22, -32, -126, -20, 0, 114, -60, -52, -168, -24, 82, 376, 470, -122, 60, -246, -288, 0, 228, -102, 464, -106, -198, 202, 114, 170, 10, -310, -38, -424, 0, 148, 194, -136, 418, 288, -54, -48, -34, -82, -192, -100, 88, 0, -138, 210, -112, 524, 338, -298, 148, 54, -246, 20, -428, 136, 0, -54, 12, -206, 302, -100, -288, 90, 294, -88, 108, 86, -86, 0, 42, -276, -404, -236, -118, 216, 572, -64, -16, -96, -522, -96, 0, -2, -58, -262, 304, 412, 68, -422, -476, 84, -194, 14, -340, 0, 418, -90, -282, -170, 14, -400, -124, -372, 216, 248, -218, -50, 0, -16, -210, -172, 572, -188, -176, 94, 36, -134, -582, 142, 218, 0, 118, -150, -394, 442, 376, -102, 102, 216, 152, -2, -544, 76, 0, 80, 298, 500, -122, 214, -392, 312, -62, 80, 156, -78, -624, 0, 90, 108, -36, -162, 222, -10, 186, 162, -382, -102, -738, 98, 0, -52, 44, -222, -308, 14, 138, 64, -674, -198, -578, 48, -30, 0, -78, -240, 260, 362, -186, 294, -446, -46, 148, -256, -252, 8, 0, 38, 458, -78, 308, 368, -324, -2, 272, -276, -572, 0, -616, 0, -62, 238, 326, -108, -260, -282, 524, 346, -58, -156, -22, 92, 0, 124, -128, 146, 246, -224, 20, -158, 146, -30, 16, 342, 80, 0, -84, -414, -348, 542, -150, 36, 140, 376, 132, 132, -246, 54, 0, 140, -116, 414, -354, 92, 134, -66, -20, 46, -154]