% Drawing generated by LaTeX-CAD 1.9 - requires latexcad.sty 
% (c) 1998 John Leis leis@usq.edu.au 
\begin{picture}(190,76)
\thinlines
\drawcenteredtext{72.0}{66.0}{\scriptsize{$x(yz)=(xy)z$}}
\thicklines
\drawframebox{72.0}{68.0}{32.0}{8.0}{}
\thinlines
\drawpath{72.0}{64.0}{72.0}{60.0}
\drawcenteredtext{72.0}{58.0}{\scriptsize{extra loops}}
\drawcenteredtext{72.0}{54.0}{\scriptsize{$x(y(zx))=((xy)z)x$}}
\thicklines
\drawframebox{102.0}{42.0}{32.0}{8.0}{}
\thinlines
\drawpath{72.0}{52.0}{46.0}{46.0}
\drawcenteredtext{46.0}{44.0}{\scriptsize{Moufang loops}}
\thicklines
\drawcenteredtext{46.0}{40.0}{\scriptsize{$(xy)(zx)=(x(yz))x$}}
\thinlines
\drawpath{72.0}{52.0}{102.0}{46.0}
\drawcenteredtext{46.0}{30.0}{\scriptsize{right Bol loops}}
\drawcenteredtext{74.0}{30.0}{\scriptsize{flexible loops}}
\drawcenteredtext{16.0}{30.0}{\scriptsize{left Bol loops}}
\drawpath{16.0}{24.0}{14.0}{12.0}
\thicklines
\drawcenteredtext{16.0}{26.0}{\scriptsize{$x(y(xz))=(x(yx))z$}}
\thinlines
\drawpath{46.0}{24.0}{42.0}{12.0}
\drawpath{102.0}{24.0}{14.0}{12.0}
\drawpath{102.0}{24.0}{102.0}{12.0}
\drawpath{102.0}{24.0}{72.0}{12.0}
\drawpath{132.0}{24.0}{132.0}{12.0}
\drawpath{132.0}{24.0}{102.0}{12.0}
\drawpath{42.0}{12.0}{132.0}{24.0}
\thicklines
\drawframebox{102.0}{28.0}{28.0}{8.0}{}
\drawframebox{132.0}{28.0}{28.0}{8.0}{}
\thinlines
\drawcenteredtext{102.0}{44.0}{\scriptsize{C-loops}}
\thicklines
\drawcenteredtext{46.0}{26.0}{\scriptsize{$x((yz)y)=((xy)z)y$}}
\drawcenteredtext{74.0}{26.0}{\scriptsize{$x(yx)=(xy)x$}}
\drawcenteredtext{14.0}{10.0}{\scriptsize{left alternative l.}}
\thinlines
\drawpath{46.0}{38.0}{46.0}{32.0}
\drawcenteredtext{72.0}{70.0}{\scriptsize{groups}}
\thicklines
\drawframebox{72.0}{56.0}{32.0}{8.0}{}
\thinlines
\drawpath{46.0}{38.0}{74.0}{32.0}
\drawcenteredtext{42.0}{10.0}{\scriptsize{right alternative l.}}
\thicklines
\drawframebox{16.0}{28.0}{28.0}{8.0}{}
\drawcenteredtext{102.0}{10.0}{\scriptsize{middle nuclear sq. l.}}
\drawcenteredtext{132.0}{10.0}{\scriptsize{right nuclear sq. l.}}
\drawcenteredtext{72.0}{6.0}{\scriptsize{$(xx)(yz)=((xx)y)z$}}
\drawframebox{46.0}{28.0}{28.0}{8.0}{}
\drawframebox{74.0}{28.0}{24.0}{8.0}{}
\drawcenteredtext{72.0}{10.0}{\scriptsize{left nuclear square l.}}
\drawcenteredtext{102.0}{40.0}{\scriptsize{$x(y(yz))=((xy)y)z$}}
\thinlines
\drawcenteredtext{14.0}{6.0}{\scriptsize{$x(xy)=(xx)y$}}
\drawcenteredtext{102.0}{30.0}{\scriptsize{LC-loops}}
\thicklines
\drawframebox{46.0}{42.0}{32.0}{8.0}{}
\thinlines
\drawpath{46.0}{38.0}{16.0}{32.0}
\drawcenteredtext{42.0}{6.0}{\scriptsize{$x(yy)=(xy)y$}}
\thicklines
\drawcenteredtext{102.0}{26.0}{\scriptsize{$(xx)(yz)=(x(xy))z$}}
\thinlines
\drawcenteredtext{102.0}{6.0}{\scriptsize{$x((yy)z)=(x(yy))z$}}
\drawcenteredtext{132.0}{6.0}{\scriptsize{$x(y(zz))=(xy)(zz)$}}
\thicklines
\drawframebox{14.0}{8.0}{24.0}{8.0}{}
\drawframebox{42.0}{8.0}{28.0}{8.0}{}
\drawframebox{72.0}{8.0}{28.0}{8.0}{}
\drawframebox{102.0}{8.0}{28.0}{8.0}{}
\thinlines
\drawcenteredtext{132.0}{30.0}{\scriptsize{RC-loops}}
\drawcenteredtext{132.0}{26.0}{\scriptsize{$x((yz)z)=(xy)(zz)$}}
\drawpath{102.0}{38.0}{102.0}{32.0}
\drawpath{102.0}{38.0}{132.0}{32.0}
\thicklines
\drawframebox{132.0}{8.0}{28.0}{8.0}{}
\end{picture}
