knuth-ext-31