# Trace form for 416.2.bf.a, downloaded from the LMFDB on 03 March 2026.
[0, 192, 0, 0, 0, 0, 0, 0, 0, 0, -16, 0, -16, 0, 0, 0, -40, 0, -40, 0, 0, 0, -8, -16, 24, 0, 0, 0, 0, 0, 80, -48, 0, 0, 0, -48, 80, 0, -56, 0, -64, 0, 0, -16, -80, 0, 0, 0, 0, 0, 24, 32, 0, -32, -24, 32, 16, 0, -64, 0, -56, -64, 24, 80, 72, 0, 96, 80, -32, -64, 0, 0, -120, 0, -32, 32, 64, -32, 0, 0, -56, 0, -80, -80, 112, 0, 0, -112, -88, 0, -120, 0, 144, 0, 40, 0, 136, 0, 56, 0, -24, 0, 56, 0, 0, 0, 0, -96, -64, 32, 168, 0, -56, 0, -112, -32, 64, 0, -120, 0, 168, -64, 16, 160, -104, 96, -232, 0, -56, 0, -64, 0, 0, 96, -32, 160, 72, -64, 88, -32, -208, 0, 48, 0, 64, 0, 56, -48, -80, 32, -152, -112, -80, 0, 120, -112, -80, 0, 40, 0, 104, 0, -32, 0, -120, 0, -112, -112, 176, 0, 88, -16, 96, 0, -192, 0, 200, 0, 64, 80, -72, -64, 0, 144, 64, 0, 16, 0, 104, -160, 80, 0, -112, 0, 88, 0, 64, -160, 256, 0, 32, 0, 96, 176, 80, -64, 112, 0, 0, 0, 440, 16, -80, 0, 216, 112, 120, 0, -40, -224, 104, 0, -64, -112, -112, -192, 24, -64, -256, 64, -176, -224, -88, 64, 0, 128, 184, 64, -144, 0, 384, 0, 128, -80, -120, 0, 56, 0, 72, 128, -72, 48, 80, 160, -256, 192, -232, 0, -408, 112, 0, 160, 288, -112, -184, 128, 128, -176, 128, 0, 40, 0, 224, 0, -24, -128, 48, 64, 8, 128, 64, 64, -152, -240, -208, 64, 0, 96, 200, -192, 280, 0, -128, -96, 208, -128, 216, 0, 184, 0, -80, 0, -32, 0, -304, 0, 112, 176, 288, -224, -64, -176, 0, 0, 144, -160, 104, 0, -344, 0, -24, 0, 336, 160, -144, 0, -24, 0, -256, 0, -288, 0, -200, -224, 184, 0, 56, 0, 8, 240, -104, 0, -144, -192, -376, 0, 104, -16, 440, -32, -240, -128, 184, 0, -288, -80, 192, 160, 16, 96, 104, -128, 168, -192, 120, 224, -72, 0, -312, 0, -224, -176, -200, 0, 272, 304, 24, 0, -80, 192, -128, 0, 248, 272, -112, 0, 72, 192, -64, 0, 16, 144, -40, 0, -88, 304, -328, 0, -80, 0, -88, 0, -368, 0, 160, 224, -536, 16, 120, -128, -80, 224, 0, 64, 128, 0, 0, 0, -376, 112, 208, -96, -264, 240, -280, 0, -336, 192, -256, 0, -216, 0, -280, 0, -296, 0, 128, 0, 248, 208, -72, 0, 0, -208, -280, -256, 248, 224, -384, 0, -352, 32, 72, -256, -200, 0, 48, 0, 112, -64, -104, 0, 32, 0, 256, 0, 256, -336, 0, 32, 0, 144, 152, 64, -176, 352, -208, 0, 128, -176, -160, 0, 304, -400, 136, -96, 208, 128, -184, 0, 40, -144, 448, 0, 0, 0, -96, 0, -192, 80, 168, 320, -104, -192, -456, 192, 152, 0, 32, 0, 496, -384, 216, 128, 8, -160, -40, 0, -88, -352, -64, 192, -160, -160, -200, 320, 424, 0, -560, 0, -704, 416, -8, 0, 16, 128, 240, 0, 72, 128, -192, -160, -192, 0, 120, 0, -208, 240, 192, 160, 200, -112, 688, 64, -216, 272, -576, -288, 72, 0, -280, 0, 216, 176, -368, -256, -72, 0, -296, 0, -168, 32, -136, -160, 248, -320, 280, 0, 432, -464, 264, -160, -448, 272, 240, 0, -24, 304, 544, -256, -384, 0, -80, 0, -56, 0, 144, -256, -88, 32, 720, -128, 352, 240, 472, 0, 120, 256, 112, 0, 464, 0, -72, 96, 192, 224, -112, -192, 320, 0, 120, 256, 80, 0, 0, 0, 232, -16, -72, 224, 896, -112, 328, -128, 232, 208, 488, 0, 120, -208, 472, 0, 136, -48, -80, 0, -280, 160, -112, -128, 0, -592, 528, 192, -176, 0, 640, 0, 296, 240, 32, 256, 424, 0, -80, -192, 480, 0, 272, 256, -168, -480, -512, 0, -336, 48, 0, 0, 432, 336, 184, -128, 120, 112, 416, -160, 184, 0, 184, 0, -56, -128, -344, -352, -296, -416, 152, 0, -576, 192, -664, -224, 0, -448, 296, 0, -8, -272, -384, -224, 408, 112, 288, 0, 256, 32, -200, -352, -496, 0, -368, 0, 64, -32, 160, 0, -416, 320, 176, 0, -64, 224, 136, 256, -656, 512, 40, -128, 1000, -288, 200, 160, -240, 128, -464, 128, -304, -112, 160, 352, 496, 0, -40, 0, 128, -368, 8, -32, 72, 32, -856, 320, 440, 112, 552, 0, -464, 176, -16, 0, -816, -48, 112, 0, -96, -16, 304, 320, 24, 336, 216, -64, -344, 0, -192, 0, -552, 64, 168, 352, 760, -256, -632, 128, -416, -512, -400, 160, 544, -256, -136, -128, -8, 144, 32, 256, 112, -384, -544, 0, -64, -176, -544, 224, -304, 0, 384, 0, -208, 80, -48, 0, -704, -208, 248, 0, 64, -208, -56, 0, 240, 0, 0, 0, -800, -336, 176, 0, -672, -384, -464, -64, 72, -464, -336, 0, 56, 0, -256, 0, -32, -112, -88, 0, 552, -480, 464, -192, 0, 352, -904, 160, 296, -336, -1168, 0, -424, 144, -72, 224, -536, 0, 64, -320, -24, -288, 8, 0, 184, 0, 504, 0, 960, 176, 0, 384, -608, -272, -96, 0, -224, -656, -408, 224, -104, -416, -584, 0, -24, 256, 256, 160, 200, -224, 544, 0, 80, -64, 424, 224, 0, 0, -200, 0, 176, -256, -32, -320, -336, -144, -488, -320, -96, 0, 0, 224, 48, 960, 120, 0, -432, 240, -208, 160, 408, 624, -120, -192, -160, 432, -8, -448, 848, 0, 128, 0, -1016, -112, 728, 0, -48, -240, 528, -64, 240, -176, -104, -480, -40, 0, -40, 192, -128, -432, -120, -384, 40, 144, 520, 128, -40, -288, -1120, 0, 624, 0, -8, 0, 848, 96, -128, -192, -56, 480, -576, 128, -176, 208, -192, 224, 296, 576, 472, 0, 640, 736, 320, 0, -656, -656, 488]