# Trace form for 6015.2.a.f, downloaded from the LMFDB on 25 April 2024.
[0, 36, -7, -36, 45, -36, 7, 2, -24, 36, 7, -1, -45, -8, -4, 36, 63, -50, -7, 15, -45, -2, 7, -32, 24, 36, -12, -36, -10, 7, -7, 7, -50, 1, 8, -2, 45, -10, -48, 8, 24, -31, 4, 27, -9, -36, 23, -46, -63, 48, -7, 50, -14, -39, 7, 1, -29, -15, -26, -9, 45, 5, -65, 2, 90, 8, -7, 18, -128, 32, 4, 4, -24, -45, -22, -36, 26, -38, 12, 25, -63, 36, -5, -71, 10, 50, 3, -7, -9, -39, 7, 19, -95, -7, 16, -15, 50, -61, -76, -1, 45, -1, -8, 13, -27, 2, 28, -73, -45, 63, -7, 10, -39, -75, 48, 32, 7, -8, -10, -28, -24, 33, -81, 31, 8, -36, -4, 9, -142, -27, 12, -15, 9, 15, 5, 36, -12, -100, -23, 15, 10, 46, -88, -94, 63, -7, -44, -48, -17, 26, 7, 40, -161, -50, -2, -7, 14, -93, -56, 39, 50, -31, -7, 22, -112, -1, -40, -157, 29, 88, -8, 15, -44, -97, 26, 2, -38, 9, -15, 13, -45, -5, -162, -5, 47, 10, 65, -17, -123, -2, 48, -30, -90, -45, -49, -8, -19, -86, 7, -29, -24, -18, -49, -59, 128, 31, -5, -32, -28, -96, -4, 61, -143, -4, 19, -27, 24, -123, -49, 45, 9, 16, 22, 0, -32, 36, -89, -190, -26, 33, -23, 38, -136, -129, -12, 46, -60, -25, 8, 24, 63, -105, -50, -36, 32, -48, 5, -40, -128, 71, 7, -57, -10, -34, -65, -50, 57, -123, -3, 45, 14, 7, -104, -96, 9, 39, -56, 39, -1, -35, -7, 5, -330, -19, 20, -1, 95, -60, -134, 7, 29, -24, -16, 51, 6, 15, -110, -153, -50, 58, 26, 61, -106, -147, 76, 9, -93, 1, 20, -84, -45, -12, -102, 1, 2, -5, 8, 24, -58, -13, 65, -60, 27, -95, -41, -2, -57, -91, -28, 79, -90, 73, -76, -68, 45, -8, -37, -63, 49, -139, 7, 100, -155, -10, -21, -18, 39, -159, -21, 75, 128, -86, -48, 82, -36, -32, -42, -141, -7, 53, -4, 8, -162, -113, 10, -4, -42, 28, 94, 24, 24, 101, -191, -33, -73, 45, 81, -20, -188, -31, 22, -15, -8, 4, -94, 36, -66, -128, 4, 64, -26, -9, -139, -106, 142, 38, 42, 27, -21, 30, -12, 48, -214, 15, -93, -25, -9, -93, -11, -15, 63, -36, -5, 84, -58, -36, -105, -161, 12, -85, 5, 100, 62, -186, 23, 71, -77, -15, 67, -90, -10, 29, -20, -46, -20, -50, 88, -22, -113, 94, -3, -19, -63, -160, -103, 7, 158, -162, 44, -104, 9, 48, 43, -48, 17, 39, -62, -26, 68, -117, -7, 4, -270, -40, -109, -19, 161, -92, -101, 50, 95, 52, 2, 71, -118, 7, 20, -158, -14, -24, -16, 93, -97, -164, 56, 15, -23, -39, 87, -24, -50, -146, -256, 31, -34, 61, 7, -10, -48, -22, 76, 14, 112, -145, -78, 1, 103, -167, 40, 35, -45, 157, -59, -204, -29, 1, -32, -88, 145, 45, 8, -34, -231, -15, -52, -13, 44, -21, 139, 97, 27, -210, -26, -16, -135, -2, 104, -121, 38, -94, -28, -9, -147, -131, 15, 73, 111, -13, 44, -51, 45, 117, -189, 5, 40, -63, 162, 130, -92, 5, 7, 2, -47, -160, 20, -10, -81, -110, -65, -55, 39, 17, -80, -59, 123, 75, 107, 2, 87, -96, -48, 123, -187, 30, -6, -32, 90, -91, 24, 45, -7, -3, 49, 79, -65, 8, 65, -146, 19, -103, 10, 86, -65, -261, -7, 28, 182, 29, 115, 86, 24, -164, 125, 18, 106, -33, 49, -19, -102, 59, 81, -27, -128, -6, -33, -31, -12, -121, 5, 68, -8, 32, -75, -113, 28, 36, 125, 96, -163, -52, 4, 59, -269, -61, -65, -9, 143, -68, 222, 4, 142, -102, -19, 24, 226, 27, 154, -99, -24, -233, -12, 123, 6, -47, 49, 15, 213, -45, 217, -63, -9, 22, -147, -16, -41, -15, -22, 66, -60, 0, -5, 42, 32, -223, -8, -36, 255, -174, 89, -102, 12, 190, -110, -107, 26, 100, 107, -33, 109, -137, 23, 62, -135, -38, 95, -15, 136, -105, 210, 129, -10, 125, 12, 32, -34, -46, -55, -205, 60, 56, 88, 25, 63, -90, -8, 94, 89, -24, 220, -10, -63, -150, -23, 105, -252, 7, 50, 34, -35, 36, 44, 47, -32, -170, 19, 48, 147, -194, -5, 93, 17, 40, -155, -208, 128, -26, 153, -71, 328, 9, -7, 94, -167, 57, -46, -40, 10, -17, 116, 34, 161, 52, 65, -12, 99, 50, 45, -3, -57, -271, 2, 123, 27, -160, 3, 7, 85, -45, 193, -31, -14, 157, -112, -7, -197, 93, 104, -46, 7, 96, 56, 129, -9, -206, 28, -39, -46, -22, 56, 67, -50, -39, 7, -88, 1, 31, 550, 35, 161, -136, 7, 202, 54, -5, -201, -22, 330, -59, 152, 19, 112, 55, -20, 5, 88, 1, 191, 10, -95, -84, 40, 60, -282, -128, 134, 157, 380, -7, 70, -25, -29, 85, 89, 24, 196, -88, 16, 71, 147, -51, 8, 105, -6, -119, 27, -15, 184, -196, 110, -11, 44, 153, 157, -137, 50, 97, 381, -58, 11, 258, -26, 47, 173, -61, -126, -2, 106, -68, 349, 147, 38, -165, -76, 104, 32, -9, 168, -182, 93, -339, 15, -1, 4, -167, -20, -13, 481, 84, 474, -86, 45, 25, 136, 12, -224, 5, 102, 107, -51, -1, 162, 42, -2, -319, 46, 5, 401, 1, -8, 73, -47, -24, -31, -130, 58, -10, 608, 13, -26, -220, -65, 120, -103, 60, -121, 17, -27, -100, 313, 95, 123, 78, 41, 6, -43, 2, 62, -130, 57, -95, -48, 91, 174, -316, 28, 30, 265, -79, 34, -183, 90, 147, 299, -73, -103, 45, 76, -79, 135, 68, 49, 72, -45, -102, 72, 8, 182, -87, 37, -77, 19, 63, -41, -108, -49, 86, 522, 139, 335, -180, -7, 104, -118, -100, -73, 29, 155, -55, 188, 10, 24, 51, 21, 65, 6, 18, 297, -210, -39, -291, 49, 159, -326, -193, 21, 59, 415, -75, 434, -134, -128, -31, 72, 86, 62, -31, 48, 36, 305, -82, 5, 161, 36, -165, 17, 32, 256, 37, 42, -52, 28, 141, 91, 27, 7, 96, 225, -53, -48, -196, 4, 279, 104, -8, 98, -61, 162, -91, 306, 113, 143, -6, -10, 21, 11, 4, -41, -20, 42, -298, -19, -28, 92, -228, -94, 27, 174, -24, 625, -26, -24, -77, 40, -101, -123, 123, 191, 99, -351, 33, 49, -80, 73, -229, 216, -45, 293, -107, -81, 48, -9, 20, -36, -127, 188, -16, 685, 31, 518, -120, -22, 57, 22, 15, 64, 0, 8, -28, 168, -4, 32, -184, 94, 5, 47, -36, 431, -158, 66, -234, 89, 128, -103, -259, -4, 190, 240, -64, 256, 7, 26, 208, 436, 9, -73, -33, 139, 37, 105, 106, 23, 127, -142, -308, -293, -38, 407, -222, -42, 8, 136, -27, 188, 7, 21, 129, 43, -30, 418, -192, 12, 86, -135, -48, -298, -46, 214, -80, 282, -15, 60, 46, 93, 5, -65, 25, 366, -168, 9, -139, -8, 93, 137, -134, 11, -24, 638, 15, 384, -92, -63, -11, 6, 36, -34, 105, 5, -56, -20, -84, 50, 64, 58, -6, 324, 36, 373, -213, 105, 237, -32, 161, 31, -371, -12, 48, 390, 85, 254, -2, -5, -93, -101, -100, 85, 40, -62, -101, 336, 186, 128, -39, -23, 255, -132, -71, 144, -55, 77, -301, -7, 15, -25, -232, -67, 57, 230, 90, 441, -50, 10, 49, 201, -29, -128, 34, 20, 334, 153, 46, 65, -14, 20, -137, -137, 50, 396, -15, -88, -19, -57, 22, -131, -99, 113, 123, 184, -94, 314, -50, 3, 63, 140, 19, 138, -45, 63, -13, 462, 160, -14, 87, 103, 171, 112, -7, 76, -191, -158, -318, 104, 162, 319, -408, -44, 96, 253, 104, 329, 103, -9, -120, 238, -48, 203, -39, -43, 208, 87, 48, 56, 114, -17, -115, 52, -39, 175, -298, 62, 329, 1, 26, 215, -27, -68, 35, 729, 117, 39, -168, 7, 55, 315, -4, -1, -5, 270, 122, 302, 40, 330, -130, 109, 265, -84, 19, 154, 100, -161, -48, -20, 92, 143, 47, 101, 1, 240, -50, 644, -62, -95, 4, -106, -52, 173, 60, -2, 293, 119, -71, 134, 65, 118, -235, 38, -7, 261, -195, -20, 45, -29, 158, 109, -220, 14, 24, 467, 24, 95, 112, 16, 267, 158, -93, 239, -51, 97, -300, -69, 164, -6, -22, -56, 251, 147, -15, 452, 84, 23, 103, 110, 39, 323, -260, -87, 153, 486, 24, 553, -22, 50, 27, 399, 146, 169, -58, 256, 152, 83, -31, -26, 148, 34, -82, 132, -61, 237, -70, -7, 193, 106, 10, 24, 15, 48, 147, 538, 22, 324, -100, -76, 38, -103, -14, 7, -9, -112, -7, 2, 145, 93, -187, 78, 319, -142, -1, 339, -71, -103, -430, -20, 167, 232, 4, -40, 84, 474, -35, 187, -130, 45, 231, 156, -157, -2, 12, 59, 391, 280, 204, 102, 208, 29, -135, -23, -1, 118, -201, 32, -12, -2, 88, 112, -194, -145, 5, 639, -45, 216, -192, -8, 54, -217, 34, 4, -24, 231, 215, 178, 15, 58, 19, 52, 376, 8, 13, 430, 155, -44, 65, -65, 21, -135, -495, -139, 60, 433, -97, 250, 97, -27, -194, 395, 210, 91, 95, 26, 125, 90, 16, 41, 89, 135, -108, -139, 2, 315, 9, -104, 290, 57, 121, -2, -30, -38, 91, -110, 94, -183, 66, 28, -17, 182, 9, 381, -79, 147, 3, 593, 131, 90, -49, -15, 179, -45, -73, -365, -76, -111, -325, 76, 13, 90, -323, -44, 68, -337, 51, 387, 34, -45, -99, -128, -117, -480, 8, 189, 155, -188, -5, 37, 1, -40, -313, -248, 63, 118, -125, -162, 237, -49, -130, -316, -33, 92, 139, 337, -5, 705, -80, -7, 60, 47, -2, -261, -100, 47, -120, 379, 160, 155, 13, -20, 187, -148, 10, 211, 122, 81, -79, 21, 110, -332, -457, 65, 18, 15, 55, -69, -55, -39, -121, 113, -17, -244, 159, 80, 5, 616, 59, 21, 51, -123, -278, -43, -75, -388, -296, -107, 141, -128, -2, 141, -57, -87, 86, 157, 96, 523, -92, 48, -149, -206, -123, -381, -82, 187, -84, 144, -30, 36, 40, 6, 221, -375, 32, -184, -74, -90, -501, 42, 91, -546, -162, -24, 141, 291, -45, 136, -91, 7, -199, 211, 3, 445, -53, -49, 250, -404, -79, 4, -124, 65, -172, -17, -8, -178, -6, -65, 62, 162, 146, 59, 118, -19, 113, 310, 103, 222, -462, -10, 43, 114, -86, -400, 4, 65, -391, 255, 261, 42, -269, 7, 59, -408, -28, 101, -180, -182, -9, -94, -29, -91, -293, -115, -24, -206, -86, 469, 173, -24, 98, 240, 164, -372, -101, -125, 202, 75, -18, 191, -102, -106, -185, -73, 33, -590, -177, -49, 196, 73, 19, -408, -188, 102, -45, 520, -59, 253, 68, -81, -200, -541, 27, -30, 20, 128, 86, -222, 6, 188, -165, 33, 556, -134, 31, -85, -152, 12, -447, -22, 121, -108, -372, -5, 15, 400, -68, -327, 50, 8, 42, 563, -32, -83, -4, 75, 190, -386, 113, 94, -45, -28, -335, -403, -36, -686, -198, -125, 300, 66, -96, -426, -148, 163, 128, -63, 52, 378, -394, -4, 112, -155, -59, -330, -64, 269, -120, 422, 61, 26, 152, 65, -161, -210, 9, 43, -129, -143, -139, 139, 68, -44, -179, -222, 106, 159, -4, 468, 45, -142, -295, -323, 102, -480, -38, 19, 22, -148, -24, -42, -148, -226, -255, -182, -27, -212, -191, -154, 134, 21, 99, 70, -203, 24, -30, -338, 233, 82, -357, 12, -235, 219, -123, 43, -48, -6, -177, 183, 47, 214, -82, -49, 201, -248, -15, -220, -19, -213, -361, 93, 45, -493, -281, -217, 25, -12, 63, 311, -111, 9, -88, -89, -22, -503, 93, 147, 29, 83, 16, 11, -327, 41, -392, 75, 15, 100, -216, 22, -78, -63, -66, -324, -257, 60, 36, 235, 0, 78, -138, 5, 12, -610, -42, -375, -84, -32, -43, 254, 223, 58, 243, 8, 122, -428, 36, 79, 137, -255, -308, 105, 174, -386, -501, -89, 161, 179, 102, 202, -90, -12, -255, 69, -190, -76, 85, 110, -12, -326, 107, -5, -110, -26, -74, -204, -100, -407, -311, -107, 316, -62, 33, -224, -359, -109, 186, 277, 137, 338, 111, -23, -308, 210, -62, -304, -71, 135, -90, -25, 38, 77, -315, -95, 313, -368, 15, -316, 162, -136, -29, -67, 105, -400, 14, -210, 90, 106, -129, 27, 268, 10, 49, -376, -125, -121, -29, -12, 125, -26, -32, 20, 89, 34, -193, -9, 46, -410, -250, 55, 127, 20, 205, 40, -37, -60, 50, 177, -56, -178, 137, -88, -252, -232, -25, -259, 22, -63, 46, 543, 90, 113, 12, 8, 191, -135, -94, -785, -261, -89, -406, 3, 24, -166, -361, -220, 19, -40, 10, 280, 203, 63, -360, 188, 150, 8, 160, 23, 198, -285, -105, 103, 83, 252, -128, -443, -7, 374, 69, -50, 355, -158, -34, -1023, 65, 35, 162, 222, -36, 293, -5, -44, -148, 35, -47, 205, 104, 32, -103, 88, 170, -9, 105, -19, -41, 14, -48, 58, -268, -147, -30, -43, 194, -641, -263, 5, 48, -256, -93, 208, 12, -17, -1, 135, -40, -570, -39, 155, 347, 352, 208, 62, 27, -128, -265, -201, 26, -723, -78, -153, 23, -68, 71, 251, 0, -328, 117, 300, -9, 322, -53, 7, 75, -6, -94, -344, -4, 167, -159, -70, -57, 270, 230, 46, 164, -137, 40, -508, 29, -10, 65, 109, 17, -374, -267, -116, 19, 157, -34, 58, -146, -161, -105, -158, -52, -232, 92, -65, -7, 192, 12, 101, -132, -99, -52, -231, -50, -65, 111, -45, 206, -95, 3, -46, -271, 57, -52, 169, 271, -186, 16, -2, -3, 127, -123, -135, -71, -27, -66, 370, 160, 118, 52, -3, 363, -468, -7, -481, 52, -85, -234, -20, 45, 67, -173, -193, 158, -116, 31, 352, 89, 14, 70, 154, -157, -160, 24, 112, -65, -169, 7, 16, 5, 197, -238, -11, -93, -806, 38, -104, -19, 97, 46, -624, -8, -7, 164, 749, -96, 328, -302, -56, 33, -326, -129, -232, -15, 9, -79, 209, 206, 23, 295, -28, 91, 486, 39, -354, 119, 46, 206, -87, 22, 45, -641, -56, 24, 692, -67, -351, -160, 50, -88, 528, 39, -581, 146, -7, -81, 196, 88, 256, 137, -1, -328, -318, -31, -300, 53, -550, 684, 34, -35, -137, -103, -161, -61, -318, 136, 702, 24, -7, 133, -839, -202, -532, 10, -54, 52, 196, 5, 48, -69, 201, 157, -157, 22, -257, 42, -330, -533, -76, 59, -716, -233, -152, -14, 561, -19, 549, 24, -112, 74, 433, -55, -421, 145, 20, 333, -181, -5, 78, -38, -88, -114, -719, -1, -155, -7, -191, -83, -103, -10, -255, -72, 95, 167, 266, 84, -268, 13, -40, -60, 420, -60, -204, -35, 282, -27, 158, 128, 45, 522, -134, 81, -232, -157, -336, -83, -380, -431, 59, 7, 25, -142, -70, 204, -299, 25, 108, -22, 29, -158, 9, -85, -614, -1, -89, 299, -206, -24, 32, 215, -196, -34, -480, 88, 73, -16, -16, 292, -145, -71, -256, -280, -147, -45, 730, 51, 82, 333, -8, -155, -12, -105, -486, 34, 6, -73, 133, 119, 231, 66, -27, 427, -518, 15, -129, 26, -184, -309, 52, 196, -557, -302, -110, 13, -61, 11, -171, 232, -44, -223, -117, -153, 402, 21, -157, 102, 562, 137, -139, 88, -50, -90, -432, -97, -790, -234, -381, 154, -27, 58, -435, -352, -11, 210, -267, -258, -21, -487, 26, -466, 466, -47, -491, 16, -173, -347, 238, 61, 135, 26, 126, -101, -426, 2, 836, 194, -106, -78, -104, 68, -805, -301, -349, 121, 308, -147, 606, 417, -38, -325, -67, 165, -166, 94, 76, 334, -322, -104, 28, -190, -32, -440, 184, 9, -201, 29, -168, -140, 147, 182, -251, -206, -93, 131, 152, 339, -129, 380, -15, -188, 45, 1, -773, -73, -4, -125, -299, 167, -111, -138, 20, 434, -393, 13, -504, -184, -481, -235, -44, -84, -668, 139, -474, 51, 430, 86, 793, -1, -45, 293, -178, -25, -79, -117, -136, 152, -448, -12, 189, 182, 224, -475, 28, -5, -494, 140, -102, 91, -40, -107, -391, 84, 51, 63, 48, 1, 419, -150, -162, -244, -662, -42, -500, -130, 2, 176, 189, 319, 92, 460, -46, -111, -246, -5, 262, -139, -401, -84, -7, -1, -114, -369, 8, -2, -74, -73, 48, 446, 47, -308, 99, 24, -36, 160, 31, 149, -335, 130, -20, 37, -58, -5, -723, 10, -309, -349, -608, 234, 81, -13, -987, 137, 26, 110, 148, 220, 288, 386, 65, -250, 630, -120, -275, 55, 103, 186, 44, -60, -39, 131, 121, -30, -443, -17, -368, -2, 27, -97, 80, 100, -585, 73, -313, 59, 562, -95, 498, 99, -123, -35, 462, -78, -587, -75, -41, -273, -164, -6, -107, -215, 43, -806, -370, -2, 93, 21, -62, 329, -87, 130, -173, -154, -57, 96, 131, 95, 227, 133, 48, 290, 462, -91, 156, -123, -174, -119, -50, 316, 187, -40, -28, 59, 100, -30, -265, -144, -265, 277, 6, 79, -176, -690, -34, 32, 99, 183, 108, 222, -90, -331, -594, -147, -564, 91, -299, 53, -479, 73, -24, 262, 103, 17, -166, -45, -573, 47, -76, 482, 7, 79, 22, -386, -135, 3, 583, -68, 168, 362, -49, -309, 127, -72, -165, -79, 45, -171, 8, 102, 65, 154, -72, 250, -44, -8, -262, -20, -182, -755, -65, 87, -240, -252, -37, 146, -154, 77, -300, -207, -19, -238, 243, -63, 16, 103, 41, 448, -417, 108, -10, -40, 49, -47, -2, -86, 84, 88, -522, -5, 65, -139, -89, -160, -335, 261, 344, 180, 343, 152, 7, -154, -613, -104, -315, -28, 118, -153, 318, 100, -182, 260, 73, 112, -736, -29, -347, -167, -155, 133, -115, 55, -359, 59, -188, -86, 766, -10, -67, 69, -24]