# Trace form for 4009.2.a.f, downloaded from the LMFDB on 23 April 2024.
[0, 83, 11, 0, 95, 15, 23, 19, 30, 101, 9, 56, -2, -5, 6, 19, 123, 19, 40, -83, 49, 9, 18, 74, 38, 98, 28, 6, 50, 16, 56, 24, 81, 13, 9, 71, 156, -6, -11, 126, 1, 0, -1, 34, 140, 42, 34, 53, 16, 118, 51, 57, 32, 1, 53, 60, -2, 0, -2, 44, -9, 21, 28, 83, 154, 44, 17, 5, 63, -36, -48, 193, 135, 54, 127, 5, -95, 54, 45, 54, 45, 147, -35, 84, 12, 28, 60, 51, 23, -24, 31, 28, 108, 39, -49, -15, 25, -22, -67, 132, 68, 88, 46, 26, 37, -37, 58, 65, -193, 13, 16, 52, 87, 42, -23, 35, 123, -77, -106, 220, -120, 155, 35, 19, 36, 90, -133, 40, 145, -17, 68, 109, -15, -19, 79, 98, -61, 33, -144, 50, 239, 67, -8, 29, 271, -55, -34, 31, 0, 119, 62, 124, -30, 27, -4, 15, 136, -6, 22, 86, 59, 138, -19, 114, -57, -71, -40, 230, 36, 190, 6, -101, 11, 22, -112, 100, 200, -2, 0, 147, -94, -89, 92, -10, 21, 12, 33, 31, 96, 29, -9, 213, -19, 39, 15, 61, -77, 121, 46, 83, 129, 74, -33, -1, 45, -52, 148, 256, -204, -56, -45, 83, 34, -24, 24, 244, 180, 6, -38, 67, 190, -73, -103, 52, -30, 81, 17, 129, 2, -34, 20, 61, -48, 75, -165, 116, 180, -6, -102, 434, -286, -9, 129, 3, 119, 164, -22, 5, 18, 57, -69, 93, -86, -47, 294, 267, 217, -107, 32, -14, 129, -12, 43, 97, 67, -64, -6, -83, -75, -147, 78, -13, 116, 51, 118, 249, -110, 122, -107, 59, -76, 101, 74, 16, 233, -19, -95, 91, 64, 66, -130, 47, 70, -12, -215, -60, 421, -92, -232, 70, 50, 53, 185, 137, -123, 21, 62, 0, 21, -89, -168, 304, 50, -59, 102, 65, -156, -5, -102, -16, 90, 62, -231, -19, 109, -32, 134, -188, -305, 65, 90, 123, 148, -104, 69, -1, -167, -108, 96, 107, -28, -107, -40, 59, 134, -91, -128, 94, -242, 85, 24, 472, 10, 119, -249, 45, 17, -154, 44, 392, -218, 83, 59, -137, 17, 103, -184, 129, 154, 32, -174, 124, 246, -47, 73, -112, -120, -11, 20, -26, -49, -86, 46, 161, -196, -177, 139, 211, -3, 106, -241, 153, -235, -108, 65, 78, 286, -57, -179, -9, -74, 40, -59, -109, 109, -10, -17, 219, -297, -44, 246, -268, -41, -23, 67, 165, 263, -75, -18, 76, -203, 28, 11, -76, -145, 187, 180, 34, 113, 182, -135, 569, -294, -73, 24, -101, -58, -74, -183, 28, 4, 117, -271, 8, 67, -135, 102, -44, 140, 42, -44, -135, 91, -47, -160, 180, -38, -26, 111, 35, -423, 157, -147, 158, 319, 94, -71, 144, -621, -75, 182, 27, -265, 113, -157, -98, 250, -54, -247, 180, -636, 57, 87, 93, -107, -216, 304, -76, -158, -129, -181, 287, 77, -52, -28, -7, 20, -20, -485, 89, 25, 104, -101, 188, -274, 76, -220, -22, 168, -141, -104, -21, 298, -6, -141, 114, -372, -142, -151, 293, -154, -38, -23, -152, 257, -217, -255, 109, 0, 89, -123, 19, -50, -41, 206, 196, 67, -292, -227, 250, -103, 149, -283, 85, -303, -55, -43, -78, 54, 37, -285, -16, -233, -28, -56, -185, -133, 26, 60, -57, 114, -137, 206, -33, -89, -176, -4, 51, 14, 129, -56, -11, -131, -181, -419, 377, 150, 126, -4, 54, -307, 219, -327, 19, -9, 151, -165, -11, -336, -24, -112, 329, -193, 73, -334, 110, 166, 29, -269, 118, -33, -67, -188, -135, 65, 159, -56, 75, -81, -264, 26, 299, -377, -106, 10, 138, -124, 17, -444, 111, -304, -243, -91, 331, 104, -19, 41, -13, -290, -37, -626, -14, -148, 0, 31, 20, 137, -33, 147, 330, -487, 3, -18, -276, 307, -159, -9, 112, 88, -1, -265, -82, 0, 149, -159, 76, -429, 158, -583, 185, -220, -114, -255, 20, -222, -71, -8, -26, 143, -2, -503, 517, 100, -21, -195, -408, 401, -89, -410, -141, -31, 148, -151, -38, -156, -255, 116, 164, -419, -18, -578, 111, 13, -150, -138, 508, -542, 51, -56, -44, -92, 73, -154, 6, 347, -138, -243, 106, -827, 100, -37, 415, -527, -150, 56, -321, 147, -194, -60, 411, -412, -2, 11, 127, -72, -216, -385, -282, 195, 299, -209, 69, -751, 45, -69, 188, 228, -12, -347, 150, -264, -126, -251, 423, -576, -22, -32, 80, -12, -10, -498, -207, 237, -192, -395, 13, -33, -51, -203, 25, -1, 83, -322, -77, -14, -20, -245, 358, -91, -22, -573, 342, -248, -134, -74, -6, -198, -234, 59, 0, -366, 111, -375, -237, -485, 82, 359, 66, -112, -282, -109, 243, -374, -135, 21, -353, -82, -108, 1, 66, 272, -316, -114, -31, -65, 208, 90, -183, -266, 454, -676, -51, 3, -45, -187, 84, 65, -34, -57, -132, -664, 340, -581, 109, 212, -118, -208, -71, 193, -139, -375, -159, -329, -107, 208, 198, -140, -225, 18, 64, -685, -137, -228, 152, 95, 55, -656, 266, -144, -28, -31, 52, -370, 39, -140, -42, -152, 136, -404, -112, -79, -157, 28, 385, -252, -227, 187, -500, -357, 252, -30, -93, -369, -526, -34, 207, 1, -22, -92, 308, -9, -24, -229, -38, -389, -131, -439, 221, -324, -57, -137, 57, -99, -53, -501, -130, -306, -231, -506, 345, -175, -226, -361, -414, 196, -29, -541, -231, 338, -27, -316, 427, -16, -287, 3, -46, -184, -162, -268, 191, -525, 306, -476, 254, -732, -136, 290, -79, -298, 212, -262, -118, 45, 16, -221, -24, -809, -101, -156, 24, -367, -241, -90, 24, -65, -315, -134, 172, -443, -75, -51, -223, -509, -48, -416, -328, 775, 265, -133, 429, -1294, 131, -399, 67, -215, -71, -39, -129, 71, -57, -551, -147, -819, -264, -68, 532, 192, -87, -898, -327, 285, -197, -574, 156, 118, -161, -32, -314, -32, 176, -176, 94, -129, -135, -331, 335, -295, 23, -379, 230, -571, -252, -242, -113, -138, -346, -209, -1, -897, -71, -468, -138, -663, 262, 291, 66, 495, -426, -57, 450, -66, -213, -99, -90, 213, -256, -53, -244, -104, -338, -501, 544, -200, 34, -52, 123, -458, 261, -532, 51, 65, -197, -473, 95, 87, -60, 55, -80, -553, 73, -933, 389, -130, -326, -70, 15, 350, -149, 107, -27, 225, 62, -11, -109, 2, -689, 252, -31, -456, -159, 322, 859, -290, 51, -459, 184, -411, -208, 114, 635, 112, 12, 81, 0, -349, 56, -134, -221, -35, 334, 378, 205, -278, -302, 612, -294, -100, 83, 369, 38, 227, -287, 2, 358, 278, -647, 103, -425, 92, 101, 373, 296, -722, -213, 65, -9, 398, -11, -127, 469, -397, -44, -523, -112, 91, -196, -207, 597, 325, 98, -619, -311, 598, -201, -694, -122, 520, -255, 3, 252, 9, 16, -123, 2, -266, 149, 634, 25, 85, -18, 9, 985, 75, -158, 78, 256, -114, -191, -175, -21, -313, 25, -358, 118, -276, 121, 273, 221, 265, -400, 531, -343, -486, -70, 194, -10, 234, -65, -28, 55, 457, -247, -435, -350, 500, 219, 130, 427, -472, 105, -294, 637, -145, 121, 312, 426, 227, -83, -702, 748, 195, -41, -305, -101, 123, -29, 139, -207, 741, -128, -318, 172, 227, -46, 144, 339, -154, -189, 479, -242, 103, -13, 493, 252, 468, 110, -140, 530, -24, 207, 447, 404, -135, 11, -111, -44, -100, -170, -54, -264, -573, 220, 290, 284, 250, -527, 647, 251, 157, -208, 227, 57, 104, 38, -17, -332, 444, -36, -658, -14, 455, 73, -348, 178, -354, 212, 23, 174, -234, 306, 181, 625, 576, -5, -95, 247, -352, 180, -206, 317, 274, 16, 212, -280, 449, -7, -345, -558, -124, 84, 685, 238, -63, -313, 319, 113, -82, -16, 163, 457, 530, 118, -271, 22, 233, -210, 454, 95, -229, 439, 469, 36, -369, 51, -108, -268, -176, 247, 75, 660, -176, -321, 167, -520, 129, -169, 422, -88, 348, -617, 48, 441, 415, -256, 99, 128, 535, 71, 587, 60, -655, 540, -40, 287, 296, -574, -31, -280, -3, -193, -293, 95, -90, -659, -174, 488, 1000, 24, -405, 140, 284, 192, 198, 170, -118, -211, 444, 249, -135, -37, 630, -233, 109, 87, -125, 102, 251, -6, 180, 373, -496, -85, -96, 277, 59, 28, -18, -54, 283, -13, -90, 201, -752, 38, -161, -80, 601, -82, 562, 39, -242, -57, 441, -183, 407, 169, -127, -321, 536, -191, -190, -145, 462, -49, 333, 672, -847, -168, -174, 437, 204, -34, 361, 36, -216, -5, 80, 1, -693, 8, -405, 420, 380, -357, -207, -42, 1229, -145, -78, 712, 165, -192, 140, -200, 95, 96, 588, 2, -175, 75, -194, 912, 362, 57, -190, 350, -127, -171, 234, -134, -265, 59, 151, -54, -886, -293, -314, 154, -52, 186, 105, 276, -147, -449, 385, -301, -100, 19, 164, -178, 538, 202, -45, -256, 185, -592, 521, 51, 717, 1, 272, 348, 17, 295, -557, 210, 669, -205, -385, 336, -396, -54, 539, 744, -125, -150, -842, 367, 21, 64, 505, -130, 987, -99, -252, 196, 513, -35, -346, -297, -45, 42, 588, -18, -254, -423, 701, 227, 215, 90, 140, 201, 209, -339, -212, 458, 200, -83, -131, -147, -25, 406, -198, -176, -73, -114, 668, 2, 61, -159, 823, 242, 332, 34, 437, -386, -227, -328, 35, 361, -175, -367, 496, -230, 7, -29, 979, 368, -500, -177, -244, -52, 599, -68, 201, -5, -136, -84, -483, 146, -226, -26, -235, 518, 426, -365, 301, -410, -128, -143, 244, 368, -2, -699, 182, -162, -12, -75, 359, 105, 201, 126, 273, 60, 291, 158, -717, 890, -145, 2, 2, 299, -46, 4, 70, -28, 282, 130, -260, 566, -911, 588, 709, 521, 1, -418, 851, -282, 67, -392, 991, 312, -366, -196, -60, -319, 121, -428, -349, 85, 549, -169, 759, 105, -635, -266, 433, 341, 463, 752, 420, -353, 297, -51, -87, 60, 772, -91, -530, 138, 1151, -82, 149, -344, 887, -221, -79, 87, 243, -87, -197, 132, -23, -73, -108, 16, 242, -327, 201, 718, -268, 51, -32, 56, 46, -24, 109, -135, 30, 109, -248, 24, -68, -155, -191, -25, -585, 483, 125, -13, 61, -231, 1032, 214, 339, -431, 183, -132, 118, -297, -31, -4, 642, -142, 47, -15, 522, -304, -131, 841, -2, 211, 847, -65, 1104, -116, -150, 592, -635, -28, -55, 443, -270, 161, -1083, 163, 60, 480, -332, -232, 874, -202, -360, 249, -93, -252, 554, 353, -108, -165, 191, 320, 803, -93, 178, 630, 427, 372, 56, 454, 401, 261, 571, -2, -827, 80, 421, -39, -760, -144, 393, 128, -413, 382, 582, 698, 823, -83, 717, 207, -730, -211, 115, 180, -130, 21, 49, 107, 380, -379, -15, 59, 726, -47, 772, 98, 147, 212, -491, 892, 799, 351, -262, 57, -910, 15, 237, 75, -914, -560, 261, 603, 795, -284, 176, -674, -302, 289, 190, -7, 1072, -34, 30, 176, -25, -84, 304, -189, -233, 7, 656, 407, 549, 346, -286, 214, 99, 567, -85, 295, -1163, 333, 753, 22, 184, -272, -168, 41, -1021, 85, 198, 278, 808, -524, 556, -32, -345, 477, 526, 393, 992, -192, 67, 71, 331, 122, -331, -270, 413, -198, 388, 842, -1017, 22, 301, 144, 584, 88, -453, 177, 141, -132, -217, 17, -672, -365, -577, 734, 325, 370, 95, -248, 598, -217, -269, 116, -121, -756, 42, 101, -68, -128, 1725, -62, 829, -454, -194, -104, 372, -9, -1, 961, -158, 131, 614, 322, 174, -341, -235, -88, -1132, -399, 201, -225, -279, 688, 1003, 450, -138, -255, 746, -136, 210, 29, 158, 264, 217, -87, -46, -653, -112, -539, 443, 758, 600, -382, 242, 144, 163, 112, 185, -155, -162, 150, -168, 136, -416, -26, 9, -319, -320, 380, -416, 373, 502, 197, 165, -180, 742, 220, -529, 164, 1511, -247, 260, 29, -37, -423, -337, 113, -55, -58, 657, 374, 247, 289, 28, 65, -40, -173, 818, -25, -327, -202, 208, 37, 264, 119, -602, 213, -864, 250, 346, 236, -53, -263, 303, 37, 166, 270, 96, 46, 356, -469, -58, -141, -73, -440, -248, -223, 287, 338, 99, 350, -741, -408, 430, -215, -208, -143, 73, 622, 416, -65, 62, 39, -306, 67, -271, 1179, -129, 189, -379, -288, 706, -14, 274, -199, 871, -485, 123, 31, 193, -370, -43, 182, -147, -38, -335, 403, -180, 99, 575, 512, -391, -222, 55, -246, -38, 573, -115, -13, 762, -623, -55, 560, -62, -85, -48, 801, 174, -301, 1540, -469, -413, -241, 159, 179, 53, -212, -16, 8, 60, -369, -708, 82, 819, 536, 1202, 111, -273, 223, 64, -2, 80, -162, -946, 22, -595, -52, 9, 831, -467, -558, -275, 697, 1017, -382, -10, -361, 349, -101, 52, -125, 944, 189, 110, -256, -87, 321, 356, -284, 216, -281, 163, 468, 1286, 23, -570, -211, 190, 194, 849, 490, 314, -192, -109, -42, -224, -571, -576, 316, -727, 666, 607, 658, -292, -319, -38, 140, -451, 50, 211, -402, 561, 48, 23, -312, -380, -600, 76, 211, -169, -435, 467, 556, -457, 437, -84, -195, 145, 42, 642, 46, -377, -35, -181, 93, 176, -83, -1054, 486, 489, -213, -214, -162, 1072, 32, -740, 176, 1044, -218, 4, -239, -123, -333, 382, 253, -658, -152, 569, -4, 473, 189, -672, 189, 423, -62, -103, 270, -499, 166, 431, 77, -550, -473, -1230, -760, -79, 329, 366, 666, 1202, -596, 581, -682, -420, -386, -38, -182, 180, -167, 106, 280, -726, -296, 269, -475, 125, 20, 1034, 376, -11, -662, 139, 682, 726, -6, -597, 402, -984, -220, -167, 193, -415, -465, 44, 339, 581, 84, -1133, -240, 991, -81, -995, -540, 597, -373, 332, 705, 120, -221, 604, -60, -90, 39, 1038, 579, -502, 256, -258, 118, 237, -231, 353, -101, 393, -19, -724, -155, 651, -420, 89, -13, -627, 579, 287, 415, -453, -11, 1214, 80, -428, -650, 511, 125, -275, 111, -35, -426, 476, 56, 953, 10, 828, 346, 571, 363, -1080, -304, 118, -445, 1111, 134, -111, -184, 670, -19, -755, 1, -264, -71, -583, -223, 121, 163, 1253, 86, 456, 234, -399, 668, 883, -529, 85, -449, -36, 213, 194, 30, 412, -474, 178, -226, 2008, 374, -54, 31, -328, -302, 1700, -232, -512, 92, -660, -90, -233, 242, -634, -98, -240, 348, 1253, 226, -55, -436, 605, -37, -732, -421, 801, 296, -44, -191, 133, -387, 578, -253, 266, 324, -60, -321, -91, -289, 310, -107, 464, 0, -239, -68, -115, -37, 971, -40, -48, -599, 9, 366, -509, 334, 584, 63, 337, 296, 524, -639, -25, -121, -305, -191, 371, 3, -145, -728, 431, -49, 633, -256, -61, 309, 1500, 274, 460, -32, 209, -184, 579, 66, -342, -295, -253, 17, 100, -325, -195, 41, -839, 524, 627, 771, 942, -70, 1158, -104, -1576, 522, 1382, -78, -37, -784, -68, -53, 254, -967, 651, 49, 608, 88, 552, 351, -1312, -24, 95, 97, 310, 94, -296, -265, 17, -109, 410, -392, -1, 94, 116, 588, 1910, 431, 152, -1083, 764, 113, -450, 106, 880, -1036, -65, -41, 15, -253, 144, 819, 431, -416, 581, -183, -772, 454, 99, 247, 530, 52, 696, 184, -761, -19, 204, 19, -415, -462, -738, 295, -2, 279, -597, 602, 147, -414, 1330, -217, -724, 49, 400, 492, 238, -480, -79, -669, 491, -688, -410, -101, 1120, -398, 154, 44, 285, 321, 203, 515, 296, -158, 293, -472, -169, -98, 1340, -76, -767, -468, -856, 721, -83, -50, -44, -122, 1352, 268, -614, -50, 1109, -279, -914, -509, 61, -244, 719, 275, 400, -432, 576, 1087, 340, 137, -429, 48, 524, -357, 254, 180, -1006, 127, 921, -33, 60, -176, -139, -14, -543, 305, 833, 119, -50, -802, 184, 1012, -605, 217, 687, -226, 635, -523, 144, -434, -743, -871, -307, -263, -224, 435, 370, 716, -261, -172, -392, 76, 298, -401, 0, 164, -1088, -50, 410, -514, -548, 498, -765, 476, -1284, 131, 298, -178, 721, -237, -480, -46, 548, -187, -134, -344, -239, -265, 582, 23, 1320, -278, 358, -97, 740, 317, 876, 328, 1291, -349, 1013, 232, 528, -66, -212, -67, -1268, 240, -634, -238, -299, 386, 649, -177, -529, -411, 556, -370, -169, -509, 372, -301, 38, -488, 8, 12, 184, -40, 649, 28, 289, -56, 507, 230, -260, 206, -3, 187, 1137, -158, -362, -607, -1201, -29, 217, -220, -323, 50, -435, 580, 350, -108, -149, -207, 713, -609, -679, -347, 890, -382, -215, 159, -271, -225, -67, -94, -563, 142, 1780, -5, 8, 141, 625, -100, 302, -200, -1049, -108, -906, -224, -545, 55, 999, -233, -63, 538, -1665, -174, 579, 377, 405, -1153, -2, -9, -372, 805, 660, -80, 52, -184, 34, -806, 434, -277, -11, -141, 1051, -449, 1765, 42, -1624, -802, 1051, -14, 607, 12, -542, -17, 191, -31, -316, -440, -278, 172, -346, 823, 903, 405, -57, -442, 771, -506, -705, -85, 429, -64, -664, -9, 0, -88, 606, -85, 876, 112, 57, 4, 894, 29, -705, -409, -394, 37, 1671, -232, 131, -101, -480, -119, -401, -769, -616, -956, -600, 526, 696, 506, -405, -759, -62, -262, -626, 9, 816, -22, -1103, -154, -62, -416, 976, -515, -102, 106, 1336, -341, 75, -546, -395, -98, 469, -137, 382, 553, -3, 28, -1673, -124, -376, 97, -558, -87, -6, 776, 893, 477, -187, 903, 782, 487, -959, -222, 390, -157, -615, -214, 30, -325, 431, 220, 985, -477, 227, 667, 1260, 97, -1310, 83, -281, 280, 408, 67, -764, -186, 437, -27, -281, -424, 393, -589, -19, 34, 123, 205, 1897, -140, 267, -447, -809, -260, 1136, -228, -315, -375, 4, 136, -945, -662, 983, 135, 49, 42, 799, 319, -465, 49, -373, -182, 1133, -126, 9, -591, 134, -15, 299, -117, 236, -628, -683, 1232, 417, 2, 6, -961, 492, -153, -756, 217, 451, -871, 233, -61, -136, -718, 194, 38, -634, 545, 356, 10, 212, 518, -341, 60, -269, -95, -340, 439, 1699, -262, 868, 6, 219, -576, 76, 436, -1231, -115, 258, 782, 5, -322, 481, -684, -675, -49, 817, 1056, -1778]