THEORY BalanceX IS
  affichage,0,0,0,0,0,0,0;
  Initialisation,0,0,0,0,0,0,0;
  affichageMenu,0,0,0,0,0,0,0;
  affichageMenuParkings,0,0,0,0,0,0,0
END
&
THEORY ProofState
END
&
THEORY MethodList
END
&
THEORY PassList
END
&
THEORY ManForms 
END
&
THEORY Version IS
  POVersion(V3.6.8)(CLT == "V3.7.2")(local_op == OK)
END