# Trace form for 6001.2.a.c, downloaded from the LMFDB on 16 April 2024. [0, 121, 9, 13, 127, 21, 19, -13, 24, 134, -1, 40, 41, 14, 32, 49, 135, -121, 28, 34, 64, 34, -18, 37, 54, 128, 91, 55, -28, 45, 30, 67, 47, 40, -9, 59, 138, -16, 30, 37, 14, 89, 33, 16, 90, 83, -9, 135, 96, 128, 71, -13, 47, 52, 90, 93, 69, -4, 5, 170, 78, -2, 46, -10, 182, 50, 68, 46, -127, 97, 46, 191, 57, -12, 68, 86, 108, 62, -10, 0, 130, 149, 14, 83, 126, -21, 132, 50, -42, 144, 9, 13, 50, 43, 41, 82, 110, -3, 36, 89, 172, 112, -19, 83, 182, -15, 7, 0, 116, -46, 119, 125, -131, 38, 45, 42, 107, 44, 30, 13, 136, 135, 113, 76, 99, 129, 64, 64, 89, -6, -45, 144, -18, -20, 55, 217, -24, 112, -73, 45, 66, 54, -63, 152, 196, 29, 80, 36, -107, 85, 139, 150, 97, -134, 126, 135, 92, 9, -25, 114, 32, 99, -89, -42, 159, 94, 105, 188, 155, 121, 1, 203, -43, 84, -48, -89, 4, 34, 64, 157, 118, 22, 9, 28, 22, 175, -3, -40, 243, 25, -59, 262, -18, -61, 121, 128, 41, 14, -114, 112, 71, 163, 90, 98, -41, 34, 42, 83, 46, 132, -134, 15, 130, 93, -121, 203, 259, -47, 53, 147, 20, -14, 89, 139, 247, 72, -105, 53, 25, 138, -192, 78, -126, 51, -52, -26, 394, 67, -32, 254, -153, 4, 32, 148, -62, 161, 184, 106, -41, -67, -70, 211, -4, 0, 73, -49, 277, 99, 22, -6, -184, 98, -24, 245, -38, 37, -13, 57, 38, 291, 80, 199, -135, 12, -151, 174, 147, -114, -21, 404, 87, 113, -197, -123, 343, 12, 19, 268, -97, 121, 159, 30, -87, 63, -104, -99, 248, 154, -59, 156, -27, 61, -96, 51, 161, 74, -28, 116, -32, 59, -77, 424, -164, 36, 222, 110, -108, 96, 37, 119, 320, 57, -78, -34, 189, 67, 177, 98, -101, -75, -29, 237, -17, -78, -20, 283, 164, -109, 146, 183, -64, 203, -253, -74, 175, -98, -7, 100, 117, 2, -81, -4, -218, 121, 116, 185, 414, -34, 187, 338, -16, 163, -214, -25, 66, 175, -106, 40, -17, 161, 41, 258, 142, 71, 18, 277, 8, 194, -26, -105, -118, -9, 33, 393, -104, -243, 166, -26, 46, 188, -235, -37, 52, -115, 22, 231, -149, -63, 249, 211, -123, 108, -278, -104, 184, 167, 149, 211, -54, 68, -284, 189, -142, -21, -438, -43, 469, -73, -64, 205, 81, 83, 149, 422, -130, -128, 47, 113, -56, -12, -196, 10, 164, 41, -301, -110, -148, 155, -266, 112, 337, -51, -91, 73, -291, -53, 15, 26, -303, 261, 27, 176, -72, -40, 88, 281, -16, 10, 20, -55, -34, 185, -143, 73, -80, -345, 60, 170, -220, -235, -352, 178, -108, 204, 193, 144, 28, 101, 35, 301, -4, -118, -419, 9, 89, 164, -343, -179, 354, 94, -63, 226, -132, -45, 100, 162, 289, -9, -337, -30, 195, -148, -39, 83, -374, -184, -124, 118, 287, 150, -30, 249, -68, -139, -55, 89, -483, -87, 310, 43, -314, 230, 60, -1, 354, 36, -50, -67, -95, -54, 181, 527, -129, 16, -198, 128, -126, -247, -249, 386, -130, -144, 192, 15, -47, 136, -347, -223, 159, -135, -90, 543, 10, 13, -216, 25, 82, -78, 55, 381, 135, -40, 19, 143, -18, 117, 103, -320, -139, 190, -446, -222, -65, 133, -215, 399, 406, -5, 9, 145, -228, 54, -389, -187, -228, -40, 139, 225, -322, -121, 104, 411, -251, 132, 137, -59, 272, -304, -6, 576, -235, -23, 137, -63, 137, -256, -122, -106, -86, 166, 138, 230, -138, -108, -157, 75, 403, -61, -301, 139, 317, 263, -191, 59, 35, 63, 124, 179, -2, 16, -108, 271, 38, 4, -257, 186, 290, -102, -337, 259, -326, 220, -313, 50, 382, -234, -30, 303, -528, 144, 279, -19, -460, -55, 3, -7, 201, -159, -148, 130, 228, 174, -62, -37, 338, -136, -47, 51, 174, -222, -33, 608, -56, -347, -173, 304, 164, 162, 412, 207, -14, -154, -320, -3, 91, -39, -354, -110, -59, 84, -918, 87, 324, -21, 83, 317, -50, -89, 79, 159, -408, 69, -386, -281, 30, -323, 9, -40, -215, 92, 2, 231, 442, -25, -33, 27, 86, -119, 160, 566, -483, -205, -30, 117, -286, -53, 278, 153, 125, 323, 98, -16, -290, -80, 264, 227, -57, -30, -172, 10, 9, -218, -475, 194, -422, 70, 450, 103, -90, 280, -841, 146, 28, -257, -172, 48, -22, 102, -360, 157, 107, 115, -118, 177, 372, -83, -69, -32, -191, 24, -478, 64, -118, 154, 90, 54, 103, -24, -251, 293, 372, -230, 9, 40, -411, 124, -6, -219, -346, -208, 103, 536, -978, -114, 133, -90, 169, 124, -253, -135, 140, -307, -116, 160, -87, -128, 134, 152, -57, -132, -559, 101, -155, -74, 356, 233, -96, -158, -305, 117, -77, 7, -923, -173, 114, 96, -124, 22, 98, 132, 338, 738, 70, -128, -174, -24, 487, 119, -277, 623, -414, 38, -132, -217, -464, 275, -179, -98, 237, -37, -71, 322, -408, -182, -124, -53, -364, -37, -124, 222, -322, 21, -96, 416, 391, -78, -26, 13, -397, -138, -410, 258, -116, -123, 90, 186, -408, -339, -364, 66, -534, 379, 146, 98, -47, 60, -84, 203, -82, -322, -639, 19, 216, 129, -408, -135, 617, -164, -280, 695, -491, -52, -112, 8, -444, 24, -684, -241, 41, -84, -230, 244, -760, 56, -282, 249, 191, -138, -90, 44, -629, -290, 95, 176, -922, -155, 167, 386, -462, 403, 509, -35, 61, 103, -46, -93, -260, -298, 108, 51, -577, -266, -407, -36, 286, -939, -562, 206, -325, 46, 122, 528, -69, -52, -538, -46, 152, -56, -248, 456, -527, 140, -331, -234, -29, -47, -332, 30, 64, 4, -396, 281, 326, 59, -381, -378, -48, -213, -272, -202, -238, -43, -201, 539, 307, -68, -5, -105, -360, 52, -496, 43, -385, -124, -208, 250, -528, -74, 87, 228, -421, 299, -95, -170, 191, -667, -155, 508, -755, -309, -258, -191, -261, -21, -569, 118, -97, 160, -62, 265, -78, -195, -564, -89, 29, 276, -484, -219, 213, 88, -572, 405, 118, -308, 309, 126, -151, 2, -206, 226, -466, 12, -322, -212, 72, -153, 341, -263, -763, 419, -751, -230, 352, -568, -46, 305, -1145, -367, -657, 13, -315, 149, -77, 217, -208, -126, 7, 21, -154, 192, 97, 10, -22, -328, -161, 20, 289, -295, -169, 740, -420, -258, -130, 493, -112, -29, -144, 129, -182, -160, -784, 144, -649, -303, -380, -160, -473, 263, -421, -110, 666, -248, -294, 546, 286, -50, -243, 53, -758, 298, -1007, 7, 257, -451, -260, 1, 79, -64, -392, 268, -2, -115, -68, 115, -159, -104, 306, 136, -888, -290, -6, 100, -675, 127, 231, -119, 387, -46, -115, -46, -922, -245, 103, 259, -774, -459, -186, -108, 73, -666, -1040, 857, -348, -69, 483, 234, 127, 120, -500, -91, -103, -263, -672, -235, -263, -80, -614, -62, -208, -171, -446, -9, 114, -97, -395, 270, -739, -94, -380, -70, -401, 225, -424, -255, -413, -69, -396, 7, -41, 220, -46, 273, -714, -24, -352, -154, 31, -546, -294, 731, -778, -338, 394, -327, -281, 238, -395, -191, -348, -394, -791, 300, -964, -323, 452, 277, 24, -151, -787, 198, -523, 135, -224, 313, -57, -238, -406, -241, 167, -163, -688, 109, -69, 120, -514, 293, 219, 6, 216, 523, -624, 12, -523, -281, 433, 38, -739, -177, -185, 65, -27, 172, -357, 137, -928, -217, 495, -430, -68, 600, -994, -433, -154, -159, -674, -218, 367, 143, -284, 306, 32, 264, -37, 12, -65, -86, -633, -309, -620, 342, 245, -487, -182, 147, -521, -512, -371, 321, -716, 93, -174, 395, -108, -378, -505, 24, -147, -325, -473, -228, -16, 444, -870, -587, 614, -330, -527, 494, -182, -62, -208, -72, -388, -22, -842, -167, -54, -338, -354, 550, -963, 144, -115, 317, 300, -67, 10, 20, -501, -164, -663, 357, -1443, -306, 53, 576, -49, -32, 186, -211, 511, 139, 31, 0, -249, -365, 69, 33, -817, 49, 37, 128, 82, -950, -802, 449, -384, -136, -90, 479, -130, -283, -800, -241, -156, -364, -476, 207, -40, 61, -231, -259, 0, -263, 37, 758, 225, -149, -332, 173, -878, 149, -629, -571, 215, -22, -495, -386, -449, 316, -269, 743, -285, -345, -14, 137, -967, -367, -95, -154, -1175, -477, 2, 116, -867, 12, 470, -86, -969, 306, -480, -83, 127, -308, -265, 433, -524, -16, 187, -52, -36, -294, -1236, -271, 381, -122, -427, 259, -126, -49, -637, 71, 77, 155, -764, -65, 445, 15, -608, 434, 369, -190, 300, 296, -119, 21, -841, -63, -640, -160, -1147, -37, -92, -157, -259, -288, -740, 448, -713, -84, 389, -178, -132, 164, -1162, -477, 271, -230, -414, 9, -141, 51, -589, -406, -55, 394, 47, -53, 74, -50, -135, -204, -543, -90, -150, -700, -90, 363, -27, -412, -546, 278, -709, -259, 269, -78, 42, -184, -817, 82, -316, -194, -856, -492, -191, -109, -542, -443, 647, -189, -186, 1019, -175, -144, -169, -428, -931, -119, -463, -103, 99, -741, -7, -179, -939, 101, -497, -135, -554, -44, -9, -170, 252, -828, -100, 257, -643, -165, 87, 666, -1141, 120, 773, -126, 535, 199, -111, -13, 37, -210, -298, 437, -362, -155, 17, 65, 580, -654, -736, 801, -1132, -137, 76, -11, -50, -151, -630, 46, -13, -345, 3, 326, 247, 174, 28, -510, 158, -55, 566, 122, 396, -43, -436, 72, -443, 70, -397, -396, 261, 203, -685, -15, 175, -46, -408, 296, 217, -125, -41, 567, -772, -180, -181, -192, -448, -300, 73, 434, -834, -77, 638, -183, -551, 202, 78, -82, -11, -633, -565, 296, -378, -266, 423, 85, -63, -573, -522, 103, 165, 409, -529, 744, -110, 76, -396, -427, 728, -3, -644, -23, -44, 200, -347, 13, 1367, -117, 360, 377, 139, 3, -339, -241, -303, 117, -684, 445, -463, -155, 716, -93, -770, 215, -584, -440, 857, 107, -36, -107, -156, -34, -408, 409, -778, -347, 245, 604, 315, 25, 448, 766, 406, 74, 113, -89, 287, -835, -393, 208, -38, -377, 20, -15, 201, -245, 107, 69, -1166, 477, 543, 570, -172, -518, -526, 232, -697, -189, -34, -423, 690, 398, -364, 16, 307, -215, -91, 415, -280, -112, 131, 446, -598, 230, -463, -398, 196, -454, 281, 587, 118, 12, -1182, 681, 137, -218, 19, 161, -572, -189, 411, 360, -820, -284, 141, 817, -359, -365, 792, -272, 1069, 86, 338, -83, 171, -293, -149, -267, -643, -718, 420, 166, 244, -1095, -1040, 335, -1875, 21, 570, 105, -182, 414, -367, -55, -94, 60, -163, 306, 10, 512, -157, 75, 248, -11, 198, 251, 353, 15, -27, 55, 442, 652, 130, -52, -156, -388, 830, 97, 153, 161, -407, 475, 374, -85, -7, -186, 367, 82, 132, -512, 1, 148, 570, 354, -610, 42, 593, -335, -141, 152, 406, 0, 92, -602, -74, 859, -636, -511, 701, -56, 207, -55, 241, 522, -304, 178, 311, 143, -116, -133, -203, 347, 179, 334, -925, -549, 936, 231, 41, 43, 584, 65, -4, 459, 483, 46, 191, -482, -26, 49, 483, -196, -48, 259, 157, 113, -379, 409, -600, -61, 410, -47, -119, 676, -1025, -178, 313, 30, -86, -137, 1140, 780, -591, -198, 45, -78, 700, 139, 337, -125, -290, 191, 182, 106, 120, -259, 467, 860, 244, -151, -189, 250, -86, 319, -17, 538, 131, -235, -321, 100, 810, -99, -626, 48, 13, 257, 26, -374, 928, -228, 114, 686, 746, -38, 126, 5, -517, 302, -400, -629, 17, -65, 424, 92, -247, 160, -57, 880, 267, -81, -45, 63, -141, -106, 216, 295, -78, 335, 165, 424, -248, -90, 350, 111, 1081, -299, 462, -42, 484, -132, 356, 140, -893, -340, 403, -6, 591, -643, -363, 422, -540, 123, 752, 210, -107, -81, -699, -221, 236, -213, -181, -143, 453, 653, -587, -293, 1363, -391, 782, 39, 619, -44, -133, 611, -714, 373, -234, -1204, 263, 111, 1296, -189, -335, -48, -146, 155, 257, -21, -30, 414, -634, 52, 588, 25, -294, -457, 624, 466, -688, -388, 734, -662, -489, 461, 133, -13, 88, -227, -44, 143, 1059, 66, 287, 57, 726, 98, -524, 32, -172, 24, -53, 1255, -136, -192, -341, 86, 408, -7, -298, 192, 643, 423, 67, 376, 310, -379, 718, 333, 366, -135, 1126, -181, 166, 834, -285, -341, -376, -215, 47, -224, -243, 362, -1085, 98, 688, 25, -113, -49, -480, -433, 408, -65, -473, -276, 595, 497, 261, -89, 133, 140, 1201, 18, 814, -76, -238, -293, 192, 318, 1023, -820, 34, 339, 489, 88, -718, 429, -347, 262, 24, -17, -99, -160, -345, 551, -273, -95, -232, -699, 0, 160, 19, 289, 1389, -331, -140, 136, 1870, -129, 58, 286, 234, -125, 245, 27, 429, -73, 210, 49, -728, 83, 116, 606, 152, -3, -64, 233, -476, -146, 943, 77, -330, 62, 536, 589, -666, -40, 1179, -436, 523, 178, 1281, -64, -358, -273, 257, 325, -463, -153, 1193, 14, 694, -358, -474, 573, -33, 181, 311, 304, -89, -303, -190, -27, 146, 74, -56, 582, 912, 222, 312, 16, -9, -41, 280, 423, 338, 6, 680, 18, -251, 493, -575, -620, 1279, 130, -123, -78, 412, 561, -718, 168, 1174, 84, 45, -364, -586, -250, 258, -86, -348, -276, 536, 685, -697, -255, 314, 133, 352, 224, 893, -144, 185, -690, -665, 1324, -159, -891, -30, -453, 1053, -354, 149, -159, -595, 40, 144, 844, 18, 21, -701, 261, 741, 219, -555, -313, 380, 585, 436, -34, 981, -228, 811, 244, 881, 20, 196, 118, 913, 240, -338, -159, 749, -14, 972, 270, -263, 556, -828, 103, 595, -206, -55, 529, -1491, -191, -721, 299, -261, 164, 1140, 576, -315, -340, 452, -240, 702, 356, 1035, -217, -642, -73, 1292, 37, 318, -1064, 266, 538, 603, -360, 49, -306, 182, 890, 369, 653, 24, 197, -244, 354, 343, -233, -90, -122, 306, 380, -323, -421, 836, 75, -132, 723, 298, -112, -16, -110, -602, 393, 212, -172, -51, -161, 567, 422, 334, 154, 128, 0, 737, -353, 73, 222, 88, 108, 1067, 1145, -1458, -613, 190, 731, -489, -100, 330, 469, 366, -17, 813, -45, 1377, -383, -1, -245, -199, 105, 1315, 199, -276, -145, -471, 165, -313, -124, -296, 138, -66, 308, -395, -50, 475, 665, 43, -292, 392, 484, -8, -591, 79, 2, 1344, -135, 940, -54, 453, 896, 219, 93, -296, -265, 628, -547, 147, -420, -621, 407, -881, 660, 82, -193, 63, 147, -486, -419, 887, 154, -675, 63, 227, 653, -550, 256, 730, -637, -47, 426, -20, -152, 171, -402, 285, 218, 1, -619, 1048, 280, 640, -42, -570, 275, -231, -228, -180, 490, -196, 29, 18, -231, 479, 219, 444, -376, -37, 275, 198, -308, 714, -26, 111, 250, 1173, -29, -432, -3, -411, 461, -1066, -13, 647, 72, 700, -92, -138, 481, -569, 484, 794, -43, -80, 392, -575, 51, 124, 353, 315, -15, 128, 946, -50, -214, 418, 847, 787, -58, 353, -36, 24, -101, 267, 237, 171, -1195, 776, -18, 656, 87, -680, 1236, -912, 182, 543, 236, 107, -315, -426, 1084, 477, -386, -873, -112, 1713, 779, -159, -531, 350, -192, -232, 414, -48, -85, 653, -216, -1043, 407, 366, -204, 751, -1035, -140, 321, 669, 374, -220, -118, 60, -123, -139, 363, -2099, -322, 275, 519, -286, -259, 578, 571, -13, 90, -284, -282, 1328, 713, 290, -150, 772, 292, -8, 15, -248, -666, 212, -346, 715, -654, -565, 1192, -650, -350, -159, 260, -97, -165, -666, -664, -100, 317, -247, 235, -281, 589, 513, -248, 1524, -180, 658, 257, 886, 134, -62, -370, 213, 452, 171, -517, 386, -501, 555, 226, -469, -96, 244, 897, -398, 260, -126, 198, -535, -514, 3, 260, -201, -268, 616, 340, 517, 76, 664, 582, -246, 88, 1272, -135, 225, -689, -411, 668, -456, -381, 526, -206, 366, 199, 255, -298, 333, 789, 1135, 768, -92, -245, -690, -219, 874, -72, 60, 123, 493, 565, 29, 779, 958, -370, 371, -1, 804, -9, 774, 90, 350, 187, -431, -842, 357, 197, 898, 238, -1201, 391, -1252, -493, 1307, -476, 25, 594, -763, -581, -628, 299, -842, 42, 1157, 1286, -383, -261, 760, 127, 1212, -169, -234, -114, 692, -391, -393, -366, -8, -532, 298, 625, 1128, -233, -388, -234, -574, 390, 421, 680, -32, -913, 25, 85, -28, -836, -583, -396, 157, 593, -779, -293, 256, 259, 708, 1103, 155, -99, 642, -51, 1150, 469, -669, 74, -323, -373, 485, 335, 137, 389, -650, 721, -410, -87, 89, 1, -887, -416, 1698, 403, -916, 290, 251, 919, 654, -475, 659, 213, 1147, -136, 36, 42, 243, -8, 425, 86, 167, -208, 1039, -161, 727, -824, -517, -2, -208, -374, 398, 421, -159, 591, 155, -209, -248, 24, 150, -493, 1512, 107, -339, 884, 57, -36, 1048, 741, -206, -94, -827, -54, -829, 21, 393, -1213, -155, 47, 779, -255, -168, 444, -82, 993, -709, -152, -105, -184, 24, -256, 780, -433, -8, 11, 1904, 1107, -572, -188, 735, -717, 45, -77, 1335, -188, -322, -217, -618, -114, 1053, -126, 305, -33, 2283, -239, -720, -122, -297, 412, 894, 992, -155, -413, -603, 321, 551, 531, -1343, -25, 736, 932, 475, -36, 658, 273, 220, 314, 1101, -121, -182, -116, 717, -205, 75, -59, 225, -121, 584, -186, -636, 241, -597, 74, -54, -66, -1, 575, -533, -349, 291, 161, -704, 292, 1946, 201, -70, -96, 474, 537, 865, -684, 989, -203, 478, -389, -148, 696, -741, -1155, 503, -421, 910, -481, 88, 454, 203, 335, 842, 185, 43, 86, -1483, 320, -620, 454, -889, -952, 758, 668, -248, -603, 625, -208, 729, 30, -121, -84, -345, 243, -198, 279, -231, -717, 1135, 352, 650, 632, -903, 202, 233, 314, -49, -123, 48, 907, -456, -1105, -30, 401, 255, -220, 272, 1188, 310, -268, 596, 646, 498, -127, 572, 89, 325, -433, -14, 490, -23, -454, 824, 122, 1256, -689, -544, -347, -805, 132, 456, 953, -4, 41, -912, -210, -100, -114, 416, 866, 1023]