User-Agent: *
Disallow: /protected/

User-Agent: *
Disallow: /Instrumentation/php/

User-Agent: *
Disallow: /rinex/

User-Agent: *
Disallow: /gprs/

#User-agent: gsa-crawler
#Disallow: /protected/