# go away
User-agent: *
Disallow: /
#Disallow: /runaprove.asp
#Disallow: /runaprove_strategy.asp
#Disallow: /runaprove_SATLPO.asp
#Disallow: /runaprove_hs_servers.asp
#Disallow: /eval/Haskell/webif/runaprove_hs.asp