Changed output of state decoding file'