# Trace form for 4017.2.a.i, downloaded from the LMFDB on 24 April 2024.
[0, 25, -2, -25, 28, -3, 2, -11, -15, 25, 2, -1, -28, -25, -12, 3, 26, -10, -2, 22, -2, 11, -5, -49, 15, 22, 2, -25, -30, -22, -2, 8, -12, 1, -1, -2, 28, 0, -26, 25, -22, -5, 12, -13, -25, -3, 13, -56, -26, 28, -31, 10, -28, -20, 2, -14, -22, -22, -21, 2, 2, 29, -39, -11, 21, 3, 5, -14, -60, 49, -31, -36, -15, -30, -64, -22, 38, -37, -2, -29, 0, 25, -6, -17, 30, 3, -27, 22, -81, -38, 2, 11, -85, -8, 26, -71, 12, 0, 19, -1, -4, -20, 1, -25, 15, 2, 34, -55, -28, 26, -47, 0, -93, -57, 26, -7, -23, -25, -6, -15, 22, 12, -98, 5, 87, -12, -12, -37, -40, 13, -2, -44, 25, -24, 3, 3, 11, -45, -13, -37, -117, 56, -28, 1, 26, 7, -14, -28, -92, -50, 31, -26, -46, -10, 83, -100, 28, 19, -23, 20, 42, 2, -2, -41, -54, 14, -63, -5, 22, 25, -98, 22, 7, -76, 21, -59, 47, -2, -3, -82, -2, 71, 12, -29, -14, 27, 39, 6, -142, 11, -69, -71, -21, -32, -64, -3, 78, 11, -5, -2, -158, 14, 103, -44, 60, -33, 2, -49, -26, -36, 31, 47, 53, 36, -37, -92, 15, 26, -134, 30, 20, 10, 64, -24, -131, 22, -64, -6, -38, 53, 28, 37, -3, -51, 2, -72, 82, 29, 68, -55, 0, 63, -145, -25, -17, 6, 6, -22, -139, 17, 40, -62, -30, -123, -25, -3, -52, -51, 27, 28, 2, -22, 14, -95, 81, 2, -64, 38, -115, -76, -2, 58, -134, -11, 39, 1, 85, -26, -109, 8, 134, 29, -26, -51, -117, 71, 5, -170, -12, 55, 33, 0, -50, -27, -19, -173, -151, 1, -3, 49, 4, 47, -75, 20, 68, -71, -1, 39, -178, 25, 54, -172, -15, -33, 70, -2, 8, -173, -34, -51, -112, 55, -136, -112, 28, -22, -211, -26, -52, 5, 47, -22, 31, 0, 19, -166, 93, -37, -2, 57, 78, -29, -26, -157, -4, 7, -2, -76, 23, 20, 26, 25, 30, 85, 6, 10, -144, 15, 12, -7, -22, 31, 124, -12, 30, -31, 98, -94, -37, -5, 46, -37, -87, -62, -248, 12, 59, 22, 12, 99, -50, 37, -77, -112, 40, -64, -48, -13, 128, -18, 2, 48, 213, 44, 63, -4, -25, 67, -15, 24, -148, 9, -3, -8, -130, -3, 215, -10, -11, 20, 115, 45, -28, -72, 13, -108, 12, 37, 251, -53, 117, 64, 25, -56, 73, -45, 28, -123, -22, -1, -89, 26, -26, 143, -70, -7, 166, 15, 14, -52, 84, 28, 1, -252, 92, -39, 128, 50, -141, 52, -31, 55, -267, 26, -44, 2, 46, 34, 107, 10, 79, -49, -83, -133, -69, 100, 258, -28, -28, 81, 259, -19, 76, 68, 23, 14, 191, -20, -40, -62, -42, 0, -134, -2, 145, 93, 2, -234, -56, 41, -231, -30, 54, 74, 26, -14, 280, -10, 63, 53, 18, 5, 60, -172, -22, -20, 81, -25, -35, 155, 98, -26, -127, -22, 54, 3, -7, -77, 187, 76, 22, -27, -21, -22, -108, 59, -5, -159, -47, -18, -177, 2, -49, 5, 3, 58, 139, 82, 62, 177, 2, 34, 64, -71, -8, -29, -12, -78, 154, 29, 210, -189, 14, -6, 73, -27, 88, -224, -39, 13, -6, -6, 12, -77, 142, 0, 221, -11, -69, -71, 69, -96, 25, 71, 222, -102, 21, 47, 82, 32, -90, -19, 64, -207, 181, 3, 85, 7, -78, 120, -33, -11, -9, 20, 5, -154, 90, 2, -13, -182, 158, 226, 295, -14, -79, 12, -103, -119, 25, 44, 23, 56, -60, 180, 106, 33, 92, -82, -2, 100, -301, 49, 220, -17, 26, 11, 263, 36, 350, 17, -31, -114, 120, -47, -147, -52, -53, -28, -145, -36, 249, 23, 37, -57, 318, 92, 17, -230, -15, 35, 31, -26, 143, -22, 134, 52, -56, -30, -73, -32, -20, 114, 143, -10, -57, 46, -64, 1, -90, 24, -28, 159, 131, -69, 172, -22, 28, -95, 64, -55, 78, 6, 145, -290, 38, 36, -24, -53, -215, 20, -28, 265, 226, -37, 1, -141, 3, -13, 30, 51, 304, 14, -2, -263, 344, 72, 96, -98, -82, 92, 297, -29, 107, -88, -68, 14, -92, 55, 113, -235, 0, 11, 252, -63, 68, -58, 145, 84, 22, 25, 258, -17, 17, 88, 48, -6, 55, -40, -6, 14, 160, 22, 144, 53, 139, 299, -140, -17, 60, 125, -40, -53, 54, 62, 21, -150, 30, 48, 96, 123, -90, -43, 25, -18, -137, 3, 79, -2, 52, 66, 522, 51, 202, -69, -27, 116, 154, -28, 6, -29, -2, 45, 258, 22, 262, 54, -14, -42, -14, 95, 229, -37, -81, -29, 221, -2, -20, -103, 64, -183, 177, -38, 2, -77, 115, 284, 39, 76, 410, 43, 2, 165, 142, -58, -79, -89, 134, 184, 57, 11, 235, 83, -39, -138, 15, -1, -10, 19, -85, 229, 360, 26, -21, -168, 109, 149, 152, -8, -90, -97, -134, -3, 21, -29, 10, -3, 26, 80, 312, 51, 218, 68, 117, 17, -159, -71, 336, -53, -5, 36, 122, 170, 280, -212, 12, -22, -144, -55, 52, -72, -33, 14, -121, 0, 93, -17, 50, 60, 137, 27, -133, -152, 19, -96, 60, 173, 40, 0, 151, 61, 111, -1, -51, -58, 3, -24, 14, -49, 158, 64, -4, 262, 94, -47, -150, 148, 75, -44, 314, -20, 31, -166, -68, 11, 199, 71, 24, 53, 1, 13, 136, -39, -164, 36, 178, 249, 363, -25, 89, -58, -54, 225, 81, 172, 418, -95, 15, 73, 430, 33, -29, 65, -70, -161, 12, 2, 154, -90, -8, 30, 86, 173, 450, 23, 34, -87, 124, 51, -72, -132, 112, 175, 64, -55, 339, 57, 136, -325, -72, 112, -37, 35, -28, 73, 8, 22, 156, 94, 211, 85, 221, 26, 128, -153, 52, 129, 290, -5, -38, -149, -47, -64, -94, 22, -109, -249, -31, 37, -139, 0, 24, 37, -19, 47, 146, 166, 257, -123, -93, 112, 244, 37, -73, 163, 2, -199, 138, -57, 79, 197, -78, 112, -85, 29, 24, -4, 26, 29, 11, 157, -2, -101, 4, -310, 301, -7, 313, -125, 2, -67, 0, 76, 176, -88, -23, 149, -70, -20, -370, -148, -26, 174, 5, -25, 307, 6, -30, 148, 30, -85, -24, 52, -6, 53, 111, -10, 6, -80, 144, 186, -56, -15, -433, -64, -12, -126, -206, 7, -169, 17, 22, 340, 257, -31, 152, -129, -124, -318, 11, 12, 281, -160, -30, -44, 188, 31, 241, -143, -98, -144, -31, 94, -380, -38, 37, -3, -100, 5, -155, -63, -46, -357, 18, 37, -134, -307, 87, 65, 27, 62, 349, 85, 248, 98, 122, -12, -205, -138, -59, 57, 51, -22, -101, 1, -12, -203, -116, -99, -235, 170, 50, -16, 35, -37, 81, -74, 77, -8, -188, 112, -206, -258, -40, -32, -82, 64, -223, 38, 48, 91, 239, 13, 60, -209, -128, -124, -20, 18, 58, -43, -2, -94, 429, -48, 102, -418, -213, -182, -59, -44, 13, -168, -63, -11, -108, 4, 269, -103, 25, -23, 229, -67, -195, -7, 15, -92, 85, -24, 64, -200, 148, -37, 76, -9, -35, -165, 3, -27, -269, 8, -267, 105, 130, 116, 145, 3, 220, 165, -215, -47, 198, 10, -26, -165, 11, 129, 222, -20, -275, -9, -115, -182, -92, -45, -216, 71, 28, 209, 23, 72, 239, -108, -13, -13, -273, 108, 33, -249, -12, 30, 362, -37, -211, -166, -251, -173, 60, 53, 97, -7, -117, 0, 377, -64, -22, -257, -25, -315, -98, 56, 259, -218, -73, 118, -19, 45, -6, -73, -28, 28, -148, 123, -257, -139, 22, 43, -424, 1, -18, 18, 89, -62, -372, -26, 172, 47, 26, -99, -41, -143, 4, -345, 70, -66, -199, 7, -383, -119, -166, -15, -130, -15, -179, 20, -14, 157, 194, 52, -274, 84, -84, 143, 240, -28, -134, -259, -1, -187, 105, 252, 252, -63, -92, -92, 297, 39, -206, -37, -128, 25, -179, -50, 293, -317, 141, -171, -43, -52, -287, -99, 31, -252, -15, -55, 24, 129, 267, -52, 90, -26, 233, 28, 44, 66, -162, -2, 254, -74, -46, 61, -82, -34, -559, 100, -107, -199, -177, -10, -34, -487, -79, 104, 289, 49, -393, -59, 83, -134, 58, 133, -139, 55, 69, 116, 79, -100, 53, 23, -258, 193, 102, 28, 261, 114, 28, 57, -69, -81, -127, 88, -259, -191, 149, 19, -123, -83, -76, -26, 7, -68, 102, -77, -23, -261, 83, -14, -235, -154, -191, 293, 47, 20, 348, 12, 40, 291, -17, 62, 164, -276, 42, 182, 12, 0, 64, 2, 134, -66, 19, 2, -254, -15, -145, -48, 233, -93, 93, -85, -2, 66, -136, 234, -296, -272, 56, 78, 362, -41, -433, 57, 231, -158, 39, 30, 83, 30, -54, 421, 8, -74, -25, 155, -26, -79, -127, 14, -276, -33, -280, 81, 50, 10, -362, -42, -63, 7, -198, -53, -504, -308, -18, -35, 314, -5, -125, 5, -60, -366, 23, 172, 104, 77, 22, -18, 87, 20, -101, -25, -81, -121, -124, 25, 186, 97, 35, 214, -111, -155, -31, 194, -98, -200, 202, 26, 6, 70, 127, 179, -117, 22, -606, -135, -54, 58, -219, -3, -484, 15, 7, 141, 408, 77, 37, -135, -187, 200, 87, -76, -75, 211, -22, -71, -17, 27, 309, -20, 21, -154, 271, 22, -141, 126, 108, -12, -49, -59, 233, -157, 5, 73, 31, 159, 23, -346, 47, 133, 98, 18, -376, 112, 177, -328, 305, -2, 71, 212, 49, -81, -76, -5, -73, 197, -3, -148, -130, -58, 32, -133, -139, 112, 14, -82, -87, -332, -62, -10, -391, -177, -637, -19, -2, -33, -219, -34, 178, 12, -64, 6, 80, 71, 203, 189, 8, 139, 25, 29, -63, 46, 12, -238, -58, 78, -6, -65, -154, 110, 47, -29, -26, -180, -210, 37, 162, 189, 374, -63, -14, -43, 225, 6, -401, -142, -73, -400, 40, 27, -300, 194, -88, 164, -302, 224, 344, -138, 39, 93, -216, -13, -126, 49, 6, 154, -129, 6, 30, 209, -12, -115, -265, 77, 2, -176, -142, 224, 78, 0, -338, -39, -221, 36, -246, 11, -145, 44, 69, -186, 12, 71, -23, -7, -69, 262, 386, 96, 33, 44, -25, 4, -284, -71, -209, 1, -222, -31, -295, 102, -182, -3, -21, 24, 300, -47, -103, -28, -82, 22, -145, -32, 206, 53, 90, 297, -3, 19, 270, 133, -64, 76, -583, 207, -342, 10, -181, -220, 42, -3, -47, 143, -85, -497, -57, -7, 332, 376, 78, 74, 147, -120, -11, -199, 33, 100, -337, 11, 73, 288, 9, 52, -291, -20, -514, 45, -5, -63, 310, 154, -290, -134, -90, 317, 210, -2, 273, -93, 13, 133, -5, 182, -40, 141, -158, -52, 221, -226, -94, -337, -295, 37, -265, 14, 5, -235, 79, -407, 333, -12, -36, -135, 103, -113, 117, 119, -325, -59, -25, -114, -255, -44, 36, -186, -23, -203, 98, -56, 517, 145, 60, 264, -52, -180, -245, 361, -106, -285, 225, -33, 28, -30, -92, -96, -22, 82, -418, 145, 2, -125, -649, -100, -148, -1, 301, 550, 478, -49, 588, 218, -220, -3, -143, 17, -223, -310, -26, -15, -242, -11, 197, 75, -263, 11, 408, -36, 79, 389, -350, -7, 388, -17, 246, 145, 31, -145, -43, 114, -703, -135, -120, -104, 14, 47, 134, 19, 147, 121, 97, 52, -207, 184, 53, 41, -242, 28, 240, -76, 145, 0, -271, 36, -200, 76, -249, 96, -171, -23, 92, -410, -37, 198, -196, 57, -599, -174, -318, -202, -48, -92, -149, 50, -17, -70, 401, 230, 108, -175, 15, 276, -3, -35, -386, 36, -31, -204, 88, 26, -92, 105, -143, -22, -80, 22, -323, 36, -134, 26, -248, -52, -689, -29, 56, 28, 290, 30, -33, -141, 73, -398, 46, 32, 143, 215, 20, 514, 70, -114, 401, 94, -143, -246, 150, 10, 55, 27, 57, -141, -250, -46, 133, 170, 64, -442, 15, -1, -83, -196, 90, 362, -15, -24, -152, -53, 28, 82, -33, -159, -287, 100, -131, -237, -149, 69, -316, 227, -172, -15, 110, 22, 367, 14, -28, 36, 195, 95, 13, -44, -64, 53, 224, 55, -283, 156, -78, -19, 152, -6, 4, -268, -145, 165, 19, 290, 45, -586, -38, 240, 23, -36, 227, 13, 24, 8, 2, 53, 95, 152, 215, 72, 5, -20, -190, -78, 28, -210, 202, -265, -243, 431, -226, -229, -388, 37, -42, -192, -1, 134, 287, 141, -172, 170, -3, 112, -425, 13, -445, -2, -30, -365, 103, -51, -289, 250, -304, 192, -192, -14, -165, -29, 2, -63, -108, 263, -208, -145, -344, -4, 127, -72, -353, -148, -96, 41, -248, 98, -77, 163, 82, -322, 90, -92, -718, -165, -297, -180, 54, 29, 48, 309, -107, -274, -127, 88, -68, -41, 68, -142, -164, -14, 255, 243, 92, -59, 378, -55, 85, 291, -113, -98, 695, 235, 63, -23, 0, 360, -99, -11, -107, 25, -252, -25, -444, 63, -368, 5, -68, 181, 101, 58, -239, 280, -145, 461, 140, -84, -43, -58, -22, 34, -39, -25, -313, 80, -258, 91, 224, 17, 156, 210, -17, -25, -172, -88, -11, -326, -48, -106, -195, 6, -218, -91, -55, 199, 98, 40, 228, 138, 6, 54, 289, -14, -471, 330, -160, 52, 417, -22, 379, -4, -144, -253, -454, -53, -318, -15, -139, 101, -217, -299, -7, -421, 140, 182, 30, 17, -277, 45, -60, -58, -195, -125, -330, 76, 40, -185, -196, 53, -2, -17, -54, 147, 29, -62, 378, 53, -21, -95, 366, 150, 5, 179, -30, 46, 165, -48, -291, -63, -96, 59, 386, -123, 75, -151, 90, -76, 674, 43, -480, 85, -25, -98, -47, 18, 218, 149, 137, 325, 276, -3, 97, 24, -79, 133, -82, 2, -231, -279, -52, 125, -390, -66, -147, 203, -522, -309, 413, -51, 3, 110, -202, 55, 184, 69, -40, -73, 27, -216, -15, -116, -372, 82, -154, 83, 339, 28, -137, -154, -6, 148, -288, 29, -243, 343, 2, 417, 2, -45, -86, 40, -258, -311, 239, -22, -158, 30, -262, -71, 312, -54, 460, -139, 14, 157, 323, 42, -16, 63, 14, 305, -12, -95, -172, 49, -229, 83, -24, 37, -69, 328, 81, -314, -91, 29, -275, 297, -221, -128, 113, 2, -243, 483, 20, 230, 561, 103, 14, 20, -64, 322, -336, 183, -531, 139, -177, -67, -243, 38, -100, -27, -2, 68, 592, 77, 163, 112, -115, 301, 259, -284, 61, 124, -39, -348, 507, -76, 310, -131, -410, -189, -214, -43, -278, -248, -2, -6, 496, -165, 248, -427, -142, -233, 86, 58, -106, -500, 79, 163, 142, 89, 456, 25, -134, 335, -218, -184, -22, 195, -57, 122, 305, -11, 84, 350, -235, 186, -391, -83, -295, 736, 39, -258, 77, 138, 69, -266, -15, 8, 185, 1, -77, 125, 10, -10, -316, -19, -69, 71, 85, 70, 302, -229, 138, -44, -360, 113, 424, -26, 291, 370, 21, 81, -35, 168, -157, -235, -109, -248, 378, -149, -439, 148, -152, 32, -13, 8, -110, -354, 90, -231, 715, 97, -147, -277, 134, 37, 64, 3, -315, 329, -21, -374, -8, 29, 580, 168, -10, 135, -399, 3, -246, -127, -26, 111, -591, -80, -540, -79, -312, -204, 346, -51, -78, -243, -218, 203, -68, -68, -135, 579, -117, -7, 285, -17, -440, -11, 159, -159, 461, 71, 251, 43, -336, 96, -330, 53, -118, 110, 5, -22, 496, -36, -426, 179, -122, 183, -349, -170, -398, 213, -280, 2, -282, 212, 142, -237, -12, -285, 350, 22, -179, -170, 144, 176, 158, 55, 467, 245, -52, 280, 3, 72, -215, 220, 33, -106, -289, -14, 151, 117, 121, 32, -15, 0, 12, 104, -93, -116, 283, 17, -103, -48, -50, 507, -268, -60, -443, -171, -137, 255, -537, -27, -425, 44, 133, -254, 536, 152, -70, 7, -19, -375, 169, 96, -277, -324, -60, -118, 381, -173, 88, -112, -40, 115, 190, 0, 38, -59, -151, 33, -384, -61, -32, -343, -111, -77, 522, 1, 550, -423, 51, 152, -2, 58, 39, -57, -3, -1, 526, 24, -307, 48, -14, 90, -127, 49, 32, -88, -158, -165, -103, -64, -586, 298, 4, 260, 786, -262, 26, 102, -94, 148, -559, 47, -773, -58, 150, -222, 118, -148, -933, 36, -75, -68, -3, 44, -650, 153, -314, 272, 352, 20, 216, 264, -31, 14, -141, 166, -205, -140, 68, -47, 249, -11, -179, 87, -199, -47, -397, -71, -381, 126, -24, 178, 241, -53, 114, -125, -1, 81, -53, -13, -332, 49, -136, 52, 66, 39, 559, 162, 164, -75, 25, -36, 16, 227, -178, 105, 136, -249, -477, 174, -363, 48, 252, 25, 37, -96, -89, 246, 49, 58, -452, -195, 54, 310, -488, -225, -241, 92, -81, -208, -199, -172, 637, -1, -418, 109, 186, 95, -73, 32, -15, 181, -122, -73, -516, 81, -430, -192, 229, -33, 122, 282, 29, -26, 629, -65, 95, -111, 70, -131, -55, 161, -342, -141, -12, -508, 134, -2, -183, 255, -154, 255, 603, 90, -581, 214, 8, -85, -222, -30, -193, -11, -86, -342, -173, -173, -116, 234, -450, -93, -83, -23, -20, -76, -34, 132, -142, 87, -318, 276, -124, 100, -355, -51, -41, -10, 72, 21, -605, 132, -101, -307, -112, 379, -120, -175, 30, 275, -64, 87, 676, 55, 364, 78, -339, -225, 377, -57, -469, -318, -136, 24, 249, 325, -454, -293, 72, -244, 6, -112, 287, 192, 37, 46, 131, -35, -632, 224, 28, 167, -21, -73, -390, 165, -8, -60, -21, -22, -268, -225, -156, 294, -488, -94, 318, 759, -211, -157, 567, -85, 64, 224, -221, 237, 2, -26, 17, 91, -128, -105, -72, 153, -598, 6, -52, -83, -253, -129, -962, 353, -290, 309, -234, 5, 382, -140, 38, -197, 269, 149, -232, -61, 47, 231, 216, 64, 438, 94, 94, -53, -147, -22, 329, -143, 109, -23, -37, 249, -244, 22, 31, 470, -28, -37, -251, 327, 139, -175, -729, 0, 150, 51, -24]