# Trace form for 8015.2.a.n, downloaded from the LMFDB on 25 April 2024.
[0, 68, 9, 0, 83, -68, 5, 68, 30, 86, -9, 5, 9, 15, 9, 0, 109, 7, 39, 20, -83, 0, 56, 36, 1, 68, 1, 12, 83, -16, -5, 31, 79, 45, 31, -68, 114, 72, 8, 47, -30, 6, 5, 75, 15, -86, 29, -10, 44, 68, 9, 23, 37, 41, 4, -5, 30, 55, 66, -5, -9, -2, 3, 86, 162, -15, -23, 92, 35, -25, -9, -2, 128, 80, 18, 0, 71, 5, 20, 100, -109, 140, 36, -60, 9, -7, -27, 24, 175, 19, -39, 15, 75, 37, 11, -20, 15, 96, 9, 3, 83, -51, 52, 32, -14, 0, 79, 74, -5, 89, -56, -15, 109, 90, -93, -36, 6, 18, -25, 7, -1, 185, 6, 106, 46, -68, 39, 192, 139, 22, -1, -17, 59, 20, -71, -12, 1, 110, 47, -9, -83, -4, 121, -3, 184, 16, -69, 0, 120, -17, 5, 135, 35, 35, 56, -31, 60, 84, 97, -22, -79, 36, 190, 126, -56, -45, 31, -20, 1, 153, -31, 58, 172, 8, -42, 68, 111, 143, -24, 7, -114, -54, 1, 78, 38, -72, 103, 61, -19, 12, -8, 32, 32, 245, -26, -47, 83, 61, 15, 20, 30, 37, 85, -16, -92, -6, -32, 191, 116, 8, -5, 108, 84, 9, 82, -75, -113, 31, 23, -4, -15, -143, 18, 87, 79, 86, 162, -102, 166, -68, -29, 45, 238, 76, -142, 10, -14, 54, 31, 5, -44, 127, 85, 21, -158, -68, -31, 169, -26, 41, -9, 1, 114, 125, 12, -23, 267, 43, -65, 72, -37, 8, 63, 165, -53, -41, 8, 102, 148, -164, -4, 73, 64, 47, 35, 5, -127, 169, 35, -6, -30, -36, 92, 28, -34, -55, 23, 6, 223, 193, -66, -3, 159, 8, 5, 5, -52, 150, 264, -26, 9, 75, 163, 121, 77, 2, 108, 52, 15, -189, -3, -32, 18, 180, -99, -86, 185, 210, 46, 211, -162, -11, 29, 52, 168, 15, -2, 102, -18, -10, 23, 203, -74, 241, 191, -92, 44, 146, 93, -17, -35, -148, 102, 68, -85, 25, -57, 100, 136, 55, 9, 143, 505, 70, 47, 2, -72, 23, 125, -33, -128, 240, 64, -105, 37, -80, 182, 60, 265, 77, -18, 41, 186, 215, -26, 0, 111, 103, 4, 95, -71, -64, 40, 74, -175, -5, -87, 373, 266, -120, -20, 19, 30, 130, 24, -100, 17, 122, -172, 55, 109, 165, -19, 294, 22, -140, 66, 116, 57, 198, -36, -68, 51, -5, -210, 60, -41, 123, 79, -88, -9, 168, 203, 55, 236, 7, -112, -2, 294, 15, 27, -53, 249, 91, 3, -24, 191, -18, 152, 37, -175, 86, 238, 64, -177, -19, -10, -69, 162, -3, 39, 15, 140, 177, -146, -15, -400, 321, -9, 108, -75, -28, -23, 64, 166, -37, 68, -61, -533, 92, -11, 5, 92, 25, 360, 20, 35, 149, 8, -14, -15, 66, -16, -25, 261, -96, -184, 202, 81, 167, -9, -92, 354, 124, -52, -3, -94, -2, -148, 165, -83, -108, -15, -141, 128, 51, 82, -84, 281, -2, -52, 80, 245, 194, 68, -32, 129, 121, 18, -87, 14, -95, -85, 112, -320, 0, 63, 231, -117, 284, -79, -119, 71, 133, 234, -74, -249, 105, -349, 5, 5, 27, 51, 123, 242, -89, 20, 224, 193, -220, 56, -176, -76, 100, -22, 15, -44, 107, 51, 48, -109, -215, 190, -74, -40, -90, -399, 140, -88, 42, 93, -5, 109, -57, 36, 36, 313, 287, 49, 124, -6, -60, 144, 334, -96, -18, 50, -78, 9, -5, 25, 86, 150, 10, -436, -7, -137, 380, -12, -81, 1, -3, -27, 120, 229, -185, -318, 91, -214, 24, -6, -60, 256, 248, 55, -106, 175, 39, -158, 25, -46, -51, -35, 19, 87, 68, 17, -5, 255, 4, -39, 76, 435, 182, 199, -192, -420, 15, 0, -28, -139, -174, 28, -105, 75, -22, 137, -41, 277, 153, 1, 37, 216, 162, -55, 17, -175, 273, 11, -35, -59, -85, -285, 80, -147, -20, -557, 401, -97, -135, 71, -100, 15, 171, -2, 12, -130, -75, -775, 96, -1, 138, 318, 125, 737, -110, 9, 0, 15, -55, -47, 86, -185, 3, 200, 9, -179, 130, 152, 42, 83, -167, 409, 54, 93, 4, -192, -51, -190, 102, -121, 32, 54, 5, 52, 3, 47, 50, -51, -56, -184, 32, 140, 88, 22, -16, -102, -41, -14, 260, 69, -170, 134, 57, -175, 0, -87, 216, -250, 179, -120, -325, 79, 188, 301, 17, -255, -159, -546, 74, -5, 346, 228, 222, 103, -135, -5, 175, -50, -94, -35, 59, -250, 89, -171, -35, -270, -70, -13, 119, -56, -278, 433, 27, -84, 31, -331, -15, -299, -93, -60, -161, -12, -235, 109, -84, -151, 20, 102, -85, -97, 90, 338, 461, -28, 22, -338, 43, -93, 114, 79, -219, -37, -73, -309, -36, -273, 298, -77, -39, -190, -8, 6, -4, 170, -126, -828, 241, -169, 18, 56, -174, 82, 229, 166, 45, -25, 149, 48, 291, -31, -201, -23, 7, -323, 20, -95, -52, 233, -150, -1, 198, 85, -107, 97, -153, -441, 185, -19, 357, 31, -85, -88, 1, 6, -58, 316, 93, -318, 165, -172, 106, 69, 160, -15, -8, -179, -35, 46, -121, 42, -47, -285, 197, -313, -68, -360, 297, 360, 247, -111, -169, 39, 47, -113, -143, -200, -152, -928, 192, 24, -97, 337, 135, 149, -7, 139, -11, -398, 3, 114, -257, -407, 22, 222, 54, -54, 148, -150, -74, -1, -137, 142, 243, -310, -78, -83, -17, -511, 312, -38, -483, -103, -148, 59, 72, -205, -70, 341, 34, -103, 20, 393, 150, 84, -61, -262, 81, -71, -75, 19, -223, -354, 148, -283, -12, -389, 111, -179, 56, 8, -253, 1, 12, 106, -32, -549, -68, -726, 110, -32, 135, -40, 140, 493, -245, 47, 273, 124, 60, 26, -215, -199, -9, -120, 47, -430, 57, 164, -19, -83, -269, 393, -38, -42, -61, -778, -4, -100, -99, -15, 77, -151, -119, 121, -20, -380, 22, -5, -268, -30, -3, 149, 121, 264, -37, -522, -239, 184, 105, -85, -142, -160, -53, -455, 16, 56, 555, -132, -162, 92, 64, -69, 119, 321, 6, -735, -4, -301, 0, 32, -33, 273, 272, 132, -191, 120, -64, -537, 75, -116, -277, -166, -17, -90, -8, -360, 157, -58, -91, 5, -21, 28, 58, 147, -108, -766, 135, -195, 29, -84, -397, -181, -244, 35, -9, -45, -63, -74, -77, -82, 35, 339, 119, 493, 75, -547, -11, 56, 224, 113, 212, -96, -30, -45, -31, -108, 552, 142, 76, -23, -189, 60, 292, 174, 4, -407, -55, -809, 84, 15, -135, -83, 20, 207, 143, 97, 324, 152, -320, -18, 52, -320, -22, 182, -87, -371, 132, 208, -262, -79, -77, -107, 145, -202, -86, -84, 36, -522, 356, -162, -699, 203, -116, 190, 102, -686, -200, 109, 14, -166, 126, 374, 227, 165, 68, -514, 68, -56, -98, 29, -45, 218, 232, -296, -45, -202, 444, -154, 205, -238, -82, 31, 243, 171, -76, -665, -107, -474, -20, 142, 150, 33, -29, 92, -10, 1, 440, -258, -11, 14, -227, -87, 153, -112, -54, 9, -87, 182, 176, -31, -145, 692, 400, -258, -5, -860, 58, -348, -49, 44, 98, 92, -236, 172, -127, -758, 132, 25, 372, -85, 8, 182, 140, -24, -21, -160, 101, -42, 183, 158, -215, -134, -123, -347, 68, -239, 243, -403, -212, 31, -227, 111, 512, 209, -169, -1348, 273, -508, 143, 26, -80, 115, 352, 28, -41, -24, 271, -468, 171, 9, -342, 129, 7, -127, -1, -375, 136, -10, -98, -114, 88, 11, 28, 295, -125, -618, -54, 149, -43, -12, -186, -120, 328, 1, 23, -24, -172, -273, 213, -267, 78, 230, 145, 68, -43, -453, 92, 38, 148, 65, -209, -642, 169, -314, -72, -159, 318, 149, -119, 37, -260, 103, 448, -84, -8, -313, 169, -590, 61, -63, -39, -96, 241, 360, -165, -19, 120, -236, 265, 53, 308, -476, 12, 175, 41, -531, 186, -140, 162, -8, -111, 630, 173, -96, -102, -286, 32, -589, 107, -148, -580, -128, -94, 32, 164, -527, -188, 119, -314, 4, 245, 334, -95, 187, -73, -498, 396, -26, 412, -64, -116, -414, 52, -643, -47, -298, 298, 149, 562, -35, 66, 83, 312, -5, -5, -948, 171, -869, 61, 127, 121, 174, 126, 305, -169, 15, 426, 344, -138, -35, -56, -346, 20, -25, 6, -16, -50, 270, -1, 30, -84, 117, -91, -124, 36, -598, 37, 447, 158, -92, -264, 61, 0, 85, -28, -541, 124, -299, 288, 34, -16, 316, 148, 321, 55, -116, -119, -92, 419, -23, -154, 180, 379, -427, -6, -241, 253, -154, -127, -223, 261, -32, 290, 303, -193, -1196, 155, -458, 191, 66, -92, 8, 399, 142, 3, 116, 145, -148, -115, -159, 121, -99, 8, 71, -8, -257, 24, -4, -241, -5, 230, 388, 46, 138, -5, -669, 108, 45, 21, 52, -304, 656, -112, 84, -150, -338, -271, -420, 293, -264, 9, 420, 57, 199, 26, -511, 689, 82, 107, -9, 26, -410, -288, -158, -75, -688, 515, 91, -470, -163, -232, -113, 513, -43, -121, -338, 148, -1285, 31, -77, -38, 276, 226, 337, -2, 23, 311, -62, -88, -108, -175, 271, -4, 297, -52, -538, 121, 13, -165, -15, 1, 192, 25, -380, 189, -459, -143, -106, 400, 3, -607, 325, -12, 18, 32, -781, -390, -293, 18, -18, 87, 439, -97, 460, -180, 406, 118, 79, 183, 99, -206, -357, 151, -560, 86, 2, 550, -663, 382, -185, 95, 162, 458, 458, -210, -1032, -5, -543, -102, -46, 283, -110, 562, 315, -211, 166, 408, 368, -29, 162, -123, -279, -68, 331, 11, -355, -88, -188, 357, -29, -116, 398, -82, -222, -52, -503, 45, -621, -89, -168, -23, -88, -405, 238, -15, -392, -238, 105, -122, 2, 76, 347, 365, 133, -102, -261, 79, -142, 260, 18, -230, -243, -192, -517, 10, -198, 332, -250, -100, -23, 267, -14, 530, -56, -203, -1394, 435, -461, 54, 74, -596, -122, 9, 14, -241, 31, 337, -823, -135, -191, 115, -162, 5, 140, 92, -201, -230, -227, -60, -44, 104, 208, -196, 408, -146, -1457, 127, 346, -269, -93, -199, 142, 33, 85, 17, 195, 137, -380, 95, 35, 21, -28, 251, 457, 148, -668, -48, -158, -194, -102, -136, -239, 426, -275, -68, -617, 177, -81, -303, 85, 48, -31, 382, -42, -25, -731, -58, -876, 169, 57, 10, 214, -212, 664, -100, -26, 623, -378, -272, -136, 44, -204, 41, 35, -55, -503, 108, 41, -104, -9, 191, 13, -6, -306, -143, -555, 1, -436, 390, -505, 206, -303, -432, 114, -70, -463, -596, -128, 40, -47, 125, 92, -98, 306, -2, -764, 708, 12, 312, 72, -289, -955, -68, -514, -23, -433, 267, -520, 270, -125, -202, 267, 550, -255, 33, -1137, 411, -929, 43, 128, 308, 333, -316, 181, -240, -65, 295, 225, -232, -64, -120, -56, 72, -65, 105, -650, -32, -347, -110, -37, -187, 11, -221, -1038, 80, -288, 8, 105, -192, -182, -11, -30, 41, 63, -60, -1017, -248, -134, 21, -265, 165, -482, -216, 215, -77, -114, -283, -53, 679, 18, -263, -404, 126, -500, -41, -85, 653, -394, -238, -186, 101, 8, 222, -35, -215, -746, -307, -508, 102, 26, -269, -818, 247, 13, 0, 148, 132, -655, 70, -111, 331, 199, -164, -286, -103, -4, -408, -179, -17, -4, 80, -50, 14, -249, -95, -381, 73, -476, -266, 71, -553, -239, -154, 64, 64, -764, -163, -774, 385, -40, 47, -288, 308, -257, -74, -265, 163, 35, 85, 175, -312, -841, -447, -247, 5, 66, 351, -527, -104, 87, -239, -127, 385, 104, -373, -182, 346, -1404, 169, -266, -259, -344, -185, -152, 120, 35, -254, 68, -433, 20, -215, -253, -6, -17, -19, 141, -31, 62, -518, -30, -57, -134, -231, -612, -130, -566, -36, -624, 293, -24, -459, 20, 269, 92, 100, -713, -566, -756, -307, -17, 28, 253, -334, -112, -122, -355, -233, -34, -635, 172, -179, -1273, 323, -187, -55, -130, -192, -729, -140, -109, 112, 23, 490, -75, -165, -741, 281, -845, 6, 19, 331, -217, -47, 11, -294, 223, 334, 109, -218, -22, -225, -68, 193, 386, 140, -37, -27, -329, -73, -66, 101, 571, 121, 256, -116, -476, -3, -671, -343, -57, 427, -120, -562, 159, -198, -1433, -524, 70, 548, 36, 8, -159, 20, 747, 68, 130, 170, 5, 135, -51, -86, -431, -326, -83, 5, 103, 244, -493, -446, 210, -265, -52, 865, 143, -60, -1645, -22, -395, 150, 41, -168, -145, 170, 260, -123, 264, 216, -445, 193, -79, 263, -13, -26, -216, 88, -154, -60, -255, -57, 9, 41, 217, -240, 136, -168, -1103, 75, 35, 64, -203, -135, -385, 318, 163, -55, -48, -106, -464, 11, -236, 121, -141, -215, -50, -7, -240, -139, 77, 304, 112, -431, -424, 116, 68, 2, -417, 359, -9, -342, -294, -200, 108, 367, -712, -15, -644, -370, -159, 52, -27, 167, -893, 417, 410, 53, 15, 379, -285, -237, -249, 321, -185, -189, 14, -91, 27, -57, 351, 358, -3, 167, 395, -70, -576, 24, -431, -32, -396, -159, -191, -483, 239, -346, 18, 18, -366, -889, 97, 126, -152, 180, 821, 47, 156, -37, -1138, 381, -99, 330, 175, -97, -746, -8, -550, -86, -110, 120, -591, 108, -238, -154, 185, 343, 98, -64, -411, 214, -873, 210, 177, -39, 79, -422, 151, 19, 46, 132, 189, -256, 10, -149, 315, 211, -127, 69, -118, -78, -485, -95, -162, 520, 245, -563, -506, 3, -538, -11, -381, -242, -39, 1, 35, 91, 29, -15, -1026, -58, -338, -105, -140, 52, -359, 30, -54, -177, 49, -201, 168, 164, 146, -182, -951, 277, -164, 15, 225, 710, -201, 31, 400, 445, -2, 123, -38, -321, -956, 119, -472, 102, 9, -60, -526, -40, 468, -108, -18, 647, -617, 238, 75, -154, 82, -10, 769, 28, 90, -152, 572, -327, 23, 405, 807, 457, 77, -64, -297, 203, -242, -264, -166, -334, -60, -727, -74, 37, -209, -500, -223, 749, -68, 241, 283, 123, 644, 61, -14, 670, 191, -274, 533, -488, -501, -525, -427, -92, 270, 428, 34, -467, 11, -14, 44, 758, 419, -5, -763, 263, -580, 146, -92, -30, -192, 278, 1487, -25, 93, 273, 120, -719, -360, 47, -358, -17, 481, -20, -150, 290, 603, -158, -35, -521, 473, -550, 300, -149, -508, -148, -10, -42, -8, 11, -35, -332, 102, 14, -448, -522, 415, 81, 15, 68, 803, -148, 109, -66, 47, 124, -85, 257, 16, -55, -669, 422, -379, 25, 106, 412, -189, -350, -261, -57, -57, 571, -56, 96, -983, -77, -489, 100, 184, 120, 138, 185, 671, -202, 136, 131, 341, -12, -81, 321, -659, 55, 701, -167, -52, -338, 1015, 128, 9, 629, 846, 193, 55, 92, -394, 143, -357, -394, -354, 60, 120, -926, 505, -124, 142, -340, -99, 87, 52, 70, -637, 35, 732, 3, 314, 205, 47, 608, 94, -350, 339, -130, -162, 2, -205, -360, -538, -168, 148, 63, -72, 710, -394, -165, -812, 600, -665, 23, 83, -486, 143, 283, 134, 108, 125, 496, -109, -240, 15, -11, 988, -33, 694, 141, 1142, -908, -117, -5, -128, 615, 415, -569, 7, -51, -479, 240, 407, -188, -82, -188, 1029, 305, 64, 84, -199, -173, -468, -240, -281, -105, 84, 17, 848, 2, 134, -179, 37, 39, 52, -56, -1203, 996, -424, -80, -679, 491, -158, -422, -245, 204, 182, 89, -147, -194, -278, 222, -833, 60, -68, 25, -618, 238, 1613, 32, 265, 24, -32, -99, -129, -13, 316, 77, 494, -121, 150, -112, 561, -389, -18, 32, 1217, 220, 8, 87, -613, 41, -252, -161, -14, -208, -372, -199, 186, 95, 268, -365, 43, 39, 85, 215, 715, -164, 482, -112, 939, 757, -26, 285, 320, -407, -1226, 165, -454, 0, -330, 252, 595, 233, -63, 153, 111, 105, -59, -231, -886, 119, -675, 103, 117, 228, 441, -92, 238, -284, 4, 175, -248, -457, 79, -232, 391, 95, 497, 119, -1042, 161, 448, -158, -71, 420, 270, -234, -677, -133, -667, -64, 259, -273, -234, 10, 355, 362, 40, 74, -61, -130, -196, -754, 249, 74, 1068, -113, 442, -105, 434, -62, -175, 613, 349, 19, -400, 542, 217, -5, 297, 310, -568, -295, -5, 164, -87, 254, -266, -27, -1098, -121, -453, 373, -51, 303, -1415, 653, 793, -123, 266, 304, 483, -20, -242, 366, 557, -120, 111, 89, 913, -248, 262, 296, -20, 253, 836, 42, 7, -224, 386, 19, -124, -969, -193, -58, 908, 28, 30, 220, -367, -258, -9, -56, -56, 130, -338, 204, 1898, 176, -479, 800, 24, -195, 76, 288, -375, -57, 108, -100, -375, 727, 16, 11, 22, -296, 17, 448, 442, -15, -52, 387, -949, 122, 44, -750, 355, -21, 779, -107, -172, -16, -266, -409, -51, 228, 265, 55, 102, -48, 1101, 28, 694, -910, 109, 293, 373, 234, -120, 215, -114, 165, -52, 55, -190, -98, 205, -173, -19, 74, 257, -124, -64, 63, 40, 294, 36, -232, 268, 90, 588, 7, 22, 456, 399, -85, -273, 321, 264, -140, 168, 494, 54, -271, 88, 548, 66, 186, 457, -42, -584, -101, -440, 116, -93, -48, 776, 554, 395, 5, 57, 1085, 834, -600, -109, -377, 36, 198, 349, 57, 10, -61, 1033, 50, -36, 530, 280, -41, -41, -36, -502, -68, -884, -27, -313, 737, 665, -794, 51, -287, 584, -231, 441, 654, -49, -5, 11, -42, 665, -124, -367, 584, -210, -73, 6, -476, 81, 125, 448, 60, 757, 374, 6, -517, -144, 117, -41, 386, 484, -334, -387, -111, 73, 123, 96, -286, 184, 287, 340, 18, 79, 531, 1103, 126, -50, -218, 399, -88, 628, 78, 563, 0, 46, -377, -9, -262, 554, -335, 177, 5, -669, 168, 2, -303, -25, -63, -502, 937, 203, -86, 336, 179, -306, -380, -150, 55, 179, -508, 771, -10, 24, -459, 236, -30, 436, 299, 236, 412, 694, 7, 875, -15, 365, -367, 137, -233, -112, 582, 548, -380, -608, -397, -1607, -2, 12, 271, -769, 410, 1297, 81, 294, 592, -500, -156, -1]