# Trace form for 4031.2.a.c, downloaded from the LMFDB on 25 April 2024.
[0, 61, -1, -4, 43, -7, -13, -10, -6, 23, -16, -3, -18, -28, -14, -12, 11, -21, -17, -36, -16, -12, -42, -15, -28, -16, -13, -10, -25, -61, -12, -18, -3, -42, -22, -29, -38, -30, -27, -31, -22, -28, -9, -58, -2, -31, -40, -6, -37, -37, -15, -44, -43, -27, -18, -38, -22, -50, 1, -24, 6, -76, -17, -6, -60, -65, -7, -45, -31, -16, -48, -28, -40, -50, -17, -35, -100, 1, -6, -66, -10, -63, -5, -9, -24, -77, 29, 4, -62, -30, 50, -52, -53, -42, -92, -20, -47, -34, 36, -29, -53, -21, 37, -60, -59, -84, -84, -13, 35, -120, -5, -47, -25, -5, 11, -69, -43, -50, 14, -13, 0, -142, -20, -51, -65, -9, -19, -57, 7, -70, -79, 21, 21, -64, -38, -61, -59, -52, -47, -61, -21, -31, -32, -24, -73, 7, 33, 39, -54, -79, 53, -91, -66, -55, -79, -1, 22, -41, 32, -55, 13, -142, -24, -37, -41, -26, 88, -18, -6, -103, 5, -42, -79, -10, 13, -59, -3, -9, -49, -14, -120, -99, 5, 19, -64, -6, -38, -22, 18, -40, 71, -64, -40, -158, -38, 76, -139, -7, -23, -57, -70, -53, 64, 10, -79, -49, 85, -60, -48, -69, -93, -83, 2, -17, -41, 57, 59, -179, 89, -13, -84, -11, 58, 10, -10, -126, -56, -71, 3, -105, 81, -106, 6, -47, 47, -12, -13, 58, -69, -109, -20, -215, -1, 46, -83, 18, 1, 73, 40, -116, -63, -3, 99, -42, -141, 14, -131, -45, -30, -26, -9, -23, 119, 0, 154, -131, 8, 18, -71, 15, 29, -107, 105, -92, -94, 13, 99, -140, 1, -66, -94, -93, 101, -71, -46, -2, 71, 14, 81, -150, 16, -84, 35, 82, 65, -59, -72, -51, -72, 29, -10, -50, 173, 4, -195, 68, 148, -38, 21, -117, -82, -14, 34, -142, -52, 72, -168, 42, 158, 3, 82, -75, 132, -4, -76, -122, -125, 11, -14, -69, 185, -79, 83, -104, 18, 50, -5, -259, 41, -32, -63, -47, 155, -101, 27, 17, 29, -17, 18, -155, 120, -12, -113, 13, -58, -109, 87, -9, -124, 60, 118, -113, -50, 128, 20, -93, -61, 1, 59, -41, -150, 32, 180, -51, 56, 44, -105, 28, 63, 40, 59, -146, 16, 3, -70, -65, 74, -47, 88, 27, 199, -109, 229, -98, -99, -2, -86, -76, 182, -70, -61, -95, 187, 44, 34, -45, 14, 22, 117, -166, 1, 79, -151, -54, 17, -66, -8, 4, 21, 49, 54, -127, 139, -44, -70, 28, 56, 41, -16, 15, 54, -33, 139, -146, 103, 12, -146, 94, 160, -75, 48, -109, -157, 88, 147, -12, 170, 112, -41, -26, 142, -21, -95, -20, -131, 37, 232, -220, 5, -84, 75, -26, 265, -114, -11, -86, 107, 48, 33, -92, -80, -5, -47, -68, 28, 97, 92, 34, -113, 102, 249, -270, 22, 21, -53, 81, -41, -53, -14, -58, 62, -32, 104, 21, 67, 192, 152, -68, 89, -118, 50, -4, -78, 2, 127, -292, 99, 8, 106, -67, 10, -208, 64, -18, 147, 53, 110, -19, 66, 27, -41, -81, 17, -33, 178, 242, -49, 35, 100, -302, 154, 11, 94, 146, -157, 72, -40, 262, 90, -53, 101, -211, 243, 129, -149, 7, 317, -81, 21, -125, 21, 36, 27, 36, 121, 66, -43, -103, 1, 12, 42, -170, 159, 201, 168, -224, 337, 170, -70, -179, 49, -52, 248, -83, 172, 67, 80, -1, 97, -118, 16, -100, 160, 10, 272, -26, -79, -61, 86, -234, 162, 214, -107, 113, -89, 169, 117, -81, 86, 33, 287, -220, 115, 57, -260, -13, 87, -29, 56, 12, 138, 75, 264, -97, 126, -2, -144, 1, 56, 11, 281, -2, 114, 1, 185, -217, -81, -76, -58, 81, 178, -261, 192, -45, 34, 192, 163, -174, 42, 8, 272, 33, 250, 30, -109, -34, -2, -54, -105, -203, 295, 132, -87, 231, 303, -104, 111, -5, 39, -64, -112, -86, 139, 246, 78, 137, 99, 15, 90, 225, 67, -58, 159, -258, -151, 152, -36, 28, 318, 52, 175, -240, 238, 104, 118, -26, -7, 163, -65, -180, 103, -151, 181, -26, 196, 7, 28, -252, 338, 101, 45, -156, 71, -36, 2, -39, 7, 196, 68, -94, 151, 198, 69, 1, 42, -65, 131, 71, -78, 121, 144, -270, 321, 196, -85, 16, -41, 122, 361, -103, 143, 36, -115, 122, 96, 123, -12, 48, 142, -136, 430, 67, 26, 141, -117, -132, 300, 82, -7, 96, 283, -19, 254, 40, 13, 41, 210, -37, 61, 195, -220, -91, 293, -2, -98, 14, -55, 103, 83, -198, 354, -44, -94, 196, 296, 130, -73, 156, 133, 145, 39, -101, 137, 10, -74, 104, 206, 12, 202, -52, -87, 102, 262, -105, 311, 177, 130, -73, 255, -137, -88, -108, 118, 228, 238, -54, 192, 17, 464, -131, 228, -66, 25, -51, 47, 254, 210, -29, 100, -199, 72, -195, 152, 128, 390, 26, -17, 105, 99, -238, 170, 110, 174, -24, 13, -53, 186, 55, -90, 48, 141, 61, 271, 314, 138, 139, -20, 93, -237, 25, 339, -42, 498, 88, 273, 25, 103, 18, 110, -47, 110, 166, 361, 58, 288, -274, 143, 68, -43, 20, 12, -151, 316, 164, 125, -120, -19, -182, 171, 103, -53, -59, 123, 79, -124, 293, 218, 20, 386, -199, 342, 173, 117, -37, 243, 93, 102, 91, -61, 18, 60, 89, 147, 101, -230, -135, -171, 154, 99, 32, 383, 260, 311, -151, 306, 164, -47, 188, 311, -248, 469, -292, 200, 98, 100, -22, 173, 92, 3, -85, 295, -66, 77, 82, -85, 64, 157, -381, -74, 174, 206, 204, 117, 194, 254, -110, 44, 182, 263, -76, 203, 194, 171, -160, 17, 4, 4, 42, -36, 312, 176, -379, 210, 67, -439, 134, 220, -126, 257, 16, 276, -154, 616, 10, -56, -47, 35, 145, 121, -109, 374, 55, 64, 233, 170, -305, 22, 101, 443, 112, 64, 43, 181, -153, -41, 17, -162, 161, 290, 171, 19, 375, 317, 35, 38, 83, 81, 284, -24, -379, -128, 95, 27, 176, -216, 29, -94, 280, 226, 93, 317, -171, -144, 240, -201, -80, 257, 237, 89, -207, 309, 143, 88, -258, 171, 126, 310, -56, -145, 15, 228, -39, 132, -43, 38, -141, 102, 180, 163, -85, -35, -186, 133, -2, -158, 130, 219, -83, -135, 309, 232, 3, 70, -71, 85, -149, -344, 264, 144, -45, 92, 107, -111, 30, 146, 77, 162, -20, 121, 48, -170, 11, 191, 152, 59, 276, 308, -68, 289, -204, -232, -9, -40, 175, 210, 57, 104, -191, 426, -101, 338, -254, 27, -178, 314, -80, 4, -140, -369, -66, 30, -16, 6, -93, -192, 79, -121, 61, 98, 143, 161, -53, 145, 199, -117, 178, 60, 234, 26, -482, 303, 31, -111, 269, 135, 15, -11, -164, -206, 105, 165, -293, 426, 7, 199, -367, 546, 46, -377, -19, -192, 76, 649, -235, -69, -63, 121, -51, 90, -268, 22, -353, 277, 88, -241, -36, 46, -168, 117, -158, -15, -164, 256, 11, -270, 473, 521, -258, -63, 41, -190, -19, -173, 8, -134, -63, -288, 7, 139, 28, 100, 221, 205, 109, -160, 84, -145, 135, 145, -284, 108, -499, 264, -176, 3, 116, 51, -34, 153, 138, 191, 119, 351, -196, 39, 19, -21, -259, 9, -179, 147, 274, -37, -53, -112, -227, -154, -129, -278, -99, 25, -111, -137, 73, 64, 63, -323, -54, 6, 146, -83, 0, 51, -13, -245, -169, -256, 58, -76, -194, 424, -23, -88, -114, -386, -18, 23, -236, 559, 163, 221, -477, 184, 218, -369, 36, -41, 88, -39, -31, 172, -227, 304, -285, -3, -26, 2, -105, 237, 163, -375, 165, -489, -146, -213, 58, -335, 74, -161, -50, -234, 339, 277, -125, -194, 290, 142, -268, -140, -7, -6, -78, 28, -14, -357, 31, -67, 421, -197, -203, -363, 130, -261, -213, -82, -142, -80, 140, 125, -101, 296, -219, -318, 1, -227, 27, 338, -77, 178, 1, 364, -96, -208, 1, 40, 156, -228, 247, -117, -296, -132, -406, -33, -50, -192, -202, -100, 276, -414, 373, 41, -113, -41, -210, -7, 304, -170, 196, -113, 160, -286, -22, 137, 6, -47, 369, 189, -5, -137, -513, -500, 383, -107, -121, 235, -18, 247, -332, 42, 195, 93, -501, 404, 139, -50, -305, 240, -113, -502, 6, 16, -79, 37, -158, -75, 22, -103, 77, -489, -281, -4, -249, -177, 256, -254, 137, 51, 288, 364, -89, 172, 20, 57, -155, -270, -75, -136, 69, -347, 65, -95, 37, -61, -7, 273, -106, -359, 166, -468, -222, 86, -370, -31, -176, 241, -200, 299, 39, -367, -132, -58, -336, 159, -125, -72, 12, 376, 5, 226, -463, 15, -232, 262, 200, -6, 100, -346, -111, -735, -40, -385, 37, -137, 205, -475, -19, 306, 247, 146, -17, 22, 189, 73, 277, -51, -14, -213, -167, -151, 44, -163, 83, 76, -129, -117, -55, -651, 177, 164, -402, 495, 237, -44, -343, 154, -14, -303, 62, 13, 48, -55, -147, 77, 152, -183, -68, 95, -264, 43, -411, 340, 97, 145, -144, -777, 130, -134, -190, -339, 258, 71, -278, -319, 210, -64, -117, 227, -42, -81, 3, -587, -69, -30, -3, -150, -220, -15, 27, 71, 328, 207, -24, 37, 72, -124, 123, -285, -106, 83, -251, -122, -195, 415, 40, -517, -144, 226, 453, -250, 87, -186, -435, -257, 105, -93, -166, 18, 124, 232, 12, -380, -134, -527, -74, -272, -71, -194, -211, -210, -98, -208, 235, 340, 102, -234, -217, 77, 386, -531, 155, -195, -242, 115, -177, -449, 38, -87, -125, -122, -193, -372, -101, -118, -31, -11, -151, 274, 258, 147, -500, 288, -4, -60, 123, -439, 249, -40, 20, -81, -328, 87, -334, 111, -152, 22, 19, 191, 99, 81, -142, -221, -95, -183, -315, -484, 206, -166, 263, -523, 90, 32, -31, 223, 171, 56, -211, -269, 222, -209, -254, -193, -42, 261, 50, -148, 290, 213, -294, -521, 52, -596, -56, 91, -383, -94, -221, -15, -17, 18, -280, 103, 153, -109, -44, -6, -66, 356, -80, 71, -63, 59, -587, -1, 199, -67, 296, 58, -11, -262, -527, -27, -148, -129, -128, -193, 366, -136, 338, 399, -287, -221, -279, 367, 184, -531, 25, -46, 321, -21, -8, -133, 24, -37, 238, -111, 103, -301, -263, -332, -56, 428, -330, 323, 110, 108, -337, -71, 181, -368, -450, -441, 290, 113, -168, 40, -100, -102, 38, -386, -199, -6, -424, 28, 127, -324, -142, 38, 133, -345, -77, 54, 310, -330, -104, 128, 306, 31, -186, -35, -468, -35, 56, 113, 183, -715, -125, -504, 151, -317, 76, -111, -59, 77, -398, 48, 186, -61, -123, -46, -371, 126, 369, 76, -288, 423, 194, -81, 64, -263, -265, 127, -90, -20, -285, -259, 43, 433, 57, 17, -174, 247, -589, -49, -72, -444, -250, -203, 28, -672, -19, -97, 56, -474, 223, 366, 197, -212, 81, -345, 70, -298, -1, 76, 290, 31, -168, -90, 6, -345, 36, -29, -127, 19, -267, -114, 386, -439, -131, -225, 203, -250, 131, 242, -133, -422, 51, -51, 172, -170, -687, -280, 170, 106, -110, -30, -178, 60, -213, 191, 114, -427, 19, -156, -160, -452, -128, -376, 326, -264, -194, -30, 224, 498, -387, -14, -171, 14, 49, -1126, 246, -178, -261, -179, 130, -73, 65, 126, 422, 110, -208, -33, -60, -635, 483, -269, -260, 109, -289, -83, -353, 194, 286, -345, 22, 179, 133, -71, -24, 14, -321, -441, 189, 122, -358, 7, -27, 292, 436, -64, 136, -548, -494, -302, 310, -868, 108, -256, 362, -545, 197, 445, -165, 342, -192, -276, 459, 7, 170, -349, -178, -93, -414, 20, 45, -411, 173, 14, 93, -161, 13, -542, 154, 18, -268, 66, 194, 243, -255, 260, 37, -443, 229, 20, 285, -197, 202, 118, 186, 183, -450, 507, -261, 31, -99, 379, -95, 168, -51, -412, -409, -110, -86, -594, 55, 17, 62, -22, 265, 259, -29, -116, 85, 314, -207, -288, 275, -53, 69, -345, -289, -9, 16, -92, 76, 506, -220, -234, -7, -887, 26, 128, -400, 387, 85, -464, -179, 98, -36, -448, -167, -299, 135, 587, 114, 279, -304, 24, -35, 59, -261, 48, -466, 526, -89, -571, 341, -604, -197, -422, 171, 6, -525, 161, 156, -490, 313, 331, 107, 281, -634, 234, 208, -254, 66, -183, 266, -34, 51, -495, 28, -330, 156, 394, -106, -632, -500, -109, 43, 91, -18, -32, 291, -209, -284, 43, 432, -222, 71, -444, 163, -73, -407, 477, -231, -142, 12, -268, -213, 40, -801, -337, 103, 240, 131, -389, -123, -55, -179, -106, 134, 93, -140, -584, 729, 130, 24, -163, -128, 14, -152, -173, 109, 436, -119, -322, -79, -821, 50, -448, 372, 177, -441, -398, 116, -318, 117, -537, -131, 203, -129, 55, -93, 769, -51, -165, 218, -394, 48, -289, 322, 98, 23, 98, 46, -481, 69, 17, 344, 220, 302, -222, 5, -19, -497, -370, -21, -425, 284, -317, -97, -370, -87, 352, 166, -110, 286, 263, 231, -30, -150, -204, 111, -354, -394, -23, 35, -223, 85, 112, -77, -416, -248, 202, 224, -14, -650, 191, 533, -330, -212, -235, 271, 63, 72, -145, 15, 334, 163, -244, -156, 169, -77, 39, -111, 100, 3, -31, 104, 160, -765, -244, -270, -55, 158, -276, -79, 362, -6, -839, 343, 24, -164, 101, -68, -11, -270, -231, 378, -868, 17, -22, 279, -150, -1, -149, 480, 373, 34, -348, 186, -106, 21, 357, -351, -7, 178, -298, 43, 353, -191, -311, -60, 586, 269, 157, -107, 98, -127, -384, 262, -200, -329, 6, -139, 486, -145, -52, -352, -413, -530, -618, 120, -401, -13, -508, 368, -387, 214, 699, -115, 471, -276, 548, 303, -350, 127, -82, 441, -708, -491, -7, 66, -243, 238, -126, -109, 75, -243, -1019, 306, 22, -5, 204, 179, 74, -845, 461, 895, -178, 185, -60, -117, -6, -225, 100, -193, -224, -25, 571, -119, 10, -261, 542, 85, -513, 34, -412, -138, -551, -527, -395, 226, 228, -103, -487, 471, 511, 257, -101, -142, 504, -193, -135, -106, -117, -33, -101, -74, 50, 63, -283, 313, 783, -153, -944, 95, -780, 64, -389, -197, 278, -474, 330, 21, -284, 23, -55, -256, -653, 103, 488, 17, 537, -248, 469, 22, -16, -218, 5, -134, 197, 336, -415, -20, -299, -29, -325, 161, -712, -445, 278, 721, -332, 275, -7, -49, -70, 375, 494, 122, -207, -7, 171, 323, -744, 157, -728, 9, 159, 114, 279, 32, -220, -143, -938, 379, -58, 39, 169, -176, -297, 51, 225, 464, -252, -546, 147, 377, -127, 241, 468, -328, -161, -248, -62, -186, 24, -117, -7, 357, 173, -438, -314, -218, -213, 79, 142, 476, -438, -368, -606, 400, 428, -83, 145, -170, 71, 368, -434, 222, 329, -285, -251, -383, -153, 77, -809, 537, -252, -64, -88, 238, -436, -202, 122, 222, 430, 258, -175, -161, 167, 161, -141, 323, -493, 248, 342, -122, 508, -369, -241, 176, 409, -336, -29, -50, 181, -91, -282, 214, -677, -247, 17, 83, -140, 186, -274, 94, -689, 459, 632, 38, 190, 191, -3, 174, -34, 665, -69, 223, -251, -660, 97, -4, -494, 279, 465, -54, -520, -488, 103, -5, 368, -202, 43, 166, -150, 124, -200, 414, -577, 105, 366, -82, 394, -224, 361, -282, -236, -319, -406, -398, 62, -150, 328, 242, 238, -16, -747, -412, 130, -95, -93, 100, -141, 439, -241, 574, 290, -208, -96, -204, 26, 45, -265, 197, -595, 228, -249, 425, -88, 30, 237, 739, 371, -146, -289, -177, -731, 2, -145, 5, 357, -269, -367, 14, 67, 510, 17, -184, 422, 66, 284, -42, 327, -438, -370, -80, -9, -239, -50, -174, 268, 271, -181, 515, -259, -150, -81, -107, -139, 134, -148, 307, -242, 522, -56, -110, -70, -545, 188, 532, -151, -176, -681, 100, -501, 124, 16, 52, -81, 36, 140, -145, -207, 127, -697, -26, -244, 52, -91, 659, -223, -177, 82, 430, 107, 173, -634, 160, 370, -244, 89, -187, 91, -123, 227, -99, 53, 268, 67, 137, -583, 49, -703, 16, -325, -193, -439, 26, 92, 135, -560, 120, -436, 6, 69, 337, 63, -430, -509, 316, 63, 77, -689, 235, 53, 42, -302, 587, 105, -223, -560, 121, -350, 288, 316, 83, 289, 129, -2, -228, 536, 79, -399, 189, -80, 382, -437, -62, 180, -205, 322, 23, -225, -340, 92, 51, 119, -320, -199, -161, -93, -457, -395, 478, -341, 81, -253, 330, -439, 314, 488, 134, -391, -115, -5, 774, -207, 369, -480, 372, -14, 57, 58, 20, -499, 765, -107, 171, -626, -228, -123, 363, 56, -605, 634, -69, 390, -295, 781, 168, 16, -403, -771, 32, 483, 427, -832, -274, 16, -263, 446, 6, 47, -375, 32, 365, -324, -215, -398, -49, -314, -178, -280, 639, 146, 119, -151, 547, 925, -62, 35, 91, 77, 13, -827, 583, 72, -766, -55, -55, 181, 34, -229, 648, -1, -175, -9, 153, -286, 94, 5, -235, 595, 323, -97, 129, -454, 182, -76, 72, -77, -36, 337, 75, 138, -261, 667, 34, 525, -298, -36, 399, -80, 357, -277, 400, -937, -503, -804, -369, -168, 317, -368, 183, -285, 267, 433, 75, -204, 369, 198, 313, -467, 565, 346, 201, -431, -357, 264, 29, -167, 467, 610, -58, -411, 215, -245, 81, 637, -652, 108, -151, -288, -102, 138, 439, 437, -116, -474, -30, 682, -86, -21, -349, 470, -92, -166, -639, 53, -61, 665, 139, -500, -46, -336, 264, 65, 280, -825, 77, 394, -15, -520, 414, 843, 50, -759, 12, 43, -6, 303, 167, -89, 174, 231, 76, -476, 21, -128, 508, 703, 66, -199, 98, -233, 495, 152, -179, 365, -370, -257, -160, 142, 136, 696, 475, -165, 253, 209, 514, -103, -53, -407, -97, -490, 309, -37, -249, -351, 226, -311, -21, -150, -352, -56, 307, -117, 20, -247, 299, -270, 729, 304, 258, -471, -58, 131, 770, -668, 84, 708, 405, -297, 310, 140, 60, -251, -190, -390, -184, 233, -104, -382, 244, 681, 155, 476, 289, -46]