Extremality of the unique translation-invariant Gibbs measure for HC models on the Cayley tree of order three

We consider fertile three-state hard core models with the activity parameter on an order-three Cayley tree. It is known that there exist four types of such models: in two of them the regions of extremality of the unique translation-invariant Gibbs measure were found.