26.73/7.52	YES
26.73/7.54	
26.73/7.54	
26.73/7.54	The system was filtered by the following matrix interpretation
26.73/7.54	of type E_J with J = {1,...,2} and dimension 12:
26.73/7.54	
26.73/7.54	a is interpreted by
26.73/7.54	 /                       \
26.73/7.54	| 1 0 1 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 1 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 1 0 1 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 2 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 1 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 1 0 0 |
26.73/7.54	| 0 0 1 0 0 0 0 0 0 0 1 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 1 0 1 0 1 0 0 0 0 0 0 |
26.73/7.54	 \                       /
26.73/7.54	b is interpreted by
26.73/7.54	 /                       \
26.73/7.54	| 1 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 1 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 1 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 1 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 1 0 0 0 0 1 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 1 |
26.73/7.54	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.73/7.54	 \                       /
26.73/7.54	
26.73/7.54	Remains to prove termination of the 0-rule system
26.73/7.54	{ }
26.73/7.54	
26.73/7.54	
26.73/7.54	The system is trivially terminating.
27.38/7.60	EOF