# Trace form for 2394.2.f.b, downloaded from the LMFDB on 19 April 2024.
[0, 24, 0, 0, -24, 0, 0, 4, 0, 0, 0, 0, 0, 0, 4, 0, 24, -32, 0, 0, 0, 0, -8, 0, 0, 16, 0, 0, -4, 0, 0, 0, 0, 0, 0, 24, 0, 0, -24, 0, 0, 8, 0, 16, 0, 0, -8, 0, 0, -16, 0, 0, 0, 0, 0, 0, -4, 0, 16, -16, 0, 0, 16, 0, -24, 0, 0, -24, 32, 0, -16, 0, 0, 0, 0, 0, 0, -8, 0, -40, 0, 0, 0, 64, 0, 40, 0, 0, 8, 64, 0, 8, 0, 0, 0, 0, 0, 0, 16, 0, -16, -64, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 4, 0, 0, 0, 0, 0, 0, 64, 0, 0, -56, 0, 0, 48, 0, -40, 0, 0, 32, 112, 0, 4, 0, 0, 0, 0, 0, 0, -24, 0, 24, -144, 0, 0, 32, 0, 0, 0, 0, 24, 24, 0, -8, 0, 0, 0, 0, 0, 0, -48, 0, -72, -8, 0, 0, -32, 0, -48, 0, 0, -16, 48, 0, 68, 0, 0, 0, 0, 0, 0, 64, 0, 8, -176, 0, 0, 0, 0, 0, 0, 0, 48, 48, 0, 16, 0, 0, 0, 0, 0, 0, -8, 0, 112, -80, 0, 0, -8, 0, 24, 0, 0, -8, 128, 0, -24, 0, 0, 0, 0, 0, 0, 4, 0, -32, -112, 0, 0, 8, 0, -16, 0, 0, -40, 16, 0, 24, 0, 0, 0, 0, 0, 0, 112, 0, 0, -16, 0, 0, 16, 0, 24, 0, 0, 24, 128, 0, -64, 0, 0, 0, 0, 0, 0, -4, 0, 24, -232, 0, 0, -32, 0, -32, 0, 0, -48, 32, 0, 16, 0, 0, 0, 0, 0, 0, 24, 0, -32, -144, 0, 0, -72, 0, -32, 0, 0, -32, 144, 0, -48, 0, 0, 0, 0, 0, 0, 8, 0, 0, -80, 0, 0, 56, 0, 40, 0, 0, 112, 0, 0, 16, 0, 0, 0, 0, 0, 0, 32, 0, -24, -64, 0, 0, -128, 0, 0, 0, 0, -40, 272, 0, 76, 0, 0, 0, 0, 0, 0, 76, 0, -8, -128, 0, 0, -64, 0, 24, 0, 0, -24, -64, 0, -8, 0, 0, 0, 0, 0, 0, 200, 0, 16, 8, 0, 0, 224, 0, -72, 0, 0, -56, 0, 0, -64, 0, 0, 0, 0, 0, 0, -16, 0, -96, -336, 0, 0, -32, 0, 16, 0, 0, 80, 64, 0, 24, 0, 0, 0, 0, 0, 0, 64, 0, -8, 0, 0, 0, -80, 0, 32, 0, 0, 0, -128, 0, -64, 0, 0, 0, 0, 0, 0, 104, 0, 0, -8, 0, 0, -8, 0, 96, 0, 0, 16, 48, 0, -4, 0, 0, 0, 0, 0, 0, 16, 0, 56, -88, 0, 0, -16, 0, -112, 0, 0, -64, 192, 0, 64, 0, 0, 0, 0, 0, 0, -64, 0, -40, -208, 0, 0, 16, 0, 0, 0, 0, 120, 56, 0, 16, 0, 0, 0, 0, 0, 0, 248, 0, 72, -48, 0, 0, 16, 0, 184, 0, 0, 40, 128, 0, 0, 0, 0, 0, 0, 0, 0, 96, 0, -32, -232, 0, 0, -112, 0, -120, 0, 0, 80, 160, 0, -4, 0, 0, 0, 0, 0, 0, 128, 0, -72, -72, 0, 0, -304, 0, -168, 0, 0, 24, 16, 0, -40, 0, 0, 0, 0, 0, 0, 24, 0, -32, -112, 0, 0, 64, 0, -24, 0, 0, -192, 144, 0, -48, 0, 0, 0, 0, 0, 0, 72, 0, 112, -32, 0, 0, -96, 0, 16, 0, 0, 0, 128, 0, 40, 0, 0, 0, 0, 0, 0, 48, 0, -24, -160, 0, 0, -24, 0, -32, 0, 0, -176, -32, 0, 8, 0, 0, 0, 0, 0, 0, 216, 0, 48, -88, 0, 0, -32, 0, 104, 0, 0, 0, 48, 0, 80, 0, 0, 0, 0, 0, 0, 48, 0, 32, -208, 0, 0, 16, 0, 72, 0, 0, -24, 8, 0, 32, 0, 0, 0, 0, 0, 0, -16, 0, 48, 32, 0, 0, -192, 0, 128, 0, 0, 48, 16, 0, -96, 0, 0, 0, 0, 0, 0, 116, 0, 16, -144, 0, 0, -48, 0, 104, 0, 0, 144, 0, 0, -68, 0, 0, 0, 0, 0, 0, 136, 0, 72, -144, 0, 0, -128, 0, 80, 0, 0, 24, 192, 0, -40, 0, 0, 0, 0, 0, 0, -64, 0, 176, -16, 0, 0, -184, 0, -8, 0, 0, -24, 176, 0, 56, 0, 0, 0, 0, 0, 0, 328, 0, 56, 0, 0, 0, -32, 0, -32, 0, 0, 0, 160, 0, 48, 0, 0, 0, 0, 0, 0, 24, 0, -48, -320, 0, 0, -48, 0, 48, 0, 0, -144, -88, 0, -16, 0, 0, 0, 0, 0, 0, -72, 0, -192, -144, 0, 0, -248, 0, -136, 0, 0, 80, -272, 0, 96, 0, 0, 0, 0, 0, 0, 8, 0, 16, 16, 0, 0, 112, 0, -112, 0, 0, -216, 80, 0, -48, 0, 0, 0, 0, 0, 0, 224, 0, -128, 8, 0, 0, -64, 0, 56, 0, 0, -24, 432, 0, -44, 0, 0, 0, 0, 0, 0, 40, 0, 8, -80, 0, 0, -128, 0, 56, 0, 0, -144, -64, 0, 24, 0, 0, 0, 0, 0, 0, 336, 0, -240, 32, 0, 0, 48, 0, 8, 0, 0, 40, 272, 0, 40, 0, 0, 0, 0, 0, 0, -4, 0, 160, -240, 0, 0, -192, 0, 32, 0, 0, 168, 112, 0, 64, 0, 0, 0, 0, 0, 0, 104, 0, 88, -8, 0, 0, -240, 0, -96, 0, 0, 16, 0, 0, 16, 0, 0, 0, 0, 0, 0, 240, 0, 40, -48, 0, 0, -16, 0, -128, 0, 0, -112, -16, 0, -24, 0, 0, 0, 0, 0, 0, 176, 0, -72, -176, 0, 0, -64, 0, 8, 0, 0, -96, 272, 0, 96, 0, 0, 0, 0, 0, 0, -112, 0, -8, 48, 0, 0, -32, 0, 0, 0, 0, 456, 16, 0, 32, 0, 0, 0, 0, 0, 0, 112, 0, 0, -16, 0, 0, 0, 0, -48, 0, 0, -24, 144, 0, 0, 0, 0, 0, 0, 0, 0, 128, 0, -24, -88, 0, 0, -128, 0, -256, 0, 0, -16, 88, 0, 64, 0, 0, 0, 0, 0, 0, -184, 0, 8, 32, 0, 0, -368, 0, -120, 0, 0, 64, -32, 0, -232, 0, 0, 0, 0, 0, 0, 4, 0, 160, -160, 0, 0, 80, 0, -24, 0, 0, 208, 232, 0, -88, 0, 0, 0, 0, 0, 0, 80, 0, -160, 32, 0, 0, -64, 0, 16, 0, 0, 32, 112, 0, -256, 0, 0, 0, 0, 0, 0, 8, 0, 48, -160, 0, 0, -32, 0, 176, 0, 0, 64, -192, 0, -16, 0, 0, 0, 0, 0, 0, 288, 0, -80, -80, 0, 0, 208, 0, 96, 0, 0, -80, 272, 0, 152, 0, 0, 0, 0, 0, 0, -24, 0, 8, -160, 0, 0, 168, 0, 32, 0, 0, -56, 144, 0, -40, 0, 0, 0, 0, 0, 0, -32, 0, -8, 72, 0, 0, -208, 0, 48, 0, 0, 32, -104, 0, 4, 0, 0, 0, 0, 0, 0, 208, 0, 32, 336, 0, 0, -144, 0, 32, 0, 0, 112, -176, 0, 48, 0, 0, 0, 0, 0, 0, -72, 0, -144, -192, 0, 0, -32, 0, 80, 0, 0, -120, 80, 0, 8, 0, 0, 0, 0, 0, 0, -8, 0, -128, 32, 0, 0, -8, 0, 0, 0, 0, -272, 80, 0, -72, 0, 0, 0, 0, 0, 0, 104, 0, 120, -56, 0, 0, 336, 0, -56, 0, 0, -40, 160, 0, 104, 0, 0, 0, 0, 0, 0, 96, 0, -112, -320, 0, 0, 0, 0, 64, 0, 0, 160, 8, 0, -16, 0, 0, 0, 0, 0, 0, -160, 0, -8, 0, 0, 0, -160, 0, 112, 0, 0, 160, -288, 0, 256, 0, 0, 0, 0, 0, 0, -32, 0, -144, -144, 0, 0, 304, 0, 24, 0, 0, -64, 64, 0, -24, 0, 0, 0, 0, 0, 0, 176, 0, 32, 128, 0, 0, -16, 0, -160, 0, 0, 0, 24, 0, -24, 0, 0, 0, 0, 0, 0, 24, 0, 40, 80, 0, 0, -272, 0, -32, 0, 0, -168, -232, 0, -76, 0, 0, 0, 0, 0, 0, 200, 0, 48, 160, 0, 0, 208, 0, 32, 0, 0, 208, 240, 0, 88, 0, 0, 0, 0, 0, 0, -76, 0, -112, -240, 0, 0, 0, 0, 8, 0, 0, -328, 128, 0, -80, 0, 0, 0, 0, 0, 0, -352, 0, 264, 64, 0, 0, -176, 0, -176, 0, 0, -24, -152, 0, 64, 0, 0, 0, 0, 0, 0, 120, 0, 24, -256, 0, 0, 64, 0, -80, 0, 0, -104, -168, 0, 8, 0, 0, 0, 0, 0, 0, -8, 0, -64, -208, 0, 0, -208, 0, 120, 0, 0, 64, 448, 0, 48, 0, 0, 0, 0, 0, 0, -200, 0, 144, 176, 0, 0, 136, 0, -16, 0, 0, -224, -8, 0, -64, 0, 0, 0, 0, 0, 0, 240, 0, 344, -224, 0, 0, 336, 0, -32, 0, 0, 72, -288, 0, -112, 0, 0, 0, 0, 0, 0, 80, 0, 56, -352, 0, 0, 0, 0, 32, 0, 0, 192, -104, 0, 64, 0, 0, 0, 0, 0, 0, -112, 0, 336, -64, 0, 0, 24, 0, 280, 0, 0, -8, -112, 0, -168, 0, 0, 0, 0, 0, 0, 16, 0, -416, 112, 0, 0, 224, 0, 96, 0, 0, -88, 336, 0, -40, 0, 0, 0, 0, 0, 0, 80, 0, -240, 32, 0, 0, -224, 0, 40, 0, 0, -16, 272, 0, 160, 0, 0, 0, 0, 0, 0, -152, 0, -80, 336, 0, 0, -64, 0, 0, 0, 0, -200, -48, 0, -24, 0, 0, 0, 0, 0, 0, 144, 0, 96, -16, 0, 0, 216, 0, 88, 0, 0, -112, 48, 0, -280, 0, 0, 0, 0, 0, 0, -64, 0, 104, -480, 0, 0, 128, 0, 8, 0, 0, -312, 0, 0, 64, 0, 0, 0, 0, 0, 0, -304, 0, -104, 80, 0, 0, -128, 0, 152, 0, 0, -32, -96, 0, 144, 0, 0, 0, 0, 0, 0, 268, 0, 0, -48, 0, 0, 128, 0, 144, 0, 0, 352, 48, 0, 64, 0, 0, 0, 0, 0, 0, -24, 0, 440, -72, 0, 0, -176, 0, -264, 0, 0, 320, -208, 0, 64, 0, 0, 0, 0, 0, 0, -104, 0, 96, -64, 0, 0, -104, 0, 0, 0, 0, 200, 8, 0, -32, 0, 0, 0, 0, 0, 0, 216, 0, -120, 8, 0, 0, 368, 0, -344, 0, 0, -96, 112, 0, 8, 0, 0, 0, 0, 0, 0, -56, 0, -16, 56, 0, 0, -48, 0, 0, 0, 0, 480, -32, 0, 4, 0, 0, 0, 0, 0, 0, -152, 0, -144, 16, 0, 0, 0, 0, 80, 0, 0, -16, -80, 0, 176, 0, 0, 0, 0, 0, 0, -16, 0, -32, 16, 0, 0, 200, 0, -56, 0, 0, -264, 88, 0, 120, 0, 0, 0, 0, 0, 0, -320, 0, 48, 16, 0, 0, 336, 0, -8, 0, 0, 112, 224, 0, -576, 0, 0, 0, 0, 0, 0, 16, 0, 64, 144, 0, 0, -192, 0, 80, 0, 0, 56, -144, 0, -64, 0, 0, 0, 0, 0, 0, -40, 0, -192, 144, 0, 0, 664, 0, -96, 0, 0, -56, 128, 0, -128, 0, 0, 0, 0, 0, 0, 64, 0, -160, -240, 0, 0, -40, 0, 40, 0, 0, 80, 208, 0, 64, 0, 0, 0, 0, 0, 0, -328, 0, -112, -16, 0, 0, -176, 0, 64, 0, 0, 0, -584, 0, 176, 0, 0, 0, 0, 0, 0, 16, 0, -120, 64, 0, 0, -56, 0, 96, 0, 0, -80, -320, 0, -16, 0, 0, 0, 0, 0, 0, 104, 0, -144, -168, 0, 0, -240, 0, 24, 0, 0, -48, -80, 0, -56, 0, 0, 0, 0, 0, 0, -248, 0, -80, 432, 0, 0, 104, 0, -72, 0, 0, -80, 48]