User-agent: *   
Disallow: /hsmt/proofs/