# Trace form for 8023.2.a.e, downloaded from the LMFDB on 25 April 2024.
[0, 172, 24, 18, 180, 28, 16, 4, 72, 198, 14, 20, 54, 36, 26, 32, 196, 123, 74, 20, 70, 37, 11, 22, 62, 210, 50, 69, 42, 58, 36, 10, 168, 124, 5, 59, 192, 40, 58, 15, 7, 155, -6, 19, 22, 76, 1, 71, 144, 206, 126, 33, 71, 101, 92, -2, 57, 114, 4, 71, 38, 50, 86, 14, 240, 143, 21, 8, 192, 41, -12, -172, 156, 128, 30, 72, 74, 127, 107, 2, 50, 236, 42, 140, 71, 55, 46, 100, -31, 215, -7, 22, -15, 60, 5, 74, 182, 120, 164, 60, 236, 132, 16, 64, 137, 49, 70, 80, 183, 61, 142, 21, 29, 172, -140, 40, 25, 122, 71, 67, 7, 260, 126, 111, -43, 114, -2, 38, 360, 174, -89, 146, 210, 46, 9, 105, 25, 256, -117, -41, 52, 8, -24, 192, 282, 228, 118, 63, 54, 120, 10, 17, 48, 337, 70, 32, -51, 112, 111, -55, 36, 193, 185, 4, 171, -81, 132, 198, 55, 210, 68, 108, 22, 249, 93, 18, -54, 246, -3, 4, -86, -61, 14, -40, -56, 341, 3, 42, 195, 155, 160, 111, 320, 168, 69, 13, 276, 173, -34, 27, 419, 27, 141, 113, 39, -48, 153, -123, 171, 273, 16, 8, 238, -18, -51, 228, 230, 158, 41, 40, 132, 80, -39, 46, 97, 246, 24, 134, 236, 27, -65, -67, -22, 329, -62, -40, 286, 119, 60, 3, 44, 219, 192, 45, 126, 129, 32, -70, 192, 27, -15, 7, 29, 39, 42, -132, 252, 471, 60, -65, 214, 216, 37, 162, 113, 190, -137, 135, -59, 86, -30, 101, 233, 188, -10, 146, 18, 80, 157, 183, -115, 244, -171, 23, -180, 107, 102, 146, 456, 221, 170, 15, 192, 399, -200, -12, 6, 419, -47, 98, 110, -138, 183, 64, 161, 327, -250, -8, 372, 70, -83, 33, 113, 237, -84, 175, 25, 167, -303, 22, -139, -38, 35, 233, 0, 96, -26, 139, -22, 181, -245, -38, 543, 135, -2, 60, 178, 85, 153, 18, -182, 245, 15, -172, 83, 127, -17, 96, 150, 22, 141, -48, -34, 640, 89, -28, 210, 174, 10, 138, -64, 200, 246, 53, -230, -43, -90, 55, -78, 433, 225, 145, -145, 58, 25, 26, -190, 207, 0, 19, 65, -41, 22, 272, 380, -185, -68, 36, 168, 111, -66, -49, 441, 260, -70, 290, -106, -6, 254, 66, 286, 357, -27, 181, 204, 179, -196, 149, -353, 136, 83, 177, 97, 370, -341, 6, 516, 358, -164, 93, -299, 102, -70, 20, -98, 497, -16, 52, 95, 106, 77, -48, 178, 137, 1, 64, -2, 349, 72, -38, 114, 257, 66, -4, 45, 76, 290, -120, -284, 239, 93, 96, 180, 50, -12, 37, -681, 167, 306, 86, -415, 366, -121, 40, -123, -144, -63, 159, 120, -114, 127, -24, 62, 384, 187, -75, 268, 69, 101, 52, 103, -163, 110, 84, 217, 69, 85, -32, 265, -36, -70, 31, 179, 57, -196, -11, -149, -4, -241, -20, 91, 57, 195, 77, -204, 299, -150, 42, -173, 343, -235, -180, 834, 305, 49, -27, 159, 99, -122, -147, -313, 376, 15, 38, 263, 331, 6, 68, 290, 192, 227, -95, -207, 46, -159, 126, 8, 145, -274, 205, -364, 37, 365, -121, -99, 582, -562, 39, 334, 204, -593, 315, -256, 126, -84, 156, -390, 326, 214, 94, 11, 162, -139, 325, -372, 28, -43, 142, -72, 190, -103, -18, 401, 166, -326, 146, 146, 370, -75, 111, 440, -143, -487, 193, 5, -42, 42, 443, -19, -89, -431, -143, -5, 937, -497, -61, 274, 221, -309, -48, 237, 155, -272, 131, -63, 179, -385, -210, -92, -173, 90, 39, 262, 74, -77, -150, 42, 252, 242, -123, 142, -54, 183, 100, 79, 360, 289, -57, 17, 478, -234, -143, 396, 57, -103, 127, -144, 291, 79, -198, -460, 121, 110, 27, 44, -185, -154, 403, 111, -8, -83, 65, -84, 231, 138, -110, -12, 305, -310, 10, -737, -181, 306, -99, 293, 138, -405, 96, 653, -429, -4, -63, 266, -51, 33, 85, 170, 286, 16, -228, -75, -30, -495, 166, -89, 100, -153, 177, -217, 553, -213, 35, 376, 237, -127, 10, 153, 342, -65, 65, 331, 104, -29, 121, -195, 278, 75, -180, 441, -69, -14, -161, 29, 856, -106, -300, -92, 281, -148, 77, -635, -31, 480, 249, -572, 160, -265, -82, 419, 255, -111, -73, -617, -91, 277, 194, -509, 359, 325, 192, 380, -32, 105, 104, -517, 165, -242, 185, -77, 174, -442, -121, 279, 121, -124, 128, 228, -57, 54, -295, 217, 696, 329, -92, 163, -109, -191, 191, 609, 69, -545, -21, 56, 344, -62, -35, 84, 190, -179, 5, -173, -20, -275, -72, 374, 366, -192, -22, 339, 28, -337, 4, -693, 367, -47, -565, 57, 385, -398, -32, 254, 453, -277, -111, -97, 172, 53, -255, -234, 344, 9, -169, 117, 72, -133, -12, -348, 358, -64, -150, -723, 165, -310, -193, 338, 186, -145, 230, -603, 51, -266, 106, 19, 855, -715, 31, 476, 37, -71, 137, -890, 376, -16, 94, -75, 121, -248, -24, 309, -184, 164, -67, -54, 303, -208, 218, -303, 562, -512, -180, 296, -87, -326, 449, 568, 3, -393, 117, -3, -168, -328, -88, 26, 376, -362, 26, -173, 154, 25, -227, 121, 345, -253, 0, -217, -291, -510, 326, -264, -196, 85, -344, -237, 295, -67, -138, 131, 265, 234, 74, -120, -85, 457, -30, 72, 140, 22, -336, 125, 247, -270, -179, -488, 160, 236, 25, 147, 35, 60, -142, -86, 53, 121, -36, -836, -131, 166, -7, -293, 211, -44, -135, 157, -538, -245, -105, -61, -28, -28, -376, -663, -198, -167, 149, -120, -672, -392, 126, 229, -27, -421, -20, -185, 756, 27, -182, -225, 9, -452, -133, -726, 296, 87, -327, 102, 226, -570, -145, 467, 246, -387, 193, -479, 102, -140, -28, -482, 737, -17, -129, 30, 129, -526, 139, -258, 365, 196, 126, -325, 101, -681, -160, -40, 31, -26, -191, -690, 237, -121, -179, -493, 563, -735, 318, -529, -442, 181, 499, -959, 270, -198, -160, -20, 567, -101, -394, -695, 198, 9, 210, -952, -167, 87, -24, -340, 1049, -386, -175, 466, 54, -292, 29, -76, -67, -770, 169, -173, 220, -235, 250, -114, 269, 149, -116, 106, -123, -127, 46, -101, 139, -336, -266, 387, 82, -527, 355, 189, -48, -4, -359, -87, 163, 266, -18, -614, -32, -488, 149, -87, -36, -21, -364, -215, 749, -255, -268, 121, 398, 45, 52, -451, 312, -467, 105, 0, 48, -658, -363, 672, 288, 263, -21, -880, 203, 278, -106, -160, 1317, -173, -98, -188, -195, -444, 173, -218, 30, -255, 6, -271, -2, -309, -427, 14, 566, -294, 73, 114, 49, -219, 257, -305, -205, -496, 117, 308, 155, -139, 141, -436, 80, 14, -163, -151, 96, -1101, -381, -196, 469, -664, 397, -20, -207, -392, 35, 149, 539, -707, -383, 394, -277, -981, 393, 703, 22, 416, -157, 99, 271, -482, -566, 631, 480, -238, 222, -491, -42, -559, -504, 214, 149, -1539, -208, 380, -87, 140, 173, -906, 200, -149, 12, -285, 286, -287, -287, -83, -266, 1, 405, 615, -121, 134, -129, -344, 467, 99, -439, -226, 172, 87, 160, 43, -276, 461, 97, -518, -30, -279, -123, 114, -150, -232, 2, -25, 54, 175, -56, -451, 604, -702, 233, 519, -455, -124, 351, -1184, -271, -112, 54, -628, -125, -602, -27, 590, 534, -736, 120, -55, 122, 400, -153, -293, 165, -775, 20, -611, 268, -677, -435, -272, 176, 175, -96, 83, 621, -364, 93, -326, 691, -154, -52, -1609, 50, 34, -228, -615, 836, -971, 19, 146, 198, -519, 168, -1169, 500, -196, -601, -385, 27, -74, -241, -782, 224, -23, 192, -1263, -66, 0, 174, -330, 152, 46, -319, 154, 723, -283, -455, -162, 0, 420, -394, -150, 4, 98, 292, -351, 750, -203, 631, -760, 25, -364, -390, -775, 745, 81, 99, 151, -284, -798, 296, -293, 78, 60, 120, -364, 311, 77, -228, 819, 128, -71, -219, 386, 4, -724, -553, -222, 567, -577, -228, 655, -588, 179, -170, -2, 73, 115, -308, -355, -20, -173, -441, 456, 313, -278, -214, 54, -113, 346, -797, -1315, 809, -303, -275, 137, 50, -376, 246, -569, 192, -151, -322, -632, 305, 281, -337, -364, 928, 355, -294, -459, -34, 437, -170, -127, -57, -721, -94, -72, -365, -711, -55, -347, -206, -388, -223, -1125, 56, -327, 138, 410, 280, -631, 333, -472, -84, 233, -127, -675, 341, -177, -60, 858, 453, -480, 223, -232, 150, 129, -475, -70, 83, -420, 145, 124, -157, -311, 192, -187, 86, -933, -280, 241, 332, -1059, -145, -275, -559, 616, 61, -101, -10, -708, -155, 156, 659, -776, 1, 225, 305, -1072, -24, 128, -134, -459, 125, -772, 194, 328, -404, -1199, -276, 255, 546, -706, -108, -87, -418, -288, 36, -467, 90, -340, -193, -247, 124, 87, -125, -310, -627, 225, 562, 221, 203, 373, -1091, -1229, 302, -559, -387, -554, -37, -426, 179, -429, -295, -628, 179, -540, -166, -859, -303, -296, 167, -371, 11, -432, -312, -5, -288, -1140, 340, -1102, 112, -46, -312, 81, -133, -1147, -136, -90, -509, 91, 223, -284, -259, -101, -86, 212, 672, -176, -218, 189, -169, -1082, 144, -67, -123, -129, 103, -798, 424, -89, -261, -844, 249, -97, 220, -684, -312, -644, 110, 198, 1372, -853, -391, -260, 389, -337, -271, -964, -852, -11, -440, -848, 231, -73, -320, 359, -240, -403, 514, 18, -278, 92, -348, -734, 824, -253, -537, 818, -43, 26, -187, -928, -598, -340, 220, -260, 413, -764, -97, 650, 578, 11, -383, -852, 165, -306, -758, 365, 377, -817, -241, 428, -538, -633, 92, -191, -220, 203, -969, -220, 621, -552, -512, 367, 106, -859, -411, -142, -504, -804, -21, -406, 547, -250, -264, 264, -438, -319, 159, -926, -22, -472, -741, -259, 177, -955, -64, -206, 151, -137, 76, -477, 140, 148, -847, 364, 346, -1238, -227, 208, 193, -990, -21, -1392, 586, 525, -913, -805, -129, 13, -255, 902, 381, 131, 52, -643, -217, -800, 261, -686, -79, -955, -159, -747, -584, -264, 478, -1331, 495, -230, -12, -41, 895, -1789, -42, -279, -13, -726, 206, -676, 335, -818, 32, -503, 1139, -1226, -323, 314, -108, -614, -275, -62, -14, -192, -75, 138, 243, -652, -384, -1045, 544, -314, -47, -120, 13, -272, 123, -169, -275, -343, -281, -413, -378, -787, -267, 500, -129, -448, -421, -673, 504, -680, -433, -622, 571, -861, 243, -396, -496, 192, -475, -1009, 407, -326, -175, 296, -254, -462, 253, 12, 56, 59, 295, 307, 494, -548, -345, -903, -145, -214, -118, -782, -154, 756, 179, 148, -34, -834, -558, -235, 112, -886, -210, -792, 663, 101, -16, -1146, 72, -212, 71, 123, -993, -907, 149, -879, -410, -232, -214, -234, -4, -484, -102, -81, -374, -103, -98, 102, 211, -123, 75, -49, -40, -261, -218, 196, -394, -580, -287, -1391, 338, -47, -585, -1086, 559, -176, -121, -839, -226, -297, 396, -1733, 384, -34, -181, -825, -220, -175, -534, 848, 233, -730, -52, 207, -288, 284, -201, -1365, 216, -1280, -579, 12, -1494, -50, 362, -2119, -361, -651, -295, -285, 1008, -605, -389, -932, 172, 655, -288, -2098, -131, -390, -939, -198, 1330, -56, -510, -55, -845, -13, -37, -244, -243, -827, 507, -1606, 781, -474, -386, -599, 398, -434, -191, -75, -686, -911, -173, -273, 844, -60, 113, 376, -214, -561, 17, -446, -16, 343, -544, -818, -446, -801, -176, 291, -390, -600, 103, -227, -307, 409, -559, -753, 630, -377, -324, -417, -69, -596, -181, -1254, 123, -223, 28, -666, -542, -526, -415, -472, 347, -879, 271, 292, -5, -914, 129, -230, 632, -2045, -268, -192, -411, -472, 461, -1278, 343, -195, -712, -597, 408, -1254, -255, 53, 265, -492, -298, -360, -562, -596, -122, -980, -24, -1168, -41, -527, 367, -729, 422, 411, -8, -493, -139, -773, -184, -1238, -474, -1230, 487, 131, 416, -463, -151, -64, -159, -1099, -237, -1098, -400, -42, -469, -1094, 1, -358, 124, -267, -758, -587, 440, -999, -387, -181, -837, -1322, 243, -793, -528, -281, -29, 486, 236, -926, -662, 244, -363, -413, -122, -1520, 387, -249, -401, 199, -126, -305, 163, -151, -1034, 325, -174, -833, -168, -101, -230, -811, 1180, 74, -757, 701, -1043, -415, 266, -359, -112, 760, 70, -576, 78, -504, -366, 735, 420, 209, -185, 1030, -235, 46, -492, 580, 699, -1037, -58, -639, -417, -216, -103, -288, 58, -28, -842, -736, -290, -427, -428, -198, -328, -585, -149, -887, -142, 622, -59, -1172, -174, -459, 293, 1258, 0, -1055, 78, -183, -205, -226, 435, -47, 454, 330, -172, -95, 812, 220, -776, -71, 148, -475, -71, -179, 616, -564, 292, -249, -13, 170, -5, 89, 59, -53, -732, 167, 1157, -184, 119, 49, 674, 15, 512, -262, -81, -645, 28, -713, 4, -36, -53, -361, 657, -195, -283, -395, 360, -575, 13, -13, 394, 1121, -493, -365, 375, -810, 20, -24, -108, 286, -1124, -636, 88, 741, 88, 120, -91, 191, -12, -1126, 837, 796, -524, -991, 507, 311, -581, 1047, 1076, -1099, -40, -466, 341, -87, -19, -76, 1238, 335, -961, 1012, -412, 80, -246, -917, 414, -423, -386, -554, 156, -638, 58, 1501, -206, 643, -213, -107, 225, -273, -186, -2067, -10, 129, 219, 511, 173, 124, -2, 351, 141, -337, -581, -895, 582, 120, -889, -63, 881, 117, 283, 105, -11, -484, -382, -140, 1148, -276, -249, -176, 371, 260, -95, 230, 23, 193, -314, -266, 100, -1163, 184, -55, -705, -776, 804, 37, -781, -475, -622, -185, 792, -231, -303, 1340, 189, -262, 106, -1110, 166, 371, -155, 70, -141, 1195, -283, 195, 45, 159, 628, -997, 20, -23, -343, -168, 1458, 444, -163, 222, -137, 223, 279, 288, 147, 546, -307, 959, -33, -840, -133, 882, -966, 136, 22, 328, 15, -1005, -853, -369, 728, 302, -93, -686, 57, -447, 207, 884, 46, 89, 467, 744, 430, 778, -462, -1168, 556, 380, -90, -277, 243, 599, -424, 1423, -54, 629, 10, 673, -224, 238, 580, -1436, 316, 171, -736, 334, 526, 691, 20, 495, -272, -379, -514, -587, -117, 571, -124, 435, -35, -666, 164, 126, 338, 1025, 124, -588, -274, -356, -3, -521, 236, 441, 283, -1615, -81, 366, 323, -1752, -630, -342, 141, 450, 393, -1225, 286, 1416, 37, -178, 436, -877, -224, 697, -493, -614, 119, 312, -395, 460, 316, -26, 753, 218, -393, -837, 162, -332, 1752, 678, 619, -1165, 591, -554, -110, 416, 100, -579, 297, 1244, 521, 285, -107, -289, 489, -711, -252, 334, -782, -5, -407, -170, 1010, 342, -208, 479, -57, 434, 282, -1664, -418, -35, -60, -813, 621, 677, -400, 457, 1107, 1057, -23, -1706, -173, -286, 392, 429, 190, -525, 51, 253, 482, -14, 5, -651, 576, 301, -484, 631, 589, -861, 242, 81, 506, -62, -26, -232, 30, 1200, -243, 291, 694, 426, -319, 176, 70, -488, -158, 1540, 63, -178, 670, 1073, 759, 712, -204, 139, 340, -439, 816, 472, -59, 11, -570, 623, -561, -789, -165, 777, 250, -98, -469, -94, 1188, -198, -695, 678, 179, 288, -184, 1069, 823, -1394, 434, 483, -359, 461, -513, -464, 630, 1885, -863, 1247, 93, 33, -202, -823, -346, -761, -195, 153, -284, -1995, -288, 655, 577, 928, 400, 230, 519, -136, 810, -177, 1617, -1429, -332, 174, -852, -329, 733, -664, 495, 529, 332, 1344, 258, 630, -652, -387, 481, -300, -371, -192, 334, -231, 533, -105, -381, 945, -519, -376, 252, -745, 199, 1470, 96, -126, -47, -297, -337, 656, 525, 432, -152, -698, -161, -301, 144, 684, 128, 119, 1023, -763, 239, 1459, -120, -1871, 82, 1083, 460, 742, -356, -1199, 736, -483, 22, -621, 808, 1128, -300, 1064, -638, -19, 833, -61, 442, 1129, -276, 326, 751, 622, -410, -1339, 902, 1231, 361, -31, 292, -394, -373, -101, 159, -584, -40, -485, 6, 755, -809, -1052, 133, 581, -579, -690, 723, -82, -57, -1554, -449, 818, -148, -23, -38, 176, 437, -108, 203, -622, -291, -179, 142, 152, -90, 733, 810, 917, 666, 737, -217, -343, 401, -1916, 1111, -298, -1402, -534, 353, 615, -200, 1080, 1181, 242, 29, -863, 463, -73, 257, -572, 838, 180, -364, -643, 77, -341, 524, 806, -115, 258, -454, 313, 887, -833, -292, 508, -895, -58, -423, 897, 486, 468, -125, 601, 1126, -273, -42, -264, 340, 1362, -241, 62, 48, 630, -1193, -253, 430, 688, -384, -1036, -467, 517, 736, 768, 119, -238, 556, -717, 842, 740, 45, 269, 349, 751, 58, 154, 529, -729, 66, 897, 151, 820, -213, -344, 614, -194, -309, 527, -506, 1435, -347, -831, 73, -65, -82, 1282, 663, 244, 14, 657, 617, 1071, -207, 185, -559, -582, -248, 195, -15, 251, -302, 669, 84, 479, -877, 108, 713, 145, -126, 73, 496, -381, -404, 1935, 107, -539, 77, 849, 760, -832, -519, -39, -163, 2130, 256, -73, 176, 142, -174, 1690, 896, 530, -245, 173, -552, -758, 185, 900, -201, -402, 352, 442, 892, 1027, -524, -2039, 1114, 351, 361, 920, -18, -205, 130, 222, 210, -215, 740, -840, -188, 1143, 309, 1368, 611, 190, 531, 599, -98, -39, 51, -7, 360, -1001, 480, 597, -386, -58, 1040, -23, 748, -1841, -496, 2170, 11, -567, 633, -213, -282, 851, -209, 2, -555, -725, -429, 230, 77, -905, 424, -64, 652, 94, -10, 665, 956, -290, 343, 17, -630, 905, 55, -1246, 310, 1038, 540, 37, 557, 598, -111, 255, -10, 178, 499, 1258, -439, 766, -524, -660, 1110, 962, -240, -724, 711, 538, 945, 535, -999, 74, -3, 110, 202, 15, -155, 1234, 87, 709, -248, -1506, 446, 560, -995, -509, -2, 403, -158, 639, -379, 1010, 533, -770, -279, 70, 377, -974, 477, 658, 109, 962, 441, 50, 98, 1464, -959, -407, 519, 493, 1369, -179, -305, 37, 180, 782, -1078, 985, 644, 5, -290, 458, 1181, -521, 466, 1068, -497, 1280, -412, -1083, -675, 687, -933, -17, 1205, -551, -179, 29, 347, 131, -677, 409, 372, -853, -1323, 664, -528, 6, 87, -10, 620, -604, 850, 1194, -144, -1840, -652, -635, 630, 1228, 382, -411, 785, 330, -602, -357]