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