# Trace form for 8002.2.a.f, downloaded from the LMFDB on 25 April 2024.
[0, 89, -89, -12, 89, -18, 12, -27, -89, 95, 18, -26, -12, 2, 27, -21, 89, -60, -95, 1, -18, -6, 26, -45, 12, 107, -2, -45, -27, -18, 21, -38, -89, -29, 60, -47, 95, -15, -1, -38, 18, -50, 6, -15, -26, -35, 45, -121, -12, 132, -107, 6, 2, -46, 45, -37, 27, -42, 18, -34, -21, 41, 38, -131, 89, -57, 29, -11, -60, 15, 47, -66, -95, -47, 15, -46, 1, -106, 38, -51, -18, 113, 50, -141, -6, -7, 15, -110, 26, -30, 35, 37, -45, -44, 121, -98, 12, 3, -132, -71, 107, -60, -6, -56, -2, -40, 46, -85, -45, 38, 37, -56, -27, -73, 42, -10, -18, -42, 34, -103, 21, 153, -41, -110, -38, -117, 131, -59, -89, 12, 57, -86, -29, 32, 11, -123, 60, -129, -15, 4, -47, 30, 66, -149, 95, 20, 47, -110, -15, -61, 46, -41, -1, -147, 106, -54, -38, -3, 51, -97, 18, -80, -113, -44, -50, 13, 141, -264, 6, 133, 7, -17, -15, -144, 110, -120, -26, -116, 30, -30, -35, 154, -37, -77, 45, -32, 44, -25, -121, -48, 98, -81, -12, -61, -3, -90, 132, -214, 71, -79, -107, -4, 60, -117, 6, 1, 56, -160, 2, -63, 40, 31, -46, -108, 85, -272, 45, 31, -38, -89, -37, -61, 56, -129, 27, 98, 73, -280, -42, 40, 10, -53, 18, -169, 42, 18, -34, -89, 103, -134, -21, 40, -153, -117, 41, -114, 110, -101, 38, -81, 117, -81, -131, -51, 59, -182, 89, -121, -12, 19, -57, -6, 86, -182, 29, 88, -32, -89, -11, -19, 123, -86, -60, -55, 129, -216, 15, 25, -4, -249, 47, -70, -30, -30, -66, -53, 149, -195, -95, 161, -20, 23, -47, -252, 110, -108, 15, -144, 61, -149, -46, 92, 41, -161, 1, -149, 147, -152, -106, 26, 54, -245, 38, 26, 3, -86, -51, -180, 97, -89, -18, 11, 80, -199, 113, 74, 44, -312, 50, -143, -13, 47, -141, -139, 264, -238, -6, -49, -133, -25, -7, 23, 17, -198, 15, -53, 144, -226, -110, 1, 120, -162, 26, -201, 116, -1, -30, -72, 30, -228, 35, 266, -154, -205, 37, -89, 77, -129, -45, -79, 32, -141, -44, -49, 25, -164, 121, -360, 48, -1, -98, -46, 81, -245, 12, 20, 61, -216, 3, -46, 90, -81, -132, -53, 214, -289, -71, -41, 79, -194, 107, -66, 4, -117, -60, -134, 117, -255, -6, 32, -1, -66, -56, -163, 160, -157, -2, -126, 63, -95, -40, 126, -31, -447, 46, -328, 108, -118, -85, -78, 272, -155, -45, -36, -31, -230, 38, -468, 89, -119, 37, 170, 61, -164, -56, 69, 129, -313, -27, -120, -98, 92, -73, -245, 280, -258, 42, -38, -40, 0, -10, -259, 53, -179, -18, -71, 169, -251, -42, 114, -18, -122, 34, -202, 89, -75, -103, -113, 134, -232, 21, 20, -40, -121, 153, -125, 117, -121, -41, 15, 114, -181, -110, 67, 101, -209, -38, -165, 81, -4, -117, 59, 81, -387, 131, -42, 51, -322, -59, -154, 182, -156, -89, -124, 121, -105, 12, -6, -19, -111, 57, -81, 6, -33, -86, -63, 182, -242, -29, 206, -88, -14, 32, -134, 89, -138, 11, -61, 19, -270, -123, 81, 86, -180, 60, -172, 55, -28, -129, 44, 216, -268, -15, 72, -25, -136, 4, -291, 249, -133, -47, -4, 70, -222, 30, 144, 30, -508, 66, -99, 53, 5, -149, 2, 195, -220, 95, -47, -161, -188, 20, -92, -23, -169, 47, -112, 252, -393, -110, 123, 108, -225, -15, -412, 144, 6, -61, -46, 149, -151, 46, 172, -92, -76, -41, -200, 161, -279, -1, 45, 149, -140, -147, -57, 152, -275, 106, -244, -26, 77, -54, 87, 245, -435, -38, 161, -26, -191, -3, -199, 86, -72, 51, -146, 180, -308, -97, -24, 89, -265, 18, -35, -11, -182, -80, -171, 199, -399, -113, 157, -74, -20, -44, -245, 312, -134, -50, -373, 143, -41, 13, 160, -47, -208, 141, -261, 139, -49, -264, -36, 238, -320, 6, -65, 49, -247, 133, -442, 25, -199, 7, 0, -23, -211, -17, 113, 198, -238, -15, -98, 53, 130, -144, -276, 226, -308, 110, -5, -1, -63, -120, 6, 162, -186, -26, -74, 201, -255, -116, 156, 1, -189, 30, -314, 72, -130, -30, -188, 228, -271, -35, 166, -266, -153, 154, -145, 205, -179, -37, 236, 89, -159, -77, -177, 129, -125, 45, -179, 79, -10, -32, 47, 141, -547, 44, 61, 49, -463, -25, -70, 164, -146, -121, -86, 360, -221, -48, -17, 1, -162, 98, -301, 46, 23, -81, -97, 245, -476, -12, 0, -20, -70, -61, -172, 216, -250, -3, -222, 46, -159, -90, 264, 81, -441, 132, -271, 53, -144, -214, 0, 289, -273, 71, -39, 41, -136, -79, -287, 194, -78, -107, 93, 66, -270, -4, 131, 117, -162, 60, -130, 134, 30, -117, -167, 255, -318, 6, 92, -32, -56, 1, -262, 66, -185, 56, -122, 163, -368, -160, 342, 157, -160, 2, -387, 126, 38, -63, -229, 95, -396, 40, 359, -126, -325, 31, -259, 447, -360, -46, -34, 328, -165, -108, -105, 118, -367, 85, -422, 78, -1, -272, 220, 155, -355, 45, -9, 36, -234, 31, -66, 230, -189, -38, -237, 468, -280, -89, 12, 119, -119, -37, -188, -170, 21, -61, 1, 164, -600, 56, 177, -69, -204, -129, -217, 313, -260, 27, -169, 120, -277, 98, 176, -92, -257, 73, -299, 245, -87, -280, -136, 258, -182, -42, 3, 38, -139, 40, -356, 0, -93, 10, -34, 259, -673, -53, -110, 179, -307, 18, -211, 71, -50, -169, 48, 251, -194, 42, 13, -114, -74, 18, -108, 122, -346, -34, -226, 202, -389, -89, 180, 75, -304, 103, -242, 113, 1, -134, -165, 232, -310, -21, 207, -20, -193, 40, -381, 121, -186, -153, -174, 125, -165, -117, -21, 121, -370, 41, -229, -15, 227, -114, 106, 181, -516, 110, -9, -67, -212, -101, -164, 209, -149, 38, -267, 165, -110, -81, -87, 4, -166, 117, -243, -59, -149, -81, 10, 387, -676, -131, 144, 42, -117, -51, -290, 322, -79, 59, -124, 154, -58, -182, 358, 156, -176, 89, -231, 124, -57, -121, -150, 105, -181, -12, 20, 6, -55, 19, -151, 111, -196, -57, 97, 81, -246, -6, 268, 33, -201, 86, -129, 63, 66, -182, 7, 242, -445, 29, 146, -206, 62, 88, -98, 14, -218, -32, 180, 134, -190, -89, 326, 138, 70, -11, -216, 61, 199, -19, -165, 270, 21, 123, 331, -81, -59, -86, -194, 180, -58, -60, 456, 172, -110, -55, 264, 28, -65, 129, -376, -44, 58, -216, 312, 268, -108, 15, 283, -72, -201, 25, -29, 136, -218, -4, 78, 291, 106, -249, 81, 133, -196, 47, 22, 4, 12, -70, -69, 222, -386, -30, 278, -144, 326, -30, -242, 508, 11, -66, -108, 99, -118, -53, 299, -5, -71, 149, -51, -2, 69, -195, 274, 220, -357, -95, 364, 47, 486, 161, -250, 188, -39, -20, 253, 92, -370, 23, 280, 169, -237, -47, 418, 112, 291, -252, 417, 393, -370, 110, 22, -123, 87, -108, -104, 225, -187, 15, -9, 412, -230, -144, 329, -6, 134, 61, -95, 46, 246, -149, 177, 151, -217, -46, 292, -172, 65, 92, 245, 76, -177, 41, 89, 200, -54, -161, 152, 279, 237, 1, -173, -45, 430, -149, 445, 140, -119, 147, 573, 57, 18, -152, 149, 275, -71, -106, 67, 244, -50, 26, 34, -77, 198, 54, 114, -87, 245, -245, 663, 435, -143, 38, 302, -161, 75, 26, -223, 191, -98, 3, 196, 199, -98, -86, 297, 72, -82, -51, -12, 146, 97, -180, 469, 308, 79, 97, 174, 24, 429, -89, -20, 265, 67, -18, 401, 35, -119, 11, 325, 182, 76, 80, 15, 171, 365, -199, 160, 399, 9, 113, 30, -157, 483, 74, 136, 20, -45, 44, 582, 245, -289, -312, 583, 134, 147, 50, 332, 373, -27, -143, 287, 41, -273, -13, 448, -160, 297, 47, 123, 208, -70, -141, 444, 261, 201, -139, 214, 49, 190, 264, -204, 36, 269, -238, 398, 320, -50, -6, 462, 65, 114, -49, 81, 247, 28, -133, 178, 442, 138, -25, 365, 199, 213, -7, 20, 0, 71, 23, 409, 211, -210, 17, 628, -113, 424, -198, -89, 238, 111, 15, -247, 98, 442, -53, 299, -130, 341, 144, 22, 276, 45, -226, 517, 308, -285, -110, 186, 5, 315, 1, -14, 63, 115, 120, 674, -6, -71, -162, 425, 186, 110, 26, 202, 74, 339, -201, 525, 255, 8, 116, 248, -156, 526, -1, 238, 189, -23, -30, 598, 314, -56, -72, 501, 130, -87, 30, 35, 188, 388, -228, 320, 271, 38, 35, 378, -166, 443, 266, 63, 153, -199, -154, 402, 145, -17, -205, 332, 179, 500, 37, 197, -236, 350, -89, 400, 159, -234, 77, 463, 177, 70, -129, 366, 125, -15, -45, 129, 179, 181, -79, 192, 10, 474, 32, 48, -47, 251, -141, 694, 547, -517, -44, 313, -61, 295, -49, -150, 463, 358, 25, 27, 70, 241, -164, 411, 146, -377, 121, 166, 86, 120, -360, 616, 221, -117, 48, 236, 17, 524, -1, -460, 162, -86, -98, 679, 301, 77, -46, 373, -23, -17, 81, 284, 97, 222, -245, 718, 476, -70, 12, 135, 0, 472, 20, 103, 70, 37, 61, 394, 172, -14, -216, 329, 250, 328, 3, -400, 222, 222, -46, 198, 159, 17, 90, 515, -264, 138, -81, 381, 441, -222, -132, 761, 271, -9, -53, 387, 144, 40, 214, -111, 0, 371, -289, 391, 273, 437, -71, 596, 39, 115, -41, 357, 136, -177, 79, 368, 287, 189, -194, 149, 78, 96, 107, -13, -93, 55, -66, 395, 270, -258, 4, 834, -131, 417, -117, -429, 162, 168, -60, 588, 130, 255, -134, 397, -30, 175, 117, 29, 167, -79, -255, 739, 318, 150, -6, 388, -92, 1110, 32, 127, 56, 203, -1, 408, 262, -193, -66, 371, 185, -55, -56, -11, 122, 512, -163, 469, 368, 9, 160, 78, -342, 822, -157, 280, 160, 93, -2, 814, 387, -210, -126, 441, -38, 27, 63, 482, 229, 357, -95, 250, 396, -96, -40, 527, -359, 384, 126, 0, 325, -15, -31, 502, 259, 197, -447, 243, 360, 155, 46, -555, 34, 457, -328, 336, 165, -122, 108, 500, 105, 266, -118, 535, 367, -288, -85, 631, 422, 96, -78, 377, 1, 418, 272, 325, -220, 352, -155, 502, 355, -350, -45, 360, 9, 326, -36, 3, 234, 0, -31, -98, 66, 307, -230, 846, 189, 571, 38, 291, 237, 289, -468, 773, 280, 90, 89, 168, -12, 602, -119, -364, 119, -167, 37, 587, 188, 688, 170, 615, -21, 13, 61, 55, -1, 493, -164, 446, 600, 120, -56, 406, -177, 453, 69, 156, 204, 37, 129, 1145, 217, -169, -313, 527, 260, 180, -27, 110, 169, 319, -120, 86, 277, 474, -98, 422, -176, 506, 92, 52, 257, -64, -73, 459, 299, -50, -245, 470, 87, 536, 280, 250, 136, 624, -258, 588, 182, -373, 42, 205, -3, 304, -38, 355, 139, 38, -40, 499, 356, 287, 0, 559, 93, 208, -10, 122, 34, 494, -259, 640, 673, -267, 53, 564, 110, 629, -179, 57, 307, 237, -18, 442, 211, 121, -71, 82, 50, 135, 169, 222, -48, -166, -251, 1094, 194, -51, -42, 687, -13, 1068, 114, -128, 74, -87, -18, 504, 108, -63, -122, 795, 346, 393, 34, 359, 226, 146, -202, 663, 389, 61, 89, 271, -180, 633, -75, 94, 304, 116, -103, 762, 242, -26, -113, 294, -1, 618, 134, -231, 165, 549, -232, 408, 310, 594, 21, 597, -207, 154, 20, 324, 193, 78, -40, 788, 381, -81, -121, 81, 186, -387, 153, -98, 174, 484, -125, 704, 165, 421, 117, 630, 21, 496, -121, 62, 370, 90, -41, 965, 229, 70, 15, 103, -227, 367, 114, 305, -106, 315, -181, 413, 516, -198, -110, 531, 9, 384, 67, 43, 212, 356, 101, 255, 164, 118, -209, 650, 149, 197, -38, 261, 267, -8, -165, 501, 110, -92, 81, 300, 87, 999, -4, -164, 166, 277, -117, 786, 243, 177, 59, 514, 149, -212, 81, 35, -10, 310, -387, 1090, 676, 152, 131, 410, -144, 552, -42, -106, 117, -162, 51, 737, 290, 263, -322, 958, 79, 114, -59, -23, 124, 286, -154, 211, 58, -146, 182, 275, -358, 110, -156, 334, 176, -195, -89, 767, 231, 100, -124, 417, 57, 391, 121, -244, 150, 428, -105, 393, 181, -654, 12, 426, -20, -1, -6, 241, 55, 13, -19, 716, 151, -322, -111, -9, 196, 886, 57, -54, -97, 292, -81, 525, 246, -129, 6, 419, -268, 93, -33, 252, 201, 96, -86, 151, 129, 132, -63, 291, -66, 234, 182, 6, -7, 104, -242, 256, 445, -168, -29, 99, -146, 1125, 206, -176, -62, 163, -88, 398, 98, 168, -14, 649, 218, 195, 32, 203, -180, -68, -134, 40, 190, 38, 89, -67, -326, 868, -138, 354, -70, -272, 11, 787, 216, -644, -61, 538, -199, -203, 19, 17, 165, 608, -270, 224, -21, 281, -123, 524, -331, 148, 81, -322, 59, 54, 86, 826, 194, -166, -180, -52, 58, 131, 60, -129, -456, 203, -172, 745, 110, -128, 55, 225, -264, -62, -28, 84, 65, -47, -129, 525, 376, 520, 44, 352, -58, -14, 216, -169, -312, -87, -268, 836, 108, -442, -15, 838, -283, 48, 72, -47, 201, 71, -25, 0, 29, 168, -136, -261, 218, 200, 4, 65, -78, 35, -291, 642, -106, -119, 249, 637, -81, 140, -133, 55, 196, -194, -47, 146, -22, -489, -4, 178, -12, -378, 70, 369, 69, 68, -222, 667, 386, -160, 30, 53, -278, 119, 144, 33, -326, -137, 30, 567, 242, -323, -508, 398, -11, 27, 66, -383, 108, 237, -99, -423, 118, 218, 53, 586, -299, -24, 5, 39, 71, -550, -149, 289, 51, 83, 2, 96, -69, -34, 195, -405, -274, 134, -220, -161, 357, -484, 95, 139, -364, 357, -47, -91, -486, -365, -161, 193, 250, -72, -188, 143, 39, 274, 20, -95, -253, 166, -92, 145, 370, -540, -23, 158, -280, 283, -169, 86, 237, -119, 47, 425, -418, 221, -112, 329, -291, 79, 252, 331, -417, -75, -393, 684, 370, -565, -110, 73, -22, 80, 123, -135, -87, -42, 108, -269, 104, 67, -225, 250, 187, 147, -15, 198, 9, -137, -412, 52, 230, -353, 144, -51, -329, 816, 6, 4, -134, -429, -61, 694, 95, -209, -46, 243, -246, 139, 149, 397, -177, 42, -151, -21, 217, -297, 46, 309, -292, -385, 172, -134, -65, -347, -92, 335, -245, -236, -76, 142, 177, -108, -41, -624, -89, 189, -200, 213, 54, -179, 161, 347, -152, -183, -279, 414, -237, -469, -1, 497, 173, -94, 45, -30, -430, -370, 149, -575, -445, -49, -140, 557, 119, 79, -147, 635, -573, -212, -57, -162, -18, -512, 152, 109, -149, 64, -275, 346, 71, 681, 106, 178, -67, 64, -244, 375, 50, -216, -26, -48, -34, 101, 77, -913, -198, -183, -54, 219, -114, 32, 87, 91, -245, -386, 245, 759, -663, -18, -435, 425, 143, -235, -38, 78, -302, 365, 161, -136, -75, -26, -26, 303, 223, -646, -191, 201, 98, -1228, -3, -139, -196, 171, -199, 117, 98, 413, 86, 201, -297, -5, -72, -431, 82, -618, 51, -114, 12, 24, -146, 352, -97, 298, 180, -370, -469, 433, -308, 80, -79, -466, -97, 107, -174, -285, -24, 251, -429, -301, 89, -148, 20, 529, -265, 226, -67, 556, 18, -172, -401, 3, -35, 237, 119, -548, -11, 427, -325, -29, -182, 284, -76, -84, -80, -177, -15, 9, -171, -623, -365, 153, 199, -275, -160, 69, -399, 379, -9, -225, -113, 44, -30, -289, 157, 29, -483, -457, -74, 793, -136, -79, -20, 610, 45, -885, -44, 148, -582, -165, -245, -278, 289, -299, 312, 3, -583, 679, -134, -170, -147, -402, -50, 520, -332, -203, -373, 435, 27, -372, 143, 12, -287, -33, -41, -501, 273, -276, 13, -21, -448, 865, 160, 296, -297, -130, -47, 393, -123, -213, -208, -243, 70, -402, 141, -313, -444, 136, -261, -432, -201, -445, 139, -230, -214, -286, -49, 103, -190, -445, -264, 519, 204, -121, -36, 288, -269, -675, 238, -56, -398, -41, -320, 667, 50, -57, 6, 137, -462, -100, -65, -462, -114, -290, 49, 272, -81, 494, -247, 212, -28, 68, 133, -161, -178, -400, -442, 990, -138, -466, 25, 344, -365, -125, -199, 125, -213, -92, 7, -97, -20, -363, 0, -269, -71, 88, -23, -21, -409, -69, -211, 490, 210, -189, -17, 69, -628, 433, 113, -271, -424, -662, 198, -371, 89, -520, -238, 486, -111, -644, -15, 408, 247, 505, -98, 377, -442, -215, 53, -3, -299, -490, 130, 36, -341, -242, -144, 1000, -22, -379, -276, 10, -45, 270, 226, -280, -517, -111, -308, -263, 285, -226, 110, 562, -186, -322, -5, 96, -315, -522, -1, 153, 14, -356, -63, 104, -115, -308, -120, -45, -674, -49, 6, -62, 71, -91, 162, 205, -425, 249, -186, -644, -110, -1061, -26, -114, -202, -271, -74, 147, -339, -98, 201, 544, -525, 136, -255, 475, -8, -506, -116, -293, -248, 412, 156, -446, -526, 141, 1, 89, -238, 706, -189, -78, 23, -217, 30, 172, -598, -214, -314, 128, 56, -232, 72, -269, -501, -31, -130, -147, 87, -420, -30, 112, -35, -462, -188, 866, -388, -1319, 228, -687, -320, -306, -271, 450, -38, -143, -35, 37, -378, 405, 166, 315, -443, -641, -266, 95, -63, 17, -153, -169, 199, 391, 154, -225, -402, -95, -145, 114, 17, -452, 205, 139, -332, -230, -179, 587, -500, -217, -37, 85, -197, -239, 236, -186, -350, -362, 89, -275, -400, -220, -159, 404, 234, -682, -77, 705, -463, 286, -177, 464, -70, -389, 129, -60, -366, -162, -125, -237, 15, -708, 45, -551, -129, -360, -179, 97, -181, 255, 79, 406, -192, 155, -10, -314, -474, -522, -32, 266, -48, -166, 47, 448, -251, -146, 141, 220, -694, -254, -547, 355, 517, -369, 44, -94, -313, 441, 61, 24, -295, -268, 49, 437, 150, -180, -463, 373, -358, -661, -25, 287, -27, 333, -70, -179, -241, -381, 164]