State Decoded instance for the Iowa code