The text 1bb2d16c1e4c, as Debian 5.0 (Lenny) shipped it.
filter formulas with models
clausefilter(1) on Linux now
