# Trace form for 1005.2.c, downloaded from the LMFDB on 23 April 2024.
[0, 68, 0, 0, -68, 0, 0, 0, 0, -68, -12, 0, 0, 0, 24, -4, 68, 0, 0, 0, 8, 8, 0, 0, 0, -4, -40, 0, 0, -8, -16, 0, 0, 0, 40, 20, 68, 0, 0, -16, 28, -16, 0, 0, -48, 0, 40, 0, 0, -92, 8, -8, 0, 0, 0, 48, 0, 0, 0, 16, -8, -16, 0, 0, -44, 52, -8, 0, 0, 16, -64, -32, 0, 0, -8, 24, -32, 0, 0, -32, -32, 68, 0, 0, 0, -8, -16, 0, 0, -16, 12, 8, 0, 0, 8, -16, 0, 0, 0, 0, 28, 24, 0, 0, 8, -16, 72, 0, 0, -16, 0, -8, 0, 0, 32, 24, 152, 0, 0, -8, 0, 92, 0, 0, 72, -24, -24, 0, 0, -32, -72, 0, 0, 0, 0, 4, -184, 0, 0, 8, -160, 0, 0, 0, -68, 88, 144, 0, 0, 40, 36, -24, 0, 0, -160, -80, 96, 0, 0, -8, -108, -88, 0, 0, 56, 8, 32, 0, 0, -68, -60, 0, 0, 0, 0, 32, 248, 0, 0, -32, -8, 56, 0, 0, -8, 32, -80, 0, 0, -8, -64, -8, 0, 0, -192, 24, 324, 0, 0, -64, -168, 12, 0, 0, 8, -56, 272, 0, 0, 128, -44, 64, 0, 0, 96, -8, 0, 0, 0, 24, -192, 24, 0, 0, 0, 4, 8, 0, 0, 32, -40, 8, 0, 0, 40, 24, -56, 0, 0, -8, 12, -8, 0, 0, 48, -144, -8, 0, 0, 16, -124, 0, 0, 0, 168, 40, 20, 0, 0, 40, -164, 8, 0, 0, 96, -168, -40, 0, 0, 104, 16, -8, 0, 0, 112, 8, -136, 0, 0, 0, 120, 64, 0, 0, -48, -4, -184, 0, 0, -164, 32, -24, 0, 0, 136, 16, 24, 0, 0, -152, -176, -80, 0, 0, 104, 4, -40, 0, 0, -80, -24, 48, 0, 0, -32, -20, 56, 0, 0, 88, 176, 8, 0, 0, -68, -16, 312, 0, 0, -32, 4, -40, 0, 0, 208, 0, 56, 0, 0, -88, -208, 0, 0, 0, 144, -100, -184, 0, 0, 72, -100, 16, 0, 0, 88, 96, 120, 0, 0, 16, -28, 148, 0, 0, 48, 32, 0, 0, 0, 16, 48, -136, 0, 0, -144, 100, -64, 0, 0, 104, 0, 72, 0, 0, 56, 152, -400, 0, 0, -96, 24, 56, 0, 0, 16, 0, 48, 0, 0, -16, -36, -144, 0, 0, -32, 0, 64, 0, 0, 64, -136, -64, 0, 0, -40, 24, -176, 0, 0, 16, -8, 80, 0, 0, -192, 12, -56, 0, 0, -16, 0, 144, 0, 0, 40, 40, 24, 0, 0, -96, 112, 92, 0, 0, -16, 32, 88, 0, 0, -160, -8, 160, 0, 0, 248, -136, -192, 0, 0, 8, -16, 0, 0, 0, -376, 8, 112, 0, 0, -32, -28, -80, 0, 0, 152, -24, 80, 0, 0, 112, 32, 104, 0, 0, -140, 204, 0, 0, 0, -8, 100, 24, 0, 0, -104, -48, 232, 0, 0, -32, 208, 24, 0, 0, 0, 16, 376, 0, 0, -16, -8, -88, 0, 0, -208, -64, -16, 0, 0, 40, -56, -80, 0, 0, -80, -44, -344, 0, 0, -268, -232, -16, 0, 0, -56, -136, 0, 0, 0, 96, 8, 16, 0, 0, 432, 156, 200, 0, 0, 16, 96, 168, 0, 0, 208, -80, 112, 0, 0, -224, 404, 88, 0, 0, -96, -88, -432, 0, 0, 192, 16, -56, 0, 0, 88, 60, 44, 0, 0, -24, -104, -24, 0, 0, -608, -52, -144, 0, 0, -48, -84, 40, 0, 0, 8, -32, 192, 0, 0, -24, -168, -112, 0, 0, -144, 224, 72, 0, 0, -32, 80, -152, 0, 0, -352, 32, 184, 0, 0, 0, 348, -16, 0, 0, -288, -68, 208, 0, 0, -144, 64, -136, 0, 0, -184, 40, -104, 0, 0, 32, 420, -176, 0, 0, 704, -24, 56, 0, 0, -128, 236, 56, 0, 0, 48, 136, 8, 0, 0, -48, -48, 32, 0, 0, 144, -12, 8, 0, 0, 128, 0, -168, 0, 0, 376, -24, 116, 0, 0, 32, 20, -32, 0, 0, 32, -208, -536, 0, 0, 336, 72, 272, 0, 0, 32, 212, 120, 0, 0, 24, -288, 232, 0, 0, -544, 8, -208, 0, 0, -376, -348, 32, 0, 0, 160, 96, -256, 0, 0, -96, 32, -248, 0, 0, -32, 352, -152, 0, 0, -68, -88, 64, 0, 0, 216, -32, 8, 0, 0, 96, -216, 216, 0, 0, 216, 0, -96, 0, 0, -336, 48, -80, 0, 0, 256, -120, 0, 0, 0, -224, 232, -272, 0, 0, 72, 8, 160, 0, 0, 456, -348, -40, 0, 0, 16, 16, 48, 0, 0, -272, 96, -48, 0, 0, -828, 272, 144, 0, 0, 56, -272, 432, 0, 0, 592, 96, -120, 0, 0, -256, 176, 16, 0, 0, -36, -8, -344, 0, 0, -176, -12, 32, 0, 0, 184, 360, 136, 0, 0, -8, 336, 64, 0, 0, -440, 36, 152, 0, 0, -120, 132, -16, 0, 0, 64, 200, -232, 0, 0, -168, 212, -228, 0, 0, -288, 128, -8, 0, 0, -16, 40, 432, 0, 0, 224, 16, -112, 0, 0, -336, -372, -8, 0, 0, 0, 160, 416, 0, 0, -216, -112, 88, 0, 0, 112, 92, -104, 0, 0, 144, 168, -160, 0, 0, 384, -76, 72, 0, 0, 600, -28, 0, 0, 0, -296, -32, -320, 0, 0, -232, -28, -112, 0, 0, 312, 192, -160, 0, 0, -24, 120, -80, 0, 0, -168, -48, 8, 0, 0, -216, -188, 16, 0, 0, -72, 168, -320, 0, 0, -304, -140, 224, 0, 0, -8, -352, -8, 0, 0, -88, 88, -120, 0, 0, 832, 16, -656, 0, 0, -24, -184, -32, 0, 0, -72, 96, 120, 0, 0, -224, 64, -100, 0, 0, 488, 64, 40, 0, 0, 144, -512, 272, 0, 0, 736, 256, -896, 0, 0, 16, -56, 16, 0, 0, -128, 64, 80, 0, 0, 112, 0, 48, 0, 0, 416, -176, -264, 0, 0, 8, 212, -432, 0, 0, 808, 0, 224, 0, 0, -88, -280, -8, 0, 0, 160, -112, -424, 0, 0, 0, -136, 96, 0, 0, 588, 192, -32, 0, 0, 8, 312, 120, 0, 0, 424, -24, -384, 0, 0, 48, -148, -168, 0, 0, -152, 344, -632, 0, 0, 272, 264, 24, 0, 0, 128, 24, -152, 0, 0, -32, 544, -16, 0, 0, -264, 40, 168, 0, 0, 56, 140, 8, 0, 0, -40, -432, -192, 0, 0, -96, 0, -400, 0, 0, -352, -32, -304, 0, 0, -92, -400, -120, 0, 0, 160, 132, 120, 0, 0, -280, -104, -128, 0, 0, 424, -72, 280, 0, 0, -232, 176, 344, 0, 0, -336, 192, -72, 0, 0, -16, -8, -56, 0, 0, -480, 24, -744, 0, 0, 416, 200, -8, 0, 0, 24, 224, 56, 0, 0, 0, 124, -88, 0, 0, 504, -16, -176, 0, 0, 160, 56, 296, 0, 0, 312, -32, -228, 0, 0, -72, 400, 32, 0, 0, 32, -192, 568, 0, 0, 624, 72, -184, 0, 0, 232, -452, -648, 0, 0, 0, 144, -24, 0, 0, -136, -152, 208, 0, 0, -72, -144, 16, 0, 0, -344, -112, -88, 0, 0, -464, 216, 40, 0, 0, -8, -32, 0, 0, 0, -8, 28, 336, 0, 0, 536, -4, 232, 0, 0, -40, -148, 0, 0, 0, 184, -212, 216, 0, 0, -352, -184, 24, 0, 0, 368, -440, 248, 0, 0, -88, 80, -184, 0, 0, 456, -4, -352, 0, 0, -360, -592, -8, 0, 0, 216, 72, -280, 0, 0, 264, 160, -40, 0, 0, -320, 52, 88, 0, 0, 0, -280, -8, 0, 0, 752, 104, 280, 0, 0, 80, -208, -192, 0, 0, -32, 240, -368, 0, 0, 392, -108, -112, 0, 0, -880, -32, 68, 0, 0, 104, 128, 264, 0, 0, -952, -88, 8, 0, 0, 416, 160, -24, 0, 0, -144, 336, -200, 0, 0, -72, 12, 264, 0, 0, 528, 208, 72, 0, 0, 216, -392, 888, 0, 0, -176, 144, -352, 0, 0, 128, 44, -40, 0, 0, -544, 128, -712, 0, 0, -32, -36, -32, 0, 0, 816, -32, 592, 0, 0, 24, 504, -312, 0, 0, -536, -196, 112, 0, 0, 60, -136, -232, 0, 0, 192, 128, -336, 0, 0, -24, 460, 200, 0, 0, 816, -152, 160, 0, 0, -80, 424, -536, 0, 0, 552, 80, -424, 0, 0, -192, 312, -32, 0, 0, -96, 0, -688, 0, 0, -128, -240, -8, 0, 0, 376, -296, -64, 0, 0, -48, -40, 384, 0, 0, -160, -104, -656, 0, 0, -504, -312, 8, 0, 0, -272, 136, -88, 0, 0, 520, 108, 24, 0, 0, -532, 24, 304, 0, 0, 88, 80, 40, 0, 0, -408, -80, 384, 0, 0, -208, -560, -144, 0, 0, 328, 120, -128, 0, 0, -752, -40, 336, 0, 0, -32, -232, -56, 0, 0, 272, -464, 168, 0, 0, 392, -8, 488, 0, 0, 392, 736, 320, 0, 0, -32, 96, -384, 0, 0, -104, -484, -248, 0, 0, 848, 72, 288, 0, 0, 64, -232, 568, 0, 0, -104, 16, 200, 0, 0, -256, 584, 68, 0, 0, 72, -160, 456, 0, 0, -144, 60, -96, 0, 0, -1016, -168, -40, 0, 0, 0, -944, -24, 0, 0, 904, -100, 40, 0, 0, 704, 8, 24, 0, 0, -184, -320, -16, 0, 0, 296, -208, -40, 0, 0, -760, 596, 0, 0, 0, -64, 24, -528, 0, 0, 320, -32, -96, 0, 0, -88, 392, -176, 0, 0, -248, -216, 384, 0, 0, -1024, -128, -192, 0, 0, 96, -88, 408, 0, 0, -104, 84, -168, 0, 0, 456, -104, 424, 0, 0, 272, 352, 32, 0, 0, 56, -392, 112, 0, 0, -296, 8, 344, 0, 0, -352, 88, -256, 0, 0, -56, -104, 288, 0, 0, -64, 56, 56, 0, 0, -48, 232, 136, 0, 0, 168, 496, -248, 0, 0, 64, 40, 544, 0, 0, -800, 352, 8, 0, 0, -88, -248, -80, 0, 0, 128, -32, -256, 0, 0, -160, 144, -200, 0, 0, 80, 16, -336, 0, 0, 120, -216, -12, 0, 0, -208, 372, 264, 0, 0, 264, -604, -504, 0, 0, 328, 192, 376, 0, 0, 104, 652, 8, 0, 0, 240, -72, -80, 0, 0, -472, 64, -136, 0, 0, -696, -540, 528, 0, 0, 8, 536, -48, 0, 0, -136, 48, -264, 0, 0, 192, 628, -128, 0, 0, 152, 376, 736, 0, 0, 672, -184, -48, 0, 0, 16, -240, 192, 0, 0, 320, 192, -200, 0, 0, -680, -24, -360, 0, 0, -344, -448, 72, 0, 0, -324, 112, -8, 0, 0, 408, 72, -584, 0, 0, 720, -452, -192, 0, 0, -40, 24, 80, 0, 0, -672, 88, -864, 0, 0, -504, 624, 64, 0, 0, -40, -64, -56, 0, 0, -408, 168, 64, 0, 0, -696, 328, 256, 0, 0, -12, 56, 552, 0, 0, -576, 12, -432, 0, 0, 400, 1248, 8, 0, 0, 304, 152, -32, 0, 0, -776, -8, 608, 0, 0, 8, 160, -8, 0, 0, -96, 792, -616, 0, 0, 520, 56, 16, 0, 0, -476, 168, -16, 0, 0, -272, 104, 344, 0, 0, -24, -104, -272, 0, 0, -904, -188, -272, 0, 0, -320, -288, 632, 0, 0, -480, -240, 96, 0, 0, 496, 12, -128, 0, 0, 64, -112, -56, 0, 0, 304, 44, 304, 0, 0, 1080, -540, -256, 0, 0, -64, -320, -368, 0, 0, -376, 156, 304, 0, 0, 192, 536, 120, 0, 0, 200, 176, 576, 0, 0, 88, 40, -56, 0, 0, -280, 180, -96, 0, 0, -280, 312, -184, 0, 0, -1016, 8, 332, 0, 0, 16, -548, 32, 0, 0, 0, -184, -776, 0, 0, 544, -272, -480, 0, 0, -640, 296, 8, 0, 0, -264, -380, -360, 0, 0, -688, -36, 408, 0, 0, 200, -328, -24, 0, 0, 64, -208, 224, 0, 0, 480, 192, -48, 0, 0, -440, 136, 240, 0, 0, -24, 864, 712, 0, 0, 1168, 120, 608, 0, 0, 216, -448]