The following image is a screen capture of the magic layout for the FSM. The blue lines which are routed on the outside center of the cell are the state bits. We connected these state bits to output pins for debugging purposes.