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