# Trace form for 6003.2.a.n, downloaded from the LMFDB on 25 April 2024.
[0, 12, 3, 0, 11, 16, 0, -7, 9, 0, 0, 6, 0, -15, 8, 0, 17, 18, 0, -6, 39, 0, -5, 12, 0, 14, 3, 0, -19, 12, 0, 16, 21, 0, -7, 11, 0, -1, 24, 0, 30, -3, 0, -23, -23, 0, 3, 35, 0, 3, 2, 0, 0, 45, 0, 17, 17, 0, 3, 11, 0, 4, 7, 0, 15, -5, 0, -19, -1, 0, 14, -19, 0, 10, 15, 0, -4, 39, 0, 17, 90, 0, -3, 12, 0, 14, -17, 0, -2, 20, 0, 11, 11, 0, 13, -12, 0, -12, -75, 0, 107, 58, 0, -28, 34, 0, 74, -1, 0, -28, -22, 0, -10, 24, 0, 16, 11, 0, 53, 3, 0, 30, 48, 0, 13, 54, 0, 10, 24, 0, 25, -40, 0, -2, -8, 0, 2, 10, 0, 34, -59, 0, 29, 3, 0, 16, -78, 0, 90, 34, 0, 25, 50, 0, 17, 37, 0, -30, 13, 0, 107, -7, 0, 27, -41, 0, 50, 32, 0, 49, -56, 0, 14, 86, 0, 51, -108, 0, -66, -37, 0, -81, -26, 0, 9, 6, 0, 52, 104, 0, 167, 4, 0, 34, -18, 0, -69, 28, 0, -24, 54, 0, 25, -7, 0, -31, 0, 0, -75, 72, 0, 41, 104, 0, 6, -52, 0, 10, -5, 0, -145, 15, 0, 3, 7, 0, -37, 52, 0, -47, 0, 0, 9, 29, 0, 25, -46, 0, -9, -4, 0, -48, 84, 0, 35, -25, 0, 37, -3, 0, -19, 56, 0, 6, 58, 0, -7, 73, 0, 50, -10, 0, -91, -55, 0, 65, 7, 0, -94, 65, 0, -30, -72, 0, -12, 78, 0, -14, 62, 0, 36, -9, 0, -71, -113, 0, -127, 72, 0, -22, 0, 0, 35, 66, 0, -12, 224, 0, -154, -15, 0, -37, -49, 0, -62, -53, 0, -4, 34, 0, 47, 21, 0, 30, -85, 0, -98, 90, 0, 6, 48, 0, 8, -13, 0, -25, 79, 0, 107, -7, 0, 84, 74, 0, 49, -54, 0, 49, 40, 0, -83, 68, 0, -98, -72, 0, 15, 57, 0, -46, -9, 0, -83, 27, 0, -16, 129, 0, -184, -93, 0, 46, -11, 0, 158, 66, 0, -80, 17, 0, 79, -77, 0, -36, -99, 0, 33, -15, 0, 77, -17, 0, -36, -12, 0, 101, 6, 0, -23, 159, 0, 18, -133, 0, -39, 2, 0, 13, -51, 0, 120, 27, 0, 14, 138, 0, 8, 46, 0, 90, -21, 0, -130, 131, 0, 42, 62, 0, 46, 15, 0, 5, -96, 0, 138, 77, 0, 60, -16, 0, -186, -77, 0, 11, 94, 0, -123, -6, 0, 7, -78, 0, -37, -69, 0, 7, -91, 0, -66, -19, 0, 65, 4, 0, -35, 16, 0, 18, 53, 0, 39, -15, 0, 46, 17, 0, -17, 32, 0, 16, 69, 0, -57, 68, 0, 1, 28, 0, -23, -176, 0, 3, 8, 0, -6, 121, 0, 64, 20, 0, -154, -4, 0, 18, -151, 0, 31, 4, 0, 86, 101, 0, 88, 108, 0, 96, -5, 0, 67, 28, 0, -30, -39, 0, 172, -143, 0, -61, -24, 0, 93, 76, 0, -19, -118, 0, 16, 104, 0, 12, 212, 0, 94, 183, 0, 25, 133, 0, 122, -56, 0, 68, 61, 0, 106, -86, 0, 9, 9, 0, 16, -6, 0, 114, -207, 0, -129, 114, 0, -18, -144, 0, 137, 53, 0, -121, -103, 0, 70, 9, 0, 31, -65, 0, -59, 14, 0, -59, -42, 0, 39, 43, 0, 42, -116, 0, -93, 37, 0, 80, -16, 0, 75, 75, 0, 162, -85, 0, 3, -53, 0, 96, 72, 0, 143, 72, 0, 81, 106, 0, -23, -185, 0, -46, 19, 0, -198, -88, 0, -162, -14, 0, -25, -20, 0, 56, -64, 0, -139, -67, 0, 42, -86, 0, -150, -110, 0, -76, -5, 0, 59, 15, 0, 18, -19, 0, -260, -84, 0, 75, -127, 0, 100, -37, 0, 1, -119, 0, 175, -104, 0, 64, 88, 0, 102, 84, 0, 12, 90, 0, 263, -36, 0, -51, 24, 0, 56, 87, 0, 159, -42, 0, 26, -29, 0, 63, -6, 0, -69, -55, 0, -69, 24, 0, 97, 12, 0, 19, -157, 0, -96, 93, 0, -40, -117, 0, -160, -86, 0, -58, 187, 0, 47, 16, 0, -60, -262, 0, -166, -44, 0, 48, -29, 0, 1, 14, 0, 92, -215, 0, -369, -13, 0, -14, -103, 0, 21, -54, 0, 98, 183, 0, 151, -56, 0, 57, 66, 0, -95, 84, 0, -175, 218, 0, 3, -4, 0, 32, 83, 0, 171, 97, 0, 92, -149, 0, 64, -26, 0, 94, -123, 0, -156, 136, 0, 74, 55, 0, 21, -37, 0, -109, -7, 0, -88, -192, 0, -92, -154, 0, -126, -183, 0, -31, 50, 0, -80, 162, 0, 71, 234, 0, 177, 105, 0, 11, 78, 0, 11, -40, 0, -56, -19, 0, -42, -8, 0, -93, 271, 0, -140, 55, 0, -29, -109, 0, -230, -27, 0, 68, 4, 0, 134, -22, 0, -11, 245, 0, 84, 167, 0, 12, -73, 0, 97, 168, 0, -2, 267, 0, -151, -1, 0, -68, -120, 0, 12, 12, 0, 30, -131, 0, 15, -32, 0, 105, 1, 0, -71, 100, 0, -78, -36, 0, 24, 29, 0, 40, 157, 0, -151, 51, 0, -27, 257, 0, 89, 26, 0, 8, -264, 0, -17, -96, 0, -130, -44, 0, -191, 16, 0, 1, -111, 0, -223, -179, 0, -34, -216, 0, -212, -189, 0, 48, -85, 0, -44, 133, 0, -190, 30, 0, 154, 203, 0, 65, -45, 0, 21, 31, 0, -119, 26, 0, -206, 103, 0, -92, -34, 0, 188, -17, 0, -3, -214, 0, 219, 42, 0, 53, 300, 0, -87, -73, 0, -81, 47, 0, 108, -128, 0, -166, -80, 0, -97, -58, 0, -108, -22, 0, 56, 91, 0, -60, -168, 0, -68, -9, 0, 93, -120, 0, -26, -24, 0, -77, -7, 0, -129, -23, 0, -80, 95, 0, -128, -190, 0, 3, 87, 0, 43, -187, 0, -68, -91, 0, 70, 16, 0, -20, -52, 0, -23, 164, 0, 11, -7, 0, 181, 23, 0, 86, 107, 0, -177, -115, 0, -72, 171, 0, 72, 29, 0, 57, 23, 0, -12, 152, 0, -73, -306, 0, -26, -12, 0, 183, -141, 0, -274, -39, 0, 46, -83, 0, 15, 21, 0, -110, 3, 0, 227, 5, 0, -40, -288, 0, -2, 68, 0, -66, 86, 0, 74, -1, 0, 61, 109, 0, -52, 4, 0, 35, -93, 0, 245, 53, 0, -78, -23, 0, -1, -76, 0, 96, -141, 0, -119, 27, 0, -148, -166, 0, 24, 99, 0, 168, -49, 0, -153, -48, 0, 1, -125, 0, 86, 155, 0, -5, -134, 0, 172, 45, 0, -59, 120, 0, -111, 3, 0, 35, -201, 0, -233, 19, 0, -155, 57, 0, 205, -169, 0, -155, -90, 0, -345, -58, 0, -131, 203, 0, 2, -23, 0, -59, -77, 0, 40, -44, 0, -121, 30, 0, -169, -126, 0, -57, 28, 0, -79, -22, 0, -199, -19, 0, -154, 4, 0, -57, -76, 0, -115, 136, 0, 138, -34, 0, -351, -137, 0, -3, -160, 0, -172, 222, 0, 7, 0, 0, 60, 203, 0, 50, -310, 0, 13, -66, 0, 77, -80, 0, 97, 1, 0, -77, -103, 0, 50, 88, 0, 45, -102, 0, 359, -90, 0, -168, 64, 0, -152, -6, 0, 59, 62, 0, 300, -97, 0, -53, -395, 0, -73, -29, 0, -164, 19, 0, 129, -23, 0, 114, -169, 0, -50, 199, 0, -61, -244, 0, -71, 21, 0, -156, 108, 0, -44, 17, 0, -185, -57, 0, -36, -31, 0, 205, 70, 0, -23, 204, 0, -310, -133, 0, 48, 115, 0, 32, -82, 0, 17, -203, 0, 117, -270, 0, 292, -55, 0, 134, 161, 0, -140, 140, 0, 66, -143, 0, 96, 35, 0, 108, -364, 0, -108, -163, 0, 61, -427, 0, -310, 133, 0, -49, -230, 0, 116, 16, 0, -1, -14, 0, -220, -111, 0, -25, 3, 0, -30, -91, 0, -232, -65, 0, -113, -90, 0, 120, 60, 0, 27, -51, 0, 4, -112, 0, 244, 52, 0, 11, -91, 0, -54, 231, 0, 35, -179, 0, -362, -96, 0, 157, 90, 0, 115, 193, 0, 146, -296, 0, 153, -68, 0, 245, 54, 0, 384, -15, 0, -271, 102, 0, 169, 261, 0, -5, -25, 0, -172, -66, 0, 36, 51, 0, -115, 4, 0, 30, 14, 0, -146, -54, 0, 71, -254, 0, 103, -205, 0, -4, -186, 0, -226, 3, 0, -18, -93, 0, 7, -73, 0, 102, -396, 0, -103, -91, 0, 51, -148, 0, -189, -126, 0, -98, -116, 0, 417, 104, 0, -76, -259, 0, 2, -45, 0, -24, -123, 0, -73, 140, 0, -97, 62, 0, 162, -148, 0, 164, -108, 0, 8, -30, 0, 56, 15, 0, -81, -34, 0, -197, -144, 0, 471, -204, 0, 40, -135, 0, -35, 23, 0, 4, -341, 0, 22, 36, 0, -5, -241, 0, 171, 36, 0, -124, -134, 0, 79, -191, 0, -40, 0, 0, -145, 39, 0, 42, 15, 0, 205, 240, 0, -143, 13, 0, -53, -16, 0, 3, -96, 0, -78, 117, 0, 5, 26, 0, -196, 50, 0, 45, -128, 0, 155, -19, 0, 244, 25, 0, 11, 0, 0, 67, 58, 0, 196, -117, 0, 6, 248, 0, -234, -126, 0, 29, -463, 0, -1, -61, 0, -81, -165, 0, -138, -259, 0, -41, 312, 0, -351, 217, 0, -48, -224, 0, 186, 172, 0, 231, 33, 0, 11, 30, 0, 75, -188, 0, 135, 17, 0, 260, 277, 0, -47, -175, 0, -87, 1, 0, 195, 150, 0, -32, 14, 0, 85, 299, 0, -206, 192, 0, 18, 7, 0, 127, 112, 0, 17, -164, 0, -58, -27, 0, -43, 14, 0, -19, 28, 0, 4, 55, 0, -166, 166, 0, -202, 149, 0, -75, -86, 0, -250, -2, 0, 172, 105, 0, 141, 9, 0, 68, 48, 0, 260, -163, 0, -11, 100, 0, 23, -13, 0, 20, 33, 0, 94, 14, 0, -248, 336, 0, 80, 10, 0, -33, 3, 0, -127, 172, 0, 36, 252, 0, -7, -29, 0, -103, -70, 0, 65, 69, 0, -111, -177, 0, 15, -3, 0, 113, 65, 0, -22, -21, 0, 11, 150, 0, -13, -159, 0, -103, 27, 0, -272, 4, 0, 18, -66, 0, -203, -231, 0, -1, 142, 0, 154, 100, 0, 172, -172, 0, 280, 129, 0, 149, -103, 0, -324, -192, 0, -89, -4, 0, -135, -129, 0, -51, 71, 0, 231, -47, 0, 61, 87, 0, 12, 26, 0, -120, 99, 0, 322, 4, 0, 39, -104, 0, -169, -208, 0, 21, -40, 0, 251, -54, 0, 177, 62, 0, -137, 118, 0, -13, -235, 0, 234, -113, 0, -37, -27, 0, 7, -49, 0, -38, 212, 0, 96, 155, 0, -197, -156, 0, -258, -205, 0, -136, 76, 0, -189, 17, 0, -45, 457, 0, 22, 53, 0, 155, 49, 0, 167, -152, 0, 73, 99, 0, -54, 61, 0, 28, -8, 0, 90, -47, 0, 19, -43, 0, 224, 86, 0, -23, 333, 0, -106, 121, 0, -154, 15, 0, 263, 104, 0, 119, 8, 0, -405, 59, 0, -51, 50, 0, -393, 180, 0, 136, -108, 0, 61, -7, 0, 53, -69, 0, -74, 2, 0, -5, -3, 0, -92, 258, 0, -16, 105, 0, 58, 298, 0, 200, 59, 0, -36, -161, 0, 55, 125, 0, -208, -38, 0, 12, -162, 0, 410, 201, 0, -120, -236, 0, 120, -42, 0, 92, -35, 0, -95, 217, 0, -177, 47, 0, 116, -79, 0, 267, 242, 0, 210, 225, 0, 17, 77, 0, 32, -19, 0, 385, 30, 0, -497, 320, 0, -266, 86, 0, 159, 14, 0, 107, 203, 0, -406, 120, 0, -325, 317, 0, 126, 122, 0, 101, -407, 0, -1, 235, 0, -89, -625, 0, -17, -20, 0, -77, 45, 0, -9, -50, 0, 202, 267, 0, -310, -56, 0, -12, 204, 0, 132, 91, 0, -89, -108, 0, 62, -49, 0, -61, -145, 0, 104, -167, 0, -10, -42, 0, 52, -99, 0, 37, -105, 0, 470, -130, 0, 183, -2, 0, -231, 90, 0, -204, 14, 0, -216, -154, 0, -329, 221, 0, -79, 205, 0, -31, 255, 0, -70, -54, 0, 20, -86, 0, -86, -80, 0, -80, -67, 0, 144, 278, 0, -19, -429, 0, 125, -59, 0, 252, 51, 0, -525, 19, 0, 237, -133, 0, 261, 352, 0, -89, 230, 0, 67, -62, 0, 95, 226, 0, 102, 207, 0, -122, 320, 0, 113, 11, 0, 164, -54, 0, -140, -22, 0, 216, 93, 0, -76, -64, 0, -10, -44, 0, -132, 116, 0, -24, 220, 0, 11, 10, 0, -41, 348, 0, -241, -264, 0, 325, 163, 0, 243, -22, 0, -9, 330, 0, 30, 182, 0, 35, 67, 0, -22, -4, 0, 170, 31, 0, 15, -79, 0, 76, -113, 0, 466, -104, 0, -206, -49, 0, -636, 45, 0, -72, 13, 0, -99, 84, 0, 149, 178, 0, 47, -280, 0, -59, 56, 0, -176, -15, 0, -15, -504, 0, 411, 36, 0, -12, 216, 0, 172, 176, 0, -255, 85, 0, -50, -13, 0, 81, 57, 0, -119, 34, 0, 59, -4, 0, 22, -102, 0, 217, 55, 0, 1, -12, 0, -200, 21, 0, -61, 39, 0, -13, 249, 0, 25, 209, 0, -101, -269, 0, -288, -12, 0, 39, 370, 0, -440, 228, 0, 127, -19, 0, 267, -186, 0, 187, -291, 0, 136, -15, 0, 83, -37, 0, -75, -103, 0, 113, 95, 0, -84, -133, 0, -90, 10, 0, 182, -99, 0, -104, -92, 0, 242, -7, 0, 111, -118, 0, -273, 27, 0, 287, 13, 0, -200, 118, 0, -228, -350, 0, 442, 17, 0, -42, 47, 0, -365, 86, 0, -113, 107, 0, -19, -65, 0, -82, 227, 0, 262, 141, 0, 140, 133, 0, -216, 477, 0, 155, -460, 0, 90, -229, 0, 58, 242, 0, -101, -184, 0, -255, -331, 0, -497, -103, 0, 420, -362, 0, 170, -48, 0, -99, -191, 0, 27, 20, 0, -31, 73, 0, 270, -84, 0, 172, -107, 0, -183, 28, 0, -37, 96, 0, -117, -185, 0, -173, 57, 0, 68, -28, 0, 231, 359, 0, 42, 124, 0, 179, -3, 0, 118, -2, 0, -160, -117, 0, -128, 9, 0, 198, 306, 0, 34, -19, 0, -493, -1, 0, 118, -18, 0, 12, 39, 0, -25, 127, 0, 12, -17, 0, -33, -53, 0, 141, 235, 0, 202, -132, 0, 72, -81, 0, -175, 199, 0, 376, -215, 0, -2, -137, 0, -252, -342, 0, -43, -233, 0, 57, 74, 0, 91, -13, 0, 13, 60, 0, -262, 131, 0, -30, -246, 0, -82, 268, 0, 381, 280, 0, -11, -93, 0, -1, 0, 0, 216, 14, 0, -158, 17, 0, -718, -200, 0, 364, -44, 0, -34, 307, 0, 129, 211, 0, 68, -6, 0, 148, 34, 0, 17, -320, 0, 347, -122, 0, -17, 110, 0, 302, 151, 0, -286, 0, 0, -118, -191, 0, 102, -28, 0, 38, 260, 0, -254, 87, 0, 329, 203, 0, 349, 3, 0, 186, -242, 0, 53, 152, 0, -116, -360, 0, -22, -187, 0, -44, 196, 0, -395, -220, 0, -329, 74, 0, 150, -92, 0, 271, 4, 0, -142, -120, 0, 312, -2, 0, -258, -220, 0, -10, 20, 0, -210, -114, 0, 190, 12, 0, 13, 37, 0, 294, 105, 0, -233, 40, 0, -318, -10, 0, -398, 218, 0, 20, 305, 0, -369, -402, 0, 239, -58, 0, -273, -71, 0, 104, -7, 0, 566, -41, 0, 24, 142, 0, 289, -50, 0, 193, -181, 0, 39, 68, 0, 162, 61, 0, 123, 19, 0, -99, 132, 0, -182, -51, 0, -50, -22, 0, -79, -222, 0, 260, 318, 0, 269, 170, 0, 201, 204, 0, 247, 11, 0, 84, 128, 0, 94, 16, 0, -29, 290, 0, 567, -267, 0, 113, 141, 0, 281, 1, 0, -370, 321, 0, -183, 11, 0, 561, -42, 0, 11, -232, 0, -242, 166, 0, -114, -242, 0, -198, -97, 0, 285, -181, 0, -27, -133, 0, 125, 134, 0, -96, 275, 0, 87, 267, 0, 56, -147, 0, -601, 245, 0, 134, -121, 0, 159, -214, 0, -31, 166, 0, -160, -6, 0, -21, 53, 0, -106, -46, 0, -96, 380, 0, -26, -252, 0, 6, 13, 0, -298, -253, 0, 124, 96, 0, -134, 305, 0, 3, 311, 0, 156, 193, 0, 19, 204, 0, 56, 29, 0, 255, -35, 0, -291, 106, 0, -12, -138, 0, 230, -25, 0, 346, 70, 0, 259, -6, 0, 77, 99, 0, -275, 89, 0, -155, 400, 0, -266, 38, 0, -316, -271, 0, 766, 30, 0, -39, 294, 0, 472, 49, 0, -141, -339, 0, 55, 4, 0, -77, -351, 0, -307, 187, 0, 315, 352, 0, 48, -20, 0, 23, 368, 0, 360, -12, 0, -170, 202, 0, -285, -198, 0, -43, -440, 0, -329, -353, 0, 77, -201, 0, -93, -327, 0, -115, -396, 0, -227, 25, 0, 261, 217, 0, -75, 291, 0, -218, -102, 0, -174, -418, 0, -80, 13, 0, -89, -88, 0, -209, 157, 0, 150, 39, 0, 208, -258, 0, -468, 327, 0, -177, -428, 0, 152, -73, 0, 54, 18, 0, -219, 22, 0, -294, 142, 0, -68, 138, 0, -8, 340, 0, 27, -120, 0, 229, 344, 0, -148, 53, 0, -234, 107, 0, 83, 157, 0, 165, -35, 0, 141, 365, 0, 109, 140, 0, 40, -195, 0, -53, 115, 0, -432, 10, 0, -20, -9, 0, 262, 238, 0, 58, 328, 0, 67, 39, 0, 342, -239, 0, 355, -190, 0, 74, -43, 0, 24, -41, 0, 127, 287, 0, -145, -293, 0, 44, -21, 0, 137, 8, 0, -141, 379, 0, -30, 82, 0, 409, 107, 0, -134, 280, 0, 9, 165, 0, -280, 474, 0, 280, -370, 0, 101, 13, 0, 45, 192, 0, 365, -28, 0, -123, 25, 0, -339, 176, 0, -255, -140, 0, -34, -49, 0]