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