# Trace form for 8002.2.a.e, downloaded from the LMFDB on 24 April 2024.
[0, 77, -77, 10, 77, 18, -10, 21, -77, 71, -18, 30, 10, -2, -21, 21, 77, 60, -71, -3, 18, 10, -30, 53, -10, 59, 2, 43, 21, 30, -21, 22, -77, 31, -60, 41, 71, -3, 3, 44, -18, 48, -10, 21, 30, 33, -53, 107, 10, 24, -59, 18, -2, 42, -43, 49, -21, 32, -30, 42, 21, -31, -22, 109, 77, 39, -31, -1, 60, -33, -41, 58, -71, 35, 3, 34, -3, 86, -44, 25, 18, 53, -48, 107, 10, 21, -21, 100, -30, 34, -33, -51, 53, 48, -107, 118, -10, -13, -24, 63, 59, 64, -18, 38, 2, 40, -42, 111, 43, -52, -49, 68, 21, 47, -32, 22, 30, 58, -42, 117, -21, 33, 31, 90, 22, 99, -109, 65, -77, -56, -39, 92, 31, -24, 1, 45, -60, 139, 33, -32, 41, -10, -58, 137, 71, 16, -35, 44, -3, 63, -34, 69, 3, 153, -86, 66, 44, -7, -25, 71, -18, 84, -53, 38, 48, 13, -107, 234, -10, -11, -21, 59, 21, 108, -100, 120, 30, 30, -34, 16, 33, -138, 51, 93, -53, 78, -48, 71, 107, 16, -118, 91, 10, 3, 13, 58, 24, 206, -63, 67, -59, 48, -64, 147, 18, -67, -38, 134, -2, 35, -40, -5, 42, 100, -111, 262, -43, 39, 52, -9, 49, 15, -68, 123, -21, 38, -47, 234, 32, -92, -22, 107, -30, 189, -58, 2, 42, 59, -117, 166, 21, -80, -33, 169, -31, 138, -90, 67, -22, -15, -99, 79, 109, 1, -65, 126, 77, 71, 56, -65, 39, 30, -92, 220, -31, -82, 24, 63, -1, 29, -45, 142, 60, 49, -139, 210, -33, 53, 32, 51, -41, 104, 10, 38, 58, 35, -137, 165, -71, -67, -16, 43, 35, 252, -44, 16, 3, 96, -63, 135, 34, -108, -69, 115, -3, 159, -153, 44, 86, -30, -66, 145, -44, -52, 7, 114, 25, 158, -71, 37, 18, 41, -84, 189, 53, -66, -38, 132, -48, 73, -13, -1, 107, 43, -234, 180, 10, -53, 11, -53, 21, 63, -59, 186, -21, -33, -108, 186, 100, -85, -120, 166, -30, 171, -30, -73, 34, 40, -16, 102, -33, 2, 138, 111, -51, 139, -93, 131, 53, 79, -78, 127, 48, -9, -71, 88, -107, 180, -16, -93, 118, 30, -91, 295, -10, -32, -3, 46, -13, 38, -58, 155, -24, 55, -206, 279, 63, -33, -67, 38, 59, 18, -48, 27, 64, 30, -147, 201, -18, -96, 67, -22, 38, 173, -134, 63, 2, 50, -35, 83, 40, -74, 5, 237, -42, 212, -100, -6, 111, -54, -262, 169, 43, -68, -39, 22, -52, 348, 9, 81, -49, -46, -15, 176, 68, -155, -123, 185, 21, 60, -38, -72, 47, 227, -234, 126, -32, 46, 92, 48, 22, 131, -107, 93, 30, -43, -189, 239, 58, -174, -2, 60, -42, 294, -59, -7, 117, 53, -166, 328, -21, -30, 80, 151, 33, 67, -169, 129, 31, -89, -138, 135, 90, -21, -67, 221, 22, 171, 15, -44, 99, 163, -79, 359, -109, 0, -1, 38, 65, 42, -126, 36, -77, 172, -71, 191, -56, 50, 65, 183, -39, 81, -30, 79, 92, 133, -220, 278, 31, -70, 82, 90, -24, 206, -63, 134, 1, 59, -29, 234, 45, 5, -142, 156, -60, 182, -49, 62, 139, 16, -210, 216, 33, 8, -53, -16, -32, 177, -51, 101, 41, -28, -104, 292, -10, -40, -38, 308, -58, -7, -35, -55, 137, 78, -165, 270, 71, 69, 67, 48, 16, 92, -43, 139, -35, 64, -252, 303, 44, -93, -16, 189, -3, 436, -96, -26, 63, 18, -135, 175, -34, -222, 108, 108, 69, 308, -115, 145, 3, 41, -159, 164, 153, 3, -44, 121, -86, 204, 30, 17, 66, -105, -145, 309, 44, -67, 52, 9, -7, 137, -114, 136, -25, 132, -158, 348, 71, -52, -37, 107, -18, 77, -41, -26, 84, -27, -189, 333, -53, -257, 66, 92, 38, 237, -132, 136, 48, 257, -73, 145, 13, -172, 1, 268, -107, 107, -43, 27, 234, 40, -180, 262, -10, -25, 53, 73, -11, 282, 53, 17, -21, 96, -63, 225, 59, -119, -186, 136, 21, 208, 33, 0, 108, 196, -186, 290, -100, -17, 85, 49, 120, 166, -166, 284, 30, -174, -171, 321, 30, -160, 73, 191, -34, 322, -40, -70, 16, 264, -102, 205, 33, -70, -2, 243, -138, 299, -111, 223, 51, 68, -139, 97, 93, 77, -131, 253, -53, 277, -79, 24, 78, -105, -127, 343, -48, -215, 9, 213, 71, 138, -88, 46, 107, 30, -180, 199, 16, -21, 93, 266, -118, 199, -30, 11, 91, 263, -295, 368, 10, -172, 32, -58, 3, 320, -46, 170, 13, 90, -38, 69, 58, -68, -155, 399, 24, 241, -55, 104, 206, 0, -279, 295, -63, -67, 33, 56, 67, 53, -38, 146, -59, 77, -18, 398, 48, -5, -27, 200, -64, 156, -30, 38, 147, 157, -201, 248, 18, 94, 96, -176, -67, 78, 22, 205, -38, 74, -173, 244, 134, -242, -63, 210, -2, 453, -50, 54, 35, 139, -83, 260, -40, 23, 74, 371, -5, 169, -237, 168, 42, -62, -212, 119, 100, 107, 6, 281, -111, 302, 54, -233, 262, 92, -169, 237, -43, -65, 68, 140, 39, 62, -22, 101, 52, -5, -348, 248, -9, 66, -81, 293, 49, 12, 46, 71, 15, 89, -176, 504, -68, -87, 155, 164, 123, 223, -185, 86, -21, 259, -60, 363, 38, -184, 72, 175, -47, 55, -227, -75, 234, 54, -126, 190, 32, 133, -46, 209, -92, 292, -48, 95, -22, 140, -131, 407, 107, -172, -93, 163, -30, 189, 43, -78, 189, 96, -239, 322, -58, 157, 174, -66, 2, 254, -60, 214, 42, 94, -294, 349, 59, -212, 7, 136, -117, 260, -53, 49, 166, 235, -328, 346, 21, -189, 30, 315, -80, 191, -151, 274, -33, -98, -67, 55, 169, -1, -129, 204, -31, 111, 89, -69, 138, 2, -135, 576, -90, -149, 21, 68, 67, 144, -221, 79, -22, 49, -171, 334, -15, 125, 44, 330, -99, -61, -163, 61, 79, -14, -359, 530, 109, -164, 0, -15, 1, 302, -38, 109, -65, -42, -42, 88, 126, -230, -36, 48, 77, 421, -172, 71, 71, -234, -191, 287, 56, 80, -50, -77, -65, 95, -183, -44, 39, -199, -81, 146, 30, -22, -79, 287, -92, -147, -133, -82, 220, 83, -278, 199, -31, -196, 70, -166, -82, -132, -90, 30, 24, -180, -206, 218, 63, -174, -134, 396, -1, 166, -59, 17, 29, 179, -234, 81, -45, -217, -5, 27, 142, 18, -156, 146, 60, -276, -182, 14, 49, -232, -62, -37, -139, 220, -16, -110, 210, -188, -216, 200, -33, -311, -8, 223, 53, -33, 16, 26, 32, -78, -177, 26, 51, -19, -101, -132, -41, 82, 28, -100, 104, -177, -292, 106, 10, -228, 40, -76, 38, 166, -308, 31, 58, -96, 7, 30, 35, -167, 55, 13, -137, -151, -78, -101, 165, -206, -270, 289, -71, -172, -69, -30, -67, 262, -48, -11, -16, -555, -92, 290, 43, 14, -139, -11, 35, -306, -64, -193, 252, -193, -303, 222, -44, -120, 93, 63, 16, 66, -189, -15, 3, -111, -436, 250, 96, -347, 26, -40, -63, -105, -18, 34, 135, -187, -175, -1, 34, -208, 222, -89, -108, -387, -108, 201, -69, -307, -308, -66, 115, -244, -145, -271, -3, 293, -41, -310, 159, -205, -164, 237, -153, -227, -3, -52, 44, -73, -121, 13, 86, 87, -204, 146, -30, -96, -17, -210, -66, -90, 105, -79, 145, -513, -309, 127, -44, -294, 67, -95, -52, 33, -9, 78, 7, -256, -137, -150, 114, -175, -136, 62, 25, 4, -132, -55, 158, -265, -348, 29, -71, -294, 52, -75, 37, 308, -107, 59, 18, -253, -77, 27, 41, -367, 26, 186, -84, -9, 27, -205, 189, -62, -333, 151, 53, -38, 257, -345, -66, -48, -92, -85, -38, -258, -237, 187, 132, -273, -136, 43, -48, -316, -257, -117, 73, 67, -145, 327, -13, -368, 172, -349, -1, -223, -268, 72, 107, -602, -107, 33, 43, -26, -27, 34, -234, 204, -40, -79, 180, -138, -262, 182, 10, -206, 25, -166, -53, -103, -73, -24, 11, -302, -282, -6, -53, -157, -17, -61, 21, -4, -96, -25, 63, -589, -225, 106, -59, -472, 119, -190, 186, -31, -136, 73, -21, -31, -208, 234, -33, -247, 0, 25, -108, 22, -196, -315, 186, -111, -290, 71, 100, -284, 17, -181, -85, -56, -49, -163, -120, -330, -166, 75, 166, 15, -284, -10, -30, 10, 174, -245, 171, -463, -321, 42, -30, -144, 160, -260, -73, -134, -191, -39, 34, -490, -322, 286, 40, -359, 70, 117, -16, -91, -264, -436, 102, 102, -205, -2, -33, -418, 70, -157, 2, 39, -243, 173, 138, -226, -299, 223, 111, -192, -223, -556, -51, -43, -68, -272, 139, -312, -97, -74, -93, -257, -77, -84, 131, -112, -253, -11, 53, -271, -277, -171, 79, -312, -24, -402, -78, -128, 105, -223, 127, -330, -343, 631, 48, -403, 215, -205, -9, 46, -213, -228, -71, -261, -138, -59, 88, -389, -46, 7, -107, -142, -30, -182, 180, -728, -199, -69, -16, -328, 21, -28, -93, 176, -266, -142, 118, -441, -199, 51, 30, -459, -11, 11, -91, -184, -263, -210, 295, -690, -368, -6, -10, -227, 172, -284, -32, -137, 58, 47, -3, -274, -320, -62, 46, -431, -170, -576, -13, 220, -90, -94, 38, -50, -69, 287, -58, -377, 68, -294, 155, -265, -399, -100, -24, -759, -241, -111, 55, -297, -104, -8, -206, 17, 0, -433, 279, -325, -295, -123, 63, -404, 67, -89, -33, -435, -56, -221, -67, -554, -53, -63, 38, -41, -146, -180, 59, -61, -77, -97, 18, -421, -398, -78, -48, -636, 5, -611, 27, 75, -200, 50, 64, -68, -156, -21, 30, -351, -38, -335, -147, -295, -157, -7, 201, -591, -248, -204, -18, -338, -94, -658, -96, -127, 176, 65, 67, -28, -78, 147, -22, -513, -205, -87, 38, -243, -74, -320, 173, -851, -244, 43, -134, -72, 242, -554, 63, 24, -210, -239, 2, -670, -453, 116, 50, -371, -54, 115, -35, -290, -139, -249, 83, -410, -260, -80, 40, -405, -23, -248, -74, -24, -371, -51, 5, -602, -169, -219, 237, -357, -168, -265, -42, 249, 62, -549, 212, -418, -119, 104, -100, -430, -107, -130, -6, -205, -281, -120, 111, -329, -302, -84, -54, -183, 233, -338, -262, -203, -92, -168, 169, -590, -237, 600, 43, -528, 65, -246, -68, -181, -140, -96, -39, -566, -62, -77, 22, -658, -101, -711, -52, -381, 5, -157, 348, -507, -248, -18, 9, -120, -66, -552, 81, 440, -293, -143, -49, -537, -12, -444, -46, -489, -71, -185, -15, -389, -89, -127, 176, -6, -504, -176, 68, -222, 87, -247, -155, -252, -164, -37, -123, -291, -223, 135, 185, -501, -86, -24, 21, -134, -259, -63, 60, -246, -363, -302, -38, -110, 184, -518, -72, -328, -175, -146, 47, -317, -55, 98, 227, -436, 75, -364, -234, -350, -54, -562, 126, -646, -190, 103, -32, -319, -133, -152, 46, -141, -209, -50, 92, -395, -292, -241, 48, -133, -95, -182, 22, -90, -140, -350, 131, -628, -407, 345, -107, -404, 172, -451, 93, -123, -163, -207, 30, -232, -189, -257, -43, -558, 78, -207, -189, 152, -96, 116, 239, -1012, -322, -105, 58, -609, -157, -592, -174, 164, 66, -37, -2, -634, -254, 177, 60, -201, -214, -57, -42, -389, -94, -414, 294, -455, -349, 97, -59, -509, 212, -299, -7, -356, -136, -334, 117, -326, -260, -78, 53, -598, -49, -118, -166, 89, -235, -319, 328, -100, -346, -294, -21, -483, 189, -462, -30, -404, -315, 142, 80, -610, -191, -161, 151, -445, -274, 93, 33, 142, 98, -428, 67, -476, -55, -191, -169, -314, 1, -272, 129, -220, -204, 0, 31, -551, -111, -226, -89, -189, 69, -585, -138, -363, -2, -227, 135, -711, -576, 62, 90, -441, 149, -604, -21, -361, -68, -232, -67, -13, -144, -46, 221, -384, -79, -131, 22, -759, -49, 104, 171, -767, -334, 148, 15, -324, -125, -577, -44, -84, -330, -71, 99, -342, 61, -75, 163, -574, -61, 64, -79, -347, 14, -354, 359, -538, -530, -264, -109, -142, 164, -384, 0, -30, 15, 10, -1, -499, -302, -209, 38, -656, -109, -174, 65, 29, 42, -170, 42, -193, -88, 68, -126, -501, 230, -354, 36, -74, -48, 197, -77, -429, -421, -240, 172, -337, -71, -393, -71, 188, 234, -92, 191, -51, -287, 510, -56, -146, -80, 107, 50, -531, 77, 117, 65, -772, -95, -30, 183, -473, 44, -450, -39, -226, 199, -212, 81, -359, -146, 259, -30, -655, 22, 221, 79, -124, -287, 6, 92, 321, 147, -160, 133, -341, 82, -64, -220, -214, -83, 60, 278, -216, -199, 128, 31, -45, 196, -579, -70, 60, 166, -45, 82, -310, 132, -556, 90, -159, -30, 143, -24, -201, 180, -292, 206, 296, -218, 434, -63, -195, 174, -564, 134, -656, -396, 56, 1, -313, -166, 450, 59, -302, -17, 299, -29, -87, -179, -68, 234, -212, -81, 47, 45, -510, 217, -260, 5, -214, -27, 186, -142, -610, -18, 26, 156, 124, -146, 479, -60, 209, 276, -209, 182, -715, -14, -366, -49, -323, 232, 440, 62, 72, 37, 309, 139, -199, -220, -528, 16, -112, 110, 390, -210, 83, 188, -279, 216, -320, -200, 238, 33, -238, 311, -102, 8, -173, -223, 207, -53, 232, 33, -16, -16, 263, -26, -164, -32, -351, 78, -173, 177, -406, -26, 93, -51, -413, 19, -208, 101, 15, 132, -120, 41, 42, -82, 843, -28, 18, 100, -108, -104, -535, 177, -196, 292, -339, -106, 236, -10, 47, 228, -155, -40, -285, 76, 101, -38, -341, -166, 367, 308, -330, -31, -141, -58, 65, 96, -183, -7, -431, -30, 158, -35, -104, 167, -148, -55, -25, -13, 382, 137, -535, 151, -49, 78, -680, 101, 162, -165, -123, 206, -330, 270, 193, -289, -32, 71, -139, 172, -7, 69, -55, 30, 279, 67, -251, -262, 16, 48, -65, 11, -38, 16, -391, 555, -94, 92, 117, -290, 632, -43, -42, -14, 67, 139, -98, 11, -145, -35, -523, 306, -487, 64, -307, 193, 139, -252, -313, 193, 187, 303, -860, -222, 283, 44, -21, 120, -4, -93, 119, -63, 34, -16, -141, -66, -241, 189, -462, 15, 351, -3, -318, 111, 47, 436, 228, -250, 343, -96, -27, 347, -690, -26, 104, 40, 73, 63, -340, 105, 175, 18, -161, -34, 31, -135, -155, 187, -18, 175, 223, 1, 463, -34, -327, 208, -253, -222, -386, 89, 221, 108, -357, 387, 152, 108, -198, -201, -364, 69, 376, 307, -205, 308, -547, 66, 113, -115, -161, 244, -243, 145, -170, 271, 191, 3, -163, -293, -58, 41, 318, 310, 236, -159, 311, 205, -37, 164, -239, -237, -153, 153, -629, 227, 72, 3, 198, 52, 390, -44, -209, 73, -52, 121, -344, -13, -405, -86, -266, -87, 272, 204, -1041, -146, 130, 30, -50, 96, 273, 17, 385, 210, -15, 66, 207, 90, 382, -105, -189, 79, 76, -145, -483, 513, -4, 309, -3, -127, -111, 44, 198, 294, -159, -67, -476, 95, 58, 52, -301, -33, 310, 9, -511, -78, 448, -7, 97, 256, 223, 137, -409, 150, -739, -114, 15, 175, -123, 136, 335, -62, 558, -25, 72, -4, 112, 132, -266, 55, -126, -158, 126, 265, -159, 348, 330, -29, 298, 71, -205, 294, -205, -52, 15, 75, 483, -37, 30, -308, -295, 107, -170, -59, -360, -18, -308, 253, 383, 77, -119, -27, 720, -41, -199, 367, 7, -26, -404, -186, -24, 84, 107, 9, -7, -27, 177, 205, -215, -189, 173, 62, 1, 333, -433, -151, 265, -53, 160, 38, -155, -257, 141, 345, 251, 66, -511, 48, 173, 92, 76, 85, 723, 38, -208, 258, -45, 237, -130, -187, 333, -132, -109, 273, -523, 136, 114, -43, 194, 48, -340, 316, 249, 257, -381, 117, 168, -73, -176, -67, 239, 145, 811, -327, -88, 13, -157, 368, -239, -172, -544, 349, 316, 1, -411, 223, 229, 268, -207, -72, 90, -107, 257, 602, -202, 107, 264, -33, 545, -43, 112, 26, 122, 27, -217, -34, -97, 234, -529, -204, 43, 40, -120, 79, 169, -180, -156, 138, 387, 262, -213, -182, 245, -10, -343, 206, -168, -25, 270, 166, 166, 53, 248, 103, -394, 73, -216, 24, -518, -11, 411, 302, 268, 282, -758, 6, 302, 53, -302, 157, -109, 17, 169, 61, 90, -21, 191, 4, 137, 96, -339, 25, 280, -63, -397, 589, 59, 225, -326, -106, -283, 59, 237, 472, -511, -119, 357, 190, 282, -186, 241, 31, 596, 136, -32, -73, 348, 21, 28, 31, -223, 208, -269, -234, 189, 33, -123, 247, 506, 0, -156, -25, 378, 108, -598, -22, 105, 196, -102, 315, -162, -186, 498, 111, -23, 290, 93, -71, 92, -100, -58, 284, -110, -17, 124, 181, 318, 85, 67, 56, 32, 49, 48, 163, -344, 120, -211, 330, -49, 166, 56, -75, 453, -166, -531, -15, 209, 284, 424, 10, 1115, 30, 206, -10, 341, -174, -449, 245, -278, -171, -422, 463, -326, 321, -381, -42, 234, 30, 365, 144, 64, -160, 546, 260, 73, 73, -167, 134, -866, 191, 74, 39, 835, -34, -196, 490, 176, 322, 70, -286, -468, -40, 85, 359, -147, -70, 113, -117, 228, 16, -260, 91, 258, 264, -290, 436, 509, -102, 221, -102, 244, 205, 236, 2, 165, 33, -67, 418, -325, -70, -13, 157, 135, -2, -113, -39, 137, 243, 47, -173, -397, -138, 307, 226, 93, 299, 40, -223, 552, -111, -157, 192, 332, 223, -203, 556, 333, 51, 203, 43, -219, 68, -22, 272, -254, -139, 41, 312, -26, 97, -56, 74, 546, 93, -821, 257, 418, 77, -394, 84, 457, -131, -292, 112, -222, 253, 75, 11, -140, -53, 245, 271, 16, 277, 65, 171, -33, -79, -192, 312, 331, 24, 494, 402, 164, 78, 346, 128, 124, -105, -240, 223, 750, -127, 56, 330, 232, 343, -121, -631, 321, -48, 106, 403, -269, -215, 40, 205, 284, 9, -379, -46, 460, 213, -315, 228, 423, 71, -141, 261, -151, 138, -137, 59, 439, -88]