# Trace form for 9405.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 300, 0, 0, 300, -4, 0, 0, -24, 0, 0, 0, 0, 0, -40, 0, 308, 0, 0, 0, -4, 0, 0, -24, 0, 300, -16, 0, 0, -16, 0, 8, -88, 0, 8, 8, 0, 0, -12, 0, 0, 8, 0, -24, 8, 0, -8, -48, 0, 340, 0, 0, 72, 16, 0, 8, -80, 0, 48, 8, 0, 40, 16, 0, 412, 8, 0, -24, -16, 0, 32, 40, 0, -16, 16, 0, 0, -8, 0, -8, -12, 0, 112, -40, 0, 8, 0, 0, 0, -40, 0, 16, 48, 0, 152, 0, 0, -40, 104, 0, 300, -120, 0, -24, 72, 0, 56, 64, 0, -8, 0, 0, 192, -48, 0, 24, 8, 0, 168, 0, 0, 300, 104, 0, 120, -4, 0, -16, -120, 0, 16, 56, 0, 8, 120, 0, 104, -64, 0, 8, 32, 0, -72, 0, 0, 8, 24, 0, 96, -8, 0, 8, -12, 0, 8, 48, 0, -24, 72, 0, 0, -40, 0, 48, -96, 0, -160, -152, 0, 220, 8, 0, -112, -136, 0, 0, 16, 0, -136, 88, 0, 48, 64, 0, 152, 8, 0, 8, 48, 0, 4, -8, 0, -112, 48, 0, 444, -168, 0, 16, -24, 0, 16, 0, 0, 72, 56, 0, -48, 0, 0, 72, 240, 0, -192, 48, 0, -120, -192, 0, 16, 8, 0, 160, -104, 0, 8, -64, 0, 8, 8, 0, -40, -8, 0, -16, 96, 0, 48, -8, 0, 72, 0, 0, 48, -4, 0, 16, 248, 0, 0, 216, 0, 8, -48, 0, 340, 16, 0, 8, -88, 0, 56, 48, 0, 8, 0, 0, -240, -88, 0, 88, 40, 0, -112, 0, 0, -104, 32, 0, 96, -96, 0, -64, -56, 0, -56, 72, 0, 172, -88, 0, -24, 16, 0, 0, -128, 0, -296, -80, 0, 144, -160, 0, 0, -72, 0, 128, -16, 0, -32, -16, 0, 0, 144, 0, 48, -88, 0, 8, 28, 0, -352, -32, 0, 0, 96, 0, 176, 64, 0, -120, -72, 0, -176, 40, 0, -112, 48, 0, -80, 32, 0, 48, -120, 0, -192, 48, 0, 80, -40, 0, 0, 176, 0, -16, 224, 0, -136, -24, 0, 300, -16, 0, 0, -16, 0, 80, 216, 0, -64, 88, 0, -192, 24, 0, -64, -8, 0, -24, 0, 0, 80, 16, 0, 8, -200, 0, -184, -168, 0, 72, 360, 0, 40, 32, 0, -40, 552, 0, 308, 64, 0, 312, -192, 0, -96, 16, 0, -40, 32, 0, -40, -104, 0, 16, 432, 0, 8, -8, 0, -8, 56, 0, -160, 0, 0, 312, 504, 0, -16, 88, 0, -128, -184, 0, -128, 16, 0, 240, 0, 0, -56, 72, 0, 56, 312, 0, 600, -120, 0, -8, -168, 0, -176, 32, 0, -88, -160, 0, 120, 88, 0, 96, -72, 0, 32, 40, 0, 40, -8, 0, 264, -64, 0, 0, 72, 0, 288, -152, 0, -104, 224, 0, 300, 96, 0, 80, 392, 0, -176, -104, 0, -208, 64, 0, 344, -16, 0, 88, -4, 0, -96, -160, 0, 40, -40, 0, -96, 104, 0, 96, -192, 0, -320, -88, 0, -8, 152, 0, -64, -80, 0, 40, 464, 0, -104, 40, 0, 76, 80, 0, 24, -232, 0, -48, 480, 0, 8, 32, 0, 8, -200, 0, 200, -40, 0, -280, -560, 0, 0, 8, 0, 40, -264, 0, 128, -136, 0, -264, 216, 0, -232, 344, 0, -48, 48, 0, -160, -88, 0, -24, 72, 0, -160, -24, 0, -136, -80, 0, -8, 272, 0, -32, -80, 0, -288, -272, 0, -16, -112, 0, -208, -208, 0, 16, 112, 0, 384, -48, 0, 80, 88, 0, -128, -4, 0, 56, -36, 0, 8, -64, 0, 112, 48, 0, -104, -64, 0, 24, 192, 0, -240, 0, 0, 300, -80, 0, -400, -40, 0, 24, 160, 0, -416, -104, 0, 120, -56, 0, -56, -72, 0, -96, -64, 0, 24, -64, 0, 16, -16, 0, -176, 184, 0, -64, -232, 0, -48, 56, 0, 80, -80, 0, -512, -24, 0, -264, -288, 0, -120, 56, 0, -160, -96, 0, 324, 24, 0, 8, -88, 0, -88, -136, 0, 80, 520, 0, -160, 8, 0, 248, 120, 0, -200, 48, 0, -440, 608, 0, 0, 56, 0, 72, -56, 0, 296, 72, 0, 160, 64, 0, -424, -88, 0, 0, 360, 0, -536, 160, 0, -32, 0, 0, -288, -16, 0, -160, 352, 0, -40, 144, 0, -72, -160, 0, 160, 16, 0, -48, 120, 0, -32, -32, 0, 248, 456, 0, 8, 208, 0, -16, 200, 0, -352, -16, 0, 64, 320, 0, 12, -440, 0, 72, 408, 0, 240, 40, 0, 184, 8, 0, -64, 80, 0, 8, 392, 0, -104, 32, 0, -32, 248, 0, 420, 64, 0, 176, -80, 0, 80, -344, 0, -208, 208, 0, -24, 264, 0, -312, -88, 0, -576, -24, 0, 128, 40, 0, 248, -232, 0, -264, 80, 0, 112, -40, 0, 72, -152, 0, 216, 184, 0, 32, 400, 0, 56, -72, 0, 384, -80, 0, 168, -304, 0, -88, 0, 0, 184, 88, 0, 252, 64, 0, -152, -76, 0, 0, 848, 0, 8, -272, 0, 248, 176, 0, -448, -80, 0, -128, 24, 0, 504, -56, 0, -136, 672, 0, -576, 112, 0, 192, -72, 0, -16, 8, 0, -24, -368, 0, 40, -256, 0, 104, 168, 0, 408, 72, 0, 136, 272, 0, 200, 32, 0, -32, -160, 0, -8, -64, 0, -232, -40, 0, -32, 104, 0, 32, 296, 0, -64, -96, 0, 40, -104, 0, -432, 64, 0, -48, -104, 0, -16, 344, 0, 0, -112, 0, -88, 8, 0, -32, -432, 0, 144, -56, 0, 104, 368, 0, 16, 56, 0, -64, 120, 0, 24, -168, 0, 368, -12, 0, 448, -192, 0, -16, -280, 0, 256, -304, 0, 132, 112, 0, 424, 24, 0, 448, -24, 0, -128, -352, 0, 24, -232, 0, 72, -16, 0, 16, 108, 0, 488, 152, 0, -136, -16, 0, 16, 80, 0, 104, 632, 0, 168, 48, 0, 240, 320, 0, 0, 144, 0, 24, -152, 0, -344, 40, 0, 32, -8, 0, -40, 232, 0, 56, 400, 0, 16, 16, 0, -208, -72, 0, 900, 8, 0, -24, 120, 0, 152, -88, 0, -512, -64, 0, 376, 216, 0, 56, -136, 0, 184, -72, 0, 8, -8, 0, 152, -256, 0, 288, -528, 0, -96, 96, 0, -48, -704, 0, 160, -112, 0, -312, 64, 0, 192, 48, 0, -40, -40, 0, -776, -56, 0, -24, 72, 0, -64, -104, 0, 56, -408, 0, 488, -24, 0, -24, -80, 0, -192, 320, 0, -8, -528, 0, -728, -216, 0, 288, 8, 0, 0, -88, 0, 0, -240, 0, 112, 208, 0, -16, -504, 0, 120, 80, 0, 64, 224, 0, 32, 32, 0, 144, -336, 0, 16, 88, 0, -184, -352, 0, -248, 0, 0, -32, -64, 0, -192, -536, 0, -376, -312, 0, -8, -56, 0, 40, 392, 0, -8, 488, 0, 104, -488, 0, 116, 296, 0, 16, -384, 0, -144, -600, 0, -32, 32, 0, -224, 24, 0, 160, 304, 0, -576, -48, 0, 104, -48, 0, -16, 0, 0, 376, -632, 0, -808, 168, 0, 272, 312, 0, -912, -328, 0, -128, -712, 0, -216, 8, 0, -688, -32, 0, -64, -120, 0, 136, -952, 0, 0, 240, 0, -472, -312, 0, -48, -96, 0, -504, -104, 0, 400, 216, 0, 340, -216, 0, -40, 80, 0, 160, 48, 0, -280, -48, 0, -96, 248, 0, 160, -472, 0, -64, -248, 0, -504, -160, 0, 168, 0, 0, -592, 424, 0, 48, 704, 0, 488, 80, 0, 176, -400, 0, -328, -40, 0, -256, -1080, 0, 24, -336, 0, 0, -488, 0, -136, 16, 0, -328, -12, 0, -464, 192, 0, -104, -360, 0, -1368, -480, 0, 216, 0, 0, 264, -128, 0, -176, 8, 0, 72, 184, 0, 400, 112, 0, -256, 256, 0, 48, 40, 0, -544, -272, 0, -32, 408, 0, -672, 152, 0, 192, -336, 0, -824, 16, 0, -112, 320, 0, 0, 0, 0, 144, 40, 0, -352, -208, 0, -392, 112, 0, -112, 296, 0, 104, 64, 0, -576, 96, 0, -352, -320, 0, -64, 176, 0, 320, -896, 0, -16, -192, 0, 80, -208, 0, 224, -240, 0, 156, -176, 0, 128, 72, 0, 8, -8, 0, -624, -304, 0, -128, -752, 0, 248, -176, 0, 32, -352, 0, -128, 152, 0, 312, -456, 0, 112, -24, 0, -520, -80, 0, -8, 624, 0, 72, 128, 0, -112, -280, 0, -72, 344, 0, 112, -16, 0, 432, 448, 0, 16, -472, 0, 16, 408, 0, 72, -184, 0, 256, 24, 0, -240, -112, 0, -240, 104, 0, -176, 0, 0, -88, 216, 0, 300, -44, 0, 192, -472, 0, 48, -336, 0, 608, -368, 0, 792, -288, 0, -512, 112, 0, 424, -64, 0, -160, -80, 0, 400, 520, 0, 168, -192, 0, 32, 8, 0, 616, 16, 0, -144, -568, 0, 16, 32, 0, 496, 664, 0, 296, 16, 0, -200, -176, 0, 112, 184, 0, 264, 440, 0, 32, 56, 0, 160, -336, 0, -176, 568, 0, -168, 24, 0, -16, -208, 0, -592, 72, 0, -400, 0, 0, 200, -8, 0, 40, -56, 0, 1120, -32, 0, 32, 208, 0, -16, 16, 0, 96, 272, 0, -16, 216, 0, 160, -216, 0, 704, 200, 0, 296, 16, 0, -752, 0, 0, -176, -192, 0, 16, 728, 0, 360, -16, 0, 720, 104, 0, -264, 1392, 0, -80, 240, 0, 0, -80, 0, 200, -40, 0, 144, 96, 0, -128, 536, 0, -72, -448, 0, 496, -56, 0, 64, 168, 0, -112, 16, 0, 432, -176, 0, 412, -576, 0, 360, 120, 0, -8, -128, 0, -296, -88, 0, 176, 528, 0, 48, -176, 0, -352, 176, 0, -48, 312, 0, -920, 8, 0, 136, 64, 0, -104, 544, 0, -296, -104, 0, -112, 48, 0, -104, 160, 0, -488, -712, 0, 176, 528, 0, 296, -520, 0, 160, 392, 0, -520, 48, 0, -176, -568, 0, -88, 56, 0, 144, 688, 0, 192, 360, 0, 288, -24, 0, 24, -80, 0, -24, 272, 0, -80, -88, 0, 444, -928, 0, -272, -48, 0, -272, -304, 0, -136, 88, 0, 424, -40, 0, -256, -560, 0, -344, -16, 0, -648, -96, 0, 0, -152, 0, 648, -104, 0, -248, 408, 0, -920, -32, 0, 1104, 0, 0, -96, -592, 0, 216, -520, 0, -64, -144, 0, 256, 112, 0, -280, -392, 0, -312, -384, 0, 80, 472, 0, 672, -112, 0, -1416, -8, 0, -544, -160, 0, 32, 72, 0, 360, -120, 0, 56, 736, 0, -152, 40, 0, 224, 120, 0, -24, -824, 0, -560, 32, 0, 0, -152, 0, 0, 40, 0, -624, 168, 0, 40, -48, 0, 128, 272, 0, 136, 8, 0, 728, -336, 0, 1168, 24, 0, -80, -640, 0, 736, 464, 0, -176, 352, 0, 72, -4, 0, 216, -568, 0, 8, -336, 0, 408, -216, 0, -128, -128, 0, -632, -256, 0, 560, 240, 0, -16, 136, 0, 240, 296, 0, -216, -512, 0, -336, -256, 0, 136, -296, 0, 408, -288, 0, 32, 192, 0, 352, 424, 0, 420, 16, 0, 248, -264, 0, -320, -48, 0, -472, 0, 0, 456, 52, 0, -456, -48, 0, 1008, 248, 0, 104, -24, 0, -176, -480, 0, 1016, 144, 0, 384, 328, 0, -248, 184, 0, -200, 1192, 0, 320, -32, 0, 392, -232, 0, -232, -144, 0, 216, 24, 0, 0, 384, 0, 64, -144, 0, 672, -72, 0, 88, -56, 0, 544, -528, 0, -24, -1112, 0, -176, -48, 0, 72, -72, 0, 160, -8, 0, -16, 568, 0, -16, -488, 0, 336, -352, 0, 308, -584, 0, -664, -72, 0, 200, -720, 0, 40, 824, 0, -312, -624, 0, -336, 928, 0, -120, -16, 0, -80, -200, 0, -536, 104, 0, 360, -696, 0, -416, 256, 0, -16, 8, 0, -712, 344, 0, -8, 144, 0, 448, 624, 0, 984, -864, 0, 368, -104, 0, -616, 432, 0, 368, -32, 0, -288, -1240, 0, 176, -8, 0, -184, -12, 0, -224, -496, 0, 56, -144, 0, -432, -768, 0, 64, 120, 0, -16, 96, 0, -48, -440, 0, -88, -488, 0, -376, 8, 0, 528, -64, 0, -104, 208, 0, -192, -8, 0, -32, 96, 0, -136, 456, 0, -408, -400, 0, 8, 8, 0, -608, 144, 0, 112, 16, 0, 520, 272, 0, -96, 0, 0, 168, -8, 0, 200, 384, 0, -240, -560, 0, -56, -232, 0, -88, 176, 0, 24, -40, 0, 256, 744, 0, -224, -544, 0, -448, -176, 0, -912, 176, 0, -8, -24, 0, 600, 384, 0, -32, 384, 0, 112, 288, 0, 96, -448, 0, -40, -8, 0, -96, 968, 0, 72, 216, 0, -112, 928, 0, -372, 0, 0, 464, -48, 0, -760, 120, 0, 8, 320, 0, 168, 408, 0, 24, 264, 0, 72, -144, 0, 96, 1032, 0, 208, -352, 0, 288, -328, 0, -456, 0, 0, -64, 0, 0, 584, -144, 0, 80, -56, 0, 1720, 472, 0, -784, -376, 0, -960, 272, 0, 56, -816, 0, -16, 272, 0, -88, 16, 0, 632, 168, 0, -1016, -8, 0, -1096, -200, 0, 0, 432, 0, -512, 192, 0, 632, -1144, 0, 248, 240, 0, -312, -1368, 0, 0, 96, 0, -280, -192, 0, -392, 424, 0, 252, -56, 0, -720, -200, 0, 8, -736, 0, -392, 208, 0, -88, 176, 0, -312, -40, 0, -256, -1456, 0, -216, 360, 0, -96, 568, 0, -696, 504, 0, -616, 624, 0, -128, 208, 0, 136, 720, 0, -912, 120, 0, 8, 504, 0, 8, 0, 0, -256, -392, 0, -312, 48, 0, 696, 392, 0, -120, 480, 0, 48, -776, 0, -944, -64, 0, 16, -624, 0, -184, 560, 0, -96, 424, 0, -688, -88, 0, -112, -112, 0, 200, 440, 0, -48, -104, 0, -896, -208, 0, 0, 48, 0, -872, -472, 0, 248, -152, 0, -408, -136, 0, 80, -768, 0, -1088, 8, 0, 568, 24, 0, 56, -200, 0, 368, 200, 0, 488, 448, 0, -296, 280, 0, 32, 104, 0, 144, -288, 0, -1296, -968, 0, -144, 840, 0, -336, -256, 0, -96, -984, 0, 152, -360, 0, -40, -168, 0, -40, 96, 0, 192, -88, 0, -584, 552, 0, 32, -656, 0, -1120, 88, 0, 376, -536, 0, 352, 0, 0, -64, 168, 0, -80, 504, 0, 312, 1192, 0, 624, -72, 0, 32, 392, 0, 320, -416, 0, 96, 360, 0, 24, -72, 0, 860, -88, 0, -784, -48, 0, -416, -896, 0, 112, -104, 0, 80, -592, 0, -1184, -64, 0, -96, -4, 0, -248, 512, 0, -40, -192, 0, -1152, 336, 0, -144, -84, 0, 416, -8, 0, -64, -120, 0, -232, -320, 0, 16, 288, 0, -256, -320, 0, -264, 104, 0, -816, 128, 0, 0, 264, 0, -224, -136, 0, 352, 240, 0, -328, 96, 0, -288, -664, 0, 0, 192, 0, 72, -184, 0, -400, 616, 0, -160, 144, 0, 248, 96, 0, -232, 40, 0, -1528, 160, 0, -304, -1128, 0, 136, 0, 0, -104, -200, 0, 300, -1000, 0, -104, 632, 0, -1312, -656, 0, -312, -328, 0, 512, 256, 0, 64, -624, 0, -760, 0, 0, 168, -440, 0, 920, -120, 0, 0, -1000, 0, 0, 168, 0, -136, -472, 0, 0, 480, 0, 376, 8, 0, 64, 160, 0, 136, -128, 0, 1152, 48, 0, -432, 184, 0, 528, 96, 0, 480, 672, 0, -256, -176, 0, 192, 136, 0, 0, 1248, 0, 96, -608, 0, -512, -856, 0, -24, -504, 0, 840, 624, 0, 456, 112, 0, 168, -24, 0, 168, -552, 0, 72, -376, 0, 296, -80, 0, 272, -624, 0, -408, 72, 0, -8, 80, 0, 296, -248, 0, 448, -128, 0, 256, -704, 0, -264, 328, 0, -336, -360, 0, -464, 32, 0, -136, -296, 0, -40, -16, 0, 0, 416, 0, -936, -152, 0, 248, -720, 0, 512, 896, 0, -64, -328, 0, -248, -68, 0, 128, -320, 0, 56, 0, 0, 576, -320, 0, -544, -248, 0, 256, -24, 0, 0, 216, 0, -160, 72, 0, -896, -24, 0, -320, -600, 0, 32, 64, 0, 56, 1032, 0, -696, 200, 0, -176, 200, 0, -680, 472, 0, -176, 256, 0, 720, 472, 0, 56, -856, 0, -80, 416, 0, -1112, 320, 0, 788, 232, 0, -680, -304, 0, -128, 128, 0, -568, 144, 0, -360, -32, 0, 16, -24, 0, 576, 840, 0, -8, -384, 0, -312, 136, 0, 24, -1376, 0, -360, 120, 0, -216, -400, 0, 32, 984, 0, -504, 1288, 0, 168, 1112, 0, -72, 0, 0, -80, 0, 0, 16, 608, 0, -1000, 288, 0, -64, -1096, 0, 720, 280, 0, 344, -136, 0, -360, 184, 0, -648, -128, 0, -232, -632, 0, -136, 496, 0, -1608, -24, 0, 72, -392, 0, -512, -264, 0, 576, 1088, 0, 8, 80, 0, -16, -240, 0, 192, -104, 0, 160, -424, 0, -1016, 376, 0, -276, 112, 0, 240, 72, 0, -144, 16, 0, -392, -104, 0, -40, 160, 0, 696, -48, 0, -176, 144, 0, -192, 48, 0, 248, 416, 0, -200, -384, 0, 632, -192, 0, 1104, 688, 0, 200, 232, 0, -712, 152, 0, 32, -560, 0, 40, 64, 0, -608, -928, 0, 168, 248, 0, -920, 2040, 0, -384, 640, 0, -8, 176, 0, -744, -232, 0, 24, 104, 0, -464, -240, 0, 464, -64, 0, -1184, -224, 0, 368, -24, 0, 616, -216, 0, 208, -288, 0, -1000, 104, 0, -96, 8, 0, 496, 280, 0, 336, 1040, 0, -824, 928, 0, -424, -608, 0, 168, 32, 0, 728, 504, 0, -120, 368, 0, -120, 376, 0, 0, 544, 0, 88, 80, 0, 600, 792, 0, -112, -720, 0, -216, 96, 0, -88, -152, 0, 408, 16, 0, -216, -160, 0, 168, 64, 0, -352, 840, 0, -336, 168, 0, -384, 8, 0, -1800, 224, 0, -80, -336, 0, -656, -472, 0, -56, 672, 0, 888, 0, 0, -688, -1072, 0, 232, -136, 0, 16, 112, 0, -280, 672, 0, 400, 680, 0, 80, 400, 0, 160, 360, 0, -280, 760, 0]