# Trace form for 5586.2.a.ce, downloaded from the LMFDB on 19 April 2024.
[0, 8, 8, -8, 8, -4, -8, 0, 8, 8, -4, 8, -8, 4, 0, 4, 8, -8, 8, -8, -4, 0, 8, 4, -8, 24, 4, -8, 0, 16, 4, -4, 8, -8, -8, 0, 8, 12, -8, -4, -4, 0, 0, 16, 8, -4, 4, -12, -8, 0, 24, 8, 4, 24, -8, 8, 0, 8, 16, 8, 4, 0, -4, 0, 8, 8, -8, 8, -8, -4, 0, 24, 8, 16, 12, -24, -8, 0, -4, 20, -4, 8, 0, -16, 0, 48, 16, -16, 8, 0, -4, 0, 4, 4, -12, 4, -8, 8, 0, 8, 24, -12, 8, -12, 4, 0, 24, 8, -8, 28, 8, -12, 0, 40, 8, 16, 16, 4, 8, 0, 4, 32, 0, 0, -4, 0, 0, 4, 8, -16, 8, 24, -8, 0, 8, 4, -8, 8, -4, 40, 0, 12, 24, 40, 8, -8, 16, 0, 12, 4, -24, 28, -8, -8, 0, 48, -4, 32, 20, -24, -4, 0, 8, 16, 0, -8, -16, 0, 0, 72, 48, -8, 16, 24, -16, 0, 8, -8, 0, 0, -4, 68, 0, 0, 4, 24, 4, -16, -12, 0, 4, -36, -8, 8, 8, -8, 0, 36, 8, 24, 24, -8, -12, 0, 8, -32, -12, 4, 4, -8, 0, 32, 24, -24, 8, 40, -8, 0, 28, -16, 8, -16, -12, 52, 0, 24, 40, -8, 8, 72, 16, 0, 16, 0, 4, -40, 8, -20, 0, 28, 4, 24, 32, -8, 0, 0, 0, -4, -4, 16, 0, -8, 0, 64, 4, -48, 8, 16, -16, 0, 8, 16, 24, 4, -8, 88, 0, 0, 8, 16, 4, 32, -8, 0, 8, 8, -4, 16, 40, -4, 0, 80, 12, 40, 24, -4, 40, 0, 8, 24, -8, -8, 16, -64, 0, -8, 12, -8, 4, 24, -24, 0, 28, 12, -8, -104, -8, 80, 0, 12, 48, -28, -4, 8, 32, 0, 20, 16, -24, -16, -4, -8, 0, 8, 8, 172, 16, -28, 0, 0, -8, -24, -16, 12, 0, -40, 0, 32, 72, -40, 48, 56, -8, 0, 16, -16, 24, 56, -16, 16, 0, -4, 8, 16, -8, -48, 0, 0, 0, 28, -4, 8, 68, -32, 0, 32, 0, 0, 4, 0, 24, 0, 4, -44, -16, 0, -12, -104, 0, 72, 4, -4, -36, 48, -8, 0, 8, 16, 8, -68, -8, 48, 0, -24, 36, -32, 8, 56, 24, 0, 24, -8, -8, -40, -12, -4, 0, -72, 8, 40, -32, -8, -12, 0, 4, -80, 4, -40, -8, -16, 0, 4, 32, -12, 24, -88, -24, 0, 8, -40, 40, -88, -8, 56, 0, 8, 28, -4, -16, 20, 8, 0, -16, -56, -12, 16, 52, -4, 0, 8, 24, 88, 40, -28, -8, 0, 8, -16, 72, 8, 16, -44, 0, -96, 16, -48, 0, -32, 4, 0, -40, -32, 8, 48, -20, -24, 0, 24, 28, -28, 4, 0, 24, 0, 32, -48, -8, -140, 0, -16, 0, -16, 0, 16, -4, 8, -4, 0, 16, 16, 0, 0, -8, -52, 0, 32, 64, -72, 4, -16, -48, 0, 8, 8, 16, -72, -16, 40, 0, -24, 8, -32, 16, 16, 24, 0, 4, -32, -8, -64, 88, 8, 0, -64, 0, 120, 8, 0, 16, 0, 4, 40, 32, -68, -8, -160, 0, -8, 8, 0, 8, -16, -4, 0, 16, -24, 40, -84, -4, 16, 0, 16, 80, -24, 12, 64, 40, 0, 24, 32, -4, -48, 40, 36, 0, -84, 8, 48, 24, -8, -8, 0, -8, -176, 16, 8, -64, -8, 0, 4, -8, -36, 12, -48, -8, 0, 4, -24, 24, -40, -24, -32, 0, 8, 28, -228, 12, -12, -8, 0, -104, -64, -8, -16, 80, 32, 0, -64, 12, -56, 48, -4, -28, 0, -4, 32, 8, 8, 32, 0, 0, -136, 20, -32, 16, 0, -24, 0, -16, 24, -4, 24, -8, -120, 0, -40, 8, -4, 8, 144, 172, 0, 16, -12, -28, -96, 0, 16, 0, -48, -8, 100, -24, 16, -16, 0, 12, -72, 0, -52, -40, -56, 0, 24, 32, -24, 72, 64, -40, 0, 48, 8, 56, 16, -8, 184, 0, -72, 16, -40, -16, -152, 24, 0, 56, -184, -16, -128, 16, 0, 0, 4, -4, -12, 8, 40, 16, 0, -8, 88, -48, 20, 0, 16, 0, -224, 0, -28, 28, -132, -4, 0, 8, -24, 68, 0, -32, 56, 0, 8, 32, 64, 0, 0, 0, 0, 4, 72, 0, 104, 24, 4, 0, -64, 4, -96, -44, -16, -16, 0, 0, -84, -12, 8, -104, -24, 0, -32, 72, -64, 4, 88, -4, 0, -36, 48, 48, -112, -8, 8, 0, -16, 8, -192, 16, -52, 8, 0, -68, 0, -8, -32, 48, -16, 0, -24, -24, 104, 36, -4, -32, 0, 8, -56, 56, -88, 24, -8, 0, -96, 24, 0, -8, -72, -8, 0, -40, -16, -12, 56, -4, -48, 0, -32, -72, 32, 8, -16, 40, 0, -32, 28, -8, -32, -12, -8, 0, -64, 4, 92, -80, -16, 4, 0, -40, 0, -8, 4, -16, 96, 0, 104, 4, -80, 32, -52, -12, 0, 24, -40, -88, 88, -24, 0, 0, 4, 8, 48, -40, -24, 40, 0, -88, -80, -8, -24, 56, -24, 0, 160, 8, -104, 28, 8, -4, 0, -16, -12, 20, 64, 8, -96, 0, -64, -16, 8, -56, -184, -12, 0, 16, 8, 52, 12, -4, -8, 0, -24, 8, -152, 24, 80, 88, 0, 40, -48, -28, -8, -8, -12, 0, -24, 8, 80, -16, 104, 72, 0, 8, -32, 16, -80, -44, -48, 0, -68, -96, -12, 16, 88, -48, 0, 0, 28, -32, 16, 4, -24, 0, -8, -40, 16, -32, -72, 8, 0, 48, 32, -20, 96, -24, -16, 0, -24, 24, 104, 28, 16, -28, 0, 4, 24, 0, 8, 24, -104, 0, -72, 32, -8, -48, 24, -8, 0, -140, -172, 0, -24, -16, 136, 0, 28, -16, -8, 0, -152, 16, 0, -4, 16, 8, -108, -4, 24, 0, -144, 16, 112, 16, -12, 0, 0, 0, -64, -8, 40, -52, -24, 0, -24, 32, -32, 64, -68, -72, 0, 4, 40, -16, 0, -48, 76, 0, -56, 8, 0, 8, 216, 16, 0, -72, 44, -16, 40, 40, 16, 0, -48, -24, -92, 8, -56, -32, 0, 16, -8, 16, -16, 24, -32, 0, 8, 4, 4, -32, 72, -8, 0, -64, -16, 88, 68, 8, 68, 0, 48, -64, 96, 0, 48, 120, 0, 8, -104, 0, 40, 16, -28, 0, 16, 4, 104, 40, -8, 32, 0, -68, -88, -8, 32, -160, 24, 0, 36, -8, -32, 8, -152, 0, 0, 8, 0, -16, -148, -4, 112, 0, 0, 16, -68, -24, -8, 40, 0, -84, -184, -4, 68, 16, 44, 0, -8, 16, 48, 80, 0, -24, 0, 12, 88, 64, 104, 40, -104, 0, -88, 24, -72, 32, -96, -4, 0, -48, 4, 40, 56, 36, -8, 0, -48, -84, -76, 8, -128, 48, 0, 24, 40, -8, 0, -8, -16, 0, -32, -8, 8, -176, 68, 16, 0, 8, -152, -64, -48, -8, -228, 0, 16, 4, 24, -8, 128, -36, 0, 12, 32, -48, 8, -8, 240, 0, -56, 4, -176, -24, 56, 24, 0, -40, -24, -24, -72, -32, 8, 0, 32, 8, 192, 28, 40, -228, 0, 12, -80, -12, 4, -8, 128, 0, -72, -104, 72, -64, -260, -8, 0, -16, -40, 80, 40, 32, -92, 0, 8, -64, -8, 12, 156, -56, 0, 48, -144, -4, 176, -28, 80, 0, -176, -4, -16, 32, 40, 8, 0, 8, -208, 32, 16, 0, -56, 0, 16, -136, -4, 20, -96, -32, 0, 16, 12, 0, -48, -24, -8, 0, 88, -16, -172, 24, -8, -4, 0, 24, -128, -8, -144, -120, 40, 0, 112, -40, -120, 8, 88, -4, 0, 8, -8, 144, -56, 172, -108, 0, -224, 16, -8, -12, -72, -28, 0, -96, 4, 0, -8, 16, 120, 0, -20, -48, 160, -8, 8, 100, 0, -24, 88, 16, -48, -16, 56, 0, -96, 12, 264, -72, -16, 0, 0, -52, 16, -40, 4, -56, -192, 0, -72, 24, -8, 32, -24, -24, 0, 72, -88, 64, -128, -40, -16, 0, 28, 48, -88, 8, 8, 56, 0, 16, -24, -8, 72, 184, 16, 0, 12, -72, -176, 16, -8, -40, 0, -16, -84, -152, 44, 24, -168, 0, -16, 56, 96, -184, -72, -16, 0, -128, 48, 16, -128, 0, 20, 0, 32, 4, -160, -4, 112, -12, 0, 8, 24, 40, 32, 16, 32, 0, -312, -8, 184, 88, -48, -48, 0, 20, 80, 0, 24, 16, -120, 0, 24, -224, -24, 0, 48, -28, 0, 28, 28, -132, 208, -4, -160, 0, 0, 8, -28, -24, 252, 68, 0, 0, -72, -32, 0, 56, 48, 0, -72, 8, -24, 32, 140, 64, 0, 0, 40, 0, 16, 0, -24, 0, 12, 4, 16, 72, -48, 0, 0, 104, -16, 24, 72, 4, 120, 0, -8, -64, -44, 4, -192, -96, 0, -44, -20, -16, -104, -16, -16, 0, -48, 0, -20, -84, 0, -12, 0, 8, 80, -104, 52, -24, 128, 0, -80, -32, -32, 72, -224, -64, 0, 4, 72, 88, 192, -4, 80, 0, 16, -36, 16, 48, 32, 48, 0, -112, 64, -8, 112, 8, -8, 0, 48, -16, -48, 8, 72, -192, 0, 16, 4, -52, -40, 8, -208, 0, -24, -68, 24, 0, 180, -8, 0, -32, 32, 48, -72, -16, 120, 0, -16, -24, 88, -24, -92, 104, 0, 36, 16, -4, 64, -32, 32, 0, -156, 8, 120, -56, 64, 56, 0, -88, -56, 24, -8, -8, 112, 0, -104, -96, 64, 24, -144, 0, 0, -8, -120, -72, -100, -8, -48, 0, 0, -40, -84, -16, -48, -12, 0, 56, 200, -4, 184, -48, -40, 0, -8, -32, -24, -72, 68, 32, 0, 8, 80, -16, 160, 40, 96, 0, 168, -32, 8, 28, -40, -8, 0, -32, 0, -12, 160, -8, -72, 0, 16, -64, 40, 4, 56, 92, 0, -80, -48, -16, 108, 4, 24, 0, 120, -40, -112, 0, 84, -8, 0, 4, -72, -16, -16, 96, -120, 0, 128, 104, -16, 4, -216, -80, 0, 32, 24, -52, 0, -12, 116, 0, -64, 24, -24, -40, 240, -88, 0, 88, -112, -24, 0, 0, -32, 0, 136, 4, 128, 8, 48, 48, 0, -40, 272, -24, -36, 40, 128, 0, -32, -88, 84, -80, -24, -8, 0, -24, -48, 56, 204, -24, -56, 0, 8, 160, 160, 8, 76, -104, 0, 28, 168, 8, -64, -4, 176, 0, 32, -16, -48, -12, -8, 20, 0, 64, 56, 8, 8, -96, -256, 0, 80, -64, -4, -16, 192, 8, 0, -56, 36, -184, -88, -12, 160, 0, 48, 16, -104, 8, 32, 52, 0, 12, 16, -4, 76, -8, 24, 0, 16, -24, 120, 8, 40, -152, 0, 24, 0, 80, 32, 88, -4, 0, -176, 40, -8, -48, 104, -28, 0, -8, 228, -8, 40, -12, 112, 0, 12, -24, -152, 8, 304, 80, 0, -16, 152, 104, -32, 72, 64, 0, -128, 8, 128, -32, 16, 16, 0, -80, -8, -44, -32, -48, 148, 0, 320, -68, 64, -96, -160, -12, 0, 16, 56, 88, 360, -48, 76, 0, 4, 0, 296, 28, -72, -32, 0, 16, -132, 4, 40, -24, -32, 0, 176, -8, -24, -40, -8, 16, 0, -32, -48, -72, 0, 8, -40, 0, -136, 48, 136, 32, -168, -20, 0, 96, 32, -24, -196, -16, 56, 0, 0, -24, 0, 24, 192, 104, 0, 28, 128, 16, 336, -28, -24, 0, 12, 4, 176, 24, -24, 0, 0, 8, 192, 24, 120, -104, -96, 0, 12, -72, 40, 32, 56, -8, 0, -48, 4, 24, -48, -8, -24, 0, -144, -140, -68, -172, -180, 0, 0, -24, -128, -16, 12, 136, 12, 0, 264, 28, 128, -16, 96, -8, 0, 0, 32, -152, -16, 16, -156, 0, 220, -4, 48, 16, 152, 8, 0, -108, -100, -4, -184, 24, 152, 0, -16, -144, -24, 16, 144, 112, 0, 16, 144, -12, -104, 0, 72, 0, 8, 0, 128, -64, 52, -8, 0, 40, 96, -52, 56, -24, 240, 0, 88, -24, -24, 32, -400, -32, 0, 64, 24, -68, -48, -72, -12, 0, -64, 4, -8, 40, 400, -16, 0, 0, 12, -48, 40, 76, -8, 0, 192, -56, 16, 8, -16, 0, 0, 8, -16, 216, -184, 16, -392, 0, 144, -72, 72, 44, -60, -16, 0, 40, 40, 40, 92, 16, -28, 0, 152, -48, -224, -24, 152, -92, 0, 8, 112, -56, -96, -32, 184, 0, -76, 16, 64, -8, 128, 16, 0, -16, 0, 24, 0, -32, 240, 0, -32, 8, -4, 4, -312, 4, 0, -32, 12, 72, -24, -8, -32, 0, -40, -64, 80, -16, 160, 88, 0, 68, 224, 8, 96, 68, -88, 0, -48, 48, 104, -64, -20, 96, 0, 0, 88, 48, -16, 120, -152, 0, -36, 8, 224, -104, -40, 0, 0, 40, 28, 16, 104, -28, 160, 0, 132, 16, 128, 4, -216, 104, 0, 40, 0, -8, -104, 32, 24, 0, 144, -68, -240, -88, 0, -8, 0, 32, 200, -160, -56, 24, -248, 0, -16, 36, -8, -8, -16, -32, 0, 8, -64, -152, 120, 0, 104, 0, 0, 8, -208, 0, -88, -16, 0, -148, 248, -4, 168, 112, -72, 0, 28, 0, -24, 16, -104, -68, 0, -24, 56, -8, -4, 40, -8, 0, -240, -84, 64, -184, 256, -4, 0, 68, 96, 16, 112, 44, -232, 0, 16, -8, 112, 16, 232, 48, 0, 80, -8, 0, 80, -24, 84, 0, -208, 12, -264, 88, -8, 64, 0, 104, -64, 40, 24, -104, 160, 0, 276, -88, 32, 24, -120, -72, 0, 32, 64, -96, 80, -4, 152, 0, -88, -48, -272, 4, -56, 40, 0, 56, -104, 36, -108, -8, -48, 0, -8, -48, -32, -84, 112, -76, 0, 8, 440, -128, -8, 48, 0, 0, -212, 24, 16, 40, -64, -8, 0, 0, 192, -8, 40, -16, 80, 0, 52, -32, 128, -8, -32, 8, 0, -176, 96, 68, -176, 16, 0, 0, 192, 8, -136, -152, 32, -64, 0, -48, 56, -8, 16, -228, 128, 0, 24, 16, 24, 4, 92, 24, 0, -8, -104, 128, -288, -36, -64, 0, 4, 12, -152, 32, -248, -48, 0, 8, 0, -8, -40, 240, 56, 0, -132, -56, 68, 4, 88, -176, 0, -24, 204, 56, 8, 24, -16, 0, -120, -40, 96, -24, -52, -24, 0, -72, 0, -32, 336, 8, -192, 0, 72, 32, 136, 8, -4, 192, 0, 28, 328, 40, 304, -228, 16, 0, -200, 12, -216, -80, -56, -12, 0, 4, -144, -8, 48, 128, 112, 0, 232, -72, 32, -104, 32, 72, 0, -64, -32, -260, -40, -8, 16, 0, 16, -16, 56, -40, -328, 80, 0, 40, 96, 32, -40, -92, -28, 0, 512, 8, -80, -64, 32, -8, 0, 12, 96, 156, 8, -56, -44, 0, 24, 48, 64, -144, -464, -4, 0, 176, -92, -28, -24, 80, -232, 0, 16, -176, 56, -4, 176, -16, 0, 32, 184, 40, -12, 8, 0, 0, 64, 8, 72, -208, -4, 32, 0, 16, 96, 0, -96, -56, 168, 0, 184, 16, -104, -136, -60, -4, 0, 20, 80, -96, -16, -32, -48, 0, 52, 16, 56, 12, 192, 0, 0, -48, -68, -24, -56, -8, 40, 0, 248, 88, -256, -16, -88, -172, 0, 24, 80, -8, 0, -4, -336, 0, 160, 24, -4, -128, 128, -8, 0, -144, -48, -120, -48, 40, 124, 0, 24, 112, 144, -40, -240, -120, 0, 8, 16, 88, -208, -4, 80, 0, -28, 8, 184, -8, 24, 144, 0, -56, 184, 172, 24, -108, -8, 0, -96, -224, -160, 16, 40, -8, 0, -12, 104, -72, -16, -28, -120, 0, -8, -96, 128, 4, 16, 0, 0, -8, 32, 16, 128, 120, 12, 0, 40, -20, -512, -48, -64, 160, 0, -8, -40, 8, 96, 100, -92, 0, 104, -24, 64, 88, 144, 16, 0, -48, -8, -16, 80, 56, -128, 0, 184, -96, 216, 12, -416, 264, 0, -72, 48, -16, -264, 0, -8, 0, 8, -52, 32, 16, -12, -40, 0, 4, -288, -56, 8, -192, 64, 0, 64, -72, 24, 24, 0, -8, 0, 32, 152, -24, 112, -24, 112, 0, -80, 72, -232, -88, 24, 64, 0, -128, -64, -40, 40, -16, 48, 0, -40, 28, 60, 48, 8, -88, 0, 8, 260, 8, 12, 56, 24, 0, -24, 16, 24, -24, -8, -8, 0, 72, -80, 184, 36, 16, -152, 0, -104, 12, 88, -72, -388, -176, 0, 16, -24, -8, 8, -40, 32, 0, 336, -16, -320, -84, 80, -152, 0, 44, -132, 24, 48, -168, 0, 0, 16, -16, 68, 56, 32, 96, 0, -184, 12, -72, -204, -16, 160, 0, -88, -128, -192, 48, 168, 16, 0, -128, 328, 0, -144, 20, -28, 0, -32, 32, -120, 4, -16, -160, 0, -4, 248, 112, 24, -12, -112, 0, -88, 8, 8, 24, -64, 40, 0, 32, -16, 16, -80, 32, -248, 0, 72, -312, -4, -8, 208, 184, 0, 88, -164, -48, 176, -48, -32, 0, 144, 20, 160, 80, -96, 0, 0, 24, -184, 16, 16, -120, 152, 0, 160, 24, 24, -224, -92, -24, 0, 0, -104, 48, -136, -28, -28, 0, -16, 28, -312, 28, 72, -132, 0, 208, 32, -4, -96, -160, -24, 0, 64, 0, -196, 8, -8, -28, 0, -24, 336, 252, 104, 68, -40, 0, 176, 0, 72, -72, -392, -32, 0, 0, 8, 56, 208, 48, -176, 0, -24, -72, 688, 8, 204, -24, 0, 32, 104, 140, -40, 64, 172, 0, -156, 0, -24, 40, 24, 0, 0, 16, 64, 0, -136, -24, -328, 0, 0, 12, -28, 4, -48, 16, 0, 72, 8, -48, -344, 0, 24, 0, 152, 104, -104, -16, -88, 24, 0, 72, 0, 4, -192, 120, -16, 0, 0, -8, -152, -64, 108, -44, 0, 4, 56, -192, -24, -96, 288, 0, -32, -44, 144, -20, -24, -16, 0, -104, -112, -16, 88, -16, -160, 0, 12, -48, 68, 0]