# Trace form for 8023.2.a.c, downloaded from the LMFDB on 25 April 2024.
[0, 158, -24, -23, 158, -31, -17, -2, -69, 135, -10, -10, -46, -28, -27, -41, 150, -137, -67, -42, -66, -46, -8, -26, -48, 129, -67, -89, -21, -79, -11, 7, -147, -112, -28, -53, 141, -60, -53, -3, -48, -128, 32, -63, 0, -88, -2, -92, -131, 122, -116, -12, -89, -94, -71, -12, -104, -93, -65, -54, -12, 17, -97, -28, 163, -163, -65, -35, -217, -46, -79, -158, -99, -165, 0, -94, -93, -140, 25, -61, -134, 114, 10, -158, -160, 23, -122, -71, -14, -251, -6, -57, -58, -52, -64, -84, -98, -48, -84, 85, 54, -147, 74, -59, -200, -154, -26, -35, -180, -12, -171, -76, -9, -158, 8, -2, -151, -217, -7, -139, -167, 124, -151, -13, -38, -231, -84, 46, -199, -151, 44, -39, -293, -26, 85, -63, -38, -277, -109, 13, -81, -33, 24, -140, 156, -143, -25, -155, -29, -123, 30, -63, -5, -395, -45, -73, 0, -111, 12, 75, -117, -330, -210, -35, -234, -21, 28, -314, 226, 174, 203, -202, -15, -204, -18, 42, 19, -148, -43, -52, -9, 21, -9, 41, 96, -259, 70, -83, -230, -209, 9, -20, -281, -227, -140, 99, 85, -206, -111, -26, -303, -3, -17, -186, -78, -37, -157, -120, -132, -208, 384, 6, -171, 23, -25, -146, -39, -274, -119, 34, -42, -129, 11, -106, -253, 125, 24, -244, -63, -78, -189, -40, -82, -358, 9, 33, -127, -123, -180, 18, 267, -23, -293, -190, 136, -176, 89, 33, -358, -106, 97, -78, -192, -110, 42, -99, 264, -434, 36, -74, -352, -203, -111, -253, -43, -185, 25, -62, -126, -39, 233, -127, -234, -219, -84, -100, 128, -179, -276, 85, -68, -120, 10, 81, -158, -164, 239, -191, -190, 131, 95, -120, -245, -410, 189, 49, -190, -380, 65, -141, 6, 9, -114, -15, -257, -312, 138, -89, -214, -131, 230, -4, 139, -131, 57, 29, 56, -235, -92, 22, -276, 14, 122, -55, 436, 28, -89, -82, 145, -230, -155, -99, -412, 54, -64, -165, -297, -5, -332, 23, 51, -54, -281, -55, -29, -248, -139, -91, -307, -92, -143, -93, 97, -529, 188, 31, -461, 79, -71, -91, -41, 276, -329, -361, 74, -56, -41, -115, -293, -146, 63, -116, 166, -89, 94, -333, -32, -321, 190, -17, -434, 14, 175, -330, -73, -94, 113, -233, -63, -49, -230, 0, -100, -228, 68, -103, 534, -98, -183, 231, 278, -179, -94, -102, -420, -320, 174, -224, 320, -376, 177, 255, 49, -257, 263, -84, -233, -421, 25, -10, -496, -11, -5, -123, -45, -571, 17, -161, -204, -29, -35, -162, -202, -383, 30, 105, 322, -556, 9, -37, -143, 227, 191, -237, -135, -72, -133, -234, 189, -299, -345, -147, -158, -17, 244, -368, 236, -290, -213, 70, 202, -237, 142, -7, -226, -66, 457, 3, -278, -141, 302, -119, -102, -515, -32, -107, -133, -472, -6, -54, 23, -124, 6, -58, 178, -77, -123, -8, -511, -234, -228, 10, -177, -56, 177, 0, 315, 2, 153, 71, -395, 60, 36, -137, -474, 4, 30, 86, 12, -107, -319, 76, -392, -337, 304, 46, 305, -183, -265, 242, 440, -97, -309, 94, 84, -103, 150, -226, -151, 242, 87, 62, -48, -251, 407, 25, 263, -149, 145, 52, 99, 77, -233, -99, -29, -695, -159, -212, -497, 35, 225, 4, -345, -236, 219, -65, 233, -479, -141, 21, -55, -53, -25, -310, -11, 31, -129, 253, 69, -331, 187, -88, -512, 100, 80, 24, 335, -387, -319, 75, -202, -98, -57, 36, 153, -37, 91, -196, -767, 101, 49, -2, -184, -790, 218, 257, 29, -98, 233, -194, 195, -24, -17, -128, -56, -44, -128, 57, -76, 157, 379, -15, -293, -277, -212, 60, -314, -569, 59, -88, -181, 367, 124, -147, 262, 360, 23, 438, -255, -311, -646, -3, -114, -268, 169, -113, 818, -66, 23, -135, -27, -192, 247, -83, -609, 172, -174, -96, -161, -141, -461, 215, -117, -96, 25, 85, -251, -757, 190, -77, 296, 74, 253, -28, -51, -318, 462, -11, -694, 43, 160, -297, 568, -96, -88, -267, 395, -467, 17, -6, 758, -296, -5, -95, -104, -85, -110, 75, 92, -574, 67, 42, -36, -354, 171, -228, 607, -157, 157, 159, 291, -351, 430, -166, -117, -305, 146, -32, 63, 215, 10, -103, -35, -899, -22, -294, 40, -300, -37, -12, 585, -107, -148, 183, 243, -188, 498, 142, 107, 24, -300, 102, 306, -12, -163, 192, -14, -296, 463, -43, 221, -91, 357, -172, 426, -90, 75, 40, -121, 65, 897, 368, -320, -113, 612, -352, -371, -26, -221, 115, 330, -698, -57, 156, -164, 81, 408, -14, -136, -99, -180, 70, -529, -592, -363, 117, -157, 64, 88, 38, 774, 10, -192, -111, 285, -187, 201, -50, -531, 83, 138, 2, -305, -41, -305, 15, -135, -465, 216, 95, -92, -772, 613, -56, 257, 269, -195, 43, 89, -99, -210, -99, -262, 105, -29, 67, -145, -377, 234, 149, -22, 183, 497, 90, 67, -756, 13, -442, 4, -269, 282, -298, -301, -700, 529, 299, 212, -139, 215, -266, 1175, 321, -246, -475, 116, -228, -2, 82, 172, 12, 170, 293, 46, -126, -34, 54, -198, -723, 424, -59, -205, -52, 460, 81, 18, -6, -13, -159, 179, -49, 119, -155, -445, -212, 657, 130, -190, -72, -225, 201, 484, -471, -271, -39, -369, 213, 269, -349, 347, -79, 249, 382, 243, -24, 848, -52, -5, -469, 263, -30, -70, -60, -468, -144, 69, -346, 476, -63, -527, -167, 327, 125, -33, -177, -225, 350, -150, -472, 334, 191, -118, -347, 572, 28, 677, 23, 79, -355, 391, -332, -485, -122, -238, -115, 244, -256, 15, -173, -694, 296, 65, -379, -116, -395, -201, -132, 450, 57, 12, 204, 359, -63, -267, -426, 581, -131, -349, 156, 240, -176, 893, 229, -91, 322, 354, -285, 561, 35, -547, -585, 326, -26, -473, -164, -345, 264, 685, -636, 460, 220, 393, -165, 97, -374, 163, -256, 468, -110, 135, -237, 118, 211, -273, 103, 27, -224, 18, -319, -491, -336, 218, -471, 135, 281, 220, -250, 228, -472, -66, 2, 582, 406, -403, -298, -394, 343, 223, -135, -413, 353, -5, 26, -98, -353, 375, -857, 516, 176, -492, -566, 194, 254, 289, -60, 66, 500, 260, -239, 364, 235, -1061, -395, 39, 131, -403, 70, -444, 376, 122, -158, 804, -13, -281, -210, -168, -247, -214, -298, -699, 539, 380, 16, 876, 316, 244, 41, 611, -26, -181, 56, 275, 93, -298, -416, 439, 406, 126, -19, 388, 465, -214, -5, -184, -49, 227, -634, 580, 222, 213, 721, 59, 67, 501, 132, 18, 230, 27, -1188, -223, 509, -58, 390, 50, -46, 444, 479, 772, 35, -90, -408, 179, -317, -693, -481, 477, -333, 22, -103, 71, 418, 829, -242, 629, 30, 656, -209, -10, -319, 200, -290, 10, -168, 585, -732, 207, 219, -150, -193, 239, -182, -5, 243, 447, 10, 1012, -268, 746, 60, 54, 101, 726, -113, 575, -131, 204, -84, -44, -20, 769, -7, 211, -429, -19, -92, 116, -359, 356, -321, -224, -184, 584, 44, -525, 421, 480, 379, 1245, -269, 240, 533, 820, -377, -336, 243, -126, 38, 461, 18, -837, 147, 296, 428, 749, -673, 530, 332, -75, 257, 24, -60, -395, 168, 12, 156, 387, -152, 1295, 137, -163, -429, -111, -72, 651, 255, -32, 229, 90, -347, 305, 319, -285, -5, -242, -390, 392, -12, 196, 238, 83, 500, 275, -76, -151, -323, 245, -175, 27, 128, 334, -258, 269, 287, -450, 10, 255, 677, 520, 20, 977, -103, 207, 220, 33, -400, 445, 106, 170, 4, 313, -274, 710, 419, 138, 181, 497, -109, 131, -60, -421, 71, -127, -196, -254, -119, 527, 799, 104, -438, 67, 33, -124, -360, 81, -195, -113, 101, 149, -196, 1252, -213, 274, -124, 379, 137, 359, 112, 767, -404, -429, 832, 1204, -37, 64, 160, 209, -177, 31, -496, -342, 114, -22, 214, 621, -843, 1336, 472, -72, -247, 658, -99, 1065, -5, 148, -341, -35, -53, 406, 192, -1106, -325, -69, 36, 781, 167, -96, 92, 392, -645, 449, 220, -66, -269, 63, 16, -106, 242, 395, -296, 1005, 42, 905, 123, -672, 135, 495, 272, 46, -171, 922, -3, 323, -582, 517, 200, -257, 557, 175, -230, 29, 380, 845, 812, 353, -106, 560, 67, 557, -567, 586, -182, 963, 103, -211, 190, 264, -596, 1011, -36, -95, 498, 678, 32, -205, -471, 796, -311, 233, -493, 694, -96, 270, -57, 548, -226, 496, 326, 420, -394, 349, -359, 174, 27, -135, 228, 309, -51, 1161, 50, 328, 655, 66, -625, 719, 62, -851, 487, 276, -154, 1193, 7, 1312, 671, 312, -666, 466, 106, 23, -94, 202, 38, -193, 109, 223, 565, 577, 176, 440, -202, -348, -1203, 534, -309, -667, 14, 107, 590, 621, -76, 222, 417, 288, 367, 320, -5, 1116, -335, -437, 340, -421, 28, -166, 561, -787, -219, 578, -534, 533, 217, -105, 531, 401, -676, -350, 264, -259, 264, 334, 7, 541, -180, 342, 46, 46, -376, -4, -30, 158, -31, -448, 174, 447, 391, 104, -902, 293, -112, 173, 13, -14, 360, 113, -421, 1910, 625, 717, 477, 135, -499, 638, 186, -646, 318, 398, -454, 32, 773, 474, 538, 1040, -377, 1284, 290, -491, 129, 145, 261, 339, -149, 96, 28, 1352, -174, 36, 181, 763, -290, 798, -141, 377, -182, -90, 823, 232, -1203, 248, -108, -29, -511, 937, 214, 148, 113, 8, 101, 347, -407, 883, -177, -17, -33, 556, 181, 1530, 61, 123, 508, 1176, -543, 628, 429, 1, 71, 27, 57, 2405, -86, 48, 283, 79, 541, 827, -41, -176, -551, 410, 341, 1560, 98, 282, 410, 1029, -165, 1332, 335, 825, -174, 1071, -387, -262, -242, 254, 226, 82, -795, -277, 448, -555, -380, 354, -72, 304, 153, 35, -431, 251, -355, 382, 208, 287, 671, 342, 116, 1400, 26, -19, 900, -471, -410, 1183, 455, -165, -121, 821, 138, 693, -75, 448, 328, 260, -188, 1196, 78, -368, 71, 1387, 422, 1128, -779, 79, 457, 478, -416, -18, 194, 802, -478, 753, -189, -334, -26, 808, 362, 254, -368, 676, -201, 163, -354, 422, -205, 246, 388, 229, -525, 891, -723, 421, 242, 540, 674, 1047, -15, 258, 0, -305, 41, -127, -718, 144, -168, 96, 12, 711, 398, 48, -205, 476, -361, 331, 192, 1336, -20, -24, -577, 1072, 212, 719, 793, -369, 199, 1007, -194, -260, -175, -857, 574, 1038, -209, 229, -648, 672, 178, -549, -603, 867, -200, -161, -623, 889, -72, 1983, 140, 65, 25, 1319, 185, 360, 5, -525, 94, -201, 233, 629, 120, -56, 678, 635, -358, -165, 148, -474, -173, 344, -222, 1694, -95, -42, 287, 348, -13, 459, 471, 277, -400, 972, -129, 162, -259, 186, 192, 599, -265, -226, 433, 262, 826, 727, -458, -51, 327, -713, 201, 1183, -479, 959, 11, 703, 292, 1028, -71, -476, 106, 459, 416, 226, 225, 836, -171, -150, 235, 845, -346, 594, 338, 461, 1157, 918, -576, 715, 550, 245, -306, 965, -530, 1391, -638, 164, 310, 283, 174, 1380, 445, 70, -838, 724, 302, 616, -549, -283, 251, 286, -520, 1271, 49, -211, 185, 67, -83, 305, 291, 261, 372, 617, -380, 1078, 48, 605, -209, 445, 85, 755, 326, 462, 462, 783, -707, 5, 261, 392, 619, 378, -97, 175, -48, 290, 12, 436, -371, -290, 215, 1319, -487, 415, -13, 1562, 96, 654, 535, -35, -936, 2692, 281, -885, -60, -168, 425, -153, 417, -65, 202, 104, 96, 409, -274, 236, 737, 56, 442, -1263, -213, 256, 663, 77, -1058, 1321, 378, 712, 89, 728, 337, 225, 137, -147, 1142, -265, -222, 1412, 187, 400, 293, 268, 231, 423, -137, 523, 594, 1084, -1275, 847, 1142, 599, 226, -727, 501, 347, 51, 55, -16, -88, -79, 286, 715, -603, -460, 1025, -735, 797, 192, 70, 306, 611, -286, 365, 56, 430, 419, 1195, -65, 492, -402, 917, 641, 172, -146, 1225, -212, 252, 257, 626, -178, 391, 567, 452, 574, 915, 331, -187, 485, 21, 128, 527, -437, 1541, 46, 753, 339, 432, -453, 1270, 598, -615, 548, 1074, 81, 1045, 536, 210, -410, -301, 5, 1571, 863, -71, -636, 371, 209, -105, -512, 429, -159, 409, -399, 695, 616, 1328, 621, 385, 145, 1242, 237, 395, 143, 764, -1309, 67, 200, 414, -74, 17, -77, -26, 470, -142, -78, 614, -242, 237, 186, -192, -269, -143, -159, -63, 272, 202, 1170, 1006, -1437, 1852, 79, 181, 393, -196, -533, 934, -73, -639, 518, -59, 63, -396, -536, -30, -444, -835, -421, 1255, -70, -270, 292, 1799, 234, 168, 201, 288, 215, 249, -259, -342, -218, 603, 664, -432, 781, -74, 379, 837, -215, -260, 305, 1067, 141, -206, 165, 360, -589, 1140, 76, 119, -521, 1109, -346, 570, -62, -19, 161, 1256, -731, 487, 40, -672, -385, 279, 175, -142, -247, 474, 301, 170, -459, 11, 316, -382, -87, -94, 210, 1312, 92, -444, -6, 1444, -284, 260, 116, 768, 716, 412, 42, -911, 770, -1198, 531, 270, -263, -118, 190, 877, 208, 467, -483, 622, 116, -393, 181, 39, -471, 450, 131, -463, 360, 928, 343, -139, 4, 540, -231, -333, -837, -162, -12, -1340, -551, -433, 116, -1301, 41, -229, -327, -196, 40, 923, 374, -808, -512, 365, 2, 108, 340, -483, -6, 1079, -7, 85, 9, 718, 766, 360, 59, -628, 520, 50, 947, -935, -58, -348, 348, 480, -805, 157, 780, -63, -185, 853, 859, 454, -948, -153, 90, -400, -142, 309, 66, -547, -566, -20, 544, 1119, -83, 180, -128, -446, 258, -600, -620, 646, 71, 54, -649, 213, -194, 1432, -274, -776, -291, 634, 219, -86, -399, 377, -497, 66, -440, 145, -458, -665, 462, -22, 40, 850, -232, 39, 858, 147, -1471, -152, 29, 53, -166, 162, -65, 973, -397, 1427, -94, -508, -52, 105, -448, -540, -147, -571, -126, -1157, 650, -720, 1019, -274, -650, 658, 13, -284, -777, -211, 83, 439, -269, 437, -244, -808, 270, 1603, 64, -364, -1037, -206, 209, 918, 283, -791, 931, 290, -149, -424, 378, -266, 118, 274, 148, -103, 387, -587, 712, -755, -45, -1213, 246, 892, -53, 684, 613, -721, -178, 1219, 112, 407, -624, -921, 81, -214, 637, -913, -217, -927, -90, -143, -972, 355, 263, -471, 336, 254, -121, -172, 179, -108, 623, 613, -157, -999, -395, 702, 134, -1605, 46, -311, 378, 37, -127, 242, -256, 563, 426, -338, 286, 359, -1269, 608, 67, 277, 117, -230, 321, 535, -1704, -689, 257, -49, -509, 873, -301, -154, 42, -647, 906, -572, -724, -255, -436, -133, -250, -405, -124, -424, -121, 28, 853, -34, -952, 911, 279, 400, -175, 207, -265, 476, 40, -326, -271, 448, 420, 1085, 814, -169, -701, -86, 1045, 556, 189, -1069, 1, 197, -305, 804, 154, 578, -266, 304, -365, -157, -519, -345, 772, -318, -75, 743, 881, -599, -713, 306, -409, -1252, 520, -173, 29, -1199, -1051, -638, -443, -1105, -588, 987, -154, -438, -559, 177, 1102, -61, -1298, -711, 674, 219, 246, -394, -587, 1221, 53, 8, -310, -443, -346, -701, 143, -912, 130, -406, 420, 559, -734, 426, 768, 556, -215, 498, -120, -101, -480, 755, 180, 1162, -266, 384, -87, -548, -549, -448, -239, -568, 114, -916, -35, -1721, -234, 56, -672, -189, -548, -256, -575, 450, -250, 902, -161, 241, -298, 393, 138, 1563, -1773, -167, -239, 145, 726, 37, -91, 583, 273, -317, -408, -851, -327, 138, 251, 811, -143, -165, 597, -141, 88, 88, 280, -145, 125, 84, -324, 313, -632, 689, -187, 855, 267, 235, 199, -75, 44, -1024, 307, -1842, 456, 730, 347, 95, -453, 29, 192, -1073, -995, -29, 201, -425, 174, 154, 135, -363, -294, 83, -215, 258, -155, -367, 26, -445, 714, -1423, -151, -69, 239, -13, 420, -773, -546, -131, 281, -33, 529, -250, 444, -227, -406, -773, -79, -982, 140, -497, 946, -713, -1340, 337, 60, -2045, -68, -227, 96, 709, -1138, -662, 359, -269, -697, -612, -844, -1619, 225, -435, 389, 281, 279, 688, -614, 620, 635, 160, 265, -690, -31, 563, 601, 979, -500, 242, -17, -266, 677, -820, -71, -80, -538, -529, 638, 138, -406, 1061, 411, -989, -1755, -695, -71, 448, -656, -114, -275, 25, -369, -274, 460, -724, -177, -562, -193, 725, -4, 85, -385, -664, -674, -191, 783, 267, -458, 53, -91, -1159, 151, 655, -516, 311, -776, 896, -504, 333, 486, -398, 229, 48, -77, 343, 1011, -774, -300, -1394, 542, 562, 9, -306, -248, -1188, 219, 133, 104, -152, -920, -355, 311, 168, -372, 669, -499, -33, -305, -144, 164, -382, -650, -227, -232, -1206, -887, -913, -4, -1012, -238, -230, 740, -1006, -1130, 463, 651, -575, 491, 89, -179, -1740, -2, 52, -417, -390, 87, 89, 110, 573, 3, -304, -510, -352, 466, 210, 759, -131, -1184, 764, 477, -1328, 68, -1168, 513, -408, -384, 503, 134, 287, -928, 1553, 404, -262, -572, -414, 563, 717, -182, -659, 543, -380, -572, -920, 45, -596, 227, 62, -1288, -176, 720, -236, 318, -909, -901, 162, 33, -848, -870, 1520, -456, 441, -632, 489, 124, -118, -129, -413, 48, -887, -315, -669, -592, 241, -399, -483, -78, 362, -438, 234, 1064, 48, -859, -1112, 140, -727, -33, 345, 355, 244, -301, 799, 210, -2198, 808, -299, -169, 118, -176, -555, -930, -1709, 130, -1461, 997, -963, -715, -473, 91, -673, 16, 1404, 703, 71, -1536, -976, -59, 530, -15, -612, -254, 1117, 314, 213, 135, 710, -32, -479, 835, -942, -519, -1244, -442, -1622, -315, -415, 788, 949, -1028, -93, 58, -1034, 13, -39, -494, -434, 210, -20, 1476, -85, 94, -583, 128, -898, 611, 346, -513, 922, -642, -789, 896, -223, -252, 277, -821, -226, -537, -574, -130, 1056, -160, -93, 346, 527, 41, -1603, 296, 297, 437, 67, -475, -744, 99, -29, 23, -761, -513, -604, -431, 406, -347, 482, 812, 540, -503, 411, 407, 217, -979, 1138, -243, 1177, -1490, -811, -322, -358, 362, -753, -319, 664, -625, -1262, -212, -664, -1378, -722, -815, 835, -641, -325, -283, -571, 903, -32, -250, 52, -101, 451, -337, 599, -634, -220, -301, 74, -774, -1085, 460, 791, 456, 935, 631, 485]