User-agent: *
Disallow: /coda-slider/
Disallow: /insides/
Disallow: /search/
Disallow: /proofs/
Disallow: /new/
Disallow: /sifr/