# Trace form for 1815.2.a, downloaded from the LMFDB on 26 December 2025.
[0, 72, 4, -2, 72, 0, -2, 0, 12, 72, 0, 0, -6, 0, 24, -2, 80, 8, 4, -8, 8, -8, 0, 16, 6, 72, 0, -2, -8, 16, 2, 8, 28, 0, 48, 0, 72, 8, 8, -4, 0, 0, 16, 0, 0, 0, -8, 24, 2, 88, 4, -4, 56, 40, -2, 0, 24, -16, 8, 24, -6, 16, -40, 0, 88, 8, 0, -16, -48, 0, 16, 8, 12, 0, -8, -2, -24, 0, 20, 8, 0, 72, 16, -16, 16, -8, -16, 4, 0, 64, 0, -40, 16, -72, -8, -16, 30, -56, -68, 0, 72, 16, 28, -64, -16, 8, 64, -32, -6, 0, 0, -68, -16, 56, 32, -8, 16, 0, -8, -24, 18, 0, -48, 28, 88, 0, 24, 48, 4, -16, 0, 0, 0, -8, -24, -2, 96, 80, 8, -24, 24, 32, 24, 0, 80, 8, 8, -74, 8, 0, -2, 8, 56, 8, 0, 0, -4, 8, 32, 12, 40, 48, 4, -56, 32, 0, 8, 0, 32, 96, 40, -8, -40, 56, 28, 0, 0, -8, -16, 16, 8, 16, 8, -12, -56, 40, -40, 0, 64, -8, 16, 64, -22, -48, 56, 4, 224, 24, 0, 72, 12, -64, -40, 24, -36, 8, 8, 16, 64, 0, 16, -40, -440, 32, -384, -16, 6, 0, -296, 20, 0, 120, -44, -8, -368, 72, -80, -16, -80, 48, -40, 0, -384, 40, 0, 0, 96, 8, -40, 0, -30, 0, 0, -2, 32, 32, -28, -64, -24, -32, 0, -56, -8, 0, -416, 12, 128, 80, 40, -16, 0, 16, 104, -64, 0, 8, 80, 20, -288, 8, 2, 8, -88, -120, -80, 0, 32, -32, 88, 8, 32, 48, -8, -48, -336, 8, 0, 56, 28, 104, 40, 20, -24, 24, -10, -8, 88, 0, 8, -32, -6, 32, -312, 36, 24, 0, 48, 16, 0, 8, 8, 0, -12, -24, 8, 0, 24, 16, 28, 0, 8, -32, -328, -32, 72, 0, 24, 52, -16, 0, 0, -56, 88, 8, 8, 16, -40, -32, 116, 44, -32, 0, 8, 144, -344, 16, 80, 32, -20, 16, 24, -4, 0, 16, 16, 24, 168, 48, 96, -32, 0, 128, 48, 0, -240, 8, 44, -248, -264, 0, -16, -112, -240, 48, 0, -2, 24, 96, 16, -128, -64, 8, 0, 128, 30, 0, 88, 0, -288, 64, -28, 0, -28, -56, -344, -32, 0, 8, -128, -248, 80, 88, -16, 16, 64, 0, -96, 0, 92, -32, -24, 36, -208, -80, -8, -8, -32, -64, 0, 24, 0, 64, -352, 24, 16, 8, 40, -176, -152, 0, 72, -32, 2, 32, 32, 12, 0, -160, -84, 24, 0, 88, -72, 56, -228, 40, 24, 84, -40, 72, 4, 0, -208, 24, -192, -16, -104, 0, -72, -4, -240, 16, 0, -160, -32, -16, -184, -16, 56, -16, 56, 20, 56, 0, -248, -8, 120, 40, 136, -16, 18, 80, 32, 80, 0, -8, -2, 112, 72, 40, -24, -96, 52, 8, 80, 0, -8, 48, -16, 120, 8, -8, 24, 16, 24, 24, 0, -238, 56, 40, -188, 0, -60, -16, -32, 72, -104, 0, -320, 20, 16, 176, 8, 16, -144, -8, -48, 96, 0, 144, -40, 24, -104, 64, -28, 40, -136, 56, 168, 0, -6, -16, 104, 4, 112, -16, 8, 0, 456, 16, 0, 80, -8, 56, -416, -4, -88, -24, -40, -136, -80, 0, 120, -96, -216, 24, 120, 0, -40, 112, -32, -24, 0, 72, 0, 16, 88, 112, 36, -12, -24, 0, -4, 0, 112, 8, -128, 120, -246, 112, 56, 36, -256, -40, 0, 40, 176, -104, 376, 168, 6, -16, -8, -16, -168, 0, -4, 16, 384, 32, -200, 112, -48, -80, 152, 20, 0, 168, 72, -144, 64, 0, -152, 32, 68, 72, 136, 0, 200, 32, 16, 104, -280, 16, -48, 32, -44, -160, 0, 8, 24, 184, 32, 40, 80, 16, 208, 48, 12, 0, 0, 0, 40, 8, 52, 16, 144, 0, 160, 48, 0, 144, 88, 48, -216, 64, -8, 80, 120, 40, 8, 0, 88, -16, -168, -2, 280, -40, 20, 48, 152, -112, 0, 96, -24, 0, 248, -284, 16, 64, -56, 32, -32, 0, -120, -48, 124, 144, 280, -36, -8, -64, 20, 176, 0, 24, 80, 224, 104, 48, -72, 8, -112, 312, -8, 0, 280, 16, -360, 200, 0, 16, 84, -100, -32, 16, 0, 152, -136, 72, 40, 32, -52, 96, -168, -34, -40, 0, 16, 40, 80, -8, 152, -128, -24, -8, 64, -16, 0, 88, 2, 72, 264, 0, 16, 0, 16, 144, -144, 0, -104, 160, 184, -280, -288, -8, 24, 32, -78, -16, 0, 36, -136, 88, -16, 8, 184, 0, -24, 168, 68, 0, 272, 4, 456, 16, 96, -80, -64, 40, -24, 112, 0, -24, -40, -4, 8, 136, 112, -144, 28, 64, -32, 0, -224, 80, 216, -4, 216, 112, 0, -8, -288, 72, 0, 56, -140, -72, 232, -40, 72, 0, 4, -48, 120, 0, 240, -96, 16, 128, 72, -52, 104, 248, -128, -8, 0, -72, -96, 56, 40, 320, -16, -20, 8, 112, -8, 0, -704, -96, 48, -632, 120, -48, 16, -16, -424, 88, 0, 64, -88, 80, -104, -608, 30, 8, -168, 26, 128, 0, 20, -128, -656, -56, -32, 0, 84, 16, 488, 20, 0, 280, -68, -720, 392, 16, 88, -96, -76, 112, -88, 0, 40, -64, 4, -16, -584, -32, 16, 16, 72, -96, 0, -8, -96, 64, 64, 32, -56, 16, -40, -824, -32, 0, -96, 20, 200, 88, 28, -56, 40, 48, 304, -224, 0, 8, 24, -64, -600, 248, 8, -24, 0, -40, -24, 0, -16, 48, 272, -236, 32, -48, -92, -80, 208, 8, 0, -672, 120, 280, 8, 36, 152, 120, 64, 8, 48, 0, 328, 96, -206, 184, 208, -32, 48, 40, 264, -48, 0, 88, 0, 128, -6, 48, -200, -4, 176, 112, 80, 0, 72, 0, 432, 120, 20, -24, -32, 32, -104, -48, 0, -680, 24, 72, 432, -32, 24, -48, 128, -68, 0]