# Trace form for 4006.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 166, 0, 2, 166, 0, 4, -4, 0, 164, -2, -4, 2, -2, -4, -4, 166, -4, 0, -2, 0, 0, 6, 8, 4, 176, 0, 8, -4, -8, 12, -4, 0, 36, -4, 4, 164, 16, 4, -24, -2, 8, 28, -8, -4, 0, 0, -8, 2, 150, -8, -4, -2, -2, 28, 4, -4, -52, -6, -26, -4, -8, -4, -44, 166, -24, 8, -36, -4, 0, 24, -28, 0, -16, -2, -2, -2, -4, -24, 4, 0, 174, -20, -36, 0, -40, -2, 0, 6, 0, -18, -80, 8, 8, 4, -4, 4, -20, -16, 24, 176, -2, -24, 48, 0, 24, -28, -10, 8, -32, 4, -24, -4, 8, 16, -4, -8, -30, 24, -28, 12, 120, -14, 28, -4, -24, -28, -32, 0, 20, -28, -8, 36, -52, 14, -16, -4, -64, -36, -56, 4, 40, -16, 0, 164, 0, 8, 2, 16, -52, 32, -44, 4, 16, 16, -4, -24, 12, 24, -28, -2, -48, 16, -28, 8, 16, -22, -64, 28, 100, -48, -34, -8, -38, 8, -64, -4, -60, 16, 22, 0, -54, -8, -92, 0, -92, -44, 52, -8, -92, -36, -24, 2, 36, -28, -68, 150, 10, -30, -12, -8, -36, -28, -20, -4, 100, -16, 20, -2, -64, -24, -58, -2, 52, 56, -36, 28, 56, 14, -164, 4, -88, -68, -68, -4, 186, -48, -38, -52, 46, -8, -12, -6, -28, 16, 52, -26, -32, 4, 8, -4, -80, -16, 26, -8, -24, 48, -12, -4, -12, 12, 86, -44, 24, -24, -68, 166, 92, 24, -4, -24, -100, -18, -80, 8, 88, -28, -12, -36, -62, -12, -80, -4, 8, -4, -8, 0, 54, -66, -16, 24, 4, -76, 62, -28, 92, -72, -136, 0, 178, -24, -48, -16, 68, 72, 80, -2, -4, 42, -52, -2, -12, -20, -48, -2, -80, -28, 74, -4, 100, 24, 16, -24, 84, -30, 12, 4, -42, -80, 72, 0, 60, -16, -52, 174, 110, -22, -40, -20, -8, -80, -52, -36, 188, 44, 28, 0, 40, 0, 28, -40, -76, -28, -56, -2, 68, 16, 76, 0, -54, -124, -156, 6, -32, 80, 52, 0, -68, 68, 24, -18, 132, -20, 70, -80, 128, -44, 16, 8, -36, -32, 44, 8, -82, 80, 60, 4, -12, 156, 10, -4, -64, 32, 192, 4, 32, -28, 140, -20, -90, -60, -12, -16, -8, 4, -64, 24, -36, -64, 36, 176, 96, -72, -44, -2, 80, 8, -112, -24, -4, 32, -32, 48, 180, -8, -128, 0, 88, 104, -14, 24, 24, -16, -160, -28, -52, 92, -144, -10, 44, 36, -32, 8, -16, 144, 48, -32, 36, 100, -52, 4, 220, -68, -16, -24, 160, 76, 44, -4, 32, -104, 80, 8, -56, 76, 344, 16, 64, 8, 40, -4, 8, 48, -60, -8, 184, -48, 134, -30, -8, 44, 4, 24, 100, 36, -90, -28, -14, 8, -112, 12, -84, 24, 24, 120, -112, 148, 8, -14, -20, 82, 288, 28, -84, -36, -8, -4, -56, 112, -90, -24, -134, -4, 90, -28, -184, 16, -72, -32, 248, 128, -48, 0, -158, -16, 60, 20, -4, 76, -24, -28, 134, -78, -70, -8, 60, -56, 220, 36, 182, -140, 28, -52, -148, 92, -72, 14, -92, 124, -60, -16, -118, -48, 78, -4, 212, -112, -226, -64, -4, 150, -136, -36, -60, 52, 68, -56, 80, 40, -124, 4, -80, -80, 0, 40, -192, -24, -80, -16, -32, -16, -142, 0, -130, 72, 368, 164, -184, 32, -88, 0, 352, 4, -172, 8, 16, -106, 2, 2, -72, 52, -30, 16, -32, 40, -252, -52, 116, 24, 212, 32, 28, 64, -80, -44, -36, -4, -8, 4, 20, -96, 58, 16, -94, 8, 48, 16, 212, 116, 62, -4, 140, -100, -44, -24, 234, -100, -28, 12, -116, 136, -104, 24, -46, -16, 256, -28, -42, 0, -220, -2, -32, -56, -140, -48, -316, 60, -108, 16, 84, 28, 4, -28, 202, 72, 40, 8, -94, -120, 62, 16, -22, -122, 44, -22, -48, -106, -88, -64, -124, -20, 168, 28, -216, -24, 8, 100, -116, 28, -24, -48, -160, -168, 256, -34, 160, 88, -188, -8, -84, -248, -212, -38, -76, -22, -212, 8, -152, -12, -92, -64, -66, -48, -52, -4, 24, 64, 220, -60, -100, -184, -126, 16, -148, 108, -112, 22, -68, 92, -68, 0, -88, -208, 32, -54, -212, -4, 44, -8, 80, 24, -76, -92, -198, 124, 136, 0, 184, -100, -148, -92, -86, -28, 220, -44, 32, -116, -112, 52, -168, 52, 0, -8, -140, -100, -112, -92, -156, 104, -112, -36, 268, 24, -256, -24, -184, -164, -240, 2, -160, -40, -44, 36, 48, 162, -84, -28, -240, -48, -76, -68, 40, -60, 200, 150, -196, -136, -104, 10, -100, -80, 224, -30, -308, -38, 312, -12, 68, 24, -176, -8, -200, -208, -132, -36, -188, -20, 86, -28, -132, -126, -48, -20, 4, -32, 136, -4, -244, 60, -356, 100, -30, 0, -208, -16, 380, -80, -186, 20, -142, -68, -244, -2, 304, 16, 12, -64, -168, 28, 160, -24, 120, -30, -98, -58, 80, 180, -36, -2, -48, -284, 64, 52, -36, -84, 132, 56, -280, 32, -16, -36, 248, -120, 228, 28, -196, 40, 170, 56, 28, -4, 72, 14, 56, -28, -68, -164, 84, 156, 44, 4, -126, -112, -42, -88, 24, 118, 252, -68, 108, -144, 52, -68, 4, 64, 108, -4, -172, -80, 88, 186, 116, 44, 0, -48, 432, -76, -232, -38, -26, -16, -116, -52, 140, -64, -128, 46, -124, 20, -40, -8, -102, -186, 192, -12, -116, 0, 336, -6, -184, 136, -262, -28, -156, 80, -80, 16, 188, 12, -76, 52, 198, -280, -92, -26, 204, 64, 44, -32, -120, 4, 304, 4, 272, 112, 56, 8, -144, 0, 336, -4, 182, -68, -48, -80, 236, 156, 220, -16, 96, -156, 32, 26, -236, 36, 268, -8, -92, -112, 300, -24, -420, 26, 0, 48, -28, 4, 204, -12, -144, -96, 128, -4, 92, 80, 392, -12, -58, -132, -96, 12, -116, 0, 236, 86, 200, 36, 410, -44, -220, -28, -168, 24, 254, 32, 316, -24, 184, -10, -148, -68, 108, 20, 12, 166, -192, -200, -216, 92, 116, 60, 272, 24, -60, 180, 68, -4, -180, 36, 184, -24, 100, 8, -268, -100, 368, -28, 72, -18, 160, 136, -62, -80, -60, -116, 168, 8, -212, 40, 4, 88, -24, 28, 0, -28, -408, -160, 264, -12, 102, -20, -216, -36, -180, -272, 256, -62, -140, 22, 72, -12, 44, -152, 102, -80, 96, -68, 104, -4, -366, 48, 328, 8, -58, 88, 28, -4, -48, -6, -436, -8, -234, -56, 56, 0, 0, -48, 184, 54, -312, 148, -12, -66, -52, -12, 92, -16, -32, -124, 232, 24, 296, 104, 244, 4, -52, 174, 180, -76, 148, -136, -180, 62, -88, -120, 468, -28, -384, -68, 132, 92, -116, -132, -232, -72, 16, -64, -152, -136, 100, 92, -86, 0, -96, 16, -104, 178, 92, 124, -8, -24, 112, 28, 114, -48, 424, -236, -372, -16, 208, -284, -48, 68, 68, -124, -120, 72, 24, 168, -148, 80, -96, -40, -24, -2, 40, 48, -318, -4, 120, 160, 96, 42, -144, 192, 120, -52, -288, -228, -160, -2, -88, -152, 262, -12, -24, 106, 20, -20, -204, 134, 280, -48, 156, -220, 28, -2, 4, 96, -120, -80, -24, -212, 540, -28, 288, -40, 16, 74, -8, -44, 128, -4, -12, 56, 380, 100, -218, 188, -188, 24, -52, 48, 320, 16, 188, 88, 4, -24, -184, 24, -324, 84, 8, 352, -56, -30, -62, 36, -72, 12, -204, 28, 332, 4, -200, 320, -100, -42, 0, -188, -140, -80, -44, 104, 216, 72, -158, -32, 148, 0, -80, 32, 162, 60, -312, 78, -264, -16, 68, -48, -58, -52, -160, -192, -156, 174, 184, 56, -320, 110, 22, -268, 192, -22, -240, -248, -184, -40, 76, 84, -88, -20, 10, 80, 420, -8, -100, 168, -232, -80, -268, 28, -92, -52, 54, -136, -356, -36, -256, 96, 24, 188, -200, 32, -68, 44, 76, 256, 172, 28, -492, -60, 180, 0, 180, 184, 4, 40, -252, 340, 60, 0, 324, 122, -20, 28, 4, -128, 0, -40, 36, -288, -312, -76, -332, 212, 296, -28, 216, -72, 378, -56, 222, 192, 92, -2, -336, 152, -224, 68, 4, 6, 300, 16, 232, 272, -68, 76, -48, -84, 128, 0, -172, 144, -40, -54, -516, 196, -100, -124, -432, 16, -4, -156, -132, 140, -360, 6, -40, 32, 204, -32, -104, 60, -144, 80, -16, 70, -112, 52, 32, 92, -180, 0, -740, -128, 220, -68, -42, 164, -394, 68, -228, 400, 84, 24, 516, -76, 52, -18, 144, -80, 12, 132, -336, -68, 40, -20, -280, -310, -176, 70, -80, -44, 508, -80, -80, 264, 100, 128, 104, 136, 392, -44, -416, 264, -400, 16, -124, -56, 268, 8, -124, -64, 38, -36, 64, 178, -628, -32, -84, -36, 300, 44, -152, 196, 144, 8, -4, 56, 0, -82, 360, -118, -60, 80, 156, 72, 84, 60, -504, 32, -492, 4, -536, 152, 16, -12, 456, 52, 32, 156, -64, 30, 220, 10, -120, -240, -316, -4, 34, 148, 244, -64, 56, 204, 48, 32, 84, 136, -242, 192, -396, -196, -92, 4, -56, 128, -90, 32, 56, 164, -4, -28, 28, 76, 472, 140, -114, -212, -312, -20, -180, 48, 76, -90, -344, -80, -76, -60, -156, 176, 516, -12, -20, -36, -80, -16, -224, -88, 152, -8, 174, 90, -184, 4, 164, -240, -122, -64, 108, -232, -176, 24, -116, -84, 694, -36, -92, 32, -156, -64, 272, -218, 344, 36, 62, -120, -176, 176, 312, 208, 232, 96, -4, -72, -120, -72, 116, -136, 346, -44, 152, -132, -40, -2, -28, -52, -10, 80, -334, -210, -154, 8, 156, 364, -94, -112, -258, 52, -280, -24, -264, 208, -212, -4, 56, 152, -276, 32, 124, -228, 352, -32, -212, 208, -64, 48, 164, -256, 72, 180, 256, -92, 144, -8, -220, 108, 4, -128, 188, -48, 224, 0, -420, 4, 250, 88, -426, -116, -32, 104, 20, -280, -172, -14, 324, -152, 20, 24, -70, 120, 368, 24, 84, -224, -172, -16, -20, -362, -326, -160, -206, -376, 468, -28, 0, -80, -444, -52, -144, 160, 28, 92, 248, 102, 168, -144, 498, -208, 124, -10, -512, 120, -752, 44, -112, -134, 32, 36, -28, 84, -206, -32, -412, -200, -168, 8, -260, -204, -224, -16, 288, -8, -16, 144, 108, 116, 188, 48, -132, -188, 68, -32, -52, 28, -136, 36, -324, 256, 256, 100, 236, -70, -764, -52, 176, 220, -156, 4, -246, -264, 284, 220, 148, 16, -220, -68, 104, 32, -124, -16, 22, -144, 192, -24, -200, -104, 176, 160, -200, -42, 268, 76, -80, 108, 494, 44, -598, 64, -308, -4, 152, -48, -96, 32, -420, 8, -36, -104, 80, -100, 360, 80, -40, -136, -308, 8, 204, -196, -68, -56, 296, 298, 272, 76, -228, -508, -16, 344, 260, 196, 172, 16, 32, 352, -20, 64, -4, 120, 140, 8, 702, -64, 408, 40, 116, 156, -116, -4, 76, -144, -60, 8, 780, -84, 384, 48, 252, -58, 256, -60, 40, -344, 180, -8, 160, 168, 96, 184, 296, 32, 128, -48, 148, 116, 212, 134, 76, -40, 432, -30, 388, 24, -282, -8, -156, 324, 28, 44, 420, -308, 308, 4, -128, 152, 488, 24, -28, -432, 336, 100, 712, -6, 192, 36, -88, 76, -122, -90, -32, 216, 76, -28, 552, 116, 16, -14, 56, -196, -1016, 8, -44, -156, 436, -112, 460, -88, -24, 12, -252, 200, 256, -84, 284, 320, 24, 24, 368, 72, -42, 24, 210, -112, 44, 120, -164, 160, -328, -112, -292, 102, 196, 148, -152, 172, 232, 8, -58, 36, -228, -14, -124, 8, 60, -20, -112, -108, 324, 82, 208, 134, 532, 288, -36, 56, -80, 28, -220, -212, -492, -84, 64, -248, 224, -36, -136, -76, 290, -8, 28, 276, -214, -4, 352, 96, -188, -56, -324, 64, 200, 112, 44, -100, -180, -90, -366, -616, -136, -24, -20, -56, -8, -134, 812, -80, -138, -4, 364, 4, 224, 90, 452, 4, -196, -28, 60, 120, -74, -184, 500, 280, -200, 16, 164, -308, 120, -72, -440, 140, -16, -32, 464, -168, 16, 248, -184, 138, 162, 128, -308, 182, 2, -48, 312, 140, 112, 0, 364, -124, -224, -158, 48, 196, 516, -16, 388, 200, 368, 60, 628, -140, -128, 20, -376, -264, 50, -4, 94, -152, -304, 76, 600, -148, 64, -24, 64, -148, 420, -28, 4, 40, 484, 134, -176, 160, -36, -78, 4, 232, 148, -70, 88, -80, 212, -8, -84, 144, 252, 60, -376, 172, 14, -56, -56, 244, -508, 220, 296, 156, -52, 36, -92, -88, 1236, 182, 216, 0, -312, -140, -28, 6, -120, 28, -384, 0, 288, -52, 24, -40, 64, -148, -124, -100, 104, 92, 96, 60, -24, -72, 440, 276, 620, 14, 24, 56, 18, -92, -24, 6, -220, 124, 448, -200, -52, -60, 432, 196, 380, -16, 84, 312, 36, -118, 184, -32, 248, -48, -512, 256, 404, 78, 144, -88, -88, -4, -576, 16, 56, 212, -340, -62, 116, -112, 568, -128, 500, -226, 44, -192, 72, -64, -12, -480, 448, -4, 80, -32, -474, 150, 236, 12, 64, -136, -660, 248, -288, -36, 482, -72, 204, -60, -236, 68, 236, 52, 308, -134, 348, 68, -190, -48, -286, -56, 100, -184, 244, 80, 308, 228, -568, 40, -56, 78, 552, -124, 36, -192, -240, 4, -432, 144, -80, -80, 284, 338, -488, -80, -412, -120, -290, 0, 196, -300, 568, 40, -212, -180, 220, -192, -948, -236, 16, -24, 720, -140, -358, -80, 242, 40, -256, -16, 416, -256, -68, -32, 336, 128, 624, -16, -176, -84, 384, -142, -1116, -156, 256, 0, -372, -124, 304, -130, 472, -244, 32, 72, 100, -20, -42, 368, -100, 248, 244, 164, -36, -376, 386, -184, -82, -20, -300, 32, 708, -336, -396, -88, 76, -8, -56, 0, -180, 80, 312, 352, 176, -60, 306, 4, 44, 264, 124, -172, -196, -88, 68, 8, 32, 88, 236, 16, 224, 326, 244, -106, 512, 164, 134, 2, -232, -76, 236, 2, 84, 40, 824, -72, 552, -238, -36, 52, 500, -42, 56, -30, 204, -12, -536, 16, -28, -464, -52, -32, -64, 96, -364, 40, 268, -188, 388, -252, 202, 176, -76, -52, 160, -24, 96, 116, 138, -240, 92, 24, -398, -80, 204, 212, -128, 240, 428, 32, -426, -96, 290, 28, 64, 204, -528, 64, 644, 292, -334, -80, -80, 32, -440, -44, 192, -208, -44, -36, 182, -476, 428, -4, 420, -218, 432, -8, 92, -224, 612, 4, 80, 192, -36, 20, 56, 212, -224, -96, 136, 240, -192, 58, 48, 32, -416, 16, -216, -312, -260, -94, -44, 276, 536, 8, 364, -66, 460, 48, 364, 272, 40, 16, -448, 380, -84, 212, 268, 100, 120, 116, 44, 32, 620, 62, -176, 68, -480, -4, -510, -488, 12, 140, 272, -276, 334, -100, 660, 8, 500, -44, 150, -120, 636, -24, -152, 160, -248, 234, 24, -450, -452, -100, -300, 32, 140, -28, 64, -88, -504, 12, 68, -72, -64, -116, 8, -174, -400, 136, 260, 164, 278, -104, -6, -320, 104, 24, -708, -168, -236, -46, 228, 8, -56, -16, 376, -84, 166, 256, 940, -128, -144, -28, 132, 296, 470, -42, -498, -256, -260, 0, 156, -56, -8, -220, 412, 60, 208, -2, -104, -408, 272, -32, -392, 188, 388, -56, -320, -168, 14, -140, -336, -464, 160, -48, 408, 24, 108, -316, -96, -304, -344, 60, -452, 364, -132, -108, -344, -12, -144, 16, -112, -180, -52, 84, 446, -92, 248, 28, 168, 416, 132, 4, 600, 28, 216, -28, -16, -160, -320, 202, -432, -62, 392, 72, -116, 136, 200, 40, 98, -244, -568, 8, -484, -144, 444, -94, 256, -156, 288, -120, 504, -72, 368, 62, 292, 12, -344, 16, 700, -224, 364, -22, -52, 548, -120, -122, 168, -348, 244, 44, -440, -264, -116, -22, 320, -112, 480, -48, 72, 168, -262, -106, 360, 312, 40, -88, 88, -248, -352, -64, -348, -96, 174, -124, -202, -200, -478, -20, 468, 286, -244, 168, 336, 160, 156, 28, -60, -84, -392, -216, -728, -360, 44, -24, 876, -84, -26, 8, -416, 404, 392, 100, 452, -8, -328, -116, 116, 288, -128, 28, -108, 40, -668, -24, 344, -496, 20, -48, -224, 8, 652, -160, -468, 212, -328, -168, 192, 36, 454, 256, -72, -60, -816, -34, 252, 128, 212, 160, -38, -360, 108, 88, -188, 108, -164, -188, -376, -104, 544, -8, -92, -412, 484, -84, -578, -116, 100, -248, -248, 98, 434, -212, -20, -144, -164, -38, 140, -468, -244, -76, 40, 240, -44, -22, -16, 252, -28, -212, -184, -100, 120, 8, 260, 608, 266, -152, -158, -604, -108, -12, -676, -104, 504, -92, 182, -44, -248, -64, -468, 456, 56, -66, -508, 84, -420, -48, 672, 116, -176, -52, -164, 124, -36, -4, -492, -76, 88, 24, -372, -100, 224, 64, -568, -282, 240, 220, -528, 112, -8, -60, 164, -388, -748, -100, 506, 44, 188, -184, -56, 506, 432, -126, 224, -372, -208, 16, -72, 416, 70, -148, 56, -138, 16, 108, -180, 4, 60, -112, 46, -32, -40, 22, -496, 40, 296, -68, -128, -428, 76, 92, -164, 328, 684, -68, -276, -164, -500, 0, 268, -168, -1562, -88, -280, -372, 448, -208, 588, 18, -462, 32, 92, -28, -1156, -54, -160, -8, -52, -212, -308, -86, 6, -4, 464, 2, 852, 44, 530, -472, 140, -8, -28, -208, 24, 80, -252, -110, 96, 24, 408, -312, -140, -76, -138, 40, 36, -92, -480, 88, -112, -198, 0, -374, -52, 124, 372, 28, -20, 136, 584, 44, 480, 0, -368, -240, -124, 184, 56, 92, -102, -100, -336, 388, 20, -148, 72, -312, 492, -92, -1236, 312, -208, -86, -324, 122, -824, -28, 20, -92, 340, 220, -1004, 388, -104, -44, 368, 12, -508, 32, -84, 40, 164, -116, -292, 56, -784, -112, -292, -224, -536, 52, 304, 328, 32, -168, 624, 114, -208, 52]