User-agent: *
Disallow: /cgi-bin/
Disallow: /downloads/
Disallow: /general/
Disallow: /mota/
Disallow: /projects/
Disallow: /proofs/
Disallow: /uploads/