# Trace form for 8041.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 559, -3, 0, 553, -2, 12, -8, 33, 551, 6, 7, 12, -14, 16, 28, 529, -1, 17, -20, -2, -32, -3, 36, -12, 541, -18, 36, -32, -30, -40, 4, 33, 0, -3, 0, 549, -26, 4, 24, -42, -42, -56, -1, 13, -22, -72, 20, 28, 507, -37, -4, -26, -10, -48, 6, 16, 16, 38, 12, 32, -62, -56, -72, 577, 12, 28, 28, -7, -20, 24, -52, 141, -58, -98, -84, -20, -4, 144, -32, 78, 567, 98, -68, -72, -6, -3, -24, 33, -66, 38, -112, 104, 12, 48, -16, -132, -30, 109, 31, 559, 50, -4, 44, -90, -48, -114, -68, 168, -46, -18, -100, -8, -78, -128, -12, -186, -86, -12, -4, 16, 559, 30, 24, 128, 24, -24, 16, -7, -4, 36, 28, -12, 32, 140, -12, -15, 54, 168, -76, -8, -40, 192, 26, 701, -132, 146, 96, 62, -6, 284, 0, -84, -13, -24, 76, -32, -86, 160, -32, -34, -80, -43, -92, 26, 68, -140, -32, 48, 457, 6, 36, -7, 82, 16, -16, 45, 36, -150, 36, 182, -74, 224, -136, -288, 32, 160, 7, 24, -296, 48, -60, 92, -98, 122, -88, 297, -14, -39, -56, 215, -92, -50, -92, -28, -68, 8, 0, -18, -20, 224, 68, -146, 12, -28, -6, -264, -152, -130, -136, 6, 34, -32, 52, 104, 745, 138, 92, 0, -134, -128, 16, -130, 118, -106, 16, 356, -216, -24, -72, -248, -130, -3, 108, -306, -58, -136, -32, -8, -8, -220, -56, -264, 12, 16, 0, 369, 42, 4, -80, -212, -190, -116, -120, 20, -156, -72, 84, -156, -54, 152, 24, -31, 40, -54, 13, -232, -174, 76, 8, -24, 174, -360, 140, 0, -112, -10, -68, 253, 559, 52, 60, -78, -78, 124, 188, -194, 60, -74, -168, -436, 8, 200, -128, -28, 148, -39, -68, 88, -144, -232, 184, 600, -54, -154, 168, -168, 46, 104, -26, 198, -16, 40, -20, 577, -194, 76, 24, 378, -192, -24, 0, -92, -94, 72, -236, -144, -82, -5, -76, -42, -12, 12, -40, -15, -28, -82, 252, 312, -78, 360, 80, 153, -98, 408, -188, -78, -16, 4, -80, -274, 483, 78, 0, -144, -140, -64, -36, 544, -58, -284, -8, -112, -310, -3, 204, 360, -68, -24, 72, -128, -72, 144, -36, -132, -32, -30, -13, -86, -30, 104, -8, 257, 280, -26, -64, 49, -94, -240, -104, 511, 70, -184, -80, 238, -154, 160, -2, 100, -194, -4, 292, 168, 184, -176, 88, 174, 288, -12, -28, 400, -42, -52, 60, -266, -15, 288, -16, -460, 8, 6, 208, -120, -50, 200, -120, -34, -16, 96, -264, -90, 163, 70, -128, -232, -104, 136, -224, -200, 282, -505, -22, -142, -320, 4, -32, -520, -98, 438, 8, 24, -14, -96, 8, -234, 68, 74, 116, -602, -288, 312, 116, 196, 11, -408, 260, 56, -194, 0, -8, -56, -132, -182, -80, 553, -256, 212, 204, -66, 304, -498, 68, -232, -10, -16, 34, 304, 328, -280, -92, -236, -72, -268, 64, -32, 140, -40, 528, -64, -118, -8, -4, -119, 192, -142, -336, -28, 96, -32, -160, -108, 154, 190, 4, 124, -592, 88, 8, -84, 827, -68, -32, 16, -76, -856, 176, 204, 124, -186, 79, -384, -118, -64, -4, -63, 148, 280, -244, -166, -262, 187, 104, 24, -112, -290, 452, -396, -166, -64, -14, -224, -4, 242, 220, -376, -24, -228, 184, 560, 70, -48, 28, -18, 84, 56, 192, 669, -130, -3, 72, -236, 208, -24, 26, 362, 236, 134, 540, 580, -272, -408, -16, 222, 430, 24, -16, 206, 16, 376, 60, 276, -162, -24, 304, 128, -2, -504, 32, -484, 432, 236, 88, 149, -198, -164, 64, 8, -58, -536, -176, 208, 124, 392, -8, 224, 283, -262, 0, 182, -38, -320, 104, 232, 312, 254, 224, -208, -502, 14, -48, 182, -150, 24, -288, -424, 0, -28, -208, -327, 72, -390, 64, 92, 182, -32, -56, -318, -106, 384, -108, 368, -182, -220, -16, -620, 304, -962, 72, 16, -252, 280, 18, 216, 206, -478, -224, 367, -326, 208, -272, 38, -168, -96, 260, -484, -208, 792, -188, -31, -52, -352, -40, -306, 76, -28, 120, 96, 26, 30, -32, 336, -166, 168, -296, 29, 280, 370, -168, -464, -258, -320, 384, 362, -28, -96, 12, -100, -192, 392, 572, 262, -192, 721, 32, -266, -58, 12, -64, 648, 635, 180, 47, -504, -126, -472, 388, -224, 32, 66, -388, -12, -392, 496, -96, 64, -268, 38, -4, 13, 28, 192, -196, -296, 412, -404, -176, -480, 18, 124, -12, 360, 30, -232, -220, -232, -78, -208, 24, 300, -266, -64, 144, 658, 146, 65, -200, 490, -528, 438, 48, -688, 100, 32, 160, 217, 112, 208, -132, -18, -248, 272, 64, 37, -236, 134, 0, -512, -210, 416, -32, 671, -206, -86, -30, -672, -528, 24, 216, 110, 414, -106, 212, 344, -632, -66, -24, -124, -20, -78, -408, 60, -238, -464, -348, -224, 84, 312, -180, 72, 158, -328, 96, 734, -33, 120, -392, -20, -532, 356, 124, 600, 597, -42, -344, -68, -22, 48, -8, -354, 152, 115, -36, -608, -78, -112, -304, 484, -18, 40, -228, -42, -296, 640, 512, -1672, 108, 74, 0, -8, 24, -824, -104, -538, 94, 8, 216, -680, 154, 48, -184, -10, 2, 313, 64, 62, 268, 468, 144, 368, -408, -140, 47, -80, -80, -432, 124, -48, 336, 66, 672, 683, -22, 194, 16, 210, 56, 144, -44, 292, -254, 168, 240, -368, -60, -622, -160, -34, -76, -88, -8, -232, 24, 446, -168, 152, -42, -256, -524, -82, 206, -472, -372, 338, -40, 188, -6, -474, 270, 16, -284, 728, -518, -552, -160, -36, 384, 13, -224, -456, 188, -572, 12, -120, -354, -402, 164, 368, -64, 288, -232, -536, 547, -92, -284, -6, -420, 120, 184, 33, 112, 124, 352, 444, -44, 208, -224, -898, 190, -776, -54, -570, -566, 420, -260, 144, -676, 118, -136, 424, -24, -234, -112, -56, -244, -624, -16, -488, -78, -260, -468, -836, -32, -136, 4, -380, -460, 48, -296, -240, -202, 436, -24, 56, -50, 196, -712, -640, 118, 246, 148, 40, -162, -608, 132, -207, -46, -248, -616, 274, -848, -104, -232, -12, 62, 72, -552, -336, -22, 536, -288, -548, -392, 402, 616, -698, 112, 492, -80, 228, 202, -224, -364, -560, -102, 80, -128, -92, 88, 293, 20, -500, -202, -340, -80, 8, 628, 252, 2, 376, -254, -72, -84, 676, -268, -168, 1, 646, 120, 133, -144, 504, -264, -266, -352, -152, 576, -32, -168, -31, 551, 620, 220, -416, -250, 420, -384, 178, -170, -506, 16, -101, 204, 1032, -344, 248, -44, -24, 8, -930, 234, 328, 50, -444, 184, -250, -108, 96, 450, 46, -48, 592, 192, 4, -376, -206, 68, -524, 524, -856, -90, 492, 336, 1068, 72, -952, -384, 1192, -420, 170, -68, -424, -192, 116, 272, -114, -672, -288, 260, -480, 564, 120, 760, 93, -270, 10, -128, 553, 148, -744, -152, 540, 8, 336, 516, -16, -4, 118, -244, 522, -184, 404, 244, 230, 176, -364, -252, -996, -88, -344, 292, 264, -298, 8, -352, -866, 208, -78, -132, -48, 184, 96, -216, 350, -206, -336, -80, -128, -192, 592, -82, -1556, -114, -622, 304, -8, -436, -76, -8, 64, -128, 6, 380, -424, 102, -816, -192, -332, 86, 280, 160, 388, 252, 336, 600, -35, 81, 206, 80, -292, -502, -144, 448, 48, -446, -174, -240, -880, -18, -956, -376, -616, -6, -16, 58, -136, 376, 400, 114, 64, -114, -559, 364, 474, 288, -16, 428, -970, -104, 78, 204, -464, -452, 424, 32, -1040, 60, -944, 256, -146, 112, 920, 672, 104, -288, -138, -36, 78, -274, 536, -248, -282, -744, 338, -4, -80, 44, -236, -62, -320, -514, -72, -280, -140, 776, -104, 480, 1089, -418, 20, 804, 498, 90, -984, 508, 324, -660, 54, -72, -288, -8, -432, 368, 1738, 316, 466, -56, -728, -480, -188, -72, -264, -414, 974, 580, 388, 234, -120, -592, -404, -276, 808, 7, 206, -32, 184, 852, 480, 200, -88, -128, -656, -582, 230, 104, -512, 4, -22, 124, -854, 96, 232, -40, 895, -136, -618, 80, -520, 276, 96, 136, -82, -218, 136, 840, -88, 56, 492, 24, -548, 269, 220, 240, -56, -82, 80, 144, -23, 39, 276, 408, 808, -390, -316, -408, 62, -724, -56, -88, 572, -196, -824, 120, 1024, -216, -126, 696, 78, 0, -272, -400, 288, -52, 742, 536, 296, 156, 1512, 168, 177, 62, -112, 60, 250, 238, -624, -288, 400, -332, -418, -4, -760, -710, 16, 180, 306, -8, -144, 660, 32, -230, 4, 88, -164, 14, 72, 256, -56, 296, 304, 616, -338, -40, 480, 120, 53, -2, 304, -248, -338, 656, 442, 988, 12, 698, -64, -476, -792, 304, 953, 660, -68, -180, -3, -160, -232, -300, -266, -476, -704, 452, -416, 24, 1704, 72, 68, -16, 722, 372, 612, 24, -796, 238, 312, 720, 8, 148, -136, -72, -992, -142, 364, 1320, -650, 10, -268, 96, -15, -336, 0, -32, 848, -360, -48, 120, -24, -48, 520, -62, -1324, -640, 328, -192, 992, -58, 174, -88, 220, 396, -104, -28, -736, 729, 266, 88, 120, -530, 424, -276, -16, -96, -162, -332, -344, 328, 792, 336, -596, -556, 178, -284, -40, 68, 712, 116, 490, -8, 86, -64, -91, 506, -464, -168, -438, -98, -128, 856, 182, 794, -552, 400, 1512, -800, 16, 52, -80, 32, -1000, -16, -175, -32, 180, 220, 840, -14, -532, -256, 334, 360, -696, -36, 168, -80, 1096, 104, 473, -464, 524, 396, -762, -260, -600, 26, -192, -196, -706, 196, -496, -342, -32, 888, 703, -386, -854, -96, 778, 608, -14, 168, -760, -82, -456, -8, -880, 330, -440, -24, 582, 16, -6, 844, -1258, -486, 940, -304, 520, -296, 832, -324, -90, 58, 400, 364, 156, 188, 4, 280, -230, -306, 656, -22, -332, -240, 198, 576, 744, 800, -88, 88, 888, -98, -92, 296, 1048, 264, -508, -444, -1336, -234, -258, -336, 1888, 104, -920, 312, 414, -220, -75, -84, 552, -158, -456, 624, 164, -64, 1368, 360, 212, -24, -728, -64, -24, 585, -229, 27, -26, 380, -360, -364, 540, 448, 426, 128, 344, 314, 16, -436, 110, -2, -480, -292, -153, -1520, 800, 56, -816, 236, -186, 248, -176, -418, 1120, -104, -820, 256, 314, 520, 320, 98, -1204, 552, -18, -82, -368, 252, 480, 176, -144, -34, -504, -608, -156, -148, -582, -614, 12, 384, -64, -394, -80, -440, 472, 438, 240, 792, 350, -668, -78, 16, -328, 64, 192, 40, -160, -598, 174, -344, -200, 32, -272, -24, -210, 272, 34, 54, -1043, -16, 220, -304, 14, -332, -2024, 96, -260, 658, 1160, -760, -520, 182, 184, 96, -484, -36, -83, -348, 672, -48, -24, -120, -264, -518, 1008, 56, -232, 116, -384, 424, 210, -336, 504, 224, -597, -602, -2, 16, 106, 382, -96, -80, -62, -524, -812, 100, 120, -562, -900, 28, 628, -952, -410, 144, 208, -968, 72, 0, 576, -486, 212, -348, -206, 396, 176, -284, 670, 328, 40, -100, -136, -56, 464, 288, -568, 352, 552, -128, -122, -668, 384, 584, -16, 559, 1138, 424, 1224, 86, 360, 384, -266, 268, 266, -63, -400, -374, -28, -492, -390, 4, -704, -92, 700, 344, -2, 128, -2114, 86, -102, 480, -1136, -222, 96, 732, -40, -100, 670, -592, 552, 704, -448, -56, 380, -370, -312, -480, 29, 204, -404, 636, -544, -184, -900, 60, -284, -474, 1352, -90, 120, -672, -214, -4, 270, 640, 24, 1144, 256, 182, -232, 4, -320, 268, -616, 344, 672, 30, 645, -332, -292, -156, -540, 256, -630, -68, -1268, -156, 488, 42, -224, -78, 529, 404, 24, 324, -604, -68, 956, 256, 1020, -144, 208, -124, 416, 82, 1320, -156, -170, -216, -398, -32, 416, 136, 146, -372, -554, -364, -130, 120, 620, -376, -344, 32, -736, 120, -444, -416, 78, 278, 264, -224, 752, 0, -48, 532, -122, -432, 104, -652, 616, 156, -472, -596, 1160, 58, 112, 46, -312, 166, -802, -416, -252, -14, -304, -240, 44, -80, 0, 452, -384, 228, -116, -160, -1236, 94, 256, 88, -848, 96, 392, -96, 536, 314, -326, 392, 308, -48, -80, -8, 216, 917, -722, 52, 204, 214, -480, -256, 120, 352, 714, 24, -522, 88, 140, -628, -168, 100, -18, 76, -600, -236, -144, 68, -175, -16, 198, -296, 432, -6, -200, 860, -470, -1, -1232, 824, -864, -1298, -552, -96, -124, -128, -214, 488, 288, -262, -768, 184, -104, -268, -122, -828, 856, -220, -1320, 336, -1100, 22, -120, -176, 706, -8, 1232, -600, -202, 62, 160, -168, -1300, -792, -128, 288, -820, 134, -534, -68, -3448, -4, 236, -608, 488, 596, 54, 47, 24, -200, 272, -160, -164, 214, -1232, -576, 1033, 40, 1120, -512, -660, -696, 174, -146, 1396, 36, 136, 140, -584, -18, 448, 140, 956, -648, -230, -536, -2488, 282, 86, -612, -576, -30, -32, -80, 860, -40, 332, -80, -624, -120, -61, -328, -1202, 214, 672, -8, 229, 484, -216, 160, -1432, 110, 864, 1184, -234, -632, -1476, 170, -832, -978, 472, -528, 344, 444, -400, 640, -31, 888, 17, 32, 548, -428, 324, -284, 160, 32, 622, 268, 220, 184, -832, -408, 338, 20, -1014, -416, -18, -196, -528, -568, 471, 44, -872, -488, 752, 514, 136, 408, 1472, 651, -156, -4, -480, 250, -728, -500, -194, 872, 526, -24, 160, -382, -50, -1032, -284, -466, 128, -112, -722, 1016, -8, 692, -240, -112, -554, -168, 14, -238, 672, -104, 120, 728, -1176, -380, -28, 440, -604, -384, 170, -148, -1460, -220, 412, 292, -160, -212, -1016, -268, -462, 316, -884, -120, -72, -528, -1100, 288, -184, -400, -112, -122, -744, 800, 1840, -274, 1016, -320, -846, 224, 20, -6, 192, -654, 216, 400, -1308, -244, 376, 376, -66, -752, -1308, -48, -1104, 26, 1040, -168, 240, 446, -280, -20, 592, 1784, 64, 424, -235, 396, 538, -16, -510, 562, -64, 48, 33, 546, -76, 604, 320, -296, 448, 296, -644, -80, 432, 824, 1192, 1560, 148, -168, -400, -138, -764, 160, -194, 482, 440, 1084, 138, 976, 40, -140, 388, 446, 172, 204, 238, 504, 0, 516, 1156, -830, -96, 88, 812, -444, -196, 580, -928, 134, 244, 76, -1872, 688, -482, 112, -464, -6, -280, 136, -938, 360, 1000, 100, 738, 1136, 308, 328, -8, 226, -468, 368, -256, 414, 584, 104, 870, 892, -622, -88, -176, -246, -1984, 348, 352, 446, 344, -440, 400, 48, -202, 384, -716, -489, -814, 276, -182, -432, 312, 576, -120, 128, -1396, -564, 76, 392, 32, 1696, -856, 670, 1032, 336, -2, 66, 352, -48, 496, -62, 398, -176, 32, 1028, -1736, 42, -1916, 128, 50, -468, 16, 242, 984, 96, -420, 254, -112, -184, 352, -480, 312, -200, 77, -840, -445, -16, -354, -12, 80, -896, 420, 1040, -618, 428, -808, -696, -424, 224, 232, -36, -374, 304, 202, 828, -568, -240, 1048, -138, 630, 57, -964, 138, -768, 708, 968, -680, -38, 952, 504, 232, -126, 92, 1632, -64, 320, -436, 80, 58, -90, 464, 448, -112, -350, 44, 581, 172, -412, 272, -510, 872, -488, -416, 200, 20, 456, 28, -1202, 472, -752, 1232, 102, -340, -908, 302, -1376, 94, -284, -8, -24, 398, 1512, 512, 760, -602, 456, -220, -944, -150, 56, -540, 614, 4, 952, 60, -392, -32, 1216, -208, -496, 376, -512, 244, -1562, -622, 164, -96, -34, -380, -282, 40, -944, 86, -64, -96, -90, 292, -720, 210, 394, 144, 564, -48, 80, -696, 484, 336, 220, -104, 46, 260, -2536, 1068, 594, -756, 248, -172, 396, -124, 4, -48, -608, -840, -864, 1152, -1576, 144, -439, -378, 1482, -360, 68, 954, -120, -52, -1046, 551, -650, -1024, 2184, 48, -112, -224, 1236, -234, 636, 656, 510, -352, 1596, -464, 48, -90, 16, 444, -488, 146, 1152, 26, -478, 88, 604, -956, -526, 96, 608, -1128, 1328, -906, 608, 160, -140, -550, 40, -104, 424, 168, 314, 108, -938, 26, 368, 144, 84, -224, -638, -54, -232, 344, -472, 24, -652, 582, 896, -460, 1672, -688, -3, 44, -746, -1016, 40, -256, 168, 66, 96, 428, 376, 180, 328, -804, 984, 474, -8, 760, 248, 240, 1502, -212, -2, -1028, 184, 476, 1528, -414, 1860, -1184, 754, 1038, 664, -90, -2350, -216, -32, -516, 880, -796, -496, 184, -129, -228, -184, 616, 926, 40, -1168, 360, -416, -146, 1424, 52, -1208, 136, 976, 480, 214, -688, 586, -600, -80, -410, -832, 872, -392, -182, 544, 236, 956, 880, -96, 16, 676, -64, -437, -256, -460, 914, -88, -856, 1800, 996, -1386, -496, 1000, 106, 100, 232, -127, 230, -235, -224, 1012, 264, 296, -956, -624, 232, -794, -1028, -532, 760, -424, 200, 206, 1240, 140, 76, 232, -12, 448, 128, 268, 694, 1536, 48, 792, -512, -104, 36, 192, -172, 808, -552, -38, -534, 2376, -448, 310, -1048, 128, 44, 264, 238, 1736, 80, -160, -106, 264, 256, -1122, 24, -1256, 864, 240, 1045, -404, -80, -376, -172, 2448, 1032, -195, 326, 74, 24, -400, 24, -92, -728, -230, 490, -258, 366, -1680, 256, -416, -120, -392, -626, 580, 1616, -354, -278, -12, 192, -272, 116, 694, 224, 1840, -604, 1504, -608, 1026, -32, -1096, -636, -840, -54, 1100, 600, -80, 630, 158, -144, -12, -234, -392, 64, -372, 1972, 1034, -168, 1224, -496, -952, -114, 1040, -55, 832, -1044, 1160, 632, 1152, 176, -394, 28, -28, -396, -160, 776, -1064, 132, 3101, -88, 6, 816, 72, 88, -504, -32, -530, 854, 1040, 160, -1766, 392, 204, -40, -12, -312, -1290, -100, -48, 194, 1232, 1296, 1408, 1004, 360, -28, -243, -806, -444, 240, 204, 336, -1512, 392, 113, 854, 216, -520, -240, -116, 292, -620, 790, 128, 644, 72, -936, 188, 284, 228, -1464, -90, 688, -728, 104, 920, 712, -944, 28, 492, -380, 664, -478, 190, -1848, 240, -148, 678, -168, 82, 1852, 136, 410, 88, 64, 36, 132, 24, 1352, -322, -272, -68, -256, 1024, 1256, 140, -400, 284, 1194, -572, -1364, 8, 224, 416, 446, -1072, 230, 384, 1500, -486, -512, -248, 13, -544, 464, 888, 64, 574, 860, -168, 432]