# Trace form for 1710.2.a, downloaded from the LMFDB on 23 April 2024.
[0, 30, 0, 0, 30, -2, 0, 0, 0, 0, 0, 0, 0, 8, -4, 0, 30, 0, 0, 0, -2, 0, 0, -16, 0, 30, -16, 0, 0, -4, 0, -8, 0, 0, -8, 4, 0, -16, -6, 0, 0, -4, 0, -20, 0, 0, -12, 20, 0, 50, 0, 0, 8, 16, 0, -24, -4, 0, -20, 48, 0, -12, -8, 0, 30, 0, 0, 0, 0, 0, 12, 8, 0, -8, 12, 0, 0, 0, 0, 0, -2, 0, 16, 36, 0, 36, -12, 0, 0, 4, 0, 32, -16, 0, 4, 0, 0, -16, -16, 0, 30, 52, 0, 8, -16, 0, -40, 24, 0, 28, 8, 0, 0, -8, 0, -4, -4, 0, -4, -28, 0, 22, 48, 0, -8, -2, 0, 40, 0, 0, -4, 0, 0, 4, 44, 0, -8, -32, 0, -80, 4, 0, -48, 24, 0, -12, 8, 0, -16, -28, 0, 16, -6, 0, 56, 24, 0, 36, 8, 0, 0, 60, 0, -20, -4, 0, 36, -48, 0, 86, 0, 0, -20, 8, 0, 0, 0, 0, 56, 56, 0, -28, 68, 0, -12, 16, 0, 16, 20, 0, 2, 28, 0, 24, 28, 0, 50, -68, 0, 20, 0, 0, -8, -32, 0, -4, -24, 0, 8, 0, 0, -104, 16, 0, -12, 20, 0, 80, -76, 0, -24, -88, 0, -64, -4, 0, -28, -24, 0, 28, 4, 0, -20, -124, 0, 12, 48, 0, -104, 20, 0, -100, 0, 0, -12, -2, 0, -16, -8, 0, 0, 16, 0, -48, -24, 0, 30, -96, 0, 72, 0, 0, -88, -44, 0, -8, 0, 0, 0, -20, 0, -44, 0, 0, -8, 0, 0, 76, 72, 0, 12, -36, 0, -52, 8, 0, -48, 0, 0, 46, -16, 0, -8, -32, 0, 0, 12, 0, -96, 0, 0, -48, -40, 0, 0, -4, 0, -80, 0, 0, -16, -44, 0, -80, 0, 0, 0, -8, 0, 184, -2, 0, 48, -8, 0, 8, -44, 0, 16, 96, 0, -40, 36, 0, -48, 56, 0, -200, 16, 0, 36, -96, 0, 84, -12, 0, -20, 20, 0, 44, -4, 0, 0, -120, 0, -8, 4, 0, -16, -28, 0, 30, -112, 0, 32, -36, 0, 44, -16, 0, 28, -80, 0, -48, 104, 0, 4, 180, 0, -24, 0, 0, -16, -80, 0, 40, -76, 0, -16, 4, 0, -20, -16, 0, 24, 8, 0, 92, -8, 0, 30, 68, 0, 80, 52, 0, 68, -96, 0, 36, 16, 0, 8, 24, 0, -12, -16, 0, 0, 64, 0, 36, 28, 0, -40, 0, 0, 48, 24, 0, 12, -32, 0, -128, 16, 0, 28, -4, 0, -32, 8, 0, 76, 76, 0, 44, -48, 0, 0, -100, 0, -80, -8, 0, -68, 80, 0, -144, -72, 0, -4, 60, 0, -164, -4, 0, -16, 44, 0, -72, -4, 0, -4, -16, 0, 0, -28, 0, -8, -40, 0, -96, -24, 0, 22, -8, 0, -120, 48, 0, -32, 16, 0, -176, 8, 0, -8, 48, 0, -152, -2, 0, -80, 0, 0, 36, -24, 0, 40, 68, 0, 36, 0, 0, -12, -80, 0, -112, -48, 0, -4, -36, 0, -184, 0, 0, -28, 128, 0, 114, -36, 0, 4, 8, 0, -16, 44, 0, -16, 192, 0, -212, 72, 0, -8, -12, 0, -32, -32, 0, 0, 28, 0, -40, -48, 0, -80, 4, 0, 72, 4, 0, 0, 32, 0, -40, 12, 0, -48, 12, 0, -72, 24, 0, 80, -16, 0, -8, 32, 0, -12, 24, 0, 104, 8, 0, -48, -20, 0, -24, -56, 0, -16, -156, 0, 32, -28, 0, 76, 80, 0, 140, 16, 0, 16, 86, 0, 176, -6, 0, -32, -8, 0, 52, -8, 0, 56, 76, 0, -16, 24, 0, 72, -8, 0, 30, -64, 0, 36, 96, 0, -56, 8, 0, -88, -48, 0, 64, 0, 0, 0, 124, 0, 20, 60, 0, -16, 56, 0, 56, -16, 0, -20, 132, 0, -40, -4, 0, -32, 32, 0, 36, -60, 0, 36, -12, 0, 0, -48, 0, 24, -144, 0, 0, -196, 0, 86, -16, 0, 176, 0, 0, 80, 224, 0, 4, 40, 0, -20, -44, 0, -112, 8, 0, 148, 24, 0, -112, -24, 0, 0, -108, 0, 36, 0, 0, -56, 88, 0, 220, 16, 0, 56, 304, 0, 32, 56, 0, 128, -100, 0, 8, 0, 0, -28, -4, 0, 144, 68, 0, 0, 104, 0, -12, 28, 0, -12, -88, 0, 184, 16, 0, 204, -280, 0, 92, 16, 0, 16, -104, 0, 104, 20, 0, 40, -16, 0, -84, 92, 0, 2, 56, 0, 64, 28, 0, 8, -140, 0, -56, 80, 0, 24, 8, 0, -8, 28, 0, 56, 32, 0, 176, 72, 0, 50, 52, 0, 104, -68, 0, -8, -152, 0, 160, -32, 0, 20, 0, 0, 8, 0, 0, -120, 16, 0, 0, 48, 0, -8, -64, 0, 224, -32, 0, 160, 4, 0, 60, -48, 0, -4, 284, 0, -176, -24, 0, -52, -224, 0, 28, -20, 0, 8, 140, 0, -40, 0, 0, 56, 48, 0, 38, -124, 0, -104, -78, 0, -160, 16, 0, -8, -104, 0, 20, -24, 0, -12, -144, 0, -96, 20, 0, 152, -152, 0, 40, 108, 0, 80, -64, 0, 148, -76, 0, 16, 4, 0, 32, -64, 0, -24, -180, 0, 92, -88, 0, -4, -96, 0, -248, -16, 0, -64, -36, 0, 56, -4, 0, -168, -16, 0, 56, 96, 0, -28, 124, 0, -8, -24, 0, -56, -120, 0, 48, -80, 0, 28, 8, 0, 76, 4, 0, -168, -136, 0, -16, 12, 0, -20, -128, 0, -80, -124, 0, 140, -104, 0, 184, 108, 0, 12, -76, 0, 32, 48, 0, -16, 140, 0, 88, -6, 0, -104, -24, 0, -24, 20, 0, 96, 36, 0, -18, 0, 0, -100, 8, 0, -76, 0, 0, 28, 184, 0, 152, 56, 0, -12, -16, 0, -192, -2, 0, 8, -256, 0, -44, 20, 0, -16, 128, 0, 16, -8, 0, -136, 64, 0, -76, 96, 0, 0, 248, 0, 120, 16, 0, 20, 40, 0, -76, 64, 0, -48, 76, 0, 120, -24, 0, 72, -184, 0, -4, 152, 0, 30, -4, 0, 128, -96, 0, 56, 112, 0, -120, 112, 0, 72, 0, 0, 152, 0, 0, 80, 40, 0, 8, 108, 0, -88, -4, 0, 168, -44, 0, 160, -8, 0, 176, -16, 0, -8, -52, 0, 56, 0, 0, -144, 112, 0, 20, -32, 0, 0, -72, 0, -20, -20, 0, -136, 88, 0, 224, -72, 0, -44, -48, 0, 160, 0, 0, -80, 112, 0, -64, 24, 0, -8, 328, 0, -104, 0, 0, 20, -64, 0, -88, 144, 0, 76, -100, 0, -128, 72, 0, 0, -32, 0, -48, 72, 0, 12, 12, 0, 304, -36, 0, 56, -164, 0, 20, -4, 0, -52, 352, 0, 64, 8, 0, -192, -56, 0, -80, 160, 0, -48, -76, 0, 48, 0, 0, -12, -84, 0, -184, 0, 0, 46, -48, 0, -16, -16, 0, -128, -244, 0, -108, -112, 0, -8, 168, 0, 24, -32, 0, -12, 20, 0, -56, 8, 0, 0, 76, 0, 68, 12, 0, -224, -12, 0, -64, 56, 0, -96, 152, 0, 0, 0, 0, -64, 152, 0, -200, 136, 0, -48, 4, 0, 416, -40, 0, 32, -104, 0, -228, 112, 0, 0, 72, 0, -176, -4, 0, 120, 208, 0, 50, -96, 0, -80, 84, 0, -120, 0, 0, 40, -12, 0, 104, -80, 0, -16, -164, 0, -64, -44, 0, 56, 8, 0, -44, 0, 0, -80, 64, 0, -16, 0, 0, 160, 192, 0, 120, -136, 0, 0, -72, 0, -248, -8, 0, 80, 144, 0, 36, 156, 0, 184, 188, 0, -68, -2, 0, -56, 368, 0, -64, 4, 0, 48, -160, 0, 464, -8, 0, -68, 8, 0, -224, 176, 0, 8, 140, 0, 12, -44, 0, -176, -112, 0, -80, 32, 0, 16, 24, 0, -20, 96, 0, -44, 16, 0, 84, 12, 0, -40, 16, 0, -112, 36, 0, 12, 0, 0, 448, 12, 0, -48, -60, 0, 48, 56, 0, 160, -104, 0, 36, 20, 0, -200, -32, 0, -264, 16, 0, 32, 48, 0, -312, -136, 0, 36, -340, 0, 120, -96, 0, 104, -24, 0, -190, 48, 0, 84, -180, 0, -24, -12, 0, 48, -80, 0, -4, 16, 0, -20, 20, 0, -56, 20, 0, -16, 116, 0, 124, -104, 0, 44, -288, 0, -160, -4, 0, 160, -144, 0, -132, 16, 0, 0, 4, 0, 0, -120, 0, -176, -12, 0, -124, 168, 0, -8, -188, 0, 144, 4, 0, 128, 136, 0, 84, -8, 0, -16, 104, 0, -120, -28, 0, 144, -312, 0, -48, -192, 0, 30, -22, 0, -192, -112, 0, -20, -8, 0, 116, -196, 0, 32, 64, 0, 8, -36, 0, -56, -40, 0, 88, -56, 0, 44, -48, 0, 128, -16, 0, -160, 48, 0, 152, -32, 0, 28, -244, 0, -124, -80, 0, -152, -152, 0, -36, -96, 0, -48, -276, 0, 48, 104, 0, 60, 32, 0, 24, -40, 0, 4, -168, 0, -432, 180, 0, -112, -344, 0, -264, 24, 0, -24, 176, 0, -136, 0, 0, -16, -16, 0, -12, -60, 0, -16, 80, 0, 48, -80, 0, 32, -32, 0, -164, 176, 0, 40, 104, 0, -32, -76, 0, 200, 296, 0, -508, -8, 0, -16, -96, 0, -64, 4, 0, 20, -128, 0, -176, 48, 0, -20, 36, 0, -372, -16, 0, -88, -144, 0, -216, 164, 0, 24, 12, 0, -400, 8, 0, -256, 184, 0, -112, 112, 0, 92, -40, 0, 40, -8, 0, -24, 192, 0, 60, -216, 0, 30, 24, 0, -88, 68, 0, -88, 24, 0, -308, -64, 0, 80, 172, 0, 0, 52, 0, 128, 32, 0, -100, -68, 0, 68, 0, 0, 200, -96, 0, -36, 16, 0, 80, 44, 0, 36, 56, 0, -96, 16, 0, 248, -208, 0, 96, -252, 0, 8, -88, 0, -160, 24, 0, -12, -152, 0, -140, -252, 0, -12, 80, 0, -48, -16, 0, -56, -56, 0, -12, -16, 0, 0, 20, 0, 0, 64, 0, -48, -68, 0, 330, 176, 0, 36, -56, 0, 200, 28, 0, -64, 24, 0, -192, -84, 0, -40, 84, 0, 96, 0, 0, 224, 520, 0, -48, -64, 0, 48, -180, 0, 84, 24, 0, 36, -136, 0, 24, -32, 0, 12, 360, 0, 192, -32, 0, -128, 272, 0, 12, -68, 0, -128, -412, 0, -68, 16, 0, 304, -56, 0, 28, -176, 0, 28, 68, 0, -128, -4, 0, 12, 264, 0, 808, 112, 0, -32, -40, 0, -28, 8, 0, 16, 168, 0, -44, -36, 0, 76, 104, 0, -224, 76, 0, 104, 8, 0, 56, -16, 0, 44, 120, 0, 240, -48, 0, 28, 124, 0, -108, -72, 0, 0, 80, 0, 88, -100, 0, -64, -136, 0, 4, -220, 0, -80, -2, 0, 312, -8, 0, -56, -136, 0, 0, -52, 0, -68, -88, 0, -8, 80, 0, 248, 368, 0, -8, 0, 0, -144, 128, 0, 228, -72, 0, 184, -76, 0, 720, -8, 0, -4, -112, 0, -4, 60, 0, -192, 120, 0, 262, 12, 0, -164, 384, 0, -192, -4, 0, -112, -288, 0, 92, -26, 0, -16, -40, 0, -156, 44, 0, 0, 112, 0, -48, -72, 0, -72, -320, 0, -228, -4, 0, -124, -152, 0, 40, 112, 0, -4, -68, 0, 304, -16, 0, 196, 8, 0, 44, 92, 0, 0, 76, 0, -192, -28, 0, 212, 12, 0, -72, 144, 0, -8, -16, 0, -72, -40, 0, -88, -8, 0, 272, 64, 0, -96, 0, 0, 56, -24, 0, -68, -192, 0, -56, -124, 0, 22, -176, 0, 96, -8, 0, 224, -140, 0, -60, 72, 0, -120, 212, 0, -256, 48, 0, -348, 80, 0, -48, 16, 0, -32, 336, 0, -56, 16, 0, -56, -496, 0, 32, -64, 0, -176, -60, 0, 0, 8, 0, -16, 56, 0, -488, -128, 0, -8, -140, 0, 236, 48, 0, 72, 208, 0, -204, 88, 0, -152, -32, 0, -84, -2, 0, 16, -224, 0, -12, 20, 0, -80, -28, 0, 288, 0, 0, -48, -24, 0, 128, -112, 0, 36, -336, 0, -172, -24, 0, 216, 32, 0, -28, -64, 0, 40, -84, 0, 16, 68, 0, 284, -128, 0, -488, 396, 0, 36, 140, 0, -88, 0, 0, 16, -320, 0, 100, -264, 0, -12, 0, 0, -440, -80, 0, 136, 108, 0, -160, 16, 0, -112, -164, 0, -52, -48, 0, -80, 36, 0, -16, 104, 0, -4, -36, 0, -80, -36, 0, 72, 76, 0, 244, -24, 0, -184, 8, 0, 120, 0, 0, 32, 72, 0, -400, -128, 0, -28, -4, 0, -356, 128, 0, -8, 424, 0, 504, -216, 0, 114, 176, 0, 216, -36, 0, 240, -160, 0, 36, 16, 0, 4, -308, 0, 32, 8, 0, -112, 144, 0, 224, 40, 0, -16, -4, 0, 80, 44, 0, -184, 12, 0, 224, -12, 0, -16, 192, 0, -64, 192, 0, 176, 232, 0, -20, 320, 0, -212, 72, 0, -32, 72, 0, -40, 520, 0, -168, 148, 0, -8, 84, 0, -240, -12, 0, 68, 104, 0, 12, -36, 0, -32, 16, 0, 244, -32, 0, -148, 8, 0, -104, -64, 0, 0, -176, 0, -376, 28, 0, 116, -24, 0, 14, 32, 0, -40, -220, 0, -68, -48, 0, 448, 112, 0, -92, -176, 0, -80, 4, 0, -280, 4, 0, 16, 160, 0, -472, -160, 0, 72, 80, 0, 268, 4, 0, -16, -140, 0, 132, -24, 0, 0, 0, 0, 56, 32, 0, -28, 0, 0, 224, 200, 0, -40, 24, 0, 192, 12, 0, -224, -20, 0, 172, 48, 0, -48, 376, 0, 32, 12, 0, -172, -136, 0, 144, 416, 0, -72, -220, 0, 32, 24, 0, -144, -16, 0, 192, 144, 0, 80, 0, 0, -64, -16, 0, 48, -284, 0, 52, -44, 0, -8, 20, 0, -112, 32, 0, -120, 68, 0, 88, -4, 0, -12, -312, 0, -280, 24, 0, 20, -48, 0, 172, 32, 0, 104, 144, 0, 52, 8, 0, -72, 200, 0, 44, 256, 0, -48, -8, 0, 112, -20, 0, 4, -16, 0, 168, 96, 0, -24, 12, 0, 216, -56, 0, 4, 584, 0, -80, -316, 0, -16, -24, 0, 40, -156, 0, -36, 0, 0, -56, 72, 0, 32, -76, 0, 736, -28, 0, 108, -128, 0, 28, 136, 0, 76, 208, 0, 32, 80, 0, 144, 180, 0, 14, -288, 0, 140, -104, 0, -344, 16, 0, -8, -32, 0, 64, 168, 0, 16, 256, 0, 344, 86, 0, -240, 280, 0, -16, 64, 0, 176, -192, 0, -184, -6, 0, 80, -72, 0, 44, 180, 0, -32, 364, 0, 168, -8, 0, 284, 96, 0, 288, -16, 0, 52, -112, 0, 96, -8, 0, 24, 56, 0, 200, 168, 0, 56, -8, 0, -236, 76, 0, 16, 140, 0, -336, 64, 0, -16, -212, 0, -72, 24, 0, -112, -184, 0, 80, 144, 0, 72, -56, 0, -344, -8, 0, 472, 144, 0, 312, -112, 0, 30, -344, 0, 328, -64, 0, -208, 0, 0, -96, 32, 0, 36, -404, 0, -132, 96, 0, -48, 400, 0, -84, -24, 0, -56, 52, 0, 0, 8, 0, 16, 392, 0, 216, 128, 0, -88, -224, 0, 240, -48, 0, -208, -136, 0, -52, 64, 0, 64, -236, 0, 112, 0, 0, -216, -256, 0, 68, 176, 0, 0, -40, 0, 0, 124, 0, -204, -240, 0, -480, 20, 0, 20, 64, 0, 8, 60, 0, -32, -8, 0, 360, -204, 0, -16, 112, 0, 344, 56, 0, -24, -424, 0, 252, -208, 0, 56, 296, 0, -296, -16, 0, 168, -72, 0, 20, -20, 0, -20, -208, 0, 144, 132, 0, 204, 64, 0, -240, -24, 0, -40, -132, 0, 248, -4, 0, 88, 160, 0, 240, -132, 0, -32, -60, 0, 64, 32, 0, -112, -12, 0, -40, -104, 0, 36, -162, 0, 168, -60, 0, -40, -544, 0, -232, -4, 0, 36, 4, 0, -176, -12, 0, -192, 0, 0, -88, -64, 0, 0, 168, 0, -68, -48, 0, -176, 24, 0, 852, 200, 0, 24, 72, 0, 212, -144, 0, 16, 328, 0, 180, -48, 0, 0, -160, 0, -176, -196, 0, -40, -304, 0, 288, -96, 0, 86, 124, 0, 308, -16, 0, 56, 200, 0, 80, 356, 0, 176, 112, 0, 72, 0, 0, 104, -56, 0, 28, 136, 0, 80, -52, 0, -24, 224, 0, 144, 160, 0, -44, -256, 0, 4, 220, 0, -468, 40, 0, 304, -216, 0, 420, 8, 0, -20, 100, 0, -8, -44, 0, -160, 48, 0, 208, 216, 0, -112, 176, 0, 352, 8, 0, 40, -216, 0, 128, 72, 0, 148, -136, 0, -64, 24, 0, 32, -176, 0, 52, -320, 0, -112, 172, 0, 252, -24, 0, -144, -312, 0, -172, -184, 0, 0, -100, 0, 344, -108, 0, 152, -128, 0, 230, -16, 0, 36, -336, 0, -48, 0, 0, -160, -80, 0, -416, 216, 0, -56, -8, 0, 176, 88, 0, 196, 96, 0, 224, 24, 0, 220, 116, 0, -184, 16, 0, -456, 336, 0, 228, -36, 0, 56, -240, 0, 264, 304, 0, -236, -136, 0, 216, -64, 0, 32, 356, 0, -200, 56, 0, 100, 184, 0, 88, -80, 0, 128, -676, 0, -4, -100, 0, -192, 160, 0, 688, -176, 0, 8, 68, 0, -128, 0, 0, -80, 72, 0, -560, 32, 0, -28, -48, 0, -120, -4, 0, -344, 360, 0, -240, -160, 0, 144, -68, 0, -176, 68, 0, 192, 32, 0, -48, -212, 0, 0, 328, 0, 208, 104, 0, -16, 120, 0, -144, -132, 0, -12, 272, 0, 212, 28, 0, -288, -200, 0, 336, -432, 0, -12, -16, 0, -192, -88, 0, -4, -180, 0, -264, 20, 0, 184, -464, 0, -112, 16, 0, -296, 488, 0, -44, 36, 0, 204, 136, 0, -24, -280, 0, 212, -28, 0, -408, 48, 0, 92, -400, 0, 64, 16, 0, 56, 400, 0, -580, 104, 0, 16, 416, 0, 88, -104, 0, -128, -164, 0]