# Trace form for 8006.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 334, 0, 0, 334, -4, 2, 0, 0, 340, -6, 2, 0, 6, 0, 0, 334, -12, 0, 10, -4, 0, 4, -8, 2, 328, -4, 0, 0, -6, 12, 0, 0, -20, 8, -24, 340, -6, 0, 20, -6, -20, 16, 0, 2, -32, 4, 8, 0, 322, 8, -4, 6, -46, 8, -32, 0, 40, -8, -10, 0, 12, -4, -36, 334, -28, 16, 6, -12, -16, -8, -44, 0, -20, 4, 4, 10, -4, -28, -12, -4, 342, -20, -6, 0, -28, -2, -20, 4, -60, -14, -16, -8, -84, -16, -56, 2, 20, -32, 26, 328, 22, -32, 8, -4, -60, -32, -24, 0, 24, -8, -36, 0, 40, 0, -24, -6, 26, -36, -20, 12, 324, 10, 8, 0, -36, -40, 28, 0, 76, -52, -18, -20, -20, 28, -36, 8, -44, -4, -30, -24, -12, 0, 44, 340, 0, -16, 76, -6, 10, -26, 12, 0, -20, -36, 80, 20, 16, -20, 52, -6, 44, 48, -36, -20, 48, -20, 60, 16, 352, 28, 106, 0, 18, -32, -72, 2, -20, -32, 40, -32, -24, 36, 68, 4, 92, -4, 28, 8, 120, 16, -12, 0, -24, 12, 44, 322, 6, -24, -40, 8, 112, 28, -32, -4, -68, 4, 0, 6, 28, 0, 30, -46, 32, -6, 52, 8, -28, 2, 16, -32, 24, -60, 0, 0, 402, 24, 96, 40, -56, -28, 136, -8, 52, 24, 8, -10, 112, 16, 96, 0, 20, 40, 80, 12, 40, 76, 76, -4, 32, -12, -14, -36, 64, -12, 204, 334, -32, 0, 76, -28, -2, 16, 12, 16, -76, 80, 76, 6, 108, 92, 52, -12, 72, 16, -54, -16, -32, 88, 32, -8, 76, 112, 104, -44, 36, -28, 12, 0, 294, -28, -88, -20, 8, 22, -72, 4, -44, 52, 84, 4, 64, 84, 8, 10, 4, 32, 34, -4, 92, 48, 64, -28, 28, -30, -128, -12, -64, 4, -24, -4, 76, 16, 48, 342, 2, -22, 44, -20, 28, -8, 112, -6, -66, 0, -52, 0, -64, 16, 32, -28, 12, 48, -12, -2, -76, 40, 58, -20, -98, 76, 136, 4, -60, 72, -20, -60, -212, 6, -16, -14, 316, -94, -16, -16, -148, 48, 20, -8, -120, -4, -116, -84, 134, 56, -156, -16, -8, 20, -148, -56, 60, 36, -36, 2, -100, 16, -100, 20, -102, 32, -36, -32, -108, 24, -16, 26, 62, -24, 120, 328, 112, 24, -20, 22, -288, 60, 0, -32, 148, 92, 40, 8, -44, 12, 24, -4, -48, 24, 18, -60, 32, 68, -20, -32, -68, 0, 40, -24, 4, 88, 216, 0, 28, -96, 20, 24, 12, 20, 28, -8, 348, 24, -72, -36, 24, 60, -120, 0, -4, -24, 44, 40, 188, 42, 132, 0, 44, -14, -80, -24, -24, 48, -24, -6, 56, 32, 64, 26, -48, -8, 124, -36, 60, 72, 178, -20, -122, -48, -24, 12, 4, -32, -120, 324, -40, 146, 72, 10, -128, -34, 76, 8, 68, -64, -44, 0, 48, 40, 70, -36, 32, -44, -20, -40, -136, 12, 88, 28, 156, -28, 44, 0, 32, -24, 84, 76, -60, 76, 76, -52, -96, 0, 102, -18, 192, 128, 128, -20, 234, 36, -142, -20, -24, 104, -4, 28, 264, 10, -66, -36, 8, 52, 192, 8, 108, -48, -36, -44, -12, -40, 44, -4, 184, 18, -140, -30, 70, 32, 208, -24, 100, 0, 92, -12, 40, 18, 144, 0, -64, -128, 8, 44, -76, -44, -72, 340, 12, -48, -192, 0, 104, -4, -16, -16, -28, 126, -84, 76, 24, -36, 12, -6, 72, -88, -252, 10, -100, 36, 84, -26, 8, -72, 18, 12, 92, 28, -52, 0, 140, -64, 80, -20, -84, 40, -200, -36, 172, -4, 28, 80, -376, -48, 208, 20, 370, 24, -4, 16, -272, 88, -8, -20, -156, 18, 100, 52, -34, -96, -144, -6, -80, 80, 282, 44, 128, 4, 160, 48, 196, -176, 88, -36, 6, 40, -144, -20, -208, -80, 52, 48, -144, 42, 36, -20, -24, -52, 8, 60, 36, 112, 20, 16, 200, 48, 88, 352, 106, -36, 36, 28, -124, 76, -156, 106, -108, 72, 212, 0, 12, 88, -34, 18, -200, -44, 280, -32, -32, -60, 228, -72, -22, -204, 164, 2, -240, 32, 28, -20, 218, 68, 32, -32, -8, 56, -124, 40, 0, -44, 80, -32, -4, 16, -100, -24, -186, -54, -20, 36, 316, -76, 52, 68, -24, -48, 92, 4, -124, -132, -146, 92, -52, 64, -156, -4, -28, 36, -66, 28, 256, 48, 16, 8, 56, 72, -136, 120, 30, 82, 44, 16, -144, -196, -56, -12, -100, 124, 176, 0, -28, -88, -68, -24, -124, 50, -140, 12, 76, -64, 80, 44, 172, 64, 20, 322, 160, 112, 142, 6, -204, -100, -120, -24, -52, 0, 116, -40, -68, 72, -116, 8, -160, -176, 68, 112, 164, 44, -132, 28, 128, 86, -192, -32, -80, 12, -128, -4, 196, 28, -200, -68, -148, 120, -84, 4, -32, 20, 206, 0, 60, 116, 28, 6, 28, -96, 0, 28, -412, 12, 72, 0, 340, 46, -36, 30, -116, -180, -272, -46, -68, -88, -148, 32, 66, -28, -408, -6, -108, -192, -72, 52, 80, -96, -76, 8, 60, -64, 48, -28, -144, 36, -12, 2, -156, 72, 32, 16, -14, -68, -168, -32, -120, -40, 56, 24, -384, -50, -188, -60, 80, -8, -106, 0, -20, 120, -220, 0, 180, -84, -260, 402, -244, 116, -328, 24, -236, -152, -40, 96, -10, -176, 40, 40, -36, -128, 252, -56, 88, -184, -40, -28, 220, -42, -148, 136, -162, -248, -360, -8, -172, -152, 270, 52, -208, -86, 192, 24, -32, -100, -8, 8, 272, 0, 188, -10, -160, 0, 64, 112, -20, 144, -208, 16, -264, -188, -236, 96, 124, -88, 24, 0, 722, 96, 40, 20, -236, 296, 148, 40, -60, -136, 56, 80, 112, 40, -76, 12, -80, -8, 84, 40, -24, 34, -168, 76, 36, -12, 60, 76, 120, -104, -88, -4, -296, 32, -176, 32, 212, -112, -88, -12, -206, 72, 70, -14, -140, 20, -122, -36, 32, -204, -100, 64, -276, 26, 260, -12, 40, -66, -158, 204, 312, 48, -164, 334, 56, -24, 156, -32, -64, -216, -246, 0, 428, 108, -100, 76, -148, -164, 20, -28, -152, 36, -202, -2, 172, 128, 100, 16, -232, 28, 168, 12, -370, -52, -148, 16, 6, -8, -356, -76, -22, 76, 96, 80, 28, 40, 176, 76, -52, -56, -104, 6, -170, -144, -256, 108, -320, 72, -52, 92, 188, -278, -444, 52, -236, 72, 372, -12, 190, -136, -84, 72, 148, -26, 80, 16, -52, -106, -16, -54, -236, -96, -128, -16, 360, 304, -40, -32, -106, -8, 142, 88, -80, -148, -268, 32, 16, -36, -228, -8, -324, 96, -126, 76, -548, -26, -200, 112, 508, -188, 148, 104, -122, -136, -16, -44, -40, 152, 192, 36, 272, -98, -492, -28, 176, 100, 252, 12, 76, 204, -132, 0, -4, -112, 180, 294, -182, -96, 188, -28, -120, -176, 94, -88, 148, -28, 252, -20, -32, -76, 74, 8, -344, -58, -176, 22, -96, 48, -26, -72, -90, -260, 230, 4, -348, -112, -68, -44, 156, 128, 40, 52, 16, 112, 560, 84, -20, -108, -152, 4, -248, 144, -216, 64, 332, 8, -8, 84, 40, -126, 114, 8, 374, -32, -616, 10, -72, -216, -448, 4, -236, -152, -156, 32, 256, -82, -20, 34, -94, -152, 488, -4, -384, 24, 0, 92, 482, -82, -168, 48, 226, -216, 56, 64, 276, -268, 4, -28, -56, 8, 46, 28, -376, -16, -20, -30, -92, -108, -62, -128, 16, 92, -120, -12, -88, -32, 328, -64, -20, -28, -72, 4, 322, -156, 208, -24, -168, 0, -76, -4, 144, -184, -160, 76, -216, 200, -144, 16, 324, -152, 430, 48, 92, -168, -84, 342, 108, 80, 264, 2, -222, 100, 160, -22, -296, -36, 0, 44, -56, -108, 148, -20, -148, -112, 24, 28, -76, -66, -112, -8, 204, -10, -120, 112, -646, -108, -64, -6, -472, -104, 192, -66, -72, -192, -92, 0, 52, -160, 416, -52, -222, -36, -138, 0, 60, -324, -340, -64, 32, -168, -328, 16, 132, -112, 40, 32, 272, -128, -156, -28, -52, -128, 144, 12, -64, -170, -172, 48, 248, -220, -612, -12, -40, -120, -76, -2, -144, -192, -96, -76, 40, -96, -124, 40, -284, -172, 160, 58, -160, -96, -96, -20, 532, -64, 180, -98, -128, 48, 128, 76, -448, 72, 24, 136, -428, -176, -268, 4, -68, -376, 428, -60, -352, -44, -336, 72, 80, -52, -184, -20, -148, -40, 252, -60, -152, 40, 202, -212, 62, 16, 612, 6, -328, -376, -172, -16, -216, -84, 384, -14, 204, 40, 400, 316, -320, -128, -232, -94, 0, -168, -198, -16, 344, 24, -216, -16, -100, -24, 26, -148, -352, 20, -126, 48, -164, -410, -116, 20, -432, -116, 148, -8, 120, -16, -258, -120, -248, 200, 36, -4, -244, -76, 200, -116, 672, -44, -200, -84, -28, -172, -800, 134, -100, -32, -8, 56, -340, -152, 182, -156, 448, -148, -340, -16, -332, 144, 234, -8, 188, -196, -404, 20, 244, -104, -312, -148, -64, 100, -124, -56, -30, -380, -68, 60, 260, 36, -32, 36, -44, -172, -44, -36, -216, -92, -92, 2, -432, -52, 194, -100, -264, 20, 360, 16, -92, -122, -20, -100, 270, -48, -72, 20, 2, -440, -344, -102, -118, 76, -332, 32, 208, -180, -384, -36, -420, -24, -12, -32, -100, -32, -526, -108, 214, 136, -508, 24, -380, -148, -336, -16, -180, -192, 212, 26, 28, -284, -168, 62, -236, -340, 336, -24, -176, 122, -320, 120, -288, -44, -204, 328, 54, -536, 28, 112, -424, 24, -456, 24, 460, -184, -428, -20, 24, 8, 160, 22, -268, 68, -256, -288, -260, 126, -8, 60, -68, -448, 480, 0, -168, -248, -368, -32, -4, -80, 376, 148, -222, 372, 184, 92, 0, -102, -80, 40, -76, 68, -336, 8, -340, -208, 86, -44, 420, 48, 64, 12, 36, -330, 320, 24, 212, -16, 300, -4, -260, -72, -18, -48, 28, -44, -332, 24, -140, -12, 162, 18, -372, 232, -64, -60, 446, -192, -104, 32, -136, -256, -56, 68, 160, -306, -336, -20, 78, -48, 340, -32, -492, 88, 284, -68, 64, -72, -370, 0, 244, 36, -208, 40, -88, 68, 112, -24, -32, -16, -260, 4, 444, -98, -152, 88, -48, -288, 514, 216, 28, -188, 16, 0, 132, 12, -264, 28, -378, 238, 96, -96, 200, 60, -240, 20, 200, -196, -84, 24, 196, 44, -104, 12, -152, -12, -80, 20, 184, -196, 136, 28, -162, -36, 400, -8, -232, -344, 84, 348, 96, -14, -100, 24, 140, 140, -308, -72, -162, 132, -180, -36, -288, -56, 0, 24, -256, -144, -204, 60, 160, 84, -120, -120, 198, -72, -560, 0, -132, -120, -24, -4, -352, 180, 364, -24, 284, -392, 332, 44, -92, 280, 284, 40, 552, -272, -112, 188, -16, -18, -176, 42, -60, 176, -248, 132, 172, 88, -40, 0, -84, 24, -48, 44, -180, -72, 428, -14, -384, -164, 420, -80, -424, 264, -108, -24, -556, 160, 352, -24, -124, -364, -448, 48, 388, -128, 100, -24, 132, 68, -156, -6, -260, 248, 42, 56, -218, -116, 104, 32, -228, 64, -84, 64, 328, 156, -150, 26, -364, -168, -408, -48, -504, 276, -192, -8, 224, -274, 552, 124, -88, 244, -12, -36, 292, -136, -204, 60, 196, -34, -392, 72, -96, -68, 78, 178, -196, 112, 20, -20, -308, -324, -216, -122, -84, -8, 172, -48, -280, -200, -240, -24, -368, 216, -304, 12, -356, 224, -288, 4, -228, -146, 204, -32, -148, -340, -116, -120, -30, 144, 72, 324, 212, -8, 432, -40, -268, -518, -276, 146, -356, -188, -336, 72, 302, -120, 208, 10, -48, 88, -536, -128, 160, -148, -64, -34, -160, -90, 168, 76, 148, -268, -360, 8, 60, -68, 320, 68, -124, 108, -32, -64, -596, 164, 192, -44, 336, 220, -244, 0, -332, 8, 42, 48, 204, 236, -396, 40, 90, 78, -404, 70, -222, -288, -276, -36, -312, -168, 6, 32, 152, -48, 156, -44, 64, -144, 4, -20, -704, -420, 128, -40, -640, 60, 176, -136, -604, -148, 504, 12, 344, -220, 94, 88, 274, 264, -288, 28, -96, -56, -136, 156, -692, -136, -416, -28, -108, -8, 416, 44, 20, 0, -76, 0, 620, -348, -64, 32, 180, 144, -752, -24, -698, -208, 116, 84, -956, 60, -32, 76, -112, 8, -320, -60, 640, -68, 564, 76, -264, -96, 70, 76, 244, -80, -128, -52, -204, -24, -286, -96, -440, -164, 104, 0, 288, 256, -152, 102, -48, 136, 464, -18, 20, 208, -164, 192, -424, 34, 312, 128, -204, -116, 64, 128, 396, -88, 44, -20, 160, -80, 52, 234, 12, 208, 84, 36, -192, -20, 498, -142, -568, -140, -468, -20, -248, -312, 316, -24, 476, -32, 528, 104, 224, -214, -372, -4, -314, 96, -40, 28, -420, 88, -16, 264, 572, -26, -124, 10, 188, 200, 320, -66, -356, 324, 208, -36, 52, -184, -84, 8, -4, -314, -148, 52, 308, -336, -372, 192, 172, -252, 32, 8, -768, 456, 316, 108, -148, 140, -320, -48, 164, 54, -264, -36, 236, 88, -58, -44, 448, -264, 348, -12, 144, -28, -232, -40, 204, -620, 106, 44, 72, 56, 192, -4, 694, 32, 156, 184, -262, 216, -52, 18, -228, -120, 28, -140, -38, -324, 436, -30, -220, -680, 24, 70, -400, -224, 308, 32, -844, -294, 220, 208, -88, -108, 320, -24, -648, 200, 432, 100, -404, 48, 356, 0, -144, -320, -364, 92, -88, 64, -444, -12, 8, 140, -214, 40, -82, -160, 368, 18, -100, 124, -100, 144, 32, -140, -164, 0, -180, -400, -232, -64, -4, 164, -324, -128, -100, 260, -112, 8, -276, -40, -60, 44, 480, 56, -152, -76, -204, 152, 104, -44, -388, -136, 290, -72, -240, 124, -8, 340, 0, -184, -800, 12, -102, -80, -156, -48, -352, -264, -188, -192, 516, -40, 64, 0, -304, -88, 356, 104, -612, 88, -192, -4, -156, -536, -148, -16, -444, -56, -256, -16, -696, -280, -54, -28, 26, 36, -752, 126, 292, -24, 280, -84, -154, -144, -580, 76, 284, -8, 180, 24, -332, 12, -60, -36, -744, -64, -268, 12, -240, 216, 496, -6, 4, -408, 88, 72, -192, -54, -196, -88, -140, 212, -456, -252, 44, -364, 148, 10, -672, 208, 184, -100, -86, -488, 116, 36, 208, 60, 104, 84, 120, -16, -628, -26, 142, -24, -44, 8, -260, -220, 234, -72, -180, 172, -24, 18, 264, 44, -16, 12, 228, -456, 32, 92, 304, -180, -56, 28, 44, -44, -152, -52, 140, 444, 332, 0, -384, -112, 248, 140, -560, 96, -120, -64, -220, 36, 260, 80, 332, -40, -328, -20, 308, -120, 284, -84, -88, -56, -268, 40, -348, 160, 166, -200, -80, 272, -1328, -36, 136, 384, -128, 172, 196, 60, 160, -4, 428, 8, 82, 28, -104, -284, 372, 80, 644, 208, -322, -376, 264, -84, -812, -48, -152, -120, 216, 208, -236, 168, 268, 20, 292, -120, 80, 370, -764, 328, -160, 24, -672, 88, 28, -4, 244, -304, 52, 16, 76, -328, 600, -272, -392, -240, 92, 88, -156, -88, -472, -8, -210, 148, -68, -20, -448, 72, 254, -156, -4, -400, -44, 18, 116, 656, 166, 100, 248, 124, -324, 52, -792, 208, 340, -34, -140, -664, -148, -96, 104, 34, 444, -144, -72, 28, -352, -6, -230, 320, 128, -80, 432, 190, -84, 80, -220, -212, 388, 282, 136, -88, 552, 44, -320, 136, 116, 128, 396, 108, -16, 4, 364, -304, -236, 160, -880, -20, -224, 48, 180, -8, -512, 196, -582, 452, -48, -176, -100, 28, -456, 88, -328, -228, -196, -36, 648, -412, -36, 6, 48, -160, -108, 40, 816, 80, -132, -144, -190, -228, 96, -20, -464, -192, 544, -208, -624, 148, -344, -80, -212, 52, -328, 52, 56, 240, -432, 48, 194, 96, 80, -144, -32, 320, -140, 42, 96, -164, 412, 36, -284, -284, -800, -20, -304, 192, 66, -24, -172, 312, 456, -52, -840, -380, 920, 8, 60, 168, 372, 60, -28, 176, 260, 36, -220, 288, 136, 112, 500, 32, 266, 20, 444, 208, 772, 16, -148, 240, 232, 200, 164, 108, -268, 48, 320, -136, 320, 88, 392, -144, -64, 352, 52, 336, 408, 106, 764, -176, 4, -36, 380, 212, 132, 36, 144, 448, 92, 28, -292, 112, -574, -124, 344, 76, 176, 76, -208, 176, 84, -156, -220, 148, 84, 106, 28, 176, -372, -108, -38, 284, 852, 72, 880, -242, -96, 212, 132, -556, 96, 0, -160, -360, 628, 12, -316, 340, -288, 88, -64, -24, 294, -34, 324, 92, -8, 18, 660, 112, 496, -200, -268, 172, -560, -44, -180, -568, 548, 280, 700, 232, 32, -32, 304, 64, 680, -32, 484, -224, -740, -60, -44, 392, 360, 228, -122, 580, -44, -72, 256, 128, 638, -22, -416, 36, 702, -204, -200, -52, 552, 164, 460, 48, 288, 2, 216, 32, 210, -240, 604, 252, -300, 32, -44, 6, 240, 28, -136, 432, 380, -20, -188, -164, -320, 218, -14, 356, 648, 68, -276, -360, 308, 32, -352, 168, 972, -32, 96, 48, 546, -8, -892, 256, 256, 56, -148, 164, 80, -124, 296, 168, -104, 40, 368, -24, -660, 0, 404, -24, 280, -44, -900, 144, -56, 80, 436, -40, -92, -32, 316, 240, -160, -4, -400, 60, 424, 16, 236, -494, 410, -100, 726, 256, 364, -24, -636, 0, 556, -186, -372, 180, 124, -54, -320, 386, -120, -20, 164, -136, 380, 36, 208, -216, 540, 316, -282, 448, -484, -76, -212, -480, 156, 52, -122, -404, 72, 68, -252, -176, -312, -24, 440, 242, -472, -48, -452, -48, -254, 92, -60, -8, -344, 4, 388, 384, -376, -124, 360, -112, 208, -132, 244, -428, 56, -146, -262, 268, -184, 92, 596, 200, -418, -52, -192, 274, -212, 64, 240, 120, -22, -156, -1164, 232, -1128, -4, 684, -148, 876, -28, -330, -192, 272, 36, 784, 198, 124, -66, 620, 140, 84, 28, 288, -264, 400, 256, -850, 228, -320, 48]