13.90/3.85	YES
13.90/3.87	
13.90/3.87	
13.90/3.87	The system was filtered by the following matrix interpretation
13.90/3.87	of type E_J with J = {1,...,2} and dimension 7:
13.90/3.87	
13.90/3.87	a is interpreted by
13.90/3.87	 /             \
13.90/3.87	| 1 0 1 0 0 0 0 |
13.90/3.87	| 0 1 0 0 0 0 0 |
13.90/3.87	| 0 0 0 2 0 0 0 |
13.90/3.87	| 0 0 0 0 1 0 0 |
13.90/3.87	| 0 0 1 0 0 0 0 |
13.90/3.87	| 0 0 1 0 0 0 0 |
13.90/3.87	| 0 0 2 0 0 0 0 |
13.90/3.87	 \             /
13.90/3.87	b is interpreted by
13.90/3.87	 /             \
13.90/3.87	| 1 0 0 0 0 0 0 |
13.90/3.87	| 0 1 0 0 0 0 0 |
13.90/3.87	| 0 0 0 0 0 0 0 |
13.90/3.87	| 0 0 0 0 0 0 0 |
13.90/3.87	| 0 0 0 0 0 1 0 |
13.90/3.87	| 0 0 0 0 0 0 1 |
13.90/3.87	| 0 1 2 2 1 0 0 |
13.90/3.87	 \             /
13.90/3.87	
13.90/3.87	Remains to prove termination of the 0-rule system
13.90/3.87	{ }
13.90/3.87	
13.90/3.87	
13.90/3.87	The system is trivially terminating.
14.16/3.95	EOF