# Trace form for 8003.2.a.b, downloaded from the LMFDB on 23 April 2024.
[0, 153, -9, -17, 137, -31, -10, -17, -30, 136, -34, -1, -60, -101, -16, -14, 97, -12, -45, -45, -52, -76, -46, -28, -30, 84, -22, -68, -64, -14, -1, -70, -54, -85, -59, -16, 87, -167, -48, -28, -68, -38, 2, -71, -10, -151, -37, -37, -166, 74, -3, -11, -183, -153, -40, -88, -69, -26, -43, -34, -12, -90, -37, -36, 58, -19, 52, -86, -22, -81, -144, -50, -190, -171, -14, -69, -88, -72, -61, -13, -84, 117, -124, -72, -106, -193, -44, -65, -89, -10, -152, -67, -29, -129, -43, -29, -106, -177, -69, -11, -29, -67, -54, -174, -7, 25, 9, 0, -105, -147, -24, -21, -138, -4, 77, -100, -36, -248, -135, -17, 58, 68, -58, -95, -195, -216, -43, -169, -40, -91, -77, -26, -135, -240, -18, -40, -196, -143, -171, -138, 76, -163, -51, -85, 141, -232, 34, -70, -192, -9, -31, -153, -93, -75, -206, 0, 2, -270, 54, 17, -128, -33, -85, -64, 49, -62, -52, -106, 98, 28, 125, -168, -110, -147, -7, -84, -36, -165, -254, -20, -186, -275, 56, -77, -87, -63, 117, -162, -141, -306, -118, -60, -257, -80, 34, 35, -167, -132, -75, -67, 124, -40, -264, -16, 75, -142, -33, -188, -266, -90, 62, 81, -137, -371, 106, -45, 120, -48, -63, 20, -60, -39, -141, -276, -185, 21, -82, -63, 57, -321, 13, -133, -107, -98, 14, -98, -119, -248, -106, -22, -64, -184, -135, -266, -224, -214, 5, -76, -36, -129, 102, -114, -71, -300, 92, -110, 83, -114, 38, -22, -86, 64, -240, 48, 258, 31, 78, -56, -211, -5, 309, -110, 143, -1, -3, -2, -112, -270, -13, -50, -299, 58, -126, -122, -97, -198, -45, -71, -174, -1, -146, 41, -258, -179, 24, -40, -104, -254, -134, -24, 108, -200, 9, -22, -170, 58, 119, -293, -16, 20, -23, 72, -117, -314, 100, -6, -34, -98, 10, -7, -36, -14, -43, -46, 113, -412, 17, 89, -419, 36, -230, -139, -78, -297, 50, 14, -70, -245, 52, -38, -306, -192, -238, -139, 120, -36, -153, 81, -174, -449, -72, -102, -134, -159, 309, -186, 30, -421, -114, 89, 16, -4, 159, -122, -159, -23, -161, -80, 238, -60, -94, 17, -244, -268, -185, -17, -174, -88, 223, -17, 16, 19, -111, -231, -81, -211, 64, -55, -477, -180, -155, 3, -302, -176, -82, -42, -65, -662, -16, -7, -263, -42, -320, -60, -31, -355, 23, 132, -303, -34, 109, 21, -232, -108, 13, 139, 92, -50, -184, -14, 191, -225, 157, 105, 30, 56, 249, -299, 112, -14, -74, 56, -108, -303, 120, 24, -313, -166, 105, -200, 20, -53, 44, -103, -67, -308, 161, -310, -118, 22, -10, -171, 57, 17, -176, -57, -50, -382, 96, 269, -161, -84, 364, -300, 136, 120, 92, 21, 61, -183, 289, -21, -285, -89, 58, -8, 181, -136, -292, -10, -130, 40, 133, -150, 177, 21, 319, -342, 190, -221, -67, -210, -233, -657, 115, -97, -447, -119, -109, -203, -110, -69, -329, 19, 183, 63, 85, -54, -608, -295, 59, -32, 142, 135, -309, -19, 75, -549, 265, 98, -160, 188, -12, -113, -24, -445, -99, -39, -103, 187, 34, -207, -93, -191, 378, -137, 101, 45, -124, 136, -289, -181, -307, -41, -260, -95, -76, -42, -120, -319, -129, -102, 27, -558, -15, -7, -226, -234, 8, -85, 191, -232, -230, -237, 214, -575, 354, -84, 184, 6, 166, 67, 267, -397, 431, 88, 280, -380, -151, 158, -308, 31, 105, 1, -67, 334, -180, -38, 91, -156, 334, 88, -288, 36, 230, -350, 63, -331, -161, 54, -72, -331, 164, -74, -137, -308, 243, -191, -23, -129, 46, 129, 66, -426, -106, 100, -402, 8, 310, 2, -147, 82, -188, 45, 687, -101, 96, 273, -203, -110, -147, -179, -34, -187, 411, 256, 60, -503, 131, -11, -48, 18, -95, -173, 5, 11, 26, 3, -684, -216, 77, -43, -312, 9, -78, -89, 307, -377, 97, -173, -88, -447, 244, -8, -255, 24, -38, -97, -280, -219, 494, 103, 438, -409, 35, -179, 83, -150, 219, -110, 597, 166, -130, 85, -476, -318, 177, 36, -5, 101, 70, -98, -313, -237, -184, 18, 172, -356, 119, -191, -65, -203, -248, -184, -9, -134, -74, -224, -237, -260, 66, 294, -336, -189, -49, -119, 45, 54, -23, 30, -136, -61, -7, 273, -19, 104, -142, -47, 302, 40, 341, 86, 56, -637, 421, 287, 89, -224, 57, 63, 236, -109, 16, -119, 833, -145, 118, 134, -404, -124, 630, 129, -141, 259, -147, 31, -186, -215, 154, 243, -178, 5, 26, -136, 430, -528, -81, 116, -53, -4, 639, 194, -216, -483, 116, -468, 347, 248, 197, 179, 466, -375, -249, 55, 29, 82, 723, -213, 233, -247, -384, 347, -21, -271, 328, 14, -6, -280, -38, -47, 237, -285, 385, 56, 542, -278, 586, -46, -591, -33, -199, -81, 305, -493, 22, 179, -100, -691, 140, -39, 7, 37, 106, -142, 111, -215, -161, -35, -273, -437, 456, 431, -510, 32, 321, -218, 468, -631, -383, 309, 641, 3, -91, -196, 126, -213, 17, -111, -97, 200, 82, 4, -215, -664, 442, 190, 84, -91, -159, -8, -272, -186, 67, -203, 123, -57, 114, -284, 222, -117, 431, -286, 239, -143, 81, 79, 525, -571, 39, 272, -160, -49, 391, 31, 127, 12, 169, 227, 235, -208, 671, 32, -397, 38, 66, -251, -109, 79, 238, 73, 384, 12, -69, 103, -309, 199, 10, -408, 478, 73, 524, 46, 562, -483, 328, 40, -603, -101, 227, -91, 262, 289, -617, 117, -11, -464, 326, -348, 87, 186, 404, -193, 128, -267, -460, 520, 560, 106, 6, 357, 195, -104, 692, -490, -302, 339, 144, 302, 21, -501, -42, 2, -36, 61, 45, -45, 264, -208, 214, 291, 337, -127, 50, 417, -52, 181, 39, -383, 119, 70, -122, 107, -97, -927, 190, 1, -359, -386, 5, -54, 336, -135, -18, 0, -42, -165, -175, -244, 50, -45, 532, -185, 80, -411, 139, 388, 203, -696, 523, -37, 149, 101, -325, -131, -51, 27, -59, 45, 51, -227, -82, 114, -333, 72, 785, 178, 315, -48, 110, 44, 251, -765, -132, 175, 162, -56, 437, -25, -484, -152, 159, -99, 116, -485, 451, -16, -60, -177, 354, -94, 98, 254, -25, 167, 275, -193, 549, -89, -511, 313, 144, 116, 715, -514, 87, 31, 724, 17, 146, 519, 52, 106, 321, -99, 504, 464, 333, -21, 508, -144, 304, 406, -502, 48, 532, -100, 435, -250, -185, 156, 802, -198, 297, -450, -482, -60, 543, -165, 644, 356, 234, 149, 353, -615, 228, 245, 275, -228, 481, -57, 260, 210, -108, -137, 740, -26, 808, -183, -201, 251, 566, 25, 128, 76, 246, 30, 49, -397, -8, -23, 391, 109, 915, -177, 461, -534, -85, -241, 210, -56, 300, -58, -304, -56, -56, -127, 87, -360, -39, -147, 195, 85, 350, -147, 21, 141, -151, -180, 216, 71, -273, 213, 203, -606, 697, -242, -110, -2, 238, 231, -133, -308, -114, 246, 809, -368, 46, -89, -171, -176, 987, 237, 21, 75, 308, 422, 739, -30, 260, -53, 238, -124, -356, 286, 22, 379, 65, -6, -86, -521, 315, 269, -160, -28, 679, 12, -83, -308, -42, -304, 779, 23, 247, 60, 291, -242, 714, 104, 30, -443, 876, 563, 662, -401, 106, 484, 93, -106, 435, 28, 326, 139, -128, 90, 101, -119, 670, 632, 40, 141, 850, -195, 121, -236, -67, -25, 293, -1236, 314, 493, -34, 168, -316, -499, 672, -350, 132, 395, -116, -190, 498, 541, -1145, 101, 708, 303, 126, 292, -123, 237, 1241, -282, -17, -121, 509, 685, 405, -392, -120, -277, -23, 444, 30, -426, 524, 410, -143, -667, -81, -116, 172, 329, -143, 167, -215, -301, 78, -121, -324, 267, 176, -275, 268, -529, 13, -75, 225, -33, 85, 265, -311, -224, -5, -260, 108, -907, 178, 66, 505, -183, 451, 5, -796, 64, 302, 29, 862, 37, 286, 45, -302, 168, 463, -95, 210, -84, 444, 52, -170, 138, 7, 324, 867, -634, 595, 7, 533, -339, 576, 141, 128, -145, -294, -235, 95, 86, -89, -407, 213, -99, -409, -186, 309, 406, 111, 169, 422, -1058, -83, -136, -83, 278, -74, -229, 207, 7, 421, 91, 286, -6, 1017, 762, 141, -395, 691, -156, 494, 74, 22, 75, 749, -314, 146, 674, -236, 129, -182, -77, 662, -124, -85, 289, 643, -313, 400, 803, -548, -305, 204, -259, 518, -130, -213, 80, 638, -425, 832, 552, -336, 75, 937, -240, 119, -552, 3, 76, 1335, -624, 436, 307, -255, -269, 894, 14, 757, 342, 49, 218, 35, -200, 761, 68, -284, -195, 137, 187, 395, -251, 463, 8, 1180, -56, 468, 34, 297, -310, -64, -162, 355, -317, 27, 323, -430, -497, -46, -83, -299, -307, 537, 127, 152, -261, -511, -196, -709, 521, 668, 753, -502, 185, 527, -4, 1218, -35, 156, 385, 1220, -620, 326, 28, 265, 59, 471, -103, 64, 190, 225, 161, 227, -11, 242, 893, -63, -38, 283, 410, -205, -386, 302, 352, 211, -573, 386, -276, -359, 189, 773, -589, 356, 146, 34, -255, 1018, -477, 24, -84, 1, -372, 1243, 162, 812, 315, 202, 201, 1048, 41, 348, 95, 368, 417, 1235, -94, 149, 401, 603, 629, 491, 14, -132, 166, -28, 231, 661, -338, 1099, 103, 978, 146, 645, -464, 18, 285, -885, 112, 86, -178, 625, -264, -398, 170, 318, 108, 441, -290, 609, -88, 186, -117, 403, 402, -123, 211, 422, -592, 80, 805, 659, 67, 844, -310, -251, -152, 321, 395, 964, -493, 498, 361, -801, 191, 1, 96, 205, -332, 407, 471, 266, -245, 40, 481, -524, 99, -306, -272, 153, 70, -206, 271, -524, -60, 798, -120, 395, -556, -83, -325, 435, 518, 396, 431, -225, -46, -70, -24, 898, 275, 973, -229, 1097, -739, 630, 493, 26, -745, 963, 323, 780, -517, 519, 171, 828, 144, 727, 70, 296, -249, 198, -166, -186, 261, 2054, 266, 23, 64, 336, -336, 1137, -534, -195, 365, 345, 1, -115, 216, 455, 314, 269, 91, 266, -649, 885, 320, -404, 212, 733, 431, 36, 264, 488, 292, 927, 207, 682, -77, 369, 88, 375, -212, 995, 609, 723, -83, 610, -328, 1070, 776, 54, 245, 391, -420, 629, -383, 374, 327, 839, -9, 1037, 485, -176, 40, 1052, -288, 287, 372, -128, 701, 434, -524, 374, -193, 9, 418, 402, -36, 802, -503, 75, 45, 205, -479, 573, -61, -460, -283, 821, -92, 835, 388, 336, 2, 1785, -228, 1096, 96, -686, 728, 649, -399, 235, 85, -71, 12, 164, -745, 211, 419, 737, -162, 775, -41, 579, -33, -520, -173, -247, -718, -35, 114, 413, 141, -193, -113, -168, -553, 358, 136, 691, -119, 317, 643, 278, 355, 16, -282, 424, 1169, -166, 582, -177, -74, 1204, 39, -65, 588, 1376, 424, 77, -646, -49, 391, 335, 351, 59, -81, 541, -116, 688, 267, 462, 27, 694, 664, 60, -973, 229, 331, 319, -52, -451, 416, 510, -115, -39, -7, 1056, -573, 750, 136, -485, 428, 956, 220, 142, -22, 604, -230, 1470, -1111, 373, 150, 264, 86, 815, 388, 778, 21, 636, 553, 1769, 82, 184, 571, -257, -263, 1023, 16, -3, 202, -49, 114, 723, -492, 1380, 843, 985, 170, 1041, -565, 149, 847, 483, 539, -27, -587, 317, 389, -394, -128, 593, -22, 835, -710, -216, 469, 278, -57, 653, 621, -666, 472, 798, 385, -250, 565, 229, -25, 1128, -371, 475, 497, 1023, 444, 42, -781, 374, 291, 271, 388, -87, -630, -138, 684, -251, 63, 636, 189, -216, -887, 557, 728, 375, -195, -74, -115, 392, 926, 845, -67, 451, 281, 551, 242, 223, -386, -20, 322, 1017, -213, 399, -532, 635, -690, 273, 425, 1543, -279, 756, 349, -164, 0, 997, -286, 1368, 663, 300, 336, 67, -696, 1383, 311, 856, 167, 469, 101, -324, 202, 387, 231, 1071, 322, 548, 518, 68, -682, 727, 315, 319, 365, 4, 123, 797, -195, 491, 272, -587, 694, 422, -325, 364, 266, -344, 223, 780, -297, 124, 1107, 445, 285, -297, 545, 127, 118, 823, -198, 234, -727, 1441, 163, -280, -398, 870, 330, 1187, -113, 48, 487, 701, -674, -137, 694, 740, 4, 450, 338, 437, 136, 398, -17, 857, -280, 216, 708, -891, -373, 3, -104, 41, -152, -168, 557, 432, 149, 1046, -273, 467, -64, 370, -694, 418, -116, 413, 253, 1002, -898, 18, 739, -59, -63, 1187, 408, 805, -950, -450, 321, 411, -277, 350, 28, -1034, -105, 584, 227, 29, -262, 1117, 26, 1658, -807, 542, 139, 445, 219, -83, -124, 204, -715, 368, 661, -731, -112, -242, 323, -341, -525, 718, 595, 240, -50, 24, -202, -1130, -35, -405, 1008, -251, 257, 556, -97, 533, -191, -270, 496, 1181, -169, 16, -782, 754, -210, 626, 141, 68, 174, 203, -182, -620, -193, 787, 464, 270, 558, -83, -110, -756, -599, 951, 180, 702, -129, 126, -92, -702, -189, 158, -408, 374, 525, 241, 149, 650, -664, 262, -137, -250, -301, 362, 283, 960, -271, 150, 78, 264, -128, -53, 245, 507, 549, 894, -135, -109, -205, 846, 766, 1097, 38, -888, 116, -338, -88, 127, -111, 1024, 229, -314, -53, -307, -471, 47, -262, -34, 83, 10, 199, -179, 517, -711, 175, -423, -1240, 414, 41, -290, 351, -444, -51, -343, -229, -689, 173, -262, 404, -938, 329, -967, 41, 503, -765, 44, -339, 30, 138, 439, -49, 102, 284, -35, -102, -2, 144, -139, -924, 220, 212, -120, -128, -217, 1129, -493, -331, 75, -289, 843, -301, -223, 153, -264, -1125, 40, 38, -142, -269, 119, 98, 153, -478, 666, 216, -963, -718, 197, -691, 251, 42, 320, -145, 29, 14, 66, 409, 489, -669, 516, 489, 519, -147, 35, 147, 1000, -169, 396, 71, 76, -126, -898, 235, 123, -91, 1548, 69, 430, 471, 447, -474, -786, -1176, 124, -279, 103, 109, 696, 65, -249, 416, -499, -42, 145, -855, 147, 437, -884, -63, 44, 305, -392, 77, 174, 777, 474, -225, -61, 194, -929, 255, -212, -56, 866, 523, -458, -553, 593, -359, 778, 853, 10, -712, -232, -591, -332, -261, -41, 303, 1, -138, 540, -80, -437, -188, 1291, -550, -930, 217, -13, 297, -388, 10, -322, -1055, -448, -164, -650, 68, 1200, 11, -929, -506, 484, -1295, -108, 828, -592, -257, -80, -63, 65, -421, -395, -154, 858, -499, 679, 144, -507, 211, 634, -28, 647, 151, -131, -271, -1344, 113, -729, 860, 172, 34, 408, -9, 93, -29, -83, -112, -101, -35, 11, -353, -566, 121, 35, -693, -247, 197, -729, 190, -558, -910, -526, 1035, -97, -378, -999, 681, -203, 68, -486, 383, 423, -355, 39, -575, -555, 40, 1788, 950, -1135, -275, 57, 843, 48, -365, 37, -475, 292, -529, -109, 403, -102, -71, -411, 437, 461, -102, -314, 54, 200, -318, -855, 498, 209, -168, -55, 474, -495, -806, 184, 12, -1348, 277, 552, -30, -347, -114, 470, -640, 177, -10, 130, 453, -78, -723, 68, 124, -806, 106, 659, 829, 57, -1253, -310, 88, 234, 108, 1274, 37, -599, -113, -341, 98, 516, -422, 565, 233, 63, 101, -975, -468, -452, 533, -714, -254, -288, -1372, 315, 372, -988, -48, -687, -5, -516, -1220, 180, 192, -1711, -141, -56, 723, -864, 155, 52, 492, -671, 758, 52, 78, 237, -1152, -133, 862, 1951, -2, -260, -736, 264, -391, 156, -84, 166, -547, -240, 83, 282, -161, -599, 411, -872, -269, 64, 9, 732, -1176, -257, 114, -666, 275, 231, -154, -280, -366, 130, 12, -1210, 319, -69, -5, 57, -146, -837, -396, 257, -1111, 202, 82, 871, -538, 146, -14, -124, 127, 20, -609, 499, 567, 867, 717, -1304, -634, -75, 74, 1017, -74, -243, 283, -80, 367, -560, 312, 118, -740, -167, -394, -473, -479, 341, -299, -401, -657, -284, 277, 208, -560, 225, 173, -214, -50, -1108, -399, 390, 163, 426, 455, -1437, 92, -566, 886, -62, 415, -1057, 318, -810, -1395, -178, -57, -450, 237, 229, 704, -89, -725, 795, 77, 750, -14, 3, 186, -507, -1134, 59, 858, -619, -303, 63, 116, -143, 323, -44, -572, 571, -454, 169, 129, -665, -377, -1414, -221, -584, -542, 74, 692, -427, -1356, -282, 139, 420, 241, 126, -683, -373, -192, 1057, -233, 915, -670, 506, 1063, -852, -374, -15, 637, 639, -99, -603, 433, 587, -579, 20, 11, -378, -153, -794, -462, -401, -783, 1156, 339, -206, -79, 74, -690, -119, -3, 45, -252, 252, 323, -355, 209, -567, -212, -338, -391, -497, -534, 1037, 576, -941, -348, -373, -61, -1584, 151, 118, 288, -1219, 233, 10, -468, 388, -27, -93, 620, 1188, -375, -576, -480, 154, 316, -61, 63, 183, -962, -78, 54, 195, 35, -356, 150, 33, 125, -659, -198, -984, 544, 580, 331, -487, -990, -480, 153, -61, -149, -16, -451, 550, 38, -1207, 846, 850, -435, -1383, -765, -1167, -1208, 113, 117, 848, 278, 536, 279, -414, -670, -85, 181, 659, 528, -75, -518, -1662, 71, 334, 545, -58, 153, -1260, 618, -1336, -271, -808, -126, 344, -338, 49, 203, -469, -998, -1029, -217, -256, 765, -159, -327, -281, 202, -689, 40, -450, -985, 65, -145, 324, 250, -366, 14, -382, 258, -626, -143, 540, -1018, -329, 198, -931, 460, 842, -405, -524, -513, 174, 213, 787, -426, 27, 255, -654, 319, 40, -809, -31, -838, 392, 351, 336, 45, -1382, 873, -347, -313, -777, -588, 270, 84, -104, -54, -4, -160, 23, 383, 294, -513, 55, -317, -151, 448, -63, 289, -537, -629, -1539, -361, -35, -231, 754, 322, -174, -49, 312, 95, -1319, -338, 524, 179, -247, -377, -246, -91, 1261, 409, 334, 88, -431, -1001, -400, 675, 321, 316, 395, 411, -118, -459, 964, -462, 297, -249, -825, 173, -530, -581, -706, 363, 137, -99, -500, -144, -1225, -875, -665, 706, -904, 281, 97, 229, -776, -259, 507, 467, -944, -633, -459, 14, 371, -912, -604, -248, 811, 849, -401, -345, -397, 53, 378, -331, 69, -254, -1195, -88, -715, -588, -926, 156, 1352, 191, 291, -836, 98, -380, 449, 21, -739, 547, 337, 276, -10, 490, 735, -197, -849, 319, -1232, 782, 231, -906, -521, -467, -94]