# Trace form for 1587.2.a.s, downloaded from the LMFDB on 22 December 2024.
[0, 6, 2, 6, 10, 0, 2, 0, 18, 6, 0, 0, 10, 8, 0, 0, 26, 0, 2, 0, 0, 0, 0, 0, 18, 2, -40, 6, 0, 12, 0, 12, 58, 0, 0, -32, 10, 0, 0, 8, 0, 4, 0, 0, 0, 0, 0, 8, 26, 2, -42, 0, -24, 0, 2, 16, 0, 0, -20, 56, 0, 0, 28, 0, 26, 0, 0, 0, 0, 0, 56, -24, 18, 40, 0, 2, 0, -24, -40, 0, 0, 6, -36, 0, 0, 32, 0, 12, 0, 0, 0, 0, 0, 12, 32, -48, 58, 0, -90, 0, -34, 44, 0, 0, -56, -32, 0, 0, 10, 0, -32, 0, 0, 0, 0, 0, 36, 8, 0, -8, 0, 46, 0, 4, 4, 0, 0, 20, 34, 0, 0, -56, 0, 44, 0, 0, 0, 0, 0, 24, -32, 8, -8, 0, 26, 0, -24, 2, 0, 0, -42, 32, 0, 0, -8, 0, -24, 0, 0, 0, 0, 0, 2, 20, -100, 16, 0, 32, 0, 18, 16, 0, 0, -36, -20, 0, 0, 56, 0, 16, 0, 0, 0, 0, 0, -16, 28, 0, -72, 0, 40, 0, 26, 12, 0, 0, -2, 52, 0, 0, -74, 0, -108, 0, 0, 0, 0, 0, -136, -120, 56, 44, 0, -24, 0, 32, 18, 0, 0, 40, -80, 0, 0, 16, 0, 2, 0, 0, 0, 0, 0, -24, 28, 44, -40, 0, 40, 0, 16, -72, 0, 0, 186, 6, 0, 0, -36, 0, 44, 0, 0, 0, 0, 0, -28, 32, 122, -4, 0, -12, 0, 12, -104, 0, 0, 0, -28, 0, 0, -12, 0, -20, 0, 0, 0, 0, 0, 16, 56, 12, -8, 0, 32, 0, -40, -48, 0, 0, 58, -22, 0, 0, -40, 0, -90, 0, 0, 0, 0, 0, -34, -68, 0, 44, 0, 64, 0, 76, -40, 0, 0, -88, -56, 0, 0, -32, 0, 92, 0, 0, 0, 0, 0, -56, 10, 88, -140, 0, -132, 0, -32, -36, 0, 0, 96, 80, 0, 0, -90, 0, -16, 0, 0, 0, 0, 0, -84, -24, 36, 20, 0, 8, 0, -100, 0, 0, 0, -8, -72, 0, 0, 58, 0, 46, 0, 0, 0, 0, 0, 4, -40, 8, 4, 0, -112, 0, -32, 64, 0, 0, 80, 20, 0, 0, 34, 0, 84, 0, 0, 0, 0, 0, -90, -56, 4, -16, 0, 52, 0, 44, -162, 0, 0, -32, -108, 0, 0, -88, 0, 4, 0, 0, 0, 0, 0, -96, -40, 24, -136, 0, -32, 0, 28, 8, 0, 0, -8, -52, 0, 0, -104, 0, 26, 0, 0, 0, 0, 0, -24, 48, -96, 2, 0, -80, 0, -96, 32, 0, 0, -60, -42, 0, 0, 32, 0, -176, 0, 0, 0, 0, 0, -52, -8, -48, -44, 0, 100, 0, -24, -84, 0, 0, 96, 40, 0, 0, 40, 0, 24, 0, 0, 0, 0, 0, 226, -64, 2, 160, 0, 20, 0, -56, -100, 0, 0, 16, 148, 0, 0, -60, 0, 32, 0, 0, 0, 0, 0, 18, 188, 52, 16, 0, 10, 0, -12, -80, 0, 0, 68, -36, 0, 0, -20, 0, -168, 0, 0, 0, 0, 0, 16, 56, 36, 80, 0, -48, 0, 16, 228, 0, 0, 4, -132, 0, 0, 96, 0, 60, 0, 0, 0, 0, 0, -28, -16, -16, 8, 0, 28, 0, 128, 0, 0, 0, -72, 0, 0, 0, -72, 0, 40, 0, 0, 0, 0, 0, 26, -116, 46, 12, 0, 104, 0, 192, -24, 0, 0, -120, -2, 0, 0, 52, 0, -4, 0, 0, 0, 0, 0, 56, -74, -100, 116, 0, 192, 0, -108, 96, 0, 0, -40, -48, 0, 0, 220, 0, -72, 0, 0, 0, 0, 0, 48, 144, -136, -74, 0, -120, 0, -72, 56, 0, 0, 44, -4, 0, 0, 184, 0, -24, 0, 0, 0, 0, 0, 32, 64, -96, 18, 0, -24, 0, -132, 60, 0, 0, -132, 40, 0, 0, -80, 0, 124, 0, 0, 0, 0, 0, 128, 16, -88, 24, 0, -40, 0, 2, 94, 0, 0, 124, 32, 0, 0, -144, 0, 160, 0, 0, 0, 0, 0, 20, -12, -24, 96, 0, 28, 0, 268, 44, 0, 0, -40, 132, 0, 0, -84, 0, 40, 0, 0, 0, 0, 0, 16, 96, 144, -72, 0, 32, 0, 12, 46, 0, 0, 52, 186, 0, 0, 6, 0, -40, 0, 0, 0, 0, 0, -56, -36, 8, 128, 0, -112, 0, 44, 96, 0, 0, -320, 24, 0, 0, 152, 0, -160, 0, 0, 0, 0, 0, 72, 44, -28, -68, 0, 32, 0, 112, 122, 0, 0, -4, 164, 0, 0, -44, 0, -12, 0, 0, 0, 0, 0, 12, -354, 80, -104, 0, -36, 0, -72, -32, 0, 0, 28, 0, 0, 0, -28, 0, -98, 0, 0, 0, 0, 0, 0, -12, -172, -52, 0, -172, 0, -20, -88, 0, 0, -36, 108, 0, 0, 36, 0, -12, 0, 0, 0, 0, 0, 244, 112, 16, -248, 0, 56, 0, -136, 12, 0, 0, -8, -86, 0, 0, 196, 0, 32, 0, 0, 0, 0, 0, -40, 12, 92, -48, 0, 84, 0, -56, 64, 0, 0, -48, 58, 0, 0, -22, 0, 120, 0, 0, 0, 0, 0, 16, -40, 72, 224, 0, -80, 0, -90, 52, 0, 0, -112, -64, 0, 0, 192, 0, 272, 0, 0, 0, 0, 0, -164, -40, -34, 16, 0, -68, 0, -80, 0, 0, 0, 44, 304, 0, 0, 144, 0, 64, 0, 0, 0, 0, 0, 76, 76, -32, -40, 0, -16, 0, 124, -12, 0, 0, 148, -88, 0, 0, -56, 0, 196, 0, 0, 0, 0, 0, 168, -32, 88, -32, 0, 128, 0, 92, 48, 0, 0, -112, -152, 0, 0, -160, 0, -98, 0, 0, 0, 0, 0, -44, 458, -56, 184, 0, 10, 0, -32, 88, 0, 0, -140, -80, 0, 0, 48, 0, -132, 0, 0, 0, 0, 0, -32, 116, 108, -36, 0, 0, 0, -36, 4, 0, 0, -32, 96, 0, 0, 80, 0, -200, 0, 0, 0, 0, 0, 84, -90, -176, 180, 0, 100, 0, -16, 72, 0, 0, -38, 76, 0, 0, 132, 0, -56, 0, 0, 0, 0, 0, -68, 88, -84, -132, 0, -24, 0, -48, 36, 0, 0, 20, -328, 0, 0, -200, 0, 8, 0, 0, 0, 0, 0, -100, -208, 244, 0, 0, 52, 0, 112, -72, 0, 0, 0, -8, 0, 0, -72, 0, 220, 0, 0, 0, 0, 0, 300, 58, -476, 48, 0, -196, 0, 46, -40, 0, 0, 320, -148, 0, 0, 52, 0, -68, 0, 0, 0, 0, 0, 32, -4, 4, 304, 0, -40, 0, 88, 8, 0, 0, 4, 44, 0, 0, -200, 0, -112, 0, 0, 0, 0, 0, -32, -120, -64, 64, 0, 104, 0, 80, -104, 0, 0, 72, 80, 0, 0, 20, 0, -96, 0, 0, 0, 0, 0, 32, 34, 76, 116, 0, -138, 0, 84, -100, 0, 0, -280, 48, 0, 0, 368, 0, 24, 0, 0, 0, 0, 0, 8, -56, -90, -304, 0, -56, 0, -164, 4, 0, 0, -16, 116, 0, 0, -24, 0, 52, 0, 0, 0, 0, 0, 44, -312, -168, -162, 0, -28, 0, -140, -112, 0, 0, 224, -32, 0, 0, -108, 0, -64, 0, 0, 0, 0, 0, 16, -88, 176, 88, 0, 182, 0, 4, 260, 0, 0, 76, -104, 0, 0, -176, 0, -176, 0, 0, 0, 0, 0, -176, -264, -96, -248, 0, -40, 0, 178, 24, 0, 0, -136, -224, 0, 0, 16, 0, -32, 0, 0, 0, 0, 0, 28, 244, 308, 8, 0, 40, 0, -20, -184, 0, 0, 12, -8, 0, 0, -52, 0, -56, 0, 0, 0, 0, 0, -92, -104, -68, 312, 0, 168, 0, 26, 132, 0, 0, 248, -84, 0, 0, -252, 0, 324, 0, 0, 0, 0, 0, -212, 304, -24, -16, 0, 48, 0, -136, -96, 0, 0, 2, 244, 0, 0, -64, 0, -80, 0, 0, 0, 0, 0, -96, 256, 88, 32, 0, 144, 0, -104, -104, 0, 0, 152, -60, 0, 0, -42, 0, 22, 0, 0, 0, 0, 0, -212, 32, 160, -52, 0, -128, 0, -176, -64, 0, 0, -50, -160, 0, 0, -20, 0, 0, 0, 0, 0, 0, 0, 216, 68, -52, -132, 0, -8, 0, 88, -48, 0, 0, -44, -52, 0, 0, 188, 0, 100, 0, 0, 0, 0, 0, -24, 0, 100, -84, 0, -92, 0, -80, -396, 0, 0, 48, 96, 0, 0, 40, 0, 180, 0, 0, 0, 0, 0, -200, 40, 32, 32, 0, 88, 0, 24, -64, 0, 0, 40, -160, 0, 0, -76, 0, -250, 0, 0, 0, 0, 0, -140, -64, 226, 28, 0, -64, 0, 160, 2, 0, 0, 160, -80, 0, 0, 0, 0, 20, 0, 0, 0, 0, 0, -56, -264, 56, -100, 0, -8, 0, 72, 4, 0, 0, 24, 16, 0, 0, 148, 0, 0, 0, 0, 0, 0, 0, -432, -60, 104, -360, 0, -60, 0, 32, -64, 0, 0, 80, 96, 0, 0, -96, 0, 0, 0, 0, 0, 0, 0, -172, 16, 18, 12, 0, 188, 0, 220, 52, 0, 0, 16, -20, 0, 0, -304, 0, 10, 0, 0, 0, 0, 0, -12, 36, 260, -80, 0, -48, 0, -96, -28, 0, 0, -148, 68, 0, 0, -36, 0, -296, 0, 0, 0, 0, 0, 112, -20, -84, -82, 0, -56, 0, -168, -280, 0, 0, 20, -56, 0, 0, -48, 0, 152, 0, 0, 0, 0, 0, -52, -112, 16, 68, 0, 56, 0, 0, 36, 0, 0, 80, -274, 0, 0, 20, 0, -48, 0, 0, 0, 0, 0, 16, -192, 220, 228, 0, -300, 0, -276, -160, 0, 0, -60, 4, 0, 0, -132, 0, 24, 0, 0, 0, 0, 0, 4, 96, 396, -108, 0, 16, 0, 60, -404, 0, 0, 160, 180, 0, 0, 56, 0, 96, 0, 0, 0, 0, 0, -156, -36, -28, -256, 0, -16, 0, -280, -16, 0, 0, 8, 32, 0, 0, -392, 0, 28, 0, 0, 0, 0, 0, 128, -30, -210, 0, 0, -64, 0, 68, 268, 0, 0, 128, -72, 0, 0, 0, 0, -164, 0, 0, 0, 0, 0, 96, -72, 64, -60, 0, -28, 0, 40, 96, 0, 0, 12, -144, 0, 0, -152, 0, -8, 0, 0, 0, 0, 0, -120, -264, 26, 144, 0, -116, 0, 76, 46, 0, 0, 12, 360, 0, 0, -8, 0, 104, 0, 0, 0, 0, 0, 192, -32, -216, -24, 0, 232, 0, 336, 288, 0, 0, -96, -120, 0, 0, -2, 0, -108, 0, 0, 0, 0, 0, -208, 52, -232, -8, 0, 24, 0, -4, -112, 0, 0, -112, 320, 0, 0, 32, 0, -100, 0, 0, 0, 0, 0, 48, -4, 56, 72, 0, -74, 0, -176, -100, 0, 0, 116, -64, 0, 0, 408, 0, 192, 0, 0, 0, 0, 0, -108, -96, -272, 96, 0, 56, 0, 88, 464, 0, 0, 128, -40, 0, 0, -48, 0, -176, 0, 0, 0, 0, 0, -56, 220, 76, -412, 0, 160, 0, -72, -118, 0, 0, -80, 152, 0, 0, 4, 0, 60, 0, 0, 0, 0, 0, 292, 80, 48, -156, 0, 144, 0, -104, -136, 0, 0, -74, -92, 0, 0, -64, 0, -120, 0, 0, 0, 0, 0, -72, 416, -92, 56, 0, 280, 0, 104, -96, 0, 0, -128, 44, 0, 0, -4, 0, 40, 0, 0, 0, 0, 0, 64, 184, -200, -44, 0, -192, 0, -24, 280, 0, 0, -64, -22, 0, 0, -8, 0, 176, 0, 0, 0, 0, 0, 116, -124, 32, 882, 0, 64, 0, -112, -96, 0, 0, 18, 0, 0, 0, 192, 0, -24, 0, 0, 0, 0, 0, -132, 44, -64, 60, 0, -216, 0, 64, -72, 0, 0, -128, -132, 0, 0, 40, 0, 316, 0, 0, 0, 0, 0, 72, -80, -188, 148, 0, 100, 0, 124, -136, 0, 0, -104, -248, 0, 0, -124, 0, -116, 0, 0, 0, 0, 0, 160, -224, 128, 0, 0, 16, 0, 12, -88, 0, 0, 24, -288, 0, 0, -16, 0, -40, 0, 0, 0, 0, 0, 2, 188, -96, 94, 0, 352, 0, -52, 376, 0, 0, -100, 124, 0, 0, 32, 0, -88, 0, 0, 0, 0, 0, -110, -144, 148, -40, 0, 32, 0, 160, 116, 0, 0, -48, -48, 0, 0, 32, 0, -320, 0, 0, 0, 0, 0, 44, -12, 20, 64, 0, -12, 0, 44, -24, 0, 0, 96, -152, 0, 0, 88, 0, 28, 0, 0, 0, 0, 0, 268, 0, -584, 44, 0, 0, 0, -336, 152, 0, 0, -272, -40, 0, 0, 132, 0, -40, 0, 0, 0, 0, 0, 48, -84, 320, -192, 0, 92, 0, 40, -160, 0, 0, 20, 164, 0, 0, 208, 0, -136, 0, 0, 0, 0, 0, 304, 252, 16, 32, 0, 96, 0, 208, 144, 0, 0, -72, 436, 0, 0, 176, 0, 32, 0, 0, 0, 0, 0, 12, 268, 64, 46, 0, -628, 0, -128, -128, 0, 0, -148, 52, 0, 0, 186, 0, 208, 0, 0, 0, 0, 0, 192, 6, 212, 232, 0, -124, 0, -40, 100, 0, 0, 112, 268, 0, 0, -48, 0, 184, 0, 0, 0, 0, 0, 102, -64, -56, -116, 0, -36, 0, 304, 8, 0, 0, 128, -48, 0, 0, 296, 0, -112, 0, 0, 0, 0, 0, 44, -48, -156, 96, 0, 84, 0, 112, 192, 0, 0, -128, -320, 0, 0, 24, 0, 96, 0, 0, 0, 0, 0, 224, 152, -60, -88, 0, 240, 0, -160, 112, 0, 0, 504, 184, 0, 0, -144, 0, -232, 0, 0, 0, 0, 0, 128, -24, 72, -208, 0, 44, 0, 16, -28, 0, 0, -68, -56, 0, 0, -112, 0, 32, 0, 0, 0, 0, 0, 112, -88, -344, 122, 0, -476, 0, 164, -84, 0, 0, -114, -4, 0, 0, 164, 0, 92, 0, 0, 0, 0, 0, 120, -44, 48, 176, 0, 160, 0, -12, 512, 0, 0, -128, 136, 0, 0, 96, 0, 264, 0, 0, 0, 0, 0, -196, -232, 12, 144, 0, -354, 0, -464, 80, 0, 0, -104, 172, 0, 0, -444, 0, -36, 0, 0, 0, 0, 0, -72, 120, -348, -32, 0, 112, 0, -44, -56, 0, 0, 20, 28, 0, 0, 0, 0, -48, 0, 0, 0, 0, 0, -220, -28, -208, -344, 0, -584, 0, -98, 226, 0, 0, -236, 48, 0, 0, -92, 0, 24, 0, 0, 0, 0, 0, 96, 196, 0, 144, 0, -12, 0, -256, -172, 0, 0, -52, 224, 0, 0, 224, 0, -172, 0, 0, 0, 0, 0, -20, 40, -164, -88, 0, -208, 0, 344, 32, 0, 0, -94, -36, 0, 0, 108, 0, 556, 0, 0, 0, 0, 0, 268, 36, -232, -16, 0, -88, 0, -12, 112, 0, 0, -80, -112, 0, 0, 52, 0, 68, 0, 0, 0, 0, 0, 128, -288, 244, -304, 0, 112, 0, 240, 16, 0, 0, -248, 160, 0, 0, 202, 0, 56, 0, 0, 0, 0, 0, -136, -144, 352, 12, 0, -40, 0, -144, 248, 0, 0, 200, -8, 0, 0, -86, 0, 260, 0, 0, 0, 0, 0, -56, 196, 192, -364, 0, 396, 0, 32, 252, 0, 0, -88, 152, 0, 0, 244, 0, 536, 0, 0, 0, 0, 0, 60, -256, -40, 300, 0, 12, 0, 96, 92, 0, 0, -48, -224, 0, 0, 140, 0, 84, 0, 0, 0, 0, 0, -56, 508, -16, 64, 0, 284, 0, 320, 192, 0, 0, -96, -48, 0, 0, 58, 0, -84, 0, 0, 0, 0, 0, 312, -22, -92, -240, 0, 128, 0, 120, -500, 0, 0, -212, 292, 0, 0, -48, 0, -288, 0, 0, 0, 0, 0, 28, -452, 16, -176, 0, -40, 0, -128, 72, 0, 0, 224, 144, 0, 0, 88, 0, -80, 0, 0, 0, 0, 0, -90, 28, 332, 52, 0, 72, 0, 20, -256, 0, 0, 108, -112, 0, 0, -64, 0, 80, 0, 0, 0, 0, 0, 104, 192, 84, 480, 0, -8, 0, 272, -160, 0, 0, 136, 24, 0, 0, -280, 0, -224, 0, 0, 0, 0, 0, 152, 172, -164, 16, 0, -40, 0, -120, -34, 0, 0, 16, -306, 0, 0, -28, 0, -68, 0, 0, 0, 0, 0, -80, 244, 32, 0, 0, 176, 0, -244, 104, 0, 0, 176, 44, 0, 0, 304, 0, -624, 0, 0, 0, 0, 0, -70, 144, 80, 196, 0, 32, 0, 64, -284, 0, 0, -92, 224, 0, 0, 364, 0, -48, 0, 0, 0, 0, 0, -352, 264, 76, 124, 0, 76, 0, -444, -32, 0, 0, -40, 160, 0, 0, 160, 0, -16, 0, 0, 0, 0, 0, 124, -256, -12, -12, 0, -164, 0, 224, 476, 0, 0, 272, 148, 0, 0, -88, 0, -12, 0, 0, 0, 0, 0, 88, -56, 82, -256, 0, -212, 0, 196, 176, 0, 0, 100, 80, 0, 0, -224, 0, -580, 0, 0, 0, 0, 0, -328, -160, 168, 184, 0, -32, 0, 276, 88, 0, 0, -32, -364, 0, 0, -32, 0, 128, 0, 0, 0, 0, 0, 92, 88, -288, 48, 0, 96, 0, 160, -116, 0, 0, -240, -112, 0, 0, -152, 0, 16, 0, 0, 0, 0, 0, -32, -160, 40, 120, 0, 92, 0, -98, -124, 0, 0, 4, -146, 0, 0, 24, 0, 336, 0, 0, 0, 0, 0, -32, 60, -44, 240, 0, 458, 0, 276, -56, 0, 0, 184, -16, 0, 0, -48, 0, 10, 0, 0, 0, 0, 0, -32, 12, -88, 88, 0, 152, 0, 152, -80, 0, 0, 216, -140, 0, 0, -80, 0, 40, 0, 0, 0, 0, 0, -144, 48, 324, -456, 0, -304, 0, -132, 96, 0, 0, 152, 268, 0, 0, -208, 0, 148, 0, 0, 0, 0, 0, -80, 44, -32, 108, 0, 116, 0, -40, 108, 0, 0, -36, -16, 0, 0, 172, 0, 0, 0, 0, 0, 0, 0, -36, -448, 240, 4, 0, -24, 0, -168, -56, 0]