# Trace form for 4027.2.a.c, downloaded from the LMFDB on 16 April 2024.
[0, 174, 21, 17, 187, 72, 21, 24, 54, 197, 20, 35, 23, 91, 18, 16, 201, 148, 39, 36, 128, 57, 17, 96, 24, 226, 44, 62, 32, 122, 25, 23, 104, 91, 6, 80, 222, 71, 125, 16, 53, 97, 14, 38, 70, 185, -23, 110, 36, 210, 51, 33, 118, 214, 8, 37, 41, 76, 2, 66, -12, 114, 175, 62, 190, 128, 12, -6, 348, 115, -38, 54, 101, 107, 71, -1, 31, 368, -14, -14, 205, 222, 26, 246, 41, 87, 33, 100, -6, 147, 50, -23, 189, 117, 23, 42, 38, 52, 148, 38, 189, 291, 27, 87, 90, 66, -19, 152, 45, 69, 73, -43, -27, 161, -77, 4, 165, 393, 37, 47, 86, 233, 116, 7, -28, 348, -38, 80, 201, 18, -45, 148, 137, 51, 24, -45, 20, 181, 33, 1, 144, -16, 11, 178, 126, 21, 53, -49, -14, 242, 49, 7, 335, 285, -55, 27, -74, 201, 74, -11, 90, 106, 6, -20, 129, 79, -55, 236, 29, 205, 22, 63, 34, 476, -124, -33, 27, -34, 66, 45, 159, 96, 104, 94, -108, 224, -124, 18, 193, 88, -60, 42, -62, 25, 78, -17, 147, 379, -102, 65, 21, -19, -67, 82, -151, 51, 16, 95, 106, 94, -137, -2, 294, 213, -74, 108, -95, 69, 72, -116, -5, 201, 7, 10, -14, 303, -99, 229, 56, 91, 156, -123, -55, 249, -52, -77, 25, 483, -7, 59, -213, 45, 21, 43, 84, 351, -149, -57, 431, 12, 1, 166, -23, 90, -24, -62, 87, 322, -83, -6, 220, 199, -80, 187, -80, 33, -57, -69, -150, 325, -77, 25, 627, -15, -35, 103, 96, 216, 62, -87, -271, 126, -28, 66, -132, 272, -129, 110, -8, 152, 123, -47, 104, 682, -211, -91, 32, 212, -112, 73, -182, 43, 101, -56, -53, 177, -173, -76, 546, 44, -88, 53, -165, 171, 83, 0, -116, 267, 1, -79, 251, 12, -68, 21, 22, 275, -34, 243, -51, 121, -300, -36, 558, 320, -83, 43, -249, 26, 47, -2, -17, 488, 181, -36, -67, -126, -93, 183, 150, 39, -61, -148, -177, 360, -290, -107, 127, 79, -83, 110, -103, 176, 168, -62, -208, 624, -270, 90, 307, 22, -195, -56, 34, 203, -116, -89, -84, 281, 7, -154, -56, 87, -167, 156, -162, 44, -85, 111, -86, 307, -194, 4, 181, 75, -183, 176, -175, 140, 163, -193, -149, 66, 64, -116, 267, 330, -218, 73, -200, 9, -186, -106, -35, 715, -303, -38, -46, 55, -201, 97, -329, -42, -80, 146, -216, 520, -208, -96, 170, 43, -247, 69, -210, 76, -162, -124, -104, 602, -120, -30, -54, 214, -131, 97, -94, -61, 139, 25, -300, -25, -278, -86, 133, 403, -234, -69, -244, 32, 246, -132, -289, 521, -380, -82, 59, -136, -295, 266, 301, 21, -265, -143, -161, 198, -181, -111, -254, 366, -361, 38, -104, -41, 150, -175, -28, 227, -381, -73, 335, -202, -422, 126, -177, 333, 4, -144, -264, 290, -276, -142, 306, -29, -88, 265, -633, -32, -166, -169, -203, 326, -320, -133, 81, 17, -266, -134, -224, 291, -268, -175, -522, 69, -158, 80, 138, 92, -251, 153, -16, 134, -58, -46, -380, 486, -400, -86, -41, 56, -164, -22, -572, -58, 182, -131, -309, 249, -295, -166, 103, 248, -377, -33, 6, 31, -200, -181, -166, 807, 168, -177, 46, -303, -269, 373, -548, 53, -126, -157, -130, 236, -523, -56, 242, 387, -190, 14, -130, -15, -154, -29, -288, 140, -136, -72, -92, 9, -261, 281, -567, -142, -115, -287, -191, 355, -357, -165, 124, 44, -200, -139, -179, -104, -294, -297, -191, 524, -394, 49, 508, -260, -330, -42, 536, 314, -1, -96, -528, 6, -312, -67, -288, 40, -152, 203, -617, 130, -14, -280, 82, 476, -977, -236, -4, 123, -414, -9, -440, 326, -289, -195, -327, -103, -193, -86, -79, 0, -110, 231, -306, -98, -195, -70, -546, 356, -383, -147, -41, 205, -264, -61, -675, 21, 18, -120, -211, -69, -489, -233, 241, -200, -268, -104, -468, -33, -129, -503, -249, 942, -84, -263, -431, -170, -151, 25, -639, 91, -436, -165, -216, 458, -687, -110, 518, 619, -271, 57, -669, -37, 68, -230, -526, 559, -486, -130, -305, -142, -199, -63, -410, -61, -332, -330, 29, 129, -435, -397, -71, 111, -417, -56, -206, -333, -177, -352, -180, 404, -446, 11, -2, -19, -381, 83, -291, 381, -195, -421, -420, 134, -269, -193, 81, -239, -337, -41, -381, -85, -171, 390, -345, 105, -456, -233, 217, -240, -612, 146, -534, 172, 65, -334, -586, 204, -557, -385, -250, -73, -271, 116, -651, -149, -346, -376, -227, 600, -640, -307, -17, -29, -166, -141, -858, -176, -177, -55, -265, -181, -786, -46, 271, 78, -657, -202, -808, -268, -132, -455, -307, 1035, -467, -155, -322, -71, -358, 94, -688, -13, -295, -251, -418, 120, -317, -53, -69, -155, -507, 46, -864, -26, 310, -521, -538, 314, -248, -260, -230, -341, -461, 51, -503, -68, -497, -299, -195, 596, -381, -227, -318, -108, -397, -66, -939, -14, -74, 43, -447, 488, -314, -277, 103, -243, -562, -158, 135, 234, -224, -378, -612, 571, -803, -280, -104, -209, -360, -22, -620, -118, -82, -265, -478, 210, -661, -177, -72, -259, -396, 173, -642, -77, -461, -145, -403, 253, -330, -239, 29, 97, -629, 194, -379, -467, -65, -338, -498, 818, -738, -183, -587, -232, -248, -128, -753, 91, -140, -149, -477, -102, -664, -249, 255, 539, -889, 6, -534, -123, -260, -340, -408, 512, -622, -302, 5, -388, -264, 230, -1311, -114, -311, -21, -565, -48, -842, -221, 55, 86, -385, -138, -991, 157, -362, -189, -771, 413, -493, -205, -203, -449, -775, -212, 59, -377, -69, -317, -822, 389, -602, -365, -297, 199, -396, -57, -1089, -19, -269, -33, -381, 708, -1013, -207, -334, -628, -650, 195, -627, 160, -254, -537, -423, 126, -533, -342, -182, -85, -506, 8, -964, 29, -191, -49, -716, 65, -1116, -328, 645, -334, -916, -171, -944, 230, -182, -529, -672, 25, -449, -207, 93, -283, -467, 357, -761, -222, -334, -33, -556, 1137, -644, -361, -273, 107, -117, 68, -860, -65, 80, -221, -422, 87, -432, -68, 232, -4, -447, 197, -304, 42, -319, -180, -209, 486, -109, -390, -60, -177, -64, 31, -337, -46, -102, -121, -231, 345, -465, -313, 535, 1087, -301, -39, -446, -237, 13, -297, -355, 45, -346, 137, -573, -293, -175, 463, -154, 250, -87, -100, -577, 420, -146, -308, 406, 362, -231, -48, 169, -89, -110, -217, -366, 248, -405, -222, 1446, 181, -160, 135, -111, -99, -210, -181, -232, 702, 237, -311, -23, 47, -47, 170, -129, -299, 58, -388, 338, 615, -312, -109, 43, 35, -293, -88, -338, 215, 158, -289, -491, 37, -25, -175, -223, 522, 318, 398, -254, -179, 445, -96, 180, 541, -361, -92, -244, 195, -28, -49, 332, -35, 7, 159, -391, 39, 244, -303, 59, -294, 188, 103, 68, 212, -108, -462, 269, 754, 455, -290, 487, -172, -20, 216, -461, 332, 95, -283, 120, 92, -463, -130, 852, 224, -463, 58, -124, -277, 313, 112, 337, 403, 194, -314, 21, -115, -141, 101, 563, -59, 86, -417, -462, 729, -440, -26, 90, -144, -63, -246, -574, -106, -160, -379, -36, 464, 446, 41, 403, -125, -415, -86, -284, 328, -17, -7, -90, 610, 378, -263, 258, 313, -415, 525, -484, 210, -250, 156, 18, 193, 103, -145, 846, 92, 353, -108, 135, -108, 435, -173, -101, 261, 298, -220, -46, 302, -182, 133, 100, -242, 39, -204, 259, 1041, -786, -420, 767, 159, -112, 68, 464, 178, 421, 308, -193, 76, 376, -220, 319, -61, 1031, -51, -142, 80, -151, -542, -52, 1320, -138, -37, 98, -327, 88, 309, 9, -135, 175, -135, 298, -29, -34, -160, -26, 674, -317, -59, 69, 56, 319, -414, 322, 581, -104, -199, -131, 16, -90, 128, 970, 106, 3, -242, 67, 569, -14, 123, -40, 499, 237, -17, -483, 58, 763, -338, -366, 886, 753, -233, 949, -58, 39, -48, 104, 331, -269, -24, 181, 365, 640, -458, 173, 385, 195, 99, -39, -93, 16, -7, 53, 767, 57, 107, -21, 424, -263, 273, -122, 18, 68, -254, 554, 383, 261, -113, 442, -172, 397, 98, 1026, 83, -116, -124, -293, 606, 205, 90, -90, 348, 107, -101, -450, 151, -104, -328, -89, 844, 807, -147, 951, -51, 16, 218, -27, 89, -58, -455, 1279, 240, -98, -101, -53, 84, 276, 701, -657, -24, 176, 266, -545, 82, 990, -101, 326, 1039, -77, 93, 51, -47, 149, -427, -293, 607, -269, 297, 271, 227, 123, 439, 608, 102, -204, 73, 258, 453, -605, -365, 251, 623, 436, -197, 648, -88, -28, 3, 186, 825, -110, 104, 648, -74, 310, -63, 22, 180, -103, 154, -23, 76, 218, -124, 864, -105, 68, 212, -739, 65, 432, -367, 779, 659, -210, -213, 483, 301, -251, -146, -136, -74, 332, -298, -267, 188, -487, 69, -370, 103, 583, 408, 404, -212, -135, 190, -171, 819, 783, -80, -427, 28, 384, -14, 642, 334, 171, 453, -35, 272, 748, -291, 670, 225, -287, 73, 596, 199, 241, -34, 30, 1809, -21, -273, -245, 750, 302, 33, -411, 244, 300, -235, -203, 312, -354, 240, 253, 308, -388, 226, 341, 80, 571, -218, 1063, 85, 834, -121, -539, -49, 352, 347, 29, 104, 450, -130, -216, 365, -595, -390, 942, 1294, 486, 138, 246, -225, -56, 140, 76, 295, 175, -311, 655, -201, 686, 222, 757, 337, 75, -478, 88, 411, 1009, -324, -74, 379, -294, 591, -652, 85, 464, -360, 224, 271, -289, -308, 87, -216, 219, -153, 388, 534, 380, -149, 13, 411, 301, -263, -43, 228, -88, 241, 631, -84, 53, -113, 145, 1694, 167, -432, 809, 322, -194, -164, 598, 84, 446, 7, -651, 545, 846, 118, -37, -99, 747, 223, -124, 31, 216, -246, 108, 871, 1220, -279, 144, 61, -293, 127, 205, 94, 71, 75, 894, -103, 192, -320, 1018, 68, -453, -64, 294, 171, 713, -343, 3, 266, 84, 76, -219, 109, 874, 158, 172, 23, -421, -330, -71, 706, -52, -145, 880, 317, -26, -158, -592, 27, 304, 185, -356, 905, 163, -258, -130, 23, 648, -207, -79, 561, -244, -459, 586, 685, 421, -338, 686, 171, 93, 60, 205, -276, 94, 259, -320, 54, 1223, 73, 455, 411, -226, 30, 458, 203, 602, -377, -321, 668, -417, -374, 289, 676, 223, 6, -236, -167, -254, -172, 122, 1354, 214, -78, -11, -349, 1380, -31, 266, -17, 260, -66, -459, 292, 692, -189, 935, 34, -68, -7, 454, 84, 347, -184, 475, 445, 781, -140, 222, -74, 85, 174, 78, 208, -157, 281, -500, 108, 256, -209, -81, 1221, 638, -254, 685, 129, 756, -432, 771, 862, -518, -454, 278, -508, -190, 178, 1336, -226, 17, 278, -17, 741, -261, -89, -260, 331, 190, -417, -1041, 438, 306, 250, -514, 543, 1445, -619, 316, -315, 261, 135, 591, -26, -430, -333, 194, 484, -238, -80, 141, 273, -264, 432, -597, 306, 560, -378, 1533, 195, 517, -388, 840, 187, -177, 127, 632, 279, 177, -190, -671, -153, 560, -254, 584, -106, 672, 273, 157, -238, 46, 295, -90, 532, -42, -51, -36, -57, 352, -113, -434, 183, 224, -17, -59, 429, 180, -328, 640, 261, -396, -8, 1026, 174, 179, -623, -63, 790, 296, -329, 334, -289, 715, 25, -805, -35, 642, -516, -298, 176, 785, 72, 117, 519, -97, 94, -43, -63, 124, -349, 327, 379, -178, -34, -489, -267, 463, 502, 1158, -69, 521, -472, -536, 447, 209, -505, 70, 341, 585, -148, 1494, 272, -376, -83, -332, 918, -319, -149, 823, -339, 105, -213, -85, 254, -157, 80, 1315, 865, 554, -793, -61, -15, 315, 166, -1016, 78, 651, -218, -161, 1022, 693, -228, 246, 18, -410, -269, 1397, -133, 460, -458, -301, -249, 172, 450, 41, 282, 207, -445, 470, -307, -250, -239, 727, 1488, -225, -649, 729, 321, 103, 120, 137, 96, -175, 119, -202, -129, 332, -108, 1095, 214, 1485, -225, -716, 543, -324, -407, 76, 1235, 643, -15, 257, 290, -227, 19, 169, 319, 30, -65, -200, -134, 640, -55, 965, 158, -167, 76, -350, -209, 1089, -154, 667, 825, -312, -171, -587, 449, 1802, -196, 123, 163, -531, -127, -10, 375, 787, -550, 623, 356, 284, -169, 705, -292, 366, 220, 856, 406, 1634, -576, 161, -346, -272, 30, -61, 308, 98, -589, 229, 852, 1053, -501, -59, -75, 343, 809, 311, -74, 125, 196, 469, 144, 259, -142, 21, -89, -68, 498, -196, 253, 736, -589, -117, 401, 568, -423, -213, -186, 527, 93, 1401, -53, -133, -517, 456, 403, -251, -470, 396, 369, 426, 59, -329, 180, -135, -62, -638, -258, 791, -413, 198, 124, 413, 216, 349, -41, -326, -679, 1666, 652, 212, -606, -133, 47, -165, 453, 476, 525, 592, -320, -630, -140, -3, -200, 384, 1758, 59, -652, -666, -256, 864, -116, -140, 994, 58, -298, 240, -211, 274, -283, 81, -191, 448, -91, 590, 431, -71, -548, -292, 161, 1584, 195, -1454, 526, -514, 187, -742, -33, 2708, -230, 547, 218, 788, -257, -271, 366, -407, -2, 327, 641, 369, -346, 1465, 417, -157, 104, -875, -235, 33, -169, 681, 361, 60, -562, -158, -135, 318, -169, 1406, 584, 470, -668, -63, 105, 484, -255, -665, 484, 616, -262, 1141, -264, 21, -445, -526, 1057, 119, -164, 663, -162, 416, -163, -8, -192, 694, -543, -277, 124, 707, -534, 1045, 594, -199, 91, 543, 191, -193, 414, 340, 324, 1003, -214, -519, -426, 899, 475, 284, -50, 286, -284, -76, 108, 336, -217, 911, 909, 266, -522, 291, 448, -71, -172, 1915, 898, -458, -285, -90, -86, -223, 49, 1041, -234, 129, 236, -396, 475, -332, -698, 583, -72, 451, -239, -250, -84, 458, -152, 119, 1124, 1631, 148, 908, -914, 263, 21, 756, -71, -510, -620, 1777, 230, 1219, -380, -151, 9, -264, 127, -689, 216, 578, -397, -63, -17, 981, -392, -422, 87, 78, -300, 128, 5, -165, -339, 225, -70, 21, 354, 246, -351, 775, 425, 131, -515, 41, -712, -244, 898, -62, -149, 48, 51, -67, -146, 1012, 521, 218, 200, -505, 302, 714, -445, 1840, 126, 628, -530, 399, 2, 156, 144, 630, 1259, 586, -548, -415, -270, 558, 188, -558, 250, 381, 18, 1051, -68, 336, -269, 101, 15, -152, -98, 1703, -155, 1144, -405, -110, 174, -611, 8, -240, -412, 1730, -333, 459, 17, 175, -89, 121, 976, -853, -589, 505, 170, 466, -218, 785, 346, 7, -446, 563, 282, 517, -317, -226, -348, 234, 442, -1104, 646, 236, -666, -132, 410, 1538, -476, 685, 453, 744, -392, 648, -136, -33, -410, 491, 484, 162, -11, 1004, -500, -290, -139, 1520, 405, 490, -115, 1145, 556, -46, -238, -544, -232, 208, 101, 1416, 13, -26, -26, 1294, 1081, -731, -532, 206, -349, -26, -297, 213, 95, 254, -234, -1204, -644, 1383, -60, -144, -508, -316, -346, -527, 224, 723, -418, 405, 1095, 378, -721, -522, 388, -264, 0, -455, 60, -498, -663, 2119, -175, -47, 119, 692, 771, -56, 267, -368, -33, 359, -1118, -431, 529, 757, -225, -327, -334, 1082, -210, 1140, 55, 27, -544, -433, 378, -83, -300, 845, 6, 490, -520, -889, -68, 11, -204, -279, 1155, 1326, -637, 793, -13, 1450, -590, 376, 446, -214, -573, -426, 580, 1027, -427, 253, 243, -552, 157, 200, -602, 16, 264, 663, 296, 1704, -35, -855, 334, -547, -760, 191, 823, 1342, -366, 266, 173, 21, -324, -440, 501, 2187, -400, 51, -766, -320, -206, 517, 828, -623, -428, 510, -534, -440, -157, -20, -19, 211, -158, 786, 145, 2012, -624, 592, -490, 721, -155, -363, 325, -593, -407, 320, 997, -504, -540, -196, -18, -88, 547, -493, 324, 136, -195, -261, 505, 691, -156, 222, 392, -118, -427, -223, -24, -112, -797, 411, 573, 537, -240, -134, -226, 334, -234, 1771, -204, -228, -589, -159, 328, 1280, -689, -255, 1000, 1374, -302, -1370, -479, 175, -633, -621, 605, -826, -232, 267, -298, -364, 62, -520, -32, -647, -850, 1571, 58, 315, -505, -772, 224, 723, 110, -392, -67, -108, -339, -675, 681, 539, 111, 633, 47, -526, -238, 1537, 445, 381, -493, -836, 168, -1273, 169, -30, -408, 383, 386, 626, -700, 708, -187, -253, 530, -171, -479, 36, -96, 395, -707, 307, -90, 424, -548, -571, 661, -604, -757, 1502, -964, 533, -201, 303, 86, -463, -1069, 1185, -161, 559, -120, -645, -404, 483, -125, -981, 58, 1064, -740, 496, -107, 1361, -392, -641, 862, -775, -447, 267, -169, 716, -968, 876, 290, -681, -497, -939, -280, 1632, 126, 759, -275, -944, -514, -809, 54, 30, -566, 618, 557, -348, -910, 87, 317, -325, -648, -425, 1, 761, -606, 1201, -639, 669, -195, 676, -176, -290, -287, 106, 217, 972, -329, -693, -59, 744, -135, -2198, -59, 22, -912, 938, 477, -138, -392, 278, 68, -431, -993, 1594, -259, -60, -1059, 1405, -49, -768, -65, 393, -350, -228, 10, -1235, -128, -25, -638, 323, 2114, 966, -504, 382, 341, 1021, -662, -775, -268, -958, 100, -554, -103, 1899, -49, -392, -516, 58, 275, -438, 79, -318, -1053, -415, 1269, 2303, -817, -1109, -216, -445, 13, -676, 280, 272, -640, 739, -523, -1066, 29, 283, -312, -27, -225, 1091, -149, 149, -216, -649, 64, 61, -99, -433, 217, 680, -280, 465, -25, -131, -749, -87, 928, -770, -800, 173, -202, -495, -587, 1805, 85, -37, -428, -1087, -111, 1339, -579, -319, -649, 338, -553, -656, -104, -197, -1143, 2, 132, 1456, -408, 89, 241, -357, 544, -560, -762, 507, -439, 2056, 633, -1813, -624, -549, -213, -89, -116, -541, 402, 136, -1007, -598, 102, 675, -707, -527, 730, 830, -284, 679, -582, -192, -370, 539, 1123, -344, 452, 321, -536, -19, -728, -760, 83, 486, 794, -708, 394, 238, -484, -1, -523, 968, -344, -531, 25, -724, -800, 481, 1209, -688, -996, -119, -762, 401, 36, 1012, -86, 359, -676, -503, -224, 1519, -173, -502, 523, -708, -374, -392, -444, 134, -581, -10, 821, 1094, -482, -398, -129, -62, 470, 1223, 150, -299, -575, -507, -397, 229, -539, 311, 223, 1184, -59, 287]