# Trace form for 6023.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 475, 3, 4, 481, 0, 4, 6, 15, 471, 18, 2, 8, 14, -20, 16, 489, 8, 3, -3, 6, -24, 36, 16, 16, 503, 10, 40, 16, -10, -16, 8, 3, 32, -10, 2, 469, 26, 3, 0, 18, 10, -20, 30, 28, 32, -8, 2, 0, 465, -35, -24, 22, 26, -40, -6, -84, 4, 58, 12, -112, 16, -16, 22, 569, 64, -36, 52, -22, -8, -48, -36, 7, 56, -6, 84, -3, 6, 44, 16, -34, 467, 86, -8, -44, 22, 68, 36, 136, 6, 82, 4, 76, 52, 52, 4, 60, 46, -13, 22, 595, 42, 72, 72, -70, 52, -2, 8, 220, 22, -44, -56, 28, 82, 4, -28, -38, 42, -56, -26, -24, 485, -82, -32, -36, 18, -96, 0, 51, -64, 20, 18, 56, -6, 4, -24, -162, 104, -4, 26, -88, -44, 48, -56, 505, 64, 90, 28, 74, -32, -20, 12, 15, 84, 0, -48, 104, -6, 40, 24, -78, 16, -73, 20, -110, 84, -124, 36, 56, 497, 12, -7, 48, 130, 28, -92, 24, 140, -122, 8, 282, 62, 28, -68, -52, 172, 88, 70, -24, -204, 14, 22, -128, 106, -42, -104, 265, 46, 284, -54, 113, 12, 18, -28, 16, 60, -56, 56, 78, -18, 124, -28, 66, -36, 24, -86, 128, 68, -50, -80, -44, 28, 4, 24, -148, 627, -74, -48, 28, 56, -88, -80, 158, 52, 94, -30, 36, -96, -4, -50, -228, 30, -89, 124, 142, 42, 72, 14, -116, -8, -32, 2, -32, 112, 40, -180, 585, 102, -56, -8, -16, -14, -172, 54, -128, 156, -4, 220, 44, -14, -144, 28, -58, 56, -38, 16, 68, 184, 32, 104, -164, 14, 172, 90, 196, 8, -64, 20, -109, 591, 48, 48, 98, 126, -104, 176, -90, -60, 110, 80, 212, -70, 20, 28, 9, 70, -122, 40, -152, -40, -92, 194, -68, 126, -134, -18, -32, 1, -272, 28, -118, -164, 12, 4, 385, 278, -8, 244, 222, -130, -372, -24, 152, 222, 112, 0, -72, 242, 57, 16, -172, 124, -21, 54, 84, -92, -90, 78, -108, 16, -36, 100, 356, 58, 48, 12, -42, 276, -168, -14, -78, 475, 10, 204, -296, -98, -280, 104, 220, -66, -168, -52, -96, 110, -376, 128, -20, 56, -168, 136, 2, 116, -60, -160, 32, 242, 42, 118, 126, 100, 112, -8, 23, -8, 90, -48, -108, 180, -292, 8, 503, -58, -196, 0, 42, 280, 56, 128, -108, 46, 72, -92, 208, 252, -300, -36, -218, 48, 36, -36, 224, 66, -60, 118, 142, 162, -356, -22, -392, -124, -140, 32, 620, 82, -200, -320, 26, -24, 8, -204, -56, 381, 20, -34, -116, 120, -104, -52, -304, 30, -419, -72, 362, -40, 40, -168, -28, 132, -98, -136, -504, 32, 36, 178, -366, 104, 150, -130, -118, -112, -156, 208, -72, -126, 20, -39, 124, 210, -32, -152, 148, -8, -210, -168, 581, 20, -240, 172, -198, -100, 62, -112, -220, 88, -42, -370, -168, 148, -152, -98, -224, -144, 0, 140, -348, -72, 48, 176, 76, -118, 132, -162, -177, 4, 18, -180, -32, 162, -104, -116, -96, 18, 398, -180, 68, -220, -140, -136, -176, 511, -220, 160, 4, 224, -408, -16, -208, 4, -30, 164, -528, -20, 116, -172, -178, -168, 252, 168, 546, 116, 276, 22, -128, 40, -162, 40, -72, -148, 16, -284, -80, -160, -126, -272, -276, 48, 4, 126, 220, 26, -56, 68, -416, 260, 20, 340, 849, 156, -183, -64, 52, -232, -196, 36, -2, -76, 198, -78, 592, 0, -372, 216, 318, 90, -356, -186, 34, 96, 64, 180, 120, 30, -140, 112, 180, 146, 28, 172, 63, -272, 84, 136, -562, 16, 24, -228, -40, 124, -204, -104, 56, 104, 148, -200, 172, 859, 166, 20, 54, -48, -232, -58, -276, 56, -11, -208, -176, 18, 92, -168, -338, -118, -220, -14, -164, 32, 6, -54, -237, 172, -274, 120, 240, 72, -40, 290, -118, 128, 316, -40, 280, -122, 332, -248, -160, -18, 106, -56, -416, -56, -184, 66, -208, 306, 250, 280, 731, 86, 288, -180, 168, -204, -172, 12, 41, 10, -36, -312, 416, 16, -120, -174, 390, 162, -168, 110, 248, 256, -22, 64, -204, 118, 420, 10, -100, 104, 166, 240, 460, 154, -84, 340, -122, -236, -604, -408, -76, -4, 120, -38, -98, 184, 3, 108, 154, 18, 240, 142, 564, 507, 312, -202, -8, -306, -440, 0, -12, 144, 10, -150, 580, 32, 532, -60, -52, -66, -126, -180, 536, -124, -336, 36, -324, 72, 192, 116, -936, 116, -304, 68, -26, -332, -244, 4, -176, -70, -24, -296, 160, 44, -456, 264, 34, -118, 176, -196, 70, 232, 242, 26, -712, -136, -256, 40, 261, 100, -484, 128, 306, -484, 228, -112, 664, 312, -22, 268, 368, -218, -96, 46, 257, 258, 486, -198, -436, -336, -344, 216, 38, 48, -174, 172, -332, -300, 400, 20, -624, -18, 362, 384, 84, 32, -380, 118, -284, 76, -360, 64, 388, -26, -464, -24, 258, -270, 80, 12, -56, -20, 304, 336, -212, 369, -582, -360, 272, -60, 136, -76, 354, -364, 106, 20, -128, 134, -124, -36, -108, 142, -60, 62, -636, -160, -240, 412, -568, 412, -294, 308, 424, -336, -296, 36, -190, -50, -8, -214, -444, 226, -64, -28, -372, 16, -293, 214, 216, -304, 388, -232, -128, 192, 380, 174, -224, -6, 4, 236, -124, 372, 494, 224, 1103, 108, -232, 176, -98, -240, -468, -52, -116, -146, -192, -140, 56, 456, -722, -96, 42, -334, 320, -284, -856, -228, -146, 76, -808, 354, 136, 616, 702, 26, -220, 19, -66, 412, -80, -342, -214, 96, 228, 236, -100, -366, -460, -84, 296, 396, -232, 96, -560, 124, 1, -48, -716, 310, -978, -42, -176, -4, -400, 170, -1100, 835, -292, -444, 174, 96, 16, 92, -17, 48, -240, 244, 732, -298, -156, 52, 10, 38, 300, -164, -778, -262, 60, -28, 124, 240, -60, -96, 70, 56, -1120, 244, -560, 4, 84, 18, -636, -80, 412, 28, -316, -336, -184, -40, -396, 52, -112, -58, -356, 190, -224, 296, -112, -24, -984, 44, -128, 458, 334, -196, -920, 234, -204, -212, 381, 434, 88, 72, 62, -396, 48, 228, -468, 354, -20, 272, -388, -134, 248, -68, -56, 108, -242, 234, -558, -42, -556, 480, -108, -144, -1172, -164, 412, 62, 484, -72, -492, 928, -77, 92, 224, 108, -680, -212, -60, 488, -128, -372, 388, -312, 132, -154, -336, -288, -564, -60, 178, -336, 328, 80, -992, -20, 222, 4, -288, -96, -184, -138, -34, 317, -892, 56, -552, 262, -728, -204, 514, 298, -358, -296, -64, 40, -90, 118, 488, 444, -56, 76, 190, 8, -604, 316, -768, -532, 30, 72, 160, 98, 436, 644, -36, -48, -640, 108, 262, -82, -468, 500, 244, -138, -860, -244, 300, 152, -836, 208, 160, 172, 514, 44, -56, -32, 8, 280, 316, 82, 520, 88, 240, -200, -284, 184, -125, 326, 306, -264, 599, -144, -268, -60, -172, -236, -224, 138, -308, 222, 392, 48, -390, -140, -784, -200, 338, 132, -160, -292, -396, 320, 8, 398, 640, -70, -532, 162, -782, 8, -214, -164, 200, 288, -372, 76, 542, -270, 76, -254, 332, -70, 180, 644, -348, 212, 442, 200, -368, -168, -64, 128, 308, -624, -314, 0, -520, 382, -96, -324, 33, 262, 268, 116, 148, 68, -80, -462, -1606, 1163, 6, -184, 32, 110, -436, 68, -752, 424, -286, 0, -196, -282, -268, -388, -476, 134, -148, -260, 612, -8, -504, 292, -152, -138, -557, 158, 306, 200, 120, -150, 34, 220, 416, -72, -764, -172, -536, 108, -168, -860, -1096, -8, 7, -320, 400, -100, -532, 48, -734, -816, 484, -48, 432, -78, -430, -44, 258, 296, -732, 20, 68, -480, 536, 64, -344, -36, -98, 4, -332, 60, 693, 410, -400, 156, 870, -110, -976, 142, -4, -416, 182, -432, 756, -194, -664, 44, 522, 496, -90, -246, -764, -316, -40, -376, -1168, -90, 378, 316, -560, 154, -132, -284, -28, -196, 72, 102, 86, 504, -272, 620, 396, -462, -40, 140, 32, -188, -120, 276, -868, 336, -434, -384, 790, 44, -596, -112, -539, -288, -746, -56, -60, 340, 332, 132, 48, 22, -656, -284, -424, -312, -120, 256, 75, 765, -332, 116, -36, -148, 60, 330, 272, 348, -436, -464, -1744, 10, -144, 52, -522, -146, -1232, -60, 228, -520, -52, 60, -312, 410, -496, 88, -514, -712, -376, 80, -864, -176, -30, 52, -604, 56, 58, 212, 320, -218, -1280, 52, 254, 170, -104, -622, -808, 556, -542, -476, -992, 134, -296, 118, -618, 56, -84, 12, 668, 96, -604, -620, -888, -38, -716, -236, -112, -196, -96, -80, -1590, 186, -724, -572, 481, -70, -476, -764, 150, -612, 38, -270, 104, 388, -1056, 164, -1080, 476, -793, 20, -1220, 168, -1024, -50, -2024, 640, 154, -420, 788, 108, -2004, -212, 824, 32, -312, -144, -786, -212, -48, -596, -1112, 42, -132, -350, -592, -592, -412, -318, 72, 508, -1316, 604, -118, 84, -1304, -456, -980, 44, -560, -272, -1904, -56, 80, 168, -924, -398, -614, -158, -570, -696, 60, 232, -954, 560, -566, -884, 464, 128, -822, -156, -146, 245, -90, -340, -68, 214, -370, 732, 40, -90, -364, 250, -184, 228, -24, -148, -218, 720, 522, 53, 128, -204, 504, -156, -174, -128, -14, -8, 374, 306, -112, -780, 418, -246, -1252, -334, 130, 446, 18, -158, -272, 420, -130, -44, -424, -440, -432, 150, 463, -440, 476, 100, 720, 622, -244, -164, 126, -108, -138, 272, -188, -432, -268, 122, -504, 6, -780, 416, -286, -568, -172, 328, -560, 532, 158, 252, -34, 202, -224, -16, 1215, 496, -118, 150, -370, 476, 376, -232, -408, 10, 144, 360, 156, -424, -720, -90, -352, 580, 342, 20, 438, -96, 336, 376, -680, 80, 244, -284, 192, 270, -424, -414, -840, 388, 16, -340, -438, 214, -998, 46, -288, -188, 122, 132, -212, -386, -256, 156, 420, 228, 28, -432, 1280, 64, 140, 420, -920, 158, 382, 508, 592, -324, 498, -232, -674, 568, -50, -124, 0, 328, -596, -272, -20, 198, 420, 12, -316, -272, 452, 504, -620, 901, 349, -2, -350, -736, 532, 344, 306, 188, -130, -30, 164, 374, 184, 272, -426, 468, -344, 60, 270, -804, 300, -208, -420, 308, -170, -368, 460, -766, 46, -264, -564, -416, -402, 154, -78, 360, -372, 398, 420, -440, 136, -396, -652, -384, -272, -200, 772, 12, 412, 380, 146, 204, 112, -542, -1452, 570, 684, 124, -712, -330, 168, 492, 590, 406, 88, 88, 32, -204, 520, -40, 940, 636, 278, -248, -1080, -574, 872, -114, -236, 576, 222, 248, 233, 468, -68, 72, 216, 296, 248, 256, -232, 66, 264, -744, -60, -218, 346, -220, 812, -96, 1488, -204, 344, -260, -52, 238, -144, 262, 344, -78, -396, -520, -804, -6, -190, -356, -688, -168, -55, 230, 72, 324, -96, 0, 836, -40, 310, -604, 900, -554, 618, 390, 360, -440, 36, -384, -390, -252, -96, -212, 96, -280, -12, 646, 524, -184, 1042, -388, 352, -84, 566, 352, 412, 180, -488, 340, 36, 392, -780, 98, 84, 82, 218, -8, 228, -254, -266, 713, 658, 292, 352, -176, 688, -236, -218, 188, -38, -306, 124, -118, -53, 224, 326, -564, -436, 282, -836, 68, -300, 306, 558, 348, -38, 948, 316, 286, 76, 238, -612, -34, -366, -316, 948, 388, -338, 420, 456, 210, 1520, 76, -288, 496, 152, 576, 364, 164, -384, -132, -113, -174, 12, -384, 136, -368, 410, 2, -414, -508, 180, -132, -328, -158, -188, -264, -140, -480, 1044, -50, 512, 220, 727, -312, 276, -336, -150, 32, 30, -420, 420, -600, -576, 478, -176, 214, -7, 420, 104, -310, 540, -116, -128, 60, 452, -90, 1112, 96, 640, -334, 24, -156, -194, 136, 218, -564, -256, 88, -300, 692, -254, 200, -138, -144, -84, -264, -524, 484, -470, 268, 456, -40, -304, -148, 588, 420, 6, 400, -144, 508, -836, -630, -100, -800, -360, -358, 468, 122, -292, -180, -268, -168, -76, 364, 166, 160, 324, -574, 412, -366, -128, -260, -24, 464, 180, -416, -704, -512, -380, -358, 788, 306, 466, -88, 50, 584, -508, 1082, 522, 752, -436, -294, 972, -608, 168, 775, 34, -156, 768, -226, 200, -200, 444, 4, 202, -936, 50, 392, -96, -334, 580, 28, -2, -316, -304, -64, -476, -112, -681, -400, -386, 52, 24, 22, 128, -400, 158, -646, 778, -52, 212, 296, 112, -242, 872, 128, 490, 140, 132, 622, -284, 38, -212, -668, -412, -80, -60, -32, 752, 232, -8, -538, 172, 192, 186, -1012, 560, 160, 1246, 646, -12, 292, -1336, -104, 36, -16, 60, 796, -1062, 418, 664, -286, 1056, 32, 228, 456, 1020, 304, -16, 0, -500, 384, 376, 112, 420, -22, 1053, -224, 624, -372, -528, -148, 1010, -140, 444, 294, 24, 608, -112, 300, 232, -200, 460, -136, 36, 62, -672, 108, 126, -120, 216, -286, 728, -24, -288, 800, 480, -106, 24, -312, 1324, -70, -294, -74, 1120, -404, 926, 148, -456, 252, -1152, 94, 640, -320, -270, 524, 4, 272, 740, -194, 452, -564, 560, 44, -740, -348, -514, -122, 263, 80, 492, 36, 400, -360, 1020, -120, 646, 320, 72, -910, -88, -312, 978, -380, 178, -16, 698, -116, 200, -584, 720, -40, 160, -64, 78, -74, 648, 32, -2, 709, 484, 236, 332, 500, 212, -478, -618, -52, 402, 8, -504, 260, -316, 182, 308, -678, 52, 106, -130, 196, -492, -24, -220, 344, 694, -52, -764, 418, 720, 244, 272, 136, -164, -266, 596, 320, -244, 160, -1026, -552, -88, -14, -244, 452, 252, 328, -792, 424, -466, 406, -168, 18, 854, 320, 56, -316, 368, -778, 136, 70, 60, 752, 52, -490, 208, 332, 406, 952, -236, -216, -152, 192, -536, 28, 108, 82, 380, 324, -272, 456, 48, 216, -172, -502, 740, -876, 372, -8, -760, 31, 1316, 248, 456, 316, 981, 362, -294, -516, 494, 442, 496, 528, 421, -170, 104, -102, -8, -292, -16, 712, 232, 736, 532, 112, -728, 712, -448, -72, -2108, 266, -1268, -536, -204, 678, 220, 110, 162, -128, -480, 480, -1356, -198, 368, -264, -250, -408, -124, 260, -632, -98, 592, -120, 412, 564, 500, 84, -68, -36, -264, 400, -700, -728, 318, -374, 1880, -114, -1220, -70, 646, -712, 372, 408, 614, 812, 84, 90, -1010, 1058, 652, 1144, -84, 108, -792, 236, -138, 1528, -22, -168, 292, 338, 592, -908, -112, 274, -60, 320, -208, -224, -92, 48, 1256, 499, 242, 680, -118, -196, 1424, -72, 1084, 384, -8, 168, 148, 16, 200, -208, 788, 80, 380, -32, -346, 398, 28, -40, 516, 866, 70, -136, -188, -506, -684, -588, 3, 204, -90, 64, -1426, 128, 220, 508, 604, 214, 660, 94, -356, -392, 104, -152, 542, 28, 641, -88, 30, -36, 840, -24, -352, 772, -14, 528, -132, -464, -120, 96, 204, -180, -1070, -10, 186, 84, 188, -432, 24, 882, 694, 240, -476, -106, -280, -4, 152, 260, -268, -132, 504, 364, 144, 396, -336, -38, 680, 292, -468, 864, -100, -758, -284, 992, -456, -180, 1297, 308, 204, -604, 218, -168, 80, 348, 52, 516, 468, 460, -198, -46, 364, -216, 192, -256, 668, 478, 540, 326, 740, -556, 1012, 66, -172, 6, -600, -166, 128, -680, 380, -234, 108, -560, -27, -88, -176, -340, 124, -888, 136, -402, 96, 416, 132, 918, 938, -270, -124, 206, 1476, -120, -418, 378, 188, 780, 224, -472, -650, 560, 1390, -134, -174, 4, -92, -28, 44, -216, 20, 640, 280, 188, 552, 156, -712, 1020, -14, 664, -392, -300, 484, -800, 126, 430, 668, 380, 432, -472, 644, -200, -701, 788, 294, -876, -560, 186, 668, -216, -2026, 1291, -414, -20, 1652, 148, 24, -880, 496, 152, 876, -336, 290, 416, 64, -312, -932, -54, 564, -500, -408, 314, -112, 314, -1014, 900, 124, -500, 1400, -202, 352, 272, 1388, -376, -508, -196, -820, 262, -332, 132, 1004, 66, -142, 652, 326, 452, -668, 1126, 100, 444, 218, 252, -668, 40, 640, 256, 604, 248, -504, 56, 108, 128, 680, -692, -650, -472, 112, 328, 280, 352, 568, -148, -368, -360, 124, -236, 96, 218, -1472, -92, -188, -260, 922, 382, 144, 64, -192, 144, -284, 670, 88, -440, 1434, -322, 380, 260, 8, 508, -80, -252, 864, 408, -456, 164, 1379, 638, -192, 102, -298, -98, 348, -428, 1404, 902, 512, -644, -524, -8, -1336, 488, 572, 1408, -110, -754, -732, 666, -304, -232, -264, 74, -260, 284, -92, -240, -232, -240, 5, 380, 393, 576, 500, 294, -1264, 284, -316, 282, 302, -120, -1180, 86, 932, -296, 1216, -56, 1082, 16, -624, -516, -484, 96, 688, -42, -570, -652, -368, -120, -1306, 540, 214, -448, 1144, 260, -864, 340, 62, -516, 580, 526, 76, -106, 1328, -428, -524, -252, 652, 78, -8, -204, 1060, -306, -1064, -42, 962, 76, 356, 256, 300, 60, -604, 1178, -568, 534, 800, 364, 518, 532, 340, 604, -340, 337, -208, -1144, -26, -600, 1096, 8, -924, 1022, -178, -218, 1216, -176, -372, -608, 154, 954, 370, -324, 1084, 460, 460, -72, 680, -22, -12, 682, 666, -400, -186, -728, 748, 484, 1122, -448, 236, -176, -212, -156, -434, 148, -188, 106, -272, 13, -236, -152, -1248, -570, 10, 476, -912, 370, -36, 816, 376, -296, -474, -286, 480, 80, 52, -664, -104, -140, -252, -36, -452, -756, 648, 132, -310, -120, 28, -64, -36, 510, 348, 384, 15, 188, 578, -776, -252, 466, 400, -516, 158, -234, -720, 168, -534, -168, 16, -628, 924, 512, -1338, 36, 200, 438, 200, 160, 2110, 1144, 268, -484, -339, -374, 1328, -1112, 960, 8, -632, 248, -220, 1130, -88, 18, -328, -64, 612, -176, -2174, 264, 64, -110, -1004, 1152, 344, -20, 168, -72, 108, -200, -784, 32, 1328, 836, -72, -68, 140, -332, -766, 378, 196, 500, 332, 466, -372, 488, 900, -78, 6, 120, 104, 340, 416, -476, 1040, -256, -948, -382, -776, -536, -1168, -320, -264, -260, 326, -556, 248, -688, -232, -130, -198, 36, -698, -1204, 618, -238, 760, -404, 952, 196, -976, 364, -1152, 1002, 592, -454, 304]