16.06/4.31	YES
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 46-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  0 1 4 5 -> 1 5 0 4 1 ,
16.44/4.43	  0 1 4 5 -> 5 0 4 1 5 ,
16.44/4.43	  0 1 4 5 -> 5 4 1 5 0 ,
16.44/4.43	  0 1 4 5 -> 1 1 5 0 4 1 ,
16.44/4.43	  0 1 4 5 -> 5 4 1 5 5 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 1 4 5 -> 3 1 0 4 1 5 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 1 2 2 5 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 4 5 -> 2 5 1 0 4 5 ,
16.44/4.43	  0 1 4 5 2 -> 1 0 4 2 0 5 ,
16.44/4.43	  0 1 4 5 5 -> 5 0 4 0 1 5 ,
16.44/4.43	  0 1 5 4 5 -> 1 5 0 4 1 5 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 1 2 2 5 -> 1 5 2 3 2 5 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 5:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 1 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	1 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	2 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 1 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	3 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	4 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	5 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 1 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 39-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 1 4 5 -> 3 1 0 4 1 5 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 1 2 2 5 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 4 5 -> 2 5 1 0 4 5 ,
16.44/4.43	  0 1 5 4 5 -> 1 5 0 4 1 5 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 1 2 2 5 -> 1 5 2 3 2 5 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 38-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 1 2 2 5 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 4 5 -> 2 5 1 0 4 5 ,
16.44/4.43	  0 1 5 4 5 -> 1 5 0 4 1 5 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 1 2 2 5 -> 1 5 2 3 2 5 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 37-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 1 2 2 5 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 5 4 5 -> 1 5 0 4 1 5 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 1 2 2 5 -> 1 5 2 3 2 5 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 1 0 0 1 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 36-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 1 5 4 5 -> 1 5 0 4 1 5 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 1 2 2 5 -> 1 5 2 3 2 5 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 35-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 1 2 2 5 -> 1 5 2 3 2 5 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 34-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 2 5 5 5 ,
16.44/4.43	  5 2 4 0 5 -> 0 4 5 4 2 5 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 32-rule system
16.44/4.43	{ 0 1 2 2 -> 0 1 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 2 3 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 2 1 3 ,
16.44/4.43	  0 1 2 2 -> 1 0 3 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 2 0 3 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 0 2 2 ,
16.44/4.43	  0 1 2 2 -> 1 3 2 0 2 ,
16.44/4.43	  0 1 2 2 -> 0 1 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 0 2 1 3 2 3 ,
16.44/4.43	  0 1 2 2 -> 1 2 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 1 5 0 4 2 2 ,
16.44/4.43	  0 1 2 2 -> 2 0 3 1 3 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 1 0 4 2 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 0 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 3 3 2 0 ,
16.44/4.43	  0 1 2 2 -> 2 1 5 3 0 2 ,
16.44/4.43	  0 1 2 2 -> 2 2 1 3 0 5 ,
16.44/4.43	  0 1 2 2 -> 2 4 1 3 2 0 ,
16.44/4.43	  5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 1 2 2 2 -> 1 0 2 2 5 2 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 ,
16.44/4.43	  5 0 1 2 2 -> 1 3 2 0 5 2 ,
16.44/4.43	  5 2 1 2 2 -> 2 1 3 5 2 2 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 5:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 1 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 1 0 0 |
16.44/4.43	| 0 0 1 0 0 |
16.44/4.43	 \         /
16.44/4.43	1 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	2 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 1 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	3 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	4 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	5 is interpreted by
16.44/4.43	 /         \
16.44/4.43	| 1 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 |
16.44/4.43	 \         /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 11-rule system
16.44/4.43	{ 5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  0 5 1 2 2 -> 0 1 3 2 5 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	5 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	
16.44/4.43	Remains to prove termination of the 10-rule system
16.44/4.43	{ 5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.43	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.43	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.43	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.43	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.43	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.43	  5 1 2 2 -> 5 1 2 0 4 2 ,
16.44/4.43	  3 3 1 2 2 -> 1 3 2 0 3 2 }
16.44/4.43	
16.44/4.43	
16.44/4.43	The system was filtered by the following matrix interpretation
16.44/4.43	of type E_J with J = {1,...,2} and dimension 6:
16.44/4.43	
16.44/4.43	0 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	1 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 1 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	2 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 1 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 1 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	3 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 1 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 1 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.43	4 is interpreted by
16.44/4.43	 /           \
16.44/4.43	| 1 0 0 0 0 0 |
16.44/4.43	| 0 1 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	| 0 0 0 0 0 0 |
16.44/4.43	 \           /
16.44/4.44	5 is interpreted by
16.44/4.44	 /           \
16.44/4.44	| 1 0 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 0 |
16.44/4.44	 \           /
16.44/4.44	
16.44/4.44	Remains to prove termination of the 9-rule system
16.44/4.44	{ 5 1 2 2 -> 1 0 2 2 5 ,
16.44/4.44	  5 1 2 2 -> 1 3 5 2 2 ,
16.44/4.44	  5 1 2 2 -> 1 5 2 3 2 ,
16.44/4.44	  5 1 2 2 -> 1 5 0 2 2 3 ,
16.44/4.44	  5 1 2 2 -> 2 1 0 3 2 5 ,
16.44/4.44	  5 1 2 2 -> 3 1 3 5 2 2 ,
16.44/4.44	  5 1 2 2 -> 4 1 3 2 2 5 ,
16.44/4.44	  5 1 2 2 -> 5 1 0 4 2 2 ,
16.44/4.44	  5 1 2 2 -> 5 1 2 0 4 2 }
16.44/4.44	
16.44/4.44	
16.44/4.44	The system was filtered by the following matrix interpretation
16.44/4.44	of type E_J with J = {1,...,2} and dimension 5:
16.44/4.44	
16.44/4.44	0 is interpreted by
16.44/4.44	 /         \
16.44/4.44	| 1 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	 \         /
16.44/4.44	1 is interpreted by
16.44/4.44	 /         \
16.44/4.44	| 1 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	| 0 0 0 1 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	 \         /
16.44/4.44	2 is interpreted by
16.44/4.44	 /         \
16.44/4.44	| 1 0 1 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 1 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	 \         /
16.44/4.44	3 is interpreted by
16.44/4.44	 /         \
16.44/4.44	| 1 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	 \         /
16.44/4.44	4 is interpreted by
16.44/4.44	 /         \
16.44/4.44	| 1 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	 \         /
16.44/4.44	5 is interpreted by
16.44/4.44	 /         \
16.44/4.44	| 1 0 1 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 0 0 0 0 |
16.44/4.44	| 0 1 0 0 0 |
16.44/4.44	 \         /
16.44/4.44	
16.44/4.44	Remains to prove termination of the 0-rule system
16.44/4.44	{ }
16.44/4.44	
16.44/4.44	
16.44/4.44	The system is trivially terminating.
16.44/4.46	EOF