3.54/1.12	YES
3.54/1.13	
3.54/1.13	
3.54/1.13	The system was filtered by the following matrix interpretation
3.54/1.13	of type E_J with J = {1,...,2} and dimension 11:
3.54/1.13	
3.54/1.13	a is interpreted by
3.54/1.13	 /                     \
3.54/1.13	| 1 0 1 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 1 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 1 0 0 1 0 0 0 0 0 |
3.54/1.13	| 0 0 1 0 0 0 2 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 1 0 0 0 |
3.54/1.13	| 0 0 1 0 0 0 0 0 1 0 0 |
3.54/1.13	| 0 0 1 0 0 0 0 0 0 1 0 |
3.54/1.13	| 0 0 1 0 0 0 0 0 0 0 1 |
3.54/1.13	| 0 1 1 0 1 0 0 0 0 0 0 |
3.54/1.13	 \                     /
3.54/1.13	b is interpreted by
3.54/1.13	 /                     \
3.54/1.13	| 1 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 1 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 1 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 1 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 1 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	| 0 0 0 0 0 0 0 0 0 0 0 |
3.54/1.13	 \                     /
3.54/1.13	
3.54/1.13	Remains to prove termination of the 0-rule system
3.54/1.13	{ }
3.54/1.13	
3.54/1.13	
3.54/1.13	The system is trivially terminating.
3.69/1.17	EOF