# Trace form for 3549.2.a, downloaded from the LMFDB on 23 April 2024.
[0, 156, 0, 0, 152, 8, -4, -2, 0, 156, 8, 0, 8, 0, -2, 0, 152, 16, 0, -8, 40, -2, 24, 8, -12, 180, 0, 0, -6, 8, 8, 8, 40, 0, 32, 4, 152, -16, -8, 0, 16, 16, 2, 24, -16, 8, -16, 0, 32, 156, -24, 0, 0, 8, -4, 32, -18, -16, 0, 24, 16, -16, 32, -2, 168, 0, 24, 0, 32, -16, 4, -24, 0, 8, 56, 0, 64, 0, 0, 32, 48, 156, 0, 16, -6, -40, -48, 16, 120, 40, 8, 0, 32, -32, -32, 32, -28, 8, 0, 0, 192, 16, 16, 0, 0, 4, 32, -8, 8, -16, -88, -16, 2, 8, 8, 24, 56, 0, 40, -12, 72, 164, -72, 8, 48, 24, -2, -24, 24, 0, 0, 16, 56, -8, 24, 0, 64, 40, 40, 16, 44, -16, 48, 0, 152, 40, 64, 0, 0, 32, 12, -32, -72, 16, -16, -48, 0, 32, -120, 0, 96, -8, 0, 56, -40, 16, -56, -80, 18, 0, -408, -8, 112, -264, 24, 2, -24, -8, -296, 40, 40, 80, 0, 16, -64, -264, 64, -32, -48, -2, 80, 56, 72, -48, -272, 0, 152, 0, 24, 48, -56, 16, 0, -12, 0, -216, -88, 8, 0, 48, 12, 32, -40, 48, 32, -56, -12, 16, -224, 0, -32, 0, 0, 8, -58, 180, -48, 8, -48, 16, 40, 8, 32, -264, 0, 72, 112, 0, 20, 32, 40, -8, 8, 0, 40, 8, 56, 0, -16, 0, -112, 32, -6, -8, -72, 0, 232, 16, 64, 20, 0, 8, -128, 48, 56, 8, 40, 32, 32, -248, 8, 32, 16, 0, 56, 72, -72, -8, 56, 8, 36, 56, -16, 120, 0, -8, 0, 20, 40, 220, -304, -16, -96, 56, -4, 24, -148, 0, -244, 0, -8, -8, -300, 40, 128, 56, 32, 24, -268, -24, -96, 208, 0, -224, -48, 4, -132, 0, -8, -56, 104, 0, 24, 40, 152, 0, -164, 16, -72, -24, -56, 40, -80, -16, 8, -72, -30, 64, 0, 72, -32, 152, -8, -2, -16, 32, -16, 16, -40, -56, 2, 0, -92, 64, 0, 80, -24, 4, 112, 48, 16, 212, 64, 32, 0, -152, -48, 32, -260, 16, -96, -12, -32, 96, 80, 24, 56, 0, 2, 24, 128, 0, -16, -136, -116, -40, -196, 24, -32, 32, 0, -24, 0, 56, -120, -72, -16, 72, -128, 8, 256, 64, -72, 0, 48, 8, -280, 8, 64, 56, 88, -24, 184, 64, -16, 56, 0, -24, 0, 96, 44, -72, 72, 0, -128, -208, 88, -4, -300, 0, 104, -64, 32, 64, 64, 0, -16, -72, 32, 8, -136, 156, 0, 96, -96, 48, 152, -8, 74, -16, -24, 160, -92, -16, -16, 0, -8, -88, -208, 0, 64, 0, 16, -80, 264, 56, 112, 8, 0, 40, 56, 32, -48, -40, -88, -80, 52, 8, -260, -16, 136, 0, 280, 8, 360, 96, -4, 40, -104, 16, 8, 80, -32, -272, 0, 32, 160, -56, 112, -8, -32, -64, 80, -32, -18, -8, -52, 0, -16, 104, 0, 20, 336, -16, 64, -16, 64, 48, -12, 40, 0, 64, 0, 144, 168, -30, -112, -88, 144, 260, -192, 24, 16, 0, 40, 0, -132, 56, 0, 0, 16, 0, 160, 64, 112, 24, 0, 104, 80, -16, 240, -56, 8, -16, 32, 120, 184, -120, 32, 0, 68, 48, -8, 112, -48, -8, 240, -2, -260, -160, 16, 192, 0, -56, 12, -8, 168, 64, 0, 48, -32, 16, -40, 72, 440, 0, 32, -144, 8, 120, 72, 24, -80, 8, 24, 40, 96, -8, 0, 88, -92, 48, -324, 0, 0, -56, -80, 80, 16, -4, 64, 0, 32, -72, 224, 64, 0, -32, 136, 128, 128, -16, 0, -44, 0, 300, 200, 72, 296, -16, 4, -24, -168, 80, -504, -16, -576, 0, -212, -24, -568, 48, -8, 32, -8, -24, -504, -40, 0, 160, 0, 0, 128, -256, -600, 56, 96, 8, -40, 16, -16, -72, 8, 0, -408, -32, 56, 72, -288, -16, -144, 128, 18, 96, -40, 0, 0, -760, 56, 52, -936, 8, -112, 72, 64, -888, -2, 32, 304, 0, -608, -88, -608, 0, -48, 72, 72, 96, -264, 40, -58, -944, 0, 192, -240, 112, -608, 76, -48, 24, -168, 32, -896, -88, 60, 0, -316, -128, 128, -8, 48, -32, 96, 32, -408, -880, -92, 152, 0, 156, -208, 160, 0, 104, 24, 0, -32, -40, 0, 120, -664, 0, -44, -32, -472, -224, 56, 16, -176, -32, 96, 144, -88, 176, 0, 136, -6, -744, -276, 112, 144, -88, -24, 52, 112, -40, -632, 0, 240, 168, -40, 80, -96, -32, -48, 16, -736, -28, -96, 128, 0, 0, 160, 16, 152, -40, 80, 56, -16, -48, -192, 12, 120, 0, -280, 112, 224, -752, -56, -56, -256, 40, -180, -8, 128, 64, 0, 96, 0, 48, 8, 96, -20, 16, 112, 64, -520, 104, -24, 0, -824, 104, -136, 208, -216, 48, -16, 0, 32, 152, 24, -16, 0, 16, -8, 144, 496, -32, 112, 88, -20, 388, 216, 88, -280, 0, -32, 38, -324, 56, 208, 0, -8, 56, 20, 32, -48, 168, 0, 200, -144, 44, 16, -168, -28, -64, -216, 48, -8, 168, -24, 0, -368, 8, -552, 48, -48, -120, -104, 0, 288, 112, 0, 48, 0, 112, 48, -16, 48, -80, 72, 0, -128, 56, 136, 40, -398, 0, -176, 184, 192, -824, 40, -8, -16, -232, -568, 120, 0, 16, 0, 136, -192, 176, 104, -16, -48, 0, 16, 192, 240, -16, 112, 0, -32, 16, 320, 0, -208, 24, -128, -8, -688, 40, 208, 184, 0, 8, -72, 80, -232, 24, 40, -48, 40, 4, -396, 40, -128, 0, 128, 72, 60, -384, 32, 80, 176, -32, 416, 28, -80, 68, 0, -8, -192, -776, 32, -24, -88, 32, -64, 224, 8, 48, -104, 0, -192, -80, 40, 184, 40, -16, 96, -80, 104, 240, 112, 48, 0, 216, -88, 360, 232, 48, -8, -24, 0, 0, -164, -16, -432, 0, -80, 48, 520, 0, -64, 104, 2, -88, -128, 80, 160, 352, 0, 16, -280, 8, 120, 216, -32, -16, 132, -24, 264, -96, 8, 0, 544, -2, 248, 240, 176, 64, 136, 24, -4, -480, 16, 152, 0, 80, 32, -28, 56, -56, -72, -48, -144, 224, -42, -96, 188, 0, -488, -120, 56, 0, 160, 8, 224, 56, 40, 144, 24, 176, 0, -72, 208, -224, 344, -12, -16, -128, 72, 320, -592, -48, 24, 0, 72, -152, 312, 128, -64, 16, -152, 40, 368, 164, -256, 312, 0, 248, 128, -24, -304, -72, -72, -20, 288, -8, 328, -136, 8, 0, 32, 8, -132, 328, -112, -48, 328, -4, 328, 200, 48, -800, 0, 48, 100, -96, 24, 8, -176, 24, -96, 8, 32, -80, 344, 0, 144, -32, -2, 296, 104, 16, 32, -16, -440, -8, -40, -24, 0, 248, -120, 312, -36, -56, 32, 0, 24, 112, 192, 0, 600, 0, 312, -56, -584, 0, 0, -56, 160, -40, 44, 88, 96, -80, 0, 376, 504, 128, 360, 24, -12, 32, 160, 16, 232, 136, 216, 0, -136, -8, -328, -312, 56, 48, -40, -128, -344, -272, 64, 72, 0, -8, -16, -424, 0, -16, 120, -120, -24, -520, 24, -48, -640, 0, 456, -12, 248, 120, -200, 0, 208, 120, -36, -408, 144, -112, 0, -56, 64, 180, -164, -48, 224, 16, 56, 16, -504, 40, -464, 0, 24, 56, 152, 40, -224, -168, 40, 120, 576, 48, -84, -536, 0, 312, -216, 16, -536, 32, 80, 40, -64, 128, 176, -176, 44, 0, -24, -96, -184, 112, 8, -20, -112, -16, 408, 160, -56, 392, 0, 72, 144, 320, 48, 104, 0, -28, -16, -448, -408, -104, 352, 0, -308, -192, -16, 112, 240, 48, -336, 40, 152, 248, 104, 160, 0, -824, 80, 112, -216, 40, -336, -248, -32, -16, 576, 24, -16, 0, 64, 88, 0, 72, 192, 176, -56, -72, 296, 0, -352, -112, 0, -464, 40, 40, 48, 192, 0, -136, 224, 0, -232, 40, 152, 0, 120, 32, 248, 144, -86, 88, -192, 56, 152, 400, 12, 44, 0, 128, -176, 200, 72, -32, -76, -32, -16, 16, 80, -40, 240, 0, 112, 216, -72, 244, 88, 16, -6, 144, -8, 56, -16, 16, 0, -516, 176, 248, 536, -8, 128, 248, -16, 184, 96, -48, -224, 0, 32, 8, -48, -48, 80, 16, 72, 48, 66, 32, -112, 576, 0, -704, -288, 56, 128, -184, 120, -56, -56, 32, -84, 0, 32, 0, -36, -48, 432, 8, -120, 64, -208, 16, 568, 328, -20, 272, 0, 0, 480, 192, 88, 56, 272, 16, 224, -440, 96, -16, 32, 0, 672, 248, -568, -16, 80, -8, -48, -40, 136, 56, -80, 48, 0, 416, 0, 184, -408, 48, 48, 72, -80, -136, 144, 56, 616, 0, 8, 104, 80, 8, -112, 8, -40, 8, 264, 80, -64, 80, 0, 168, -100, 16, -12, -384, -64, 128, -120, 32, 576, 96, -56, 0, 416, 112, 144, 336, 176, -184, -80, -80, -216, 64, -112, -488, 0, -56, 0, 192, 18, -120, -104, 96, -16, -488, 200, 8, 376, 0, 168, -48, 64, -304, 132, -16, 288, -192, -408, 224, -208, 52, 0, 216, -308, 120, 152, -8, -96, 208, 80, 424, -184, 64, -152, 0, 112, -96, 992, 208, -48, 72, 12, -96, 92, -264, 144, 488, 0, -8, -344, 80, 32, 24, 24, 168, 40, -8, 208, 0, 208, 0, 448, 2, -312, 384, 232, -96, 64, -128, 44, -408, -24, -184, 0, 144, -112, 16, 232, -32, -464, -8, 240, 344, 8, 232, 584, 0, 792, -48, -296, 76, 48, -48, 192, 64, 208, 344, 32, 40, 0, -192, 160, -40, 288, 0, 128, 192, 40, -128, 424, 0, -548, 0, -384, -208, -108, 80, -224, -4, -80, 144, 560, -64, -64, -880, 0, 304, 344, -16, 8, -72, 0, 48, -256, 16, -480, 120, -1064, 0, 120, 200, -616, 264, -64, 184, 24, -16, -784, 384, -40, 296, 0, -264, 32, -496, -1080, 200, -136, 72, -240, 40, 64, 400, 952, 0, -504, -200, 108, 452, 0, -32, -240, 40, 72, 36, -8, -8, 0, 480, -48, 96, 6, -64, -80, -320, -80, 320, -192, -2, 516, 0, -808, 328, 256, 88, -116, 112, 80, 32, -216, 160, 224, 4, 0, 8, 368, 56, -928, 120, -28, -136, -16, 96, 464, 32, 72, 0, 536, -144, 296, 200, 84, -96, 160, -48, -928, 272, 64, 264, 0, -8, 64, 192, -272, 64, 112, -32, 24, 416, 248, -64, 16, 0, -408, -16, -952, -296, -520, -32, -176, 112, 152, -600, -24, -64, 0, -88, 120, 80, 592, 0, -32, 296, 144, 32, -316, -16, -632, 0, 24, -160, 272, -8, 48, -144, 192, -200, 168, 48, 178, 8, 0, 96, -400, 64, 624, 52, -56, -120, -80, 160, -320, -144, 56, 0, -280, 16, 216, 240, -272, -16, 184, 128, 224, -544, 0, -288, 0, -8, 96, -128, -272, 16, -88, -12, -128, -312, -976, -200, -496, 0, 0, -240, 0, -344, -8, 64, 128, -24, 320, 304, 104, -216, 0, -424, 144, 684, 232, 72, -64, -192, -88, 96, 596, 16, -1056, 0, 160, -88, -8, 8, 336, -320, -64, -400, 272, -4, 224, 240, 0, -464, 56, 256, 232, 88, 16, -112, 424, 48, -32, 76, 416, 0, 136, 64, -912, -488, 12, 168, -208, 176, -184, 432, -24, 136, 0, 32, -336, -872, -168, -80, 52, 80, 208, -472, -40, -136, 336, 0, -240, 88, 64, 416, -144, 48, -20, 264, -1016, -104, 32, -80, 0, 128, 32, -552, 736, -16, 96, -176, -48, -48, 224, -56, 140, 0, 144, 20, 440, 80, 64, 144, -12, 128, 48, 32, -176, -136, 0, 272, -424, 16, -1136, -8, 64, 16, -184, -64, 16, 0, -224, 0, 472, -32, -200, -556, -264, -232, -328, 0, -264, -504, -16, 160, 0, 160, 320, 440, -32, -56, 400, -48, 640, 104, 144, -232, -56, 0, -664, 272, 352, 392, -16, -8, -256, -104, 0, -160, -64, 192, 0, 584, -160, -104, 280, 8, -64, 16, 16, 208, 88, -48, 544, 0, -58, 256, -20, -64, -96, 40, 48, 26, -144, 180, 224, -448, 0, -56, -104, 176, 296, -192, -48, 128, -56, 52, 432, 192, -824, 0, 552, 8, 188, -712, 96, 56, 496, -32, 104, 68, -48, 224, 0, 0, -224, -168, 2, -224, -64, 16, -352, 432, 224, 16, 128, 0, -408, 16, 40, 544, 116, -32, 96, -104, 176, 512, 360, 8, 0, 192, -312, -272, 816, -80, 68, -32, 32, -344, 768, -32, 688, 0, 8, -184, 1216, -264, 160, 80, -58, 32, 308, 96, -448, 128, 0, 24, -368, 96, -832, 184, 200, 40, 112, 72, 248, -168, 264, 0, 136, 60, 320, -232, 112, -136, 184, 16, -96, 240, -120, 176, 0, 0, 176, 40, 88, 144, 136, -152, 144, 296, 20, -16, 672, 0, 232, -40, 424, 0, 432, 32, 64, -24, -936, -456, -16, -328, 0, -512, 40, -320, 640, -16, -64, 104, 60, -480, 840, -8, 32, 0, 368, -144, 312, -504, 96, 64, 8, -72, 584, 56, -32, 224, 0, -352, 312, 0, 196, 16, -192, -60, 56, 112, -416, 248, 40, 0, 132, 32, -368, 464, -120, -24, -144, 8, 504, -488, -8, 804, 0, -640, 64, 344, 56, 120, 128, 80, -64, -60, 208, 24, 1056, 0, 360, 32, 44, 56, -592, -112, 112, 104, -16, 32, -288, -16, 0, -240, -144, 272, 44, 0, 48, -16, -176, -232, 800, 8, -384, 0, -112, 144, 592, 80, -16, -208, -24, 128, 648, 32, 32, -32, 0, 320, 752, -352, 208, 80, -6, -8, 328, 192, -312, -336, -272, 0, -188, -8, -8, -104, 16, 272, 8, -176, 536, -152, -72, -152, 0, -28, 48, 368, -8, 48, 256, 0, -4, 472, -1152, 216, 520, 0, 744, 0, 232, -80, -368, -48, 192, 192, -64, -104, -96, 16, 0, 312, 96, 120, 656, 104, -160, 136, 64, -280, 32, 80, 208, 0, -16, -16, 424, 20, 16, 112, 168, 256, 688, -512, -24, -352, 0, 528, -160, -96, 240, -32, 0, -24, -336, 8, -840, 32, 32, 0, 584, -272, -56, -608, -128, -100, 472, 128, 96, 552, 16, -152, 0, 48, -256, -256, 336, -264, 88, -60, -48, 432, 56, 48, 304, 0, 104, -184, -192, 144, 408, 8, -240, -72, 216, 232, 136, 192, 0, 288, 40, -280, 896, 192, -48, -112, -12, 156, 832, 32, -1024, 0, 72, 40, -544, 184, -144, 128, 32, -128, 608, 48, 96, -480, 0, 336, 264, -248, 188, 232, -160, 128, 184, -464, 672, 0, 8, 0, 128, -32, 448, 672, -36, 224, -192, 32, -592, 368, -48, 124, 0, 168, -64, 216, 16, 56, -24, -32, -160, 200, 48, 128, 632, 0, -220, 312, -1088, -424, 72, -104, -48, -40, 56, -192, 48, -48, 0, 180, 360, 80, 608, 72, 224, 56, -72, -448, 464, -48, 368, 0, -72, 80, 528, -32, 128, 88, -104, -8, 172, -8, 96, 840, 0, -48, 128, 0, 760, -160, 56, -200, -344, 288, 0, 48, -8, 0, 1160, 8, 1368, -24, -176, 24, -368, -8, -568, 40, 36, 352, 0, 160, 96, -376, -384, -10, -216, 56, -128, 472, 256, 32, 4, 0, -680, 240, -16, -848, 368, -58, -32, 0, -1176, 216, 96, 120, 0, 328, 80, -840, -292, 48, -48, 24, 0, 472, 520, -96, -920, 0, -52, -152, 896, -8, 64, -128, -104, -32, 264, -1008, -16, -640, 0, -104, -216, 168, -520, -184, -48, 200, 16, 20, -856, -312, -280, 0, 512, -16, 96, 224, 40, -64, -168, -224, 1104, 8, -80, -1000, 0, 220, -80, 200, 112, -64, 40, 160, 96, 544, -304, 52, -680, 0, 160, -120, -1024, 32, -16, -16, -176, -184, 16, 488, 488, 120, 0, -368, -96, -480, 1136, -64, -72, 72, -40, -392, 776, 56, 640, 0, -1360, -120, 976, 0, -208, -96, -4, 104, 476, 272, -176, 640, 0, 8, -392, 24, -680, 8, -232, 72, 144, -560, 324, 352, -148, 0, 848, 32, 388, 256, 216, -16, -232, 0, -260, 496, 112, 32, 0, -1112, -48, 40, -244, -104, 400, -64, 208, 64, 10, -16, 1080, 0, 708, -120, 232, 32, 152, -8, 400, -96, -8, -736, -4, 208, 0, -1952, 312, -128, -1376, -8, -336, 168, 8, -1512, 424, -32, 268, 0, -300, -176, -1680, 208, -528, -60, -288, 128, 816, 40, -480, -1936, 0, -856, 256, 8, 508, -120, 128, -88, 320, 288, -1456, 56, 328, 0, -18, 56, -124, -112, -144, -216, 32, -8, 876, -1800, 32, 120, 0, 112, 52, 328, -1032, 448, 352, 24, -112, 144, 168, -352, -872, 0, -728, -192, -268, 160, -288, 48, 192, 248, 304, 60, 144, -24, 0, 168, 40, -1344, 72, -112, 272, -216, -96, -992, 0, -16, 644, 0, -144, 72, 560, 208, -178, -56, 32, -24, -896, -336, -288, -100, 0, 68, 312, 176, 816, 72, 40, -40, -424, -224, 156, -176, 528, 0, 1040, -176, -464, -1888, -48, 16, 92, -144, 264, -360, -88, -432, 0, 4, 160, -152, -1056, -200, -40, 80, 0, -232, -132, -168, 244, 0, -1632, -112, 296, -456, -464, 0, -288, 216, 60, -104, -64, -1328, 0, -40, -8, 36, 56, 176, -16, 104, 72, 256, 216, -56, -156, 0, 208, 24, 560, -4, -288, 56, 104, -112, 248, 32, -208, -504, 0, -192, 32, 0, 16, 24, -80, 136, -256, 128, -632, 112, 24, 0, -1664, -272, 532, -408, -132, 16, 384, 40, -664, 304, 80, -112, 0, 208, 0, 784, 152, 272, 264, -88, -432, -664, 232, 32, 680, 0, 208, -192, -16, -1560, 344, 248, 288, -16, -164, -608, 120, 400, 0, -80, 16, -56, 712, 16, -240, -328, -24, -580, 156, 64, 560, 0, -72, 16, 120, 208, 816, -376, 0, -96, -928, -24, 208, -32, 0, -240, 184, -312, -264, -208, -56, 216, 464, -16, 512, -12, -624, 0, -184, 40, -1856, 96, -8, -360, -168, 128, -80, -392, -80, -16, 0, 192, -496, -2000, -56, 152, 0, -16, -384, 672, 288]