# Trace form for 6007.2.a.c, downloaded from the LMFDB on 06 May 2024.
[0, 261, 26, 25, 274, 66, 25, 37, 72, 310, 35, 32, 51, 60, 55, 16, 288, 270, 45, 34, 157, 27, 38, 116, 48, 335, 46, 73, 70, 99, 33, 33, 150, 172, 24, 114, 339, 36, 112, 30, 106, 209, 64, 64, 65, 153, 0, 135, 87, 332, 82, 52, 102, 163, 52, 56, 134, 181, 1, 89, -43, 112, 228, 130, 268, 248, 5, 42, 453, 51, -22, 98, 113, 206, 81, 29, 62, 185, -25, 29, 258, 393, 79, 265, -25, 84, 36, 131, 24, 195, 89, -18, 261, 52, 3, 104, 92, 213, 156, 47, 329, 239, 66, 102, 112, 139, 16, 188, 126, 68, 68, 75, 119, 438, -22, 34, 184, 191, 114, 63, 45, 373, 177, 30, 5, 363, 69, 19, 305, 276, 16, 228, 212, 104, 72, 1, 18, 259, 76, 72, 257, -4, 30, 317, 271, 138, 84, 31, 21, 186, 29, -1, 309, 752, -142, 72, -30, 123, 128, 68, 161, 215, 61, 11, 281, 113, -13, 170, 116, 331, 79, 33, 69, 580, -49, 19, 107, 191, 37, 54, 286, 91, 207, 77, -2, 358, -31, 89, 285, 82, -63, 97, 51, 192, 289, -18, 307, 342, -28, 47, 183, 178, -58, 59, 22, 39, 12, 156, 112, 550, -156, -21, 309, 149, -99, 199, 0, 191, 144, -18, -9, 102, 84, 37, 263, 502, -34, 333, 184, -3, 206, -52, -58, 724, -62, 32, 124, 290, -3, 124, -245, 145, 137, 94, 43, 329, -153, -68, 519, 209, 57, 220, 221, 118, -21, -59, 204, 663, -40, -6, 279, 46, -2, 345, -86, 124, 8, 55, -14, 238, -92, -65, 716, 290, -107, 82, -61, 232, 199, -15, -253, 326, -72, 199, 64, 116, -159, 62, -6, 435, -11, -153, 201, 322, -173, -25, 204, 515, -45, 167, -161, -77, 2, 41, -33, 425, -65, 65, 186, 26, -100, 161, -158, 461, 122, 29, -163, 168, 111, -42, 432, 164, -166, 59, 160, 112, 31, -9, 121, 597, -269, -154, 635, 39, 48, 138, -289, 320, 41, -123, -41, 269, 10, 38, -85, 35, -169, 246, 239, 57, 185, -62, -176, 729, -106, -71, 161, 50, -63, 83, 81, 339, 253, 24, -199, 349, -288, 85, 465, 431, -191, 58, -8, 82, 87, -184, -131, 859, -24, -57, -15, 17, -113, 174, -154, 61, -13, 142, 141, 209, -236, 46, 342, 282, -147, 160, -169, 189, 250, -127, 135, 410, 185, 7, 397, 208, -202, 142, 36, 146, 30, -109, 62, 507, -241, -81, 102, 298, -82, 210, -149, -99, 117, 215, -61, 1134, -86, -88, 331, -47, -181, 86, 21, 270, -140, -74, -81, 549, -129, 110, 37, 436, -182, 280, -105, -26, 36, 192, -1, 248, -138, -9, 553, 178, -88, -40, -300, 301, 323, 22, -81, 234, -93, -93, 99, 438, -293, 432, 83, -27, -27, -38, -65, 632, -189, -17, 129, 311, -226, 212, -115, 216, 432, -6, 98, 139, -85, -95, 410, 108, -143, 84, -241, 102, 46, 14, -215, 908, -127, -99, 456, -58, -139, 591, -191, 68, -283, 4, -220, 112, -430, -136, 342, 653, -238, 11, 179, 132, -22, -106, -443, 544, -90, 155, 464, -63, -326, 72, 89, 283, 199, 58, -194, 240, -346, -105, 34, 649, -51, -5, -662, -59, 294, -99, -161, 689, -417, 8, 171, 194, -441, 97, 21, 27, -244, -87, -185, 395, 380, -184, 379, 1, -246, 460, -354, 44, 8, 127, -85, 505, -521, -53, 546, 205, -345, 159, -168, 212, 82, 9, -296, 100, -232, -103, 38, 387, -291, 215, -397, -137, -55, -289, -370, 907, -330, -142, 168, -27, -177, 72, -253, 220, 145, -109, -420, 534, -275, 24, 465, -10, -492, -91, 880, -69, 9, 89, -755, 829, -146, -42, -76, -164, -309, 354, -618, 385, -105, -112, 10, 277, -569, -143, -8, 742, -115, 90, -203, -5, 63, -158, -90, 276, -256, 5, 48, -264, -297, 291, -174, 65, -116, -104, -349, 312, -339, -201, 153, 746, -238, 61, -379, -16, 85, 41, -206, 371, -489, -120, 323, -183, -482, 36, -179, 153, -137, -297, -142, 658, -146, -251, -223, 237, -544, 230, -383, -60, -126, -137, -120, 957, -569, -155, 982, -113, -266, -19, -501, 187, 79, -157, -554, 216, -684, -8, -322, 106, -396, 200, -145, -36, 98, -85, -86, 553, -545, -271, -287, 89, -369, 94, -129, 4, 18, -77, -197, 191, -474, 6, 317, 457, -641, 32, -139, 136, -54, -429, -446, 827, -57, -283, 156, -233, -540, 206, -469, 249, -21, 340, -314, -120, -709, -167, 206, 227, -178, 492, -679, 5, 300, -253, -732, 703, -462, -167, -91, 19, -385, 36, -188, 274, -438, -238, -247, 344, -374, -282, 365, 547, -575, 51, -732, -165, -145, 160, -250, 226, -681, -153, 644, -23, -512, -61, -653, 11, -60, -564, -432, 664, -370, -194, 40, 167, -348, 440, -426, -44, -426, -131, -407, 632, -58, -163, -320, -56, -407, 151, -398, 104, 333, -453, -588, 289, -80, -244, -70, 230, -612, 163, -66, -135, -322, -443, -259, 1382, -627, -319, 568, -279, -206, 114, -895, 178, 48, 261, -517, 533, -309, -286, 340, -139, -525, -208, -157, 126, -119, -276, -708, 1545, -586, -179, -2, -257, -305, 50, -370, 83, -95, -95, -88, -18, -912, -64, 178, 607, -410, 152, -380, -32, 36, -247, -566, 938, -254, -142, -249, -447, -513, 546, -431, -230, -232, -361, -461, 567, -348, -297, -5, 156, -244, 60, -241, 168, -77, -206, -412, 235, -238, 2, 668, 123, -709, -239, -453, 426, -395, -411, -531, 371, -256, -106, 283, 17, -212, 369, -953, -224, -549, -78, -618, 355, -610, -413, 892, -263, -217, 129, -833, 602, -111, -364, -636, 173, -197, -237, -80, -36, -598, 142, 199, -389, -144, -334, -399, 812, -723, -376, -172, 193, -150, 8, -1276, 200, -101, 23, -139, 162, -733, -60, -102, 97, -399, 179, -249, -257, -270, -173, -330, 696, -418, -261, 260, -343, -472, 214, -801, 164, -230, -317, -523, 155, -1071, -244, 911, 719, -461, -171, -456, 337, 98, -104, -322, 93, -660, -282, -60, -440, -348, 261, 61, -139, -368, -207, -472, 778, -462, -472, -489, 633, -249, -93, -905, -226, -206, -508, -240, 704, -926, -139, 617, -441, -511, 326, -401, 160, -204, -385, -779, 310, -561, -279, -200, 311, -157, 212, -725, -194, -282, -249, -221, 897, -1014, -85, 203, 132, -374, 117, -1147, 101, -138, -367, -520, -2, -468, -60, -761, -316, -627, 432, -571, -32, -153, -419, -512, 944, -355, -231, -222, 62, -602, -256, -1149, 35, -99, -325, -368, 263, -817, -339, 1005, 374, -621, 184, -555, -145, -597, -294, -645, 906, -533, -243, -368, -483, -137, -25, -904, 43, -551, -388, -184, 86, -879, -236, 351, -143, -522, -164, -1009, 134, 366, -198, -1039, 349, -874, -267, 104, 217, -426, 524, -771, -132, -250, -683, 71, 357, -1101, -357, -488, 49, -478, -160, -618, -210, -317, -218, -622, 411, -663, -218, -435, -369, -695, -12, -764, 427, -201, -784, 108, 447, -743, -469, -728, 559, -460, 34, -1071, 103, -660, -282, -187, 293, -893, -330, 245, -207, -722, 39, -1299, -62, -234, -104, -780, -72, -669, -396, -250, -119, -527, 579, -28, -242, -821, -634, -609, 1510, -895, -107, -111, -23, -670, -292, -1449, -8, 170, -349, -895, -101, -796, -308, -132, -239, -695, -167, -577, 6, -410, -869, -643, 1712, -737, -387, -129, -301, -612, 710, -752, 130, -396, -138, -192, 208, -1027, -199, -298, -169, -651, -265, -871, -180, 527, -326, -887, 505, -198, -540, 27, -416, -989, 103, -1259, -91, -151, -349, 173, 361, -1141, -548, -173, -170, -280, -43, -984, -296, -78, -312, -739, 604, -1010, -395, -458, -422, -727, -110, -468, 381, -753, -638, -1112, 703, -343, -277, 226, -257, -447, 340, -1003, -399, -153, 153, -1275, 357, -1318, -297, -476, 6, -796, -224, -894, 320, 42, -525, -420, 278, -834, -295, -394, -121, -718, 198, -772, -497, -491, -563, -225, 546, -1056, -498, 283, -437, -560, 28, -1296, -95, 295, -508, -852, 55, -1302, -252, 743, -358, -894, -204, -963, -243, -497, -433, -726, 1317, -448, -575, -228, -389, -675, 96, -1733, -420, -638, -177, -169, 444, -1421, -653, -278, 292, -774, 178, -1081, -107, -307, -823, -866, 510, -675, -204, -287, -1009, -687, -119, -682, 65, -899, -81, -397, -56, -838, -464, -684, 1385, -872, -56, -1427, -385, 212, -403, -701, 987, -1871, -349, 10, -624, -772, 129, -302, -58, -511, -929, -406, -1, -922, -338, -425, -292, -815, 72, -1814, -154, -655, -638, -911, -174, -1171, -165, 779, -79, -793, -217, -1167, 352, -188, -569, -1425, 21, -644, -329, -469, -107, -577, 348, -1369, -281, -973, -358, -834, 1596, -963, -704, -447, -108, -887, -198, -785, 14, -413, -681, -662, 226, -1294, 78, 546, -274, -1086, 24, -781, -336, -477, -364, -1262, 575, -1018, -363, 77, -773, -837, 19, -1640, -207, -131, -250, -502, -45, -1592, -320, -59, 625, -754, -197, -445, -484, -282, -495, -1206, 356, -938, -405, -679, -460, -778, 241, -908, -241, -546, -471, -523, 467, -1082, -699, -675, 126, -667, -123, -1759, -421, -2, -63, -837, 296, -1068, -228, 806, -564, -650, -182, -754, 264, -635, -261, -694, 1252, -358, -725, -670, 72, -157, -95, -684, 93, -728, -452, -725, 864, -676, -195, -64, 148, -630, 235, -874, 433, 367, -612, -589, -92, -910, -205, -467, -131, -124, 243, -532, -497, 207, -479, -110, 1204, -906, -360, -363, 964, -230, 434, -904, -276, -110, -189, -230, -39, -429, -249, 358, 189, -801, 299, -238, -111, -346, -380, -242, 578, -81, -643, 195, -328, -372, 594, -732, 303, 25, -7, -103, 34, -692, -477, 402, 473, -174, 96, -542, -161, -196, -580, -314, 1467, -423, -218, 223, -578, -394, 160, 942, 43, -640, -186, -106, 1012, -1046, -526, 609, 242, -62, -147, -179, 43, 381, 102, -787, 771, -200, -146, 239, -116, 199, -46, -224, -230, -410, -517, 157, 482, -118, -285, -621, 48, -444, 434, -578, -269, -375, -113, 80, 225, -521, -295, 764, -85, -620, -163, -692, 492, 237, -252, 264, 172, -479, -315, -408, 260, 127, 112, 101, -24, -429, 98, -49, 1703, 10, -289, 415, -93, 439, 298, -1563, 288, -65, -90, -488, 113, 133, -249, 285, -136, -92, 143, 127, 346, -53, -822, 273, 851, -213, -181, 1457, -126, 137, -110, -526, -431, -71, 297, -308, -43, 26, -412, 380, 1406, -418, 353, 587, 194, 250, -444, -60, 679, -37, -371, -624, -96, 29, 598, -335, -96, 195, -346, 51, 691, 3, -206, 67, 326, -186, 8, -337, 300, -27, -273, -494, 1350, 574, -205, 1211, -489, -352, 327, -544, 335, -10, -2, 480, 594, 168, -360, -472, 124, 273, 572, 114, 133, -337, 161, -530, 704, 284, -374, 403, 388, -82, -316, -85, 262, 646, -554, -270, 247, -254, 60, -171, -259, -405, 173, 535, -342, 722, 256, 559, 1375, -1019, -144, -52, -257, -282, 331, 510, 287, 360, -62, -560, 481, 519, -271, 1117, 192, -438, 44, 441, -316, -196, -787, -244, 929, 78, -164, -553, 65, -99, 560, -685, 553, 303, -254, 643, 45, -33, -416, 896, 1458, -601, -362, 477, 283, -311, 47, 47, 245, 181, -444, 228, -514, 1104, 911, 198, -151, -156, -149, -229, 631, -896, -479, 676, 121, 634, -213, 1167, 39, 2, 237, -571, 1492, -151, -190, 1160, -274, -74, -107, 135, 530, -40, -261, -302, 620, -36, -438, -2, 1336, -45, 401, -175, -64, 147, -654, -193, 988, -290, 219, 364, -121, 196, 156, -292, 313, 906, -380, 340, 148, 1005, -512, -500, 526, 62, 925, 1196, -29, -71, -276, -407, 696, -969, -521, 971, 267, 451, -291, 459, 236, -285, -9, -142, -29, -209, -234, 978, -154, 772, 693, -294, -87, -431, -42, 147, 1249, 1054, -860, -193, -103, 270, 499, 6, 133, 245, 108, -294, 933, -284, -13, 858, 895, 248, -364, -316, -300, 899, -171, 855, 440, 180, -221, -499, 304, 116, 365, 741, -257, -228, -481, 1204, 881, -377, -631, 92, 1037, -29, 403, -544, 23, 417, -324, -451, 782, 562, 54, 1380, -112, 547, 48, -709, 1044, -307, -357, 740, 542, 887, -273, 1318, 696, 74, 301, -597, -51, 37, -119, 535, 555, 333, 102, 1405, -121, -312, 186, 963, -1, -247, -443, -450, 290, 598, -100, -354, 518, 1631, 0, 607, -144, -243, -38, -709, 1612, 184, -104, -328, 513, 428, -301, 180, -38, 620, 594, -39, 503, 463, -59, 270, 105, 145, -94, 507, 546, -435, -366, 415, 1990, 511, -381, 311, -309, 399, 477, -424, -356, 291, -352, 401, -41, 640, -88, -254, 440, -342, 575, -3, 256, 661, -449, 402, 1081, -570, -326, 783, 155, 457, 414, -236, 321, 285, 203, 208, 255, -200, -297, 821, 1580, 573, -160, -822, -66, 254, 223, -715, 1153, -267, 213, 486, -495, 1, -155, 726, 480, 58, 22, 880, 559, 397, -383, 334, 74, 372, 291, -455, 458, 246, -550, 493, 808, -240, -207, 149, 1484, -111, -175, 638, -34, 491, -773, -102, 386, -581, -247, -572, 394, -174, 911, 1211, -600, 338, 180, 720, 1687, 847, -121, -188, -130, 157, 229, -1221, 525, -221, -36, 240, 170, 65, -303, 692, 509, 915, 380, -150, 305, -437, -346, -682, 1339, 1463, -653, 1162, -88, 39, 785, -1357, -138, -35, -407, 838, -198, -3, -260, 111, 721, -2, -118, 1090, -54, 470, -309, -585, 317, -489, -156, -418, -32, 1640, 378, 714, 186, 516, -474, -483, 927, -1048, -134, -302, 1148, -95, -4, 1104, -152, 126, -798, 316, 779, 763, 55, 305, -100, -30, 139, 826, 390, 313, -315, -349, 654, 372, -219, 499, 506, 821, 244, -784, -352, 1128, 308, -247, 282, 126, -110, 835, 204, -394, -377, -474, 706, 614, 26, 763, 192, 28, -400, -271, 85, 887, 300, 1601, -178, -495, 167, -228, 1949, -122, -584, 1959, -108, -266, -439, -89, 15, 144, 191, -8, 1107, 509, -76, 1411, -38, 433, -32, 589, -35, -288, -607, 590, 1139, 1157, -628, -74, 459, 146, 231, -307, 433, 208, -362, 1466, -9, 1500, -269, 496, 1214, -181, 392, 468, 42, 196, -516, 195, 319, -87, 609, -229, 96, -221, 498, 275, 152, 69, 65, 256, 687, 444, -570, 486, 825, 131, -119, 658, 291, 64, 429, -600, 628, 1282, -461, 465, -281, 1447, 251, -1066, 959, -517, -614, -180, 1616, 432, -735, 271, 191, 436, 238, 438, -302, 486, 755, -437, 647, -309, -165, 1348, 431, 11, -41, 405, 90, 1739, -431, 792, 264, 169, -248, 170, 973, 1048, 219, 268, -299, 80, -364, 65, 1320, -1150, -244, 335, -40, -117, -56, 194, 945, 93, 61, 574, 128, 1197, -480, 1205, 159, -93, 301, -362, 411, 626, -503, 195, 1063, 1263, -490, 1038, 54, 473, 4, -19, 78, -226, 396, -297, 133, 1872, 88, 466, 704, 54, -117, 1271, 382, 770, -828, -88, 1448, 61, -427, -31, 23, 30, -263, 2104, -53, 711, 183, 8, 1343, -16, 84, 252, 347, 2924, -84, 750, 121, 350, -16, -1075, 351, 1417, 70, 1158, -213, -625, 708, 554, 402, 465, -680, 979, 1108, -157, -741, -119, 612, -202, 493, -814, 512, 250, -341, -381, 57, 1352, -170, 1170, 1301, 265, 198, 1181, 146, 30, -630, 1063, -354, 1264, -99, 355, 925, 187, -2, -109, -225, -54, -221, 93, 1320, 424, -290, 337, -660, 913, 134, -540, 668, 9, -670, -903, 1288, 396, -479, 792, 706, 635, -396, 2114, 307, -551, -846, 165, 1449, 65, -140, 123, -394, -169, 187, -150, 320, 1824, 932, 998, 157, -398, -238, 112, 636, -564, 153, 522, -121, 710, -512, 198, 825, 1184, -352, -660, 198, 1214, 148, 115, -717, 1415, -5, -151, 1058, 638, -180, 534, 405, -224, -652, -43, 178, 117, 175, 399, 386, 104, -258, 1051, -359, -262, 306, -600, 1100, 125, -499, 760, 1003, 1701, -743, -380, 1186, 52, 219, -56, 14, 705, -387, -682, 1508, 567, -345, 553, 80, -368, -42, 1770, 509, 25, -564, 1628, 114, -480, -113, 120, 73, 266, 157, 1061, -139, 207, -124, -134, 1136, 342, -522, -127, 237, 270, -303, 1771, -305, 1059, -595, -339, 694, 1163, -361, 860, 321, 491, -242, -307, 81, -552, -919, 1205, 1022, 1313, -613, 277, 647, -57, 533, -907, 269, 192, -209, -38, 371, -400, -254, 779, 1404, 510, 368, 1958, -62, 104, -9, -1070, 718, 690, -226, -120, -348, 1164, 198, 511, 0, 111, -229, -37, 582, -571, -953, 348, 2, -301, -550, 1102, 364, 480, -219, -968, 1787, 555, -282, 1919, -815, 2148, 179, -440, 584, 185, -431, 594, 400, 374, -367, -551, 152, -312, 319, 1225, -337, 715, -98, 566, 674, 1822, -238, 245, 604, -218, 150, 946, 705, 741, -397, -438, 119, 594, -833, -134, 712, -118, 966, -90, -326, 488, -811, 989, 1215, -264, -806, 1376, 92, 372, -176, 469, 233, 154, 478, -445, -256, 1837, -323, 1783, -105, 155, -107, -380, 98, 170, 102, 414, 1517, 1075, -530, -138, 262, 692, 327, -980, 302, 154, -431, 540, 181, -823, 657, 707, 627, -235, -274, 847, -452, 976, -898, -442, 674, -338, -760, 681, 417, 140, -165, 1224, 114, 392, -861, 391, 633, 897, -170, -727, 1518, 1462, -253, 13, 11, 52, -49, -1405, 625, 2369, -21, 574, 140, -549, 40, -578, 889, 61, -435, 1853, 594, 852, -814, 665, -125, -810, 281, -511, -193, -251, 148, 170, 88, 595, -442, 209, -349, 942, -114, 517, 164, 129, -300, -128, 714, 225, 22, -487, -97, 783, 154, 837, -298, 699, 2, 38, 2371, 722, -481, 898, 24, -17, -268, 1115, -214, 25, -434, -5, 365, 1313, -455, -18, 123, 1211, -78, -181, -58, -455, -693, 603, 1966, 261, -687, 431, 146, -578, 888, -1294, -385, 442, -688, 855, -179, 908, -215, 500, 434, -183, -978, 91, 600, 502, -991, -556, 870, -95, -608, 542, -265, 2178, -271, 541, 31, -791, 919, 100, 595, 949, -306, 267, -368, 309, 50, -1395, 411, -246, -409, -620, 703, 1657, -664, 2031, -447, 566, -185, 1151, 426, -393, -102, -153, 630, 1731, -716, 86, 1376, 736, 173, -1029, 235, 996, -175, 153, 651, -262, -177, -178, 287, -489, 85, -137, 160, 1450, -1261, 2556, 955, -403, 333, -187, -521, 562, 960, 1971, -151, 592, 131, -994, 443, 411, -645, 429, 76, 675, -40, -1112]