Fields:
  edit_text = ['', 'Bb', 'Bd', 'Bf', 'Bl', 'Br', 'Brrllffrruurrllddllf-rrllffrruurrllddllffb-', 'Bu', 'Db', 'Dd', 'Df', 'Dl', 'Dr', 'Drrllffrruurrllddllf-rrllffrruurrllddllffb-', 'Du', 'Fb', 'Fd', 'Ff', 'Fl', 'Fr', 'Frrllffrruurrllddllf-rrllffrruurrllddllffb-', 'Fu', 'Lb', 'Ld', 'Lf', 'Ll', 'Lr', 'Lrrllffrruurrllddllf-rrllffrruurrllddllffb-', 'Lu', 'Rb', 'Rd', 'Rf', 'Rl', 'Rr', 'Rrrllffrruurrllddllf-rrllffrruurrllddllffb-', 'Ru', 'Ub', 'Ud', 'Uf', 'Ul', 'Ur', 'Urrllffrruurrllddllf-rrllffrruurrllddllffb-', 'Uu', 'bB', 'bD', 'bF', 'bL', 'bR', 'bU', 'bbffrrbbuubbffddffr-bbffrrbbuubbffddffrrl-U', 'dB', 'dD', 'dF', 'dL', 'dR', 'dU', 'dduuffddrrdduulluuf-dduuffddrrdduulluuffb-B', 'fB', 'fD', 'fF', 'fL', 'fR', 'fU', 'ffbbllffuuffbbddbbl-ffbbllffuuffbbddbbllr-D', 'lB', 'lD', 'lF', 'lL', 'lR', 'lU', 'rB', 'rD', 'rF', 'rL', 'rR', 'rU', 'rrllddrrffrrllbblld-rrllddrrffrrllbbllddu-R', 'rrlluurrbbrrllffllu-rrlluurrbbrrllfflluud-L', 'uB', 'uD', 'uF', 'uL', 'uR', 'uU', 'uuddffuulluuddrrddf-uuddffuulluuddrrddffb-F']
  solved = [False, True]
Conditions:
  solved == (len(edit_text) in [0, 43])
