13.72/3.75	YES
14.10/3.85	
14.10/3.85	
14.10/3.85	The system was filtered by the following matrix interpretation
14.10/3.85	of type E_J with J = {1,...,2} and dimension 4:
14.10/3.85	
14.10/3.85	0 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 1 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 1 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	 \       /
14.10/3.85	1 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	 \       /
14.10/3.85	2 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	 \       /
14.10/3.85	3 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	 \       /
14.10/3.85	4 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	 \       /
14.10/3.85	5 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 1 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	 \       /
14.10/3.85	
14.10/3.85	Remains to prove termination of the 11-rule system
14.10/3.85	{ 0 5 4 -> 5 0 4 0 3 3 ,
14.10/3.85	  4 2 1 -> 4 0 2 1 ,
14.10/3.85	  4 2 1 -> 1 2 4 0 2 ,
14.10/3.85	  0 4 2 1 -> 0 4 3 0 2 1 ,
14.10/3.85	  1 4 2 1 -> 4 0 2 1 2 1 ,
14.10/3.85	  4 1 2 1 -> 4 1 0 2 1 ,
14.10/3.85	  4 1 2 1 -> 3 4 0 2 1 1 ,
14.10/3.85	  4 3 2 1 -> 0 3 4 0 2 1 ,
14.10/3.85	  1 4 2 1 2 -> 0 2 2 1 1 4 ,
14.10/3.85	  4 0 0 5 4 -> 5 0 0 4 4 5 ,
14.10/3.85	  4 2 5 4 1 -> 4 4 1 5 3 2 }
14.10/3.85	
14.10/3.85	
14.10/3.85	The system was filtered by the following matrix interpretation
14.10/3.85	of type E_J with J = {1,...,2} and dimension 4:
14.10/3.85	
14.10/3.85	0 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 1 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	 \       /
14.10/3.85	1 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	 \       /
14.10/3.85	2 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	 \       /
14.10/3.85	3 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	 \       /
14.10/3.85	4 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	 \       /
14.10/3.85	5 is interpreted by
14.10/3.85	 /       \
14.10/3.85	| 1 0 0 0 |
14.10/3.85	| 0 1 0 0 |
14.10/3.85	| 0 0 0 1 |
14.10/3.85	| 0 0 0 0 |
14.10/3.85	 \       /
14.10/3.85	
14.10/3.85	Remains to prove termination of the 9-rule system
14.10/3.85	{ 4 2 1 -> 4 0 2 1 ,
14.10/3.85	  4 2 1 -> 1 2 4 0 2 ,
14.10/3.85	  0 4 2 1 -> 0 4 3 0 2 1 ,
14.10/3.85	  1 4 2 1 -> 4 0 2 1 2 1 ,
14.10/3.85	  4 1 2 1 -> 4 1 0 2 1 ,
14.10/3.85	  4 1 2 1 -> 3 4 0 2 1 1 ,
14.10/3.85	  4 3 2 1 -> 0 3 4 0 2 1 ,
14.10/3.85	  1 4 2 1 2 -> 0 2 2 1 1 4 ,
14.10/3.85	  4 2 5 4 1 -> 4 4 1 5 3 2 }
14.10/3.85	
14.10/3.85	
14.10/3.85	The system was filtered by the following matrix interpretation
14.10/3.85	of type E_J with J = {1,...,2} and dimension 5:
14.10/3.85	
14.10/3.85	0 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 1 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	1 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	2 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 1 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	3 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	4 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 1 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	5 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	
14.10/3.85	Remains to prove termination of the 8-rule system
14.10/3.85	{ 4 2 1 -> 4 0 2 1 ,
14.10/3.85	  4 2 1 -> 1 2 4 0 2 ,
14.10/3.85	  1 4 2 1 -> 4 0 2 1 2 1 ,
14.10/3.85	  4 1 2 1 -> 4 1 0 2 1 ,
14.10/3.85	  4 1 2 1 -> 3 4 0 2 1 1 ,
14.10/3.85	  4 3 2 1 -> 0 3 4 0 2 1 ,
14.10/3.85	  1 4 2 1 2 -> 0 2 2 1 1 4 ,
14.10/3.85	  4 2 5 4 1 -> 4 4 1 5 3 2 }
14.10/3.85	
14.10/3.85	
14.10/3.85	The system was filtered by the following matrix interpretation
14.10/3.85	of type E_J with J = {1,...,2} and dimension 8:
14.10/3.85	
14.10/3.85	0 is interpreted by
14.10/3.85	 /               \
14.10/3.85	| 1 0 0 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	 \               /
14.10/3.85	1 is interpreted by
14.10/3.85	 /               \
14.10/3.85	| 1 0 0 0 1 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 1 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	 \               /
14.10/3.85	2 is interpreted by
14.10/3.85	 /               \
14.10/3.85	| 1 0 0 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 1 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 1 0 0 |
14.10/3.85	| 0 0 0 0 0 0 1 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 1 0 0 0 0 0 |
14.10/3.85	 \               /
14.10/3.85	3 is interpreted by
14.10/3.85	 /               \
14.10/3.85	| 1 0 0 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	 \               /
14.10/3.85	4 is interpreted by
14.10/3.85	 /               \
14.10/3.85	| 1 0 1 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 1 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	 \               /
14.10/3.85	5 is interpreted by
14.10/3.85	 /               \
14.10/3.85	| 1 0 0 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 0 0 0 |
14.10/3.85	 \               /
14.10/3.85	
14.10/3.85	Remains to prove termination of the 4-rule system
14.10/3.85	{ 4 1 2 1 -> 4 1 0 2 1 ,
14.10/3.85	  4 1 2 1 -> 3 4 0 2 1 1 ,
14.10/3.85	  4 3 2 1 -> 0 3 4 0 2 1 ,
14.10/3.85	  4 2 5 4 1 -> 4 4 1 5 3 2 }
14.10/3.85	
14.10/3.85	
14.10/3.85	The system was filtered by the following matrix interpretation
14.10/3.85	of type E_J with J = {1,...,2} and dimension 5:
14.10/3.85	
14.10/3.85	0 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	1 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 1 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	2 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	| 0 0 0 0 1 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.85	 \         /
14.10/3.85	3 is interpreted by
14.10/3.85	 /         \
14.10/3.85	| 1 0 0 0 0 |
14.10/3.85	| 0 1 0 0 0 |
14.10/3.85	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	4 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 1 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	5 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	
14.10/3.86	Remains to prove termination of the 2-rule system
14.10/3.86	{ 4 3 2 1 -> 0 3 4 0 2 1 ,
14.10/3.86	  4 2 5 4 1 -> 4 4 1 5 3 2 }
14.10/3.86	
14.10/3.86	
14.10/3.86	The system was filtered by the following matrix interpretation
14.10/3.86	of type E_J with J = {1,...,2} and dimension 5:
14.10/3.86	
14.10/3.86	0 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	1 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	2 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 1 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	3 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 1 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	4 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 1 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	5 is interpreted by
14.10/3.86	 /         \
14.10/3.86	| 1 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 |
14.10/3.86	 \         /
14.10/3.86	
14.10/3.86	Remains to prove termination of the 1-rule system
14.10/3.86	{ 4 2 5 4 1 -> 4 4 1 5 3 2 }
14.10/3.86	
14.10/3.86	
14.10/3.86	The system was filtered by the following matrix interpretation
14.10/3.86	of type E_J with J = {1,...,2} and dimension 6:
14.10/3.86	
14.10/3.86	0 is interpreted by
14.10/3.86	 /           \
14.10/3.86	| 1 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	 \           /
14.10/3.86	1 is interpreted by
14.10/3.86	 /           \
14.10/3.86	| 1 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	 \           /
14.10/3.86	2 is interpreted by
14.10/3.86	 /           \
14.10/3.86	| 1 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	| 0 0 0 1 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	 \           /
14.10/3.86	3 is interpreted by
14.10/3.86	 /           \
14.10/3.86	| 1 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	 \           /
14.10/3.86	4 is interpreted by
14.10/3.86	 /           \
14.10/3.86	| 1 0 1 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 1 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	 \           /
14.10/3.86	5 is interpreted by
14.10/3.86	 /           \
14.10/3.86	| 1 0 0 0 0 0 |
14.10/3.86	| 0 1 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 1 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	| 0 0 0 0 0 0 |
14.10/3.86	 \           /
14.10/3.86	
14.10/3.86	Remains to prove termination of the 0-rule system
14.10/3.86	{ }
14.10/3.86	
14.10/3.86	
14.10/3.86	The system is trivially terminating.
14.28/3.92	EOF