# Trace form for 5415.2.a.y, downloaded from the LMFDB on 23 December 2025.
[0, 5, -1, -5, 7, 5, 1, 2, -6, 5, -1, 5, -7, -8, -4, -5, 7, 10, -1, 0, 7, -2, 2, -2, 6, 5, -2, -5, 10, -7, 1, -9, -23, -5, 25, 2, 7, 6, 0, 8, -6, 12, 4, -8, 16, 5, -20, 6, -7, 15, -1, -10, -4, 8, 1, 5, 36, 0, 38, -1, -7, 7, 15, 2, 14, -8, -2, -14, -1, 2, -4, -27, -6, 26, -18, -5, 0, 14, 2, 23, 7, 5, -36, -12, -10, 10, -2, 7, 0, -9, -1, 46, -52, 9, 45, 0, 23, 10, 21, 5, 7, 19, -25, -10, 48, -2, 5, 18, -7, -7, 2, -6, -20, 4, 0, -2, -14, -8, -10, 34, 6, 34, -56, -12, -75, 5, -4, -16, -33, 8, -2, 44, -16, 0, -20, -5, 60, 60, 20, 22, 10, -6, 36, 4, 7, -7, -28, -15, 78, -9, 1, 9, 0, 10, 92, -9, 4, -18, -58, -8, -23, -8, -1, -12, 30, -5, 3, 2, -36, -3, 25, 0, -4, 18, -38, 2, 82, 1, 66, -21, 7, -4, 22, -7, 24, 6, -15, -56, -51, -2, 0, 33, -14, 38, -2, 8, -3, 14, 2, 27, -6, 14, -14, 2, 1, 12, -82, -2, -34, 0, 4, -9, -53, 27, -3, -8, 6, -18, 5, -26, 16, 14, 18, -42, 10, 5, -41, -48, 0, -31, -20, -14, 54, 6, -2, 6, -56, -23, -62, 57, -7, -11, 43, -5, -10, 15, 36, 0, 72, 12, -1, -13, 10, -26, -10, -10, 29, 8, 2, 66, -4, -7, 32, -44, 0, 8, 0, 9, 98, -7, 1, 27, -151, -46, 15, 5, 52, 2, -41, -9, 36, 32, -45, 34, -60, 0, 88, 12, -23, 85, 38, -10, 88, -2, -21, -1, -30, -5, 66, -4, -7, 46, -33, -19, 0, 7, 25, 90, 28, 10, 15, -24, -48, -16, -66, 2, -20, -32, -5, 83, 14, -18, -92, 0, 7, -8, -42, 7, -54, 42, -2, 34, -33, 6, 5, -14, 20, 8, 39, -4, -1, -27, 0, 10, 48, 2, -78, -38, 14, 54, -4, 8, -110, 50, 10, -27, -48, -34, -114, -40, -6, 0, -19, -34, 26, 26, 56, -40, -28, 12, -18, 26, 75, 74, 118, -5, 138, 16, 4, -31, 0, 16, 138, 28, 33, 14, 44, -8, 14, -21, 2, -28, 48, -44, 71, 23, 16, 8, -6, 0, 7, -69, 20, 0, 98, 5, 128, 36, -60, -25, -36, -60, 82, -94, -20, -12, 56, -22, 0, 71, -10, 109, 123, 6, 84, 10, -36, 64, 9, -4, -2, -29, -7, 6, -60, 7, 109, 0, 28, 1, 0, 15, -112, -4, -78, -9, 30, 9, -76, 27, -1, 6, -43, -9, -24, 46, 0, -34, 113, -10, -52, 75, -92, -38, -2, 9, -15, -4, -4, -26, 45, 18, -48, 4, 58, 0, 104, 8, 6, 19, 23, 54, -11, 8, -19, 10, 1, 22, 18, 12, 21, 9, -30, -26, 0, 5, -105, -30, -3, -14, 7, -2, -40, 26, 36, 19, -56, 3, 40, 36, -25, 50, -34, 0, -82, -10, 4, 90, 78, -18, 48, 9, 38, 4, 100, -2, -47, 12, -82, 25, 5, -1, 0, -12, -66, 18, -144, 21, 92, -135, -7, -9, 63, 4, 107, -7, -22, 20, 69, 7, 2, 0, -24, -52, -82, -6, 35, 14, 15, 62, -20, 56, -40, -78, 51, 4, -56, 2, 66, -63, 0, 15, -4, -33, -36, -2, 14, 66, -50, -38, -14, -66, 2, -82, -66, -8, 55, 62, 3, 0, -10, -14, 78, 12, -2, 34, 18, -27, -52, -54, 6, 39, 22, -14, -15, 34, 14, -86, 0, -2, -56, 30, -1, -54, -66, -12, -36, -60, 82, -58, -75, 2, 6, -30, 34, 5, 158, 0, 42, 12, -4, -117, -90, 9, 25, -16, 53, -6, 80, -27, -33, 63, 3, 4, -52, 8, 0, 0, -6, 35, -2, 18, -42, -36, -5, 44, 84, 26, 66, -112, -16, 27, -26, -14, -30, 0, -18, -62, 37, 42, -20, 73, -10, 132, -46, -5, -57, 68, 41, 4, 60, 48, -6, 78, 0, 60, -134, 31, -34, 10, 20, -5, 66, 14, 1, 22, -54, -30, -21, -6, 10, 70, 2, 0, -88, -6, -22, 34, 56, 9, 36, 23, 84, 102, 62, 4, -30, -57, 2, -3, 7, 74, 0, 11, 55, -7, -43, -82, -66, 5, -28, 14, 10, -58, -22, -15, 104, 10, -36, 5, 78, 0, -154, -16, -72, -9, 146, -12, 26, -54, 1, 3, -99, 13, 52, 9, -10, 20, -154, 26, 0, 138, 10, 68, -78, 10, 115, -92, -29, 97, 92, -8, 130, -14, -2, -9, -12, -66, -72, 0, 4, -105, -208, 7, -219, -18, -32, 74, -71, 44, -58, -134, 0, 50, -214, -8, 120, -64, 0, 60, -23, -9, -102, -112, -98, -8, -90, 7, -78, 97, -1, 41, 64, -27, 96, -12, 151, 0, -106, 46, 30, 45, -15, 74, -90, -5, -28, -42, -52, 86, 3, -2, -104, 246, 41, 2, 0, 9, 110, 102, -36, 28, -86, -32, -3, -3, 45, 4, -179, -34, 25, -108, 60, 56, -14, 0, -66, 74, -88, -45, -4, -12, 64, 14, 23, 18, 6, -85, -6, -103, -38, 2, -36, 10, 0, 2, -88, 60, -107, 2, 82, -47, 21, 118, 106, 1, -127, -12, 30, 8, 66, 5, -144, 0, -66, -21, -144, 4, 30, 21, 7, 142, -48, -46, -132, -4, 33, 32, 72, 19, 22, 45, 0, -108, -28, -7, -191, -148, -25, -62, 24, -90, -192, 24, -28, 6, -56, -10, -8, -7, -15, 0, -165, 24, -115, -56, 48, -12, 130, 16, -51, 57, 66, 36, 94, -2, 88, -62, 20, -2, 0, 32, 150, -106, 5, 33, 186, -83, -14, 54, -14, -14, 114, 18, -19, 38, 92, 8, 66, 0, -2, -42, -7, 4, -146, 8, 104, -36, 42, -81, -3, -7, 30, 2, 54, 14, 106, -42, 0, -4, 2, 58, 183, -34, -48, 27, 33, -16, -5, -6, -6, -128, -5, -152, 34, 14, 131, 0, -20, -19, -14, -8, -244, -28, -39, 2, -42, 4, -48, -105, 1, 10, -130, 27, -65, 12, 0, -98, -26, -10, -82, 41, -48, 24, 174, -2, 42, -100, 78, 6, -34, 38, -18, -90, -14, 0, -116, -54, -216, 36, 4, 69, -175, -8, -195, -9, 110, 144, 127, -50, -53, 96, -10, 10, 0, 27, 36, 10, 48, -50, -3, 34, 188, -12, 114, -8, 22, 40, 90, -42, 6, 24, -21, 0, -123, -18, 19, -34, -104, 34, 5, 33, -26, -4, -88, -26, 0, 94, -56, -126, 16, 40, 0, -86, 28, 14, -250, -12, 124, 13, 18, 121, -72, -26, -70, -42, -75, -156, 26, -74, 10, 0, -118, -84, -2, 5, -45, -6, -138, 40, -41, -16, 62, 8, -4, -48, -180, 31, -42, -118, 0, -30, 117, -16, -36, -31, -138, -150, -36, -28, -20, 5, -33, -34, 42, -14, 176, -12, -44, 0, 54, 8, -102, 44, -14, 6, 62, 21, -44, 86, -2, -29, 17, 28, -127, 6, -48, -78, 0, 44, -56, -99, -71, -180, -150, -23, -117, -24, -16, -90, -62, -8, -42, -70, 6, 57, 52, 0, -12, 47, -7, 76, -60, 69, 26, -11, -20, 66, 126, 0, 43, 120, -98, 74, -26, -5, 0, 10, -128, 112, -10, -36, -24, -180, 60, 15, 54, 25, 108, 92, 36, 67, -44, 60, -123, 0, -82, 100, 137, 94, 72, 184, 20, 22, -66, 12, -36, 16, -56, -10, -1, 22, -152, 18, 0, -13, -234, -71, 108, -34, 10, -16, 51, -109, 22, -26, -123, 50, -73, -6, -10, -48, -84, 0, -204, -10, 34, 114, 36, -173, 29, -64, -78, -54, -9, 8, 16, 4, -60, -33, 2, 66, 0, 29, 39, 66, 7, 6, -208, -6, -4, -99, 60, -68, -30, -7, 42, -20, -109, 100, 32, 0, -102, -4, -28, -44, 144, -1, 56, 4, 0, 196, 57, -15, -10, 8, 112, 8, -69, 4, 0, 51, 78, 0, -128, 9, 54, -42, -30, 94, 98, -9, 16, 4, 76, -7, 18, -27, -146, 0, 1, -118, -84, -6, -283, 27, 43, 130, -8, 9, -151, 174, 24, 168, -252, -46, 3, 12, 0, 25, 15, 34, 26, -56, -113, 5, 56, 10, -164, 14, 52, -9, -119, -75, -24, 2, 92, 0, -247, 38, -41, -90, 2, 12, 12, -9, 21, 2, 15, -14, 36, 4, 34, 146, 4, 32, 0, 26, -90, 33, -45, 12, 34, -18, 148, 34, 48, 82, -15, -4, -60, -123, -58, -22, -222, 0, 12, -104, -104, 172, 88, -8, -66, -12, -6, 12, -134, -19, 12, -12, -23, 188, 38, -54, 0, 85, 11, 82, -24, -8, 38, -7, 19, 74, 14, -10, -130, 108, -1, 1, 88, -22, -112, 0, -18, -2, 14, -12, 76, -142, -21, 95, 16, -9, -92, -1, 30, -18, 215, 26, -30, -72, 0, -82, 52, -5, -19, -72, 105, 105, 66, 30, -8, -24, 3, -4, 192, 14, -126, -81, -7, 0, -123, 2, 93, 46, 40, -6, 92, -26, -33, 29, -36, 156, -88, -19, 52, 48, 56, 21, 0, -3, 114, 92, -40, 7, 182, -36, 174, -68, 25, 0, -1, -50, -8, 90, 34, -88, 55, 0, 28, -184, 82, -112, -204, 10, 166, 248, -4, 2, 15, -90, 14, -26, -78, -24, 36, 18, 0, 102, -48, 126, 12, -9, 4, -16, -38, 64, 171, -4, -66, 6, -100, -64, 20, 2, 156, 0, 47, 5, -20, -12, -74, 0, 82, -32, 98, -25, 112, 108, -5, 54, -114, 1, -13, 83, 0, -4, -51, 12, 14, 123, 66, -130, 30, -18, 44, 6, 144, 16, -92, -21, 144, 106, -92, 0, 194, 135, -122, 97, 7, 43, -79, 9, -108, -8, -63, 86, 264, -4, -42, -162, -107, -6, 0, 7, 76, -14, 22, 81, -54, -20, -78, 114, -69, 42, 140, -7, 190, 20, -2, 40, -116, 0, -105, 34, 24, 118, 71, 52, -33, 21, 82, -30, -78, 6, -135, 76, -35, 17, 5, -14, 0, -42, -15, -14, -8, -62, -24, -68, 20, -109, -23, -56, -4, 8, 40, 70, 108, 78, 39, 0, -51, -32, 28, -4, 211, 30, 56, -41, -1, -2, -84, -236, -66, -27, 74, 63, -34, 29, 0, 17, -27, -15, -7, 10, 4, -58, 57, 33, 48, 1, 36, 2, -94, 2, 92, -48, -14, 0, -78, -66, -48, 0, 50, -38, -96, 38, -220, -72, 14, 20, 170, 66, 85, 54, -2, -74, 0, 82, -4, -128, 66, 70, 126, 8, -37, -94, -55, -57, -110, -62, -26, -12, -3, 50, -74, 0, 30, -53, 10, -212, 109, 14, -3, -27, -78, 134, 80, -12, -48, -66, 2, 14, 300, -34, 0, 22, -18, 158, -114, 27, 26, 114, 52, -40, -126, 54, -222, -88, -6, -10, -275, -39, 24, 0, -22, -40, 191, 14, -19, 89, 15, -12, 206, -34, 12, 202, -14, 72, 26, 86, -156, 52, 0, 26, -126, 2, 34, 111, 56, 55, 174, -30, 188, -40, 1, 266, 211, 54, -28, 46, 66, 0, 84, 12, -120, 30, 36, -153, -18, 60, -166, 10, -82, 26, -274, 58, 116, -201, 75, 64, 0, -2, -12, 74, -6, -18, -107, 30, 118, -42, -34, 90, -6, -5, -94, -38, -158, -55, 138, 0, 72, 2, -42, 16, 72, -12, -26, -81, 4, 27, -4, 117, -8, -31, 90, 132, -74, -9, 0, 33, -25, 30, -22, 16, -1, -56, -53, 36, 138, 6, -222, 6, -80, 28, -154, 27, -102, 0, 33, -226, -158, -63, -114, 14, -3, -78, 78, -4, 44, -107, 52, -184, -4, -8, -37, -72, 0, 152, 14, 0, -24, -2, 6, -21, -140, -35, -88, -35, 2, 164, -52, -18, 9, -28, 42, 0, 72, 36, 48, -96, 5, 126, 210, -44, -7, -160, -84, 21, 71, -26, 248, 138, -66, 23, 0, 112, -52, -90, 16, 160, -125, -27, -156, 8, 26, 162, -12, 14, -6, -58, 30, -2, -76, 0, 179, 156, 18, -5, 7, 62, -80, 100, -37, -69, 34, -42, -168, -12, 20, -91, 127, -73, 0, 0, 10, 26, 194, -132, 98, 30, 46, 160, -24, 5, -289, -202, 57, 43, 128, -68, 70, 0, -41, 36, 78, -4, 186, -84, -60, -90, -119, -48, 46, -25, 6, -54, 261, -78, -36, -62, 0, -156, -134, -60, -144, 86, 134, 21, 82, -31, -148, 152, 34, -94, 60, -10, -126, 153, -20, 0, 66, 5, -190, -12, -66, -210, 177, -14, 56, 67, -1, 102, 72, -22, 192, 42, 54, -13, 0, 30, 176, -4, 21, 71, 328, 6, -186, 87, -10, -45, 174, -70, 174, 109, -2, -6, 225, 0, 123, 25, 88, 114, -54, 6, 47, -220, 22, -6, 84, -34, 6, 50, -56, 10, 304, -9, 0, 152, -36, 14, -96, -23, 4, 64, -84, -36, 13, -102, 9, 101, -62, -36, -238, -4, 312, 0, 30, 60, -2, 57, 72, -96, -2, -29, 0, 3, -108, -62, -7, -77, -288, -74, -189, 6, 0, -64, 318, -11, -60, 82, -55, 6, -52, 7, -39, -132, 43, -62, 109, 82, 96, -204, 66, 0, 134, -5, 4, 285, 28, -148, -81, -14, -185, 1, -10, -70, -18, 58, 0, 93, 22, 4, 0, 15, 148, 56, -104, 107, -112, -10, -122, -84, 36, -4, -54, -5, -182, 58, -78, 19, 40, 0, 23, -9, 154, -140, 46, 16, 30, -4, 72, 182, -84, 9, 34, -58, -146, -115, -76, 12, 0, -2, -26, 27, 96, 54, -198, 84, -1, 96, -21, -3, -192, 6, 99, 30, -107, -13, -43, 0, -52, -150, 42, -9, -16, 250, 10, -98, -24, -20, 258, 0, 154, 46, 60, -26, 302, 10, 0, -3, 66, -138, 63, -34, -10, -140, -208, -68, 113, -265, 78, 82, 114, -10, 72, 0, -115, 0, -52, 92, 26, -18, 29, 75, 104, -97, 162, -155, -92, -40, -66, 8, -168, -38, -130, 262, 0, 14, -2, 33, 2, -130, -84, 9, -148, 60, 12, 270, -15, 66, -218, -18, 72, -4, -68, 0, 302, 33, -4, 207, -41, 105, -24, -26, 208, 142, 265, -7, 45, 183, 219, 58, -114, 18, 0, 12, 32, 98, -48, -74, 36, 56, 71, 4, -210, -44, 66, -20, 58, -75, -51, 134, -135, 0, 0, -42, 132, -50, 104, 17, 214, -60, 66, 8, 230, -42, -120, -261, 6, 64, -108, 20, 0, 19, -186, -60, 146, 138, 23, 61, -47, 9, 222, 54, 102, -78, -66, 112, -11, -13, 98, 0, -180, 8, -81, -116, 90, 18, -19, -7, -36, 2, 78, 10, -202, -97, -178, -38, 1, 212, 0, -41, -65, 22, -64, 202, -104, 27, 18, -17, -96, -72, 246, 12, -147, 204, -151, 63, 21, 0, -42, 126, 106, 9, -114, -46, -118, -174, -30, 24, 124, -45, -104, -26, 15, -196, -81, -74, 0, -28, 90, -116, -188, 5, -155, 228, 28, 198, -105, 42, 22, -108, 52, -30, -350, -86, -60, 0, -3, 84, 84, 2, 52, -14, 104, 12, 281, -246, 7, 126, -41, 132, 162, -2, -60, -242, 0, -194, -40, -9, 270, -220, -110, 26, -120, -102, -184, 89, 36, -37, -4, -28, -3, 19, 86, 0, 10, 32, -56, -40, 3, -66, -10, 3, 156, -92, -45, 89, 40, -4, 216, 122, 179, 36, 0, 34, 102, -139, -25, -50, 228, 108, -81, 50, -60, -76, -59, -56, -34, -14, 14, -12, 156, 0, 279, 84, 66, 62, -82, -74, -64, 54, 88, -10, -52, 45, -138, 23, 4, 69, 57, 12, 0, 90, -64, -42, 15, -14, 78, -71, -23, -104, -18, -18, -242, 240, -6, 176, 48, 85, 24, 0, 6, 9, -56, 103, 198, 105, 38, -88, 162, -2, 79, 4, 36, -86, 508, -10, 100, -61, 0, 50, 186, -2, 176, -96, 88, 159, -47, -60, -54, -78, 107, 12, -236, -2, -236, -176, -82, 0, 160, 47, -207, 25, -21, -220, 246, -118, 5, -155, -106, 44, 2, -1, 123, 4, 127, 3, 0, 12, 72, 108, -30, -12, -90, -8, -172, -264, -66, -1, 205, -5, -84, 18, 144, -28, 202, 0, -144, 118, 66, -182, -166, 21, -152, 228, 144, -78, 92, -4, 144, -26, -30, -135, 198, -21, 0, 117, -7, 174, 110, -142, -153, -9, 48, 222, 91, 46, 63, -125, 132, -242, 232, 4, 20, 0, -33, 81, 107, -32, -42, -90, -72, -7, 6, -19, 204, -81, -22, 46, 75, -45, -99, 20, 0, -16, 19, 108, 69, 39, 28, 0, 6, 7, -143, 12, 191, 20, 2, 148, -104, -156, 25, 0, 158, 62, -106, 87, -24, -109, -192, 90, -85, -52, 192, -2, 114, -24, -82, -264, 28, 30, 0, -6, 210, -96, 56, 194, 35, 10, -120, 20, 8, 14, 318, 7, -222, 124, 15, -126, -114, 0, -4, 62, 165, 62, 103, -24, -20, -115, 115, 78, -10, 56, 68, -186, -48, -11, -40, 12, 0, -14, -130, -78, 2, -16, 0, -46, 51, -6, -81, -57, -84, 4, -66, -52, 44, -36, -56, 0, -94, -144, 172, 2, 141, 72, -88, -164, 66, 62, 102, -44, -20, -63, -76, 2, 222, -72, 0, -137, 228, -32, 151, 15, -150, 46, -224, 106, -4, 39, -5, 38, 222, -33, 39, 66, -186, 0, -36, 83, -84, 90, 14, -2, -42, -54, -30, -237, 14, 2, -232, 14, -110, 66, -114, 16, 0, -18, -50, -189, 19, 148, 70, -38, -11, 12, -92, 210, -14, -8, 164, 132, -66, -66, -226, 0, 244, -1, 2, -126, -10, 42, -411, -82, 7, -114, -38, -4, -66, -92, 146, -138, 106, -8, 0, -74, -104, 55, 55, 36, -80, -94, -42, 62, -36, 81, 8, -93, 3, -12, -79, 7, 204, 0, -30, 10, 380, -2, -10, 204, -54, 94, 180, -14, 85, 102, -106, 113, 78, 42, -18, 66, 0, 12, 62, 4, 90, 153, -2, -61, -275, -58, -87, 34, -183, -68, -156, 34, 18, 183, 48, 0, 66, -27, -57, -136, -33, -159, -52, 16, -58, 108, 5, -54, -24, 6, 168, -105, 6]