# Trace form for 6013.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 429, -1, 4, 431, -2, 12, -1, 3, 433, 6, 0, 28, -6, 1, 20, 439, -2, -9, 20, -26, 0, 0, 4, 32, 427, 2, 40, -7, -2, 16, 4, -25, 48, -2, -6, 459, -2, -24, 4, 6, -6, -12, 16, -20, 2, 16, -16, 44, 429, -71, 8, 18, 2, 44, 12, -3, 12, -22, 0, 28, -22, 8, 3, 475, -28, 80, 4, -6, 16, -6, -12, 31, -18, -82, -24, 48, 4, -56, -56, -54, 469, -38, -24, -16, -16, 0, 0, 8, -42, 38, -14, 12, 60, 28, 0, 156, -22, -1, 8, 445, -18, 40, 20, -58, 8, -6, -24, 104, -10, -28, 52, -31, -14, -48, 64, 2, 14, 32, -10, -52, 405, -38, -8, 44, 24, -11, -36, -149, -32, -8, 16, 160, 8, -20, -36, 54, 26, -144, 72, -14, 48, 76, -92, 459, -84, 46, 4, -26, -70, 148, 24, -36, -74, -20, -112, 152, 70, 12, -20, 50, 0, 59, 12, -74, -28, 8, -16, -16, 311, 40, 36, 36, -38, -36, 17, 64, 96, 74, -52, -18, -14, 14, -72, 0, -88, 104, 28, -136, -12, -164, -80, 112, 6, -10, -88, 431, 62, -64, 52, -59, 44, -34, -6, 0, 116, -8, 36, -10, 8, 32, -8, -118, 36, 92, -168, 172, -24, -106, -52, -32, -180, -68, -16, -35, 499, 54, -140, -92, 26, -128, -24, -150, -46, -58, -56, 40, -52, 46, 28, 44, 6, -29, 44, 114, -2, 156, 20, -80, 76, -224, 96, -35, -16, 32, -108, 575, -6, -232, -6, -116, -86, 4, 48, 80, -36, 24, 48, -128, -26, -52, -68, 50, 40, -90, 36, 80, 42, -184, 72, -18, -106, -40, 88, -84, -116, -20, -2, -229, 459, -64, -64, -158, -158, 12, -108, -334, 188, -170, -60, -52, -20, -68, 48, 184, -88, -50, -52, 36, -168, 108, 72, -68, -78, -18, -78, -116, -50, -128, -96, -302, -56, 32, -84, 591, -50, 52, 148, -90, -16, -196, -36, -4, -58, 136, -40, 8, 6, -99, 196, 60, -132, -184, -1, 36, -20, -90, 4, -372, -110, -25, 16, -168, 18, 240, -16, -110, 72, -28, 8, 110, 441, 106, 100, -66, -192, 340, -60, -68, 102, -228, -46, -180, 78, -76, 248, 60, -48, -96, 12, 176, -16, -128, 20, 452, 60, -54, -16, -238, 14, -384, -20, 3, 24, -38, 36, -220, 26, -172, -8, 465, -38, 132, -208, -102, -22, -74, -80, 8, 18, -80, -124, 96, -60, 0, -184, -22, -120, -136, 140, 64, -10, 0, -32, -38, -206, -228, -46, -144, 100, -188, 112, 104, -106, 96, -332, -230, 12, -260, -112, -320, 433, -228, -120, 28, -68, 68, -196, -79, -6, -603, 20, -122, -76, 336, -12, -428, 82, -282, 104, 12, -50, -84, 8, 98, 120, -66, -116, -322, 52, 140, -204, 16, -52, -196, -120, -66, 22, -168, -40, -292, -264, -334, -12, 407, -168, 76, -276, -306, 104, 6, -232, -224, -180, -252, -32, -124, -40, -580, -124, -308, 52, -380, -112, -47, -48, -272, -200, 88, 78, -180, -22, -545, 108, 130, -76, -356, 12, 22, 72, -116, 18, -390, 100, -244, -28, -248, -76, 0, 357, -176, -48, -4, -160, -24, -148, -272, 52, 110, 0, -400, -30, -148, -244, 274, -4, -112, 48, 6, -218, 164, -204, -560, 40, 34, -40, 332, -106, -168, -20, -38, -184, -242, 36, 304, -72, 24, -73, 460, 50, 100, -84, -588, 52, -62, -192, 471, -110, -83, 184, -68, -4, -428, 180, 318, -148, 18, -8, 28, 200, -156, -112, 102, 206, 452, -68, -130, -40, 300, 60, 296, -234, -20, 212, 64, -190, 108, 96, 76, -96, 36, 24, -414, -78, 108, 44, -68, -62, 152, 104, -396, -192, 244, 58, -32, 377, -238, -352, 258, -292, -6, -48, -168, 264, 174, 176, 28, -6, 4, 244, 114, -134, -412, -168, -40, -72, 124, 128, 75, 196, 226, 32, -204, -86, 244, -72, -414, -282, -60, -52, -388, 106, 120, 188, 236, 16, -346, -112, -36, 120, 72, -204, -36, 46, -70, -4, -59, -38, -512, 34, 48, 364, -148, 44, -144, -76, 1, 8, 240, 152, 208, 64, -354, 4, -20, -144, 196, -136, -6, 300, 87, -374, -208, -108, 292, 156, 34, 18, 60, 70, 36, -296, -142, 44, -64, 68, 128, -172, -12, -184, -190, -12, -309, -16, 6, -238, -40, -220, -14, 853, -420, 152, 0, 198, 304, 20, -284, -248, -34, -112, -148, -144, -106, 240, -120, -212, -258, -376, 92, -4, -408, 68, -372, 140, -264, -388, -140, 134, 252, 32, -384, -18, 360, -38, -244, -284, -96, -372, -236, -182, 48, 24, -106, -218, -180, 276, 126, 60, -286, 244, -180, -12, -40, -40, 439, 260, -320, -204, 106, 36, 440, 38, 0, -24, -142, 284, 0, -114, 56, 192, 201, 22, -98, -72, 240, 8, -20, 60, 98, 222, -106, -196, -138, 80, 0, 184, 136, 304, 66, -30, 516, -82, 620, 116, 140, 432, 0, 72, -64, -70, 652, -88, 270, -2, 416, -144, 92, 192, 140, 216, 32, 167, 50, 208, 384, -314, 368, -5, -370, 328, -94, 16, 288, 2, 46, -88, 68, -202, 116, 1, -116, 88, 52, 80, 740, -124, 422, -336, -52, 156, 856, -8, 214, -54, -196, 24, -288, 102, 648, -76, 64, -130, -9, 84, -396, -284, 460, -208, 104, 0, 48, -192, -124, -52, 252, 20, -83, 64, 198, 24, 745, -92, 340, 64, -102, 196, 236, 76, 124, -370, -68, -172, -244, -344, 462, -192, 262, -60, 276, 124, -60, -220, -450, 492, -112, 102, -128, -164, -146, 66, 84, 20, 214, -176, 580, 424, 534, -50, 4, 68, 260, -110, -236, -4, 364, 136, -296, -280, 40, -232, 196, 500, 114, 54, 310, 96, -464, 196, 84, -2, 544, 241, 744, -192, -86, -36, 120, 232, -109, 368, 48, -100, 348, -8, 616, 72, 254, -170, -32, 108, -26, 182, -176, 92, 36, 108, 8, 0, -512, -240, 60, 148, -132, 312, 32, -172, -128, -102, 504, 532, -268, -24, 504, 364, 60, 68, 84, -132, -91, -50, 156, -164, 152, 250, 400, 12, -156, 218, 118, 176, -608, -42, 18, -32, 223, -202, -116, 260, 326, 0, 284, 408, -880, -114, -96, 556, -162, 8, 312, -144, -56, 184, -86, -14, -162, 20, -372, -328, -340, -86, 48, 244, 608, 278, -48, -12, 16, -40, 275, -300, -184, -106, 332, 272, 108, 160, 108, -20, 472, 82, 444, -194, -608, -144, -12, -116, 66, -12, 0, 352, -692, 52, -106, 212, 160, 32, -268, -72, 526, 417, -228, -464, -136, 102, 172, 412, -62, 246, -510, 2, 120, -4, -112, -96, 272, -476, -24, -440, -70, -158, 660, -76, -404, -56, -82, 616, -148, 18, 0, -136, 66, 120, -172, 80, -150, 0, -336, 4, -224, -226, -16, -84, 152, -152, 25, -120, -216, -212, -218, 92, -572, 28, 392, -316, 88, -56, -272, -280, 198, 72, 404, -292, -633, -378, -598, -136, 521, -16, -160, 360, 628, -520, 136, 384, 500, -112, -64, -276, -310, 104, -80, 132, -582, -364, 340, -104, 32, 232, 960, 212, -228, -10, 480, 73, -674, -24, -10, -304, 280, -436, 76, 52, -582, 226, 176, 124, -288, -40, 248, -48, 380, -242, 746, -116, -164, -556, 40, -188, -424, -252, 534, -34, 336, -182, 580, -216, 140, -82, -64, 136, -296, 492, 328, 692, -254, 427, 110, -116, -320, -606, -356, 0, 12, 2, 390, -364, -672, -158, 228, 16, 868, 352, -352, 236, 0, 80, 114, -348, -16, -298, -57, 548, 94, -12, -420, 60, 154, 336, -232, 452, 18, -140, -440, 180, -232, -92, 20, -62, 594, 548, -244, -112, 32, -160, 2, 280, -452, 46, 904, 128, -674, 0, -50, 360, -292, -448, 352, -560, 56, 38, 128, 352, -236, -212, -236, 68, 431, -126, 36, -228, -82, -258, -8, 224, 88, 220, 146, -240, 884, -56, 704, 76, -370, 96, 478, 144, -100, 56, -308, 304, -476, 118, 558, 40, 56, -130, -364, -168, 212, 260, -176, 24, -610, -88, 12, 532, 368, 0, -200, -44, 288, -530, -148, -340, 4, -80, -498, 48, -22, -164, 668, -66, -347, 532, 526, 60, -100, 100, 98, 184, 324, -202, -616, 20, -4, -144, 256, 292, -220, 31, -404, -652, -7, -22, -504, -376, -308, 322, 200, -14, -292, -262, 288, 396, 70, 60, -76, -60, -96, -292, 468, -368, -544, 56, -200, -416, -542, -148, 40, -284, -221, 264, -602, 276, 568, -32, -496, -28, 76, -158, 480, -336, 914, 326, 214, 276, 740, -508, 182, 708, 268, -2, -244, -460, -514, 276, 36, -240, 216, -18, 1056, 4, 124, 118, 96, 76, 148, -332, 124, -224, 14, -280, 48, 100, 299, -86, 488, 100, 342, 72, -66, 24, -304, 254, 352, 48, -150, 592, 307, -348, -300, 548, 252, -88, 1172, -72, 270, -232, 112, -28, 16, -12, 72, -164, -104, 288, 326, 124, 236, 212, -1232, -26, 156, 92, -34, -272, -52, -264, 160, -246, -412, 0, 334, 46, 68, -136, 8, 212, -148, -72, -244, -68, -36, 164, 596, -104, 600, -256, 428, -140, 620, 224, -396, 152, 202, -240, -156, 288, 240, 4, 552, 247, -34, -96, -556, -334, -314, -412, -124, 332, -408, 312, 352, -16, 584, -184, 1052, -584, 846, 56, 432, 212, -180, -56, 158, 360, 462, 108, -372, -142, 120, -360, -302, -202, -104, -44, 110, -478, 448, -56, -1288, -28, -472, 484, 404, -180, 68, 20, -25, 312, -492, -444, 60, 326, 156, 173, 10, -668, -576, -200, 612, -36, -238, -112, 276, -376, 312, -424, 786, -68, 124, -16, 8, 708, -158, 408, -272, 102, 108, -212, 517, 238, 910, -66, -730, -332, -204, 56, -108, 86, -184, -84, -1124, -278, -284, -600, -106, 48, 390, -176, 1110, -34, -36, -336, -306, -876, -584, -244, 236, -182, 564, 86, -700, -208, 524, -148, 914, -338, 202, 12, -372, 256, 466, 76, 52, -24, 172, -556, -112, 216, 892, 28, -204, -84, 568, 660, -200, -34, 434, -80, -312, 116, -348, -244, 10, 84, -2, -360, -140, 182, -880, -60, -132, 24, -16, 340, 648, -204, 544, -384, 224, 255, 205, -436, 142, -500, 1064, 90, 672, 480, -814, 0, -1092, 2, -283, 148, 266, 414, 384, -92, -1030, -196, 92, 344, 352, -136, -558, -196, -110, -98, -60, -104, -300, -12, -206, -6, 836, -356, 3, -536, -148, 362, 40, -244, 604, -268, -160, -180, 660, 168, 300, 160, -666, -446, 2220, -200, 380, 498, -216, 132, -572, -174, 288, -152, -366, 632, -278, -156, 104, -260, 52, 92, -564, 54, 754, -548, -36, -44, -336, 76, -856, 1064, 286, -112, 459, 348, 328, -296, -680, 92, 136, -80, 88, 50, 512, 32, -60, 210, 8, -172, -788, -56, 648, -168, 1472, 32, -60, -332, 484, -142, 8, -632, -95, 348, 388, -116, -310, 204, 804, 10, -855, 106, -324, 72, 84, -914, -232, -320, 534, 616, 392, -452, -264, -2, 604, -540, 812, 544, 174, 460, 140, -404, -128, -12, -484, -434, 644, 82, -610, -88, -752, -96, -478, 528, 260, 316, 572, -272, 476, -232, -256, 48, 508, -104, -570, -300, -612, -220, -320, 749, 598, -256, 68, -332, -4, -112, -210, 748, 478, -392, 668, 102, -24, 260, -110, 176, -36, -204, -612, -32, 124, -228, -454, 306, 646, -856, 60, 70, -296, -156, 1048, 1072, -238, -14, 396, -84, 1240, -304, 84, 410, 8, -184, -364, -576, 740, 256, -888, 24, -220, -504, -692, 70, 200, -408, -306, 632, -298, -692, -610, -596, 948, 4, -336, -150, 80, -60, -44, 764, -94, -400, -356, -80, -93, -72, 424, -36, 188, -192, -58, 512, -284, 60, 168, -406, 4, -1068, 903, 432, 372, -206, -644, -104, -476, -160, 92, -556, -236, -176, -564, 74, -1076, -376, 334, -64, -126, -704, 344, -384, 1072, 560, 6, 220, 334, -72, -244, -8, -532, -162, -776, 304, -124, -580, -924, -238, 328, -520, -868, 748, -48, -104, -1204, 56, 88, -1052, -484, -392, 112, -356, -328, -872, -388, 412, -1236, 102, -458, -228, -592, -282, -220, -452, -748, 236, -136, -176, -224, -604, -696, -540, -624, -6, 508, -140, -32, -660, -420, -328, -279, -294, 390, 72, -540, -100, -164, 141, -572, 1003, 274, 276, -548, -490, 192, -180, -384, 456, 358, -932, 718, -48, -248, -388, -640, -352, 1098, -932, -210, -460, -124, 100, -1113, 1428, -70, -82, -104, -318, -188, -396, 566, 194, -12, 508, -84, 126, 312, -360, -260, -16, -986, -448, 640, -74, -1356, -132, -82, 468, 376, -8, 548, 188, 788, -152, -144, 410, 632, -508, 394, -444, -58, 200, -834, -422, 816, 628, 232, 84, 88, -192, -260, -270, -154, -184, -448, 40, 60, -776, -68, 908, -870, 16, -556, -728, 716, -372, 516, 138, -56, 192, 607, -116, 1060, -116, -296, 120, 286, -416, 736, 96, 4, -48, 68, -310, 508, 504, -44, -220, 572, 28, -376, 286, 382, -244, -76, 2, 138, -552, -680, 544, -684, -252, 484, -16, 624, 240, -134, -718, -1292, 124, -20, -596, 188, -436, -1472, 254, 40, -64, 26, 88, 840, -12, -652, 514, -168, -376, -676, -532, 124, 504, 754, 48, 1135, -480, 424, 332, -352, 596, -312, 460, 690, -536, 664, -140, 440, -18, 194, 364, 390, -384, 234, 276, -230, -144, 148, -176, -868, -304, -796, 2, -112, 452, -1316, 509, 404, 376, -120, 58, 1208, 488, -242, 576, 182, -14, -1676, -602, 928, -16, 640, -426, 252, 100, 618, 44, -536, 192, -544, -96, -130, -460, 176, -98, -204, -336, 42, 244, 96, -232, -660, -60, 276, -72, -514, 524, 12, 200, -4, -1380, 16, -68, 48, -376, -74, 36, -1100, -96, 60, 488, 260, -32, 1260, -504, -167, -478, -808, 676, 1068, -222, 1148, -90, 154, 736, 320, 112, -44, -30, -52, -340, -192, -216, 36, 272, -472, -64, -764, -152, -388, -174, 700, -116, -166, 482, -60, 664, -568, 432, -420, -16, 1395, 72, -158, 624, -930, -230, 32, 256, 873, 486, 212, 1052, 168, -28, 316, -308, -368, 404, -1136, 156, -116, 800, -288, -408, 16, 188, -700, -46, 232, -138, 716, 116, 882, 1788, 32, -68, -748, -582, 44, -624, 18, 20, -20, 748, 712, -570, 48, 340, 44, -212, 472, 540, 292, 282, -712, -34, -748, 732, -790, 72, 500, 288, 127, 268, 358, 424, 664, -268, -366, -128, -488, 432, -88, 310, -512, -4, -108, 602, 164, -12, -754, 604, 582, 56, -1100, -358, 304, 408, -516, 462, -168, 276, -896, 400, 232, 140, 484, 429, 730, 540, 54, 312, 1112, 788, 4, 624, -1120, 256, -660, -92, -344, 112, 1180, 146, 200, -532, -14, 786, 166, 48, 132, 438, 190, 532, 140, -236, -256, 176, -464, 200, 466, 908, -276, -294, 484, -72, -732, 206, -224, -18, -1224, 168, -424, 156, -1366, 608, -71, -172, -370, 100, 284, 444, 584, 336, -134, 832, 20, 924, -588, -396, -276, -88, -1374, 352, -202, 408, 1092, -122, 72, -378, 350, -240, 304, 346, -176, -232, -748, 1252, 500, -72, -776, 8, 76, 164, 692, 632, -348, 412, 162, -166, -408, 308, -320, -36, 966, 8, 499, 136, -548, -112, -522, -728, -300, 172, -676, -516, -256, 648, 182, 72, -248, 8, -428, 412, 100, -32, 234, 238, -108, 400, 224, -238, 380, 91, 56, -178, -276, 432, -200, 20, -170, 1088, 830, 748, 176, 416, 508, 176, -584, -448, -2212, 328, 736, 380, 18, 54, -424, -488, 172, 724, 202, 228, -660, -594, 264, -884, -302, 16, -32, -640, -1014, -168, -396, 852, -664, 96, -84, 12, -808, 96, 268, -232, -264, -16, -402, 196, -636, -80, 536, 134, 536, 660, 776, 344, 560, 408, 52, -292, -1149, 138, -426, 152, 760, 2, -24, -608, -58, 1183, -1246, -956, 112, 312, 704, 740, 832, 154, -1420, -70, -82, -392, -112, -164, -504, 182, 396, 16, -8, 198, -4, -200, -526, 136, 580, 144, -178, -340, -620, 528, 148, -374, 884, 476, 696, -510, 216, -92, -1832, -108, -618, 120, -446, 102, 44, 428, -28, 400, -62, -564, 252, 84, 708, 1092, 360, 726, 816, -488, 0, 480, -148, -244, -1246, -708, -572, -160, -208, -324, -584, 40, 360, 396, -24, 64, -976, -326, 256, -204, 556, -60, -1514, 76, 604, 1132, 320, 36, -420, -330, 900, 240, 366, -190, 336, 12, -1070, 452, -904, 468, -608, 120, 18, -284, -559, -688, -1380, 972, -402, 68, 72, 532, -1296, -142, -436, 40, 214, 480, 788, -32, -548, -68, -194, -62, 856, -322, -536, 124, -988, 558, 304, 196, -576, 336, -64, 444, -36, 12, -455, 1064, -316, -102, 716, -596, -3, 296, 322, 224, -1376, 106, -628, 88, 628, 434, -206, -364, -516, -196, -74, 20, 1772, -160, 330, 528, 772, 64, -1184, -200, -30, 96, 1332, -160, -276, 636, 124, 680, 948, -110, -1056, -166, -120, -316, -224, 296, 180, 184, -304, 840, -652, 54, -128, 228, -1574, 12, 532, -76, 320, 670, 380, -16, 159, 262, -996, 92, -730, 1320, 1328, -122, -796, 151, 388, -448, -556, -156, -120, 624, 184, 98, 314, -216, -636, -8, 920, 544, 686, -222, -214, 292, 26, 260, -440, 84, -680, -378, 516, -202, 390, 382, 1436, 200, -1064, 1152, -22, 444, -800, -848, -432, 156, 702, -96, -764, -448, 432, -658, -244, 84, -192, 194, -198, -80, 896, -170, -1700, 14, -56, 1160, 34, -68, -928, 24, -108, -1444, -724, -1118, 632, 480, -976, 132, 724, -388, -2994, 264, 724, 548, 216, -124, 360, -124, -317, 1420, 842, 0, -536, 196, -508, 740, 566, 406, 224, -548, -202, 196, -148, 604, 8, -80, -190, -1192, -940, -278, -1480, 264, 434, 280, 412, 244, 703, -42, 108, -80, 76, 124, 484, -736, 196, -270, 284, 240, -672, -928, -248, 548, 566, 128, 400, 576, 492, 1112, 192, -160, 28, 284, 176, 424, -8, 280, -468, 34, -1036, 816, 716, 180, -1134, 150, 84, -88, -1000, 238, 532, 8, -1028, 104, 294, -476, -144, -800, -1272, -12, -482, 850, -1096, -144, -164, -1116, 700, 182, -496, -432, -266, 40, 324, 1000, -496, 180, -850, 876, 390, -544, -1712, -22, -1160, 308, -556, 4, -72, -136, -12, -310, 68, -148, -1772]