# Trace form for 7225.2.a.bs, downloaded from the LMFDB on 10 June 2024.
[0, 12, 4, 8, 12, 0, -8, 16, 12, 12, 0, -16, 16, 8, 16, 0, 12, 0, -4, 0, 0, 16, 16, 16, 0, 0, 16, 32, 40, -16, 0, -24, 28, 0, 0, 0, 12, 24, 24, -8, 0, -8, 0, 16, -8, 0, -40, 32, -24, 20, 0, 0, 24, 0, -8, 0, 24, 32, -16, 8, 0, -24, 8, 48, 36, 0, 40, 8, 0, 48, 0, 16, -12, 16, 0, 0, 16, -24, -24, -40, 0, 36, -16, 40, 32, 0, -8, 32, 48, 8, 0, -72, -8, -24, -16, 0, -8, 32, 60, -56, 0, 16, 0, 32, 8, 0, 8, 24, 8, -40, 0, 16, 40, 0, 16, 0, 48, -24, 72, 0, 0, 4, -8, 48, -48, 0, 56, 24, 116, -8, 0, 8, -72, 24, 32, 0, 0, 8, 32, -64, 0, 24, 8, 8, -28, 0, 72, 40, 16, 40, 0, 0, 0, 0, -24, 0, -8, -32, -8, 16, 0, 8, -84, 96, 8, 0, 80, 32, 72, 28, 0, 8, -24, -8, -8, 0, 80, 32, 40, 24, 0, 32, -48, 88, -80, 0, 24, 0, 32, 40, 0, 56, -48, 40, 16, 0, 52, 24, -24, -8, 0, 24, -40, 64, 0, 0, -24, -32, 88, 64, 0, -88, -8, 72, -8, 0, 72, -64, -112, 16, 0, 0, -88, 0, 64, 0, -56, 24, -40, 32, 0, 40, -40, -24, -56, 0, 40, -64, 0, 8, 0, -40, -76, 24, -24, 0, 0, -32, -112, 56, 0, 56, -56, -16, -8, 0, 52, 40, -104, 32, 0, 48, -112, 72, 48, 0, 80, -16, 200, 8, 0, 64, 0, -64, -8, 0, 112, 40, -136, -32, 0, 120, -144, 32, 56, 0, 24, 40, 68, 0, 0, 72, 16, 32, 96, 0, 64, -72, 72, -8, 0, 8, -40, 40, -72, 0, 0, 8, 8, 120, 0, 48, -192, -24, 80, 0, 0, -24, -152, 8, 0, 40, -120, 0, -92, 0, 112, 16, -56, 104, 0, -32, 16, 0, 128, 0, 96, 72, 44, -16, 0, 8, -88, 8, 48, 0, 48, 48, 16, 24, 0, 0, -64, -32, 128, 0, 88, 0, 104, 40, 0, -44, -64, -24, 40, 0, 144, -48, -112, 88, 0, -48, -104, 8, 0, 0, -64, -24, 144, -152, 0, 24, 0, 120, 80, 0, 40, 24, 56, 40, 0, 0, -68, -56, -80, 0, -64, 16, -16, 8, 0, -16, -56, 80, 56, 0, -24, 80, 0, 8, 0, 8, -8, -32, 64, 0, 120, 56, -8, -24, 0, -40, -48, 112, -112, 0, -8, 0, -8, -88, 0, -40, -16, 8, -48, 0, -88, 8, 120, -48, 0, 36, 0, 24, -168, 0, 96, 32, 96, 8, 0, 0, -48, -48, 48, 0, -16, 0, 136, 0, 0, -24, -16, 16, 32, 0, 0, 72, 88, 24, 0, -32, 8, -16, -56, 0, 0, 96, 112, 120, 0, 32, -40, 104, -108, 0, -104, 64, 0, 8, 0, 24, -72, 0, -24, 0, -120, 0, 56, -184, 0, -120, -24, -40, 16, 0, 80, -64, 16, 48, 0, -8, -52, 80, -48, 0, -40, -72, -128, 32, 0, 0, 40, 48, -32, 0, 40, 0, 136, -44, 0, 104, -24, -32, -24, 0, 152, -72, 72, 24, 0, -48, -24, -16, 0, 0, -56, 184, 32, 56, 0, 16, -8, -16, -120, 0, -88, 64, 24, -24, 0, 0, -160, -8, -40, 0, 0, -16, 56, 0, 0, -152, -8, 24, -96, 0, 12, 88, 0, 104, 0, 8, -40, 8, -56, 0, 16, -48, 128, 32, 0, 96, 112, 32, 24, 0, 152, 56, -48, 16, 0, -56, 160, -24, -64, 0, -104, -48, -80, 160, 0, 24, 0, -96, 136, 0, 216, -40, 72, -80, 0, -80, 48, -16, -280, 0, -24, -144, -8, 0, 0, -56, -88, -16, 8, 0, -80, -40, -24, 56, 0, 24, -272, 48, 80, 0, 0, 96, -76, -16, 0, -56, 256, -72, -104, 0, -56, -32, -48, 144, 0, 64, -160, 0, -24, 0, -64, 16, 112, 72, 0, 120, -48, 80, -176, 0, -12, -72, -56, 80, 0, -144, -128, 80, 24, 0, -8, -56, -24, 96, 0, -96, 176, -40, -64, 0, -112, 0, 32, 120, 0, -88, 8, 56, 24, 0, 0, 32, 176, -32, 0, -64, 32, -40, 0, 0, 208, -80, 128, 16, 0, -24, 12, -72, -80, 0, -96, -40, 24, -12, 0, 0, -24, -88, -96, 0, -152, 8, 96, 48, 0, 48, 32, 96, -248, 0, -48, 168, 0, 16, 0, -64, 0, -144, -128, 0, -104, 120, -168, -120, 0, -32, 64, -64, 0, 0, 104, 144, -56, 48, 0, -24, 48, 8, -224, 0, 16, 40, -56, 64, 0, -16, 0, 8, -60, 0, -248, 120, 24, 152, 0, 8, 248, -88, -200, 0, 144, 152, 96, 0, 0, -64, 24, -32, 56, 0, -8, -64, 80, 32, 0, -176, 120, 48, -16, 0, 0, 112, 16, -24, 0, 72, 144, -88, 80, 0, 128, 192, 72, -32, 0, -56, 48, 0, -96, 0, -80, 8, -96, -32, 0, -84, -64, 128, -128, 0, -88, 24, -192, -40, 0, 56, -56, 48, -112, 0, -16, -56, 88, 32, 0, 112, 16, 16, 40, 0, 8, 0, -160, 112, 0, 56, -96, -112, 112, 0, -80, 8, -48, 64, 0, 72, 68, -200, 0, 0, -40, -200, -136, -8, 0, -104, -40, -8, 48, 0, 168, 112, 104, 72, 0, 0, -88, -112, -120, 0, -112, 128, 200, -24, 0, -16, -24, -16, 56, 0, 184, 80, 0, 104, 0, -8, 16, 16, -40, 0, -128, 88, 40, 40, 0, 80, 144, -40, -248, 0, -72, 128, 16, 216, 0, 112, 96, 88, 72, 0, 40, -128, -96, 48, 0, 24, 0, -56, -408, 0, -120, -192, 72, 136, 0, -132, 240, 144, -8, 0, -8, -40, -196, 0, 0, 48, -40, -184, -176, 0, -56, 56, -120, -24, 0, -8, -16, -96, -192, 0, 0, 72, 32, -72, 0, -112, -176, -88, 40, 0, 40, -96, 88, 56, 0, -8, -96, 0, -72, 0, 144, 192, 48, 32, 0, 192, -152, -88, -24, 0, -136, -96, 152, 176, 0, -120, 56, -152, -68, 0, -16, 88, 48, 32, 0, 24, 8, -144, -40, 0, -40, 0, 64, 112, 0, -88, 72, 8, -32, 0, -192, -128, -184, 80, 0, -160, 200, -80, 0, 0, -56, 8, -140, -128, 0, 176, 56, -208, 80, 0, 80, 232, 80, -24, 0, 0, 200, -24, -160, 0, 264, -144, -64, 128, 0, 8, -88, -264, -16, 0, -240, 16, 0, 244, 0, 16, -104, 32, 104, 0, 40, 0, 80, -176, 0, -184, 72, -96, 112, 0, -208, 32, 56, 0, 0, 8, -16, -240, 88, 0, -40, 56, -104, 56, 0, -64, 0, -80, -24, 0, -32, 40, -160, -72, 0, -40, -24, -16, 8, 0, -64, 8, -16, 0, 0, 168, 256, 40, 8, 0, -48, -72, -120, 40, 0, 8, 68, -88, 88, 0, 0, 96, 248, 16, 0, 288, 88, 88, -104, 0, 0, -136, -192, 192, 0, -168, 88, 0, -24, 0, 216, 96, 40, -32, 0, -112, 64, -280, 48, 0, -112, -152, -168, 152, 0, 224, -208, -64, 16, 0, -184, -96, -168, 0, 0, 232, -56, -152, -104, 0, -136, 0, -128, 72, 0, -56, 192, -72, -344, 0, 16, -120, 40, -128, 0, 96, -24, -16, 0, 0, -88, 72, -184, 80, 0, -56, 200, -208, -72, 0, 232, 40, -48, 64, 0, 0, 16, 16, 232, 0, 184, -96, -80, -176, 0, 72, -24, -64, -96, 0, 64, 8, 0, 24, 0, -32, 72, 136, 152, 0, 328, 8, 256, 192, 0, 48, -152, 16, -144, 0, -104, 160, -120, -112, 0, 352, -32, 128, -240, 0, 8, -232, -128, -48, 0, -104, 0, -72, -88, 0, -364, -40, -48, -8, 0, -48, -64, 24, 168, 0, -80, 32, 32, 0, 0, -64, 8, -216, 152, 0, 40, 24, -120, 56, 0, 104, 288, -96, -88, 0, 0, 32, -32, 24, 0, -168, -176, -24, -144, 0, 360, -184, 320, -104, 0, -96, -40, 0, 8, 0, 216, -144, -48, 112, 0, 64, 212, -200, -72, 0, -80, -80, -120, 72, 0, 8, -296, 136, -16, 0, 72, -96, 96, -68, 0, -8, -8, -176, 104, 0, -40, 0, -72, 96, 0, 32, 112, 88, 432, 0, -320, 152, -104, 120, 0, 104, -16, -56, 0, 0, 56, -112, -216, -96, 0, 408, -152, 40, 224, 0, 16, -32, 40, 80, 0, 0, -216, -96, 152, 0, 160, -248, -80, -96, 0, 80, 96, -72, 24, 0, 144, 120, 0, -88, 0, 256, 128, -160, 240, 0, -40, 240, 168, 80, 0, -184, 112, -152, -236, 0, -136, 112, 192, 40, 0, -88, 168, -48, 168, 0, 184, 24, -36, -72, 0, -96, 0, 72, 152, 0, -16, 88, -192, 144, 0, -152, -272, -96, 280, 0, -56, 64, -64, 0, 0, 120, 24, 144, -272, 0, -40, 8, -288, 56, 0, 120, -360, -40, 64, 0, 0, -40, -32, -152, 0, -16, 128, -80, 32, 0, -272, 176, 80, -72, 0, 48, -8, 0, -80, 0, 16, 152, 0, 0, 0, -268, -32, 8, 472, 0, -96, 24, 144, 112, 0, -8, 368, -40, -32, 0, -264, -16, -104, 176, 0, -56, -8, 0, 88, 0, -48, 0, 144, -80, 0, -24, -32, 0, -352, 0, -208, -88, -48, -32, 0, 264, 112, -48, 0, 0, 312, -32, -100, -88, 0, -104, -96, -168, -176, 0, -192, 144, 176, -248, 0, 0, -152, 56, 248, 0, 16, -112, -24, 136, 0, 32, 304, -32, -24, 0, -128, 200, 0, 24, 0, -112, -136, 208, -288, 0, -88, 48, -96, 104, 0, -104, -16, 16, -312, 0, -152, 120, -16, 40, 0, 16, -104, 144, -192, 0, -80, 176, -144, 32, 0, 48, 0, 0, 0, 0, -256, -56, 168, 0, 0, 128, 56, 160, 152, 0, -376, -16, -168, 0, 0, 8, 160, -136, 424, 0, -8, 184, -56, -152, 0, 0, -448, 40, 392, 0, 0, -72, -64, -16, 0, 24, -32, 40, 248, 0, -160, -16, -96, 72, 0, -124, -220, 0, -320, 0, -336, -40, -16, -8, 0, 120, -136, -208, 24, 0, -88, 72, 32, -16, 0, -64, -264, -240, -200, 0, 16, -72, 0, -32, 0, -32, -8, -160, -8, 0, -104, 0, -168, 48, 0, -104, 24, 64, -224, 0, -256, 56, 64, -64, 0, 8, -232, -120, 0, 0, -352, 208, -168, 160, 0, -160, 192, -88, -360, 0, -240, 16, -176, -208, 0, 0, -256, 32, -8, 0, -104, 104, 16, -144, 0, 24, -40, -104, -124, 0, 144, -32, 0, 128, 0, -120, -64, 8, 56, 0, -216, 8, 16, -16, 0, -160, 104, -96, 128, 0, 128, 48, 336, -24, 0, -64, -104, -168, 144, 0, -120, 56, 32, -136, 0, -224, 0, 24, -184, 0, 24, 104, 64, -96, 0, -16, 72, -56, 64, 0, 136, 32, -384, 0, 0, -352, -72, 184, 80, 0, -152, -32, -136, 48, 0, -112, 376, -88, -344, 0, 0, 152, -120, 64, 0, 104, 272, 296, 448, 0, 136, -104, 192, -116, 0, -200, -136, 0, -256, 0, -144, 168, -72, 80, 0, -32, 256, 112, -80, 0, -176, 32, -16, -176, 0, 104, -280, -104, 64, 0, 344, 128, 208, -136, 0, -80, -160, 56, -464, 0, -72, 0, 152, 192, 0, 24, -104, 88, -48, 0, -176, -88, 248, -128, 0, -104, -256, 224, 0, 0, -24, 72, 64, 88, 0, 24, 32, -136, -144, 0, 0, 264, -104, 224, 0, 0, 60, 224, 416, 0, -544, 80, -216, 48, 0, -96, 264, 200, 176, 0, -340, 328, 0, -32, 0, -88, -104, 72, -288, 0, -296, 32, 24, -72, 0, 88, -248, -64, 88, 0, 128, 16, 128, 40, 0, 32, -328, 64, -168, 0, -32, 16, -248, 32, 0, -8, 0, -48, -344, 0, -32, 192, 16, 0, 0, 8, -280, -16, -128, 0, 144, -104, 16, 0, 0, 152, -24, -136, -240, 0, 64, 88, 152, -56, 0, 96, -72, 40, -216, 0, 0, 160, 72, -72, 0, -200, -104, 0, 24, 0, -88, 168, -88, 32, 0, 56, -72, 0, -16, 0, 16, -136, -400, -32, 0, 96, -152, 208, 88, 0, -152, 120, 48, 264, 0, 176, 104, -152, -64, 0, -328, -40, -188, -56, 0, -128, 200, -128, 8, 0, -40, 0, 48, 32, 0, -136, -304, 112, -152, 0, 72, 176, -168, -240, 0, 96, 72, -64, 0, 0, -96, -112, -88, 176, 0, 208, -248, 64, 224, 0, 0, 48, 40, 48, 0, 0, -8, -96, -144, 0, -328, 288, 128, -32, 0, -240, -240, -160, -152, 0, -64, -136, 0, -48, 0, -96, 272, -96, -208, 0, 172, -80, 80, 56, 0, -240, 48, -144, 136, 0, -328, -144, -96, -80, 0, -48, 264, -360, 112, 0, -136, 48, -88, -8, 0, -80, 0, 0, 520, 0, -136, -56, 104, 40, 0, -112, 208, 32, 64, 0, 112, 104, 216, 0, 0, -160, -320, 224, -176, 0, -24, -232, -400, -56, 0, -184, -168, -40, 136, 0, 0, 112, 92, -288, 0, -152, -240, -208, -304, 0, -248, 24, 328, 280, 0, 176, 168, 0, 8, 0, -168, 184, -64, -192, 0, 48, -112, -128, -176, 0, 16, -40, 312, -164, 0, -120, -80, 40, 264, 0, -24, 264, 256, 152, 0, 56, 384, 88, 80, 0, -200, 0, -88, 96, 0, 184, -160, -24, 136, 0, 8, 168, 248, -64, 0, 48, -80, -96, 0, 0, -80, -72, -280, 176, 0, -232, 120, 16, 96, 0, -280, -24, -24, -48, 0, 0, -136, 144, -168, 0, 296, 16, -416, -48, 0, 136, 32, 144, -216, 0, -360, -8, 0, 272, 0, 264, 152, 144, 80, 0, -32, 248, -160, -192, 0, 168, -16, -96, 160, 0, -200, 264, 144, -192, 0, 48, -72, 120, -132, 0, -176, 144, 288, -200, 0, 240, 0, -352, -72, 0, 512, -280, 40, 104, 0, 64, -256, 72, -152, 0, 360, 376, 32, 0, 0, 176, -184, -216, -232, 0, -72, -32, 280, -200, 0, 88, 400, -328, 368, 0, 0, -88, -104, -112, 0, 56, 368, 80, -32, 0, 64, -32, -112, 16, 0, 168, -168, 0, 512, 0, -304, 40, 200, 24, 0, 168, 320, 200, -288, 0, 72, 152, 8, -192, 0, 8, -296, 0, -40, 0, 56, -88, 24, 152, 0, 288, -552, -288, -112, 0, -24, 0, 216, 144, 0, -220, 160, 32, -8, 0, 256, -176, -64, -192, 0, -80, 40, -144, 0, 0, 104, 184, 128, -128, 0, 24, -48, -88, 424, 0, -312, -8, -456, -16, 0, 0, 96, -320, 168, 0, 176, -184, 168, 56, 0, 80, -112, 32, 288, 0, -24, 128, 0, 72, 0, 48, -128, 224, 352, 0, -8, -128, 32, -56, 0, -152, 40, 24, -8, 0, 296, -128, -360, 168, 0, -64, 488, -168, 80, 0, -24, -104, 384, 0, 0, 168, 0, 232, -384, 0, -120, -264, 48, -160, 0, 176, 176, 168, 256, 0, -328, 16, -72, 0, 0, 72, -256, -104, -104, 0, 256, 8, 88, -64, 0, -16, -64, 80, 240, 0, 0, 208, 24, 24, 0, 120, 80, -56, -400, 0, -56, -16, 128, 168, 0, 128, 8, 0, -72, 0, 264, -192, 232, 48, 0, -248, 232, 64, -400, 0, 88, 80, -216, 240, 0, 112, 136, 128, -192, 0, 64, -168, -72, -96, 0, -208, 160, 216, 184, 0, 440, 0, -200, 128, 0, 120, -112, -32, 328, 0, -24, 456, -88, 256, 0, -16, 384, 208, 0, 0, -64, 232, 96, 24, 0, -112, -332, 56, 128, 0, 240, 64, 128, 136, 0, 0, 40, 0, -376, 0, 264, 104, 184, 128, 0, -120, -376, 40, -176, 0, 272, -40, 0, -40, 0, 144, 136, -272, 40, 0, -168, 16, -24, 96, 0, 416, -376, -24, -248, 0, 144, 120, 16, 352, 0, -128, -184, 352, 128, 0, 136, 224, -176, -280, 0, 24, 0, -240, 128, 0, 176, 272, -32, -408, 0, -72, -248, -136, 112, 0, 104, -112, 288, 0, 0, -88, 464, -216, 112, 0, 88, 0, -136, 80, 0, 424, 0, 368, 24, 0, 0, 344, 296, 120, 0, 40, -32, 136, 96, 0, -432, 16, 128, 160, 0, 24, 336, 0, 84, 0, -272, -304, -208, -232, 0, 296, -448, -8, 320, 0, 184, 0, 72, 0, 0, -384, 16, 176, -272, 0, -224, 32, -144, -64, 0, -200, -400, -96, 536, 0, 8, 0, -36, -56, 0, -72, 184, -424, -56, 0, 256, -48, 128, -24, 0, -216, -96, -256, 0, 0, 208, 72, 272, 56, 0, -96, 304, 176, 328, 0, 128, -80, 680, -32, 0, 0, 144, -80, 160, 0, 296, 256, 224, -80, 0, 272, 0, -16, 48, 0, -328, -216, 0, -88, 0, 152, 248, -32, 184, 0, 128, 16, -96, 280, 0, 104, -96, 272, -248, 0, 280, 72, 352, 44, 0, -160, -224, 8, 24, 0, 32, 216, -96, 160, 0, 96, 0, 56, -448, 0, 160, -16, 16, 128, 0, 160, 80, 16, -224, 0, -80, 104, 240, 0, 0, 96, -288, 184, -136, 0, 176, 192, 200, -16, 0, -152, -48, 376, -336, 0, 0, 168, -48, -8, 0, -272, -336, 64, 344, 0, 240, -64, -120, -136, 0, -16, 144, 0, -168, 0, -40, 264, 360, 240, 0, -152, 144, 112, 120, 0, -8, 8, -380, 480, 0, 248, 144, -168, 336, 0, 416, 240, 216, -176, 0, -392, -280, 336, 184, 0, -216, 0, 40, -104, 0, 40, 312, 16, 248, 0, 412, -120, -336, 200, 0, 120, -576, 224, 0, 0, -80, -328, 296, -224, 0, 176, -144, 272, -120, 0, -88, -272, -200, 128, 0, 0, -80, 40, 32, 0, -128, 24, 24, -176, 0, 40, -160, -272, 88, 0, 296, 160, 0, -32, 0, 184, 152, -216, 0, 0, 184, -136, -224, -56, 0, 256, 8, 40, 112, 0, -200, -96, 344, -536, 0, -144, 152, 184, -200, 0, 24, -192, 152, 200, 0, 80, 0, 152, 520, 0, -248, 112, -112, 224, 0]