Replace figure 4 by the one in new version of the paper, in which a bug is fixed by Knuth. (reported by @51isoft)