# Trace form for 4007.2.a.a, downloaded from the LMFDB on 19 April 2024.
[0, 139, -13, -22, 113, -16, -15, -44, -36, 87, -40, -17, -59, -89, -15, -29, 73, -58, -51, -37, -24, -37, -99, -42, -27, -11, 2, -73, -113, -57, -29, -51, -80, -78, -28, -34, 28, -117, -31, -36, -107, -60, -41, -109, -21, -62, -92, -26, -90, -7, -22, -47, -182, -83, -19, -53, -23, -201, -112, 14, -64, -73, -21, -94, 14, -123, -10, -135, -84, -50, -35, -29, -143, -266, -53, -32, -66, -69, -59, -124, -20, -33, -93, -28, -4, -179, 6, -40, -259, -41, 2, -50, -77, -60, -48, -37, 3, -220, -9, -35, -135, -30, -16, -82, 40, -166, -60, -98, -154, -182, 8, 17, -221, -127, 1, -66, -93, -173, -72, -2, -31, -138, -24, -78, -67, -30, -2, -229, -138, -131, -73, -7, -68, -194, 48, -65, -36, -116, 23, -129, -23, -96, -170, -26, -14, -262, 65, -94, -193, -32, -11, -119, -12, -203, 9, 2, -1, -143, 24, 42, -129, -89, -30, -125, 7, -89, 32, -63, -45, -104, -21, 43, -268, -97, 140, -102, 26, -218, -142, -10, -28, -156, -12, -75, -176, -54, -9, -89, 34, -99, -37, 58, -108, -534, 52, 58, -54, -92, -113, -48, 44, -21, -73, 16, 16, -196, 125, -106, -280, -71, 90, -167, -66, -63, 5, 15, 118, -465, 52, 0, -33, -7, 64, -97, 55, -196, -28, 9, -155, -53, 53, -23, -262, -304, 196, -149, 87, -61, -217, 8, -13, -205, 81, -111, -41, 24, 83, -144, -54, -168, -48, 40, -22, -256, 73, 69, 27, -188, 97, -91, 18, -175, -73, -80, 184, -270, 77, 19, -233, 30, 46, -57, 1, -98, -90, -26, 50, -409, 48, -57, -63, -133, 15, -161, 29, 1, 48, 12, -94, -211, 139, 68, -332, -54, 194, -176, -51, -165, -131, 62, 117, -62, -20, -162, -68, -76, 56, -116, 0, -30, 1, 36, -15, -410, 162, 46, -222, -121, 150, -37, 105, -132, -127, 17, 48, -208, -28, 79, -188, -118, 161, -81, 27, -244, 26, 79, 113, -777, 0, 98, -287, 76, 57, -151, 146, -124, 10, -64, 74, -91, 142, 65, -441, -50, 36, -21, 66, -20, -224, 77, 144, -248, 94, 38, -4, 28, 224, -146, 56, -161, 65, 70, 139, -456, 251, 65, -65, -52, 114, -46, 43, -23, -119, 57, 212, -232, 150, -77, -164, 45, 288, -138, 187, -451, 20, 112, 256, -188, 102, 248, -213, -119, 109, -250, 120, 111, 63, -123, 166, -242, 200, 117, -163, -33, 139, -227, 188, -372, 9, 91, 112, -107, 155, 80, -32, -49, 117, -125, 16, -15, 13, 45, -6, -442, 176, 19, -246, -45, 149, -114, 325, -82, -38, -54, 361, -313, 129, 107, -262, -68, 304, -6, -64, -23, 154, 121, 106, -570, 110, -31, 130, 106, 319, -117, 92, -26, 98, 107, -33, -217, 308, 82, -34, -224, 334, -34, 334, -247, -68, 129, 216, -206, 253, 66, -80, 36, 157, -269, 53, 56, -7, 12, 54, -172, 348, 101, 26, -248, 241, -63, 305, 3, 24, 44, 369, -362, 211, 40, -352, 7, 403, 101, -34, -534, 42, 51, 233, -304, 245, 20, 81, 54, 63, -156, 274, 113, 104, 42, 237, -237, 284, 308, -63, -8, 197, 28, 205, -173, 15, 165, 116, -154, 183, 24, 166, -88, 465, -350, 130, 22, -35, 121, 399, -302, 223, 123, -180, -93, 72, 146, 247, -128, -81, 36, 120, 60, 337, 26, -305, -93, 440, -93, 222, -38, 269, 45, 187, -289, 102, 378, -19, 45, 225, -179, 462, -291, 198, 113, -41, -296, 209, 173, -205, -86, 484, 107, 268, -51, 225, 171, 339, -442, 376, -126, -83, 155, 281, -171, 137, 176, -24, 172, 137, -332, 333, 155, 288, -213, 100, 48, 412, 77, -120, 134, 371, -393, 140, 18, -182, 176, 570, 47, 374, -215, 67, 179, 520, -389, 239, 253, -15, -136, 322, 76, 241, 10, -45, 98, 75, -408, 429, 345, -77, -87, 261, -14, 387, -419, -58, 178, 290, 15, 244, 177, 192, 163, 175, -190, 94, 97, 268, 334, 409, -1071, 183, 159, 45, 8, 348, 122, 231, -37, 205, 50, 703, -75, 404, 71, -374, 89, 322, 92, 204, 32, -69, 219, 633, -656, 363, 262, 134, 88, 342, -160, 478, 117, 261, 212, -123, -101, 356, 42, -118, -30, 498, -75, 362, 175, 30, 126, 268, -366, 293, 225, -23, 29, 532, 139, 205, -78, 168, 139, 313, -76, 281, 402, -69, -310, 229, 112, 551, 370, 229, 68, 257, -477, 434, 124, 65, 106, 597, -16, 360, -294, 338, 249, 382, -244, 140, 380, 169, 69, 524, -40, 613, 59, 261, 109, 201, -58, 460, 263, -509, 133, 491, 136, 408, -144, -76, 273, 636, -180, 416, 191, 260, -76, 548, -115, 218, 119, 138, 290, 69, -692, 474, 252, 169, 135, 359, -19, 329, 74, -62, 263, 771, -118, 279, 27, 167, -94, 642, 25, 508, -122, 260, 344, 601, -421, 433, 483, -4, 109, 297, -243, 571, 38, 363, 70, 309, -40, 291, 316, -191, -314, 442, -114, 144, 113, 118, 158, 721, -304, 168, 447, -33, 419, 544, -130, 221, -33, 511, 360, 582, -268, 381, 319, 264, -325, 283, 115, 336, 145, 0, 144, 732, -362, 401, 201, -214, 140, 546, 158, 465, -186, 135, 134, 269, -491, 320, 283, 490, 177, 440, -98, 496, 286, 142, 216, 617, -328, 520, 268, 40, -33, 647, 212, 410, -214, -107, 313, 165, -53, 621, 443, 167, 123, 385, -157, 453, 242, 376, 215, 297, -560, 450, 228, 225, 346, 418, -107, 579, -72, 220, 149, 635, -122, 326, 141, -250, 87, 543, 34, -69, -28, 222, 223, 912, -513, 580, 438, 53, 72, 461, -5, 598, -243, 188, 32, 495, 17, 324, 410, -278, -231, 536, 113, 436, 291, 23, 319, 599, -198, 387, -10, 256, 189, 555, -186, 542, 268, 329, 203, 452, -114, 361, 288, 247, -105, 423, 104, 683, -133, 180, 193, 534, -329, 343, 272, 93, 308, 426, 0, 357, 96, 668, 146, 32, -248, 236, 414, 119, 69, 412, -256, 475, 143, 282, 286, 256, -598, 460, 530, -39, 122, 591, 124, 231, -264, -13, 11, 579, 105, 299, 318, 234, 133, 457, 80, 5, 238, 58, -3, 367, -686, 397, 429, 79, -154, 83, 154, 425, -57, -116, 259, 103, 59, 242, 84, 97, -87, 382, -105, 186, -205, 287, 273, 336, -766, -85, 510, -288, 302, 529, -141, 459, -81, -114, 4, 263, 43, 484, 310, -386, -286, 221, -118, 397, 36, 62, 215, 258, -380, 64, 98, -230, 147, -320, -56, 203, -322, 529, 149, 261, -530, 154, 63, -14, -114, 241, 59, -81, 50, -79, 234, 362, -76, -110, 32, -868, 133, 149, 165, -58, -325, 24, 154, -178, -663, 329, 368, 163, -210, 378, 98, 130, 160, -45, 6, -99, -658, -265, 35, -46, 2, 2, -243, 90, -152, -103, 240, 551, -124, 157, -46, 380, -313, 315, -105, -222, -13, -63, 170, -202, -680, 420, 509, -305, -131, -246, -67, 394, -434, -96, -96, 87, 37, -314, 304, -385, 50, -511, -47, 92, -196, 121, 167, 271, -886, 262, 108, -188, 177, 95, -192, -164, -168, -274, 118, -279, 135, 150, 287, -177, -264, 466, 32, 148, -86, -307, 227, -77, -493, 266, 197, 161, -286, 23, -111, -83, -76, -18, 238, -346, -435, 178, 226, -151, -344, 115, -188, -83, -185, -124, 54, 26, -517, 28, 109, -193, -5, 126, -51, 26, -506, -31, 108, -150, -226, -600, 425, -177, -48, 23, -275, 264, 190, 140, -173, -153, -177, 371, 150, -502, -24, 239, 156, -30, -399, 113, 293, 168, -356, -4, 249, -337, -261, -444, -63, -276, -62, 91, 85, -113, -650, -184, 67, 146, 113, -180, 290, 256, -297, -266, 13, -334, -295, 33, 240, -429, -141, -107, -46, -31, 286, 61, 217, -445, -1122, -170, 297, -2, -123, 88, -373, -314, -363, -328, 17, -226, -26, -109, 255, -383, -302, 485, -123, -223, -388, -259, -156, 328, -294, 81, 115, 9, 171, -730, -501, -392, -83, 44, 60, -152, -370, 278, 308, -30, -86, -181, -82, -172, 21, -10, 55, 261, -247, -398, 49, -1072, 302, -204, 81, -20, -567, 406, 72, 204, -265, -284, 79, -489, -161, 138, -48, -7, 399, -606, 109, -551, -428, -74, 292, -340, -27, 191, 21, 172, -315, -60, 37, -652, -391, -530, -227, 345, 167, -483, -371, 90, 351, 12, 244, -242, -806, 109, 24, -200, -93, -74, 88, -13, -399, 160, 68, 312, -296, 43, 152, -1272, -14, -472, 185, 327, -21, 209, 220, -486, -447, -210, 280, -6, 92, -109, -159, 137, -396, 90, -208, -611, -239, 245, 250, -281, -301, -19, -108, -959, -206, -225, 234, 652, -248, 355, 101, -326, 169, -488, -108, 102, -126, -95, 27, -240, -511, 267, 374, -192, -537, -429, 25, -246, 315, -251, 64, 147, -1038, -163, 8, -228, 258, -383, -245, 58, -313, 136, 486, -260, -149, -19, 163, -488, -359, -133, -91, 265, -374, -101, -26, 409, -210, -613, 112, -685, -34, 80, -43, 382, 16, -45, 172, 133, -24, -438, 7, -421, -29, -731, -176, -786, -56, 451, -195, 145, -1265, 211, -64, -68, 141, -175, 222, -51, -200, -440, 106, -105, -139, -1060, 212, -574, 168, -219, -62, 376, -100, -45, 91, -494, -1252, 15, 779, -160, -143, -66, -260, 163, 368, -172, 270, -1186, -25, -250, 92, 39, -394, -243, 31, -373, -137, -262, 339, 158, -835, -287, 223, -206, 135, -183, -17, 46, -109, -203, -13, -438, -391, 249, 119, -424, -132, -302, -51, -239, -36, -237, 162, 593, -199, -33, -6, -703, -115, -679, -3, 125, -511, -137, 408, -230, -273, -482, 527, -473, 224, -172, -307, -205, 188, -190, 272, -258, -132, 421, -92, -864, -179, 137, 169, -346, 18, -391, 186, -445, -270, 419, 105, 374, -557, -274, -98, -150, 127, 42, 336, -425, -1028, -191, 353, -511, 250, -447, 20, -125, -143, -354, -143, 303, -95, -829, 32, -464, 45, 123, 304, -592, 8, 34, 112, -793, -657, -584, 386, -479, 163, -44, -491, 692, 37, -63, -110, -255, -64, -55, 263, -479, -9, -403, -133, -628, 107, -166, 350, -704, -565, 451, 148, 94, 298, -121, -221, -269, -169, -26, -21, 304, -515, 226, 197, -201, -189, -466, 201, -242, -97, -508, -103, -208, -693, -630, 60, -486, 82, -996, -58, 226, -148, 215, -68, -798, -486, -238, 447, 104, -1, -55, -383, -61, -13, 202, 148, -228, -317, -20, 115, -610, -528, 41, -20, -235, -944, -122, 125, -65, -131, -536, 67, -494, -115, -717, -77, -64, 171, -336, -239, 486, -308, 40, 519, -145, 83, -1110, 187, -947, -73, 257, 178, -320, -298, -279, 152, -393, 89, 386, -15, -372, -80, 265, 125, -187, -956, -451, 39, -164, 165, -163, 201, 39, 101, -542, 84, -1210, -121, -96, 153, -37, -195, 268, 33, -199, 103, -465, 58, 251, -566, -85, 64, 549, 122, -240, -161, -541, 413, -154, 423, -541, -221, -755, 310, -219, -403, 385, -109, 74, -424, -232, 58, -393, -369, -220, 298, -899, 49, -348, 83, -200, -520, -81, 121, -900, -328, 209, 538, 436, -530, -441, -325, 342, -302, -291, 82, -248, -412, -219, -182, 69, 82, 167, 148, -529, -115, -601, 167, -187, -208, 69, -237, 153, -151, -698, 199, -367, 763, -6, 167, -631, -1285, 144, 191, -822, -258, -399, 111, 350, 261, -131, 7, -294, 291, -1559, 262, -173, 115, -349, 69, -270, 27, 196, 274, -722, -550, -793, -46, -206, -62, -359, -184, 571, -74, 221, 214, -1214, 78, 209, 148, -248, -692, -449, -172, -274, 35, -721, 118, 62, -688, -415, 177, 81, 262, -300, -505, 80, 124, 429, 27, -4, -1075, 132, 219, -194, 102, -212, 424, -1274, -384, -349, 124, 604, -162, -228, 260, -785, -50, -534, 10, 87, -764, 82, 383, -310, -656, -516, 310, -13, -47, -207, -114, -83, 315, -685, 27, -1052, -391, -642, 216, 8, -8, 7, -107, -166, -270, -80, 208, -329, 209, -386, -136, 3, -43, -429, 90, -480, 114, 83, 270, 484, -620, -715, 238, -831, -108, -675, -47, 503, -304, 100, -485, 180, 76, 7, 1, -260, -186, -1100, -44, -419, 57, 540, 214, -652, -1118, -502, 482, -306, 63, 197, -16, 215, -420, -311, 207, -90, 136, -837, -60, -851, -194, 367, 177, -516, -228, -274, 519, -705, -535, 438, 279, 169, -312, -992, 224, -598, 385, -66, 618, -691, -710, -751, 106, 293, -285, -765, 100, 38, 49, -55, -68, 859, -567, -873, 86, -177, 501, -232, 208, 293, -571, 63, 47, -378, -147, 93, 245, -374, -186, 145, -624, -110, 215, 61, 112, -641, -442, 247, 558, -309, 204, -458, 189, -547, -815, -122, 343, -594, -424, -149, 235, 713, 44, -910, -81, -494, 233, -304, -68, 127, -691, 373, 145, -659, 124, -992, 313, -747, 78, -684, 30, 423, -353, 172, 228, 46, -279, 351, -115, 31, 69, 160, 450, -1090, -804, -678, 257, -106, 47, -141, -280, 802, 100, -257, 105, -416, 130, -687, 142, -339, -479, 743, -73, -930, -226, -355, 637, -71, -93, -102, 444, -388, 64, -360, 207, 112, 197, 211, -68, -168, -76, 119, 547, 53, -5, -662, 335, 257, 107, 370, 20, 81, -1154, -190, -26, -778, 405, -459, 127, -781, -736, 266, 221, -508, -340, -280, -15, -34, -41, -123, -92, 408, 129, -839, 54, -711, -571, 142, 199, -170, -116, 531, 96, -144, -389, -309, 179, -664, -111, -284, 86, -207, -59, -1118, -111, -788, 355, 76, 289, 107, -1102, 466, 507, -7, -220, -332, 58, -98, -715, -1, 224, 206, 156, -581, 252, -236, -103, -1612, 4, 111, -250, 50, 258, -374, -797, -75, 591, 43, 73, -453, -399, -189, -32, 146, 215, 45, 61, 35, -105, -360, 42, 382, 512, -471, 109, -239, 250, 598, -198, -369, -182, 87, 189, -617, 251, -389, 495, -306, -24, -1277, -390, 217, 552, 116, -361, -3, 426, -122, 101, -149, 462, -563, -699, -437, -145, -533, 99, -715, -1, 256, -601, 729, 181, 91, -293, -1616, 320, -128, -275, 25, 11, 1000, 16, -388, 117, 252, 83, -146, 296, -391, 191, -143, 208, 198, -267, -69, 159, -324, -102, 403, 160, 623, -215, -526, 41, -578, -190, 520, 477, 310, -1053, -636, 514, -941, 522, -1101, 438, -570, -64, 59, 218, 633, 358, 58, -170, 149, -264, 85, -120, -140, -322, 505, 318, -385, -1241, 232, 635, 253, -16, -259, -241, 541, 48, -27, 223, -391, 8, -676, 305, 268, -323, -186, -214, 378, 556, 277, 186, -174, -129, -38, 153, -105, 166, -907, 75, -832, 191, -30, 172, 81, 105, 502, 887, -673, -616, -218, -33, 550, 210, 11, 25, 0, -517, -1278, 635, -616, 855, -215, 51, 245, -43, 468, 29, -456, -457, 91, 378, -219, -144, 497, -28, -353, -100, -454, 158, 31, 38, -642, 228, -154, -240, 698, 363, 537, -134, -1182, 468, -306, -207, -684, 233, 492, 232, -516, 379, -332, 659, -553, 282, -733, -1364, 296, 40, 804, 88, -602, 15, -240, -201, -136, 56, -109, 137, -347, 248, -523, 305, -168, 164, -82, -540, 233, 339, 247, -835, -86, 587, -600, 329, -271, -182, 542, -93, 441, 105, -369, 521, -56, 316, -674, -209, -555, 216, -2326, -35, 244, 597, 110, -1057, 848, 55, 477, 153, -1253, 47, 711, -333, -248, 527, 18, 69, 410, 97, -198, -143, -603, 21, 163, 163, -88, -35, 934, -837, -208, 91, -258, -4, -245, 60, 668, -1, 426, 565, -1605, -509, -842, 442, 341, -252, 188, -197, -341, 20, 136, 566, -274, -43, -791, 425, 350, -17, 428, 336, -240, -482, -62, 373, -7, 125, -397, 828, -271, 91, -1019, -260, 14, 859, 254, 63, 79, -682, 605, 674, -618, 64, -571, 106, 244, -598, -57, 56, 874, -95, -128, -107, -307, 728, 152, 133, -197, 341, 155, 141, -383, -970, -748, 667, 56, 150, 991, -164, -383, 235, -880, 546, -1293, 141, -42, -9, 363, -636, 322, -189, 298, 380, -532, 515, -370, -88, -717, 355, 846, 258, -1395, -306, 253, 148, 66, 455, 32, -239, 51, -56, 137, -151, -430, 220, -970, -320, 74, 218, 548, 162, -677, 366, -1063, 713, -751, 115, 98, -247, 431, 182, -61, -216, -1290, 392, 800, -365, -771, -279, 491, 662, 283, 232, -99, -333, 130, 328, -1591, 420, 493, 13, -1287, -276, -213, 398, 244, -8, 679, -111, 501, -7, -89, 149, -169, 623, -98, 202, -587, -1679, 227, 564, 151, 308, -344, 264, 32, 378, -118, 6, -748, -379, -679, 26, 480, -18, -373, -101, -36, -422, -327, 743, 659, -334, -408, 931, -72, 239, 1021, 281, 476, -79, -371, 11, -22, 260, -962, 487, -319, 24, 39, 395, 106, 164, -439, 146, -190, -360, 128, 362, 274, 429, -1378, -211, -453, 53, 336, 754, -78, -399, 479, 678, -798, -275, -1288, 652, 71, 384, -281, 130, 1266, -623, -1224, 222, -471, 430, -250, 265, 663, -39, 287, 812, -1485, -166, -706, 806, 556, -210, -145, -120, 537, 402, 207, 313, -798, -396, 138, -48, -10, -39, -479, -53, 724, -298, 440, 563, -732, 558, -1132, 582, 289, 122, 198, 363, 343, 482, 416, -177, -35, -1420, 454, 602, -709, 18, -620, 360, -92, 505, -734, 198, 62, 464, -135, 632, -316, 327, -926, 12, -468, -433, -100, 374, 308, -1247, -298, 611, 109, 404, 229, 64, 401, -79, -247, -46, 168, 583, 155, 320, 294, -118, 565, 429, -1237, 344, -592, 755, -688, -826, 221, 679, 128, 236, -835, -199, 27, 455, -100, 430, 571, -575, -259, 459, -165, 473, -1140, 81, -119, 334, -13, 512, 10, -15, -431, 709, 41, 390, -172, -66, -6, -307, 198, 668, -340, -109, 516, 814, 3, -271, -610, -86, 411, 560, 161, 147, -758, -399, -858, 538, 47, 28, -379, 640, -106, -211, 256, 179, 972, -179, 623, 273, 526, 241, -945, 18, -1237, 600, -22, 534, 680, -759, 332, 93, -280, 156, -356, 559, 1329, -174, -155, 631, -395, -331, -431, 95, -253, 114, 431, 173, 514, 84, -230, 221, -1530, -905, -695, 767, -339, 308, -468, -400, 746, -376, -472, 647, -77, 448, -721, 475, 10, -582, 561, 1131, 4, -105, -300, 435, 381]