# Trace form for 4009.2.a.e, downloaded from the LMFDB on 25 April 2024.
[0, 82, 15, 12, 89, 9, 9, 14, 42, 92, 4, 41, 26, 13, 22, 41, 87, 12, 24, 82, 26, 29, 2, 59, 16, 67, 24, 42, -2, 101, -22, 48, 69, 3, 1, 38, 82, 16, 15, 82, 20, 86, -1, 9, 82, -8, 43, 24, 34, 76, 82, 57, -22, 39, 17, -21, 50, 12, 33, 79, 87, 4, 40, 44, 90, 66, -39, 33, -9, 60, 30, 168, 15, -28, 35, 55, 89, 19, -41, 121, 64, 110, 41, 0, 28, 17, 80, 29, 49, 83, -42, 38, 71, -1, 89, 9, 35, -23, 135, 93, 91, 27, -102, -33, 49, 63, -52, 96, 187, 45, 2, 36, -55, 50, 9, -24, 230, 61, 69, 161, 102, 53, 17, 27, 16, -6, 59, 76, 97, 7, -96, 85, -33, 14, 53, 64, 17, 12, 102, 37, -43, 55, 41, 105, 3, -32, 101, 17, -30, 92, -14, 141, 42, -6, -8, 83, 140, -20, 123, 30, -78, 74, 27, -40, 245, 107, -52, 188, -168, 7, 36, 92, 47, 56, 76, 62, 180, -32, -91, 146, 95, 88, -68, 92, 176, 40, -37, -60, -74, 55, 4, 140, -9, 17, 62, -41, 107, 15, -134, -4, 220, -114, -10, 57, 25, -10, -21, 45, 100, 41, -101, -82, 60, 22, -37, 129, -152, -62, 90, 129, -200, 197, 21, 78, 104, -14, -31, 58, 26, -5, 23, 113, 63, 112, 41, -91, 73, -56, 56, 316, 352, 47, 55, 23, -189, -41, -4, 13, 54, 23, 14, 63, 152, 91, -28, -37, 9, 63, -204, 132, 123, 213, -70, 86, -269, -94, 22, 103, -93, 165, -74, 176, -116, -125, -90, 141, 34, -80, 221, 87, -240, 121, -218, -56, 290, 41, -79, 199, 110, 94, 29, -7, -139, 60, -41, 165, 21, 6, 44, 198, -164, -40, -48, 97, 87, 74, -184, 0, -47, 129, 8, 105, -106, -99, -60, -120, 327, 120, -122, 200, -51, -72, -33, 12, 3, 2, 96, 242, 35, 54, -370, 3, -44, 20, -179, 221, -105, 92, -22, -55, -126, 121, 24, 34, 108, -71, -94, 81, 28, -142, -156, 214, -32, -71, 293, -52, 66, -62, -77, 273, -95, 82, 26, -23, -105, 39, 12, -44, -3, -10, -42, 368, -258, -6, 1, 152, 18, 73, -248, 82, 26, 26, -62, 122, 50, -36, 19, -98, -234, 7, -249, -127, 333, 16, -121, 51, 0, -102, 43, 29, 49, 129, 3, 95, 36, -156, -181, 31, -35, 9, -332, 112, -132, 13, -10, 93, -105, 5, 2, 52, -251, -32, -15, -29, 49, -175, -202, -139, -18, -114, 59, 375, 54, -45, -28, 193, 14, 59, -61, 92, 30, 19, 101, 17, -261, -114, -180, 110, -374, 320, -57, 125, -39, -103, -103, -78, 16, -53, -215, 117, 86, 112, -61, 2, 266, -334, -83, -51, 221, 59, -150, 95, 8, 8, -85, 67, 96, -94, -36, 369, 246, -195, -203, -221, 177, 51, -314, 184, 98, 57, -232, 67, -195, -124, 24, -52, -292, 132, 75, 93, -198, -160, -226, 0, -226, -305, 260, -184, -128, 183, -236, 72, 80, 42, -1, 225, 120, -101, 113, -91, -352, 100, -132, 55, -86, 9, 87, 409, -490, 9, -13, 10, -2, 35, -336, 17, 149, -46, 113, 80, -237, -90, 178, -225, -111, -21, -369, 141, -144, -142, 23, 101, -153, -130, 139, 25, -97, -39, -436, -109, 4, 143, -442, 119, 41, 0, -77, -12, -123, 240, -22, 143, -1, -49, 21, 383, -126, -261, 16, 182, -74, -113, 5, 107, 28, -133, -197, 168, -86, 48, -145, 35, -87, 78, -162, -275, 26, -165, -21, 482, -501, -83, 86, 71, -60, 46, -206, -95, 69, -22, -304, 245, -99, 59, -14, -198, -268, -66, -24, -263, 64, 13, -225, 131, -240, -80, 217, 3, 10, 63, 40, 297, 291, -12, -258, 118, -509, -111, -421, 473, 64, 384, -434, 176, -1, 43, 1, 5, -468, -109, -63, 156, -70, -47, -413, 66, 385, -348, -37, 241, -346, -63, 109, -180, -170, 38, -152, -31, 87, -166, 71, 138, -780, -82, 171, 490, -437, 149, -240, 211, -395, 82, -139, 110, 82, -96, -256, -58, 47, -26, -242, -180, -207, -233, 4, 173, 162, -201, -210, -110, -206, 131, -250, 16, -17, -384, -219, -2, 237, -87, -304, 162, -18, 40, -504, 225, 220, 196, -222, 196, -25, -38, 15, -115, -247, 256, 149, 140, -521, -226, -424, 54, 65, -281, 422, 36, -19, -32, -263, -76, -38, 82, -71, 367, 54, -313, -63, -256, -636, 354, -224, 111, -563, -16, -83, 272, -509, -60, -85, -23, 20, 76, -390, -213, 66, -39, 2, 210, -437, -289, 73, -222, -66, 27, -362, -36, 233, -178, -349, 86, -240, -169, 107, 403, 107, -134, -527, -143, 200, 76, -560, 429, -392, -101, -217, 19, -200, -14, -1, 281, -23, 13, -133, 34, -429, -528, -118, -51, -183, -162, -157, 36, -235, -195, -155, 34, -403, 9, -220, -24, 36, 138, -173, -143, -293, -444, -344, 257, -568, -23, 341, 229, -405, -53, -408, -154, 82, 23, -518, 460, -261, 41, -300, -296, -89, -243, 278, -430, -2, -46, -475, 234, -122, -270, -156, -8, -93, -92, -210, -18, 205, -201, -356, 119, -364, -11, -179, 98, -263, -52, -688, 159, 33, 31, 43, 212, -193, -131, -258, 340, -597, -96, -151, -222, 525, -497, 187, 20, -536, -281, 116, 122, -189, 24, -35, 5, 106, -115, 82, -143, -772, -6, -105, 154, -364, 78, 49, 31, -185, -220, -572, 395, 34, -159, -341, -176, -328, -233, -578, -60, -16, -166, -176, -50, 290, -288, -249, -274, 109, -170, -526, 76, -83, -230, -227, 517, 185, -165, -172, -302, -325, 297, -616, -10, 106, -157, -382, 128, -597, 1, 82, 363, -165, 28, -162, -23, 318, -431, -276, 278, 494, -150, -247, -128, -457, -55, -371, 91, -21, 57, 80, 107, 57, -155, 18, -84, -722, -56, -22, 223, -768, 93, 24, 181, -644, -137, -28, -98, -22, -14, -1054, 222, -125, -241, -215, -98, -315, -218, 18, -270, -94, 110, -704, -57, 17, -154, -315, 39, 115, 6, 17, -14, 165, -364, -591, -186, -11, -32, -547, 364, -190, 28, -355, -62, -367, 286, 17, 64, -392, 142, 32, 673, -408, -263, 14, -270, 348, -270, -74, 15, 129, -179, -23, -160, 358, -21, -264, 246, 50, -58, 381, -188, 58, 50, 10, -9, -862, -155, 10, 199, -637, -50, 184, 135, 50, 199, -254, 95, 14, -5, -513, -16, -256, -175, 339, -328, 355, 126, -458, 245, -432, -290, -41, 12, 540, -86, 48, 188, -409, -232, -408, 100, -90, 88, -289, 352, 88, 178, -677, 20, -153, 67, 33, 456, -456, -153, 103, 455, -349, -211, -53, -146, 806, -301, -79, 59, -214, 3, 13, -145, -525, 79, 221, -106, 453, 56, -21, 44, -623, -153, 303, 639, -659, 45, 364, 109, 225, -15, -448, 406, 87, -76, -123, 244, -210, -8, -72, -313, 325, -72, 29, 231, 321, -206, -172, -242, 230, 27, -167, 4, 266, -151, 584, 280, 42, -234, 233, -207, -358, 336, -777, 381, 386, -270, -266, 150, -160, -175, 40, 29, 104, 481, 265, 269, 186, -219, -171, -155, 388, -305, -198, 9, -155, -250, 356, -190, -111, 44, 686, 490, -401, 30, 619, -331, -433, 215, -31, 257, -544, 16, 51, 178, -157, -152, 86, -39, 90, 37, -743, 90, 53, -23, -11, -68, -772, -149, 334, -228, -308, 376, -351, 114, -51, -38, 67, 66, 674, -48, 184, 488, 307, -95, -86, -180, 70, 123, -193, 281, -195, -136, 67, 76, -268, 186, -39, 388, -430, 210, 138, 62, -383, -27, 348, -90, 617, -288, -9, -246, 261, -162, 291, 405, -226, 33, 357, -429, 452, -125, 437, -84, -267, -384, 45, 442, -569, -163, 328, 652, -148, 351, 69, -217, -9, 313, -485, 571, 146, 66, -273, -315, -212, -92, 595, -121, 451, -307, 151, -33, 183, -374, 34, 60, 331, 33, 475, 215, 758, -233, -225, 566, -412, 153, -620, 184, 325, 35, -80, 271, 136, 205, 30, 252, 89, 94, 58, 90, -409, -170, -807, -320, 257, -97, 936, -49, -616, -48, 340, -4, 627, 168, 527, -119, 172, 209, 16, 69, -222, -19, 189, 1115, -488, 64, 574, -138, -188, 113, -128, 293, 15, 208, -292, 41, 23, 97, 179, -277, 407, -293, 360, -293, 282, 100, 268, 281, -79, -40, 468, -28, -35, -269, 276, 305, 754, -303, 9, -260, -19, 358, -512, 51, 308, -299, -379, 113, 115, 195, 35, 265, -292, 453, 206, 317, -330, -515, -291, 268, 879, -324, 145, -303, -221, 409, 464, 64, 129, 55, 160, 39, 19, -4, 321, 6, -21, 142, 319, 62, 31, 71, 26, 463, -440, 29, 128, -82, 89, -81, 342, 264, 192, -25, 284, 503, 376, -278, 337, -440, 15, 135, -54, 5, 58, -197, -41, 19, 262, 41, 572, -68, 593, -214, -181, 34, 578, 149, 165, 373, 228, -14, -425, 352, 128, 160, -41, 103, 401, 210, 367, 480, -239, -268, -116, -296, 118, -304, 219, 244, 255, -5, 323, 299, 120, 121, -149, 248, 225, -229, 1214, -472, -237, -98, -382, 685, -799, -87, 594, -26, 15, 145, 80, 471, 64, 91, -26, 325, 706, 81, -155, -81, -549, -239, 642, -246, 142, -273, -120, 418, 142, -39, -79, 110, 1079, 250, 342, 194, 683, -472, -235, -140, 53, 120, -581, 184, 57, -56, -463, -11, 327, 94, 41, 366, -757, 255, 50, 10, -213, 31, 233, -262, 424, 37, 174, 336, -13, -230, 6, 99, 648, 0, 365, 300, 343, -44, 917, -26, 162, 20, 137, 484, -726, 109, -40, 406, -240, 411, 50, -196, 28, -42, -105, 281, 196, -1, -322, -295, 222, -260, 599, -187, 189, -373, -320, 470, 540, -263, 146, 17, 53, -216, 175, 333, 866, -144, -288, -217, -405, 544, -329, 356, 93, -53, -339, 383, 18, 197, 80, 103, 94, 235, 363, 24, -769, 37, 452, 17, 101, -167, -140, -73, -562, 104, -476, 67, -101, 29, 85, 336, 1139, 154, 546, -550, -25, 528, 355, 460, -303, -155, 401, 77, -647, 48, -145, 600, 49, -78, -200, 358, -498, -9, 125, 255, -346, -240, 435, -35, 586, -78, 33, 87, -42, -439, 421, 83, 126, -235, -79, 801, 605, -571, 15, -356, -135, 417, -84, 162, 71, 271, 264, 238, -128, 241, -42, 425, -191, -314, -339, 216, -100, -44, 118, 56, 564, -432, 743, -179, 260, -196, 978, 236, 293, 38, 25, 33, 358, -19, 1419, -236, -184, -460, 276, 560, -128, -128, 128, -339, -193, 363, 601, -65, 71, 203, 193, 706, 525, -381, -273, -320, 117, -279, 296, 7, -47, -91, -198, -66, 413, -240, 178, -1, 600, -28, 419, -88, 967, -580, -169, 632, -41, 130, -667, 429, 217, 211, 109, 156, -184, 41, 89, -160, -480, 283, 84, 164, 434, -239, -414, -395, 1387, -408, -137, 620, -522, -349, 350, 89, 754, 9, 47, -73, 442, -244, 824, -134, -541, -190, 594, 1020, 91, 30, -317, -87, -808, 204, -32, 150, 35, 82, 12, -217, 165, 161, 230, 75, -105, -744, -304, -91, 257, 109, 44, 329, 280, -16, 383, -23, 330, -92, 726, 133, 575, -53, 136, -338, 317, 214, -243, 228, 690, -393, -262, 436, -500, -160, 135, 416, -71, 169, 521, 209, -399, -146, -158, 399, 1297, -29, -44, -372, 100, 88, -11, 181, -3, 93, 51, -45, 82, -125, 885, -122, -288, -160, 333, 434, -488, -159, 513, 178, 165, 420, -296, -92, 91, 64, 475, -142, -267, 126, 316, 172, -714, -115, 45, -119, 47, 69, -756, -143, 799, 325, 595, 27, 758, 209, 659, -239, -211, -648, -478, -360, 152, 221, -442, 430, -234, -243, -496, 389, 857, 225, -102, 292, -55, 527, 139, 492, -898, -233, 546, -262, -37, -46, 487, 206, 44, -728, 41, -32, 522, -33, 113, 193, -59, 108, 1560, -567, 278, -471, -218, 682, -774, -330, 155, 300, 205, -188, -66, 557, 49, 189, 95, 394, 255, 129, -545, 204, -989, -172, 916, -363, -302, -69, -108, 515, 1513, -301, -72, 63, 171, -25, 538, -32, 591, -344, -714, -132, -333, -190, 43, 657, -83, -52, -488, 118, 260, -77, -52, 695, -199, 174, -233, 155, -422, -145, -707, -408, 583, 21, 787, 265, -356, -473, 595, -62, 576, 96, 540, -405, 326, -415, 565, 173, -1505, -75, 432, -139, -580, 143, 1308, 246, -177, 507, -23, 285, 187, -72, -141, -26, 249, -556, -129, 54, 683, -852, 780, 232, 103, -250, -48, 30, -200, 35, 676, 45, -326, -171, 141, -316, 472, -137, -528, -227, 216, 455, -252, 348, 515, -311, 121, 561, -692, 6, 2, 172, -37, -51, 650, 138, -192, 197, -234, 218, 459, -170, 31, -214, -116, -12, 420, 98, 721, 36, -4, 1159, 221, -183, 605, -730, -350, 127, 306, 383, -805, -115, 723, -87, -239, 332, -276, 156, -55, 4, -122, -89, 154, -405, 427, -151, -868, -126, 395, 113, -69, 385, -233, -352, 404, -640, 343, 50, 868, 121, 424, 1342, 1183, -563, -701, -486, 536, 317, -196, 456, 1155, 92, -287, 110, -121, -190, 9, 490, 249, 12, 622, 211, -259, -85, -39, -272, -45, -76, 274, -142, -483, 22, 607, -14, 175, -24, 83, -311, 729, -284, 1308, -252, -351, -583, 37, 286, -752, 110, 288, 408, -60, 476, 1124, 285, 230, -114, 499, 135, -360, 78, -407, -660, -231, -157, 290, 168, 170, 102, -282, -276, 257, -65, 13, 61, 508, -111, 1284, 235, 633, -583, -64, 79, -230, -100, -271, 274, 778, 243, -596, 512, -476, -27, 69, 33, 8, 316, -287, 693, -855, 256, -261, 42, 865, -370, -120, 608, -728, -432, 340, -264, 472, 161, 687, -249, 74, 347, 790, -277, -53, -198, 656, 508, -236, 7, 575, -164, 70, 131, -262, 159, 102, -313, -516, -292, 188, -318, -204, 22, -516, -644, 114, 141, 341, -175, 341, 371, 1137, -88, 276, 53, 281, 364, 929, 137, 557, -598, 235, -235, -127, 417, -346, -23, 576, -84, 151, -233, 1087, -129, 17, 836, 71, -41, 573, -105, -938, -758, -588, 147, 264, -7, -316, 361, 175, -385, -51, 327, 197, 27, 629, 621, 434, -224, 1105, -549, -965, -513, -467, 186, -516, 473, 1153, 491, -559, -17, -161, 243, 16, -349, -233, 274, -693, 120, 96, 103, -282, -525, 6, -216, 190, 185, 180, 152, 617, -456, 162, -6, -725, 228, 192, -338, 118, -439, 185, -432, 373, -32, 94, 379, 190, -152, -556, 396, -36, -140, 59, -70, 556, 263, 198, 192, -200, -110, -81, -217, 140, -131, -172, -312, 103, -266, 343, 555, 543, 76, -460, 377, 88, 45, -21, -540, 147, -703, 869, 798, -758, -559, 1053, -375, -539, 206, -303, 335, 97, 196, -459, -173, 243, 513, -519, -62, 18, -84, 376, -627, 425, -260, -106, 329, 288, -383, 686, 7, 344, -51, 1043, 213, 247, -808, -226, 61, 1114, 31, -410, 16, 770, -126, -868, -12, 235, 92, -96, 909, -200, 347, -635, 589, 330, -154, -554, -439, 302, 94, 31, 309, -806, -90, 256, 197, 265, 85, 34, -124, 1107, -436, -314, -400, 322, -513, -188, 835, -692, 35, 1036, 145, -28, 756, 87, 45, -33, -141, 17, 57, 321, -281, 357, -419, 498, -730, 253, 250, -608, 106, -244, -354, 947, 163, 88, 14, 522, 202, 792, 225, -26, -974, 33, -916, -294, 162, -562, 353, 1554, -311, -302, 237, -716, 136, 53, 31, -503, 676, 358, 190, -232, -170, -364, 13, 1016, -479, -505, 715, -543, -134, 1021, -147, 508, 64, 1022, 74, -549, 184, 952, -657, 232, 190, 468, -678, -564, -422, 716, 414, 681, -132, 665, 377, 17, 19, 339, -175, -714, -338, -136, 501, -526, -338, 655, -342, -342, -5, -550, 70, -168, -249, 1313, 12, 84, -500, 1127, 208, 483, -472, -864, -261, -29, 112, -636, 543, 1055, -353, -1605, 230, 74, 570, 102, 117, 823, 493, 81, -115, -385, -418, 184, -278, 405, -130, -20, -298, -18, -1, -672, 496, 614, 37, 28, 298, 209, -537, 1487, -17, 62, -711, 340, 336, -7, -461, 219, -109, -456, 662, 278, 126, -43, 17, -756, 155, -274, -224, -1006, -537, -849, 43, 204, 190, 199, -763, 305, -178, 480, -326, -124, 55, 154, 168, 1604, 19, 1027, -912, -711, -65, -425, 141, -414, 506, 874, 121, -670, -15, 774, 74, 41, 292, 326, -138, -307, -180, -951, -275, -307, -388, -286, -907, 1170, 508, 461, -242, 413, 115, 909, 105, -336, 34, 55, -26, 297, -237, -604, -326, 435, 861, -43, -101, 763, -127, 194, -346, 321, 916, 3, 69, -121, -204, 5, 239, 474, -13, -718, -786, 424, -440, -458, -48, -253, 594, 464, -175, 187, -32, -161, -269, -545, 322, 1633, -627, 6, -909, 73, 401, -602, 8, -118, -567, -777, 428, 1542, 12, 101, 400, -390, 61, -11, -476, -413, -453, 351, 411, 1042, 213, -51, -430, -1187, 100, 466, 447, -517, 17, -88, 370, 534, -12, -156, -276, -123, -103, -69, -150, 81, -176, 709, 487, -1185, -55, 402, 719, -30, -419, -50, -197, -628, -770, -155, 537, -1174, -699, 783, 207, -358, -107, 257, 400, -365, -423, 371, 92, 559, 114, 414, -181, 757, -403, -1060, -306, -24, -51, -91, 0, 1163, -16, 283, -120, 126, -162, -14, 221, -24, 446, -138, 292, -808, -314, -570, -122, 997, -248, 23, -167, 13, -929, 284, 773, 1185, 141, -260, 847, 682, -558, 810, -1173, 65, -535, 104, 1063, -771, -267, 1235, -868, -738, -206, 713, -299, 42, 119, -288, 211, 241, 112, -469, 187, -357, -460, -408, -397, 113, -606, 566, -61, 734, -708, -99, -6, 828, 648, 1217, 629, -195, -1018, -477, -787, -413, 171, -826, 233, -418, 410, -230, 68, 509, -151, -8, 659, -409, -91, -103, 249, -483, -224, -767, -296, 1076, -275, -235, 157, -155, -320, -279, 457, 651, 83, 415, -65, -312, 168, 705, -28, -731, -795, -22, 91, 357, -398, 816, -447, -1195, 384, 611, -256, 140, 155, -230, -548, -178, -46, -960, 213, 1044, -626, 135, 732, 939, -669, -680, -445, 381, -28, 884, -20, -376, -232, 272, -425, -63, -675, -542, -96, 297, -46, -89, 26, 1589, -721, -332, 419, 1216]