Convert vectors to NIST format because it's pretty close to what we have now.