Madison implementation of State Decoded