# Trace form for 2415.2.a.v, downloaded from the LMFDB on 23 April 2024.
[0, 10, 2, 10, 16, 10, 2, -10, 6, 10, 2, -1, 16, -2, -2, 10, 36, 8, 2, 11, 16, -10, 0, 10, 6, 10, 15, 10, -16, 6, 2, 16, -1, -1, 21, -10, 16, 0, -6, -2, 6, 23, -2, 4, -1, 10, 2, 21, 36, 10, 2, 8, 10, -1, 2, -1, -6, 11, 8, 15, 16, 29, 12, -10, 80, -2, 0, 32, -28, 10, -2, -4, 6, 18, -49, 10, 49, 1, 15, 8, 36, 10, 6, 2, -16, 8, -14, 6, -69, 6, 2, 2, 16, 16, -2, 11, -1, -2, 2, -1, 16, 29, 21, -17, 42, -10, -34, -4, 16, 6, 0, 0, -36, -2, -6, 10, -80, -2, -62, -8, 6, 41, 13, 23, 0, 10, -2, -5, -42, 4, 15, -7, -1, -11, -103, 10, 138, 9, 2, 8, -16, 21, 20, -12, 36, 6, -34, 10, -90, -41, 2, 9, -107, 8, 0, 16, 10, -7, -94, -1, -1, -10, 2, -1, -15, -1, 6, 5, -6, 68, 21, 11, 39, 16, 8, -10, -54, 15, 0, -34, 16, 34, -15, 29, 6, 0, 12, -10, 40, -10, -6, -53, 80, 35, -92, -2, 16, -12, 0, 43, 6, 32, -51, -6, -28, 23, 66, 10, -109, 21, -2, 41, -28, -4, -28, 4, 6, -16, -84, 18, -1, 20, -49, 14, 1, 10, -18, -42, 49, 75, 2, 1, 0, 38, 15, 21, 21, 8, -21, -34, 36, 77, 11, 10, 2, 10, 6, -68, 46, 2, 2, 16, -16, -1, -56, 8, 180, 19, -14, 0, 10, 6, 35, -21, -69, -1, 6, 6, 148, 56, 2, 26, -163, 2, 16, -1, 16, -29, -84, 16, -6, -14, -2, -14, -170, 11, -19, -23, -1, 108, 8, -2, 75, 30, 2, 15, -94, -1, -9, -2, 16, -4, -22, 29, 66, 29, 21, -90, 1, -17, 12, 89, 42, 37, -56, -10, -22, -24, -34, -2, 80, -4, -2, -92, 16, -2, -44, 6, 75, -21, 0, 29, 111, 0, -30, 32, -36, 60, 18, -2, -28, -28, -6, -10, -125, 10, 72, 34, -80, 20, -2, -2, -160, 122, -62, -4, -6, -8, -52, -154, 6, 81, -102, 41, -10, 18, 13, 19, 36, 23, -49, 1, 0, 66, 29, 10, -10, -88, -2, 4, 49, -5, -7, 10, -42, 1, 124, 4, -92, 36, 15, 8, 6, -7, 0, 8, -1, -64, 48, -11, 36, -43, -103, -16, 10, 10, -8, -14, 138, 44, 6, 9, 16, -15, 2, 2, 300, 8, 37, -62, -16, 26, -138, 21, -298, 8, 20, -29, -16, -12, -14, -89, 36, 47, -12, 6, 94, 11, -34, 50, -69, 10, -178, 24, -90, 6, 103, -41, -80, 64, 2, 55, -114, 9, -99, 2, -107, -42, 174, 8, 16, -4, 0, -79, -192, 16, 40, -64, 10, -32, -2, -7, -63, 8, -94, 11, 28, -1, 52, -64, -1, 80, 43, -10, -122, -2, 2, -94, -2, -1, 2, -34, -15, -2, -163, -1, -78, 4, 6, 28, 16, 5, -150, -110, -6, 29, 0, 68, -26, 53, 21, -18, -82, 11, -106, -17, 39, -171, 49, 16, 42, -20, 8, -39, -10, -10, -62, -116, -54, 10, -34, 15, -49, -18, 0, -4, -96, -34, -26, -1, 16, 27, 20, 34, 306, 6, -15, 78, 58, 29, 0, 20, 6, -8, -4, 0, 50, -100, 12, -122, -36, -10, 64, -112, 40, -2, -18, -10, -130, 7, -6, -58, -189, -53, -6, 10, 80, -56, -152, 35, -80, -2, -92, -53, -111, -2, -80, -89, 16, 50, -62, -12, -323, 42, 0, -8, -112, 43, 15, 0, 6, 60, 14, 32, -217, 41, -51, 90, -188, -6, 13, -126, -28, 56, -54, 23, 69, -22, 66, 112, 0, 10, -208, -6, -109, 10, 240, 21, -70, -24, -2, -52, -234, 41, -181, -5, -28, -2, 88, -4, -42, -105, -28, -51, -16, 4, 313, 14, 6, 127, 15, -16, -94, -6, -84, -7, 176, 18, 2, -22, -1, -69, 215, 20, -111, -11, -49, 6, 156, 14, -103, -159, 1, 69, -31, 10, 125, -126, -18, 2, 138, -42, 274, -78, 49, 9, -2, 75, 336, 42, 2, 106, -26, 1, -153, 8, 0, -96, 34, 38, -16, -19, 15, -36, -226, 21, 96, -29, 21, 108, 20, 8, 90, 16, -21, -12, -74, -34, -169, 132, 36, 17, -59, 77, 53, 6, 11, 47, -42, 10, -34, 10, 2, -58, 2, 10, -1, -12, 6, -20, -90, -68, 34, -131, 46, -41, 118, 2, -159, 4, 2, 106, 312, 16, 58, 9, -16, 20, 180, -1, -107, 51, -56, -6, -184, 8, 159, -148, 180, 72, 0, 19, 72, -30, -14, 16, -150, 0, -105, -57, 10, 44, 21, 6, 36, -7, 35, 59, 50, -21, -94, 2, -69, -4, 54, -1, 292, 22, 6, -96, -1, 6, -174, 64, 148, -10, -100, 56, -220, -124, 2, 34, 80, 26, 75, -1, -163, 4, 108, 2, -15, -26, 16, 77, 56, -1, 62, 43, 16, 126, 6, -29, -89, 8, -84, 5, 356, 16, -158, -136, -6, 66, -138, -14, -61, 68, -2, -41, -2, -14, 21, 0, -170, -58, -13, 11, 12, 21, -19, 170, 39, -23, 169, 4, -1, 16, 82, 108, 0, -4, 8, -20, -32, -2, -6, -10, 75, 7, 174, 30, -54, 10, 2, -12, 53, 15, 200, 0, -94, 5, 0, -1, 180, 33, -9, -34, 42, -2, -4, 94, 16, -48, -267, -4, -110, 34, -22, 36, -232, 29, -15, -88, 66, 8, 88, 29, 123, 7, 21, -60, 6, -90, 57, -66, 1, 0, 104, -17, -246, 92, 12, 11, 163, 89, -172, -10, 42, -155, 103, 37, 40, -12, -56, 23, -16, -10, -147, -134, -22, -76, -6, -24, -138, -99, -34, -53, 130, -2, 234, -9, 80, 146, 90, -4, 196, 35, -2, -4, 286, -92, -92, -6, 16, -8, 4, -2, 161, -127, -44, 212, 16, 6, -28, -54, 75, -12, -184, -21, -317, 4, 0, 177, -182, 29, -20, 43, 111, -18, 25, 0, 6, 12, -30, 92, 198, 32, 70, 53, -36, 88, -51, 60, -1, 89, 18, -6, 98, -2, -137, -69, -28, -12, 34, -28, 581, 23, -6, 204, 128, -10, 66, -147, -125, -10, 94, 10, 90, 54, 72, -40, -109, 34, 32, 41, -80, 21, 232, 20, -100, 2, -2, 67, -214, -2, -226, 41, -160, -9, 2, 122, -28, 110, -62, -163, 107, -4, 223, 0, -6, 86, -28, -8, 225, 252, -52, 4, 213, -154, 0, -182, 6, 21, -92, 81, -212, -16, -102, -29, -103, 41, -84, -58, -10, -69, 96, 18, 224, 159, 13, 7, -1, 19, 178, -27, 36, 20, 94, 23, -72, 76, -49, 63, -294, 1, -186, 14, 0, 9, 199, 66, 1, 39, 29, 26, 57, 10, 12, 10, -10, 141, -18, -88, -92, -41, -2, -42, -374, 4, -82, 138, 49, 1, 202, -5, -265, 75, -7, 54, 15, 10, 2, 46, -42, 66, 70, 1, 93, -116, 124, -43, 0, 4, -6, -166, -92, 38, 210, 36, 308, -5, 15, 36, 383, 8, 76, 21, 6, 4, 166, -7, 21, 153, 0, -68, -250, 8, 74, 57, -1, 100, -21, -64, 128, -28, 48, -34, 10, -11, -316, -48, 36, -26, -160, -43, -39, 77, -103, 4, 187, -16, 11, -16, 10, 46, 81, 10, -154, -212, -8, -1, 2, -14, 118, 9, 138, 10, 60, 44, -95, -13, 6, 40, 54, 9, -4, -68, 16, -30, 129, -15, 46, -28, 2, -4, 328, 2, 0, -118, 300, -95, 2, 8, 42, 34, 37, 16, 60, -62, -338, -24, -16, 30, -104, 26, 8, -1, -138, -34, -60, 21, -56, -56, -298, 30, 15, 8, 350, -65, 20, 102, 180, -29, -223, 16, -16, 19, 352, -12, -6, -16, -14, 34, -1, -89, -258, 0, 36, -59, 273, 47, 10, 21, -12, 62, -166, 6, 91, 152, 94, 10, 35, 11, 362, 20, -34, -21, -40, 50, 76, 88, -69, 64, 241, 10, 18, -1, -178, -13, 432, 24, 6, -291, -90, -260, 8, 6, 16, 53, 103, 142, 148, -41, -111, -194, -80, 56, 220, 64, 168, 358, 2, -35, 97, 55, -11, 26, -114, 15, 92, 9, -163, 110, -99, -22, 346, 2, 24, 56, -107, 60, 16, -42, -16, 16, 174, -1, -222, 8, 144, 12, 16, -61, 160, -4, 240, -29, 0, 122, 218, -79, -84, -74, -192, -43, -115, 16, -104, -203, 40, -19, -6, -64, 164, 29, 10, -14, -127, -32, -493, -4, -2, -80, 228, -7, 51, -14, -63, 170, 96, 8, -170, 6, -94, -124, 188, 11, 12, -41, 28, 205, -19, -1, -82, 116, 52, -23, -304, -64, -4, 2, -1, 275, -66, 80, 182, 108, 43, 20, 119, -10, 8, 36, -122, -145, -14, -2, 109, 224, 2, 114, 75, -94, 449, -21, -2, 30, 16, -1, -366, 150, 2, -156, 80, -34, -97, 15, -15, -41, 334, -2, -94, -120, -163, -33, 28, -1, -80, 64, -78, 209, -9, 4, 200, -106, 6, -2, 33, 28, 28, -90, 16, -16, 18, 5, -244, -4, -150, 123, 262, -110, -22, -134, -6, 138, -84, 29, 160, 70, 0, 16, 66, 68, 218, 1, -26, 29, 84, 53, 74, 66, 21, -86, -184, -18, -411, -90, -82, -108, 1, 11, 1, 32, -106, -150, 472, -17, -83, -20, 39, 115, 12, -171, -118, 19, 49, 89, 174, 16, -379, 223, 42, -14, 256, -20, -28, 37, 8, 34, -1, -39, -56, -204, -10, -62, 18, -10, 0, 78, -62, 72, -22, -116, 18, -71, -54, -24, 350, 10, 17, 42, -34, -212, 160, 15, 160, -2, -49, 60, 194, -18, 80, 146, 0, -75, -100, -4, -411, 35, -96, 3, -2, -34, 36, 2, -26, -92, -67, -1, 34, -148, 16, 148, -156, 27, 0, -2, 20, -117, 299, 34, -44, -38, 306, -4, -51, 6, -322, 65, -15, -143, 75, 78, 216, -8, 58, -21, 148, 29, 196, 48, 0, 74, -21, 20, 104, 29, 6, -162, 6, -8, 111, -119, -4, -40, 570, 0, 21, -33, 50, -118, -30, -100, 238, 34, 12, 32, -330, -122, -184, 18, -36, 245, 118, -10, -456, 60, 64, -77, -325, -112, 18, -102, 40, 143, -11, -2, -556, 95, -18, 141, -28, -10, -49, -28, -130, -28, -46, 7, -2, -105, -6, -194, 362, -58, 22, -10, -189, 212, 70, -53, -125, 54, -6, -178, 54, 10, -1, 67, 80, 68, 72, -56, 336, -72, -152, 34, -46, 35, 8, -144, -80, -126, -58, -2, -106, 20, -92, 120, 49, -53, -2, -246, -111, -196, 244, -2, 188, -16, -80, -276, -160, -89, 36, -20, 16, 122, 24, 50, -577, 164, -62, 1, 230, -12, -140, -4, -323, -270, 56, 42, -6, -130, 0, -128, 558, -8, 78, -78, -112, 111, -52, 43, -180, -19, 15, -154, 362, 0, 262, -19, 6, -140, 270, 60, -320, 81, 14, 186, -234, 32, -102, -110, -217, 0, 128, 41, 46, 8, -51, 34, -10, 90, 162, -27, -188, 18, -197, -6, -330, 210, 13, 38, 245, -126, -35, 19, -28, -37, 394, 56, 36, 21, -54, -62, 134, 23, -600, -144, 69, -20, -49, -22, 46, 10, 66, 1, -698, 112, 167, 9, 0, -94, -6, 10, 197, 66, -208, 6, -93, -6, 29, -110, -109, 68, -188, 10, -148, 51, 240, -136, -10, 21, -34, -56, -70, -88, 6, -24, -394, 226, -2, -122, -206, -52, -180, 4, -234, -26, 225, 41, 49, -61, -181, -278, 163, -5, -66, -114, -28, 2, -7, -2, 60, 4, 88, 10, 172, -4, -16, -159, -42, -170, 368, -105, 451, 1, -28, -131, 350, -51, 124, -90, -16, -216, 232, 4, 97, -56, 313, 29, -92, 14, 438, -194, 6, 36, 84, 127, -334, -100, 15, -116, -10, -16, -248, 8, -94, -227, -274, -6, 6, 2, -84, -156, -236, -7, 294, 14, 176, 212, 0, 18, 12, 119, 2, 8, -133, -22, -14, 109, -1, 14, 163, -69, -628, -64, 215, 126, 170, 20, 48, -102, -111, 90, 60, -11, 4, -58, -49, 0, 36, 6, 19, -140, 156, -43, 71, 14, -236, 23, -103, -142, 80, -159, 54, -16, 1, 175, 168, 69, 10, 142, -31, -108, -69, 10, 74, -4, 125, 47, -8, -126, 394, -388, -18, -14, -106, 2, -216, 1, 138, -146, -80, -42, -75, 44, 274, 6, -52, -78, 6, -30, 49, 36, 98, 9, -96, 46, -2, 44, 16, 75, 290, 47, 336, -15, -129, 42, 86, -44, 2, -32, 94, 106, 100, 2, -26, -164, 228, 1, 300, -25, -153, 52, -440, 8, 9, 25, 0, -33, 37, -96, 234, 2, 34, -62, -43, 38, -318, 9, -16, 163, -441, -19, -174, 26, 15, 4, 156, -36, -138, -260, -226, 151, 22, 21, 16, 56, 96, -98, -298, -29, -128, -415, 21, 8, -418, 108, -66, 50, 20, 41, 687, 8, 56, -29, 90, -156, 393, 16, -16, 97, -21, -135, -342, -12, 370, -30, -74, 90, -14, -34, 185, 29, -169, -89, -1, 132, 341, -176, 36, -19, -2, 17, -73, 47, -59, 2, 84, 77, -12, -310, 53, -429, 334, 6, 774, -89, 11, -54, 94, 47, -184, -218, -42, 11, 40, 10, 190, 223, -34, -37, 128, 10, -330, 50, 2, -322, 56, -58, -69, 94, 2, 12, -88, 10, -122, -69, -1, 67, -178, -12, 22, -37, 6, 24, 178, -20, 170, 24, -90, 18, 191, -68, -444, 6, 34, 10, -74, -131, 103, -2, 46, 2, -258, -41, -509, -92, 118, 116, -80, 2, 359, -249, -159, 64, -262, 4, 83, -22, 2, -264, -224, 106, 2, 55, 312, 134, 105, 16, -114, 92, 58, -424, -188, 9, 36, 5, -16, 228, -99, 20, 250, 264, 180, 2, 437, -1, 290, 244, -107, 66, 44, 51, 12, -42, -56, -4, -203, -6, 174, -262, -184, -122, 98, 8, -75, 177, 159, -194, 16, -148, -122, 21, 180, -4, -5, 72, -219, 49, 0, -84, -445, 19, -106, -79, 72, -29, -85, -30, -192, -191, -14, 29, -111, 16, 27, -64, -150, 68, 40, 0, 198, -95, -105, -64, -26, -57, 30, -300, 10, -150, 286, 44, -199, -32, 21, 145, -2, 6, -2, -178, 36, -98, -358, -7, 104, -72, 35, -60, -63, 59, 210, -18, 50, 8, -18, -21, -699, -17, -94, 56, -304, 2, -184, 11, -69, -41, -342, -4, 28, 90, 54, 19, -317, -1, -424, 28, 292, 40, 52, 22, 42, -39, 6, -64, -86, -96, 158, -174, -1, 10, -24, 6, -92, 80, -174, 54, 125, 64, 43, -218, 148, -87, 150, -10, -538, 130, -100, -191, -122, 56, -72, 110, -220, -2, 113, -124, 754, -34, 2, -592, -699, 34, -212, -94, 80, -36, -34, 26, -2, 147, 75, -20, -284, -1, 100, 330, -163, 78, 2, 4, 283, -176, 108, -34, -689, 2, -7, -279, -15, -4, -216, -26, 160, -2, 16, 194, -66, 77, -163, -122, 56, 105, 194, -1, 324, -95, 62, -8, -78, 43, 425, -254, 16, 4, 90, 126, -166, -199, 6, 289, 6, -29, -178, 28, -89, -100, 154, 8, 16, 53, -84, -104, 614, 5, 52, 6, 356, 52, -150, 16, 38, 154, -158, -110, -295, -136, -202, -193, -6, 258, -154, 66, -6, 29, -138, -81, -30, -14, 0, -36, -61, -52, 102, 68, -698, 26, -2, 98, -26, -41, 32, -160, -2, 53, -209, -14, 10, 9, 21, -155, 652, 0, 2, -18, -170, -136, 42, -58, -82, 218, -13, 62, -532, 11, 92, 170, 12, -19, -106, 21, 138, -230, -19, -17, -36, 170, 170, -118, 39, -184, 20, -23, 193, -171, 169, -102, -130, 4, 49, -253, -1, -53, 230, 16, 218, -1, 82, -2, 42, 108, -394, -291, 0, -20, 39, -4, -306, 146, 8, -66, 472, -20, 17, -39, -32, -66, -29, -2, -10, 194, -6, 170, 124, -10, 300, -62, 75, -204, -62, 7, 10, -140, 174, -116, 264, 30, -195, 88, -54, 104, -82, 10, 164, 10, 2, 231, 374, -12, -34, -195, 53, -4, -294, 15, -504, -238, 200, 274, -49, 0, 147, 23, -94, -18, -300, 5, -80, 154, 0, 103, 500, -1, 7, -4, 180, -128, 466, 33, -96, -10, -9, -254, -101, -34, -86, 68, 42, 114, -26, -2, 362, 123, -4, -1, 28, 94, 374, 216, 16, 48, -124, -48, 230, 27, -267, -86, -196, -4, 20, -313, -110, -230, -62, 34, 92, 352, -22, -75, 306, 36, -4, -36, -232, 6, -4, 29, 140, 114, -15, 56, -227, -88, -342, 78, 66, -8, 566, 8, 58, 20, 88, 56, -6, 29, 60, -150, 123, 118, 0, 7, 1136, 126, 21, 20, -662, -60, 0, -310, 6, -326, 354, -90, 330, -8, 57, -212, 88, -66, -4, 24, 1, 109, -467, 0, -222, 0, 104, 64, 50, -17, 620, 41, -246, -100, -48, 92, 77, 93, 12, 0, -188, 11, -508, -122, 163, 80, -71, 89, -36, 232, -172, -160, 394, -10, 13, 43, 42, 283, 64, -155, -167, -188, 103, -112, -665, 37, -56, 42, 40, 16, 541, -12, 428, -2, -56, -209, -10, 23, -18, -1, -16, 370, -174, -10, 578, 46, -147, 24, -130, -134, 8, -17, -22, 7, 132, -76, 456, 14, -6, -214, 0, -24, -294, -58, -138, -222, -220, -99, -189, 212, -34, -44, -340, -53, -376, 207, 130, 25, -6, -2, -324, -84, 234, 10, -15, -9, -62, -248, 80, 144, -99, 146, -16, -56, 90, 128, 220, -4, -152, 15, 196, 265, -144, 35, 156, 378, -2, 264, -80, -4, 210, 164, 286, -2, 130, -92, 100, -242, -92, -50, -300, -6, -144, -53, 16, -61, 40, -8, -111, -5, 4, 130, -419, -2, -37, -102, 161, 48, -80, -127, 320, 62, -44, -89, -96, 212, 138, -74, 16, 192, -240, 6, -42, 50, -28, -26, -3, -54, -62, -134, 75, -52, 138, -12, 559, -107, -184, 120, -323, -21, 342, 57, -317, 42, 178, 4, 298, 110, 0, 42, 48, 177, 276, -8, -182, 112, -32, 29, -112, 324, -20, -471, 328, 43, 92, -126, 111, 29, 15, -18, -3, 384, 25, 0, 16, 0, -172, -143, 6]