# Trace form for 8015.2.a.j, downloaded from the LMFDB on 18 April 2024.
[0, 45, -6, 0, 34, -45, 1, 45, -15, 29, 6, -1, -3, -21, -6, 0, 8, -7, -36, -20, -34, 0, -34, -22, -11, 45, -1, 12, 34, 10, -1, -27, -26, -39, -13, -45, -3, -72, 2, -37, 15, -4, 1, -49, 5, -29, -67, 2, 8, 45, -6, -49, -47, -35, -12, 1, -15, -77, -50, 4, 3, -36, 17, 29, 5, 21, -8, -80, 27, 9, 6, -12, -97, -55, 32, 0, -37, -1, 20, -94, -8, -19, -36, 24, -3, 7, -3, -4, -95, 1, 36, -21, -65, -71, -53, 20, -13, -110, -6, -27, 34, 46, -60, -58, 44, 0, 9, -42, 33, -65, 34, -7, 8, -52, 33, 22, 16, -66, 47, -7, 11, -48, -4, -30, -128, -45, -36, -126, -16, -8, 1, 25, -85, -20, 53, -12, -62, -66, 15, -11, -34, -18, -95, 24, -53, -10, 33, 0, -102, 31, 1, -139, 17, -3, -34, 27, 56, -72, 5, -14, 26, -22, -65, -68, 16, 39, -53, 10, -11, -136, 13, -10, -168, -12, 82, 45, 93, -133, 16, -35, 3, -20, -1, -94, -70, 72, -13, -27, 113, 12, -2, 12, -52, -237, 38, 37, 34, -61, 27, -3, -15, -51, -81, 10, -40, 4, 18, -99, -64, 76, -1, -110, -118, -41, -142, 49, 37, -27, 19, -66, -5, 17, -18, -33, -26, 29, 12, 0, -138, 45, 67, -39, -122, -82, -50, -2, 16, -22, -13, -41, -8, -39, -76, 21, 52, -45, 61, -187, 94, -83, 6, 67, -3, -143, 112, 49, -50, -49, 159, -72, 47, 20, -57, -33, -31, 35, 2, -62, -142, 145, 12, -19, 68, -37, 57, -1, -28, -59, -13, -6, 15, -18, -112, 10, -8, 77, 111, -4, -57, -126, 50, -43, -89, 64, 1, -4, 18, -98, -106, 26, -3, -49, -14, -91, -111, 36, -108, -44, 5, 31, -17, 70, -90, -184, 67, -29, -61, -40, -52, -131, -5, 1, -67, -72, 31, -21, 26, 4, -6, 2, 8, -107, -74, -191, 23, 80, 8, -150, -80, -57, -27, 54, 20, 45, -15, -9, -101, 0, -148, -31, -6, -109, -251, -73, -37, 12, 54, -49, 1, -107, 97, -99, -34, 63, -47, 55, -10, -10, -39, -81, -32, -35, -57, -217, -28, 0, -237, -5, -12, -125, 37, 102, -168, -8, 155, 1, 21, -107, -234, 72, -20, -49, -15, -148, -146, 94, 19, -122, 98, -77, 8, -8, -128, -99, -12, 19, -50, -141, -59, -160, 36, -82, -166, 4, -22, -24, 1, 27, -153, 84, 3, 3, -169, -37, -42, -7, -14, -36, 5, -15, 3, -54, -36, -135, 17, 4, -191, 66, -4, -95, 95, 29, -92, -129, -53, -1, -4, -35, 5, -67, -36, 18, -62, -35, 46, 21, 146, -226, -6, -60, 65, 120, -8, -272, -130, 71, 64, -27, -3, -80, 53, -133, 48, -206, -136, -20, 27, 25, -28, 8, 13, -80, -24, 9, -42, 110, -89, -156, -71, 15, 6, -11, -188, -88, -24, 27, -36, -12, 49, -149, -34, 116, -56, 27, -97, -46, 134, -40, -267, -4, 60, -55, -98, -210, -16, 58, -121, -12, 32, -91, -44, 169, 65, 44, 103, 0, -9, -175, -141, -189, -9, 76, -37, -32, -50, 42, 267, -129, 27, -1, -33, -169, -173, -153, -198, 65, 20, -148, -115, -92, -34, -30, 93, -94, 136, 7, 246, 22, -23, -7, -8, 45, -232, 117, -32, 52, 201, -19, 72, -50, -33, -69, -123, 61, -36, -22, 84, -185, 2, -140, -16, 24, -235, -151, -86, 66, 112, 64, -3, 27, -47, 138, -70, -114, 213, 7, 147, -88, 112, -37, -11, -136, -3, -212, -137, 48, 250, -75, 212, -4, 4, -63, 145, -146, 11, 30, -95, -165, 74, -71, 128, 65, 19, 1, 131, 45, 35, 13, 99, 224, 36, -146, -61, -22, -47, 126, 434, -21, 104, -190, 16, 159, -10, -49, -65, 8, 209, -5, 100, -113, -1, -71, -150, -130, -307, -25, 135, -40, -53, -33, 85, 205, -3, 42, 23, 20, 469, -143, -35, 25, -53, 50, -13, -182, 12, 12, -91, 49, 387, -110, 62, -90, -13, -51, -19, 66, -6, 0, -149, -28, -15, 62, 93, -27, 58, 11, 283, -244, -270, 146, 34, 173, -273, -8, 211, 18, 284, 46, 70, -172, 95, -82, 86, -33, -60, -24, 237, 108, -75, -10, 53, -58, -29, -164, -92, 10, 80, -118, 44, -121, -33, 84, 78, -155, 102, 0, 29, -108, -28, -187, 102, 175, 9, -53, 85, -31, 341, 35, 278, -42, -1, -136, 62, -80, -245, 139, 33, -151, -76, -130, -17, -49, 101, -65, 87, 3, 65, -20, -313, -217, 34, 6, -423, -21, 76, -27, 347, -7, -145, -79, -56, 50, 18, 95, 8, 72, 149, 104, 126, 123, -5, -52, 61, -245, -92, 14, 2, 3, 33, -168, -26, -67, -37, 73, 135, 22, 41, -224, 59, 33, 65, 59, 16, -104, -78, 68, 404, -253, 377, -66, -16, 157, 20, -237, -78, -39, 47, -59, -40, -128, 53, -27, -137, -7, -175, -10, 229, -34, -175, 74, 11, 25, -95, 77, -315, 136, 363, -48, -73, 11, -13, 141, -53, 9, -4, 10, -8, -33, 234, -103, 168, -30, 95, -121, -209, 12, 243, 159, -128, -45, -82, 73, 315, -335, 253, -45, 176, -335, -26, -41, -93, 197, -36, -289, -11, 133, 336, 84, 256, -126, -16, -199, -55, -49, -171, 35, -16, -19, 192, 67, -3, -93, 169, -8, -16, 20, 160, -165, -56, 301, 1, 109, -308, -149, 64, 94, 34, 25, 136, -234, 70, 33, -89, 196, -85, -72, -53, 44, -59, -14, 13, -20, -255, -162, -348, 27, 226, -167, 53, 57, -113, 327, 360, 70, 66, -12, 359, -145, -115, -80, 2, 9, -62, -213, -16, -12, 149, -188, 28, -66, 52, -210, -60, -68, 23, 237, 15, -227, -203, -62, -38, 211, 277, -11, -28, -37, 60, -15, -106, 27, -34, 287, -393, 5, 94, 61, 346, -18, -62, 175, -27, -121, 171, 21, -95, 3, 40, 44, 145, -308, 15, 24, -65, -151, -102, 51, 326, -57, -53, -123, 81, 222, -50, -141, 553, -10, 428, -211, 202, -60, 40, -25, 33, -147, 44, -4, 627, 12, 415, 0, -18, 9, 127, -326, -152, 99, -102, -62, 139, -93, 64, 83, -34, 31, 108, -76, -84, 65, -254, 211, 1, -138, -42, -62, 55, 110, 848, -139, 303, -265, 118, 489, -64, 86, 17, 41, -51, 89, 122, -127, 142, -3, -323, -251, -51, -49, 331, 45, -34, 36, -37, -16, 242, 244, 123, 27, 414, -232, 20, -11, -19, 177, 56, -208, 6, 66, 603, 49, 423, -72, 5, -15, -91, -67, -79, -17, 5, 38, 74, 80, 18, 102, 100, -14, 12, 33, 170, 14, 180, 166, 26, 65, -193, -59, 206, -29, 310, -22, 242, -256, -12, 85, -63, 136, -65, 0, 304, -76, 241, 30, 138, -68, 18, -233, 237, -45, 330, 25, 16, 206, -67, 154, 391, -302, 338, 39, -73, -23, 134, 33, 122, 134, -53, -107, -165, 82, 435, -123, 430, 10, 50, -128, 125, -19, -44, 2, -11, -216, -182, -45, -16, 249, -72, -136, 16, 22, 83, -47, 78, -72, 13, -13, -294, 124, 130, 41, 264, -10, 78, -29, 8, 162, 32, 266, -168, 39, 514, 12, -47, -28, 76, -12, -315, -21, -34, -21, 28, 77, 82, -165, -52, 513, 238, 175, 36, 45, 31, -139, -139, 128, -61, 105, 93, -248, -13, 187, 268, -137, 312, -133, -94, -38, -99, -26, 8, 83, 16, -139, -96, -83, -6, 96, -121, -35, -121, -67, -361, -32, 52, 48, 3, 220, -265, 54, -11, 143, 716, -20, -51, 95, -112, 195, -158, -74, -1, -49, 220, -36, 309, 9, 50, -94, -158, -11, -84, 49, 291, 1, -70, -148, -159, -73, 42, -43, 156, 72, 100, -526, 103, 93, -47, 126, -13, -46, 112, -20, 345, 97, 520, -27, 57, 237, 37, -239, -226, 33, 113, -30, -14, 29, 31, -48, -24, 12, -75, -35, 33, -232, -246, -2, -2, -102, -604, 44, -20, 62, 418, 12, -199, -21, 142, 164, -106, 132, -52, -145, 21, 62, 63, 42, -12, -237, 101, -87, -87, 19, -16, -236, 38, -254, -68, 30, 460, 12, 315, 37, 254, -110, 197, -31, -57, 468, 34, -356, 1, 1, 418, -55, 115, -61, 28, -3, -486, 78, -531, 59, 27, -152, 184, -156, 13, 256, -10, -3, -33, 6, 248, 24, -154, 169, -15, 304, -271, 235, -92, 18, 356, -51, -75, -162, 112, -132, 105, 90, -81, -10, -17, 68, 5, 20, 8, 10, 148, -210, -61, -77, 162, 291, -40, -133, -111, 254, -2, -232, 473, 4, -3, -119, 290, 173, 57, -132, 18, -62, -254, 126, 328, 194, 366, -99, -50, 6, 25, -167, -198, 43, -64, -204, 99, -9, 89, -65, -39, 76, 161, -64, -1, -86, -30, 189, -1, -184, 28, 62, 190, 4, 493, -110, 139, 191, -18, 104, -238, 208, -118, 98, 490, 7, 238, -121, 106, -41, -152, -75, -217, -26, 115, -355, -142, 57, 3, 202, 484, -78, -210, 49, 24, -231, 65, -114, 14, 130, 37, -297, 241, 91, 350, -121, 683, -27, 111, -165, 228, 45, 137, -36, 19, -183, 2, -135, 108, -81, 115, -66, -219, 44, 811, -69, -15, -165, -5, 245, -124, -33, 248, -31, 673, 17, 266, -68, 17, 241, -263, -114, -18, -70, 333, -4, 283, -74, 90, -33, -62, -105, -324, 184, 426, -118, -26, -93, -67, -2, 265, -2, 179, 29, 24, -16, -103, -24, 61, 121, 12, -20, 176, 40, 552, -23, 43, 0, 52, -86, 334, -268, -83, 131, -138, -236, 132, 25, 5, -69, 466, 45, -177, -1, 181, -172, -228, -262, 67, -48, -242, -144, 110, 72, 463, -39, -69, 115, -31, 165, 156, 313, -122, 21, 186, 46, 129, -92, -26, -82, -303, -301, -207, -4, -85, 7, -50, -186, 6, 50, 237, -147, 159, -2, 366, -414, -40, 84, -8, 131, 16, -182, 128, 107, 706, -309, 265, -22, 74, 129, 118, -197, -72, 191, -13, 45, 603, 9, -23, 277, 60, -41, 28, -80, 279, 302, 27, 88, -8, -175, -89, 54, -64, 150, 383, -39, -150, -25, 80, 239, 116, 43, -76, 57, -1, -97, 724, -57, 27, 21, 34, 85, -193, -54, 114, -32, 52, 50, -20, 44, 227, -202, 67, -45, 335, -259, 129, 421, 15, -88, 61, -200, 120, 9, 625, 203, 588, -187, 101, 170, -66, -113, -296, 0, 94, -515, 78, 17, 148, 158, 332, -83, -273, 31, 585, -138, -121, -12, 6, -125, -155, -400, 236, 109, 395, 67, 403, -32, 251, 574, -24, 92, -3, 73, 343, 174, 60, -256, 37, -143, -106, 26, 104, -12, 142, 10, 112, -40, -54, 237, 545, 146, 164, 49, 63, -71, 784, 98, -1, 25, -50, 4, 247, 107, 395, -75, 579, -49, -97, -366, 195, -30, -123, 99, 159, -570, 93, 36, 34, 196, 388, -72, -343, -63, 334, 4, -383, 90, 47, 269, 67, 81, 374, -55, 364, 20, 279, 476, 10, 243, -15, 113, -57, 10, 83, -136, 338, 385, 39, -33, 152, -84, 139, 81, 130, -3, -31, -144, 32, 29, 186, -276, 412, 35, -213, -239, -162, 282, 57, 253, 2, -86, 279, 217, 804, 25, 162, -62, 28, 119, 204, -373, -89, 0, -142, -452, 165, 36, 237, 163, 153, 145, -348, 5, -360, 404, 633, -15, 12, -130, -192, 156, -33, 125, 873, -19, 78, 0, -37, 645, 35, -58, 68, -102, 328, 163, 492, 31, 168, -37, -374, -210, -71, 8, 247, -401, 57, 43, -155, 200, 482, 93, 209, -1, 238, -187, 77, -228, -21, 237, -28, -201, 62, 107, 503, -109, 898, -59, 234, 81, 456, -153, -408, -72, -13, -20, 318, 57, 20, 161, 289, -6, -165, 49, -141, -23, -356, 220, 15, -378, -452, 126, 138, 148, 384, -18, 75, -269, 146, 191, 142, -59, -112, -94, 119, 372, 432, 41, -19, 10, -217, 258, -158, 122, 713, -74, -8, -41, -98, 263, 807, -259, 438, 77, 132, -238, 357, 90, -8, 60, 111, -66, 202, 8, 738, 161, 683, -4, 128, -5, -51, 31, -47, 99, -57, -606, 67, 104, 12, 39, 144, -126, 351, -19, 158, 225, -511, -63, 50, -5, -587, -129, 353, 141, 162, -43, 431, 161, 59, -78, 462, 292, -89, 160, -150, -6, 95, -142, -36, 64, -397, -244, 267, 82, 256, -220, 1, -123, 166, 29, 159, -171, 451, -4, 17, 64, 591, 98, 22, 43, 18, -99, 133, 24, 232, -126, 173, -98, -1, 164, -59, -110, -254, -27, -106, -82, 429, -167, 153, -225, 187, 26, -207, -84, 140, 232, -175, 269, -3, -95, -151, -70, -152, -3, 347, -49, -69, 408, 169, 205, -352, 112, -14, 37, 355, 212, 838, 385, 42, -91, 151, -62, -86, 7, -194, 87, -111, -196, 14, -147, 240, -250, 430, 36, 442, -331, -271, 394, -5, 64, -108, -515, 76, 15, 248, 110, 819, -44, -3, 41, -249, -397, -760, 54, 5, -67, 561, -45, 36, -117, 499, 31, -462, 135, -11, -71, -483, 138, -17, 67, -987, 122, 40, -4, 229, 70, 217, 293, 191, 369, -245, 288, -90, -66, 207, 189, 163, -100, 4, -184, -194, -99, -198, 95, 94, -90, 67, 42, -95, 90, 640, -55, 314, -29, -60, -333, 75, -387, 92, 186, -61, -89, 33, 129, 937, -152, 169, -40, 53, -147, -191, 224, 13, 1, -52, 206, -109, -124, 4, 29, -17, -131, -89, 35, 224, 2, -9, 307, -5, -68, -397, 107, 101, 67, 700, 1, -53, 164, 36, 27, 447, 109, -67, -18, -196, -268, -20, 143, 62, -72, -427, 90, 74, 35, 337, 13, 31, -62, -46, 302, 463, -307, 108, -21, -450, -164, 273, 221, -146, -417, 26, 281, -10, 226, 660, 101, -166, 4, 6, 156, -130, -371, -276, 60, -6, -349, -69, 56, -65, -222, 495, 2, -232, -120, 390, 476, -428, 197, 8, -217, -226, -53, -67, 272, 101, -107, -304, 560, 130, 516, 118, 427, -74, -71, -337, 84, 231, -393, -64, -191, -441, 107, -580, 27, -330, -116, 23, -16, 3, 120, 197, 469, 215, 80, 477, -244, 2, 43, -53, 24, 8, -232, -41, 133, 225, -158, 734, -150, -48, -70, -148, 164, -521, 206, -80, 3, 410, -121, 136, 171, 56, -57, -17, 20, -16, -142, -189, 374, -27, -54, -707, 160, -199, -25, 228, 54, 950, -98, 28, 13, 499, -212, 20, -8, 480, 166, 715, 163, -13, 45, -267, -148, -215, 80, 65, -140, -15, -239, 24, 33, 89, -14, 49, -9, -28, -108, 245, 70, 42, 276, -101, -89, 205, -110, 71, 91, 379, 0, 89, -90, 82, -25, -297, 156, -148, -107, -149, 484, 71, -143, -251, -31, -87, -15, 246, -46, 527, -244, -6, -195, -370, -84, -123, 11, 406, -109, 579, 152, 188, 456, 94, 122, -251, 88, 309, 238, -199, -43, 24, -73, -287, -689, 76, -27, 60, -199, -37, -20, 36, 400, 329, -174, 255, 12, -485, -52, 168, 32, -49, 119, 54, -134, -242, 149, 254, -206, 541, -49, 34, 100, 132, 21, -372, -116, 1, -160, 565, 286, 56, 23, 336, -107, -106, -27, 58, 336, 763, -1, 97, -331, -107, 117, -431, 46, 461, -99, -23, -100, -134, 34, -447, -83, -34, 40, 171, 67, 154, 10, 267, 63, -184, 7, -116, 4, -78, 291, -47, -137, -60, 28, 303, -328, -6, 55, -584, -397, 138, -260, 98, -30, -10, -126, 389, 210, 80, 336, 673, -10, 16, 65, 166, -290, -125, -58, -39, -148, 317, 101, 121, -155, -92, -81, 152, 12, -169, 30, -567, -111, -32, -36, 195, -142, 418, 91, -109, -35, -112, 87, 44, 103, -300, 129, -57, -169, 46, 391, 555, -263, -65, -217, -593, 182, -64, -44, -327, -279, -28, 381, -103, 453, -86, 291, 256, 0, 458, 114, -403, 105, 9, -69, -237, -327, -473, 175, 264, -337, 85, -5, 141, -572, -565, 514, 8, 189, -12, -31, -336, -407, 9, -250, 405, -125, -532, -76, -20, 154, -154, 285, 37, 44, -181, 66, 569, 32, -29, 102, 151, 459, 50, -80, -293, 40, -168, -42, -435, 184, -252, 294, -267, -8, -501, -205, -742, 129, 248, 8, 155, -409, -27, 367, -46, -370, 341, 1, -197, -690, 18, 11, 33, -100, 21, -442, -511, 169, 253, 402, 65, -107, 173, 461, 106, -103, -851, 153, -234, -348, 296, 139, 198, -280, 243, 72, -51, -65, -29, 126, 278, 166, -20, -97, -610, -12, -437, 148, -100, -49, -273, 423, 115, 280, -592, 618, -15, 92, 409, 396, -3, -202, 34, -148, -592, -237, -648, 30, 301, -520, -146, -213, -93, -60, 393, -13, 506, 94, 345, -409, 276, 113, -136, -40, 19, -210, 462, -7, -410, -419, 225, -122, -246, 18, -203, -123, -547, -22, 98, 116, -431, -97, 23, -108, -641, -77, -158, 7, 311, -272, -246, 450, 8, -531, -607, 46, -112, -45, -314, -8, 482, -194, 232, 600, 533, 239, -128, -117, 422, 14, -156, -17, 32, -99, 24, 552, -330, -52, 58, 79, -12, 68, -201, 113, 77, -183, -164, 19, 200, 106, -166, -351, -72, -416, -50, -244, -147, 50, 654, 431, 400, -141, 33, -273, -256, -330, -601, 69, -59, -375, -394, -66, 123, 179, -572, -160, 203, -61, 86, 339, 197, -10, 36, -246, -875, 63, -586, 22, 214, -82, 170, 529, -84, -331, -209, 90, -166, 185, -144, 315, 94, -250, -2, 4, -553, -78, -385, 140, 197, -324, -22, 265, 16, 460, 301, 6, 692, -24, -337, -248, -86, 315, 235, -50, 1, -636, 62, 151, 572, 77, 313, 27, 86, -106, 284, 151, -782, -66, -153, -327, -87, -532, -112, -228, -538, 84, -229, -64, -363, -82, -120, 527, 3, -162, -390, 345, -607, -27, 57, 3, -435, 441, 47, 244, -316, -289, -169, -138, -106, 101, 150, 190, 70, -37, -493, -288, -11, 114, -232, 103, -42, -40, -213, 63, 332, -458, 382, -7, 207, -21, -737, -101, -147, -1, -14, -10, 132, 88, 494, 53, -99, -36, -112, -161, 63, -202, -247, 37, 5, -446, 232, 145, 11]