{
  "paper_sha256": "f27612271a1fbd5bf5c8c9381d22b0974f07ece63d0f0fea8dcd520a7f17ee4c",
  "source_sha256": "fa9b00bfbc7a8cfd600871f5729b44e905247e945ec882a4ce8bfb484bc77653",
  "python": "3.11.0",
  "numpy": "2.4.1",
  "scipy": "1.16.1",
  "platform": "Windows-10-10.0.26200-SP0",
  "processor": "AMD64 Family 25 Model 80 Stepping 0, AuthenticAMD",
  "elapsed_seconds": 2.0779058000007353,
  "command": "python example.py --output outputs",
  "seed_policy": "No random sampling.",
  "output_sha256": {
    "console.txt": "ac109608b745dd0d11e16c8a62452ba42707ff9d2ae784d5d55963e8e7f46ca7",
    "exact_witnesses.json": "f0be7df257075f8f7ddff0191de5fe3d8e514bad04653895f367fa8e94956f31",
    "headroom.png": "285846098595fa436e5acc34bda23278f2133e1464a86af0b3f1585e8780cd9c",
    "headroom.svg": "fba52e1df04467eeb1b46743dddff12a3a73e2e6ef936dc3cd2506646d1ceec1",
    "limits.csv": "023ab2b6a9749f4ad8392fa4aa8a9708958424e6f7713737566aca0072f2ca39",
    "summary.json": "9a5042a3b5b010269503ba6f3f0772da1f723b253b01e9dd91b5283833f35cb7",
    "tradeoff.csv": "8659f1c65ff09a046070c79ac8e9f2a2f9a67963733421ff6abe01a70c6d5f49",
    "tradeoff.png": "680e6233ef23588229c624cc4e7b66e83af918168796e3571a37bacea77bbc20",
    "tradeoff.svg": "77895ecee084e3c9ff999dd3afb5e83247c277e5b3aef2390a17a35b2144c885",
    "windows.csv": "3f3f135c3c633d5c7805d4919a5061db5f011f4bc865632ef223634995569b22",
    "windows.png": "538a72187d6d8f73d7643be73a082020791ac303d8d57ad946b544cce4e63f2b",
    "windows.svg": "5c8dbdbcac1175daa8b4e0fe0b7d53c9356b6060737e15571db2f5abe1fbc7aa"
  }
}