taocp v3 p32