34.89/9.10	YES
34.89/9.14	
34.89/9.14	
34.89/9.14	The system was filtered by the following matrix interpretation
34.89/9.14	of type E_J with J = {1,...,2} and dimension 4:
34.89/9.14	
34.89/9.14	b is interpreted by
34.89/9.14	 /       \
34.89/9.14	| 1 2 0 0 |
34.89/9.14	| 0 2 0 0 |
34.89/9.14	| 0 0 0 1 |
34.89/9.14	| 0 1 0 0 |
34.89/9.14	 \       /
34.89/9.14	c is interpreted by
34.89/9.14	 /       \
34.89/9.14	| 1 0 0 1 |
34.89/9.14	| 0 2 0 0 |
34.89/9.14	| 0 0 0 0 |
34.89/9.14	| 0 1 0 0 |
34.89/9.14	 \       /
34.89/9.14	a is interpreted by
34.89/9.14	 /       \
34.89/9.14	| 1 1 1 1 |
34.89/9.14	| 0 2 0 0 |
34.89/9.14	| 0 0 0 1 |
34.89/9.14	| 0 1 0 0 |
34.89/9.14	 \       /
34.89/9.14	
34.89/9.14	Remains to prove termination of the 2-rule system
34.89/9.14	{ b b c -> a a b ,
34.89/9.14	  a c c ->= c a b }
34.89/9.14	
34.89/9.14	
34.89/9.14	The system was filtered by the following matrix interpretation
34.89/9.14	of type E_J with J = {1,...,2} and dimension 2:
34.89/9.14	
34.89/9.14	b is interpreted by
34.89/9.14	 /   \
34.89/9.14	| 1 0 |
34.89/9.14	| 0 1 |
34.89/9.14	 \   /
34.89/9.14	c is interpreted by
34.89/9.14	 /   \
34.89/9.14	| 1 1 |
34.89/9.14	| 0 1 |
34.89/9.14	 \   /
34.89/9.14	a is interpreted by
34.89/9.14	 /   \
34.89/9.14	| 1 0 |
34.89/9.14	| 0 1 |
34.89/9.14	 \   /
34.89/9.14	
34.89/9.14	Remains to prove termination of the 0-rule system
34.89/9.14	{ }
34.89/9.14	
34.89/9.14	
34.89/9.14	The system is trivially terminating.
35.05/9.18	EOF