# Trace form for 7935.2.a.bf, downloaded from the LMFDB on 05 September 2025.
[0, 6, 0, 6, 4, -6, 0, 2, 0, 6, 0, 12, 4, -4, 8, -6, 0, 14, 0, 8, -4, 2, 12, 0, 0, 6, 24, 6, 4, -14, 0, -6, -20, 12, 8, -2, 4, -2, 8, -4, 0, -2, 8, 12, 8, -6, 0, 8, 0, 0, 0, 14, 0, 14, 0, -12, 16, 8, 12, -14, -4, -8, -12, 2, -20, 4, 12, -2, 20, 0, -8, -10, 0, -4, 24, 6, 4, 40, 24, -16, 0, 6, 4, -10, 4, -14, 20, -14, 36, 16, 0, 48, 0, -6, -44, -8, -20, 8, -28, 12, 4, -14, 8, -12, 24, -2, -28, 10, 4, 40, -12, -2, -36, 10, 8, 0, -52, -4, 12, -18, 0, 10, -8, -2, -16, -6, 8, 0, 16, 12, -24, 52, 8, -12, 8, -6, -4, 48, 0, 26, -4, 8, 20, 40, 0, 14, -44, 0, 0, 80, 0, -8, -28, 14, -8, 6, 0, 46, 20, 14, 20, 0, 0, 12, 8, -12, 32, 8, 16, -2, -8, 8, 64, 8, 12, 2, -36, -14, 60, -12, -4, -56, -28, -8, 0, 2, -12, 12, 36, 2, -8, 8, -20, -16, 0, 4, -36, -24, 12, -32, 0, -2, 68, 74, 20, 2, 36, 0, -56, -12, -8, 10, 36, -10, -92, -12, 0, -30, 28, -4, -8, -24, 24, -44, -20, 6, 36, 48, 4, 96, 0, 40, 40, -20, 24, -8, 36, -16, 60, -22, 0, 16, 40, 6, -84, 0, 4, -12, 44, -10, 0, 44, 4, 0, 60, -14, -24, -28, 20, 90, 0, -14, 8, 70, 36, -14, 32, 16, -120, 2, 0, 22, -20, 48, -20, 12, 0, -4, 104, -6, -16, 80, -44, 30, -44, -8, 12, -18, -20, -4, -12, 8, 72, -6, -28, 14, 52, 12, 36, 0, 4, 12, -12, -14, 24, 8, 8, 4, 32, -12, 12, -28, 24, -54, -4, -2, -40, -36, -28, 24, 20, 10, 0, 8, 4, -4, 24, 40, -80, 32, -12, 46, 48, -2, -4, 2, -36, -40, -60, 10, -20, 0, 8, 22, -12, 0, -16, 20, -52, 18, 8, -4, -76, 84, 12, 10, 60, -18, -24, -20, 0, -50, 20, 10, 20, 4, -8, 46, 0, -2, -24, 42, -16, 20, 60, -6, 20, 100, 8, -96, -4, 0, -20, -6, 16, -40, 44, 12, -76, 36, -24, 0, 80, 52, -100, 16, 8, -48, -80, -12, 0, -8, 8, -36, -12, -6, -128, 96, -4, -2, -4, 48, -16, 26, 0, 10, -20, 26, 48, 40, -4, -12, -4, 8, -28, 14, 20, 56, 20, 40, -20, 28, 0, 82, -4, 14, 140, 0, -44, -76, -36, 0, 100, -68, 0, -16, 76, 80, 28, -6, 0, -92, 12, -8, -40, -48, -28, 6, -16, 14, 0, -4, -8, -28, -48, 6, 68, -6, 0, -86, 44, 46, -8, 52, 20, 8, 44, 14, 60, 20, 20, 116, -104, 0, 52, -8, 0, -80, 64, 12, 28, -62, 8, -118, 44, -12, -4, 42, 32, 26, -4, 8, -24, 46, 16, 14, 0, -2, 80, 16, -8, 0, 104, 8, 24, 12, 64, 60, -68, 8, -24, 28, 12, -24, -68, 2, -84, 38, -36, 0, 28, -14, 8, -12, 60, -10, 44, -12, 52, 60, -4, -28, -36, -56, -96, -40, -28, 8, -20, -8, 12, -16, 0, -88, -128, 2, -20, 66, -12, 20, 36, 12, -92, 42, 36, -10, -88, 2, 40, -24, -8, 100, 84, 8, 28, 0, -20, 16, 48, -16, 52, -38, 0, 28, -128, 4, -8, 20, -36, -76, -12, -24, -64, 64, 12, 18, 0, -32, 0, 20, 0, 70, 84, -2, 60, -10, 68, -32, 12, 74, 8, -20, 20, -116, -24, 2, 80, 6, 36, -68, 16, 0, 8, 56, -56, 6, -24, -12, -64, -78, -8, -60, -8, 10, -104, 0, 36, 8, -152, -10, -16, 56, -92, 26, 0, -12, 16, 28, 0, 16, 24, -30, -72, 64, 28, -52, -12, -4, -32, -20, -8, -56, 40, -24, -68, 12, 24, 0, -152, -44, -8, 16, -20, -32, -12, 6, 40, -74, 36, 84, 4, 48, -36, -8, 4, -48, -156, 96, -28, 0, 0, 56, 28, 40, -52, -26, 40, 42, -44, -20, 4, 60, 24, -28, -16, -8, 56, 78, 36, 116, -20, -16, 52, 0, 60, -40, 100, -22, -28, -50, 0, -68, 4, 16, -120, -14, 40, -86, 36, 6, 44, 64, -84, -18, -64, 0, 0, -80, 4, -58, 0, -12, -20, 12, 44, -80, 124, -10, 32, -58, 0, -144, -4, 44, -220, 8, 4, 10, 80, 0, 28, -22, 60, 68, 96, -14, -56, 52, -24, 44, 8, -28, -88, -44, 20, -6, 44, 90, -96, 64, 0, 44, 0, -14, -32, -46, 8, -34, -152, 70, -20, 6, 36, 56, -28, -14, 72, 14, 32, 0, -20, 16, -88, -84, -120, 0, -20, 2, 40, -74, 0, 26, -24, 22, 16, -12, -20, 8, -24, 48, -8, -76, -20, 104, 12, 12, 8, 58, 0, 10, -32, -4, 24, -20, 104, -8, 24, -6, 32, -48, -16, 116, -12, 80, -32, 2, -44, 198, -16, 30, 8, 0, -44, 124, -156, -8, -52, 32, 12, -42, -64, -18, -104, 28, -20, -8, -52, -4, 44, -108, -12, -76, -92, 8, 0, -2, 72, 12, 16, -6, 36, 68, -28, 48, 36, 14, 80, 24, 52, -48, -60, 12, -8, -96, 36, 12, -96, 0, -4, -82, 4, 10, -56, 12, -100, 56, -12, -86, 24, -14, 28, 48, 24, -60, 64, 8, 40, 48, 8, 36, 0, 4, -104, 72, 32, -2, -36, -12, 80, -130, 12, -112, -72, -28, 132, -12, 24, -36, -28, -54, -36, 120, -4, 0, -8, -2, 188, 116, -40, -40, 8, -36, -56, -92, -28, -8, 100, 24, -68, -56, 20, -20, -96, 10, 36, 16, 0, -72, 156, 8, 0, -52, 4, 62, -144, -4, -48, 94, 24, 128, 36, 40, -60, 70, -80, 24, 80, 32, -8, 0, -12, 70, -44, 46, -76, 32, 48, 80, -16, -2, 0, 96, -4, -62, 224, 2, 8, -16, -36, 12, -68, -40, 0, -20, -60, -74, -108, 10, -176, 92, -20, -38, 24, 0, 24, -2, 8, -52, -136, 22, -36, 64, -12, 170, -44, 0, 8, -76, -16, 36, 56, 20, -20, 84, -52, 12, -56, 18, 160, 52, 8, 136, 44, -4, -68, -10, -76, -4, 0, 84, -36, -182, 12, 18, -16, 10, 28, 32, 60, 32, 92, -18, 40, 178, -24, 12, 80, -20, -164, 4, 0, 0, 16, -50, 48, 30, 20, 76, -60, 10, -28, 72, 20, 4, 28, 4, -64, 56, -8, -54, 8, 46, 60, 26, 0, 24, 52, -2, -112, -76, -24, 44, 136, 42, -12, 44, -16, 4, 152, 20, 20, -16, 60, 42, -12, -6, -116, 0, 20, -130, -36, 100, 4, -44, 8, -48, 36, -96, -48, 42, -4, -108, 0, 0, 24, -96, -20, -58, -56, -6, 0, 10, 16, 68, -204, -40, -40, 100, 44, -48, -40, 12, 108, 72, -76, 20, -56, 36, 48, -72, -24, -76, -164, 0, 184, 8, 80, -44, -16, 52, -36, -10, -100, -122, -20, 16, 12, -4, 8, 14, -60, -48, 52, 78, -80, 22, 0, -12, 136, 88, 0, -100, 68, -8, 28, -16, 8, -166, -100, -36, -40, 80, -12, -88, -124, -6, -104, 112, -128, 0, 84, 96, 64, -24, -4, 0, -24, -2, 200, -108, -4, -40, -84, 48, -32, 12, -16, 36, -40, 26, -44, -36, 0, -60, -240, 10, 80, -128, -20, 112, 0, 26, 16, -28, 48, -44, 104, 40, 100, 136, -4, 76, -212, -12, 0, 0, -4, -32, 124, 8, -60, -110, -28, 44, -108, 14, -36, 24, 20, 32, 24, 56, 24, 172, 20, 28, -88, 40, 0, 162, -20, -40, 76, 28, 180, -90, 0, 44, 104, 82, 0, -88, -4, 48, 32, 14, -88, 52, 140, -8, -8, 0, 48, 160, -44, -70, -92, -76, -56, -70, -36, -172, -36, 0, -132, 14, 100, -100, 12, -68, -32, 168, 0, -8, 0, -16, 88, -100, 76, -20, 120, 80, -272, 84, 28, -2, -60, -6, 196, 44, 0, 8, -44, -92, -132, -22, 12, 0, -152, -8, 20, 26, -40, -48, -20, -48, 124, 138, -28, 20, 20, 6, -40, 80, -16, -12, -104, 14, 72, -184, 0, -126, -28, -4, -28, 4, -8, 32, 40, -28, -104, -160, -48, -140, 88, 6, 40, -80, 68, 88, 16, -6, 156, 0, 0, -80, 64, -86, -112, 70, 44, 26, 204, 46, -36, -30, -8, 56, 180, 52, 44, 80, 20, -50, -128, 8, 0, -56, 44, -122, -12, 14, -256, 12, 60, 18, -60, 20, -132, -14, 20, 232, 76, 116, -144, 4, -104, -16, -48, 0, 12, 62, 52, 212, -204, -8, 16, 96, 0, -32, -72, -80, 64, -56, 64, 6, 44, 12, -56, 32, 28, -120, 0, -62, -168, -14, 8, -166, -24, -118, -52, -62, 44, -214, -112, -12, 272, 140, -4, -160, -36, 42, -168, -16, 32, 0, 16, 26, -4, -14, -4, 12, 148, 8, -52, -12, -24, -40, 92, 46, 12, 70, 16, 120, -84, 14, -88, -130, 0, 140, -24, -2, -20, -6, 80, -8, 140, 16, -44, 172, -8, -54, 128, 0, 4, -4, 104, 18, -264, 8, -32, 0, 24, 68, -72, 12, 64, 156, 64, -32, -12, 60, -84, 8, -68, 28, 40, 8, -8, 144, -24, 4, 20, 28, 0, 54, 12, 176, -40, -24, 4, -12, -68, 228, 48, 2, 24, 68, -84, -24, 40, 38, 52, 142, -36, 36, -248, 0, -120, -168, 28, 32, -164, -14, -76, -24, 8, -160, -88, -12, -20, 108, 60, 40, -44, -10, -20, 186, 44, 20, 0, -12, 80, 0, 52, -8, -132, 60, -4, -122, -4, -44, 40, -28, 84, 4, -36, 52, 140, -56, -24, -12, -96, 0, 4, -40, 44, 48, -28, 204, 80, 8, -16, -46, -20, -32, -72, -8, 12, -32, 12, 12, -24, -16, 76, -46, 0, 20, 108, -88, -48, -100, -128, -18, -176, 2, -48, 46, -20, -6, 4, 66, -32, 22, -12, -2, -256, 20, -100, 0, 36, 88, -332, 12, -108, 40, -92, -44, -48, 42, 60, -32, 36, -98, -96, -10, -24, -128, -88, -32, 20, 2, 0, 4, 40, 0, -68, -24, -16, -28, -8, 18, 152, 100, -180, -22, 84, -18, 48, 8, 12, -120, 28, -74, 28, 0, -136, 116, -20, -12, 16, 16, 0, -8, 48, -20, -92, -16, -24, 52, 52, -122, -160, -38, -64, -18, 0, -142, 0, 28, -8, 48, -128, -106, -80, 4, 88, 108, -8, -84, 76, 20, 184, -52, -36, -84, 292, -76, -32, 276, -12, 0, 140, -24, -196, -10, -64, -80, 188, 64, -60, -124, 12, 12, -32, 18, -28, 44, 0, -162, 24, -32, 48, -16, 0, 20, -36, 20, 4, -188, 0, -20, 16, 70, -148, 50, 84, 140, 8, -2, -20, 140, 60, 72, -84, -10, -24, 0, 68, -42, -20, -32, -56, -84, 12, -4, 192, 74, -152, -34, 8, -188, 48, -20, -56, -46, 20, -16, -228, -116, 0, -78, -24, -8, 48, 2, -160, -196, 80, -82, 24, 6, -144, 116, 36, -42, 180, -68, 188, -88, 16, -76, 28, 0, 128, -20, 8, -124, -60, 56, -60, -6, -56, -78, -296, 6, 144, -160, -24, -100, -20, -12, -196, -2, -64, -100, 0, -78, 32, 36, -8, 4, 172, -60, -28, 96, -8, -90, 132, 10, 4, 140, -104, 52, -88, 0, -96, -14, 36, 0, 20, 8, 0, -60, -152, 6, 20, -10, 64, -4, -16, -2, -20, 56, 108, 40, -92, -160, -180, 26, -44, -72, 0, -32, -172, -12, -148, 40, 16, 36, 76, 28, 212, 26, 0, -36, 48, 16, 8, -28, 24, 16, 52, -30, 16, 0, -72, 24, 228, 64, -80, 26, 28, -8, -292, -52, 96, 76, -12, -228, 100, -4, -24, 132, -32, -16, 44, -20, 0, -18, -8, -258, 212, -56, 100, 48, 40, 92, 28, -24, 80, -204, -68, 230, -16, 12, 180, -30, 24, -108, 0, 0, 40, 68, -152, 8, 0, -44, -32, -164, -8, -68, -136, 16, 0, 36, -20, 24, -152, -32, 12, 48, -12, -100, 0, 6, 48, 0, 40, -8, 128, -74, -40, -16, 36, -96, 68, 84, 104, -64, 4, -104, -140, 48, -220, 2, -36, 0, -56, -8, 4, 146, 4, 176, -40, -48, 16, -102, -156, 210, 16, 96, -72, 148, -28, -26, 24, 0, -80, 48, 0, 92, 156, 56, 48, -10, 28, 86, -108, 40, 20, 204, -52, 208, -96, -26, 32, 142, 40, 64, -48, 42, -40, 0, -44, -40, 40, -20, -92, 114, 4, 12, -76, 60, -44, 12, 24, -76, -180, -28, 4, 38, -16, 34, 44, -8, 0, -32, 56, -96, 28, 78, -28, -132, 36, -14, 88, 116, -8, 108, -20, -36, -136, -16, -296, -56, 52, 26, -56, 0, -20, 40, 60, -84, 36, -40, -364, 176, 100, -164, 20, -22, 8, 222, -28, -28, -96, -50, 104, 140, 0, 16, 0, -68, -176, -82, 4, -196, -32, 16, 4, -84, -120, 58, -164, -14, 168, 100, 40, -40, -140, -86, -48, 114, 36, 0, -308, 6, 0, -204, 44, -58, 52, 64, -240, 76, -84, -128, 32, -18, 36, -114, -64, 76, -140, 0, -124, -84, 0, 42, -100, -80, 104, -70, 4, 68, 104, -58, 172, -156, 0, -46, 28, -12, -184, 16, -20, -20, 152, 12, -76, 0, 44, 132, -8, -80, -8, 140, 124, -26, -28, -10, -28, -96, 32, 6, 344, -58, -88, 56, 0, 228, -24, -144, 0, 92, -4, 96, 0, 44, -12, 64, -220, -140, -168, 8, 124, -132, 4, -44, 40, 10, 112, 124, 80, 48, 20, 0, -36, 16, 28, 148, 72, -22, 148, -6, 60, -26, -52, 68, 16, -100, 96, 92, 8, -14, -68, -72, -56, -140, 0, 52, 148, 220, -24, 4, -28, 44, -40, -116, 8, -108, 20, -28, 112, 28, -88, -22, 72, -44, 48, -152, 20, 0, 24, -6, 164, -40, 44, 152, -68, 90, -120, -86, -96, 6, 116, 64, -76, -206, 0, 62, -160, 44, 148, 86, 0, -276, 68, -14, -44, 104, -32, 44, -80, -46, 84, 118, 8, -76, 8, -34, -108, 170, -152, -52, 100, 70, 36, 0, -20, 42, 16, 6, 172, -8, 36, 96, 196, 56, -44, -102, -28, -126, -68, -14, 108, -36, 72, -108, -60, 14, 0, 128, 32, -20, 96, 0, 280, -36, -20, 10, -136, 16, 64, -116, -88, -114, 44, -84, 104, 92, -120, 112, -28, 0, -68, -112, -20, -90, -52, 2, -60, -120, 40, 8, -116, -74, -88, 36, 0, 40, -8, 26, -96, 80, -24, 46, 0, 22, -64, 18, 16, 114, -196, -12, 380, -32, -20, 96, -28, 8, -120, -68, -24, 62, -196, 48, 12, -72, -8, 0, 228, -76, -172, 118, -20, -84, -100, 104, -44, -28, 12, 148, -132, 12, 72, -56, 8, -198, 4, 58, -64, -128, 0, -42, 64, 10, 112, 28, -32, 164, 132, -4, 12, -26, 24, 8, 52, -20, 4, 32, 104, 66, -204, -8, 92, 0, 24, 68, 24, -6, 92, -128, 32, -46, 52, -48, 48, 232, -16, -152, -212, 116, 36, -14, -12, -18, 8, 80, 0, -30, -32, 152, -124, 2, -260, 88, -44, -54, -80, 198, -20, -4, -16, -16, 40, 30, 48, -80, 8, -108, -4, 0, 68, 0, -44, -188, -84, 124, -104, -260, -156, 4, 56, -8, -116, 100, -52, 170, -24, 32, -160, -78, 12, -12, 0, -42, -52, 202, -64, -92, 72, -18, -20, -60, -104, -188, -8, 28, 68, -236, -20, -62, -76, -8, 124, 72, -52, 0, 24, -4, 0, 140, 44, -28, -52, -108, 144, 88, -12, -44, 36, -76, -44, 24, -92, 244, 112, 8, 68, -72, 0, -208, -4, -2, -144, 214, 72, 12, 84, 12, 224, 28, 16, -38, 92, -6, 52, -220, 36, -8, 120, 68, -152, 0, -28, 0, 124, 48, -28, -140, 36, -88, -84, 14, 24, -40, 80, 56, -8, 24, 36, 36, 52, 12, -8, -48, 0, 70, -60, -54, 108, 12, 184, 10, -8, 56, 0, -96, -44, -106, 36, -286, -164, 12, 12, -70, -96, 276, -52, 0, -120, 76, -4, -60, -104, -82, 28, -190, 4, -68, -68, 10, 100, 28, -56, 56, -272, 12, 36, -232, -100, -138, 0, 56, -32, 4, -12, -44, 96, -86, -148, 60, 24, 40, 92, -14, -8, 56, 28, -36, -108, 48, 124, -8, 24, 0, -112, -60, 20, -26, 64, -180, -16, 8, -80, 102, 40, -30, -12, 48, -176, -20, 8, 16, -232, 36, -92, 44, 0, 216, 100, 4, 172, 88, -104, -130, 8, 72, 128, -12, 32, 32, -100, -2, -176, -270, -36, -4, 20, -12, 128, 0, 80, -66, 100, -130, 132, -222, 12, -142, 56, -112, 268, -20, -72, -146, 64, -28, -36, -28, 132, 168, 28, -12, 0, -176, 24, -120, 92, -36, -24, 316, -28, -42, -24, -54, -44, -4, -36, 124, 44, 120, -140, 10, -4, -220, 84, 0, 88, 124, -8, -56, 332, -2, 60, 348, 188, -52, -40, 116, -144, -80, -40, 24, 36, -40, -232, 296, 8, 128, 0, -36, -272, -100, -56, 102, -100, -92, -84, 80, -28, -126, 12, -8, 184, 4, 100, -20, -28, 24, 96, 98, -68, 0, -64, -56, 28, -248, 20, -224, 60, -20, 140, -16, -96, 0, -36, 10, -48, -56, 36, 84, 120, 16, 40, 110, 0, 124, -52, -72, -4, 16, 156, 38, 20, 8, -16, 36, 0, -178, -204, -52, 84, -28, 4, 20, 80, 62, 128, 0, -144, -216, 132, -4, 116, 208, -48, 198, 8, 94, 332, 44, 24, -20, 12, 128, 48, -40, 36, -108, -64, 40, 0, 76, -60, 140, -116, 70, 12, -256, -80, 16, 140, 24, -12, -84, 80, 88, 64, 32, 236, -124, -8, -64, 40, 0, 216, -238, -12, 324, -88, 70, 140, -18, -44, -72, 68, 46, 0, 24, -76, 52, 220, 32, -176, -120, 48, 208, 0, 80, -48, 216, -16, -20, -168, -2, 252, -58, 0]