# Trace form for 8021.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 617, 3, 4, 623, 2, 0, 0, 15, 621, 10, 12, 28, -1, 12, 16, 647, 14, 39, 20, 30, -8, 8, 20, 24, 603, -3, 28, 0, -2, -36, 16, 23, 8, -2, 16, 623, -2, -8, 4, 6, 30, 0, 12, 56, 42, 24, 20, 72, 589, -7, 28, 1, 10, 16, 8, 8, 20, -38, 8, -12, -10, -16, 36, 683, 2, -56, 52, 30, 20, -84, 20, 95, 2, -38, 96, 92, 24, -8, -8, -14, 625, 10, 16, -16, 16, 28, 68, 52, -38, 6, -8, 4, -72, 16, 12, -32, -18, -21, 72, 641, 2, -60, 0, -15, -132, 62, -4, 72, -54, -200, 8, 128, -34, 44, -28, -2, 3, 44, -20, -140, 605, 78, -56, 124, 36, -32, -16, 63, -64, 18, 60, 16, -24, 12, 48, 46, 30, -176, 64, 16, 0, 76, -12, 611, -68, -2, 52, -10, 62, -128, 36, -112, 38, 48, -68, 28, 30, -68, 4, 50, -20, 111, 112, 114, 36, 72, 24, -180, 617, -120, 152, 104, 50, -104, 80, 284, 20, 10, 72, 70, -26, -24, 0, 136, 8, 4, 32, 16, -4, 72, -32, 232, -34, 58, -24, 651, 62, 24, 64, 49, 116, 38, 44, 136, -108, 28, 44, -15, 56, -156, 36, -130, 24, 72, -56, 68, -144, -34, -56, -56, 6, -268, 84, -4, 543, 30, 8, -24, -26, -32, -188, -26, -46, -23, 160, -104, 100, -72, 20, -88, -42, -53, -52, 82, 234, 68, -12, -68, -32, -76, -104, 40, -48, 24, -188, 623, 18, -92, 8, -18, 10, -120, -144, -136, 0, 116, 80, 140, 106, -180, -64, -130, -24, 6, 36, 132, 82, -268, 40, -328, -34, -356, 72, 204, 24, 4, -180, 251, 655, -112, -16, -150, 114, 104, 20, -26, 48, -114, 16, 280, -4, 48, -168, 204, -80, 18, -108, -28, 92, -84, 68, -48, 2, -2, 108, 64, 78, 112, -48, -210, 76, -184, -24, 535, 1, -284, -84, 34, 0, 212, 156, -104, 138, -40, -104, 44, -10, 3, 12, -40, 148, -28, 180, 100, -140, -142, -60, 128, 74, 136, 16, 8, 90, 232, -80, -118, -20, -184, -196, 94, 509, -178, 232, -56, 116, -148, 84, 48, 178, 76, -136, -240, 66, -156, -168, 52, 2, -48, 136, -152, -108, -32, -160, 36, -40, 78, -104, -62, 86, 56, 124, -117, 148, 246, -204, 204, -14, 108, -172, 933, 38, -192, -16, 58, 138, -144, -84, -328, -82, -384, -172, -156, -4, -68, -112, -63, -164, -124, 40, -136, 66, 308, -80, 146, 18, 4, 56, -176, 40, -100, -212, 304, 34, -280, -272, -90, -60, 60, 40, -392, 337, 42, 92, -56, -136, -132, 4, 168, -126, -259, 12, -166, 48, 176, 24, 176, 34, -274, 12, -244, 126, 148, -12, -154, -100, 150, -204, 61, -60, 112, -12, -68, 40, -36, 132, 12, 30, -264, 148, -612, -14, -146, 16, 687, -168, -44, 48, -82, -44, -350, 156, -356, -116, 4, -272, 84, 44, 24, 228, -104, -112, -108, -212, 72, -148, -312, 4, 112, 6, -68, -232, 315, 28, 162, 88, -312, -112, -276, 120, 58, 78, -158, 32, 216, -136, -120, -132, -80, 661, 8, 8, 228, -30, 216, 140, -8, -128, -82, 176, 84, 54, 104, 188, 250, -120, 64, 200, 202, 38, -236, 0, -160, -40, 134, 124, -24, 90, -364, -36, -44, 208, 142, -88, -88, 248, -168, 100, 84, -2, 4, 248, -16, -56, -164, 52, 835, 42, 25, 196, -220, -104, 296, 208, -94, -54, -146, -76, 16, 32, -328, 52, -134, -58, -340, -8, -62, -88, -32, 156, -252, 14, 228, 484, 312, -58, -108, -12, -608, -548, -156, -32, -214, -114, -200, -204, -460, -11, -252, 284, 12, 100, 116, 284, 28, 541, -146, -8, -162, 196, -580, 256, -332, 96, 358, 292, -88, -57, 168, 36, 62, 194, 148, 192, -264, -592, -424, -128, 199, 88, -37, 184, 136, -282, -200, -64, 70, 222, -144, 180, -44, -94, 208, -32, 92, -176, -154, 92, -240, -124, -424, -88, -140, 174, -342, 308, 623, -22, -860, 120, -476, 276, -196, -92, 768, 240, -24, -184, 144, 34, -212, -28, 346, 60, -104, -52, -776, -24, -162, 16, 136, -2, 24, 60, 1036, 420, -178, 36, -132, 154, 156, 12, -162, -56, -208, 72, 360, 20, 212, -88, -442, -224, -261, -100, -538, -34, -24, -60, 8, 585, -240, 352, 232, -150, -160, -96, 280, -96, -270, 292, -84, 0, 360, 48, 44, 12, -342, 76, -208, 200, -108, -24, 184, 368, -14, -240, 140, -226, 52, -8, 436, 38, 40, 340, -304, -124, 100, -20, 320, -206, 136, 96, -38, -38, 228, 252, 14, 396, 90, 344, 12, -92, -60, 116, 687, -4, 272, -144, -246, 88, 12, 244, -44, 42, 402, 632, 388, 74, -240, 156, -223, 62, 154, 8, 492, -48, 40, 36, -150, 90, -274, 300, 732, -196, 4, -280, 576, 92, -218, -68, -416, -50, 236, 276, 152, 208, -300, 192, -312, -166, -412, -156, 33, -66, -160, 168, 120, -176, 44, -64, -116, 591, 114, 312, 608, 2, 192, 44, -254, -232, -250, 152, 384, -230, -576, -292, 612, -166, 24, 172, -696, -68, 152, 212, -192, -144, -110, -296, -608, 208, 56, -8, 218, 78, -156, -204, -568, -102, -536, -404, -664, 210, 903, -44, 58, -160, 352, 216, -708, -352, -76, 632, 388, -160, -12, -68, 256, -8, 30, -396, 317, -80, -52, -156, -62, 56, -208, 232, -724, -54, -12, 140, -200, 104, 30, -256, -242, -16, -20, -272, -132, 316, -70, -20, -568, -98, 0, -160, 362, 34, -96, 68, -122, -156, 444, -76, -147, 6, 140, 116, 408, 82, 404, 64, -436, -316, 32, -44, 832, -46, 112, -168, -344, -18, -178, 508, 128, 244, -248, -300, -472, 613, -98, -332, -334, 332, 44, 36, -617, 504, -220, 188, -192, 132, 8, -20, 290, 186, -288, -176, 930, -774, 120, -84, 88, 36, 204, 300, 36, -228, -436, -48, -320, 176, 292, -100, -100, -302, -88, -68, -464, -32, 60, 76, -492, -360, -76, -272, 224, 114, -48, -52, 16, 374, 0, -28, -408, 66, 82, 452, -704, -306, -36, -412, 955, 302, -184, 16, 110, -448, -184, 64, -312, -266, 132, -456, 340, -308, -584, 232, 58, 116, -18, -180, 98, 48, -92, 124, 100, -114, 1104, 380, -392, 87, 448, -4, -424, -360, -325, 476, 420, -34, 120, -80, 752, 304, 42, 440, 192, -2, -340, 232, 244, 504, -164, -272, -494, -128, 408, -4, -820, -44, 378, 152, 248, -60, 56, -164, -418, 809, 340, 8, -24, 46, 80, -184, 294, -82, -178, 148, 208, 24, 136, -152, 360, -76, -96, -432, 802, -86, 28, -120, -408, -192, 350, 164, 584, 150, 84, -284, -612, 40, -364, 36, -514, 136, -112, 96, -908, 110, -384, 32, 24, -244, -216, 68, 528, 260, 398, -484, -1140, 216, -156, -376, 84, 372, -568, -52, -516, -116, 140, -188, 603, 30, -110, 288, 1037, -26, -276, 100, -456, 376, 184, 52, -392, 108, 12, -144, -98, -264, -70, 120, 62, -136, 136, -176, 336, -24, -220, 568, 84, 122, 740, 0, -362, 176, 514, 120, -564, -324, -292, 376, -110, -14, 388, 16, 8, 4, 292, 384, 968, 110, -282, -332, 472, -320, -680, 408, 180, 84, 178, 208, -100, 94, -340, 108, 296, -458, -124, 152, 252, 464, -8, -660, 346, 319, 386, 396, 160, -26, -432, 296, -480, 54, 3, 16, -168, 430, -432, 4, -92, 88, -668, 412, 280, -336, 312, -276, -128, 70, 39, 768, 178, 148, -232, 8, 130, 736, 256, 144, -100, 10, -244, -296, 708, 272, 12, -208, 142, -264, -480, 28, -100, -48, -87, 572, -384, -98, -624, 36, -346, 296, -182, -236, 720, -348, -48, -96, 104, -178, 892, 424, 188, -60, -24, -160, 651, 30, 36, -84, -113, -234, 232, -112, -1088, 172, 658, -20, -656, -120, -36, 152, -54, -78, -30, 388, -196, 44, 244, 256, 212, 322, -34, 384, 620, -134, 48, 16, -996, 284, 196, 12, -234, 48, 1076, 216, -44, 288, -720, 24, -392, 130, -288, -404, -940, -376, -54, 608, 342, 28, -1012, -140, 15, 276, -250, 232, 532, 236, -208, 0, -300, 162, 224, -188, 268, 72, 316, 204, -904, 939, -460, 572, 284, -278, -660, 200, 324, 370, 102, 116, -440, -366, 400, 0, 402, 168, -264, 392, 420, -12, -80, 84, -244, 56, -216, -236, 126, 56, -184, -92, 164, -452, 74, 320, 88, 64, -752, 104, 72, -38, -148, 920, 98, -6, 228, 132, 380, 50, -378, 204, -76, 438, -300, 200, 502, 116, 40, -216, -796, 482, 136, 68, -196, -146, 280, 684, -616, -696, 884, -324, 346, 116, -436, -52, 1047, -154, -76, -232, -1014, -536, 118, -356, 220, -150, -296, 324, 4, -108, 259, 128, 396, -432, -644, -48, -420, -344, -178, 1120, 176, -26, -1116, -144, -16, -216, 304, -28, 14, 200, 316, 348, 440, 142, -32, -492, -848, -828, 372, 116, -424, -118, -752, -40, 322, -402, -568, -144, -856, 588, 696, 552, -1036, 508, 148, -184, 776, -728, -272, 288, -74, 472, 224, 200, -652, -188, -702, 332, 108, 224, -484, 248, -140, 621, -226, 188, -552, -490, -372, 640, 0, -124, -72, 180, -1072, -872, -4, -224, -1180, -280, -174, 712, 52, -308, -520, 708, -226, 188, -34, 0, -912, -266, -280, -236, -242, -210, -616, 272, 542, -262, 376, 156, 312, -352, -588, 440, 692, -184, -1024, 500, -429, -252, -196, -80, 24, 51, -636, 152, 934, 12, 308, -92, -1340, -660, -104, 84, 104, 4, 102, -296, -34, -512, -1220, 328, -400, 396, 638, -420, -832, 194, -1164, -24, 945, 22, -402, 628, 730, -720, -136, -328, -1184, -146, -756, 768, -92, -502, -1200, -396, -242, 432, 262, 28, -142, 58, -448, -172, -796, -24, -660, 560, 300, -310, 220, 68, -348, 320, 24, -144, 50, -690, -312, 136, -1324, -276, 162, 480, -1096, 256, -1308, -208, -16, -524, -1544, 80, -416, -668, 536, 204, 532, -98, -118, 628, -88, -404, 1032, -124, -87, -196, -66, -268, -1568, -114, 360, -52, -380, 8, -1000, 92, 84, 96, -300, -244, -748, 595, -271, -176, 1002, -556, 40, -584, 152, 360, 10, 352, -1020, -34, 68, -148, 422, -218, -728, 216, -622, -220, -528, -52, -832, -740, -342, -636, 1400, -414, 476, 500, -948, 404, 206, 696, 120, -164, -96, 576, -260, 274, -980, -4, -1524, 268, -432, 248, 664, -88, 112, 692, -622, -310, 20, 476, -708, -122, 20, -412, 420, -62, -132, 416, 294, -172, 446, -252, -76, -576, -984, -304, -196, 10, 342, -56, 72, -392, -840, 48, -1452, -64, 322, -224, -581, 64, -448, 776, 50, -152, -1108, 560, -60, -246, 448, 120, 24, -70, -668, 556, 108, -46, 4, -252, -420, -136, 456, 328, 480, 410, -200, 612, -224, 472, 44, 804, -410, -200, 224, 168, -1555, 26, 552, 12, 332, -274, -84, -84, -586, -52, -4, 68, -516, -162, -524, -336, 664, 488, -150, -264, 48, -416, -208, 144, -20, -338, -784, 408, -326, 108, -648, 72, 558, -12, -460, 404, -632, 684, 276, -228, -964, 224, -376, -344, -370, -164, -40, 4, -176, 589, -826, -52, 56, 116, -552, -444, -226, 72, -378, 12, -612, 18, -532, 116, 446, -292, 216, 188, -648, -156, -76, 140, 109, -106, -130, 956, 24, -558, -856, -152, -156, 624, 130, 300, -188, 12, -508, -240, -280, -298, -1900, 528, -572, 44, -144, -640, -1732, -456, 110, 372, 184, 522, -944, -416, -1120, 24, 458, 224, -202, 48, -380, 108, -840, -138, -1272, 392, 424, 388, 240, 200, -1452, -160, 407, 540, -210, -88, 328, 40, 274, -8, -1664, -152, -1468, 194, 148, 500, 1463, -10, -924, 52, -1464, 416, -972, -44, -640, -588, -316, 384, -88, -142, -312, 292, -658, -572, 202, -516, -232, 340, -1232, 236, -1642, -224, -694, -88, -40, 368, -640, -552, -1508, -204, -360, -648, -336, -94, -516, 96, -172, -452, -436, 152, -1972, 512, -104, -4, -320, -260, 672, 468, -632, 62, -1060, -352, 168, 250, -678, -400, 620, 38, -2184, 80, -620, -588, -144, -92, -748, 20, -488, 240, -360, -50, -744, 780, -500, 288, -104, 80, -556, -378, -146, -408, -460, 52, -356, 228, -1328, 1011, -306, 44, 28, -126, -856, 444, -156, 384, -242, -496, 618, 120, -44, 436, -44, -110, -1058, -176, -1132, -252, -208, -312, 655, -760, 734, 716, 784, -14, -140, -132, -610, 794, -892, -36, 136, -138, -220, -544, -1724, -512, -74, 152, -652, 374, 936, 8, -492, -120, 316, 884, -560, 440, -436, -76, 226, -606, 560, 288, -638, -552, 184, -88, -450, -158, 280, 304, -708, -24, -804, -320, 440, 478, -982, -160, -732, -204, 200, 704, -124, -772, 21, 188, 136, -432, -628, 72, -940, -322, -740, 1136, 1487, -636, 140, 40, -220, -196, -338, -64, -796, 496, 228, 16, 520, -594, -1028, 0, -62, 28, -132, 160, 172, -566, -50, 1224, 80, 326, -1296, -284, 484, -168, -476, -64, 52, -104, -224, 260, 306, 386, -336, -144, 572, 24, 204, 352, 116, 182, 440, -48, 10, -244, 1012, -128, 1168, -206, 376, -128, 1304, -236, -36, 424, 838, 360, -1053, 180, -960, 212, 668, -248, 104, -720, 42, 156, 288, 124, 100, -176, -62, 308, -406, -628, 666, -1, 188, -184, -152, 76, 384, 1024, -236, 1062, 544, -244, -568, 489, 4, 1184, -8, -682, 488, 28, 798, 600, 186, 132, 1772, 238, -236, -32, -100, -658, -328, 524, 230, -604, -912, -476, -760, 348, 590, 8, 52, 458, 464, -464, 836, -228, 128, -44, 668, 80, -532, -84, -94, 34, 676, 716, -272, -32, -92, 260, 32, -596, 598, -72, 668, -224, 212, -76, -1232, 116, 52, -132, 24, -90, 344, 452, 184, 286, -436, 32, -138, -268, -388, 160, -652, -350, 536, -564, 1544, 80, -28, 148, -168, -444, -752, -116, -660, -150, 36, -280, -104, 210, 1080, 116, 636, -12, -476, 300, 167, -136, -326, 1072, 594, 110, -1824, -388, 805, 702, -186, -556, 1036, 624, -52, -404, -732, 92, 52, -560, 432, -900, 328, -116, 1560, 144, 284, -780, 452, 162, -72, -72, -306, -136, -136, 660, -114, 146, 892, 528, 650, 56, -528, -100, 188, -178, 260, 696, 1064, 66, -468, 64, -100, -138, 256, 280, 404, 544, -934, 228, 580, -88, 12, -472, 154, -132, 400, 508, 422, -472, 128, -192, -748, -206, -196, -80, -188, -690, 720, -64, 542, -268, 662, -464, 16, -358, 640, 836, 24, -614, -844, 452, 360, 876, -796, 288, 72, 169, -310, 940, 14, 52, 332, -512, 680, -492, 1108, -116, 1988, 328, -180, 12, 476, -110, 144, 212, 526, 198, -436, 344, -704, 14, 278, -448, 144, -364, -136, -112, -892, 388, 402, -8, -2484, 730, 212, -528, -1780, -18, -320, -924, -100, -16, 64, 544, -974, 184, 73, -244, -378, -340, 800, 388, -1156, -220, -190, -260, -560, 452, 504, 40, 296, 316, -1046, -120, -29, -276, 92, -20, -1832, 102, -398, 260, -176, -522, 1204, -660, 452, -768, 60, 24, 716, 448, 644, -184, 0, -76, 1060, 340, 1212, -306, 184, -376, -52, -728, 466, 728, -181, -744, -32, -692, -1002, 204, -252, -432, 592, 26, 444, 184, -226, 28, 36, 428, 476, -36, 32, -856, -1708, 78, 66, 544, 868, -386, -144, 204, -540, -274, -104, 200, 148, -288, 184, 16, 1342, -112, -392, 88, 980, -252, -572, 8, 668, 72, 176, -176, -327, -30, 280, -468, 340, 368, -638, 320, 1348, 398, 1216, 496, 18, 30, 300, 112, 722, -840, -232, -104, 1512, -376, -964, 1080, -232, 488, 124, -588, -1016, 56, -466, 28, -560, 132, 376, -996, -436, 68, -1288, 24, -588, 64, 528, 412, 91, -50, 310, 180, 880, -474, 448, 284, -25, 375, -426, 304, 212, 428, 512, -1020, 464, -378, 788, 380, -10, -40, -236, -328, -456, -246, 708, 56, -80, 326, 12, -608, 526, -836, 26, 240, 214, -60, 916, -236, -544, 34, -184, -1056, 32, -302, 376, 32, 508, 204, -126, -700, 418, 306, 232, -196, 1452, -180, -222, -8, -96, 664, -592, 788, 788, 30, 1172, -512, -440, -1088, -660, 288, 34, 124, -420, 184, -116, -276, -800, -168, -28, -292, 668, 40, 324, -290, 144, -952, -792, -248, -426, 308, 224, -556, 356, -152, -660, 554, -308, 128, 430, -258, 324, -608, -482, 604, -388, -384, 592, 392, 176, -312, 647, -128, -260, -352, -794, -1112, -228, -488, -1312, -6, 208, -688, -216, -8, 468, -876, 164, -148, -342, -20, -760, 338, -388, -788, 52, -386, -176, -556, 544, -36, 880, -340, 1000, 164, 1261, -764, 672, -510, 372, -28, -1132, -620, 246, 260, -560, 494, 212, -72, 368, 630, -162, 1276, 214, -604, -1148, -1056, 824, 56, 402, -224, 884, 300, -476, 216, 646, 52, -1060, 440, -856, 336, 76, 136, 160, 630, 696, -232, -408, -100, -156, 504, -508, 28, 80, 388, -1252, 826, 704, -156, -262, 1820, 1500, -8, -164, 318, 340, 392, 444, -106, -1032, -348, 230, -700, 380, -288, 28, 1323, 276, -928, 624, -412, -396, -312, 2092, 210, -674, 424, 2072, -168, 1616, -472, -594, -110, -1806, -132, 1136, -1128, -24, 168, -812, 378, 50, 1136, 1362, -18, 1116, -668, -540, -88, -1718, -432, 528, 624, 1168, -32, -1790, -400, 1036, 608, 256, -134, 296, -632, -184, 38, 778, 704, 360, 150, 208, -212, 1404, 172, 50, -672, 92, -152, 1504, 236, -228, 14, 128, -40, -200, 220, -512, 400, -1694, -204, -132, -56, -856, -12, 0, -224, 767, 52, 230, 140, -344, 180, -864, -656, 270, 282, -432, -128, -2, -248, -500, -616, 232, -116, 54, -288, -660, -62, -408, 276, -168, 40, 176, 1108, 1807, 294, 940, 172, -836, -76, 368, 412, 844, 213, -196, -240, 300, -516, 996, 448, 150, -484, -928, -432, 572, -236, -230, -152, -840, -148, 684, -1220, 728, 100, -248, 984, -1260, -496, -128, 76, -74, 342, 488, -452, 384, -926, 660, -152, 316, -388, 306, 852, 48, 84, -716, 308, 556, 54, 1440, -284, 1036, -388, 144, -132, 208, 98, 234, 152, 1064, -4, 1188, -232, -290, -740, 862, 96, -36, 442, -128, 996, -892, 276, -716, 236, 348, -242, 740, 612, 724]