# Trace form for 4017.2.a.h, downloaded from the LMFDB on 23 April 2024.
[0, 25, -4, -25, 28, -5, 4, -7, -9, 25, -12, -23, -28, 25, 0, 5, 26, -14, -4, -4, -12, 7, -7, -47, 9, 26, -4, -25, -38, 6, 12, -8, -62, 23, 25, 0, 28, -20, -2, -25, -8, -33, 0, -13, -13, -5, -21, -48, -26, 40, -9, 14, 28, -24, 4, -2, -14, 4, -31, -36, 12, 25, -7, -7, 45, -5, 7, -2, -32, 47, -13, -60, -9, 28, -16, -26, -12, -17, 4, -29, -88, 25, -22, -71, 38, 3, -3, -6, 23, -46, -12, -7, -69, 8, 4, -47, 62, -14, -71, -23, -28, -2, -25, 25, -9, 0, -12, -69, -28, 12, -41, 20, 3, -17, 2, -21, 45, 25, -54, -113, 8, 48, 8, 33, -73, -24, 0, -63, -100, 13, -12, 10, 13, -40, -69, 5, 91, -43, 21, 11, 65, 48, -50, -23, 26, -11, -82, -40, 24, 0, 9, -12, -66, -14, -57, -60, -28, 33, -101, 24, -4, 46, -4, -67, -52, 2, 129, -75, 14, 25, -4, -4, -113, -46, 31, -75, -155, 36, 35, 12, -12, 45, 0, -25, -24, -39, 7, -14, -6, 7, -37, -69, -45, -18, 6, 5, 50, -93, -7, -20, 0, 2, -97, -50, 32, 41, -4, -47, 26, -38, 13, -29, -205, 60, 89, -56, 9, 22, -38, -28, 20, -14, 16, -34, 3, 26, 24, -32, 12, 105, -56, 17, -149, 15, -4, 20, -140, 29, -100, -63, 88, 15, 47, -25, 39, -96, 22, -4, 33, 71, -42, -62, -38, 79, -75, -3, 140, -47, 3, 66, -12, 6, -22, -109, -23, 58, 8, 46, 97, -6, 12, -26, -134, 7, -45, -185, 69, -30, 91, -8, -180, -39, -4, -19, -53, 47, -7, -32, -62, -5, -7, 14, 8, -103, 71, -123, 15, 23, -43, -47, 28, -45, -139, 2, 136, -83, 25, -27, -96, -25, -16, 60, 9, -9, -136, 0, -116, -43, 12, -33, -116, 69, 124, -150, 28, 26, 117, -12, -12, 9, 41, 20, -255, -20, -29, -68, -3, -29, -4, 17, -72, -59, -2, -59, -78, 21, -16, -144, -45, 72, 50, -25, 14, -129, 54, -38, -14, 113, -34, -161, -8, 47, -70, -48, -38, -109, -8, -110, -221, -33, 214, -75, 73, 58, 204, 24, 107, 6, 0, -97, -4, 63, 65, -132, 100, 22, 46, -13, -102, -92, 12, -36, -271, -10, -3, -42, -13, 19, -21, 40, 124, -51, 69, -8, 152, -5, -113, -78, -91, -6, -137, 43, 28, 54, -21, -128, -62, -11, -175, -17, -65, 162, -19, -48, 185, 123, 50, -81, -184, 23, 235, -156, -26, -93, 98, 11, -72, -17, 82, 48, 0, 40, 25, 58, -24, 61, -62, 0, 201, -70, -9, 69, 207, 12, 58, 0, 66, 24, -21, 14, 41, -19, 57, -179, 115, 60, -106, -122, 28, 135, -141, -33, -192, -54, 101, 36, -111, -24, 96, 16, 4, -20, 70, -46, 133, -39, 4, -92, 46, 67, 223, 108, 52, 26, -2, -2, -88, -50, -129, -147, 166, 75, 218, -90, -14, -50, 117, -25, -25, -129, 4, -122, -21, 4, 100, -5, 113, 91, -77, 46, -8, 35, -31, 62, 104, 75, 145, -121, 155, 114, 155, -36, 123, -33, -35, -140, -145, -12, 36, -147, 12, -10, 228, -45, 58, -53, 0, 26, -152, 25, -48, 67, 24, 42, -9, 39, 212, 130, -7, -13, 408, 14, -102, 35, 6, 228, -79, -7, -13, 103, 37, -4, -13, 69, -10, -140, 45, 119, 134, 18, 46, 21, -6, -139, -141, -5, 163, -147, -50, -66, 395, 93, 25, -80, 7, 134, 18, 20, -21, 84, 0, 16, -29, -2, 113, -102, 97, -55, 73, 50, 311, -48, -32, -44, -162, -41, 20, -70, 4, 24, 125, 47, -104, -117, -26, 23, -51, 38, -20, -173, -13, 188, 86, 29, 49, 46, 205, 40, 235, -60, 127, -13, -89, -41, 74, 56, 317, 46, -9, 53, -9, -22, -317, -124, 38, -118, 52, 28, 223, 46, -20, 100, 141, 14, 359, 28, -16, -103, 186, 34, 100, -139, -3, -89, 208, -26, 28, 39, -24, -67, 110, 32, 239, 2, -12, 78, 376, -105, 61, -24, 56, -171, -10, -17, 179, 139, 149, -37, 78, -15, -76, -40, 4, 119, -244, -20, -10, -92, 140, 126, 331, -29, 201, 44, 100, -2, 140, 63, 193, -131, -88, -7, 54, -15, 134, 64, -47, -42, -14, 25, 316, 25, -39, 4, 192, 96, 245, 26, -22, -2, 84, 4, -56, -179, -33, -197, 284, -71, 56, -51, 42, -1, 138, 62, -31, 182, 38, 0, 46, -79, -12, 61, 75, 88, 23, 3, 447, -36, -140, 0, 14, 47, -46, -3, -3, -82, 168, -66, -42, -105, 12, 101, -136, -6, 238, -202, 22, 22, 12, 109, 131, -105, 23, 25, 91, -58, 126, 43, -8, -63, 95, -46, -46, 37, -97, -172, -7, 6, -180, -35, -12, -75, 220, 26, 71, -17, 134, 56, 39, -7, 99, -113, 45, -268, -9, 185, 360, -191, -69, 131, -78, 30, 45, 82, -91, -141, 102, 8, 112, 133, 180, 49, 481, 39, 150, -5, 4, -248, -510, 19, -18, -106, 53, 17, 387, -47, -2, 91, 7, 58, -44, 32, -128, -148, 62, 170, 278, 5, 324, 26, 7, -2, 237, -14, 205, 109, -8, 16, -87, 103, 507, -32, -71, 52, -32, 123, -42, -82, -15, -11, 49, -23, 291, 144, 43, 14, 234, 47, -120, -120, -28, 226, 402, 45, -20, 22, 139, -100, -70, -2, -13, -160, -136, -113, -35, 83, 348, -15, -25, -27, 366, 27, 48, -60, 96, -147, 1, 25, -127, -36, 16, -41, 311, -60, 146, 21, -9, -3, -48, 9, -193, 141, 136, 97, 196, 0, 138, -20, 116, 28, 146, 43, 46, -37, -12, 199, 94, 33, 26, 118, 116, 99, -16, -69, 9, -85, -124, -135, 222, 150, 217, -77, -28, 99, 114, -26, 60, -106, -117, 121, 125, 12, 100, -133, 12, 93, 22, -9, -12, 281, -41, -48, 238, -20, 171, 121, 255, 267, 257, 20, 224, -17, 29, -157, -54, 68, 175, -55, 3, 20, -14, 29, -33, -191, 4, 5, -132, -17, 239, -63, 72, 174, 385, 59, 168, 64, 2, -29, 81, 59, -12, 79, 78, 100, -221, -21, -45, -7, 16, 241, -88, 144, -168, -214, 45, 151, 32, -72, 164, 20, -50, -6, 185, 25, -275, -158, -14, -260, -20, 129, 588, -162, -54, -7, 67, 38, -22, 64, 14, -26, 148, -113, 485, -68, 34, -156, 12, 161, 231, -71, 8, -154, 81, -47, -212, -11, 70, -198, -255, 48, -179, 162, 38, 120, -126, 109, -191, -99, 8, 60, 223, 110, -12, -298, 221, 3, 544, 33, -85, 133, -214, 37, -58, 75, 98, 119, -73, 25, -3, -58, -553, -213, -204, -248, 30, -24, 123, -236, -107, 99, 275, -6, -155, -23, 0, 17, 12, 97, -139, -286, 4, 264, 35, -63, 23, -168, -65, -104, -118, 132, 324, -64, -100, 82, 346, -22, 29, -46, -46, -221, -91, 13, 36, -111, 102, -12, 108, 92, -114, 61, -12, 30, -35, 36, -150, 16, 271, 72, -161, 10, -159, -82, 3, -7, -126, 42, -27, 25, 13, 409, 217, -19, -187, -87, 21, 194, -69, -40, -266, -36, -124, 31, 60, 51, 173, 149, -69, -113, -177, 8, -289, 9, -152, -64, 107, 5, 198, -131, 113, 27, -464, 78, 4, -31, 91, -111, -168, 6, 305, -65, 137, -46, 270, -43, 58, -47, -28, 179, -111, -54, -167, 10, 21, -257, 209, 128, -557, -389, 62, 218, -142, 11, 97, -148, 175, -111, 110, 17, -207, -187, 65, -14, -67, -162, -166, -71, 19, 201, -160, 48, 367, 26, -185, -144, -71, -123, -22, 63, -50, -184, -98, 81, -67, -219, 184, 57, -246, -23, -62, -216, -235, 38, -24, 156, -46, -449, 26, 165, 19, 93, -28, 143, -98, -302, 501, -11, 371, -17, 72, 245, -20, 17, 229, -2, -82, -295, -250, -48, -382, -214, 0, 43, -72, -40, -260, -131, -25, -135, -489, -58, -376, -75, 24, 252, 393, -61, -278, -205, 62, 25, -21, 0, -81, -105, -201, -69, -125, 70, -35, 91, 9, -60, -9, -69, -54, -139, -207, 230, 342, -12, -227, -78, -58, -388, 192, 0, -136, -216, -66, 65, 408, -24, -355, -342, 21, 357, -103, -14, -12, 119, -41, 252, 373, 19, 83, 143, -57, -66, -116, 179, -323, -69, -115, -124, -121, -60, -73, -83, 106, -65, 288, 122, -205, -2, -28, 337, -125, -135, -311, -52, 141, 193, -79, 33, 37, 25, 192, 12, -77, 54, -250, 35, -101, -189, -17, -36, -39, 66, 111, -107, -41, 24, -114, -190, -96, -235, -195, -16, 66, -170, -4, 94, 0, 20, -220, -92, -70, -18, -389, 46, 62, -329, -133, -124, -63, 39, 3, 1, -4, 98, -158, 92, 64, 98, -46, -94, 124, -67, -153, -17, -223, -304, -169, -108, -109, 28, -52, -235, -108, -26, 71, -129, 2, 13, 235, 2, 10, -179, 88, 145, 66, 50, 130, -238, 129, -21, 136, 147, 112, 186, -166, 159, -2, -75, 279, -23, -218, -72, 45, 90, -230, -123, 14, -38, 211, 50, -285, -75, -117, -161, 182, 25, -158, -115, 25, -270, 171, 129, -247, -460, -4, 174, -260, 122, -54, 32, 21, -211, -205, -4, 592, -79, -100, -178, 127, 5, 164, -113, -113, 89, -104, -91, -257, 43, 77, -436, -5, -46, -31, -125, 8, 45, 79, -35, 325, 74, 31, -188, -531, -62, -37, -226, -104, 48, 259, -75, -93, 115, -145, 191, -289, 121, -11, 86, -155, 169, 8, -114, -250, -70, -155, -16, 211, 36, -137, -52, -123, 297, 136, 33, 99, 47, 35, -264, 30, 140, 98, -215, 145, 168, 284, 12, -73, 344, -36, -102, 283, 147, 191, 43, -12, 163, 349, 10, -174, -24, -228, -142, -552, 45, -67, -59, -58, -123, 355, 53, -49, -282, 0, -94, 72, -26, -542, 353, 152, 2, -211, -25, 26, -32, 48, -63, -254, -67, -318, 115, -24, 349, -345, -42, -85, 266, 9, -188, -100, -39, 126, -282, -212, 62, 284, -130, -528, -4, 7, 49, 166, 13, -2, -43, -408, -54, 311, -14, 310, -309, 102, -99, -45, -35, -12, 130, -6, -240, -30, -228, 244, -73, 79, 122, 136, 7, 141, 10, 13, 104, -446, -103, -699, 105, -37, -158, 14, 4, 37, 322, 13, 82, 284, -69, 331, -109, 10, -39, -141, 140, 190, 21, -45, -40, 10, -119, -133, -60, -134, 162, -307, -18, -256, 243, -46, 161, -69, -21, -168, -115, 6, -102, -319, 139, -90, -14, 141, -16, 126, 5, -73, -67, -163, 123, 527, 147, -264, -430, 50, 194, -33, 66, 91, 161, -395, -330, 245, -93, 281, -342, -25, -96, -29, 80, 322, -43, -7, 43, -108, -134, -228, 186, -18, 147, -14, -20, -235, -55, 21, 63, 45, -84, -194, 19, 0, 282, -161, -16, -20, 401, 29, 11, 259, 2, -331, 79, -113, 181, 185, 102, 40, 333, -97, 247, 65, 55, -123, -19, -73, 62, 29, -50, 14, 54, -311, -39, 240, 48, -243, -143, 32, 388, -22, 44, 31, -391, 162, -189, 163, 41, -50, -182, -20, 200, 106, 70, 58, 1, -4, -97, 265, -24, 52, -23, -125, 82, 262, -47, -594, -84, 104, -73, -495, 117, -405, 8, 26, -75, 190, -23, -159, -207, 51, -165, -330, -38, -57, 237, 20, -11, -126, 173, -402, 17, 13, 269, -183, -188, 211, 439, -86, 102, -82, -29, -90, -77, -49, -137, 1, -46, 31, -68, -205, 595, 78, -40, -544, -150, -235, 96, 487, 60, 38, -78, -127, 148, 443, 13, 24, 562, 89, -264, 214, 41, 75, -4, -74, -6, 204, -56, 151, 0, -317, 154, -423, -46, 336, -3, 9, -16, -315, -53, -538, 152, 9, 60, 242, 22, 32, 193, 317, -4, 102, 124, 363, -66, -38, -12, 344, 118, -149, 179, -52, -54, 26, -28, -25, -77, -223, -94, -66, -46, -397, 185, 20, -6, 342, -100, -433, -64, -141, 64, 282, -14, -393, -157, -359, -25, 198, -28, -491, -176, 16, 66, -385, 103, -57, 58, -186, -282, -267, -34, 180, 59, -100, -44, 193, 139, 507, -60, 3, 129, -275, 89, -466, 13, -208, -179, 482, 26, -103, -152, -28, 516, 105, -39, -425, -90, 24, 73, -194, 67, -271, -206, -110, 33, -74, -32, -452, 134, -239, -293, -13, -2, -87, 376, 12, -194, -101, -78, -475, 211, -376, -300, -12, 105, -19, -28, -61, -10, -21, 24, -146, 220, -56, 204, 338, 171, -439, -51, 10, 71, -166, 17, -4, 308, -179, -370, -231, -139, 348, -116, -149, 260, 551, 37, 199, 46, -78, -421, -145, 15, -229, -136, 76, -82, -138, 40, 223, -159, -4, 57, -496, -119, -324, -95, 244, -308, -65, 20, 163, 214, 10, -67, -38, 92, -123, 315, -140, 238, 16, -126, -398, 201, -331, 246, -52, 29, -180, -179, -201, -32, -21, -44, -252, 51, -100, -198, 102, 2, -665, -211, -140, 245, 434, -63, 81, -467, -193, 124, -153, 131, 129, 169, 88, -96, 411, 7, -81, -17, -54, -465, 148, 15, 568, -75, -134, -185, 57, -64, -25, -94, 47, -147, -58, 42, -593, 214, 14, -178, -71, -25, -53, 100, -316, -157, 310, -25, 380, 118, 39, 25, -270, -4, -411, 448, -192, 226, -259, -96, 188, 149, -245, 59, -4, -26, -786, -100, 22, 70, 49, 2, -259, 492, -84, -134, 619, -4, 95, 2, 56, 95, 256, 179, -18, 49, 33, -21, -23, 197, -113, 173, -284, -94, 598, 71, 5, 77, -56, 414, 13, 51, -26, -46, -42, -289, 224, 1, 28, -243, -138, 33, 257, -62, -430, 7, 31, -311, -84, -182, -7, 49, -38, 490, -289, 0, -531, -95, -46, -75, -30, 79, 137, 519, 12, -238, 142, -61, 264, -41, -75, 190, -155, -88, -642, 57, -23, -497, 62, -3, 191, 162, -447, 363, -114, 36, -375, -373, 140, -225, 288, 0, 51, -403, -14, -37, -67, -47, 35, 228, 46, -515, -14, 3, 424, 19, 3, 216, 423, 82, -160, 12, -168, 89, -215, 66, 193, 48, 42, -418, -102, 105, -109, 17, -12, 367, 230, -101, 342, 162, 136, -157, -585, 6, 74, -198, -238, 45, 304, 202, -444, 175, -22, 15, 735, -22, 134, 167, -12, 93, 0, -109, -38, -47, -131, -53, -366, 105, -109, -558, -23, 520, 791, -25, -681, -223, -91, -192, 461, 58, -159, 233, -126, 100, 359, -43, -24, -130, 8, -210, 46, 63, -285, -81, -95, 449, 457, 46, 568, -39, 46, 0, -208, -37, -359, 158, 97, 89, -249, 172, -199, 12, 7, 104, -421, -6, -106, 187, 180, 189, 100, 35, -234, 178, 12, -14, 212, 75, -258, 475, -220, 347, -584, -26, 468, 200, -71, -111, -6, 17, -134, -273, -134, -101, -184, -56, -518, 67, -39, -232, -135, 7, -112, -116, -99, -102, -13, 113, 91, -620, -45, 162, -301, 268, -37, 64, 9, -560, 175, -185, 61, 81, -360, -14, 762, 191, -171, -69, 69, 344, -476, -131, -384, -2, 78, -321, 352, -30, -293, -146, -45, 53, -359, -82, -633, 151, 91, -6, -86, 141, -379, -344, -102, -18, 29, -8, 364, 276, -112, 245, 109, -133, -147, 35, -180, 133, 6, -49, 371, 29, -481, -28, 236, -39, 76, -212, -150, 345, 163, 5, -294, 537, -4, 505, 417, 248, -160, -111, 510, 82, -580, -19, 50, 197, 18, -265, 166, 106, -171, 301, -53, 61, 93, -17, 128, -93, -387, 107, -95, 47, 275, 87, 2, 226, -178, -91, 100, -188, -7, 26, 380, -58, -696, -131, 44, 103, 241, -32, 446, -59, 128, -20, 160, 148, -126, 21, -62, 263, -208, -170, -305, 406, -278, -258, 0, -5, -207, -119, -324, 226, 281, -26, -563, -50, -7, 128, 291, 2, -347, -83, -237, 270, 47, 14, -110, -170, -205, -56, -497, -109, -97, 218, 8, 1, 366, -16, 325, 19, 87, -45, 263, -103, 35, -50, -507, 72, 520, 32, 60, 145, 71, -289, -203, -52, -171, 406, 32, 270, 305, -123, 724, -30, 42, -61, 282, 82, -8, -235, 15, 41, -350, 11, -440, 327, -49, -329, -332, 23, 176, 465, -291, 72, -4, -144, -259, 231, -43, -149, -588, -14, -37, -164, -234, 84, 121, -47, -360, -244, 120, 195, 527, 120, -66, 228, 28, 220, -316, -226, 26, 138, -402, -532, 435, -45, 455, -194, 20, -82, 430, -22, -89, -38, -139, 296, 489, 100, 14, -123, 70, -88, -418, 2, 140, -284, 13, -104, 187, 160, 179, 520, 136, 439, 79, 113, 7, -99, 35, -29, 801, -83, -417, 364, -348, 200, 223, 15, 14, -141, 25, 139, -205, 27, -336, 43, -366, 38, 190, -27, -843, -60, -48, 89, 169, 60, -448, -457, -96, 167, -172, 147, -103, -140, -1, 332, 372, -25, 89, 60, 127, -286, -351, 36, 256, 457, -16, -250, 26, 41, 283, -56, -311, -30, -245, 60, -609, 199, -146, -171, 200, -21, -471, -470, 9, 273, 100, 3, -144, -37, 48, -316, -175, -9, -306, 110, 193, 22, -225, -141, 223, 59, -136, 343, -267, -97, -854, -37, -196, 68, -38, 0, -147, -105, -138, -159, 577, 20, -495, 434, -116, 225, 252, -28, -301, 273, -146, 218, 897, -43, 192, -280, -46, 31, -555, 37, 20, 482, 12, -312, -104, -199, 96, -256, -94, 88, 737, -33, 803, -14, -26, 275, -149, -118, -425, -129, -116, -183, -124, -99, -38, -67, 16, 73, 114, 69, -98, 314, -9, 113, -299, 85, 49, 184, 124, -34, 109, 135, -82, 113, -222, 254, -300, -150, -649, 222, -217, -340, 3, 77, 280, 232, 28, 205, -93, -99, 546, -81, -114, -160, 527, 26, -66, -41, -60, 264, -120, 106, -92, -445, 117, -55, 65, -121, 24, 478, -125, 129, 110, -12, 597, 53, -100, -349, -100, 133, 386, -32, -12, 331, 525, -93, -80, -229, -22, -351, 24, 9, -128, 140, 12, 143, -467, -281, -424, -137, 41, -9, 500, 48, -554, -416, -238, 105, 185, 20, -603, 47, -171, 93, 209, -121, -56, 6, -255, 350, -56, -267, -309, -131, -257, -219, -405, -20, -422, -87, -224]