# Trace form for 4013.2.a.c, downloaded from the LMFDB on 24 April 2024.
[0, 176, 11, 53, 191, 5, 19, 46, 36, 193, 43, 18, 95, 95, 2, 36, 225, 35, 46, 127, 4, 32, 60, 35, 26, 207, 19, 191, 87, 16, 28, 93, 73, 70, 45, 73, 206, 64, 35, 72, 139, 19, 35, 261, 11, 12, 58, 40, 130, 234, -14, 76, 263, 17, 28, 170, -10, 60, 52, 69, 37, 110, 71, 101, 250, -1, 43, 190, 48, 45, 14, 9, 98, 182, -23, 219, 197, 25, -26, 105, 20, 236, 107, 130, 38, 73, -24, 171, 165, 40, 45, 182, -4, 23, 98, 30, -2, 168, 82, 50, 250, 20, -2, 216, 30, 69, -12, 135, 300, 49, 0, 30, 136, 28, -14, 239, 37, 232, 174, 8, -40, 234, 13, 184, 158, -57, -40, 267, 101, 87, 24, 151, 97, 149, 3, 18, 79, 13, 22, 307, 1, 38, 104, 69, 206, 58, 15, 248, 58, -20, 75, 118, 69, 118, -54, 104, 93, 158, -52, 25, 234, 19, 67, 330, 0, 27, 47, 143, 14, 201, -38, 301, 406, 58, -37, 111, -100, 14, 210, 89, -118, 93, -33, 148, 62, 17, -39, 479, 26, -22, -74, -48, 118, 85, -1, 208, 197, 20, 44, 128, -78, -16, 57, 154, -65, 145, -66, 43, 509, -31, -237, 266, -92, 45, -25, -20, -6, 245, -69, 147, 221, -66, -44, 412, -188, 146, -86, 218, -5, 102, -40, 37, 78, -9, -72, 127, 40, 60, 143, 15, -174, 93, -36, 516, 204, -82, -44, 285, 42, 19, 24, 123, -54, 82, -83, 31, 215, 65, -153, 459, -195, -4, 25, 78, -81, 32, -156, 103, 182, 7, -173, 248, -66, -17, -78, -7, -69, 171, 38, 76, -134, -46, 31, 600, -140, -68, -56, 15, 31, 163, -268, -20, 348, -21, -252, 106, -184, 44, 64, 53, 6, 29, -180, 183, 157, -45, -157, 764, -148, -52, -74, 1, -288, 171, -201, 277, 16, -84, -83, 76, -165, -29, 95, 13, 27, 247, -145, 201, 121, -69, -434, 345, 21, -95, -62, 40, -268, 216, -87, 103, -2, -16, -126, 197, -213, -163, -35, 246, 113, 165, -270, 147, 223, -14, -78, 443, -35, -206, 15, -14, -105, 235, -33, 413, 16, -76, -272, 442, -165, 12, 94, 55, -211, 179, -146, -57, 156, -21, -213, 171, -176, 52, -40, 53, -243, -98, -260, 565, 373, -121, -287, 173, -13, 81, -122, 118, -339, 113, -43, 18, 203, -120, -117, 356, -180, -114, -47, 65, -160, 204, -358, 75, 351, -45, -230, 158, -92, 90, 12, 109, -236, 44, -114, 109, -165, -3, -68, 441, 18, -193, 83, -58, 272, 264, -235, 62, -92, 65, -115, 261, -155, 45, -125, 179, -186, -35, -82, 148, 94, -92, -352, 312, -212, -13, -74, -39, -441, 193, -15, 71, -8, -17, -405, 220, -115, -234, -121, 291, 444, -28, -396, -104, 405, -118, -420, 608, -275, -144, 28, -14, -486, 59, -194, 110, 125, -104, -200, 179, -88, -84, -76, 111, -51, 220, -309, 78, 34, 28, -273, 171, -429, -119, 129, 147, -381, -116, -327, 330, 538, -109, -334, 98, -99, 74, 18, -140, -159, 152, -263, -59, -76, -114, -385, 1171, -28, -155, -199, -75, -120, 187, -257, 54, 102, -161, -373, 263, -157, -4, 109, -110, -514, -66, -23, -101, -64, 13, -598, 584, -228, 143, -159, -188, -325, 208, -197, -118, 206, -188, 23, 195, -312, -88, -54, 364, -405, -24, -229, 109, 166, -76, -380, 235, -347, 57, -237, -130, -132, 228, -46, 204, -171, -240, -523, 238, -209, -240, -69, 216, 95, -18, -452, -122, -167, 2, -293, 121, -454, -116, -30, -109, -351, 188, -190, 240, -91, -216, -286, 666, -35, -276, -83, -52, -196, 152, -101, 7, -352, -91, -316, 225, -139, -122, -38, 54, -210, 102, -239, 90, 122, -162, -635, 61, -302, 245, -255, 115, -246, 412, -431, -249, 66, -125, -393, 319, -106, -102, -184, 152, -290, 39, -440, 36, 271, -143, -355, 63, -203, 261, -252, 32, -432, -12, -265, -68, -60, -345, -484, 719, 27, -99, -233, -215, -533, 330, -473, 246, 12, 70, -40, 223, -507, -216, -110, 11, -64, -94, -436, -135, 396, -170, -623, 181, -228, -199, -228, -183, -494, 48, -118, 496, -322, -195, -606, 437, -500, -58, 19, -39, -550, -350, -264, 41, 299, -97, -528, 346, -169, 18, 7, -122, -735, -114, -245, -58, -78, -341, -586, 534, -434, -8, -277, 86, -127, 260, -272, -433, -212, -123, -168, 285, -125, -340, -60, 19, -413, 72, -524, 332, 524, -202, -460, 93, -183, -295, -281, -24, -781, 243, -280, -277, -404, -214, -467, 797, -613, -287, -181, -163, -23, -28, -470, -82, -129, -169, -424, 271, -319, -39, 16, -155, -455, -72, -407, 190, -282, -251, -587, 661, -307, -265, -214, -216, -280, -46, -402, -213, -132, -111, -327, 41, -453, -151, -196, 76, -607, -185, -562, -104, 107, -180, -411, 428, -274, -230, -524, -178, -770, 188, -151, -92, 64, -319, -144, 40, -420, -284, -410, 209, -825, 224, -583, -285, 688, -250, -647, 320, -454, -339, -54, -249, -1021, 78, -411, 194, 9, -434, -501, -18, -609, -55, -394, -309, -375, 231, -434, -290, -537, -99, -832, 671, -805, -369, -187, -166, -394, 44, -282, 180, 181, -248, -791, 168, -446, -39, -229, -18, -465, 58, -355, -440, 116, -256, -540, 366, -699, -391, -237, 70, -488, -178, -584, -192, 499, -232, -714, 38, -974, -208, -361, 43, -707, 12, -589, -131, -593, -324, -588, 684, -11, -230, -283, -244, -801, 29, -569, -304, -223, -441, -484, 24, -524, -297, 103, 163, -838, -104, -625, 8, -120, -368, -921, 464, -571, -83, -130, -442, -794, 393, -600, -179, -383, -186, -603, 631, -398, -310, -411, -216, -135, -204, -624, -340, -6, -98, -861, 148, -579, -153, 92, -299, -1179, 37, -482, 264, -173, -254, -843, 427, -637, -433, -201, 37, 131, -53, -197, -201, 49, -334, -414, 604, -860, -347, -223, -118, -855, 115, -636, 23, 270, -359, -840, -49, -441, -269, -620, -334, -811, 359, -487, -270, 95, -439, -568, 569, -285, -502, -397, 185, -550, -40, -587, -109, -185, -206, -642, -225, -377, -83, 588, 31, -690, -24, -545, -329, -11, -350, -761, 522, -223, -315, -292, -239, -866, -32, -595, 84, 480, -282, -236, 227, -524, -52, 330, -64, -262, -3, 25, -205, -212, -122, -173, 130, 24, 254, -175, -226, -613, -30, -92, 248, -147, -334, -97, 770, 5, -330, -442, 488, -94, 47, -293, -407, 11, -103, -46, 743, -324, 23, 15, -136, -332, -150, 5, 259, 186, -280, -328, 84, -250, 27, -134, 134, -288, 253, 128, -254, -154, -165, -546, 314, 32, -290, 346, -81, -241, -55, -451, 413, 144, -118, -596, -65, -130, -193, -6, -106, -141, 411, -97, 107, -117, -276, -156, 991, -332, -653, -139, 101, -154, -49, -105, -187, 785, -224, 273, 86, -302, -185, -2, 150, -577, -150, -187, 229, 156, -399, -425, 936, -18, -233, 60, -128, -43, 229, 31, -261, -122, -177, 241, -83, -528, 21, 171, -16, -250, 160, -219, -38, 543, -300, -233, 413, 379, -126, 215, -447, -792, 122, 203, 486, 34, -20, -78, 353, -613, -155, 210, 114, -209, 24, 73, 56, -34, -112, 231, 580, -456, -88, -30, 40, -122, -176, -343, 136, -25, -302, -133, 690, -90, -346, 191, -255, 477, 94, 211, -483, -55, -18, 142, 89, 160, -394, 360, 57, -508, 152, -47, 124, 1114, -68, 183, 116, -400, -271, 46, 48, 28, 191, 118, -58, -202, -401, -93, 638, 464, 421, -356, -228, -367, 286, -141, 444, 458, -73, 103, 105, -408, -366, 0, -15, -35, -124, 335, -26, 23, -476, -444, 1026, -204, 135, 251, -203, 615, 721, 39, -249, 12, 34, 234, 121, 4, -420, 56, 371, 553, -151, -303, -155, 436, -91, 221, 677, -522, -206, 33, -306, 7, 300, 379, 27, 533, -98, -231, 196, -161, -147, -436, 153, -181, -277, -279, -259, 371, -166, 316, 628, 177, 86, -139, 89, -391, -136, -97, 500, 685, -246, 146, 358, -79, -96, -237, -339, -237, 459, 698, -346, -137, -169, 22, 503, 349, -333, 440, 228, 204, -172, 25, 826, 422, -68, -120, -111, 203, -359, 669, 140, -267, 152, 312, 90, 94, -80, 281, 1232, 247, -350, -368, -146, 413, 180, 259, 85, 364, -469, 548, 700, -589, 39, -16, 351, -487, 107, 427, 281, -151, -278, 71, 665, 985, -80, 240, -301, -7, 176, 107, 129, 169, -162, 308, 167, -476, -296, 286, 661, 1262, 187, -64, 169, 81, -113, 803, 138, 208, -83, -14, 126, -50, -22, -109, 607, 1084, -193, -145, 256, 1228, 60, -68, 746, -433, 175, -90, -122, 380, 0, 136, 347, -348, -59, 601, -55, -386, 7, 589, 585, 162, -165, -389, 854, -66, -250, -242, -11, 996, 332, 397, -311, -2, -201, 533, 787, 615, -506, 608, -270, 467, -177, 23, 509, 682, -141, 545, 47, 435, 37, 126, 69, -40, 242, 324, -193, 305, -71, -65, 1064, -46, -273, -217, 46, -476, -180, 223, -187, 395, -271, 1251, 171, 336, 48, 382, -103, 681, -21, -125, 457, 652, 202, -92, 558, 222, -149, -26, -105, -326, -2, 819, 435, -63, 108, -239, 385, 1, 48, 1172, 262, 1039, 283, 120, -296, -73, -133, 714, 854, 429, 156, 339, 197, 420, 24, -458, 678, -766, -217, 1320, 467, 189, -275, -114, 584, 481, 205, 1618, -238, 643, -138, -134, 35, -376, -41, 131, 121, -455, -232, 231, 298, 718, -308, -612, 405, 311, 254, 85, 53, 888, 311, 153, -101, -446, 119, 522, 547, 109, -373, 345, -117, 294, 35, 708, 425, 502, -287, 396, 25, 551, -362, 138, 198, 269, 289, -446, 540, -31, -240, 866, 1607, -20, -305, 138, 81, 271, 169, 732, 419, 602, 328, 80, 292, -403, -108, -131, 275, 744, -82, 223, 42, 422, -409, -253, 1341, 387, 63, 516, -100, -79, -79, 837, 234, 560, 14, -463, 57, 333, 266, 476, -7, 215, -232, 141, 716, 1100, -144, 255, 495, 203, -473, 815, -12, -679, 136, 274, 109, 101, -277, 1494, 626, 88, -287, -117, 789, 644, 36, -148, -134, 431, -280, 429, 707, 333, -83, -94, 67, 434, -219, -131, 1232, 287, 337, -46, 578, 360, 109, 517, -184, 739, 325, 1229, -212, -190, 25, 248, 860, -279, -366, 195, 67, 1267, -277, 149, 650, 126, -363, 394, 192, 902, -210, 282, 181, -1050, 91, 392, 1, 374, -131, 470, 670, 512, 0, 25, -142, 239, 9, 119, 0, 1412, -185, -59, 137, -545, 90, 201, 654, 919, -152, 542, 186, -350, 7, 57, 901, 705, -124, -232, 171, -59, 318, 287, 188, 233, 6, 372, 473, 689, -200, 809, 288, 1223, -337, 469, 478, -430, -400, 296, 121, 706, -162, -246, -350, -130, 586, -336, 140, 76, -146, 913, 447, 1113, -603, -483, 39, 851, 308, 220, -431, 351, -41, 1194, 815, -313, 349, 443, -292, 112, -263, 1079, 566, -39, -327, 423, 24, -157, -42, 611, 248, -373, -272, 281, -128, 285, -133, -103, 702, 1140, -237, 824, 320, 38, 30, -760, 587, 375, 72, 731, -248, 123, -412, 388, 1, -250, 517, 239, 73, -203, -332, -207, 1145, 1228, 112, -36, 11, -776, 279, 526, -322, 462, -259, 419, 208, -232, -164, 872, -49, -374, -49, 207, -283, 132, -406, -262, 1328, 464, -247, 75, -289, 1975, -222, 1536, 770, -325, -473, 141, 291, -546, -364, 399, 552, -56, -307, -104, 39, 650, -169, -636, 226, 442, -213, 335, -145, -367, -40, -198, 916, 1250, -134, 895, 383, 232, -515, -407, 315, -403, -285, 76, -196, -51, -159, 1471, 415, -331, -317, 203, -44, -84, 21, 825, 403, 65, -602, -587, 492, 170, -322, -649, -276, 1419, 261, 297, -55, 26, 296, 583, 248, -150, -605, 837, -28, -34, -401, 30, 433, 304, 204, -162, 165, 363, 207, 109, 72, 144, 120, 423, -43, 78, -609, -153, 1217, 1028, 14, -188, 79, -20, -272, 1428, 668, 778, -124, 242, -87, 41, 118, -275, 163, -331, -321, 114, -110, 870, -517, -157, 1424, -104, -694, 305, 227, 414, 359, -232, -371, -93, -175, 1525, 405, 249, 13, 371, 227, 1613, 35, 234, 517, 308, -127, 145, 330, 356, -304, 142, -88, -1328, 135, 871, 607, -5, -555, 427, 196, -734, 160, -21, 432, 827, 111, 606, -602, 1211, -435, 421, 268, 233, 324, 127, 73, 647, -332, 249, 497, 738, -91, -487, 659, -121, -337, 127, -10, 420, -65, 1390, -249, -153, -125, 237, 274, -369, 48, 356, 249, -49, -110, -305, 620, 608, -164, 858, 253, 1397, -411, 1, 463, -197, -85, 222, 53, 8, -238, 1134, 1275, 56, -751, 290, -134, -52, 396, 461, 58, 1855, -547, 957, -2, 351, -116, 403, 205, 24, -453, 886, 243, -101, -289, -263, 1636, 267, -11, 299, -645, 55, -215, 108, 104, 157, 398, 486, 747, -256, -730, 731, 124, 826, -130, -61, 181, 108, -374, 1050, 932, -304, -481, 294, -119, -669, -154, 464, -93, 634, -554, 936, 350, 1239, -291, -241, 536, -33, -129, -249, -241, 858, -324, 939, 1439, -132, 0, 442, 7, -84, -122, 184, 566, 101, -686, -264, 180, -187, -242, 228, -144, 866, -75, 758, -75, -663, -415, -575, 277, 2648, -541, 55, 142, 80, -256, -242, 1636, 569, -411, -662, 44, -402, -165, 596, -149, 68, 679, 8, -374, 882, -330, 1143, 606, -97, -590, -301, 214, 691, -390, -726, -449, 664, -374, -94, 73, -294, -342, 752, 132, -581, -430, 1114, 354, 757, 25, 131, 494, -90, -205, -301, -713, 508, -278, 1013, 490, 416, -365, 340, 413, 252, -495, 187, 690, 1213, -372, -46, -374, 78, -335, 41, 69, 968, -473, 192, -246, -361, 591, -464, 196, 18, -419, -86, 829, 463, -361, -82, 197, -124, -259, 1696, -178, 1045, -330, 590, 822, -411, -617, 684, -126, -366, -376, -297, 268, 1194, -278, -437, 776, -367, 242, 63, -236, 820, -89, 129, -341, -796, -64, 230, 1017, -206, -164, -193, -76, 973, -504, 663, 200, 226, -178, 1015, -20, 1353, 166, 187, -6, 98, 24, -646, -396, -160, -355, 255, 1462, 535, -777, 81, 133, -676, -112, -315, 179, 141, -215, 2229, -178, -419, -278, 361, 278, 53, -202, 443, -600, 526, -616, -988, 976, 1049, -263, 161, -307, 444, -470, 475, 914, -613, -438, -319, -37, -360, -226, 861, -194, -69, -471, -342, 374, -620, 372, 824, 968, 493, -666, 645, -241, -114, 16, 422, -564, -153, -466, 2, 1037, -589, -1007, 60, 76, -14, 45, 345, -93, 257, 36, 1291, 981, 8, 136, -69, 203, 27, -260, 371, 15, 1018, -414, -70, 168, 146, -618, -32, 87, 97, 151, 1161, -411, -738, 68, 859, 366, -578, -520, 629, -78, 1180, 100, -706, 1469, 1237, -459, -729, 46, 1427, 45, -144, 275, 347, -383, 231, 257, -798, -460, -334, 586, 187, -821, 562, 287, -96, -259, 578, -684, 634, -283, 663, 290, -492, -362, -338, 520, 2891, -143, -140, -102, 251, -652, 411, 1583, 428, -273, 317, -422, -835, 54, 972, -1020, -31, 100, -70, -132, 16, -338, 70, 276, -646, -436, -185, -91, 32, -357, -35, 391, 475, -540, 559, -234, -138, 694, 385, 832, -317, -778, 1208, 224, 1524, -576, -252, 40, 262, -276, 232, -371, 1044, -714, 277, 489, -312, -421, 80, -485, -318, -19, 1685, 733, 301, -685, -221, 408, -761, -278, 1205, 199, 610, -152, 169, -571, -646, 40, 496, 193, 417, -929, 627, 35, -41, -250, -517, 1348, 965, -474, 396, 390, -700, -902, 36, -173, -1098, -129, 504, 211, -367, -627, 42, 399, 1316, -7, -521, 10, -685, -297, 266, 30, 579, -506, 660, 76, 1312, -416, 150, 621, -438, -536, -226, -590, -426, -433, -352, 990, -48, -156, -144, -299, -245, 466, 686, -47, -291, 7, 121, 28, 623, -814, 318, 927, 1117, -497, -399, 350, 744, -205, -1201, -248, 332, -736, 621, -737, -751, 327, -218, -2, -301, -188, 1600, 482, -182, -377, -710, -214, 1231, -507, 181, -257, -314, -531, 1302, 1518, -207, -451, -230, 348, -610, -299, 1126, -66, 184, -892, -677, 470, 477, -107, 62, 139, -556, 193, 641, 115, 2, -295, -60, 532, -479, -395, 60, -116, 140, -744, 475, 716, 558, -291, 817, -311, 157, -562, 903, 401, 688, 202, 46, -732, 239, -446, 127, 964, 1146, -942, -532, 1, -790, -491, 663, -116, 875, -360, 647, 446, -1201, 41, -271, 135, 286, -184, 470, -18, -46, -346, -445, 1643, 114, -693, -92, -173, 1529, -420, 189, -524, -270, -756, -204, 1105, 720, -691, 278, 76, 1163, -650, -488, -128, -593, -209, -290, 27, -74, -168, -591, -205, -1118, -186, 74, 811, 216, -625, -782, 338, -542, -1104, 653, 740, -777, -208, -145, -547, 1068, -389, 1478, 654, -538, -297, -209, -537, -1032, -577, 204, 1090, -192, -203, -680, 265, 175, -76, -76, -104, 249, -461, 1569, -381, -722, -392, -480, 495, -643, -701, 527, -411, 512, -328, -382, -70, 369, -273, -176, 70, 271, -484, -293, -433, 1060, -270, -296, -19, -1282, -457, 598, 1549, 284, -1053, -172, 170, -2100, -117, 817, -83, 670, -79, 132, -475, -437, -327, -191, 180, 827, -675, 106, -344, 875, -590, -1422, 1361, 482, -19, 499, -340, -679, 295, 797, 356, -1376, -195, 932, -370, 26, -1202, 675, 102, 1102, 106, 227, -191, 57, -724, 311, 127, -130, -543, 58, -64, -1228, 24, -86, 499, 145, -495, -17, 557, 492, -590, -292, 442, -121, -176, 128, -762, 870, -367, -268, 578, -705, -508, 27, -470, -941, -502, 1196, 291, 902, -906, 206, 644, 163, -158, -192, -497, -574, -356, 725, 207, -1223, -52, -456, 794, 639, -111, 646, -41, 174, -686, -932, 1, 1357, -450, -709, 178, -968, -1385, 351, 367, -1076, 162, -338, -603, -765, -766, 2572, 553, 863, -744, -643, -195, 1021, -321, -76, -70, 244, -305, -354, -242, 1074, -111, 155, -64, -727, -471, 22, 176, -329, -697, -772, 1776, -650, -479, 846, -609, -882, 47, 1955, -48, -307, -487, -897, 246, 198, -656, -105, -18, 586, -922, -292, -35, -208, -913, -1081, 222, 1841, -846, 168, -484, -1676, -75, 157, 1141, 451, -653, -559, -179, -610, -764, -355, -67, 21, -397, -133, -317, 1248, -451, 1163, 106, -503, -1078, -403, 409, 155]