# Trace form for 7935.2.a.bm, downloaded from the LMFDB on 16 June 2024.
[0, 12, 0, 12, 8, 12, 0, -4, 0, 12, 0, -24, 8, -8, -16, 12, 0, -28, 0, -16, 8, -4, 0, 0, 0, 12, -36, 12, -8, -16, 0, 0, 20, -24, -16, -4, 8, -20, -16, -8, 0, -4, -16, 12, -16, 12, 0, 4, 0, 24, 0, -28, -36, -28, 0, -24, -56, -16, 0, 20, 8, -32, 12, -4, -4, -8, 0, 4, -64, 0, -16, -8, 0, 4, 36, 12, -8, -28, -36, -40, 0, 12, -28, -100, -8, -28, 20, -16, 0, -80, 0, 24, 0, 0, 44, -16, 20, 8, 28, -24, 8, -28, -16, -24, -60, -4, 8, -56, 8, -8, 0, -20, -60, -44, -16, 0, 4, -8, -36, 24, 0, -4, -20, -4, 4, 12, -16, -36, -16, 12, -36, -52, -16, 0, -16, 12, -16, -12, 0, -32, -8, 4, -8, 4, 0, -16, -4, 24, -36, -28, 0, 8, -40, -28, -4, 0, -36, 4, -28, -28, 20, 0, 0, 0, -56, -24, 32, 28, -56, -16, -16, -16, 52, 52, 0, -4, -36, 20, 0, 0, 8, -32, 56, -32, 0, -20, 12, 60, -72, -4, -16, -64, -4, 28, -84, -8, 48, 48, 0, -8, 0, 4, -20, -4, -64, -4, -36, 0, -28, 12, -16, 20, 48, -8, -32, 12, 0, -84, -20, 4, -16, 24, 36, -28, -20, 12, 48, -72, -8, 0, 0, -28, -4, 20, -36, 4, 36, -40, 96, -20, 0, -80, 80, 12, -24, 24, -28, -36, 100, -100, 0, -28, -8, 0, -24, -28, 24, 112, 20, -36, -36, -16, 52, -20, 0, -28, 64, -80, -72, -44, 0, -40, -8, 24, 184, -24, 0, 28, -56, 0, -56, -52, 44, 0, -28, -16, 72, -84, 20, 4, 0, 8, 84, -96, 28, 20, 28, -24, -12, 0, 8, -96, 84, -28, 120, -32, -16, -16, 76, -24, 12, 40, -60, -48, 32, -4, -112, 84, 8, 144, -4, -56, 0, 40, 8, -8, 96, -8, 32, -124, 0, 68, -96, -20, -80, 4, -60, -40, 156, -44, -64, -36, -16, 28, -12, 0, 112, 76, 4, -108, -16, -8, -76, -24, -36, -8, -84, 24, -48, -80, 0, 20, 56, -4, 200, 4, -20, 16, 0, -4, 36, -24, 4, 116, 24, 12, 40, -28, -16, -24, -8, -36, 40, -12, -16, -28, 4, 12, -16, 0, -36, 0, 124, -52, 112, -40, -16, 60, -224, 0, 0, -32, -16, 72, -12, 12, -56, -12, -16, -28, -28, -12, 152, 32, 0, -100, 20, -32, 36, -80, -8, -48, 148, 4, 128, -28, -8, -20, -112, 4, 20, -116, 0, 4, -52, -16, 80, 0, -4, 112, 0, 24, 232, 80, -36, -80, 104, -28, -20, -132, 0, -32, 36, 8, 32, 24, -40, -48, 20, -28, 0, -32, -4, -32, -108, 0, -80, -144, -36, -64, 44, 4, -100, -100, -28, -16, 148, -28, -36, -4, 20, 56, 28, 0, -100, 8, 0, 68, 124, 0, 28, 56, -56, 56, 44, -24, 16, 12, 32, 28, 8, 28, 84, 76, -56, -28, 0, -16, -104, 8, -16, 72, 4, -16, -72, -24, 52, 60, 116, 52, -60, -32, 0, -60, -88, -4, 72, -100, -36, 0, 8, 20, -32, 12, 0, -56, 32, 0, -124, -108, 8, -68, 144, -32, -144, -8, 56, 112, -8, -32, 0, -52, 0, 148, 20, -20, 8, -24, 12, 32, -60, 60, 28, 0, -72, -44, -4, -4, -4, -192, -16, 136, 96, -64, 160, 0, -4, -52, -12, 28, 4, -40, -84, 8, -88, -8, -8, 28, 48, -136, -36, 48, -4, -16, 0, 24, -36, -8, 0, -104, 0, -4, -72, 4, -120, -4, -20, -88, -36, -4, -20, -4, -64, 16, -228, -4, 244, -108, -36, 40, 4, 0, 40, -56, -28, 12, -12, 12, 104, -36, -16, 72, 52, 20, 80, -36, 48, -80, 112, -8, -16, -16, -32, 8, 0, 12, 68, 44, 0, 16, -36, -84, 192, 20, -20, -52, 48, 4, 244, -20, -16, -80, -172, 24, 16, 0, 36, 0, 128, -28, -16, 92, -20, 32, -36, 12, 92, -44, 48, -120, -16, -72, -72, 80, -8, -12, -48, 0, 296, -132, 0, 88, 32, -28, 52, -32, -4, 84, -148, 20, -8, 36, -36, -44, 32, 4, 28, -60, 36, 80, -8, -40, -8, 0, 96, 4, 68, -20, 80, 44, 0, -28, -52, -80, 48, -16, 80, -80, 252, 12, -4, -28, -24, -24, -136, 24, 0, 20, -28, 64, -36, -36, 104, -60, 100, -28, 88, -100, 160, -44, 0, -24, -188, -28, 28, 8, -8, 88, 116, 0, -40, -104, -24, 40, 120, -28, -8, 8, 24, -160, -4, 112, 124, 88, 20, 0, 32, -36, 168, 136, -36, 32, 0, -16, 104, 4, 52, -4, -52, -20, -28, 48, 0, 44, -236, -28, 72, 68, 64, 24, 20, -80, -52, -72, -72, 0, -76, -44, -148, -232, 0, 160, 132, -40, -148, 0, -8, 64, -192, 24, -56, -92, 184, -56, -96, -24, 176, -176, 0, -184, 32, 28, -36, -224, -56, 28, 0, 0, 152, -24, -56, -92, -12, -52, -280, -16, 44, 144, -76, 0, -16, 0, -28, -52, -168, -16, 128, -128, 72, 60, 52, -84, -44, 128, 20, 52, -64, 4, -100, -108, 0, 152, 16, 8, 0, -4, 84, -132, -28, -96, -36, -76, 28, 96, 204, 20, 208, 108, 28, -72, 0, -24, -88, -156, -12, 0, 0, 0, 148, -44, 8, -28, 76, -96, 32, -32, 84, 52, -24, -28, 56, -12, 120, 288, 100, -32, -104, -60, -16, 0, 0, -16, -112, 48, 76, -20, -24, -24, -116, -20, 12, 32, 36, 40, 0, 60, -60, -180, -152, -48, -72, -120, 32, 0, -232, -4, -80, 160, -112, -152, -16, 84, 260, -44, 8, -64, -244, 144, -176, -4, -4, 32, 60, -56, 144, 28, 0, 12, -168, 40, -84, -148, 8, 224, -72, -8, 72, 52, 96, 232, 48, -8, 24, 160, 32, 48, -16, -124, 208, 0, 0, -40, 152, 68, 56, -8, -96, -116, -68, -20, 0, 24, -80, -8, 92, 4, 128, 136, -60, 0, -20, -40, 0, 92, 156, -4, 108, -44, 152, 116, -64, 80, 0, -36, -168, -4, -16, 44, 184, 28, -36, 64, -12, 56, -32, 0, -68, 172, 112, -84, -28, 76, -44, 84, 4, 12, 112, -108, 32, 40, -16, -28, 56, -8, 40, 20, -76, -16, 0, -24, 48, -16, -36, -96, -80, -8, 104, 28, -84, -64, -32, 24, 112, -104, -48, 12, 136, -80, -176, -68, 0, 0, -268, 20, 84, -84, 56, 56, 24, -4, -20, -96, 200, 164, -208, 4, 80, 52, -20, -72, -16, 16, 48, -28, 0, 24, 92, -4, 172, -64, 36, 224, -40, -24, 168, -28, 4, -208, -76, 116, -20, -64, 24, -60, -192, 12, -56, 0, 40, 196, 48, -28, -80, 44, -16, -72, -60, -24, -24, -168, -8, 48, 0, -36, 168, 0, 40, 188, -68, -12, 0, 32, -16, -80, -168, -28, 208, 88, 4, -84, -4, 12, 144, -72, -16, 20, -40, 0, 120, -168, -36, 128, 40, 0, -256, 4, 124, 128, 80, -52, 36, 208, 112, -116, 40, -40, 120, -196, -16, -80, 96, 60, -104, -72, -224, -20, 0, 0, -232, -16, 0, -88, -20, -32, -244, -80, -16, -52, 124, 72, 80, -16, -12, 20, -200, 12, -56, -104, -56, 0, -24, -12, 68, 108, -16, 24, 144, -28, 172, -204, -28, 124, 180, -12, -176, -36, 152, 72, -232, 32, 100, -72, 0, 168, 72, -100, 244, -236, 20, 16, 0, -32, 184, 152, 36, -28, 92, -80, -4, 88, -8, 40, -68, -48, 48, 0, 148, 176, -160, 4, -24, 92, 128, 28, -288, -28, -24, -72, -8, 32, 24, -20, -12, 32, -112, 112, -76, 4, 0, -60, 20, 76, 104, -116, -132, -36, 0, -128, 176, 4, -36, 4, -52, 12, 52, -16, -44, 16, 80, -8, 52, 0, 0, -28, -4, -20, 88, 112, 184, -80, 0, 176, 96, 24, 0, -28, 232, -32, 12, 80, 64, 96, -36, 28, 0, -80, 8, 52, 104, 16, -72, -28, -28, 312, -20, -44, -36, -132, 196, -28, 0, 248, 224, -32, -96, -40, 36, 0, 164, 8, -8, -200, 32, 36, 4, 24, -76, -48, -40, -128, 184, -48, -304, 112, 20, -24, 76, -28, -72, 56, 0, 24, 16, -32, -68, 28, -4, 308, 80, -32, -56, -76, -108, 272, 124, 0, -64, 28, -80, 88, -56, -144, 192, 0, -36, -52, -28, -64, 92, -124, 44, 268, 72, 4, 48, 0, -100, 8, 216, -100, -28, -200, -28, 160, -92, -16, 0, 212, 148, -76, 72, -28, 76, 0, -36, -84, -108, -4, 228, -148, 20, 184, 56, 56, -108, 4, 28, 56, -12, 0, 0, -104, -100, -8, -156, 8, 208, 96, 0, 40, 84, 68, -196, -68, 124, -96, -28, 0, 100, -52, 28, 24, 0, 56, 72, 20, -56, -52, 144, 56, 28, -160, 44, -40, -488, -24, -16, 128, 16, -232, -12, 12, 132, -88, 32, 0, 116, 28, 124, -88, 8, 72, 100, 28, -200, -96, 84, 4, 52, 76, 84, 128, -56, 144, 216, -28, 80, -52, 0, 76, 120, -16, -160, -156, -104, -32, -32, 8, 52, -32, -16, 108, 236, 72, 8, -16, 4, -48, 12, -16, 76, 0, -72, -116, -180, -24, 40, -228, 52, -64, 12, 60, -84, 316, 116, 40, -140, 52, 28, -84, -60, 112, -4, -32, 0, -48, 0, -92, 316, -60, 32, 132, -88, 72, 96, -4, 72, 256, 72, 264, -112, -100, -208, 184, -36, 84, 160, 0, 180, 24, 8, 64, -104, 20, 176, 144, -32, 116, -64, 12, -4, -24, 0, 152, 292, -56, -32, 156, 32, -88, 0, 0, -356, 144, -124, 40, 156, -108, 136, 152, 8, 280, 224, -68, 360, -8, 144, 184, 28, -32, 96, 0, -144, 0, -340, -8, 52, 24, 56, -24, 32, 112, 4, -28, -8, -124, 216, -32, 24, -16, 0, -36, 192, -52, 112, 68, 0, -200, -192, 148, -96, -148, 20, 48, -4, -20, -72, -164, 8, -60, -80, -24, 128, 184, 12, 4, -76, 32, 68, 0, -60, 20, 164, 60, -96, -40, 28, -244, 24, 0, 156, 80, -72, 4, 204, -44, 144, 8, -4, 232, -64, -4, 0, 128, -4, -36, 320, -192, 40, 32, -16, 36, 128, 136, -24, 28, 96, 168, 0, -64, -12, -216, 160, -68, -68, 0, 160, 52, -4, -168, 112, -52, 60, 176, -12, 76, -32, 28, -132, 208, 4, -88, 32, -40, 8, -108, -84, 116, 0, 8, -16, -24, -88, -196, -124, -8, -52, -108, -8, -24, -76, 28, 184, 92, 48, -24, 20, -136, 268, 108, -36, 0, 196, 48, 4, -8, -4, 8, 260, -16, -84, -316, 0, -12, -196, 24, -112, 4, -36, -120, -48, -8, 72, -40, 0, -80, -168, -104, -52, -272, 0, 64, -16, -4, 224, 20, -72, -80, -16, 4, 56, 152, -120, 108, 120, -4, 144, 0, -20, 336, 200, -88, 28, 240, -36, 4, 48, -4, 16, -248, -20, 64, 132, -4, -56, 16, -64, 44, 0, 16, 0, 24, -228, 92, -360, -4, -68, -100, 244, 100, 36, -108, -144, 28, -36, -24, -24, 40, 292, -100, 4, -160, 184, 0, -272, 116, 40, -116, -192, -56, 24, -72, -28, 192, 100, 12, -48, 140, -12, 64, 40, 12, -100, 112, 104, -28, 0, -36, -224, -36, -16, 112, -160, 72, -68, -24, 52, 12, -120, 20, -8, 56, 80, 16, 316, -36, -240, -200, 48, 0, 40, -80, -300, 144, 112, -12, 128, -8, 20, 296, -16, 56, -28, -16, -96, -28, -32, 64, 252, 8, 4, -228, 0, 116, 76, 12, 52, 184, 68, 264, -16, 44, 176, -64, 0, 0, 360, 16, 136, 44, -36, 136, 76, -84, 208, 0, 192, 96, 36, 20, 124, 52, -20, -16, -152, -52, 144, 152, 48, -168, 112, 4, 180, 156, 244, -40, 128, -20, 0, 72, -16, 48, 124, -80, -124, 60, -172, -32, 304, 24, -224, 12, 16, 164, -332, 0, 60, -108, 36, 24, 0, 0, -136, 76, 128, -32, 192, -28, -104, -160, -16, 16, 200, 92, 84, 72, -20, 72, 220, 32, -12, -84, -36, -244, 0, 12, 24, 0, 92, -56, -56, -44, 52, 256, 48, -12, 88, -120, 176, 68, -16, 136, 8, -72, -112, -28, -72, 0, 8, 80, -28, -128, -8, -56, 380, -12, 248, -12, -48, 36, 152, 0, -84, 224, 296, 32, 324, -132, 100, 132, 0, -56, -36, 88, -132, -100, 32, 308, -24, -28, 20, 216, 52, -100, -96, -32, 352, -80, -4, -8, 36, 84, 8, 0, -148, -80, -28, 20, 16, 120, -8, -12, 304, 36, 160, -48, -36, 8, -156, -44, 148, -44, 32, -140, 224, 4, 0, -16, 28, -132, 128, -60, 112, -84, 36, -28, 328, 80, 368, 72, -8, 24, 28, -40, 236, -20, -8, -52, -68, 0, -112, -256, 96, 48, 456, 4, -136, -80, 68, 160, 20, -20, -224, 216, 80, -116, -180, 44, 272, 332, 0, -32, 0, -28, -28, 4, -52, -148, 224, -80, -52, 84, 48, 208, -352, -16, 72, -92, 80, 56, 80, -80, -132, -108, 252, 0, 152, 12, 264, -36, -4, -80, 88, -28, -72, 112, -24, -4, -272, -24, 0, 144, -136, -16, -68, 24, 272, -72, 0, 132, 232, 20, -164, 104, -28, 80, -104, 64, -68, -24, -36, -176, 184, -36, -452, -80, 104, 316, -4, -60, 104, 0, 100, 48, -220, -28, -344, -188, 88, 140, -20, -100, -220, 60, 160, -132, 428, -44, -76, -284, 0, 72, -228, -24, 0, -32, -188, 12, -216, -28, 36, 148, 28, -184, 60, 8, 128, 360, -8, 160, 32, 88, -196, -344, 116, 24, -52, 0, 288, -28, -40, -100, -432, -104, 64, -48, -24, 124, 116, 40, 20, -124, 120, 4, -160, -28, 64, -48, -8, 40, 0, 8, -184, -148, 24, -32, -116, -160, 88, -64, -4, 24, 460, 112, 304, -32, 124, 236, 300, 88, -108, -44, 20, 0, 0, 0, 4, 52, 32, 64, -80, -36, -96, -32, 168, -144, -20, 136, -256, -4, -36, -188, -124, 32, -200, -64, 0, 132, -8, -16, 44, -28, 104, -76, -28, 4, -48, 172, 52, 112, -100, -4, -72, 68, -52, -100, -380, -20, 60, 0, -28, -180, 44, 48, 64, -16, 0, 0, 200, 44, 148, -204, -236, 96, -296, -28, -168, 468, 72, -48, -36, 68, 0, -164, 64, -4, -156, 24, -40, 60, 20, -112, 68, -80, -268, 56, -52, 288, -584, -72, 28, -76, -72, 160, 248, 0, 8, 28, -76, -36, -100, -44, -180, 48, -148, 8, 196, -232, 160, 108, 0, -76, 76, 160, -360, 68, 132, 64, 0, -40, 124, -72, -148, 300, -68, 0, -380, 68, -8, 0, 28, 64, -36, 64, -192, 56, 16, 24, 252, 108, -56, 0, 240, -92, 88, 56, 184, -96, -232, -56, 44, 92, -96, 92, -312, -24, -216, -112, 176, 96, 16, -176, -76, 16, 0, 12, 20, -184, 416, -284, 32, -16, 240, 28, -120, 28, -36, -104, -284, -224, 8, -88, -56, 120, 168, 28, 80, 0, 0, 52, 84, 0, -40, 440, 152, 76, 68, -24, 108, -184, -56, -176, -8, -92, -72, -28, -12, 480, 188, -52, 0, 108, -280, 16, -332, -16, -76, -20, 44, 60, -104, 144, -4, -32, -76, 8, 368, 0, -216, 40, -16, -48, -172, 0, -188, 72, -28, -40, 216, -52, 4, -184, -168, 136, -40, -16, 44, 16, 128, 16, -72, -128, 44, -84, 72, -24, 0, 60, 292, -16, 52, 136, 120, -84, 68, 60, -44, 268, 224, 128, 116, 76, 20, -104, -500, 52, -80, 156, -64, 0, -60, 4, -276, -8, -100, -32, -148, -108, 228, -92, 0, -88, 396, 152, -104, -60, 16, -112, -104, 8, -88, 156, 0, -44, -176, -4, 252, 112, 84, 144, 72, -132, 200, -56, -28, -100, -160, -96, -40, 68, -36, 40, 204, -76, -176, 0, 28, 0, -256, 96, 8, 92, 204, 376, -300, 20, -240, 28, 208, 56, -32, 108, -252, -264, 28, 12, 436, -72, 0, -376, 0, -12, 84, -24, -472, -56, -88, 28, -48, -156, 32, -260, -12, -52, -28, 0, -60, 56, 0, 144, -124, 0, -108, -64, 148, -108, 40, -44, 76, -92, 8, -104, -248, -28, 308, -68, 76, 4, -308, -96, 144, 56, 32, -204, 0, -32, 332, 296, 84, 40, -144, 52, 40, 0, -24, -8, 232, -28, -176, -52, 56, -48, -72, -12, -224, 112, 120, 0, -104, 288, -8, -232, 100, -108, -208, -32, -232, 84, -104, -48, 0, -60, 136, 44, -16, -52, -64, 0, -128, 56, 0, 72, 260, -16, -16, 148, -112, -4, 124, 48, 20, -288, 76, 304, -232, -20, 404, -360, -24, 32, 8, -24, 236, 0, -116, -24, 8, -20, 132, 180, 12, -80, -536, 32, -32, 32, 36, 76, 304, 40, -60, -104, 0, 264, -428, 60, 0, 44, -60, 168, 28, -180, -36, 88, -152, 0, -60, -48, -52, -200, -72, 184, -32, -120, 92, -44, 32, 32, 240, 0, -4, -208, -232, 248, -52, -4, -48, -96, -80, -136, -4, 160, -312, -188, -112, -192, 144, -152, -232, 140, -16, 8, 0, 84, -256, 136, 260, -96, -68, -44, 96, -512, 8, -72, -156, -64, -80, -140, -244, -104, 160, 144, -72, -100, -176, 0, 280, -4, 308, 140, -4, -40, -36, 32, 4, -52, 60, -108, -324, -56, -12, -208, 144, 360, -132, 28, 88, -40, 0, 20, 4, 12, -176, -92, -168, -40, -92, 40, -160, 204, -84, -80, 180, -148, -324, 8, 8, -4, 128, 224, -88, 0, -72, -72, -408, -8, -16, -208, 72, 108, -8, 52, -220, 4, 96, 28, -24, 232, -156, -20, 48, -240, 164, -8, 0, -136, 24, -68, 152, 160, -36, 8, 32, 80, 128, 48, -156, -12, -16, 256, -4, -124, -320, 152, 208, -16, -116, 0, -288, 208, 0, 156, 188, -40, -472, 24, 152, -192, 20, 68, -36, 192, 56, -292, -188, -8, -128, 36, -96, -32, 0, -116, 108, 0, -68, -104, 180, -20, 216, -128, 0]