# Trace form for 5194.2.a.bs, downloaded from the LMFDB on 23 March 2026.
[0, 7, -7, -2, 7, -1, 2, 0, -7, 13, 1, 7, -2, 9, 0, 0, 7, 2, -13, -20, -1, 0, -7, -5, 2, -6, -9, -23, 0, 11, 0, -23, -7, -8, -2, 0, 13, -14, 20, -25, 1, -21, 0, -8, 7, -11, 5, 6, -2, 0, 6, -25, 9, -7, 23, -32, 0, 42, -11, -31, 0, 21, 23, 0, 7, -3, 8, -27, 2, -32, 0, 10, -13, 18, 14, -17, -20, 0, 25, -27, -1, 19, 21, -21, 0, 39, 8, -11, -7, -9, 11, 0, -5, -5, -6, 34, 2, -2, 0, 69, -6, -47, 25, 41, -9, 0, 7, -24, -23, -9, 32, 8, 0, 32, -42, 22, 11, 34, 31, 0, 0, 14, -21, -18, -23, -30, 0, -3, -7, 15, 3, -24, -8, 0, 27, -44, -2, -11, 32, -19, 0, 27, -10, -32, 13, 0, -18, 0, -14, -35, 17, 20, 20, -16, 0, 18, -25, 26, 27, 2, 1, 0, -19, 21, -21, -28, 21, -17, 0, 46, -39, -89, -8, -16, 11, 0, 7, -13, 9, -39, -11, -23, 0, 26, 5, -82, 5, -17, 6, 0, -34, -10, -2, 16, 2, 22, 0, -18, -69, 31, 6, 34, 47, 0, -25, 29, -41, 57, 9, -60, 0, -4, -7, 11, 24, 3, 23, 0, 9, -38, -32, -14, -8, 12, 0, 48, -32, -7, 42, 4, -22, 0, -11, -46, -34, 0, -31, -36, 0, 35, 0, -39, -14, -81, 21, 0, 18, -72, 23, -69, 30, -76, 0, 17, 3, -68, 7, -9, -15, 0, -3, -1, 24, -72, 8, 1, 0, 25, -27, -6, 44, -40, 2, 0, 11, 28, -32, 52, 19, -147, 0, 4, -27, -25, 10, 19, 32, 0, -13, 29, 0, 92, 18, 19, 0, -21, 14, -26, 35, -29, -17, 0, -20, 33, -20, -39, 16, 26, 0, -42, -18, -51, 25, 1, -26, 0, -27, 19, -2, 8, -1, -31, 0, 20, 19, 54, -21, 64, 21, 0, 28, 32, -21, -16, 17, -68, 0, -35, -46, -111, 39, -117, 89, 0, 8, -84, 16, 33, -11, 5, 0, -104, -7, 59, 13, 23, -9, 0, 39, -68, 11, 57, 23, 39, 0, -47, -26, -28, -5, -37, 82, 0, -5, 12, 17, 38, -6, -24, 0, -54, 34, 9, 10, -35, 2, 0, -16, -30, -2, -35, -22, 28, 0, 53, 18, -57, 69, 31, -31, 0, -6, 41, -34, 41, -47, 104, 0, 76, 25, 4, -29, -35, 41, 0, -57, -39, -9, 53, 60, -97, 0, -42, 4, -65, 7, -81, -11, 0, -24, -31, -3, -26, -23, 70, 0, -13, -9, -53, 38, -28, 32, 0, 14, -24, 8, -10, -12, -28, 0, -2, -48, -55, 32, 13, 7, 0, -42, 13, -4, -80, 22, -59, 0, -63, 11, 69, 46, -43, 34, 0, 0, 31, 31, -5, 36, -57, 0, -13, -35, -37, 0, -35, 39, 0, 14, -29, 81, -65, -21, -118, 0, 80, -18, 13, 72, -23, -23, 0, 69, 17, -30, -47, 76, -44, 0, -36, -17, -164, -3, -94, 68, 0, -7, 45, 9, 10, 15, -53, 0, 82, 3, -36, 1, -16, -24, 0, 72, 61, -8, -2, -1, -123, 0, -29, -25, 39, 27, 7, 6, 0, -44, 33, 40, 103, -2, 23, 0, -13, -11, 18, -28, -78, 32, 0, -52, 141, -19, -136, 147, -26, 0, -82, -4, -95, 27, -28, 25, 0, -10, 95, -19, -33, -32, 9, 0, 6, 13, 58, -29, -115, 0, 0, -92, -7, -18, -84, -19, -23, 0, 78, 21, -43, -14, -112, 26, 0, -35, -54, 29, 2, 17, 15, 0, 47, 20, -27, -33, 46, 20, 0, 39, 12, -16, -17, -26, 31, 0, -72, 42, 71, 18, -58, 51, 0, -25, -43, -1, 23, 26, -111, 0, 53, 27, 37, -19, -27, 2, 0, -8, -92, 1, -24, 31, 8, 0, -131, -20, -6, -19, -62, -54, 0, 21, 25, -64, -96, -21, -65, 0, 84, -28, 27, -32, 102, 21, 0, 16, 60, -17, -37, 68, -51, 0, -15, 35, -8, 46, 104, 111, 0, -39, -36, 117, -20, -89, -49, 0, 133, -8, -9, 84, -102, -16, 0, -33, -15, 11, 14, -5, -55, 0, 16, 104, 12, 7, -32, -59, 0, -13, 67, -23, -27, 9, -62, 0, -87, -39, 70, 68, -97, -11, 0, -57, -130, -23, -31, -39, 85, 0, 82, 47, 16, 26, 172, 28, 0, 5, 79, 37, -46, -82, 135, 0, -18, 5, 7, -12, 12, -17, 0, -38, 28, 6, 31, 24, -81, 0, -144, 54, -63, -34, -84, -9, 0, -10, 219, 35, -56, -2, 55, 0, -84, 16, 33, 30, -20, 2, 0, 35, 67, 22, 16, -28, 62, 0, 106, -53, 59, -18, 17, 57, 0, -69, 212, -31, 0, 31, 58, 0, -44, 6, 13, -41, 18, 34, 0, -41, -60, 47, -82, -104, 4, 0, 96, -76, 42, -25, -65, -4, 0, 29, 159, 35, 25, -41, 5, 0, -70, 57, 41, 39, 88, 9, 0, -53, -38, -60, 150, 97, -97, 0, -98, 42, -23, -4, -49, 65, 0, -7, 117, 81, -109, 11, 32, 0, 102, 24, 137, 31, 45, 3, 0, 26, 42, 23, -101, -70, -62, 0, 26, 13, -21, 9, -98, 53, 0, -38, -50, 28, 137, -32, 22, 0, -43, -14, 187, 24, -84, -8, 0, 10, -4, 12, -84, 28, -3, 0, 4, 2, -25, 48, -2, 55, 0, -32, 60, -13, 20, -7, 64, 0, -18, 42, 24, -13, 87, 4, 0, 80, 47, -22, 48, 59, -122, 0, 100, 63, -58, -11, 75, -69, 0, -46, 49, 43, 125, -34, 247, 0, -27, 0, -25, -31, 72, -31, 0, 5, 93, -36, -51, 57, 35, 0, -17, 13, -28, 35, -17, 37, 0, 0, 70, 35, -33, -39, 8, 0, -52, -14, 87, 29, 1, -81, 0, 65, -142, 21, 9, 118, -24, 0, -190, -80, 23, 18, 97, -13, 0, -72, 93, 23, -92, 23, 50, 0, 89, -69, 115, -17, 163, 30, 0, 47, -67, -76, 53, 44, 20, 0, -39, 36, 168, 17, 110, 164, 0, 3, 192, 94, -37, -68, 67, 0, -16, 7, 2, -45, -54, -9, 0, -10, -82, -15, 88, 53, 213, 0, -159, -82, -12, -3, 176, 36, 0, -1, 174, 16, -149, 24, -22, 0, -136, -72, 230, -61, 95, 8, 0, 2, -175, 1, -116, 123, 40, 0, -63, 29, 46, 25, 45, -39, 0, -27, -67, -7, -15, -6, 126, 0, 126, 44, 42, -33, -96, -40, 0, -103, 49, 2, -50, -23, 34, 0, -1, 13, 277, 11, 34, -18, 0, 28, -123, 78, 51, -32, 219, 0, 20, 52, -24, -141, 96, 19, 0, 136, -47, -147, 88, 26, -1, 0, 61, 82, 71, 4, -64, 95, 0, -27, -75, 28, 61, -25, -24, 0, 35, 10, 185, -95, -184, 19, 0, 33, 37, 32, -125, -9, 11, 0, -22, -6, 183, -13, 128, -58, 0, 29, 35, 115, -99, 0, 151, 0, 68, 92, 115, 7, -116, 18, 0, 84, 59, 19, -255, 23, -24, 0, -116, -78, -42, -21, -86, 43, 0, 14, 230, 112, 59, -26, -4, 0, -56, 35, 146, 54, -11, -29, 0, -2, -106, -17, -12, -15, -65, 0, 75, -47, 191, -20, 148, 27, 0, 33, 23, -46, -173, -20, -131, 0, 5, -39, 45, -12, 148, 16, 0, 17, -143, 26, 4, -31, 108, 0, 26, 72, 45, -42, -89, -71, 0, -18, -17, 58, 140, -51, 138, 0, 88, 25, 76, 43, -20, 1, 0, -23, 7, -26, -82, 111, -67, 0, -232, -53, 83, -27, 87, -37, 0, 19, 205, 27, 79, -2, 58, 0, 113, 8, 66, 92, 80, -1, 0, 24, 13, -31, 73, -8, 276, 0, 147, 131, -33, 20, 154, 6, 0, 19, 86, 62, 32, 54, 37, 0, 12, -21, -6, -25, 9, 64, 0, 96, 40, 21, -62, 65, 179, 0, 36, -84, -67, 28, -21, -27, 0, 32, 6, -102, -10, -21, 150, 0, -126, -16, 33, -60, 245, 17, 0, 37, -47, -68, 0, 51, -114, 0, -60, 15, -137, -35, 52, 8, 0, -46, -99, -104, -73, -111, 6, 0, 163, 39, 43, 36, 131, -117, 0, 20, 28, 89, 73, 49, 162, 0, -21, -133, 113, 8, 272, 9, 0, -84, 75, 102, 138, 16, -73, 0, -38, 33, 69, 15, -43, -11, 0, -14, -52, 5, 78, 55, 63, 0, -1, -16, -146, -104, -53, -12, 0, -7, -62, 32, 87, 59, 110, 0, 78, 13, -1, -67, 157, 23, 0, 27, 19, -9, 26, 62, -101, 0, -47, 87, 23, 39, 47, -70, 0, -68, 0, 97, -155, 11, 89, 0, -14, 57, -43, 130, 48, 23, 0, 31, 39, 39, -100, -85, 8, 0, 50, -82, 3, -47, -145, -16, 0, -26, -140, -172, 92, -28, 84, 0, -15, -5, -85, -79, 43, -37, 0, 46, -132, 82, -12, -135, -10, 0, -116, 18, -13, -5, -24, -7, 0, 12, -36, -12, 128, 17, 54, 0, 22, 38, 32, -28, 115, -6, 0, -31, 25, -24, -227, 81, -74, 0, -128, 144, -264, -54, -31, 63, 0, 34, -47, 84, -104, 9, 105, 0, -142, 10, 80, -219, -110, -35, 0, 56, -33, 2, -11, -55, -199, 0, -56, 84, 50, -16, 283, -33, 0, -30, 144, 20, 139, -2, 119, 0, 3, -35, 75, -67, 92, -22, 0, -16, 2, 28, 13, -62, -102, 0, -23, -106, -67, 53, 134, -59, 0, 18, 75, -17, 77, -57, 322, 0, 171, 69, 66, -212, -77, 31, 0, 0, -92, -31, 271, -58, -81, 0, 183, 44, 40, -6, -52, -13, 0, 41, 205, -18, 0, -34, 67, 0, 1, 41, 38, 60, -284, -47, 0, 82, -33, 104, 122, -4, 62, 0, -174, -96, -215, 76, -198, -42, 0, 25, -45, 65, -74, 4, -50, 0, 74, -29, 101, -159, 23, -35, 0, -25, -18, 41, -106, -5, -51, 0, 18, 70, -56, -57, 30, -41, 0, -39, 170, -88, -31, -9, -306, 0, 76, 53, -78, 38, 175, 60, 0, -150, 158, -97, 191, 97, -95, 0, -154, 98, -19, -42, -81, 23, 0, 4, -174, 49, 231, -65, 131, 0, 103, 7, -82, -117, -153, -81, 0, 109, -175, -11, 76, -32, -18, 0, -160, -102, 26, -24, 190, -137, 0, -31, -79, -45, -43, -3, -112, 0, -111, -26, 141, -42, -27, -23, 0, 101, 95, 70, -132, 62, -113, 0, 56, -26, -111, -13, 147, 21, 0, -9, 42, 98, -54, -53, 8, 0, 79, 38, -133, 50, 18, -28, 0, -137, -118, 32, -25, -22, 4, 0, -62, 43, -100, 14, -41, -187, 0, -24, -90, 84, -174, 8, 230, 0, -71, -10, 138, 4, 135, -12, 0, 84, -29, -28, -11, 3, 282, 0, 70, -4, -35, -2, -82, 25, 0, -48, -4, 2, 111, -55, -163, 0, -80, 32, 61, -60, -113, 13, 0, -20, -172, 7, -7, -64, -138, 0, -8, 18, -16, -42, -25, -24, 0, 13, 182, -87, 91, -4, 129, 0, -110, -80, 117, -47, 88, 22, 0, -48, 59, -59, 145, 122, 118, 0, -67, -100, 94, -63, 89, 58, 0, 11, -53, -75, -133, 69, -60, 0, 276, 46, -21, -49, -106, -43, 0, -125, 33, 34, -181, -247, 29, 0, 128, 27, -249, 0, -402, 25, 0, 31, 101, -72, 369, 31, 64, 0, 18, -5, 106, -93, 51, 36, 0, 51, 89, -57, -33, -35, 124, 0, 105, 17, 15, -13, -189, 28, 0, -35, -170, 17, 87, -37, 91, 0, -28, 0, 119, -70, 61, -35, 0, 33, -10, 39, 48, -8, -223, 0, 7, 52, 17, 14, -184, -87, 0, -29, -61, -1, -143, 81, -19, 0, -88, -65, 10, 142, -195, -21, 0, -9, -29, -118, 24, 24, -76, 0, 14, 190, -42, 80, 71, -23, 0, -18, 96, -97, 156, 13, -180, 0, 115, 72, -136, -93, -56, -23, 0, 92, -267, -23, -97, -50, -237, 0, -33, -89, -209, 69, 180, -115, 0, 17, -57, -163, 111, -30, -13, 0, -148, -47, 196, 67, 289, 76, 0, -53, -124, -44, 133, -20, 102, 0, -92, 39, -148, -36, 204, -168, 0, -17, 14, -110, -185, -164, 9, 0, 47, -3, 76, -192, -50, -94, 0, 37, -154, 68, 89, -67, 193, 0, 18, 16, -212, -7, -20, -2, 0, 45, 64, 54, 48, 9, -60, 0, 64, 10, -258, 82, -79, 15, 0, -88, 25, -53, -88, -213, 76, 0, 241, 159, 108, 82, -84, 12, 0, 3, 111, -176, 156, -36, -259, 0, 56, 1, -12, -174, 35, -16, 0, 149, 28, -24, 4, 22, 55, 0, -120, 136, 77, 72, 141, -230, 0, 61, -61, -95, 61, -8, 130, 0, -151, -2, 89, 175, -25, -1, 0, 116, -1, -123, -37, -40, -171, 0, 67, 63, -124, -29, 155, -46, 0, -25, -135, -45, 187, 39, 37, 0, -14, 27, 101, 67, -75, 7, 0, 15, 45, 6, 153, -126, 167, 0, 268, -126, -8, -44, 101, -42, 0, 33, -27, 96, -29, 40, -55, 0, -68, 103, 21, -49, 94, -2, 0, 50, 72, 23, 179, -34, 158, 0, -194, 1, -175, -13, -121, -277, 0, -11, -200, -34, -30, 18, 195, 0, -186, -28, 70, 123, -246, -78, 0, -51, -7, 32, -19, -219, 140, 0, 159, -20, -78, -52, 132, 24, 0, 141, -35, -96, -293, -19, 75, 0, -261, -136, -216, 47, 6, 147, 0, -88, -180, -26, -101, 1, 158, 0, -186, -61, 19, -82, 37, -71, 0, -4, 17, 64, 115, -95, 174, 0, 169, 27, 31, 75, -384, -28, 0, -61, 52, 25, -31, 24, 23, 0, 6, -35, 283, -10, -122, -185, 0, 95, 69, 184, 8, -19, 71, 0, -28, -33, 27, -37, 34, -32, 0, 125, -31, 9, -42, -11, -283, 0, 118, 22, -248, 6, 118, -183, 0, 13, -23, -128, 174, 58, -216, 0, -248, -29, 16, -35, 179, -115, 0, 99, -233, 0, -37, -151, 163, 0, 23, -68, -284, -92, 0, -115, 0, -7, -120, 116, 113, -18, 36, 0, 174, -84, 22, -59, 0, -19, 0, 255, -67, -23, -8, 24, -50, 0, 23, 116, -446, 78, 62, 42, 0, 21, 245, 86, 87, -43, -70, 0, -177, -14, -124, -230, -141, -112, 0, -59, 4, 26, 225, 4, -301, 0, -48, 56, -12, -35, 11, -146, 0, -54, -145, 11, -42, 29, 31, 0, 9, 2, -107, 106, -71, 17, 0, 12, -192, 15, -373, 65, -246, 0, -230, -75, -61, 47, 146, -191, 0, 20, 163, -148, 153, -27, -46, 0, 63, -33, -82, -23, -131, 46, 0, 173, -212, 20, 146, 131, -49, 0, 93, -5, -250, 39, -212, -45, 0, 12, -92, -148, -45, -16, 59, 0, -331, -17, 188, 143, -172, -26, 0, -4, -135, 31, 161, -108, -82, 0, -21, -26, -295, -72, -82, -45, 0, 42, 164, 89, 81, 71, -50, 0, 296, 18, -221, 17, 276, -58, 0, -140, -12, 51, -73, -138, -6, 0, -25, -88, 76, -25, 125, -76, 0, -43, -121, 20, 176, -1, 46, 0, -109, 23, -131, -7, -70, 26, 0, 82, -54, -111, -57, 67, 96, 0, 53, 232, -15, 53, 134, -83, 0, 27, -123, -87, -16, 37, 94, 0, 373, -19, 5, -205, -131, -27, 0, -79, -37, 2, 144, -58, -234, 0, 102, -113, 47, -8, 334, -66, 0, -92, 80, -80, 220, 1, -317, 0, -152, -24, 126, -13, -195, 31, 0, -73, -141, 8, 198, -276, -136, 0, -253, -147, -115, -131, -251, 33, 0, -20, -209, -154, 368, -6, 5, 0, 159, -19, -19, -86, -112, -62, 0, -32, -81, -54, 236, -37, -36, 0, 105, -12, -157, 21, -54, 6, 0, 25, -119, -9, -32, -64, 178, 0, 379, -96, -75, -40, -41, -21, 0, 62, -51, -65, 105, -179, 259, 0, 176, -36, -175, 84, -123, 67, 0, -28, 28, 21, 102, 27, 130, 0, -127, -32, 182, -6, -165, 102, 0, 10, -144, 21, -242, -150, -191, 0, -175, 126, -104, 16, 37, -33, 0, 60, 181, -245, 41, -17, -225, 0, 53, -37, 20, 47, -253, 68, 0, 0, -85, -51, -30, 114, -114, 0, -163, 60, 122, -15, 132, 137, 0, 35, -37, -52, 118, -8, 188, 0, 25, 46, 177, 99, -298, 104, 0, 73, 95, 111, -1, -6, 85, 0, 113, -163, -221, -39, -10, -43, 0, -36, -112, -131, 129, 117, -178, 0, -62, -20, -193, -28, 210, -89, 0, -73, -183, -49, -64, -162, -29, 0, -425, 21, -2, 133, 163, -113, 0, -8, 145, -272, -3, -9, 6, 0, -32, 84, -248, -75, 239, -102, 0, -138, 28, -16, 345, 73, 287, 0, 63, 38, -156, -33, -173, -69, 0, -15, -39, 43, 44, 11, 168, 0, -3, 14, -204, 52, 57, -5, 0, -78, 263, -55, 121, -63, -22, 0, 101, 1, 20, 16, -36, 146, 0, 104, 7, 53, -93, 12, 125, 0, 108, 7, 150, 62, -33, -32, 0, -87, -9, -59, 44, -110, -196, 0, 74, -78, -23, -13, -14, 1, 0, 67, 13, -157, -52, -23, 155, 0, 203, -27, -40, -19, 7, 9, 0, -26, 234, -62, 39, 101, -80, 0, -80, 47, 331, -87, -29, -23, 0, -39, 185, -47, 119, 70, -185, 0, 102, 68, -25, 0, 10, -97, 0, 155, -129, -11, -85, -89, 219, 0, -21, 14, -74, -57, 55, 43, 0, -130, -340, -48, 343, -23, -150, 0, -89, -31, -5, -39, 183, -39, 0, 100, 30, 85, -97, -8, -56, 0, 71, -50, 32, 82, 32, -3, 0, 47, -154, 145, 296, 16, 237, 0, 33, 26, -53, 140, -88, 172, 0, -92, 159, 28, -141, -84, -113, 0, -247, 15, 257, 5, -229, 85, 0, 79, 191, -43, -153, 37, 190, 0, 68, -46, -137, 132, 99, -82, 0, 12, -291, 135, 53, 10, 3, 0, -125, 116, -150, -18, 431, 13, 0, 5, -131, 24, 202, 7, 43, 0, -60, -12, -173, 36, 88, 12, 0, -128, -172, -17, -1, -54, 103, 0, -465, -22, -45, -38]