User-agent: *
Allow: /
Disallow: /proofs
Disallow: /service_pages
Disallow: /stats
Disallow: /notes