# Trace form for 8030.2.a.bf, downloaded from the LMFDB on 16 April 2024.
[0, 15, 15, -4, 15, -15, -4, -6, 15, 17, -15, -15, -4, -6, -6, 4, 15, 2, 17, -8, -15, -17, -15, -4, -4, 15, -6, -19, -6, -13, 4, -20, 15, 4, 2, 6, 17, -15, -8, -11, -15, 2, -17, -26, -15, -17, -4, -14, -4, 11, 15, -39, -6, -21, -19, 15, -6, 1, -13, -14, 4, -45, -20, -17, 15, 6, 4, -10, 2, -23, 6, -9, 17, 15, -15, -4, -8, 6, -11, -26, -15, 15, 2, -30, -17, -2, -26, -14, -15, 10, -17, -17, -4, -8, -14, 8, -4, -27, 11, -17, 15, -38, -39, -37, -6, 17, -21, -11, -19, -26, 15, -45, -6, 38, 1, 4, -13, -50, -14, -12, 4, 15, -45, 17, -20, -15, -17, -13, 15, 2, 6, -85, 4, -47, -10, 19, 2, 38, -23, -69, 6, -47, -9, 6, 17, 13, 15, -37, -15, -43, -4, 7, -8, 4, 6, 20, -11, -77, -26, -18, -15, -60, 15, -75, 2, -4, -30, -28, -17, 27, -2, -51, -26, -28, -14, -6, -15, -24, 10, -26, -17, -50, -17, -49, -4, 15, -8, -2, -14, -57, 8, -12, -4, -15, -27, 11, 11, -17, -17, -45, 15, 13, -38, 23, -39, -2, -37, -53, -6, 8, 17, -22, -21, 25, -11, 26, -19, 20, -26, -4, 15, -17, -45, -11, -6, 17, 38, -91, 1, -57, 4, 17, -13, 98, -50, 14, -14, 51, -12, -25, 4, -44, 15, -41, -45, -11, 17, -12, -20, -65, -15, -9, -17, 4, -13, 39, 15, 4, 2, -13, 6, -52, -85, -35, 4, 21, -47, -18, -10, 19, 19, -108, 2, -62, 38, -15, -23, -14, -69, -118, 6, -22, -47, -8, -9, -1, 6, 26, 17, -9, 13, 61, 15, -48, -37, 14, -15, 19, -43, -85, -4, -17, 7, -25, -8, 45, 4, -85, 6, -60, 20, 32, -11, -77, -77, 17, -26, -48, -18, 13, -15, 60, -60, 17, 15, -6, -75, -18, 2, -69, -4, -50, -30, 90, -28, 10, -17, -27, 27, -128, -2, 20, -51, 18, -26, 23, -28, 13, -14, -58, -6, -1, -15, 93, -24, 9, 10, 31, -26, -70, -17, -31, -50, -4, -17, -15, -49, -76, -4, -31, 15, -27, -8, 51, -2, 4, -14, 79, -57, 5, 8, -76, -12, -3, -4, -6, -15, -25, -27, -87, 11, -18, 11, 42, -17, 26, -17, -53, -45, 27, 15, 104, 13, -48, -38, -15, 23, 15, -39, -41, -2, 70, -37, 47, -53, 30, -6, 22, 8, -119, 17, -11, -22, 21, -21, 2, 25, -108, -11, 11, 26, -16, -19, 28, 20, 14, -26, 31, -4, -3, 15, 64, -17, 85, -45, -10, -11, -73, -6, -47, 17, -2, 38, 145, -91, 17, 1, 106, -57, -145, 4, 19, 17, -8, -13, 8, 98, 92, -50, -103, 14, -23, -14, 26, 51, -8, -12, 51, -25, -68, 4, -88, -44, 141, 15, 27, -41, -20, -45, 119, -11, -91, 17, -151, -12, 17, -20, 74, -65, -16, -15, 119, -9, -14, -17, 38, 4, 90, -13, -37, 39, -6, 15, -42, 4, 37, 2, 14, -13, 16, 6, 117, -52, -24, -85, -17, -35, 14, 4, 87, 21, 45, -47, 45, -18, 11, -10, -55, 19, -11, 19, 6, -108, 109, 2, 26, -62, -2, 38, -24, -15, 18, -23, -12, -14, 45, -69, 79, -118, -67, 6, 39, -22, 11, -47, -38, -8, 150, -9, -76, -1, 7, 6, -13, 26, -4, 17, 14, -9, -111, 13, 43, 61, 21, 15, 50, -48, 59, -37, -16, 14, 50, -15, 85, 19, 12, -43, 63, -85, 15, -4, -160, -17, 24, 7, -15, -25, -8, -8, -68, 45, -22, 4, -8, -85, -17, 6, 120, -60, -107, 20, 169, 32, -81, -11, 15, -77, -1, -77, -73, 17, 69, -26, 107, -48, 13, -18, 51, 13, 12, -15, 40, 60, -100, -60, -2, 17, 39, 15, 14, -6, 220, -75, 23, -18, 85, 2, 17, -69, -36, -4, 0, -50, 83, -30, 47, 90, -45, -28, -112, 10, 45, -17, 127, -27, -19, 27, 76, -128, -121, -2, 116, 20, 101, -51, -38, 18, 111, -26, -145, 23, -39, -28, 17, 13, 69, -14, 40, -58, -92, -6, -2, -1, 87, -15, 47, 93, 56, -24, -38, 9, -196, 10, 64, 31, -6, -26, 164, -70, -151, -17, 155, -31, 32, -50, -13, -4, -75, -17, 44, -15, 90, -49, -132, -76, 37, -4, 10, -31, -61, 15, 34, -27, 0, -8, 43, 51, -93, -2, 82, 4, -34, -14, 193, 79, -7, -57, -90, 5, 23, 8, 83, -76, 64, -12, -4, -3, 115, -4, -64, -6, 151, -15, 59, -25, -20, -27, 53, -87, -133, 11, 9, -18, 18, 11, 77, 42, -22, -17, -167, 26, -45, -17, -51, -53, 18, -45, 150, 27, -44, 15, 140, 104, -15, 13, 60, -48, 84, -38, -21, -15, 64, 23, 111, 15, 75, -39, 68, -41, 157, -2, -102, 70, -103, -37, 4, 47, 78, -53, -202, 30, 168, -6, 44, 22, 28, 8, 206, -119, -54, 17, 132, -11, -148, -22, -27, 21, -6, -21, 263, 2, 115, 25, -81, -108, 51, -11, -55, 11, 49, 26, 79, -16, 156, -19, 28, 28, 13, 20, 26, 14, 254, -26, 72, 31, 6, -4, 124, -3, 5, 15, 161, 64, -54, -17, 24, 85, -111, -45, -116, -10, -15, -11, 101, -73, 26, -6, 214, -47, -100, 17, 30, -2, 24, 38, 50, 145, -55, -91, -140, 17, 31, 1, 30, 106, 49, -57, 93, -145, 88, 4, 213, 19, -47, 17, -15, -8, 43, -13, 158, 8, -131, 98, 79, 92, 2, -50, 177, -103, -46, 14, -35, -23, -20, -14, 57, 26, 160, 51, -6, -8, 129, -12, 22, 51, 12, -25, 14, -68, 36, 4, 119, -88, 74, -44, 15, 141, 90, 15, 110, 27, 26, -41, -3, -20, -11, -45, 177, 119, -10, -11, 295, -91, 17, 17, 17, -151, 369, -12, -111, 17, 99, -20, -20, 74, 45, -65, 70, -16, -63, -15, 17, 119, 36, -9, -13, -14, -55, -17, -7, 38, 64, 4, 170, 90, -23, -13, 368, -37, -124, 39, 25, -6, 8, 15, 2, -42, 9, 4, -1, 37, 125, 2, 13, 14, 53, -13, 72, 16, -139, 6, 81, 117, -8, -52, -8, -24, 96, -85, 0, -17, 83, -35, -94, 14, 22, 4, -106, 87, -84, 21, 47, 45, -28, -47, -25, 45, 27, -18, -86, 11, 214, -10, 250, -55, -26, 19, 28, -11, -48, 19, 1, 6, 174, -108, -20, 109, -36, 2, 17, 26, 40, -62, -47, -2, 4, 38, 187, -24, 59, -15, 41, 18, 97, -23, 17, -12, -47, -14, -3, 45, 38, -69, 382, 79, 11, -118, 88, -67, -102, 6, 26, 39, -62, -22, -17, 11, 156, -47, -57, -38, 165, -8, 37, 150, 91, -9, 77, -76, -178, -1, 129, 7, 76, 6, 57, -13, -302, 26, 24, -4, -163, 17, -106, 14, -17, -9, 77, -111, 48, 13, -6, 43, 60, 61, -98, 21, 107, 15, -60, 50, 174, -48, 25, 59, -14, -37, 11, -16, -238, 14, -5, 50, -99, -15, -51, 85, -32, 19, -241, 12, 67, -43, 108, 63, 25, -85, 141, 15, 26, -4, -11, -160, -137, -17, 44, 24, -48, 7, -74, -15, 0, -25, -147, -8, 41, -8, 61, -68, -15, 45, 45, -22, 139, 4, 11, -8, 193, -85, -25, -17, -39, 6, -55, 120, 12, -60, 231, -107, -295, 20, 2, 169, -38, 32, 65, -81, 102, -11, 17, 15, 274, -77, 123, -1, 9, -77, 0, -73, 4, 17, -50, 69, -170, -26, -4, 107, 42, -48, -173, 13, -76, -18, -159, 51, -39, 13, 50, 12, -121, -15, 444, 40, -84, 60, -4, -100, 50, -60, 70, -2, -24, 17, -16, 39, 13, 15, 79, 14, -53, -6, -40, 220, -78, -75, 52, 23, -104, -18, 12, 85, 233, 2, 221, 17, 35, -69, 224, -36, -151, -4, -119, 0, -158, -50, -21, 83, -3, -30, -105, 47, -15, 90, 82, -45, 18, -28, 216, -112, -249, 10, -50, 45, 97, -17, -19, 127, 441, -27, -178, -19, 221, 27, -17, 76, 108, -128, -141, -121, -33, -2, 24, 116, 21, 20, 62, 101, -92, -51, 18, -38, -273, 18, 156, 111, 15, -26, 312, -145, -238, 23, 181, -39, 79, -28, 14, 17, -8, 13, -255, 69, 160, -14, -53, 40, 118, -58, 13, -92, -195, -6, 190, -2, 92, -1, 22, 87, 40, -15, -151, 47, -72, 93, 66, 56, 8, -24, -136, -38, -2, 9, 54, -196, -114, 10, 1, 64, 148, 31, -133, -6, 107, -26, 67, 164, -26, -70, 206, -151, -262, -17, 85, 155, 172, -31, 9, 32, -163, -50, -235, -13, -82, -4, -144, -75, -61, -17, 250, 44, -68, -15, 112, 90, 47, -49, 48, -132, -11, -76, 33, 37, -29, -4, 55, 10, -14, -31, -59, -61, 259, 15, 28, 34, -256, -27, -19, 0, -63, -8, -169, 43, 29, 51, 56, -93, 85, -2, 115, 82, -46, 4, 28, -34, -171, -14, 17, 193, -38, 79, -41, -7, -22, -57, -112, -90, 25, 5, -179, 23, -86, 8, 56, 83, 105, -76, -45, 64, 55, -12, 69, -4, 258, -3, -17, 115, 85, -4, -124, -64, -200, -6, 67, 151, -270, -15, 60, 59, 81, -25, 116, -20, 47, -27, 160, 53, -32, -87, 33, -133, -368, 11, -77, 9, -114, -18, 77, 18, 97, 11, -119, 77, 162, 42, -6, -22, -17, -17, 185, -167, -26, 26, -90, -45, 11, -17, 48, -51, -335, -53, 187, 18, -20, -45, -83, 150, -13, 27, 84, -44, -184, 15, 87, 140, -286, 104, -60, -15, -26, 13, -141, 60, 305, -48, -21, 84, -17, -38, 37, -21, 11, -15, -57, 64, -211, 23, 6, 111, -88, 15, -210, 75, -54, -39, 32, 68, 18, -41, -136, 157, 43, -2, 125, -102, 110, 70, 69, -103, 275, -37, 46, 4, 76, 47, -164, 78, 50, -53, 190, -202, 61, 30, -7, 168, -128, -6, -90, 44, 172, 22, -241, 28, -63, 8, 218, 206, -10, -119, 373, -54, -4, 17, -53, 132, -4, -11, 27, -148, -68, -22, 87, -27, 100, 21, -64, -6, 128, -21, 139, 263, -33, 2, -231, 115, -77, 25, -20, -81, -71, -108, -253, 51, 27, -11, 77, -55, -18, 11, 72, 49, -52, 26, -110, 79, -120, -16, -23, 156, 77, -19, -16, 28, 47, 28, -34, 13, -13, 20, 48, 26, -111, 14, -114, 254, 284, -26, 58, 72, 41, 31, 18, 6, 216, -4, -267, 124, 1, -3, 81, 5, 14, 15, 310, 161, -139, 64, -93, -54, 26, -17, -30, 24, 60, 85, 374, -111, -9, -45, -23, -116, -56, -10, 104, -15, -94, -11, -31, 101, 343, -73, -141, 26, 73, -6, 75, 214, 70, -47, 72, -100, -138, 17, 94, 30, 293, -2, 31, 24, -345, 38, 324, 50, -215, 145, -4, -55, 4, -91, 128, -140, -28, 17, 176, 31, 80, 1, 15, 30, 252, 106, -114, 49, -126, -57, -24, 93, 76, -145, 28, 88, -57, 4, 295, 213, 74, 19, 31, -47, -391, 17, -3, -15, -13, -8, 222, 43, 27, -13, 29, 158, -27, 8, 2, -131, 20, 98, -51, 79, -209, 92, -71, 2, 186, -50, -202, 177, -4, -103, 167, -46, -197, 14, 51, -35, 39, -23, -79, -20, 10, -14, -4, 57, 112, 26, 221, 160, -5, 51, 265, -6, -112, -8, 10, 129, 28, -12, 76, 22, -81, 51, -45, 12, 331, -25, 233, 14, 3, -68, 70, 36, 217, 4, 83, 119, -244, -88, 6, 74, 117, -44, 60, 15, -176, 141, -100, 90, 25, 15, 159, 110, -125, 27, 127, 26, 70, -41, 87, -3, 24, -20, 74, -11, -50, -45, -6, 177, 18, 119, 101, -10, 200, -11, 300, 295, -7, -91, -42, 17, 45, 17, 26, 17, -19, -151, -130, 369, -26, -12, 222, -111, -151, 17, 90, 99, 33, -20, 53, -20, 28, 74, -4, 45, 50, -65, -83, 70, -27, -16, 92, -63, -69, -15, -96, 17, 151, 119, -104, 36, 59, -9, 128, -13, 209, -14, 49, -55, 48, -17, 79, -7, -60, 38, 28, 64, -30, 4, 15, 170, 135, 90, 100, -23, -228, -13, 33, 368, -15, -37, 101, -124, -91, 39, -30, 25, -108, -6, 41, 8, 207, 15, 207, 2, 26, -42, 15, 9, -70, 4, 2, -1, -25, 37, -284, 125, 28, 2, -47, 13, -58, 14, 0, 53, -304, -13, 417, 72, -30, 16, -116, -139, 57, 6, 12, 81, 5, 117, -22, -8, 157, -52, 129, -8, 107, -24, 295, 96, 119, -85, 259, 0, 22, -17, 12, 83, 112, -35, 11, -94, -9, 14, -36, 22, 166, 4, -92, -106, -21, 87, -13, -84, -246, 21, -115, 47, 15, 45, -2, -28, 277, -47, 5, -25, -62, 45, 360, 27, 108, -18, -60, -86, -50, 11, -100, 214, -125, -10, -11, 250, -321, -55, -218, -26, -49, 19, -133, 28, 16, -11, 98, -48, -187, 19, 127, 1, 40, 6, -28, 174, 17, -108, -77, -20, -139, 109, -33, -36, -14, 2, 103, 17, 15, 26, 63, 40, -109, -62, -31, -47, -8, -2, 45, 4, 194, 38, 214, 187, 3, -24, -39, 59, 36, -15, 120, 41, -45, 18, -64, 97, 7, -23, 219, 17, -13, -12, 202, -47, -85, -14, -149, -3, 15, 45, -278, 38, 376, -69, 10, 382, 61, 79, -56, 11, -21, -118, -23, 88, 73, -67, -258, -102, -113, 6, 426, 26, 30, 39, 47, -62, -402, -22, 180, -17, -197, 11, -162, 156, 2, -47, 244, -57, -313, -38, -35, 165, -20, -8, -145, 37, -78, 150, 76, 91, 14, -9, 104, 77, -17, -76, 53, -178, -1, -1, -53, 129, -444, 7, -106, 76, 2, 6, -42, 57, -72, -13, -253, -302, 145, 26, 105, 24, -8, -4, 356, -163, -37, 17, -19, -106, -169, 14, -127, -17, -78, -9, -165, 77, 8, -111, 145, 48, -13, 13, 22, -6, -134, 43, -8, 60, -72, 61, -300, -98, -166, 21, 219, 107, -92, 15, 245, -60, -140, 50, 8, 174, -25, -48, 103, 25, -64, 59, -38, -14, -296, -37, -11, 11, 23, -16, 41, -238, 35, 14, -30, -5, -81, 50, -26, -99, -3, -15, 155, -51, -8, 85, -122, -32, 8, 19, 32, -241, -79, 12, 85, 67, -240, -43, -51, 108, -20, 63, -1, 25, -57, -85, -57, 141, 68, 15, 143, 26, 48, -4, -345, -11, 159, -160, 88, -137, -24, -17, 4, 44, -50, 24, -54, -48, -141, 7, -84, -74, -195, -15, -197, 0, -40, -25, -27, -147, 107, -8, -119, 41, 17, -8, 210, 61, 20, -68, 134, -15, -615, 45, 12, 45, -89, -22, -119, 139, 112, 4, 300, 11, -95, -8, 11, 193, 91, -85, -6, -25, -167, -17, -414, -39, -149, 6, 151, -55, -220, 120, 213, 12, -211, -60, -41, 231, -17, -107, 220, -295, -58, 20, -206, 2, -35, 169, -74, -38, 320, 32, 134, 65, -61, -81, -195, 102, 16, -11, 91, 17, -220, 15, 164, 274, -220, -77, -119, 123, -138, -1, 86, 9, -202, -77, 32, 0, 14, -73, -17, 4, 57, 17, 106, -50, -32, 69, -38, -170, -165, -26, 101, -4, 170, 107, -117, 42, -90, -48, 396, -173, -32, 13, -17, -76, 321, -18, 37, -159, -333, 51, -315, -39, -59, 13, 43, 50, 6, 12, 136, -121, -205, -15, -140, 444, -98, 40, 42, -84, -21, 60, 180, -4, 263, -100, 254, 50, -37, -60, -270, 70, -183, -2, -427, -24, -117, 17, -14, -16, 32, 39, -399, 13, -239, 15, 174, 79, -16, 14, -202, -53, -247, -6, 88, -40, -216, 220, -117, -78, -51, -75, 12, 52, -53, 23, -184, -104, 24, -18, -217, 12, 142, 85, 83, 233, 151, 2, 17, 221, -61, 17, 25, 35, 153, -69, 190, 224, -14, -36, -93, -151, -559, -4, 38, -119, -205, 0, -87, -158, 342, -50, 163, -21, 44, 83, -78, -3, -45, -30, 88, -105, -257, 47, -260, -15, 10, 90, -45, 82, 379, -45, -84, 18, -350, -28, 41, 216, -11, -112, 234, -249, 135, 10, -5, -50, 90, 45, 55, 97, -137, -17, 71, -19, -409, 127, 73, 441, 11, -27, 364, -178, -134, -19, -15, 221, -272, 27, -6, -17, 27, 76, -117, 108, 30, -128, 74, -141, -109, -121, 12, -33, 58, -2, -35, 24, -393, 116, -26, 21, -41, 20, -7, 62, -369, 101, 263, -92, 2, -51, -82, 18, 65, -38, 188, -273, -332, 18, 24, 156, 91, 111, -143, 15, -96, -26, 18, 312, -18, -145, 170, -238, 10, 23, 9, 181, 209, -39, 12, 79, -83, -28, -80, 14, -154, 17, -214, -8, -45, 13, 282, -255, -114, 69, -439, 160, -4, -14, -79, -53, 74, 40, -40, 118, -178, -58, 304, 13, 67, -92, -211, -195, -433, -6, -181, 190, -4, -2, -39, 92, 77, -1, 64, 22, -150, 87, -267, 40, -11, -15, -13, -151, 45, 47, 74, -72, 112, 93, 38, 66, -4, 56, -31, 8, 51, -24, -81, -136, -150, -38, 40, -2, 102, 9, 42, 54, 95, -196, 76, -114, -11, 10, 13, 1, 49, 64, -52, 148, -7, 31, 111, -133, -22, -6, 173, 107, -146, -26, 13, 67, 219, 164, -385, -26, 52, -70, 278, 206, 4, -151, -114, -262, -87, -17, -337, 85, -80, 155, -14, 172, 392, -31, -369, 9, 73, 32, 35, -163, 111, -50, 253, -235, -151, -13, -142, -82, -36, -4, -43, -144, -311, -75, 97, -61, -216, -17, -486, 250, -21, 44, 137, -68, -78, -15, 164, 112, -255, 90, -50, 47, -18, -49, 147, 48, -234, -132, 37, -11, -59, -76, 18, 33, -140, 37, -176, -29, -256, -4, 16, 55, -254, 10, 309, -14, -95, -31, 240, -59, -50, -61, 115, 259, -19, 15, 221, 28, -200, 34, -85, -256, -236, -27, -65, -19, 241, 0, 82, -63, -12, -8, 421, -169, -102, 43, 108, 29, 162, 51, -63, 56, -358, -93, -185, 85, -17, -2, 2, 115, -15, 82, 266, -46, -35, 4]