# Trace form for 8013.2.a.d, downloaded from the LMFDB on 25 April 2024.
[0, 129, 15, 129, 151, 16, 15, 61, 42, 129, 41, 51, 151, 56, 5, 16, 195, 18, 15, 93, 44, 61, 46, 50, 42, 193, 1, 129, 145, 24, 41, 67, 89, 51, 73, 56, 151, 95, 9, 56, 103, 7, 5, 150, 69, 16, 72, 53, 195, 240, 17, 18, 124, 34, 15, 66, -17, 93, 57, 49, 44, 113, 27, 61, 262, 22, 46, 185, 2, 50, 25, 41, 42, 153, -1, 193, 190, 39, 1, 101, 48, 129, 15, 162, 145, 99, 13, 24, 86, -4, 41, 117, 56, 67, 49, 71, 89, 159, 40, 51, 252, 2, 73, 88, -26, 56, 103, 209, 151, 148, -61, 95, 247, 62, 9, 139, 34, 56, 66, 8, 103, 270, 3, 7, 98, 54, 5, 115, 123, 150, -57, 84, 69, 81, -7, 16, 154, 38, 72, 143, -1, 53, 86, 52, 195, 267, -26, 240, 192, 61, 17, 181, -39, 18, -2, 75, 124, 101, 30, 34, 113, -27, 15, 275, -56, 66, 19, 6, -17, 295, -67, 93, 204, 19, 57, 261, 55, 49, 53, 55, 44, 104, -53, 113, 124, -95, 27, 185, 47, 61, -10, 25, 262, 202, -63, 22, 306, 84, 46, 115, -74, 185, 2, 82, 2, 84, -69, 50, 167, -13, 25, 189, -24, 41, 8, 6, 42, 196, -30, 153, -17, -64, -1, 109, -152, 193, 101, 186, 190, 233, -116, 39, 92, 89, 1, 107, -73, 101, 18, 57, 48, 335, -68, 129, 89, -18, 15, 176, -9, 162, 63, -25, 145, 165, -74, 99, 265, -73, 13, 180, -91, 24, 22, 105, 86, 117, -173, -4, 277, -73, 41, 229, -135, 117, 19, 243, 56, 107, -76, 67, -43, -62, 49, 278, -112, 71, -107, -56, 89, 281, -211, 159, 189, 1, 40, 80, -85, 51, -23, 7, 252, 128, -79, 2, 255, -64, 73, 216, -57, 88, -6, -32, -26, 148, -106, 56, 125, 36, 103, 174, -31, 209, -130, 152, 151, 154, -107, 148, -43, -1, -61, 128, 110, 95, 39, -73, 247, 270, -59, 62, 2, -140, 9, 332, -118, 139, 23, 256, 34, 178, -192, 56, 22, 11, 66, 2, -201, 8, 59, 59, 103, 328, -32, 270, 70, -94, 3, 95, -31, 7, -78, 73, 98, 98, -295, 54, -15, -65, 5, 240, -67, 115, 128, -29, 123, 134, -141, 150, 180, -81, -57, 148, -129, 84, -139, -23, 69, 141, -199, 81, 265, -89, -7, 379, -234, 16, -9, 1, 154, 444, -216, 38, -16, -55, 72, 84, -382, 143, -9, -7, -1, 78, -122, 53, 153, -169, 86, 216, 193, 52, -135, 67, 195, 167, -226, 267, 199, -30, -26, 103, -381, 240, 75, 133, 192, 1, -197, 61, 248, -94, 17, 140, -47, 181, -123, -245, -39, 290, -269, 18, 58, -121, -2, 129, -214, 75, -114, -20, 124, 90, -287, 101, 18, 89, 30, 206, -360, 34, -30, -35, 113, 216, -225, -27, 125, -162, 15, 138, -143, 275, -22, 40, -56, 31, -207, 66, -35, -51, 19, 169, -199, 6, 107, -16, -17, 275, -366, 295, 47, -144, -67, 65, 42, 93, 121, 92, 204, 123, -176, 19, -401, -134, 57, 224, -179, 261, -50, 80, 55, 315, -359, 49, 40, -139, 53, 57, -144, 55, -77, 47, 44, 73, -314, 104, 216, -144, -53, 321, -171, 113, -207, -209, 124, 205, -241, -95, 9, 4, 27, 155, -469, 185, -60, 163, 47, 52, -292, 61, 95, -151, -10, 318, -194, 25, -148, -38, 262, 127, -239, 202, 161, -139, -63, 82, -375, 22, -215, 44, 306, 139, -251, 84, 84, -184, 46, 42, -96, 115, -16, -120, -74, 391, -315, 185, 274, -162, 2, 80, -411, 82, -268, -103, 2, 276, -401, 84, -332, -7, -69, 232, -381, 50, -51, -134, 167, 201, -339, -13, -132, -209, 25, 144, -87, 189, -150, -63, -24, 188, -280, 41, -118, -141, 8, 279, -545, 6, -198, -107, 42, 261, -595, 196, 178, -132, -30, 172, -411, 153, -186, -23, -17, 51, -320, -64, -256, -352, -1, 316, -401, 109, -257, -121, -152, 210, -367, 193, 46, -52, 101, 43, -389, 186, -132, 207, 190, -56, -469, 233, 49, -223, -116, 235, -161, 39, -37, -75, 92, 164, -273, 89, 265, -127, 1, 84, -81, 107, -232, 159, -73, 121, -296, 101, -17, -41, 18, 173, -296, 57, -115, -169, 48, 294, 45, 335, -53, -60, -68, 46, -113, 129, -45, -159, 89, 224, -202, -18, 107, -155, 15, 498, -504, 176, -384, 77, -9, 59, -223, 162, 91, -62, 63, 91, -95, -25, -182, 50, 145, 123, 119, 165, -528, -216, -74, 146, -50, 99, 72, 14, 265, 525, -84, -73, 118, -215, 13, 44, -325, 180, 22, -11, -91, 199, -55, 24, 336, -183, 22, 361, 319, 105, -172, -82, 86, 92, -197, 117, -170, -184, -173, 292, -189, -4, -38, -3, 277, -112, -103, -73, -148, -83, 41, 371, -261, 229, -263, -104, -135, 277, 112, 117, -161, -59, 19, 65, -182, 243, -190, 319, 56, 31, 44, 107, -42, -156, -76, 217, -240, 67, 175, -170, -43, 235, 2, -62, 58, -159, 49, 332, -8, 278, -473, -13, -112, 378, -431, 71, -273, -62, -107, 9, 135, -56, 80, 118, 89, 140, -308, 281, -122, -94, -211, 156, -77, 159, 35, -52, 189, 225, -87, 1, -330, -82, 40, 218, -421, 80, -221, -35, -85, 333, -48, 51, 30, 29, -23, -144, -559, 7, 33, -25, 252, 10, 72, 128, 110, -234, -79, 350, 199, 2, -247, -69, 255, -34, -16, -64, 133, -130, 73, 98, -250, 216, -381, 148, -57, 254, -175, 88, 246, -188, -6, 329, 285, -32, -40, -68, -26, 437, -95, 148, -396, -107, -106, 165, -185, 56, -130, 154, 125, -48, -41, 36, -224, 32, 103, 49, -130, 174, -273, -147, -31, 332, -211, 209, 420, -298, -130, 267, -39, 152, 142, -162, 151, 74, -34, 154, -321, -19, -107, 74, 98, 148, -87, 141, -43, 127, -300, -1, 60, -144, -61, 12, -162, 128, -204, -33, 110, 58, 144, 95, 20, -286, 39, 321, -187, -73, -145, 58, 247, 395, -325, 270, -244, -69, -59, 50, -322, 62, -27, -5, 2, 107, -88, -140, 63, -276, 9, 326, -216, 332, -482, -197, -118, 455, -370, 139, -46, -13, 23, 28, -40, 256, -54, 193, 34, -136, -402, 178, -140, -59, -192, 535, 91, 56, -72, -216, 22, 78, 229, 11, -49, 3, 66, 158, -525, 2, -435, -182, -201, 133, -153, 8, 384, -8, 59, 366, -390, 59, -5, -72, 103, 84, 114, 328, 11, -212, -32, 137, -362, 270, -29, -51, 70, -73, 6, -94, 41, -231, 3, 255, 294, 95, -181, 263, -31, 15, -169, 7, 95, -219, -78, -88, -64, 73, -43, -111, 98, 162, 75, 98, -687, -104, -295, 388, -10, 54, -144, -170, -15, 252, -376, -65, 239, -30, 5, -29, -476, 240, -297, -295, -67, 186, -72, 115, -250, -273, 128, 295, -256, -29, -107, -94, 123, 0, -206, 134, 186, 74, -141, 260, -453, 150, -169, 489, 180, -160, -73, -81, 356, -334, -57, 113, -357, 148, -205, -110, -129, 188, 399, 84, -90, -280, -139, 104, 123, -23, -137, 574, 69, 36, 44, 141, -487, -169, -199, 108, -378, 81, 287, -268, 265, 335, -228, -89, -130, -270, -7, 144, 285, 379, -405, 85, -234, 101, -77, 16, 3, 90, -9, 34, -344, 1, -24, 80, 154, 110, -247, 444, -20, 72, -216, 145, -194, 38, 110, -348, -16, -49, 134, -55, -284, -140, 72, 421, -278, 84, -697, 110, -382, 475, 99, 143, -142, -186, -9, -162, -309, -7, -5, -62, -1, 181, -273, 78, -269, -419, -122, 485, 147, 53, -523, -98, 153, 35, 73, -169, 172, -46, 86, 114, 538, 216, -150, 303, 193, 40, -323, 52, -210, -36, -135, -158, 65, 67, 78, -325, 195, 77, -191, 167, -537, -334, -226, 310, -233, 267, -75, -94, 199, -210, 22, -30, -558, -73, -26, 234, -182, 103, -188, -180, -381, 331, 26, 240, 3, -519, 75, 66, 194, 133, -474, 162, 192, 170, -298, 1, -625, -129, -197, 86, -188, 61, -394, 90, 248, 41, -306, -94, 512, -304, 17, -165, -372, 140, -500, 264, -47, 130, 117, 181, -284, -501, -123, 225, -536, -245, -96, 89, -39, 234, -636, 290, 155, -140, -269, -190, -386, 18, -217, -86, 58, 59, -306, -121, -157, -217, -2, 396, 553, 129, -628, -203, -214, 283, -193, 75, -2, 118, -114, 284, -764, -20, -258, 225, 124, -221, -497, 90, -561, -188, -287, 74, -239, 101, -87, 170, 18, -84, 441, 89, -390, -373, 30, 244, -476, 206, -554, 180, -360, -4, -372, 34, -14, -274, -30, -244, -163, -35, 135, -324, 113, 89, -161, 216, -160, -374, -225, 206, -117, -27, -122, 110, 125, -149, -108, -162, -49, -369, 15, 193, -603, 138, -679, -193, -143, -133, -578, 275, -315, -214, -22, 24, -78, 40, 20, -195, -56, -7, -214, 31, -608, -265, -207, 344, 58, 66, -297, -151, -35, 205, 210, -51, -100, -93, 19, -59, -950, 169, -1157, -176, -199, -77, -14, 6, -353, -605, 107, 385, -70, -16, -298, -382, -17, 74, -32, 275, -439, -504, -366, -35, -99, 295, -446, 454, 47, -46, -227, -144, 368, -366, -67, 190, -430, 65, -490, -337, 42, 312, -150, 93, -287, -285, 121, -366, -125, 92, -136, 5, 204, 55, -482, 123, -525, 4, -176, 155, -491, 19, 425, -329, -401, 120, -35, -134, 2, -479, 57, 14, -380, 224, -950, -99, -179, 34, 556, 261, -481, -324, -50, 193, -728, 80, -450, 154, 55, -201, -119, 315, 123, -381, -359, 171, -480, 49, -387, -332, 40, -211, -305, -139, 105, -429, 53, 523, -590, 57, -567, -119, -144, 211, -971, 55, -139, -328, -77, -652, -466, 47, 72, 133, 44, -77, -454, 73, -762, -516, -314, 471, 487, 104, 3, -251, 216, -115, -579, -144, 69, -446, -53, -90, -573, 321, -558, -109, -171, -59, -143, 113, -410, -431, -207, -18, -234, -209, -216, -487, 124, 231, 157, 205, -857, -485, -241, 434, -940, -95, -171, 57, 9, -26, -33, 4, -404, -233, 27, 366, -565, 155, -873, -166, -469, 70, -482, 185, 195, -655, -60, -225, 98, 163, -146, -169, 47, 331, -390, 52, -217, -314, -292, 118, -433, 61, -401, -267, 95, -308, -346, -151, 6, -444, -10, -81, 269, 318, -495, -451, -194, -133, 268, 25, -731, -571, -148, 833, -243, -38, -504, -133, 262, 205, -269, 127, -666, -113, -239, 186, -715, 202, -329, -190, 161, -178, -31, -139, 177, 14, -63, 371, -285, 82, -875, -309, -375, 293, 31, 22, 22, -410, -215, -131, -769, 44, -261, 139, 306, -165, -681, 139, -525, -707, -251, -223, -13, 84, -292, -127, 84, 64, 343, -184, -376, -657, 46, 72, -349, 42, -764, 240, -96, 62, -564, 115, 17, -266, -16, -309, -198, -120, -4, -301, -74, 401, -359, 391, -463, -461, -315, 12, -208, 185, -429, -49, 274, -109, 25, -162, -422, -323, 2, -280, -688, 80, -557, -298, -411, 219, 59, 82, 345, -405, -268, -100, -677, -103, -400, 15, 2, -353, 253, 276, -1014, -446, -401, 440, -661, 84, -382, -58, -332, 99, -556, -7, -112, -253, -69, -256, -674, 232, -242, -44, -381, 421, -701, 50, -509, -432, -51, 321, -163, -134, -161, -442, 167, -43, -265, 201, -1009, -42, -339, -351, -377, -13, -93, 39, -132, -701, -532, -209, -169, -540, 25, 415, 65, 144, -836, -621, -87, -83, 160, 189, -95, -321, -150, -235, -784, -63, -316, -4, -24, -118, 81, 188, -543, -177, -280, -80, -732, 41, -220, -322, -118, -70, -500, -141, -72, -547, 8, 23, -665, 279, -1272, -95, -545, -6, -198, 6, -376, -527, -198, -151, -595, -107, -428, 433, 42, -96, -762, 261, -829, -498, -595, -72, -320, 196, -363, 38, 178, 39, -258, -132, -1, -627, -30, 190, -248, 172, -645, -433, -411, 179, -418, 153, -864, -144, -186, -462, -746, -23, 106, -443, -17, -126, 19, 51, -924, -663, -320, 315, -132, -64, -578, -479, -256, 151, -435, -352, -343, -288, -1, 214, -1024, 316, -1631, 179, -401, -205, -283, 109, 214, -574, -257, 24, -439, -121, -468, -222, -152, 58, -167, 210, -78, -541, -367, 366, -170, 193, 34, 76, 46, -319, -236, -52, -674, -130, 101, -218, -77, 43, -681, -260, -389, 474, -289, 186, -293, -561, -132, -209, 385, 207, -276, -392, 190, -7, -434, -56, -528, -341, -469, 144, -465, 233, -174, -67, 49, -34, -909, -223, 112, -255, -116, -163, -332, 235, -360, 316, -161, -115, 65, 39, -1007, -404, -37, -38, 147, -75, -262, -34, 92, 521, 220, 164, -564, -486, -273, -85, -583, 89, 130, -40, 265, -195, 94, -127, 115, -717, 1, 343, 727, 84, -1105, -299, -81, 315, -334, 107, 177, -528, -232, -6, -375, 159, -327, 331, -73, 215, -549, 121, -554, -368, -296, 194, -399, 101, 399, -579, -17, 60, 122, -41, 101, -488, 18, 78, -71, 173, -743, 211, -296, -132, 16, 57, -576, 281, -115, -52, -634, -169, -162, -455, 48, 321, -165, 294, -457, -711, 45, 202, -87, 335, -550, 24, -53, 43, 916, -60, 184, -103, -68, 531, -678, 46, -152, -189, -113, 105, -391, 129, 547, -610, -45, -216, -122, -159, -66, 90, 89, 139, 254, 224, -1129, -567, -202, 246, -376, -18, -94, -61, 107, -18, 134, -155, -147, 68, 15, 85, -472, 498, -675, -172, -504, 331, -54, 176, 455, -435, -384, -151, 162, 77, 248, -508, -9, 35, -23, 59, -288, -192, -223, 51, -562, 162, -510, 138, 91, -256, -349, -62, 190, -498, 63, 333, 179, 91, -417, -254, -95, 248, 443, -25, 293, -608, -182, -4, -435, 50, -50, 3, 145, -238, -204, 123, -193, -158, 119, -31, -668, 165, 116, -70, -528, 189, -421, -216, 553, -649, -74, 97, 533, 146, -206, -84, -50, 332, -190, 99, -99, -342, 72, 127, 479, 14, 182, -172, 265, 39, -50, 525, -542, -527, -84, -131, -611, -73, 418, 208, 118, -105, -386, -215, 228, -268, 13, 319, 98, 44, -1184, -388, -325, 373, 535, 180, -68, -280, 22, 1, -517, -11, 9, -26, -91, -187, 596, 199, -364, -430, -55, 261, 93, 24, -133, -412, 336, 155, 63, -183, 143, -160, 22, 119, -290, 361, -569, 134, 319, -336, -292, 105, 264, -389, -172, 253, 112, -82, 449, -218, 86, 39, 116, 92, -998, -631, -197, 357, 431, 117, 244, -197, -170, -380, -511, -184, -367, -364, -173, 42, -411, 292, 158, -163, -189, 277, 612, -4, 1102, -166, -38, -419, 36, -3, 143, 248, 277, -69, -169, -112, 54, -236, -103, 395, -229, -73, 42, -101, -148, 169, 93, -83, -160, -465, 41, -462, -418, 371, 61, -304, -261, 490, 120, 229, -276, -721, -263, 162, 713, -104, -91, -203, -135, 977, -64, 277, 90, -222, 112, 29, -402, 117, 31, 166, -161, -15, -139, -59, -516, -643, 19, 70, 509, 65, -978, -356, -182, -25, 139, 243, 695, -480, -190, -318, -552, 319, -123, -255, 56, -262, -95, 31, -511, 78, 44, 132, -22, 107, 246, -529, -42, -60, 330, -156, 198, -603, -76, 314, -90, 217, -565, 483, -240, 37, 695, 67, 183, -121, 175, 99, -399, -170, -79, -166, -43, 84, 238, 235, -28, -500, 2, 452, 528, -62, -226, -334, 58, -334, 480, -159, -277, -516, 49, 51, 96, 332, -732, 325, -8, -16, -253, 278, 810, -454, -473, -191, -122, -13, 379, -243, -112, -123, 248, 378, -422, -702, -431, 692, -68, 71, -23, -534, -273, 220, 338, -62, 375, -208, -107, -27, -721, 9, -577, -387, 135, 214, 377, -56, -3, -607, 80, 925, -82, 118, -443, -163, 89, 295, 148, 140, -692, -236, -308, -161, -827, 281, -291, 276, -122, -564, 428, -94, 1275, -392, -211, 33, -262, 156, 104, -183, -77, 74, 109, 159, -198, -977, 35, -332, -574, -52, -435, -47, 189, -179, 546, 225, -679, -48, -87, 268, -34, 1, -124, -11, -330, -25, 502, -82, 557, -533, 40, 331, -925, 218, 213, -547, -421, -76, 164, 80, -540, 235, -221, 325, -652, -35, 70, -206, -85, -250, -280, 333, 98, -663, -48, -129, 96, 51, 1306, 493, 30, -471, 994, 29, 436, -529, -23, 1001, 376, -144, -197, -79, -559, 365, -2, 7, 374, -274, 33, -511, -370, -25, 164, 604, 252, 286, 675, 10, -513, -536, 72, 140, 1196, 128, 371, -184, 110, -109, 560, -234, 399, -489, -79, 522, 790, 350, -551, 464, 199, -44, -398, 2, 347, -529, -247, 157, 700, -69, 1109, 267, 255, -152, 977, -34, -717, -345, -16, 26, 225, -64, -243, 261, 133, 60, 180, -130, 254, -387, 73, 392, 128, 98, -988, -272, -250, 377, 975, 216, 891, -713, -381, 377, 24, 148, -149, -140, -57, -293, 814, 254, -53, -389, -175, 661, -356, 88, 319, 693, 246, -256, -631, -188, 345, -585, -6, -10, 59, 329, -482, 562, 285, 55, 1185, -32, 260, -613, -40, 380, 1308, -68, 492, -9, -26, 123, 80, 437, -41, -223, -95, 230, 30, 148, 1381, 137, -396, -443, 1198, -107, 26, -414, -106, 680, 760, 165, -493, -434, -185, 79, 1034, 56, 224, -94, -130, -87, 322, 154, 218, 230, 125, -192, 631, -48, -584, -323, -41, 504, 421, 36, 287, -239, -224, 84, 10, 32, 980, -549, 103, 609, 63, 49, -498, 1493, -130, 35, 872, 174, 59, -495, -273, -203, -343, -147, 68, 171, -31, 610, 151, 332, 333, -303, -211, -112, 1427, 209, 602, -37, 420, -222, 557, -298, -281, -53, -130, 628, 1005, 267, -186, -153, -39, -108, -265, 152, 72, -130, 142, 120, -169, -162, 114, -33, 151, 290, 1633, 74, -742, -565, -34, 1280, 333, 154, 217, 920, -321, 192, 999, -19, 127, 70, -107, 6, -510, 74, -473, 287, 98, -258, 677, 148, 1501, -695, -87, 198, 108, 141, 404, 230, -43, 88, 1119, 127, 282, -324, -300, 105, 200, -1, 297, 876, 60, 230, -77, -144, -499, -117, -61, 190, 1131, 12, -957, 56, -162, 73, 240, 128, 871, -477, -204, 231, -144, -33, 298, 448, 110, 91, 80, 58, -220, 123, 144, 15, 955, 95, 187, -152, 20]