# Trace form for 6001.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 469, -1, 0, 467, 2, 0, -16, -9, 469, -6, -4, 16, -10, -16, -4, 459, 1, -25, -12, -30, -24, -16, 0, -36, 463, -18, 12, -48, -22, -32, -20, -29, 8, 3, 4, 403, -22, -28, 4, 10, -14, 28, -4, -20, 42, -16, -4, 28, 401, -39, -4, -10, 14, -16, -12, -144, -48, 18, 12, -24, -30, 16, -60, 471, -20, -32, -44, 7, 28, -16, -8, -49, -34, -30, -32, -52, 16, 40, -72, -42, 413, 50, -24, 16, -2, 28, -64, 16, -26, 54, -52, -64, 52, 36, -48, -40, -26, 59, -80, 489, 42, -12, 20, 6, -84, -70, -60, 116, -46, 44, -92, -84, 58, 144, -20, -26, -10, 24, -12, -56, 401, -14, 4, -52, 12, -224, -40, -101, -48, 8, -8, -4, -64, -72, -4, 15, 10, -8, -32, 48, 56, -76, -88, 379, -52, 10, -8, -134, 22, 104, -80, 0, 13, -8, 44, 92, -22, 100, -88, -78, -132, -57, -32, -6, 136, 24, 28, 212, 395, 6, -40, -8, 58, 24, -116, -152, -8, -26, -84, 54, 6, -72, 20, -28, 88, 4, -4, -92, -60, -184, 72, -132, -38, 42, 104, 283, 82, 24, 32, -115, 64, -54, 72, -28, -60, -152, 32, -66, 36, -12, -76, -6, 204, -140, -120, -200, -76, -62, -12, -148, -2, -76, 4, -188, 483, -130, 68, -108, -106, -68, 16, -242, 26, 74, 84, -252, 84, 16, -120, -92, -174, 103, 36, -26, 86, 136, -72, 32, -140, -192, -96, -260, -64, 12, 24, 579, -26, -92, -72, -4, 102, 32, -28, -64, 36, 88, 104, -112, 114, -248, -4, 31, -32, -58, 4, 80, -50, -16, -48, 20, -10, 128, -104, -56, 96, 152, -64, -41, 469, 96, -132, -138, 2, 216, -44, 10, 16, -166, 12, -132, -132, -128, 76, -184, -88, -17, 84, 16, -4, 44, 96, 284, -10, 10, -96, -128, -14, 232, 36, 22, -84, -152, 12, 243, -6, -20, 16, 166, -52, -88, 32, 120, -22, -44, -136, 16, -26, 85, 220, -46, 84, -216, -188, -56, -92, 102, -8, -116, -114, 192, -52, -88, 1, 188, 196, 74, 0, 16, -108, 154, 505, -250, 104, 20, 16, -208, 100, -152, -206, 200, 100, 24, 42, -8, 124, 128, 64, 424, -180, -116, -88, -68, 100, -8, -232, -110, 172, -22, 78, -224, -4, -201, -28, -26, -92, -460, -70, 44, -76, 373, -2, -112, -24, 114, 174, 28, 16, -60, -102, -404, 76, 24, 280, -448, 148, -258, -172, 240, 12, -44, -86, 36, -16, -338, 31, -300, 156, -324, -96, 116, -180, 12, 46, -164, 160, 18, -44, 308, 188, -124, 241, -22, 88, -180, 32, -260, -64, -256, -26, -339, 192, 106, 128, -60, 16, 180, -126, -38, -16, -400, 170, 264, -40, 150, -28, -102, 12, -202, -140, -172, -48, 44, 148, -76, -92, -32, 34, 112, -216, -32, -268, -38, 108, 151, 72, -248, -168, 50, 232, -70, -52, 0, -10, -8, -188, 36, -12, -248, 88, -476, -288, -128, 60, -616, -336, -256, -324, 244, -170, -56, -68, -281, 68, 2, -112, -648, 28, 152, -276, 40, 6, -26, -104, 32, -120, -80, -40, 84, 201, 16, 200, -208, 236, -100, -48, -272, 256, 166, 40, 176, -282, -88, -112, 63, 4, 280, 148, -30, -254, 320, 24, 256, -236, 70, 192, -88, 82, -12, -100, 420, 8, 162, -108, -32, -76, 100, -156, -40, 122, -96, -168, -232, 32, 196, 272, 331, -250, -1, 180, 108, -64, -112, 8, -86, -208, 550, 184, 464, -264, 196, 128, -142, 170, 24, 24, 10, -288, 316, 140, -192, -110, 340, -144, -424, -18, -8, 68, -92, -44, 164, -80, 91, -26, -80, 244, 296, -198, 140, 40, 228, 64, 276, -280, 16, 377, -106, -36, 26, -22, -40, 108, 116, 112, -42, 136, -104, -146, -204, 136, -166, 62, -172, 116, 16, -208, 60, -76, -409, 84, 122, 0, 164, -278, -44, -360, 110, -274, 316, 324, 880, 54, -4, 32, 516, 88, -174, -84, 64, -12, -124, -64, 168, -174, 30, -236, 361, 82, 448, -176, -22, -160, -48, 32, -312, 116, -68, -72, 96, -36, 512, 140, 690, 380, 172, 188, 24, -18, -26, -236, -436, -206, 244, -12, -396, 28, 3, -124, 372, -50, 320, -192, 174, 200, 8, -164, 120, -12, 352, -92, -10, -408, -249, 76, 190, -238, -340, -164, 356, 577, 124, 28, -352, -46, 124, -84, 140, 232, 210, -236, -104, -248, -8, -296, 376, -4, 354, -216, 20, 88, -220, 4, -224, 168, 108, 120, -296, 170, 292, -144, -156, -34, -412, -372, 64, -90, 164, -240, -232, -158, -284, 492, -58, -34, 20, -248, -38, 164, 190, -176, -48, -156, 36, -416, 179, 332, -172, -8, -2, 288, 244, 328, 80, -128, 130, 236, 580, -186, -316, 48, -295, -174, 58, -16, 104, 368, 480, 324, 82, 210, -102, -240, 328, 4, 212, -60, -92, -120, 10, 24, 380, -10, -516, -136, -556, 224, 72, -60, -364, 206, -112, 308, 294, 33, -864, 132, 252, 196, 192, -172, -176, 527, 218, 192, -144, 58, 228, -40, -50, -20, -43, 12, 464, -10, -456, -224, -324, -206, -264, -364, 152, -168, 60, 96, -488, -380, -146, 0, -460, -156, -188, 64, -90, 226, 356, -64, -544, 2, -204, 52, -476, 158, -273, 100, -6, 308, 548, 64, -520, -580, 12, -116, 472, 164, 340, 112, -356, 128, 6, 448, 409, 6, -384, -160, -682, 4, -1020, 100, -196, -274, 552, -148, -704, -120, -18, 228, -126, -328, -120, -136, 8, -416, -74, 260, -396, 82, 256, 224, -286, 142, 612, 152, -306, 172, -592, -40, -58, -94, 24, 180, 360, -162, -648, -40, -540, -68, -40, -136, 692, 80, -348, 192, 60, -14, 10, -236, -168, -204, 60, 76, -332, 321, 200, 220, -514, -232, 128, -104, 763, -80, -20, 168, 432, -124, -236, 0, -250, -178, -176, -88, 98, -358, 292, -212, 420, -48, -18, 404, -124, -252, -4, 236, 284, 300, 568, 432, 340, 66, 48, -216, -172, -156, 220, 20, -340, -156, 216, 132, -540, -338, -216, 136, 76, 106, 364, 212, 220, 306, 242, 96, 112, -38, -84, 112, 467, 30, 128, 40, -398, -192, 220, 400, -232, -634, 160, -204, -116, 42, 312, -28, -384, -184, 142, 116, 258, 276, 248, -12, -292, -2, 164, -204, -68, -86, -8, -140, -120, -112, -761, -20, 32, 222, -92, -44, 420, 88, -20, -116, 580, 150, 68, -12, -396, -204, -92, -300, 222, 348, -8, -104, -816, -12, 442, 508, -216, -128, -24, 84, -17, 337, -668, 308, -204, 166, -304, -144, -282, 598, 186, 12, 396, -224, 160, 296, -80, -76, 348, 284, -334, 150, -608, 72, 0, -136, -358, 196, -352, 78, 544, -8, 168, -256, -48, 208, -222, 692, 548, -4, -36, -262, 376, 88, -696, -368, -496, -180, -268, -496, 2, -36, 0, -452, 764, 164, 480, -120, -52, -192, -476, 12, -652, 52, 307, -46, 934, 656, 467, 452, 368, 36, 432, -248, -160, 32, -84, 20, -628, -168, -246, 128, 80, -48, -214, -48, -36, -272, -364, -208, -128, 228, 284, 66, -204, -132, -130, -532, -258, 252, -56, 268, 8, 416, -518, -326, -320, 340, 632, -504, -440, -68, 528, -530, -294, -236, -724, -260, -880, -12, -352, -220, -402, -168, -632, 78, -44, 492, -364, -2, -348, 292, 44, -244, -176, 364, 83, -41, -126, -28, 168, -98, -4, 344, 340, -358, 146, 76, -272, 294, 388, 324, -536, -2, -304, -228, 368, 248, 44, 212, 704, -310, -13, 152, 490, 508, -52, -156, -466, -280, -118, -84, 824, -20, 312, 208, -568, -224, 140, 28, 362, 100, 84, 460, 812, 8, -590, 8, -92, -190, 572, -144, 366, -744, -182, 296, 36, -24, 200, -428, -720, -222, 856, 24, -84, 376, 680, -156, 83, -34, -108, 244, -470, -50, 460, -204, 460, -792, -58, 12, 248, 48, -580, -320, 382, -188, -130, 344, 572, -88, -596, -100, -340, 82, 298, 264, -220, -2, 144, -244, -48, -212, -356, -36, -370, 248, 348, 524, 580, 88, 856, -84, -204, -454, -180, -88, -12, 52, 82, 452, -14, 368, 284, -320, 609, -484, -186, 64, -344, 280, 344, -468, -2, -238, 112, 200, 732, 308, -248, -28, 348, 243, 556, -200, -328, -294, 128, 888, -440, 89, 52, 168, -288, 78, -772, 540, 182, -264, -308, -80, 348, -64, 620, 352, -116, 84, 10, 476, 166, -328, 720, 248, -176, -108, 194, -312, 888, -16, -396, 340, -112, -338, -152, 28, 7, -122, 272, -20, 216, 548, 38, -60, 168, -486, -376, -160, 290, -464, 256, 104, -8, 98, 852, -388, -248, -290, 12, 140, -748, 308, -248, -300, 646, -80, 492, 160, 719, 2, -348, -100, -366, -612, -86, 572, 588, 98, -412, -68, 728, 376, 379, 136, 308, 304, -4, 324, 316, 108, 606, 40, 312, -248, 92, 16, 32, -448, 308, 408, -114, 172, -180, 48, 880, -138, 100, -76, 464, -120, 0, -320, 468, -450, -72, 652, -134, -334, 32, 288, -8, 472, 820, -48, 528, 172, 212, -528, 108, -332, -484, 200, 104, 404, 44, -220, 1444, 26, 458, 484, -796, -392, 780, -272, -208, -185, 474, 84, -4, -258, 260, 168, -632, -320, 38, 100, 504, -556, -128, 328, -204, 8, -250, -124, -988, -148, 988, -704, -1058, -212, -114, 8, 624, 110, -284, -240, -102, -86, -440, 68, -62, -274, 132, -112, -444, -548, -248, -8, 24, 248, -16, 332, -501, -704, -104, 120, -4, 194, -108, -576, 466, 460, 500, 100, -448, 104, -224, -88, -1376, 312, -276, 388, -434, -76, -704, -16, 544, -588, -494, -676, 220, 42, 24, -420, 393, -182, -94, 624, -122, 384, 332, 36, -668, -42, 8, -92, -628, -194, -56, -56, 70, 100, -594, -180, -2, -138, 84, -556, -168, -308, -596, 180, -28, 306, -636, 84, -172, 512, 216, -148, 510, 2, -172, 200, -264, -420, -214, -340, 668, 268, 828, 520, -360, -14, -476, -428, 820, 420, -204, 208, -964, 158, 570, -208, -244, 164, 120, -304, -1158, 248, 123, 72, 616, 6, -656, 88, 404, -92, 612, 20, 244, -236, -204, -24, -500, 475, -103, -20, -218, -632, -900, 48, 472, 280, 10, -240, -404, 334, 260, -796, -1218, 190, 444, 448, 41, 136, 340, -204, -964, 396, -42, 144, 600, 390, -60, 292, -928, -72, -214, 420, -104, 38, 264, 40, -252, -182, -468, -268, -128, -288, 116, 84, 208, -736, -1020, 600, 94, 158, 0, 140, 528, -322, 40, -644, -236, -2, -508, 188, -10, -116, -462, 76, 972, 544, -296, 8, 772, 10, -438, -372, 100, -160, 204, 276, -332, -668, 238, -16, -1313, -14, 244, -68, -14, 108, 624, 252, 564, 958, -140, -940, 88, 730, 400, 172, -576, 24, -360, 44, -948, 88, -196, -64, 84, 402, 476, -444, -136, -160, 1104, 556, -542, 344, -164, -168, -475, -522, -38, 272, 796, 78, 384, -336, 834, -344, 364, -220, 820, 226, 132, -268, -368, 164, 386, -8, -960, -84, -488, 276, -20, -170, 8, 428, -506, 244, 1116, 416, 6, -44, 64, 36, -184, 508, -84, -396, -1148, -280, -484, -152, 778, -356, 728, -236, 1328, 361, -330, -76, 92, 90, -276, 220, 290, 292, 586, -224, -160, 434, 24, 680, -378, 376, 464, 80, 20, 464, 96, 216, -502, 154, 434, 412, -232, 246, 248, 8, 0, -300, -218, -384, 384, -84, -396, 56, -256, -22, 384, -44, 72, 320, -312, 480, -328, 460, 580, -452, -692, 234, -764, 176, 72, -596, 582, 40, 242, 100, 16, -32, -364, -222, 676, 56, -64, 528, -56, -704, -512, -14, -637, -12, -1036, 152, 28, 376, -178, -276, -580, -800, 908, 290, 124, -724, 31, 176, 172, -388, 296, -328, -140, 236, -496, 248, 148, -280, -940, -2, -596, 4, 910, -92, -58, 48, 528, -36, 284, -72, -490, -128, -166, -232, 440, -696, 232, -80, 576, -184, 296, -416, 122, 658, 332, -636, -484, 164, -420, -588, -736, 132, -176, -456, -4, -176, 944, -264, -492, 134, -244, -236, -700, -562, -874, 344, 628, -182, 584, -208, -608, -404, -520, -512, -540, 528, 4, -152, -300, -50, 828, -120, 12, 732, 160, -528, -2000, -282, 678, -104, -1136, -4, 748, -16, -784, 595, 538, 104, -408, 470, -1204, 60, -8, 140, -82, -468, -574, -540, -316, 396, -312, -344, 374, -228, -324, 16, -68, 0, 515, -148, 266, 748, 736, 26, -52, 304, -218, -11, 344, 332, -24, -10, -228, -676, -608, -652, 754, -804, 432, 150, 252, 296, 872, -276, -98, -296, -616, 184, 128, -752, -224, -302, -652, 376, -446, 816, 336, -52, -874, -198, 456, -112, -620, 348, -96, -48, 800, 242, 14, -96, 196, 608, 468, 420, 184, 236, -1046, 160, -216, 376, 196, -524, -732, -326, 624, 388, -521, -396, -8, 120, 1224, 84, -74, 160, -232, -132, 64, -320, -852, -474, 192, -104, 424, -516, -648, -356, 1016, 66, -114, -424, 232, -30, -48, 60, 128, 176, -268, -196, 704, 152, 1004, -492, -166, -734, 1404, 60, -252, 248, 1160, 40, -1088, 398, 480, -260, -878, 748, 712, 104, -496, -338, 884, 216, 276, 68, -112, -528, -25, 544, 731, 136, -60, 204, -288, 608, 1264, -284, 578, -256, 240, 524, -136, -156, -562, -52, -346, -180, 722, 232, -1080, 336, 768, 856, -740, 92, -252, 718, -376, -408, 2012, 353, -108, 184, -288, 330, -148, 644, 130, 32, 450, 732, 824, -158, 656, -520, 1344, -526, -260, -104, 822, -96, -116, -624, 952, -640, -50, -276, 612, -230, 656, -300, -492, -664, 100, 268, -72, 16, 32, 216, 1250, -572, -1008, -496, 260, 228, 200, 176, 260, -388, -86, -160, 96, 16, -728, 200, 824, -372, -600, -236, 4, -14, 128, -308, -84, -158, 32, -76, 298, -488, 52, 464, -1260, -494, 108, 588, -496, 608, 1168, 88, -744, -668, -1072, -244, -284, 298, 220, -72, 436, 174, 456, -392, -332, 112, 440, -144, 655, -204, 330, 212, -1530, 810, -2092, 88, -9, 762, 396, 96, 236, 88, 820, -208, -108, 96, 36, -76, 104, 596, -276, 356, -280, -6, -64, 440, -828, -90, 228, 420, -774, 408, 708, 364, -960, -606, 668, 64, 286, 428, 264, 192, 936, 722, -76, -200, 464, -608, -252, 452, -860, 198, 280, 172, 136, -496, -386, 28, 148, 316, -216, -944, 298, -356, -392, 408, -2, 368, 240, -216, 496, -354, 132, -256, -96, 198, -936, 592, 274, 1008, -630, 448, -1176, -258, -676, -472, 104, 330, 732, 356, 736, -4, 180, -96, 344, -131, -194, 616, 258, -584, 580, 8, 384, 152, -696, 136, -516, -548, -168, 1188, -760, -202, -756, 288, 54, 302, 692, -160, -116, 214, -238, -60, -412, 224, -760, -168, -24, -96, 410, -584, 84, 518, 128, -424, -308, 62, 740, -208, -608, 92, -472, -52, 155, -260, 533, -260, -378, 428, 1056, 312, 176, 496, 134, -184, 200, 404, -1080, -528, 152, -12, 450, 232, -146, 332, -580, -116, 696, 226, -18, 104, -156, 158, -584, 392, -232, -196, -6, 104, -892, 932, -264, 524, 220, 376, -1496, -80, -828, -142, -16, -48, -24, 424, 430, -32, 11, 184, -260, 220, -314, 32, -4, 224, -1064, 428, 60, -264, -550, -960, 1276, -1280, 102, 364, 204, -20, -1460, -302, -616, -168, 284, 434, -1396, -348, -172, -686, -1140, -44, 112, -10, 72, -528, 502, 996, 436, 328, -192, -396, -644, 836, -772, 304, 224, 448, -66, -102, -172, -40, -1708, -180, 526, -464, 28, -58, -120, -156, -486, 312, -796, 456, 254, 436, -544, -48, -408, -432, -712, -316, 264, 372, 204, -804, 300, 52, -1222, 128, 64, -404, 56, -704, 12, -140, 684, -76, 48, 388, -460, 600, 51, -34, -230, 204, 1072, 130, -16, 348, -206, 469, 210, -380, -1084, 16, -544, 884, 1076, -506, -400, -644, 402, -128, -592, 620, -824, 554, -184, -540, -476, -534, -608, 160, -250, 160, -180, 464, -1054, 28, -504, 632, 640, -134, 32, -120, 432, -374, -168, -24, 1076, -452, -206, 72, 30, -390, 1316, -424, -64, 500, 662, 200, 76, -164, -140, -44, 540, -50, 176, 560, 844, 56, -348, -556, 354, -120, 620, 644, -560, 70, 112, 200, 716, -28, -596, -464, -792, -254, 360, 288, 612, -36, -1570, -260, -492, -112, 20, 312, 196, -802, -364, 76, -682, -62, -356, 4, 578, 460, 528, -180, -1224, 60, 1208, -16, 1153, 888, 1040, -348, -294, -96, 676, 492, 236, -638, 524, -428, -436, 152, -516, -68, -150, 404, -202, 24, 648, -654, -756, -88, 428, -378, -1604, 500, -216, 1036, -52, 388, -1240, 48, -75, -712, -216, -30, -440, 460, -636, -592, 614, 560, 644, 314, -120, 440, -436, -290, -53, 548, -392, -320, 156, 940, -628, 340, -330, 16, 1100, -36, -420, -148, 1786, -516, 996, -104, -4, 280, 776, -552, 724, 722, 1196, 300, 1124, -248, 64, -580, 904, -368, -1152, 212, -186, 714, 196, -228, 10, -28, -740, -220, -1088, -234, -440, 1064, -460, -606, 576, 1368, -794, -144, -404, -96, 1884, 803, -224, 236, -388, 512, 632, -28, 348, -1010, 502, 44, -468, 48, -156, -512, 15, 58, 930, -332, -100, -32, 612, 720, -308, 374, -132, -548, 30, -414, 208, 12, -408, 932, 430, -596, -992, -308, -180, -196, 58, 300, 220, 156, 272, 666, 572, 72, -72, -618, 382, 80, 428, 118, 380, 556, 288, 880, -54, 292, -600, 48, -72, 288, 800, 71, -880, -188, 676, 104, 576, -156, -234, -708, 888, -380, 608, -204, 120, -100, -109, -160, -6, -244, 1060, -408, 60, 764, 178, 186, 392, -132, -326, -736, 1100, 576, -1208, -832, 1118, -52, -544, 642, 404, 324, 264, 188, 364, 76, 387, 182, 584, 356, -528, 320, 40, -300, 172, 1446, 704, 460, -44, 208, -52, -644, -858, 488, 772, -468, 1136, 336, -84, 484, -972, -22, -1784, 180, -328, -172, -116, 12, 1016, 596, 452, 4, 154, -182, 1180, 164, -688, -686, -136, 164, -516, -260, 338, -180, 104, 100, -556, 40, -20, -346, -772, 144, -412, -584, -320, 4, 764, 248, 30, -828, 944, 200, -1100, -248, 322, 732, -410, -224, 280, 386, -248, 380, 104, 288, -1584, 172, -1632, 134, 636, 44, -140]