/home/proof/tools/comparator/.lake/build/bin/comparator: OK
/home/proof/tools/comparator/.lake/packages/lean4export/.lake/build/bin/lean4export: OK
/home/proof/tools/landrun/landrun: OK