Limits:
Initial-State: edit_text='', solved=True
Transition: action_normalize_complete_rotations
  State: edit_text=''
  State: edit_text='Bb'
         edit_text='bB'
  State: edit_text='Bd'
         edit_text='lB'
  State: edit_text='Bf'
         edit_text='fB'
  State: edit_text='Bl'
         edit_text='uB'
  State: edit_text='Br'
         edit_text='dB'
  State: edit_text='Brrllffrruurrllddllf-rrllffrruurrllddllffb-'
         edit_text='dduuffddrrdduulluuf-dduuffddrrdduulluuffb-B'
  State: edit_text='Bu'
         edit_text='rB'
  State: edit_text='Db'
         edit_text='rD'
  State: edit_text='Dd'
         edit_text='dD'
  State: edit_text='Df'
         edit_text='lD'
  State: edit_text='Dl'
         edit_text='bD'
  State: edit_text='Dr'
         edit_text='fD'
  State: edit_text='Drrllffrruurrllddllf-rrllffrruurrllddllffb-'
         edit_text='ffbbllffuuffbbddbbl-ffbbllffuuffbbddbbllr-D'
  State: edit_text='Du'
         edit_text='uD'
  State: edit_text='Fb'
         edit_text='bF'
  State: edit_text='Fd'
         edit_text='rF'
  State: edit_text='Ff'
         edit_text='fF'
  State: edit_text='Fl'
         edit_text='dF'
  State: edit_text='Fr'
         edit_text='uF'
  State: edit_text='Frrllffrruurrllddllf-rrllffrruurrllddllffb-'
         edit_text='uuddffuulluuddrrddf-uuddffuulluuddrrddffb-F'
  State: edit_text='Fu'
         edit_text='lF'
  State: edit_text='Lb'
         edit_text='dL'
  State: edit_text='Ld'
         edit_text='fL'
  State: edit_text='Lf'
         edit_text='uL'
  State: edit_text='Ll'
         edit_text='lL'
  State: edit_text='Lr'
         edit_text='rL'
  State: edit_text='Lrrllffrruurrllddllf-rrllffrruurrllddllffb-'
         edit_text='rrlluurrbbrrllffllu-rrlluurrbbrrllfflluud-L'
  State: edit_text='Lu'
         edit_text='bL'
  State: edit_text='Rb'
         edit_text='uR'
  State: edit_text='Rd'
         edit_text='bR'
  State: edit_text='Rf'
         edit_text='dR'
  State: edit_text='Rl'
         edit_text='lR'
  State: edit_text='Rr'
         edit_text='rR'
  State: edit_text='Rrrllffrruurrllddllf-rrllffrruurrllddllffb-'
         edit_text='rrllddrrffrrllbblld-rrllddrrffrrllbbllddu-R'
  State: edit_text='Ru'
         edit_text='fR'
  State: edit_text='Ub'
         edit_text='lU'
  State: edit_text='Ud'
         edit_text='dU'
  State: edit_text='Uf'
         edit_text='rU'
  State: edit_text='Ul'
         edit_text='fU'
  State: edit_text='Ur'
         edit_text='bU'
  State: edit_text='Urrllffrruurrllddllf-rrllffrruurrllddllffb-'
         edit_text='bbffrrbbuubbffddffr-bbffrrbbuubbffddffrrl-U'
  State: edit_text='Uu'
         edit_text='uU'
  State: edit_text='bB'
  State: edit_text='bD'
  State: edit_text='bF'
  State: edit_text='bL'
  State: edit_text='bR'
  State: edit_text='bU'
  State: edit_text='bbffrrbbuubbffddffr-bbffrrbbuubbffddffrrl-U'
  State: edit_text='dB'
  State: edit_text='dD'
  State: edit_text='dF'
  State: edit_text='dL'
  State: edit_text='dR'
  State: edit_text='dU'
  State: edit_text='dduuffddrrdduulluuf-dduuffddrrdduulluuffb-B'
  State: edit_text='fB'
  State: edit_text='fD'
  State: edit_text='fF'
  State: edit_text='fL'
  State: edit_text='fR'
  State: edit_text='fU'
  State: edit_text='ffbbllffuuffbbddbbl-ffbbllffuuffbbddbbllr-D'
  State: edit_text='lB'
  State: edit_text='lD'
  State: edit_text='lF'
  State: edit_text='lL'
  State: edit_text='lR'
  State: edit_text='lU'
  State: edit_text='rB'
  State: edit_text='rD'
  State: edit_text='rF'
  State: edit_text='rL'
  State: edit_text='rR'
  State: edit_text='rU'
  State: edit_text='rrllddrrffrrllbblld-rrllddrrffrrllbbllddu-R'
  State: edit_text='rrlluurrbbrrllffllu-rrlluurrbbrrllfflluud-L'
  State: edit_text='uB'
  State: edit_text='uD'
  State: edit_text='uF'
  State: edit_text='uL'
  State: edit_text='uR'
  State: edit_text='uU'
  State: edit_text='uuddffuulluuddrrddf-uuddffuulluuddrrddffb-F'
Transition: button_edit_clear_click Qt.LeftButton
  State: 
         edit_text='', solved=True
Transition: edit_moves_text 'Bb'
  State: 
         edit_text='Bb', solved=False
Transition: edit_moves_text 'Bd'
  State: 
         edit_text='Bd', solved=False
Transition: edit_moves_text 'Bf'
  State: 
         edit_text='Bf', solved=False
Transition: edit_moves_text 'Bl'
  State: 
         edit_text='Bl', solved=False
Transition: edit_moves_text 'Br'
  State: 
         edit_text='Br', solved=False
Transition: edit_moves_text 'Brrllffrruurrllddllf-rrllffrruurrllddllffb-'
  State: 
         edit_text='Brrllffrruurrllddllf-rrllffrruurrllddllffb-', solved=True
