This page contains a PNG version of the DVI output of the following source code. The LaTeX source was written by David Carlisle <carlisle@cs.man.ac.uk>.