# Trace form for 4021.2.a, downloaded from the LMFDB on 23 April 2024.
[0, 334, 0, 0, 330, -2, -2, 0, 6, 334, -6, 10, 2, -12, 6, -6, 326, -8, -8, -6, -2, -24, 16, 2, 2, 336, 8, 6, -4, -4, 0, 2, 22, 6, -8, 14, 354, -4, -12, -8, -50, 8, 28, -2, 46, -4, -28, -2, -10, 328, 6, 8, -42, -8, 14, -6, 32, -22, -28, 40, -64, -42, -16, -38, 314, -34, -6, -10, -26, -32, -14, -8, -2, 0, -22, -42, -60, -6, -52, 16, -36, 310, -36, 18, -136, 6, -34, -24, -10, -38, -130, -16, 0, 0, -36, 10, -14, 6, -8, 100, 290, -14, -80, 10, -2, 14, -26, 18, 50, -2, -38, 2, -16, 12, 20, 8, -4, -42, 30, -24, -46, 380, 12, 22, 50, -6, 14, -18, 100, 20, -54, 32, 16, -8, 36, -44, -32, -4, 70, -52, -6, 80, 48, -26, 428, -32, 18, 8, 6, 44, -92, -28, -6, -2, 52, 74, -6, -44, 18, 28, -104, -24, -16, -60, 48, 52, -48, -10, 92, 286, 24, 48, -2, 42, 106, -60, 102, 40, -8, 100, -14, -76, 92, -10, -2, 46, 60, -38, 66, -60, -82, 30, -48, -14, -82, -60, 360, -12, 174, -48, 60, -50, 8, 82, -82, -68, 70, -22, -56, 30, -118, 2, 14, 80, 50, 28, 68, -100, 76, 52, -74, 4, -96, 4, 112, 326, -12, -42, -56, -52, -48, -10, -128, -104, 50, -24, 200, -70, -68, -32, -240, -10, -58, 118, -180, -54, -112, -134, -120, -86, -18, 84, -194, 12, 72, -114, 182, 0, -12, -56, -166, -90, -120, 128, 42, -20, -106, 28, -24, -48, -52, -4, -46, -122, -150, 150, -104, -6, 34, 52, -44, -64, -20, 6, 92, -78, 94, 14, 26, 322, 34, -54, -70, -36, 68, -62, -12, 26, 82, 30, -62, 8, -14, -8, -138, -130, 98, -100, -22, -66, 120, 54, -138, -62, -102, 80, -142, -78, -2, -66, -120, -74, -42, -68, 448, -158, -36, -90, -158, -70, -362, -82, -80, -148, -40, -76, -200, 12, 118, -46, 8, -90, -134, 30, -14, -62, -182, 10, -210, -28, -198, -94, 166, -48, -94, -72, -60, -206, 46, 42, -528, 332, 54, 44, -124, -104, 136, -140, 4, -122, -54, 34, 46, 30, -122, -42, -186, -114, 8, 12, 214, -72, 42, -38, -54, 126, 120, 140, 0, 12, -24, -32, -92, 72, 110, -60, 442, 16, 162, -134, 280, -54, 78, 22, 102, -136, -68, 46, -76, -78, 102, 104, 76, -118, -198, -4, -4, 32, -70, 68, 92, -64, 148, 152, 2, -90, -88, -4, 72, -78, -152, 22, 112, -8, 58, 22, 84, -158, -146, 14, -40, 192, -222, 218, -184, -112, 2, 50, 8, -10, 20, -66, -248, -30, 118, -50, 36, -98, -26, 70, -96, -90, -112, -26, 16, 112, 132, 82, -148, -142, 10, 70, -64, 120, -150, -30, 118, 102, 16, -36, -202, -90, -10, 80, 382, -28, -56, 48, 66, -18, -110, 232, 330, -88, -136, -26, -34, 18, -84, -42, -8, 10, -62, -82, 96, 20, 230, 90, -118, -228, 106, 96, 62, 88, 46, 42, -82, 82, 84, 26, -118, 12, -182, 14, 218, -102, 110, 90, -6, 486, -72, 236, -22, -52, 506, 24, 326, 132, 34, 94, -342, 52, -32, -8, -276, 106, 54, -112, 136, -312, -30, -248, 78, -44, 46, 182, 108, -38, -156, -66, 170, 198, -48, 146, 356, -4, -20, -124, 42, 98, -32, -12, 50, 94, -20, 86, 782, -60, 40, -66, -458, -64, -128, 206, 170, 224, 42, 80, -16, -90, 208, 60, -110, 86, -36, -110, 176, 122, -232, 114, -238, -58, -130, 136, 38, 22, -64, -134, 70, 28, -308, 236, -152, -126, 212, 44, 228, 36, 38, 70, -118, -106, 260, -62, -160, 330, -308, 226, -50, -86, -118, 86, 96, 32, 48, -236, -146, -268, 178, 114, -276, 54, 232, -218, -90, -146, -88, 186, -132, 104, -278, 12, -414, 2, -420, -212, 2, 50, 162, 232, -352, 38, 18, 68, -172, 92, -20, -86, 180, 58, -344, 14, -200, -114, 110, 62, 152, -132, -192, -14, 236, 22, -20, 62, 248, 96, 0, 52, 104, 40, -336, 108, 200, -192, -180, -18, 168, 26, -36, 0, -220, 48, 36, -82, 432, 42, -122, 172, 326, 56, -182, 82, -176, 196, -228, 72, 206, 170, 84, 196, -342, -22, 74, 156, -430, -336, 252, -32, -44, 316, 114, 166, -134, -154, 128, 4, -140, 146, -488, -126, 448, 94, -252, 108, 108, -78, 316, 138, -244, 102, -282, -58, 88, 150, -120, 112, -708, -82, 396, 136, -408, 102, 132, -112, 94, 140, 30, 4, 202, 10, -134, 136, 2, -180, -530, -170, -106, -42, -208, 78, -468, -10, -130, -72, 174, 260, 350, 40, -166, -136, 0, 48, 90, -254, 114, -44, -276, -98, -452, -84, 352, -98, -258, 114, -194, 32, -60, 112, -406, 68, -470, 150, 56, -134, -314, -78, -332, -150, -114, 170, -240, 70, -354, 122, -166, 598, -264, -6, 360, -140, 48, 134, -238, 50, -290, 132, 100, -144, 68, -210, -488, 236, 80, 146, -66, 40, -222, 118, 230, 122, -398, 418, 134, 126, -36, -72, -68, 162, -378, -38, 32, -330, 134, -20, -178, -208, 312, 264, -512, 60, 68, -88, 0, 176, -258, -20, 34, -16, 86, 94, -344, 212, -340, 192, 454, -246, -152, -138, -430, 160, -146, 284, -88, -46, -464, 66, 564, -168, 232, 130, 126, -184, -278, -240, -222, -10, -154, -32, -164, -134, 56, 50, -300, 184, 226, 84, -40, 82, -340, 162, -298, 138, -142, -228, -790, 62, -182, 256, -150, 44, -196, -168, -304, -264, -70, -96, 298, 106, 116, 126, -396, -108, 34, -186, 442, 294, -30, 376, -708, -106, 268, -130, 154, -234, -598, 106, 38, -2, -422, -74, -734, 294, 34, -116, -308, -116, -608, -48, -36, -208, 230, 294, 222, 82, 252, -46, -634, 162, -384, -4, -220, 184, 322, 132, -412, -162, -92, -76, -572, 52, -774, -212, -136, -78, -58, 214, -200, -264, -208, 62, -76, -266, -732, -180, 14, -126, -8, 248, -888, 12, 58, 394, 172, -242, -408, -74, 304, 68, -32, 72, -158, -122, -430, -124, -14, 156, 56, -48, 354, -278, -602, -58, -250, 106, 2, -40, 286, -26, 28, -166, -234, 140, 54, 86, -260, 266, 74, -26, 348, 8, -128, -144, 456, -198, -104, 110, -110, -240, 156, 246, -34, 86, 130, -136, -124, 28, 386, -238, -60, -140, 202, 512, 128, -116, -86, 30, -300, 52, 30, -22, -286, -58, -232, -106, -106, 38, 240, 108, -374, 450, -108, 180, -590, -112, -248, -208, -168, -78, 536, -118, 698, -222, 236, -28, -92, -350, 220, 548, 62, 180, 34, 336, 66, 110, 82, 152, 16, 18, 278, -154, -262, -116, 346, 262, 298, -428, -74, 36, 40, 68, -352, 332, 68, 348, -142, 14, 480, 438, 94, -24, -4, -172, 34, -534, 374, -98, 310, -206, -4, 70, -28, 174, 92, 94, -62, 176, 230, -174, 238, -352, 266, -62, 482, 304, 316, -76, -104, 364, 144, -324, 160, 208, 36, -298, -170, -218, -6, -64, 286, 174, 276, -154, 198, -174, -208, 244, 412, 274, 42, 118, -426, 550, 598, 96, -82, 46, 178, 82, -330, -112, 58, -152, 188, 474, -98, 50, 74, -80, 468, -356, 310, -160, 62, 162, -20, -22, -266, -4, 338, -322, -58, 36, 384, -50, -190, 628, 690, -82, -12, -314, 184, -88, -84, -180, -376, 472, 164, 64, 100, -226, 180, 48, 538, -140, 502, -358, 8, -82, 288, -260, -36, 130, -368, -312, 228, 158, -788, -152, 564, 218, 612, -174, -406, 76, -474, -190, -426, -46, -254, -158, 394, -84, 4, 342, -130, -328, -262, 160, 624, -92, -206, -402, 438, 6, -80, -122, 762, -76, 34, -18, 72, -146, -260, -264, -330, -244, 756, 398, 30, 132, -40, -242, -262, 414, 368, -102, 250, -194, -82, 132, -354, -110, 56, -354, 370, -112, -226, -72, 408, 254, -408, 26, 114, -262, 16, -182, -240, 26, -88, -160, 236, 570, -504, -526, 112, 214, -20, -112, 898, -110, 90, -234, 80, 46, -620, 22, 28, 230, 52, -106, 680, -280, 470, 150, 306, -308, 418, 48, 28, -30, -216, -372, -372, -26, -424, -744, 396, 30, -550, 98, 274, -318, -82, -146, 368, -248, -398, -184, -86, 426, -184, 62, 82, -142, -226, -232, -414, 290, 150, -308, 460, 34, 72, -26, -42, 826, -244, -10, -202, -208, -826, 294, 214, 38, -338, 54, 2, -8, 436, -254, 110, -80, 198, 212, 380, -122, -356, -348, -426, -376, -792, 44, -418, -304, -56, -402, 220, -158, -134, 0, 160, 82, 302, -246, 814, -336, 376, 28, 184, 56, -812, 522, -100, 10, 242, -278, -138, -166, 730, -434, -466, -44, -328, -254, -124, -34, 50, 8, 394, 46, 88, -478, 102, -600, 296, 286, -174, -254, -268, -120, 48, -4, 132, 22, 450, 456, -436, 56, 248, -330, -216, -142, 568, -172, -94, -58, 84, -18, 52, 322, 196, -154, 206, -8, 166, 386, -536, 192, 76, 366, 124, -366, 416, -158, -42, 146, -360, 318, 32, -190, 212, 254, 356, 130, 150, -138, 314, -156, 24, -56, 504, -70, 168, -20, -264, -32, -370, 304, 328, -30, 100, -48, -366, 100, -188, -230, -84, -4, 186, 208, 618, -18, 680, 230, 606, 250, -184, 302, 834, 24, 532, -22, 620, 202, -276, -118, -52, 520, 726, 96, 410, -4, -156, -40, -128, 168, 28, 144, -486, -80, 152, -180, 40, -144, -216, -456, -254, 210, 318, -152, 288, 86, 348, 96, 1174, 44, -238, 226, 430, -134, 642, 42, 562, 200, -164, 242, -360, 122, -290, -12, 246, -210, -364, 184, -62, -318, -200, -140, 22, 240, 448, 848, 542, 98, -182, -260, 268, 58, 508, 180, -594, -188, -10, -302, 108, -138, -228, 32, -284, -496, 314, 74, -278, 230, -402, 574, -280, 390, 432, 284, 26, -30, 398, -68, 210, -94, 148, -226, 82, 2, 664, -266, -1160, 100, -90, -278, -364, -52, 280, -164, 8, 42, 336, 24, 198, -108, 262, 458, 654, -204, -24, -360, -96, -22, -388, 102, 32, 68, 434, -32, 450, 434, -72, -222, -390, -50, -460, -322, 240, 48, 48, -14, 878, -256, 294, 384, -146, -106, 28, -10, -770, 86, 14, -14, -942, 624, -378, -124, 354, -30, 138, -392, -184, -86, 354, 464, -110, 312, -572, -238, 8, -198, -412, 146, -124, 238, -452, 474, 172, 36, -210, 580, 524, -2, 294, -268, -80, -56, -56, -452, 192, 128, -64, 548, 324, 188, 118, -84, -186, -118, 440, 112, -946, 300, 386, -280, 214, 462, 872, 60, -476, -216, 214, -324, 108, 56, -476, -538, -254, -266, 12, -250, 814, 230, -30, -42, -472, 130, -248, -388, -520, -246, 60, -206, 4, 102, 216, -20, 92, 340, -224, -452, -176, 236, -446, 152, -320, 82, 56, 58, 782, -102, -80, 132, -404, -396, -220, -134, 108, -52, 334, 4, 312, -114, -338, -10, 418, 70, 82, -210, 70, 76, 270, -36, 212, -500, -74, 402, -66, -304, 636, -348, -244, 500, 354, 340, -950, 18, 16, 524, 76, -184, -22, -266, -508, -178, 614, -410, -322, 544, -18, -190, 14, 110, -476, 240, -272, -76, 220, 680, 304, -540, 142, -20, 370, -420, -66, 274, 172, 546, 924, 394, -818, 36, -492, 102, 278, -200, 466, 308, -486, 20, 90, -34, -416, -2, -662, 296, 216, 422, -638, 210, -300, -228, 50, -132, -1034, 0, -288, 116, 16, 202, 784, -240, -428, 748, -370, 432, 518, 282, 682, -100, 10, 478, -284, 78, 8, 118, 864, -22, -138, -174, -530, -416, 74, 48, -184, -24, 374, 64, 820, 288, 210, -248, 986, 456, 506, -144, 30, 10, -218, 172, 324, -384, 382, 254, -368, 122, 458, -188, -494, 100, -438, -508, 78, 482, -900, 76, -500, 352, -2, 220, 48, -280, 1014, -372, 478, 66, 708, 742, 260, 432, 558, -90, -266, 270, -672, 322, -14, -160, -526, 96, -176, -422, 476, -202, 526, 258, 448, -406, -206, 178, -966, 36, -390, -24, -594, 322, -256, 280, 490, -280, 1214, -58, -776, -44, -24, 328, 542, -124, 72, 98, -470, 68, 364, 76, -606, 108, -138, 416, 472, 216, -104, 98, 222, 572, -626, 212, 338, -424, -456, 366, -642, 184, 252, -182, -234, 260, 12, 270, 912, -70, -106, -464, 38, 98, -344, 146, 520, -202, -1070, 280, -4, 68, -214, 50, 10, -488, 1652, 356, -58, -198, 248, -440, -66, 480, -526, -380, 70, 128, -534, -458, -8, 424, 176, 18, -736, 126, -118, 14, 92, 90, -26, -288, -176, 142, -108, 348, -168, 268, 210, 240, 176, -410, -314, -194, 444, -356, 430, 184, -158, 456, -76, -52, 252, 180, 436, -148, -184, 44, 1340, -24, -370, 78, -148, 596, 114, 40, -12, -96, -370, -762, -328, -358, 750, -68, -4, 354, -300, -152, -592, -26, -498, -74, 44, 508, 834, 144, 542, 224, 600, -142, -200, -160, 962, -84, -82, 436, 378, -710, -574, -30, 36, 172, -612, 386, 34, 226, 8, 16, -1392, 22, 180, -590, -88, -348, -590, -86, -74, 354, 506, 644, 918, -32, 92, 402, -700, 38, -338, 16, -236, 462, 842, -270, -650, 172, 66, 718, -48, -350, 900, 538, -348, 494, -392, -198, -1522, -66, 188, -50, -354, -144, -444, -264, -1276, -582, -516, 392, 1192, 510, -152, 694, 96, 362, -544, 178, 18, -504, 388, -80, 388, -448, -702, -366, 116, -298, 146, 18, 112, -170, -80, -154, -1056, 294, -366, -110, -434, 642, 340, -162, 686, -614, -166, 186, -132, -94, -716, 590, -554, -104, -548, -36, 462, 206, 252, -100, -156, -314, -382, 338, 100, 80, 104, -454, -290, 146, -36, 506, -892, 510, -346, -414, 184, 140, -170, 138, -304, 12, -518, -184, -578, -402, -626, -68, -174, -36, 144, 472, -238, -266, -296, 320, 658, -514, -300, -290, -148, 392, 276, -242, -334, 424, -62, -448, 476, 284, -90, 616, -220, 194, -494, 272, -188, 686, -312, 836, -880, 444, -40, 520, -1190, 462, -1084, -190, 232, -202, -552, -382, -368, 384, -122, 628, 530, 194, -604, 106, 352, 226, -232, 550, 802, -164, 40, 148, 126, 352, -444, 294, 156, 116, -64, 336, -426, -536, 186, -550, -168, 108, 504, -278, 94, 698, 616, 292, 266, -518, -460, 516, -452, 136, 1024, -220, -338, -30, 198, 268, 868, 200, 602, 240, -184, -86, -540, -198, 68, -104, -58, -220, 1110, -258, -744, -106, -286, -8, -596, -508, 1212, -230, 512, -40, 284, -42, -138, -304, -700, -430, 698, -152, 258, 934, -354, 510, -630, 108, 318, -250, 564, -96, 844, -20, 100, -326, 490, 744, -436, 316, 26, 74, -330, -102, -440, 586, 502, 602, -684, -302, 100, -520, 806, -100, -746, 156, -576, 248, 768, 526, 496, 412, -6, 68, 744, -214, -1060, -58, 24, -18, 572, -210, -70, -262, 532, -26, 258, -322, 124, -236, -1130, 76, 468, 304, 540, -48, -486, -462, 92, 850, -666, 332, 1134, -190, 76, 390, -692, -532, -486, 32, 382, -284, 1054, 520, 1116, -76, -80, 24, 358, -254, -1590, -338, 598, 514, 218, -52, 432, -74, -978, 772, 356, 114, 1510, 18, -172, 540, -236, 458, 942, -330, -340, -104, -242, 340, -60, -104, -548, -564, 1216, -126, 154, 502, -180, -670, 744, 528, -98, -142, 456, 82, 202, 284, 490, 362, 88, 0, 358, -160, -512, 526, 110, -148, -1452, -206, -1192, -126, 678, 768, 426, -138, 1170, -168, 888, -16, -346, 534, 754, -242, 38, -768, 578, -144, 980, 22, 150, 132, -92, 220, 384, 36, 798, 22, -334, 266, -428, -70, 396, -776, -718, 770, 120, -494, 220, -246, -776, 278, -240, 138, 214, 46, 520, -282, 614, -370, -760, -74, 144, -76, 520, 368, -110, -106, -140, 422, 234, 324, 544, 292, -288, -158, -746, 128, -140, -180, 256, -496, -344, -270, -124, -264, -196, 164, 228, 228, 468, 362, 1308, 592, 468, -90, 862, 248, 272, 194, -1082, 124, -412, -302, -116, 74, -124, 416, 344, 976, 1024, 250, 252, -368, 592, -894, 76, -400, 852, -104, 448, -236, 316, -760, -104, -322, 82, -206, 28, 12, 1492, -124, -142, 924, 266, -74, 150, -266, 442, 4, -708, 176, 908, -588, -430, 286, 578, 266, 392, 74, -1024, 188, 194, 392, -1414, 4, -80, 398, 364, 714, 338, -340, -42, 76, -176, 280, -90, -222, -472, -218, 364, -316, -872, 218, 130, -716, -196, 344, -590, 40, 1380, -498, 128, -456, 38, -728, 316, -352, 438, 410, 352, 312, -476, 28, -236, 482, 614, 266, -316, -208, 1036, -16, -60, -202, -484, -264, 194, 586, 170, -160, -312, -222, 402, -146, 52, -146, 264, -494, 798, 122, -798, 666, -1058, -178, -418, 142, 172, 208, 432, 648, 192, -84, -1440, -62, -626, -250, -336, 130, 426, -946, -498, 0, -260, -166, 746, 260, -694, 962, 52, -300, -404, -70, -154, -160, 544, -158, -1022, -306, -640, 782, -144, 372, -598, -686, -374, -952, -218, 488, 554, 298, 920, 414, 66, 504, -534, -178, 818, -514, 696, 216, -292, -558, -226, -1072, -486, 202, -848, -32, 124, -312, 358, 450, -314, -504, 32, 388, 438, -156, 538, 308, -486, -40, -568, -184, -320, -440, 8, 138, -1490, 692, -392, -206, 310, 304, 578, 140, 386, -44, 106, -90, 496, 238, -68, -488, 874, -106, -54, -224, 476, -308, 62, -154, 464, 198, -322, -522, 490, 54, -432, 188, -1668, -332, 62, -304, 452, 202, 170, 570, 78, 374, -774, 410, 338, -316, 578, -90, -376, 200, 800, -588, -572, -162, -438, 342, 1314, -258, 746, -368, -594, 112, 742, 110, 78, 24, -592, 496, 1526, -68, 622, -468, 1212, -174, 468, 6, 748, -576, -612, 36, -320, 108, 518, -322, 158, 362, -52, -390, -294, -680, 354, 182, 208, -238, -162, 238, 68, -374, -126, -128, 1130, 428, 872, 478, -1064, 80, 56, 338, 234, -134, -1066, 136, 518, -378, 210, 58, 232, -390, 48, 218, -768, -76, -1690, -636, -112, 1292, 460, -504, -266, -690, 508, 166, -1050, -290, -338, -236, 1098, -476, 656, -410, 506, -216, 106, 66, -332, 338, 96, 106, 422, -292, 118, -260, -982]