
%---&gt; universal automaton of S3
\begin{VCPicture}{(-11,-5)(11,12)}
%
\end{VCPicture}

