6.141 (RSS) team 6 repository: State machine submodule