# Trace form for 4019.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 335, -2, -2, 336, 2, 2, 0, -6, 331, -8, -8, -16, 6, -16, -12, 326, -4, -20, 4, -8, 2, -24, 16, -8, 329, 6, 4, -28, 6, -12, 6, -14, -32, -20, -10, 352, -2, -14, -18, -4, -4, -4, 12, -38, -14, -12, -20, -72, 339, 16, -26, 16, -10, -14, -40, -16, 18, 16, -12, -10, 30, 18, -34, 312, -10, -2, 2, -56, -38, -26, -14, -76, 20, -42, -54, -6, -24, 40, -8, 26, 319, 10, 18, -22, 36, -10, -44, -110, 2, -6, -16, 80, -46, -18, -4, 44, 2, -44, -38, 266, 16, -20, -12, 8, -12, -10, -24, 2, 2, 62, 20, -70, 12, 62, -54, 30, -6, -102, 22, 12, 253, 80, 0, 12, -36, 30, 22, -72, 2, -4, 0, -2, -36, 78, -110, -52, 24, -84, -20, -34, -16, -52, 28, 354, -28, -2, -50, -60, -44, 6, 26, -60, -2, -122, 6, -34, -36, -12, -28, -56, -56, -62, -24, 52, -98, -4, -54, -18, 331, -30, -58, 52, 20, 86, 24, -84, -92, 6, 12, -94, 10, -16, -22, 26, -12, 44, 12, -34, -40, -42, -54, -116, 12, -12, -30, 264, -22, -106, 18, 66, -86, 6, -12, -88, -28, -30, 12, 66, -70, 42, 10, 60, -68, 30, 14, -80, 40, -142, 58, -78, -4, 212, 104, 28, 285, 48, -38, -44, 18, -100, -56, -40, 16, 68, 108, 22, 16, -104, -30, 6, 26, 116, 20, 56, -22, 100, 82, 6, -12, -10, 42, -132, -24, 36, -92, 278, 18, -40, 54, -26, -54, -66, 12, 152, 54, 8, -6, 114, -30, 80, -6, -112, 100, 40, 34, 30, 42, 12, 64, -136, 48, 10, -12, -78, -44, 44, -6, -190, 411, -22, -62, 138, 14, 168, -56, -170, -48, 56, -38, -292, 100, 144, 16, 82, 142, -182, 56, -186, -10, 122, -98, 304, 52, -10, -10, -68, 90, -2, -90, 40, 22, 118, -46, 440, 90, 32, -122, 46, 102, 16, 48, -30, 26, 14, 6, -72, 0, 50, 88, 280, -84, -174, 36, -30, 122, 78, 94, -298, 80, 14, -174, -76, -96, -6, 40, -80, 40, 62, 28, -254, 321, 88, 26, 56, 56, 110, 32, 58, 74, 242, -72, -160, 66, -42, -74, -56, 192, -94, 38, -6, 66, 16, 60, -14, -24, -22, -48, 100, 102, -12, -4, -118, 42, 50, 44, -232, 22, 58, 42, 138, 92, -176, 192, -148, 36, -140, -122, -106, -32, -128, 34, 52, 126, -60, -50, -122, 74, 130, 10, -254, -28, 106, -210, -112, 162, -22, 0, -92, 28, 106, 78, -106, 98, 114, 46, -64, 84, -106, -66, 160, 385, -164, 4, 28, -48, -228, -40, -106, 64, 142, -84, 14, 172, 68, 18, 362, 76, 232, -82, -74, 60, 106, -26, -20, 72, -164, -52, -104, -22, -46, -40, -158, 46, -26, 46, 164, 98, 156, 160, 180, 22, -162, -42, 44, 74, 90, -70, 226, 88, 30, -18, -18, 62, -4, -80, 188, 120, -34, -52, -320, 118, 76, 60, 64, -74, -8, 48, -32, 66, 436, -86, -200, -82, 142, 4, -146, 38, -184, -136, 30, 90, 240, 0, 96, -26, 36, -74, -324, 401, -124, 44, -90, -34, -96, -98, 132, -12, 168, 66, -194, 146, 106, 36, -118, 100, 46, -12, 60, 118, -306, 4, -20, 38, -278, -24, -152, -18, -224, 128, -26, -214, 162, 70, -110, -134, -34, -76, -342, 56, 2, -80, 72, -38, -200, 110, 454, -16, 30, -120, -138, -22, 104, 100, -40, -132, -232, -4, -40, -118, -64, 316, -152, -6, -18, -236, -96, 330, -112, 88, -164, 38, -106, -10, -104, 254, 114, 24, -304, -16, 124, 4, 50, 42, 248, 26, -432, -130, -224, 90, -326, -36, -84, 178, -166, 435, 76, -56, -110, 70, -190, 2, -142, -10, 22, 50, -72, 74, -250, 30, -462, -30, 30, 34, -232, -124, -174, -72, -758, -224, 82, 102, -262, 100, 112, -164, 18, 178, -176, 64, -370, 32, -132, -18, -76, 200, 52, -64, -540, 34, -194, 62, -336, -22, -186, 8, 106, 16, 284, 96, -328, -180, -152, -102, -68, 226, -244, 194, 80, -48, -288, -94, 312, 2, -68, 62, 176, 38, -206, -138, -2, -118, 100, 126, -194, -176, -258, -84, -368, 36, 214, -2, 30, -30, -202, 126, -150, -12, 12, 174, 200, 78, -92, -132, -56, -104, -192, -6, 42, 103, 312, 90, -362, -28, -120, 2, -116, -10, -116, -62, -378, -42, -180, -256, 514, -62, -12, -180, -140, -124, -130, 114, 96, -134, 50, -74, -86, -62, -358, -96, -8, -62, 98, 40, 8, 16, -68, -18, -232, 62, 38, -134, 76, 106, -518, -40, -326, 236, 92, -146, -46, -408, -34, -98, -202, -224, -86, -140, -348, -272, 172, 184, -696, 312, 78, -366, -146, 64, -164, 68, -58, -82, -376, 12, -428, 70, -172, -284, 182, -44, -240, 16, -100, -234, -196, 118, -94, -44, -178, -4, 14, 184, -146, 92, -398, -86, -32, -198, 128, -8, -122, 136, 322, -226, -132, 38, -208, -502, -78, -382, 162, 239, -68, -30, 170, 120, -128, 162, 62, 112, 72, -198, 30, 164, 180, -316, -186, 114, -464, 120, 102, 106, -156, 20, 92, -46, 8, 90, 372, -160, -302, 76, -330, 54, -104, -348, -98, 94, -370, 426, -46, -4, 108, -180, -70, -274, 30, -18, 268, 34, 48, -174, 0, 298, 48, -20, -156, 92, -62, 100, 162, 22, 8, -394, -152, 158, -22, -54, -30, -88, -218, 14, -168, -56, -84, -18, -38, 192, -156, 182, 374, -76, -6, -24, -100, 84, -108, 66, -130, -118, 154, -140, -90, -126, -246, 332, -110, 54, -204, -156, 434, 230, -202, 138, -184, 124, -234, -208, 122, 56, -204, -108, -294, -166, -178, 50, -266, 94, 258, -204, 98, 433, -12, 8, 176, 6, 124, -134, 162, -450, -122, -112, -84, 200, 120, 24, 132, -6, 2, -166, -432, 210, -32, 68, 308, -274, -214, -160, 262, -210, -158, -46, -130, -118, -280, -34, 54, 72, -122, -36, 98, -238, -208, 44, 294, 153, 256, 247, -466, 120, 242, 257, -180, -136, -304, -32, 40, 127, -20, -18, -236, -50, 36, 320, 292, -91, 266, -4, 68, -34, 8, -12, 56, 66, -52, -819, 52, 200, -440, -86, -226, 94, -108, 56, -154, -136, -528, -173, 252, -104, -116, 214, 100, 2, -160, -52, 506, -286, -514, -4, 536, -35, -436, 70, -94, -90, -140, -222, -246, -50, 22, 264, -26, 72, -156, 54, 234, 21, 270, -216, 208, 6, 72, -26, 488, -76, 198, 378, -20, -235, -118, 226, 154, -52, -128, -89, -66, 206, 168, 218, 268, 34, 120, 196, -184, 262, 30, -32, -106, -114, -518, 302, -164, -64, -178, 37, 28, 198, 82, 330, -186, -68, -26, 258, 254, -188, 128, 152, -114, 192, 144, -38, -188, 86, 266, 292, -198, 437, -2, -106, 300, -72, -134, -6, -80, -324, -378, 48, -432, -164, -14, -74, -356, -46, -100, 448, 464, -94, 34, 188, 110, 57, -26, 102, -302, 98, -286, -522, 374, 106, 364, 2, 30, -60, -102, -492, 526, -134, -84, -76, -34, 184, -82, 218, -98, 224, 264, -139, -462, -128, -94, 262, -38, -44, 6, 170, -126, -370, -48, 174, -1894, -180, -490, 12, 56, 116, 508, 2, 4, -130, 284, -190, 342, -38, -82, -221, 298, 238, -406, 122, 196, 40, -376, -102, -280, 443, -362, -120, 574, -108, -332, 442, -104, 50, 192, -90, 306, -178, -74, 0, 634, 150, -458, -224, -14, 227, -30, -36, 782, 128, 470, -422, -286, -86, -272, -326, 252, 20, 400, 126, -110, 148, -188, 622, -82, 70, -354, 74, 208, -250, -248, -158, 78, 168, -594, -308, -82, -461, -344, 284, 6, 554, -102, -154, 364, -192, 72, 78, 192, 284, 226, 192, -106, 52, 30, 96, 866, 264, 128, -330, 334, 98, -102, 220, -336, 30, -236, -142, -484, -98, -116, 301, -252, 222, -360, 44, 236, 18, -272, -110, 94, -32, 128, -344, -16, 112, 180, 358, -272, 148, 48, 132, -882, 76, -22, -522, 350, 410, 254, 148, -478, 110, -512, 392, -342, 54, 290, -189, -194, -154, 6, -70, -14, 130, 250, 126, 152, 100, 24, 160, 708, 8, -182, 176, 106, -98, 94, -212, -278, 191, 84, -122, -32, -202, 780, -36, -542, -90, 224, 184, 1040, -20, -120, 50, 434, 69, -556, 418, 388, 272, 22, 134, -156, -126, 64, 124, 582, 324, -552, -164, 194, 252, -68, -28, -510, 154, 136, -210, 108, 44, -128, 106, 178, -50, 540, 224, -62, 370, 78, -340, 476, 328, -180, 188, -172, 3, 654, -290, -410, -64, 150, -746, -32, -162, 206, -270, 230, 382, -64, -132, -484, -58, -346, 16, 420, 104, 460, 134, 172, -360, 256, -54, 496, -110, -12, 226, 118, 30, -614, -34, 614, 200, -86, 170, 1056, 154, 348, -109, 260, 28, -878, 210, 330, -150, 144, -100, 26, 462, -156, -544, 300, -14, 126, -122, -408, -346, -512, 70, -806, 136, 316, -66, 472, -16, 224, 454, -462, -498, 74, -206, -28, 428, 224, -560, 50, 154, 2, 158, 294, -120, 574, 33, -608, -84, 628, 284, 750, 396, -150, 42, -214, 433, 254, 12, 502, -6, 92, 370, 158, 118, -966, 486, -204, 160, 364, -388, 152, 90, -144, -446, 132, -10, -160, 142, -156, -40, 452, 130, 210, 54, 46, -120, 586, 36, 68, 160, -46, 271, -130, 82, -540, 70, -490, -324, -206, 410, 802, 148, -12, -72, -22, -248, -284, -82, -304, -350, 890, -54, -678, 198, -112, -44, 32, -218, -306, 102, -296, 16, 260, -246, -72, -22, 108, -60, -230, 256, 168, -22, -732, -202, -138, 230, -66, 176, 364, 75, 44, -192, -248, -102, -242, -144, 802, -42, 458, 196, -300, -102, 690, 90, 78, 202, 318, -430, 44, 358, -366, -168, -38, 164, 668, 68, -562, -334, -318, 16, 298, 448, -348, -94, 216, 568, 378, -514, -302, -104, -362, -288, 534, -192, 414, -190, 54, 360, -66, 157, 250, -214, 508, -214, -176, 320, 28, -106, -84, -22, -384, -346, 318, -120, 244, -44, 380, -422, 200, -84, -84, -154, 204, -176, -2, 483, 414, 20, 44, 468, 514, 278, -154, 182, -132, 236, -376, -120, -710, -386, -276, 258, 462, 236, 636, 330, -614, 122, -116, -652, 274, -251, 82, 110, 336, -208, -570, 4, -230, -148, 34, 38, 248, -120, -52, -94, 662, 78, 366, -188, 676, 188, 52, 484, 296, -44, 248, 0, 306, -438, 180, -74, 264, -302, -136, -124, -782, -176, 116, 216, -142, 98, 110, -60, -440, -8, 342, -56, 104, -580, 444, -274, -352, -218, 78, -329, -132, -44, 740, 102, -528, 290, -504, -112, 404, 196, -540, 550, 0, 202, -138, -184, -350, -20, -10, 188, -264, -124, -258, 228, 346, 334, 154, 192, 526, 120, -844, -400, -180, 136, -218, 610, -194, -170, -172, -180, 302, 234, 70, -12, 1102, 268, -308, -110, -54, -304, 776, -398, -68, -542, 118, -265, -834, 56, -2, 196, 354, -184, 1182, 146, 80, -142, 442, 100, 196, 424, 610, 166, -64, 30, -210, 336, -128, 472, 326, 74, 66, 256, -50, 582, 400, 34, -132, 177, -578, 16, -104, 492, 248, -352, 120, 40, -300, -234, -206, -312, -22, -78, -164, -336, 556, 86, -584, 240, 502, 196, 36, -112, 460, 189, 814, 118, 200, 324, 120, 48, -242, -86, -434, -190, 182, -570, -492, 308, -152, 524, 238, -308, 58, -180, -588, -330, 46, -118, -544, 490, -80, 112, 332, -166, 358, 576, 186, 352, -508, 492, -50, 58, 432, -356, 518, 28, -200, -266, -346, -368, -606, -38, 918, -200, -116, -70, -852, 606, -584, -294, -130, -270, 92, 869, -414, 356, -344, 316, 134, 444, 590, 116, 880, -398, -496, -458, 204, 314, 180, -244, 228, 4, 468, -82, 426, -206, -494, 60, 496, 432, -968, 382, -264, 542, 638, -334, 196, -664, -318, 236, 84, 360, -708, 54, -360, 84, -130, -242, -424, 102, -488, -18, 172, 388, 166, 352, 130, -160, 44, -258, -308, -440, 578, -446, 180, 367, 470, -272, -394, 170, 20, -456, 542, -178, -100, 460, 292, 54, 118, 68, 2, 896, -368, -288, -330, -100, 784, 248, -280, 318, 364, 368, 162, -59, 164, 82, 194, -288, 78, -328, -102, -52, 88, 164, -226, 454, 490, -218, 1330, 126, 448, -490, -562, 402, 116, -654, -886, 474, -182, -194, -1098, 108, 1244, -272, 268, 60, -358, -306, -246, -161, -40, 88, -244, 142, -150, -512, 70, 292, 144, -76, 170, 202, -8, -122, -264, 578, 380, 208, 526, -158, -172, -148, 342, 280, -38, -230, 270, 264, -682, 32, 464, -516, 1336, 74, 850, 394, 468, -234, -198, -374, 136, -12, 330, 360, 306, 434, 18, 250, 574, -354, -670, 78, -22, 380, -56, 164, 190, -168, 732, -392, 216, 54, 914, 86, -108, 87, -466, 38, -262, 214, 626, 20, 442, -596, 100, -80, -882, 938, 50, 226, 302, 114, 896, -50, -30, -266, 296, -200, -212, 86, 788, 100, 1078, -136, 400, -90, -270, -90, -408, 242, 370, 430, 498, -20, 390, -16, 252, 398, -874, 236, 836, -108, 168, -698, 92, 282, 1002, 152, 508, 124, 114, -142, -52, -260, -144, 422, -40, 558, -1054, 126, 436, -186, -52, 315, 196, 78, -200, -610, -1032, 42, 288, -294, 166, -298, -218, 2, -258, 271, -84, 76, 362, -280, 278, -166, -574, -156, -660, -258, 1190, -272, 438, 482, -450, -404, 512, -192, 170, -518, -8, 578, 96, -690, 374, -188, 320, -98, -450, -422, -322, 146, 76, 142, -596, 266, -16, -382, 820, 310, 308, 322, 72, -86, 42, -204, 222, 458, -492, -190, -724, -140, 226, -324, -102, -487, 146, -744, -18, -324, 788, 654, -978, -60, 446, -606, -48, 98, 188, 42, 244, 26, -462, 74, 292, 478, 310, 56, -84, 328, -42, -446, 102, -50, -498, 24, -854, 26, 110, 62, 224, 642, 754, -90, 1526, 240, 298, -510, 452, -114, -234, -448, -32, -260, 356, -242, -730, -188, 228, -640, -782, -108, 228, -166, 614, -236, -10, 330, -438, 264, -26, 82, 296, 52, 700, 12, -278, -563, -688, 94, -242, 126, 452, -36, -270, -202, -234, -118, 402, 110, -596, -12, 252, 464, -180, -68, 68, 136, -426, 94, -1012, -62, -256, 72, 1416, -72, 454, 94, -128, -222, -298, 176, 774, -474, -160, 44, 1224, -156, 546, 538, -1540, 70, 1228, 312, -226, 294, 668, 330, 1140, -70, 306, 180, -586, 12, -520, -452, -354, 282, -186, -624, 230, 695, 468, -164, 66, -114, -4, 50, -520, -490, 412, 191, 236, -214, 28, -34, -280, 170, -342, -430, 192, -526, 314, 16, 256, 24, -168, 180, -94, 364, 450, -402, -184, 146, 90, -414, 542, 440, -256, 168, 1054, 330, -626, 228, -26, -402, -122, 94, 818, -322, -960, 332, 150, 252, 480, -644, 306, 858, -478, -86, 318, 134, 454, -342, -244, -242, -326, 280, 224, 472, -582, 454, 250, -208, 280, -20, 984, 234, 648, -102, -150, 92, -532, 454, 712, -76, 442, -501, 26, 10, -792, 24, 164, 246, -378, 176, -540, 184, 198, -238, 598, 654, 966, -286, 568, -8, -12, -506, 40, 332, -126, 228, -784, -924, -234, -170, 162, -154, -88, -106, -1266, 220, -332, 546, 98, 648, 746, -118, -618, 590, -640, -234, 684, 140, 140, 2, 566, -374, 664, -46, 842, 616, -140, -290, -560, 610, 108, 254, 542, 42, -418, -218, -828, -138, 542, -88, 210, -368, -100, -138, -800, -404, -208, 12, -506, 109, 848, -200, 698, -568, -216, -432, -68, 330, 1244, -498, -1192, -54, -410, -290, -1136, 730, -304, -418, -50, -16, -176, 422, 52, 22, -596, -164, -1246, 464, 218, 294, -928, 54, -832, -358, -42, 245, -258, -520, 800, 32, 690, 360, -1032, -94, -468, -44, 836, 466, -714, -396, 1028, 202, -540, -530, -1076, -152, -216, -34, -50, 112, -220, -146, 948, 452, 900, -52, -720, 26, 388, 596, 68, 206, -340, -402, -1286, 76, 20, 108, -324, -57, -314, 34, 382, -484, -442, 566, -370, 242, -534, -720, 50, -342, -834, -418, -68, 288, -296, -62, -932, 360, 254, 292, -854, -384, 298, 0, -946, -1042, -126, -816, 338, 366, -608, 572, -318, 164, -292, -32, 348, -62, -76, -304, -890, 198, 54, 98, 102, 390, 436, -1190, -476, -378, 96, 112, -1118, 276, 1054, -110, -76, 626, 490, -478, -84, 254, -48, 258, 968, -76, 222, -612, 578, 338, 1360, -8, -1038, 152, 440, 376, -92, 334, -282, -73, -574, 120, 532, 356, 116, 348, -836, -388, -398, 14, -392, -686, 366, 190, 316, -232, -482, 884, -544, -224, -766, 96, -4, -280, 698, 6, -1200, -132, 790, -572, 58, 16, -676, -456, -1562, 436, -36, -126, 44, -632, 402, 302, 786, -736, 18, 322, 486, 66, 614, -36, -678, -738, -338, 332, -490, -402, 924, 382, -468, 18, 424, -22, 1020, 294, -330, 276, -506, 144, 196, 410, -144, -1054, 330, -280, -22, -116, -606, 298, 954, -236, 1676, 73, 128, 389, 934, -142, 204, -12, 484, 120, 94, 462, -452, 522, -242, -320, -110, -214, 1092, 954, -64, -686, -620, 440, -764, 320, 448, -124, 496, 156, 294, -256, 1492, 68, 302, -676, 120, 228, 362, 286, -66, -100, 676, -224, 570, -12, 888, 360, -478, 0, 498, 210, -68, -162, 234, -162, 334, -320, 658, -146, 718, 252, 344, -186, 468, -684, -80, -586, 1544, 544, 508, -756, 438, -294, 460, -846, 10, 478, 474, -362, -426, 876, 36, 22, -298, -2, 594, 202, -176, 389, 1142, -510, 1188, -396, -116, -148, -716, 374, 678, -120, 152, 204, -536, -102, -124, -220, 216, -218, 178, 484, 48, 264, -254, -602, 294, 398, 802, 122, 1140, 132, -370, -228, 68, -90, 238, 134, 650, -218, -542, -1038, -492, -44, 982, 56, 604, -786, -176, -770, -206, -204, 10, -928, -1014, 170, -32, -222, 132, 484, 240, 88, -196, -296, -762, -544, -690, -952, -86, -148, -158, 80, -480, -460, 1472, 342, -282, 62, -50, 364, 1088, 844, -492, 6, -260, -662, 786, 222, 258, 277, 1096, -6, -1002, 440, 550, -560, -50, -460, 570, 130, -514, -234, -416, 376, -362]