# Trace form for 8018.2.a.k, downloaded from the LMFDB on 24 April 2024.
[0, 49, 49, 13, 49, 17, 13, 22, 49, 66, 17, 21, 13, 13, 22, 8, 49, 24, 66, 49, 17, 6, 21, 22, 13, 96, 13, 31, 22, 33, 8, 21, 49, 20, 24, 18, 66, 48, 49, 4, 17, 37, 6, 43, 21, 47, 22, 7, 13, 87, 96, 12, 13, 23, 31, 31, 22, 13, 33, 37, 8, 61, 21, 45, 49, 36, 20, 43, 24, 18, 18, 14, 66, 90, 48, 53, 49, 46, 4, 16, 17, 97, 37, 11, 6, 88, 43, -35, 21, 46, 47, 27, 22, 9, 7, 17, 13, 34, 87, 84, 96, 32, 12, 12, 13, -9, 23, 45, 31, 36, 31, -37, 22, 74, 13, 70, 33, 7, 37, -34, 8, 96, 61, 59, 21, 48, 45, 73, 49, 5, 36, -1, 20, 22, 43, 18, 24, 66, 18, 51, 18, 57, 14, -11, 66, 85, 90, 30, 48, 8, 53, 8, 49, 125, 46, 17, 4, 48, 16, -50, 17, 53, 97, 81, 37, -7, 11, -44, 6, 100, 88, 66, 43, 34, -35, 41, 21, 72, 46, 69, 47, -19, 27, 132, 22, -35, 9, 64, 7, 8, 17, -2, 13, 63, 34, -3, 87, 46, 84, 47, 96, -71, 32, 25, 12, -43, 12, 72, 13, 21, -9, 49, 23, 81, 45, 13, 31, 10, 36, 14, 31, 42, -37, -2, 22, 119, 74, 68, 13, 105, 70, -75, 33, 87, 7, -3, 37, 4, -34, -97, 8, 18, 96, 21, 61, 115, 59, 13, 21, -22, 48, 2, 45, 117, 73, -78, 49, 15, 5, 34, 36, 8, -1, -37, 20, -1, 22, 92, 43, -57, 18, 29, 24, -64, 66, 17, 18, 130, 51, 3, 18, 88, 57, 112, 14, 8, -11, -65, 66, 165, 85, 30, 90, -38, 30, -56, 48, 93, 8, -32, 53, 45, 8, 27, 49, 32, 125, 51, 46, 72, 17, -48, 4, 113, 48, -211, 16, 42, -50, -101, 17, 42, 53, 24, 97, -98, 81, -97, 37, 60, -7, 13, 11, 151, -44, 18, 6, 48, 100, -122, 88, 27, 66, 173, 43, -122, 34, 89, -35, 55, 41, -39, 21, -18, 72, -39, 46, -24, 69, -16, 47, 49, -19, -97, 27, 51, 132, 143, 22, -67, -35, 89, 9, 107, 64, -200, 7, -21, 8, 56, 17, 74, -2, -3, 13, 73, 63, 18, 34, 63, -3, -85, 87, -58, 46, -133, 84, 64, 47, 6, 96, 97, -71, 99, 32, 65, 25, -110, 12, 33, -43, 148, 12, -49, 72, -53, 13, 42, 21, -57, -9, -37, 49, 96, 23, 21, 81, 38, 45, -212, 13, -133, 31, -11, 10, -113, 36, 22, 14, -96, 31, 76, 42, 93, -37, 61, -2, -6, 22, 129, 119, -178, 74, -69, 68, 34, 13, 206, 105, -41, 70, 173, -75, 17, 33, -180, 87, 6, 7, 32, -3, -55, 37, 69, 4, 96, -34, -73, -97, -135, 8, 39, 18, 40, 96, 130, 21, 77, 61, -151, 115, 5, 59, 75, 13, 101, 21, -124, -22, 167, 48, 6, 2, -36, 45, -52, 117, 0, 73, -70, -78, -74, 49, 31, 15, -10, 5, 205, 34, -118, 36, 117, 8, 24, -1, 31, -37, -248, 20, 7, -1, -60, 22, 175, 92, -81, 43, 179, -57, -56, 18, 50, 29, -209, 24, -83, -64, 77, 66, 48, 17, 33, 18, -12, 130, -76, 51, 50, 3, -71, 18, 135, 88, -8, 57, -235, 112, -157, 14, 35, 8, 114, -11, -203, -65, 63, 66, -7, 165, -34, 85, -123, 30, 70, 90, -140, -38, -33, 30, 21, -56, -60, 48, -60, 93, -52, 8, 32, -32, -42, 53, 60, 45, -227, 8, -22, 27, -13, 49, 152, 32, -39, 125, 321, 51, -206, 46, 19, 72, -124, 17, -94, -48, -255, 4, 231, 113, 20, 48, -40, -211, -36, 16, 13, 42, 15, -50, -15, -101, -66, 17, 17, 42, -28, 53, -100, 24, -102, 97, -77, -98, 165, 81, -9, -97, -57, 37, -43, 60, 54, -7, -23, 13, -198, 11, 18, 151, -43, -44, -48, 18, -268, 6, 82, 48, -70, 100, -19, -122, -326, 88, -152, 27, -35, 66, 104, 173, -187, 43, 200, -122, -99, 34, -59, 89, -400, -35, -16, 55, -98, 41, 116, -39, 48, 21, -42, -18, -71, 72, -9, -39, -76, 46, 36, -24, -37, 69, -443, -16, -197, 47, -81, 49, 100, -19, -78, -97, 50, 27, -45, 51, -95, 132, -83, 143, -220, 22, 3, -67, 77, -35, 4, 89, -63, 9, -28, 107, -218, 64, -71, -200, 169, 7, -67, -21, -211, 8, 2, 56, -289, 17, 30, 74, -27, -2, 500, -3, -17, 13, 23, 73, -193, 63, 28, 18, -153, 34, 44, 63, 37, -3, 8, -85, -372, 87, -129, -58, -8, 46, -33, -133, -263, 84, -115, 64, -297, 47, -117, 6, 11, 96, -268, 97, 122, -71, -73, 99, -2, 32, 8, 65, -29, 25, -163, -110, -253, 12, 43, 33, -268, -43, -10, 148, 215, 12, -202, -49, 146, 72, -59, -53, -505, 13, -98, 42, -95, 21, 8, -57, -179, -9, 172, -37, -223, 49, -19, 96, -111, 23, -63, 21, -267, 81, 65, 38, 47, 45, -16, -212, 19, 13, -213, -133, -108, 31, -134, -11, -151, 10, -122, -113, -248, 36, -102, 22, -143, 14, 113, -96, 60, 31, -13, 76, 178, 42, -532, 93, -128, -37, -147, 61, 35, -2, 7, -6, -221, 22, 75, 129, -131, 119, -146, -178, -131, 74, 20, -69, -134, 68, -204, 34, -137, 13, 209, 206, -208, 105, 311, -41, -235, 70, -9, 173, -177, -75, -42, 17, -295, 33, -10, -180, 87, 87, -52, 6, -418, 7, -114, 32, -38, -3, 81, -55, -166, 37, -619, 69, -77, 4, -155, 96, -233, -34, -83, -73, 132, -97, -208, -135, -96, 8, -142, 39, -117, 18, -370, 40, -99, 96, 12, 130, 32, 21, 4, 77, -368, 61, 40, -151, -8, 115, 64, 5, -336, 59, -106, 75, -452, 13, 129, 101, -126, 21, 87, -124, -133, -22, 150, 167, -447, 48, -230, 6, -150, 2, -210, -36, 23, 45, -82, -52, -210, 117, 7, 0, -122, 73, 317, -70, -23, -78, -93, -74, -341, 49, -223, 31, 242, 15, -363, -10, 97, 5, 14, 205, -23, 34, -59, -118, -151, 36, -363, 117, 79, 8, 31, 24, -164, -1, -63, 31, -80, -37, -205, -248, 17, 20, 115, 7, -428, -1, 85, -60, 50, 22, 284, 175, -101, 92, 119, -81, -389, 43, 72, 179, -111, -57, -111, -56, -174, 18, 142, 50, 13, 29, -189, -209, 82, 24, 5, -83, -9, -64, 334, 77, -342, 66, -189, 48, -76, 17, -226, 33, -59, 18, -255, -12, 271, 130, -125, -76, -13, 51, -620, 50, 109, 3, 140, -71, -291, 18, 37, 135, -71, 88, 328, -8, -97, 57, 44, -235, 207, 112, -172, -157, -277, 14, -135, 35, -247, 8, 188, 114, -49, -11, 275, -203, 15, -65, -56, 63, -495, 66, 217, -7, -582, 165, 70, -34, 61, 85, 125, -123, -147, 30, 82, 70, -129, 90, 185, -140, -22, -38, -296, -33, -302, 30, 19, 21, -104, -56, -197, -60, 131, 48, 67, -60, 203, 93, -215, -52, -67, 8, -107, 32, -38, -32, 45, -42, -68, 53, 277, 60, 99, 45, -53, -227, 45, 8, 56, -22, -286, 27, 77, -13, -180, 49, 48, 152, 13, 32, 331, -39, -190, 125, 556, 321, -40, 51, 33, -206, -215, 46, -29, 19, 36, 72, -37, -124, -331, 17, -131, -94, -1, -48, 71, -255, -95, 4, -240, 231, -159, 113, -74, 20, 161, 48, -139, -40, -72, -211, 85, -36, -291, 16, -399, 13, 164, 42, -107, 15, -115, -50, 43, -15, -207, -101, -62, -66, 50, 17, 24, 17, 3, 42, -42, -28, -795, 53, -27, -100, 65, 24, 276, -102, -380, 97, 505, -77, 3, -98, 13, 165, -123, 81, -48, -9, -305, -97, -153, -57, 18, 37, -41, -43, 142, 60, -175, 54, -43, -7, 130, -23, 4, 13, -207, -198, 173, 11, -130, 18, 6, 151, -41, -43, 296, -44, 118, -48, -4, 18, -356, -268, -116, 6, 136, 82, -120, 48, 14, -70, -3, 100, -111, -19, -182, -122, 28, -326, -6, 88, 145, -152, -275, 27, -53, -35, -218, 66, 409, 104, -249, 173, 161, -187, 80, 43, 307, 200, -89, -122, 271, -99, -389, 34, -135, -59, 90, 89, 51, -400, -408, -35, 26, -16, -60, 55, 284, -98, -190, 41, -113, 116, -133, -39, 178, 48, 450, 21, -127, -42, 222, -18, -196, -71, -254, 72, -238, -9, 44, -39, -69, -76, 44, 46, 53, 36, -197, -24, 143, -37, -102, 69, 119, -443, 469, -16, -167, -197, -182, 47, 59, -81, -52, 49, 7, 100, -57, -19, 328, -78, 217, -97, 352, 50, -461, 27, 358, -45, -30, 51, -171, -95, 46, 132, -87, -83, 51, 143, -46, -220, -56, 22, 90, 3, -294, -67, 22, 77, -431, -35, 31, 4, 413, 89, -357, -63, 100, 9, 27, -28, -308, 107, -146, -218, 406, 64, 83, -71, -150, -200, 16, 169, -279, 7, -495, -67, 92, -21, 2, -211, 126, 8, 159, 2, -682, 56, -27, -289, -72, 17, 41, 30, -144, 74, 553, -27, 121, -2, -38, 500, -211, -3, 326, -17, -622, 13, 247, 23, 97, 73, -78, -193, 75, 63, -104, 28, 197, 18, 575, -153, -362, 34, -243, 44, 88, 63, -174, 37, -164, -3, -373, 8, 462, -85, 144, -372, 323, 87, -667, -129, -31, -58, -211, -8, -499, 46, 11, -33, -48, -133, -433, -263, -149, 84, -331, -115, 240, 64, -316, -297, -562, 47, -208, -117, -242, 6, 200, 11, -183, 96, 185, -268, 198, 97, 217, 122, -26, -71, 301, -73, -127, 99, -58, -2, 88, 32, -1, 8, -134, 65, 421, -29, -159, 25, 287, -163, -218, -110, -628, -253, -133, 12, -65, 43, -34, 33, -224, -268, 348, -43, -97, -10, 58, 148, -409, 215, 342, 12, 156, -202, -207, -49, -35, 146, -179, 72, 309, -59, -493, -53, -40, -505, 144, 13, -375, -98, -128, 42, 154, -95, -20, 21, 58, 8, 108, -57, 396, -179, -394, -9, 78, 172, -280, -37, -3, -223, -55, 49, 25, -19, 46, 96, -242, -111, -457, 23, -113, -63, -105, 21, 211, -267, -88, 81, -137, 65, 108, 38, -317, 47, 259, 45, 27, -16, 176, -212, 28, 19, 65, 13, -213, -213, 194, -133, -486, -108, -75, 31, 27, -134, 63, -11, -34, -151, 36, 10, 98, -122, 92, -113, 55, -248, -630, 36, -292, -102, 283, 22, 11, -143, -281, 14, 323, 113, -470, -96, 85, 60, -116, 31, 387, -13, -540, 76, 131, 178, 9, 42, -103, -532, -212, 93, 157, -128, -222, -37, 153, -147, -187, 61, -459, 35, 224, -2, -163, 7, 79, -6, -176, -221, -48, 22, -260, 75, -200, 129, -82, -131, -94, 119, -3, -146, 7, -178, 17, -131, 87, 74, -338, 20, -87, -69, 19, -134, 23, 68, -276, -204, -92, 34, 199, -137, -2, 13, 683, 209, -245, 206, 549, -208, -90, 105, -273, 311, -288, -41, 476, -235, -419, 70, 88, -9, 34, 173, -293, -177, -450, -75, 244, -42, 80, 17, -23, -295, -253, 33, -369, -10, -117, -180, 25, 87, 302, 87, -362, -52, 308, 6, -373, -418, -125, 7, -44, -114, 203, 32, -140, -38, -227, -3, 84, 81, -317, -55, -186, -166, 61, 37, -172, -619, 79, 69, -272, -77, -477, 4, 208, -155, 66, 96, 73, -233, -495, -34, 572, -83, -40, -73, 164, 132, -640, -97, -24, -208, -55, -135, 381, -96, 32, 8, 101, -142, -290, 39, -185, -117, 167, 18, 242, -370, -162, 40, -176, -99, -247, 96, -276, 12, -9, 130, -475, 32, -66, 21, -86, 4, 58, 77, -336, -368, 135, 61, -276, 40, 82, -151, 12, -8, -114, 115, -245, 64, -5, 5, -145, -336, 38, 59, -64, -106, -407, 75, -191, -452, -210, 13, 349, 129, -136, 101, 365, -126, -661, 21, 176, 87, -90, -124, 217, -133, -831, -22, -43, 150, -9, 167, 191, -447, -162, 48, -84, -230, 80, 6, 525, -150, -283, 2, -280, -210, 192, -36, -160, 23, -346, 45, 185, -82, 35, -52, 271, -210, -78, 117, -420, 7, 372, 0, 281, -122, -102, 73, 45, 317, -7, -70, 182, -23, -334, -78, 79, -93, 261, -74, 82, -341, -182, 49, -423, -223, -312, 31, 601, 242, -201, 15, 94, -363, -15, -10, 43, 97, -316, 5, 305, 14, -284, 205, 328, -23, 36, 34, 23, -59, -252, -118, 244, -151, -21, 36, 398, -363, -33, 117, -652, 79, -323, 8, 165, 31, 108, 24, -234, -164, -28, -1, 68, -63, -149, 31, -310, -80, -13, -37, -39, -205, 309, -248, -37, 17, -95, 20, -39, 115, 5, 7, 251, -428, 27, -1, 35, 85, -151, -60, 1001, 50, -170, 22, 218, 284, -267, 175, 601, -101, 30, 92, 639, 119, -490, -81, 167, -389, 12, 43, 196, 72, 74, 179, 203, -111, -718, -57, 66, -111, -347, -56, 404, -174, -236, 18, 38, 142, -46, 50, -88, 13, 518, 29, -277, -189, 394, -209, -12, 82, -156, 24, -266, 5, 534, -83, 136, -9, -72, -64, 70, 334, 384, 77, 108, -342, -153, 66, 140, -189, 147, 48, -106, -76, -768, 17, -96, -226, -98, 33, 745, -59, 125, 18, 466, -255, -387, -12, 133, 271, 102, 130, 531, -125, -83, -76, 221, -13, 7, 51, 271, -620, -4, 50, 167, 109, -60, 3, 262, 140, -428, -71, 216, -291, 27, 18, -169, 37, 139, 135, 323, -71, 579, 88, 45, 328, 144, -8, -507, -97, 33, 57, -119, 44, 36, -235, -34, 207, 28, 112, 107, -172, -92, -157, -100, -277, 187, 14, 21, -135, -333, 35, 180, -247, 40, 8, 266, 188, 317, 114, 509, -49, 292, -11, 68, 275, -421, -203, 458, 15, -811, -65, 487, -56, 96, 63, 303, -495, -286, 66, 267, 217, 312, -7, 181, -582, -326, 165, -374, 70, -218, -34, 24, 61, 269, 85, 21, 125, 131, -123, -366, -147, 362, 30, -206, 82, 421, 70, -195, -129, 193, 90, 59, 185, 169, -140, -101, -22, 78, -38, -26, -296, 445, -33, 76, -302, -270, 30, 371, 19, 206, 21, 316, -104, -123, -56, 411, -197, -257, -60, -77, 131, -253, 48, 352, 67, 138, -60, 198, 203, 48, 93, 459, -215, -617, -52, 260, -67, -343, 8, 298, -107, -51, 32, -81, -38, -48, -32, -99, 45, 285, -42, -71, -68, 136, 53, -135, 277, -181, 60, -733, 99, 325, 45, 218, -53, 391, -227, 73, 45, 214, 8, -155, 56, 390, -22, 342, -286, 72, 27, -98, 77, 43, -13, -59, -180, 237, 49, 537, 48, -387, 152, 414, 13, -101, 32, 89, 331, 81, -39, 427, -190, -394, 125, 99, 556, 5, 321, 88, -40, -165, 51, 392, 33, 398, -206, 444, -215, -413, 46, -14, -29, 646, 19, 212, 36, -332, 72, -156, -37, 870, -124, 291, -331, 248, 17, -654, -131, 66, -94, -163, -1, 334, -48, -1, 71, 280, -255, 323, -95, -221, 4, 16, -240, 106, 231, 152, -159, -372, 113, -253, -74, -264, 20, 559, 161, -166, 48, 22, -139, 61, -40, 384, -72, -361, -211, 492, 85, -542, -36, 131, -291, 22, 16, 208, -399, -331, 13, 216, 164, -40, 42, 59, -107, -59, 15, -271, -115, -222, -50, 310, 43, 506, -15, -332, -207, 329, -101, -529, -62, -8, -66, 507, 50, 313, 17, -370, 24, 55, 17, 18, 3, 185, 42, -104, -42, 171, -28, -93, -795, 170, 53, 243, -27, -197, -100, 122, 65, 59, 24, 536, 276, 220, -102, 409, -380, -344, 97, 127, 505, -514, -77, 179, 3, -100, -98, 790, 13, 66, 165, 93, -123, -46, 81, -12, -48, -47, -9, 290, -305, -518, -97, 19, -153, 51, -57, -299, 18, 438, 37, -493, -41, 516, -43, 197, 142, -469, 60, -626, -175, 116, 54, -168, -43, -206, -7, 51, 130, -24, -23, 125, 4, 367, 13, 260, -207, -223, -198, -179, 173, -843, 11, 467, -130, 201, 18, 374, 6, -109, 151, 830, -41, 436, -43, 128, 296, -76, -44, 544, 118, -297, -48, 447, -4, 57, 18, 313, -356, 285, -268, 445, -116, 36, 6, 236, 136, -501, 82, -117, -120, 100, 48, 47, 14, 165, -70, -87, -3, -286, 100, 415, -111, 367, -19, -208, -182, -43, -122, 136, 28, 172, -326, -11, -6, -84, 88, 210, 145, 70, -152, -52, -275, 399, 27, -6, -53, -58, -35, -250, -218, -564, 66, 772, 409, -145, 104, 389, -249, 13, 173, 189, 161, -179, -187, 793, 80, -288, 43, 219, 307, 85, 200, -197, -89, -208, -122, 546, 271, -79, -99, 555, -389, -300, 34, 5, -135, -336, -59, 413, 90, 529, 89, -327, 51, 72, -400, -74, -408, -301, -35, -759, 26, 734, -16, -139, -60, 205, 55, 30, 284, 190, -98, 290, -190, 48, 41, 88, -113, 267, 116, -159, -133, -245, -39, 302, 178, 348, 48, 214, 450, 201, 21, 981, -127, 10, -42, 35, 222, -738, -18, 496, -196, -177, -71, 644, -254, 8, 72, 216, -238, -1131, -9, -40, 44, -128, -39, 511, -69, -325, -76, -153, 44, -22, 46, 249, 53, 87, 36, -20, -197, -56, -24, -11, 143, -396, -37, -238, -102, 809, 69, -68, 119, 150, -443, 8, 469, 45, -16, 50, -167, 487, -197, 50, -182, 204, 47, 7, 59, -320, -81, 85, -52, 320, 49, 552, 7, 49, 100, 18, -57, -261, -19, 201, 328, -45, -78, -171, 217, -510, -97, 545, 352, 125, 50, 384, -461, -407, 27, 522, 358, 688, -45, 603, -30, -215, 51, 12, -171, 261, -95, -52, 46, -8, 132, -243, -87, 278, -83, -100, 51, -319, 143, 67, -46, 387, -220, -215, -56, 235, 22, 17, 90, 252, 3, -366, -294, -299, -67, -221, 22, 654, 77, -52, -431, -460, -35, -195, 31, -95, 4, 748, 413, -114, 89, 926, -357, 79, -63, 182, 100, -1311, 9, 408, 27, 103, -28, 539, -308, 48, 107, 579, -146, 435, -218, 900, 406, 18, 64, 263, 83, -779, -71, -138, -150, -84, -200]