# Trace form for 5239.2.a.m, downloaded from the LMFDB on 15 May 2024.
[0, 17, -4, 0, 20, -7, -6, -6, -6, 17, 6, -13, 4, 0, 0, -4, 34, -6, 12, -4, -28, -18, -34, -8, -40, 8, 0, -3, -21, -6, 19, -17, -6, -7, -24, -9, 0, -14, 11, 0, -10, -43, 33, 18, -28, -26, -7, -6, -95, -1, -44, 26, 0, -5, -27, 39, 39, -46, -8, 1, -21, -19, 4, -5, 42, 0, 26, -10, 34, 32, 24, -35, 26, -11, -68, -62, -2, 21, 0, 1, -49, 37, 35, -24, 34, 13, -76, -22, -37, -42, 15, 0, 15, 0, 42, 34, -33, 38, -8, -17, -84, 7, -74, 37, 0, -26, -22, -26, 56, -9, 30, 3, -91, -29, -52, 38, -8, 0, 16, -48, 80, 50, 15, 31, -20, -39, -109, -104, -30, 31, 0, 38, 53, 4, 15, -64, 36, -35, -84, -57, 1, -64, 36, 0, 42, 29, -99, 27, 56, -96, 23, -45, 12, -51, -18, 7, 0, -13, 10, 77, 108, -101, 45, -37, -127, -48, -71, 21, 95, 0, 8, -7, -6, 12, 74, 42, -84, -31, -102, -4, -101, 68, 0, -20, 16, -46, 6, -58, 115, -69, -47, 7, -118, -2, 48, 0, -12, 20, -84, 2, 4, -62, 17, -68, -173, 27, -35, 117, 0, -44, -37, 73, -35, 78, 32, -55, -180, 6, 65, -34, 75, 0, -82, 30, -88, 34, 40, -15, -68, -40, -74, -157, -71, 22, 0, -63, -73, 39, -6, -107, 124, -31, -57, -39, 0, -77, 116, 0, 6, -72, 61, -37, -88, -6, -20, -26, 94, -85, -37, 106, 0, -149, 66, -5, 3, -35, 76, 55, 5, 9, 24, -46, 101, 0, -8, 17, 140, -57, -4, -17, -65, -148, -107, -106, -144, 138, 0, 58, 174, 9, 14, -92, 47, -71, 23, 21, -60, -7, 28, 0, 104, -10, -35, 8, 111, -23, 165, 25, -82, -28, -6, 20, 0, -87, -7, -1, 116, -59, 223, 66, -210, 31, 5, -42, 38, 0, 128, 71, 73, 19, 41, 11, -50, -38, -14, -21, 65, 6, 0, -53, -107, 13, 63, 48, -1, -191, 68, 9, -3, -30, -63, 0, 0, -17, 32, -4, -69, 67, 81, -40, -99, -47, -40, 109, 0, -67, 11, 56, -28, -65, 142, 14, -4, 31, 128, 127, 133, 0, -89, -2, -70, 5, 33, -33, 52, 15, -33, -199, -234, -72, 0, 6, 46, 132, -34, -10, 47, 25, -139, 36, 6, -60, 10, 0, 66, 53, 26, 54, 50, -76, -17, 6, -5, -46, -127, 50, 0, -31, 29, 67, -32, -14, 107, -53, -175, -55, 198, 108, -154, 0, 37, -63, -62, 56, 0, -4, -43, -158, -115, -32, -78, 5, 0, 69, -82, 19, -142, -25, -31, -153, -42, -14, 122, 3, 45, 0, -158, -43, -38, 29, 73, -57, 85, 156, -104, 4, 46, 60, 0, -99, 38, -67, 80, -125, -97, -1, -94, -134, 128, 43, -55, 0, 201, -20, 132, -44, 163, -50, 75, 23, -108, -91, -37, 43, 0, 35, -34, -54, 136, -16, 248, -2, 202, 25, 7, -115, -83, 0, -158, -49, 57, 0, -121, -140, 80, -108, 75, -81, -109, -88, 0, 38, -5, 63, 57, -36, 109, 6, 369, 123, 7, 193, -98, 0, 73, 56, -132, -174, -53, -210, 76, -77, -143, -136, 27, -40, 0, 71, 80, -59, 69, -136, -64, -16, -59, 80, 38, 49, -12, 0, 195, -116, -44, 200, -77, -20, -48, -15, -321, -83, -30, -76, 0, -243, -112, -86, -20, -23, 49, 80, 263, 126, 223, -29, -179, 0, 80, 106, 184, 4, -115, -41, 148, 43, -41, -39, -163, 130, 0, 75, 96, -126, 167, 92, -110, -226, 33, -21, 118, -34, -72, 0, 106, -79, -135, -100, 53, -169, -11, 36, 28, 28, 75, -83, 0, -193, 59, 150, -64, 51, 164, 53, -27, 46, -14, 120, 13, 0, 194, -120, 176, -129, 5, 1, -55, 147, 84, -122, 50, 35, 0, 18, -128, 1, -198, -211, -241, 39, 131, 57, -113, 50, -91, 0, -216, -61, -144, -13, 115, -33, 58, 13, 190, 74, -130, -56, 0, 26, 232, 217, 39, -139, 34, -113, 146, 113, 285, 84, -91, 0, 237, 38, -211, 19, 152, -91, 295, 102, 43, -186, 62, -5, 0, 124, -64, 182, 63, -120, 93, -100, 30, 42, -131, 8, -106, 0, 232, -160, -93, -32, 158, -57, 172, -103, -11, 3, -164, -54, 0, -4, 189, 3, -184, -2, 30, 220, 290, 70, 96, 41, -198, 0, 135, -15, 40, -14, -39, -60, -219, 211, -191, -119, 158, -47, 0, 12, 68, 68, -36, 43, -15, -140, 218, 112, 159, 48, -113, 0, -167, -71, -176, -109, 86, -51, -53, -8, 69, 89, 133, -160, 0, -255, 146, 164, -237, -19, -64, 134, 49, 170, 99, 158, -344, 0, 33, -34, 184, 141, 288, 100, -125, -57, 89, -65, -81, 225, 0, -19, -107, 63, -72, -149, -107, -99, 74, 95, -110, 50, -174, 0, 67, -35, 176, -47, -40, 18, 16, -143, 32, 87, 187, 70, 0, -88, -161, -36, -162, 3, 291, -48, 8, 133, 299, 28, -14, 0, 1, 6, -292, -111, 32, -209, 265, 43, 21, -136, 135, -98, 0, -161, 127, 106, -28, -5, -223, 109, -89, 50, 21, 66, -149, 0, 312, -1, -196, 25, 83, -176, -65, 97, 154, 177, -65, -30, 0, -293, -108, -19, 3, 97, -34, 7, 235, 160, 313, 102, -141, 0, -8, 6, -127, -54, 208, 255, 116, 59, 22, -18, -118, 112, 0, -35, -113, 83, 44, 109, -168, -60, 53, -11, 72, 29, -4, 0, -319, 41, -304, -30, 93, -141, -19, 177, 178, 51, 124, -199, 0, -118, 94, -156, -72, -5, -174, 4, -223, 239, 353, 17, -89, 0, 86, 73, -169, 35, 99, -245, -195, -65, -29, -31, 368, 17, 0, 37, -36, -175, -65, -162, -68, -111, 129, 138, 25, 21, -106, 0, -56, -153, -97, 11, 265, 78, 35, 296, 355, -62, -140, -52, 0, -84, 128, 6, 6, -31, 297, -9, 44, 50, 32, 132, -21, 0, 351, 123, -441, 34, 137, -177, -80, -17, 61, -66, 472, 73, 0, -57, -105, -185, 66, -28, 246, -5, -68, 7, 324, -9, -220, 0, -367, 90, 84, 6, 243, -134, 15, 167, 24, 80, 8, -8, 0, -65, 163, 9, -365, 62, 34, 106, 216, 21, 20, 53, -96, 0, 24, -100, 128, -231, -33, -113, 226, -47, 292, -105, -9, -57, 0, 60, 263, -55, 60, -38, 276, -218, 138, 124, 256, 101, 49, 0, 354, -229, -301, 17, 120, 9, 69, 24, 289, 33, -3, -172, 0, -17, 404, 94, -553, -186, -41, 46, 141, 346, -196, 231, 145, 0, 410, -5, 52, -60, 178, 100, 55, 112, -69, 77, 0, 246, 0, 126, 37, -203, 235, 51, -29, 147, -108, -37, -290, 13, -100, 0, 35, 331, -3, 102, -45, 101, -48, -13, 192, 2, 267, -186, 0, -34, -139, 14, 291, -61, 150, -104, 604, 125, 105, 460, -308, 0, -157, 95, -234, -220, 129, -102, 413, 156, 256, -197, 355, 8, 0, 129, 142, 131, -210, -36, -95, 140, -11, 75, 198, -12, 169, 0, -209, -63, 167, 40, 371, -13, 145, 353, 13, 64, 30, -46, 0, 53, -184, 4, 42, -143, 228, 305, 91, 22, 452, 52, -15, 0, 5, -109, 46, -176, 90, -256, 232, -228, -195, -126, 96, 14, 0, 112, 293, 69, 97, -107, 290, -197, -171, 53, 352, -211, -98, 0, 91, 25, -123, -148, 10, -126, 110, 18, 72, -25, 60, -64, 0, -231, 314, -177, -92, 117, 102, 226, 124, 106, 151, 181, 253, 0, -49, 35, 358, 24, 186, -75, -293, -46, -20, 43, 479, 153, 0, 368, 30, 42, 103, 49, -409, 57, 166, 29, 367, 109, -102, 0, -90, -259, 68, -78, 238, -294, 101, -85, 46, 85, -139, 68, 0, 134, -33, 38, 146, 63, 304, -21, 522, 107, 187, 111, -161, 0, -321, -19, -462, -171, -52, -314, 155, 18, 107, -95, -130, 10, 0, -48, 190, -214, 37, -99, 340, -18, 211, 114, -246, 94, -123, 0, -207, -273, -330, 131, 120, -233, -136, 121, 184, 87, 52, 106, 0, -248, -93, -141, -257, 191, -59, -81, -71, 93, -2, 273, 28, 0, 133, 93, 592, -67, 227, 1, 129, -19, 214, -165, -146, 7, 0, -41, -186, -103, 1, -236, 286, -41, 609, 66, 230, -123, 88, 0, 214, -71, -148, 26, -30, 148, 138, -209, 152, 64, 85, -235, 0, -13, 235, -101, 353, -32, -241, 89, -306, 376, 100, 125, -43, 0, -212, 31, -162, -61, 3, 39, -196, -45, 7, 107, 225, 110, 0, -44, -7, -32, -244, 72, -359, 19, 151, 62, -357, -216, -66, 0, 33, -89, 92, -186, -141, -102, 11, -217, 164, -197, 31, 10, 0, 6, 189, -35, -154, 104, -467, 58, -15, 166, 54, 307, 192, 0, -228, 60, -857, -72, 87, 68, -259, 50, -52, 42, 258, 18, 0, 79, 345, 214, 158, -149, 95, 36, -82, 64, 316, -378, -141, 0, 195, 72, 271, 111, -39, -7, 96, 27, 55, -104, -39, 233, 0, 28, -120, -151, 168, 19, 229, 169, 207, -82, -152, 1, -342, 0, 222, -50, -281, 9, -13, -63, 200, -126, -286, -165, -220, 220, 0, 111, 16, 232, -104, -197, 402, -218, 297, 144, 44, 100, 1, 0, -276, 152, 44, 56, -437, -70, 72, 287, 41, 87, -73, -144, 0, -80, 184, -79, -227, 84, 409, 156, 86, 131, 3, 75, -340, 0, 58, 316, -33, 13, 271, 24, -467, -26, 109, 109, 134, 51, 0, -265, -142, 71, -140, 8, -32, -74, 527, -116, 228, 106, 92, 0, 98, -279, -13, 263, 62, 37, 345, -24, -251, 280, 2, -83, 0, -177, -407, 262, 149, -179, -234, -37, -261, -98, -55, 221, 0, 0, 212, 178, 5, -196, 8, -104, -127, -151, 22, -260, 4, -12, 0, 192, 68, 13, -33, 5, 295, -397, -380, 106, 139, -399, 77, 0, -128, 113, -34, 396, -654, -52, -144, -107, -191, 173, 32, 56, 0, -352, -131, 127, 181, -63, -82, 136, -167, 10, 27, 53, -141, 0, 179, 217, -240, -240, 105, -361, -55, -134, 53, -182, -125, -6, 0, 70, 50, 68, 146, 60, -289, 26, 212, 24, 181, -67, -13, 0, 616, -39, -96, 156, 223, 55, 86, 297, -280, 118, -114, -328, 0, -255, 155, -5, 143, -145, -545, -92, -608, 74, 42, 21, 144, 0, 43, 83, 247, 224, 95, 58, -39, 109, -267, 29, 40, 22, 0, -172, -538, -160, -532, -45, -279, -292, 38, -220, 169, -173, 248, 0, 249, -65, 181, 104, 88, -344, -108, 40, -99, -68, 63, 46, 0, -32, -93, 146, 459, 315, -48, -1, 90, 174, -109, -161, 222, 0, -124, -101, -495, -271, -165, 135, -56, 53, -162, 93, -149, -148, 0, -33, -275, 397, 8, -93, 109, 20, -589, -260, -129, -173, -45, 0, 221, -154, 86, 225, -220, -134, -174, -36, 108, 26, 400, -214, 0, -157, -179, 29, -282, 142, 261, 352, -25, -1, 27, 95, -112, 0, -623, 88, -182, -233, 244, 270, 382, -64, -225, -188, -264, 338, 0, 260, -120, 203, 40, -22, 34, -247, -7, -143, -252, -101, 1, 0, 21, -119, -143, 222, 228, -417, 469, 123, -124, -229, -183, -132, 0, -197, 150, -44, -375, 26, 177, 71, -244, 198, 120, 145, 4, 0, 340, -113, 431, -108, -82, 19, -279, 99, -184, 81, -266, -50, 0, 357, 11, 148, -218, 202, -128, -49, 248, -153, -497, -184, -13, 0, 684, -60, 212, -11, -4, 442, 323, 141, -104, 123, -4, 305, 0, 263, -757, -236, 540, -65, 156, 129, -472, 221, -34, 68, -48, 0, -181, 9, 398, -86, -303, 61, 386, 303, 76, -243, 144, -90, 0, 22, 158, 5, -50, 21, 100, -72, 335, -358, -181, -246, -439, 0, -403, 287, -102, 190, 128, -72, -17, -101, 73, -45, 442, -154, 0, 102, 85, 115, -27, 34, -329, -211, -42, -56, -5, 161, 406, 0, -215, 162, 573, 53, -162, 29, -43, 107, -475, -35, 228, -52, 0, 313, -424, 323, 89, -205, 298, -172, -206, 45, -130, -174, 138, 0, -64, -354, 151, -54, -124, -202, -21, -68, -451, -51, -346, -119, 0, -299, 277, 196, -221, 74, 211, 51, -637, -114, 56, -161, -162, 0, 268, 194, 96, 135, -26, 166, -697, -337, 6, -148, -494, 84, 0, -247, 107, -145, 55, -83, 56, 75, 32, -90, 71, 23, 140, 0, -700, -130, 223, -39, 35, -190, 237, 119, 127, 10, -191, 155, 0, 310, -478, 43, 143, 210, -343, 16, -148, -19, 192, 76, -366, 0, -107, -200, 138, -455, 160, 5, -5, 51, -161, -207, -58, 69, 0, 352, -34, -35, 142, -76, 558, 112, -37, -375, 57, -257, 233, 0, -60, -180, 59, 314, -6, 158, 171, -204, -248, 43, -610, 127, 0, -733, -20, -185, 201, -91, 164, -32, -19, -94, -200, 180, -157, 0, 303, -120, -383, -120, 47, -260, 31, -345, 149, -73, -169, 78, 0, 311, -287, -102, 181, -150, -410, -488, -54, -126, -157, -197, -24, 0, 357, 232, 362, 78, -199, 57, -357, -167, 64, 22, -182, -493, 0, -95, 149, -33, 91, 187, 319, -2, 266, 125, -94, -182, 380, 0, -379, 101, 388, 35, -373, 32, -444, -388, -350, -29, -164, 219, 0, 437, -188, 31, 350, -128, -157, 72, -171, -28, -218, -126, 20, 0, -85, 55, -439, 156, -128, 170, 142, -163, -26, 342, 242, 367, 0, -183, 186, -104, 197, -255, 148, 94, 315, -39, -108, -280, 36, 0, 63, 214, 163, -168, -292, -47, -171, 230, 263, -351, -183, -243, 0, 11, -319, 289, -640, 178, -416, 274, -276, 31, -855, -339, 180, 0, -85, 60, -8, 449, 258, 53, -449, 24, 45, 51, -10, -49, 0, 128, 42, -317, -83, 293, 68, 196, -176, 107, -231, -95, -170, 0, 267, 326, 171, -302, -231, -60, -216, -77, -315, 89, 53, 223, 0, 138, -121, 52, 450, -47, 184, -399, -159, -193, 59, 62, -123, 0, 473, -177, -685, 51, -204, 360, 235, -278, -282, 52, -223, 5, 0, -18, 460, -36, -194, 146, 396, 242, 58, -34, -209, 14, 198, 0, -326, -189, 2, 375, 105, 308, -568, 143, -207, -215, 310, 286, 0, 86, 704, -104, 82, -278, 631, -104, 85, -136, 214, -97, 67, 0, 96, 25, 394, 16, -296, 353, -133, -21, -316, 111, -84, 229, 0, -247, -136, 147, 70, -98, -62, 6, 348, 101, -161, 408, 135, 0, 367, 101, 292, 234, -228, -49, 127, -161, -279, -408, -249, 128, 0, 141, 116, 244, -198, -27, -579, 360, -485, -284, -285, -115, -408, 0, 165, 213, 175, 128, -365, -6, -19, -341, -379, -33, 171, -249, 0, -477, -304, 215, 3, -1, 61, 258, -138, -195, 113, -92, 66, 0, -503, 1, 242, 74, -229, 206, 258, -146, -219, -400, -7, 335, 0, 169, -323, 270, 216, 13, 73, -360, -143, -132, 49, -17, -9, 0, 436, 350, -390, 116, -282, -279, -374, -328, -214, -66, -276, -334, 0, -138, 611, 258, -162, -78, -513, -25, -81, -93, -225, 215, 486, 0, -4, -37, 25, 342, -170, 495, 43, 317, 163, 41, -274, 42, 0, 0, -76, 31, -22, -14, -403, -284, -35, 0, -49, -272, 441, 0, -309, -360, 158, -140, 230, 491, -35, -64, 48, 163, 164, -278, 0, -127, -5, -366, 353, 551, -163, 156, -410, -23, -106, -307, 326, 0, 314, -161, -328, 166, -53, 44, -2, -397, -273, 88, -201, 24, 0, 213, 149, 274, 573, 78, -166, -49, -426, -80, -14, -427, 322, 0, -832, 12, -145, 259, -271, 458, -207, 187, 54, 203, -339, -127, 0, 13, -351, 25, -34, 42, 386, 254, -375, -302, -161, -272, -100, 0, 206, -165, -367, -92, 284, -299, -175, 76, -90, -300, -29, 327, 0, -92, -152, -261, 44, -159, -18, -199, -818, -13, 219, -276, 360, 0, -952, 123, -107, 183, -54, -78, 217, 61, 115, 203, 12, 65, 0, -497, -310, 329, -745, -76, 350, -184, 17, 37, -35, 250, 467, 0, 76, 1, 529, 38, -305, -30, 291, -91, -101, 9, 240, 222, 0, -231, 83, -325, -108, 327, 124, -43, -205, -269, -358, -365, 615, 0, 444, 167, 275, 45, -263, 22, -381, -131, 138, 345, -477, -64, 0, 103, 44, 185, 334, 457, -80, 127, 229, 22, -188, 372, 532, 0, 385, 185, -3, -669, -382, 203, 268, -62, -168, -105, 37, -15, 0, 302, 59, -48, -270, -357, 714, 352, -214, -284, -400, -472, -173, 0, 96, -253, 167, -50, 505, 384, -195, 152, -1, 84, -71, 281, 0, -280, -25, 42, 85, -97, 416, -316, 396, -253, -184, 259, -11, 0, -162, 5, -204, 97, 36, 167, 379, -223, -32, 73, 252, 265, 0, 199, 372, -33, -218, -450, -173, -161, -15, 123, 51, -12, 211, 0, -958, -140, 11, 21, -44, -375, 118, 230, -76, 9, -406, -294, 0, 158, 116, 324, 54, 354, 155, -95, -1187, -27, 42, 131, 384, 0, -123, 109, 375, -118, -31, 58, -489, -465, -197, -129, -306, 118, 0, 212, -156, 57, 360, 156, 894, -11, -675, -72, -88, -114, 117, 0, -314, -339, 304, 50, -15, 179, -144, 110, 255, -28, 124, -54, 0, -57, 94, 3, 311, 94, -231, 212, -428, 44, -99, 3, -29, 0, -607, 166, -400, -219, 49, -160, -93, -128, 231, 0, -48, -23, 0, 364, 751, -639, 183, 45, -1127, -210, 77, -115, 282, -166, 396, 0, -37, -296, 193, 192, -82, -312, 68, 131, -623, -142, -344, 252, 0, 215, -42, 240, -569, 246, 325, 402, 599, -92, -54, -177, 339, 0, -327, -62, 201, -128, -168, 138, -53, -206, 221, -108, -237, -28, 0, 144, -397, -142, 63, -87, 737, -34, 96, 175, -396, 81, 58, 0, -376, 138, -418, 73, -192, -257, 67, 74, -532, 331, 5, -50, 0, -76, -43, -368, 181, -753, -374, 138, 46, 54, -285, 24, 33, 0, -194, 8, 598, 61, -434, -24, -298, 98, 156, -140, -827, 138, 0, -176, -415, -134, -145, 16, 309, -530, 171, -359, -350]