¹Vector elements are not separated by commas as in the published version of this document.