The text 731181abf267, as Debian 8 (Jessie) shipped it.
Functions for Manipulating Sets as Ordered Lists
ordsets(3erl) on Linux now
