5.76/1.67	YES
5.76/1.69	
5.76/1.69	
5.76/1.69	The system was filtered by the following matrix interpretation
5.76/1.69	of type E_J with J = {1,...,2} and dimension 11:
5.76/1.69	
5.76/1.69	a is interpreted by
5.76/1.69	 /                     \
5.76/1.69	| 1 0 1 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 1 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 1 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 1 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 1 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 1 0 0 0 0 1 0 0 0 |
5.76/1.69	| 0 0 1 0 0 0 0 0 2 0 0 |
5.76/1.69	| 0 0 1 0 0 0 0 0 0 1 0 |
5.76/1.69	| 0 0 1 0 0 0 0 0 0 0 1 |
5.76/1.69	| 0 1 1 0 0 0 1 0 0 0 0 |
5.76/1.69	 \                     /
5.76/1.69	b is interpreted by
5.76/1.69	 /                     \
5.76/1.69	| 1 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 1 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 1 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 1 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	| 0 0 0 0 0 0 0 0 0 0 0 |
5.76/1.69	 \                     /
5.76/1.69	
5.76/1.69	Remains to prove termination of the 0-rule system
5.76/1.69	{ }
5.76/1.69	
5.76/1.69	
5.76/1.69	The system is trivially terminating.
5.95/1.73	EOF