{
  "dimension": 2,
  "green_horizontal_integral": {
    "source_height": 1,
    "height_interval": [
      0,
      2
    ],
    "dilations": [
      1,
      2,
      4
    ],
    "formula": "lambda^(-1)*min(s,lambda^(-1))",
    "proof_locators": [
      "A11",
      "A21",
      "A22"
    ]
  },
  "exact_error_curves": {
    "dilation_interval": [
      1,
      32
    ],
    "boundary_atom": "2*lambda^(-2)",
    "interior_atom": "2*lambda^(-2)-(1/2)*lambda^(-3)",
    "atom_windows": "all horizontal coordinates and0<s<2; unbounded slabs used to bound compact windows",
    "affine": "lambda^(-1)",
    "affine_window_volume": 1,
    "proof_locators": [
      "A20",
      "A22",
      "A23"
    ]
  },
  "status": "Samples of explicit exact functions; the written proof supplies normalization and the general convergence",
  "source_text": "linear-profile-under-dilation.md"
}