78.06/19.98	YES
78.06/20.00	
78.06/20.00	
78.06/20.00	The system was filtered by the following matrix interpretation
78.06/20.00	of type E_J with J = {1,...,2} and dimension 13:
78.06/20.00	
78.06/20.00	a is interpreted by
78.06/20.00	 /                         \
78.06/20.00	| 1 0 1 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 1 0 2 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 1 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 1 0 0 0 0 |
78.06/20.00	| 0 0 1 0 0 0 0 0 0 1 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 2 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 1 0 1 0 0 0 0 0 0 1 0 0 |
78.06/20.00	 \                         /
78.06/20.00	b is interpreted by
78.06/20.00	 /                         \
78.06/20.00	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 1 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 1 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 1 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 1 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 1 |
78.06/20.00	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
78.06/20.00	 \                         /
78.06/20.00	
78.06/20.00	Remains to prove termination of the 0-rule system
78.06/20.00	{ }
78.06/20.00	
78.06/20.00	
78.06/20.00	The system is trivially terminating.
78.27/20.06	EOF