This document contains 8001 RDF triples in machine-readable format.