183.10/46.51	YES
183.10/46.52	
183.10/46.52	
183.10/46.52	The system was filtered by the following matrix interpretation
183.10/46.52	of type E_J with J = {1,...,2} and dimension 4:
183.10/46.52	
183.10/46.52	b is interpreted by
183.10/46.52	 /       \
183.10/46.52	| 1 1 1 1 |
183.10/46.52	| 0 3 0 0 |
183.10/46.52	| 0 1 0 0 |
183.10/46.52	| 0 0 0 0 |
183.10/46.52	 \       /
183.10/46.52	a is interpreted by
183.10/46.52	 /       \
183.10/46.52	| 1 0 0 0 |
183.10/46.52	| 0 3 0 0 |
183.10/46.52	| 0 0 0 1 |
183.10/46.52	| 0 0 0 0 |
183.10/46.52	 \       /
183.10/46.52	c is interpreted by
183.10/46.52	 /       \
183.10/46.52	| 1 2 0 0 |
183.10/46.52	| 0 3 0 0 |
183.10/46.52	| 0 1 0 0 |
183.10/46.52	| 0 1 0 0 |
183.10/46.52	 \       /
183.10/46.52	
183.10/46.52	Remains to prove termination of the 0-rule system
183.10/46.52	{ }
183.10/46.52	
183.10/46.52	
183.10/46.52	The system is trivially terminating.
183.35/46.57	EOF