{
  "passed": true,
  "frozen_scale": 16,
  "ellipse_equation": "16 dx^2 + deta^2/16 = 1",
  "grid_shape": [
    11,
    11
  ],
  "matrix_meaning": "proved majorant after suppressing one common constant and the finite symbol seminorm",
  "near_factor": 1,
  "near_band": "abs(k-j)<=3",
  "far_factor": "2^(-j-k)",
  "figure_sha256": "4799d8b27411065a084b3e55111e74f7f9db33003a578c844d396e7618d97214",
  "script_sha256": "048bcc52d9a4f96a5299be30934b9bf77d14949b2ad3d464961ca5f339a5ffeb",
  "png_sha256": "5c8e91b61e7dea3cda6054db16195c68836bac18dfed431de6ead8ffb5ad9d2b",
  "proof": "endpoint-half-order-bound.md E0-E4",
  "finite_grid_is_general_proof": false,
  "visual_inspection": "pending"
}