25.00/6.60	YES
25.00/6.61	
25.00/6.61	
25.00/6.61	The system was filtered by the following matrix interpretation
25.00/6.61	of type E_J with J = {1,...,2} and dimension 10:
25.00/6.61	
25.00/6.61	a is interpreted by
25.00/6.61	 /                   \
25.00/6.61	| 1 0 1 0 0 0 0 0 0 0 |
25.00/6.61	| 0 1 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 1 0 1 0 0 0 0 0 |
25.00/6.61	| 0 0 1 0 0 1 0 0 0 0 |
25.00/6.61	| 0 0 1 0 0 0 1 0 0 0 |
25.00/6.61	| 0 0 1 0 0 0 0 2 0 0 |
25.00/6.61	| 0 0 1 0 0 0 0 0 1 0 |
25.00/6.61	| 0 0 1 0 0 0 0 0 0 1 |
25.00/6.61	| 0 1 1 1 0 0 0 0 0 0 |
25.00/6.61	 \                   /
25.00/6.61	b is interpreted by
25.00/6.61	 /                   \
25.00/6.61	| 1 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 1 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 1 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	| 0 0 0 0 0 0 0 0 0 0 |
25.00/6.61	 \                   /
25.00/6.61	
25.00/6.61	Remains to prove termination of the 0-rule system
25.00/6.61	{ }
25.00/6.61	
25.00/6.61	
25.00/6.61	The system is trivially terminating.
25.79/15.20	EOF