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