# Trace form for 5445.2.a.bv, downloaded from the LMFDB on 25 April 2024.
[0, 4, 5, 0, 9, 4, 0, 2, 15, 0, 5, 0, 0, -3, 5, 0, 15, 20, 0, -3, 9, 0, 0, 5, 0, 4, -6, 0, -3, 5, 0, -1, 30, 0, 25, 2, 0, -7, -1, 0, 15, 20, 0, 2, 0, 0, -7, 20, 0, 8, 5, 0, 7, -6, 0, 0, -10, 0, -21, 5, 0, 7, -12, 0, 49, -3, 0, -13, 45, 0, 5, 25, 0, -23, -7, 0, 7, 0, 0, 0, 15, 0, 11, 33, 0, 20, 12, 0, 0, -16, 0, -24, 0, 0, 17, -3, 0, 0, 25, 0, 9, -5, 0, -13, 26, 0, 28, 13, 0, 0, 0, 0, 20, -1, 0, 5, -40, 0, 32, 10, 0, 0, -45, 0, -11, 4, 0, 22, 30, 0, -6, 3, 0, -59, -20, 0, 75, -33, 0, 2, -3, 0, 26, 0, 0, 5, -7, 0, -42, 7, 0, 10, 6, 0, 0, -1, 0, -15, 4, 0, 30, 0, 0, 14, 15, 0, 24, 30, 0, -23, 25, 0, -23, 17, 0, 2, 0, 0, -2, 5, 0, 43, -23, 0, 17, -7, 0, 0, 45, 0, -1, -27, 0, -26, -30, 0, -2, 62, 0, -21, 15, 0, -38, 30, 0, 20, -55, 0, 15, 0, 0, 22, 44, 0, -41, 2, 0, -38, 65, 0, 0, -15, 0, -16, 75, 0, 62, 43, 0, -40, -7, 0, -54, 3, 0, 20, 10, 0, 25, 22, 0, 4, 0, 0, -58, 8, 0, 29, -13, 0, 5, 42, 0, 0, 33, 0, 31, -31, 0, -6, 7, 0, 82, 6, 0, -6, -118, 0, -83, -34, 0, -47, 75, 0, -60, 0, 0, 31, -8, 0, -10, 0, 0, -3, 45, 0, 0, -30, 0, 32, -21, 0, -3, -15, 0, 5, -103, 0, 9, 6, 0, 11, -17, 0, -35, 7, 0, -6, 0, 0, -12, -38, 0, -24, 47, 0, 45, -28, 0, 0, 49, 0, 24, -15, 0, -3, -66, 0, 14, -50, 0, -26, 23, 0, 82, -13, 0, -33, -36, 0, 45, 0, 0, 25, -87, 0, 5, 53, 0, -27, 5, 0, 0, 66, 0, 25, -41, 0, 3, 0, 0, 33, 24, 0, 16, -23, 0, -10, -10, 0, -7, 42, 0, 25, 0, 0, 78, -27, 0, -16, 7, 0, 27, -40, 0, 0, -83, 0, -50, 38, 0, 25, -50, 0, 110, 0, 0, 13, -56, 0, 15, 11, 0, 18, -30, 0, 67, 0, 0, -36, 11, 0, -23, 5, 0, 33, -7, 0, 0, 44, 0, 8, 103, 0, 67, 20, 0, 26, -67, 0, 12, 12, 0, -39, -66, 0, 100, -14, 0, 47, 0, 0, -30, -38, 0, -16, -101, 0, 142, -21, 0, 0, 39, 0, 16, -24, 0, -13, -19, 0, 0, -22, 0, 8, -105, 0, 15, -13, 0, 106, 17, 0, -42, 0, 0, -3, -15, 0, 35, -17, 0, -30, -1, 0, 0, 0, 0, 34, -50, 0, 25, 4, 0, 25, 34, 0, -70, 70, 0, 57, 9, 0, 39, 10, 0, -5, 0, 0, 72, 21, 0, -99, 65, 0, -101, -13, 0, 0, -66, 0, 26, 41, 0, 83, 108, 0, -46, -5, 0, -65, 28, 0, -144, -18, 0, 13, -160, 0, 11, 0, 0, 39, -48, 0, 150, 0, 0, 42, -93, 0, 0, -62, 0, 5, 24, 0, -13, -4, 0, -55, 20, 0, 81, 80, 0, -1, -28, 0, 89, -23, 0, 79, 0, 0, -72, 5, 0, 33, 40, 0, -40, -26, 0, 0, -23, 0, -84, -2, 0, 63, 32, 0, -130, 42, 0, 10, 17, 0, -11, -24, 0, -3, -54, 0, -20, 0, 0, 97, -142, 0, -45, 14, 0, -5, -80, 0, 0, -45, 0, 40, -11, 0, -138, 17, 0, 4, -98, 0, 80, -35, 0, -17, 116, 0, -28, 22, 0, -66, 0, 0, 30, -6, 0, -16, 25, 0, -5, -65, 0, 0, -6, 0, -81, 6, 0, 3, -70, 0, -84, -52, 0, -24, 19, 0, 11, -59, 0, 36, 170, 0, -20, 0, 0, 19, 1, 0, -133, 52, 0, -20, 75, 0, 0, -32, 0, -33, -30, 0, -95, 3, 0, -65, 27, 0, 73, 2, 0, 100, -174, 0, -3, -91, 0, 40, 0, 0, 58, -55, 0, 68, 26, 0, -108, 7, 0, 0, -5, 0, -121, -72, 0, -69, 139, 0, 38, 5, 0, -58, 68, 0, -7, 10, 0, -113, 35, 0, 21, 0, 0, 24, -42, 0, 79, -21, 0, 7, -22, 0, 0, -21, 0, 5, 10, 0, -58, 10, 0, 6, 46, 0, 6, 81, 0, 5, 58, 0, -186, -51, 0, -98, 0, 0, -201, 57, 0, -1, -75, 0, -68, 67, 0, 0, -35, 0, -20, -15, 0, 67, 187, 0, 4, 22, 0, -9, 100, 0, -76, 27, 0, 100, 30, 0, -126, 0, 0, 0, 8, 0, -12, 7, 0, 7, 15, 0, 0, 14, 0, 25, -74, 0, 15, -69, 0, -3, 40, 0, -74, -27, 0, -37, 24, 0, -18, 40, 0, 30, 0, 0, 83, 56, 0, -3, -150, 0, 67, -23, 0, 0, 205, 0, 25, -33, 0, 9, 105, 0, -94, 74, 0, 115, -23, 0, 76, 11, 0, 17, -74, 0, -98, 0, 0, -79, 130, 0, -31, 2, 0, -25, 76, 0, 0, -9, 0, -36, 35, 0, 10, -23, 0, -69, -2, 0, -66, 89, 0, 5, 220, 0, 26, -4, 0, -30, 0, 0, -27, 43, 0, 18, 38, 0, -23, 42, 0, 0, 152, 0, -110, 79, 0, 23, 17, 0, 37, -38, 0, -7, -50, 0, -52, 7, 0, -26, -62, 0, -143, 0, 0, -105, 155, 0, 45, -34, 0, 24, -15, 0, 0, 78, 0, 62, -1, 0, -50, -1, 0, -27, 27, 0, 85, -44, 0, -73, -23, 0, -31, -26, 0, 47, 0, 0, -30, -38, 0, 81, 52, 0, -155, -84, 0, 0, -2, 0, 18, -106, 0, 62, -105, 0, -21, -37, 0, -97, -134, 0, 158, -21, 0, -72, 231, 0, 15, 0, 0, 25, 177, 0, 59, -72, 0, 39, -38, 0, 0, -132, 0, 30, 112, 0, -34, -107, 0, 16, -211, 0, 68, 20, 0, 48, -161, 0, -55, -65, 0, -34, 0, 0, -161, 35, 0, -18, 15, 0, -55, 51, 0, 0, 105, 0, 133, -18, 0, -70, -69, 0, -60, 22, 0, 45, -145, 0, 44, -54, 0, 27, -157, 0, -47, 0, 0, 16, -41, 0, -105, 6, 0, 2, -4, 0, 0, -48, 0, 28, -79, 0, -92, -38, 0, 68, 245, 0, 65, -98, 0, 15, 145, 0, -140, 102, 0, 70, 0, 0, -98, -41, 0, -15, 77, 0, 111, 40, 0, 0, 3, 0, 19, -16, 0, -102, -47, 0, 75, 44, 0, 41, 115, 0, 38, -30, 0, -16, 62, 0, 52, 0, 0, 43, 130, 0, 15, -65, 0, -13, 33, 0, 0, -40, 0, 25, -215, 0, -7, 43, 0, 29, 29, 0, 72, -32, 0, -84, -54, 0, -88, 147, 0, 3, 0, 0, -40, 30, 0, -137, -40, 0, -113, 20, 0, 0, 143, 0, 10, -17, 0, 86, -219, 0, 31, -16, 0, 42, 25, 0, 41, 64, 0, 22, 1, 0, -1, 0, 0, -44, -25, 0, -189, 4, 0, 125, -3, 0, 0, -89, 0, 115, 206, 0, -293, 50, 0, -33, -58, 0, -9, 57, 0, 8, 43, 0, -116, -27, 0, 4, 0, 0, -88, 29, 0, 89, -65, 0, -13, -115, 0, 0, -278, 0, -31, 14, 0, -115, 5, 0, -159, -35, 0, 42, 128, 0, -35, 6, 0, -5, -148, 0, 170, 0, 0, 119, 12, 0, 33, 64, 0, -169, -57, 0, 0, 1, 0, 62, 31, 0, 47, 114, 0, -31, 47, 0, 16, -44, 0, -30, 35, 0, -78, -6, 0, -107, 0, 0, 7, 32, 0, -121, -74, 0, -49, 27, 0, 0, 82, 0, -93, 49, 0, 6, -165, 0, -93, -55, 0, -139, -65, 0, 9, -6, 0, 91, -100, 0, -118, 0, 0, 10, -35, 0, 298, 64, 0, 101, -83, 0, 0, 0, 0, -34, 100, 0, -153, -133, 0, 62, -269, 0, -24, -47, 0, -52, -35, 0, 75, 52, 0, -6, 0, 0, -159, -9, 0, -25, -60, 0, -85, 1, 0, 0, -151, 0, 43, 51, 0, -9, -237, 0, 45, 31, 0, 187, 98, 0, -8, -23, 0, -123, 55, 0, -267, 0, 0, 80, -10, 0, -94, 80, 0, 0, 137, 0, 0, 28, 0, 165, 91, 0, -54, -3, 0, 10, 66, 0, 45, 25, 0, -93, -70, 0, -42, -72, 0, 113, 0, 0, -28, -23, 0, -30, -155, 0, -187, -11, 0, 0, -20, 0, 158, 32, 0, 60, 91, 0, -21, 14, 0, 1, -60, 0, 70, 68, 0, 67, -3, 0, 60, 0, 0, -15, -125, 0, 115, -64, 0, 59, 85, 0, 0, 5, 0, 56, 64, 0, -103, 116, 0, -7, 212, 0, 112, -78, 0, -110, 9, 0, 5, 6, 0, 6, 0, 0, -28, 56, 0, -47, -58, 0, -11, 11, 0, 0, 8, 0, -17, -21, 0, -80, 236, 0, 109, 54, 0, -27, -35, 0, 36, 89, 0, 7, -25, 0, 108, 0, 0, 14, -230, 0, -29, -6, 0, -79, -129, 0, 0, -20, 0, -9, -357, 0, 26, -120, 0, 42, -12, 0, -175, 24, 0, -38, -72, 0, 218, -75, 0, -43, 0, 0, 0, -24, 0, -90, -5, 0, 47, -48, 0, 0, 64, 0, 295, 77, 0, 126, 45, 0, -84, -51, 0, -28, -68, 0, 238, 59, 0, 137, -119, 0, 60, 0, 0, 28, 85, 0, 49, -8, 0, 135, -249, 0, 0, -41, 0, -138, 24, 0, -17, -29, 0, -15, -115, 0, -21, 89, 0, -81, -23, 0, -87, -3, 0, 145, 0, 0, -66, 114, 0, 49, 133, 0, -26, 120, 0, 0, 14, 0, 44, -89, 0, -50, 203, 0, -55, 0, 0, 22, -195, 0, 18, -26, 0, -100, 28, 0, 23, 0, 0, 60, -12, 0, 125, -156, 0, -74, 82, 0, 0, 116, 0, -13, 259, 0, 139, -63, 0, 64, -70, 0, -252, -33, 0, 92, -28, 0, -36, 3, 0, 31, 0, 0, 281, -9, 0, 127, 45, 0, 6, -32, 0, 0, -17, 0, 71, 16, 0, -36, -275, 0, -9, 25, 0, -25, 47, 0, -87, 145, 0, 16, 267, 0, -21, 0, 0, 112, 5, 0, -49, -2, 0, 53, -139, 0, 0, -2, 0, -121, -73, 0, 300, -27, 0, -23, -54, 0, 5, -65, 0, -86, 7, 0, 67, -114, 0, 53, 0, 0, 92, 101, 0, 66, 50, 0, 130, 175, 0, 0, 17, 0, 72, 25, 0, 22, -131, 0, -41, 41, 0, 44, 31, 0, 226, 76, 0, 7, 3, 0, 228, 0, 0, 0, 54, 0, -56, -43, 0, 72, 140, 0, 0, 33, 0, -25, 100, 0, 24, -107, 0, 96, -69, 0, 94, 26, 0, 65, 16, 0, 3, -60, 0, -23, 0, 0, 227, 3, 0, 116, -236, 0, 101, -10, 0, 0, 173, 0, -10, 143, 0, 30, 98, 0, -62, -58, 0, 16, -7, 0, -157, 0, 0, 42, 40, 0, -6, 0, 0, -82, 18, 0, -175, 25, 0, 74, -103, 0, 0, 124, 0, 101, -172, 0, 136, 68, 0, 14, 78, 0, -169, -87, 0, -27, -90, 0, -71, 59, 0, 12, 0, 0, -18, -16, 0, -21, 101, 0, 7, 42, 0, 0, 100, 0, -184, 71, 0, 31, 27, 0, 30, 89, 0, -40, -7, 0, -75, 64, 0, -5, -69, 0, -5, 0, 0, 196, -59, 0, -83, -39, 0, 29, 54, 0, 0, -16, 0, -112, -50, 0, -194, 115, 0, 38, 186, 0, 119, -82, 0, 16, -70, 0, -157, 25, 0, 51, 0, 0, -50, -75, 0, -19, -81, 0, -125, 20, 0, 0, 110, 0, -200, 1, 0, 0, -99, 0, 9, -44, 0, -69, -94, 0, -211, 13, 0, 51, 160, 0, -56, 0, 0, -111, -72, 0, 292, 166, 0, 136, 15, 0, 0, 179, 0, 11, 160, 0, 381, 75, 0, -236, 15, 0, -217, 18, 0, 114, 150, 0, -30, 27, 0, 16, 0, 0, -279, 23, 0, 79, 67, 0, 60, 27, 0, 0, 1, 0, -49, -73, 0, 19, -30, 0, -184, -36, 0, -58, 190, 0, 11, -145, 0, 123, 52, 0, -234, 0, 0, 92, -23, 0, -92, -73, 0, 5, -135, 0, 0, 13, 0, 20, -284, 0, -225, 33, 0, -98, 9, 0, -7, -110, 0, -95, -179, 0, 117, 1, 0, -177, 0, 0, 238, -12, 0, 44, 390, 0, 154, 132, 0, 0, 33, 0, -49, 8, 0, 164, -55, 0, 103, -4, 0, 2, 124, 0, -200, -169, 0, 0, 67, 0, -257, 0, 0, 20, 80, 0, -230, -71, 0, 36, 22, 0, 0, 26, 0, 48, 93, 0, -67, 73, 0, -9, -25, 0, 103, 41, 0, 62, 12, 0, -66, -147, 0, 12, 0, 0, -90, 110, 0, -57, -90, 0, -136, -39, 0, 0, -162, 0, -66, 24, 0, -186, 105, 0, 150, 106, 0, 7, 100, 0, -77, 128, 0, -14, 34, 0, 352, 0, 0, -77, -205, 0, 87, 47, 0, -57, 141, 0, 0, -71, 0, 74, -57, 0, 7, 14, 0, 24, -30, 0, 235, -57, 0, -38, 231, 0, 203, -124, 0, 67, 0, 0, 55, -16, 0, 15, 31, 0, -101, 25, 0, 0, -198, 0, 20, -24, 0, 74, 142, 0, 166, 42, 0, -21, -30, 0, 139, 26, 0, -35, 80, 0, 26, 0, 0, -46, 38, 0, 39, -295, 0, 84, 188, 0, 0, 63, 0, -44, 16, 0, 332, 60, 0, -24, 137, 0, -100, -75, 0, 7, 47, 0, 109, -13, 0, 163, 0, 0, -19, -37, 0, -173, 144, 0, -383, -191, 0, 0, 0, 0, 110, 5, 0, -22, 64, 0, 103, -35, 0, 257, 120, 0, -2, 8, 0, 82, -158, 0, -105, 0, 0, 38, -326, 0, 119, -9, 0, -165, 15, 0, 0, -120, 0, -13, -269, 0, 106, -6, 0, 83, -400, 0, 39, 106, 0, 62, -167, 0, 17, 129, 0, -78, 0, 0, 218, 132, 0, 181, -42, 0, 110, 10, 0, 0, 72, 0, -377, 60, 0, -38, 182, 0, 37, -3, 0, 38, -125, 0, -15, 22, 0, 202, 90, 0, -29, 0, 0, 99, 35, 0, 26, 144, 0, -17, -4, 0, 0, -21, 0, -76, -206, 0, -203, -30, 0, 78, -351, 0, -1, 116, 0, 132, 130, 0, -35, 52, 0, 101, 0, 0, -165, 23, 0, 0, 189, 0, 292, -46, 0, 0, -427, 0, 114, 34, 0, -16, 103, 0, -50, -77, 0, 34, 14, 0, -106, 57, 0, -39, 25, 0, -10, 0, 0, 4, -125, 0, -9, 113, 0, 66, 33, 0, 0, 25, 0, 58, -75, 0, 34, 143, 0, 12, 298, 0, -85, 110, 0, 64, -70, 0, -35, 43, 0, 70, 0, 0, -437, -102, 0, -142, -63, 0, 97, 57, 0, 0, -128, 0, 9, 50, 0, -46, -242, 0, -96, -70, 0, -89, 39, 0, 385, -40, 0, 10, -210, 0, 0, 0, 0, -81, -35, 0, -112, -5, 0, -36, 258, 0, 0, -119, 0, 35, 267, 0, 58, 192, 0, 171, 72, 0, 96, 80, 0, 21, -328, 0, 39, -282, 0, -33, 0, 0, 146, -99, 0, 50, 264, 0, 65, -49, 0, 0, 84, 0, 174, 50, 0, -140, -101, 0, 44, 79, 0, -13, 70, 0, -76, 91, 0, -29, 158, 0, 30, 0, 0, 60, -120, 0, -66, -122, 0, -7, -242, 0, 0, -17, 0, -107, 26, 0, 101, 61, 0, 41, -150, 0, -290, 64, 0, -10, -84, 0, 42, 83, 0, 40, 0, 0, 108, 39, 0, -64, -140, 0, 21, -101, 0, 0, -46, 0, -241, -35, 0, -5, -7, 0, 51, -151, 0, -165, -235, 0, -19, -65, 0, -45, -4, 0, 28, 0, 0, -93, 163, 0, -112, 80, 0, 3, -144, 0, 0, 180, 0, -18, 131, 0, 6, -75, 0, 29, 460, 0, 151, 13, 0, -95, 72, 0, -160, -60, 0, -201, 0, 0, 20, 145, 0, 31, 11, 0, 44, -12, 0, 0, -386, 0, -267, -103, 0, 81, 51, 0, -260, 39, 0, 86, 117, 0, -48, -60, 0, -122, 25, 0, -120, 0, 0, 63, 150, 0, 165, 74, 0, 0, -215, 0, 0, 5, 0, -129, -152, 0, 108, 42, 0, 0, 37, 0, -93, -91, 0, -138, -165, 0, 10, -140, 0, -72, 0, 0, -288, -74, 0, -62, 13, 0, 100, -19, 0, 0, 19, 0, -450, 5, 0, 150, -80, 0, 24, 70, 0, 47, 361, 0, 107, 59, 0, -11, -13, 0, -90, 0, 0, -4, -233, 0, 75, -34, 0, -153, -341, 0, 0, -55, 0, -99, 185, 0, 20, -42, 0, -74, -266, 0, -81, 58, 0, 24, 81, 0, 330, 75, 0, 80, 0, 0, 84, -73, 0, 49, 120, 0, 172, -1, 0, 0, -45, 0, -28, -101, 0, 93, 75, 0, 293, 180, 0, 150, 89, 0, 98, -52, 0, -23, -133, 0, -144, 0, 0, -95, -38, 0, -24, 79, 0, -157, -23, 0, 0, -2, 0, 32, -85, 0, -66, 10, 0, -104, -72, 0, -164, -115, 0, 5, -262, 0, 157, -58, 0, 81, 0, 0, 116, 33, 0, -19, 121, 0, 40, 175, 0, 0, -51, 0, 100, 27, 0, 125, -40, 0, 189, 3, 0, -26, 7, 0, -28, -200, 0, 28, -51, 0, 72, 0, 0, -73, 155, 0, -23, 12, 0, -154, -115, 0, 0, 139, 0, 24, -84, 0, -208, -18, 0, -2, 200, 0, 0, -30, 0, 85, 251, 0, 16, 63, 0, 114, 0, 0, 32, -49, 0, -32, -86, 0, 264, 111, 0, 0, -130, 0, 238, -73, 0, 42, 6, 0, 401, -69, 0, 41, 174, 0, -102, 10, 0, -88, -16, 0, 17, 0, 0, -126, 67, 0, -119, 0, 0, -51, -11, 0, 0, -21, 0, -24, -206, 0, 163, -125, 0]