Lean (version 4.19.0, x86_64-unknown-linux-gnu, commit 6caaee842e94, Release)
