# Trace form for 5225.2.a.y, downloaded from the LMFDB on 08 December 2025.
[0, 15, 5, 4, 17, 0, -1, 21, 9, 15, 0, 15, 11, 13, 9, 0, 21, 17, 22, 15, 0, 6, 5, 26, 1, 0, 3, 1, 46, 9, 0, 14, 18, 4, -13, 0, 12, 9, 5, -22, 0, 4, -6, 28, 17, 0, 27, 14, -4, 32, 0, -40, 14, 3, -39, 0, 34, 4, 26, 1, 0, 2, -3, 45, 5, 0, -1, 37, 26, -7, 0, -7, 16, 42, -43, 0, 17, 21, -64, -10, 0, 31, 22, 14, -32, 0, 37, 29, 9, 15, 0, -22, 26, -18, -44, 0, 71, 8, -10, 15, 0, 0, -26, 34, -22, 0, -19, 42, -13, -8, 0, 19, 93, -1, -1, 0, 3, 29, 6, -1, 0, 15, 48, 17, -13, 0, 117, 79, 20, 23, 0, 24, 11, 21, -10, 0, -49, 2, -21, 10, 0, 53, 52, 13, -86, 0, -41, -9, 25, -44, 0, 44, 9, -9, 9, 0, 0, 50, -51, -4, 0, 16, 71, 51, -82, 0, 58, 14, 101, -18, 0, 15, 93, 8, -118, 0, 21, 42, -30, -1, 0, 2, 22, 53, -35, 0, -27, 17, -43, -55, 0, 29, 23, 45, -67, 0, 160, 38, 22, -47, 0, -27, -11, -14, -103, 0, 132, 78, -50, 15, 0, 0, -22, 59, -20, 0, 14, 46, -11, -28, 0, 47, 75, 27, 25, 0, 56, -15, 11, -12, 0, 6, 116, 74, -29, 0, 132, 12, -63, -7, 0, -7, 5, -58, -41, 0, 25, 13, -80, -9, 0, -9, 75, 26, -37, 0, -27, -50, 82, -19, 0, 75, -39, 29, 1, 0, 9, 28, -74, -48, 0, -41, 71, -66, -136, 0, 114, 104, 1, 70, 0, -22, 79, 46, -101, 0, 3, 3, -1, 80, 0, 41, 86, 21, -63, 0, -95, 1, 18, -37, 0, 4, -52, 18, 21, 0, 160, 0, 46, -109, 0, -24, -80, 61, 58, 0, 96, -26, -27, 9, 0, -39, 102, 17, -27, 0, 50, 42, -41, 8, 0, 73, 47, 15, 13, 0, 81, -4, 31, -65, 0, 14, 22, 150, 72, 0, -67, 23, -164, 45, 0, -73, 18, 1, -88, 0, 47, -151, 112, -2, 0, 15, 19, 4, -125, 0, 49, 92, 22, 20, 0, -56, -116, 39, -13, 0, -64, 10, -288, -14, 0, -28, 90, -106, -79, 0, 94, 91, -40, 62, 0, -27, -28, 175, 6, 0, 12, 120, 27, 6, 0, 21, -142, 91, -74, 0, 28, 9, -104, 24, 0, -60, 115, 90, 148, 0, 9, -22, 5, -54, 0, -70, -1, 68, 19, 0, 311, -57, -49, -22, 0, -13, 7, 14, -179, 0, 78, 26, -90, 8, 0, 88, 147, 3, 71, 0, -122, -73, 144, 37, 0, 4, -43, 112, -24, 0, 1, 20, -159, -168, 0, -37, -6, 94, -154, 0, 51, 50, 2, 126, 0, -86, 126, 28, -151, 0, 51, -181, -15, 16, 0, 39, -139, -74, 17, 0, -117, 24, -11, -66, 0, -5, 75, 20, 3, 0, -25, -135, 0, 50, 0, -105, -27, -24, 130, 0, 27, 61, 181, 63, 0, 26, -42, 1, -55, 0, 104, 14, -146, -2, 0, -77, -106, 120, 55, 0, -47, 153, -4, -25, 0, -100, 46, -10, -25, 0, 101, -93, -145, 32, 0, -34, -205, 151, -97, 0, -186, 87, -32, -18, 0, 9, 168, -56, 139, 0, -138, 1, 112, 31, 0, -40, 190, -29, 103, 0, 11, 208, -38, 18, 0, -28, 14, -61, 87, 0, 0, -44, -95, 81, 0, 45, -24, 3, -100, 0, -120, -74, 39, 14, 0, 57, -166, 50, -39, 0, -226, -73, -88, 0, 0, -53, 276, 105, 116, 0, 262, 162, 18, -2, 0, -42, -110, 135, -10, 0, 34, 1, -29, 98, 0, -221, -25, 29, -82, 0, 117, 4, -43, -44, 0, -140, 32, -45, 131, 0, -95, -18, 26, -171, 0, -97, -284, 104, 176, 0, -13, 98, -354, 1, 0, -112, 23, 63, -69, 0, -156, -37, -133, 6, 0, -32, 69, -90, 16, 0, 76, -131, -99, 99, 0, 2, 215, 42, -52, 0, -170, -96, -185, -47, 0, -13, -3, -29, 12, 0, 28, -107, 284, 40, 0, -67, 97, 45, 66, 0, -229, -74, -120, 30, 0, -13, -122, 9, 5, 0, -32, -66, -59, -38, 0, -113, -13, -60, -218, 0, 241, -95, 206, 30, 0, 19, 5, 112, -49, 0, -1, 111, -168, 324, 0, 57, -71, 100, -195, 0, -101, 37, 122, -86, 0, -22, -65, -45, -81, 0, -221, 174, 26, 14, 0, -120, -193, -94, 104, 0, 18, -5, -247, -7, 0, 1, -267, 159, 24, 0, -130, 139, -249, 129, 0, -99, 252, 25, 142, 0, -101, -132, 133, 4, 0, -7, -123, 180, 257, 0, 36, -52, -66, 66, 0, -108, 16, 31, 228, 0, -101, -102, -6, 35, 0, -129, -60, 42, -121, 0, 234, -78, -36, 119, 0, -76, -318, 150, -43, 0, -43, 28, -317, 75, 0, -105, 81, 215, 111, 0, -67, 60, 157, 80, 0, -12, -149, 16, -37, 0, 17, -29, -202, -29, 0, 70, -87, 62, -85, 0, 73, 21, -3, 273, 0, -35, 174, 152, 25, 0, -92, -93, -64, -73, 0, -160, -16, -102, 164, 0, 154, -84, 2, -10, 0, -78, -104, -40, 27, 0, 29, 74, -113, 242, 0, -89, 311, 103, 204, 0, -76, -15, 9, 266, 0, 31, 59, 14, -74, 0, 24, -209, -69, -8, 0, -26, 22, 82, 123, 0, 75, 99, -171, -85, 0, -178, -4, 14, -115, 0, -147, -149, -85, 67, 0, -35, -228, -21, -32, 0, -20, 12, 80, 16, 0, 32, 269, -161, -61, 0, -11, 43, 66, 30, 0, -106, -226, 136, 218, 0, 37, 12, -196, 188, 0, -22, -443, -132, -215, 0, 60, 29, -127, -104, 0, -165, -25, 119, 64, 0, 64, 107, 9, -40, 0, 18, -514, 30, 104, 0, 10, -102, -385, 15, 0, -73, 33, 52, 104, 0, 334, 238, 14, 26, 0, 128, -135, -11, 148, 0, 49, -114, -75, 117, 0, -22, -104, 108, 29, 0, -16, 3, -424, -28, 0, -58, 26, -22, 39, 0, -32, -137, 69, -16, 0, -66, -266, -18, -212, 0, -39, -87, -363, -9, 0, 0, -206, 94, -44, 0, -64, -293, -106, 50, 0, -91, 33, -131, 55, 0, 176, 10, -21, 211, 0, -4, -129, 11, 268, 0, 71, 92, 156, -6, 0, 119, -269, 115, 34, 0, 78, 8, 158, 152, 0, -195, -136, -117, 307, 0, 27, -124, -10, 69, 0, 17, -234, 4, -73, 0, 217, 156, -110, 15, 0, 66, -445, 81, -136, 0, -446, 46, -253, 94, 0, -7, 26, -77, 266, 0, -77, -303, 234, 125, 0, 0, -135, -28, -75, 0, -61, -141, -228, -234, 0, 1, -26, -19, 4, 0, -109, 201, 154, -36, 0, 0, 3, 34, 16, 0, 37, -188, 44, -58, 0, -19, -253, 76, -22, 0, 153, 102, -478, 43, 0, -61, 27, 32, -96, 0, 60, -96, 152, 2, 0, 221, -180, 43, -139, 0, -19, 71, 124, 229, 0, -51, 25, -133, -26, 0, 483, 42, -3, -213, 0, -100, -87, 3, -57, 0, -91, 8, -13, -3, 0, -164, -219, -142, 188, 0, 6, 45, -170, -8, 0, -39, -278, 105, 403, 0, -11, 98, -41, 49, 0, 61, 21, 105, 85, 0, 5, -191, -477, -155, 0, 19, -53, 55, -91, 0, -26, 34, -25, 4, 0, 9, 93, -117, -4, 0, 60, -105, -214, 167, 0, -32, -289, -1, -47, 0, -494, -104, 65, 10, 0, 293, 32, 190, -1, 0, 179, -121, 20, -30, 0, -155, 129, 47, -7, 0, 262, 1, -104, 184, 0, -20, -308, 37, -72, 0, 3, 25, -48, 85, 0, 270, -289, 26, -262, 0, 143, 29, 199, 43, 0, -70, 26, -185, 19, 0, -547, -11, 6, -43, 0, 25, -523, 255, 190, 0, 97, -18, 42, -1, 0, -7, -261, -211, -231, 0, -124, 180, 131, -4, 0, -97, 36, -401, 348, 0, 161, 60, -310, 113, 0, 15, 2, -41, -103, 0, -15, 13, -258, -85, 0, -58, 48, 49, 190, 0, 111, -240, 94, -7, 0, 74, -96, 17, 57, 0, -246, -264, -330, -59, 0, -137, -112, 148, -13, 0, 128, 70, 16, -60, 0, 245, 590, 35, -230, 0, 420, 108, 94, 285, 0, -2, -11, 63, 128, 0, 117, 42, -182, 386, 0, 129, -294, -138, 114, 0, -150, 79, 180, -24, 0, -233, -143, -93, -95, 0, -43, 14, 20, -132, 0, -104, -345, 132, -440, 0, 108, -113, -146, 23, 0, -282, -236, 191, 183, 0, -115, 25, -857, 134, 0, 228, 135, -233, -344, 0, 22, -153, 131, -76, 0, 24, 321, 214, 17, 0, -140, 29, 134, 384, 0, -89, 11, 95, 1, 0, -311, -86, 509, 77, 0, -219, -163, 21, -394, 0, -90, -94, 237, 116, 0, -10, -176, -185, -10, 0, 288, -96, -169, 60, 0, -192, -64, 78, -461, 0, -156, 69, -249, 275, 0, 367, -260, 89, 148, 0, -49, 188, 282, -242, 0, -10, 90, -117, -292, 0, 10, 2, 429, -49, 0, -131, 16, -45, -126, 0, -342, 54, -21, 0, 0, -150, -315, -259, -11, 0, 321, 322, -99, 10, 0, 78, -268, 114, 172, 0, -293, 252, 147, 31, 0, 79, -13, 129, 342, 0, -293, -37, -108, 284, 0, 53, 181, 104, -24, 0, 327, -254, 22, -219, 0, 67, 52, 162, -205, 0, 333, 29, -58, 130, 0, -138, 351, 13, 11, 0, -179, 14, -203, -210, 0, -52, -145, 145, -86, 0, -101, -257, 237, -303, 0, -55, 383, -89, -142, 0, -32, 88, -355, 60, 0, -129, -381, 259, 20, 0, -41, 27, 4, 110, 0, -256, 118, -15, -118, 0, 338, -9, 284, -124, 0, -150, 69, -389, 376, 0, 102, 231, 25, 101, 0, 255, -258, -47, 37, 0, 123, -106, 39, -44, 0, -159, -126, -133, -138, 0, 91, 636, 143, 389, 0, 293, 179, 29, -82, 0, 114, -5, -33, -132, 0, 44, 128, 279, -74, 0, -495, 235, -138, 10, 0, -113, 9, -230, -298, 0, -180, -154, 10, 61, 0, -77, -33, -9, 25, 0, -80, -171, 14, 5, 0, 15, -64, -73, 9, 0, -28, -170, 220, -52, 0, -472, 116, -181, 76, 0, 283, 375, -52, 1, 0, 121, -249, -203, -69, 0, 0, 338, 202, 2, 0, 68, -40, 107, -78, 0, -192, 50, 419, -22, 0, 56, -299, 262, 93, 0, -653, -89, -51, -67, 0, -252, -27, -48, 305, 0, 6, 24, 26, -4, 0, 203, -26, 152, -108, 0, -53, 66, 224, 138, 0, -17, -14, -273, 153, 0, 92, -18, 257, 117, 0, 16, 416, -77, 354, 0, 84, -35, 40, -42, 0, -39, 71, 327, -290, 0, -44, 34, -283, -68, 0, -70, -97, 51, -437, 0, -201, -293, 294, -101, 0, 0, -56, -270, -82, 0, 475, 53, -373, -98, 0, -60, 539, -157, -63, 0, -184, -124, 95, 140, 0, -47, -120, -25, 71, 0, 58, 305, 164, 120, 0, -225, -90, -144, -74, 0, 130, 14, 459, -99, 0, -175, 231, 8, -71, 0, -124, 79, 101, -9, 0, 245, -368, -174, 351, 0, 155, -19, 230, -18, 0, -218, -10, 283, -75, 0, -43, -48, 24, 352, 0, 110, -89, 20, 328, 0, -20, 175, 8, -115, 0, 15, -15, -141, -109, 0, 158, 97, 254, 112, 0, -105, 93, -12, 260, 0, -254, 53, 12, 68, 0, -139, -138, 8, -36, 0, -206, 117, -197, 117, 0, -200, -34, 133, -118, 0, 26, -59, -246, 0, 0, -79, 136, -23, 115, 0, 68, 112, -290, 123, 0, 70, 146, 164, -72, 0, 21, -3, -26, 165, 0, 33, 216, 207, -274, 0, 333, 42, 235, -53, 0, -66, 355, 63, 472, 0, -146, 34, -30, -380, 0, -106, 120, 51, 100, 0, 62, 154, 433, -1, 0, 208, -19, -70, 256, 0, -22, 52, -144, -122, 0, 69, -134, 26, -50, 0, 155, -246, -138, 290, 0, 2, 389, -80, 98, 0, -261, 87, -330, -9, 0, 41, 22, -123, -286, 0, 163, -59, 213, -75, 0, 67, -162, 53, -19, 0, -67, -47, 189, 181, 0, -132, 166, 391, -35, 0, 30, -1, 77, 192, 0, 275, 337, 42, -494, 0, 97, -138, 183, 19, 0, 148, 133, 201, 445, 0, -27, 234, -35, 62, 0, 195, -13, 19, -126, 0, -206, 17, 184, -247, 0, -369, 142, 7, -226, 0, -137, 205, -43, -19, 0, -8, -459, -172, -11, 0, 310, 7, 221, -55, 0, -107, -101, -6, -277, 0, -190, 403, -460, 174, 0, 478, 117, -301, 229, 0, 57, 323, -333, -51, 0, 29, 177, 112, 398, 0, 326, 32, 567, 19, 0, 152, 23, 278, -243, 0, -18, -229, -123, 116, 0, 117, 365, 45, -79, 0, 338, 60, 93, -19, 0, 329, 199, 149, -67, 0, 506, 106, -219, -373, 0, -174, 574, 263, 53, 0, -67, -1, -45, 138, 0, 250, -338, -28, 176, 0, 160, -174, 285, 36, 0, 118, 238, -221, -455, 0, -1, 38, -311, -74, 0, -80, 228, 143, -162, 0, 78, 20, 22, 10, 0, -45, -476, -163, -383, 0, 278, -212, 100, -47, 0, 499, -68, -318, 357, 0, -232, 14, 480, 228, 0, -125, -87, -160, 3, 0, -171, 83, 581, -11, 0, -27, 69, 77, -267, 0, 254, -26, -249, -517, 0, 0, -11, 29, -270, 0, 245, -109, 252, -15, 0, -18, -37, -14, 76, 0, -252, -113, 195, -58, 0, -45, 6, -79, -103, 0, -242, -195, 342, 122, 0, 29, 71, -379, 322, 0, 165, -82, -130, -155, 0, -1, -11, 159, -109, 0, 132, 73, 244, 143, 0, -76, 224, -242, -385, 0, 248, 78, 210, -111, 0, -106, 337, -339, -8, 0, 4, 244, -50, -198, 0, 223, 174, 2, 185, 0, 8, -253, 204, 15, 0, 319, -21, 86, 241, 0, -165, 63, -241, -277, 0, 18, 310, -97, 64, 0, 438, -15, 48, -69, 0, 0, 510, -34, 29, 0, -44, -37, -316, 196, 0, 75, -22, -57, -95, 0, 121, 17, -290, -249, 0, 10, 99, 59, 70, 0, -499, 164, 310, 273, 0, 169, 484, 207, -20, 0, -13, -88, -609, -138, 0, -112, 200, 246, -466, 0, 317, 229, -84, 504, 0, 253, 48, 12, 137, 0, 14, -42, -351, 60, 0, 39, -6, 101, -649, 0, -128, 46, 511, -112, 0, 166, -209, 15, 117, 0, -203, -6, -11, -197, 0, 147, 191, 39, -90, 0, 608, 152, 428, -28, 0, 257, 319, 79, -434, 0, 165, 185, 284, -263, 0, 116, -24, -133, -147, 0, 350, -39, 490, 121, 0, 47, 20, -364, -74, 0, -371, -156, -349, -137, 0, -87, 75, 292, -105, 0, -159, -21, -253, -72, 0, 23, -155, 27, -158, 0, 68, -232, 577, -75, 0, 68, 232, 40, 25, 0, 375, -102, -426, -102, 0, 0, 453, -485, -56, 0, 250, 13, -149, -1, 0, -160, -58, 6, -555, 0, 56, 295, 197, 24, 0, 164, 435, 392, 218, 0, -177, -15, -8, -596, 0, -204, 574, 142, 141, 0, 110, 248, 11, -297, 0, 406, 126, 119, -226, 0, 567, -126, -119, -12, 0, -236, 83, 54, 281, 0, 173, 21, 344, 30, 0, 277, 482, -203, 175, 0, 103, -33, 137, -329, 0, 6, 333, 159, -220, 0, -10, 24, -525, -174, 0, -206, 116, 53, -342, 0, -42, 66, 251, 141, 0, -290, 365, 74, -457, 0, -377, -194, -397, 59, 0, 127, 261, 123, -29, 0, 127, -459, -77, 58, 0, -174, 319, 249, -49, 0, 147, 229, 0, 302, 0, -45, -501, 114, 226, 0, 132, -280, 50, -125, 0, 48, -542, 2, -714, 0, 505, 12, 174, -329, 0, -177, 413, -215, 59, 0, 172, 196, -63, 98, 0, -320, -21, 303, -354, 0, 181, -37, -278, -7, 0, 264, -76, -17, -17, 0, -326, 166, -53, 52, 0, 10, -180, -501, -64, 0, -888, 227, 240, 151, 0, -7, 544, -309, -20, 0, -478, -38, -386, -136, 0, -2, 5, -41, 74, 0, -90, 49, -380, -17, 0, -118, 86, -58, 610, 0, -71, 11, 79, 53, 0, 136, -157, 153, -41, 0, 90, -205, -334, 5, 0, 324, 669, 1, -266, 0, 221, 293, 52, -261, 0, 142, 500, 575, 47, 0, 25, 134, -140, -232, 0, -104, -8, 259, -379, 0, -160, 13, -240, -159, 0, -513, 306, -34, 274, 0, -246, 428, -80, 119, 0, 157, -331, -35, 3, 0, -86, -136, -181, -9, 0, 210, -97, 308, -294, 0, -289, 88, -544, 215, 0, 744, 244, -168, 333, 0, 278, -258, 59, 55, 0, -9, 488, -590, 161, 0, -175, 94, 528, -84, 0, -55, 75, -168, -41, 0, 269, -25, 468, 205, 0, -772, -84, 26, -379, 0, 403, 4, -79, -86, 0, 157, -492, -9, -37, 0, 84, 51, 3, -29, 0, -97, 266, 111, -39, 0, -185, 127, 431, -150, 0, 23, 25, 82, -630, 0, -27, 97, -216, -61, 0, 441, 201, -22, 128, 0, 29, -50, 61, -258, 0, -44, -245, -319, -326, 0, -323, -89, 82, -181, 0, 82, 14, -242, -94, 0, 212, 142, -243, -19, 0, 332, -311, -191, 509, 0, -451, 370, -68, -286, 0, -199, 740, 211, 613, 0, -155, -71, -284, 44, 0, 75, 535, 76, 381, 0, 22, -602, 14, -239, 0, -192, -39, 157, 526, 0, 123, 61, 9, -287, 0, 262, 80, 29, 73, 0, -301, 39, 964, 278, 0, 175, -533, 292, 1, 0, -235, -9, -198, -246, 0, -14, 29, -97, -228, 0, 339, 66, -14, -168, 0, 107, 12, 145, -93, 0, 9, 205, -594, -97, 0, 147, -118, 296, -397, 0, -309, 28, 303, -116, 0, -256, 406, -571, 273, 0, -283, 88, -74, -27, 0, 396, -182, -356, 478, 0, -240, -581, 208, -48, 0, -13, 24, -244, 0, 0, 173, 313, 71, 117, 0, 214, -132, -219, 66, 0, -78, -124, 142, -140, 0, -41, 933, 50, -838, 0, -235, -113, 162, -289, 0, 67, 71, -392, 110, 0, -241, 143, 124, 443, 0]