# Verification artifacts produced by verify.sh — not source.
out/
*.log
