# Trace form for 7935.2.a.bs, downloaded from the LMFDB on 01 September 2025.
[0, 16, 0, -16, 16, 16, 0, 12, 0, 16, 0, -8, -16, -8, 0, -16, 16, 20, 0, 16, 16, -12, 16, 0, 0, 16, 20, -16, -16, 40, 0, 16, -20, 8, 16, 12, 16, 28, 56, 8, 0, 12, 0, 4, -48, 16, 0, -20, -16, 20, 0, -20, -36, 4, 0, -8, -8, -16, -16, 20, -16, 32, 28, 12, 28, -8, -16, 4, -24, 0, 0, 24, 0, -36, -100, -16, 88, 4, -20, 24, 16, 16, -20, 44, 16, 20, 52, -40, 48, 16, 0, 24, 0, -16, -20, 16, 20, 64, 4, -8, 16, 36, -16, -8, 68, -12, 72, -40, -16, 56, 16, -28, 28, -12, -56, 0, 60, -8, 44, -16, 0, 32, 68, -12, 20, 16, 0, -12, -40, -4, 20, -4, 48, -28, -32, -16, 80, 68, 0, 84, -16, 20, 40, -20, 16, 40, -4, -20, 12, -28, 0, 44, 120, 20, -4, 16, 36, 52, 52, -4, -20, 0, 0, 32, -96, 8, -32, -20, 8, 72, 16, 16, 68, -20, 16, 12, 92, -20, 80, 24, 16, -32, -40, -32, 0, 28, -28, -44, -144, -12, 56, 24, -28, -24, -12, 8, -104, 32, 16, -24, 0, -4, -44, -84, 24, 12, -44, 0, -188, -28, 0, 4, -200, -24, 176, 4, 0, 140, 44, 36, -48, 40, 100, -32, 12, 16, 80, -48, -88, 112, 0, -4, -52, -44, 20, -20, 36, -24, -40, 76, -16, 112, 56, -16, 168, 20, 20, 12, 52, -44, 0, -12, -16, 0, -48, -20, 152, 48, -52, -48, -36, 40, 20, 68, -48, 4, 56, -16, -80, 20, 0, -8, -88, -24, 24, -8, 0, 12, -16, 16, -8, 20, 20, 136, -132, -16, -8, -20, -20, 16, -16, -64, -68, 48, -4, 20, -60, 8, 76, 0, -16, 100, -36, -36, -24, 32, 16, -32, -84, 8, 28, -88, -68, 56, 120, 12, 80, 20, -72, -16, 28, 40, 0, -24, 16, -8, 144, -56, -176, 124, -16, 20, 120, 28, 32, 4, -28, 64, -84, 12, -24, -44, 56, 60, -84, 0, 0, 12, -60, 56, 0, 8, 220, -72, -44, 24, 108, 16, 8, 0, 0, 0, 88, -32, 72, -36, -68, 72, 0, 12, -100, 32, -20, 100, 0, -16, -8, -76, 0, 104, 88, 12, 64, 28, 40, 4, -84, 4, 160, -48, -20, 0, -20, 4, -80, 24, -48, -48, 104, 28, 16, 24, 32, -144, -92, 16, -40, -20, -80, 8, -20, -68, 24, 96, 0, 44, 84, -84, -124, -48, 16, 112, 44, -20, 144, 20, -40, -64, -112, 20, 52, -52, -16, 132, 132, -40, 192, 0, 4, -52, 48, 20, -80, -8, -12, 16, -8, 28, 172, 76, 0, 64, 4, -44, -32, 24, -120, 104, -100, -20, 0, 48, 4, -60, 164, -16, -32, 0, -36, 116, -20, -52, 36, -44, -52, 16, -132, 4, -116, 52, 20, 72, -92, 0, 132, 64, 0, -88, -84, -32, 4, 48, 96, 192, 60, -8, 32, 84, 32, 92, 16, 20, 68, 20, -8, 36, 0, -72, 168, 48, -16, 104, -116, -16, 88, -8, -68, 12, -188, 20, 68, 72, -16, 36, -48, -12, 136, -92, -92, 0, 72, 20, -16, -156, -80, -40, 176, -24, -220, 4, -16, 52, 152, 32, 48, 56, 40, 16, 16, 32, 16, 20, 0, -64, -172, -28, 128, 80, 28, 96, 28, 44, 84, 48, 144, -12, -28, 12, -36, 80, -56, 40, 152, -24, 64, 0, 28, 44, -124, 24, 60, 56, 12, -56, 48, -8, 88, 52, 104, 88, 44, -32, -52, 8, -16, -16, -44, 24, 0, 128, 0, 160, 96, 4, 208, 32, 44, -68, 36, 84, 68, 188, -24, 56, 36, -12, 52, -12, 44, 120, 20, 0, -56, 16, 188, 16, -140, 28, 240, 212, 0, 72, 20, -4, -16, -12, 200, -20, 8, 24, -40, -32, -176, 80, 0, -4, 116, -28, 0, 176, 20, -140, 0, 4, -44, -4, -192, -36, 132, -196, 48, 32, 140, -40, 160, -28, -100, 0, -40, 32, -32, 28, -12, -32, -92, -16, 44, 60, -80, 284, 80, 48, -120, 184, 88, 68, 80, -112, 272, 196, 0, -56, 136, 4, 196, 84, 52, 132, -156, 44, -16, -28, -20, -104, 40, 20, -180, -100, -36, 32, 40, 24, 120, 0, 40, -20, 12, -76, -208, 164, 16, -4, 220, -112, -144, 40, -56, 136, 100, 16, -4, -116, -168, 96, -72, -20, 0, -116, -20, -20, 12, -12, 96, -164, -52, -28, -112, 44, -176, -132, 0, -104, 28, 12, 284, 44, 16, 208, -124, 0, 120, 64, 48, -172, 24, 20, -56, 80, -152, 304, -4, -48, -44, 32, 52, 16, 40, 48, 88, -200, 36, 0, 0, -40, -232, 52, -20, 116, -28, -68, 52, -128, 48, -132, 140, -4, -88, 36, -56, -24, -20, 16, 76, -72, 80, 0, -324, -20, -28, 88, 0, 16, -12, 8, 188, 32, 88, -28, -208, 24, -96, -52, -24, -120, -88, 8, 192, -160, 0, 128, -32, -12, -252, -8, 16, -20, 168, -16, 24, 136, 8, 16, -148, -20, 136, 72, -20, 176, -356, -136, 16, 0, 132, -72, -88, 16, 128, -168, 8, -32, 68, 20, -124, -80, 20, -20, 112, -16, -100, -148, 16, 56, -8, 64, 0, 12, 68, -140, -284, -48, 92, -68, 4, -176, 44, -20, 32, 4, 60, 104, 80, -8, -64, -84, -76, 24, -232, 0, -132, -260, 16, 164, -12, -100, -16, -32, 36, 76, -8, 36, -40, 4, 24, -48, -116, -32, 184, -84, -16, -80, 0, 32, 200, 128, 84, 28, -96, -8, -388, 28, -28, 32, 68, 88, -48, -44, 68, 172, -80, -56, -144, 40, -120, 0, 96, -12, -80, 24, -80, 152, 56, -20, 180, -60, 72, 24, 44, 16, -240, 212, -28, 148, 68, -40, 176, -24, 0, -124, 40, 24, -12, 76, -16, 56, 24, 8, 312, -44, -144, 40, -104, 56, 104, 40, 176, 32, 224, -124, -8, 0, 16, 40, 384, -20, -136, -24, -120, -56, -36, -28, 0, -344, -32, -64, 132, -4, -112, 128, 28, 32, -44, -64, 0, -132, 84, -84, -348, -12, -248, -244, 24, 48, -352, 44, 488, 12, -56, -132, -8, -60, -44, 24, 84, 304, -40, 0, -268, -188, 0, -4, -188, -12, -228, 36, 60, -28, -96, -56, 376, 104, 0, 104, -16, -8, -40, 4, -220, 72, 0, 72, -200, 24, 44, 176, 160, -24, 232, -124, -108, 64, 176, -16, -208, 208, -8, 4, 0, 0, -104, -76, 0, 0, 196, 0, 36, 140, -88, 208, -392, 32, 44, -104, -72, -100, -304, 36, -224, -308, 68, -100, -48, -72, 192, -84, 0, 40, 4, -12, -92, 128, 100, -16, 88, -32, -216, -32, 20, -72, 12, -100, 12, 128, 0, 188, 56, 16, -56, 0, 8, -76, 80, 76, 0, -52, 0, -48, -444, -104, -232, 256, -88, -80, 8, -12, -344, 112, -64, -196, -308, -28, 0, 0, -40, -124, 32, -4, -24, -112, 84, 224, -52, -4, -216, -160, -160, -44, -488, 48, -136, -16, 20, 64, 24, 0, 496, -20, 20, 136, 32, -4, 36, -200, 80, -60, -256, -24, -24, -44, 48, 80, -40, 48, 32, 128, -104, 76, 0, -28, 96, -88, -16, 280, -52, -24, 244, 112, -32, 28, -228, 144, 56, -144, 92, -12, 112, -16, -56, 176, 40, 0, 168, 20, 60, -68, 80, 20, -24, -8, -196, -92, 20, -84, 292, 68, -192, 12, -24, -8, -224, -96, 52, 176, 0, -184, -120, -44, -188, -84, -84, 144, 0, 84, -328, -80, 124, -12, 12, 48, -84, 72, -16, 40, 76, -112, -96, 0, -44, -132, -56, 20, -48, -164, -144, -128, 72, -20, -296, -256, 40, 32, 152, 64, -124, -96, 112, 48, -324, -20, 0, -76, -52, -52, 232, 52, -36, -48, 16, -104, -8, -132, -36, 60, -132, -148, 540, 40, -76, -104, -192, 280, 20, 0, -40, 124, -4, 68, 96, 52, -208, -136, -48, 64, -8, -20, 128, 4, 80, -212, 52, 8, 56, -312, 12, 156, 0, -16, -136, 156, 8, 352, -80, -28, 20, 80, -172, 20, -12, -76, 60, -68, 0, -40, -120, -64, -128, -8, -4, 0, -52, 44, -88, -88, 32, -188, -52, -24, -92, -104, 120, 276, 24, -104, -152, -136, 100, -8, -220, 20, -72, -192, 0, 40, 408, -48, 252, 12, -4, -52, -232, 60, -16, 116, -164, 36, -332, 16, -120, -44, 32, 56, -8, 0, -176, 0, 36, 20, -228, -116, 284, 148, 20, -100, -40, 52, -256, 136, -36, 8, 56, 44, -132, -192, 52, 8, 76, -16, 0, 28, 132, 196, -8, -4, 132, 56, 116, -20, -316, -52, -172, -204, -20, 104, 64, -72, 284, 16, 92, 40, 76, 0, -16, 40, -132, -76, -244, -64, -336, -64, 0, 8, -68, 88, 172, -76, 84, 48, -404, 32, -4, -108, -4, -24, 0, -48, -8, 20, -96, 260, -272, -192, -60, -120, -60, 32, 56, 8, -304, 64, -32, 392, 76, -84, 36, 184, -32, 0, -212, -92, 140, 32, -16, 16, -300, -20, -200, 100, -68, -292, -316, -20, -36, 8, 8, 48, -64, -36, 96, 100, 0, 228, -24, 72, 88, 28, -168, 32, 56, -48, -372, 88, 16, -84, -100, -104, 120, -32, 116, 112, 12, 16, -84, 0, -88, -12, -164, 8, -136, -36, 68, 176, 28, -12, -60, -220, 188, -88, -364, -20, -388, -36, -68, 0, -540, -72, 0, 56, 16, 20, -100, -36, 120, -12, 48, -40, -296, 12, -360, 136, -136, -72, 80, 92, 120, -48, 92, 20, 48, 0, 4, -280, -72, -176, -40, -20, -112, -16, 16, 260, -208, 156, 28, 128, 80, -200, -12, 40, -272, -180, -176, 200, 0, 24, -188, -64, 220, -24, -148, -4, 136, 240, 16, -200, 208, -52, -88, -8, -152, -88, -324, -32, 144, 48, -48, 0, 444, -56, -196, 48, -40, 152, -176, -16, 156, -116, -16, 124, -152, -32, -344, 8, -16, 112, -176, -20, -128, 20, 0, -4, 80, 64, 120, -148, 172, 40, 236, 28, -424, -28, -128, 100, 32, -80, 248, 144, -28, 4, 116, -96, -180, 0, -28, 336, -44, -44, 48, 64, -84, -124, 64, -48, -84, 8, -144, -172, -76, 12, -240, -88, 28, -120, -24, -12, 0, -104, 36, -44, -288, -80, 32, -120, 56, -124, -352, -40, 296, 60, -152, 0, -96, 24, -84, 184, -64, 140, -332, 0, 16, 180, -28, 364, 0, -44, -36, 32, 124, 12, -40, -24, 140, -56, -60, 72, -456, -56, 200, 56, -12, -100, 0, 56, 0, -80, -48, 396, 404, 8, -252, -204, -88, 8, 220, -52, -128, -380, -104, -72, 12, -88, -188, 44, -44, 0, 44, 32, 84, 24, 52, -152, -204, -8, 108, 124, 16, -164, -444, 16, -288, -228, 44, 92, 8, -24, 176, 376, 0, 0, -80, -128, -60, 128, 0, 32, -72, -160, -256, 0, -96, -280, -680, -4, 88, 72, -208, 172, -72, -32, -208, 0, -44, -128, 72, 68, -60, 88, -36, -36, 80, -84, 32, 152, -68, -16, -60, -188, -200, 72, 24, 124, 40, -56, 0, -80, -36, 236, 168, 12, -276, -212, -52, 80, -100, 12, 360, 116, -44, 32, 112, -120, 164, -236, -20, 288, -272, 0, 112, 100, 56, -180, -160, -16, 0, -264, -188, 112, -116, -16, -56, -68, 140, 68, -8, -28, -228, -400, -240, -76, 0, -212, 384, -4, 0, 160, -88, -72, 60, 104, -20, -76, -392, 4, 88, -152, 16, -104, -20, 12, -288, -152, -200, 0, 64, 20, -52, -16, -8, 28, 88, -24, -164, -144, 40, 40, 804, 32, -512, 4, 176, -112, -148, -80, -84, -300, 0, -128, -164, 4, -268, 360, -116, -24, 160, 28, 8, -168, 0, -48, -32, -176, -352, 92, -20, 200, -292, 140, 48, 0, 0, -92, 76, -4, -20, -196, 44, 32, 264, 4, -480, 320, 192, -264, -80, 36, -164, 60, -132, 24, -296, 196, 0, 120, -48, 56, 20, -32, 84, -48, -140, -256, -88, 40, 104, 100, -160, 236, 28, 28, -308, -156, 100, 24, 16, 0, -32, 44, 40, 24, -40, -32, -272, 360, 32, -96, -96, -28, -140, -144, 12, -208, 100, 32, -92, 260, 92, -68, 0, 16, -328, 88, -44, 120, -40, -60, 28, 192, 80, -20, 120, -284, -80, -60, -80, 232, 120, -48, -80, 8, 120, 0, -496, -184, -20, 168, -88, -88, -140, -68, 264, 140, -80, 68, 24, 112, -220, 56, -272, 96, -148, -196, 4, 60, 0, -40, 300, 56, 476, 44, -136, 108, -136, -4, 84, 8, -196, 192, -96, -84, -16, -96, -52, 312, -124, -132, 256, 0, 156, -48, -132, -44, -256, 336, 16, -92, -48, 28, 112, 112, 20, -120, 196, 104, 44, 300, -40, 60, 72, -20, 0, -56, 180, 24, 144, 100, 120, -380, 36, 20, 272, -32, -88, 56, -40, 184, 236, -24, -36, -64, -120, 68, -348, 0, -112, 224, -40, 144, 280, 20, -120, 280, -12, 256, 52, 76, -312, 336, 208, -52, -220, -164, -224, -124, -16, 288, 0, 4, 340, 132, -220, 196, 128, 112, 132, 60, 144, 8, 32, -40, 344, 60, 56, 8, 192, -136, -28, -20, -100, 0, -336, -16, -152, -220, 4, 48, -40, 116, 232, -52, 168, -196, 0, -96, 48, 112, 72, -212, 132, 20, 80, -120, 0, 168, -80, 116, -140, 40, 20, -8, -144, 20, -108, 16, -12, 336, -168, 12, 268, 16, -96, -12, 452, 164, -8, 0, 52, 368, -180, 28, -344, -236, 112, 32, 172, -44, 36, 100, 176, 76, 260, 132, -188, -28, 0, 104, 308, 104, 0, 64, -28, -132, -8, -12, 4, -172, -284, 24, -108, -44, -48, 160, -16, 160, -32, -208, -148, 208, 124, 24, -52, 0, -360, -108, -120, -100, -96, -64, -384, 104, -48, -76, 188, 172, -100, -60, -24, -204, -344, -20, 32, 0, 56, 8, 0, -80, -104, 188, 152, 48, 220, -304, 480, -176, 4, 264, -52, 48, -48, -60, 44, 228, 244, -32, 164, 180, -52, 0, 208, -16, -268, 44, -40, 16, -32, -48, -32, 288, -88, 0, -316, 200, -200, -20, -36, -124, 372, 0, 216, 116, 0, -84, 192, 40, -20, 172, 232, 180, -292, -52, 352, 52, 20, 224, 36, -116, 216, -276, 28, -44, -36, 68, -164, 0, -52, 236, 388, 128, 112, 16, -48, -100, -304, 132, -132, -36, -140, 136, 64, 4, -296, 116, 88, 64, -116, -36, 0, -124, 56, 52, -20, 24, 456, 68, 20, -40, -268, -16, 604, 72, -76, 48, -488, 72, -92, -332, -80, -24, 256, 0, -40, -156, 324, -4, 132, 20, -188, 128, 28, 64, -84, -88, -232, 164, 0, 20, 460, -16, -88, -88, 12, -32, 0, -8, -84, -232, -188, 212, 268, -32, -300, 36, -88, 240, 4, 28, -60, 64, 208, 48, -504, -24, 4, -84, 96, 0, 88, 52, 264, 192, 24, 252, 208, 120, 60, 28, 88, -356, -200, -8, 8, -264, -192, 112, 32, 160, 316, -160, 0, 84, -564, -128, -24, -100, 32, 448, 128, 12, -168, 92, 252, -344, -308, 8, 16, -104, -16, 88, 16, 20, 176, 0, -168, -236, 68, 16, 184, 72, -24, 20, -172, -136, 220, -72, -8, 32, 88, -16, -72, 36, 148, 64, 156, 20, 0, 132, -136, 80, 52, -72, -316, 252, 20, 92, 168, -176, -292, 152, 356, 48, -32, 136, 280, 112, -16, -48, 188, 0, -300, 104, -132, -184, 344, 72, -116, -328, 88, 8, -216, -16, -420, 96, -128, 212, 88, 168, 68, 148, -8, -8, 0, 32, -92, -232, -68, -8, -120, -20, -188, 12, 124, 356, -488, 80, -188, -140, -20, 400, 196, 20, 288, 268, -112, 0, 68, 16, 84, -48, 100, 72, -268, 148, -60, 324, -16, 40, 460, -56, -136, 36, 8, -224, 200, -64, -48, 116, 0, 124, -432, -12, -388, 128, -68, -96, 136, 140, -64, 192, 284, -92, -152, 48, -104, -28, -92, 248, 60, 68, 256, 0, -4, -376, -104, 176, 72, -92, -44, -60, -204, 20, 96, 164, -32, 88, -16, -4, -332, 128, -60, -156, 540, -104, 0, 40, -80, -140, 524, 8, -104, -40, 64, -100, -112, 84, 176, -212, 76, 188, 164, -24, -268, 360, 232, -96, -220, 0, 172, 256, 132, 4, -304, 260, -52, -76, -16, 296, 392, -164, 372, 52, 12, 28, -100, 100, 152, -312, 16, 260, 0, 32, -44, 104, -36, 136, 48, -76, 24, -88, 8, 56, -64, -36, 208, -28, 40, -64, 584, -4, 80, 16, -24, 0, 24, 48, 16, 16, 116, -272, 176, 32, -360, 156, -184, 220, 16, 84, 504, -236, 16, 20, 728, 80, -288, -160, 0, -24, 420, -32, -144, -64, -200, 36, 180, -128, -172, -128, -84, 224, -72, -28, 84, 272, 96, -144, 128, 8, 68, 0, 388, 80, -288, -28, -44, 196, 28, 240, -48, -32, 16, 96, -68, -132, -96, -88, 28, 48, 48, 224, -148, 44, 0, 396, -68, 292, 84, -172, -332, -32, 80, 48, -380, 56, -268, -408, 144, 344, 328, -40, -228, -12, 120, -8, 152, 0, -28, 80, -96, -136, 292, 12, -64, -72, 80, -56, -36, -24, -240, -116, 80, 80, 256, -152, -40, 356, -56, 136, 0, 20, -16, 40, -180, 88, 116, 60, 152, 168, -72, 208, -316, -24, 176, -340, -44, 56, 64, -16, -456, 188, 240, 0, 0, -212, -68, 100, 28, -176, 428, -148, 84, 44, -68, -364, 572, 40, -124, 120, -176, 40, -36, 24, -792, 464, 0, -92, 60, 124, 144, -324, -40, 56, 84, -24, 496, -44, 12, 16, 228, -76, -244, -56, 16, 220, 360, -56, 48, 0, -24, 84, -368, -8, -352, -272, -312, 172, 88, 44, -180, -84, 144, 52, 152, -40, -4, -292, 104, 208, 68, -56, 0, 88, -104, 144, -48, -40, 44, -312, -176, 216, 536, -32, -100, 116, -224, 288, -52, 124, -144, -160, 8, 8, 188, 0, -24, -144, -16, -36, 108, -40, -40, -16, -384, -16, 20, 20, -44, 232, 136, 148, -316, 24, -304, -204, 120, -128, 0, 56, 436, -360, 36, 128, -12, 28, 144, 152, 0]