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