3.31/1.09	YES
3.31/1.11	
3.31/1.11	
3.31/1.11	The system was filtered by the following matrix interpretation
3.31/1.11	of type E_J with J = {1,...,2} and dimension 9:
3.31/1.11	
3.31/1.11	a is interpreted by
3.31/1.11	 /                 \
3.31/1.11	| 1 0 1 0 0 0 0 0 0 |
3.31/1.11	| 0 1 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 1 0 1 0 0 0 0 |
3.31/1.11	| 0 0 1 0 0 1 0 0 0 |
3.31/1.11	| 0 0 1 0 0 0 1 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 1 0 |
3.31/1.11	| 0 0 1 0 0 0 0 0 2 |
3.31/1.11	| 0 1 1 1 0 0 0 0 0 |
3.31/1.11	 \                 /
3.31/1.11	b is interpreted by
3.31/1.11	 /                 \
3.31/1.11	| 1 0 0 0 0 0 0 0 0 |
3.31/1.11	| 0 1 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 0 1 0 0 0 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 0 0 |
3.31/1.11	| 0 0 0 1 0 0 0 0 0 |
3.31/1.11	| 0 0 0 0 0 0 0 0 0 |
3.31/1.11	 \                 /
3.31/1.11	
3.31/1.11	Remains to prove termination of the 0-rule system
3.31/1.11	{ }
3.31/1.11	
3.31/1.11	
3.31/1.11	The system is trivially terminating.
3.64/1.15	EOF