# Trace form for 6010.2.a, downloaded from the LMFDB on 19 April 2024. [0, 199, -1, -4, 199, -1, -4, -8, -1, 195, -1, 4, -4, -6, -8, 4, 199, -2, 3, -20, -1, 16, -8, 16, -4, 199, 10, 8, -8, 2, -4, 0, -1, 40, -2, -4, 195, -6, 0, 24, -1, 14, 32, 0, 4, 3, -8, 24, -4, 159, -1, 16, -6, -10, 8, -12, -8, -24, 30, -28, 4, -22, 16, -24, 199, -6, 16, -36, -2, 0, -4, 16, 3, -10, 18, -4, -20, -16, 16, -40, -1, 143, 14, 16, 16, 10, -4, 16, -8, 22, -13, -16, 16, -24, -16, 20, -4, -2, 39, 44, 199, 18, 0, -8, 10, 8, 34, 8, 8, 50, 8, 72, -8, 14, -24, -8, 2, 18, 0, 32, -4, 219, 10, -48, 0, -1, -48, 40, -1, -32, 2, 12, 40, -80, -4, 40, -2, -58, 8, -60, -4, 104, -32, 104, 195, -6, 46, -76, -6, 10, -4, -32, 0, 102, 40, 8, 24, -46, -40, 80, -1, 56, 23, -40, 14, 32, -36, 72, 32, 217, 18, 28, 0, 30, 72, -8, 4, 120, 22, 36, 3, -30, 32, 128, -8, 10, 40, -32, 24, 80, 0, 40, -4, -26, -10, -16, 159, 122, -32, 56, -1, -24, 58, -56, 16, -2, 0, 16, -6, 16, 0, -92, -10, -72, 36, 4, 8, 8, 54, 16, -12, -92, 32, -96, -8, 195, -10, -20, -24, 26, -8, 16, 30, -10, -6, 8, -28, 64, -48, 40, 4, -2, -69, 60, -22, -9, -24, -72, 16, 8, -1, 36, -24, 144, 48, -8, 199, 54, 32, -72, -6, 42, 76, -56, 16, -14, -40, 24, -36, 10, -16, -96, -2, 40, 38, 4, 0, 114, -76, -40, -4, 86, 8, -8, 16, 0, -40, 32, 3, 301, 14, -136, -10, 82, -12, -36, 18, -32, 50, 48, -4, -72, -104, 16, -20, -6, 6, -60, -16, -88, 32, 8, 16, -42, -38, 44, -40, 6, -16, 80, -1, -32, 80, -152, 143, -6, 36, -88, 14, 88, -24, -76, 16, -22, 0, 28, 16, 38, -23, 8, 10, 48, -64, 8, -4, -32, 82, -32, 16, 10, -8, 144, -8, 38, -8, 48, 22, -88, 20, -80, -13, 91, 78, -292, -16, 26, 16, 32, 16, 150, -22, 0, -24, -98, -56, 4, -16, -164, 224, 52, 20, 72, 32, 48, -4, -40, 38, -32, -2, -102, 40, -128, 39, -120, -6, 56, 44, 46, 80, -336, 199, 6, -96, -184, 18, -41, -32, -144, 0, 94, -10, -72, -8, 32, -80, -4, 10, 0, -32, 60, 8, -174, -92, -168, 34, -2, 32, -160, 8, -80, 0, -40, 8, -194, 8, 72, 50, 192, -56, -24, 8, -5, 100, 32, 72, -58, 56, -152, -8, -26, 3, -136, 14, -112, -4, -40, -24, -226, 38, 128, -8, -222, 56, -128, 2, 72, -18, -124, 18, -200, -40, -152, 0, -136, 32, -20, 32, -370, -16, -80, -4, -84, -2, -272, 219, 34, 20, -112, 10, -256, -9, -52, -48, -52, 24, -28, 0, -128, -176, -140, -1, -136, -40, -168, -48, -14, 8, -228, 40, 82, 72, -328, -1, -312, 134, -12, -32, -136, -8, 128, 2, 86, 118, -148, 12, 16, 64, 104, 40, 135, -2, -332, -80, -164, 8, -20, -4, 48, 46, 92, 40, -78, 136, -224, -2, 82, 80, 76, -58, 122, -8, 32, 8, -320, 18, -64, -60, -154, 248, -40, -4, -184, -10, 32, 104, 6, 68, 80, -32, -66, 24, -364, 104, 104, 128, 16, 195, 94, -19, 240, -6, -24, 24, 40, 46, -6, 42, -152, -76, -136, 8, -24, -6, 62, -72, -48, 10, -168, 152, 312, -4, -1, 0, -212, -32, -37, 40, 56, 0, -48, -14, 16, 102, -318, -108, 48, 40, 174, -56, -92, 8, 80, 32, -8, 24, 199, -58, 64, -46, 68, -28, -232, -40, 144, 82, -28, 80, -310, -56, 296, -1, -146, -112, -184, 56, 32, 56, 192, 23, -128, 10, -16, -40, -182, 80, 28, 14, 14, 96, -76, 32, 122, -116, -176, -36, 40, -22, 32, 72, -152, -4, -40, 32, -42, -194, 8, 217, 150, -72, -136, 18, -88, 16, -24, 28, -30, 80, -200, 0, 156, 16, -172, 30, 72, -12, -68, 72, -284, -90, 456, -8, -102, 40, -216, 4, -56, -114, -56, 120, 18, 48, -240, 22, -128, 88, -32, 36, 56, -112, -32, 3, -216, -93, -160, -30, 2, 92, -144, 32, 195, 10, -192, 128, -218, 80, 28, -8, -184, 70, 28, 10, -232, 80, 184, 40, -102, -150, 288, -32, -88, -4, -152, 24, -104, -108, -8, 80, -182, 60, -168, 0, -18, 40, -320, 40, 2, 120, -40, -4, 86, -16, -288, -26, 38, -60, 0, -10, 144, 142, 104, -16, 16, 80, -64, 159, -6, 8, 336, 122, -24, -8, -88, -32, 36, 58, -56, 56, 242, 192, 80, -1, 6, 30, -48, -24, 0, -224, -184, 58, 102, -25, -44, -56, -104, 48, 12, 16, -160, -90, -272, -2, -230, -240, -304, 0, 40, 168, -172, 16, 26, 32, 312, -6, 38, -72, 0, 16, 152, 232, -56, 0, 65, 10, 64, -92, -7, 96, -40, -10, 24, -2, -152, -72, -138, 8, 28, 36, -138, -136, -28, 4, -328, 64, -80, 8, 82, -58, -52, 8, 80, -72, 144, 54, 14, 112, -4, 16, 186, -88, -16, -12, 262, 75, -252, -92, -24, 4, 96, 32, 160, -10, -28, -96, -56, 224, 12, -8, 320, -74, 144, 195, 52, 104, -72, -10, -62, -64, -152, -20, 346, 40, 128, -24, 48, -74, 80, 26, -64, -152, 280, -8, -264, 126, -120, 16, -6, 24, -64, 30, -50, 40, -484, -10, 456, 236, 168, -6, -2, -56, -232, 8, -22, 224, 184, -28, -128, -48, 96, 64, 140, 0, -320, -48, -34, 194, 144, 40, -264, 72, 328, 4, 111, -20, 104, -2, -22, 64, -56, -69, 544, 50, 36, 60, -208, 128, 24, -22, -26, -224, 304, -9, 322, 104, -160, -24, 74, 84, 360, -72, -64, 88, 96, 16, -352, 88, -32, 8, 94, 72, 72, -1, 344, 176, 320, 36, 16, 56, -32, -24, 110, -46, -264, 144, 166, 196, 128, 48, 470, 90, 76, -8, -110, 0, -40, 199, 14, -336, -248, 54, 576, 28, -24, 32, -178, 56, -56, -72, 300, -8, 176, -6, 424, 70, -88, 42, 96, -60, 168, 76, -394, 32, -100, -56, 106, 56, 84, 16, -248, -105, -56, -14, 10, 144, -104, -40, 104, 28, -8, 24, -118, -24, 432, -36, 356, 24, 0, 10, -168, -88, 72, -16, -352, -86, -76, -96, -112, -104, 120, -2, 479, 78, 28, 40, -234, 124, -128, 38, -66, 178, -56, 4, -8, -72, -304, 0, -28, 192, -184, 114, 34, 16, 240, -76, 40, 114, 100, -40, -74, 192, 120, -4, -248, -128, -296, 86, 3, 116, -56, 8, -74, 14, -208, -8, 0, -40, -44, 16, 248, -170, 24, 0, -288, -4, 424, -40, -38, -320, -432, 32, 320, -8, 216, 3, -34, 46, 8, 301, 100, -336, 104, 14, 424, -64, 108, -136, 158, -264, 224, -10, -288, 66, -156, 82, -176, 84, 24, -12, 32, 112, -244, -36, 122, 96, -512, 18, 72, -202, -100, -32, -148, 40, -448, 50, -98, 264, 40, 48, -128, -120, -96, -4, -114, 23, 24, -72, 14, -116, -208, -104, 24, -85, -312, 16, -282, -88, 124, -20, 254, -192, 256, -6, -24, 64, -88, 6, 159, -214, -176, -60, -54, -88, -264, -16, -666, 126, -24, -88, 150, -180, 264, 32, 268, -136, -584, 8, -144, -88, -224, 16, -122, -1, -540, -42, 168, -256, -44, -38, -376, -44, -228, 44, -68, 368, -216, -40, -40, 40, -120, 6, 512, 20, 256, -16, -184, -38, 16, 80, -254, -416, 144, -1, -728, 14, 92, -32, 42, -172, 344, 80, 254, -48, -268, -152, 256, 192, 88, 143, 174, -256, -200, -6, -46, -72, -288, 36, 74, 90, -96, -88, 8, -12, -32, 14, 396, 158, 8, 88, 152, -104, -56, -24, 334, -14, -168, -76, -10, -352, -168, 16, 96, 88, -360, -22, 0, -40, -40, 0, 616, -408, 312, 28, -446, 72, 384, 16, 26, -114, -96, 38, 40, 8, 64, -23, 312, 226, -64, 8, -144, -40, 24, 10, 14, -512, -64, 48, 192, -244, 288, -64, -79, 66, -464, 8, -82, 272, -12, -4, 238, 36, 136, -32, 130, -228, -240, 82, 2, -152, -232, -32, 128, 52, -16, 16, -136, -156, -40, 10, -80, -96, 280, -8, 16, 210, -144, 144, 22, 120, -672, -8, 462, -128, -352, 38, -46, 80, -132, -8, -268, -350, -240, 48, 498, -472, 184, 22, -24, -32, 12, -88, 218, -8, -24, 20, -474, -368, -72, -80, 704, -16, 64, -13, 16, 48, -720, 91, 93, -592, 160, 78, -168, 30, 212, -292, -10, -128, 256, -16, -88, -165, -44, 26, -208, 88, -136, 16, 170, 42, -528, 32, 4, 28, -72, 16, 72, -56, -28, 150, -184, 44, 192, -22, -266, 32, -180, 0, 88, -96, -136, -24, 422, 42, 200, -98, 174, -436, 24, -56, 168, 192, 36, 4, 216, -248, -144, -16, 8, -440, 216, -164, 56, 16, 40, 224, 180, -70, -184, 52, 356, -64, 72, 20, 589, 278, -328, 72, -22, -160, -96, 32, 376, 34, 372, 48, -304, 128, 100, -4, 108, -90, 396, -40, 24, 120, -48, 38, 40, 234, 72, -32, 658, 16, -416, -2, 262, -184, -40, -102, 894, -176, 96, 40, 16, -224, -48, -128, -146, 24, 144, 39, -64, -14, -348, -120, 522, 132, -24, -6, 400, -512, 68, 56, -272, -80, 16, 44, 42, -388, -356, 46, 208, -24, 0, 80, 408, 250, 72, -336, 238, 80, 464, 199, -370, -50, -216, 6, -176, 48, 128, -96, 294, -48, 28, -184, 366, 248, 120, 18, 712, 38, -212, -41, -22, -112, -72, -32, -6, 104, -88, -144, -454, 40, 296, 0, 296, -64, -88, 94, 118, 112, 24, -10, -384, 182, -120, -72, 112, 256, -184, -8, 308, 16, -312, 32, 40, 44, 28, -80, -138, -90, 152, -4, 152, 248, -40, 10, -38, 54, -88, 0, 258, -88, -616, -32, 120, -72, -36, 60, -880, 144, -328, 8, 373, 105, -560, -174, 122, -72, 416, -92, -200, 9, -424, -168, -218, 320, -16, 34, -154, -256, -28, -2, -40, -80, 176, 32, -16, -190, -72, -160, -46, 56, 400, 8, -64, 46, -176, -80, -28, -152, -24, 0, 270, -224, -44, -40, 0, -40, -256, 8, -152, -10, -144, -194, -82, 508, 124, 8, -186, 368, -272, 72, 330, 200, 120, 50, -6, -282, -136, 192, 272, -4, -616, -56, 182, -6, 40, -24, -32, -384, -48, 8, -96, -18, -592, -5, 178, 212, -304, 100, 44, 184, -592, 32, 170, 48, 16, 72, 174, -288, 216, -58, 372, -144, 120, 56, -16, 200, 44, -152, -438, -132, -416, -8, -56, -312, 152, -26, 56, 40, -296, 3, 334, -236, 12, -136, -141, -128, -136, 14, 64, 6, 124, -112, 106, -172, -76, -4, -216, 10, 280, -40, 8, -264, 392, -24, -10, 88, 200, -226, 8, -32, -200, 38, -200, -112, 72, 128, -216, 72, -552, -8, 88, -640, -264, -222, -10, 200, 344, 56, 51, 18, -448, -128, 396, 464, -80, 2, -448, -362, -204, 72, -374, 184, 240, -18, 18, -200, -36, -124, 752, 96, 24, 18, -234, -98, -4, -200, 98, -280, -72, -40, 16, -98, 560, -152, 60, -232, 288, 0, 102, 0, -112, -136, -144, -36, 140, 32, -528, 12, 116, -20, 362, 48, -176, 32, -128, 174, 20, -370, 120, 104, -104, -16, 174, 288, 116, -80, -16, 144, 136, -4, 4, 95, -328, -84, -16, -164, 136, -2, -16, 66, 396, -272, -390, -280, 84, 219, 100, -112, -496, 34, 40, -212, -432, 20, 306, -32, -368, -112, 178, 16, -96, 10, 24, -74, 128, -256, -16, -104, 520, -9, -4, 22, -880, -52, -56, 152, -192, -48, 64, 18, -528, -52, 302, -336, -40, 24, 0, -176, -348, -28, 176, 200, 104, 0, 98, -96, -372, -128, -188, 64, -24, -176, 118, 82, 24, -140, -578, 120, 24, -1, 616, -144, -92, -136, -146, -112, -200, -40, 702, 16, -44, -168, 400, -224, 16, -48, 286, -154, -184, -14, 0, 272, -224, 8, 143, 330, 72, -228, 314, -88, -192, 40, 144, -170, -80, 82, -88, -188, 0, 72, -532, 198, -412, -328, 278, -424, -296, -1, 152, 14, -208, -312, -438, 344, 160, 134, -314, 448, -296, -12, 210, -280, 120, -32, -192, -354, 600, -136, -70, -232, -96, -8, 320, -268, 16, 128, 296, 464, 192, 2, -26, -368, 64, 86, 136, 152, -184, 118, 206, -112, 216, -148, 344, 288, -92, 12, -114, 150, 236, 16, -280, -44, -208, 64, -54, 178, -632, 104, -672, 12, 216, 40, -458, -144, 48, 135, 404, 144, -72, -2, 944, -78, -152, -332, 10, -184, -72, -80, 478, 32, -84, -164, -240, 24, 64, 8, 118, -254, 24, -20, -86, 256, 32, -4, 264, -12, 40, 48, 64, -4, 488, 46, -66, -320, 104, 92, 584, 160, -56, 40, -18, 80, 184, -78, 18, -548, 64, 136, 318, 120, 312, -224, 756, -272, 16, -2, -416, -657, -100, 82, -64, 268, -72, 80, -264, -30, 176, 76, 336, -40, 384, -58, -104, -170, -184, 122, 108, -240, 152, -8, 608, -264, -36, 32, 219, 136, -96, 8, 255, 20, 80, -320, -58, 432, 36, 18, 80, 70, 40, -64, 306, 376, 176, -60, 22, -8, -552, -154, -256, -52, 104, 248, 120, 410, 192, -40, 514, -72, -112, -4, 408, -432, -16, -184, 142, -268, 248, -10, 76, -13, -564, 32, -80, -240, -112, 104, 28, -34, -68, 6, 168, 48, 88, 68, 16, -128, 344, 80, -726, -44, -328, -32, 478, 312, -16, -66, 400, -280, 120, 24, 158, -88, -88, -364, 46, -320, -352, 104, -24, -50, 416, 104, -326, 40, 56, 128, -170, -128, -276, 16, 536, 256, 208, 195, -94, -146, -960, 94, 258, 40, -136, -19, 1054, 348, -128, 240, 88, -352, 200, -6, -392, 336, 488, -24, -24, 28, 24, 24, 628, 14, -728, 40, 38, 216, -268, 46, 224, 48, 468, -6, 34, 288, 592, 42, 208, -112, 488, -152, 42, -16, 176, -76, 340, 272, 80, -136, -30, 340, -88, 8, -352, 142, 88, -24, 32, 128, 376, -6, -144, 8, 196, 62, -288, -156, 20, -72, 702, -228, 480, -48, 74, 352, 208, 10, -174, -2, 208, -168, 274, 16, 240, 152, 62, -184, -16, 312, 952, -144, 416, -4, -105, -130, 80, -1, 124, -272, 352, 0, 200, -82, -364, -212, -432, 144, -32, -32, 606, -160, 912, -37, 530, 120, 96, 40, -2, -286, -528, 56, -40, -252, 80, 0, -240, 334, -76, -48, -10, 248, 296, -14, 102, 256, 224, 16, -144, 416, 112, 102, -320, 39, -568, -318, -504, 264, -108, -108, -72, 322, -140, 48, -200, -24, 504, 40, 180, -330, -200, 174, 480, 104, 392, -56, -226, 362, 44, -92, 46, -232, -8, 8, 208, -100, -592, 80, 72, -304, -168, 32, -96, 64, -560, -8, 538, -104, -60, 24, 344, -66, -504, 199, 244, -516, 200, -58, -80, 136, -64, 64, -252, -8, -96, -46, 168, -8, 232, 68, 144, 136, 376, -28, 14, -52, -68, -232, 18, 24, 96, -40, -330, 80, -132, 144, -44, 56, 44, 82, 944, -176, 108, -28, -48, -112, -328, 80, 106, -88, -888, -310, 226, 0, 424, -56, -248, -86, 64, 296, -106, 184, -272, -1, -396, -416, -144, -146, -96, 180, 272, -112, 96, 122, -32, -184, -888, -376, -8, 56, -600, 134, 260, 32, 148, -236, 56, 56, 312, 72, 8, 192, -184, 64, 576, 23, 286, 150, 240, -128, -346, 80, -136, 10, 1065, 182, -96, -16, -218, 240, -376, -40, -186, 190, 32, -182, 296, -52, 84, 80, -82, 288, -920, 28, 210, 160, -160, 14, 8, -204, 104, 14, 400, -80, 88, 96, 630, 176, -384, -76, 210, 48, 256, 32, 504, -74, 464, 122, -217, -344, -112, -116, 192, 34, -416, -176, 72, -144, -196, -36, 670, -240, 204, 40, -144, 192, 576, -22, 284, 176, 192, 32, 700, 0, -504, 72, -320, 504, 8, -152, -626, -208, 720, -4, 120, 722, 272, -40, -128, 8, 416, 32, 230, -26, 544, -42, 298, 32, -28, -194, 272, 24, 476, 8, -220, -144, -16, 217, 90, -424, -236, 150, 64, 16, 248, -72, -234, 8, 56, -136, 992, -160, -272, 18, -616, 262, -464, -88, 50, -128, -216, 16, -306, -416, 188, -24, 320, -152, 100, 28, 360, 33, 312, -30, 10, 112, -208, 80, 114, 106, 56, -200, 26, 8, 368, 0, 366, 38, -8, 156, -584, 296, -200, 16, 272, 266, -468, -172, 24, -264, -264, 30, 104, -118, 176, 72, 504, -40, 72, -12, 54, -296, -168, -68, 264, -112, -248, 72, 66, 512, -128, -284, 642, 168, 32, -90, -440, 208, 200, 456, 354, -272, -56, -8, 470, -304, -332, -102, 16, -40, -24, 40, 505, 134, 208, -216, 460, -680, 76, 4, -82, -338, 284, -56, -288, 16, -296, -114, 14, -182, -232, -56, -424, -32, -408, 120, -146, 412, 348, 18, -434, -504, -680, 48, 264, -10, 68, -240, 150, 24, 768, 22, -664, -24, 164, -128, 318, 100, 228, 88, -82, 66, -16, -32, -190, -280, -984, 36, 112, 38, -896, 56, 696, -136, 328, -112, 314, 384, -8, -32, 288, 88, -544, 3, -872, 128, -68, -216, -154, -48, 208, -93, 496, 29, -548, -160, -272, -352, -120, -30, 390, -368, -192, 2, -520, -224, 104, 92, -96, -558, -992, -144, 178, -64, 152, 32, -400, 176, -40, 195, -426, 776, -552, 10, -88, 168, 616, -192, 18, 344, -104, 128, 396, -86, -192, -218, 112, -260, 60, 80, -32, 140, -420, 28, -252, 112, 40, -8, -40, 72, 392, -184, 344, 0, 488, 70, -34, 208, 256, 28, -334, -360, -256, 10, 96, 166, 472, -232, -90, -596, 552, 80, 190, -16, -28, 184, 776, 136, 32, 40, -212, 302, -244, -102, 208, -768, -408, -150, -216, 74, 16, 288, -6, -160, -616, -32, 644, -576, 80, -88, 98, -200, 576, -4]