Fields:
  edit_text = ['', 'fl u-b- r2d2 f2-l2- FL U- B-']
  edit_pos = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28]
  game_len = [0, 12]
Conditions:
  edit_pos <= len(edit_text)
Limits:
Initial-State: edit_text='', edit_pos=0, game_len=0
Transition: edit_moves_key (Qt.Key_Left, Qt.ControlModifier)
  State: edit_pos=0
  State: edit_pos=1
         edit_pos=0
  State: edit_pos=2
         edit_pos=1
  State: edit_pos=3
         edit_pos=1
  State: edit_pos=4
         edit_pos=3
  State: edit_pos=5
         edit_pos=3
  State: edit_pos=6
         edit_pos=5
  State: edit_pos=7
         edit_pos=5
  State: edit_pos=8
         edit_pos=5
  State: edit_pos=9
         edit_pos=8
  State: edit_pos=10
         edit_pos=8
  State: edit_pos=11
         edit_pos=10
  State: edit_pos=12
         edit_pos=10
  State: edit_pos=13
         edit_pos=10
  State: edit_pos=14
         edit_pos=13
  State: edit_pos=15
         edit_pos=13
  State: edit_pos=16
         edit_pos=13
  State: edit_pos=17
         edit_pos=16
  State: edit_pos=18
         edit_pos=16
  State: edit_pos=19
         edit_pos=16
  State: edit_pos=20
         edit_pos=16
  State: edit_pos=21
         edit_pos=20
  State: edit_pos=22
         edit_pos=21
  State: edit_pos=23
         edit_pos=21
  State: edit_pos=24
         edit_pos=23
  State: edit_pos=25
         edit_pos=23
  State: edit_pos=26
         edit_pos=23
  State: edit_pos=27
         edit_pos=26
  State: edit_pos=28
         edit_pos=26
Transition: edit_moves_key (Qt.Key_Right, Qt.ControlModifier)
  State: edit_text='', edit_pos=0
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=0
                                                   edit_pos=1
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=1
                                                   edit_pos=3
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=2
                                                   edit_pos=3
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=3
                                                   edit_pos=5
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=4
                                                   edit_pos=5
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=5
                                                   edit_pos=8
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=6
                                                   edit_pos=8
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=7
                                                   edit_pos=8
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=8
                                                   edit_pos=10
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=9
                                                   edit_pos=10
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=10
                                                   edit_pos=13
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=11
                                                   edit_pos=13
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=12
                                                   edit_pos=13
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=13
                                                   edit_pos=16
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=14
                                                   edit_pos=16
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=15
                                                   edit_pos=16
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=16
                                                   edit_pos=20
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=17
                                                   edit_pos=20
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=18
                                                   edit_pos=20
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=19
                                                   edit_pos=20
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=20
                                                   edit_pos=21
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=21
                                                   edit_pos=23
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=22
                                                   edit_pos=23
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=23
                                                   edit_pos=26
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=24
                                                   edit_pos=26
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=25
                                                   edit_pos=26
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=26
                                                   edit_pos=28
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=27
                                                   edit_pos=28
  State: edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=28
Transition: edit_moves_key Qt.Key_Enter
  Expression: game_len = len(edit_text.translate({c:None for c in b' 2-'}))
  State: edit_pos=0
  State: edit_pos=1
  State: edit_pos=2
         edit_pos=3
  State: edit_pos=3
  State: edit_pos=4
         edit_pos=5
  State: edit_pos=5
  State: edit_pos=6
         edit_pos=8
  State: edit_pos=7
         edit_pos=8
  State: edit_pos=8
  State: edit_pos=9
         edit_pos=10
  State: edit_pos=10
  State: edit_pos=11
         edit_pos=13
  State: edit_pos=12
         edit_pos=13
  State: edit_pos=13
  State: edit_pos=14
         edit_pos=16
  State: edit_pos=15
         edit_pos=16
  State: edit_pos=16
  State: edit_pos=17
         edit_pos=20
  State: edit_pos=18
         edit_pos=20
  State: edit_pos=19
         edit_pos=20
  State: edit_pos=20
  State: edit_pos=21
  State: edit_pos=22
         edit_pos=23
  State: edit_pos=23
  State: edit_pos=24
         edit_pos=26
  State: edit_pos=25
         edit_pos=26
  State: edit_pos=26
  State: edit_pos=27
         edit_pos=28
  State: edit_pos=28
Transition: edit_moves_key Qt.Key_Left
  Expression: edit_pos = max(edit_pos - 1, 0)
  State: 
Transition: edit_moves_key Qt.Key_Right
  Expression: edit_pos = min(edit_pos + 1, len(edit_text))
  State: 
Transition: edit_moves_text ('', False)
  State: 
         edit_text='', edit_pos=0
Transition: edit_moves_text ('fl u-b- r2d2 f2-l2- FL U- B-', False)
  State: 
         edit_text='fl u-b- r2d2 f2-l2- FL U- B-', edit_pos=28
