# Trace form for 6023.2.a.c, downloaded from the LMFDB on 19 April 2024.
[0, 138, 11, 29, 157, 12, 8, 18, 33, 171, 40, 4, 69, 72, 3, 30, 191, 31, 31, 138, 16, 16, 95, 34, 3, 244, -13, 107, 43, 30, -14, 60, 62, 77, 36, 2, 205, 142, 11, 20, 76, 46, -21, 69, -7, 30, 39, 8, 116, 236, 0, 34, 165, 49, 0, 6, -33, 29, 75, 8, -24, 38, -10, 2, 251, 72, -15, 158, -19, 33, 48, 23, 88, 134, 4, 118, 157, 13, 12, 78, -48, 254, 89, -27, -15, 37, 66, 43, 224, 26, 38, 108, 113, 83, 48, 12, 40, 254, 47, 11, 299, -13, 84, 185, -73, 163, 50, 68, 217, 124, -56, -13, 9, 168, 8, -1, 105, 206, -4, -28, -104, 316, 40, -32, 100, 57, -90, 167, 51, -2, 132, -31, 154, 18, 39, 73, 162, 117, -109, 37, 96, 33, 64, 44, 284, 158, 9, 147, 276, -7, -154, 120, 33, 134, 56, 46, 200, 39, -28, 20, 109, -48, 127, 91, -59, 40, -25, 36, 86, 300, 187, 171, 228, 120, 61, -37, -151, 183, 95, 13, -101, 141, 27, 34, 68, 121, -56, 69, -133, -17, 40, 82, 246, 417, -33, -148, 166, 72, 316, 17, 203, 92, 85, 66, -60, 55, 137, 62, 352, 4, 250, 164, 146, 57, -17, -108, 152, 300, -90, 91, 45, -23, -137, 152, -143, 409, -135, 133, 69, 68, 134, 39, 168, 135, -246, 63, -69, -82, 274, 31, -248, 117, -19, 270, 77, -27, 191, 72, 173, 62, 209, -35, -261, 116, 52, -91, 195, 138, -50, 31, -148, 69, 75, -33, -226, 355, 3, 156, 396, 79, -184, -45, -203, 192, 35, -125, 377, 287, -97, 23, -45, -25, 270, 26, 239, 30, 132, 35, 208, 417, -171, -52, 151, 58, -333, 266, 120, 17, 66, 6, 39, 20, -101, 204, 191, 100, 17, 277, -61, 6, -165, 38, -21, 351, -17, 45, 10, -138, -210, 59, -1, -139, 112, 31, 353, 379, 120, -35, 137, -78, 119, 197, -109, 390, 27, -57, -415, 520, -127, 11, -349, 65, 31, -39, 99, 169, 5, -75, -245, 72, -290, -33, 442, 160, -153, 110, -147, 98, -4, -145, 270, 138, -86, 310, 154, 94, -366, 51, 387, 199, -327, 66, 37, 274, -318, -138, -74, 97, -448, 198, 16, 123, 196, 14, 9, 145, -146, 117, 492, 72, -8, 16, -64, 262, -114, -21, 191, 128, 79, 16, 289, 254, -146, 52, -199, 66, 94, 110, -213, 142, 187, -73, 289, 51, -141, 86, -472, 50, 95, -44, 624, 114, 180, -133, -89, 211, -154, 18, -59, -73, -99, -37, 105, 356, 90, -446, 236, 34, 86, 69, -231, 535, 0, 53, 148, 361, -220, 151, -210, 143, -538, 76, 169, 110, -304, -32, 3, 308, 143, -24, -235, -139, -391, 294, -33, 154, 166, -84, 139, 167, -332, 17, 23, -38, -24, 244, 27, 411, 94, -67, -557, 85, -97, 93, 166, 9, 267, 356, -194, -56, -161, 46, -451, 222, -13, -184, 175, 63, 48, -10, -370, 142, 87, -131, -417, 44, -308, 296, 212, 113, 493, -216, -22, 107, -70, 151, -99, 256, -382, -51, 379, 161, -170, 342, -325, 18, -136, -49, -175, 400, -480, -35, 43, 123, -8, 132, 172, 3, -131, -19, -248, 59, -16, -105, 180, -41, -550, 475, 418, -225, 273, 30, -304, 402, 12, 172, -147, -12, -122, -38, -192, -61, 49, -54, -370, 63, -174, 108, -71, -10, -14, 16, 91, 288, -247, -135, -42, 402, -6, -98, -6, -26, -192, 159, -269, 252, 130, -316, 467, 60, 195, 217, 556, 117, -611, -171, 144, 253, -252, 6, -423, 375, -184, 237, -3, 186, -545, 289, 62, -176, 236, -91, 57, 83, -312, -288, -16, 372, -87, -211, -310, 106, 31, 28, 383, 458, 350, 77, -120, 17, -42, 95, -389, 162, -11, 149, -582, 189, -65, 46, -105, 31, 45, 12, -671, -271, 36, -53, 499, 259, 9, -328, 24, 258, -36, 6, 10, -78, 171, -52, -852, -43, 314, -438, -184, 2, 95, 322, -67, 190, -352, -192, 132, 840, -216, 361, 310, 310, -411, -221, -24, 289, -607, 129, 205, 58, 54, -220, 403, -141, -716, -109, -63, -108, -136, -203, -377, 733, -317, 114, -13, -170, -20, 142, -362, 638, 132, 47, -265, 230, -3, -187, -127, -83, -611, 35, -445, -238, 66, -43, -1089, 206, 11, -179, 269, -47, 311, 7, -411, 582, 90, -107, -90, -210, -336, -359, -18, 343, 234, -134, 124, 20, 49, 109, -51, 393, -495, -278, 276, 209, -675, 197, -299, 385, -166, -93, -720, 369, -343, -28, 76, -150, -76, 171, 219, -564, -373, -155, 468, 2, 140, -47, 350, -59, -399, 197, -23, -200, 221, 46, -321, 78, -380, 78, -106, 405, 403, 593, -68, -353, -11, -204, 151, 600, -367, -91, -238, -9, -21, -161, 417, 39, 239, -335, -376, -28, -153, 114, 290, 13, -657, 206, -324, 115, -27, -549, -72, 69, 104, 521, -154, 106, -941, 199, 272, 223, -380, 208, 331, 282, -490, -337, 560, -73, -390, 209, -7, 163, 366, -204, 736, 108, -448, -164, 618, -43, -66, -128, -223, -91, -57, -134, 88, 82, -9, 30, -268, 426, -52, -3, -1060, 96, 30, 168, -172, 408, -508, 163, 71, -367, -692, -204, -309, 454, 39, -545, 85, 344, 126, -453, -273, 80, -43, 246, 81, -480, -414, -250, -633, 355, 26, -519, 153, 8, -391, 312, 101, 407, 1, -17, 661, 217, -340, 106, -396, 83, -735, 362, -73, 102, -383, -62, 116, 408, -58, -193, 225, -525, -86, -58, 126, 59, 23, -83, -633, 491, -460, 174, 416, -124, -76, 236, -23, 442, -190, -150, -1411, 331, -34, 361, -128, -147, -231, 299, -432, -204, -238, 57, -912, 275, 0, -29, 225, 245, 137, -365, -306, 205, 425, -24, -697, 430, -609, -218, 240, 133, 298, -69, 278, 34, -517, 92, 207, 294, -909, -97, -85, 125, -529, 203, -271, 26, -157, -34, -366, 278, -815, -62, 165, -228, -221, 190, 204, -177, 75, -62, -232, 61, 382, -430, -114, -300, -315, 384, -237, -355, 73, 49, -993, 459, -332, -84, -468, 31, -669, 294, -384, 571, 284, -278, -1236, 36, -385, -178, 26, 159, 0, -182, -33, -369, 306, -335, -635, 380, -255, -441, -321, -218, -388, -251, -695, -25, -344, -341, -77, 6, -126, 380, 198, 127, -1999, -218, 12, 536, 309, -447, -131, 1140, -758, -327, 213, -146, -828, 229, -33, 19, -168, -236, 739, -494, -460, -341, 392, 25, -344, 48, -130, 35, 279, -57, -431, -20, -49, 29, -717, 376, -499, 217, -1197, 604, -310, -139, -580, 601, -259, -204, -361, -42, -645, -311, -695, 172, 75, -94, 547, 131, 12, -513, 475, 182, -259, -96, -452, -431, -301, -229, -773, 548, -17, -415, 323, 8, -688, 517, -453, 200, -818, 181, 343, 758, -646, -274, 23, 32, -1293, 3, -207, 37, -109, -168, -24, 42, -45, -40, 749, -280, -468, 8, 237, 297, 68, -182, -277, 815, -191, -111, 227, -234, -371, 38, -752, 253, -120, -112, -1275, -184, 328, 353, -252, -187, 172, 75, -320, -343, -325, -370, -1602, 579, -10, -340, 260, -189, -8, -558, -124, 360, 96, -430, -196, 101, -625, -464, -86, 346, -107, -494, 5, 2, -345, 207, -84, 371, -692, -342, -477, 14, -790, 379, -349, -229, -863, -471, -54, 620, -834, -192, 251, -199, 65, 103, 632, -875, 22, -440, -307, 1222, 105, -309, 85, -239, -1029, 64, -402, 77, 72, 72, -99, 329, -197, -288, -1273, -23, -273, 333, -138, -470, 155, 164, -1305, -57, -556, -134, 124, -104, -15, -138, 387, -47, 319, -741, -542, -102, -184, -320, 218, -542, -970, 100, -157, 46, -27, -525, -514, 158, -797, 161, 245, 135, -1024, -226, -378, 143, 226, 156, -717, 237, -674, -639, 80, 519, -790, -176, -19, -649, -687, -512, 988, 471, -803, -145, 851, -152, -255, 96, -201, -303, 29, 60, -253, -276, -93, 33, -214, 595, -785, -166, -1468, 371, -86, -83, -836, 115, -27, 223, -551, -484, -1102, -179, -846, -216, 48, -357, 677, 375, -246, -453, -63, 108, 274, 168, 50, -390, -535, -78, -1520, 139, 168, -742, 869, 23, -1109, -203, -1049, 150, -975, -318, -380, 793, -401, -161, -161, -78, -1088, 377, -724, 8, -535, -18, 88, 300, 95, 5, -78, -309, -375, -236, -65, 292, 191, -656, -1291, -101, -413, -209, -561, -296, -898, 134, -218, 99, 4, -83, -1576, 565, -143, 249, -360, -359, -119, -147, -1917, -316, 106, -249, -683, -135, 4, -331, 399, -84, -52, -465, -257, 131, 569, -273, -327, 488, -621, -304, 105, -159, -490, -109, -826, 118, -646, 21, -382, 266, -1656, -631, -438, 411, -394, 60, -139, -45, -205, -261, -654, -21, -655, -419, 157, -216, 72, -10, -180, -1167, 167, -39, 337, 729, -607, -552, -1075, 409, -421, 226, -411, -238, -181, 13, -1458, 684, -39, -107, -312, 12, -892, 262, 242, 3, 344, -679, -1186, 218, -194, 1, -1323, 5, 12, -412, -395, -571, 459, -351, -710, 303, -863, -393, 503, -493, -1223, -195, -1364, 219, 172, -446, -1295, 78, -914, -32, -872, -128, -1277, 137, 210, -238, -108, 162, -881, 678, -887, -752, -35, 435, -554, -70, -48, -15, -176, -156, 273, -440, -942, 273, 541, 59, 995, -349, -440, 132, 185, -195, 150, 913, -366, 254, -665, 190, -73, 111, -861, 440, -427, 228, 170, 291, -307, -746, 486, -174, -647, -87, -593, -40, 89, -398, -334, 144, 158, -248, -181, -231, -221, 241, 166, -384, -507, -81, 418, 451, 28, -605, -59, -27, 229, 104, -221, -204, -777, -205, 173, -12, -678, 262, 324, 6, -882, -19, 119, 974, -86, -497, -15, -131, 486, -190, 1301, -309, -136, -65, 521, 311, 118, -227, -1467, 320, -687, -147, -11, -236, -145, 37, -335, 933, 298, -160, -1677, 13, 203, 495, 304, -89, -111, 394, -453, -470, -407, -78, -595, 824, 66, -834, 227, 64, -630, -120, -227, 541, 738, -163, -3, -571, -743, -87, 452, 505, 533, -286, 783, 43, -139, 6, 201, 363, -672, -30, 363, 143, -219, 560, -748, 221, -473, -199, -692, 251, -601, -564, 224, -121, 516, 40, 104, -698, 15, -70, 1330, 968, 418, -430, -689, -463, -297, 490, 737, -499, 724, 26, -1217, 277, -26, 256, -1018, 258, 166, 312, -67, -440, 828, -361, -595, 423, -744, -240, -100, -429, 38, -199, -8, 28, 681, -213, -643, 622, -263, 531, 476, -309, -898, 528, -163, -113, -186, -277, 185, 108, -578, 453, 163, 101, -805, -79, -46, 1538, 203, 119, -812, 103, -42, 62, 533, 219, -916, 379, 113, -718, -19, 217, 867, 261, 122, 2, 224, 325, 559, -172, -850, -57, 482, 129, 1481, 255, -458, 83, -348, 700, 205, -222, -515, -38, -371, 561, -203, 384, 1019, -247, 330, -378, 492, -90, -497, -532, 48, -154, 844, 41, -206, 37, -519, 368, 63, -9, 418, -579, -435, -254, -429, 460, 43, -99, 1015, 12, 17, 168, -97, 243, -898, -361, 827, 928, 379, 248, 74, -238, -932, 35, -468, 123, -128, 118, 40, 89, -288, 38, 852, -563, -259, 232, 491, 395, 918, -389, -1334, 172, -318, -329, -922, -245, -14, 254, -184, 40, -134, -76, -2027, 893, 1430, 324, 867, -102, 744, -635, -321, -143, -43, -108, 299, -33, 47, -296, 196, -438, 265, -260, -671, 971, 1027, 247, 1340, 834, -542, 496, 282, 335, 399, -264, -216, 11, -777, 53, 225, 638, -725, -349, -130, 403, 937, 143, -393, -515, -32, -171, -672, 839, -365, 69, 299, -465, -8, 326, 1253, -647, -224, 139, 1100, 387, 744, -521, -116, -172, -159, 84, 318, -482, 708, -13, -1105, 217, 733, -167, -406, -650, 384, 574, -543, -288, 852, -458, -988, 547, -2, 229, 60, -148, 84, -655, 1450, 272, 261, -105, 874, 162, 619, 16, 1157, -155, -1580, 45, -77, 440, 121, -889, 176, 185, -367, -80, -602, 93, -1096, -272, -181, 587, 265, 479, 50, 472, -553, -317, 353, 565, 569, 247, -73, -221, -38, -132, 264, -768, -386, -14, 959, 56, 101, -253, -859, 12, -141, -433, 43, 354, 546, 163, -331, 189, 467, 240, -1460, -647, -236, 499, 694, 271, -214, 132, -29, -476, 480, 89, 84, -211, 50, -750, -389, 1064, 437, 16, -308, 39, 527, -160, 472, 460, -511, 228, 238, 320, 951, -416, 1198, 68, -308, -350, 576, 320, -361, -250, 1607, 704, -8, 645, 509, 315, -1082, 274, -473, 143, -252, -110, 217, 272, 1044, 408, -174, -584, -315, 75, 384, 55, 949, -712, -172, -5, -92, -44, 279, 24, 612, 124, -774, 397, -298, -115, -679, 304, 398, 998, 1436, 182, 154, 264, 119, -846, -323, 492, -216, 584, -56, -545, 399, -16, 1116, 188, -878, 1083, 585, 429, 1770, -210, 556, 93, 474, 722, 724, -190, 514, -13, -667, -60, 354, 546, -887, -91, 478, 440, 510, 182, 73, 139, 281, -85, -235, -135, -683, -352, 9, 197, 1085, 341, 1004, -749, 107, 288, 91, 1147, 719, -928, -229, 22, 553, -112, 494, -389, 765, 168, -109, -14, 980, -187, -489, 153, 58, 288, 441, 83, 100, -452, -1666, 190, -31, -18, 722, -250, 8, -21, 16, 166, 1135, -275, -400, -41, 656, 45, 831, -296, -9, 107, -765, -190, -155, -110, 323, -1, 374, 1028, 827, 405, -1378, -545, 1110, 1178, 858, 116, -406, 588, -239, -499, 351, 390, 20, 356, 105, -1091, 340, 229, 513, 402, -183, 240, 1899, 392, 1242, -569, -619, 715, 348, -18, 500, -286, 428, 206, -499, -351, 1247, 382, -491, -169, -803, 252, 662, 1003, 966, -390, -668, 149, -36, 128, -568, -68, -4, -537, 180, -89, 521, 134, 68, 733, 548, 380, 32, -235, -346, 304, -1610, 582, 83, -516, 484, -28, 914, -39, 787, 280, -533, -572, 613, 839, 421, 960, 5, -103, 29, 509, -583, 592, -515, -208, -104, -27, 603, 352, 1022, -455, 85, 161, 488, 904, 1614, -143, 559, 48, -139, -997, -941, 325, 623, 316, 753, 94, 105, -222, -579, 265, 274, 401, 700, 79, 354, -156, -81, -82, 207, 303, -514, 433, 40, -438, 63, 433, 679, -496, 356, 1404, 197, -62, 192, -85, -1133, 58, 767, 191, 402, -60, 978, -32, -572, 46, -172, 77, -557, -572, 154, 1147, 215, 627, 92, 160, -427, -663, -90, 1233, 91, 103, 100, -154, 444, -4, 1059, -882, 199, 97, 1201, 494, 31, -662, 698, -50, 295, 139, 712, -404, 653, 57, -108, 1651, -59, 244, -1660, -152, 26, 640, 754, 609, -268, -67, 809, 59, -12, 393, -1086, 111, -90, -628, 201, 310, 1277, -275, -465, 766, 609, 226, 894, -837, -467, 160, -287, 1508, 113, -373, 1513, 167, -170, -47, 305, 854, -654, 103, 42, 553, 871, 377, -489, 1175, -908, -678, -132, 164, -838, -660, 51, -319, 17, 418, 902, -29, 308, 131, 1589, 15, 984, -300, -518, -94, -20, -349, 403, 461, 1286, -2, -191, -169, 914, -192, -1155, 1089, 486, 306, -1053, 270, 111, -510, -555, -287, -1580, -274, 26, -285, 132, -603, 863, 1169, 1176, -231, -936, -14, -33, 563, 589, -651, -778, -163, 1173, -212, 514, 281, 883, -31, -449, -78, 788, 1413, -631, -639, 1281, 1257, 423, -69, 1546, -100, 394, 127, 577, 896, 33, 301, 154, -19, -124, 240, 697, -520, 1715, -517, -542, 485, 853, -140, -249, 471, -528, -67, 579, -713, 614, 18, -214, -80, -498, -425, 21, -145, 834, 864, -33, 373, 132, -149, 363, -1059, 594, 255, 99, 1018, 39, -635, 418, -319, 1219, -364, 369, 866, 356, -181, 1094, 693, 309, -695, -328, 51, 675, -386, 1042, 73, -469, 223, 685, 526, 12, -253, -262, 295, 1742, 833, -1402, 1192, 32, 34, -1802, -361, -151, -562, 162, -405, 1098, 920, 450, -1108, 719, 352, 1262, 404, 367, -1617, -966, -50, -621, -269, -117, 580, 902, 117, 530, 379, 1369, -48, -303, 17, 104, 138, 1513, -254, 680, -601, -1122, 468, -535, -257, -961, -455, -109, -184, -3, 747, 438, -133, 357, 199, 65, 570, 1623, 62, -594, -341, -600, 559, -129, -255, 315, 37, 840, -7, -148, 258, -1451, 406, 740, 984, 708, -120, -905, 232, 536, -496, -417, 545, -726, 369, 96, -232, 830, 90, 1351, -815, -102, 312, 932, 595, 2303, -451, 83, -152, 535, 136, 452, 75, 687, 33, -1163, 77, 1652, 23, -1167, 448, -286, 549, 1311, 1261, -373, -994, 911, -128, -51, -361, -380, -29, 64, -517, 1494, -205, 761, -251, 1168, 730, 461, 222, 879, -1011, 116, -368, -250, 1156, 1285, -283, -382, 44, 246, 21, 397, 1098, -98, -535, 405, 1101, 152, 992, -1044, 720, -687, 330, 98, 577, 344, -649, 284, 236, 259, 386, 1715, -588, 422, -49, 702, 1319, 1055, -802, -1361, 243, -245, -1118, 543, -375, 1622, 158, -885, -355, -357, 110, -1248, -448, 137, 539, 640, -262, 505, 251, -382, -702, -506, -173, -1681, 308, 9, -739, -416, 139, 492, -771, 1137, 138, 983, 177, 282, -186, -330, 227, 765, -181, -216, -526, 638, 147, -729, 193, 1376, 516, -309, -140, -456, 715, 548, 765, 760, 460, -813, -470, -978, 587, -435, -476, 276, -435, 290, 124, -122, 347, 131, 66, 2095, 377, 1172, -859, -138, 596, -539, 438, 185, -515, 491, -7, -32, 370, 139, -110, 61, -80, 596, 58, 473, 445, 655, -232, -1543, -32, -692, -33, -212, -57, -154, -199, -317, -171, 720, -381, -1057, 663, 553, 309, 1899, -307, 61, 259, -486, 92, -230, -698, 784, 120, 734, -652, 129, 445, -998, -513, 124, 587, 822, -110, -1493, 334, 217, -345, -64, 854, -1136, 434, 33, -791, -112, -134, 2213, -107, 593, 457, 820, 65, 772, -382, -657, -540, 687, -658, 2374, 152, -125, 134, -355, 712, -35, -374, 203, 1012, -177, 229, 719, 340, -149, -397, 305, -425, -499, 118, -170, 203, 56, -48, 502, 462, 1602, -317, -607, 59, 1652, 505, 3, 268, -208, 61, -1149, 262, 563, -626, 883, 46, -421, 711, 1501, 421, -760, -836, -686, 1313, 553, 776, -3, -350, 57, -37, -1024, 45, 698, -385, 200, -101, 341, -212, 792, -181, 348, -460, 304, 38, 44, -920, -458, 401, 325, 408, 253, -281, 2836, 39, -393, 544, -534, -299, -590, 415, -100, 842, 1214, 476, -12, -204, -639, 385, -288, -10, -1204]