5.89/1.79	YES
6.29/1.81	
6.29/1.81	
6.29/1.81	The system was filtered by the following matrix interpretation
6.29/1.81	of type E_J with J = {1,...,2} and dimension 12:
6.29/1.81	
6.29/1.81	a is interpreted by
6.29/1.81	 /                       \
6.29/1.81	| 1 0 1 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 1 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 1 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 1 0 0 0 2 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 1 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 1 0 0 0 0 0 0 1 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 1 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 1 1 1 0 1 0 0 0 0 0 0 |
6.29/1.81	 \                       /
6.29/1.81	b is interpreted by
6.29/1.81	 /                       \
6.29/1.81	| 1 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 1 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 1 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 1 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 1 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 1 |
6.29/1.81	| 0 0 0 0 0 0 0 0 0 0 0 0 |
6.29/1.81	 \                       /
6.29/1.81	
6.29/1.81	Remains to prove termination of the 0-rule system
6.29/1.81	{ }
6.29/1.81	
6.29/1.81	
6.29/1.81	The system is trivially terminating.
6.29/1.85	EOF