Fields:
  selectdlg_exists = [True]
  selectdlg_visible = [False, True]
  solved = [False, True]
  sizes = [(3, 3, 3), (3, 4, 2), (3, 4, 3)]
  dlg_model = [0, 1, 2]
  lblsize1 = [True]
  lblsize2 = [False, True]
  lblsize3 = [False, True]
  size1 = [(3, True)]
  size2 = [(4, False), (4, True)]
  size3 = [(2, False), (2, True)]
  dlg_solved = [False, True]
Conditions:
  selectdlg_exists == (size1 is not None) == (size2 is not None) == (size3 is not None)
  selectdlg_exists or not selectdlg_visible
  lblsize1 == (size1 and size1[1]) == (None if dlg_model is None else (0 <= dlg_model <= 2))
  lblsize2 == (size2 and size2[1]) == (None if dlg_model is None else (1 <= dlg_model <= 2))
  lblsize3 == (size3 and size3[1]) == (None if dlg_model is None else (dlg_model == 2))
Limits:
Initial-State: selectdlg_exists=False, selectdlg_visible=False, solved=True, sizes=(3, 3, 3), dlg_model=None, lblsize1=None, lblsize2=None, lblsize3=None, size1=None, size2=None, size3=None, dlg_solved=None
One-Way: dialog_selectmodel
  State: selectdlg_exists=False, selectdlg_visible=False, solved=True, sizes=(3, 3, 3), dlg_model=None, lblsize1=None, lblsize2=None, lblsize3=None, size1=None, size2=None, size3=None, dlg_solved=None
         selectdlg_exists=True, selectdlg_visible=True,                               dlg_model=0, lblsize1=True, lblsize2=False, lblsize3=False, size1=(3, True), size2=(4, False), size3=(2, False), dlg_solved=False
Transition: action_selectmodel
  State: 
         selectdlg_visible=True
Transition: dialog_selectmodel_cancel
  State: 
         selectdlg_visible=False
Transition: dialog_selectmodel_changemodel Qt.Key_Down
  Expression: dlg_model = min(2, dlg_model+1)  if selectdlg_visible else dlg_model
  State: selectdlg_visible=False, lblsize2=False, lblsize3=False, size2=(4, False), size3=(2, False)
  State: selectdlg_visible=False, lblsize2=True, lblsize3=False, size2=(4, True), size3=(2, False)
  State: selectdlg_visible=False, lblsize2=True, lblsize3=True, size2=(4, True), size3=(2, True)
  State: selectdlg_visible=True, lblsize2=False, lblsize3=False, size2=(4, False), size3=(2, False)
                                 lblsize2=True,                 size2=(4, True)
  State: selectdlg_visible=True, lblsize2=True, lblsize3=False, size2=(4, True), size3=(2, False)
                                                lblsize3=True,                  size3=(2, True)
  State: selectdlg_visible=True, lblsize2=True, lblsize3=True, size2=(4, True), size3=(2, True)
Transition: dialog_selectmodel_changemodel Qt.Key_Up
  Expression: dlg_model = max(0, dlg_model-1) if selectdlg_visible else dlg_model
  State: selectdlg_visible=False, lblsize2=False, lblsize3=False, size2=(4, False), size3=(2, False)
  State: selectdlg_visible=False, lblsize2=True, lblsize3=False, size2=(4, True), size3=(2, False)
  State: selectdlg_visible=False, lblsize2=True, lblsize3=True, size2=(4, True), size3=(2, True)
  State: selectdlg_visible=True, lblsize2=False, lblsize3=False, size2=(4, False), size3=(2, False)
  State: selectdlg_visible=True, lblsize2=True, lblsize3=False, size2=(4, True), size3=(2, False)
                                 lblsize2=False,                 size2=(4, False)
  State: selectdlg_visible=True, lblsize2=True, lblsize3=True, size2=(4, True), size3=(2, True)
                                                lblsize3=False,                  size3=(2, False)
Transition: dialog_selectmodel_checksolved False
  Expression: dlg_solved = False if selectdlg_visible else dlg_solved
  State: 
Transition: dialog_selectmodel_checksolved True
  Expression: dlg_solved = True if selectdlg_visible else dlg_solved
  State: 
Transition: dialog_selectmodel_ok
  Expression: selectdlg_visible = False
  Expression: solved = dlg_solved if selectdlg_visible else solved
  State: selectdlg_visible=False, sizes=(3, 3, 3), size2=(4, False), size3=(2, False)
  State: selectdlg_visible=False, sizes=(3, 3, 3), size2=(4, True), size3=(2, False)
  State: selectdlg_visible=False, sizes=(3, 3, 3), size2=(4, True), size3=(2, True)
  State: selectdlg_visible=False, sizes=(3, 4, 2), size2=(4, False), size3=(2, False)
  State: selectdlg_visible=False, sizes=(3, 4, 2), size2=(4, True), size3=(2, False)
  State: selectdlg_visible=False, sizes=(3, 4, 2), size2=(4, True), size3=(2, True)
  State: selectdlg_visible=False, sizes=(3, 4, 3), size2=(4, False), size3=(2, False)
  State: selectdlg_visible=False, sizes=(3, 4, 3), size2=(4, True), size3=(2, False)
  State: selectdlg_visible=False, sizes=(3, 4, 3), size2=(4, True), size3=(2, True)
  State: selectdlg_visible=True, sizes=(3, 3, 3), size2=(4, False), size3=(2, False)
  State: selectdlg_visible=True, sizes=(3, 3, 3), size2=(4, True), size3=(2, False)
         sizes=(3, 4, 3)
  State: selectdlg_visible=True, sizes=(3, 3, 3), size2=(4, True), size3=(2, True)
         sizes=(3, 4, 2)
  State: selectdlg_visible=True, sizes=(3, 4, 2), size2=(4, False), size3=(2, False)
         sizes=(3, 3, 3)
  State: selectdlg_visible=True, sizes=(3, 4, 2), size2=(4, True), size3=(2, False)
         sizes=(3, 4, 3)
  State: selectdlg_visible=True, sizes=(3, 4, 2), size2=(4, True), size3=(2, True)
  State: selectdlg_visible=True, sizes=(3, 4, 3), size2=(4, False), size3=(2, False)
         sizes=(3, 3, 3)
  State: selectdlg_visible=True, sizes=(3, 4, 3), size2=(4, True), size3=(2, False)
  State: selectdlg_visible=True, sizes=(3, 4, 3), size2=(4, True), size3=(2, True)
         sizes=(3, 4, 2)
