# Trace form for 4010.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 135, -1, 0, 135, -1, -4, 8, -1, 131, -1, -12, 0, 6, 0, -4, 135, 6, 3, 4, -1, -8, -4, -16, -4, 135, 2, 0, 8, 18, 0, 16, -1, 16, 6, 0, 131, 38, 8, 40, -1, -2, 32, 28, -12, 3, 8, 32, 0, 159, -1, -24, 6, 14, 8, -4, 0, 32, 2, 28, -4, 10, 24, 48, 135, -6, 24, 40, 6, 72, -8, 8, 3, 38, 2, 0, 4, 16, 16, -24, -1, 95, -26, -20, -8, -6, -28, 48, -4, 22, 3, 32, -16, -16, -24, 12, -4, -2, 7, -20, 135, 34, -24, 8, 2, 8, -6, -32, 0, 2, -4, 56, 8, 38, -32, -4, 18, 110, 0, 56, 0, 139, -2, 32, 16, -1, 8, 24, -1, 88, 14, 36, 16, 104, 20, -40, 6, 54, 16, -28, 0, -40, 8, 32, 131, -6, 14, 8, 38, -46, -4, 56, 8, -10, 8, 32, 40, 54, 40, 32, -1, 32, 23, -8, -2, 32, 12, 32, 32, 185, -6, 68, 28, 82, -16, 8, -12, -40, -10, 68, 3, 74, 8, 104, 8, 10, 112, -72, 32, 24, 0, -16, 0, -18, -2, -16, 159, 66, -68, 8, -1, 32, -10, -40, -24, -10, 40, -40, 6, -24, 8, -44, 14, -136, -60, 36, 8, 64, 82, -64, -4, 36, -56, 48, 0, 131, -34, 16, 32, -38, 4, -152, 2, -50, 50, -16, 28, -56, -16, 112, -4, -2, 27, -40, 10, -25, -48, 80, 24, 104, -1, -60, 48, 48, -48, 56, 135, -82, 0, 24, -6, -70, -40, -8, 24, 50, 64, 24, 40, 162, 0, 72, 6, -64, 78, -12, 72, 22, 0, 48, -8, 6, -24, 128, 8, -32, 0, 112, 3, 181, 10, -16, 38, -106, -4, 20, 2, 80, 18, -112, 0, 24, 72, -120, 4, 2, -26, 68, 16, 40, 0, -128, 16, 86, 74, -24, -24, -194, 0, 16, -1, -208, 0, -160, 95, 6, 68, 72, -26, 0, 48, 108, -20, 118, -32, -28, -8, 22, -71, -72, -6, -112, 48, -32, -28, 8, 66, -88, 48, 98, 0, 24, -4, -82, 8, 8, 22, -64, 36, 24, 3, 243, -22, -216, 32, -26, -152, 40, -16, -50, 6, -192, -16, 34, 0, -4, -24, -44, 184, 156, 12, -64, 16, -24, -4, -96, 102, -236, -2, -70, -40, 24, 7, -288, -86, 64, -20, 34, -16, 80, 135, -1, 16, 144, 34, 23, -56, -56, -24, -10, 6, -232, 8, -192, 112, 12, 2, 32, -112, -148, 8, 26, 40, 24, -6, 6, 8, 64, -32, -256, -20, -96, 0, 14, 8, -96, 2, 88, -48, -16, -4, -69, 36, -208, 56, -42, -80, -224, 8, 118, 3, 40, 38, -216, 4, -8, -32, 6, 2, -216, -4, -214, -56, 112, 18, 0, -26, -248, 110, -152, -24, -16, 0, -192, -56, 4, 56, 38, 72, 8, 0, -52, -130, -312, 139, -30, -60, 16, -2, -168, -41, -60, 32, 60, -8, -44, 16, -144, -16, -84, -1, -224, 72, -48, 8, 10, 8, -248, 24, -54, -32, 88, -1, -8, -90, 0, 88, 0, 40, -168, 14, -90, 114, 8, 36, -8, -16, -200, 16, -1, 30, -124, 104, -148, 80, -68, 20, -56, 6, 20, -40, 154, 72, 200, 6, -22, 24, 172, 54, 82, -4, 64, 16, 192, -54, 32, -28, -62, -40, 112, 0, -24, 54, -116, -40, 62, 12, 280, 8, -34, -56, -60, 32, 80, -24, -16, 131, -66, 141, -16, -6, -128, 8, 0, 14, -14, -78, -12, 8, 120, -32, -8, 38, -114, 128, -16, -46, -40, -104, -32, -4, 70, 40, 16, 56, 11, -64, 176, 8, 40, 14, -256, -10, 78, -52, -24, 8, 182, 16, 156, 32, -8, -40, -40, 40, 135, -50, -128, 54, 4, -8, 40, 40, 40, -46, -12, 32, 246, -16, 120, -1, 22, -48, 180, 32, -80, -48, 32, 23, 80, 2, -328, -8, -70, -40, -12, -2, -74, -64, -276, 32, -22, -44, -536, 12, -48, -6, -8, 32, 176, 8, -24, 32, 86, 94, 0, 185, -102, -208, 88, -6, -72, -64, 8, 68, -6, -96, 224, 28, -76, 8, -60, 82, -32, 28, -20, -16, -228, -26, 48, 8, -22, -96, 96, -12, 56, -58, -128, -40, -30, 72, 16, -10, -304, 104, -56, 68, -64, 16, 96, 3, -64, 51, -80, 74, 18, -316, 240, 8, 155, 22, -176, 104, -118, 56, 76, 8, -24, -162, -164, 10, -168, -40, 64, 112, -6, 98, -300, -72, -144, 0, -16, 32, -288, -36, 40, 24, -262, -52, -8, 0, -218, 48, -104, -16, -54, -88, -176, 0, -130, -48, -424, -18, -30, -244, 16, -2, 24, -50, -48, -16, 200, -96, -248, 159, -6, -8, 24, 66, 240, -8, -184, -68, 28, -38, 16, 8, -62, -256, -120, -1, -26, 11, -360, 32, 0, -120, -224, -10, 262, 55, 20, -40, -328, -8, -12, -24, 240, 78, 80, -10, -246, -256, -8, 40, 16, -16, -4, -40, 58, -52, -240, 6, -10, -240, -36, -24, 200, -164, -32, 8, 209, 154, -232, -44, 89, -336, -88, 14, -16, 6, 256, -136, 82, -64, 132, -60, -418, -240, 108, 36, -352, -120, -280, 8, 34, -18, -144, 64, 216, -72, 224, 82, -98, -112, 0, -64, -2, -176, 264, -4, -322, -85, -244, 36, 64, -116, 24, -56, -72, 6, -348, 48, 8, -160, 84, 0, 176, -42, 0, 131, -228, -104, 32, -34, -14, -56, -56, 16, 170, -72, 136, 32, 88, 6, -72, -38, -88, -248, -208, 4, 200, -82, -104, -152, 38, -24, -136, 2, 94, 16, 124, -50, -40, -28, -8, 50, -186, -32, -216, -16, -54, 144, -80, 28, -72, -40, -148, -56, -60, 8, -448, -16, 30, 82, -8, 112, -416, 0, 56, -4, 303, -132, -352, -2, 34, -400, -72, 27, -192, 10, -12, -40, 424, 248, 40, 10, 270, -304, -56, -25, 210, -220, -328, -48, 50, -132, -336, 80, -288, 12, 80, 24, 24, -136, -40, 104, 178, -68, 8, -1, 64, -240, -232, -60, 16, -96, -304, 48, -26, 14, -96, 48, -290, -60, -64, -48, 110, -138, -164, 56, 74, 120, 344, 135, -2, -200, -32, -82, -72, -64, -72, 0, -218, -104, 52, 24, 44, -248, 8, -6, 72, 14, -168, -70, 112, -68, -120, -40, 70, 32, 36, -8, -74, 64, 28, 24, 224, -17, -304, 50, 250, -200, 56, 64, -16, -28, 8, 24, 298, 32, 232, 40, -212, -80, 28, 162, -192, 28, -48, 0, -208, -70, -40, 72, 136, -344, -88, 6, 231, -102, -164, -64, 42, -20, -16, 78, 14, -50, 112, -12, -128, 56, 136, 72, -4, 96, -320, 22, 138, 88, -48, 0, -144, 42, -144, 48, -46, 64, -160, -8, -296, -96, 172, 6, 3, -132, -408, -24, 6, -58, -384, 128, -32, 72, 60, 8, -96, -146, 216, -32, 24, -112, -120, 0, -102, -216, 184, 112, -104, 8, 120, 3, 22, -34, 56, 181, -172, -344, -112, 10, 320, 144, 68, -16, -6, 8, -224, 38, -176, 6, -204, -106, -88, -116, 32, -4, -200, 56, -148, 20, -62, 224, 472, 2, 56, -138, -92, 80, 132, 56, -160, 18, 270, 0, -48, -112, 96, -160, -392, 0, 318, -146, 8, 24, 94, 140, 432, 72, 72, -69, -168, -120, -54, -256, -4, 4, -10, -128, 280, 2, -184, 0, -32, -26, 159, -70, -80, 68, -54, -128, -72, 16, 38, 70, 144, 40, 246, -60, 312, 0, -76, -392, -192, -128, -96, 56, -168, 16, 38, -1, 28, 86, -600, -72, -100, 74, -520, 76, -228, -24, 204, -16, -304, -24, 40, 8, 208, -194, 176, 116, 112, 0, -88, -278, -24, 16, -82, 40, -208, -1, 248, 54, -164, -208, -98, 12, -144, 0, -242, 64, -196, -160, 240, 184, 120, 95, -122, 80, -272, 6, -222, -536, 296, 68, 50, -278, -112, 72, -224, 32, -336, -26, -4, -10, -120, 0, 232, 0, 24, 48, -290, 46, -72, 108, 14, 160, -256, -20, -320, -24, -120, 118, -128, 176, 80, -32, -128, -56, 264, -28, 18, 96, 312, -8, 42, 70, -168, 22, 136, 8, 0, -71, 112, 50, 32, -72, -216, 64, 248, -6, 94, 272, -16, -112, -64, -148, 400, 48, 393, 2, -48, -32, -74, 256, -4, -28, 206, -28, -192, 8, 378, -188, 504, 66, -118, 32, 400, -88, 296, 8, 104, 48, 416, 60, 224, 98, 160, -240, 104, 0, 48, 134, -304, 24, -50, 184, 64, -4, 486, 128, -352, -82, -138, 16, 12, 8, 268, -94, 496, 8, 122, 160, -120, 22, 32, 240, 12, -64, 378, 48, 72, 36, -34, -8, 64, 24, 224, 48, 0, 3, -48, 112, 136, 243, -3, 24, -160, -22, 416, 2, -252, -216, 146, 48, 0, 32, 40, 363, 52, -26, -16, 24, -768, -152, -158, 474, 64, 40, -164, 32, 432, -16, -88, 0, 28, -50, 368, -244, 376, 6, 54, -432, 68, -192, 152, 304, 8, -16, 142, 58, -232, 34, 618, -148, 176, 0, 248, 224, -116, -4, 280, 152, -128, -24, -8, -288, 400, -44, 64, 0, -176, 184, 300, 138, -200, 156, 284, 128, 280, 12, 253, 54, 292, -64, 10, 8, -32, 16, 192, -102, -260, -24, 880, 184, -60, -4, 572, 86, -36, -96, -232, 48, 496, 102, 64, 378, -72, -236, 330, 24, 240, -2, -426, 288, 32, -70, 666, -120, 48, -40, -16, 32, 128, 24, -34, 0, 40, 7, -96, 142, -228, -288, -66, 28, 48, -86, 136, 112, 204, 64, -48, 144, -112, -20, 90, 140, -184, 34, 184, -48, 536, -16, 104, -6, 8, 80, 170, 376, -16, 135, 118, 78, -56, -1, -144, -192, -408, 16, 142, 48, 28, 144, 106, -136, -48, 34, -184, 54, 124, 23, 34, -100, -144, -56, -6, 424, 144, -56, -38, 40, 320, -24, 544, -296, -40, -10, -282, -88, 208, 6, 232, 78, 248, -232, 192, 88, 952, 8, 156, 24, 72, -192, 368, -244, 28, 112, 534, 78, 216, 12, 520, 88, 408, 2, -14, 230, 108, 32, 218, -28, -400, -112, 368, 200, 40, -148, 536, 88, 320, 8, 485, -7, 56, 26, -74, -56, -208, 40, -280, 9, 328, 24, -158, 176, 48, -6, -386, -80, 212, 6, 40, 88, -160, 8, -96, 90, -688, 64, 218, 64, 160, -32, 168, -2, -96, -256, -60, -156, -456, -20, 6, -56, 296, -96, 72, -208, 248, 0, 16, -14, 384, 14, -162, -436, 28, 8, 414, 248, 136, -96, 242, 40, -792, 2, 114, -122, 8, 88, -192, -8, -152, -48, -98, -142, -96, -16, 24, 160, 168, -4, 296, -146, 48, -69, -126, -140, 16, 36, -324, 88, -208, -208, 402, 64, 8, 56, 270, -208, 80, -42, -316, -396, -8, -80, -264, 56, 292, -224, -590, -52, -536, 8, 544, 304, 8, 118, 176, -88, 128, 3, 86, 76, -24, 40, -173, -144, 16, 38, 152, 66, -524, -216, 142, 172, -172, 4, -24, -426, -464, -8, 240, 200, 40, -32, 38, 104, 56, 6, 280, -144, 72, 2, -72, -16, -132, -216, 64, 224, -32, -4, -144, -448, 936, -214, 46, -304, -272, -56, 35, 2, 256, 112, 100, 488, -88, 18, 472, -170, -260, 0, 34, 296, -152, -26, 58, 24, 132, -248, -216, 24, 392, 110, 262, 302, 0, -152, 410, -40, 136, -24, -152, 78, -160, -16, 20, -88, 728, 0, -482, -64, -80, -192, 344, 188, 188, -56, 320, 204, 460, 4, 306, -104, -120, 56, 24, 382, -100, 38, -336, -8, 600, 72, 694, 8, 0, 8, -720, -312, 264, 0, -68, 95, -200, -52, 16, -276, -472, -130, 72, -6, -180, -312, -134, 272, 204, 139, 60, -144, 96, -30, 712, -188, -72, -60, 82, 16, 528, 16, -246, 16, -296, -2, 968, 46, 8, -168, 280, -192, -112, -41, 116, 786, 112, -60, 136, -120, 200, 32, -56, 114, -512, 60, 50, -200, -24, -8, 176, 96, -68, -44, 256, 72, -144, 16, 98, -328, -180, -144, 948, -32, 280, -16, -250, 58, 136, -84, 106, -240, 216, -1, -544, -160, 428, -224, 15, 160, -32, 72, -386, 32, 500, -48, 296, -72, -88, 8, -402, 582, 184, 10, 352, -312, -408, 8, 95, -102, 660, -248, -142, -32, 64, 24, -216, 30, 8, -54, 192, 32, 472, -32, 140, 62, 176, 88, -106, -256, 32, -1, 264, -26, -416, -8, 758, -80, -112, -90, 446, 240, -8, 0, -190, -8, -280, 88, -200, -122, 440, 0, 146, -156, 152, 40, -256, 284, -20, -168, 40, 16, -408, 14, -106, 160, -12, -90, -16, -320, -416, 114, 342, 32, 48, 8, 136, -416, 236, 36, -906, -18, 620, -8, -248, -80, -456, -16, -6, 530, 340, -200, 648, -40, -392, 16, 6, -216, -176, -1, -12, -272, 160, 30, 152, 678, -152, -124, -6, 56, 296, 104, 142, -168, -428, -148, -288, -328, 160, 80, -18, 294, -24, -68, 170, 152, -336, 20, 400, -20, -624, -56, -528, -28, 904, 6, 454, -336, -64, 20, 360, 40, -280, -40, 62, 800, 608, 154, 150, -244, -72, 72, 78, 64, 424, 200, 236, 440, 48, 6, 216, -49, 492, -22, -616, -492, -88, 24, 32, 410, -176, 172, 240, 0, 328, 54, 568, -34, 224, 82, 108, -32, 200, -4, 232, -128, -428, 64, -181, 96, 464, 16, 135, -20, 336, 192, 126, -224, -156, -54, -168, 418, 616, 32, 578, -128, 600, -28, 22, -168, 160, -62, -232, -144, 472, -40, -248, 314, 56, 112, -238, 336, 488, 0, 920, 80, 504, -24, 94, 84, 136, 54, 68, 3, 172, -116, 464, -80, 24, -40, 124, -50, 204, 62, 144, 296, 424, 12, -104, -240, 152, 280, -238, 72, 80, 8, -346, 104, 32, -34, 728, -32, -216, -56, 326, -144, 368, -60, -154, -296, -8, 32, -192, 146, -184, 80, 170, -216, 496, -24, 286, 560, 596, -16, -592, -8, -56, 131, -142, 158, -48, -66, 122, -48, 104, 141, -306, 244, 20, -16, -312, -352, -240, -6, -88, 224, -440, -128, -16, 172, -256, 8, -116, 42, 40, 0, -174, -56, 292, 14, 64, 32, 204, -14, -102, -172, 80, -78, 256, 296, 272, -12, -750, -24, -336, 8, -252, 480, -208, 120, -14, -384, 248, -32, -336, -94, -552, -8, 112, 232, 88, 38, 472, 0, -220, -114, -328, -108, 12, 128, 222, -356, 448, -16, 42, 384, 216, -46, 18, -18, 64, -40, -342, -80, -312, -104, 94, 312, 16, -32, 368, 0, -448, -4, 615, -154, 176, 70, -36, -4, 64, 40, 848, -98, 44, 16, 192, -144, -280, 56, 358, 48, -88, 11, 570, 88, 544, -64, -2, -150, -336, 176, -424, -120, 424, 8, -288, 206, -104, 40, 326, 64, 8, 14, -434, 32, 200, -256, 144, -192, 144, -10, 216, 7, -160, 78, -520, -352, -52, -52, -792, -114, 484, -24, -64, 56, 136, 8, -28, -26, 432, 182, 24, 40, -120, 16, 734, 226, -20, 156, 134, -168, 160, 32, -144, -260, 64, -8, 144, 312, -664, -40, -408, 0, -104, -40, 166, 352, 108, 40, 264, 174, 8, 135, 324, -320, 536, -50, -200, 112, -96, -128, 228, 72, 368, 54, -856, 424, 48, 4, -760, -284, 288, -8, -354, 164, -112, 40, 34, -360, 288, 40, 390, -32, 332, 40, 540, -432, -92, -46, 24, -120, 188, -12, 152, 16, -592, 32, -6, 216, 24, 246, -6, -24, 80, -16, -552, 378, 168, 120, 98, 256, 504, -1, -412, 816, -72, 22, -208, -172, -352, -48, 0, 78, -288, 180, -336, -328, 8, 32, 24, 374, -132, -80, 36, -332, -88, -48, -8, -88, 304, 32, 232, -168, -368, 23, 262, 310, 264, 80, -90, -136, -160, 2, 705, 130, -720, -328, 86, -32, 208, -8, 142, 34, 144, -70, 280, 156, 76, -40, -402, 392, -352, -12, 82, 184, -224, -2, 8, 316, 280, -74, 160, -96, 224, -64, 438, 312, -48, -276, -594, 248, -352, 32, 648, 174, -224, -22, 311, -264, 296, -44, -128, -6, -224, -536, -32, 280, 60, 12, -522, 112, 4, -48, -384, 216, -720, -6, 36, 8, 696, -8, 68, -136, -408, 32, 784, -296, -32, 176, 62, -72, -544, 8, 432, 818, -40, -24, -400, -24, -520, 32, 182, 102, -1128, 86, 170, 176, 220, 94, -168, 480, -516, 0, 556, -168, -8, 185, -142, 280, 452, -102, -864, 16, -80, -208, -330, 56, 200, 88, -240, 112, 48, -6, -752, 246, -456, -72, 2, -288, -16, -64, -202, -240, -396, 8, -112, -96, -28, 68, 72, 169, -560, -6, -390, 184, 360, -96, 42, -6, -224, 224, 690, -4, -88, 28, -370, 350, -32, -76, -208, -144, -592, 8, -472, -46, -852, -60, -128, 160, 736, 82, -464, 134, 240, -32, 176, -616, 56, 28, -650, -112, 112, -20, -264, 40, 184, -16, -166, 352, 584, -228, -150, 40, 424, -26, 408, 16, 16, 48, 106, 56, -288, 8, 358, 0, -396, -22, -112, -248, -8, -96, -103, 14, 144, 96, 276, 208, -12, -12, 46, -610, -780, 56, 160, 328, -72, -58, 38, 186, -440, -128, -64, 8, 0, -40, 198, 540, -80, -30, -130, -248, 168, 72, 480, 130, 588, 16, 54, 120, -480, -10, 8, -32, -84, -304, -618, 164, 20, 104, -42, 106, 392, -56, -142, -312, 64, 68, 32, -266, -1104, -64, 536, -72, 240, 16, 82, 136, -4, 96, 112, -448, -336, 3, -24, 480, -616, -64, -170, -88, 208, 51, -784, 141, 476, -80, -432, -168, 200, 74, 494, 704, 64, 18, 392, 408, -232, -316, 8, -214, -712, 240, -598, -88, 528, 8, -512, 416, -40, 155, -254, -44, 80, 22, 416, 16, 440, -176, 110, -552, -288, 104, -92, -50, 88, -118, -88, 132, 36, 56, 104, 92, -660, 76, -228, 144, 552, 8, 16, 168, 680, -24, 208, 0, -160, -162, 438, 88, 192, -164, -218, 312, 432, 10, -776, -346, -52, -168, -158, 4, 640, -40, -666, 112, 100, 64, 296, -112, 56, 112, 900, 86, 668, -6, 312, -160, 192, 98, 64, -70, 104, -300, 170, 128, 808, -72, -172, -64, 104, -144, 110, 48, -472, 0]