source files for the diagrams (made in OmniGraffle)