# Trace form for 8001.2.a.n, downloaded from the LMFDB on 23 April 2024.
[0, 12, 7, 0, 9, 7, 0, 12, 15, 0, -2, 22, 0, 0, 7, 0, 7, 6, 0, -7, 8, 0, 13, 29, 0, 3, 0, 0, 9, 22, 0, -16, 27, 0, -5, 7, 0, -4, -2, 0, 16, 21, 0, 11, 11, 0, 0, 31, 0, 12, 21, 0, 3, 38, 0, -11, 15, 0, 20, 15, 0, -3, 4, 0, 29, 32, 0, -1, -17, 0, -2, 57, 0, -7, 42, 0, -44, 22, 0, -18, -1, 0, 56, 21, 0, -5, 32, 0, -10, -6, 0, 0, 15, 0, 35, 57, 0, 4, 7, 0, -1, -1, 0, 15, 20, 0, 44, 7, 0, -16, -85, 0, 7, 38, 0, 31, 66, 0, 16, 6, 0, -4, -23, 0, 52, 3, 0, 12, 12, 0, -5, -7, 0, -7, -18, 0, -39, 75, 0, -6, 8, 0, 55, 10, 0, 45, -37, 0, 82, 39, 0, -47, -122, 0, 13, -8, 0, 40, 3, 0, 23, 29, 0, -31, 67, 0, 71, 18, 0, 0, -81, 0, 11, -40, 0, 3, -40, 0, -11, 21, 0, 49, 0, 0, 41, -27, 0, 51, 53, 0, 91, 63, 0, 2, -40, 0, 9, 2, 0, -40, -17, 0, 4, 22, 0, 31, 8, 0, 111, -41, 0, 42, 26, 0, -31, 15, 0, -16, -94, 0, -55, 14, 0, 15, 27, 0, -7, 50, 0, 5, 48, 0, 80, 61, 0, 2, -15, 0, -5, 75, 0, -27, -7, 0, -18, 7, 0, -32, -10, 0, 82, -26, 0, 42, 7, 0, 55, 6, 0, -4, -68, 0, 2, 36, 0, 37, -2, 0, 79, -57, 0, -79, -67, 0, 161, 52, 0, 64, -85, 0, 16, 42, 0, -8, 30, 0, -73, 21, 0, -60, -10, 0, -73, -55, 0, 12, 88, 0, 66, 55, 0, 11, -35, 0, -160, 77, 0, 19, 11, 0, -37, 57, 0, 64, 31, 0, 26, 56, 0, 12, 21, 0, 0, -14, 0, 38, -29, 0, 60, 31, 0, -78, 45, 0, -23, 23, 0, 4, -65, 0, -107, -28, 0, 12, 42, 0, -117, 38, 0, 29, 21, 0, -3, -74, 0, 37, 98, 0, 40, 115, 0, 51, 66, 0, 3, 37, 0, -56, 84, 0, -143, 38, 0, -12, 32, 0, 60, 4, 0, -33, 25, 0, -65, -32, 0, -11, -20, 0, 43, -25, 0, -69, 15, 0, -62, -7, 0, 43, -3, 0, -21, -5, 0, 11, 35, 0, 20, 101, 0, 5, 151, 0, -32, 15, 0, -25, 136, 0, 2, 50, 0, 40, 60, 0, 82, -61, 0, -3, 39, 0, 26, 142, 0, 56, 4, 0, -121, -74, 0, -22, 25, 0, -68, 43, 0, 37, 15, 0, 29, 42, 0, -82, 57, 0, 43, 32, 0, -16, -36, 0, 134, -50, 0, 80, 4, 0, -58, 16, 0, -1, 1, 0, 9, 28, 0, 90, -17, 0, 85, 90, 0, 100, -17, 0, -42, -43, 0, 41, -69, 0, -2, 2, 0, 95, 7, 0, 16, 57, 0, -104, 24, 0, -114, 16, 0, 3, -68, 0, 9, -9, 0, -7, 133, 0, -3, -48, 0, 91, 42, 0, -60, 13, 0, 71, 30, 0, -65, 68, 0, 33, 56, 0, -44, -11, 0, -106, 121, 0, -22, 22, 0, -6, -150, 0, -98, -58, 0, 11, 140, 0, 24, 32, 0, -18, 124, 0, -101, -97, 0, -18, -1, 0, 5, -9, 0, 22, 168, 0, 149, 105, 0, -40, 34, 0, 56, 99, 0, 80, 17, 0, -30, 21, 0, 34, -9, 0, 34, -139, 0, -69, -6, 0, 161, -107, 0, -5, 41, 0, -17, 63, 0, -79, 32, 0, -100, -194, 0, -153, -183, 0, -19, 59, 0, 81, 88, 0, -10, 129, 0, 6, -33, 0, 67, -6, 0, -10, 32, 0, 48, 33, 0, -65, -63, 0, -63, 7, 0, 0, 50, 0, 57, 18, 0, 109, 15, 0, -36, 26, 0, 67, -8, 0, -199, -38, 0, 75, 73, 0, 35, 60, 0, 5, 107, 0, -64, 57, 0, 1, -182, 0, -103, 20, 0, 44, -138, 0, -87, 13, 0, 4, -45, 0, -63, 11, 0, 71, 7, 0, 72, -75, 0, -9, -109, 0, -80, -34, 0, 20, -23, 0, -1, 2, 0, -131, -72, 0, -290, -1, 0, -9, -57, 0, -73, -58, 0, 116, -4, 0, 160, 58, 0, 15, 163, 0, 107, 0, 0, -17, 20, 0, 94, 12, 0, 32, 266, 0, 239, 10, 0, 39, -218, 0, 44, 20, 0, 159, 68, 0, 98, 7, 0, -36, 66, 0, 86, -125, 0, -44, -187, 0, -63, -36, 0, -16, -171, 0, -42, 12, 0, 96, -85, 0, -225, -167, 0, -235, -80, 0, 93, -11, 0, 116, -100, 0, 7, 10, 0, 43, -28, 0, -13, 38, 0, -29, -50, 0, 1, -27, 0, -105, -146, 0, 5, -51, 0, 31, -142, 0, 149, -50, 0, 192, 66, 0, 66, -73, 0, 63, 39, 0, 163, -69, 0, 57, -30, 0, 16, 33, 0, 136, 17, 0, -19, 6, 0, -97, -60, 0, -3, 89, 0, -56, -87, 0, 21, 48, 0, -4, -16, 0, -97, -137, 0, 51, -23, 0, 134, -119, 0, 77, 21, 0, 38, -88, 0, 35, -27, 0, 52, 69, 0, 12, -188, 0, 31, 3, 0, 155, -80, 0, -82, -29, 0, 50, -121, 0, 124, 81, 0, 12, 67, 0, 53, -24, 0, -17, 12, 0, 23, 30, 0, -48, -28, 0, -88, -231, 0, 36, 21, 0, -5, 25, 0, 55, -57, 0, -246, -7, 0, -21, 125, 0, -263, -98, 0, -77, 97, 0, 20, 160, 0, -7, 59, 0, -59, 30, 0, 23, -18, 0, 34, -76, 0, -59, 72, 0, 93, 88, 0, 97, 231, 0, -39, 56, 0, -68, 217, 0, 101, 75, 0, 54, 16, 0, -144, 39, 0, -66, -96, 0, -58, -150, 0, -6, 147, 0, -256, -41, 0, 38, 8, 0, -112, -80, 0, -208, 52, 0, -225, 28, 0, 59, 194, 0, 55, 60, 0, -109, -65, 0, -8, 10, 0, 62, -347, 0, -167, 84, 0, 59, -16, 0, -109, 92, 0, 45, 15, 0, 232, 47, 0, -36, -37, 0, 265, -156, 0, -188, -67, 0, -63, 32, 0, -18, 54, 0, 82, 147, 0, -111, 79, 0, -50, 39, 0, 36, -198, 0, -112, -32, 0, -64, -8, 0, 84, -12, 0, -47, -61, 0, 11, 7, 0, 96, -122, 0, -130, -78, 0, -142, -202, 0, -77, -37, 0, 170, -154, 0, 13, 124, 0, 85, -66, 0, -213, -8, 0, -87, -237, 0, -171, 79, 0, -175, -192, 0, 223, -59, 0, 40, -80, 0, -154, 132, 0, 14, 3, 0, 38, -17, 0, -113, 13, 0, 82, 8, 0, 127, 142, 0, 23, -51, 0, -31, 115, 0, -59, 29, 0, -155, -172, 0, 23, 124, 0, 51, 81, 0, 59, 101, 0, -31, -41, 0, 152, -106, 0, 185, 67, 0, 164, 72, 0, -40, 58, 0, -74, -156, 0, 90, -15, 0, 71, -123, 0, 155, 116, 0, 19, 18, 0, 125, -60, 0, -280, 104, 0, -23, -216, 0, 74, 152, 0, 0, 239, 0, -25, -37, 0, 37, -81, 0, -110, -21, 0, -187, 39, 0, 37, -27, 0, -175, 151, 0, 11, -59, 0, -27, -255, 0, -368, -40, 0, -96, -161, 0, -324, -75, 0, -89, -108, 0, 16, -31, 0, 3, -47, 0, 37, -68, 0, 24, -40, 0, 156, -96, 0, -220, 168, 0, -52, -102, 0, 339, -22, 0, -11, 135, 0, 16, 119, 0, 45, 21, 0, 29, -11, 0, -35, 62, 0, -240, -173, 0, -96, -39, 0, 49, -56, 0, -2, 150, 0, -128, 0, 0, 168, -150, 0, -153, 239, 0, -65, 110, 0, -242, -156, 0, 41, 146, 0, -55, 14, 0, -178, -27, 0, -7, -93, 0, -44, 92, 0, 13, -396, 0, 39, 63, 0, 51, 30, 0, -1, 112, 0, 155, 53, 0, 148, 128, 0, -204, -1, 0, 262, 62, 0, 104, -14, 0, 91, 129, 0, -203, 34, 0, -437, 63, 0, 124, -195, 0, -93, 79, 0, -199, 147, 0, 59, -37, 0, 2, -155, 0, 24, 22, 0, -111, -40, 0, -68, -14, 0, -97, 105, 0, -33, -11, 0, 98, 116, 0, 9, 132, 0, -54, 17, 0, 90, 2, 0, -39, -158, 0, -5, 19, 0, -102, -132, 0, -174, -31, 0, -40, 17, 0, -245, 22, 0, 150, -17, 0, -156, -217, 0, -21, -346, 0, -186, 160, 0, 163, -332, 0, 4, 98, 0, -15, -137, 0, -196, 22, 0, -193, -159, 0, -125, -169, 0, 37, -71, 0, 108, -75, 0, 31, 128, 0, 12, 75, 0, 63, 8, 0, 315, -94, 0, -213, 150, 0, 141, 43, 0, -23, -188, 0, 111, -140, 0, 44, 18, 0, -45, -41, 0, -67, -84, 0, 5, -94, 0, -82, 173, 0, 35, -62, 0, 42, -43, 0, -67, 48, 0, 203, 26, 0, 60, 184, 0, -229, 287, 0, 139, 175, 0, 348, 187, 0, -31, -18, 0, -26, -170, 0, 117, 15, 0, 14, -94, 0, 56, 102, 0, -109, -131, 0, -182, -66, 0, -16, -192, 0, 48, -107, 0, -112, -94, 0, -194, -10, 0, 51, 0, 0, -127, -147, 0, 17, -259, 0, -55, -12, 0, -14, -188, 0, -156, 14, 0, 46, -381, 0, -407, 53, 0, 80, -162, 0, 132, 247, 0, 15, 204, 0, -94, 98, 0, 114, 27, 0, 68, 82, 0, -18, 68, 0, 69, -6, 0, 24, 229, 0, -7, 98, 0, 30, -236, 0, 95, 50, 0, -79, 104, 0, 246, -3, 0, -107, -153, 0, -253, 61, 0, 5, -114, 0, -160, 2, 0, -17, 48, 0, 25, -84, 0, -116, 425, 0, -107, 116, 0, -51, -92, 0, 80, -61, 0, -20, 157, 0, -77, 61, 0, 9, -137, 0, 109, -130, 0, 15, -16, 0, -121, -242, 0, 2, -246, 0, 36, 34, 0, 0, -15, 0, 174, -98, 0, 11, 114, 0, -68, -115, 0, -36, 24, 0, -5, -39, 0, -100, -391, 0, -15, 75, 0, -48, -172, 0, -27, 178, 0, 139, -54, 0, 102, -251, 0, -27, 69, 0, -102, 165, 0, 32, -7, 0, -176, -226, 0, -44, -16, 0, -77, 80, 0, 103, 146, 0, -18, 64, 0, -134, 181, 0, -94, 7, 0, -23, 175, 0, 141, 47, 0, 58, 19, 0, -256, -5, 0, -32, -153, 0, -148, -17, 0, 73, -10, 0, -115, 140, 0, -218, 23, 0, -217, 74, 0, 220, -173, 0, 82, -18, 0, -195, 249, 0, 98, -26, 0, -111, -153, 0, -266, -170, 0, -89, -301, 0, -38, 56, 0, 42, 351, 0, 314, -25, 0, 8, 7, 0, 451, 12, 0, 126, -86, 0, 154, -2, 0, 96, -245, 0, 55, 68, 0, -152, -81, 0, 11, 6, 0, 16, -63, 0, 141, 218, 0, -9, -497, 0, -242, 46, 0, -4, -94, 0, -50, -53, 0, 103, -68, 0, -168, 5, 0, 78, 210, 0, -6, -34, 0, 138, -501, 0, 2, -149, 0, 436, 68, 0, 155, 36, 0, 131, -282, 0, 177, -107, 0, -229, -366, 0, 170, 83, 0, 37, -161, 0, 133, -14, 0, -173, -2, 0, 5, 36, 0, -3, -114, 0, -100, 47, 0, -52, -101, 0, 79, 206, 0, 40, -36, 0, 61, -57, 0, -89, -62, 0, 92, 140, 0, 193, -110, 0, -48, 168, 0, -79, -104, 0, 371, -169, 0, -108, -67, 0, 322, -114, 0, 100, -255, 0, 207, -146, 0, 36, 169, 0, 161, -53, 0, 173, 60, 0, 257, 52, 0, 70, -102, 0, 143, 97, 0, -58, -135, 0, -98, -257, 0, 64, 16, 0, -285, 280, 0, 126, -85, 0, 155, -100, 0, 50, -393, 0, -74, 29, 0, -14, -226, 0, 16, 18, 0, -238, -141, 0, -337, 42, 0, 55, -459, 0, -43, -31, 0, -68, -290, 0, 304, -13, 0, -8, 268, 0, 131, -134, 0, 336, 30, 0, 193, 224, 0, 113, -129, 0, 59, -175, 0, 30, -116, 0, -73, -248, 0, -20, -123, 0, -222, 21, 0, -36, -119, 0, 144, -16, 0, -39, -20, 0, -54, -52, 0, -60, -322, 0, -127, -171, 0, -20, -10, 0, 7, -282, 0, -34, -64, 0, -22, 222, 0, -95, -19, 0, -73, -88, 0, 33, 196, 0, -47, -55, 0, 67, -312, 0, -180, 75, 0, 60, 1, 0, 293, -17, 0, 12, -111, 0, 110, 154, 0, 198, 88, 0, 131, 105, 0, 176, -143, 0, 209, -137, 0, -26, 66, 0, 66, 46, 0, -39, 327, 0, -333, 55, 0, -336, -228, 0, -258, -90, 0, 147, -135, 0, 241, -21, 0, 11, 61, 0, 222, 205, 0, -58, -35, 0, -107, -213, 0, -281, 13, 0, 36, -104, 0, -51, 13, 0, -160, 17, 0, -83, 21, 0, 74, 77, 0, -23, 108, 0, -64, 95, 0, -54, -202, 0, 111, 63, 0, 19, 213, 0, -354, 286, 0, 346, 11, 0, -158, 6, 0, 126, -108, 0, -147, -249, 0, 306, -529, 0, -37, 78, 0, 162, -226, 0, -306, 57, 0, 70, -174, 0, -196, 140, 0, 181, -8, 0, -18, -159, 0, 64, 305, 0, 10, -82, 0, -18, 31, 0, 44, -116, 0, 104, -151, 0, 387, 37, 0, -177, -5, 0, 26, 35, 0, 182, 176, 0, -101, 56, 0, 244, -14, 0, -165, -42, 0, -13, -174, 0, -199, -252, 0, 12, 409, 0, -92, -20, 0, 42, 21, 0, 54, -31, 0, 123, 181, 0, 81, 143, 0, 65, 153, 0, 0, 156, 0, 108, 1, 0, -4, -14, 0, -83, -22, 0, 53, 83, 0, -30, -129, 0, 54, -111, 0, 38, 51, 0, 215, 70, 0, -180, -29, 0, -209, 0, 0, 56, 22, 0, -224, -36, 0, -305, 158, 0, 60, -184, 0, -286, -181, 0, 199, 31, 0, -53, 55, 0, 116, -79, 0, 115, -86, 0, -249, -148, 0, -78, 269, 0, -52, 18, 0, 192, 45, 0, -159, 118, 0, -105, -28, 0, 38, -82, 0, 261, -171, 0, -23, 114, 0, -62, -84, 0, -163, 23, 0, 56, -626, 0, 201, 173, 0, -158, -40, 0, -528, 166, 0, 4, 267, 0, -402, 184, 0, -212, -65, 0, 334, -22, 0, -119, -119, 0, 409, 124, 0, -173, 308, 0, -107, 26, 0, -20, -166, 0, 190, -28, 0, -115, -54, 0, -39, 223, 0, 146, -163, 0, 44, 182, 0, 12, -124, 0, 121, -41, 0, 239, 42, 0, 72, 10, 0, -7, 25, 0, -444, -97, 0, 190, -189, 0, -117, -26, 0, -403, -273, 0, -258, 38, 0, -14, -584, 0, -154, 32, 0, -260, 31, 0, -75, -89, 0, 29, 277, 0, -189, -10, 0, 287, 21, 0, -382, 229, 0, 42, 312, 0, 96, 92, 0, -181, 375, 0, -3, -155, 0, -208, 145, 0, 59, -74, 0, -351, 79, 0, -116, -66, 0, 97, 202, 0, -16, -221, 0, 37, 184, 0, -315, 270, 0, 221, 98, 0, 65, -112, 0, 292, 32, 0, 109, 189, 0, 120, 90, 0, 40, -104, 0, -58, 180, 0, 167, 115, 0, 60, 6, 0, 181, 125, 0, 110, -122, 0, -83, -98, 0, 51, 136, 0, -160, 242, 0, -176, 66, 0, 139, -44, 0, 53, 8, 0, 101, 212, 0, -252, -221, 0, 3, -196, 0, 104, 218, 0, 86, 37, 0, -52, -376, 0, 340, 158, 0, 111, 126, 0, 201, 146, 0, -56, -255, 0, 88, 77, 0, 208, 84, 0, -246, -29, 0, -87, -9, 0, 314, -121, 0, 178, 36, 0, -143, 156, 0, 234, -127, 0, -185, 38, 0, 169, -16, 0, 229, 195, 0, -211, -17, 0, -464, -376, 0, -12, -96, 0, -86, 184, 0, -152, 32, 0, 34, -179, 0, -163, 53, 0, 491, 242, 0, 111, 162, 0, 60, 379, 0, -86, 477, 0, 522, 4, 0, 151, 73, 0, 177, 44, 0, 96, 531, 0, 152, -179, 0, -33, 186, 0, -210, 315, 0, 248, 25, 0, 102, 52, 0, -172, -54, 0, 86, -85, 0, 29, -414, 0, -65, -489, 0, -238, 13, 0, -200, -32, 0, -9, 114, 0, -31, -186, 0, -170, -43, 0, 494, -187, 0, -11, 57, 0, -346, -28, 0, -114, -20, 0, -228, 13, 0, 72, 8, 0, 65, 133, 0, -217, 45, 0, 43, -41, 0, -291, -59, 0, -196, -25, 0, -131, 91, 0, -67, -175, 0, 292, 87, 0, -51, 65, 0, -69, 335, 0, -140, 206, 0, -232, 15, 0, -353, -80, 0, 100, 247, 0, 16, 211, 0, 188, 16, 0, -62, 278, 0, -295, 391, 0, 248, -7, 0, -5, -83, 0, 183, 87, 0, 105, 327, 0, -258, -124, 0, 43, -201, 0, 117, 45, 0, -276, -3, 0, -223, -150, 0, -51, -209, 0, 13, 2, 0, -147, 148, 0, -21, -82, 0, 54, 116, 0, -262, -5, 0, -148, -495, 0, -763, 73, 0, -209, -306, 0, -1, -67, 0, 11, 295, 0, -379, 468, 0, 154, 35, 0, 72, 493, 0, -128, 213, 0, 117, 35, 0, 266, 54, 0, 20, -29, 0, 51, -227, 0, 436, 101, 0, 7, 351, 0, 298, 146, 0, -201, 154, 0, -227, 45, 0, 5, 240, 0, -311, -115, 0, 40, 151, 0, 288, 135, 0, 2, 145, 0, 320, 262, 0, -10, -93, 0, -32, 378, 0, 65, 480, 0, 70, 15, 0, -54, 45, 0, 148, 45, 0, -18, 131, 0, -35, -246, 0, -25, -358, 0, 54, -180, 0, -159, 136, 0, -337, 41, 0, -151, 70, 0, -64, 29, 0, 59, -145, 0, 2, -54, 0, 249, -1, 0, 45, 50, 0, 138, -256, 0, -310, -31, 0, 216, 154, 0, 222, -434, 0, 40, 358, 0, -214, 304, 0, 75, 60, 0, -55, -544, 0, -145, 134, 0, 162, -98, 0, -111, 293, 0, 82, 108, 0, -68, -71, 0, 312, -61, 0, 157, 76, 0, 436, -205, 0, 96, 113, 0, 8, -171, 0, -3, 109, 0, -10, 46, 0, 188, 39, 0, -263, 212, 0]