The text 2d0c4a4b793c, as Debian 1.3 (Bo) shipped it.
virgin TeX for production typesetting
virtex(1) on Linux now
