I'll use the expanded one. It is from the NIST vectors after all so at least we have some reason why :)