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