57.74/14.98	YES
58.04/14.99	
58.04/14.99	
58.04/14.99	The system was filtered by the following matrix interpretation
58.04/14.99	of type E_J with J = {1,...,2} and dimension 3:
58.04/14.99	
58.04/14.99	a is interpreted by
58.04/14.99	 /     \
58.04/14.99	| 1 1 0 |
58.04/14.99	| 0 1 0 |
58.04/14.99	| 0 5 1 |
58.04/14.99	 \     /
58.04/14.99	d is interpreted by
58.04/14.99	 /     \
58.04/14.99	| 1 0 1 |
58.04/14.99	| 0 1 0 |
58.04/14.99	| 0 0 4 |
58.04/14.99	 \     /
58.04/14.99	b is interpreted by
58.04/14.99	 /     \
58.04/14.99	| 1 0 0 |
58.04/14.99	| 0 1 0 |
58.04/14.99	| 0 1 1 |
58.04/14.99	 \     /
58.04/14.99	c is interpreted by
58.04/14.99	 /     \
58.04/14.99	| 1 0 0 |
58.04/14.99	| 0 1 0 |
58.04/14.99	| 0 0 0 |
58.04/14.99	 \     /
58.04/14.99	f is interpreted by
58.04/14.99	 /     \
58.04/14.99	| 1 0 0 |
58.04/14.99	| 0 1 0 |
58.04/14.99	| 0 1 1 |
58.04/14.99	 \     /
58.04/14.99	
58.04/14.99	Remains to prove termination of the 2-rule system
58.04/14.99	{ a d -> d b c b d ,
58.04/14.99	  b d b -> a d }
58.04/14.99	
58.04/14.99	
58.04/14.99	The system was filtered by the following matrix interpretation
58.04/14.99	of type E_J with J = {1,...,2} and dimension 4:
58.04/14.99	
58.04/14.99	a is interpreted by
58.04/14.99	 /       \
58.04/14.99	| 1 0 1 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 0 0 0 |
58.04/14.99	 \       /
58.04/14.99	d is interpreted by
58.04/14.99	 /       \
58.04/14.99	| 1 0 0 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 0 0 1 |
58.04/14.99	| 0 0 0 0 |
58.04/14.99	 \       /
58.04/14.99	b is interpreted by
58.04/14.99	 /       \
58.04/14.99	| 1 0 1 1 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	 \       /
58.04/14.99	c is interpreted by
58.04/14.99	 /       \
58.04/14.99	| 1 0 0 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 0 0 0 |
58.04/14.99	| 0 0 0 0 |
58.04/14.99	 \       /
58.04/14.99	f is interpreted by
58.04/14.99	 /       \
58.04/14.99	| 1 0 0 0 |
58.04/14.99	| 0 1 0 0 |
58.04/14.99	| 0 0 0 0 |
58.04/14.99	| 0 0 0 0 |
58.04/14.99	 \       /
58.04/14.99	
58.04/14.99	Remains to prove termination of the 1-rule system
58.04/14.99	{ a d -> d b c b d }
58.04/14.99	
58.04/14.99	
58.04/14.99	The system was filtered by the following matrix interpretation
58.04/14.99	of type E_J with J = {1,...,2} and dimension 2:
58.04/14.99	
58.04/14.99	a is interpreted by
58.04/14.99	 /   \
58.04/14.99	| 1 1 |
58.04/14.99	| 0 1 |
58.04/14.99	 \   /
58.04/14.99	d is interpreted by
58.04/14.99	 /   \
58.04/14.99	| 1 0 |
58.04/14.99	| 0 1 |
58.04/14.99	 \   /
58.04/14.99	b is interpreted by
58.04/14.99	 /   \
58.04/14.99	| 1 0 |
58.04/14.99	| 0 1 |
58.04/14.99	 \   /
58.04/14.99	c is interpreted by
58.04/14.99	 /   \
58.04/14.99	| 1 0 |
58.04/14.99	| 0 1 |
58.04/14.99	 \   /
58.04/14.99	f is interpreted by
58.04/14.99	 /   \
58.04/14.99	| 1 0 |
58.04/14.99	| 0 1 |
58.04/14.99	 \   /
58.04/14.99	
58.04/14.99	Remains to prove termination of the 0-rule system
58.04/14.99	{ }
58.04/14.99	
58.04/14.99	
58.04/14.99	The system is trivially terminating.
58.16/15.10	EOF