# Trace form for 4009.2.a.c, downloaded from the LMFDB on 16 April 2024.
[0, 71, -15, -8, 69, -18, -9, -19, -39, 63, -10, -52, -9, -15, -53, -33, 53, -10, -35, 71, -33, -38, -6, -65, -30, 51, -4, -23, -29, -97, -27, -53, -78, -17, -24, -38, 24, -33, -15, -86, 25, -69, 64, -10, -94, -34, -6, -37, -1, 74, -41, -46, -30, -50, -17, -30, -116, -8, 11, -93, -56, -18, -1, -84, 93, -78, -53, -5, -9, -69, -10, -221, -73, -34, -58, -70, 69, -2, 7, -68, -71, 39, 26, -45, -10, -44, -80, -7, -46, -143, 41, -30, -46, 32, 41, -18, -140, -18, -97, -142, -19, -50, 30, -48, -23, -21, 18, -87, -76, -31, -26, -35, 39, -28, -9, -25, -151, -31, -68, -208, -123, 83, -27, -68, -138, -72, -104, -1, -94, -67, 64, -26, -64, -19, -133, -93, -118, -64, -89, -46, 28, -115, 63, -59, 100, -90, -165, 33, 87, 15, 182, -140, -39, -10, 85, -55, -160, 84, 77, -16, 20, -104, -11, -57, -225, 41, 14, -111, 196, 94, -71, 63, -55, -56, -13, -31, -188, -5, 151, -126, -97, -40, 60, -120, -65, -74, 103, 62, 87, -175, -10, -151, 132, -36, -75, 41, 30, -43, 83, -71, -75, 8, 17, -78, 66, 94, 53, -72, -180, -52, -100, 71, -131, -6, -21, -240, 29, 82, 13, -19, 91, -153, -118, -34, -69, 86, 113, -147, -9, 15, 125, -108, 49, 58, -33, 36, -146, 22, 30, -301, 84, -96, 75, -42, -21, -87, -174, -15, -78, -23, -137, -90, -95, 81, -66, -38, 109, -34, 196, -31, -229, -134, 107, -134, 55, -75, -53, -185, 75, -233, 3, -47, 29, 203, 64, -121, 3, 40, 16, -266, 10, -216, 3, -13, -423, -33, -47, 37, -322, 83, 72, -20, 154, 8, -210, -92, -49, 31, 50, -186, -43, 19, 45, -154, 53, 0, 64, -4, -70, 25, 31, -127, 374, -27, -146, 183, -170, -68, 159, -136, 25, -16, 92, -10, -136, 70, -176, -89, -35, 56, 277, -5, 1, -74, 214, -147, -182, 19, 92, -19, 109, -228, -35, -164, -99, 9, -79, -241, -104, 39, 132, -320, 1, 50, 130, 63, -115, -76, 176, -353, 62, 71, -20, 7, -105, 11, 30, -17, 151, -97, -50, -230, 392, -111, -136, -169, 193, 105, 390, -15, -33, 44, 229, -273, -472, 42, -53, 167, 157, -45, -77, 36, -69, 93, 98, -152, -8, 80, 20, -38, -192, -253, 205, -129, -82, 45, 306, -126, 68, -114, 135, -152, 119, -149, 162, -52, 143, 150, -6, -175, 251, -129, -15, -215, 126, 95, 243, 59, -200, 214, 147, -400, 147, 36, 255, -74, -73, -65, -132, -41, 143, 58, -3, 16, 331, 52, -113, -256, 384, -200, -175, 58, 43, 236, 159, -300, -30, -36, 28, -70, -204, -40, 268, 117, -109, 87, 48, 178, -19, -9, -49, -307, 257, 39, 24, 51, -290, -36, -202, -121, -162, 21, 205, 190, 149, -143, 289, -407, -202, 55, 245, -304, 139, 27, -4, -328, -43, 170, 24, -214, -12, 47, 308, -184, -15, 25, 137, -44, 149, -274, 427, -153, -170, -23, 47, 36, -25, -70, 115, -174, 458, -208, 162, -91, 160, -101, 43, -181, 193, 266, 272, -39, -29, 15, 129, 40, -173, 49, 220, -22, 407, -69, 69, 239, -320, -100, 167, -2, 3, 116, 40, -97, -123, 166, -295, 15, -116, 92, 291, 47, -49, -68, 231, 18, -324, 136, -88, -442, 314, 13, -27, -202, 419, 52, 52, -406, 433, 100, 141, 132, -9, 89, 80, 22, -328, -109, 146, 94, 242, -53, -189, -80, 155, 56, -206, 182, 14, 130, 151, -411, 818, -98, -85, 169, -2, 18, 24, -28, -78, 61, 434, -255, 250, -47, 31, 251, 434, 37, -127, 30, -44, -94, 48, -100, -80, 235, 178, -17, 221, -142, 174, -216, 24, -8, 254, -105, -100, -91, 379, -433, 113, -91, 304, 20, -199, 255, -24, -171, 247, -29, 275, -97, 326, 162, 170, 76, -516, 265, -427, -125, 375, -12, 107, -4, 31, -38, -363, 204, -397, -109, 51, -180, 482, 209, 28, 29, 439, -153, -186, 4, 65, 200, 278, 81, 24, 100, 202, 7, -97, -86, 414, 120, -86, 215, -7, -163, 249, 53, 226, -225, 384, -59, 158, -33, -336, 323, -137, -88, -232, 57, -15, -316, 306, 1, 908, -143, -593, 408, 398, -114, 466, 162, -15, -17, 141, -233, 349, 22, 87, 288, 361, 50, -175, 325, 134, 217, 49, -96, 574, -211, 239, -86, 287, -179, -123, -18, -304, 122, 432, 213, 250, -243, 458, 24, -103, -66, 250, 230, 153, -100, 25, -128, 517, 99, -62, -111, 386, -150, 715, 23, -79, 344, 94, -186, 75, -170, 247, 72, 17, -69, 410, 72, 28, 159, -50, 68, 331, 140, -48, 0, 701, -459, 218, 251, 27, -82, 208, 50, 64, -270, 232, 102, 10, -16, 501, 253, -282, 146, 207, -91, -166, 113, -97, -8, 534, 211, 248, -10, 145, 168, -132, -229, -38, 149, 92, 435, 89, -141, 733, -131, 30, -31, -77, 232, 365, 162, -94, 269, 332, -98, -16, 280, 249, 433, 69, -32, 369, 238, -81, 159, 206, -280, 487, 65, -50, -34, 112, 45, 198, 99, -426, 588, 468, -95, 40, 52, 487, -171, -8, -275, 581, -41, 44, 193, -6, 51, 657, -28, 159, -451, 332, 110, 471, -17, -163, 547, 175, -257, 224, -37, -143, -77, 322, -37, 323, 166, 73, -187, -163, -12, 503, 311, 124, -199, 702, 6, 275, 110, 199, 73, 376, -304, -1, -72, 94, 30, 117, -217, 53, 6, 507, 125, 50, 250, 258, 49, 116, -78, 776, -59, 94, 74, 149, 281, -293, -114, 323, 431, 346, 197, 161, -525, 737, -17, -158, 325, 458, -205, 388, 193, -41, -259, 822, -142, 265, 87, -22, 457, 483, -425, 611, 342, 375, 143, 109, 34, 407, -403, 163, -46, 272, 126, 119, 78, -203, 228, 278, -51, -84, -129, 481, -174, -19, -38, 247, 100, 34, 484, -30, -22, 501, 77, 365, 163, 709, -66, 424, 289, -64, 230, 67, 128, 248, 246, 6, 306, 45, -50, -29, 5, -312, -27, -222, 69, 475, 362, -390, -392, 433, -463, -160, -43, 312, 9, 260, 32, -17, 20, 161, -54, -217, -703, 524, -37, 140, 471, 41, 272, 149, 208, -155, 190, 224, -41, -378, -30, -21, -150, 66, -7, 273, 28, -201, 522, -188, -18, 793, -43, -276, -95, 245, -249, 310, 383, -116, 0, 178, -136, -368, 100, 253, -153, 384, 42, 30, 256, -33, 228, 312, -483, -258, -95, -40, -8, 178, 33, -158, -233, -483, 354, -78, -380, 302, 4, 345, -307, 306, 233, 223, 3, -227, 213, 11, 15, 468, -27, 223, -463, 23, 40, 378, -91, 28, 145, -2, -262, -135, 66, 243, -78, 56, -93, -119, 220, -732, -348, -393, 63, 418, -66, -119, 31, 106, -120, -50, 84, -478, -289, 218, 16, -56, 171, 230, -110, -368, -43, 186, 243, 330, 366, -350, -299, -430, 63, -23, 138, 369, 47, -117, -18, 447, -364, -382, 56, -496, 321, -391, 235, 291, -324, 819, 8, -144, 193, 226, -119, -615, -50, -1, -218, 124, -251, 221, -144, -135, -88, 30, -147, -203, 210, 128, -239, -82, 36, -186, 3, -475, -84, -237, -336, -702, -251, -242, 364, 310, 128, -175, -366, 414, -56, 183, -218, 59, -191, 8, 103, 93, -40, 421, 83, 43, 106, 85, 47, 24, 88, -306, 305, -290, -157, 343, -59, -283, 539, -245, -78, 107, 81, -367, -21, -110, 212, -360, 214, -391, -116, 362, -189, 389, 245, 275, -376, 72, 16, -53, -483, -100, -86, -54, 66, 79, 409, -326, 347, -520, 451, -9, -116, 411, -33, -102, -776, -81, -5, 623, -46, -87, -38, -192, -127, -157, 30, 78, 14, 364, 56, -506, -184, 955, -319, 86, 36, -9, 131, 412, -406, -191, 43, 406, 163, 380, 276, -624, 326, -326, 148, -115, -147, 348, 83, 43, -69, 479, 61, -403, -689, 257, 494, 343, -733, -299, -415, 435, 210, -120, -150, 262, -470, 661, -5, -10, -375, -60, -101, 65, -135, 695, -160, 168, 40, -1023, 128, -296, -130, -227, -25, -668, -17, -51, -221, 670, -304, -809, -148, -42, 171, -236, 381, 225, -432, 510, -248, -278, 32, 242, -47, 119, -240, -73, -250, 211, 6, -392, 124, 404, 45, -308, 258, -390, 222, 369, 79, 22, -297, -154, 14, -277, -34, -314, -364, -272, -179, -559, 411, 277, 260, -569, -185, 126, -191, -933, -5, 49, -9, -671, -63, -58, -537, 361, -304, 34, -500, -227, 362, 260, -268, 331, 84, 170, -45, 217, -257, -49, 136, -276, -70, -70, 158, -1128, -267, -589, 359, 158, 160, -121, -499, -92, -22, -66, -635, 279, -84, -294, 86, 69, 87, -334, 247, 370, -37, -184, -400, -348, 393, -306, 344, 27, -25, 544, 58, -341, 160, 30, -2, -134, -106, -389, -639, -486, 286, 468, 107, 105, -266, 355, -76, -519, -19, 338, -266, -198, -193, 7, 112, -150, -75, -613, -284, 55, 196, 436, 280, -422, -102, 250, -58, -240, -65, 168, -218, -715, -68, -413, -95, -313, 81, -251, 232, 171, 118, -165, -468, 743, -166, -418, 333, -171, 215, 611, -134, -71, -176, -171, 72, -211, -41, 290, 139, 447, 222, -1481, 178, -93, 228, 428, -193, -917, 19, -49, 39, -254, -298, -625, -145, -180, 601, 65, 112, 111, -364, 55, -508, -297, -9, -154, -288, -487, -85, 26, -460, 19, 271, -16, 41, 475, 258, -112, -1, -499, 294, 347, -342, -141, 434, -67, -600, -573, -45, 416, -261, -989, 286, 33, 7, 387, 296, -467, -196, 361, 16, -936, -197, 124, 86, -204, 162, -10, 43, 496, -235, -432, 20, 250, 149, -141, 270, -109, -292, -109, -237, 75, -517, -540, 165, -654, -44, -138, -384, -573, -332, -442, 11, -158, 430, 351, -224, 369, 423, -804, -247, -221, -688, -154, -8, -80, -731, -67, -8, -457, -637, 474, -87, -336, 331, -285, 235, -680, -373, 519, -367, -838, -133, -109, -7, -191, 542, -1424, -57, -28, 214, 113, -41, 197, -234, 461, 272, -237, -340, 167, 119, -624, -169, -46, -57, 417, 44, -547, -69, -182, -18, 857, 400, -956, 781, -755, -164, 268, -400, -39, -15, -13, -143, -768, -88, -867, 7, -103, 74, 138, 248, 154, -353, 75, -322, -310, 563, 120, -398, 308, -223, 41, -484, -353, -107, -78, -28, -174, 398, 323, 23, -497, 137, -556, -52, -312, 353, -227, -574, 445, -30, 367, -296, -360, -192, -938, 477, 345, 97, -168, -236, -279, -245, -544, 303, -105, -50, -672, 70, -46, 395, 211, -567, -504, -65, -226, 664, 114, 289, -98, 196, 151, -157, -424, 9, 77, 437, 208, 32, 184, -284, -223, -162, 158, 130, -182, -485, 576, -216, 665, 60, 88, -25, -65, -18, -107, -269, 41, -77, -305, -160, 232, -385, -573, 186, 90, 283, -236, 323, 179, -848, 82, 57, -385, -18, 366, -18, -2, -165, -602, -430, -1126, 35, 341, 535, -208, -152, -12, 265, -678, 97, -136, -152, -311, -85, -140, -261, 78, -68, -618, 18, 282, 326, -204, 544, -319, 372, -194, -38, 384, 221, -308, 71, -221, -18, 497, 202, -920, -128, -265, 681, -244, 70, -364, -109, 434, -104, -1089, 408, 147, -371, -849, -267, -97, -459, 6, -243, -30, -130, 587, 581, 713, -213, -1147, 23, 4, 184, -340, -19, -171, 287, 49, -142, 22, 242, -1432, 243, 47, 334, 580, -141, -394, -276, 470, 571, -35, -215, 458, 324, 48, 63, -19, 158, -669, 184, -451, 19, 304, 225, 628, 400, -482, -11, 28, 287, 147, -30, -296, 236, -464, -50, -682, -5, -750, -294, -1115, 757, 75, 94, 533, -403, 36, -45, -1253, 261, 95, -805, -623, 281, 30, -344, 342, 388, -292, -626, -330, 351, -526, 577, -266, 485, -765, 161, -62, 171, -33, -430, -159, -48, 321, -375, 68, 156, 110, 325, -499, 536, 297, -415, 92, 150, -1290, -338, -718, 309, -757, 224, -23, -219, 194, -263, 67, -116, 12, 467, 96, 260, -557, 155, 313, -91, 91, -251, -950, 362, -392, -21, -654, -159, -820, -122, 42, 555, 54, 311, 197, -479, 240, -100, -266, -109, -12, -254, -945, -293, 18, 49, 581, 91, 147, -103, -152, -374, 133, 169, -42, 410, 185, 199, 575, -215, -38, -690, 185, -87, -552, -197, -814, -351, 319, -174, 271, 197, -234, -424, -470, -247, -1172, 23, 195, 504, 91, 142, -76, -235, 31, -311, 44, -180, -364, 198, 145, 93, -546, -232, 372, 645, 194, -334, -491, -213, -477, -31, -331, -67, -561, -129, -1205, 665, -60, 169, 172, -293, 183, 50, -702, 317, -362, -329, 771, -296, -26, -444, 100, 29, 44, -5, 317, 309, -50, 385, -1206, 251, 531, 350, 362, 638, -374, -294, 48, -35, -10, -1236, -512, -211, -652, 453, -69, 61, 319, -473, 617, -2, -674, -254, -36, -378, -327, 557, 39, -341, -30, -89, 286, 162, -138, -287, 201, 302, -544, 597, -590, -270, -40, -65, -12, 420, -278, -28, 141, -212, -145, -759, 66, 32, 238, 691, -367, -105, 546, -321, -948, 125, 175, -240, -486, -537, -9, 50, 439, -515, -458, -405, 913, 383, 34, 34, -413, 252, 100, -117, -23, -477, -642, -296, -935, -25, 170, -148, -1233, 271, -601, 209, 18, 306, 835, -558, -36, 138, -85, -521, 139, 374, -509, 626, -151, 15, -48, -515, -255, 146, 153, 602, 64, 124, -245, 309, -656, 105, 1021, -130, 151, 345, 30, -31, -334, -350, -119, -461, -119, 537, 164, -515, -28, -313, -103, 546, -302, 48, 688, -460, -833, -230, -68, -111, -627, 47, 635, -688, 441, -104, -129, 96, -206, 742, -153, -922, -826, 474, -298, -326, 746, -208, -813, -274, -440, -674, -690, 288, 2, 280, -306, -40, 330, 45, -181, 272, 202, 258, -336, -878, -123, -331, -115, -275, -111, 52, -633, 9, 1292, 615, 210, 449, 91, 164, 534, 13, -1076, -11, -613, 83, -467, 246, 35, 361, 0, 116, -248, 267, -91, -342, 253, -518, -1106, 626, -81, 271, 546, 410, -27, -62, -201, -52, -599, 32, -81, 486, 473, -285, 326, 166, 35, 265, 184, 356, 237, -422, -1068, -68, 450, -269, -954, 239, -854, 483, 216, 309, -1513, -180, 349, 29, -256, -706, 484, 107, -535, 234, -138, 74, 414, 264, -466, 415, 451, 184, -35, 1030, -559, 193, -6, -244, 166, -155, -101, 300, -196, -72, 254, -305, 160, 282, -443, -57, -262, 139, 267, -705, 315, -143, -794, 231, 418, -504, -248, -36, -104, -319, -516, -62, -105, -157, 1188, 215, 77, 381, -730, 709, -209, 260, 655, 462, -1, -586, -583, -1, 645, 24, -179, 131, -177, -59, -373, -481, -502, -101, 287, 70, -624, -427, 546, 504, 414, 123, -94, -324, -357, 133, -143, 533, 351, -29, 52, 35, -693, 188, 181, 526, 177, -62, 831, 215, 18, -67, 26, -377, -640, -47, -504, 1112, 510, -490, 553, -313, 534, 12, 415, 201, 82, -611, 100, -234, 64, -513, -45, -378, 8, -583, -356, 345, 1232, 7, -241, 208, -31, -175, 872, 706, -182, -361, 216, -26, -798, -365, -17, -154, -1268, 905, -804, 166, 558, 137, 379, -419, 69, -275, 53, 555, 210, 29, -64, -213, 254, -471, -374, 544, -380, 603, 92, 313, -117, -32, -65, 159, -424, 817, 31, 281, -47, -19, 220, -34, -350, -309, -9, 486, 497, 750, 434, -90, -303, 46, -224, -41, -11, -714, -332, -335, -133, -755, 1, 345, 621, -262, 434, 251, 1003, 101, -970, 27, 168, -335, 106, 248, -795, 53, -242, -93, -762, -212, 151, -50, 491, 148, 223, 348, 326, -589, -97, -437, 636, -485, 82, 222, -100, 182, -118, -280, -609, 81, 48, 375, -281, -513, 136, 417, -275, 488, -317, -217, 1070, 0, 110, 73, -1316, -64, -307, 55, -1202, -156, -63, 613, 948, 597, 385, -368, 440, -1168, 29, 203, 215, -96, -572, -33, -89, -135, -246, 729, 481, -91, 963, 349, -153, 105, -1717, 635, 221, 350, -435, 697, 433, -208, 360, -46, 290, 194, -990, 20, -890, 116, -2, 829, -651, 107, -379, 512, -775, -284, -476, -316, 393, 210, 28, 26, -108, -403, -881, 184, 57, 313, 966, 38, -85, -129, -1068, 462, -60, 182, -747, 95, -34, -115, 392, -440, 243, -114, -173, 830, 436, 298, 644, 149, 337, -2, -174, 92, 7, -945, -656, 260, 63, -5, -155, 85, 154, 51, 739, -247, 283, 348, -329, 301, -657, -853, -459, 478, 393, -47, -220, -59, -663, -275, -406, 52, -836, 577, 1515, 597, -128, -921, 61, 276, -883, 8, 1031, 285, -441, 351, 100, -101, 373, -4, 228, -239, -647, -15, 368, 508, -844, -98, -289, -307, 740, 19, -535, 295, -460, -90, 23, 481, -341, -479, -347, 330, -466, 491, 169, -53, 121, -398, -352, 413, 645, -136, -31, 73, -165, -326, -447, 17, -156, -237, 158, 604, -861, -583, 683, 849, 160, 1, 132, -39, -296, -253, 540, 33, -48, -354, -825, -292, -331, 263, 497, 61, 167, -117, -185, 429, -13, -433, 1103, 87, 58, 297, 87, 80, -70, -266, -14, -38, -328, 18, 1040, 737, -76, 642, 465, 87, -215, 123, 304, 295, 501, 15, -547, -363, -4, 65, 5, 511, 48, 136, -520, -571, 284, -258, -85, 181, -448, -214, 481, -323, 182, 27, -7, 642, -114, -124, 320, 604, 196, 1086, -867, 441, 522, -172, -385, 298, -394, -485, 202, -140, 206, -92, 618, 66, -817, 262, 889, 802, 62, -929, 773, 25, -908, -137, 295, 500, 609, 117, -39, 36, -136, -62, -720, 982, 297, 121, -297, 19, 360, -121, 286, -3, -452, 369, 402, 152, -318, -10, 360, -2, -1004, -111, -907, 417, 550, 38, -1634, -214, 421, -595, -107, 285, -329, 82, 835, 409, 85, -468, 409, -190, 162, 113, 350, 426, 408, 382, -699, 417, 77, -456, 850, 421, -730, -32, -1291, -55, 370, -148, -70, 513, -312, -248, 825, 328, -53, -412, 425, 132, -1107, 39, 184, 539, -679, 24, -160, 16, 2, 161, 184, -35, 215, 528, -341, 505, 174, -140, 142, 333, 24, -256, -1470, 241, -2209, 84, 18, 253, -592, -375, 399, 465, 206, 44, 806, -545, 98, 560, -382, -313, 600, -734, 505]