[root@cs turing]# ./multiply.vtm 0: _<1>1 1 1 1 _ 1 1 1 1 _ 0: _ W<1>1 1 1 _ 1 1 1 1 _ 0: _ W 1<1>1 1 _ 1 1 1 1 _ 0: _ W 1 1<1>1 _ 1 1 1 1 _ 0: _ W 1 1 1<1>_ 1 1 1 1 _ 0: _ W 1 1 1 1<_>1 1 1 1 _ 0: _ W 1 1 1 1 _<1>1 1 1 _ 0: _ W 1 1 1 1 _ Y<1>1 1 _ 0: _ W 1 1 1 1 _ Y 1<1>1 _ 0: _ W 1 1 1 1 _ Y 1 1<1>_ 0: _ W 1 1 1 1 _ Y 1 1 1<_> 0: _ W 1 1 1 1 _ Y 1 1 1 _<_> 0: _ W 1 1 1 1 _ Y 1 1 1<_>1 0: _ W 1 1 1 1 _ Y 1 1<1>_ 1 0: _ W 1 1 1 1 _ Y 1<1>1 _ 1 0: _ W 1 1 1 1 _ Y<1>1 1 _ 1 0: _ W 1 1 1 1 _1 1 1 _ 1 0: _ W 1 1 1 1<_>Y 1 1 1 _ 1 0: _ W 1 1 1<1>_ Y 1 1 1 _ 1 0: _ W 1 1<1>1 _ Y 1 1 1 _ 1 0: _ W 1<1>1 1 _ Y 1 1 1 _ 1 0: _ W<1>1 1 1 _ Y 1 1 1 _ 1 0: _1 1 1 1 _ Y 1 1 1 _ 1 0: _ W<1>1 1 1 _ Y 1 1 1 _ 1 0: _ W X<1>1 1 _ Y 1 1 1 _ 1 0: _ W X 1<1>1 _ Y 1 1 1 _ 1 0: _ W X 1 1<1>_ Y 1 1 1 _ 1 0: _ W X 1 1 1<_>Y 1 1 1 _ 1 0: _ W X 1 1 1 _1 1 1 _ 1 0: _ W X 1 1 1 _ Y<1>1 1 _ 1 0: _ W X 1 1 1 _ Y Z<1>1 _ 1 0: _ W X 1 1 1 _ Y Z 1<1>_ 1 0: _ W X 1 1 1 _ Y Z 1 1<_>1 0: _ W X 1 1 1 _ Y Z 1 1 _<1> 0: _ W X 1 1 1 _ Y Z 1 1 _ 1<_> 0: _ W X 1 1 1 _ Y Z 1 1 _<1>1 0: _ W X 1 1 1 _ Y Z 1 1<_>1 1 0: _ W X 1 1 1 _ Y Z 1<1>_ 1 1 0: _ W X 1 1 1 _ Y Z<1>1 _ 1 1 0: _ W X 1 1 1 _ Y1 1 _ 1 1 0: _ W X 1 1 1 _ Y Z<1>1 _ 1 1 0: _ W X 1 1 1 _ Y Z Z<1>_ 1 1 0: _ W X 1 1 1 _ Y Z Z 1<_>1 1 0: _ W X 1 1 1 _ Y Z Z 1 _<1>1 0: _ W X 1 1 1 _ Y Z Z 1 _ 1<1> 0: _ W X 1 1 1 _ Y Z Z 1 _ 1 1<_> 0: _ W X 1 1 1 _ Y Z Z 1 _ 1<1>1 0: _ W X 1 1 1 _ Y Z Z 1 _<1>1 1 0: _ W X 1 1 1 _ Y Z Z 1<_>1 1 1 0: _ W X 1 1 1 _ Y Z Z<1>_ 1 1 1 0: _ W X 1 1 1 _ Y Z1 _ 1 1 1 0: _ W X 1 1 1 _ Y Z Z<1>_ 1 1 1 0: _ W X 1 1 1 _ Y Z Z Z<_>1 1 1 0: _ W X 1 1 1 _ Y Z Z Z _<1>1 1 0: _ W X 1 1 1 _ Y Z Z Z _ 1<1>1 0: _ W X 1 1 1 _ Y Z Z Z _ 1 1<1> 0: _ W X 1 1 1 _ Y Z Z Z _ 1 1 1<_> 0: _ W X 1 1 1 _ Y Z Z Z _ 1 1<1>1 0: _ W X 1 1 1 _ Y Z Z Z _ 1<1>1 1 0: _ W X 1 1 1 _ Y Z Z Z _<1>1 1 1 0: _ W X 1 1 1 _ Y Z Z Z<_>1 1 1 1 0: _ W X 1 1 1 _ Y Z Z_ 1 1 1 1 0: _ W X 1 1 1 _ Y Z Z Z<_>1 1 1 1 0: _ W X 1 1 1 _ Y Z Z_ 1 1 1 1 0: _ W X 1 1 1 _ Y Z1 _ 1 1 1 1 0: _ W X 1 1 1 _ Y1 1 _ 1 1 1 1 0: _ W X 1 1 1 _1 1 1 _ 1 1 1 1 0: _ W X 1 1 1<_>Y 1 1 1 _ 1 1 1 1 0: _ W X 1 1<1>_ Y 1 1 1 _ 1 1 1 1 0: _ W X 1<1>1 _ Y 1 1 1 _ 1 1 1 1 0: _ W X<1>1 1 _ Y 1 1 1 _ 1 1 1 1 0: _ W1 1 1 _ Y 1 1 1 _ 1 1 1 1 0: _ W X<1>1 1 _ Y 1 1 1 _ 1 1 1 1 0: _ W X X<1>1 _ Y 1 1 1 _ 1 1 1 1 0: _ W X X 1<1>_ Y 1 1 1 _ 1 1 1 1 0: _ W X X 1 1<_>Y 1 1 1 _ 1 1 1 1 0: _ W X X 1 1 _1 1 1 _ 1 1 1 1 0: _ W X X 1 1 _ Y<1>1 1 _ 1 1 1 1 0: _ W X X 1 1 _ Y Z<1>1 _ 1 1 1 1 0: _ W X X 1 1 _ Y Z 1<1>_ 1 1 1 1 0: _ W X X 1 1 _ Y Z 1 1<_>1 1 1 1 0: _ W X X 1 1 _ Y Z 1 1 _<1>1 1 1 0: _ W X X 1 1 _ Y Z 1 1 _ 1<1>1 1 0: _ W X X 1 1 _ Y Z 1 1 _ 1 1<1>1 0: _ W X X 1 1 _ Y Z 1 1 _ 1 1 1<1> 0: _ W X X 1 1 _ Y Z 1 1 _ 1 1 1 1<_> 0: _ W X X 1 1 _ Y Z 1 1 _ 1 1 1<1>1 0: _ W X X 1 1 _ Y Z 1 1 _ 1 1<1>1 1 0: _ W X X 1 1 _ Y Z 1 1 _ 1<1>1 1 1 0: _ W X X 1 1 _ Y Z 1 1 _<1>1 1 1 1 0: _ W X X 1 1 _ Y Z 1 1<_>1 1 1 1 1 0: _ W X X 1 1 _ Y Z 1<1>_ 1 1 1 1 1 0: _ W X X 1 1 _ Y Z<1>1 _ 1 1 1 1 1 0: _ W X X 1 1 _ Y1 1 _ 1 1 1 1 1 0: _ W X X 1 1 _ Y Z<1>1 _ 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z<1>_ 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z 1<_>1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z 1 _<1>1 1 1 1 0: _ W X X 1 1 _ Y Z Z 1 _ 1<1>1 1 1 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1<1>1 1 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1 1<1>1 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1 1 1<1> 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1 1 1 1<_> 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1 1 1<1>1 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1 1<1>1 1 0: _ W X X 1 1 _ Y Z Z 1 _ 1 1<1>1 1 1 0: _ W X X 1 1 _ Y Z Z 1 _ 1<1>1 1 1 1 0: _ W X X 1 1 _ Y Z Z 1 _<1>1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z 1<_>1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z<1>_ 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z1 _ 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z<1>_ 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z<_>1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z _<1>1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1<1>1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1<1>1 1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1<1>1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1 1<1>1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1 1 1<1> 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1 1 1 1<_> 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1 1 1<1>1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1 1<1>1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1 1<1>1 1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1 1<1>1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z _ 1<1>1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z _<1>1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z<_>1 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z_ 1 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z Z<_>1 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z Z_ 1 1 1 1 1 1 1 0: _ W X X 1 1 _ Y Z1 _ 1 1 1 1 1 1 1 0: _ W X X 1 1 _ Y1 1 _ 1 1 1 1 1 1 1 0: _ W X X 1 1 _1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X 1 1<_>Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X 1<1>_ Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X<1>1 _ Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X1 1 _ Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X<1>1 _ Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X X<1>_ Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X X 1<_>Y 1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X X 1 _1 1 1 _ 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y<1>1 1 _ 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z<1>1 _ 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1<1>_ 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1<_>1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _<1>1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1<1>1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1<1>1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1<1>1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1<1>1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1 1<1>1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1 1 1<1> 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1 1 1 1<_> 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1 1 1<1>1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1 1<1>1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1 1<1>1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1 1<1>1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1 1<1>1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _ 1<1>1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1 _<1>1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1 1<_>1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z 1<1>_ 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z<1>1 _ 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y1 1 _ 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z<1>1 _ 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z<1>_ 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1<_>1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _<1>1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1<1>1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1<1>1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1<1>1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1<1>1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1<1>1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1 1<1>1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1 1 1<1> 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1 1 1 1<_> 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1 1 1<1>1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1 1<1>1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1 1<1>1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1 1<1>1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1 1<1>1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1 1<1>1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _ 1<1>1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1 _<1>1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z 1<_>1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z<1>_ 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z1 _ 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z<1>_ 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z<_>1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _<1>1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1<1>1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1<1>1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1<1>1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1<1>1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1<1>1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1<1>1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1 1<1>1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1 1 1<1> 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1<_> 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1 1 1<1>1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1 1<1>1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1 1<1>1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1 1<1>1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1 1<1>1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1 1<1>1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1 1<1>1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _ 1<1>1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z _<1>1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z<_>1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z_ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z Z<_>1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z Z_ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y Z1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _ Y1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1 _1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X 1<_>Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X<1>_ Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X1 _ Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X<1>_ Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X<_>Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _1 1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y<1>1 1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z<1>1 _ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1<1>_ 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1<_>1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _<1>1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1<1>1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1<1>1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1<1>1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1<1>1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1<1>1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1<1>1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1<1>1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1 1<1>1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1 1 1<1> 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1 1 1 1<_> 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1 1 1<1>1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1 1<1>1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1 1<1>1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1 1<1>1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1 1<1>1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1 1<1>1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1 1<1>1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1 1<1>1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _ 1<1>1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1 _<1>1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1 1<_>1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z 1<1>_ 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z<1>1 _ 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y1 1 _ 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z<1>1 _ 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z<1>_ 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1<_>1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _<1>1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1<1>1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1<1>1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1<1>1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1<1>1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1<1>1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1<1>1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1<1>1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1<1>1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1 1<1>1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1 1 1<1> 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1 1 1 1<_> 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1 1 1<1>1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1 1<1>1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1 1<1>1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1 1<1>1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1 1<1>1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1 1<1>1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1 1<1>1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1 1<1>1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1 1<1>1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _ 1<1>1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1 _<1>1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z 1<_>1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z<1>_ 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z1 _ 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z<1>_ 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z<_>1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _<1>1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1<1>1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1<1>1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1<1>1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1<1>1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1<1>1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1<1>1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1<1>1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1<1>1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1<1>1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1 1<1>1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1 1 1<1> 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1 1 1 1<_> 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1 1 1<1>1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1 1<1>1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1 1<1>1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1 1<1>1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1 1<1>1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1 1<1>1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1 1<1>1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1 1<1>1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1 1<1>1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1 1<1>1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _ 1<1>1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z _<1>1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z<_>1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z_ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z Z<_>1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z Z_ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y Z1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _ Y1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X<_>Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X_ Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X<_>Y 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X _1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X X<_>1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X X_ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X X1 _ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W X1 1 _ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _ W1 1 1 _ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _1 1 1 1 _ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: <_>1 1 1 1 1 _ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 0: _<1>1 1 1 1 _ 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 [root@cs turing]#