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