# Trace form for 4019.2.a.a, downloaded from the LMFDB on 24 April 2024.
[0, 149, -8, -12, 124, -36, -45, -32, -21, 115, -58, -33, -33, -107, -28, -24, 74, -39, -33, -93, -63, -113, -38, -11, -130, 85, -33, -30, -94, -85, -16, -129, -35, -64, -78, -27, 79, -135, -11, -73, -146, -101, 4, -55, -82, -168, -113, -40, -65, 27, -5, -49, -177, -32, -155, -128, -44, -47, -46, -53, -11, -347, -11, -73, 1, -31, -37, -40, -80, -175, -61, -31, -68, -193, -33, -56, -248, -84, 40, -111, -54, 49, -74, -24, -159, -258, -1, -66, -97, -76, -75, -134, 31, -97, -111, -14, -216, -140, -13, -116, 4, -163, 14, -52, -62, -78, -129, -9, -15, -321, 47, -62, -163, -1, 35, -145, -86, -263, -113, -43, 48, -54, 54, -26, -326, -180, 11, -61, -36, -95, -44, -91, -13, -220, 49, -55, -176, -1, -16, -253, 13, -168, -86, 2, 65, -188, -22, -2, -203, -157, -71, -142, 18, -114, -169, 31, -97, -202, 49, -64, -280, -100, 6, -107, -127, -153, -110, -59, 105, -28, 67, -214, -69, -107, 59, -116, -101, -86, -55, 13, -174, -408, 48, 21, -236, -32, 84, -130, -11, -380, -9, -17, 1, -167, -6, -15, -96, -129, 49, -160, 87, -251, -33, 30, -8, -176, -21, 7, -218, -143, 117, -150, 111, -226, -79, -59, -364, -92, 19, 13, -219, -66, 214, -41, 42, 59, -129, -42, 18, -550, 24, 4, -92, 13, 22, 24, -10, -144, -18, -42, 165, -444, 164, 23, -541, -120, 146, 37, 39, -78, -149, -10, -26, -244, 46, -58, -52, 24, 92, -121, 111, -347, -65, 60, 112, -219, 66, 57, 70, -248, 216, -317, -30, 106, -48, 28, -57, -280, 64, -204, -68, -35, 109, -143, 33, -110, -90, 93, 17, -2, 125, -9, -272, -96, 62, -32, -7, -72, 112, -31, 15, -610, 213, 74, -384, 33, -25, -133, 3, -163, 69, -82, 380, -153, 45, 77, -195, -3, 125, -165, 81, -109, 167, 59, 216, -557, 100, -73, -88, -29, 248, -119, 54, -199, -157, 73, -60, -131, 189, 42, -142, -138, 133, -70, 129, 141, -203, 98, -41, -779, 219, -175, 32, -71, 137, 12, -30, 16, 37, -1, -109, -10, 106, 110, -126, -38, 243, -95, 184, -290, 55, -48, 92, -102, 111, 95, -190, 118, 265, -70, 201, -341, 106, 92, -277, -188, 137, 13, -82, -72, 326, -232, 139, 101, 9, 50, -95, -450, 168, 109, 27, 11, 112, 38, -161, -299, -90, 85, 235, -531, 194, -7, 96, 79, 9, -95, -19, 121, 23, 26, 125, -423, 247, -63, -266, 38, 97, -42, 179, -26, 131, 58, 203, -48, 269, 171, -401, -142, 247, -330, 344, 50, 66, 119, 102, -254, -53, 14, -85, -3, 378, -168, 246, -218, -22, 217, 433, -109, 334, 31, -103, -407, 381, -31, 43, 108, -115, 65, -117, -555, 253, 100, -85, 91, 195, -192, 208, 130, 217, 21, 524, -463, 117, 103, -130, 97, -85, -62, 341, -60, 87, 42, 249, -241, 226, -4, -446, 204, 355, -209, -94, -241, 76, 110, 332, -307, 284, 195, 24, -197, 606, -131, 148, -25, -229, 148, 83, -325, 224, 6, 141, 60, 408, -35, 39, -167, 72, 113, 186, 40, 190, 27, -49, 7, 252, -107, 300, 18, 10, 60, 383, -800, 327, 238, -157, 164, 447, -23, 308, -717, 97, 42, 356, -45, 49, 252, -525, -29, 172, -40, 409, -107, 304, 144, 105, -501, 163, 122, -135, 37, 421, -139, 336, -47, -116, 210, 397, -205, 314, -142, -99, -53, 472, 74, 139, 140, -46, 105, 505, -519, 264, 202, -99, 18, 279, -14, 57, 281, 126, 164, 68, -440, 295, 212, -213, 6, 363, -97, 240, 64, 334, 96, 269, -220, 356, 217, -252, 50, 310, -268, 305, -354, -15, 255, 141, 133, 179, 284, -28, -233, 481, -38, 334, 59, -9, 127, 246, -383, 295, 183, -411, 78, 411, -88, 136, 10, -91, 128, 95, -552, 407, 171, -88, 93, 432, -50, 0, -150, 164, 187, 327, -629, 282, 283, -110, 332, 422, 100, -30, -183, -43, 111, 546, -76, 184, 260, -19, -30, 542, -10, 406, -162, 122, 146, -69, -495, 222, 381, 141, -102, 476, -334, 357, 25, -16, 235, 496, 49, 235, -35, 111, -147, 634, -13, 140, 128, -230, 200, 256, -575, 527, 78, 111, 125, 399, 247, 306, -154, 339, 178, 509, -361, 347, 204, -399, -102, 130, 6, 525, 85, 540, 151, 411, -500, 135, 415, -303, 211, 335, -234, 259, -169, 122, 46, 827, -301, 316, 81, -46, -70, 595, 63, 414, 229, -17, 175, 37, -191, 223, 96, 392, -142, 511, 152, 418, -280, -88, 243, 503, -570, 707, 77, 42, 98, 289, -264, 131, 366, 274, 169, 649, -456, 453, 135, -158, 38, 417, -189, 85, -312, 380, 188, 426, 258, 337, 149, -180, 82, 574, -190, 531, -66, 55, 300, -122, -385, 358, 248, 289, -49, 402, -313, 538, 1, 44, 357, 565, -86, 352, 180, 313, -208, 419, 134, 95, 197, 190, 108, 691, -627, 465, 216, 114, 78, 444, 221, 166, -163, 101, -77, 945, -34, 452, 163, 44, 89, 350, 217, 652, 220, 398, 139, 351, -744, 598, 262, -51, 146, 584, -213, 381, 41, 311, 285, -150, -29, 222, 438, 482, -94, 717, -174, 435, 94, 108, 174, 495, -314, 210, 383, 85, 43, 783, 75, 467, -17, 93, 200, 914, -207, 544, 44, 169, 347, 474, 10, 462, 414, 272, 136, 779, -887, 528, 267, -193, 369, 541, 132, 372, -491, 339, 235, 628, -224, 447, 367, -562, 236, 666, 76, 841, 22, 319, 186, 814, -440, 384, 415, 187, -36, 797, -235, 494, 173, -7, 654, 455, -4, 490, 254, 703, -238, 543, 5, 299, 350, 193, 139, 557, -416, 590, 158, 387, 176, 349, -63, 266, -17, 504, 110, 1123, 86, 608, 451, -510, 131, 890, -91, 798, -97, 349, 183, 725, 0, 437, 420, -545, 322, 629, -137, 421, -311, 392, 285, 946, -275, 227, 448, 679, -77, 865, 18, 467, 173, 100, 403, 603, -645, 473, 150, 85, 217, 720, 144, 558, 291, 180, 321, 506, -200, 759, 357, 63, -166, 117, 200, 288, 399, 242, 194, 317, -933, 486, 564, 147, -80, 539, -35, 514, -352, 174, 138, 515, -50, 89, -167, -50, 280, 304, -60, 559, -29, -94, 317, -5, -416, -74, 115, 222, -77, 632, -6, 220, -340, 81, 162, 721, -89, 41, 192, 192, -307, -178, 118, 307, 114, 2, 99, 401, -884, 202, 234, 148, 230, -26, 28, -2, -162, 515, 132, 516, -737, 330, 308, -361, 34, 16, 238, 145, -144, 97, 106, 231, -141, 160, 307, -111, -12, 576, -259, 281, 33, 110, 404, -80, 1, -85, 24, -184, -227, 141, -290, 136, 283, -105, 248, -362, -288, 129, 69, -89, 98, 203, 176, 344, -650, -6, 265, 289, -459, 148, 161, -422, -141, 409, 351, -53, 392, 216, -83, 30, -792, -596, 229, -171, -8, -377, 104, 332, -437, 16, -111, 62, -248, 212, 708, -116, -47, 333, 17, 187, -65, -213, 224, -120, -683, 93, -151, -270, 45, 340, -38, -104, 185, -258, -144, -141, -171, 126, -139, 252, -196, -109, 251, 37, 184, -182, 37, -124, -1092, 241, 179, 243, 181, 244, -101, -417, -484, 50, 287, -346, -713, -370, 270, -761, 47, 124, -161, 455, -69, -65, 115, 147, -246, -80, 297, -676, 144, -304, 77, 156, -628, -50, 28, -40, 52, -87, 4, 138, -342, -458, -100, -154, 162, 102, 133, -194, -520, 237, 202, 93, 33, -223, 99, -266, -40, -171, 202, 1047, -273, -39, -606, -384, -127, -220, -135, 158, 183, 169, 202, 54, -1118, -381, 467, -116, 195, -489, 100, -250, -409, -190, 65, -272, -190, -211, 0, -209, -420, 166, -191, 408, 301, -239, 184, 38, -244, -532, 127, 380, -17, 129, -79, 33, -206, -447, 280, 48, -23, 396, 115, -651, -174, -357, 261, -270, -138, -300, 28, -71, -744, -346, 247, -548, 316, -226, -354, -66, -119, -72, -63, 53, -537, -242, 200, -231, 223, 216, 164, -123, -40, 350, -18, -998, -548, 235, -48, -191, 153, 57, -30, -263, -324, -560, 554, -185, -47, -65, 85, -68, -728, -402, -7, -312, 255, -173, 383, -314, -419, 189, 25, -219, -203, -371, -158, 221, -165, -313, -20, 496, -58, -176, -185, -428, -58, 462, -149, -311, -307, 254, 348, 52, -700, -192, 333, -539, -71, -1127, 277, 527, -602, 239, 71, -259, -418, -192, 536, -1032, 210, -535, -323, -47, 308, 58, 132, -580, -719, -304, 120, 318, 109, -80, -117, -684, -57, 328, 174, -595, -23, 449, -121, 484, -258, -1140, 184, 70, 180, -335, -60, 165, -1045, -359, -293, 26, 88, 169, -86, -230, -149, -190, -37, -695, -653, -441, 388, -119, -107, 430, 80, -267, -159, -68, 90, 145, -277, -169, 232, -239, -137, -495, -230, 237, -828, -379, 473, 824, -17, 108, 72, -189, -286, -612, -104, 196, 139, -186, -75, -668, -112, -78, 84, -30, 44, -1281, 7, -720, -411, -638, 165, 90, -487, 334, -61, -219, -191, -44, 511, -355, -273, 183, 28, 94, -1102, 36, -175, -189, 257, -247, 61, 275, -243, -357, 6, 100, -60, 206, 268, 244, -40, 239, -356, -773, 63, -9, 337, -417, -1248, -450, 276, 549, 51, -793, -196, -184, 309, 256, 150, -1470, -74, -358, -328, -42, -265, -116, 138, 444, -5, -238, -66, -564, -729, 187, 348, -497, 173, -316, 292, -694, -219, 104, -99, -202, -242, -491, 254, -412, 107, 145, -122, 468, -166, 175, -21, -37, -650, -532, -118, -81, 65, -117, 123, -692, -842, -406, 176, -332, 155, -208, -79, -361, -127, -723, -263, -680, 106, -605, 500, 296, -689, -458, 222, -123, -388, -431, 35, 55, -324, -254, 128, 112, -483, -525, 18, 151, -148, -186, 129, -153, 15, 458, 178, -448, -496, -9, 125, -417, 407, -881, -175, 11, -675, 208, 182, -1139, -35, -27, 305, -1326, 77, -258, -221, 208, 60, 355, -115, -94, -958, -641, -114, 543, -6, -1007, -163, -317, 301, 65, 213, -94, -447, 348, 170, -398, -26, -676, 106, -362, 213, -318, -98, 437, -1795, 26, -158, -246, -23, 34, 159, 101, -46, -54, -112, 27, 4, -1241, 326, -353, -148, -476, 407, 385, 27, -297, 62, -1751, -459, -315, -149, -624, -54, 645, 113, 2, -735, -601, 327, 46, -216, -75, 93, 89, -110, 332, -742, -544, 78, -377, 338, -839, -271, 43, 411, -297, -160, -289, 81, 348, -270, 169, 24, 430, -310, -294, 36, 231, 176, -924, -333, -963, -340, 362, 121, 414, -1194, -339, 455, -462, 94, -267, 113, -153, -420, -256, 112, -792, -127, -373, 103, -653, -417, -540, -215, -25, -406, -705, 136, -275, -237, -178, 142, 152, -70, 398, -78, -471, 127, -437, 597, -603, -296, 33, 92, -527, -254, -108, -83, -232, 320, -269, 452, 253, -693, -1511, 89, -352, 66, -22, -70, -544, -18, 283, 9, 277, -641, -93, 549, -85, -39, -57, 130, 93, -527, 366, -109, -998, -811, -412, -25, -145, -18, -690, -127, 151, -358, -703, 275, 1005, -886, -462, 221, 106, -90, -154, 111, 29, 261, -214, -219, -423, -196, 357, 284, 27, 125, -1115, 370, -710, 129, -326, 153, 369, -26, -295, 42, -19, 44, 214, -16, -655, 356, -54, 190, -1099, -1323, -1059, 338, -239, -58, -276, -336, -111, 118, 342, 23, -582, 49, -113, 596, -245, -236, 104, -14, 162, -492, -444, 397, -354, -359, -33, 81, -212, 77, -1332, 292, -213, -150, 49, 178, -114, -257, -697, -304, -925, 234, -1006, 225, 436, 97, -37, 361, 648, -1738, -318, 222, -450, 292, 551, 108, -1078, -712, 70, 163, -21, -876, -650, 115, -145, -532, -960, 185, 50, 692, -410, 34, -1252, -491, 134, 562, -554, 112, 166, 166, 217, 158, 99, 374, -1081, -735, -182, 49, 37, -252, -386, -242, -346, 476, -108, 195, -603, -517, -531, 272, 513, -59, -578, 464, 93, -319, -366, 45, -30, -456, -301, 330, -724, 249, -55, 28, -144, 127, -45, -205, -352, -861, -407, 355, -697, 612, -486, -5, -399, -300, -102, 115, -80, -275, 161, 331, -439, -95, 621, -314, -1039, -209, 96, 77, -345, -489, -230, 79, 440, -100, -288, -73, 17, 590, -334, 138, -681, -176, 544, 119, -610, -487, -290, 521, -623, 367, -274, 274, 602, -843, -169, 4, -469, 42, 261, 8, -786, -215, 598, 272, 865, -243, -1982, -101, -276, 359, -1116, -237, 277, -174, -330, 69, -1401, -209, 700, 617, -1232, 177, -99, -281, -885, -1320, 244, 228, 46, 59, -960, 162, -131, -68, -743, -120, 375, 319, 70, 140, -162, -282, 372, 784, 29, 48, -1270, 353, 307, -348, -699, -458, 433, -204, 99, 212, -97, 150, 11, 194, 202, 448, 114, -2, -987, -1371, -380, 358, 249, 70, -35, 96, 107, -79, 654, -227, -1193, 2, -465, 585, -57, 140, 591, -553, 526, -232, -260, 611, 43, -886, -1067, 435, 2, 178, -831, -110, -713, -172, -84, 278, -490, -283, -71, 1175, -45, -644, -920, 258, 704, 273, 315, -87, 450, -328, -795, 268, -44, 335, -420, 132, -203, -45, 177, 71, 706, -388, 227, 583, -1194, -198, -39, 232, -132, -385, -637, 436, -58, -1072, 247, -395, -248, 338, 170, 191, 630, 22, -201, 361, 466, -174, -1606, 561, 320, -323, -849, -285, -174, 410, -27, 570, -2577, -835, -240, -157, 290, 189, -419, -81, 53, -98, -583, 299, 266, 7, 54, 141, -361, -276, 301, -41, 151, -266, -98, 167, -392, -1313, -1737, 1057, -1083, 57, 548, 44, 316, -521, -355, 455, 248, -71, 329, 442, -439, 135, -554, -674, -1340, -327, -200, 438, -184, -577, 284, -144, 916, 229, -726, -200, -433, 128, -332, 294, 175, 53, -280, 174, -622, -278, -1637, 168, 189, 327, -589, -489, 851, -618, 358, 605, -471, 105, -90, 55, -1047, -589, 462, 509, -1383, -708, -371, 625, -103, -149, 103, -13, 658, 116, -837, 23, 165, -28, -713, 362, -1083, 158, 259, -106, 361, -571, 239, 216, 1125, 238, -312, -6, -28, -588, -133, -230, -88, 410, 619, 183, -839, -602, 138, -22, -42, 196, -1200, -29, 473, -69, -9, 535, -483, -916, -481, 357, -623, 261, 266, 212, -1084, 129, -221, 30, -542, -1465, -40, 558, 261, 327, -669, 102, 562, -527, -466, 61, -827, 299, -60, 388, -90, -553, -171, 302, -918, -39, -480, 732, 149, -275, -657, 396, -15, 225, 509, -155, -240, -395, -277, 334, 1024, -15, 465, 689, -466, -280, 512, 322, -272, -349, -362, 493, 202, -702, 383, 422, -739, 240, -560, 34, -153, 61, 450, -96, 244, 41, -840, 646, -614, 111, -1790, 149, 592, 161, -114, -124, -181, -347, 150, 860, -665, -4, -112, -240, -1201, -900, 219, 327, 940, -255, 56, 108, 102, -118, -770, 59, 160, 479, -385, 535, -759, -464, -1015, 49, 1061, 116, -916, 590, -27, -141, -73, 464, 479, -919, -857, 26, 8, 422, 580, -706, -51, 1011, 251, 298, -809, -697, -712, 513, -252, -109, -753, 365, 920, 125, -131, 355, -1651, 205, -38, 616, -443, -323, 664, -28, 533, 134, -78, 151, 286, -682, -319, -22, 54, 353, -138, -76, -908, -134, -313, 472, -160, 20, 362, 483, 111, 197, -395, 269, 507, 132, -182, 17, -18, -1342, -735, -727, -556, 252, -173, 125, -345, -229, 37, 112, -77, -133, -830, 1096, 360, 167, -89, 26, -129, 488, 84, 330, -306, -573, 430, 681, -503, -463, 926, -209, 431, 162, -290, 373, -346, 785, -1504, 434, -89, 92, -1057, -295, 150, 113, 294, 92, 237, -286, 605, 370, -829, -124, -1623, 262, -616, 392, -10, 172, 844, -811, -858, 142, -210, 337, 11, 175, -616, 153, 296, 108, 184, -1751, -889, 535, 53, 580, -662, 696, -86, -433, 294, 2, -1167, -58, 360, 255, -1304, 256, -58, 123, -465, 223, -1032, 420, -24, -398, 745, 512, 85, -62, -652, 195, -561, 573, -473, 200, 194, 95, -478, 239, -370, -449, -701, 376, 202, 171, -742, -161, 693, -656, 66, 262, -504, 498, -6, 622, -756, -448, -206, 525, -987, -110, 468, 1016, -1057, -139, -561, -142, 235, 35, 2, 219, -261, 11, -1233, 492, 225, -94, -625, -486, 294, -612, -60, 403, -224, 126, 493, 556, 390, -284, -557, 202, -1513, 72, 359, 221, -335, -470, 400, 530, -478, -118, -1795, 178, 578, 481, -1356, 187, 1061, -139, -109, 533, -353, 240, 710, -170, -705, 71, 286, 547, -793, -748, -617, 630, -129, 699, 201, -216, -40, -935, 376, 538, 651, 285, -647, 142, 203, 7, 1309, -289, 483, 276, 486, 800, -865, -599, -1567, 663, 247, 381, -176, 95, -287, 596, 14, -433, -1454, 11, -102, 337, -243, 201, -1647, 168, 281, 407, -400, 358, 141, -1913, 126, 512, 24, 292, -136, 535, 9, -806, 412, 570, 450, -1072, -1097, 369, -267, 235, -456, -86, 690, 645, -317, -362, -1113, 133, 495, 861, 369, 271, -325, -13, -693, -142, -77, 412, 74, 236, -216, 402, 1028, -274, 592, -218, -87, 894, -317, 616, 8, -92, -70, -46, 419, -95, -803, 276, 180, 361, 491, 133, 1408, 93, -158, 476, -194, 129, -260, 282, -765, -23, 635, 402, 112, -285, -1153, 462, -396, 132, 92, 757, 742, -753, -248, 772, 223, -95, 118, 527, -913, 380, 1045, 226, 802, 214, 157, 111, 489, -1062, 439, 40, 391, 330, -845, -187, -1192, 549, 290, 736, -1211, -43, 849, 444, 862, -955, -191, 510, 1080, 574, -184, 291, -639, -994, -342, 319, 525, 183, -249, -49, 1421, 854, -416, -343, 458, -227, -908, 564, -193, 211, -1359, 40, 315, 398, 239, 354, -94, -177, 940, 1156, -671, 216, 1491, -154, 89, -1196, -137, 437, -220, 451, -695, 698, 723, 468, -1212, -435, -78, 536, 242, 675, 328, -1087, 258, 928, 607, 47, -168, 758, -1456, -612, 662, 412, 1174, -380, 54, 209, -404, 113, -332, 345, -412, -119, 236, 453, -957, -252, -433, 16, -328, -273, -317, 150, 885, -212, -333, 465, -956, 109, 610, 588, -509, 70, 618, 145, -87, -312, -965, 265, 657, -90, -1113, 516, 596, -458, 148, 224, 321, -157, 297, 1136, 522, 548, -792, 474, -726, -447, -803, 549, 657, 794, 779, 99, 260, -1233, 67, 388, -575, 476, 537, 319, -513, -113, 246, 393, 1317]