# Trace form for 4025.2.a.bc, downloaded from the LMFDB on 16 April 2024.
[0, 14, 3, 4, 17, 0, -4, 14, 3, 18, 0, 5, 17, 11, 3, 0, 23, 3, 15, -2, 0, 4, 23, 14, -12, 0, -9, 25, 17, 7, 0, -3, 24, 6, -14, 0, 13, 22, 20, -10, 0, -17, -4, 18, 28, 0, 3, 30, 8, 14, 0, 4, 8, 11, 20, 0, 3, 18, 38, -22, 0, -8, -22, 18, 29, 0, -9, 39, 1, 4, 0, -5, -24, 18, 35, 0, -41, 5, -22, 10, 0, 2, -8, 24, 17, 0, -26, 5, 58, 25, 0, 11, 17, 47, -2, 0, -117, 43, 3, 55, 0, -31, -47, 87, 23, 0, -1, -23, 116, 26, 0, -8, 23, -29, 67, 0, -25, 32, 29, 3, 0, 27, -39, 31, 10, 0, 15, 55, 86, 7, 0, -26, 16, -2, 37, 0, -92, -25, -4, -41, 0, -10, -40, 62, 90, 0, -117, 4, 69, 33, 0, 23, 61, 50, 23, 0, -91, 7, 18, 4, 0, 14, -10, 60, 12, 0, -76, 25, -12, 51, 0, -15, 28, -28, 110, 0, -36, 3, 95, -1, 0, 24, -9, 3, 3, 0, -35, 64, -3, 25, 0, -28, -82, 36, -9, 0, 17, 18, 59, -35, 0, -67, 33, 7, 99, 0, 24, 18, 12, -18, 0, -34, -60, -32, 114, 0, -9, -3, -34, 59, 0, 67, -23, 89, 24, 0, 29, 6, -45, -4, 0, 6, 129, -17, -66, 0, -177, -5, -14, 5, 0, 12, -36, 29, 101, 0, -171, 71, 30, 20, 0, 6, 13, 5, -18, 0, 47, 67, -12, 22, 0, -14, -10, 42, 60, 0, 20, 98, 203, -76, 0, -73, -61, -10, 20, 0, 17, 18, -126, -24, 0, 19, -123, 41, -26, 0, -51, -17, -83, 25, 0, 62, -31, -1, -4, 0, 105, 46, -5, 11, 0, 18, 6, 21, -42, 0, -184, 61, 28, -28, 0, -26, -223, -18, 87, 0, -104, 50, 99, -14, 0, -3, 3, -12, 117, 0, -53, 139, -17, 30, 0, 29, -81, 46, -24, 0, 8, -4, 93, -81, 0, -29, 22, 14, 99, 0, -10, -16, -24, -63, 0, -38, 19, -15, 178, 0, 80, 4, 42, -53, 0, 36, -70, -46, 8, 0, -73, 2, 23, -111, 0, 11, 83, 0, 46, 0, -179, -1, 20, 48, 0, 73, 14, 30, -189, 0, -125, -43, 191, 72, 0, 3, 3, -80, -18, 0, 119, 101, -136, 18, 0, 92, -122, 47, -102, 0, 38, 27, -9, -113, 0, -144, 169, -22, 15, 0, 92, -40, -58, -41, 0, 1, -53, 91, 17, 0, 100, -8, -54, -104, 0, 23, 141, 21, -22, 0, 100, -2, -17, -46, 0, 18, 36, -27, 176, 0, -142, 25, 29, -60, 0, 65, -234, -153, -6, 0, -89, 28, -46, -68, 0, 27, -9, 92, -13, 0, 91, 104, -167, 39, 0, 103, -39, 6, 43, 0, 1, 66, 122, -19, 0, -32, -92, 4, -180, 0, 101, 95, -23, -38, 0, -33, -236, 18, 158, 0, 83, -5, 78, -99, 0, 96, -61, 8, -24, 0, 23, 33, 25, -146, 0, 18, 79, -133, -52, 0, -212, 119, 35, -25, 0, 70, -58, -55, 69, 0, 52, 57, 8, 14, 0, 29, -41, -23, -148, 0, 143, 33, -64, 5, 0, 95, -234, 4, -318, 0, -22, 157, 48, -70, 0, -94, -12, 10, 67, 0, -45, -87, -298, 0, 0, -87, -144, 90, 246, 0, 141, 2, -84, 13, 0, 141, 15, -180, -8, 0, 91, 67, 68, -119, 0, 24, -17, 106, -182, 0, 57, -20, 17, 36, 0, 25, 194, -118, 87, 0, -131, 65, -9, -108, 0, 6, -26, 29, 5, 0, 2, 81, -76, 5, 0, 100, -24, 30, -20, 0, 58, -22, 114, 12, 0, 25, 135, 25, -175, 0, 82, 24, 0, -78, 0, 24, -113, -72, -66, 0, -69, 11, -130, -120, 0, 177, 63, -28, 17, 0, 152, -12, -93, -131, 0, 47, 192, -39, 47, 0, 7, -141, -2, -121, 0, -46, -160, -41, -93, 0, -68, 7, 96, 2, 0, -92, -117, -50, 138, 0, 134, 34, -239, 43, 0, 105, -186, 115, -208, 0, 3, 26, 72, -60, 0, -63, 65, 55, -164, 0, 319, 27, -145, -140, 0, 181, -238, 154, 269, 0, -163, -31, -71, -15, 0, -22, -4, -3, -47, 0, 86, 8, -132, 78, 0, 87, -80, 22, 137, 0, -108, 265, 23, -135, 0, -36, -244, 13, -41, 0, 24, 21, -182, -45, 0, 112, -1, -106, -127, 0, 1, 136, -185, -23, 0, 119, -117, 6, -281, 0, 116, 46, -59, 6, 0, -57, -98, 26, -161, 0, 120, -63, -379, -122, 0, -36, -131, -179, 101, 0, 55, -8, 58, 109, 0, 94, -14, 28, 23, 0, -77, -1, -41, 72, 0, -29, -65, 53, 316, 0, -27, -169, 67, 33, 0, 218, -87, -215, 124, 0, -250, 173, -66, -48, 0, -130, -25, -104, -68, 0, 343, 62, -188, 32, 0, 4, -253, -14, 105, 0, 29, -44, 13, -108, 0, -128, 195, 3, -3, 0, 53, -74, 18, 30, 0, 141, -151, 112, -159, 0, -149, 27, -193, 201, 0, 22, 32, -94, -39, 0, 11, 68, -251, 32, 0, 31, -140, 60, 172, 0, -139, -119, 10, -190, 0, 102, -168, -47, 20, 0, 26, -49, -134, -69, 0, 140, 15, 14, -8, 0, 225, 43, -247, 55, 0, 62, 5, -16, 118, 0, 86, -10, -53, 203, 0, -74, -28, 7, 59, 0, -20, 17, -356, -195, 0, -66, -337, 0, 8, 0, -2, -26, -391, -43, 0, 244, 193, -11, 16, 0, 112, 140, -68, -116, 0, -2, -221, -81, -1, 0, -460, 18, 37, 85, 0, -58, -241, -17, -212, 0, 55, -58, -158, 85, 0, -80, -92, -53, 433, 0, 29, 234, -127, -25, 0, 67, -134, 90, -249, 0, -4, 168, -92, -230, 0, -37, 23, -41, 7, 0, 181, -18, -358, -17, 0, 129, -67, 36, -342, 0, 5, -10, -117, 18, 0, 156, -238, -111, -40, 0, 205, -21, 8, 103, 0, 62, -150, -103, 112, 0, -135, -102, 90, -32, 0, -67, 28, -100, 519, 0, -200, -243, -166, -28, 0, 62, -117, -80, 118, 0, 175, 140, -34, 4, 0, 136, -91, 60, -147, 0, 69, 41, 115, -36, 0, 22, 265, 33, -56, 0, 156, -130, 85, 31, 0, -51, -90, -131, -24, 0, -160, 23, 3, 150, 0, -42, 109, 155, 61, 0, 317, -155, 159, -84, 0, 50, 437, -30, 30, 0, -202, -183, 23, -41, 0, 30, -236, -186, -264, 0, -503, 221, -224, -39, 0, -62, -91, -80, -134, 0, 103, -71, -162, 7, 0, 173, 78, 115, 8, 0, 18, -84, -41, -31, 0, -138, -224, 4, -246, 0, 319, -24, -198, -225, 0, 175, -222, 58, 37, 0, -79, 14, -158, 30, 0, -156, 130, -33, -10, 0, -419, -29, -228, 215, 0, 60, 104, 223, -177, 0, -278, 74, 12, -200, 0, 151, -10, 55, 159, 0, -49, 91, -405, -139, 0, 37, -76, -56, 402, 0, 82, 143, -140, 25, 0, 146, 71, 4, -151, 0, -12, 167, 130, 233, 0, -59, 276, 51, 102, 0, 56, -121, 143, -349, 0, -196, -200, 40, 85, 0, 8, -15, -11, 57, 0, 169, 11, 35, 28, 0, -136, 238, 213, -135, 0, -28, -359, -11, 227, 0, -23, -81, 110, 11, 0, 242, -36, 77, -272, 0, -153, -75, 17, -58, 0, -169, -36, -145, -422, 0, 65, 257, 321, 3, 0, 178, 20, 142, 171, 0, 95, -62, -196, -48, 0, -81, 211, -1, 44, 0, 250, -362, -171, -146, 0, -94, 17, 295, -102, 0, -94, 24, 295, 40, 0, -58, 482, -22, -9, 0, 249, 17, 123, 79, 0, 3, -50, 50, -124, 0, -314, -125, 3, 0, 0, -16, -121, -174, 39, 0, -168, -17, -167, 103, 0, -36, -35, 147, 24, 0, -124, 12, 244, 64, 0, 18, 60, -34, -328, 0, -3, 126, 51, -74, 0, 7, 166, 25, -126, 0, 87, 141, -140, -281, 0, -144, 270, 121, 38, 0, 81, -28, -90, 56, 0, 346, 114, 196, -82, 0, 111, -88, -118, -262, 0, 36, -13, -185, -42, 0, -565, -22, -9, -17, 0, -75, 28, -167, 326, 0, 91, 73, 28, -42, 0, -204, 17, -76, 293, 0, 247, 43, -380, 18, 0, 95, 297, 400, -331, 0, 59, 295, -168, -74, 0, 75, 43, -35, 64, 0, -46, -179, 209, -133, 0, 182, 188, -8, -75, 0, -88, -67, 18, -25, 0, 8, 66, 291, 33, 0, 182, 73, 377, -129, 0, 7, -66, 261, 434, 0, -22, -114, 99, -95, 0, 77, 219, -111, 320, 0, -364, 133, 152, -143, 0, 45, 24, -112, -339, 0, 529, 329, -112, 18, 0, 2, -198, -81, 24, 0, 12, 13, 115, -61, 0, -155, -89, -18, -464, 0, 228, -162, -57, -94, 0, -73, 29, -42, 381, 0, -127, -34, 73, 214, 0, -59, 246, 18, -60, 0, 266, -141, 420, -40, 0, -32, -181, -176, 227, 0, -372, -209, 114, 117, 0, 266, 129, 115, -174, 0, -261, 63, 229, 138, 0, -160, -9, 65, 186, 0, 109, -6, -9, -3, 0, 155, -111, 68, 399, 0, -34, 15, 157, 206, 0, -45, -19, 59, -361, 0, -238, -23, 94, 119, 0, 39, 89, 261, -238, 0, 106, 67, -20, 15, 0, -90, 328, 15, -23, 0, 58, 188, -3, 24, 0, 89, 106, -77, 1, 0, -41, 239, 24, -114, 0, -28, -47, -167, -82, 0, 419, 62, -400, 34, 0, 107, 29, 10, 52, 0, 109, 4, 52, 6, 0, 24, -230, 42, 147, 0, -45, 112, 102, 366, 0, 142, -195, -4, 102, 0, -84, 16, -251, -214, 0, -194, 276, -15, 250, 0, -196, 6, 67, 58, 0, 23, 163, 146, 129, 0, -327, 52, 298, -96, 0, -17, 96, -5, 45, 0, -127, -117, -66, 340, 0, 210, 178, -38, 69, 0, -46, 187, 246, -211, 0, -289, -177, -92, 44, 0, -24, -161, -121, -5, 0, -38, 379, -5, 288, 0, -14, 16, 182, -56, 0, 152, -21, 5, -350, 0, -90, -283, -98, 18, 0, 107, -263, 180, -77, 0, -13, 12, 22, 223, 0, -17, 264, -151, -36, 0, 81, -38, 514, 200, 0, 29, 35, 214, 807, 0, -250, -212, 101, 98, 0, 144, -160, -216, 247, 0, -281, -146, 171, -192, 0, 104, -171, -62, -108, 0, 281, 254, 321, 71, 0, -25, 221, 242, -412, 0, 30, -63, 181, 166, 0, -147, 115, 20, -69, 0, -161, 56, -41, -172, 0, -312, -248, 28, 47, 0, -214, 6, 354, 387, 0, -145, 226, 210, 13, 0, 110, -303, -163, 7, 0, 5, -70, -209, -312, 0, -263, 129, -18, 368, 0, 56, 145, 17, -244, 0, -47, -64, 381, -88, 0, -90, 47, -132, -22, 0, -143, -25, 4, 67, 0, 225, 66, 371, -260, 0, -12, 229, -292, -138, 0, -226, -598, 22, 41, 0, -99, 10, 10, 164, 0, -22, -97, -187, 434, 0, -24, -14, -344, 140, 0, -179, 184, 290, -10, 0, -102, 51, -31, 295, 0, 42, 296, 69, 145, 0, 55, -55, 60, -30, 0, -15, 158, -57, 748, 0, -386, 152, 27, 35, 0, -98, 20, 2, -78, 0, 84, 208, 546, 98, 0, 336, -166, 154, 309, 0, 203, 90, 423, -130, 0, -322, 203, -76, -103, 0, -8, 61, -157, -288, 0, -33, 73, -27, -25, 0, -18, -73, 202, 184, 0, 33, -279, 191, -61, 0, -120, -13, 164, 24, 0, -10, 24, -57, 294, 0, -103, -229, 20, 125, 0, -26, -386, -127, -26, 0, -47, 16, 19, 40, 0, -216, 17, -49, 304, 0, -141, -130, 303, 18, 0, 50, -33, -29, 130, 0, -126, 48, 553, 47, 0, -23, 329, -24, 1, 0, -258, -215, 185, -302, 0, -175, 109, 235, 230, 0, 226, 19, -209, 146, 0, -296, 47, 31, -123, 0, 17, -10, -26, 85, 0, 41, -118, 74, -201, 0, -489, 44, -26, 287, 0, -195, 248, 156, -17, 0, 176, 112, 315, 66, 0, 5, -51, -113, 130, 0, 0, 260, -252, -17, 0, 30, 396, -48, -225, 0, -83, -175, 309, 116, 0, -258, 187, 25, 58, 0, 21, -163, 196, -157, 0, -122, 270, -177, -79, 0, 63, 62, 37, -69, 0, 82, -196, 88, -31, 0, 97, 25, 546, -51, 0, -1, -239, -165, 765, 0, -111, -146, -4, 266, 0, -191, 29, -105, -146, 0, -138, -383, 107, -252, 0, -125, 105, 219, -314, 0, 321, 291, -162, 46, 0, -49, 215, -15, 41, 0, -5, -74, 509, -175, 0, 134, 104, 11, -433, 0, 445, -283, 54, 68, 0, 90, -116, 242, 89, 0, -175, 18, 382, -375, 0, -328, -271, 77, 6, 0, 17, -98, -18, -80, 0, 21, 8, -108, -16, 0, -273, 387, -42, -232, 0, -86, 78, -358, -61, 0, -391, 46, 188, 47, 0, 107, -184, 250, 230, 0, 308, -103, 60, 61, 0, 147, -152, -142, -305, 0, 28, 22, 93, 112, 0, -62, -2, -28, 395, 0, 66, 9, -511, -192, 0, -323, -258, -50, 230, 0, -109, -26, 448, 147, 0, -107, -276, 52, -223, 0, -208, -238, 249, -47, 0, -18, 221, -186, -332, 0, -110, -74, 87, 349, 0, -191, 76, 168, 169, 0, 47, 180, -117, 44, 0, -503, -104, -66, 0, 0, 165, -328, -211, 50, 0, -15, -38, 358, -512, 0, 99, 80, 183, 455, 0, 43, -270, -14, -311, 0, -118, 170, 74, 176, 0, 40, -19, 26, -47, 0, -276, -3, 42, -22, 0, 17, 138, -147, 3, 0, 353, -188, 71, 309, 0, -12, 56, 228, 213, 0, 461, -332, 117, -46, 0, 35, -378, 18, 126, 0, 23, 55, -20, 335, 0, -261, -53, -146, 118, 0, -190, 233, -52, 139, 0, -93, -262, 302, -166, 0, -17, -158, 94, -132, 0, 23, 263, 30, -327, 0, -47, 50, -53, -165, 0, -49, -11, 217, 528, 0, -171, 29, 446, 258, 0, 333, 257, -31, -81, 0, 357, -161, -324, 133, 0, 46, 107, -272, 337, 0, -525, 56, -24, -80, 0, -299, 170, 13, 444, 0, -47, -67, -309, -221, 0, 188, 8, -107, -30, 0, -247, 37, 15, -4, 0, -128, -31, 387, -103, 0, 93, 226, 404, 87, 0, 96, -167, -81, -9, 0, 309, 39, 44, 122, 0, -84, 202, 6, -476, 0, 243, -29, 564, 77, 0, -324, 23, 29, 22, 0, -31, 8, -12, 359, 0, 14, 128, -1, 57, 0, 16, -73, 99, -19, 0, 123, 199, 12, 577, 0, 236, -24, -114, -113, 0, 157, -10, 284, 2, 0, 338, 45, -268, -16, 0, -76, 2, -81, -438, 0, -24, 75, -1, 74, 0, -155, 189, -63, 267, 0, 132, 136, 226, -218, 0, -151, -114, -50, -241, 0, -47, -38, -66, 330, 0, -23, -82, 26, 19, 0, -612, -35, -23, 172, 0, -15, 204, 68, 21, 0, 232, -231, 178, 103, 0, -188, 306, 24, 116, 0, -184, 108, 325, -12, 0, -51, 80, -204, -332, 0, 188, -75, -19, 4, 0, 168, -355, 262, 132, 0, 42, 26, 21, 88, 0, -60, 521, -53, 204, 0, -148, -191, -125, -266, 0, 63, -126, 157, -84, 0, 173, 36, -258, 29, 0, -286, 457, 263, -70, 0, 489, 236, -280, 133, 0, -46, 84, 286, 240, 0, 62, -59, 8, 79, 0, 68, 107, -8, 105, 0, -517, -189, 249, 150, 0, -338, -73, -12, 304, 0, 85, -37, 228, 2, 0, -213, -114, -493, -3, 0, 23, -343, 238, -51, 0, -93, 419, -111, 134, 0, -271, 127, 190, 35, 0, -38, -355, 96, 325, 0, 305, 11, 152, -29, 0, 81, -198, 53, 83, 0, -239, -206, 484, -104, 0, 0, -334, -731, -684, 0, -148, -74, 46, 98, 0, 9, 67, 225, 700, 0, 473, -470, -466, 237, 0, 91, -179, 44, -192, 0, 44, 53, -119, -1, 0, 68, 474, -23, -36, 0, 20, 414, -7, -97, 0, -217, 697, 48, -126, 0, -279, 127, 171, 221, 0, -297, 3, 327, -16, 0, 9, 73, -25, -194, 0, -253, 366, 91, 14, 0, 130, -163, -168, 336, 0, 30, 472, 249, -233, 0, 384, 88, -189, 346, 0, 32, 141, -345, 128, 0, -52, -39, -8, 211, 0, -9, -125, -505, -329, 0, -426, -240, -96, -43, 0, -10, 570, -160, 29, 0, 191, -209, 209, -82, 0, 147, 318, 72, -267, 0, 107, -218, -174, -42, 0, -260, -30, -282, -183, 0, -163, 3, -54, 649, 0, -80, 54, -29, 3, 0, 312, -151, -266, 25, 0, -80, 279, -214, 95, 0, -434, -263, -18, 145, 0, -132, 380, 87, 9, 0, 241, 117, -356, -132, 0, -64, 119, -139, 382, 0, -48, -189, 29, 101, 0, 242, -56, 27, -102, 0, -136, -280, -143, -34, 0, -4, 298, 18, 151, 0, -264, 92, 99, -407, 0, 63, -241, 549, 324, 0, -39, 92, -361, -55, 0, -54, -185, 51, -122, 0, 99, 170, -99, -72, 0, 47, -33, -33, -560, 0, -132, 74, -102, 31, 0, 112, -85, -38, -524, 0, 659, 118, -90, 116, 0, -32, 38, -346, -913, 0, 396, 322, -42, 27, 0, 43, 10, 42, -66, 0, -9, -228, -107, 257, 0, -61, 445, -113, -64, 0, 449, -353, 397, 180, 0, -106, -317, -184, 18, 0, 76, -144, 94, 152, 0, 138, 212, 284, 169, 0, -406, 311, -378, 152, 0, -22, -134, 78, -236, 0, 603, -273, 15, 162, 0, -132, 205, 103, 734, 0, -106, -153, 49, -188, 0, -258, 92, 205, -613, 0, 9, -96, -376, -40, 0, 55, 1, -265, -545, 0, -58, 101, -188, -188, 0, 301, 708, -41, -720, 0, -388, -368, 382, 191, 0, 225, 244, 329, 86, 0, 218, 1, 285, -272, 0, 150, -398, -108, -53, 0, -238, 212, 311, -321, 0, 91, -269, -220, 419, 0, -52, 7, 17, 10, 0, -82, 168, -231, 121, 0, -157, -430, 142, 161, 0, -83, 100, 150, -363, 0, 6, -108, -329, -8, 0, 372, -106, 178, -332, 0, -54, 166, -91, -153, 0]