# Trace form for 1824.2.db, downloaded from the LMFDB on 19 September 2025.
[0, 1280, 0, 0, 0, 0, 0, 0, 0, 0, -8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 16, 0, -80, 0, -80, 0, 0, -192, -80, 0, 40, 96, 0, 0, 80, 0, 40, 0, 0, 0, 0, 0, 64, 0, 0, 0, 96, 16, -32, 0, 8, 0, 0, 0, 0, 0, -96, 64, -48, 0, -48, 0, -96, 0, 208, -128, 48, 0, 0, 0, 0, 0, 56, 0, 0, 0, -128, 0, -80, 0, 0, 0, 128, 0, -80, 0, 0, 0, 0, 0, -320, 0, 0, 0, -8, 0, 24, 0, 0, 0, 0, 0, -208, 0, 0, 0, -64, 0, 0, 0, 56, -224, 240, 0, 0, 80, 64, 0, 0, 0, 72, -192, 48, -160, 112, 0, 0, 80, 0, -96, -112, 0, 8, 0, 0, 80, 0, 0, 24, 0, 0, 0, -112, 0, -72, 0, 0, 32, 296, 0, -176, -112, 0, 0, 0, 0, 0, 0, 0, 0, 224, 0, -72, 224, 88, 0, -256, -32, 288, 0, 64, 0, 112, 0, -224, 160, 24, 0, -496, 0, 48, 0, -56, -128, 128, 0, 368, 0, 0, 0, -104, 0, -192, 0, -160, 64, 240, 0, -16, 160, 0, 0, 112, 0, 640, 0, 224, 0, 0, 0, -288, 0, 0, 0, -120, 0, 80, 0, 0, 224, 24, 640, 272, -544, 128, -64, 64, 0, -104, 0, 0, -32, -144, 0, 0, 0, -144, 0, -248, 0, 160, 0, -128, 272, -256, 64, -128, -96, 0, 0, -256, 384, -72, 0, 0, -192, 128, 0, 0, -96, 0, -128, 440, -192, -216, 0, 0, 0, -40, 0, 16, 0, -48, 0, -48, 16, -272, 0, -112, -48, -608, 64, 96, 96, -40, 640, -296, 0, 144, 192, -112, 64, -320, 0, 32, 0, -96, 0, -96, 0, -248, 0, -8, 0, -144, 0, -184, 512, -352, 0, 72, 0, -704, -160, -32, -320, -56, 0, -272, -80, 0, -160, 24, -64, -480, 0, -352, -64, -104, 0, -416, 0, -48, 0, -312, -80, 0, 0, 0, 0, 120, 0, 320, -224, 72, -448, -672, 0, -32, 0, 0, 48, 216, 0, 8, 0, -112, 64, -160, 0, 240, 0, -48, 0, 368, 0, 352, 0, 64, 0, -184, -96, 0, 0, 0, 512, -16, 0, -240, -160, 168, 0, -32, 0, -64, 0, 0, -384, -544, 0, -416, -128, 0, 0, 352, 0, -352, 0, 288, 80, 32, 0, -144, 0, -128, 128, 720, 0, 0, -96, 0, 0, 24, 0, -304, -224, 0, -64, 280, 48, -128, 0, 0, 0, -440, 0, -128, 0, 0, 0, -128, -128, 128, 160, -496, 256, 8, 0, 184, 336, 256, 0, -160, -224, 672, 0, 0, 176, 408, 0, -264, -480, -176, 0, 192, 0, 152, -160, 304, 0, 704, 0, -224, 0, 80, 0, 192, 0, 176, 0, -176, -32, -592, 0, -256, 224, 112, 0, 224, 0, -120, -128, 0, 256, -176, 0, 192, 0, -168, -320, -800, 0, 256, 0, 0, 112, 288, 0, 1168, 32, 0, -384, 352, -64, 400, 160, 208, 384, -288, 0, -480, -160, -112, 160, 184, 192, 128, 768, -24, -224, -288, 0, 208, 0, 0, 0, -656, 0, -544, -320, 112, 16, 360, 0, -144, 448, 16, 160, -288, 0, 512, 0, 0, 112, 240, 0, -352, -560, -416, 0, 0, 0, 256, 0, -32, 0, 288, 0, 128, -320, 104, -32, 64, 0, -176, 0, 416, 0, 352, 0, 544, -320, -64, 0, -112, -96, 16, 0, 0, -304, 96, 0, 320, 48, 0, 32, -96, 0, 152, 0, 0, -256, 1184, 0, 280, -128, 0, -256, -264, -96, 480, -320, -144, -832, 928, 0, 296, -208, 112, 0, -104, -256, 1824, 384, -96, -544, 2016, -64, -304, 0, -352, 0, 688, 352, 320, 224, 0, 80, 176, 0, -384, -960, -240, 0, 1168, 0, -168, 0, 160, -272, 144, 0, 720, -192, 24, 0, -376, 0, -120, -448, 0, 0, 328, 0, 1136, -512, -288, 32, -784, 0, -176, -384, -96, 128, -72, 0, 72, 0, -16, 0, 176, 0, 368, 960, -192, 128, 184, 128, -56, -256, 112, -896, 112, 0, -888, 0, -88, 320, 432, 0, 192, -320, 0, 0, 40, -96, 48, 0, 0, 224, -176, 0, -488, -224, 136, 0, 208, 0, 40, 0, -96, -960, -336, 0, -208, 0, 64, 0, -48, 192, 32, 448, -72, 48, -272, 0, -256, 224, 288, 320, -176, 288, -48, 0, -40, -144, -160, 0, 816, 0, 0, 0, 192, -80, -576, 0, 0, 0, -1440, 0, 8, 80, 96, 128, 840, 0, 968, 0, 0, -48, -200, 0, -472, 0, 0, -128, 880, 224, -48, 0, 0, -480, -808, 0, 432, -528, 192, -256, 208, 0, 8, 0, -320, 128, 272, 0, -608, 480, -64, 0, 672, 128, 704, -640, 40, 0, -136, 0, -272, -416, 0, 0, -1040, 0, 400, 0, 48, -416, -560, -128, -352, 0, 672, 0, 736, 0, 272, 0, -128, 576, -48, 0, -32, 0, 80, 0, -704, -448, 16, 0, 360, 896, -136, 0, -408, -240, -160, 0, 96, 0, -1360, 0, -48, 0, 176, 0, -496, 240, 384, 32, 800, -80, 976, 384, -192, -448, -696, 0, -224, -832, 0, 0, 512, 0, -656, 320, 72, 128, 1008, 0, -584, 960, -80, 0, -808, 0, 432, 0, -80, 128, 120, 0, -608, -272, -320, 0, 520, 0, -592, -224, 0, -512, -256, 0, -616, 480, 320, -384, 64, -192, -112, 0, 136, 96, -592, 0, 272, 0, 0, 0, -688, 0, -600, 0, -64, -960, -1264, 0, 80, 0, -144, 0, 448, 160, 560, 0, 0, -224, 992, 0, 152, -560, 48, -192, 1728, 256, 512, 160, -416, 0, 608, 0, -760, 0, 0, 384, -952, 0, -480, 0, 96, 384, 120, 0, -944, 448, 160, 1280, -2000, 0, 560, 96, -192, 64, 608, -64, 256, -368, 0, -192, 128, 0, 48, 0, 96, 432, -528, -64, 672, -256, 64, 0, 136, 0, -416, 0, -160, 832, 776, 128, 48, 544, 0, 0, -664, 0, -912]