# Trace form for 8001.2.a.l, downloaded from the LMFDB on 29 March 2024. [0, 7, 2, 0, 4, 8, 0, 7, 9, 0, 0, 3, 0, -23, 2, 0, 2, -3, 0, -9, 9, 0, -19, -12, 0, 3, -18, 0, 4, 9, 0, -33, -10, 0, -2, 8, 0, -33, 3, 0, -9, 3, 0, -9, -2, 0, -32, -11, 0, 7, -29, 0, -21, -1, 0, -16, 9, 0, -5, 30, 0, -19, -3, 0, -21, -14, 0, -30, -24, 0, 0, -8, 0, -20, 9, 0, -42, 3, 0, 8, -12, 0, 10, 34, 0, -28, -24, 0, -1, 12, 0, -23, -60, 0, -3, -12, 0, 7, 2, 0, -18, 31, 0, 6, -33, 0, 14, 2, 0, -12, -32, 0, 2, -25, 0, -8, -8, 0, 0, -3, 0, 24, 31, 0, -4, -6, 0, -7, 10, 0, -30, -20, 0, -9, -56, 0, -28, -21, 0, -50, 9, 0, -13, 30, 0, -7, 5, 0, -20, 12, 0, -51, -19, 0, -19, -19, 0, -10, 35, 0, 33, -12, 0, -39, 42, 0, 9, 32, 0, 42, 60, 0, -27, 52, 0, 3, -44, 0, 58, -54, 0, -14, -18, 0, -17, -51, 0, -9, 59, 0, 43, -1, 0, -19, 10, 0, 4, -5, 0, 1, -45, 0, 32, 9, 0, -52, -50, 0, -31, -60, 0, -19, -12, 0, 57, -1, 0, -33, -31, 0, 40, -50, 0, 11, -10, 0, 25, 68, 0, -22, -37, 0, 85, 18, 0, 18, -49, 0, -2, 14, 0, -15, 26, 0, -16, 8, 0, 5, -77, 0, -25, -3, 0, -10, -2, 0, -48, 58, 0, -33, -51, 0, 37, -18, 0, 57, 3, 0, -52, 55, 0, -93, -8, 0, 63, 34, 0, 21, 38, 0, -9, -58, 0, -9, 30, 0, 112, 3, 0, 28, 11, 0, 24, 36, 0, 21, -1, 0, -118, 69, 0, -9, -70, 0, 29, -75, 0, -15, -2, 0, 13, -20, 0, 0, 10, 0, 35, 3, 0, -58, -24, 0, -32, 42, 0, 25, 22, 0, 72, -11, 0, 26, 5, 0, -21, -87, 0, 22, 81, 0, 19, -49, 0, 7, -65, 0, 6, -84, 0, -44, -29, 0, -43, 5, 0, -39, 92, 0, 44, -93, 0, -40, -13, 0, -21, -75, 0, -20, 25, 0, 4, -1, 0, -51, -52, 0, -7, -47, 0, -5, -74, 0, 34, 68, 0, -16, 69, 0, 68, -11, 0, -35, 9, 0, 76, 70, 0, -28, 78, 0, -59, 18, 0, 68, -22, 0, -5, -47, 0, 8, -24, 0, -56, 30, 0, 1, 0, 0, 46, -19, 0, 1, 68, 0, -54, 36, 0, -19, -4, 0, -15, -72, 0, 41, -3, 0, 87, 70, 0, -114, -41, 0, 28, -65, 0, 7, -95, 0, -21, -65, 0, 64, -19, 0, 67, -14, 0, -49, -5, 0, -71, 58, 0, -38, 105, 0, -37, -17, 0, -30, -90, 0, -54, -43, 0, -25, -24, 0, -5, -36, 0, 110, -36, 0, 69, -78, 0, -52, 25, 0, 0, 1, 0, -5, 9, 0, -31, -8, 0, 26, -25, 0, -16, -65, 0, 42, 90, 0, -4, -38, 0, -20, -110, 0, -53, -117, 0, -88, 9, 0, 65, -36, 0, -14, -49, 0, 120, 73, 0, 5, 35, 0, -42, -21, 0, 10, -41, 0, -6, 3, 0, -63, -26, 0, 35, -16, 0, 80, 85, 0, -72, 23, 0, 8, -81, 0, 84, 16, 0, -44, -12, 0, -73, -69, 0, -92, -32, 0, 26, 0, 0, -18, 83, 0, 10, -8, 0, 113, -27, 0, 2, 34, 0, -23, 9, 0, 183, 19, 0, 47, 51, 0, 48, -9, 0, -28, -134, 0, 142, -9, 0, 17, -24, 0, -4, -78, 0, 27, -19, 0, 131, -44, 0, -42, -103, 0, -1, -81, 0, -28, -13, 0, -26, 12, 0, -37, -102, 0, -99, -66, 0, -36, -111, 0, 85, -8, 0, -23, -191, 0, 36, -94, 0, -81, -60, 0, 37, 38, 0, 110, 77, 0, 112, 54, 0, -88, 36, 0, -3, -48, 0, -48, 94, 0, 55, -12, 0, 37, -96, 0, -69, -77, 0, 41, -64, 0, 34, 29, 0, 7, -149, 0, 30, -24, 0, -96, 2, 0, -6, 70, 0, -139, 114, 0, 57, -49, 0, -51, -171, 0, -18, 11, 0, 78, -41, 0, -25, 31, 0, -49, -49, 0, 170, 2, 0, 107, 54, 0, -55, 58, 0, 6, -87, 0, 96, -13, 0, 17, -33, 0, 56, 110, 0, -64, -23, 0, -30, 138, 0, 3, -98, 0, 14, -121, 0, 11, 6, 0, -67, 2, 0, -3, 45, 0, -110, 42, 0, -81, 51, 0, 5, 41, 0, -12, -76, 0, 84, -63, 0, 14, -32, 0, -68, -52, 0, 19, 164, 0, -14, -68, 0, -64, 67, 0, 2, -121, 0, 127, 40, 0, 14, -25, 0, -22, -101, 0, 109, -5, 0, -42, 77, 0, -67, 63, 0, -8, 51, 0, 41, -38, 0, -180, -8, 0, 187, 13, 0, 62, -130, 0, 70, -35, 0, 68, 37, 0, 0, 26, 0, -51, -1, 0, 72, -3, 0, 81, -19, 0, -33, -37, 0, 70, 89, 0, -28, 7, 0, 24, -67, 0, 133, 119, 0, -29, 31, 0, 117, -48, 0, 20, 33, 0, -131, -20, 0, 224, 54, 0, -4, 11, 0, 129, 21, 0, 28, -6, 0, -47, -88, 0, -35, 56, 0, 139, 146, 0, -37, 88, 0, -7, -8, 0, -101, -10, 0, -22, 10, 0, -21, -87, 0, -29, 35, 0, -67, 23, 0, 115, 190, 0, -30, -87, 0, 2, -59, 0, -13, -20, 0, 101, 84, 0, 18, -103, 0, -142, 53, 0, -15, -106, 0, -9, -40, 0, -23, -176, 0, 22, -56, 0, 90, -69, 0, -34, -104, 0, -31, -97, 0, 43, 173, 0, -28, -12, 0, 67, 68, 0, 48, -21, 0, 16, 37, 0, -163, 93, 0, -39, 109, 0, 5, 57, 0, -50, -63, 0, 67, 77, 0, 7, 9, 0, 28, 2, 0, 23, 37, 0, 160, 48, 0, 88, 142, 0, -13, 21, 0, 67, 105, 0, -56, 30, 0, 77, 15, 0, -16, 13, 0, 14, 58, 0, 103, -61, 0, -7, -9, 0, -132, -7, 0, -80, 5, 0, 84, -130, 0, -16, 33, 0, -65, -129, 0, -29, -81, 0, -20, 141, 0, -18, 44, 0, -145, 12, 0, -66, 151, 0, 29, 33, 0, -104, 72, 0, 56, -11, 0, -51, 119, 0, -94, 67, 0, 102, -19, 0, -7, 52, 0, 27, 126, 0, -41, -14, 0, 20, 157, 0, -19, -175, 0, 15, -49, 0, -134, -19, 0, -20, 141, 0, -36, 191, 0, -13, -3, 0, 0, 65, 0, -10, 49, 0, 1, -30, 0, -46, 35, 0, -171, 12, 0, 21, -11, 0, 21, 11, 0, -66, 115, 0, 33, -1, 0, -16, -171, 0, -289, -12, 0, -63, 57, 0, -88, 264, 0, 21, 87, 0, -56, 20, 0, -39, -126, 0, 93, -33, 0, 95, 42, 0, 124, 100, 0, -56, 60, 0, -138, 73, 0, 89, 92, 0, 9, 46, 0, 91, 44, 0, -26, 32, 0, -87, 166, 0, -51, -100, 0, -213, 40, 0, -26, 63, 0, 42, -53, 0, 159, 36, 0, 11, 60, 0, -105, -23, 0, 30, 251, 0, -2, 7, 0, 120, 184, 0, -27, 79, 0, 64, -100, 0, 71, 52, 0, 104, -9, 0, 114, 59, 0, -27, -41, 0, -27, 95, 0, 3, 208, 0, 27, 23, 0, 38, -44, 0, -166, 0, 0, 103, -2, 0, -38, 111, 0, 62, -72, 0, 58, -48, 0, 15, 154, 0, -36, -54, 0, -14, 1, 0, -70, -114, 0, -47, 151, 0, -139, 85, 0, -14, 36, 0, 0, -77, 0, -4, -18, 0, -344, 119, 0, -45, -17, 0, 61, -79, 0, 115, 11, 0, -17, 12, 0, -106, 94, 0, 19, -51, 0, 22, 156, 0, 66, 97, 0, 64, 46, 0, -128, 22, 0, -9, 90, 0, -84, -17, 0, -194, 59, 0, -101, 3, 0, 121, -210, 0, -105, 117, 0, 59, 56, 0, 43, 60, 0, 130, -67, 0, -30, -1, 0, 31, 21, 0, -58, -5, 0, 46, 4, 0, 28, 18, 0, -19, 144, 0, 17, -222, 0, -36, 10, 0, -62, 1, 0, -6, 12, 0, 50, -117, 0, 42, 156, 0, 4, 140, 0, 70, 132, 0, -63, -5, 0, -53, 35, 0, 10, 126, 0, -54, 47, 0, -74, -29, 0, 1, -202, 0, -256, -3, 0, -241, -45, 0, -154, -42, 0, -202, -166, 0, 80, 1, 0, 19, 32, 0, 32, -65, 0, -38, -24, 0, 122, 9, 0, 61, 84, 0, 141, -76, 0, 146, 119, 0, -232, -2, 0, -52, -160, 0, 122, -95, 0, -126, -50, 0, 51, 39, 0, -155, 28, 0, -33, 17, 0, 33, 135, 0, -31, 126, 0, -86, 66, 0, 81, -60, 0, 1, 316, 0, -122, 30, 0, -1, 45, 0, 207, 85, 0, -19, -128, 0, 180, 89, 0, 152, -12, 0, -64, 80, 0, 158, -90, 0, 49, 176, 0, 123, 142, 0, 57, -74, 0, -28, -134, 0, 197, -1, 0, 52, -199, 0, -193, 45, 0, -291, -121, 0, -99, 73, 0, -33, 48, 0, -217, -166, 0, -63, -31, 0, -209, -17, 0, -8, 29, 0, 121, -52, 0, -70, 189, 0, 40, 131, 0, -64, -146, 0, 44, -50, 0, 162, 170, 0, 107, -126, 0, 203, 13, 0, -104, -93, 0, 11, -133, 0, 188, 226, 0, 92, -10, 0, 180, 196, 0, -165, -127, 0, 103, 5, 0, 247, -15, 0, 25, -112, 0, -44, -119, 0, 92, 68, 0, -5, 150, 0, 13, -105, 0, 1, 16, 0, 124, -41, 0, -22, -126, 0, -70, 86, 0, 175, -37, 0, 78, 49, 0, 128, -6, 0, 109, 22, 0, 174, 41, 0, 85, 12, 0, -67, 18, 0, -132, 18, 0, 24, 130, 0, -16, -14, 0, 185, 81, 0, 65, 27, 0, 18, 185, 0, -29, -16, 0, 23, -49, 0, -53, -66, 0, -28, 77, 0, 59, -81, 0, -34, 42, 0, -2, 45, 0, 16, 40, 0, 24, 14, 0, -24, 206, 0, 192, -127, 0, -44, 313, 0, 178, 13, 0, -15, 50, 0, 161, -120, 0, -181, 26, 0, 6, -26, 0, -65, 62, 0, 49, -47, 0, 72, -85, 0, -16, 142, 0, -207, 174, 0, 5, 8, 0, -93, 137, 0, -98, 155, 0, 48, -127, 0, -263, 190, 0, 5, -131, 0, 102, 71, 0, -94, -77, 0, 177, 108, 0, 113, 357, 0, -5, -157, 0, -2, 109, 0, -25, -10, 0, 87, 79, 0, -215, -3, 0, 31, 144, 0, 71, -66, 0, -84, 211, 0, 18, 115, 0, -10, 59, 0, 73, -126, 0, 22, -2, 0, -47, -15, 0, -92, -6, 0, 70, -46, 0, 33, -2, 0, -48, -29, 0, 71, 137, 0, 110, 58, 0, -182, 131, 0, -33, 8, 0, 178, -54, 0, -232, -26, 0, -33, -240, 0, 140, -116, 0, -48, -51, 0, 145, 101, 0, 36, -24, 0, -33, -133, 0, -98, -38, 0, 37, -69, 0, -66, 9, 0, 75, -18, 0, -115, 62, 0, 21, 136, 0, -52, 100, 0, -29, 159, 0, 57, 55, 0, -89, -331, 0, -108, 3, 0, 55, 81, 0, -91, -58, 0, 75, -247, 0, -39, 46, 0, -52, 200, 0, -107, 109, 0, 100, 55, 0, 109, -63, 0, -152, -155, 0, 111, 108, 0, 8, 34, 0, -93, -6, 0, 43, -232, 0, -11, -8, 0, 69, 24, 0, 1, 82, 0, 222, 169, 0, 172, 169, 0, 63, 7, 0, 73, -64, 0, 84, 34, 0, 84, -105, 0, 124, -47, 0, -220, 116, 0, 32, 34, 0, 21, 131, 0, -83, -117, 0, 14, 38, 0, 54, 75, 0, -73, -20, 0, 68, -115, 0, -60, -4, 0, -9, -60, 0, 194, 114, 0, 56, -58, 0, 94, 128, 0, 115, 274, 0, 40, 89, 0, 171, -81, 0, -9, -69, 0, 121, 44, 0, 107, 30, 0, 12, -46, 0, -1, 3, 0, 38, 207, 0, -71, -68, 0, 112, -154, 0, 42, -27, 0, 66, 3, 0, 12, -139, 0, 1, -99, 0, -88, 122, 0, -115, 192, 0, 28, 59, 0, -57, -52, 0, 147, 11, 0, -2, 118, 0, 123, 59, 0, -94, 19, 0, 128, 2, 0, 24, 47, 0, -72, 57, 0, -224, 36, 0, 138, -17, 0, -77, 140, 0, 82, 61, 0, 0, -166, 0, 21, 70, 0, 32, -73, 0, -144, -1, 0, -70, -109, 0, 70, 25, 0, -188, -21, 0, -46, -284, 0, -118, -114, 0, 51, 130, 0, 85, 69, 0, -15, 135, 0, -112, -297, 0, -88, -155, 0, 116, -74, 0, -9, 58, 0, 167, -113, 0, 54, -70, 0, 76, 13, 0, 226, -36, 0, -382, -61, 0, 116, 176, 0, 29, -113, 0, -144, -127, 0, -238, -75, 0, -196, 118, 0, -152, 54, 0, -40, -42, 0, -11, 57, 0, -15, 130, 0, 196, 30, 0, 92, -2, 0, -23, 3, 0, -3, 12, 0, -83, 185, 0, -279, -127, 0, 13, -83, 0, -202, -218, 0, 65, -20, 0, -115, 249, 0, 334, -198, 0, 25, -48, 0, -77, -13, 0, 0, -65, 0, 19, -183, 0, -121, 10, 0, 178, 96, 0, -17, 48, 0, -124, -140, 0, 160, -131, 0, 35, 3, 0, -108, -43, 0, 162, 3, 0, 142, 109, 0, 0, -138, 0, 39, 318, 0, -31, -111, 0, -58, -5, 0, 252, -39, 0, 14, -24, 0, 7, 208, 0, 133, -40, 0, -49, -25, 0, -84, -129, 0, -32, 43, 0, 83, 74, 0, -37, 42, 0, 110, 29, 0, 307, -258, 0, 51, 69, 0, 144, 259, 0, 25, -93, 0, -97, -103, 0, -69, 22, 0, -95, 44, 0, 78, 222, 0, 16, -357, 0, -108, -92, 0, 72, -27, 0, -120, 213, 0, -138, -11, 0, 45, 255, 0, 244, 35, 0, 204, 27, 0, -328, -135, 0, 26, -146, 0, 124, -281, 0, -2, 5, 0, 315, 186, 0, 198, -186, 0, 50, 241, 0, -178, 31, 0, -21, 5, 0, 161, -122, 0, 38, -87, 0, 52, 199, 0, -140, 62, 0, 17, -191, 0, 155, 81, 0, 22, -241, 0, -30, -211, 0, 50, 81, 0, -10, 117, 0, 12, -50, 0, 114, -12, 0, 136, 6, 0, 19, -113, 0, 106, -118, 0, 194, -49, 0, -120, -130, 0, 202, 87, 0, 54, -243, 0, -505, -109, 0, 7, 84, 0, 54, 148, 0, 24, -65, 0, 27, -72, 0, 9, -56, 0, -9, 108, 0, -75, 187, 0, 6, -165, 0, -85, 33, 0, 12, -84, 0, -25, 61, 0, 164, -92, 0, -111, -58, 0, -36, -196, 0, -44, -162, 0, 117, -88, 0, 73, -29, 0, 167, 159, 0, -12, -41, 0, -154, 67, 0, 20, 14, 0, -43, -269, 0, 134, -177, 0, -84, 5, 0, -4, 13, 0, 109, 33, 0, 153, -36, 0, -102, -46, 0, -39, 376, 0, -192, 192, 0, -208, 92, 0, 98, 143, 0, 122, -12, 0, 133, -1, 0, -137, -116, 0, 44, -216, 0, 249, -18, 0, -79, -93, 0, 58, 142, 0, -204, -201, 0, -84, -157, 0, -32, 3, 0, -40, 44, 0, 136, -274, 0, 141, -13, 0, -117, -2, 0, 98, -9, 0, -156, -20, 0, 20, 62, 0, -21, 102, 0, 52, -258, 0, 6, -75, 0, -332, -171, 0, -247, -59, 0, 14, 44, 0, -225, -118, 0, -20, -21, 0, 203, -165, 0, -116, 25, 0, 20, 246, 0, 188, -52, 0, -25, 325, 0, 141, -69, 0, 4, -156, 0, -118, -5, 0, 354, -1, 0, 10, 283, 0, -313, -87, 0, -211, -79, 0, 22, -42, 0, -51, -50, 0, 385, -56, 0, 161, -52, 0, -122, -125, 0, 18, -225, 0, -114, 84, 0, -90, 363, 0, -7, -44, 0, 361, -195, 0, -153, -47, 0, -35, 129, 0, -127, 19, 0, 190, -48, 0, 137, -254, 0, -5, 8, 0, -88, 2, 0, -56, -74, 0, -8, -119, 0, 164, 89, 0, -209, 132, 0, 81, 10, 0, 34, -78, 0, 90, 405, 0, -1, 68, 0, 159, -362, 0, 15, -31, 0, 204, -65, 0, 79, -107, 0, -16, 69, 0, 63, 11, 0, -28, 69, 0, 275, -17, 0, 162, -17, 0, 181, -3, 0, -11, 3, 0, 68, 158, 0, -136, 205, 0, 8, -11, 0, 188, 392, 0, -34, -230, 0, 169, 200, 0, -42, -84, 0, -35, -200, 0, 102, 86, 0, -24, 9, 0, 32, 141, 0, -55, 2, 0, 20, -72, 0, 41, -31, 0, 76, -232, 0, 173, 137, 0, -6, 70, 0, 133, -95, 0, -125, -328, 0, -317, -8, 0, 54, 37, 0, -28, -31, 0, -403, -235, 0, 57, 78, 0, -167, 314, 0, -119, 6, 0, 19, -139, 0, -103, -179, 0, -59, 23, 0, -8, -45, 0, -55, 18, 0, -60, 144, 0, 166, 286, 0, -193, 101, 0, -230, 96, 0, 68, -106, 0, 31, -177, 0, 64, -22, 0, 13, 3, 0, 209, -87, 0, -281, -21, 0, 57, 39, 0, -5, 216, 0, -93, 167, 0, -199, -47, 0, -48, 305, 0, -46, 43, 0, -88, 7, 0, -68, -101, 0, 8, -256, 0, -96, -62, 0, 25, -24, 0, -324, 172, 0, -29, 113, 0, -35, 54, 0, 84, 212, 0, -56, 12, 0, -168, -142, 0, 70, 30, 0, -53, -210, 0, 70, -176, 0, 104, -100, 0, 171, -136, 0, 1, -14, 0, -39, 126, 0, 152, 0, 0, -108, -38, 0, 123, -319, 0, -97, 12, 0, -84, -22, 0, 46, 91, 0, 1, 225, 0, 191, -19, 0, 13, 51, 0, 171, -252, 0, -241, 104, 0, 203, 28, 0, 1, 264, 0, 83, -295, 0, -260, 68, 0, -29, 108, 0, 66, 193, 0, 19, 58, 0, -203, 82, 0, -54, 14, 0, -128, -82, 0, 98, 36, 0, -143, -17, 0, 45, 139, 0, 29, -189, 0, 0, -143, 0, -19, 159, 0, 132, 68, 0, 124, -4, 0, -67, 177, 0]