14.03/3.79	YES
14.03/3.81	
14.03/3.81	
14.03/3.81	The system was filtered by the following matrix interpretation
14.03/3.81	of type E_J with J = {1,...,2} and dimension 11:
14.03/3.81	
14.03/3.81	b is interpreted by
14.03/3.81	 /                     \
14.03/3.81	| 1 0 1 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 1 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 3 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 1 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 1 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 1 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 1 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 1 |
14.03/3.81	| 0 0 1 0 0 0 0 0 0 0 0 |
14.03/3.81	 \                     /
14.03/3.81	a is interpreted by
14.03/3.81	 /                     \
14.03/3.81	| 1 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 1 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 1 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 1 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 1 0 |
14.03/3.81	| 0 0 0 0 0 0 0 0 0 0 0 |
14.03/3.81	| 0 1 0 1 0 0 1 0 0 1 0 |
14.03/3.81	 \                     /
14.03/3.81	
14.03/3.81	Remains to prove termination of the 0-rule system
14.03/3.81	{ }
14.03/3.81	
14.03/3.81	
14.03/3.81	The system is trivially terminating.
14.24/3.88	EOF