# Trace form for 8047.2.a.b, downloaded from the LMFDB on 19 April 2024. [0, 142, -13, -26, 129, -37, -15, -14, -39, 98, -25, -25, -62, 142, -57, -14, 111, -141, -29, -3, -87, -19, -24, -69, -40, 87, -13, -95, -34, -147, -2, -21, -66, -62, -6, -59, 74, -37, -76, -26, -61, -97, -29, -33, -57, -86, -1, -102, -141, 70, -28, -13, 129, -137, -29, -24, -130, -65, -15, -56, 11, -77, -150, -32, 73, -37, -32, -9, -226, -113, 6, -18, -82, -117, -70, -83, 40, -214, -15, -52, -161, -10, -36, -74, 53, 2, 17, -49, -29, -171, -57, -14, -187, -39, 13, -150, -47, -126, -85, 0, 68, -191, 27, -35, -39, -161, 46, -108, -181, 20, 9, -17, -10, -327, 30, 13, -258, 98, -4, -95, 25, 39, -75, 17, 5, -156, -72, -35, -89, -130, -25, -142, -41, -61, -77, -28, 26, -227, 65, -5, -50, 5, -77, -25, 125, -35, -145, -83, -14, -63, 15, 19, -153, -298, 42, -83, -62, -111, -101, -49, -74, -143, -14, -13, -96, -81, 8, -134, -81, 142, -65, -18, -90, -275, 77, -28, -11, -178, 30, -170, -167, -80, -57, -55, 69, -344, 104, -60, -186, -37, 115, -139, -152, -62, -161, -14, -32, -156, -140, -38, -18, -186, -88, -66, 140, -100, -103, -101, 111, -293, -5, -70, -166, -197, -4, -67, 47, -42, -103, 112, -269, -141, -100, 19, -316, -25, -8, -139, 5, 59, -89, -40, -182, -418, -29, -47, -164, -169, 187, -25, 77, -19, 33, -231, 4, -125, -183, -3, -458, -14, -153, -124, -31, -85, 27, 40, 71, -442, -56, -20, -87, -372, 49, -192, 98, -180, -83, 28, 131, -333, 196, -2, -522, -19, -92, -138, -374, -122, -145, 45, 166, -78, -13, 24, -19, -168, -24, -164, -76, 33, -66, -33, -289, -198, 306, -29, -42, -218, -77, -69, -286, -127, -273, -47, 74, -225, 172, 49, -230, -197, -80, -220, -40, -282, 63, -38, 8, -251, -129, 76, -119, -159, 156, -108, -64, 87, -278, -138, -235, -306, -124, 31, -95, -7, 18, -106, -112, -195, -13, -30, 255, -279, -21, 8, 46, 47, 120, -203, 162, 23, -255, -95, -182, -535, -142, 42, -249, -76, 104, 75, -1, 139, -275, -66, -34, -341, 166, -117, -237, -145, 24, 100, 113, -84, 26, 91, -15, -147, -161, 55, -447, -143, -311, -174, 143, 57, -149, -93, -221, -291, -2, -28, -236, -331, 75, -47, -172, -61, -19, 86, 268, -81, -461, -21, -307, -116, 24, -90, 11, -103, 293, 177, 2, -310, 50, -28, -66, -209, 62, -196, -58, -11, -230, -98, 342, -575, 140, -128, -321, -62, -139, 1, -436, -180, 34, 91, 218, -236, 180, 21, -33, -157, -6, -118, -96, -150, -34, -29, -33, -260, 452, 52, -428, -26, -100, -59, -283, -20, -145, 83, -66, -110, 224, 96, -293, -114, -204, -344, 74, -77, 92, -41, -8, -311, 200, 130, -1, -194, 278, -11, 62, -37, -174, 131, -215, -320, -301, -17, -124, -14, 183, -41, -210, -34, -76, 77, 87, -347, 133, 109, -405, 175, 235, -200, 117, -20, -162, -26, -73, -97, -327, 59, -335, -24, 278, 122, 31, -1, -210, 34, -61, -504, -105, -3, -189, 11, -55, 49, 354, 165, 24, 96, -445, -97, 81, 204, -209, -255, -286, 1, 503, 237, 37, 190, -211, -380, -29, 2, -196, -232, 238, -93, 0, -98, 165, 245, 202, -23, -288, -33, -36, -105, -253, -92, 176, 108, 195, 131, -38, -273, -297, -125, -57, -122, 364, -225, 295, -336, 49, 182, 230, -380, 196, 52, -216, -86, -30, -111, -39, 66, 120, 5, 199, -414, 485, 238, -272, -64, -1, -112, 61, -220, -140, 215, 52, -63, 457, -45, -62, -181, -181, -102, -695, 81, -47, 201, -251, -492, 467, 142, 153, -135, -156, -144, -141, -44, -172, -70, 6, -115, 140, 228, 37, -156, 187, -144, -319, 70, -136, 246, -217, -336, -178, -109, 208, 310, 140, -298, -8, -159, -28, -71, -46, -631, 363, -39, -30, -337, 421, -192, 518, -97, -246, -13, -5, -266, -249, 108, -353, 248, 200, -22, 370, -52, 173, -400, 129, -352, 228, -127, 222, -36, -290, -203, 594, -60, 45, -57, -323, -137, 7, 147, -531, -188, -75, 157, 637, -11, -47, 285, -53, -368, -29, -5, 293, -121, 40, -139, -262, 147, 466, -18, 381, -544, -259, -24, -405, -204, 175, -331, -327, 19, 180, 110, 55, -392, -223, -256, -130, -55, 275, -232, 144, -35, 187, 67, 527, -482, 274, -36, -651, -65, -400, -72, 363, -160, -34, -187, 84, -16, 538, 151, -482, -366, -15, -45, 300, -59, 95, 87, 74, -222, 528, -121, -45, 163, -78, -56, -448, 47, 48, 71, -155, -217, 595, 223, -128, -120, -252, -369, 11, -50, -82, 75, 291, -437, 113, 221, 168, -127, 368, 64, -860, -77, -257, 442, -129, -372, -157, 257, 649, -135, 129, -210, -315, -76, -150, 133, -75, -504, 307, -110, -122, -142, 565, -140, 728, -287, -331, -32, -310, -25, -403, -166, -64, 120, 496, 34, 306, -98, 1, -204, 73, -634, 650, 132, 102, -165, 415, -16, 841, 79, 323, -284, -205, -37, -132, 181, -32, -126, -343, 117, 25, 70, 440, 145, 220, -717, -32, 31, 299, 78, 32, -146, 294, 161, 354, -216, 479, -71, -192, -9, -439, -406, -110, -230, 221, 144, 106, 241, -224, -569, -581, -165, -226, -118, 209, -366, 191, -205, 338, 374, 618, -426, 379, -410, -659, -113, 126, 130, 81, -73, -104, 195, 651, -231, 522, 82, -242, -386, 6, -261, 396, -323, 35, 95, 426, -202, 659, -33, 223, 95, -461, -18, -247, 215, -104, 2, -278, -462, 681, 313, -353, 100, 61, -246, -82, -172, 9, 141, 322, -74, 175, -112, 244, -531, 337, -223, -493, -117, -44, 178, 217, -484, 234, 137, 225, 72, 146, 90, -110, -119, -70, 145, 406, -176, 320, -132, 338, 7, 545, -193, 79, -188, -273, -83, -233, -233, 445, -139, -195, 163, 555, -99, 276, 89, 127, -66, 40, -443, 572, 160, -837, -433, 29, 152, 855, -220, 196, -286, -608, -214, -280, 269, -161, -58, -189, -218, 640, 233, 414, 279, -676, -929, -15, 319, 182, -719, 281, 112, 201, 306, 754, -116, 642, -339, -284, -52, -528, 344, -180, -158, -476, 91, 490, 203, 250, -262, -184, -300, -161, -68, 684, -9, -229, 153, -283, -20, 517, -661, 1000, -133, -409, -10, 418, 312, 310, -238, 166, 444, 242, -243, 722, 104, -15, -465, -36, -160, 487, 15, 222, -306, -80, -117, 751, 128, 102, -154, -241, -74, 267, -137, -88, -636, 17, 14, 768, 239, -446, -5, 170, -254, 53, -95, 505, -50, 221, -588, 118, 149, 531, 148, 653, -313, -772, 2, -149, 328, 192, -435, 325, 204, 161, 1, 565, 244, -267, -287, 17, 237, 1053, -323, 383, -348, 413, -152, 463, -469, 600, -20, -68, -49, 145, -351, 121, 56, 50, -435, 466, -22, 892, 107, -116, -180, -29, -532, 602, 43, 130, 1, 272, 257, 642, -301, 383, 17, -31, -171, 213, 234, 129, 23, -145, -7, 843, 311, 202, 461, -421, -495, -57, 432, -82, 133, 536, -246, 737, 20, 484, 22, 533, -163, -194, -14, -126, 192, -169, -354, 42, 48, 332, 496, 532, -684, 174, -284, -187, -92, 683, -151, 51, -13, 53, -4, 524, -156, 1165, -68, -629, -39, -214, 380, -120, -46, 274, 240, 509, -446, 867, 319, 116, -503, 13, -134, 1175, -6, 36, -196, 81, 29, 1340, 86, 260, -485, 132, -150, -703, 143, -13, 210, -308, 208, 696, 161, 237, 37, -381, -378, -47, 126, 708, 250, -38, -139, 516, 249, 628, 10, 409, -278, -173, -126, 107, 457, 227, -575, -103, 216, -66, 238, 169, 116, -196, -325, -85, 717, 925, -651, -42, -141, 246, 301, 721, -142, 526, -134, -37, 0, 582, -25, 461, 109, -145, 182, 636, 481, 874, -114, -123, 90, 68, -569, 382, 55, -322, -33, 443, -150, 259, 433, 715, -69, -814, -191, 148, 427, -67, -228, -68, 77, 1016, 184, 290, 439, 100, -626, 27, 139, 423, 62, 628, 123, 234, -11, 745, -179, 438, -526, -523, -35, -13, 243, 55, -200, 353, 171, 757, 364, 185, -540, -238, -154, -39, 27, 452, -89, 855, -116, 117, -27, 1553, -497, 832, -139, -195, -161, 131, -10, 261, 181, 128, 707, 869, -179, 688, 423, 548, -526, 46, 389, 1255, -21, 257, -294, 720, 132, 1446, -51, 282, 90, -220, -108, 264, 8, 96, -104, 272, 33, 404, 550, -145, 282, 321, -386, -181, 268, 474, 314, 349, 25, 308, 159, -76, -625, 1101, 161, -389, 20, -53, 914, 467, -511, -564, -28, 155, 87, 949, -127, 91, -364, 9, 172, 494, -742, 813, -260, 179, 526, 657, -615, 842, -62, 31, -17, 293, -51, 232, 20, -472, 186, 1019, 79, 692, 182, 458, 127, -10, -750, 576, 198, 177, -133, -21, -58, 1227, -100, 315, -133, -439, -327, 238, 489, -329, -332, -139, 193, 1170, 369, 263, 623, -37, -509, 30, 385, 761, 235, 510, -107, 498, 18, 542, 80, 699, -106, -146, 13, 66, 80, 530, -458, 814, 132, 452, -210, 536, -165, -156, -54, -258, -99, 845, 1, 387, -88, 428, 210, 657, -491, 965, -95, -915, 98, -381, 198, 147, 18, 133, 204, 367, -52, 604, 346, -119, -726, -4, 172, 157, -4, 47, 69, 1197, 125, 1031, -479, 239, -265, 108, -95, -168, 609, 126, -157, -476, -597, 1042, 418, -40, -214, 168, -278, 25, 32, 304, 220, 224, -313, 743, 71, 81, 89, 1039, 160, -266, 39, -367, 885, 252, -784, 167, 412, 561, 474, 575, 253, 313, -406, -75, 222, -18, -49, 721, -101, -369, -446, 970, -130, 1185, -41, -243, 17, 158, -14, 550, -150, 369, 351, 1123, 317, 153, 245, 275, -830, 5, -629, 863, 583, 52, -41, 131, -84, 428, 18, 16, -21, -10, -156, 117, 417, 357, -300, 126, 258, 857, 371, -52, 571, -171, -751, -72, 243, 572, 36, 364, -564, 599, 291, 654, 355, 1015, 125, -406, -35, -600, 146, 393, -96, 536, 168, 255, 408, 663, -238, -257, -1061, -89, -685, 811, -85, 231, -121, 481, 97, 793, -654, 1267, 335, -713, -130, 0, 413, -31, 255, -331, 492, 960, -117, 718, 606, -432, -154, -25, 93, 366, 48, 268, 31, 896, -934, 704, -128, 254, 297, -4, -142, 77, 413, 374, 116, -385, 140, 1265, 681, 215, 310, -66, -232, -41, 407, 302, 340, 990, -354, -665, -128, 316, -142, 810, -324, -408, -61, -584, 824, -727, -559, 365, 509, 1062, 265, 306, 265, 837, -316, -77, 419, 708, -160, 331, -215, -386, 353, 888, 156, 1242, -442, -256, -28, -123, -184, 691, 21, -514, 469, 759, -242, 802, 367, 506, 33, 26, -403, 835, 318, -186, -83, 436, 9, 581, 85, 655, 236, 34, -227, -144, 342, 431, 485, -313, -69, 749, 221, 418, 581, 311, -581, 65, 345, -119, -85, 222, -19, 834, 624, 485, -429, 1013, -98, 32, -5, -1211, -163, 509, -215, -168, -82, 631, 761, 579, -320, -476, -99, -50, -15, 1001, -62, 250, -269, 404, 753, 812, -623, 1086, -99, -316, 5, 35, 662, 931, 296, 104, 449, 769, 24, 627, 617, 200, -583, -77, -133, 669, 213, 138, 219, 429, -409, 372, -160, 102, -26, 75, -25, 268, 601, 451, 174, -196, -503, 989, 341, -593, 559, 258, 60, 125, -2, 111, 194, 740, -137, 744, 203, 662, -139, 1167, -105, -333, -35, -430, 811, 413, -504, 12, 610, 465, -181, 555, 76, 850, -729, -145, 391, 1045, -251, 764, -262, 241, 450, 799, -206, 999, 235, 113, -83, 115, -410, 432, -139, 17, 31, 1072, 88, 909, 589, 614, -641, -14, -466, 308, 170, -243, 359, 295, 313, 1485, -169, 920, -42, 40, -63, 380, 788, 42, 28, -366, 260, 768, 214, 431, 1166, 38, -662, 15, 526, -484, 247, 765, 160, 673, 208, 232, 251, 1489, -214, -55, 19, -22, 658, 352, -160, -614, 347, 545, 1202, 1058, -531, 169, -54, -153, -358, 475, 337, 889, 242, -174, 149, 722, -618, 983, -24, -200, -298, 542, 486, 199, -315, -9, 1298, 1334, 262, 1070, 612, -224, -325, 42, -281, 1434, 233, -164, -618, 548, -11, 1560, 176, 533, 58, 41, -83, -548, -14, 437, -25, 322, -131, 1055, 246, -33, 646, 279, -355, -62, 30, -119, 598, 242, -1175, 616, 53, -61, 188, 1065, 135, -1243, -111, -370, 468, 302, -170, -111, 266, 505, -46, 159, 302, -621, 74, -101, 564, 1050, -823, -306, -347, 36, 400, 665, -837, 1437, -7, -210, -49, 139, -24, 313, 354, -224, 34, 1488, 419, 805, 184, 269, -149, -74, -443, 54, 105, -691, -87, 310, 76, 317, 16, 1108, 245, -197, -143, -194, 862, -244, -221, 206, 263, 425, 801, -52, 607, 275, -1084, -14, 419, 35, 423, 502, -204, 826, -290, 696, 415, 1548, 8, -728, -13, -1052, 59, -231, -256, 137, 637, 287, 271, -210, -196, 606, -226, -96, -404, 183, 52, 564, -424, -462, -212, 1405, -451, 1904, -630, 2, -81, -241, 180, 248, -201, -909, 653, 190, -292, 603, 485, 338, -60, 8, 104, 831, 254, -528, -303, 405, 356, 314, -184, 440, -4, 113, -134, 63, 98, -74, -44, -922, -670, 422, 514, -152, 601, -451, -835, -81, 294, -187, -152, -130, -203, -265, 241, -34, -254, 868, 169, -683, 142, -773, 804, 236, -923, -349, 302, 450, 348, 431, 203, -201, -268, -65, 128, 388, -232, 261, -240, 557, 232, 241, -470, 1761, 317, -736, -18, 568, -686, 695, 495, 13, 738, 70, 484, -637, 437, 63, -11, -90, -656, -561, 142, 51, -69, 342, -99, 350, 115, 614, -186, -970, -275, -1315, 449, -405, -102, -209, 406, 1291, 30, -768, 648, 172, -469, 77, 362, 393, 349, 140, -174, 177, 249, 119, -178, 762, -618, -804, -28, -1012, 144, 241, -308, 153, 5, 404, 328, -120, -182, 276, -285, -11, -84, 11, 347, 649, -614, 254, 397, 1033, -323, 1322, -269, 66, -178, -216, -92, 222, 22, -223, 328, -213, -323, 552, 486, 83, -709, 30, -65, -568, 37, -839, 37, 162, 255, 1036, -358, 527, -34, -227, -170, 228, 515, 540, -189, -115, -59, 537, 646, -419, -263, 100, 54, -167, -280, -185, 159, -214, 68, -256, 64, -102, -470, 966, -26, -339, -80, -622, 1080, 114, -697, 76, 461, 686, 635, 538, 315, 204, -450, -57, 143, 455, -668, 260, 29, -952, -312, 223, -533, 1630, -80, 347, -55, -388, 8, 461, -258, -422, -177, 571, 129, -160, 546, 6, -229, 69, -1229, 1294, -50, -393, -339, -171, -217, -219, -182, 971, 123, -421, -344, -744, 226, 75, 721, -830, 313, 1750, 227, 48, 1413, 203, -458, 104, 203, -195, -177, 123, -245, 417, -133, 103, -275, -139, 283, -634, -60, -547, 440, -198, -120, -1741, -21, 449, 553, 376, -262, -500, -390, -186, 221, -23, 79, -1270, -161, -567, 536, 1010, -1396, 1106, -501, 168, -37, -113, 266, 41, -89, -326, 237, 131, -262, 464, 197, -620, -600, 115, -111, 398, -38, -936, -939, 129, 17, 400, 29, 1412, 65, -87, -139, -830, 289, -138, 29, -806, 177, 394, 177, -178, -34, 449, -377, -152, -383, -792, 879, -59, 136, -1378, -147, -291, -852, 825, 85, -694, -62, -700, 897, -596, -1626, -244, 545, 154, 503, -745, 632, -501, -406, -161, 121, 80, -29, -246, -561, -996, 457, 1047, -338, 982, -229, 389, -14, -814, -358, -766, 34, -848, 314, 645, -191, -294, 0, 154, 324, -32, -718, 659, 200, 26, -851, 204, -250, 471, -379, 818, -498, -371, -156, -750, 369, 433, -131, -149, -149, -605, 287, -330, 831, -474, -1069, -140, 535, -60, -347, 6, -548, -1046, 244, -215, -591, 783, 147, -556, -38, -1576, 58, 139, 87, -51, -244, 865, 236, -647, -144, 495, 342, -18, 104, 560, 6, -139, -681, -181, -51, -847, -524, 620, 17, -1314, -186, -11, 675, 430, -344, -432, 846, 939, -243, 173, 357, 172, -632, -88, 208, -1041, 209, -515, -473, 155, -469, 1209, -832, -279, 105, -653, -66, -563, 43, -368, -255, -538, -330, 793, 627, -865, -257, -190, -700, 140, 61, 64, 453, 329, -735, -544, 78, -52, -819, 1243, -398, -47, -100, -1305, 180, -364, -879, -2003, 283, -348, -497, -278, 228, 533, -627, -103, 753, -203, -661, -48, -588, -601, 392, 847, -449, 2019, -338, 318, -101, -391, -292, 310, 306, -513, 174, 68, 40, -1401, 110, 517, -299, 111, -450, -334, -163, -1425, -761, -122, 528, 551, -314, 1297, -92, -940, -293, -675, 383, 771, 79, -627, 99, 502, 784, -702, 349, -90, -563, -5, 174, -264, 135, 91, 101, -740, -484, -127, -380, 873, 226, -305, -70, -895, -84, 53, -87, -628, 660, 435, 397, -298, -1082, -799, -305, -166, -218, -581, 359, -166, -511, -561, -358, 785, -640, 36, 206, -622, -197, 82, -19, -198, 301, -733, 700, 322, -923, -134, 279, 194, -667, -4, -263, 758, -526, -502, 2, -324, 379, 73, -189, 126, -397, -798, -67, -407, 130, 149, -663, -594, -609, 258, -189, -519, 909, -1036, 40, 47, 631, -474, 441, 721, -576, -88, -238, 1141, -951, 670, -62, -1635, -42, -723, 191, 200, -888, -697, 422, 82, 410, -116, 498, -478, -584, -103, 1038, -171, -251, -755, 257, 696, -161, 513, -624, 1551, 615, -52, 112, -574, -370, -14, 114, -1090, -28, 480, 240, -242, -317, 115, -118, -269, -1191, -507, -198, -743, -71, -966, 164, -741, -865, 812, 537, -92, -141, -388, 729, -915, 475, -911, 321, 105, 303, -454, 363, 517, -245, -100, 37, -786, 17, -299, -306, -753, 540, -239, -596, 162, -847, -1291, 19, -725, 52, -455, -972, -1017, 326, 426, 721, -165, -449, -22, -492, -316, -69, -23, 542, -770, -230, -1714, 160, 266, -1142, 1141, -758, 33, -25, -680, 94, 331, 35, -22, 276, 373, 388, -231, 367, 12, -526, -8, -119, -119, 177, -681, -1029, 646, -308, -697, -279, -294, 850, -210, -139, -304, -595, 372, -167, -873, -654, -311, 534, -2288, -716, -764, -203, 5, 271, 168, 726, -2156, -609, -1069, 220, 219, -849, 684, 126, -634, 59, -1030, 841, -501, -650, -895, 522, 432, 208, -633, 208, -1231, 5, -89, 409, -201, -792, -155, -569, -822, 445, -205, -453, 1295]