de>
              </div>
              <footer>
                <hr>
                <div role="contentinfo">
                  <p>&copy; Copyright 2017, N. McKay; C. Heiser.</p>
                </div>Built with <a href="http://sphinx-doc.org/">Sphinx</a> using a <a href="https://github.com/snide/sphinx_rtd_theme">theme</a> provided by <a href="https://readthedocs.org">Read the Docs</a>.
              </footer>
            </div>
          </div>
        </div>
      </div>
    </section>
  </div>
  <script