The text 582575e5aaa6, as Debian 13 (Trixie) shipped it.
laln2: 1x1 or 2x2 solve, step in trevc
laln2(3) on Linux now
