The text 733caaec753b, as Debian 12 (Bookworm) shipped it.
generate posets
nauty-genposetg(1) on Linux now
