# Trace form for 4013.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 334, -2, 0, 330, -4, 0, -2, -6, 338, -10, -6, -2, 0, -8, -8, 326, -12, -20, 0, -18, 4, -2, -6, -14, 320, 18, 6, -26, -2, 0, 0, -24, 12, -20, -10, 318, -2, 0, 48, -22, -10, -22, 12, -2, -30, 6, -24, -24, 324, -46, 4, 8, -30, 24, -12, -20, 28, 16, 12, -10, -4, 10, -4, 296, -10, 18, -10, -74, -10, -64, 2, -74, -4, -42, -12, -14, -56, -64, -2, -2, 382, 0, -12, 28, -26, 14, -10, 0, -2, -50, -16, -90, -6, 4, 12, -14, 0, 32, -38, 320, -6, 48, -16, 60, -14, -96, 20, 48, 2, 52, 28, -60, -16, 52, -46, 76, 26, -58, -36, -8, 324, -2, -48, 0, -78, 36, -28, -8, 98, 60, 24, 14, -4, 8, -44, -40, 22, 44, -10, -70, 44, -20, -2, 366, -28, 0, 6, -114, -30, 140, 4, 36, -14, -128, -32, 202, 22, 6, -34, -128, 54, -74, 10, 14, 62, -48, 70, -32, 294, 12, 36, 12, -50, -34, -28, -92, 4, 34, -30, -94, 16, 18, 44, -62, -62, 54, 10, -4, -68, -64, -54, -72, -10, 36, -40, 202, -10, 58, 8, -156, 44, -114, -12, -66, 70, 46, -102, -20, -72, -170, -54, -162, -46, 0, -48, 84, -24, 30, 122, -126, -48, -168, 96, -168, 276, -60, 10, 38, 62, -8, 78, -24, -34, 60, -54, 128, -92, -18, 46, -24, -6, -22, 38, -2, -66, 60, 118, -60, 106, -168, 28, -156, -32, 46, -18, 322, -38, -146, 14, -94, -2, -64, -6, -6, -136, -48, 106, -76, -12, 54, -22, -230, 22, -148, 4, -54, 16, 82, -66, -304, -28, 102, -46, 0, -144, 12, -24, -220, 250, -164, -20, -86, -116, -66, 20, -80, -64, 24, -54, -268, -20, -178, 78, -178, -46, -88, 38, -236, -12, -108, 22, -228, -30, -150, 126, -142, -78, -38, -40, -52, -26, -10, -98, 290, -68, -92, -50, -208, 38, -372, 128, -82, -184, -142, 8, -144, 28, -126, -86, -72, 42, -138, -64, -36, -6, -94, 86, -98, 68, -32, 294, -36, -12, 208, -2, 64, -196, -92, 114, -210, 374, -62, -12, -168, -148, 20, 82, -136, 80, -8, 48, -86, -34, 32, -114, -120, 26, -170, 56, 64, 156, -4, 14, -96, -76, -52, 20, 164, -96, -78, -14, -8, 114, -164, -48, -174, 28, 98, 192, 250, 36, -74, -36, -114, -66, -38, 34, 220, -72, -64, -30, 36, -36, -70, -52, 176, 180, 4, 92, -144, 50, 170, -14, -234, 28, 80, -4, 76, -26, 254, 12, 56, -80, 86, 76, -54, 94, 306, -78, 134, 252, -158, 40, 224, -170, 62, 80, -8, 72, -226, -50, -192, -38, 66, 178, -138, 10, 110, -66, -344, 20, -210, 32, 76, -28, 68, -92, 298, -150, 12, 0, -132, 10, -292, -74, -30, -184, -86, 10, -4, -34, -8, -140, 354, -100, 186, -134, 196, 96, -132, 112, -94, -140, -62, -228, -44, 136, 18, 118, -174, 30, -92, -38, 198, -88, -58, 50, 240, -100, 68, -22, -72, 284, 42, -76, 178, -64, 10, 18, 292, -36, -198, 160, 48, 22, -82, -18, 148, 398, -30, -98, -64, -58, 34, -130, 184, 52, -46, -112, -164, -60, 158, -74, -54, 206, -308, -166, 48, 262, 80, -104, -74, 72, 114, 4, -136, -152, 234, 258, -16, 352, -58, 10, -90, -172, 64, 228, 32, 0, 40, -168, -294, 134, -110, -16, 426, 84, 250, -68, -118, -48, -390, 10, 92, 88, 62, 50, 350, 50, -12, -108, -244, 144, 150, -150, -258, 0, 8, -30, 276, 132, 192, 18, -84, -14, 252, -50, 236, 80, 82, -128, -202, 70, 216, 94, -224, 178, 52, -28, 202, -68, -98, -88, 556, 290, 66, -176, -22, 8, -138, 6, 158, 334, -198, -6, 272, 142, -70, -34, -288, 138, -26, -176, 604, 276, -128, 88, -346, -56, 20, 140, 62, -56, -10, -50, 156, 210, -72, -26, 360, 36, -8, 56, -186, -34, 28, 2, 256, 414, -154, -192, -278, 76, -138, -300, 450, 104, 296, -84, -6, 0, -236, -56, 40, -88, -44, 26, -140, 20, -30, -34, -230, -184, 110, -22, 44, 88, -44, 368, -164, -72, -156, -142, -4, 108, 4, -26, -184, -262, 352, 230, 100, 34, 136, 28, 146, 64, 58, 30, -64, -60, -8, -216, 102, -136, -22, 96, 32, 536, -18, 144, 218, -42, 80, -194, -186, -8, 242, 4, 406, 48, 140, 114, 218, -56, -128, -120, 232, 84, 184, 14, 58, -110, -114, -188, -362, 150, 74, -74, 116, -104, -218, 80, -278, 22, -108, -210, 238, 20, 420, 12, -66, -76, 438, -32, 268, 442, 56, -60, -142, -32, -58, -116, -72, 170, 66, -200, 48, -30, 16, -72, 250, -36, -84, -58, 12, -116, 410, 66, -214, 88, -120, -166, 74, -138, -120, 112, -2, -6, 10, -14, 12, 144, -292, -116, -252, 234, 192, -212, 436, -82, 328, -224, 150, -32, 172, 330, -716, 116, 194, -266, 2, -122, 42, -220, 16, -238, -390, -52, 118, 446, -150, -60, -94, -262, -234, -120, -392, 366, -294, -382, 10, 116, 92, 108, -180, -210, -328, -24, -462, 202, 144, -124, 492, 56, 324, -374, -146, 140, -214, 76, 140, -38, 162, -12, 206, -26, 128, -280, -96, -126, -276, -290, -130, -134, -44, -20, -400, 66, -68, -18, 180, -32, -108, 20, -508, 208, -380, -46, 128, -240, -218, 70, -214, -96, -12, 158, 266, 30, 354, 42, -282, -62, -256, -416, 20, -306, 440, 0, 32, 326, -14, -34, 68, 82, -196, -344, 52, -160, -82, 124, -256, 174, 130, -164, 92, 50, -68, 6, 58, 166, -30, -50, 208, 20, 86, -218, 390, -96, -14, -152, -36, 48, -326, -104, -40, 302, 252, -34, -194, 362, 56, 206, 14, 120, 170, 246, -302, 38, 214, -36, 94, 110, 556, 238, 172, -44, -4, -44, -10, 74, -80, -70, -138, -106, -192, -290, 668, 6, 116, -108, -242, 174, -144, -148, -26, 122, -100, 148, 190, -34, 40, -98, 148, 80, -120, 208, 124, 114, 70, -262, -18, -166, -210, -330, 338, 130, 316, 180, -96, -64, -544, -172, 386, -208, -210, 36, -188, 28, 258, 28, -744, -120, -350, -316, 262, -36, 276, -20, -6, 170, 538, -176, 256, 404, 284, -230, -354, 12, 490, -26, 80, 58, 146, -302, -218, -76, 150, 366, -276, -42, -360, 62, 372, 92, -270, -142, 212, -128, 122, -282, -10, 18, -28, -60, -86, 210, -16, 148, 38, -10, 162, -200, -160, 16, 306, -168, -354, 544, 216, -126, 40, 266, 100, -96, -168, -352, -258, -6, 268, 108, -56, 82, -54, -6, -170, -194, -24, -102, -296, -80, 6, 28, 30, -12, -158, 148, 18, 308, -114, 50, -396, 46, -438, -532, 96, -2, 488, -176, -168, -62, -34, -156, 60, -12, 68, -158, 168, -100, -1066, -96, 24, -360, 290, -194, -498, -38, 172, 98, 62, -100, -336, -216, -82, -510, 38, -174, 316, -252, -548, 572, -170, -114, -34, 238, 178, -216, -100, -120, -130, -218, -412, -220, 122, -306, -174, -92, 318, -246, 392, 120, -476, 384, -430, 164, 352, -266, -292, 110, 206, 466, -460, -32, -78, -292, -468, -214, 2, -38, -662, -208, -358, -244, -14, -52, -298, 0, -282, -246, 390, -270, 114, 100, 66, -418, -470, 164, 14, -244, -18, -204, 476, -128, -824, 60, 74, 180, -224, 130, 508, -136, -712, -64, -404, -462, 120, -216, 94, -312, 296, -54, -178, 12, 656, 646, -194, -288, -562, 162, -374, -52, 364, 182, 294, 106, -492, -484, 44, -128, 138, 72, -464, -160, -236, -332, -428, -328, 130, 328, 42, -168, 114, 260, -80, -400, -126, 20, 244, 108, 78, 96, 228, 160, -34, -36, -108, -406, 112, -188, -106, -214, -772, -312, -240, -256, 530, -170, 352, 182, -100, 174, -602, -22, -132, -230, -308, -208, -878, -282, 42, -66, -596, -56, 98, -360, 126, 228, -314, 64, -642, -112, -566, -314, 484, -196, -88, -334, 42, 216, -254, -372, -1236, 248, 280, -548, -208, -40, 56, 274, 474, -64, -120, 158, -692, -168, 28, 140, 172, 180, 464, -394, -204, -224, 302, -296, -278, 112, 540, 402, -490, -196, 106, -90, 322, -68, -190, -102, 486, 458, 248, 84, -4, -346, -322, 138, -372, -76, -158, 428, 66, -94, 36, 498, -220, -288, -80, 340, 414, -244, -316, -178, -206, -112, 270, -156, 114, 50, 400, -48, -510, 252, -224, 70, 1184, 160, -268, -82, -250, -158, 48, 12, 158, -112, 192, 132, 456, -120, 370, 384, 574, -104, -104, 312, 806, 624, -228, 194, -728, 272, -328, -100, -174, 40, -174, 54, 228, -14, 342, -42, -1220, 182, 78, 526, -4, -36, -614, 14, -48, 54, 476, -60, -216, 312, 180, 130, -40, -134, -234, 150, 242, -48, 444, -50, 410, -286, 146, -420, 136, -72, 620, 140, 118, -216, -76, 16, 390, 62, -214, 54, 152, 66, -30, -66, 4, 462, -72, -268, -248, -32, 282, -316, -80, -258, 448, 230, 932, -154, -196, -20, -186, 130, 52, 356, -46, 462, 550, 72, 272, 14, -134, -6, -380, 24, 72, 50, 30, -4, -294, 498, 178, 702, 300, 134, 592, -22, 972, -68, -392, -174, -488, -60, 272, 616, 270, 310, 266, -212, -132, 310, -536, 240, 296, -132, -54, -66, 12, 44, 162, 336, 712, 40, 288, 64, -46, -130, -518, -404, 6, -12, -162, -220, -262, 22, -150, 100, -234, 114, 26, 508, 416, 340, 272, -340, -148, -68, -324, -26, 416, 118, -2, -20, 502, 34, -924, -250, -8, 64, 426, -78, 442, -40, 278, -60, 92, 184, 364, 224, -780, 242, -106, 116, -230, 792, 332, 286, 174, 202, -10, 380, 44, 518, -16, 28, -204, 290, -112, 364, -262, -96, 340, 204, 132, -360, -444, 118, -550, 144, 546, 418, 476, 162, 714, -266, 428, 160, 178, 322, -376, 140, -678, 626, 388, -188, -410, -40, 104, 294, 572, 64, -158, 234, 170, -94, 164, -96, -236, -308, 312, 474, -138, 22, 780, 432, 284, -322, -300, 268, 682, 174, 704, 74, 496, -204, -26, 232, 34, 18, -94, 158, -456, 40, -176, 612, 244, 382, 248, 400, 1070, 226, 278, -236, 310, 294, -116, -30, -104, 166, 568, -128, -136, -54, 182, 196, 250, -370, 146, -100, -364, -120, -48, -40, 244, -156, 400, -30, -586, -54, 262, 44, 756, 78, -188, -124, 4, 92, 44, -52, -670, 90, 226, -84, 412, -36, -708, -92, 338, 808, -450, 196, -202, 66, 360, 396, -462, -90, 474, 152, 588, 260, -580, 534, -34, 16, 42, -216, -222, 212, 1062, 328, 954, 236, 808, 286, -332, -98, 108, 232, -560, -272, -606, -174, 176, 40, -302, -300, 216, 8, -700, 16, -328, 184, 336, 192, 316, 138, -186, -16, 1514, 76, -256, -282, 782, 154, -94, -116, -48, 150, 318, -122, -1042, -128, 290, 208, -542, -4, 18, -36, -570, -200, 670, 140, -450, -230, 52, -224, 36, -186, -514, -248, 424, 588, 518, 316, 88, -532, -700, -186, -204, -154, 168, -58, 86, -578, 340, 186, -454, 170, 52, 182, -594, 66, -38, 100, 518, 524, 322, -300, -976, 686, 116, -468, 278, -118, -112, -482, 140, 156, 320, 96, -288, -74, -432, -406, 34, -338, -420, 134, -60, 64, 542, 2, -84, -166, 200, 330, -530, -400, 412, -126, -72, -86, 154, 216, -1268, -178, 248, -178, -508, 226, -818, 258, -276, 78, -452, -162, -1264, -230, 304, 98, 60, 382, 454, 34, -60, 10, -570, 36, -760, -368, -472, 454, -236, -210, -260, 114, -710, -114, 422, 80, 324, -292, -128, 682, 174, -478, -692, 188, 100, -88, -386, -180, -174, 44, -766, -448, 520, 100, 246, 56, -240, -566, 264, 248, 586, -510, 226, 148, -108, 594, -1104, -138, 754, 72, -130, 88, 588, 144, 1086, -410, -356, -282, -418, -6, 192, 398, 66, 332, -4, -264, 816, 762, -344, -28, -140, -356, -66, 452, -186, -204, -1884, 128, -68, 262, -132, -402, 288, -214, 248, -396, 334, 52, 640, -342, -268, -10, 606, -224, -6, 578, 396, 974, 454, 252, -134, 14, 508, 210, -50, -332, -580, 226, 66, 88, -284, 112, -754, 178, 254, 714, 114, -142, -148, 166, -788, 274, -398, 42, 68, 162, 854, -114, 234, -234, -170, 112, -20, 272, 390, 168, 390, -128, 222, -250, 596, -12, -438, 264, -212, -490, 120, 404, 440, -406, 12, -318, 138, 64, 662, -204, -382, 264, 380, 298, 468, 288, 208, 176, -232, -312, 828, 304, 478, -86, -140, 154, 234, -64, 504, 166, 396, 196, 148, 312, 210, -426, 412, 286, -192, 24, -86, 276, 118, -30, 744, -148, 90, 252, 718, -394, 184, -40, 362, -130, -66, 38, -50, 88, 286, -126, 746, -306, -50, -24, -324, 642, 708, -128, 64, 348, 104, -76, 318, -236, 112, -140, 352, 114, -16, -236, -638, 192, 84, -522, -110, -244, -66, -320, 772, -170, -52, -544, 8, 442, 144, 146, 26, 396, -274, 0, 376, 304, 404, -280, 146, 306, -252, 388, 488, 266, -840, -216, 88, 108, 736, -260, -346, -60, 254, -342, 712, 20, -472, -304, -18, -310, -198, -226, -516, 200, 390, -6, -652, 316, -68, -172, 80, 660, -454, -350, -492, 262, -156, 20, 530, -134, 358, 66, -492, 244, 528, -224, 890, 144, -130, -226, 44, -312, 722, -126, -728, -304, 308, -350, -976, -378, 144, -16, 112, -152, -170, -202, 156, 416, 414, 196, -450, -96, 278, -90, 366, -654, -508, -70, -634, -208, 1000, -406, -68, 16, 1152, 632, 538, 14, 242, -650, 266, -152, 590, -74, -842, -60, 376, -150, -18, 644, -600, 174, -656, -376, -240, 198, -516, 264, -326, -168, 616, 400, 116, 70, 382, 476, 462, -400, -340, 320, 6, -790, 782, -326, -234, -136, -738, 140, -60, 36, 302, 110, -790, 432, 624, -68, 576, -166, 346, -478, -450, 98, 314, 166, -262, 856, -202, -148, 464, -336, -334, 92, 272, -80, -92, 210, 906, 116, -80, -56, 60, -424, -324, -80, -52, 316, -1014, -368, -50, -290, 156, 34, -1296, -178, -102, -382, 66, -366, 784, 200, 64, 248, 494, 244, -836, -40, -40, -616, 448, -288, -512, 266, 994, -140, -444, -264, 404, -390, 250, -18, -702, -282, -40, -190, -216, 152, 178, -168, -266, -6, -360, 470, -1066, -340, 416, 204, 54, -48, 1050, 118, 24, 56, -556, -774, 344, 352, -1292, 60, -976, -880, 844, -102, 160, 110, -248, 286, 374, 84, 44, 86, -4, -10, -78, 934, 1108, 254, 506, 150, 844, -580, 240, 156, 740, -218, -440, 344, -986, 160, 322, 284, -824, 576, 362, -54, -378, -210, 96, 374, 694, -280, -852, 118, 202, -456, -458, 668, 644, 714, 228, -86, 862, -332, 370, -124, -1020, -82, -460, 28, -250, -338, 1024, 182, 358, -144, 196, 34, 486, -278, -290, 478, 710, 184, -24, 364, 798, 70, 500, -302, 196, -452, -810, 240, 516, 210, 922, 206, -938, -426, 56, -850, 566, 196, 92, -214, 352, 0, -364, -320, -1032, -194, -262, -62, -290, 306, -1206, -146, 230, -474, 406, -12, 1528, 182, 1004, 892, 750, -466, 190, 140, 216, -150, 658, 332, -288, -272, -1044, 28, 518, -622, 540, 466, 236, -238, -62, -118, -1724, 240, -368, 210, 276, -324, -52, 876, 80, 236, 966, -140, 680, -472, -226, 322, -604, -66, 928, -306, 212, -80, 1106, -18, -508, -100, -106, -30, 776, -56, -944, 40, -480, -450, -874, 402, -800, -74, 266, -362, -890, 10, -924, -300, 296, 130, 88, 212, 266, -308, 912, 124, -512, -236, -212, 34, 1120, 420, 316, 472, 4, -430, -810, -194, -374, -390, -532, 332, 74, 20, 64, 308, -1244, 602, 682, 190, -318, 368, -72, -240, 946, 114, 120, 84, 902, -178, -126, 304, 702, -82, -1404, -58, -1178, -204, -40, -690, -242, -170, 584, 392, -658, 748, -640, 310, 250, -370, -224, -452, 888, -434, -26, 278, 88, 162, -252, 172, -238, -516, -152, 686, 1000, 314, 478, 212, -406, -486, -626, 62, 608, 278, 32, 170, -1488, 208, 686, 188, -354, -342, 630, 450, -352, 330, 192, 204, -440, -774, 400, 1004, 256, -490, 1262, 166, 644, -370, 466, 554, 1116, 92, 592, -770, 278, 300, 490, 366, -204, -56, -172, 338, -900, -218, -62, -436, 452, -188, -202, 400, -350, 274, -120, 172, -1052, 358, -696, 1148, 622, 456, -838, -10, 686, -212, 552, 126, 918, -632, -26, -252, -272, -196, -1466, 924, -304, 430, 428, 484, 1070, -468, 248, 24, -868, -408, -958, -40, -788, -228, -398, 394, -980, 276, -526, 222, -400, -36, -988, 76, 188, -578, -80, -134, -22, -92, 30, 58, -112, 50, -306, 468, 24, -262, -802, 38, -1068, -234, 504, -396, -708, -250, -448, -238, -552, 248, 32, 560, -1494, -506, 84, 606, -98, -150, -512, 330, -366, 310, 62, -330, -188, -326, 244, 292, 1158, -244, -832, 74, -166, -114, 322, -74, 72, -228, -198, 454, -484, 62, -172, 504, -832, -578, 76, 84, -1416, -188, -10, 358, -300, 542, -4, -246, -162, -542, -126, 142, -206, 22, 468, -140, 574, 200, -1532, 196, -210, 1306, 346, -236, -1250, 234, -322, 776, -448, -54, 376, -160, 676, -686, 138, 598, -586, -264, -464, 58, 216, -240, -322, -152, -136, 30, 118, -78, -1076, 90, -240, 602, 498, -16, -1046, 272, 456, -364, -148, 812, 450, 84, 512, -376, 380, -428, -560, -116, 394, 100, 484, -212, -394, -122, -300, -8, -174, -136, 308, 160, 954, -156, -44, -298, -824, 26, -342, 342, -208, 414, -680, 798, -116, 328, 306, 24, 302, 50, -164, -22, 64, -256, -326, -76, -204, -758, 556, 626, -438, 104, -558, -366, 6, -464, 434, -170, 1062, -718, 184, 42, 108, -598, 196, 688, 54, 370, -566, 558, 102, 738, 446, -654, -1474, 26, 198, 162, -388, -268, 132, 218, 428, -714, -522, 434, -1438, 166, 210, 320, -370, -366, -202, 610, 544, 992, 426, -150, -220, -72, 310, -426, 676, -518, -2888, 46, 852, -634, 962, -188, -1012, -462, 890, 1004, 514, -12, -1146, -268, -396, -268, -326, -334, -546, -400, -608, 184, 792, -44, 26, 152, 606, -1010, -564, -10, 904]