The text 42655c44a1ff, as Debian 13 (Trixie) shipped it.
{he,sy}trs_3: solve using factor
hetrs_3(3) on Linux now
