knuth-ext-51