{
  "author": "OpenAI",
  "runtime": {
    "implementation": "Python 3",
    "minimum_version": "3.10",
    "tested_version": "3.12.13"
  },
  "third_party_dependencies": [],
  "network_required": false,
  "external_data_required": false,
  "standard_library_modules": [
    "argparse", "fractions", "functools", "hashlib", "json", "math",
    "pathlib", "platform", "shutil", "subprocess", "sys", "tempfile"
  ],
  "main_command": "python -B verify.py --check",
  "regenerate_command": "python -B verify.py --write",
  "portability_command": "python -B portability_check.py",
  "runtime_files": ["verify.py", "polynomial.py", "results.json"],
  "arithmetic": "Exact fractions.Fraction coefficients and integer combinatorics",
  "floating_point_decisions": false
}