# Trace form for 4018.2.a.bq, downloaded from the LMFDB on 19 April 2024.
[0, 6, 6, 4, 6, 12, 4, 0, 6, 18, 12, 0, 4, 8, 0, -4, 6, 16, 18, 12, 12, 0, 0, 12, 4, 14, 8, 28, 0, 0, -4, -4, 6, -20, 16, 0, 18, -24, 12, 4, 12, -6, 0, 4, 0, 28, 12, -16, 4, 0, 14, -16, 8, -16, 28, -12, 0, -28, 0, 16, -4, 32, -4, 0, 6, -4, -20, -20, 16, 56, 0, 12, 18, 16, -24, -4, 12, 0, 4, 0, 12, 42, -6, 32, 0, 48, 4, 20, 0, 8, 28, 0, 12, -12, -16, 28, 4, 8, 0, -76, 14, -16, -16, 16, 8, 0, -16, 8, 28, -12, -12, -32, 0, -16, -28, -12, 0, 12, 16, 0, -4, 34, 32, -4, -4, 12, 0, 24, 6, 12, -4, 4, -20, 0, -20, 32, 16, 8, 56, -4, 0, -16, 12, 52, 18, 32, 16, 0, -24, -56, -4, -52, 12, 92, 0, -32, 4, 0, 0, -100, 12, 0, 42, 8, -6, -60, 32, 8, 0, -2, 48, -48, 4, 32, 20, 0, 0, -12, 8, -60, 28, 48, 0, -32, 12, -40, -12, -28, -16, 0, 28, -24, 4, 8, 8, -48, 0, -16, -76, -48, 14, 12, -16, 0, -16, -12, 16, 32, 8, 84, 0, -8, -16, 8, 8, -24, 28, 0, -12, 4, -12, 8, -32, 16, 0, 86, -16, 88, -28, 32, -12, 0, 0, 12, 12, -72, 16, 48, 0, -60, -4, 60, 34, 108, 32, 0, -4, 36, -4, 44, 12, 48, 0, 12, 24, -64, 6, -16, 12, 0, -4, -28, 4, -28, -20, -4, 0, -52, -20, 24, 32, -52, 16, 0, 8, -84, 56, 8, -4, -52, 0, 40, -16, -28, 12, -80, 52, 0, 18, 46, 32, 24, 16, 24, 0, 44, -24, -72, -56, 24, -4, 0, -52, 0, 12, 100, 92, 12, 0, 120, -32, -64, 4, 20, 0, 0, 0, -36, -100, -16, 12, 44, 0, 24, 42, -56, 8, 20, -6, 0, -60, 12, 32, -80, 8, -4, 0, -60, -2, 8, 48, 16, -48, 0, 4, 36, 32, -56, 20, -40, 0, 24, 0, -60, -12, 12, 8, 0, -60, -4, 28, 2, 48, -24, 0, 56, -32, -76, 12, -18, -40, 0, -12, 36, -28, 76, -16, -28, 0, 56, 28, -80, -24, -4, 4, 0, 8, 52, 8, 4, -48, -60, 0, -80, -16, -24, -76, -84, -48, 0, 14, 64, 12, 12, -16, 52, 0, -8, -16, -28, -12, -48, 16, 0, 32, -12, 8, 0, 84, -60, 0, 16, -8, -68, -16, 116, 8, 0, 8, -28, -24, -60, 28, -4, 0, 188, -12, 8, 4, -8, -12, 0, 8, -4, -32, 52, 16, -108, 0, -56, 86, 0, -16, -152, 88, 0, -28, -16, 32, 144, -12, -108, 0, -36, 0, -116, 12, 16, 12, 0, -72, 48, 16, -28, 48, -12, 0, -84, -60, -52, -4, 0, 60, 0, 34, 40, 108, 84, 32, -40, 0, 64, -4, -52, 36, -256, -4, 0, 44, 24, 12, 60, 48, 8, 0, 32, 12, -32, 24, 0, -64, 0, 6, -48, -16, -16, 12, 28, 0, 96, -4, 40, -28, 24, 4, 0, -28, -92, -20, 14, -4, -72, 0, -8, -52, -16, -20, 4, 24, 0, 32, 8, -52, 112, 16, -56, 0, -36, 8, 56, -84, -12, 56, 0, 8, -8, -4, 8, -52, -36, 0, -108, 40, 80, -16, -36, -28, 0, 12, -12, -80, 64, 52, 24, 0, -60, 18, -64, 46, -192, 32, 0, 24, -8, 16, -100, 24, -80, 0, 4, 44, -72, -24, 36, -72, 0, -56, -32, 24, -28, -4, -8, 0, -56, -52, 176, 0, -36, 12, 0, 100, -40, 92, 84, 12, 4, 0, 112, 120, 128, -32, 96, -64, 0, 4, -38, 20, 12, 0, -88, 0, 52, 0, -20, -36, 76, -100, 0, -16, 164, 12, -28, 44, -40, 0, -120, 24, 96, 42, -12, -56, 0, 8, -44, 20, -4, -6, 56, 0, -4, -60, -24, 12, -92, 32, 0, -80, 4, 8, -104, -4, 4, 0, -12, -60, 116, -2, 92, 8, 0, 48, 48, 16, -16, -48, 52, 0, -48, 4, -20, 36, -24, 32, 0, -56, 0, 20, -16, -40, -16, 0, -80, 24, -64, 0, -160, -60, 0, -12, -64, 12, -8, 8, 56, 0, 148, -60, -8, -4, -60, 28, 0, 2, 16, 48, 44, -24, 60, 0, 102, 56, 36, -32, -12, -76, 0, 12, -56, -18, -12, -40, -44, 0, -56, -12, -64, 36, 32, -28, 0, 76, 104, -16, 12, -28, -32, 0, -92, 56, -16, 28, 48, -80, 0, -24, 232, -4, -52, 4, 8, 0, -76, 8, 12, 52, -100, 8, 0, 4, -12, -48, -52, -60, -16, 0, -96, -80, -48, -16, -16, -24, 0, -76, 40, -84, -216, -48, 136, 0, -60, 14, 96, 64, -56, 12, 0, 12, 16, -16, -64, 52, 36, 0, 156, -8, 112, -16, -4, -28, 0, -12, -64, -48, -32, 16, -132, 0, -72, 32, -100, -12, 80, 8, 0, 0, 52, 84, -216, -60, -68, 0, -18, 16, 48, -8, -28, -68, 0, -16, -104, 116, -80, 8, 32, 0, -132, 8, 44, -28, -12, -24, 0, -60, 56, 28, 136, -4, -152, 0, 16, 188, -156, -12, -88, 8, 0, 4, -64, -8, 192, -12, 20, 0, -40, 8, -72, -4, 100, -32, 0, 52, -236, 16, 8, -108, -236, 0, 148, -56, -48, 86, 12, 0, 0, -16, 8, -152, -84, 88, -140, 0, -68, -28, 188, -16, -76, 32, 0, 144, 92, -12, -184, -108, 56, 0, -72, -36, 152, 0, 44, -116, 0, 12, -184, 16, -128, 12, 64, 0, -8, -72, -48, 48, -12, 16, 0, -28, -20, 48, -28, -12, -220, 0, -4, -84, -32, -60, -140, -52, 0, -4, 10, 0, 184, 60, 120, 0, 16, 34, -180, 40, 48, 108, 0, 84, -112, 32, 44, -40, -72, 0, -32, 64, 60, -4, 56, -52, 0, 36, 68, -256, 100, -4, 12, 0, -72, 44, -120, 24, -256, 12, 0, 60, -120, 48, 192, 8, 4, 0, 28, 32, -40, 12, 12, -32, 0, 24, -156, 0, 60, -64, 28, 0, 316, 6, -14, -48, 48, -16, 0, -16, 16, 12, -104, 28, -180, 0, 116, 96, -132, -4, -60, 40, 0, -28, 228, 24, 56, 4, -4, 0, 16, -28, -108, -92, 20, -20, 0, 14, 56, -4, 180, -72, 12, 0, -72, -8, 136, -52, 28, -16, 0, -20, 24, 4, 0, 24, 252, 0, 180, 32, 52, 8, -120, -52, 0, 112, -28, 16, 146, -56, 28, 0, -28, -36, 20, 8, 76, 56, 0, -84, -36, -12, -80, 56, -16, 0, -28, 8, 36, -8, -28, -4, 0, 8, 92, -52, 28, -36, 12, 0, 68, -108, 84, 40, 300, 80, 0, -16, -20, -36, -92, -28, -96, 0, 192, 12, 8, -12, -28, -80, 0, 64, 116, 52, 104, 24, 96, 0, -28, -60, -56, 18, -68, -64, 0, 46, -20, -192, 96, 32, 104, 0, -40, 24, -56, -8, -64, 16, 0, -100, -52, 24, 148, -80, -108, 0, -124, 4, 84, 44, 120, -72, 0, -24, 104, 36, -12, -72, 0, 0, -128, -56, 136, -32, -152, 24, 0, -28, 4, -4, -120, -8, 56, 0, 56, -56, 168, -52, 224, 176, 0, 0, -72, -36, 204, 12, -32, 0, -160, 100, 192, -40, 152, 92, 0, 84, -8, 12, -84, 4, -80, 0, -40, 112, 96, 120, -44, 128, 0, -32, 44, 96, 148, -64, -112, 0, -132, 4, 52, -38, 20, 20, 0, 12, 128, 0, 32, -88, -48, 0, -8, 52, -76, 0, 56, -20, 0, -36, -96, 76, 4, -100, -44, 0, 4, -16, 96, 164, -40, 12, 0, -28, -80, 44, -4, -40, 148, 0, 88, -120, -40, 24, -16, 96, 0, 42, 16, -12, -136, -56, -56, 0, 32, 8, 228, -44, 188, 20, 0, -4, 44, -6, -136, 56, -28, 0, -48, -4, 84, -60, -32, -24, 0, 12, 0, -92, -52, 32, 28, 0, -24, -80, 40, 4, -120, 8, 0, -104, 24, -4, -204, 4, -112, 0, -16, -12, 36, -60, -48, 116, 0, -2, 20, 92, -116, 8, 124, 0, -84, 48, -28, 48, -140, 16, 0, -16, 76, -48, 2, 52, 128, 0, 84, -48, -264, 4, 172, -20, 0, 36, -64, -24, -116, 32, 120, 0, 4, -56, 24, 0, 52, 20, 0, -16, -256, -40, 12, -16, -164, 0, 84, -80, -36, 24, 76, -64, 0, 0, 72, -160, 32, -60, -52, 0, -76, -12, -60, -64, 112, 12, 0, -8, -160, 8, -152, 56, 196, 0, -176, 148, -376, -60, 60, -8, 0, -4, 96, -60, 4, 28, -20, 0, 40, 2, 188, 16, 36, 48, 0, 44, 116, -24, 16, 60, 224, 0, 116, 102, 12, 56, -4, 36, 0, -32, -16, -12, -8, -76, 48, 0, 20, 12, 180, -56, -4, -18, 0, -12, 100, -40, -8, -44, 48, 0, -256, -56, -4, -12, 76, -64, 0, 36, 0, 32, -68, -28, 60, 0, 152, 76, -32, 104, 48, -16, 0, 12, -36, -28, -136, -32, 0, 0, 188, -92, 264, 56, 24, -16, 0, 28, -102, 48, 44, -80, 124, 0, 32, -24, -104, 232, 56, -4, 0, -52, 92, 4, -76, 8, -152, 0, -24, -76, -104, 8, 160, 12, 0, 52, -20, -100, 276, 8, 4, 0, 0, 4, 224, -12, -44, -48, 0, -52, -56, -60, 208, -16, -20, 0, 196, -96, 60, -80, 20, -48, 0, -16, 172, -16, -156, -24, -192, 0, 120, -76, 28, 40, 104, -84, 0, -216, -120, -48, -328, 136, -108, 0, 200, -60, -4, 14, 96, 96, 0, 64, -40, -56, 172, 12, 56, 0, -56, 12, -44, 16, 56, -16, 0, -64, 24, 52, -164, 36, -72, 0, -108, 156, 40, -8, 220, 112, 0, -16, -64, -4, -24, -28, 128, 0, 64, -12, -148, -64, 148, -48, 0, -32, -24, 16, 16, -132, 88, 0, -20, -72, -12, 32, -16, -100, 0, -12, -92, 80, -48, 8, -8, 0, 164, 0, 164, 52, 20, 84, 0, -216, 92, -60, 136, -68, 8, 0, 6, -18, -348, 16, 16, 48, 0, -8, -96, -28, -12, -68, 60, 0, 156, -16, 64, -104, -4, 116, 0, -80, 64, 8, 100, 32, 8, 0, 108, -132, 56, 8, 300, 44, 0, -28, -132, -12, -144, -24, -68, 0, -156, -60, 4, 56, 156, 28, 0, 136, -160, -4, -76, -152, -36, 0, -104, 16, -24, 188, 52, -156, 0, -12, 0, -88, 68, 8, 400, 0, -80, 4, -60, -64, -152, -8, 0, 192, 176, -12, 48, 20, -4, 0, -272, -40, 200, 8, 24, -72, 0, -4, -56, 100, 76, -32, -44, 0, 120, 52, -120, -236, -140, 16, 0, 8, -192, -108, 28, -236, -236, 0, -168, 148, -96, -56, 44, -48, 0, 86, -68, 12, -80, 0, 76, 0, -152, -16, 80, 8, 132, -152, 0, -84, 216, 88, 96, -140, 44, 0, -156, -68, 44, -28, 104, 188, 0, -16, 280, -76, 16, 32, 164, 0, -112, 144, -64, 92, 100, -12, 0, -184, 152, -108, -28, 56, -188, 0, -26, -72, -144, -36, -52, 152, 0, 0, 108, 44, 212, -116, 12, 0, 248, 12, 96, -184, -112, 16, 0, -128, 12, 12, -88, 64, 136, 0, -88, -8, -156, -72, 108, -48, 0, 48, -12, -12, -152, 16, -52, 0, 4, -28, -76, -20, 248, 48, 0, -28, 180, -12, -228, -220, -328, 0, -244, -4, 192, -84, 180, -32, 0, -60, 100, -140, 116, -52, 256, 0, -8, -4, -116, 10, -88, 0, 0, 184, 16, 60, -40, 120, 4, 0, -28, 16, -216, 34, -44, -180, 0, 40, 400, 48, 92, 108, 112, 0, 420, 84, 208, -112, -116, 32, 0, 44, -228, -40, -120, -72, -92, 0, 208, -32, -104, 64, -356, 60, 0, -4, -48, 56, 16, -52, 188, 0, -96, 36, 396, 68, 188, -256, 0, 100, -56, -4, -96, 12, 204, 0, -64, -72, -84, 44, 0, -120, 0, 24, -44, -256, 80, 12, -192, 0, -180, 60, 108, -120, -128, 48, 0, 192, -124, 8, -8, 4, 4, 0, -76, 28, 16, 32, 212, -40, 0, 12, 262, 12, 184, -32, -68, 0, 220, 24, -148, -156, 0, 0, 0, 60, -88, -64, 184, 28, 340, 0, 108, 316, -156, 6, -140, -14, 0, -48, 60, 48, -112, -16, 328, 0, -108, -16, 260, 16, -72, 12, 0, -104, 52, 28, 100, -180, -12, 0, 24, 116, -156, 96, -140, -132, 0, -4, -4, -60, -152, 40, -44, 0, 4, -28, 144, 228, 16, 24, 0, 56, -344, 4, 124, -4, -140, 0, -56, 16, 124, -28, 8, -108, 0, -92, 152, 20, 104, -20, -4, 0, -496, 14, 40, 56, -136, -4, 0, 180, 28, -72, 180, 12, 76, 0, 84, -72, -136, -8, -16, 136, 0, -52, 72, 28, 88, -16, 140, 0, 36, -20, -4, 24, 72, 4, 0, 0, -204, 24, 104, 252, -44, 0, 52, 180, 276, 32, 28, 52, 0, 8, -60, -120, -152, -52, 268, 0, 12, 112, 16, -28, 356, 16, 0, 146, -172, -56, 140, 28, 40, 0, 36, -28, 216, -36, 100, 20, 0, 8, 104, 76, -48, 56, 100, 0, 148, -84, -112, -36, 60, -12, 0, -80, 160, 56, 26, -16, -152, 0, 44, -28, -72, 8, 212, 36, 0, -8, -36, -28, 100, -4, 164, 0, 172, 8, -160, 92, 40, -52, 0, 28, 4, -36, 84, 12, -12, 0, 264, 68, 136, -108, -184, 84, 0, 40, -160, 300, -60, 80, 72, 0, 12, -16, -40, -20, 432, -36, 0, -92, 12, -28, -172, -96, 120, 0, 164, 192, 92, 12, 88, 8, 0, -12, -44, -28, -36, -80, -76, 0, 68, 64, 88, 116, 32, 52, 0, 104, 72, 24, -20, 96, 232, 0, 96, -28, 80, -60, 296, -56, 0, 18, -200, -68, 204, -64, -64, 0, 120, 46, -376, -20, -196, -192, 0, 96, -284, 32, -244, 104, -12, 0, -436, -40, -4, 24, 40, -56, 0, -8, 84, -64, 48, 16, 28, 0, 52, -100, 172, -52, -168, 24, 0, 148, 76, -80, 4, -108, 92, 0, 56, -124, -80, 4, -100, 84, 0, 44, -116, 120, 12, -72, -12, 0, -300, -24, 208, 104, -16, 36, 0, -12, -212, -72, 140, 0, -40, 0, -8, -128, -160, -56, 16, 136, 0, -32, -4, -152, -48, 24, 140, 0, -88, -28, 44, 4, -64, -4, 0, -120, 56, -8, 104, 56, -104, 0, 4, 56, -156, -56, 80, 168, 0, -52, -8, 224, -16, 176, 64, 0, -104, 0, 32, -72, 40, -36, 0, 204, 300, 12, 480, -32, 192, 0, -132, -160, 52, 100, 64, 192, 0, -40, 88, 152, 120, 92, 64, 0, 48, 84, 76, -8, -24, 12, 0, -84, -12, 4, 20, -80, -28, 0, 0, -40, 60, 112, -152, 96, 0, 120, 32, -44, -616, 128, 24, 0, -96, -32, -60, 44, -104, 96, 0, 148, 164, -64, 0, -112, 52, 0, -24, -132, 64, 4, 12, 52, 0, -38, -32, 20, -112, 20, 312, 0, 80, 12, -120, 128, -276, 0, 0, 32, -96, -88, 112, -48, -156, 0, 160, -8, 232, 52, 68, -76, 0, 0, 0, 56, 4, -20, -12, 0, -52, -36, 48, -96, -16, 76, 0, 4, 20, -100, -80, -44, 132, 0, -224, 4, -44, -16, -200, 96, 0, 164, -196, -40, 168, 12, -152, 0, 88, -28, -152, -80, 112, 44, 0, -4, 136, -40, -40, 148, -32, 0, -8, 88, 108, -120, -80, -40, 0, 24, 208, -16, -8, 96, 196, 0, -12, 42, -100, 16, 332, -12, 0, -136, 16, -56, 194, -56, 72, 0, 24, 32, -24, 8, -156, 228, 0, -44, -172, 188, -40, 20, -52, 0, 256, -4, -128, 44, -72, -6, 0, -136, -48, 56, -12, -28, -16, 0, 116, -48, -228, -4, 220, 84, 0, -60, -40, -32, 240, -24, -164, 0, 12, 12, 156, 0, 72, -92, 0, -52, -88, 32, 192, 28, 132, 0, 104, -24, 8, -80, 4, 40, 0, 4, -164, -120, 72, 8, -396, 0, 12, -104, 132, 24, 204, -4, 0, -204, 284, 4, -264, -112, 68, 0, -64, -16, 240, -12, -64, 36, 0, -60, -164, -48, 48, 116, -32, 0, -492, -2, -136, 20, -232, 92, 0, -116, 116, 8, -72, 124, -128, 0, 172, -84, 56, 48, -236, -28, 0, 48, -60, -140, -176, 16, -28, 0, -176, -16, -16, 76, -40, -48, 0, 2, -212, 52, -88, 128, -204, 0, 320, 84, 20, -48, -76, -264, 0, 4, 64, 172, -100, -20, 136, 0, -80, 36, -288, -64, -228, -24, 0, -116, 96, 32, -56, 120, -32, 0, 96, 4, -152, -56, 88, 24, 0, 0, 224, 52, -232, 20, -92, 0, -196, -16, 148, -256, 208, -40, 0, 12, -176, -16, 76, -164, -212, 0, 4, 84, -76, -80, -268, -36, 0, 24, 106, 76, 48, -64, 144, 0, 296, 0, 80, 72, -40, -160, 0, 32, -112, -60, -136, -52, 272, 0, -56, -76, -28, -12, 0, -60, 0, -64, 236, 112, -60, 12, 400, 0, 180, -8, -20, -160, 24, 8, 0, -152, -72, 56, -232, 196, 24, 0, -28, -176, 164, 148, 280, -376, 0, -60, 184, 60, -164, -8, -120, 0, -244, -4, -20, 96, -8, -60, 0, 4, 160, 28, 76, -20, 164, 0, -160, 40, 68, 2, 112, 188, 0, 16, 204, 36, -348, 48, 172, 0, -64, 44, -152, 116, 136, -24, 0, 16, -88, 60, 220, 224, -12, 0, 68, 116, -4, 102, 72, 12, 0, 56, -192, -4, 64, 36, -276, 0, 36, -32, 236, -16, -352, -12, 0, -8, -184, -76, -8, 48, 264, 0, -20, 20, 56, 12, 60, 180, 0, -56, -252, -4, 136, -18, -172, 0, 24, -12, 16, 100, -40, -40, 0, -8, -28, -44, 48, 48, 192, 0, 32, -256, 108, -56, -272, -4, 0, -12, 72, 76, 184, -64, -196, 0, 40, 36, 192, 0, 48, 32, 0, -68, 140, -28, -16, 60, -248, 0, -480, 152, -76, 76]