The text 862d83a00350, as Debian 3.0 (Woody) shipped it.
a theorem prover based on automata
mona(1) on Linux now
