\begin{circus}
\circchannel c1, c2, c3, c4, c5, c6, c7, c8, c9
\end{circus}
\begin{circus}
\circprocess CRUZAMENTOS \circdef \circbegin
\end{circus}
\begin{circusaction}
CARRO1 \circdef c1 \then c2 \then c3 \then c6 \then c5 \then c4 \then \Skip %CARRO1
\end{circusaction}
\begin{circusaction}
CARRO2 \circdef c4 \then c5 \then c6 \then c9 \then c8 \then c7 \then \Skip %CARRO2
\end{circusaction}
\begin{circusaction}
CARRO3 \circdef c2 \then c5 \then c8 \then c7 \then c4 \then c1 \then \Skip %CARRO3
\end{circusaction}
\begin{circusaction}
CARRO4 \circdef c3 \then c6 \then c9 \then c8 \then c5 \then c2 \then \Skip %CARRO4
\end{circusaction}
\begin{circusaction}
\circspot
	(((
	CARRO1
	%c1 \then c2 \then c3 \then c6 \then c5 \then c4 \then \Skip	
	\interleave 
	CARRO2
	%c4 \then c5 \then c6 \then c9 \then c8 \then c7 \then \Skip
	)
	\interleave 
	CARRO3
	%c2 \then c5 \then c8 \then c7 \then c4 \then c1 \then \Skip
	)
	\interleave 
	CARRO4
	%c3 \then c6 \then c9 \then c8 \then c5 \then c2 \then \Skip
	)
\end{circusaction}
\begin{circus}
\circend
\end{circus}
