# Trace form for 4014.2.a.z, downloaded from the LMFDB on 06 May 2024.
[0, 8, 8, 0, 8, -4, 0, 4, 8, 0, -4, -2, 0, 10, 4, 0, 8, -8, 0, 16, -4, 0, -2, 4, 0, 24, 10, 0, 4, -8, 0, 12, 8, 0, -8, 24, 0, 16, 16, 0, -4, -16, 0, 12, -2, 0, 4, 4, 0, 40, 24, 0, 10, 8, 0, 8, 4, 0, -8, 0, 0, 26, 12, 0, 8, 24, 0, -10, -8, 0, 24, -8, 0, 8, 16, 0, 16, 56, 0, 16, -4, 0, -16, 44, 0, -18, 12, 0, -2, 0, 0, 4, 4, 0, 4, 48, 0, 12, 40, 0, 24, 0, 0, -12, 10, 0, 8, 56, 0, -12, 8, 0, 4, -20, 0, -44, -8, 0, 0, 32, 0, 16, 26, 0, 12, 6, 0, 0, 8, 0, 24, 24, 0, 48, -10, 0, -8, 8, 0, -16, 24, 0, -8, 20, 0, 16, 8, 0, 16, 28, 0, 32, 16, 0, 56, -14, 0, -4, 16, 0, -4, -48, 0, -22, -16, 0, 44, 8, 0, 16, -18, 0, 12, -14, 0, -28, -2, 0, 0, -32, 0, 32, 4, 0, 4, -44, 0, -50, 4, 0, 48, 12, 0, 40, 12, 0, 40, 28, 0, 68, 24, 0, 0, -8, 0, 52, -12, 0, 10, 0, 0, 28, 8, 0, 56, 12, 0, 8, -12, 0, 8, -66, 0, 8, 4, 0, -20, 32, 0, -42, -44, 0, -8, -48, 0, 46, 0, 0, 32, 52, 0, 24, 16, 0, 26, -64, 0, -24, 12, 0, 6, -8, 0, -4, 0, 0, 8, -40, 0, 32, 24, 0, 24, -28, 0, -72, 48, 0, -10, -28, 0, 68, -8, 0, 8, 8, 0, -18, -16, 0, 24, -40, 0, 4, -8, 0, 20, 24, 0, 56, 16, 0, 8, 6, 0, -36, 16, 0, 28, 12, 0, -72, 32, 0, 16, -144, 0, -12, 56, 0, -14, -32, 0, -4, -4, 0, 16, 52, 0, 4, -4, 0, -48, -68, 0, 0, -22, 0, -16, -56, 0, 58, 44, 0, 8, -40, 0, -44, 16, 0, -18, -50, 0, -40, 12, 0, -14, 72, 0, -44, -28, 0, -2, -24, 0, 16, 0, 0, -32, 68, 0, 104, 32, 0, 4, 92, 0, -12, 4, 0, -44, -8, 0, -12, -50, 0, 4, -20, 0, 32, 48, 0, 12, -28, 0, -64, 40, 0, 12, -68, 0, -152, 40, 0, 28, -92, 0, 8, 68, 0, 24, -32, 0, 78, 0, 0, -8, 24, 0, -48, 52, 0, -12, -64, 0, -120, 10, 0, 0, 4, 0, 96, 28, 0, 8, -40, 0, -96, 56, 0, 12, -44, 0, 48, 8, 0, -12, 72, 0, 16, 8, 0, -66, 40, 0, -62, 8, 0, 4, -40, 0, 44, -20, 0, 32, -64, 0, 4, -42, 0, -44, -16, 0, 44, -8, 0, -48, -62, 0, 12, 46, 0, 0, -172, 0, -44, 32, 0, 52, -56, 0, 24, 24, 0, 16, -128, 0, -12, 26, 0, -64, -40, 0, -36, -24, 0, 12, -32, 0, -120, 6, 0, -8, -56, 0, -4, -4, 0, 0, -36, 0, 104, 8, 0, -40, -96, 0, -122, 32, 0, 24, 8, 0, -6, 24, 0, -28, 76, 0, 104, -72, 0, 48, 76, 0, -20, -10, 0, -28, -50, 0, -58, 68, 0, -8, 68, 0, 16, 8, 0, 8, 0, 0, -80, -18, 0, -16, -76, 0, 76, 24, 0, -40, 24, 0, -72, 4, 0, -8, 16, 0, 50, 20, 0, 24, -60, 0, 8, 56, 0, 16, 48, 0, -12, 8, 0, 6, 74, 0, -92, -36, 0, 16, -120, 0, 36, 28, 0, 12, -68, 0, -44, -72, 0, 32, 34, 0, -104, 16, 0, -144, -14, 0, -48, -12, 0, 56, -144, 0, -54, -14, 0, -32, -32, 0, -32, -4, 0, -4, 4, 0, 48, 16, 0, 52, -92, 0, -46, 4, 0, -4, 28, 0, 12, -48, 0, -68, -28, 0, 0, 0, 0, -22, 72, 0, 36, -16, 0, -56, 60, 0, 28, 58, 0, 44, -120, 0, 48, 8, 0, -40, -124, 0, -88, -44, 0, 16, -4, 0, -64, -18, 0, -50, 36, 0, -124, -40, 0, 12, -92, 0, -84, -14, 0, 72, 136, 0, 0, -44, 0, -28, 56, 0, 104, -2, 0, -24, 48, 0, -4, 16, 0, 0, -56, 0, -42, -32, 0, 68, -28, 0, -136, 104, 0, 32, -36, 0, -60, 4, 0, 92, 120, 0, 36, -12, 0, 4, -80, 0, 52, -44, 0, -8, 12, 0, -72, -12, 0, -50, 8, 0, 156, 4, 0, -20, -16, 0, 24, 32, 0, 48, 28, 0, -56, 12, 0, -28, 80, 0, -152, -64, 0, 40, 58, 0, 48, 12, 0, -68, -56, 0, 8, -152, 0, 40, 56, 0, -86, 28, 0, -92, 112, 0, -48, 8, 0, 68, -32, 0, 36, 24, 0, -32, 64, 0, -208, 78, 0, 0, -32, 0, 40, -8, 0, 24, -48, 0, -24, -48, 0, 52, -20, 0, -32, -12, 0, -64, 68, 0, 46, -120, 0, 10, -24, 0, 112, 0, 0, 4, 32, 0, -72, 96, 0, 28, -18, 0, 36, 8, 0, -40, 32, 0, -54, -96, 0, 56, 8, 0, 86, 12, 0, -44, 76, 0, 176, 48, 0, 8, 12, 0, -20, -12, 0, 72, 312, 0, -140, 16, 0, 8, 32, 0, 52, -66, 0, 40, -128, 0, -120, -62, 0, 8, 180, 0, -100, 4, 0, -40, -148, 0, -16, 44, 0, -20, -84, 0, 92, 32, 0, -64, -48, 0, -120, 4, 0, -42, 32, 0, 52, -44, 0, -16, 136, 0, -116, 44, 0, -8, 104, 0, 104, -48, 0, -62, 20, 0, 56, 12, 0, 46, 32, 0, -80, 0, 0, -172, 20, 0, 84, -44, 0, 32, -156, 0, -212, 52, 0, -56, -96, 0, 32, 24, 0, 24, 112, 0, -192, 16, 0, -128, -4, 0, -128, -12, 0, 26, -32, 0, -90, -64, 0, -40, 140, 0, -160, -36, 0, -24, -112, 0, 44, 12, 0, -32, -50, 0, -116, -120, 0, 6, 168, 0, -118, -8, 0, -56, 128, 0, -72, -4, 0, -4, 24, 0, 32, 0, 0, -36, 4, 0, -94, 104, 0, 8, -136, 0, -132, -40, 0, -96, 36, 0, 116, -122, 0, 32, 70, 0, -4, 24, 0, 8, -160, 0, -76, -6, 0, 24, 28, 0, -4, -28, 0, 76, 104, 0, 120, 104, 0, -72, 88, 0, 60, 48, 0, 76, 20, 0, -88, -20, 0, -10, -104, 0, -68, -28, 0, -50, -40, 0, -48, -58, 0, 68, -4, 0, -40, -8, 0, 68, 80, 0, 68, 16, 0, 8, -148, 0, -144, 8, 0, 0, 136, 0, -176, -80, 0, -18, 24, 0, -40, -16, 0, -76, -4, 0, 152, 76, 0, 24, -104, 0, 232, -40, 0, 24, 92, 0, -120, -72, 0, 4, -88, 0, 96, -8, 0, 16, 130, 0, 8, 50, 0, 20, 40, 0, 12, 24, 0, -60, 60, 0, 40, 8, 0, 56, -182, 0, -64, 16, 0, 48, 90, 0, 44, -12, 0, 8, 80, 0, 132, 6, 0, 74, -144, 0, 24, -92, 0, -36, 4, 0, 4, 16, 0, -120, 0, 0, 88, 36, 0, 28, -72, 0, -18, 12, 0, -68, -56, 0, -8, -44, 0, -72, 200, 0, 68, 32, 0, 34, 132, 0, -100, -104, 0, 16, -112, 0, 152, -144, 0, -14, -100, 0, 208, -48, 0, -12, 58, 0, 28, 56, 0, -144, 260, 0, -94, -54, 0, -14, -120, 0, 140, -32, 0, -32, -96, 0, 4, -32, 0, -4, 8, 0, 12, -4, 0, 4, -16, 0, 60, 48, 0, 16, -176, 0, 80, 52, 0, -92, -72, 0, -88, -46, 0, 4, -68, 0, -20, -4, 0, 28, 76, 0, 134, 12, 0, -48, 20, 0, 18, -68, 0, -28, -272, 0, 92, 0, 0, 0, 98, 0, 4, -22, 0, 72, 128, 0, -336, 36, 0, -16, -232, 0, -24, -56, 0, 60, -12, 0, -164, 28, 0, 58, -64, 0, 32, 44, 0, -120, 102, 0, 200, 48, 0, 8, -48, 0, -128, -40, 0, -124, -12, 0, 184, -88, 0, -44, -352, 0, 320, 16, 0, -4, 200, 0, 180, -64, 0, -18, 96, 0, -20, -50, 0, 36, 44, 0, 8, -124, 0, -40, -94, 0, 124, 12, 0, -92, -24, 0, 104, -84, 0, -14, -264, 0, 216, 72, 0, 136, 168, 0, 152, 0, 0, -44, 88, 0, 56, -28, 0, 56, 100, 0, 116, 104, 0, -2, 88, 0, 220, -24, 0, 48, 308, 0, -40, -4, 0, 16, -112, 0, 32, 0, 0, -56, -84, 0, 20, -42, 0, -32, 236, 0, -136, 68, 0, -28, -20, 0, 92, -136, 0, 104, 136, 0, 60, 32, 0, -36, -30, 0, 168, -60, 0, 4, -64, 0, -120, 92, 0, 120, 136, 0, -72, 36, 0, -12, 28, 0, 164, 4, 0, -80, 18, 0, 128, 52, 0, -44, -16, 0, -64, -8, 0, 12, -40, 0, -164, -72, 0, -12, 50, 0, 112, -50, 0, 8, 12, 0, -56, 156, 0, 4, 8, 0, 24, -20, 0, -16, 228, 0, -40, 24, 0, 32, 8, 0, 108, 48, 0, 28, -34, 0, 68, -56, 0, 12, -88, 0, 44, -28, 0, 80, -60, 0, -16, -152, 0, -64, 44, 0, -168, 40, 0, 58, -76, 0, 108, 48, 0, 12, 100, 0, 208, -68, 0, -56, 188, 0, 4, 8, 0, -152, 140, 0, 124, 40, 0, 56, -66, 0, 36, -86, 0, 28, 32, 0, -8, -92, 0, 112, 52, 0, -44, -48, 0, 8, -88, 0, 96, 68, 0, -32, 148, 0, 60, 36, 0, 24, -4, 0, 112, -32, 0, 64, 232, 0, 52, -208, 0, 78, 142, 0, -128, 0, 0, -32, 168, 0, 48, 40, 0, -8, 64, 0, 124, 24, 0, -48, 376, 0, -216, -24, 0, -48, -40, 0, -88, 52, 0, -20, -88, 0, -88, -32, 0, -12, -132, 0, 64, -64, 0, 68, -120, 0, -68, 46, 0, -120, -72, 0, -40, 10, 0, -24, 108, 0, 60, 112, 0, 0, 24, 0, -176, 4, 0, 32, 104, 0, -72, -72, 0, 96, 68, 0, -24, 28, 0, -18, 172, 0, -24, 36, 0, 8, 96, 0, 168, -40, 0, 32, 36, 0, -200, -54, 0, -96, 48, 0, 48, 56, 0, 8, 40, 0, 216, 86, 0, 12, -52, 0, -232, -44, 0, 76, -64, 0, -328, 176, 0, 48, 84, 0, -80, 8, 0, 12, 172, 0, 152, -20, 0, -12, -124, 0, 8, 72, 0, 312, 56, 0, 20, -140, 0, 16, -64, 0, 36, 8, 0, 32, 48, 0, 116, 52, 0, -66, -52, 0, 288, 40, 0, -128, 156, 0, -232, -120, 0, -62, 184, 0, -284, 8, 0, 180, 168, 0, 42, -100, 0, 4, -112, 0, 112, -40, 0, -148, 88, 0, 80, -16, 0, 44, -44, 0, 152, -20, 0, -84, 20, 0, 40, 92, 0, 32, -40, 0, -242, -64, 0, -48, -36, 0, -80, -120, 0, 4, 46, 0, 12, -42, 0, 32, -146, 0, -176, 52, 0, -44, -176, 0, -48, -16, 0, 136, 112, 0, 168, -116, 0, 44, -140, 0, -152, -8, 0, 104, -72, 0, -120, 104, 0, -48, -8, 0, -48, -62, 0, 20, -92, 0, -160, 56, 0, 12, -144, 0, -100, 46, 0, 32, 240, 0, 68, -80, 0, 0, -56, 0, 102, -172, 0, 20, 128, 0, 184, 84, 0, -44, 88, 0, 36, 32, 0, -156, -14, 0, -40, -212, 0, 52, -232, 0, 168, -56, 0, -96, 40, 0, 16, 32, 0, 24, 220, 0, 64, 24, 0, 112, 18, 0, -2, -192, 0, 16, 16, 0, -304, -128, 0, -4, 116, 0, -16, -128, 0, -12, -32, 0, 8, 26, 0, -32, 128, 0, 32, -90, 0, -64, 160, 0, 24, -40, 0, 140, -168, 0, 332, -160, 0, -36, -58, 0, 404, -24, 0, -112, 178, 0, 320, 44, 0, 12, -288, 0, 8, -32, 0, -50, 64, 0, -68, -116, 0, -120, -228, 0, -96, 6, 0, 168, -116, 0, 76, -118, 0, -8, -304, 0, -32, -56, 0, 128, -196, 0, -64, -72, 0, -4, 336, 0, -36, -4, 0, 24, 178, 0, -128, 32, 0, 0, 160, 0, -100, -36, 0, 4, 232, 0, 200, -94, 0, 104, 232, 0, 320, 8, 0, -136, -100, 0, -70, -132, 0, -40, -232, 0, 0, -96, 0, 36, 52, 0, -48, 116, 0, -122, -188, 0, 88, 32, 0, 70, 40, 0, 26, -4, 0, 24, -40, 0, 32, 8, 0, -160, -40, 0, 120, -76, 0, -6, -24, 0, 68, 24, 0, 28, -24, 0, -28, -4, 0, -28, 16, 0, -12, 76, 0, 104, 8, 0, 120, 120, 0, 104, -88, 0, -268, -72, 0, 88, 52, 0, 264, 60, 0, 48, -44, 0, 52, 76, 0, 20, 128, 0, 8, -88, 0, -20, -66, 0, 92, -10, 0, -104, -48, 0, 80, -68, 0, -28, 16, 0, 292, -50, 0, -40, -280, 0, 136, -48, 0, -58, 62, 0, 68, 68, 0, -4, 144, 0, -128, -40, 0, -8, -56, 0, -116, 68, 0, 80, -84, 0, -96, 68, 0, 16, 198, 0, 104, 8, 0, -148, 160, 0, 146, -144, 0, 8, 204, 0, -108, 0, 0, 136, -112, 0, 120, -176, 0, -80, 10, 0, -108, -18, 0, 24, 296, 0, 60, -40, 0, -16, -64, 0, -60, -76, 0, -4, 304, 0, -208, 152, 0, 76, 12, 0, 116, 24, 0, -104, -248, 0, 116, 232, 0, -40, 32, 0, 120, 24, 0, 92, 120, 0, 96, -120, 0, -72, 240, 0, 72, 4, 0, -88, -156, 0, 176, 96, 0, -8, -32, 0, 292, 16, 0, 130, -72, 0, -136, 8, 0, 50, -228, 0, -108, 20, 0, 40, -200, 0, -88, 12, 0, 24, -168, 0, 380, -60, 0, 60, -52, 0, -140, 40, 0, 8, -64, 0, 348, 56, 0, -182, -162, 0, 68, -64, 0, 16, 144, 0, -248, 48, 0, 90, 100, 0, -180, 44, 0, -12, 142, 0, -16, 8, 0, 80, 60, 0, 106, 132, 0, 6, -168, 0, -30, 74, 0, -144, 220, 0, 0, 24, 0, -92, 12, 0, -96, -36, 0, 4, -48, 0, 8, 4, 0, 16, 32, 0, -36, -120, 0, 0, -16, 0, 132, 88, 0, 36, 40, 0, 20, 28, 0, -72, 120, 0, -2, -18, 0, 12, 56, 0, 204, -68, 0, -56, -152, 0, -248, -8, 0, -44, -76, 0, -232, -72, 0, 200, 52, 0, -24, 68, 0, 32, 4, 0, -4, 34, 0, 132, 172, 0, -120, -100, 0, -104, 40, 0, 116, 16, 0, -112, -98, 0, 138, 152, 0, -144, 184, 0, -184, -14, 0, -100, 92, 0, 84, 208, 0, -48, -2, 0, 116, -12, 0, 58, 164, 0, 268, 28, 0, 56, -4, 0, -176, -144, 0, 260, -264, 0, 172, -94, 0, -54, 48, 0, -40, -14, 0, -120, -108, 0, 320, 140, 0, -32, 120, 0, 80, -32, 0, -96, -108, 0, -160, 4, 0, -32, -180, 0, -84, -4, 0, 8, 192, 0, 124, 12, 0, -4, 128, 0, 196, 4, 0, -16, -4, 0, 264, 60, 0, 48, 120, 0, 212, 16, 0, -176, 248, 0, -190, 80, 0, 52, -52, 0, -204, -92, 0, -72, 76, 0, -124, -88, 0, -46, -102, 0, -128, 4, 0, -68, -348, 0, 12, -20, 0, -4, -92, 0, 440, 28, 0, 76, 320, 0, -176, 134, 0, 12, 316, 0, -148, -48, 0, 20, -52, 0, 172, 18, 0, -68, 88, 0, 18, -28, 0, -272, 180, 0, -52, 92, 0, 0, 152, 0, 136, 0, 0, 98, -136, 0, 464, 4, 0, -22, 88, 0, -72, 72, 0, 128, -96, 0, -152, -336, 0, 36, 272, 0, 172, -16, 0, -232, -232, 0, 34, -24, 0, -56, -68, 0, 96, 60, 0, -12, 136, 0, -128, -164, 0, 28, 28, 0, -256, 58, 0, -64, -44, 0, -16, 32, 0, 44, -216, 0, -348, -120, 0, 102, -308, 0, -168, 200, 0, 48, -54, 0, 420, 8, 0, -48, 2, 0, -192, -128, 0, -40, 104, 0, -64, -124, 0, -12, -300, 0, 248, 184, 0, -88, 264, 0, -96, -44, 0, -352, -12, 0, 80, 320, 0, 16, -208, 0, -16, -4, 0, 200, -244, 0, 56, 180, 0, -64, -28, 0, -36, -18, 0, 96, -248, 0, 152, -20, 0, -50, 392, 0, 308, 36, 0, 44, 192, 0, 248, 8, 0, -124, 328, 0, 48, -40, 0, -94, 84, 0, -32, 124, 0, 12, -100, 0, 40, -92, 0, -24, -188, 0, 100, 104, 0, -84, 536, 0, -56, -14, 0, -264, 354, 0, -174, 216, 0, 72, -88, 0, -40, 136, 0, 168, 244, 0, -416, 152, 0, 0, 4, 0, 36, -44, 0, 88, -104, 0, 92, 56, 0, -28, 44, 0, 100, 56, 0, 100, -56, 0, -168, 116, 0, 104, 88, 0, 212, -2, 0, 88, 140, 0, -20, 220, 0, -24, -284, 0, -30, 48, 0, 308, 88, 0, -60, -40, 0, -4, 90, 0, 108, 16, 0, -112, 36, 0, -32, 32, 0, 0, 240, 0, 280, -56, 0, -84, -56, 0, 152, 20, 0, -42, -146, 0, -176, -32, 0, 236, 38, 0, -64, -136, 0, 68, -72, 0, -352, -28, 0, -20, 136, 0, 108, 92, 0, -136, -156, 0, -180, 104, 0, 136, 4, 0, -16, 60, 0, 32, -128, 0, 10, -36, 0, -30, -92, 0, -24, 168, 0, -60, -12, 0, 152, 4, 0, -64, -88, 0, 156, -120, 0, 92, 328, 0, -64, 120, 0, 136, -308, 0, 120, -72, 0, 36, -96, 0, 24, -12, 0, 28, -92, 0, 202, 164, 0, 4, 120, 0, 168, -80, 0, 18, 312, 0, -116, 128, 0, 52, -36, 0, 96, -44, 0, -16, 52, 0, 44, -64, 0, -8, 76, 0, -100, 12, 0, -40, 0, 0, 136, -164, 0, -72, -32, 0, -232, -12, 0, 50, 24, 0, 258, 112, 0, -50, -40, 0, 58, 8, 0, 12, -148, 0]