# Trace form for 4022.2.a.c, downloaded from the LMFDB on 24 April 2024.
[0, 31, 31, -14, 31, -13, -14, -29, 31, 27, -13, -29, -14, -23, -29, -14, 31, -19, 27, -36, -13, 0, -29, -24, -14, 4, -23, -65, -29, 18, -14, -41, 31, -18, -19, -28, 27, -31, -36, -31, -13, -51, 0, -14, -29, -34, -24, -64, -14, 8, 4, -17, -23, 3, -65, -50, -29, -19, 18, -58, -14, -14, -41, -66, 31, 6, -18, -55, -19, 1, -28, -42, 27, -83, -31, -49, -36, 18, -31, -56, -13, 3, -51, -43, 0, 4, -14, -76, -29, 17, -34, -49, -24, -24, -64, -43, -14, -98, 8, -1, 4, -10, -17, -49, -23, 10, 3, -28, -65, -6, -50, -25, -29, -23, -19, -48, 18, -31, -58, -12, -14, 2, -14, -30, -41, -36, -66, -24, 31, -31, 6, -112, -18, 0, -55, 10, -19, -35, 1, -26, -28, 54, -42, -33, 27, -32, -83, -47, -31, 25, -49, -32, -36, -24, 18, 52, -31, -47, -56, -18, -13, -27, 3, -101, -51, 77, -43, -82, 0, 16, 4, -43, -14, 16, -76, -38, -29, 19, 17, -48, -34, -5, -49, 49, -24, -26, -24, -115, -64, 121, -43, -12, -14, -15, -98, 16, 8, -11, -1, -83, 4, 25, -10, -28, -17, 5, -49, -39, -23, -6, 10, 25, 3, 37, -28, -36, -65, 41, -6, 45, -50, 24, -25, -102, -29, 78, -23, -59, -19, 37, -48, 4, 18, -18, -31, -3, -58, 128, -12, 15, -14, -58, 2, 21, -14, 65, -30, -17, -41, 60, -36, 1, -66, 42, -24, 19, 31, -27, -31, -19, 6, 65, -112, 30, -18, -59, 0, -19, -55, 56, 10, -106, -19, 110, -35, 16, 1, 15, -26, -77, -28, 70, 54, -78, -42, 149, -33, 1, 27, 6, -32, 119, -83, 40, -47, -36, -31, -52, 25, -40, -49, 42, -32, 18, -36, 28, -24, -103, 18, 103, 52, -19, -31, -94, -47, 95, -56, 57, -18, 62, -13, 31, -27, 16, 3, 20, -101, -14, -51, 84, 77, 13, -43, 37, -82, 24, 0, -46, 16, 50, 4, 76, -43, -79, -14, 108, 16, 29, -76, -4, -38, 125, -29, 23, 19, -6, 17, 130, -48, -29, -34, 95, -5, 66, -49, 115, 49, -163, -24, 92, -26, 4, -24, -5, -115, 97, -64, -33, 121, 16, -43, 120, -12, -19, -14, 12, -15, 136, -98, 140, 16, -34, 8, 106, -11, 12, -1, -37, -83, 201, 4, 53, 25, 42, -10, 91, -28, 114, -17, -80, 5, 83, -49, 117, -39, 37, -23, 90, -6, 37, 10, 175, 25, 82, 3, 57, 37, 30, -28, 233, -36, -40, -65, -73, 41, 178, -6, 134, 45, -53, -50, 136, 24, 56, -25, 131, -102, 62, -29, 28, 78, 110, -23, 153, -59, 97, -19, 83, 37, 125, -48, 94, 4, -49, 18, 126, -18, 26, -31, 182, -3, 51, -58, 52, 128, 57, -12, 171, 15, 29, -14, 8, -58, 86, 2, 185, 21, -81, -14, 166, 65, 42, -30, -129, -17, 157, -41, 128, 60, 0, -36, 292, 1, -8, -66, 23, 42, -11, -24, 123, 19, 101, 31, 30, -27, 22, -31, -38, -19, 126, 6, 68, 65, 8, -112, 373, 30, -121, -18, 99, -59, -37, 0, 114, -19, -77, -55, -1, 56, 84, 10, 2, -106, 6, -19, 12, 110, 27, -35, 168, 16, -29, 1, -85, 15, 157, -26, 79, -77, -48, -28, 188, 70, -35, 54, 23, -78, -57, -42, 64, 149, 101, -33, 52, 1, -8, 27, -83, 6, -13, -32, 122, 119, -48, -83, 135, 40, -44, -47, 70, -36, 71, -31, -3, -52, -31, 25, 181, -40, -142, -49, -33, 42, -31, -32, 116, 18, -42, -36, 34, 28, -72, -24, -66, -103, 60, 18, 27, 103, -61, 52, 316, -19, -136, -31, -43, -94, 91, -47, 127, 95, -1, -56, -109, 57, -72, -18, 52, 62, -136, -13, -72, 31, -124, -27, 147, 16, -57, 3, -56, 20, 49, -101, 18, -14, 54, -51, -63, 84, -37, 77, 12, 13, -25, -43, 141, 37, -119, -82, 146, 24, -72, 0, 16, -46, -83, 16, 95, 50, 23, 4, 167, 76, -21, -43, -19, -79, 46, -14, -6, 108, -127, 16, 112, 29, 59, -76, 54, -4, 33, -38, 148, 125, -137, -29, 88, 23, 32, 19, 58, -6, 60, 17, -8, 130, 110, -48, -77, -29, -45, -34, -7, 95, -15, -5, 264, 66, -31, -49, 78, 115, -51, 49, -92, -163, 220, -24, 36, 92, -222, -26, 215, 4, 109, -24, -56, -5, -30, -115, 189, 97, 125, -64, 124, -33, -58, 121, -56, 16, -97, -43, 65, 120, -199, -12, 103, -19, 177, -14, 0, 12, 205, -15, 11, 136, -34, -98, 186, 140, 70, 16, 141, -34, -20, 8, 99, 106, 5, -11, 212, 12, -57, -1, -289, -37, 79, -83, 259, 201, -54, 4, 28, 53, 46, 25, 135, 42, -27, -10, 112, 91, -136, -28, 152, 114, 58, -17, -126, -80, 137, 5, 160, 83, -194, -49, 83, 117, 84, -39, -195, 37, -1, -23, 137, 90, 44, -6, 113, 37, -82, 10, 15, 175, -180, 25, 194, 82, -14, 3, 99, 57, 111, 37, -135, 30, 27, -28, -53, 233, -115, -36, 153, -40, 121, -65, -245, -73, 11, 41, 253, 178, 84, -6, -171, 134, 151, 45, -130, -53, 79, -50, -39, 136, -131, 24, 272, 56, -35, -25, 79, 131, 128, -102, 124, 62, -33, -29, 215, 28, -127, 78, 101, 110, -5, -23, 91, 153, -101, -59, 183, 97, 133, -19, -116, 83, -93, 37, 353, 125, -94, -48, 175, 94, 73, 4, -37, -49, -133, 18, 104, 126, 44, -18, 206, 26, 275, -31, -70, 182, 169, -3, 130, 51, -63, -58, 79, 52, 58, 128, 72, 57, 176, -12, 125, 171, -182, 15, 147, 29, -3, -14, -6, 8, -159, -58, 245, 86, 141, 2, -15, 185, -47, 21, -268, -81, -36, -14, 111, 166, 30, 65, 176, 42, -189, -30, 64, -129, 232, -17, 208, 157, 9, -41, -53, 128, 153, 60, -75, 0, 157, -36, 232, 292, -7, 1, 26, -8, 84, -66, -193, 23, 166, 42, 221, -11, 123, -24, -142, 123, 131, 19, 73, 101, 73, 31, -67, 30, -227, -27, -20, 22, 172, -31, -51, -38, -88, -19, 220, 126, -106, 6, 41, 68, 53, 65, 77, 8, 19, -112, 68, 373, 100, 30, -127, -121, 25, -18, -15, 99, -185, -59, 9, -37, -124, 0, 26, 114, -93, -19, 37, -77, -153, -55, -60, -1, -27, 56, 26, 84, 27, 10, -253, 2, 145, -106, 216, 6, -46, -19, 128, 12, -146, 110, -89, 27, 23, -35, 36, 168, -51, 16, 145, -29, 15, 1, -175, -85, -101, 15, -13, 157, -122, -26, -272, 79, 40, -77, -65, -48, -106, -28, 144, 188, -196, 70, 101, -35, -17, 54, -265, 23, 152, -78, 147, -57, -173, -42, -98, 64, -135, 149, 207, 101, -274, -33, 14, 52, -95, 1, 275, -8, 5, 27, -300, -83, -39, 6, 217, -13, -303, -32, -21, 122, -115, 119, -85, -48, 82, -83, 95, 135, 137, 40, -129, -44, 199, -47, 63, 70, -454, -36, -89, 71, -208, -31, -105, -3, -120, -52, -192, -31, 26, 25, -157, 181, -112, -40, 62, -142, 83, -49, -23, -33, -176, 42, 476, -31, -169, -32, -26, 116, -87, 18, -298, -42, 84, -36, 16, 34, -5, 28, -177, -72, -69, -24, -169, -66, 95, -103, 34, 60, -106, 18, -319, 27, -153, 103, 23, -61, -24, 52, 81, 316, -277, -19, -3, -136, -90, -31, -10, -43, -127, -94, 93, 91, -46, -47, -69, 127, -79, 95, 33, -1, -458, -56, 137, -109, -247, 57, -281, -72, -4, -18, -83, 52, 139, 62, 146, -136, -250, -13, 8, -72, -157, 31, -104, -124, -376, -27, -267, 147, -137, 16, -56, -57, -31, 3, -10, -56, -148, 20, 257, 49, -61, -101, -438, 18, -37, -14, 176, 54, -318, -51, -122, -63, -73, 84, -43, -37, -171, 77, -59, 12, -222, 13, -17, -25, 25, -43, -88, 141, -87, 37, -529, -119, -232, -82, -6, 146, -47, 24, 35, -72, -270, 0, 43, 16, -168, -46, 184, -83, -63, 16, -124, 95, -127, 50, -112, 23, 4, 4, -230, 167, -203, 76, -26, -21, 12, -43, -112, -19, -52, -79, 187, 46, -130, -14, -114, -6, -86, 108, 148, -127, -390, 16, 0, 112, -23, 29, 87, 59, -10, -76, -266, 54, 69, -4, 47, 33, -177, -38, -122, 148, -294, 125, 9, -137, -81, -29, -56, 88, -64, 23, -163, 32, 83, 19, -166, 58, -180, -6, 30, 60, -510, 17, -169, -8, 151, 130, 22, 110, -267, -48, -207, -77, 39, -29, 185, -45, 171, -34, 3, -7, -100, 95, -42, -15, 68, -5, -146, 264, -159, 66, -188, -31, -172, -49, 67, 78, -324, 115, 271, -51, 52, 49, -147, -92, -322, -163, 138, 220, 62, -24, -100, 36, -134, 92, -66, -222, 174, -26, 29, 215, -207, 4, 87, 109, -241, -24, 52, -56, -77, -5, -44, -30, -257, -115, -34, 189, -46, 97, -103, 125, -436, -64, 198, 124, -102, -33, -45, -58, -22, 121, -256, -56, -171, 16, 215, -97, -139, -43, 71, 65, -144, 120, 42, -199, -23, -12, 186, 103, 182, -19, -285, 177, 86, -14, -78, 0, -197, 12, 116, 205, -414, -15, 66, 11, 124, 136, 115, -34, -95, -98, -229, 186, -101, 140, 32, 70, -233, 16, 236, 141, -484, -34, -87, -20, -305, 8, 49, 99, -214, 106, -32, 5, -469, -11, 57, 212, 138, 12, 329, -57, 143, -1, -274, -289, -145, -37, 210, 79, 32, -83, -87, 259, -397, 201, -119, -54, -79, 4, 96, 28, -215, 53, 30, 46, 90, 25, -65, 135, 110, 42, 167, -27, 89, -10, 236, 112, -64, 91, -102, -136, -89, -28, 106, 152, -353, 114, 101, 58, -59, -17, -96, -126, 170, -80, 181, 137, -255, 5, -360, 160, -140, 83, 157, -194, 63, -49, -58, 83, -12, 117, -40, 84, 13, -39, 31, -195, -256, 37, 290, -1, -87, -23, -48, 137, -22, 90, 187, 44, -8, -6, -113, 113, -308, 37, 54, -82, -131, 10, 18, 15, -451, 175, 80, -180, 213, 25, 47, 194, -128, 82, -307, -14, 109, 3, 79, 99, 178, 57, 335, 111, 2, 37, -89, -135, -345, 30, 249, 27, -376, -28, -124, -53, 182, 233, 147, -115, -51, -36, -253, 153, -209, -40, 51, 121, -125, -65, -223, -245, -224, -73, 79, 11, -35, 41, 84, 253, -36, 178, 92, 84, -385, -6, 79, -171, 38, 134, 310, 151, -126, 45, -531, -130, 69, -53, -122, 79, 75, -50, -15, -39, -149, 136, -48, -131, 12, 24, 208, 272, 22, 56, -307, -35, -267, -25, 182, 79, 171, 131, 344, 128, -484, -102, -272, 124, 33, 62, 44, -33, -244, -29, -62, 215, -119, 28, 27, -127, -123, 78, 33, 101, -550, 110, 135, -5, 8, -23, -232, 91, -191, 153, -106, -101, -81, -59, 252, 183, -214, 97, 347, 133, -248, -19, -285, -116, 27, 83, 251, -93, -59, 37, -376, 353, 178, 125, -43, -94, 131, -48, -11, 175, -85, 94, 305, 73, -201, 4, 211, -37, 177, -49, 173, -133, 104, 18, 134, 104, -136, 126, -7, 44, -265, -18, -90, 206, -182, 26, 309, 275, 155, -31, -37, -70, -13, 182, 274, 169, -211, -3, -149, 130, -143, 51, 85, -63, -25, -58, 88, 79, -8, 52, -313, 58, 0, 128, 92, 72, -18, 57, 195, 176, -279, -12, 97, 125, -177, 171, -124, -182, 20, 15, -353, 147, 10, 29, 243, -3, -36, -14, 232, -6, -171, 8, 166, -159, -73, -58, -183, 245, -44, 86, 87, 141, -333, 2, 70, -15, 30, 185, 214, -47, -50, 21, -430, -268, 336, -81, 237, -36, 77, -14, 97, 111, -9, 166, 218, 30, -400, 65, -58, 176, -377, 42, 184, -189, 67, -30, 178, 64, -225, -129, -115, 232, 327, -17, 21, 208, -78, 157, -9, 9, -64, -41, 84, -53, -2, 128, 318, 153, -239, 60, -249, -75, -262, 0, 324, 157, 7, -36, 10, 232, -113, 292, -332, -7, -171, 1, 53, 26, 31, -8, -401, 84, -269, -66, -261, -193, -13, 23, 328, 166, -60, 42, 243, 221, -93, -11, 151, 123, 3, -24, 229, -142, 248, 123, 75, 131, -104, 19, 277, 73, -182, 101, 69, 73, -346, 31, -3, -67, -169, 30, -265, -227, 124, -27, 88, -20, -86, 22, -321, 172, -300, -31, 43, -51, 374, -38, 423, -88, -221, -19, 176, 220, 115, 126, -220, -106, -32, 6, -124, 41, -600, 68, 147, 53, 196, 65, 70, 77, 81, 8, 17, 19, 72, -112, 79, 68, -20, 373, -75, 100, -201, 30, -68, -127, 63, -121, -178, 25, 12, -18, -106, -15, -450, 99, 101, -185, 106, -59, -30, 9, -95, -37, -233, -124, 65, 0, 300, 26, -42, 114, 82, -93, -81, -19, -153, 37, 335, -77, 126, -153, -221, -55, -278, -60, -41, -1, 311, -27, 198, 56, -370, 26, 117, 84, 27, 27, 90, 10, -122, -253, -315, 2, 348, 145, -118, -106, -224, 216, -209, 6, -368, -46, -347, -19, 331, 128, -82, 12, -359, -146, 5, 110, 207, -89, 126, 27, 5, 23, 147, -35, -532, 36, 287, 168, -130, -51, -11, 16, -10, 145, -253, -29, -267, 15, 165, 1, 85, -175, 51, -85, 50, -101, -231, 15, 101, -13, -169, 157, 36, -122, -26, -26, -159, -272, 439, 79, -217, 40, 177, -77, -450, -65, -224, -48, 246, -106, -361, -28, 41, 144, -157, 188, -67, -196, -82, 70, 164, 101, -211, -35, -121, -17, 134, 54, -62, -265, -105, 23, -88, 152, 51, -78, -366, 147, -23, -57, -206, -173, -130, -42, -243, -98, 93, 64, 97, -135, -174, 149, -338, 207, -13, 101, 50, -274, 120, -33, 273, 14, 209, 52, -362, -95, -126, 1, -160, 275, -114, -8, -120, 5, -180, 27, -219, -300, 215, -83, -19, -39, 116, 6, -619, 217, 125, -13, 365, -303, 206, -32, 170, -21, -590, 122, -168, -115, 117, 119, -59, -85, -39, -48, -145, 82, -57, -83, 117, 95, -104, 135, -33, 137, -624, 40, 25, -129, 187, -44, 102, 199, -663, -47, -69, 63, -248, 70, 375, -454, -73, -36, -129, -89, -79, 71, 213, -208, 91, -31, -209, -105, 44, -3, 111, -120, 130, -52, -292, -192, 91, -31, 82, 26, -403, 25, -288, -157, 10, 181, 105, -112, -448, -40, 246, 62, 226, -142, -48, 83, -10, -49, -269, -23, -221, -33, -138, -176, -84, 42, 93, 476, -176, -31, -307, -169, 260, -32, 148, -26, 223, 116, -374, -87, 28, 18, -56, -298, -53, -42, 689, 84, -218, -36, -204, 16, -179, 34, -23, -5, -267, 28, -236, -177, -131, -72, -20, -69, -42, -24, 42, -169, 56, -66, -189, 95, -120, -103, -334, 34, 70, 60, 74, -106, -364, 18, -48, -319, -191, 27, 127, -153, 124, 103, -70, 23, -177, -61, 74, -24, -93, 52, 64, 81, 122, 316, -248, -277, -10, -19, 222, -3, 39, -136, -381, -90, 312, -31, 139, -10, 50, -43, -6, -127, -265, -94, -372, 93, 319, 91, 55, -46, -125, -47, -153, -69, 272, 127, -70, -79, 28, 95, -89, 33, -437, -1, 14, -458, -143, -56, 366, 137, -10, -109, -325, -247, -118, 57, 113, -281, -95, -72, -453, -4, -86, -18, -23, -83, 24, 52, 497, 139, -69, 62, -482, 146, 263, -136, -125, -250, -274, -13, 31, 8, 177, -72, 121, -157, 34, 31, -135, -104, -301, -124, 448, -376, -293, -27, 93, -267, 53, 147, -152, -137, -93, 16, 180, -56, 193, -57, -81, -31, -96, 3, -296, -10, 212, -56, 369, -148, 162, 20, -79, 257, -234, 49, 93, -61, 124, -101, -191, -438, -142, 18, 118, -37, -190, -14, -178, 176, 498, 54, -180, -318, -70, -51, -412, -122, 456, -63, -306, -73, -259, 84, 110, -43, -202, -37, 103, -171, 107, 77, -133, -59, -431, 12, 457, -222, -153, 13, 213, -17, -26, -25, -150, 25, -303, -43, -113, -88, -2, 141, -9, -87, -100, 37, -86, -529, -77, -119, 695, -232, 23, -82, -278, -6, -158, 146, -541, -47, 407, 24, -33, 35, -13, -72, -225, -270, 374, 0, 293, 43, -457, 16, -26, -168, 105, -46, -14, 184, 326, -83, -41, -63, -26, 16, 172, -124, -254, 95, -48, -127, -145, 50, -223, -112, 205, 23, 367, 4, 76, 4, -84, -230, -56, 167, -62, -203, 56, 76, -147, -26, 217, -21, -305, 12, 426, -43, -74, -112, 201, -19, 108, -52, -554, -79, -639, 187, 435, 46, 136, -130, -648, -14, 65, -114, -198, -6, 288, -86, 269, 108, -139, 148, -568, -127, 36, -390, 334, 16, 139, 0, -16, 112, 210, -23, 215, 29, 54, 87, 346, 59, 331, -10, -187, -76, -16, -266, -133, 54, 519, 69, -267, -4, -547, 47, 350, 33, -251, -177, -221, -38, 129, -122, -115, 148, -229, -294, 62, 125, -264, 9, -78, -137, 198, -81, 445, -29, -121, -56, 6, 88, 161, -64, -154, 23, 246, -163, 166, 32, 73, 83, 82, 19, -420, -166, 129, 58, 108, -180, 266, -6, -281, 30, 36, 60, -329, -510, 577, 17, 364, -169, 310, -8, -220, 151, 5, 130, 194, 22, 206, 110, 120, -267, -234, -48, 249, -207, 311, -77, 171, 39, 135, -29, 6, 185, -71, -45, 201, 171, 225, -34, -268, 3, -245, -7, 658, -100, -250, 95, 640, -42, -111, -15, -447, 68, -609, -5, -240, -146, 179, 264, -142, -159, -34, 66, 76, -188, 341, -31, 168, -172, 181, -49, 18, 67, -52, 78, -96, -324, 222, 115, -54, 271, -51, -51, 82, 52, 83, 49, 168, -147, 176, -92, 321, -322, -400, -163, 22, 138, -31, 220, 8, 62, -353, -24, -176, -100, -146, 36, -176, -134, -435, 92, -607, -66, 507, -222, 30, 174, 253, -26, -235, 29, -174, 215, 201, -207, 215, 4, 184, 87, -246, 109, -313, -241, 46, -24, 99, 52, 169, -56, 47, -77, -254, -5, -424, -44, 344, -30, -75, -257, 210, -115, -169, -34, 195, 189, 172, -46, -254, 97]