# Trace form for 5070.2.b, downloaded from the LMFDB on 03 March 2021. [0, 100, 0, 4, -100, 0, 0, 0, 0, 100, -4, 0, -4, 0, -8, 0, 100, 0, 0, 0, 0, 0, -8, 0, 0, -100, 0, 4, 0, -16, -4, 0, 0, 0, 0, -8, -100, 0, 32, 0, 4, 0, 8, -16, 0, 0, 0, 0, 4, -52, 0, 0, 0, 0, 0, -8, 8, 0, 0, 0, 0, -40, 16, 0, -100, 0, -8, 0, 0, 16, 0, 0, 0, 0, -8, -4, 0, 80, 0, -16, 0, 100, 0, 0, 0, 0, 0, -16, 8, 0, -4, 0, 0, 0, -32, -32, 0, 0, 0, 0, 100, 32, 0, 40, 0, -8, 0, 16, -4, 0, 0, 0, 0, -16, 32, 0, 16, 0, -24, 0, 4, -36, 0, 0, 0, 0, -8, -152, 0, -176, 0, -104, 0, 272, 16, 0, 0, 0, 0, 128, 8, 0, -32, 0, 100, 0, -16, -164, 0, 0, 0, 0, -32, 0, 0, 48, 0, 160, 0, -16, -4, 0, 0, 0, 0, 8, 48, 0, -8, 0, 0, 0, 16, -128, 0, 0, 0, 0, 48, -8, 0, 56, 0, 152, 0, -24, 0, 0, 0, 0, 0, 64, -4, 0, 80, 0, 52, 0, -8, -208, 0, 0, 0, 0, 0, -16, 0, 0, 0, 48, 0, -64, 0, 0, 0, 0, 0, 240, -32, 0, 8, 0, 8, 0, -8, -100, 0, 0, 0, 0, -48, 80, 0, 16, 0, -16, 0, 144, -32, 0, 0, 0, 0, 4, 40, 0, -32, 0, -16, 0, 4, -8, 0, 0, 0, 0, 100, 160, 0, -112, 0, -16, 0, 32, 8, 0, 0, 0, 0, -144, -4, 0, 0, 0, -104, 0, -16, 96, 0, 0, 0, 0, -16, -176, 0, -16, 0, -208, 0, 92, 0, 0, 0, 0, 0, -8, 8, 0, 72, 0, 4, 0, 80, 32, 0, 0, 0, 0, -80, -136, 0, -32, 0, -152, 0, -8, 16, 0, 0, 0, 0, 16, 48, 0, -100, 0, 64, 0, 0, 16, 0, 0, 0, 0, 48, 48, 0, -216, 0, -48, 0, 112, 32, 0, 0, 0, 0, 16, 16, 0, 8, 0, -8, 0, -24, 80, 0, 0, 0, 0, 4, 28, 0, 44, 0, -32, 0, -40, 0, 0, 0, 0, 0, -16, -96, 0, 32, 0, 8, 0, 32, 56, 0, 0, 0, 0, 48, -16, 0, 0, 0, -64, 0, 40, 40, 0, 0, 0, 0, 160, -100, 0, -64, 0, -32, 0, -80, -144, 0, 0, 0, 0, -40, 80, 0, 64, 0, 16, 0, 56, 8, 0, 0, 0, 0, 0, 48, 0, -16, 0, 48, 0, 4, -168, 0, 0, 0, 0, 80, 176, 0, -52, 0, 80, 0, 0, -24, 0, 0, 0, 0, -16, 16, 0, 112, 0, -32, 0, -32, 0, 0, 0, 0, 0, -16, -48, 0, 256, 0, 144, 0, -96, 24, 0, 0, 0, 0, 0, 96, 0, -4, 0, 0, 0, 36, -16, 0, 0, 0, 0, -28, -24, 0, -80, 0, -8, 0, -80, -32, 0, 0, 0, 0, -112, 8, 0, 128, 0, 152, 0, -16, -192, 0, 0, 0, 0, 176, -48, 0, 48, 0, -120, 0, 160, 104, 0, 0, 0, 0, -76, 64, 0, -272, 0, -64, 0, -16, 72, 0, 0, 0, 0, -32, -104, 0, 80, 0, 192, 0, -40, 8, 0, 0, 0, 0, -8, -128, 0, 16, 0, -8, 0, 112, 96, 0, 0, 0, 0, 32, -184, 0, -272, 0, -128, 0, 0, -100, 0, 0, 0, 0, -144, 0, 0, 16, 0, -8, 0, 164, -80, 0, 0, 0, 0, -8, -48, 0, -32, 0, 96, 0, -120, -144, 0, 0, 0, 0, 72, 32, 0, -56, 0, 0, 0, -192, 80, 0, 0, 0, 0, -48, 16, 0, 16, 0, 100, 0, -160, -160, 0, 0, 0, 0, 176, -72, 0, 16, 0, -208, 0, 4, 104, 0, 0, 0, 0, -192, 240, 0, 176, 0, 304, 0, -304, -16, 0, 0, 0, 0, -72, -8, 0, 128, 0, -48, 0, -8, 128, 0, 0, 0, 0, 8, 392, 0, -4, 0, -320, 0, 144, 0, 0, 0, 0, 0, 24, 16, 0, -16, 0, 48, 0, 128, 80, 0, 0, 0, 0, -96, 176, 0, 144, 0, 128, 0, 16, -8, 0, 0, 0, 0, -16, -48, 0, 96, 0, 8, 0, -192, 336, 0, 0, 0, 0, -56, 16, 0, -72, 0, 100, 0, 64, -152, 0, 0, 0, 0, -240, 0, 0, 24, 0, 128, 0, 0, 24, 0, 0, 0, 0, 4, 128, 0, -72, 0, -48, 0, -320, 192, 0, 0, 0, 0, 32, -64, 0, -32, 0, 4, 0, 64, -32, 0, 0, 0, 0, -80, -384, 0, 16, 0, -48, 0, -16, -52, 0, 0, 0, 0, 16, 16, 0, 8, 0, -72, 0, 208, 16, 0, 0, 0, 0, -32, 0, 0, -80, 0, 112, 0, 8, -4, 0, 0, 0, 0, -16, 0, 0, -32, 0, 16, 0, 24, 408, 0, 0, 0, 0, 0, -24, 0, -208, 0, 128, 0, -64, -48, 0, 0, 0, 0, 220, 96, 0, 64, 0, -32, 0, 0, 48, 0, 0, 0, 0, 112, -32, 0, 416, 0, -112, 0, -48, 256, 0, 0, 0, 0, 12, -240, 0, -16, 0, 32, 0, -112, 8, 0, 0, 0, 0, -8, -184, 0, 16, 0, 8, 0, -48, -8, 0, 0, 0, 0, -80, 88, 0, 8, 0, 64, 0, 100, -16, 0, 0, 0, 0, -128, -304, 0, 32, 0, -240, 0, -240, 64, 0, 0, 0, 0, -192, 48, 0, -24, 0, -80, 0, -328, 40, 0, 0, 0, 0, -16, 192, 0, 160, 0, -24, 0, 200, 16, 0, 0, 0, 0, -8, 128, 0, -144, 0, -32, 0, 32, 32, 0, 0, 0, 0, 32, -240, 0, 156, 0, 16, 0, -128, 112, 0, 0, 0, 0, -216, -4, 0, 40, 0, -40, 0, -96, 144, 0, 0, 0, 0, 32, -40, 0, -256, 0, 192, 0, 160, 16, 0, 0, 0, 0, 112, 32, 0, -4, 0, 0, 0, 8, 48, 0, 0, 0, 0, -112, 40, 0, -64, 0, -128, 0, -16, -24, 0, 0, 0, 0, -80, -100, 0, 32, 0, -160, 0, -24, 224, 0, 0, 0, 0, 112, 448, 0, 256, 0, -48, 0, -256, 16, 0, 0, 0, 0, -440, -8, 0, -32, 0, -128, 0, -8, 128, 0, 0, 0, 0, -24, 56, 0, -48, 0, -480, 0, -40, 32, 0, 0, 0, 0, 16, 144, 0, 8, 0, 4, 0, 48, -116, 0, 0, 0, 0, 0, -36, 0, 8, 0, -304, 0, -48, 104, 0, 0, 0, 0, -24, -80, 0, 16, 0, 176, 0, -96, 416, 0, 0, 0, 0, -56, 56, 0, 176, 0, 112, 0, 0, 128, 0, 0, 0, 0, -304, 16, 0, 16, 0, 176, 0, -8, 160, 0, 0, 0, 0, 16, -336, 0, -152, 0, -80, 0, -128, 208, 0, 0, 0, 0, 56, -112, 0, -92, 0, 112, 0, 0, -176, 0, 0, 0, 0, -16, 32, 0, 0, 0, -48, 0, -48, 80, 0, 0, 0, 0, -104, 8, 0, -40, 0, -8, 0, -152, -64, 0, 0, 0, 0, -72, 144, 0, -32, 0, 272, 0, -224, -4, 0, 0, 0, 0, 32, 16, 0, -80, 0, 132, 0, -32, -320, 0, 0, 0, 0, 64, 272, 0, 80, 0, 224, 0, 52, -184, 0, 0, 0, 0, 112, 80, 0, 216, 0, 136, 0, 0, -176, 0, 0, 0, 0, 32, -32, 0, 432, 0, 216, 0, 128, 152, 0, 0, 0, 0, 88, 112, 0, 8, 0, -80, 0, -16, -48, 0, 0, 0, 0, -8, -80, 0, -288, 0, 0, 0, -256, -32, 0, 0, 0, 0, 96, -16, 0, 96, 0, -48, 0, -48, -16, 0, 0, 0, 0, 100, -24, 0, 248, 0, -208, 0, -200, -64, 0, 0, 0, 0, -96, 104, 0, 0, 0, -16, 0, -16, -64, 0, 0, 0, 0, 128, -164, 0, 0, 0, 88, 0, -16, 0, 0, 0, 0, 0, -32, -48, 0, 120, 0, -48, 0, 80, 368, 0, 0, 0, 0, 216, -80, 0, -160, 0, -272, 0, 48, 48, 0, 0, 0, 0, -520, -128, 0, -112, 0, -160, 0, -32, 52, 0, 0, 0, 0, -16, 8, 0, 0, 0, -176, 0, 104, 16, 0, 0, 0, 0, 112, -16, 0, 32, 0, -16, 0, -224, 48, 0, 0, 0, 0, -8, 0, 0, 304, 0, -32, 0, -48, 8, 0, 0, 0, 0, 160, 240, 0, 24, 0, -400, 0, -80, 528, 0, 0, 0, 0, -288, 400, 0, 120, 0, -16, 0, -128, 80, 0, 0, 0, 0, -160, -4, 0, 192, 0, -28, 0, 32, 56, 0, 0, 0, 0, -44, 320, 0, -32, 0, -368, 0, 96, 32, 0, 0, 0, 0, 40, 184, 0, 40, 0, 100, 0, 0, 40, 0, 0, 0, 0, -288, 272, 0, 376, 0, 0, 0, 8, 176, 0, 0, 0, 0, 176, 16, 0, 48, 0, 96, 0, -192, 184, 0, 0, 0, 0, -32, 192, 0, -272, 0, -192, 0, -208, -8, 0, 0, 0, 0, -480, 96, 0, -32, 0, -240, 0, -56, 40, 0, 0, 0, 0, 0, 160, 0, -128, 0, -16, 0, -416, 224, 0, 0, 0, 0, -472, -48, 0, 232, 0, 16, 0, -16, -32, 0, 0, 0, 0, 0, -128, 0, -144, 0, 112, 0, 8, 64, 0, 0, 0, 0, -96, 32, 0, -40, 0, 32, 0, -40, 272, 0, 0, 0, 0, -96, -256, 0, 24, 0, 4, 0, -432, -32, 0, 0, 0, 0, 112, -160, 0, 48, 0, 100, 0, 48, 208, 0, 0, 0, 0, 64, 168, 0, -8, 0, 48, 0, -48, 32, 0, 0, 0, 0, 40, 272, 0, 80, 0, -240, 0, 144, 56, 0, 0, 0, 0, -32, -16, 0, 496, 0, -544, 0, -80, 40, 0, 0, 0, 0, 152, 40, 0, 8, 0, -80, 0, -112, -96, 0, 0, 0, 0, -64, 432, 0, 40, 0, -24, 0, 32, -16, 0, 0, 0, 0, 64, 0, 0, -56, 0, 48, 0, -8, 452, 0, 0, 0, 0, -192, 112, 0, 128, 0, 224, 0, 208, -424, 0, 0, 0, 0, 80, 0, 0, -48, 0, -48, 0, 200, 248, 0, 0, 0, 0, 16, 144, 0, -320, 0, -176, 0, 64, -48, 0, 0, 0, 0, -16, -288, 0, -4, 0, -176, 0, 168, 96, 0, 0, 0, 0, -176, 16, 0, 248, 0, -304, 0, 0, 80, 0, 0, 0, 0, -96, -80, 0, -584, 0, -176, 0, -136, 0, 0, 0, 0, 0, 52, -72, 0, -176, 0, -112, 0, 272, -80, 0, 0, 0, 0, -328, 96, 0, 0, 0, -8, 0, 24, 64, 0, 0, 0, 0, 520, -208, 0, 336, 0, 16, 0, -128, 128, 0, 0, 0, 0, -216, 16, 0, -48, 0, -16, 0, -56, -280, 0, 0, 0, 0, -112, -560, 0, -960, 0, -40, 0, 816, 32, 0, 0, 0, 0, 1008, -24, 0, 32, 0, 416, 0, 0, -1216, 0, 0, 0, 0, -128, 128, 0, -16, 0, 1024, 0, -492, 8, 0, 0, 0, 0, -288, 16, 0, 336, 0, 48, 0, -336, 0, 0, 0, 0, 0, -256, 336, 0, -32, 0, 584, 0, 4, -144, 0, 0, 0, 0, 48, -72, 0, 96, 0, 864, 0, -24, -920, 0, 0, 0, 0, 32, 48, 0, 288, 0, -64, 0, -400, 104, 0, 0, 0, 0, 752, 0, 0, 32, 0, -96, 0, 48, -576, 0, 0, 0, 0, 4, 128, 0, 120, 0, -80, 0, 1056, 0, 0, 0, 0, 0, -48, 136, 0, -36, 0, 208, 0, 16, -64, 0, 0, 0, 0, 656, -64, 0, -1184, 0, 80, 0, 240, 72, 0, 0, 0, 0, -32, 28, 0, -32, 0, 24, 0, -64, 16, 0, 0, 0, 0, 80, -1200, 0, 16, 0, 120, 0, 40, 8, 0, 0, 0, 0, 104, 128, 0, 80, 0, 0, 0, 32, 280, 0, 0, 0, 0, 8, -592, 0, 128, 0, -160, 0, 32, -32, 0, 0, 0, 0, 96, 112, 0, -656, 0, -8, 0, 192, -312, 0, 0, 0, 0, -128, -100, 0, -784, 0, -184, 0, 16, -152, 0, 0, 0, 0, 64, -56, 0, 16, 0, -272, 0, 192, -64, 0, 0, 0, 0, 0, 32, 0, 464, 0, -24, 0, 720, -160, 0, 0, 0, 0, -224, -176, 0, 272, 0, 48, 0, -48, -48, 0, 0, 0, 0, -48, -224, 0, 80, 0, -680, 0, -272, 120, 0, 0, 0, 0, 1128, -544, 0, -160, 0, -48, 0, -104, 16, 0, 0, 0, 0, 16, 176, 0, -48, 0, -48, 0, 128, -80, 0, 0, 0, 0, -16, 76, 0, 88, 0, -64, 0, -200, -880, 0, 0, 0, 0, 272, -104, 0, -128, 0, 144, 0, -16, 64, 0, 0, 0, 0, -448, -32, 0, 16, 0, -176, 0, -72, 80, 0, 0, 0, 0, -160, -16, 0, 80, 0, 784, 0, -312, 0, 0, 0, 0, 0, -304, 32, 0, 128, 0, 104, 0, 488, 16, 0, 0, 0, 0, -80, 136, 0, 544, 0, -112, 0, 4, -192, 0, 0, 0, 0, -288, 408, 0, 40, 0, 656, 0, -8, -560, 0, 0, 0, 0, 944, 736, 0, 108, 0, -48, 0, 1040, -32, 0, 0, 0, 0, 288, 8, 0, -848, 0, 128, 0, 192, 560, 0, 0, 0, 0, -16, -800, 0, -104, 0, 784, 0, -96, 8, 0, 0, 0, 0, -112, -992, 0, -112, 0, 4, 0, -96, -32, 0, 0, 0, 0, -416, -8, 0, -672, 0, -128, 0, 32, -224, 0, 0, 0, 0, 288, -32, 0, -32, 0, 184, 0, 1024, -608, 0, 0, 0, 0, 272, 208, 0, 232, 0, -32, 0, -224, 128, 0, 0, 0, 0, 848, 64, 0, 0, 0, -400, 0, 100, 72, 0, 0, 0, 0, 64, 304, 0, 160, 0, 536, 0, 240, -624, 0, 0, 0, 0, 192, 144, 0, 176, 0, 0, 0, 32, -112, 0, 0, 0, 0, -16, -80, 0, 232, 0, 664, 0, 48, 8, 0, 0, 0, 0, -16, 32, 0, -164, 0, -144, 0, 80, 528, 0, 0, 0, 0, -280, 32, 0, 0, 0, 32, 0, 512, -32, 0, 0, 0, 0, 32, 8, 0, 128, 0, 48, 0, -24, -120, 0, 0, 0, 0, 32, 296, 0, 224, 0, 896, 0, 16, -96, 0, 0, 0, 0, -540, 96, 0, 120, 0, -192, 0, 144, 64, 0, 0, 0, 0, -64, -16, 0, -896, 0, 400, 0, -144, -976, 0, 0, 0, 0, 56, -72, 0, -4, 0, -32, 0, 200, -72, 0, 0, 0, 0, 56, 408, 0, 592, 0, -80, 0, -368, 0, 0, 0, 0, 0, 1296, 192, 0, 192, 0, 40, 0, -80, 416, 0, 0, 0, 0, -104, -640, 0, 8, 0, -688, 0, 152, -328, 0, 0, 0, 0, 160, 48, 0, 288, 0, -16, 0, 592, 264, 0, 0, 0, 0, -16, 96, 0, 208, 0, 80, 0, -256, -100, 0, 0, 0, 0, -96, 160, 0, 160, 0, -232, 0, 160, -80, 0, 0, 0, 0, 120, -768, 0, -776, 0, -132, 0, -32, 80, 0, 0, 0, 0, 296, -176, 0, 176, 0, 72, 0, -16, -208, 0, 0, 0, 0, -16, 120, 0, -176, 0, -272, 0, -496, 208, 0, 0, 0, 0, -544, -1120, 0, -4, 0, -176, 0, -104, -16, 0, 0, 0, 0, -160, 0, 0, -832, 0, -40, 0, 192, -160, 0, 0, 0, 0, -208, 192, 0, 48, 0, -240, 0, 432, 640, 0, 0, 0, 0, -176, -16, 0, 784, 0, 92, 0, -992, -304, 0, 0, 0, 0, -168, 0, 0, 304, 0, -176, 0, 16, 344, 0, 0, 0, 0, -96, -224, 0, 8, 0, -704, 0, 1152, 96, 0, 0, 0, 0, 16, 72, 0, -976, 0, 8, 0, -352, 216, 0, 0, 0, 0, -128, 224, 0, -624, 0, -496, 0, -8, 48, 0, 0, 0, 0, -32, 144, 0, 8, 0, 112, 0, -128, 192, 0, 0, 0, 0, -544, -16, 0, -48, 0, -272, 0, 1008, 72, 0, 0, 0, 0, 752, -8, 0, 96, 0, -392, 0, 80, 200, 0, 0, 0, 0, 4, 240, 0, 336, 0, 48, 0, -512, 320, 0, 0, 0, 0, -680, -560, 0, -144, 0, 80, 0, 0, 112, 0, 0, 0, 0, 1008, 32, 0, 456, 0, -368, 0, -32, 224, 0, 0, 0, 0, -256, -24, 0, -96, 0, -16, 0, -104, -928, 0, 0, 0, 0, 16, 688, 0, 112, 0, 368, 0, -304, -48, 0, 0, 0, 0, 64, 168, 0, -128, 0, -16, 0, -80, -528, 0, 0, 0, 0, 104, -432, 0, -136, 0, -64, 0, 136, 0, 0, 0, 0, 0, 32, 96, 0, 256, 0, -176, 0, -96, -32, 0, 0, 0, 0, -144, -80, 0, 336, 0, 524, 0, 24, -128, 0, 0, 0, 0, -152, 224, 0, -16, 0, 1024, 0, 8, 16, 0, 0, 0, 0, -48, -880, 0, -1112, 0, -8, 0, 816, -224, 0, 0, 0, 0, 912, 16, 0, -232, 0, 48, 0, -32, -992, 0, 0, 0, 0, -96, 280, 0, 352, 0, 432, 0, 16, -8, 0, 0, 0, 0, -352, 64, 0, 192, 0, -192, 0, -336, -64, 0, 0, 0, 0, 96, -260, 0, -64, 0, 1048, 0, 16, 84, 0, 0, 0, 0, -144, 56, 0, 48, 0, -16, 0, -280, -576, 0, 0, 0, 0, 72, 144, 0, 160, 0, -488, 0, 480, -100, 0, 0, 0, 0, 416, 40, 0, -64, 0, 640, 0, 152, 704, 0, 0, 0, 0, 64, 96, 0, 320, 0, 616, 0, 880, 368, 0, 0, 0, 0, 240, 240, 0, 24, 0, 0, 0, -96, 152, 0, 0, 0, 0, -24, 16, 0, -560, 0, -88, 0, -224, -128, 0, 0, 0, 0, -208, 48, 0, 0, 0, -704, 0, -24, -608, 0, 0, 0, 0, 24, -576, 0, 248, 0, -64, 0, -672, -32, 0, 0, 0, 0, -352, -4]