9.21/2.57	YES
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 5:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 1 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	1 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 1 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	2 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	3 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	4 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 1 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	5 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 153-rule system
10.79/2.96	{ 0 1 0 -> 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 0 0 1 2 4 ,
10.79/2.96	  0 1 0 -> 0 0 1 4 4 ,
10.79/2.96	  0 1 0 -> 0 0 4 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 2 0 2 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 2 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 4 ,
10.79/2.96	  0 1 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 1 0 -> 0 2 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 3 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 4 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 2 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 3 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 4 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 4 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 5 2 0 0 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 3 1 ,
10.79/2.96	  0 1 0 -> 2 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 2 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 4 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 0 0 2 1 2 4 ,
10.79/2.96	  0 1 0 -> 0 0 3 4 1 2 ,
10.79/2.96	  0 1 0 -> 0 0 4 1 2 2 ,
10.79/2.96	  0 1 0 -> 0 0 5 1 4 4 ,
10.79/2.96	  0 1 0 -> 0 0 5 5 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 1 2 5 0 ,
10.79/2.96	  0 1 0 -> 0 1 2 2 3 0 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 4 2 ,
10.79/2.96	  0 1 0 -> 0 1 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 2 0 2 1 2 ,
10.79/2.96	  0 1 0 -> 0 2 1 4 4 0 ,
10.79/2.96	  0 1 0 -> 0 2 1 4 5 0 ,
10.79/2.96	  0 1 0 -> 0 2 2 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 2 5 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 3 1 3 0 4 ,
10.79/2.96	  0 1 0 -> 0 3 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 4 5 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 0 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 3 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 1 4 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 5 0 0 2 ,
10.79/2.96	  0 1 0 -> 1 4 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 4 0 0 2 ,
10.79/2.96	  0 1 0 -> 1 4 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 4 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 5 0 1 3 0 ,
10.79/2.96	  0 1 0 -> 2 0 0 1 2 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 1 4 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 3 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 5 1 2 ,
10.79/2.96	  0 1 0 -> 2 0 1 1 2 0 ,
10.79/2.96	  0 1 0 -> 2 0 4 1 2 0 ,
10.79/2.96	  0 1 0 -> 2 1 0 2 4 0 ,
10.79/2.96	  0 1 0 -> 2 1 5 0 3 0 ,
10.79/2.96	  0 1 0 -> 2 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 2 0 2 0 ,
10.79/2.96	  0 1 0 -> 3 5 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 4 1 2 0 3 0 ,
10.79/2.96	  0 1 0 -> 4 2 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 4 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 4 3 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 4 5 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 0 0 1 1 2 ,
10.79/2.96	  0 1 0 -> 5 0 0 2 1 2 ,
10.79/2.96	  0 1 0 -> 5 1 2 0 5 0 ,
10.79/2.96	  0 1 0 -> 5 1 2 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 1 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 5 1 3 0 0 2 ,
10.79/2.96	  0 1 0 -> 5 1 3 0 3 0 ,
10.79/2.96	  0 1 0 -> 5 1 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 5 1 3 0 0 ,
10.79/2.96	  0 0 0 0 -> 0 0 0 2 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 0 3 1 ,
10.79/2.96	  0 0 1 0 -> 0 0 1 2 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 0 1 3 1 ,
10.79/2.96	  0 0 1 0 -> 0 0 2 1 3 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 2 2 1 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 4 2 1 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 5 0 1 2 ,
10.79/2.96	  0 0 1 0 -> 0 1 2 4 0 0 ,
10.79/2.96	  0 0 1 0 -> 0 1 3 0 3 0 ,
10.79/2.96	  0 0 1 0 -> 0 2 1 5 0 0 ,
10.79/2.96	  0 0 1 0 -> 0 5 1 2 0 0 ,
10.79/2.96	  0 1 0 0 -> 1 3 0 0 0 ,
10.79/2.96	  0 1 0 0 -> 0 0 0 1 2 4 ,
10.79/2.96	  0 1 0 0 -> 0 0 1 4 2 0 ,
10.79/2.96	  0 1 0 0 -> 0 0 4 1 2 0 ,
10.79/2.96	  0 1 0 0 -> 0 1 3 0 0 4 ,
10.79/2.96	  0 1 0 0 -> 0 1 4 3 0 0 ,
10.79/2.96	  0 1 0 0 -> 0 2 0 1 3 0 ,
10.79/2.96	  0 1 0 0 -> 1 2 4 0 0 0 ,
10.79/2.96	  0 1 0 4 -> 0 0 1 2 4 ,
10.79/2.96	  0 1 0 4 -> 0 0 1 4 2 ,
10.79/2.96	  0 1 0 4 -> 0 0 4 1 2 ,
10.79/2.96	  0 1 0 4 -> 1 2 0 0 4 ,
10.79/2.96	  0 1 0 4 -> 0 0 5 1 4 2 ,
10.79/2.96	  0 1 0 4 -> 1 2 0 4 5 0 ,
10.79/2.96	  0 1 0 4 -> 1 4 4 0 2 0 ,
10.79/2.96	  0 1 1 0 -> 0 1 1 3 0 ,
10.79/2.96	  0 1 1 0 -> 1 1 3 0 0 ,
10.79/2.96	  0 1 1 0 -> 0 0 1 1 2 4 ,
10.79/2.96	  0 1 1 0 -> 0 1 0 5 3 1 ,
10.79/2.96	  0 1 1 0 -> 0 1 4 3 1 0 ,
10.79/2.96	  0 1 1 0 -> 0 2 0 1 4 1 ,
10.79/2.96	  0 1 1 0 -> 0 4 1 2 1 0 ,
10.79/2.96	  0 1 1 0 -> 0 4 1 4 1 0 ,
10.79/2.96	  0 1 1 0 -> 0 5 0 2 1 1 ,
10.79/2.96	  0 1 1 0 -> 0 5 1 3 1 0 ,
10.79/2.96	  0 1 1 0 -> 1 1 1 3 0 0 ,
10.79/2.96	  0 1 1 0 -> 1 2 0 0 2 1 ,
10.79/2.96	  0 1 1 0 -> 1 4 5 0 1 0 ,
10.79/2.96	  0 1 1 0 -> 2 0 1 2 1 0 ,
10.79/2.96	  0 1 1 0 -> 2 1 0 0 2 1 ,
10.79/2.96	  0 1 1 0 -> 2 1 2 0 0 1 ,
10.79/2.96	  0 1 1 0 -> 4 1 1 3 0 0 ,
10.79/2.96	  0 4 1 0 -> 0 0 4 1 2 ,
10.79/2.96	  0 4 1 0 -> 0 0 4 1 2 4 ,
10.79/2.96	  0 4 1 0 -> 0 3 0 1 4 2 ,
10.79/2.96	  0 4 1 0 -> 0 5 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 ,
10.79/2.96	  0 0 0 1 0 -> 0 0 0 2 1 0 ,
10.79/2.96	  0 1 0 4 4 -> 0 0 4 4 1 3 ,
10.79/2.96	  0 1 0 4 4 -> 0 4 4 1 3 0 ,
10.79/2.96	  0 1 0 4 4 -> 3 1 4 4 0 0 ,
10.79/2.96	  0 1 1 1 0 -> 0 0 1 1 2 1 ,
10.79/2.96	  0 2 0 1 0 -> 0 3 1 2 0 0 ,
10.79/2.96	  0 3 0 1 0 -> 0 5 0 0 3 1 ,
10.79/2.96	  0 4 4 1 0 -> 0 0 4 1 2 4 ,
10.79/2.96	  0 5 0 1 0 -> 5 0 0 1 2 0 ,
10.79/2.96	  0 5 1 1 0 -> 0 1 5 1 3 0 ,
10.79/2.96	  0 5 4 4 0 -> 4 0 4 5 0 2 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 6:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 1 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	1 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 0 1 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	2 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	3 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	4 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 1 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	5 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 1 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 152-rule system
10.79/2.96	{ 0 1 0 -> 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 0 0 1 2 4 ,
10.79/2.96	  0 1 0 -> 0 0 1 4 4 ,
10.79/2.96	  0 1 0 -> 0 0 4 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 2 0 2 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 2 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 4 ,
10.79/2.96	  0 1 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 1 0 -> 0 2 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 3 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 4 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 2 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 3 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 4 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 4 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 5 2 0 0 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 3 1 ,
10.79/2.96	  0 1 0 -> 2 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 2 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 4 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 0 0 2 1 2 4 ,
10.79/2.96	  0 1 0 -> 0 0 3 4 1 2 ,
10.79/2.96	  0 1 0 -> 0 0 4 1 2 2 ,
10.79/2.96	  0 1 0 -> 0 0 5 1 4 4 ,
10.79/2.96	  0 1 0 -> 0 0 5 5 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 1 2 5 0 ,
10.79/2.96	  0 1 0 -> 0 1 2 2 3 0 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 4 2 ,
10.79/2.96	  0 1 0 -> 0 1 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 2 0 2 1 2 ,
10.79/2.96	  0 1 0 -> 0 2 1 4 4 0 ,
10.79/2.96	  0 1 0 -> 0 2 1 4 5 0 ,
10.79/2.96	  0 1 0 -> 0 2 2 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 2 5 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 3 1 3 0 4 ,
10.79/2.96	  0 1 0 -> 0 3 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 4 5 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 0 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 3 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 1 4 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 5 0 0 2 ,
10.79/2.96	  0 1 0 -> 1 4 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 4 0 0 2 ,
10.79/2.96	  0 1 0 -> 1 4 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 4 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 5 0 1 3 0 ,
10.79/2.96	  0 1 0 -> 2 0 0 1 2 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 1 4 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 3 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 5 1 2 ,
10.79/2.96	  0 1 0 -> 2 0 1 1 2 0 ,
10.79/2.96	  0 1 0 -> 2 0 4 1 2 0 ,
10.79/2.96	  0 1 0 -> 2 1 0 2 4 0 ,
10.79/2.96	  0 1 0 -> 2 1 5 0 3 0 ,
10.79/2.96	  0 1 0 -> 2 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 2 0 2 0 ,
10.79/2.96	  0 1 0 -> 3 5 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 4 1 2 0 3 0 ,
10.79/2.96	  0 1 0 -> 4 2 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 4 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 4 3 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 4 5 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 0 0 1 1 2 ,
10.79/2.96	  0 1 0 -> 5 0 0 2 1 2 ,
10.79/2.96	  0 1 0 -> 5 1 2 0 5 0 ,
10.79/2.96	  0 1 0 -> 5 1 2 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 1 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 5 1 3 0 0 2 ,
10.79/2.96	  0 1 0 -> 5 1 3 0 3 0 ,
10.79/2.96	  0 1 0 -> 5 1 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 5 1 3 0 0 ,
10.79/2.96	  0 0 0 0 -> 0 0 0 2 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 0 3 1 ,
10.79/2.96	  0 0 1 0 -> 0 0 1 2 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 0 1 3 1 ,
10.79/2.96	  0 0 1 0 -> 0 0 2 1 3 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 2 2 1 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 4 2 1 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 5 0 1 2 ,
10.79/2.96	  0 0 1 0 -> 0 1 2 4 0 0 ,
10.79/2.96	  0 0 1 0 -> 0 1 3 0 3 0 ,
10.79/2.96	  0 0 1 0 -> 0 2 1 5 0 0 ,
10.79/2.96	  0 0 1 0 -> 0 5 1 2 0 0 ,
10.79/2.96	  0 1 0 0 -> 1 3 0 0 0 ,
10.79/2.96	  0 1 0 0 -> 0 0 0 1 2 4 ,
10.79/2.96	  0 1 0 0 -> 0 0 1 4 2 0 ,
10.79/2.96	  0 1 0 0 -> 0 0 4 1 2 0 ,
10.79/2.96	  0 1 0 0 -> 0 1 3 0 0 4 ,
10.79/2.96	  0 1 0 0 -> 0 1 4 3 0 0 ,
10.79/2.96	  0 1 0 0 -> 0 2 0 1 3 0 ,
10.79/2.96	  0 1 0 0 -> 1 2 4 0 0 0 ,
10.79/2.96	  0 1 0 4 -> 0 0 1 2 4 ,
10.79/2.96	  0 1 0 4 -> 0 0 1 4 2 ,
10.79/2.96	  0 1 0 4 -> 0 0 4 1 2 ,
10.79/2.96	  0 1 0 4 -> 1 2 0 0 4 ,
10.79/2.96	  0 1 0 4 -> 0 0 5 1 4 2 ,
10.79/2.96	  0 1 0 4 -> 1 2 0 4 5 0 ,
10.79/2.96	  0 1 0 4 -> 1 4 4 0 2 0 ,
10.79/2.96	  0 1 1 0 -> 0 1 1 3 0 ,
10.79/2.96	  0 1 1 0 -> 1 1 3 0 0 ,
10.79/2.96	  0 1 1 0 -> 0 0 1 1 2 4 ,
10.79/2.96	  0 1 1 0 -> 0 1 0 5 3 1 ,
10.79/2.96	  0 1 1 0 -> 0 1 4 3 1 0 ,
10.79/2.96	  0 1 1 0 -> 0 2 0 1 4 1 ,
10.79/2.96	  0 1 1 0 -> 0 4 1 2 1 0 ,
10.79/2.96	  0 1 1 0 -> 0 4 1 4 1 0 ,
10.79/2.96	  0 1 1 0 -> 0 5 0 2 1 1 ,
10.79/2.96	  0 1 1 0 -> 0 5 1 3 1 0 ,
10.79/2.96	  0 1 1 0 -> 1 1 1 3 0 0 ,
10.79/2.96	  0 1 1 0 -> 1 2 0 0 2 1 ,
10.79/2.96	  0 1 1 0 -> 1 4 5 0 1 0 ,
10.79/2.96	  0 1 1 0 -> 2 0 1 2 1 0 ,
10.79/2.96	  0 1 1 0 -> 2 1 0 0 2 1 ,
10.79/2.96	  0 1 1 0 -> 2 1 2 0 0 1 ,
10.79/2.96	  0 1 1 0 -> 4 1 1 3 0 0 ,
10.79/2.96	  0 4 1 0 -> 0 0 4 1 2 ,
10.79/2.96	  0 4 1 0 -> 0 0 4 1 2 4 ,
10.79/2.96	  0 4 1 0 -> 0 3 0 1 4 2 ,
10.79/2.96	  0 4 1 0 -> 0 5 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 ,
10.79/2.96	  0 0 0 1 0 -> 0 0 0 2 1 0 ,
10.79/2.96	  0 1 0 4 4 -> 0 0 4 4 1 3 ,
10.79/2.96	  0 1 0 4 4 -> 0 4 4 1 3 0 ,
10.79/2.96	  0 1 0 4 4 -> 3 1 4 4 0 0 ,
10.79/2.96	  0 1 1 1 0 -> 0 0 1 1 2 1 ,
10.79/2.96	  0 2 0 1 0 -> 0 3 1 2 0 0 ,
10.79/2.96	  0 3 0 1 0 -> 0 5 0 0 3 1 ,
10.79/2.96	  0 4 4 1 0 -> 0 0 4 1 2 4 ,
10.79/2.96	  0 5 0 1 0 -> 5 0 0 1 2 0 ,
10.79/2.96	  0 5 4 4 0 -> 4 0 4 5 0 2 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 5:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 1 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 1 1 1 0 |
10.79/2.96	 \         /
10.79/2.96	1 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 1 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	2 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	3 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	4 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 1 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	5 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 135-rule system
10.79/2.96	{ 0 1 0 -> 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 0 0 1 2 4 ,
10.79/2.96	  0 1 0 -> 0 0 1 4 4 ,
10.79/2.96	  0 1 0 -> 0 0 4 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 2 0 2 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 2 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 4 ,
10.79/2.96	  0 1 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 1 0 -> 0 2 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 3 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 4 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 2 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 3 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 4 0 ,
10.79/2.96	  0 1 0 -> 1 3 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 4 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 5 2 0 0 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 3 1 ,
10.79/2.96	  0 1 0 -> 2 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 2 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 4 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 0 0 2 1 2 4 ,
10.79/2.96	  0 1 0 -> 0 0 3 4 1 2 ,
10.79/2.96	  0 1 0 -> 0 0 4 1 2 2 ,
10.79/2.96	  0 1 0 -> 0 0 5 1 4 4 ,
10.79/2.96	  0 1 0 -> 0 0 5 5 1 2 ,
10.79/2.96	  0 1 0 -> 0 1 1 2 5 0 ,
10.79/2.96	  0 1 0 -> 0 1 2 2 3 0 ,
10.79/2.96	  0 1 0 -> 0 1 3 0 4 2 ,
10.79/2.96	  0 1 0 -> 0 1 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 2 0 2 1 2 ,
10.79/2.96	  0 1 0 -> 0 2 1 4 4 0 ,
10.79/2.96	  0 1 0 -> 0 2 1 4 5 0 ,
10.79/2.96	  0 1 0 -> 0 2 2 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 2 5 1 2 0 ,
10.79/2.96	  0 1 0 -> 0 3 1 3 0 4 ,
10.79/2.96	  0 1 0 -> 0 3 4 1 3 0 ,
10.79/2.96	  0 1 0 -> 0 4 5 1 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 1 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 0 3 0 ,
10.79/2.96	  0 1 0 -> 1 1 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 1 3 0 5 0 ,
10.79/2.96	  0 1 0 -> 1 1 4 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 2 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 3 5 0 0 2 ,
10.79/2.96	  0 1 0 -> 1 4 2 2 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 4 0 0 2 ,
10.79/2.96	  0 1 0 -> 1 4 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 1 4 4 5 0 0 ,
10.79/2.96	  0 1 0 -> 1 5 0 1 3 0 ,
10.79/2.96	  0 1 0 -> 2 0 0 1 2 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 1 4 ,
10.79/2.96	  0 1 0 -> 2 0 0 2 3 1 ,
10.79/2.96	  0 1 0 -> 2 0 0 5 1 2 ,
10.79/2.96	  0 1 0 -> 2 0 1 1 2 0 ,
10.79/2.96	  0 1 0 -> 2 0 4 1 2 0 ,
10.79/2.96	  0 1 0 -> 2 1 0 2 4 0 ,
10.79/2.96	  0 1 0 -> 2 1 5 0 3 0 ,
10.79/2.96	  0 1 0 -> 2 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 3 1 2 0 2 0 ,
10.79/2.96	  0 1 0 -> 3 5 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 4 1 2 0 3 0 ,
10.79/2.96	  0 1 0 -> 4 2 0 0 1 2 ,
10.79/2.96	  0 1 0 -> 4 2 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 4 3 1 5 0 0 ,
10.79/2.96	  0 1 0 -> 4 5 1 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 0 0 1 1 2 ,
10.79/2.96	  0 1 0 -> 5 0 0 2 1 2 ,
10.79/2.96	  0 1 0 -> 5 1 2 0 5 0 ,
10.79/2.96	  0 1 0 -> 5 1 2 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 1 2 5 0 0 ,
10.79/2.96	  0 1 0 -> 5 1 3 0 0 2 ,
10.79/2.96	  0 1 0 -> 5 1 3 0 3 0 ,
10.79/2.96	  0 1 0 -> 5 1 4 3 0 0 ,
10.79/2.96	  0 1 0 -> 5 5 1 3 0 0 ,
10.79/2.96	  0 0 0 0 -> 0 0 0 2 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 0 3 1 ,
10.79/2.96	  0 0 1 0 -> 0 0 1 2 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 0 1 3 1 ,
10.79/2.96	  0 0 1 0 -> 0 0 2 1 3 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 2 2 1 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 4 2 1 0 ,
10.79/2.96	  0 0 1 0 -> 0 0 5 0 1 2 ,
10.79/2.96	  0 0 1 0 -> 0 1 2 4 0 0 ,
10.79/2.96	  0 0 1 0 -> 0 1 3 0 3 0 ,
10.79/2.96	  0 0 1 0 -> 0 2 1 5 0 0 ,
10.79/2.96	  0 0 1 0 -> 0 5 1 2 0 0 ,
10.79/2.96	  0 1 0 0 -> 1 3 0 0 0 ,
10.79/2.96	  0 1 0 0 -> 0 0 0 1 2 4 ,
10.79/2.96	  0 1 0 0 -> 0 0 1 4 2 0 ,
10.79/2.96	  0 1 0 0 -> 0 0 4 1 2 0 ,
10.79/2.96	  0 1 0 0 -> 0 1 3 0 0 4 ,
10.79/2.96	  0 1 0 0 -> 0 1 4 3 0 0 ,
10.79/2.96	  0 1 0 0 -> 0 2 0 1 3 0 ,
10.79/2.96	  0 1 0 0 -> 1 2 4 0 0 0 ,
10.79/2.96	  0 1 0 4 -> 0 0 1 2 4 ,
10.79/2.96	  0 1 0 4 -> 0 0 1 4 2 ,
10.79/2.96	  0 1 0 4 -> 0 0 4 1 2 ,
10.79/2.96	  0 1 0 4 -> 1 2 0 0 4 ,
10.79/2.96	  0 1 0 4 -> 0 0 5 1 4 2 ,
10.79/2.96	  0 1 0 4 -> 1 2 0 4 5 0 ,
10.79/2.96	  0 1 0 4 -> 1 4 4 0 2 0 ,
10.79/2.96	  0 4 1 0 -> 0 0 4 1 2 ,
10.79/2.96	  0 4 1 0 -> 0 0 4 1 2 4 ,
10.79/2.96	  0 4 1 0 -> 0 3 0 1 4 2 ,
10.79/2.96	  0 4 1 0 -> 0 5 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 ,
10.79/2.96	  0 0 0 1 0 -> 0 0 0 2 1 0 ,
10.79/2.96	  0 1 0 4 4 -> 0 0 4 4 1 3 ,
10.79/2.96	  0 1 0 4 4 -> 0 4 4 1 3 0 ,
10.79/2.96	  0 1 0 4 4 -> 3 1 4 4 0 0 ,
10.79/2.96	  0 1 1 1 0 -> 0 0 1 1 2 1 ,
10.79/2.96	  0 2 0 1 0 -> 0 3 1 2 0 0 ,
10.79/2.96	  0 3 0 1 0 -> 0 5 0 0 3 1 ,
10.79/2.96	  0 4 4 1 0 -> 0 0 4 1 2 4 ,
10.79/2.96	  0 5 0 1 0 -> 5 0 0 1 2 0 ,
10.79/2.96	  0 5 4 4 0 -> 4 0 4 5 0 2 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 4:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /       \
10.79/2.96	| 1 0 1 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	 \       /
10.79/2.96	1 is interpreted by
10.79/2.96	 /       \
10.79/2.96	| 1 0 0 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	| 0 0 0 1 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	 \       /
10.79/2.96	2 is interpreted by
10.79/2.96	 /       \
10.79/2.96	| 1 0 0 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	 \       /
10.79/2.96	3 is interpreted by
10.79/2.96	 /       \
10.79/2.96	| 1 0 0 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	 \       /
10.79/2.96	4 is interpreted by
10.79/2.96	 /       \
10.79/2.96	| 1 0 1 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	 \       /
10.79/2.96	5 is interpreted by
10.79/2.96	 /       \
10.79/2.96	| 1 0 0 0 |
10.79/2.96	| 0 1 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	| 0 0 0 0 |
10.79/2.96	 \       /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 5-rule system
10.79/2.96	{ 0 0 0 0 -> 0 0 0 2 0 ,
10.79/2.96	  0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 ,
10.79/2.96	  0 1 1 1 0 -> 0 0 1 1 2 1 ,
10.79/2.96	  0 5 4 4 0 -> 4 0 4 5 0 2 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 6:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 1 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	1 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 1 0 0 |
10.79/2.96	| 0 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 0 1 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	2 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	3 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	4 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	5 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 4-rule system
10.79/2.96	{ 0 0 0 0 -> 0 0 0 2 0 ,
10.79/2.96	  0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 ,
10.79/2.96	  0 5 4 4 0 -> 4 0 4 5 0 2 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 5:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 1 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 1 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	1 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	2 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	3 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	4 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	5 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 3-rule system
10.79/2.96	{ 0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 ,
10.79/2.96	  0 5 4 4 0 -> 4 0 4 5 0 2 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 6:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 1 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 1 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	1 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	2 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	3 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	4 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 0 1 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	5 is interpreted by
10.79/2.96	 /           \
10.79/2.96	| 1 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 0 |
10.79/2.96	| 0 0 0 1 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 0 |
10.79/2.96	 \           /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 2-rule system
10.79/2.96	{ 0 5 4 0 -> 0 1 4 5 0 ,
10.79/2.96	  0 5 4 0 -> 5 0 0 1 4 4 }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system was filtered by the following matrix interpretation
10.79/2.96	of type E_J with J = {1,...,2} and dimension 5:
10.79/2.96	
10.79/2.96	0 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 1 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	1 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	2 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	3 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	4 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 1 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	5 is interpreted by
10.79/2.96	 /         \
10.79/2.96	| 1 0 0 0 0 |
10.79/2.96	| 0 1 0 0 0 |
10.79/2.96	| 0 0 0 1 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	| 0 0 0 0 0 |
10.79/2.96	 \         /
10.79/2.96	
10.79/2.96	Remains to prove termination of the 0-rule system
10.79/2.96	{ }
10.79/2.96	
10.79/2.96	
10.79/2.96	The system is trivially terminating.
15.09/4.04	EOF