# See pysketcher/examples/pendulum.py for code that produced the
# pendulum figures.