10.71/3.00	YES
11.02/3.02	
11.02/3.02	
11.02/3.02	The system was filtered by the following matrix interpretation
11.02/3.02	of type E_J with J = {1,...,2} and dimension 6:
11.02/3.02	
11.02/3.02	b is interpreted by
11.02/3.02	 /           \
11.02/3.02	| 1 1 1 0 1 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 0 0 1 0 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 0 0 0 0 0 |
11.02/3.02	| 0 1 0 0 0 1 |
11.02/3.02	 \           /
11.02/3.02	c is interpreted by
11.02/3.02	 /           \
11.02/3.02	| 1 0 1 0 1 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 0 0 1 0 0 |
11.02/3.02	| 0 0 0 0 0 1 |
11.02/3.02	| 0 0 0 0 0 0 |
11.02/3.02	 \           /
11.02/3.02	a is interpreted by
11.02/3.02	 /           \
11.02/3.02	| 1 1 1 1 1 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 1 0 0 0 0 |
11.02/3.02	| 0 0 0 0 0 0 |
11.02/3.02	| 0 0 0 0 0 0 |
11.02/3.02	 \           /
11.02/3.02	
11.02/3.02	Remains to prove termination of the 4-rule system
11.02/3.02	{ b c b -> b a c ,
11.02/3.02	  b a c -> b c a ,
11.02/3.02	  a c c ->= c c b ,
11.02/3.02	  a c a ->= a b b }
11.02/3.02	
11.02/3.02	
11.02/3.02	The system was filtered by the following matrix interpretation
11.02/3.02	of type E_J with J = {1,...,2} and dimension 2:
11.02/3.02	
11.02/3.02	b is interpreted by
11.02/3.02	 /   \
11.02/3.02	| 1 0 |
11.02/3.02	| 0 1 |
11.02/3.02	 \   /
11.02/3.02	c is interpreted by
11.02/3.02	 /   \
11.02/3.02	| 1 1 |
11.02/3.02	| 0 1 |
11.02/3.02	 \   /
11.02/3.02	a is interpreted by
11.02/3.02	 /   \
11.02/3.02	| 1 0 |
11.02/3.02	| 0 1 |
11.02/3.02	 \   /
11.02/3.02	
11.02/3.02	Remains to prove termination of the 3-rule system
11.02/3.02	{ b c b -> b a c ,
11.02/3.02	  b a c -> b c a ,
11.02/3.02	  a c c ->= c c b }
11.02/3.02	
11.02/3.02	
11.02/3.02	The system was filtered by the following matrix interpretation
11.02/3.02	of type E_J with J = {1,...,2} and dimension 4:
11.02/3.02	
11.02/3.02	b is interpreted by
11.02/3.02	 /       \
11.02/3.02	| 1 0 1 1 |
11.02/3.02	| 0 1 0 0 |
11.02/3.02	| 0 2 0 0 |
11.02/3.02	| 0 0 0 0 |
11.02/3.02	 \       /
11.02/3.02	c is interpreted by
11.02/3.02	 /       \
11.02/3.02	| 1 0 0 0 |
11.02/3.02	| 0 2 0 0 |
11.02/3.02	| 0 0 1 1 |
11.02/3.02	| 0 1 0 0 |
11.02/3.02	 \       /
11.02/3.02	a is interpreted by
11.02/3.02	 /       \
11.02/3.02	| 1 0 1 0 |
11.02/3.02	| 0 1 0 0 |
11.02/3.02	| 0 1 0 0 |
11.02/3.02	| 0 0 0 1 |
11.02/3.02	 \       /
11.02/3.02	
11.02/3.02	Remains to prove termination of the 1-rule system
11.02/3.02	{ b c b -> b a c }
11.02/3.02	
11.02/3.02	
11.02/3.02	The system was filtered by the following matrix interpretation
11.02/3.02	of type E_J with J = {1,...,2} and dimension 2:
11.02/3.02	
11.02/3.02	b is interpreted by
11.02/3.02	 /   \
11.02/3.02	| 1 1 |
11.02/3.02	| 0 1 |
11.02/3.02	 \   /
11.02/3.02	c is interpreted by
11.02/3.02	 /   \
11.02/3.02	| 1 0 |
11.02/3.02	| 0 1 |
11.02/3.02	 \   /
11.02/3.02	a is interpreted by
11.02/3.02	 /   \
11.02/3.02	| 1 0 |
11.02/3.02	| 0 1 |
11.02/3.02	 \   /
11.02/3.02	
11.02/3.02	Remains to prove termination of the 0-rule system
11.02/3.02	{ }
11.02/3.02	
11.02/3.02	
11.02/3.02	The system is trivially terminating.
11.02/3.04	EOF