The text bf21514420bd, as Debian 8 (Jessie) shipped it.
a UR::BoolExpr minus specific values
UR::BoolExpr::Template(3pm) on Linux now