# Trace form for 6025.2.a.k, downloaded from the LMFDB on 19 April 2024.
[0, 25, 4, -9, 36, 0, 7, -7, 15, 36, 0, 10, -22, -10, 13, 0, 54, -1, 13, 50, 0, 9, -11, 31, 22, 0, 8, -42, -14, 4, 0, 34, 44, -28, 33, 0, 83, -14, 10, 23, 0, 11, -23, -49, 20, 0, 27, 28, -30, 66, 0, 49, -39, 16, 5, 0, 51, -10, 8, 30, 0, 35, 18, 0, 73, 0, -13, -37, -11, -4, 0, 12, 90, -36, -12, 0, 57, 31, 9, 16, 0, 65, 11, -43, -62, 0, -9, 22, -20, 38, 0, 86, 119, -10, -18, 0, -34, -17, 32, 26, 0, -10, 84, -62, 45, 0, -1, 31, -119, 22, 0, 33, 89, 23, -14, 0, -19, -3, -42, 43, 0, 43, 65, -44, 29, 0, -17, 15, 106, 74, 0, 58, 43, -12, -1, 0, 54, 7, -12, 78, 0, -47, 81, 23, 106, 0, -37, -63, -43, 8, 0, 48, 111, -31, 36, 0, 14, -47, -2, 61, 0, -7, 192, -25, -35, 0, -72, 116, -82, 79, 0, 83, -29, 9, -75, 0, -73, 19, -112, 54, 0, 55, 192, -26, -1, 0, -110, -81, 69, 1, 0, 71, 128, -35, 2, 0, 73, 67, -7, 108, 0, 13, 146, 14, 35, 0, -99, 117, -115, 38, 0, 41, 115, -56, -33, 0, -127, -36, 22, 40, 0, -20, 203, -67, 40, 0, 13, 21, -50, 97, 0, -72, 255, 29, -91, 0, -66, 36, -55, 9, 0, 25, 116, -135, 43, 0, -182, -25, 51, -39, 0, 91, 279, 13, 23, 0, 40, 44, 18, 16, 0, -58, 91, 56, -84, 0, -87, 74, -133, -12, 0, -16, 196, 73, -152, 0, -272, -2, 68, 6, 0, -15, 189, -182, -26, 0, -117, 53, 225, 38, 0, -15, 115, 23, -206, 0, -86, -6, 47, -3, 0, -68, 228, 80, 173, 0, -108, -109, 36, 2, 0, 4, 141, 17, 43, 0, -5, 55, -69, 30, 0, -93, 50, 80, 154, 0, 13, 25, -127, 14, 0, 56, 14, 114, 46, 0, -357, 2, -59, 59, 0, 27, 274, -11, 104, 0, -83, 10, -43, 47, 0, -4, 3, 35, 83, 0, -57, -3, -38, 18, 0, 13, -19, -47, 58, 0, -25, -4, 137, -156, 0, 73, 75, -22, 3, 0, -148, 19, -150, 106, 0, -60, 157, 34, -38, 0, -19, -130, -92, -25, 0, 68, 92, 120, 58, 0, -120, -86, -118, -20, 0, 44, 236, 36, 101, 0, 24, 89, 115, -20, 0, 87, -243, 28, 99, 0, 184, -9, -166, 109, 0, -86, 105, 105, -19, 0, -101, -17, -63, -119, 0, 50, -288, 20, 248, 0, -47, -11, 16, 89, 0, 76, 178, -9, 235, 0, 107, 7, 85, -10, 0, 210, 47, 38, 207, 0, -49, -30, -207, 130, 0, 0, 37, -1, 103, 0, 35, -141, -156, -39, 0, 41, -119, 132, 200, 0, 144, 27, -92, 46, 0, 3, 4, 34, 155, 0, -272, 69, -243, -78, 0, 113, -44, 31, 34, 0, 118, -40, -36, 87, 0, 1, -187, 67, 445, 0, 220, -59, 39, -6, 0, -24, 336, 22, 14, 0, 527, 44, -332, 10, 0, 44, -91, -213, 280, 0, -193, 120, -238, -78, 0, 192, 55, 36, 196, 0, 93, 15, -101, 110, 0, 20, -91, 90, 182, 0, -215, -51, -82, -74, 0, 107, 129, 38, 215, 0, -39, 32, -139, 105, 0, -80, -118, 27, -121, 0, -112, 93, 52, -79, 0, 145, -174, -30, -150, 0, 231, -16, -115, 118, 0, -32, -10, 165, -72, 0, 174, -8, -598, -85, 0, 90, -75, 69, 93, 0, 171, -83, -184, 65, 0, 25, -102, -50, 143, 0, -45, -71, 78, -439, 0, 122, -184, 74, 218, 0, 30, 112, -150, 206, 0, -107, 55, 163, -38, 0, 8, -138, -310, -9, 0, 85, -257, 98, -168, 0, -83, -20, -132, 95, 0, 56, -95, -103, -125, 0, 6, 145, 270, -126, 0, 112, -30, 105, 170, 0, -89, -152, -52, 172, 0, -75, 104, 33, -268, 0, -53, -175, 93, -236, 0, 75, -562, 129, -87, 0, 38, 5, -257, 132, 0, 56, 273, 170, 168, 0, 230, 10, -86, -140, 0, 246, -99, 200, -159, 0, -490, -10, -167, 104, 0, -56, 82, 32, -121, 0, -128, -62, 33, -5, 0, -53, -248, 125, -250, 0, -112, -124, -46, 47, 0, -103, -214, -9, -56, 0, 91, -100, 312, -24, 0, 142, -16, 37, -160, 0, -19, -12, -197, -13, 0, 34, -51, 102, -150, 0, -126, -387, -150, 22, 0, 112, 17, 307, 64, 0, -510, -132, 112, -9, 0, 52, -161, -187, 160, 0, 39, 111, 44, -15, 0, 51, 21, 222, -340, 0, 59, -27, -112, 139, 0, -123, -194, 22, 106, 0, 381, -17, 33, -91, 0, 81, 58, 78, -174, 0, 172, -11, -80, 46, 0, -70, -163, -118, 278, 0, 107, -27, 133, -104, 0, 203, -47, 118, -212, 0, -87, -156, 316, 262, 0, -19, 23, 94, -376, 0, -163, -12, 185, 17, 0, -12, -78, 171, -62, 0, 144, -23, 82, -51, 0, 71, -72, 124, -55, 0, -111, -119, -168, -242, 0, 43, -184, 38, 59, 0, -60, -67, -35, 441, 0, -137, 88, 319, -570, 0, 370, -226, -112, -36, 0, 22, 36, 117, 125, 0, 285, -19, 175, 120, 0, -7, 493, -168, -158, 0, -270, -94, 272, -241, 0, 281, -231, 280, 0, 0, 151, 137, -57, 38, 0, -65, -131, 227, 205, 0, -209, -210, 19, -483, 0, 31, -370, 29, 11, 0, 335, -15, -274, 32, 0, -97, -265, 123, -323, 0, 79, -74, 408, -5, 0, 295, -72, 115, -164, 0, 234, -53, -175, 190, 0, 23, -331, 43, -309, 0, -230, 9, -59, -145, 0, 239, -6, 143, 45, 0, 194, -175, -182, -100, 0, -45, -48, 226, 36, 0, -34, 29, 206, -339, 0, 140, -227, 8, -313, 0, -290, 87, -762, 51, 0, -153, -7, 247, -156, 0, 197, -129, -220, -230, 0, 52, -71, 582, -370, 0, -3, -14, 26, 8, 0, -80, 251, -8, 295, 0, 135, 59, 673, -242, 0, 98, 217, -6, -289, 0, 132, -39, -92, -48, 0, -52, -224, 146, 216, 0, -208, -346, 79, -269, 0, 8, 234, 174, -204, 0, -179, -63, 6, 192, 0, -88, -70, 138, 149, 0, 126, 110, 98, -224, 0, -67, -15, 129, 179, 0, -655, 54, 31, -221, 0, 88, -308, 14, -64, 0, 14, 24, -135, -539, 0, -150, -353, 87, -64, 0, -8, 141, -44, -26, 0, -126, -39, -264, -366, 0, 85, -32, 311, -350, 0, -41, -185, -80, 282, 0, -422, 109, 94, 71, 0, -126, 332, 503, -200, 0, -269, -6, 7, 1, 0, 157, 85, 238, -45, 0, -448, -38, -41, -175, 0, -28, -202, -141, -401, 0, -277, 323, -160, -101, 0, -251, -271, 176, 319, 0, 113, 77, 64, 52, 0, 69, 219, 79, -435, 0, -93, -422, 123, -216, 0, -127, 548, 220, 223, 0, -279, -67, -53, -80, 0, -104, -19, 43, -521, 0, 111, 166, 131, -392, 0, -7, -372, 342, -236, 0, -699, -40, 408, 29, 0, 37, 155, -82, -108, 0, -161, 17, -87, -124, 0, 85, 232, 80, -345, 0, -306, 156, -174, 24, 0, -272, -66, 70, -205, 0, -394, 21, 586, -373, 0, 142, 519, 173, 28, 0, 214, 33, -616, 195, 0, -453, 95, 135, -139, 0, 263, 52, -260, -56, 0, -104, -9, 142, -378, 0, -86, -62, 264, 195, 0, 124, -407, -32, 519, 0, -473, 108, -357, -352, 0, 171, 56, 112, 344, 0, -241, -306, -128, 89, 0, 42, -258, 260, -238, 0, -487, -202, 12, -349, 0, 102, -427, -95, -393, 0, -94, 84, -48, 41, 0, -39, 274, 140, -103, 0, 310, 167, 103, -52, 0, 209, 27, 42, -35, 0, 217, 11, -346, 40, 0, 71, -450, -97, -161, 0, -313, -121, -27, -292, 0, -9, -203, -11, -9, 0, 520, -127, -180, -37, 0, -38, -172, -197, 29, 0, -705, 83, -155, -96, 0, -30, -170, 84, 90, 0, -321, -36, -612, 87, 0, 387, -196, 217, -1075, 0, -245, 8, 76, 155, 0, 77, -683, 11, 69, 0, 345, 88, -92, 24, 0, 188, -124, -179, -252, 0, -100, 230, 219, -95, 0, -163, 302, 128, 503, 0, 298, -316, -91, 76, 0, -184, -149, 313, -109, 0, 155, 13, 157, -29, 0, 3, 2, 309, 77, 0, -93, -62, -942, 177, 0, 133, 63, -30, 310, 0, -156, 110, -193, -22, 0, 128, -310, -434, -361, 0, 279, -5, -246, -212, 0, 38, -473, 30, 89, 0, -52, 51, -421, 66, 0, 208, -261, -127, -50, 0, 164, 224, 55, -105, 0, -39, -339, 101, -178, 0, 7, -191, -140, -198, 0, -56, -66, 106, -178, 0, -301, -232, 242, 273, 0, 25, 402, 177, 203, 0, 41, 297, -295, -3, 0, -28, -43, -102, -257, 0, -916, -42, -400, 41, 0, 83, -499, -443, -62, 0, 197, 32, -400, -152, 0, -26, -245, 235, -498, 0, 283, -151, -173, 99, 0, -120, -194, 68, -26, 0, 537, 70, 40, -214, 0, 184, -879, 140, -218, 0, -278, -163, -225, 80, 0, -135, 157, -28, -78, 0, -71, 300, -15, 208, 0, 23, -150, 246, 61, 0, 122, -204, 122, 209, 0, -139, 70, -162, -406, 0, -348, 14, -953, -217, 0, -228, -71, 156, 753, 0, -98, -78, -346, 184, 0, -3, 43, -393, -131, 0, 246, 135, 258, 24, 0, -29, -52, 260, -256, 0, 135, -128, 16, 41, 0, -188, -153, 96, -328, 0, 411, -62, -149, 7, 0, 157, -165, 31, 234, 0, -643, 155, 535, -155, 0, -84, -787, -89, 170, 0, -810, 203, 208, -160, 0, -14, 127, 217, -2, 0, 15, -308, 14, -12, 0, 181, -158, -52, -75, 0, -417, -94, 215, -4, 0, 200, 171, 8, -166, 0, 245, -387, -53, 198, 0, 284, 16, -74, 79, 0, 130, 236, -498, 119, 0, 84, -299, -77, 352, 0, -69, -35, -89, -148, 0, 206, -331, -43, 176, 0, -21, -25, 129, -217, 0, -215, -325, -107, 222, 0, 165, -239, 6, 39, 0, 152, 203, -168, -203, 0, -67, -7, 427, 99, 0, 155, -101, -45, -149, 0, -564, -31, -111, 280, 0, -56, 187, 367, 106, 0, 220, -33, 205, 170, 0, 42, -324, 195, 0, 0, 56, 46, 284, 35, 0, 314, 460, -249, 49, 0, -168, 114, -559, -118, 0, -131, 363, 40, -15, 0, 552, -243, 117, 184, 0, 150, -256, 61, -195, 0, -262, -166, 124, 146, 0, 30, 574, -119, 231, 0, -212, -48, -511, -109, 0, -11, 77, -67, 403, 0, 136, -78, 357, -140, 0, -112, -89, 349, -76, 0, 1158, -230, 256, 100, 0, 362, 397, -314, 202, 0, -279, 134, 223, 71, 0, 302, 473, -358, 55, 0, -40, -207, -44, 165, 0, -108, -153, -60, 624, 0, 102, 250, 758, -21, 0, 146, 321, -151, -169, 0, 418, -165, -14, -76, 0, -138, 286, -78, -123, 0, -234, 510, 171, 328, 0, 4, -191, -320, -90, 0, 342, -187, -149, -58, 0, 374, -384, -174, -279, 0, -215, -142, -115, 76, 0, 212, -175, 176, -387, 0, 778, -206, 83, 58, 0, -125, -300, 208, 84, 0, 229, 103, 58, -122, 0, 140, 410, 546, -181, 0, -591, -296, 149, 126, 0, 342, 129, -12, -11, 0, 286, 607, -202, 383, 0, -5, -276, -241, 62, 0, -174, -90, 88, -71, 0, -55, 323, -140, 390, 0, -72, -56, -298, -135, 0, 237, 286, -72, 20, 0, 30, -382, 204, 120, 0, 1, -200, -349, -500, 0, 61, 270, 15, -145, 0, -64, 12, 510, -257, 0, 66, -337, 358, 585, 0, 45, 82, 380, -894, 0, 436, -9, 61, 18, 0, 45, -426, -94, 287, 0, -795, 24, 710, 136, 0, 180, -532, -479, 240, 0, -376, 335, -1007, -212, 0, -45, 119, -11, 173, 0, -39, -289, 203, 231, 0, 63, -559, 194, -236, 0, 460, -95, 59, 489, 0, 312, 153, 19, -53, 0, 86, 12, 420, 61, 0, 514, 635, 63, 431, 0, 22, -49, -358, 0, 0, 137, 38, 400, -296, 0, 907, -182, -323, 49, 0, 194, 183, -89, 354, 0, -475, 98, -34, 105, 0, -46, -36, 156, 241, 0, 536, -427, -58, 130, 0, 104, -436, -76, -256, 0, -419, -7, 973, -298, 0, 50, 276, 173, 395, 0, -29, -330, -742, -1, 0, -219, 518, -89, 1326, 0, -131, 445, 314, 142, 0, 117, -706, -316, -405, 0, 97, -194, 384, 30, 0, 84, -23, -143, 339, 0, 87, 346, 699, 58, 0, -358, 70, 309, -29, 0, 167, -371, -89, 298, 0, 5, -169, -142, -312, 0, -810, -81, -48, 63, 0, 247, -1015, -23, -500, 0, -319, -439, -517, 57, 0, 334, 156, -174, 46, 0, 469, 1, 500, 198, 0, -111, -40, 384, 298, 0, 577, 143, 375, 264, 0, 270, 629, -59, 232, 0, -414, 101, -147, -75, 0, 76, 452, -117, 866, 0, 509, -347, 433, -65, 0, -133, 119, -160, -458, 0, 295, 127, -133, 36, 0, 132, 481, 232, -164, 0, -45, -599, -541, 51, 0, 239, -70, 20, -496, 0, 86, -99, 168, -125, 0, -147, -337, -150, 61, 0, 172, -116, 808, -102, 0, -85, 684, -212, 102, 0, 24, -19, -113, 175, 0, 131, 248, -150, -159, 0, 774, 11, 296, -227, 0, 32, -322, 117, -191, 0, 187, 68, 884, 500, 0, 418, -198, 314, 655, 0, 10, 7, -203, 200, 0, 458, 340, 277, 17, 0, -240, 415, -375, -50, 0, -139, -637, -52, 178, 0, -598, -154, 228, 138, 0, 198, -226, -92, -559, 0, 19, -30, 577, -160, 0, 15, 731, -147, -783, 0, -268, -473, 132, -46, 0, -2, 24, -199, 74, 0, 499, -217, -489, -343, 0, -24, 416, 469, -57, 0, -455, -180, -209, 266, 0, -404, 178, 271, 1276, 0, 268, 463, 28, 3, 0, 14, -202, -181, 14, 0, -75, -35, -67, -72, 0, -112, 133, -155, -330, 0, -338, 80, 151, -272, 0, -379, 1083, 57, -141, 0, 6, -572, -71, 188, 0, 168, -269, -226, 145, 0, 488, 348, 148, -241, 0, -334, -1126, -176, -297, 0, -544, 155, 207, -29, 0, 152, -40, -197, 791, 0, -283, 460, 31, 28, 0, 34, 315, 294, 104, 0, -455, -144, 421, 97, 0, -119, 176, 135, 283, 0, -54, -95, -1238, -87, 0, 410, -21, -440, 91, 0, 154, -119, 222, -207, 0, -219, -125, 16, 114, 0, -162, 103, -7, 28, 0, 198, -29, 342, 134, 0, 129, 217, -147, -226, 0, 242, 591, 212, 471, 0, -550, 29, -78, 237, 0, -659, 209, -12, 202, 0, -719, -7, 607, -154, 0, 154, 706, -261, 25, 0, -337, -86, 578, -103, 0, -76, 189, 78, 19, 0, 214, -338, 122, 151, 0, -214, 43, -265, -168, 0, -45, 103, -42, 57, 0, -221, -333, 324, -503, 0, 405, -187, 17, 322, 0, -113, 142, -256, -431, 0, 563, 655, 311, 162, 0, 15, 5, 25, -513, 0, -147, -53, 185, 199, 0, 336, 899, 143, 98, 0, -716, 202, 24, -450, 0, -36, -256, 130, -4, 0, -203, -315, -92, 253, 0, -83, -207, -493, -39, 0, -328, 94, -191, -30, 0, -247, 726, -298, -869, 0, -236, 137, -83, 440, 0, 21, 1053, 469, -110, 0, 450, -242, 381, -62, 0, 54, 202, 343, -297, 0, 310, 2, 142, 157, 0, 226, 867, -312, 432, 0, 79, -16, -13, -101, 0, -424, 598, 272, 518, 0, 177, -285, 554, 174, 0, -2, -5, -127, -250, 0, -565, 169, 959, -246, 0, 86, 627, 7, 234, 0, -1109, 131, -306, -5, 0, 228, 707, -222, 154, 0, -239, 661, -13, 125, 0, -180, -170, -242, -222, 0, 624, -306, -397, 109, 0, -95, -44, -232, -792, 0, -95, -143, -371, -71, 0, -88, 636, 127, 375, 0, 510, -44, 1, 230, 0, 248, 548, 81, -428, 0, -1592, 448, 265, 125, 0, 10, 334, 105, -90, 0, -938, -25, 566, 3, 0, 97, 578, 264, -312, 0, -187, 486, -342, -79, 0, -140, -107, -402, -193, 0, -640, 24, -21, -208, 0, -288, 738, -100, -547, 0, -227, 2, -1268, 130, 0, -219, 1009, 25, -94, 0, -305, -76, 404, 73, 0, -3, 263, 228, 115, 0, 337, -487, 652, -510, 0, 53, 648, -295, -92, 0, 320, -152, 429, 71, 0, 104, 532, 72, 732, 0, 35, 520, 452, 33, 0, -85, 321, 35, 61, 0, 523, 379, -277, 513, 0, 185, 65, -55, 1143, 0, -181, -55, 2, -140, 0, -419, 255, -484, 352, 0, -536, -134, -254, 21, 0, -85, -379, -335, 425, 0, 176, 690, 228, -448, 0, -350, 1423, -60, -457, 0, -779, 239, -86, 180, 0, 289, 456, 267, -519, 0, 189, -195, 122, -191, 0, 67, -494, -519, -159, 0, -599, -235, -93, 137, 0, 82, 56, -243, 254, 0, -270, -202, -204, -119, 0, 40, 69, 114, 644, 0, -73, -40, 350, 158, 0, 6, -185, 142, -43, 0, 734, 768, -811, -105, 0, -219, 724, 380, 125, 0, 36, 148, -407, 234, 0, 16, 126, -258, 46, 0, 333, -63, -339, -92, 0, -350, 100, -594, 321, 0, 326, 64, 208, 384, 0, 17, 125, -204, -360, 0, -325, 19, -1307, 344, 0, -37, 131, 41, -33, 0, 170, -129, -144, 167, 0, 197, -1176, -472, -171, 0, 370, 184, -119, -261, 0, -14, -22, 83, 481, 0, -16, -172, -338, 247, 0, -174, 478, -126, 505, 0, 192, 698, -55, 160, 0, 242, -151, -221, 721, 0, 440, -236, 38, 89, 0, -320, 1318, -210, 9, 0, 274, 602, -420, 78, 0, -280, -268, -462, 1048, 0, 214, -48, -12, -56, 0, 391, -123, -7, 228, 0, -215, 119, -200, 207, 0, 138, -849, -180, 801, 0, -365, 172, -676, -234, 0, -124, 633, -92, 555, 0, 250, 220, -86, 378, 0, 126, -478, 259, 309, 0, -1061, -259, 333, -125, 0, 354, -315, -90, -794, 0, 556, 220, -882, -10, 0, -409, 263, 184, 288, 0, 401, 51, -366, -240, 0]