# Trace form for 8047.2.a, downloaded from the LMFDB on 23 April 2024.
[0, 619, -1, 4, 621, 2, 0, -4, -9, 623, -10, 4, 20, 1, 0, 16, 613, 18, -9, 20, -10, 0, -4, 16, -4, 625, -3, 28, -8, -18, 16, 4, 11, 16, 30, -12, 645, 2, -52, -4, -10, -2, -36, 0, -36, 10, -8, 12, 16, 587, -23, 52, -1, 18, 28, 8, -12, 20, -58, 0, 56, 10, -76, 32, 573, 6, -40, -12, 58, 20, -44, 24, -85, 2, 18, 24, 4, -8, -8, -28, -62, 643, -42, 16, 52, 72, -32, -20, 8, -38, -186, 0, -32, 0, 4, 0, -32, -2, -93, 32, 611, 2, -28, -4, -15, -164, 38, -8, 12, -6, -60, 0, -36, -54, -56, 44, -98, 13, 4, -4, 12, 623, 50, 96, 88, -12, 4, 72, -49, -48, -18, 64, 20, 12, 8, 32, 54, -10, -48, 32, -32, -8, -104, -8, 681, -100, -46, 64, 58, -26, -52, -20, -144, 86, -120, 6, 12, -44, 28, -32, -38, -94, 39, 16, -50, -44, -20, -82, -100, 619, -40, 8, 12, -102, 104, 50, -32, -8, 190, -100, -50, -54, -20, -8, -8, 54, 48, 32, 128, -136, -24, -60, -20, 70, -42, -24, 477, -12, -4, 52, -71, 20, -182, -36, 392, -36, -220, 64, 15, 124, 40, 50, 18, -32, 56, -88, 56, -80, -58, 124, -48, -6, 0, 112, -16, 653, 26, -30, -72, 26, 92, -96, -270, -46, -23, 76, -92, 68, 124, -16, 428, 14, -189, 8, 26, 96, -156, 8, -232, 48, 40, 4, 272, -44, 20, -60, 533, 30, 204, -152, -2, -74, 72, 52, -72, -82, 24, 16, 32, 2, -80, 12, 42, -12, -38, -76, 24, -6, 36, 120, 96, 2, -276, 80, 64, -192, -4, -114, 63, 797, -20, -172, 90, -66, 72, -92, 34, -36, -142, 16, 188, -176, 168, -52, 80, -40, -62, -16, 200, -180, 56, -74, -48, 46, 166, 72, -124, 38, -28, -88, -166, -76, -176, -44, 865, -1, -224, -192, -206, -32, -80, 44, -192, -58, -4, 168, -96, 16, -1, 88, 172, 36, -376, -20, -80, -92, -74, -68, -224, -14, -24, -40, -188, 50, -100, -128, -82, 100, 40, -100, -418, 735, -50, 56, -36, -122, -248, -36, -96, -66, -256, -12, -432, -30, -112, -88, -12, -2, -92, -44, -100, -68, -228, -136, -212, 128, -258, -296, 30, 138, 32, 120, -281, -192, -42, -170, -468, 66, 64, -152, 451, 58, -356, -20, 134, -18, -208, -56, 64, 50, 44, 164, -96, 80, -144, 56, -23, 28, -40, 0, -288, 58, -284, -160, 190, 102, -224, 162, 52, 16, -124, -244, -212, 6, 236, -92, -178, -80, 344, 116, -412, 331, -46, 64, -284, 172, -4, -152, -20, -50, -11, -152, -254, 84, -24, 48, -92, 86, 34, 212, 228, 12, -188, -32, -190, -216, -362, -32, 59, 52, 152, 100, -372, 180, -4, -56, -412, -82, 332, 140, -16, 6, -38, 76, 505, 100, -232, 48, 162, 64, -138, 60, 168, 244, 36, -8, 380, 38, 36, 60, -100, 28, -272, -76, -96, 76, -248, 4, 120, -6, -120, -116, -429, 260, 26, 108, -268, 76, -64, 200, -90, -110, -174, -16, 308, 148, 76, 0, 92, 611, 52, 252, -412, 22, 84, 62, -104, 188, -390, 132, 232, 58, -28, 240, -78, 36, 64, 24, 126, 230, -180, -92, -132, -224, -250, -44, 36, 114, -144, -12, 112, 24, -250, -72, 424, 248, -20, -8, -284, 54, -164, -4, 0, 24, 136, 130, 457, -158, 553, 28, -612, -40, 16, 24, -74, -6, 162, 56, 460, 248, 292, -36, -38, 82, 300, 152, -370, 360, -40, 164, 92, -94, -496, 44, -296, -42, -112, -40, -20, -244, 136, 8, 54, -46, 116, -100, -572, -136, 336, -19, -20, 4, -288, 124, -44, 695, -238, -212, -294, 144, 0, 120, 344, -48, -354, -112, 268, 25, 276, -56, 86, 2, -308, -232, -436, -56, 128, -36, 235, 92, -5, -396, 224, -174, 52, -136, -274, -18, -268, 28, -56, 40, -92, 32, -368, -152, 14, 0, -164, -40, -368, -8, -472, -46, 342, 292, 621, 198, 444, -80, -76, -140, 128, -168, -68, 172, -308, 240, -256, 6, 260, 100, -490, -136, 204, 152, 52, 136, 410, 268, 56, 234, -80, 148, -92, -36, -382, -30, -132, 82, 208, -156, 370, 208, 328, 24, -272, -216, -128, -188, 146, -72, 31, 104, -238, -226, -200, 16, 20, 827, -112, 96, -80, 174, -76, 396, 104, -8, -194, -36, 400, -40, -188, -104, 404, 124, 254, -344, -108, -268, 104, 40, 696, 160, 26, 70, -552, 170, 164, -188, -264, -74, -124, -192, -172, 480, 332, -24, 180, -90, 16, -116, 158, 62, -4, -220, -78, -84, -298, -68, -60, 112, -296, -188, 65, -140, -108, 128, 350, -260, 136, 12, -4, -2, 82, 64, 120, -86, 252, 308, -31, -66, -342, -172, -192, 118, -12, -144, -566, -78, -402, 32, -48, -464, -288, -180, 384, -52, 142, -28, 204, 186, -172, -148, -324, 192, -4, 140, -140, -162, 372, -272, -33, 282, 468, -256, 560, 20, -72, 44, -712, 321, 314, -68, 156, 2, 72, 64, 354, -48, 274, -248, 136, -130, 288, 0, 368, 112, -64, 60, 376, 44, -444, -92, 476, -236, -586, -500, -348, -120, 292, -8, -506, -74, -184, 36, 468, 106, 336, 252, -296, -142, -401, 32, 46, 456, -188, -232, -84, -452, 336, 308, 172, -216, 132, -204, 64, -96, -166, 48, 851, -144, 540, -208, 198, 132, -192, 4, 16, -26, -28, -238, 20, -340, -38, -172, 194, -292, -164, 28, 76, 380, -114, 36, -700, 34, 0, 80, -898, 334, -236, -88, -274, 92, -368, -128, -147, -22, -224, 196, -160, -230, -344, 88, -64, -828, -132, -64, 484, -22, 252, -132, 372, -26, 38, 200, -88, -208, -112, -200, 1100, 367, -10, 164, -362, 28, -208, -18, 15, 268, -656, -364, -256, 204, -428, -4, -114, 302, 252, -68, -10, -354, -264, 240, -544, -240, 440, 176, 116, 12, 120, -64, -568, 188, -512, 48, 8, -210, -60, 292, -588, -8, -736, 224, 256, -312, -160, -180, 268, -178, -36, 52, -776, 10, 0, -4, 36, 86, -110, 120, -804, 26, 588, 56, 569, 220, -824, -48, -6, -136, -72, -96, 600, -186, 200, 180, -688, 48, -152, -128, -30, 184, 54, 212, -446, 52, -204, -256, -404, -42, -488, -124, 44, -7, 192, -248, -208, -112, 631, 108, -700, -526, 60, -264, 16, 460, 66, 0, -472, 54, -256, -356, -436, -104, -92, 364, 186, -204, -96, -40, -68, -84, 150, -60, 352, -30, -184, 288, -30, 603, 156, -192, 32, 18, 224, -204, -506, 194, 658, 80, -320, 24, 76, -108, 204, -56, 228, 232, 462, -18, -136, -272, 780, -28, 262, 368, 860, -18, 120, -428, 352, -84, 388, -80, 38, -244, 80, 104, -760, 22, 804, 24, 124, -204, -492, 128, -376, -12, -210, -480, 216, -508, 52, 156, -4, -228, -8, 178, 168, -152, 432, 756, -349, 174, 342, -104, 1423, 42, 256, -76, 544, -12, 36, 0, -64, 168, -72, 48, 146, -12, 30, 344, -50, -396, -56, 96, 236, -40, -132, 272, -740, -298, 640, -4, 42, -500, 78, -164, 488, -544, -332, -72, -146, 62, 424, 124, 16, -152, 608, -464, -184, 250, 478, -144, -648, 340, 736, 340, 480, 68, 58, 26, -876, 82, 344, -264, -400, 258, 636, 300, -88, -76, 56, -4, -394, 333, -210, -508, -148, -178, 1064, -184, 640, -286, -194, -120, -708, 86, 3, 616, -188, 548, 68, -260, 720, -356, -684, 40, -128, 254, -133, 48, 210, -64, 196, 256, 454, 112, -536, 312, 228, -30, 124, -64, -96, 684, 12, 72, -262, -8, -756, -16, 60, 84, -103, 556, -92, -260, 460, -136, 350, -560, -94, -240, -456, -72, 704, 16, -216, -246, 336, -460, 96, -8, 340, 284, 1481, 30, 408, 32, -47, -110, -648, -28, -408, -216, 22, 424, -568, 372, 156, -472, -922, 86, 50, -188, -420, -112, 0, 36, -4, 182, 250, 320, -380, 114, 48, -184, 56, 664, -336, 96, -1010, -180, -148, -828, 156, 280, -460, 8, 900, -366, 692, -432, 500, -138, 510, 468, -222, -504, 136, -368, -9, 92, 434, -316, 892, 76, 52, -564, 452, -182, 448, -124, -44, 48, -20, 136, -960, 1025, 120, 280, 108, -6, 176, -60, 16, 714, 2, -36, -628, -174, 768, -496, -114, 336, -60, -52, 584, 88, -504, 36, -232, -162, -196, -222, 146, -84, 756, 146, -308, 0, 514, -268, 48, -38, 332, 120, -160, 530, 256, -244, 350, -268, 180, 238, -156, 34, 346, -68, 52, 386, -412, -238, -274, 68, 428, 40, 396, 2, 176, -468, -228, 66, 1252, -94, -548, 348, -68, -224, -750, -300, 700, -108, 577, -150, -468, -268, -122, -542, -386, -240, 476, -446, 528, 76, -24, -352, 335, -304, 288, -212, 344, -632, -868, -78, -62, 184, -68, 2, -256, 420, -576, -112, -220, 328, 102, -340, 572, -260, -588, 554, 160, 422, -520, -780, -208, -134, -128, 94, 532, -632, 394, -290, 52, 32, 176, -112, 560, -136, 60, 8, -300, -630, 488, 88, -772, 104, 18, -568, 392, 480, -316, 108, 126, 60, -140, -152, 268, -184, -1028, 623, -2, -132, -32, -656, 240, -128, -220, 32, -444, 104, -112, -1008, 44, -144, -784, -12, 1002, -180, 1876, 28, 36, -360, -578, -232, -350, -88, -560, -112, 640, 68, 958, -218, -428, -284, 250, -642, 400, -360, -32, -254, -228, -212, 264, -324, 132, -24, -157, 100, 624, 156, -148, -99, -432, -282, -22, 448, 4, 320, -656, 28, 364, 52, -552, -228, 26, -476, -6, -236, -836, -280, -436, -4, -126, -96, -540, -22, -124, 12, -181, -22, 1318, -618, -46, -304, 292, 44, -420, 118, -124, -448, -120, -542, -588, 300, 666, -88, -66, -344, -1526, -370, -92, -140, -1136, 84, -124, 456, -12, -598, -164, -272, -108, 18, -472, 228, 246, 504, -148, -140, -104, 496, -226, -252, 248, -740, -168, 520, 292, 296, -20, -96, 512, -716, 496, 624, -508, 294, 226, 380, 32, -352, 288, -348, -7, 82, 430, 200, 196, -162, 712, -192, -240, 360, -116, 128, -724, -72, -256, -372, -1328, 749, -827, 448, 86, -148, 40, 192, -872, -12, -10, -64, 248, -238, 572, -20, 98, 478, 736, -82, 270, -368, -16, 36, -964, 348, -154, 8, 376, 446, -236, 352, 676, -68, -478, -578, -104, 412, -80, -124, 320, 482, -312, -148, -176, -304, -20, -52, -136, 80, -384, 172, 2, -246, 448, 150, 616, 614, -960, 388, 636, -154, 44, -484, -1066, 528, -202, -468, 684, -476, -384, 456, -88, -390, -26, -240, -360, 92, 260, -328, -1204, 88, 770, 368, -151, -8, -12, -164, -142, 280, -632, -128, -640, -4, -272, 132, -580, 522, 124, -4, -100, 38, 612, -140, 768, 4, 468, 88, -416, -198, 152, 512, -148, -368, 132, 246, -714, -36, -328, 132, -963, -186, 256, -132, -556, 182, 40, 28, -930, -496, -144, -508, -244, -108, -788, 188, 568, -16, -598, 116, 264, 564, 160, -308, -576, 318, 512, 668, 134, -196, -936, -364, 1014, 12, -1060, 984, 1380, 172, 560, -944, -164, 28, -996, -388, 166, -504, -156, -32, -72, 387, 526, 1104, 144, -360, -1508, -526, -970, -16, 6, 4, -688, 438, -592, 444, -462, -420, -476, 380, 628, -1028, 100, 544, 243, 154, 562, -56, 124, -604, 1568, -188, -80, 540, -62, -88, -464, 40, -456, -412, -104, -170, 496, -172, 464, -1216, 408, -1008, -260, 84, -78, 110, -16, 302, 528, -208, -748, -396, -50, 440, -1002, -44, -580, -28, 1120, 182, -128, 232, 488, 604, -228, -320, -276, 520, 703, 212, -66, 364, -616, 40, 718, 620, 392, -568, 528, 130, 284, 200, 333, -102, 344, 548, -244, 352, -260, 276, -236, 62, -300, 132, -444, -122, -100, -4, 210, -436, 74, 412, 20, -592, 640, 460, -282, 398, -334, -28, 176, 132, 496, 648, -260, 88, -600, 284, 1020, -146, 320, 140, 156, 368, -232, 236, -848, 288, -1208, 144, 264, 156, -4, -388, 272, 90, 540, -224, -48, 72, -310, 400, 92, 322, -64, 24, -408, 12, -96, -488, 616, -512, -256, -352, -152, -430, 20, -528, 282, -584, 142, 48, -1204, 274, 404, 328, 932, -536, -908, 164, -1794, 709, 582, -356, 20, 270, -376, 80, 206, 312, 510, -48, 354, 704, -964, -756, -868, 38, 276, -450, 144, 112, -1480, 330, -221, -332, -390, 712, -896, 518, -122, -344, 402, 214, 816, -440, -440, -14, 48, -308, -164, -888, -702, 96, 666, -402, -228, 316, -452, 212, 328, 328, -280, -68, 232, -644, -258, 18, -1068, -596, -240, 196, 208, -64, 414, -46, 332, 180, -272, 4, -476, -42, 128, 654, 686, 288, -396, 108, 274, -524, -348, -704, 61, 244, 188, 644, -232, -88, 692, -106, 644, 1524, 1597, 648, -208, 44, 236, -640, -916, 632, 436, 860, -336, -36, -1456, -90, -468, -32, 62, -488, -116, -438, 48, 34, 578, 472, 888, 354, -936, -440, -478, 72, 128, -204, 1136, -218, -1968, -404, -858, -214, 500, -84, 312, 820, -20, 284, 1164, 438, -312, -472, 382, -228, -844, -80, -222, 486, -428, 108, -60, -228, 8, -168, 478, 52, -2445, -172, 188, 404, 564, -564, 72, 428, -498, -84, -80, 512, 88, 20, -942, 148, 220, 60, 206, 1, 1560, -428, 692, -132, -56, -340, -564, 284, -92, 472, -772, 511, 164, 476, 44, -458, 108, -476, -478, 432, 438, -532, -480, 390, -538, -116, 356, -420, 628, 516, 562, -144, 172, 588, -992, -604, -1190, 412, -100, 470, -280, -300, 100, -60, 1380, 108, 28, 72, 524, -404, -1490, -10, -1120, -380, -962, -160, 840, 588, 752, -840, -1062, -228, 848, -196, 204, -174, -676, 360, 316, 568, 1460, -142, 128, 320, -292, 186, -256, -148, -482, -96, 364, 164, -588, 178, 240, 1052, 862, 44, 492, -192, 84, -464, -16, 244, 484, 102, 676, 332, 656, 14, 936, -40, 1036, 56, 528, 736, -235, 28, -102, 248, -930, -510, -116, -320, 525, 1026, -126, -148, -756, -142, 58, 320, -496, 568, 892, -270, -304, 0, 324, -68, 1532, 780, 916, -52, -628, -74, -612, 460, 718, -268, 400, 888, 78, 206, 212, -940, 530, -384, -584, -220, -76, -658, -160, 200, 1732, 166, 846, 1180, 1228, 258, 1068, -596, 488, 40, -330, -324, 1352, 320, 0, 768, 54, -676, 1240, 108, 314, -508, -1116, 420, -1328, -54, 824, 24, 184, 94, 560, -336, -486, 518, 382, -204, 1344, 114, -1148, -100, 34, -2, -40, -760, -24, 216, -12, 24, -176, 379, -66, 516, -790, -132, 1096, 168, -428, 524, 720, 370, 428, 148, 568, -296, -104, 426, 176, -400, -550, 226, 212, 64, -172, -534, -42, -244, -376, -384, 40, -160, 902, 592, -22, 28, -260, -318, 416, 140, 1348, 62, 1488, 492, 236, 156, 532, 80, 610, -574, -1039, 984, 502, -420, 216, 308, 1300, -140, -22, -332, -616, -60, 852, -564, -1164, -76, -246, -96, 302, -740, 84, -636, -384, -542, -680, -192, -43, 806, -764, -420, 460, -324, 1184, -64, -268, -444, -476, 480, -1248, 684, -524, -96, 204, -442, 220, 504, 76, -172, 234, 644, 321, -472, 248, 260, -570, -564, 564, -106, -276, 86, -672, 356, -1154, -440, -892, -586, -128, -364, -26, 652, 200, 146, -122, -212, 344, 422, 308, -280, -904, 34, 508, 588, -148, 692, 20, 16, -402, -60, -960, 576, -20, 480, -64, -412, -252, -564, 668, 552, 71, -578, -324, -264, 1184, 208, 490, 296, -244, -54, 564, 52, 810, 18, 464, -372, 576, -1036, 760, -356, -1656, -460, -668, 984, 200, -572, -156, 288, -1336, -20, 382, -216, -844, -840, 128, -22, -508, -468, -136, -56, -140, -112, 2144, 480, 1435, -134, 1258, 348, -156, 326, 840, 100, 155, 1189, 1118, 800, -1956, 98, -780, 240, 436, 314, -844, 32, -380, -220, -64, -28, 216, 50, -1288, -172, 1168, -58, -608, -268, -1130, -560, -250, 664, -394, -188, -84, 1004, 348, 182, 144, -752, 360, -118, -632, -4, -988, -200, -382, 444, 454, -22, -568, 704, -368, -892, 502, 8, 0, 74, -492, -788, 128, -86, -476, 84, -20, -36, 714, 444, 390, -148, -1652, -388, -388, -376, -628, -312, -380, -812, -440, -200, -208, -110, 120, -380, -256, 36, -58, -504, -1204, 580, 972, 416, -1484, -762, 100, 232, 130, 286, -484, -708, -302, 36, -920, 120, -504, -492, 72, 28, 613, -2, 804, -348, 438, -732, 404, 112, -264, 578, 678, 1408, 476, 240, 552, -236, -608, 292, -554, -48, -1728, 96, -240, -768, 744, -630, -224, 128, 388, 200, 240, 356, -868, -280, -219, -100, 1152, -362, 396, 52, -1216, -320, 874, 968, 444, 130, -580, 80, -480, -618, -1390, 164, 138, -128, -776, 356, 288, 208, 466, -800, 976, 384, -1928, 300, -404, -136, -180, 484, 680, 412, -964, 648, 820, 414, 1152, -140, -716, 316, -184, -608, -808, -244, 68, 800, 164, 6, 1028, -368, 134, -84, -1352, 60, 324, -462, 392, -1110, -40, -546, -456, 12, 662, 120, 180, 362, -156, 989, -748, 124, 684, 204, -580, 632, -212, 1182, 234, 304, -548, 184, 280, -620, -320, 198, 678, -152, -680, -500, -140, -32, 140, 130, 78, 992, -342, 674, -908, 624, 1500, -720, 210, -56, -1320, -56, 276, 112, 362, -1120, -340, 368, 232, -30, 228, -184, 1376, -726, 46, -944, -32, -294, -408, -640, -864, 1224, -138, -544, -1396, -1004, 708, -220, -588, 18, 724, -2, -1140, 452, -1028, -256, -158, -192, -626, 456, 236, 1120, 304, 16, -137, 188, -590, -604, 52, 452, -780, -8, 342, -190, -776, -8, 642, -300, 696, 404, 112, -340, 282, 292, -308, 294, -208, -522, -100, 436, 460, 1500, 1629, 6, 28, -544, -1080, 472, -1012, -304, 684, 131, -668, 400, -536, -576, 776, -136, 202, 184, -2180, -604, -248, 296, -122, -244, -288, 360, -938, -12, 580, -880, -428, 328, -1480, 408, -20, 24, -590, 160, -216, -588, -740, -430, -56, 488, -664, -132, -798, 336, -228, 564, 576, 976, -1104, -546, -1336, 64, 192, 236, -772, 820, 600, 190, 386, 1360, 80, -648, 800, 144, -482, -1212, 430, 248, -612, 1146, -280, -816, -372, 428, 120, 8, -1140, -170, -768, 176, 372]