SZS status Theorem for i/f/words/dimindex__dimword__iso
