# Trace form for 5445.2.a.bs, downloaded from the LMFDB on 25 April 2024.
[0, 4, 2, 0, 8, -4, 0, -4, 6, 0, -2, 0, 0, -8, 8, 0, 12, 4, 0, -4, -8, 0, 0, 8, 0, 4, 16, 0, 8, -4, 0, 0, 14, 0, 4, 4, 0, 8, -20, 0, -6, -4, 0, -12, 0, 0, 16, 0, 0, 20, 2, 0, -20, -16, 0, 0, 48, 0, -24, 24, 0, -8, -20, 0, 0, 8, 0, 0, 48, 0, -8, 16, 0, -8, 12, 0, 36, 0, 0, -12, -12, 0, -40, 8, 0, -4, -16, 0, 0, 16, 0, -16, 72, 0, 40, 4, 0, 8, 62, 0, 8, -12, 0, -24, -16, 0, 4, 8, 0, -16, 0, 0, 76, -8, 0, -8, -44, 0, 60, -16, 0, 0, 36, 0, -32, -4, 0, -20, 58, 0, -16, 0, 0, 16, 72, 0, -4, 24, 0, 36, -8, 0, -4, 0, 0, 4, 16, 0, -8, -28, 0, -4, -12, 0, 0, 0, 0, 8, 12, 0, -14, 24, 0, -8, 4, 0, -4, 40, 0, 28, -4, 0, -40, 52, 0, -4, 0, 0, -52, -8, 0, 24, -108, 0, 56, -8, 0, 0, -8, 0, 20, 24, 0, -40, 52, 0, 88, 36, 0, -8, 6, 0, -48, 40, 0, 4, -80, 0, -72, 0, 0, 20, 24, 0, 92, 12, 0, -88, -68, 0, 0, 8, 0, -24, 96, 0, 28, 48, 0, 8, -16, 0, 8, -4, 0, 0, 16, 0, 20, -16, 0, 0, 0, 0, -24, -20, 0, -40, -108, 0, -2, 0, 0, 0, -24, 0, 36, 16, 0, 48, 20, 0, 40, 0, 0, 16, 96, 0, 80, 48, 0, 12, -12, 0, 12, 0, 0, 16, -20, 0, -48, -60, 0, 52, -24, 0, 0, -72, 0, 28, 24, 0, -20, 28, 0, -24, 76, 0, 88, -24, 0, -32, -20, 0, 12, 8, 0, 28, 0, 0, 20, -40, 0, 24, -52, 0, -68, -40, 0, 0, 0, 0, 112, 72, 0, -8, 48, 0, -120, -48, 0, -40, 76, 0, 28, 0, 0, -32, -54, 0, -48, 0, 0, -8, -72, 0, 28, 32, 0, 24, 8, 0, 0, 32, 0, -16, 8, 0, -64, -8, 0, 52, -56, 0, -48, 8, 0, -72, 88, 0, -12, 48, 0, -40, 0, 0, -8, -72, 0, 0, -36, 0, -72, 56, 0, 0, -16, 0, -16, 56, 0, 88, 66, 0, -4, 12, 0, -24, 56, 0, 12, 40, 0, 48, -92, 0, 72, 0, 0, -32, 40, 0, -48, -16, 0, -8, -104, 0, 0, -24, 0, -40, -12, 0, 20, 4, 0, -40, 12, 0, 16, 0, 0, 24, -168, 0, -56, 80, 0, 44, 0, 0, 76, 40, 0, -16, -16, 0, 144, 16, 0, 0, 72, 0, -44, 16, 0, -8, -76, 0, -72, -20, 0, -24, 60, 0, 36, 24, 0, 72, -40, 0, 92, 0, 0, -4, -24, 0, -72, 24, 0, -56, 20, 0, 0, -8, 0, -32, -20, 0, -62, 80, 0, -112, 40, 0, -176, -48, 0, -56, -8, 0, 36, -64, 0, 12, 0, 0, -136, 0, 0, -16, 10, 0, 4, 24, 0, 0, 88, 0, 16, 40, 0, 4, -8, 0, 84, 24, 0, 36, -4, 0, -8, 8, 0, -8, 144, 0, -56, 0, 0, 56, 108, 0, 68, 16, 0, -12, 48, 0, 0, -24, 0, 0, -24, 0, 84, 28, 0, 48, -76, 0, -16, -48, 0, 8, -88, 0, -20, 100, 0, 28, 0, 0, -72, 8, 0, 8, -62, 0, 44, 48, 0, 0, -16, 0, 12, -24, 0, -24, -60, 0, 136, 28, 0, 16, 36, 0, 0, 96, 0, -8, -108, 0, 36, 0, 0, -20, 116, 0, -36, 128, 0, 48, -96, 0, 0, 40, 0, -40, 32, 0, -12, -56, 0, 4, 44, 0, 72, -96, 0, -24, -12, 0, -132, 20, 0, 80, 0, 0, -58, -16, 0, -8, 136, 0, -120, -40, 0, 0, 16, 0, 32, -32, 0, 0, -164, 0, -184, 24, 0, 24, 4, 0, 60, -16, 0, -80, 20, 0, -72, 0, 0, -64, -24, 0, 56, 36, 0, 0, 4, 0, 0, 64, 0, -24, -104, 0, -124, 24, 0, 32, 144, 0, -52, -36, 0, 96, -84, 0, 8, 44, 0, -72, 0, 0, 44, -40, 0, -40, 4, 0, -76, -64, 0, 0, -40, 0, -40, 24, 0, -72, -118, 0, 48, -4, 0, -32, -116, 0, -16, 0, 0, 0, -56, 0, 192, 0, 0, -28, 8, 0, 64, 24, 0, 28, 40, 0, 0, 64, 0, 88, -96, 0, -80, 4, 0, -24, 8, 0, 12, -116, 0, -24, -88, 0, 96, 40, 0, -72, 0, 0, 36, -48, 0, 0, 68, 0, 72, 104, 0, 0, 0, 0, 28, -8, 0, 20, 0, 0, -12, 128, 0, 144, 76, 0, 8, -8, 0, 32, 14, 0, -36, 0, 0, -24, 184, 0, -112, 60, 0, -60, 56, 0, 0, 8, 0, 0, -84, 0, -4, -12, 0, -56, -200, 0, -64, 0, 0, -24, 4, 0, 28, 132, 0, -40, 0, 0, -96, -24, 0, 76, 72, 0, -68, -28, 0, 0, 16, 0, 4, -32, 0, 56, -200, 0, 172, -108, 0, 40, 40, 0, -80, 152, 0, -52, 4, 0, -304, 0, 0, 72, -124, 0, -64, 4, 0, -16, 60, 0, 0, 24, 0, 96, -160, 0, 48, 24, 0, 0, 52, 0, -128, -96, 0, 8, 8, 0, 12, -72, 0, 64, 0, 0, 140, -24, 0, 40, 132, 0, 108, 40, 0, 0, -8, 0, 32, -48, 0, -76, -56, 0, 64, -24, 0, 8, 0, 0, 8, 8, 0, -28, -56, 0, 128, 0, 0, -56, 80, 0, 8, -44, 0, 16, 88, 0, 0, -32, 0, 80, -20, 0, 148, 20, 0, -24, -136, 0, -48, -24, 0, 52, -120, 0, 32, 40, 0, 76, 0, 0, -52, -16, 0, -112, -24, 0, -120, -24, 0, 0, -88, 0, 16, -8, 0, -36, -56, 0, -240, -56, 0, 64, -220, 0, -64, 8, 0, 64, -48, 0, -6, 0, 0, -48, 168, 0, 60, 104, 0, 24, 48, 0, 0, -144, 0, -40, -64, 0, 16, 72, 0, 56, -108, 0, -8, -4, 0, 72, -48, 0, 80, -16, 0, -80, 0, 0, 200, 24, 0, -72, 72, 0, 156, 120, 0, 0, 0, 0, -8, -40, 0, 140, -84, 0, -48, -20, 0, 16, 98, 0, -24, 32, 0, -52, 72, 0, 224, 0, 0, 152, -92, 0, 144, 136, 0, -12, 112, 0, 0, -88, 0, -16, -116, 0, 116, 88, 0, 48, 24, 0, 68, 8, 0, -40, -80, 0, 36, 52, 0, -72, 0, 0, 120, -48, 0, -8, -128, 0, 236, -32, 0, 0, -60, 0, -108, 24, 0, 80, 44, 0, -96, -184, 0, 8, -244, 0, -148, 136, 0, -64, -28, 0, -80, 0, 0, -48, -16, 0, 16, 88, 0, -8, 12, 0, 0, -8, 0, -112, -312, 0, 16, -8, 0, -40, -116, 0, -104, -112, 0, -88, -8, 0, 204, 0, 0, 4, 0, 0, -72, -96, 0, 136, -56, 0, -176, 0, 0, 0, -152, 0, -16, 104, 0, -124, 84, 0, 124, 48, 0, -96, -20, 0, 152, -64, 0, 16, -248, 0, -32, 0, 0, -16, 116, 0, -176, 0, 0, -64, -12, 0, 0, -64, 0, 40, -24, 0, -4, -108, 0, 80, 24, 0, 8, -80, 0, 20, -16, 0, 24, 44, 0, -12, 0, 0, 20, 40, 0, 56, 4, 0, 108, 8, 0, 0, -176, 0, 48, -24, 0, -24, 2, 0, 136, -32, 0, 0, -108, 0, 64, 72, 0, 72, -152, 0, -60, 0, 0, -120, -152, 0, 24, 152, 0, 16, 56, 0, 0, 8, 0, 128, -36, 0, 68, 88, 0, -16, -64, 0, 352, 12, 0, 16, 0, 0, -64, -48, 0, 64, 0, 0, -20, 32, 0, -48, 24, 0, -132, 136, 0, 0, -40, 0, -104, -8, 0, 0, -64, 0, -168, 24, 0, -56, 20, 0, -40, -16, 0, -124, 136, 0, -96, 0, 0, 88, -32, 0, 12, -128, 0, 8, -80, 0, 0, -88, 0, -48, -168, 0, -260, -104, 0, 128, -122, 0, 100, -12, 0, -16, -96, 0, 12, 44, 0, -160, 0, 0, 96, -96, 0, 28, -12, 0, 40, -112, 0, 0, -152, 0, -96, -112, 0, 8, 24, 0, 68, -16, 0, -40, 28, 0, 20, 88, 0, 48, -168, 0, 40, 0, 0, 44, 48, 0, 176, -32, 0, 60, 136, 0, 0, -72, 0, 72, 72, 0, -112, -52, 0, -48, -96, 0, 24, -252, 0, 88, -32, 0, -256, 8, 0, 72, 0, 0, -112, -136, 0, 72, 0, 0, -8, -8, 0, 0, -104, 0, -56, -28, 0, 68, -128, 0, -24, 120, 0, 24, -48, 0, -32, 96, 0, -52, 20, 0, -36, 0, 0, -28, -32, 0, -176, -40, 0, -20, 168, 0, 0, 24, 0, -208, -84, 0, -76, 60, 0, 0, 88, 0, -116, -40, 0, -8, -88, 0, -20, 60, 0, 24, 0, 0, -20, 128, 0, -112, 120, 0, -152, 32, 0, 0, 40, 0, 20, -80, 0, 8, 60, 0, 160, -184, 0, 32, -12, 0, -80, 104, 0, -8, -16, 0, -152, 0, 0, -68, 112, 0, -48, -28, 0, -56, -132, 0, 0, 160, 0, -48, 32, 0, 84, -56, 0, -8, -20, 0, 40, 76, 0, 40, 184, 0, -232, 112, 0, 48, 0, 0, 104, -24, 0, 80, 82, 0, 52, 144, 0, 0, 144, 0, -44, 128, 0, 36, 68, 0, 248, 32, 0, 40, -24, 0, -16, -32, 0, -80, 88, 0, 140, 0, 0, -32, 168, 0, 0, 36, 0, 88, 208, 0, 0, -96, 0, 168, -112, 0, 136, 76, 0, -72, -140, 0, 96, 56, 0, -136, -68, 0, -128, 8, 0, 156, 0, 0, -48, -32, 0, -80, -16, 0, -248, -104, 0, 0, 120, 0, 160, -64, 0, 48, -152, 0, -264, -64, 0, 32, 168, 0, 236, 40, 0, 24, -176, 0, -76, 0, 0, 36, -168, 0, 180, 48, 0, 56, -28, 0, 0, 0, 0, 0, -184, 0, -172, -24, 0, 92, 126, 0, 32, 32, 0, 88, -180, 0, 54, 56, 0, 88, 0, 0, 108, 144, 0, 8, 48, 0, 176, 128, 0, 0, 184, 0, -80, 64, 0, -40, 168, 0, -28, 8, 0, -96, -44, 0, 72, 24, 0, 172, 16, 0, 48, 0, 0, 184, -28, 0, 144, -12, 0, -32, -312, 0, 0, -80, 0, -136, -208, 0, -128, -24, 0, 120, 64, 0, -8, 72, 0, -8, 160, 0, 76, 96, 0, -148, 0, 0, -88, 88, 0, -32, 56, 0, 36, -152, 0, 0, 16, 0, -60, 16, 0, 8, -148, 0, -8, -48, 0, 16, -16, 0, 0, 80, 0, 144, 64, 0, 12, 0, 0, 8, 40, 0, -96, 8, 0, -24, -24, 0, 0, -52, 0, -72, 216, 0, 56, 104, 0, -88, 104, 0, 20, -112, 0, -72, 48, 0, 232, -88, 0, -8, 0, 0, -60, -16, 0, -80, 28, 0, -184, 72, 0, 0, -4, 0, -88, 96, 0, -168, -212, 0, 96, 208, 0, -92, 12, 0, -176, -24, 0, -48, -52, 0, -48, 0, 0, 152, -124, 0, -4, 40, 0, 100, 200, 0, 0, -16, 0, 24, 24, 0, 360, -28, 0, -128, 8, 0, -24, 48, 0, 72, -320, 0, -12, 124, 0, 96, 0, 0, -200, 0, 0, 80, -28, 0, 36, -136, 0, 0, 240, 0, -100, -24, 0, 136, 72, 0, -104, -4, 0, -56, -48, 0, 48, -40, 0, 48, 314, 0, 32, 0, 0, 0, 108, 0, 16, 24, 0, 136, 8, 0, 0, 168, 0, 96, 16, 0, 56, -160, 0, -56, 8, 0, -112, -20, 0, 56, -180, 0, -100, -88, 0, 160, 0, 0, -66, -80, 0, -40, 48, 0, 96, 72, 0, 0, 4, 0, 32, -16, 0, -12, 144, 0, -176, 128, 0, -288, 164, 0, -288, 24, 0, -164, -88, 0, -56, 0, 0, -16, 272, 0, -72, 12, 0, -68, -12, 0, 0, 8, 0, -40, 248, 0, 132, 4, 0, -80, 20, 0, 56, -48, 0, 88, 124, 0, 92, 48, 0, -76, 0, 0, -108, 80, 0, -24, -72, 0, -100, -192, 0, 0, -48, 0, -56, -64, 0, -64, -48, 0, -48, 32, 0, -16, -154, 0, -40, -240, 0, 48, -104, 0, 44, 0, 0, 56, 48, 0, 32, 48, 0, 16, -128, 0, 0, 136, 0, 88, 152, 0, 160, 8, 0, -144, 60, 0, 104, 44, 0, -48, 80, 0, 16, -144, 0, -48, 0, 0, 152, -64, 0, 24, -96, 0, 136, 80, 0, 0, -4, 0, 180, 40, 0, -44, -48, 0, 12, 152, 0, 104, 96, 0, 200, -72, 0, 136, -20, 0, -40, 0, 0, -4, -152, 0, -32, 44, 0, -4, -104, 0, 0, 40, 0, -88, 292, 0, -12, -60, 0, 128, 232, 0, 32, 120, 0, -64, -16, 0, 88, 204, 0, 0, 0, 0, -4, -192, 0, 8, 64, 0, -48, -24, 0, 0, 212, 0, 168, -8, 0, 40, -32, 0, 124, -128, 0, 128, 56, 0, 16, 128, 0, -80, -28, 0, -72, 0, 0, 96, 72, 0, 108, -44, 0, 8, 56, 0, 0, 64, 0, 16, 168, 0, -136, -184, 0, 68, -76, 0, -24, -92, 0, -40, 104, 0, -92, 16, 0, -104, 0, 0, -44, 16, 0, 32, -32, 0, 16, -48, 0, 0, -80, 0, 128, 8, 0, -100, -144, 0, 56, -48, 0, -16, 240, 0, -64, -88, 0, 28, -4, 0, 256, 0, 0, -96, -188, 0, -72, -24, 0, 48, -272, 0, 0, -56, 0, 24, 44, 0, -108, 204, 0, -16, 292, 0, 208, 16, 0, -104, -104, 0, -20, 8, 0, -36, 0, 0, 76, 40, 0, -8, -200, 0, -240, 32, 0, 0, 72, 0, 360, 240, 0, 20, 108, 0, 40, -76, 0, 56, -82, 0, 240, 24, 0, -120, 40, 0, -60, 0, 0, -160, 168, 0, -116, -64, 0, 24, -36, 0, 0, 48, 0, -24, -104, 0, -108, 128, 0, 56, 144, 0, -172, -72, 0, 120, -56, 0, 40, -112, 0, -88, 0, 0, -56, -48, 0, -32, -92, 0, 96, 136, 0, 0, 0, 0, 120, -48, 0, 28, 272, 0, -36, 4, 0, -136, 24, 0, 24, -48, 0, 28, 100, 0, -44, 0, 0, -48, 72, 0, -112, -108, 0, -24, 208, 0, 0, -48, 0, 100, 148, 0, -40, 56, 0, 0, -300, 0, -20, 192, 0, -144, 24, 0, 12, -140, 0, -200, 0, 0, 116, 64, 0, 8, 164, 0, -136, -240, 0, 0, 60, 0, -132, 32, 0, -16, 48, 0, 20, -44, 0, -264, 240, 0, -20, 72, 0, 24, 62, 0, 140, 0, 0, -80, -104, 0, 64, 88, 0, 8, -180, 0, 0, 112, 0, -112, 264, 0, -40, 112, 0, 152, -20, 0, -40, 156, 0, -16, 176, 0, 76, -112, 0, 48, 0, 0, -220, -96, 0, -16, -208, 0, 24, 56, 0, 0, 188, 0, 8, 8, 0, -52, 188, 0, 0, -80, 0, 0, -36, 0, -104, -192, 0, 64, 136, 0, 64, 0, 0, -40, -112, 0, -56, -12, 0, -196, -172, 0, 0, -56, 0, 64, -8, 0, -196, -80, 0, 56, 136, 0, 224, 152, 0, 0, 128, 0, -68, -20, 0, 116, 0, 0, 156, 16, 0, 8, -96, 0, -10, -40, 0, 0, -56, 0, -68, 72, 0, -16, -4, 0, 144, -112, 0, -24, 504, 0, -128, 72, 0, 72, -4, 0, 0, 0, 0, 96, 32, 0, -88, 0, 0, 96, 144, 0, 0, 16, 0, 160, -16, 0, -124, -24, 0, -40, 0, 0, -56, -76, 0, 192, -32, 0, -104, -4, 0, -48, 0, 0, 8, 168, 0, 72, -292, 0, 72, 80, 0, 0, -84, 0, -40, -96, 0, -24, -24, 0, -136, 264, 0, 64, 92, 0, 208, -36, 0, -116, -196, 0, 4, 0, 0, -48, -48, 0, 268, -108, 0, 140, 8, 0, 0, 32, 0, -8, 248, 0, 0, 184, 0, -40, 8, 0, -128, 8, 0, 104, 232, 0, -144, 40, 0, -60, 0, 0, 104, -32, 0, 168, 56, 0, -92, -144, 0, 0, -120, 0, -56, 48, 0, -56, 204, 0, -108, -56, 0, 128, 240, 0, -108, -72, 0, -104, 304, 0, 136, 0, 0, 12, -68, 0, -304, -128, 0, -16, -256, 0, 0, 80, 0, 48, 232, 0, 72, 12, 0, -16, -2, 0, -48, -148, 0, 104, 120, 0, -4, -128, 0, -80, 0, 0, -144, -24, 0, 24, -128, 0, -108, 80, 0, 0, 36, 0, -288, 0, 0, -116, 132, 0, 24, 104, 0, 176, 40, 0, -228, 144, 0, 208, -84, 0, -292, 0, 0, -28, -32, 0, -48, -180, 0, 124, -300, 0, 0, -48, 0, -40, 172, 0, 76, 36, 0, 32, -28, 0, 32, 120, 0, -36, 16, 0, 136, -24, 0, 48, 0, 0, -168, 32, 0, -16, -84, 0, 220, -8, 0, 0, -264, 0, 88, 8, 0, 80, 112, 0, -240, 108, 0, -24, 20, 0, -360, 0, 0, -100, 24, 0, -12, 0, 0, -92, -416, 0, 4, -28, 0, -176, 180, 0, 0, 8, 0, 40, -104, 0, -12, 256, 0, 128, 72, 0, -248, 124, 0, -8, -56, 0, 148, -168, 0, -72, 0, 0, -472, -8, 0, -136, -210, 0, 62, 232, 0, 0, 232, 0, -120, 96, 0, 16, -44, 0, -40, 104, 0, -48, -348, 0, 176, 128, 0, -40, 28, 0, 288, 0, 0, -16, 4, 0, 16, -232, 0, 40, -168, 0, 0, 0, 0, 128, -12, 0, 132, -80, 0, 24, -216, 0, -248, 288, 0, 144, 316, 0, 248, 24, 0, 200, 0, 0, 60, -248, 0, -184, -400, 0, 196, -208, 0, 0, -136, 0, 376, -112, 0, -28, 152, 0, 64, -12, 0, -64, -12, 0, -180, -16, 0, -272, -72, 0, -36, 0, 0, 216, 152, 0, -4, -32, 0, 200, 0, 0, 0, 8, 0, -96, 408, 0, 268, -232, 0]