$\{\}$
$\{a,b,c\}$
$\{a\}$
$\{b\}$
$\{c\}$
$\{a,c\}$
$\{a,b\}$
$\{b,c\}$
$write(\{a\})$:
$\sqsupseteq \{a\} \to$ OK
$\sqsupseteq \{a\} \to$ OK
$\sqsupseteq \{a\}$
return OK
return OK
$write(\{b\})$:
$\sqsupseteq \{b\}$
$\sqsupseteq \{b\} \to$ OK
$\sqsupseteq \{b\} \to$ OK