# Trace form for 5239.2.a.l, downloaded from the LMFDB on 19 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]