{
  "author": "OpenAI",
  "files": {
    "COVERAGE.md": {
      "bytes": 377,
      "sha256": "228873d8e28b77a71db0205168313667417d4f5b099d66d94f5a320a8150f177"
    },
    "README.md": {
      "bytes": 768,
      "sha256": "ab912852b62dbaf165c2ccc26f3aa895de127504048043cd79053ab13b588966"
    },
    "dependencies.json": {
      "bytes": 765,
      "sha256": "651d44144b0b433aec6ea42b7ae4ab461e9f789cbf1761bdbaaf87dde1503082"
    },
    "polynomial.py": {
      "bytes": 10896,
      "sha256": "848b98bf1f6cef533c1e2320b74afadfa9c4f00428a275c4663da4e7c53f19bb"
    },
    "portability-results.json": {
      "bytes": 1828,
      "sha256": "5deacb4cf4155605166e0f82696dd57ca3cb5b0b41b4f37aeb89766acdf3f8f2"
    },
    "portability_check.py": {
      "bytes": 6050,
      "sha256": "4bce1e140f6933d97d0b005747c38a28be4ae0dc8be1bf659430fc21fc4f4fea"
    },
    "results.json": {
      "bytes": 447073,
      "sha256": "d84273376cedd109c7cbf46b77cdc9ae84eac99daced9e5cd3dcbb2f20b2e7dc"
    },
    "verify.py": {
      "bytes": 28511,
      "sha256": "11060c858a42c96e5d4f5f70228e7a2264a38d2083dca687ce2b7fbc75af6dcc"
    }
  },
  "format_version": 1,
  "main_command": "python -B verify.py --check",
  "network_required": false,
  "scope": "Supporting exact arithmetic package only; no theorem certification claim",
  "third_party_dependencies": []
}