{
  "n": 3,
  "F_n": [
    -3,
    -2,
    -1,
    0,
    1,
    2,
    3
  ],
  "matrix_indices": "row s, column t",
  "degree": 2,
  "surviving_pairs": [
    [
      -1,
      -3
    ],
    [
      0,
      -2
    ],
    [
      1,
      -1
    ],
    [
      2,
      0
    ],
    [
      3,
      1
    ]
  ],
  "entry_weight": {
    "numerator": 1,
    "denominator": 7
  },
  "multiplier": {
    "numerator": 5,
    "denominator": 7
  },
  "coefficient_formula": "q_n(r)=max(1-|r|/(2n+1),0)",
  "proof_locators": [
    "HAFR2",
    "HAFR3",
    "HAFR5",
    "HAFR6"
  ],
  "scope": "One exact finite Fourier coefficient; whole-algebra convergence is proved in the lesson."
}