{
  "platform": "macOS-15.3.1-arm64-arm-64bit",
  "lean_toolchain": "leanprover/lean4:v4.28.0",
  "source_date_context": "2026-10-10 Europe/Moscow",
  "tools": {
    "lean": {
      "exit_code": 0,
      "version": "Lean (version 4.28.0, arm64-apple-darwin24.6.0, commit 7e01a1bf5c70fc6167d49c345d3bf80596e9a79b, Release)"
    },
    "lake": {
      "exit_code": 0,
      "version": "Lake version 5.0.0-src+7e01a1b (Lean version 4.28.0)"
    },
    "solc": {
      "exit_code": 0,
      "version": "solc, the solidity compiler commandline interface\nVersion: 0.8.26+commit.8a97fa7a.Darwin.appleclang",
      "sha256": "0ff016aef2396b12d1fc65429d8ea6cf53c2ee4b041bb8925644615ee1c30ab9"
    },
    "forge": {
      "exit_code": 0,
      "version": "forge Version: 1.5.1-v1.5.1\nCommit SHA: b0a9dd9ceda36f63e2326ce530c10e6916f4b8a2\nBuild Timestamp: 2025-12-19T14:10:53.027269000Z (1766153453)\nBuild Profile: maxperf",
      "sha256": "051dc63dd492b3eb85a8d4fecafd4b0701ad9b2b2ece92237e9ceee3f589ad5c"
    },
    "cast": {
      "exit_code": 0,
      "version": "cast Version: 1.5.1-v1.5.1\nCommit SHA: b0a9dd9ceda36f63e2326ce530c10e6916f4b8a2\nBuild Timestamp: 2025-12-19T14:10:53.027269000Z (1766153453)\nBuild Profile: maxperf",
      "sha256": "7f705d2457c98e043e6513fd1d5fc1914c703fe2e6cac268d5b5b1108149ab5f"
    },
    "anvil": {
      "exit_code": 0,
      "version": "anvil Version: 1.5.1-v1.5.1\nCommit SHA: b0a9dd9ceda36f63e2326ce530c10e6916f4b8a2\nBuild Timestamp: 2025-12-19T14:10:53.027269000Z (1766153453)\nBuild Profile: maxperf",
      "sha256": "ecbb4b717269b7d59602dbc3fe73927b7cb29cc56b7a5a3e00d89fef2c91cc18"
    },
    "python3": {
      "exit_code": 0,
      "version": "Python 3.12.3"
    }
  },
  "repositories": {
    "solidus": {
      "sha": "32c7cdbc0b466bdb13ce6eeabe5add8c49f356e2",
      "exit_code": 0,
      "tracked_diff": ""
    },
    "evmyul": {
      "sha": "b08573c65e33feb5331abe2b7c1d76be89bb8eff",
      "exit_code": 0,
      "tracked_diff": ""
    },
    "evm-interaction": {
      "sha": "c939817c55f966dab97e1ba8df05ceca1fdfbdb2",
      "exit_code": 0,
      "tracked_diff": ""
    },
    "mathlib": {
      "sha": "8f9d9cff6bd728b17a24e163c9402775d9e6a365",
      "exit_code": 0,
      "tracked_diff": ""
    },
    "sha2": {
      "sha": "565f65009bdd98267361b17d50cddd7c9beb3e6c",
      "exit_code": 0,
      "tracked_diff": ""
    },
    "keccak256": {
      "sha": "fc8504750a5c2174a1874094dd05e6a0d8797753",
      "exit_code": 0,
      "tracked_diff": ""
    }
  },
  "lake_manifest_sha256": "735c52c5e839e1fa02fd711d6e35809c473585a80bf9eeae585854039d941e26"
}