# Trace form for 4001.2.a, downloaded from the LMFDB on 18 April 2024.
[0, 333, -3, 0, 333, -4, 0, 2, -9, 325, -2, -6, 0, -2, -16, -6, 337, -10, -25, 0, -26, -8, -2, -8, -18, 333, -6, -6, -2, -24, -32, 20, -21, -16, -2, -20, 323, 0, 0, -6, -16, -16, 10, 10, -22, -14, 6, 0, 28, 327, 17, -38, 10, -2, 10, 8, -20, 0, -6, 2, -12, -8, 4, -32, 323, -46, 24, -20, 0, 22, -60, -6, -15, -2, -18, 4, -44, 6, 48, 14, -8, 285, -34, -2, 0, -30, 28, -16, -28, -22, 54, 16, 22, 60, 10, -46, -8, -2, -29, -78, 327, -22, 40, 62, -38, -6, -30, -26, -54, 38, 6, -20, -38, -24, -26, -34, -140, 36, -8, -16, -74, 327, -14, 34, 138, -66, -78, -66, -45, -30, -12, -28, 8, -54, -16, 82, -4, 2, -40, 32, -76, -38, 12, -14, 323, -38, 16, 26, 0, -32, 46, 32, 10, -118, -72, 62, 0, 4, -106, -16, -28, -80, -47, -24, -76, 28, -92, 66, -4, 339, 42, -10, -70, 26, 48, -72, -116, 48, 18, 24, -80, -4, -46, 76, 36, 8, 52, -42, 56, -44, 28, -38, 24, 52, -68, 56, 329, -8, -30, 106, 13, 2, 92, 6, 14, -48, 76, 28, 4, -62, 58, 2, -62, 24, 8, 74, 50, 42, -18, 54, 70, 14, -54, -14, -12, 259, -112, 42, -46, 10, -74, 62, -16, -130, -30, -14, -74, 30, -12, -38, -118, 44, -99, -8, -16, -50, -76, -38, -74, -26, -124, 62, -292, 10, 48, 20, 253, 8, -114, -8, -164, -162, -36, 18, -76, -38, -208, 28, -94, -36, -322, 2, -68, -62, 134, 36, -56, -76, -78, 244, -236, -76, 2, -2, -130, -94, -90, 92, 5, 303, -98, -24, -178, -6, -58, 52, -92, 60, -44, -4, -14, 34, -124, 62, -2, -54, -86, 64, 170, -50, -14, 86, 34, -12, -34, -82, -30, 22, 54, -52, -186, 36, 10, 34, 357, -98, -70, 206, -110, -84, 24, -38, 38, 0, 58, 178, -132, 172, 21, 82, 52, -80, 88, 4, 142, 36, -96, -2, -118, 132, -196, 32, -40, 64, 20, 32, 104, 10, -18, 120, 78, 277, 88, 108, 54, -140, 212, 44, -104, -124, -56, 144, 60, 26, 4, 94, -16, 168, 12, 38, -6, 38, 0, 10, 92, 76, -44, 184, -72, 16, -30, -8, -113, -12, 100, 36, -92, 8, 74, 92, 183, -74, 16, 134, -202, -52, 48, 30, 348, 28, -184, 90, 228, -104, 50, 64, 172, 58, -142, -60, 12, 8, 72, 156, -32, -134, -18, 0, -72, 28, 56, -56, 6, 68, 258, 160, 120, 50, -30, 100, -280, 263, -48, -68, -62, 58, 128, 36, 116, 4, -209, -46, -176, -100, 214, 20, -214, -34, -166, -288, -86, 118, -122, 132, -306, 142, 140, 12, 190, 74, 160, -12, 196, -242, 108, 60, -164, 12, 150, -120, -122, 28, -52, -84, 373, 56, 52, -30, 220, -66, 76, -102, 268, -192, -218, -48, 362, -68, -24, 34, -210, -168, 88, 98, -346, 26, 12, 236, -66, -8, -262, 162, -129, -214, 18, -32, 36, -54, -126, 72, 44, -52, 6, 12, 84, 56, -4, 88, -66, 291, -44, 106, -126, -32, -244, 18, -94, 94, 182, -88, 228, -82, 454, 0, 144, -126, 54, 78, 324, -132, 126, -54, -136, -66, -2, 86, 120, -14, -42, 54, 80, 12, -64, -6, -50, -12, 24, 188, 40, -40, -106, -26, -142, 6, 138, 40, -89, -50, -23, -18, -402, -52, 38, 34, 16, -314, 178, 22, 56, 40, -90, 202, -152, -32, -172, 200, 4, 138, -76, 46, -18, -26, 66, -158, 136, -84, -508, 90, -170, -30, -10, 124, -358, 18, -250, 186, 44, -34, 108, -212, 10, -8, -128, 82, 20, 437, -136, 46, -6, -112, -226, -116, -322, -148, -26, -10, -22, 66, -36, -6, -114, -262, -46, 70, -524, -56, 212, -12, 71, -40, 80, -130, 136, -24, -266, 68, -74, 94, -220, 0, -82, 70, -116, 26, -296, 218, -254, 168, 280, -28, 100, -6, -8, 114, 160, 118, 427, 160, -176, -84, -168, -152, 450, -42, -276, -188, 426, 140, -218, -216, -264, 182, 192, 228, -244, -82, 202, -112, -276, 130, -362, -258, 72, 82, -194, 380, -108, 120, -46, 108, -308, -12, -4, 14, -314, -132, -30, -192, -94, 180, -56, 62, 9, 50, 134, -86, -166, -42, -210, -5, 24, -26, -184, 88, -168, -230, -224, -48, 20, -34, 324, 56, 58, 352, 32, 52, -170, 64, -56, 110, -126, 160, 2, -22, 164, 40, -282, 78, -84, 246, 124, -48, -214, -140, -132, -128, 104, 30, 26, 250, -88, 254, 388, -10, -22, 208, -198, 24, -222, -114, -166, -50, -44, -222, 299, 4, -100, 36, -194, 86, 320, -66, -676, -22, -152, 326, 260, 126, -354, 46, -129, -368, -22, -130, -388, -208, -324, -28, -36, -158, 20, -138, 28, -8, -466, 250, -14, -98, -146, 182, -262, 82, -342, -54, 118, -28, 0, 220, 242, 16, -54, -46, 184, -246, -234, 56, -198, 508, 14, 64, -154, 193, -298, -146, 40, 94, -364, 190, -354, 10, -122, 118, 272, -44, -84, -96, 296, 16, -434, 38, 198, -214, -240, 48, -78, 38, 98, -118, -256, 2, -340, 198, -58, 198, -150, -272, -112, 68, -162, -360, 306, 38, -323, 26, 22, 98, 56, 202, 66, -74, -168, -320, -188, -108, -228, 84, 66, -112, 182, 24, -19, -14, 152, -184, -276, 56, 118, -14, -192, 70, -56, -10, -280, 100, -32, -268, 230, 210, -520, -132, 18, -78, -252, 186, 430, -94, 112, 182, -330, 48, -342, 286, -420, 264, -262, -160, -196, -314, 76, -224, 114, -20, -312, 26, -202, 42, -124, -162, 80, 94, 214, -56, -182, -148, 178, -154, -234, 38, 56, 2, -248, 649, -212, -184, 254, 242, -28, -322, -337, 104, -372, -132, -230, -64, -42, -154, -12, 154, -80, -42, -382, -6, -118, -126, -484, -76, 76, -174, -346, -114, -244, 352, 98, -110, -146, 116, -210, 70, -358, -216, -214, -120, 184, -204, 60, 380, 10, -30, -898, -144, -2, 466, -142, 56, -80, 92, 190, -248, -198, -134, 310, -74, 18, 12, 103, -476, -10, 70, -82, 394, -180, -346, -630, -68, 126, -270, 46, -140, -104, 134, -136, -126, -164, -18, -366, -220, 272, -144, -382, 58, 90, 66, -122, 296, 400, 0, -590, -102, -99, 30, -92, 94, 126, 36, 76, -178, -84, 184, -10, -196, -10, -220, -360, -64, 56, -84, 112, 112, -246, -70, -48, -30, -50, 10, -242, 196, -114, -20, -376, 99, -124, 76, -30, -28, 172, -84, 452, 168, -60, -62, 82, -44, -80, -30, 22, -392, 160, 54, -550, 174, -42, -78, -214, -196, -16, -400, 1014, 20, -6, -90, -628, -286, -76, -70, 46, 30, -310, 144, -126, -96, 320, -418, 336, 276, 20, -54, -220, 230, 270, 172, -72, 150, -322, -146, -266, -40, 448, -132, 448, 56, 160, -20, -369, -42, 84, -512, 423, -206, -602, -58, -298, -184, 502, 106, -26, -144, -126, 330, -8, 22, -552, 246, -148, 508, 10, -180, -232, -30, -102, -578, 176, 400, 452, 230, -424, -126, 334, -18, 488, -156, 456, -46, 38, 104, 180, -326, -12, 186, 88, 98, -142, -96, 418, -126, -54, 254, 10, -18, -392, 510, 208, 22, -240, -30, -386, -44, 262, -380, 68, -236, -420, 66, 238, -320, 164, 131, -104, -230, -156, -132, 386, 324, 296, 220, -412, -252, -2, -24, -240, -216, 46, -390, -720, -232, 448, 58, -40, -142, 736, 208, -487, 46, 354, 490, 328, -202, 80, -222, -660, 202, -232, -32, -4, 150, 38, -96, 298, 282, -174, 156, 280, 228, -138, 138, 254, -200, -8, -70, 122, -88, -216, -244, -190, -164, 2, -12, -76, -344, -176, -236, -176, 154, -72, 436, 144, -264, 665, -128, -404, 42, 436, -42, -162, 154, 32, -396, -2, 16, 458, -172, -402, -370, -212, 78, -198, 54, 256, 366, 194, -58, -260, -102, -58, 142, 48, 100, -226, -46, -126, -84, 52, 42, 82, -100, -148, -276, -30, -162, 406, -142, 416, -344, 124, 62, 178, -104, 20, 454, 802, 92, -164, 194, -503, 74, 338, -274, 390, -162, -230, 388, 102, -82, -452, -208, -114, 450, 304, 268, 310, 591, 680, 140, 258, 430, 162, -36, -34, -380, 338, -458, -466, -96, 410, -78, -326, -226, -86, 418, 106, 110, 154, 536, 378, 382, -276, -226, 148, 150, -6, 96, -388, -244, 440, 128, -342, -464, 526, -142, 0, -154, 672, 116, 28, 266, 168, 302, 320, 84, 392, -298, 580, -164, -684, 64, -114, -310, 118, -24, 130, -76, -676, -180, -250, 8, 392, 204, 636, -164, -136, 140, -148, 36, 398, -284, -91, 236, -96, -188, 218, -474, -316, -180, 40, 32, 188, 12, 326, 168, 327, 156, -164, 402, -170, 262, 810, -210, -336, 232, 164, -318, -658, 294, -208, 330, -38, 408, -220, 24, 216, -52, -206, -392, -794, -16, 544, 402, -228, 98, -8, -20, -2, 502, -102, 288, -290, -64, 34, 34, -54, -32, -18, 226, -290, 578, 146, -652, -244, -166, 776, 308, 528, -34, -436, 178, 60, -260, 114, 44, 356, 292, -70, -267, -662, -374, 368, 258, 204, 430, -40, 70, -422, -60, -140, 386, -234, -116, 610, 28, -452, -116, 404, -220, -778, 92, 116, -392, 470, 410, 318, 62, -396, -178, 20, 66, -142, 112, -290, -168, -532, 122, -626, -14, -66, 574, 198, 16, 132, 516, -213, 54, -42, 254, -704, 64, 560, -432, 80, -26, -434, -180, -154, -128, -160, 70, -1030, -68, -320, 102, 158, 24, -180, 160, -372, 180, -424, 186, 672, -128, 490, 6, -9, -70, 348, -230, 356, -120, 408, 432, 530, -12, 186, 430, -32, 90, 712, -112, -644, -346, -550, -174, -48, 256, -20, 538, 26, -62, 234, 132, 204, -98, -246, 142, 542, -52, -274, -324, 300, 28, -192, 60, -366, -128, -142, 60, 462, -194, 218, 538, 410, 122, 246, 124, -170, 94, 226, 304, 410, 52, 196, 566, -250, -310, -214, -18, 376, 422, 270, 332, 702, -146, 392, 288, 26, -192, 1074, 24, 560, 86, 366, 330, 32, 533, 63, -2, 368, -124, 580, -198, 496, -372, -444, 224, 522, 450, -424, 222, -134, 282, -160, 160, 160, 200, -432, 128, -338, 562, 364, -142, 596, -196, -338, 310, -544, -118, 968, -8, -70, -326, 274, -14, 1240, -284, 446, -38, 70, 400, -442, -230, -180, 120, 370, -14, 94, -158, -330, 0, 1054, 336, 164, 160, 654, -440, -276, 240, 334, -286, -96, -30, 390, -100, -12, 62, 118, 212, 142, 310, 486, -114, 602, 294, -70, -116, 278, 36, 177, 296, 376, 502, -274, 152, -106, -306, -212, -376, 276, -286, 452, -120, -80, -318, 166, -242, -1030, 212, 994, -920, 176, -322, -164, -176, -310, 156, 448, -190, 326, -336, -22, 94, 278, 94, 113, -282, -358, -46, 132, -326, 764, 340, -356, 64, -64, -284, -712, -44, -312, 222, 696, 176, 348, 264, -214, -2, 390, 190, 198, 276, 466, 298, -164, -246, -920, 4, -204, -240, 474, -20, 42, -504, 134, 140, 422, 102, 44, 268, 754, -292, -278, -64, -716, 711, -400, 58, 956, -318, -24, 398, -602, -404, 62, 240, 292, -242, 208, -322, 488, -336, 516, 230, -40, 314, 718, 350, -166, 80, 820, -612, 736, -90, 204, -160, 270, -492, 366, 32, 966, -730, 132, -214, 494, 86, 284, 548, -942, 58, 250, -38, 674, -74, 384, -26, -614, -46, -470, 112, -294, -192, 58, 210, 188, 532, 398, -222, 354, 282, -246, -2, 146, -300, -140, 88, 116, 184, -333, -20, 26, -180, 616, -266, -340, 408, 244, -70, -308, 420, 116, 868, 369, -494, 790, 142, 650, -430, 220, -190, 270, -124, 726, 100, -132, -148, 386, 240, 586, -158, 160, 14, 354, -78, -120, 240, 472, -184, 494, 278, 282, 560, 514, 214, 928, 64, -664, 292, -210, 358, -540, -130, -702, -410, -440, 432, -96, -294, 220, 286, 640, -88, -402, 44, 226, 314, 554, -40, -352, 22, 464, -476, 44, 24, -152, -42, -124, -814, 16, 224, 200, -52, 278, -148, 342, -270, -20, 80, 494, -324, 98, 50, -330, -218, -222, -806, 582, -248, -528, -172, -22, -431, 564, -134, 1186, 66, 1142, 552, -398, -490, -772, -6, 436, 80, -346, 106, -776, -68, 48, 330, 154, -48, -176, -46, 333, -708, 136, 336, -288, -74, 302, 156, 176, -572, -452, -134, -336, -186, -60, -38, -30, -100, 812, -46, -710, 172, -28, 344, -632, 192, 114, 214, 24, 206, -584, -442, -352, -518, -342, -306, -176, 110, 290, -44, 306, 168, 412, -622, 604, 504, 782, 38, 216, -816, -138, -78, 550, 360, -202, -416, 444, -152, -100, 4, 714, 284, -628, -12, -712, -168, 442, 88, 503, -264, 650, 216, -590, 270, -514, 286, -42, -518, 172, 18, -292, -108, -166, 74, -302, 328, -152, -630, 486, 20, 404, 350, -134, 100, 292, 420, -178, -450, -458, 216, 684, -92, 298, -208, -128, -336, -78, -344, -684, 22, -432, 190, -214, 62, -446, -280, -296, -84, 934, -312, 650, -202, -34, 58, 186, -130, -246, 52, 1098, 154, -331, -198, -92, 4, 200, 758, -98, -126, 114, 172, -474, 178, -84, 356, 1298, -318, -770, 310, -134, -376, 394, -338, -160, -38, 174, 132, 348, -364, 24, 52, 42, 41, -496, -176, -140, -352, 310, -18, 612, -22, -582, -10, 178, -208, -606, -398, 536, -16, -284, -284, -426, -182, -174, -82, -190, -230, 428, 454, 714, 66, -408, 432, 1240, -692, 318, -154, -318, -532, -328, 276, -246, -110, -174, 530, -136, -124, -722, 178, -332, -168, 310, 448, -372, -300, 1032, -52, -188, 16, 790, 350, 112, 212, -30, 178, 96, 160, 1228, 124, -352, 510, -56, -778, -198, -124, 24, 64, -278, -272, 584, 12, 348, 22, -370, 62, -74, -480, 436, 112, -650, 438, 1124, -124, 1218, -220, -576, 548, -441, 410, 150, -146, -142, -6, -68, 58, -47, -236, -228, -406, 882, -238, 460, -230, -872, -98, -384, -344, -172, 210, 318, -228, 582, -442, 1040, -442, 180, 176, 382, -100, 384, 250, -264, 142, -820, -256, -400, -202, 286, -152, 1260, 148, 170, -514, 68, -20, 1604, 142, -224, -130, 186, -296, -22, 18, 162, 84, -554, 414, 680, -372, -124, -148, -322, 222, -102, 230, -216, 118, -134, -112, -462, -118, 388, 232, 722, -104, -26, 388, -20, -130, -538, -146, 680, 62, -86, -108, -178, -108, -762, 328, -192, -496, -42, -342, -740, 101, 1228, 412, 690, 314, 24, 86, 48, -254, -298, -350, -1106, 172, -84, 210, 124, -52, -704, 24, -498, 716, 24, 80, -918, -98, 112, 794, 350, -280, -446, 338, -1092, -16, 12, 138, 594, -424, -362, 594, 284, -492, 170, 352, 400, -854, -644, 118, -1000, 756, 89, -96, -214, -98, -1102, 188, 222, 178, -670, 112, -52, -172, 84, -562, -376, -356, 946, -216, -522, 432, 10, 160, 68, 212, 656, -320, -612, 352, -100, 220, -50, -718, 244, -88, 300, -632, -206, 152, -598, -120, 772, 202, 172, -514, -750, 106, 484, -522, 644, -446, 447, 68, -912, 306, -42, -232, -188, 464, 1098, -294, 256, 336, -228, -408, -274, -346, 156, 574, -108, 152, -528, -2, -62, 426, -498, -396, 914, 438, -640, -416, -664, -396, -202, -228, 1112, 230, 444, 384, 802, -36, 54, -80, 160, -30, -368, 114, -268, -110, -210, -350, 696, -198, 206, -388, 558, 662, -718, -222, 222, -420, -958, -64, -296, -404, -820, -910, 812, -40, -594, -82, -720, 458, 506, 212, -778, 354, -1364, 318, -428, 16, 286, -280, 394, 218, -124, 424, 534, 712, 170, 324, -374, 456, -479, -612, 12, 92, -146, -350, 116, -22, -352, 217, -432, -240, -1004, -238, -446, -368, -312, -476, -146, 312, -350, 618, -856, -436, -908, 364, 276, 198, 798, -74, -68, 346, -218, 256, -222, 388, -364, -10, -620, 460, 484, 472, 174, 458, 290, -316, 12, 412, 634, 80, -290, -552, -506, -162, 188, 172, 170, -38, 4, 0, -440, 192, -38, 620, -1112, -190, -566, 716, 6, 26, 490, 210, -386, -210, -96, 406, 492, 58, -892, 446, 1226, 640, -486, -394, 318, -178, 60, 502, 514, -508, -176, -110, -480, 196, 1092, 70, -512, 2, 1210, 380, 950, 264, -50, 940, -98, 38, -312, -138, 206, 54, 412, 420, 179, -30, -482, -60, 996, 366, -192, -98, -830, -172, -286, 1164, 34, -26, -238, 436, -166, -2, 724, 384, -48, -118, 26, 348, 830, 592, -40, 166, -248, 344, 110, 564, -192, -666, 605, -344, -106, -530, 1524, 418, 1082, -152, 370, -612, 1070, -432, 62, 1032, -962, -506, -1180, -582, -476, -110, 508, 72, -1290, -124, -178, -182, 306, 538, 62, 206, 172, -342, 384, 508, 98, 132, -144, -942, -1110, -418, 230, 360, 498, 376, -252, -218, 284, -34, 252, 992, -356, 282, -266, 150, -440, -214, 328, 120, -8, -542, 266, 222, -1630, -36, 88, 276, -936, 540, -236, -422, -78, 1097, 468, 224, 652, -234, -358, 122, -14, -372, 774, 300, 1944, 674, 772, 264, -72, -360, 206, -318, -90, -216, 1002, 454, -796, 288, -20, -630, 1290, 236, -88, -74, 176, 2, -248, 100, -930, -552, -458, -660, -52, 46, -754, -126, 406, 240, 2, 694, -1840, 216, 694, -96, 524, 414, 614, 298, 516, 448, 624, -320, -426, -418, -62, 214, -334, 40, 582, 250, 88, -636, 186, 448, -1730, -148, -450, 356, -46, -748, -294, 468, 363, -202, 456, -910, -30, 330, -10, -390, 1236, 152, 1054, 236, 402, -306, -66, -450, -556, 130, 278, -186, -70, 82, 72, -294, -350, 84, 90, 600, -1411, 10, 446, -22, 246, -150, 172, -244, -176, 286, -690, -286, 626, 340, 724, -1340, 28, 442, -214, 294, -730, 250, -34, 390, -58, -356, -12, 862, 746, 390, -252, 548, -228, -694, -24, -606, -140, 502, -518, -108, 334, -50, -180, 562, 1242, -964, -884, -432, -778, 14, -322, -284, 472, -384, -254, 418, 288, 744, 810, -232, 978, 296, -730, -612, -266, -8, 430, -326, -586, 628, 496, -186, 230, 54, 1218, 364, 676, -252, -630, 20, 444, 142, 128, -324, -688]