THEORY BalanceX IS
  TP3Winnie,3,0,0,3,0,0,0;
  Initialisation,1,0,0,1,0,0,0;
  Ajout_Voiture,1,0,0,1,0,0,0;
  Retire_Voiture,1,0,0,1,0,0,0;
  Get_NbLibre,0,0,0,0,0,0,0
END
&
THEORY ProofState IS
  Proved(0);
  Proved(0);
  Proved(0)
END
&
THEORY MethodList IS
  pr;
  pr;
  pr
END
&
THEORY PassList IS
  Force(0),?;
  Force(0),?;
  Force(0),?
END
&
THEORY ManForms 
END
&
THEORY Version IS
  POVersion(V3.6.8)(CLT == "V3.7.2")(local_op == OK);
  PRVersion("V3.3.3.p11")(CLT == "V3.7.2")
END