class ExampleCtrl(object):
    """Mealy transducer.

    Internal states are integers, the current state
    is stored in the attribute "state".
    To take a transition, call method "move".

    The names of input variables are stored in the
    attribute "input_vars".

    Automatically generated by tulip.dumpsmach on 2015-08-13 05:18:57 UTC
    To learn more about TuLiP, visit http://tulip-control.org
    """
    def __init__(self):
        self.state = 52
        self.input_vars = ['env2']

    def move(self, env2):
        """Given inputs, take move and return outputs.

        @rtype: dict
        @return: dictionary with keys of the output variable names:
            ['loc', 'stage']
        """
        output = dict()
        if self.state == 0:
            if (env2 == 0):
                self.state = 0

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 1:
            if (env2 == 0):
                self.state = 0

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 2:
            if (env2 == 0):
                self.state = 0

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 3:
            if (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 2

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 1

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 4:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 2

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 5:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 5

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 6:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 7:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 8:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 9:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 10:
            if (env2 == 7):
                self.state = 10

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 11:
            if (env2 == 7):
                self.state = 10

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 12:
            if (env2 == 7):
                self.state = 10

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 13:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 14:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 15:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 16:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 17:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 18:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 19:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 20:
            if (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 21:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 22:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 23:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 24:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 25:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 26:
            if (env2 == 6):
                self.state = 9

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 26

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 25

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 27:
            if (env2 == 5):
                self.state = 25

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 26

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 28:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 6

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 7

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 29:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 6

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 7

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 30:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 31:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 26

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 32:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 33:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 30

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 31

                output["loc"] = 18
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 34:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 30

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 31

                output["loc"] = 18
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 35:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 36:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 37:
            if (env2 == 5):
                self.state = 35

                output["loc"] = 8
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 36

                output["loc"] = 8
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 38:
            if (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 39:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 5

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 40:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 5

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 41:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 42:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 43:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 44:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 45:
            if (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 46:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 47:
            if (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 48:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 49:
            if (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 50:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 51:
            if (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 52:
            if (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 45

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 6):
                self.state = 47

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 49

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 50

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        else:
            raise Exception("Unrecognized internal state: " + str(self.state))
        return output

    def _error(self, env2):
        raise ValueError("Unrecognized input: " + (
            "env2 = {env2}; ").format(
                env2=env2))

42a3207244ea94553b01df3696a691d3fd127ab6
class ExampleCtrl(object):
    <mask token>
    <mask token>
    <mask token>

    def _error(self, env2):
        raise ValueError('Unrecognized input: ' + 'env2 = {env2}; '.format(
            env2=env2))

class ExampleCtrl(object):
    <mask token>
    <mask token>

    def move(self, env2):
        """Given inputs, take move and return outputs.

        @rtype: dict
        @return: dictionary with keys of the output variable names:
            ['loc', 'stage']
        """
        output = dict()
        if self.state == 0:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 1:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 2:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 3:
            if env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 2
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 1
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 4:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 2
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 5:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 6:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 7:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 8:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 9:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 10:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 11:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 12:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 13:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 14:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 15:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 16:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 17:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 18:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 19:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 20:
            if env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 21:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 22:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 23:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 24:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 25:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 26:
            if env2 == 6:
                self.state = 9
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 5:
                self.state = 25
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 27:
            if env2 == 5:
                self.state = 25
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 28:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 6
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 7
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 29:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 6
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 7
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 30:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 31:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 32:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 33:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 30
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 31
                output['loc'] = 18
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 34:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 30
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 31
                output['loc'] = 18
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 35:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 36:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 37:
            if env2 == 5:
                self.state = 35
                output['loc'] = 8
                output['stage'] = 1
            elif env2 == 6:
                self.state = 36
                output['loc'] = 8
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 38:
            if env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 39:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 40:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 41:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 42:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 43:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 44:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 45:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 46:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 47:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 48:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 49:
            if env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 50:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 51:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 52:
            if env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 4:
                self.state = 45
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 6:
                self.state = 47
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 49
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 50
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        else:
            raise Exception('Unrecognized internal state: ' + str(self.state))
        return output

    def _error(self, env2):
        raise ValueError('Unrecognized input: ' + 'env2 = {env2}; '.format(
            env2=env2))

class ExampleCtrl(object):
    <mask token>

    def __init__(self):
        self.state = 52
        self.input_vars = ['env2']

    def move(self, env2):
        """Given inputs, take move and return outputs.

        @rtype: dict
        @return: dictionary with keys of the output variable names:
            ['loc', 'stage']
        """
        output = dict()
        if self.state == 0:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 1:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 2:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 3:
            if env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 2
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 1
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 4:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 2
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 5:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 6:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 7:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 8:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 9:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 10:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 11:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 12:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 13:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 14:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 15:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 16:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 17:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 18:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 19:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 20:
            if env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 21:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 22:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 23:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 24:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 25:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 26:
            if env2 == 6:
                self.state = 9
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 5:
                self.state = 25
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 27:
            if env2 == 5:
                self.state = 25
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 28:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 6
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 7
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 29:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 6
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 7
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 30:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 31:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 32:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 33:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 30
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 31
                output['loc'] = 18
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 34:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 30
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 31
                output['loc'] = 18
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 35:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 36:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 37:
            if env2 == 5:
                self.state = 35
                output['loc'] = 8
                output['stage'] = 1
            elif env2 == 6:
                self.state = 36
                output['loc'] = 8
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 38:
            if env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 39:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 40:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 41:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 42:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 43:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 44:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 45:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 46:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 47:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 48:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 49:
            if env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 50:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 51:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 52:
            if env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 4:
                self.state = 45
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 6:
                self.state = 47
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 49
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 50
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        else:
            raise Exception('Unrecognized internal state: ' + str(self.state))
        return output

    def _error(self, env2):
        raise ValueError('Unrecognized input: ' + 'env2 = {env2}; '.format(
            env2=env2))

class ExampleCtrl(object):
    """Mealy transducer.

    Internal states are integers, the current state
    is stored in the attribute "state".
    To take a transition, call method "move".

    The names of input variables are stored in the
    attribute "input_vars".

    Automatically generated by tulip.dumpsmach on 2015-08-13 05:18:57 UTC
    To learn more about TuLiP, visit http://tulip-control.org
    """

    def __init__(self):
        self.state = 52
        self.input_vars = ['env2']

    def move(self, env2):
        """Given inputs, take move and return outputs.

        @rtype: dict
        @return: dictionary with keys of the output variable names:
            ['loc', 'stage']
        """
        output = dict()
        if self.state == 0:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 1:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 2:
            if env2 == 0:
                self.state = 0
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 3:
            if env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 2
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 1
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 4:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 2
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 5:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 6:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 7:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 8:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 9:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 10:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 11:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 12:
            if env2 == 7:
                self.state = 10
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 13:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 6:
                self.state = 11
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 14:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 5:
                self.state = 12
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 15:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 16:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 17:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 18:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 19:
            if env2 == 2:
                self.state = 16
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 0:
                self.state = 17
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 4:
                self.state = 13
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 3:
                self.state = 14
                output['loc'] = 20
                output['stage'] = 2
            elif env2 == 1:
                self.state = 15
                output['loc'] = 20
                output['stage'] = 2
            else:
                self._error(env2)
        elif self.state == 20:
            if env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 21:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 18
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 22:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 23:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 24:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 19
                output['loc'] = 21
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 25:
            if env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 7:
                self.state = 20
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 5:
                self.state = 22
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 6:
                self.state = 23
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 26:
            if env2 == 6:
                self.state = 9
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 5:
                self.state = 25
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 27:
            if env2 == 5:
                self.state = 25
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 28:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 6
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 7
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 29:
            if env2 == 0:
                self.state = 8
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 4:
                self.state = 24
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 3:
                self.state = 21
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 1:
                self.state = 6
                output['loc'] = 20
                output['stage'] = 1
            elif env2 == 2:
                self.state = 7
                output['loc'] = 20
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 30:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 31:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 4:
                self.state = 26
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 27
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 32:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 28
                output['loc'] = 19
                output['stage'] = 1
            elif env2 == 2:
                self.state = 29
                output['loc'] = 19
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 33:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 1:
                self.state = 30
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 31
                output['loc'] = 18
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 34:
            if env2 == 0:
                self.state = 32
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 1:
                self.state = 30
                output['loc'] = 18
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 31
                output['loc'] = 18
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 35:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 36:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 37:
            if env2 == 5:
                self.state = 35
                output['loc'] = 8
                output['stage'] = 1
            elif env2 == 6:
                self.state = 36
                output['loc'] = 8
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 38:
            if env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 1:
                self.state = 33
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 39:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 40:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 5
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 41:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 2:
                self.state = 34
                output['loc'] = 17
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 42:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 3:
                self.state = 38
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 43:
            if env2 == 6:
                self.state = 40
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 4:
                self.state = 41
                output['loc'] = 16
                output['stage'] = 1
            elif env2 == 7:
                self.state = 37
                output['loc'] = 0
                output['stage'] = 1
            elif env2 == 5:
                self.state = 39
                output['loc'] = 16
                output['stage'] = 1
            else:
                self._error(env2)
        elif self.state == 44:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 45:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 46:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 47:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 48:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 49:
            if env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 50:
            if env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 3:
                self.state = 3
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 4:
                self.state = 4
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 51:
            if env2 == 6:
                self.state = 43
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 5:
                self.state = 42
                output['loc'] = 8
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        elif self.state == 52:
            if env2 == 0:
                self.state = 44
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 4:
                self.state = 45
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 2:
                self.state = 46
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 6:
                self.state = 47
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 1:
                self.state = 48
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 5:
                self.state = 49
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 3:
                self.state = 50
                output['loc'] = 0
                output['stage'] = 0
            elif env2 == 7:
                self.state = 51
                output['loc'] = 0
                output['stage'] = 0
            else:
                self._error(env2)
        else:
            raise Exception('Unrecognized internal state: ' + str(self.state))
        return output

    def _error(self, env2):
        raise ValueError('Unrecognized input: ' + 'env2 = {env2}; '.format(
            env2=env2))

class ExampleCtrl(object):
    """Mealy transducer.

    Internal states are integers, the current state
    is stored in the attribute "state".
    To take a transition, call method "move".

    The names of input variables are stored in the
    attribute "input_vars".

    Automatically generated by tulip.dumpsmach on 2015-08-13 05:18:57 UTC
    To learn more about TuLiP, visit http://tulip-control.org
    """
    def __init__(self):
        self.state = 52
        self.input_vars = ['env2']

    def move(self, env2):
        """Given inputs, take move and return outputs.

        @rtype: dict
        @return: dictionary with keys of the output variable names:
            ['loc', 'stage']
        """
        output = dict()
        if self.state == 0:
            if (env2 == 0):
                self.state = 0

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 1:
            if (env2 == 0):
                self.state = 0

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 2:
            if (env2 == 0):
                self.state = 0

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 3:
            if (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 2

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 1

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 4:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 2

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 5:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 5

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 6:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 7:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 8:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 9:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 10:
            if (env2 == 7):
                self.state = 10

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 11:
            if (env2 == 7):
                self.state = 10

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 12:
            if (env2 == 7):
                self.state = 10

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 13:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 6):
                self.state = 11

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 14:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 5):
                self.state = 12

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 15:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 16:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 17:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 18:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 19:
            if (env2 == 2):
                self.state = 16

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 0):
                self.state = 17

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 4):
                self.state = 13

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 3):
                self.state = 14

                output["loc"] = 20
                output["stage"] = 2
            elif (env2 == 1):
                self.state = 15

                output["loc"] = 20
                output["stage"] = 2
            else:
                self._error(env2)
        elif self.state == 20:
            if (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 21:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 18

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 22:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 23:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 24:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 19

                output["loc"] = 21
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 25:
            if (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 20

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 22

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 23

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 26:
            if (env2 == 6):
                self.state = 9

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 26

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 25

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 27:
            if (env2 == 5):
                self.state = 25

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 26

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 28:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 6

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 7

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 29:
            if (env2 == 0):
                self.state = 8

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 24

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 21

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 6

                output["loc"] = 20
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 7

                output["loc"] = 20
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 30:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 31:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 26

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 27

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 32:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 28

                output["loc"] = 19
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 29

                output["loc"] = 19
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 33:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 30

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 31

                output["loc"] = 18
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 34:
            if (env2 == 0):
                self.state = 32

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 30

                output["loc"] = 18
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 31

                output["loc"] = 18
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 35:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 36:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 37:
            if (env2 == 5):
                self.state = 35

                output["loc"] = 8
                output["stage"] = 1
            elif (env2 == 6):
                self.state = 36

                output["loc"] = 8
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 38:
            if (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 1):
                self.state = 33

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 39:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 5

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 40:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 5

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 41:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 2):
                self.state = 34

                output["loc"] = 17
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 42:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 3):
                self.state = 38

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 43:
            if (env2 == 6):
                self.state = 40

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 4):
                self.state = 41

                output["loc"] = 16
                output["stage"] = 1
            elif (env2 == 7):
                self.state = 37

                output["loc"] = 0
                output["stage"] = 1
            elif (env2 == 5):
                self.state = 39

                output["loc"] = 16
                output["stage"] = 1
            else:
                self._error(env2)
        elif self.state == 44:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 45:
            if (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 46:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 47:
            if (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 48:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 49:
            if (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 50:
            if (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 3

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 4

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 51:
            if (env2 == 6):
                self.state = 43

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 42

                output["loc"] = 8
                output["stage"] = 0
            elif (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        elif self.state == 52:
            if (env2 == 0):
                self.state = 44

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 4):
                self.state = 45

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 2):
                self.state = 46

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 6):
                self.state = 47

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 1):
                self.state = 48

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 5):
                self.state = 49

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 3):
                self.state = 50

                output["loc"] = 0
                output["stage"] = 0
            elif (env2 == 7):
                self.state = 51

                output["loc"] = 0
                output["stage"] = 0
            else:
                self._error(env2)
        else:
            raise Exception("Unrecognized internal state: " + str(self.state))
        return output

    def _error(self, env2):
        raise ValueError("Unrecognized input: " + (
            "env2 = {env2}; ").format(
                env2=env2))
