THEORY BalanceX IS
  TP3WinnieInterface,0,0,0,0,0,0,0;
  Initialisation,0,0,0,0,0,0,0;
  XAjout_Voiture,0,0,0,0,0,0,0;
  XRetire_Voiture,0,0,0,0,0,0,0;
  XNbLibre,0,0,0,0,0,0,0;
  XNbVoitures,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