User-agent: *
Allow: /
Allow: /g6/
Allow: /g6/spec.html
Allow: /g6/OBJECT.json
Allow: /g6/RELEASE.json
Allow: /g6/EVIDENCE.json
Allow: /g6/CLASS_I_CUBATURE_1_0.json
Allow: /g6/NEWMAN_GLOBAL_OBJECT_1_0.json
Allow: /g6/CLASS_I_CUBATURE_1_0.txt
Allow: /g6/NEWMAN_GLOBAL_OBJECT_1_0.txt
Allow: /g6/CLEANROOM.md
Allow: /proof/
Disallow: /__grok/

Sitemap: /sitemap.xml
