The text e0c93216718d, as Debian 7 (Wheezy) shipped it.
global degree of freedom numbering
numbering(7rheolef) on Linux now
