User-Agent: * 
Disallow: /default.asp
Disallow: /Default.asp
Disallow: /proofs
Disallow: /proofs/mount.asp
Disallow: /proofs/cd_cover.asp
Disallow: /proofs/fink.asp
Disallow: /proofs/huddleston.asp
Disallow: /proofs/knox.asp
Disallow: /proofs/trammell.asp
Disallow: /proofs/mccormick.asp
Disallow: /proofs/cisneros.asp