# Trace form for 3725.2.a.c, downloaded from the LMFDB on 12 June 2024.
[0, 9, 1, -6, 13, 0, 1, -3, 6, 9, 0, 5, 1, -7, -8, 0, 13, 5, 15, 30, 0, -6, 7, 4, -11, 0, -15, -15, 12, -16, 0, 22, 38, 15, 9, 0, -26, 7, 18, -13, 0, 6, 11, -4, 6, 0, 1, 6, 6, 14, 0, -11, -50, 2, 12, 0, 7, -5, -2, 43, 0, 1, -33, 6, 18, 0, 51, -33, 16, -14, 0, 15, -3, 11, 33, 0, 59, 30, 21, 1, 0, 1, -5, 4, 24, 0, -7, -17, 37, -19, 0, 62, -17, -3, 17, 0, -43, 1, -36, 1, 0, 1, -41, -3, -41, 0, 22, -12, 26, 7, 0, -18, 21, 49, 22, 0, -13, 41, 43, -28, 0, -8, -50, 22, 44, 0, 28, -9, 49, -46, 0, -5, -23, 37, -26, 0, 57, 12, 90, 47, 0, -42, 8, 29, -26, 0, -32, -11, 105, 9, 0, 37, -9, 29, -72, 0, 41, 31, 15, -49, 0, -10, -84, -6, 59, 0, 39, 17, 44, -12, 0, 80, -33, 0, 24, 0, 14, -23, 57, 5, 0, -9, -28, 5, 29, 0, 40, -39, -43, -49, 0, -61, -114, 24, -58, 0, -3, -12, -16, 35, 0, 58, -25, -27, -77, 0, 124, 77, -62, 32, 0, 38, -81, -60, -97, 0, 85, 23, 83, 59, 0, -39, 13, -39, 51, 0, -36, -3, 66, 62, 0, -15, 47, -34, 16, 0, 88, 58, 126, -15, 0, 14, -87, -61, -105, 0, 64, 8, 44, 29, 0, 33, -53, 3, -13, 0, -17, -84, -20, 93, 0, 4, -43, 12, -24, 0, -20, 56, 14, -17, 0, 30, 146, -83, -81, 0, 103, 78, 37, 5, 0, 0, -64, 16, 24, 0, -116, 16, 34, 22, 0, 29, 75, -41, -66, 0, 166, 26, 1, 11, 0, -10, 0, 38, 59, 0, -44, -60, 171, 11, 0, 26, 94, -23, 20, 0, -123, 33, -22, -28, 0, 12, 91, 6, -64, 0, -68, 18, 121, -32, 0, 66, 30, -27, -109, 0, -73, 6, 15, 40, 0, 85, 91, 60, -39, 0, 27, -12, -20, -6, 0, -90, 42, 13, 7, 0, -15, -97, -2, -2, 0, 55, 33, 109, 67, 0, 113, 45, -100, 7, 0, -25, -121, -32, 126, 0, -61, -30, -99, 45, 0, 22, -64, -27, -90, 0, -28, 99, 39, 75, 0, -23, -209, 47, -38, 0, 35, -26, 36, -101, 0, 46, -71, 1, 57, 0, 50, 65, -198, -7, 0, 126, 3, -10, -81, 0, -60, -127, 59, -14, 0, -50, -226, 49, 21, 0, -77, -8, -115, 23, 0, -14, 57, -47, -47, 0, -87, 35, 73, 45, 0, -56, 60, 27, -15, 0, -101, -6, -72, 94, 0, 87, 110, -196, 76, 0, 83, 47, -108, -48, 0, -42, -34, -69, -67, 0, 4, 105, -37, 79, 0, -27, 9, 9, 133, 0, -129, 64, 51, -98, 0, -5, -100, 37, 46, 0, -97, 104, -64, -21, 0, 17, -137, 0, -29, 0, 87, 73, 96, 106, 0, -106, -18, 93, -9, 0, 55, -59, -167, 59, 0, -22, 93, -197, 125, 0, -153, 61, -56, -63, 0, 3, -143, -52, -56, 0, -26, 91, 19, -15, 0, 71, 51, -37, 29, 0, -97, 23, -122, 36, 0, -29, 83, 73, 226, 0, -114, 25, -45, 74, 0, -96, 95, 9, -62, 0, 178, 12, -42, 19, 0, -27, 33, 60, -207, 0, -118, 183, 23, -96, 0, -25, 131, -39, 49, 0, 67, 38, 83, 54, 0, 65, -61, 60, 0, 0, 2, 98, -16, 63, 0, -188, 153, -113, -72, 0, 13, 41, 61, -15, 0, -53, -85, -48, 100, 0, 25, 94, 176, 117, 0, 17, -63, 21, -188, 0, -77, -75, -69, 123, 0, -120, 20, 7, 31, 0, 169, 124, 53, -47, 0, 11, -44, -65, -82, 0, -132, 56, -7, 40, 0, -39, 98, -129, -72, 0, -5, -15, -163, -3, 0, -106, -41, -17, 15, 0, 154, -56, -277, -22, 0, -15, -108, -31, 266, 0, -13, 91, 3, -66, 0, 50, -159, 13, -106, 0, 38, -78, 83, -104, 0, -51, -34, -47, -147, 0, -314, -82, -60, 58, 0, 139, -80, -162, 116, 0, -41, 143, 31, 91, 0, -113, -196, 54, -5, 0, 146, 81, 121, 29, 0, 97, 80, -35, -124, 0, -75, 31, -93, -35, 0, -74, 118, 63, 4, 0, 8, 12, -193, 54, 0, 71, 56, -8, -102, 0, -159, -116, -139, 44, 0, -172, -132, -86, -272, 0, 51, -49, -203, 64, 0, 61, -70, -80, 5, 0, 108, -100, 13, 2, 0, -92, 107, -5, -163, 0, -25, -55, -195, 12, 0, 20, -62, 82, -151, 0, -204, 76, 66, 45, 0, -56, -257, 55, -169, 0, 37, -8, -70, -32, 0, -7, 36, 98, -49, 0, -101, -5, 15, -35, 0, -65, -20, 68, 94, 0, -58, -11, -148, -16, 0, 184, -97, -132, -75, 0, -221, 23, 97, 66, 0, -44, 14, -39, 92, 0, -50, 76, 127, 67, 0, -9, -125, -220, -109, 0, 109, -19, 188, 106, 0, -109, -95, -14, 5, 0, -65, 15, -49, 23, 0, 12, 72, -77, 71, 0, -175, 149, -61, 100, 0, -85, 200, 61, -23, 0, -236, 1, 163, 29, 0, 32, -58, -38, 150, 0, -78, 26, 25, 98, 0, -6, 205, -68, -311, 0, 114, -70, -33, -89, 0, -98, -33, -1, 1, 0, -39, -80, 41, -43, 0, -8, 65, -47, -41, 0, -81, -43, 47, -11, 0, -58, 39, 175, -114, 0, 122, -96, 178, -18, 0, -66, -47, 64, 44, 0, -14, 8, -108, 67, 0, 64, 85, -124, -11, 0, -100, 111, 211, -14, 0, -66, -187, 14, 18, 0, -147, 91, 311, -86, 0, 184, 81, -36, -95, 0, 210, -110, -295, -94, 0, 23, -255, 71, 81, 0, -4, -51, -238, -106, 0, 93, 72, 46, -60, 0, -160, 50, -30, 135, 0, 197, 184, -20, -321, 0, -113, 25, -187, -10, 0, 103, 285, -169, 37, 0, -61, -4, -183, 81, 0, -70, -115, -73, 24, 0, 17, -74, 65, -48, 0, -94, 41, -175, -242, 0, -94, 50, -162, -81, 0, -39, -31, -52, 126, 0, -64, 133, -169, 83, 0, -60, -147, 117, -301, 0, 162, 20, -48, -15, 0, 159, 157, -3, 165, 0, 87, -129, 37, 195, 0, 62, -278, 248, 268, 0, 8, 91, -27, 50, 0, -32, 124, 84, 24, 0, -67, -114, -95, -13, 0, 164, 135, 26, -57, 0, 17, -45, -303, 39, 0, -130, -57, 47, 155, 0, 83, 162, 329, -141, 0, -7, 64, -168, -147, 0, -133, 105, -63, -10, 0, -190, -31, -88, 259, 0, 254, -4, 39, 194, 0, 53, 207, 7, 30, 0, -96, 97, -39, -4, 0, 234, -41, 12, -21, 0, -2, -193, -107, -55, 0, 120, 161, 60, 55, 0, 103, -31, -70, 126, 0, -131, 196, 77, -184, 0, 5, 20, 96, 59, 0, -30, -323, -28, 147, 0, 348, 3, 212, -21, 0, -86, 39, -39, -90, 0, -247, 36, 34, 21, 0, 31, -258, -92, 120, 0, 189, 71, -157, -145, 0, 15, -160, 41, 200, 0, 1, -12, 33, 33, 0, -8, 6, 73, -57, 0, 29, 88, -214, 93, 0, -39, 125, 159, -28, 0, 138, 24, 53, 12, 0, -147, 35, 266, 128, 0, -109, 32, 39, -33, 0, -49, -233, 89, -94, 0, 101, 69, -54, -146, 0, -14, -51, -293, 96, 0, -128, 147, 68, 53, 0, 42, -65, 26, -90, 0, -152, 69, 18, -6, 0, 113, 115, -162, 266, 0, -72, 119, 271, -37, 0, -142, -198, 103, -77, 0, 84, -2, -68, 84, 0, 287, -89, 33, -125, 0, -31, 152, 132, 182, 0, -128, 324, 29, -9, 0, 136, -196, 28, -34, 0, 111, -125, 82, -129, 0, -83, 288, 80, -22, 0, 7, -117, 202, -211, 0, -32, -58, -9, -200, 0, 18, 313, 25, -43, 0, 144, 81, -3, -158, 0, -72, -8, 67, 73, 0, 115, 37, 227, -75, 0, -96, 34, 141, -170, 0, -164, 94, -225, -80, 0, 9, -17, -21, 43, 0, -244, -116, -186, 63, 0, -30, -110, -78, 123, 0, 70, 83, -31, 142, 0, -152, -35, -21, 4, 0, 122, 70, -19, 0, 0, 77, 175, -234, 142, 0, 173, 38, -175, 108, 0, -27, 323, -5, 70, 0, 211, 73, 57, -114, 0, 167, 97, -94, 235, 0, -102, -11, 98, -46, 0, -23, -14, 121, 85, 0, 148, -225, -143, 111, 0, 27, -126, 84, -202, 0, 192, 89, -169, -32, 0, -156, 119, -44, 45, 0, -172, -26, 2, 12, 0, 73, -78, -122, -309, 0, -122, 83, -245, -98, 0, 13, -173, 73, 11, 0, 242, -41, 235, 125, 0, 27, 85, 91, 179, 0, -75, 101, 271, 17, 0, -86, 125, 92, 1, 0, -143, 22, 30, -68, 0, -21, -108, -298, 246, 0, 27, -7, -66, -30, 0, 29, -90, -193, 95, 0, -37, -96, -60, 39, 0, -87, 61, -32, -80, 0, 132, 29, -29, 85, 0, 68, 192, -75, 155, 0, 11, 139, 47, -67, 0, 191, 51, -103, -11, 0, 160, 72, 153, -15, 0, 27, 79, 91, 171, 0, -48, -355, 20, -149, 0, 89, 28, -10, -102, 0, -177, 10, 135, 101, 0, -110, -102, 70, -58, 0, 128, -84, -35, 102, 0, 82, -98, 57, 55, 0, 384, 53, -50, -65, 0, -7, -28, 251, -205, 0, 140, -77, -56, 243, 0, 34, -41, -39, 202, 0, 10, -63, 316, 101, 0, -56, 95, 54, 0, 0, 185, -19, -315, 180, 0, -80, -228, -132, -19, 0, 204, -107, 273, 74, 0, -36, -57, 58, 129, 0, 109, -107, 82, 43, 0, 130, -56, 22, 27, 0, -89, 82, -80, -185, 0, 13, -132, 178, 52, 0, -168, -21, 402, -7, 0, 373, -304, -30, -238, 0, 36, -78, 291, 5, 0, 66, -127, 47, -141, 0, 124, -152, 88, 82, 0, 69, 1, -3, 28, 0, 100, 115, 148, -206, 0, -52, 50, -181, -333, 0, 123, -60, 35, -48, 0, 94, 161, 2, 171, 0, 33, 60, -138, -13, 0, 37, -128, 142, 248, 0, -120, 1, -89, -127, 0, -70, -51, 89, -13, 0, 34, -52, 282, 212, 0, -166, 79, -45, 90, 0, -24, 14, 25, -46, 0, -64, -198, 81, 181, 0, -12, -133, 187, -124, 0, -193, -146, 169, -22, 0, -50, -168, 250, 260, 0, 70, -100, -189, -258, 0, -72, -28, 215, -76, 0, 25, 334, -22, 21, 0, 7, 44, 106, 72, 0, -72, -201, -44, -23, 0, -20, -29, 221, -144, 0, -73, 214, 166, -221, 0, 199, 19, -238, 1, 0, -107, 39, 86, -40, 0, -230, -193, 148, 70, 0, -37, -166, 64, 52, 0, -198, 41, 1, -37, 0, 54, -54, -252, -189, 0, -5, 19, -17, -92, 0, 141, 223, 45, -1, 0, -52, -85, 91, -175, 0, 150, -42, -38, -187, 0, 134, 194, 103, 27, 0, -24, 67, 35, -245, 0, -44, -22, 143, -75, 0, 80, 2, 190, 88, 0, 249, -185, 242, 116, 0, 36, -48, 53, -224, 0, 6, -263, 71, 33, 0, 13, -42, 43, -49, 0, 105, -257, 113, -237, 0, 50, -299, -2, 109, 0, -108, -16, 244, 90, 0, -127, 128, 9, 66, 0, -200, -162, 25, 91, 0, -49, 30, 124, 20, 0, -244, -269, 68, -149, 0, 120, -61, 46, 329, 0, 353, -78, 1, -50, 0, -84, 85, -175, -95, 0, 52, 31, 51, 27, 0, 46, 81, -229, -68, 0, 14, -111, -249, 188, 0, 122, -56, 117, -124, 0, -49, 18, 137, -14, 0, -63, 79, 147, -94, 0, -65, -7, -248, 173, 0, 212, 155, -87, -51, 0, 224, 159, -164, -56, 0, 64, -193, -193, 103, 0, 178, -5, -145, -50, 0, -52, 3, 28, 258, 0, -69, -48, -131, -82, 0, 30, 121, 19, 66, 0, -215, 200, -364, -113, 0, 103, -60, 46, 139, 0, -106, -145, -48, 256, 0, 153, -208, -53, -36, 0, 0, -32, 34, -17, 0, -120, -105, -14, 121, 0, -174, -129, -89, -247, 0, -139, 254, 17, -7, 0, 6, -104, 248, -130, 0, 362, 120, 109, 168, 0, -246, 70, 31, -3, 0, 111, -255, 15, 104, 0, -53, 8, -172, 14, 0, -32, -48, 266, 117, 0, 39, -76, -77, 208, 0, 23, 129, 8, 283, 0, -17, -31, 148, -81, 0, -4, -112, -69, 75, 0, 49, 90, 85, -42, 0, 210, -155, 86, -149, 0, 93, -69, 314, 133, 0, -6, -236, -6, 66, 0, -8, 251, 141, -62, 0, -156, 58, -103, 56, 0, -16, -110, 25, 101, 0, 96, -85, 343, -170, 0, 302, 67, 186, 31, 0, -71, -32, 90, -243, 0, 138, -3, 31, -96, 0, -34, 190, 284, -87, 0, 423, -57, 32, 156, 0, 54, -141, -277, 163, 0, -11, -53, 160, -261, 0, -198, -229, -16, 75, 0, 46, 297, -194, 138, 0, -191, -8, 17, 248, 0, 167, -40, -266, -45, 0, -85, -248, 168, -151, 0, 249, -54, 155, -82, 0, 35, -211, -15, 51, 0, 285, -166, 208, -51, 0, 137, 249, 103, 183, 0, 341, 49, -29, -26, 0, 113, -44, 30, -2, 0, 46, 82, 205, -117, 0, -79, -85, -101, -54, 0, 3, -328, 36, 159, 0, -65, -62, 222, 247, 0, -177, 38, -106, -301, 0, -52, -85, 315, 322, 0, -71, 31, 150, -181, 0, -95, 147, -54, 46, 0, 81, -104, -50, 6, 0, 181, 277, 151, -276, 0, 88, -253, -117, -67, 0, 14, -347, -55, 318, 0, 51, -185, 0, 24, 0, -188, 56, 242, -135, 0, -109, 117, -96, -33, 0, 289, 131, -529, 101, 0, -328, 117, -36, 177, 0, 47, 212, 30, -243, 0, -37, -139, -84, -232, 0, -120, -168, 116, -25, 0, 26, 159, -135, 81, 0, -91, -38, 383, 29, 0, 257, 213, 159, 154, 0, -115, 290, -51, -289, 0, -44, 189, -45, -298, 0, -46, 253, -66, 293, 0, -269, -82, -121, -105, 0, -102, 123, 83, -119, 0, 147, 144, -64, -244, 0, -15, 147, 21, -21, 0, 105, -111, 233, -101, 0, 80, 179, -15, -137, 0, 84, -89, -22, -202, 0, 65, -360, 221, -214, 0, 95, 338, 216, -85, 0, 215, -105, -191, 11, 0, -167, -172, -134, -179, 0, 20, 40, 20, 13, 0, -104, 31, 188, 111, 0, -211, 154, 93, 259, 0, -325, 196, -37, -37, 0, 205, -44, 241, 224, 0, 52, -17, 40, -63, 0, -102, -209, -90, 148, 0, -85, -103, 115, -123, 0, -208, 285, -183, 169, 0, -38, 137, 170, -413, 0, -36, -116, -28, -325, 0, -106, 77, -268, 7, 0, -77, 1, 49, 233, 0, 195, -294, -118, -150, 0, -342, 235, -331, -191, 0, -50, -195, -178, -259, 0, 16, 271, 53, 54, 0, 201, -97, -23, 287, 0, 173, 35, 176, -105, 0, -93, -99, 218, -65, 0, -143, 5, 196, -282, 0, 300, -137, -214, -252, 0, 339, 252, 80, -138, 0, 328, -80, -21, 326, 0, 87, 34, -13, 538, 0, 253, 2, -17, 56, 0, -1, 296, -59, 242, 0, 140, -186, 392, -88, 0, 30, 231, 61, 158, 0, -130, 284, -394, -185, 0, 47, -74, 5, 186, 0, -293, -83, 169, 173, 0, -106, 150, 167, -1, 0, -136, -78, 375, 128, 0, 58, 57, 240, 483, 0, -191, -211, 39, 214, 0, 166, -218, 242, 201, 0, 300, -108, -39, 109, 0, 61, -20, 150, 191, 0, 47, -135, -138, 29, 0, -10, -226, -185, -35, 0, 206, 42, -255, -56, 0, 53, 57, -114, 178, 0, 147, 110, -277, 64, 0, -235, 80, -209, -47, 0, 179, 249, -273, -157, 0, 164, 16, -261, -257, 0, 141, -16, 47, -52, 0, 137, 385, 43, 260, 0, -29, 101, -2, -139, 0, 237, 22, -191, 369, 0, -165, 36, -246, -198, 0, 196, -7, -107, -164, 0, -114, -96, -235, -21, 0, -46, 344, -44, 49, 0, 153, -47, -223, 330, 0, -195, 125, 41, 73, 0, -28, -24, 108, 288, 0, 96, -201, -153, -219, 0, -71, -50, -389, -232, 0, -74, 15, -46, -94, 0, -405, -78, 184, -206, 0, 75, -252, 57, 84, 0, -216, -283, 80, 43, 0, -11, -384, 60, 143, 0, -1, 136, 18, -95, 0, 80, -94, -178, 237, 0, -197, 15, -54, 127, 0, 203, -68, 41, 158, 0, 2, -109, -125, -87, 0, -53, 256, 44, -213, 0, 10, 175, 280, 12, 0, 15, 249, 26, -175, 0, -171, 12, 406, 12, 0, 65, 232, -68, 122, 0, 217, 3, -198, -14, 0, 88, -166, -204, 433, 0, -144, 154, -49, -219, 0, 28, -211, -21, -157, 0, -129, 40, -35, 26, 0, 226, 243, -139, 5, 0, -43, -3, 395, -113, 0, -65, 182, -125, 79, 0, 116, -122, -193, 282, 0, 14, -87, -421, -51, 0, -67, -171, -59, -133, 0, -338, 485, 19, -173, 0, 9, 139, -275, 159, 0, -1, 412, 74, -275, 0, 241, -115, 182, -191, 0, 30, 151, -65, -73, 0, -304, -64, -77, -113, 0, 119, 363, 27, 70, 0, 3, 127, -24, 226, 0, 11, -289, -224, -140, 0, 163, -82, -191, -57, 0, -209, -2, 96, 128, 0, -307, -43, -329, 139, 0, 131, 46, 123, 206, 0, -277, 13, 136, -66, 0, -94, 82, -34, 77, 0, 75, -65, 20, -232, 0, 134, 316, 194, 28, 0, 330, 137, -94, -13, 0, -281, -19, -80, 84, 0, 20, 191, 2, 80, 0, -164, 170, -439, -46, 0, 23, 69, 23, -41, 0, 190, 162, -165, 145, 0, -345, -271, 298, -80, 0, -66, -136, -223, 21, 0, -67, 101, 172, -29, 0, 97, -538, -263, -594, 0, -357, 185, -269, 93, 0, 130, 216, 41, 120, 0, -160, 5, 156, -56, 0, -307, 451, -76, 119, 0, -69, -419, -90, -141, 0, 499, 68, -115, 75, 0, -185, -2, -65, 114, 0, -207, -63, 213, 249, 0, -659, 1, 180, -131, 0, -121, -26, 303, 178, 0, 118, -37, 201, -168, 0]