Transition: edit_moves_text 'Bu'
  State: 
         edit_text='Bu', solved=False
Transition: edit_moves_text 'Db'
  State: 
         edit_text='Db', solved=False
Transition: edit_moves_text 'Dd'
  State: 
         edit_text='Dd', solved=False
Transition: edit_moves_text 'Df'
  State: 
         edit_text='Df', solved=False
Transition: edit_moves_text 'Dl'
  State: 
         edit_text='Dl', solved=False
Transition: edit_moves_text 'Dr'
  State: 
         edit_text='Dr', solved=False
Transition: edit_moves_text 'Drrllffrruurrllddllf-rrllffrruurrllddllffb-'
  State: 
         edit_text='Drrllffrruurrllddllf-rrllffrruurrllddllffb-', solved=True
Transition: edit_moves_text 'Du'
  State: 
         edit_text='Du', solved=False
Transition: edit_moves_text 'Fb'
  State: 
         edit_text='Fb', solved=False
Transition: edit_moves_text 'Fd'
  State: 
         edit_text='Fd', solved=False
Transition: edit_moves_text 'Ff'
  State: 
         edit_text='Ff', solved=False
Transition: edit_moves_text 'Fl'
  State: 
         edit_text='Fl', solved=False
Transition: edit_moves_text 'Fr'
  State: 
         edit_text='Fr', solved=False
Transition: edit_moves_text 'Frrllffrruurrllddllf-rrllffrruurrllddllffb-'
  State: 
         edit_text='Frrllffrruurrllddllf-rrllffrruurrllddllffb-', solved=True
Transition: edit_moves_text 'Fu'
  State: 
         edit_text='Fu', solved=False
Transition: edit_moves_text 'Lb'
  State: 
         edit_text='Lb', solved=False
Transition: edit_moves_text 'Ld'
  State: 
         edit_text='Ld', solved=False
Transition: edit_moves_text 'Lf'
  State: 
         edit_text='Lf', solved=False
Transition: edit_moves_text 'Ll'
  State: 
         edit_text='Ll', solved=False
Transition: edit_moves_text 'Lr'
  State: 
         edit_text='Lr', solved=False
Transition: edit_moves_text 'Lrrllffrruurrllddllf-rrllffrruurrllddllffb-'
  State: 
         edit_text='Lrrllffrruurrllddllf-rrllffrruurrllddllffb-', solved=True
Transition: edit_moves_text 'Lu'
  State: 
         edit_text='Lu', solved=False
Transition: edit_moves_text 'Rb'
  State: 
         edit_text='Rb', solved=False
Transition: edit_moves_text 'Rd'
  State: 
         edit_text='Rd', solved=False
Transition: edit_moves_text 'Rf'
  State: 
         edit_text='Rf', solved=False
Transition: edit_moves_text 'Rl'
  State: 
         edit_text='Rl', solved=False
Transition: edit_moves_text 'Rr'
  State: 
         edit_text='Rr', solved=False
Transition: edit_moves_text 'Rrrllffrruurrllddllf-rrllffrruurrllddllffb-'
  State: 
         edit_text='Rrrllffrruurrllddllf-rrllffrruurrllddllffb-', solved=True
Transition: edit_moves_text 'Ru'
  State: 
         edit_text='Ru', solved=False
Transition: edit_moves_text 'Ub'
  State: 
         edit_text='Ub', solved=False
Transition: edit_moves_text 'Ud'
  State: 
         edit_text='Ud', solved=False
Transition: edit_moves_text 'Uf'
  State: 
         edit_text='Uf', solved=False
Transition: edit_moves_text 'Ul'
  State: 
         edit_text='Ul', solved=False
Transition: edit_moves_text 'Ur'
  State: 
         edit_text='Ur', solved=False
Transition: edit_moves_text 'Urrllffrruurrllddllf-rrllffrruurrllddllffb-'
  State: 
         edit_text='Urrllffrruurrllddllf-rrllffrruurrllddllffb-', solved=True
Transition: edit_moves_text 'Uu'
  State: 
         edit_text='Uu', solved=False
