# Trace form for 8007.2.a.f, downloaded from the LMFDB on 28 March 2024. [0, 48, -1, -48, 45, 1, 1, -13, -6, 48, -20, 5, -45, -8, 4, -1, 39, -48, -1, -6, 6, 13, -35, -8, 6, 13, 17, -48, -38, 1, 20, -21, -3, -5, 1, 19, 45, -58, -14, 8, -54, -3, -4, -33, 2, 1, -26, 9, -39, 11, 4, 48, -31, -33, 1, -21, 0, 6, -55, 77, -6, -29, -46, -13, 24, -49, 35, -44, -45, 8, 4, 22, -6, -63, -16, -13, -46, -30, -17, -46, -14, 48, -75, 11, 38, -1, 8, -1, -116, 10, -20, -67, -64, 21, -16, -8, 3, -96, -46, 5, -65, 33, -1, -24, 49, -19, -38, 2, -45, -83, -5, 58, -61, -105, 14, -40, 29, -8, 14, 13, 54, 21, 28, 3, -44, -3, 4, -49, -21, 33, -78, 45, -2, -101, -36, -1, 6, -92, 26, -18, -10, -9, -129, 37, 39, -49, 49, -11, -119, 1, -4, -53, 36, -48, 14, 59, 31, -48, 9, 33, -165, -28, -1, -127, -1, 21, -45, 19, 0, -18, 20, -6, -50, -20, 55, -42, -141, -77, -61, 49, 6, -63, -43, 29, -127, -54, 46, -5, 54, 13, -81, 7, -24, -148, -5, 49, -105, -103, -35, -71, -51, 44, -73, 31, 45, -86, 51, -8, 31, 13, -4, -69, -132, -22, -37, 3, 6, -128, -131, 63, 44, 8, 16, 0, 122, 13, -10, 1, 46, -57, 47, 30, -153, -97, 17, -147, 9, 46, -4, 10, 14, -74, 32, -48, -122, -102, 75, -136, -109, -11, -51, 88, -38, -144, 70, 1, 5, -31, -8, -30, -30, 1, -14, -29, 116, -196, -16, -10, -111, -24, 20, 29, -39, 67, 96, 23, 64, -145, -95, -21, -50, -39, 16, -87, 34, 8, -116, -46, -3, 48, 3, 96, -72, -1, 46, -109, 54, -5, -149, 59, 65, -119, -144, -33, -125, -70, 1, -28, 22, 24, 12, 98, -49, -254, 1, 19, -89, -141, 38, -69, -108, -2, -65, 6, 45, 2, 77, 83, -113, -67, 5, -45, 15, -58, -19, 69, 61, -175, -132, 105, -6, 27, -14, -8, 10, 40, -132, -55, -29, -108, -62, 8, -236, -88, -14, -91, 122, -13, -56, 105, -54, -6, 41, -21, -77, -79, -28, -182, -119, -3, 7, 115, 44, 23, 35, 3, 22, -82, -4, -60, -151, 49, -138, -5, 21, -141, -102, -33, -223, -65, 78, 8, -75, -45, -15, 54, 2, -127, -3, 101, -101, -134, 36, -218, -25, 1, -101, -26, -6, -19, 42, 92, -84, -5, -26, -104, -31, 18, -76, 151, 10, -136, -156, 9, -22, -13, 129, -5, 31, -37, 141, 88, -39, -134, -57, 49, -87, -23, -49, -70, -126, 11, -17, 31, 119, -161, 95, -1, -284, -142, 4, -128, -212, 53, -222, -28, -36, -218, 211, 48, 17, 142, -14, -69, 151, -59, -100, 58, -31, -113, -65, 48, -80, -200, -9, 26, 38, -33, 34, 58, 165, -141, -142, 28, -150, -199, 1, -141, 9, 127, -281, -56, 1, -1, 140, -21, -150, 36, 45, -172, 105, -19, -20, -8, 0, -255, -130, 18, -286, -5, -20, -51, 17, 6, -4, 108, 50, -291, -116, 20, -268, -148, -55, -26, -57, 42, -26, 21, 141, -52, 209, 77, -164, -182, 61, 43, -75, -49, -2, 40, -6, -137, -119, 63, 3, 4, 43, -146, -156, -29, -245, 46, 127, -222, -64, 54, -88, -91, -46, -76, 164, 5, -103, 194, -54, -30, 193, -13, -131, -6, 81, -144, 25, -7, -44, 34, 24, -130, -1, 148, 27, 90, 5, 17, 108, -49, -24, 123, 105, -133, -35, 103, -304, -128, 35, -19, 58, 71, -102, 128, 51, -197, 11, -44, -279, -7, 73, -120, -83, -31, -250, 135, -45, -100, 305, 86, -154, -248, -51, -116, -5, 8, -223, -28, -31, -190, 79, -13, -45, 58, 4, -74, 2, 69, -59, -43, 132, -42, 7, 22, -74, -62, 37, -138, -194, -3, 14, -40, -6, -44, -33, 128, -481, -220, 131, -178, -89, -63, -115, 213, -44, -82, 27, -8, -55, -75, -16, 1, 274, 0, 27, 145, -122, -359, -15, -13, -140, -69, 10, 118, 54, -1, 251, 23, -46, -116, -85, 57, -172, -129, -47, -128, 17, -30, -104, 8, 153, 3, 160, 97, -138, 72, -17, -50, -158, 147, -47, -8, -9, -98, -249, -46, -207, 22, 4, -74, 258, -10, -94, 14, -14, -252, -47, 74, -231, -149, -32, 54, -157, 48, 238, 33, 122, -72, 170, 102, -255, -282, -75, 54, -33, 136, 163, -142, 109, -182, -227, 11, -2, 63, 51, 17, 239, -88, -307, 44, 38, -355, -40, 144, -37, -36, -70, -127, 222, -1, 296, 118, -5, 24, 258, 31, -19, -103, 8, -6, -134, 30, -25, 123, 30, -83, 26, -1, -3, -1, 14, -74, -294, 29, -6, -52, -116, -247, 355, 196, -137, -235, 16, -9, 200, 10, -131, 112, 111, -316, 95, 24, 69, -321, -20, 45, -151, -29, 39, 158, 39, -175, 167, -67, -103, 59, -96, -159, 223, -23, -80, 93, -64, 64, -28, 145, 335, -11, 95, -34, 464, 21, 24, 31, 50, -33, 108, 39, 101, 92, -16, -111, -404, 87, -4, 207, -34, -131, 46, -8, -97, -169, 116, -51, 175, 46, -127, -154, 3, -217, 348, -48, -7, 126, -3, 124, -304, -96, 153, 229, 72, 10, -48, 1, 205, -162, -46, -64, 31, 109, 74, 308, -54, -102, -235, 5, 54, -179, 149, -31, 342, -59, -36, 100, -65, 33, 254, 119, -65, -20, 144, -292, -20, 33, 333, 12, 125, -228, 102, 70, -92, 2, -1, 20, 541, 28, -151, 140, -22, -421, -192, -24, -251, -107, -12, 1, 183, -98, 289, 21, 49, -109, 137, 254, 66, -83, -1, 77, 94, -19, 200, -52, 89, -166, -221, 141, 0, -206, -38, 49, 103, 69, -446, -132, 108, -197, -27, 2, -48, 196, 65, -31, 598, -6, 284, 332, -45, -1, 243, -2, -104, -141, -77, -99, -129, -83, 191, 61, 113, 82, 55, 67, -62, 221, -5, -155, -87, 45, 153, -171, -15, -177, -97, 58, -60, -156, 19, -77, 342, -69, 143, 5, -61, -168, 100, 175, 55, -127, 132, 104, -46, -105, 124, 122, 6, 98, 383, -27, 129, -86, 14, -75, -60, 8, 44, 34, -10, -266, 40, -40, 353, 29, 132, -26, 312, 55, 122, -46, 29, 79, 306, 108, 263, 21, 62, -117, -277, -8, 46, 187, 236, -271, 276, 88, -298, -199, 14, -50, 208, 91, 185, 392, -122, -127, 159, 13, 74, -153, 56, -99, 159, -105, 148, 100, 54, -25, -4, 6, 78, 33, -41, -21, -24, 21, 312, 397, 77, -196, 84, 79, 164, -188, 28, 13, 168, 182, 138, -292, 119, 49, 90, 3, -94, 157, -7, -323, -40, -115, 72, 136, -44, -16, -247, -23, -101, -14, -35, -18, 145, -3, -136, -42, -22, -192, 331, 82, -58, -271, 4, 110, 367, 60, 101, 44, 151, 49, 38, -49, 166, -413, 138, 141, -136, 5, 508, 171, -21, -181, -141, 141, 45, -226, 102, 38, -146, 33, -59, -122, 223, 36, 363, 65, -131, 19, -78, 4, 340, -8, 423, 50, 75, -134, 59, 45, 227, 108, 15, -3, 412, -54, 108, -190, -2, -148, -4, 127, 149, -57, 3, -214, -35, -101, 185, -71, 101, -144, 204, 134, -198, -104, -36, -22, 11, 218, 146, 254, 25, -338, 50, -1, -28, -134, 101, -123, 66, 26, -124, 258, 6, 141, 269, 19, 239, 36, -42, -115, 75, -92, 232, 164, 84, 169, 358, 5, 255, 63, 26, -2, 258, 104, 400, -85, 31, 272, -106, -18, -179, 217, 76, -57, 6, -151, 16, 176, -10, -48, 147, 136, -538, -275, 156, -12, -66, -9, 398, 91, 22, -263, 613, 13, 491, 23, -129, 53, 179, 5, 295, 82, -31, 119, 3, 37, -69, -169, -141, 143, 46, -88, 301, 230, 39, -405, -173, 134, 364, -53, 57, -25, 206, -49, 69, 57, 87, 30, 155, 23, 156, -89, 49, -77, 43, 70, 94, -115, 126, 75, -228, -11, -176, 85, 17, 185, 310, -31, 314, 21, -119, -190, 76, 161, 393, -163, -95, 215, 391, 1, 427, 46, 284, -244, 248, 142, -68, -132, -4, 244, -71, 128, 282, 272, 212, -130, -599, -53, 14, 281, 222, 14, 294, 28, -36, 88, 36, -204, 299, 218, 482, -83, -211, -39, 97, -48, 558, 323, -17, 237, 304, -142, -74, 95, 14, -133, 330, 69, 291, 374, -151, -134, 75, 59, 184, 16, 100, -81, -32, -58, 361, 53, 31, 52, 245, 113, -286, -174, 65, -11, -39, -48, -16, 17, 80, -259, 42, 200, 81, -211, 9, -103, 64, -26, -255, 347, -38, 13, 299, 33, 197, -162, -34, 28, 394, -58, 56, 105, -165, -83, 461, 141, 469, 1, 142, -64, 26, -28, 166, 70, 150, -111, 178, 199, 202, -213, -1, -228, -246, 141, -8, -47, -9, -54, -59, -127, -365, -197, 281, -10, 217, 56, 155, 62, -1, -119, 474, 1, 816, 124, -140, -21, 231, 21, 288, 317, 150, -87, -19, -36, 165, -194, -45, 115, 116, 172, 506, 266, -105, -64, 55, 19, 388, -113, 20, 28, 568, 8, 287, 50, 0, -10, 293, 255, 151, 151, 130, -99, -123, -18, 589, 85, 286, -69, 321, 5, -249, 276, 20, 16, 284, 51, 195, 91, -17, -383, 92, -6, 361, 26, 4, -23, 333, -108, 106, 67, -50, -31, 272, 291, 117, -270, 116, 219, 94, -20, 123, 314, 268, -65, -380, 148, 64, -207, 55, -56, 174, 26, 20, 145, 57, -317, -95, -42, 60, -310, 26, 17, 658, -21, 521, -25, -141, -47, 324, 52, 148, 216, -209, 255, -67, -77, 146, 303, 164, -178, 16, 182, 206, 318, -61, -197, -172, -43, 283, -287, 75, -222, 534, 49, 1, -282, 2, 8, 476, -40, -201, 145, 6, -128, 49, 137, 248, -366, 119, 79, -322, -63, 241, 16, -3, -241, 639, -4, 267, 61, -43, -103, 477, 146, 210, 162, 156, 221, 227, 29, 330, 96, 245, -28, 221, -46, 550, 236, -127, -7, 73, 222, 212, 92, 64, -440, -362, -54, 46, -84, 88, 74, -18, 91, 43, -689, 46, -94, 559, 76, -38, 20, -164, -273, 294, -5, 249, 66, 103, 158, 85, -194, 45, 527, 54, -139, 360, 30, 104, -87, -193, 83, 65, 13, 572, 11, 131, -37, 257, 6, 405, -188, -81, -196, 593, 144, -166, -27, -25, -33, 458, 7, 505, -83, 44, -394, 252, -34, 405, -5, -24, 64, -70, 130, -377, -14, 1, 125, 136, -148, 448, 318, -27, -254, 457, -90, -89, -171, -5, -86, 250, -17, 691, 24, -108, 143, 8, 49, 542, -234, 24, 7, 36, -123, 444, 311, -105, -422, -59, 133, -49, 79, 35, -59, -23, -103, 121, -102, 304, -201, 244, 128, -85, 133, -35, -360, 1027, 19, 700, 59, -58, -39, -389, -71, 425, -202, 102, 66, -119, -128, 131, 118, -51, -24, 38, 197, -112, 103, -11, -27, -346, 44, 262, 295, 279, -288, 145, 7, -89, -585, -73, -2, 281, 120, 169, 156, 83, -322, -68, 31, -300, -69, 250, 289, 218, -135, -3, 113, 45, 79, 373, 100, 529, -106, -305, -9, 297, -86, 187, 198, 154, -123, 456, 248, 528, 83, 51, -94, 598, 116, 192, 33, 5, 343, 111, -8, 224, 283, 223, -64, -708, 28, 5, 94, 31, -623, 646, 190, -85, -27, -79, -257, -315, 13, 147, 56, 45, -158, 924, -58, 442, 211, -4, 26, -9, 74, 32, 449, -2, -298, -160, -69, 561, -159, 59, 97, 61, 43, 379, 485, -132, -136, 409, 42, 348, -81, -7, 283, 393, -22, -157, -168, 74, 105, 484, 62, -359, -258, -37, -331, -4, 138, 306, 314, 194, -274, -12, 3, -137, -58, -14, 166, 367, 40, 616, -154, 6, -560, 368, 44, 225, 3, 33, 83, 64, -128, 261, 40, 481, -112, 230, 220, 649, -239, -131, 389, 357, 178, 287, 288, 89, -299, -541, 63, -29, 7, 115, -24, 488, -213, 49, 209, 44, -139, 297, 82, 53, 19, -27, -177, 654, 8, 853, 456, 55, -99, 349, 75, -368, 161, 16, -338, 540, -1, 199, -48, -274, 117, -14, 0, 163, 315, -27, -315, 375, -145, 380, -45, 122, -198, 189, 359, -27, -136, 15, -13, 134, 13, 218, 342, 140, -327, -159, 69, 290, -410, -10, -81, -57, -118, -511, 365, -54, 8, 21, 1, 146, -26, -251, -92, -11, -23, 456, 203, 46, -308, 332, 116, 205, -21, 85, -6, -150, -57, 126, -283, 172, 65, -143, 129, -319, -29, 47, -113, -287, 128, -28, 155, -17, -38, -448, 30, -532, -72, 104, -192, -100, -8, -104, 80, -153, -195, 337, -3, 850, 82, -160, 241, -45, -97, 457, 373, 138, 122, -80, -72, -126, -196, 17, 265, 44, 50, 408, 179, 158, -299, -120, -147, 567, -56, 47, 169, 528, 8, 149, -231, 9, 3, 542, 98, -476, -44, 249, -364, -452, 46, -84, 39, 207, -408, -179, -22, -434, 116, -4, 150, 159, 74, 105, 196, -258, -697, 233, 10, 282, -488, 94, 134, 311, -14, 265, 49, 14, -354, 228, 252, 184, -141, 47, 257, -542, -74, 512, 489, 231, -293, -497, 149, 21, -266, 32, 11, 561, -54, -294, -148, 157, -569, -304, -48, 499, 165, -238, 49, 38, -33, 382, 180, -122, -94, -4, 72, 303, 175, -170, -202, -302, -102, -282, 203, 255, -21, 78, 282, 395, -150, 75, -321, 67, -54, -123, 211, 33, 85, -30, -136, -9, -240, -163, -45, -218, 142, 3, 64, -109, -446, -67, 182, 151, -138, 227, -84, -347, -11, -684, 242, 2, 356, 327, -63, -135, -15, -51, -214, 353, -17, 252, 45, -239, 206, -226, 88, 11, 101, 307, 46, 305, -44, 181, -44, -38, -60, -185, 355, 278, 131, 40, -280, -843, -144, 36, 178, 37, -344, 124, 36, -403, -675, 70, -414, -113, 127, 585, 57, -222, -265, 200, 1, 587, -279, -296, 2, 88, -118, -54, 146, 5, -63, 181, -24, -688, 230, -258, 162, -6, -31, 591, 797, 19, -241, -501, 103, 690, -415, -8, -214, 690, 6, -345, -58, 134, 92, 22, -30, 18, -105, 25, -356, 303, -123, -426, 64, -30, -129, -250, 83, -748, 134, -26, 222, 271, 1, 277, -180, 3, -686, 84, 1, -24, -305, -14, 102, 86, 74, 679, 18, 294, -326, -62, -29, -662, -52, 6, 374, -49, 52, 32, 159, 116, -540, -430, 247, 10, 166, -355, -49, -52, -196, -144, -95, 137, -205, 109, 235, 18, -199, -16, -301, 270, 9, -17, 5, -200, -160, -220, -10, -352, 30, 131, -90, -525, -112, -89, -35, -111, -109, 129, 316, -279, -439, -95, -20, -287, -24, 449, -294, -69, -161, 47, 321, -95, -382, 20, -37, 45, -45, -37, 350, 151, -557, -612, 29, -207, -457, -39, -430, 251, -158, -312, 310, -39, 190, 369, 175, 415, -290, -167, -550, 164, 67, -146, 595, 103, 109, 162, -59, 415, 49, 96, -50, -120, 159, 205, -43, -223, -557, -16, 23, 75, 256, 80, -175, -91, -93, -49, -27, 64, 37, 106, -64, -328, -309, 28, -297, -305, -145, 193, -215, -335, -343, 298, 11, -292, -322, -95, -133, 130, 34, -327, 309, -464, -123, -494, -21, -39, -399, -24, -36, 119, -31, 97, 42, -50, -773, 269, 33, 86, -227, -108, 183, 50, -39, 211, 163, -101, -1, -132, -92, -103, -136, 16, -586, -385, 111, -18, -149, 404, -450, -824, -87, -659, 168, 4, 175, 315, -207, -32, -311, 34, -892, -221, 131, 42, -415, -46, 275, -272, 8, 191, 53, 97, 154, -141, 169, 283, -515, -116, -144, -273, 51, 115, 565, -175, -203, -527, -46, -36, 19, 127, 55, -334, 154, -187, -216, -3, -208, -463, 217, -147, 369, -348, -543, -31, 48, 121, 116, 7, -6, -253, -126, -936, 174, 3, 232, -607, -124, 70, 102, 304, -110, -14, 96, -246, 235, -153, -312, -120, -229, 277, -364, -72, -237, 376, -10, -197, -510, 48, -59, 80, -1, -371, 18, -205, -677, 233, 162, 87, -170, 46, -46, -380, 64, -16, 933, -31, 241, -228, -109, -17, -441, -74, -279, 20, -308, 186, -112, 54, -170, 232, 102, 351, 48, 235, 206, -278, -5, 78, -128, -54, -10, -613, 179, 408, 176, -149, -495, -240, 31, -9, 9, -342, -386, -337, 59, 258, -516, 36, -158, -449, -100, 651, 80, 65, -48, 210, -33, -98, 118, -254, -18, -638, -119, -78, 494, 65, -240, -172, 20, 76, -169, -144, 116, 165, 292, -46, -122, 20, -264, -228, -33, 684, -268, -333, -255, 345, -12, 188, -105, -125, 28, -128, 228, -6, 119, -102, -302, -72, -70, -488, 76, 92, 41, -367, -2, -782, -186, 1, -233, -502, -20, 104, 14, -541, -196, -442, -28, -79, -331, 151, 107, 1, -140, 104, 127, 22, -208, 29, 421, -14, -226, 192, 249, -103, 24, 739, 196, 251, 35, -334, 107, 1, -80, 12, 104, 34, -1, 75, -235, -183, -228, -371, 98, 508, -62, -289, -57, 456, -21, -181, 20, -49, -153, -173, 109, -8, 33, -137, -46, -259, -254, 41, 527, -66, -6, 45, 83, 399, -242, 1, -472, -271, -77, 83, 57, -94, -367, 27, 19, -379, -21, -200, -19, -477, 52, 386, 144, -89, -10, -391, 166, -601, -153, 221, -194, 226, -141, -417, 641, 0, 98, 115, 206, 150, -140, 38, -290, -54, -49, -167, -113, -103, 216, -488, -69, 10, 18, 446, -301, -196, 132, 83, -144, -108, -102, 20, 197, 282, 341, 27, -192, -1096, -2, -20, 286, 48, -108, 248, -196, -161, -563, -65, -128, -337, 31, 581, -17, -598, 24, 458, 6, 371, -158, -284, 355, -349, -332, -102, 163, 45, 5, -124, 1, -238, -170, -243, 149, 50, 2, -47, 190, 104, -21, 347, 141, 275, -110, 77, -180, 833, 99, -432, 260, 129, 20, -92, 83, -894, -67, -191, -1, -184, -61, 297, -139, -113, 166, -431, -82, -147, 244, -55, 17, -130, -67, 37, -20, 62, -270, -411, -221, -203, -337, 5, -143, -338, 155, 389, 42, 87, -416, -203, -45, -358, -148, -153, 6, -407, 171, 291, 254, 15, -144, -1218, 177, 141, -339, 97, -151, -725, -58, -339, -21, 60]