# Trace form for 6047.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 504, 1, 2, 503, 0, -2, 4, 3, 504, -8, 0, 8, 6, -8, -2, 497, -2, 5, -4, -14, -10, 6, 8, -10, 518, 10, 14, 16, -8, -24, 4, 17, 6, -4, -42, 485, 34, -16, -10, -20, 18, -32, -2, 26, 4, -14, 12, 26, 506, 43, 8, 6, -8, 0, -16, -28, 42, 58, -6, -54, -2, 8, -12, 519, 4, -22, 26, 26, 2, -2, -32, 15, 46, 16, -14, -2, -14, 68, 26, -22, 520, 2, 26, 22, 12, 54, -14, 4, 10, 0, 0, 14, 34, -40, -8, -10, 56, 45, 36, 473, 26, -4, 24, 36, -6, -2, 14, 104, 28, -40, 72, -16, 20, 88, -6, 32, 4, -6, -58, 4, 506, 88, -34, -40, -24, -56, 48, 77, -40, 16, -16, -20, 42, 30, -94, -68, 64, 74, 4, -98, -20, -52, 6, 533, 40, -20, 44, 186, -54, 36, -18, -44, -40, -56, 32, -40, 10, 64, -52, -118, -56, 69, 16, 38, -16, -20, 56, -42, 496, -26, 34, -46, 6, -60, 20, 76, 106, -24, 32, -114, -10, -98, -24, -32, -14, -36, -20, -4, -104, 28, 38, -26, 128, 90, -20, 431, 52, -24, 28, 41, 20, -136, 58, 30, -52, -4, 36, 58, -42, 42, 38, 28, 20, -30, 36, -44, 2, 0, -30, 74, -20, -20, 58, -70, 588, -46, 88, 136, -4, -20, -32, 172, 26, 56, -16, -76, -40, 158, -32, -148, 34, 129, 84, -22, -78, 112, 84, 60, -82, 4, -20, 114, 6, -14, -16, 545, 14, 78, 68, 140, -66, 4, -6, 90, 72, 30, 58, 38, 30, -62, 74, -90, -52, -48, -30, 44, 30, 52, 50, -32, -10, -38, 54, -18, -72, -240, 16, 213, 554, -14, 150, 62, -44, 136, 46, 102, 68, 174, 58, -30, 96, 84, 42, -48, 20, 52, 54, 8, -68, -64, 58, 64, 136, 122, -212, 6, 56, 4, 84, 56, 18, -2, 140, 529, 72, 56, 114, -4, -168, -210, -56, -36, 154, -238, 12, -16, 162, 25, 108, -30, 64, -186, -46, 150, 110, 94, 48, -54, -36, -154, -20, -140, 30, -42, -66, -154, 158, 46, 66, -192, 442, -110, 8, -250, -2, -232, -38, 50, 32, -50, 6, -92, -22, -150, -8, -154, 92, -160, -88, -242, 42, -4, 34, -300, 108, -22, 96, 278, 24, -210, -78, 119, 46, 24, 8, 200, 120, -52, -40, 377, 50, -42, 48, 82, 42, -212, 12, -150, 6, -74, 30, -42, 118, -126, -128, 68, 224, 16, 64, -108, 84, -70, 126, -152, -104, 12, 28, 90, -50, -108, -58, 310, 122, -146, -54, 46, 36, -272, 78, -226, 316, -72, 2, 304, 128, 28, 264, 124, -8, 227, -38, 112, 68, -34, 210, -14, 48, -122, -76, -100, -60, -6, -54, -106, -62, -58, -2, -188, -66, 132, 110, -10, -164, -218, -72, -120, 96, 80, 112, -56, 18, -28, -16, 465, -62, -76, 192, 194, -142, -266, -50, -248, -18, -216, -176, -152, -22, 48, 60, -268, -96, 12, 36, -256, 8, -214, 180, 168, -84, -400, -28, 137, 2, -90, 114, -426, -58, -272, 86, 94, 72, 72, 8, 94, -94, 20, -4, -244, 498, 118, 108, 38, -132, -258, -96, 134, -144, 154, -108, -604, 72, 12, 132, -390, -180, -140, -94, 22, 4, 92, -16, 98, 108, 72, 0, -12, 82, 6, -116, -212, -72, -40, 22, 72, 174, -358, 232, -160, -160, -298, -60, -14, -82, 24, 94, 589, -22, 323, 248, 378, -100, -166, 220, 134, -194, 114, -10, -142, 62, -144, -22, 580, -66, -166, -200, -130, -62, 228, 54, -36, 110, 0, -34, 100, -76, 170, 72, -144, -236, 46, 60, -284, 68, 100, -22, -380, 112, -160, -4, 134, -172, -94, -104, -30, 684, -56, 186, 26, 66, -20, -12, 88, -200, -24, -136, -644, 106, 102, 4, -216, -186, -198, -36, -230, -262, 30, -126, -9, -102, -42, -132, 226, -56, -502, 20, -4, 134, 80, -18, -218, -112, 116, -302, 180, -208, 86, -20, 266, -10, 180, -56, -356, 188, 314, 144, 411, 8, -234, 30, -146, 34, 98, -30, 120, -100, -264, 70, 96, -58, -186, 120, -144, -226, 108, 144, -312, 252, -198, -210, -44, -78, 120, -208, 184, 136, 164, -42, 506, -76, -48, 38, 36, 34, 46, -306, 272, -68, -136, 24, -606, 34, -77, -14, -106, 90, -198, 16, -126, 402, 24, -200, 6, -42, -202, -132, -24, 94, -388, -28, -274, -102, 178, -12, -186, -28, -154, -32, -148, -114, -292, -30, -220, -104, -64, -74, -344, 26, 0, -328, -226, -66, -298, 96, 122, -30, -60, -128, -146, 24, 424, -208, 510, -66, 106, 298, 46, 118, 154, -152, -632, 106, 52, -234, 469, 126, -210, 140, 94, 140, 344, -228, -30, 282, -58, -262, 44, 176, -140, -238, 181, 286, -70, 158, 220, -72, -242, 80, -184, 30, 256, -48, 176, -128, 88, -8, 18, 138, -64, 54, -248, -154, 124, 222, 136, 16, -92, -70, 146, -12, -150, 200, 64, -56, 86, -174, 26, 130, -84, -10, 610, 518, -232, -266, 24, -88, -410, 14, -90, -294, 360, 148, 42, 84, 130, -188, -212, -110, 124, 76, -190, -310, 258, -210, 184, 242, -270, 8, -256, -8, -312, 204, 74, 358, -4, -66, -280, 244, 250, 14, -218, 50, 89, -50, -168, 56, 30, 382, -12, 342, 160, -250, 112, -186, 124, 86, -600, -142, -64, -318, 491, 174, 148, 180, 50, 388, -106, 158, 96, 46, -170, 28, 150, 166, 2, 188, -28, -68, -476, -24, -190, -118, -220, 82, -360, 492, -76, -34, 212, -302, -648, 246, 4, -10, -22, 128, -250, 108, -302, 200, -110, 24, -194, -46, -116, -110, 128, -10, -40, 188, -506, 98, 256, -238, -408, 274, -152, -106, -540, -86, -530, 364, -492, 242, -102, -420, -300, 288, -63, -150, 318, -2, 374, 96, 20, -80, -122, 170, -256, -172, -262, -260, 398, 458, -352, -132, 30, -286, 292, -72, -444, 162, 242, 20, 152, -6, -514, 252, -200, 364, -338, -432, -258, 200, -480, -26, -406, 64, -182, 174, -316, 88, -306, -178, -220, 154, -394, 38, 102, -14, -310, 296, -246, 158, 565, 52, -394, 60, -406, 14, 26, -112, 62, 300, -180, 92, 188, 36, 216, -160, 328, -22, 304, -50, -40, 120, -190, 248, 40, 82, -678, 88, -222, 44, 26, -182, -60, 362, -69, 44, 532, 100, -386, 180, 14, 232, -94, 198, -310, 266, -272, -324, 284, -126, -116, -286, 158, -194, 42, 110, -762, -120, 38, 92, 374, -22, -92, 216, -378, 384, 74, -214, -678, -74, -46, 284, -66, -122, 200, 6, 142, -272, 336, -30, -276, 134, 268, 38, 200, 196, -384, 98, 48, -20, -138, -128, -122, 286, -652, -122, -4, 214, 168, -10, -42, -550, 20, 296, -624, 22, -222, -8, 180, 22, -470, -80, -438, 46, -504, 156, -1020, 36, -160, 120, -222, -308, -226, 284, 166, 204, 126, -76, 623, 470, -216, 684, 347, 268, 242, 122, -178, -240, 262, 64, 236, 60, 42, 48, 112, -198, 134, -78, 50, 16, -666, 562, 216, 350, -230, -148, 14, -46, -292, -210, 188, 218, -256, -78, 48, 110, -920, 256, 540, 206, 348, 326, -188, -68, 18, -38, -28, -20, 178, 128, -38, -170, -112, -86, 126, 200, -290, 72, 98, 174, 230, -370, -462, -18, -708, -82, -190, -80, -376, 8, -260, 562, -26, 154, 28, 260, -596, -150, -368, 284, -134, -262, -802, 274, -134, 268, -452, -30, 222, 168, -42, 178, 70, -142, -224, 2, -145, 144, 288, -10, -636, 268, 156, 152, 140, -18, -1084, 260, -238, -48, -216, -50, -930, -244, -22, 204, -64, -74, -258, -68, -220, -542, 144, -24, -430, -410, 58, -160, 618, 136, 12, 440, 68, -10, -292, -142, -934, -290, 200, -116, 160, -158, 955, 38, -162, -466, -164, -208, -182, 66, 222, -8, 136, -170, -120, 96, -636, -546, -156, -44, 248, -322, -626, -52, -12, -20, -588, 252, -236, 476, -304, -252, -948, 84, -332, 258, -6, -36, 568, 240, -184, -286, -528, 426, -408, 126, -398, 12, -444, -274, -442, 148, 70, -170, -98, 242, -188, 126, -93, 108, -122, -44, 30, 122, -292, 6, -380, -164, -144, 202, 108, -154, -304, 20, -792, 786, -886, -48, 58, 28, -136, -466, 174, -6, 24, 104, -238, -196, 378, -168, -92, -46, -1090, 100, 88, 336, 54, -190, -698, 124, 96, -430, -82, 42, -28, 116, -1226, 166, 434, -440, -292, 92, -902, 64, -432, 306, 306, -310, 344, 4, -24, -4, -234, 142, 138, -294, -330, -132, -470, 14, -384, 472, -646, -176, 630, -132, -718, -114, 412, 48, -416, -292, 36, -202, -98, -352, -1344, -354, -204, -324, 221, -226, -924, -40, -434, -190, 490, -120, -30, 336, 18, -768, -620, -24, -717, 132, -534, 132, -194, 10, -368, 214, 78, 104, -696, -30, -1104, -492, 102, 2, -364, -46, -866, 18, 184, -428, -182, 176, -190, 66, -40, -780, 22, -240, -276, 74, -828, -310, 144, 28, -418, -108, -1214, 2, -46, -20, -1198, 38, -376, -178, -466, -542, -340, -24, 68, -66, -724, -356, -461, 420, -163, -254, -182, 84, -561, -86, -726, 258, 394, -78, 163, 274, -24, -178, -312, -100, -596, -226, -21, 210, 210, 60, -1148, -116, -38, -140, 122, 58, -119, 36, -52, 438, -50, -344, 236, 324, 198, 82, 204, 266, 9, -166, -602, -74, -40, -344, -1014, 66, -88, 264, -214, -440, -46, -188, 60, 92, 108, -150, -216, -210, 64, -16, 76, -10, 126, 64, -68, -310, -238, 148, 641, -62, 126, 184, 428, -506, 218, -4, 70, 654, -828, -200, -506, 162, -358, -224, 205, 308, -735, 220, 276, 0, 440, 412, 18, 220, 280, 100, 212, 66, -142, 152, 524, 370, 288, -484, -510, -186, -715, 204, -428, 554, -490, -6, -110, 174, -52, -122, -466, 102, -148, -234, -372, -242, -28, 34, -280, 50, 328, -38, 417, -210, -290, -386, -26, -70, -104, 38, 282, 222, -100, -30, -48, -146, -292, 274, -526, -308, 384, -356, 452, 12, -410, -144, 419, 138, -394, 134, 370, -220, -320, 322, 142, 52, -650, -14, -434, 510, -127, 108, 360, -216, -12, -304, -120, -228, 302, 112, 560, 430, 237, -756, -98, 340, -250, -58, 36, -418, 142, 470, -206, 270, 312, 186, 190, -202, 464, -106, 574, -144, 352, -180, -192, 124, -92, 12, -768, -94, 171, -58, -574, 68, 134, 104, 420, -152, -8, 134, 456, 142, 156, -152, -660, 780, 354, -126, -320, -92, -346, 166, -122, -166, 624, 266, -130, 56, 154, -48, -597, 38, -264, 138, 404, -2, 390, 138, -552, 244, -792, 78, -63, 2, -64, 382, -180, 132, 278, 80, -510, 550, -442, -248, 560, 112, 226, 450, 534, -182, -622, 312, -9, -96, -78, -224, 1032, 272, 446, -26, 510, -64, -318, -284, 188, -328, 40, 332, 623, 260, 144, 202, -1178, -116, 276, 168, 510, -114, -344, -466, -304, 454, 496, -234, -138, -204, 101, 496, 736, 10, 292, 2, -246, 434, 112, 540, -82, -72, -262, 138, -34, 74, 376, 56, -222, 114, -226, 218, -136, -62, 148, -74, 378, -18, 408, -236, -334, 536, 546, -130, 20, 344, -353, 248, 128, -376, 258, 30, 142, 76, -270, 670, -52, 112, 686, 292, 56, 284, -82, -54, -682, 200, -432, 406, -126, 92, 366, 178, -214, -38, 280, 310, 584, -380, -596, -242, -974, -224, 178, 250, -59, 518, 332, 202, -528, 378, 292, 408, 618, 16, 122, -242, 126, -626, 462, 184, 242, -452, 356, -374, 610, -24, 458, -64, 532, -72, 528, -226, -494, -200, 151, -216, 106, -526, -350, -128, 184, -154, -36, 242, -779, 88, -568, 694, 547, -156, -226, -516, -522, 162, 344, 56, -220, 408, 524, -428, 190, -78, 166, -66, 598, 26, 340, 176, 60, -384, 378, 550, -92, -114, -34, -392, -186, 24, -272, -112, -838, -36, -640, -74, -470, 284, -65, 326, -372, -54, -22, 138, 10, 420, 486, 126, -370, 230, 492, 24, -88, -466, -320, -146, -952, -258, -438, -106, 512, 138, 8, -276, -794, -326, 248, -142, -76, -80, 60, 780, -38, -456, -570, 204, -150, 4, -902, -362, -178, 308, 599, -226, -408, -446, 356, -70, -286, 1076, 456, -110, 1050, 124, 522, -578, 598, -344, 288, -116, -286, -142, 272, 316, 84, 110, -82, 588, 42, -14, 536, -60, 209, -82, -682, -318, -424, 550, -384, 544, -800, 238, 364, 32, 682, -524, 396, -312, -1303, 264, 468, -204, -330, 174, -836, 230, -472, 462, -100, 108, 412, -372, 320, -476, 362, -10, 108, -76, 344, -130, -488, -48, 376, 166, 8, 728, 172, -772, 774, -2, 548, -280, 356, -150, -42, -156, 542, -372, -360, 116, 416, 74, 324, 434, 206, 4, 433, 342, -16, -336, 749, 66, 158, 144, 556, -16, -400, 582, -414, -164, -532, -372, 420, 36, 498, -164, 42, -124, 882, -224, -50, 598, 70, 338, -692, -322, 940, 444, 588, 86, 872, -2, -104, -204, 522, -44, 842, -194, 244, -424, 264, -480, 170, 58, -1400, -112, 351, 60, 364, 288, 24, -104, 324, -330, 266, 32, 206, 100, 426, -586, -222, -620, 417, 128, -452, 170, -406, 100, -62, -128, 342, -68, -96, 14, 0, -268, -534, 504, 478, 40, 414, -162, 614, -216, 714, 382, 124, 34, -158, -110, 56, -210, 538, 178, 168, 242, 604, -160, 901, -268, 228, 366, 266, -216, -58, -16, -240, 452, 106, 96, 328, -104, 406, -242, 232, 348, 210, 98, 748, 20, -228, -68, -356, 24, -974, 380, -356, 128, -906, -282, -318, -96, 514, -14, 562, -312, -1278, 422, -562, -90, 190, 616, 308, -446, 694, -16, 224, 516, -770, 120, 50, 12, 1505, 200, 1590, 166, -182, 348, -626, -242, -424, 408, 868, 190, -408, -142, 590, 482, -214, -144, 604, 458, 418, 286, 84, -176, -334, 160, 378, -400, 332, -390, -438, -194, 716, 302, 360, 340, 519, 70, 632, -108, 294, 26, 312, -448, 747, 82, 250, 50, 700, 346, -726, -168, 986, -156, 468, -502, -327, -440, 152, 186, 94, 152, -528, 332, 926, 494, -256, 578, 436, 494, 298, -126, 104, -290, 30, 436, -124, 362, -368, 242, 90, 56, -1036, -302, -210, 160, 616, 202, 906, -252, 152, -148, 266, 510, 28, -364, 298, -168, 380, -140, 1388, -284, 536, 388, -726, 364, 284, 68, -322, 934, 212, 544, -650, 86, -317, 496, -464, 804, 396, -128, -86, 546, 442, -214, -808, -258, 726, -116, 352, -500, 180, -74, -144, 608, 430, 888, 350, 592, 1244, 96, 256, 516, 866, -288, -392, 50, -324, -190, 632, 584, 958, 206, -144, -210, 438, 4, 902, 776, -262, -282, 150, 340, 354, -64, -276, 534, -362, -374, -596, 110, -122, 86, -26, 12, -539, 14, 456, 624, 124, 656, -326, -202, 469, -208, -118, -488, -60, -208, 644, -196, -86, 158, 646, -44, 38, 242, -264, 122, 416, 358, 502, 582, -606, 500, -874, 820, 58, 616, -614, -412, 362, -230, -570, 682, -42, -404, -448, -86, 130, -192, -230, 592, 1012, 534, -314, 272, -436, -726, -696, 276, 718, -838, 987, 16, 716, 0, -949, 424, 158, -536, 704, 634, 624, -100, -44, 4, 874, -536, 152, 218, -652, -58, -526, 230, 188, 166, -184, -268, 1036, 348, 770, 348, 202, 54, -602, -78, -936, -392, -200, 182, -222, -346, 308, -526, -212, 226, -828, 188, 510, 24, 338, 50, 1204, 438, 622, 770, -58, 298, 112, -106, 158, -286, -402, 460, -1872, 164, -250, -986, -258, -88, -147, 392, 606, 40, 192, -380, 312, 318, 112, 244, 408, -208, -1052, -554, -64, -80, -236, -208, -56, 270, -284, -128, 416, -180, 1225, -132, -190, -84, -458, -484, 166, -104, 36, 766, 34, -296, -452, -46, 464, -444, 452, -30, -304, 248, -114, 286, 380, -148, -1462, 22, 162, 288, 420, -212, -564, -98, -56, 668, -144, -278, -414, -80, -698, 394, 46, 222, -797, -320, -262, -424, 142, -308, -390, 516, 546, -330, -352, -192, 1164, 406, 360, 670, -694, 90, -602, -56, -206, 174, 556, 490, 464, 2, -434, -580, 998, -304, 968, 466, -46, 38, 426, -362, 28, -220, 646, -88, -132, -354, 500, 214, -538, -404, 1178, -320, 696, 634, -250, 578, -954, -506, 216, 412, 240, 356, 844, -372, 124, -226, 1488, 60, -498, -474, 1240, 824, 149, 488, -235, 368, 1572, 580, -126, -60, 700, -192, -400, 164, 658, -330, -288, -242, 1052, 308, -286, -182, 604, 458, 54, 608, 954, 96, -74, 290, 454, 138, -308, 248, -38, -130, -256, 154, 39, -292, -864, -174, 386, 108, -320, 774, 438, -406, -756, -488, 394, -514, 266, 606, 556, 70, 510, 344, -12, -504, -920, 578, 570, -340, 742, -218, -24, 214, 374, -784, -128, 80, -1445, 132, 1062, -2, 700, 514, 684, 548, 786, -158, 388, 416, -520, -54, -166, 206, 380, -384, -1160, 440, -360, 686, -572, 132, -34, 112, 274, -502, 62, 342, 564, 270, -638, 346, -230, -166, -694, 566, -412, 264, -1004, -408, -434, 430, 76, 296, -470, -482, 892, 160, -252, -860, 642, 518, 142, 462, 368, -788, 430, -196, 1110, 14, 338, -644, -612, 180, 994, -408, 254, 204, 976, 274, -651, 806, -324, -308, 120, 178, 334, -324, 534, 406, -338, -256, 1272, 210, 554, 514, -1510, -292, -132, 366, 760, 822, -578, -56, -172, 150, -324, 918, 118, 106, 20, 182, -52, 150, 156, -454, 292, -214, -750, 660, 416, -200, 862, -40, -57, 520, 1126, -304, -490, 580, -236, -440, -226, -2, 208, -152, 994, -388, -12, -332, -200, -262, -544, 570, 82, -8, -662, -640, -566, 212, -30, -186, 143, -10, 691, -268, 238, 112, -1606, 544, -480, -470, 728, -348, -496, 22, 204, -40, 560, -74, 34, -758, 8, 206, -794, -98, -190, -88, 300, -92, -344, 900, -46, 322, 98, -296, -90, 726, -1462, 648, 188, -20, 696, -472, -320, -522, -642, -566, 208, -350, -494, -26, 704, -198, 380, -376, -406, 392, 54, -460, -368, -442, -1122, 236, -1012, -222, -1400, 322, 450, -380, 54, 54, 258, -290, -596, 28, 632, -760, -960, -172, 161, 20, 186, 362, 364, -408, -1358]