29.44/7.78	YES
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 1 0 0 |
29.81/7.88	| 0 1 0 0 1 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 1 0 0 |
29.81/7.88	| 0 0 0 1 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 1 1 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 46-rule system
29.81/7.88	{ 0 1 1 2 -> 1 3 0 1 2 ,
29.81/7.88	  0 1 1 2 -> 1 3 1 0 2 ,
29.81/7.88	  0 1 1 2 -> 2 3 1 3 0 1 ,
29.81/7.88	  0 1 2 4 -> 0 2 3 4 1 ,
29.81/7.88	  0 1 2 4 -> 1 0 4 2 3 ,
29.81/7.88	  0 1 2 4 -> 1 2 3 0 4 ,
29.81/7.88	  0 1 2 4 -> 2 1 4 0 3 ,
29.81/7.88	  0 1 2 4 -> 1 2 3 4 0 5 ,
29.81/7.88	  0 1 2 4 -> 2 1 1 0 3 4 ,
29.81/7.88	  0 1 2 4 -> 4 1 2 2 3 0 ,
29.81/7.88	  0 1 2 4 -> 4 5 0 2 3 1 ,
29.81/7.88	  0 4 2 0 -> 0 4 2 3 0 ,
29.81/7.88	  0 4 2 0 -> 2 3 0 4 0 0 ,
29.81/7.88	  0 4 2 0 -> 3 4 0 2 3 0 ,
29.81/7.88	  0 4 2 0 -> 4 2 3 0 4 0 ,
29.81/7.88	  0 4 2 0 -> 4 3 0 0 5 2 ,
29.81/7.88	  0 4 2 4 -> 4 0 2 3 1 4 ,
29.81/7.88	  0 4 2 4 -> 4 0 4 2 0 3 ,
29.81/7.88	  5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 2 4 -> 3 2 5 1 4 ,
29.81/7.88	  5 1 2 4 -> 5 2 1 3 4 ,
29.81/7.88	  5 1 2 4 -> 5 5 2 1 4 ,
29.81/7.88	  5 1 2 4 -> 0 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  0 1 4 2 2 -> 1 2 3 4 0 2 ,
29.81/7.88	  5 0 1 2 4 -> 3 0 2 1 4 5 ,
29.81/7.88	  5 1 2 2 4 -> 5 2 2 1 4 5 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 2 1 3 4 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 3 2 1 4 ,
29.81/7.88	  5 1 3 1 4 -> 1 5 1 3 4 0 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 1 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 39-rule system
29.81/7.88	{ 0 1 1 2 -> 1 3 0 1 2 ,
29.81/7.88	  0 1 1 2 -> 1 3 1 0 2 ,
29.81/7.88	  0 1 1 2 -> 2 3 1 3 0 1 ,
29.81/7.88	  0 1 2 4 -> 0 2 3 4 1 ,
29.81/7.88	  0 1 2 4 -> 1 0 4 2 3 ,
29.81/7.88	  0 1 2 4 -> 1 2 3 0 4 ,
29.81/7.88	  0 1 2 4 -> 2 1 4 0 3 ,
29.81/7.88	  0 1 2 4 -> 1 2 3 4 0 5 ,
29.81/7.88	  0 1 2 4 -> 2 1 1 0 3 4 ,
29.81/7.88	  0 1 2 4 -> 4 1 2 2 3 0 ,
29.81/7.88	  0 1 2 4 -> 4 5 0 2 3 1 ,
29.81/7.88	  0 4 2 4 -> 4 0 4 2 0 3 ,
29.81/7.88	  5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 2 4 -> 3 2 5 1 4 ,
29.81/7.88	  5 1 2 4 -> 5 2 1 3 4 ,
29.81/7.88	  5 1 2 4 -> 5 5 2 1 4 ,
29.81/7.88	  5 1 2 4 -> 0 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  0 1 4 2 2 -> 1 2 3 4 0 2 ,
29.81/7.88	  5 0 1 2 4 -> 3 0 2 1 4 5 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 2 1 3 4 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 3 2 1 4 ,
29.81/7.88	  5 1 3 1 4 -> 1 5 1 3 4 0 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 1 1 1 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 38-rule system
29.81/7.88	{ 0 1 1 2 -> 1 3 0 1 2 ,
29.81/7.88	  0 1 1 2 -> 1 3 1 0 2 ,
29.81/7.88	  0 1 1 2 -> 2 3 1 3 0 1 ,
29.81/7.88	  0 1 2 4 -> 0 2 3 4 1 ,
29.81/7.88	  0 1 2 4 -> 1 0 4 2 3 ,
29.81/7.88	  0 1 2 4 -> 1 2 3 0 4 ,
29.81/7.88	  0 1 2 4 -> 2 1 4 0 3 ,
29.81/7.88	  0 1 2 4 -> 1 2 3 4 0 5 ,
29.81/7.88	  0 1 2 4 -> 2 1 1 0 3 4 ,
29.81/7.88	  0 1 2 4 -> 4 1 2 2 3 0 ,
29.81/7.88	  0 1 2 4 -> 4 5 0 2 3 1 ,
29.81/7.88	  0 4 2 4 -> 4 0 4 2 0 3 ,
29.81/7.88	  5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 2 4 -> 3 2 5 1 4 ,
29.81/7.88	  5 1 2 4 -> 5 2 1 3 4 ,
29.81/7.88	  5 1 2 4 -> 5 5 2 1 4 ,
29.81/7.88	  5 1 2 4 -> 0 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 0 1 2 4 -> 3 0 2 1 4 5 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 2 1 3 4 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 3 2 1 4 ,
29.81/7.88	  5 1 3 1 4 -> 1 5 1 3 4 0 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 1 0 0 |
29.81/7.88	| 0 0 0 1 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 29-rule system
29.81/7.88	{ 0 1 1 2 -> 1 3 0 1 2 ,
29.81/7.88	  0 1 1 2 -> 1 3 1 0 2 ,
29.81/7.88	  0 1 1 2 -> 2 3 1 3 0 1 ,
29.81/7.88	  0 4 2 4 -> 4 0 4 2 0 3 ,
29.81/7.88	  5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 2 4 -> 3 2 5 1 4 ,
29.81/7.88	  5 1 2 4 -> 5 2 1 3 4 ,
29.81/7.88	  5 1 2 4 -> 5 5 2 1 4 ,
29.81/7.88	  5 1 2 4 -> 0 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 2 1 3 4 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 3 2 1 4 ,
29.81/7.88	  5 1 3 1 4 -> 1 5 1 3 4 0 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 1 0 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 1 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 1 0 1 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 1 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 26-rule system
29.81/7.88	{ 0 4 2 4 -> 4 0 4 2 0 3 ,
29.81/7.88	  5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 2 4 -> 3 2 5 1 4 ,
29.81/7.88	  5 1 2 4 -> 5 2 1 3 4 ,
29.81/7.88	  5 1 2 4 -> 5 5 2 1 4 ,
29.81/7.88	  5 1 2 4 -> 0 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 2 1 3 4 ,
29.81/7.88	  5 1 2 4 0 -> 5 0 3 2 1 4 ,
29.81/7.88	  5 1 3 1 4 -> 1 5 1 3 4 0 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 19-rule system
29.81/7.88	{ 5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 1 3 1 4 -> 1 5 1 3 4 0 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 1 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 1 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 1 1 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 18-rule system
29.81/7.88	{ 5 1 2 0 -> 2 1 3 5 0 ,
29.81/7.88	  5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 2 0 -> 2 3 0 0 1 5 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 16-rule system
29.81/7.88	{ 5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 1 4 1 2 -> 2 1 5 3 4 1 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 1 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 15-rule system
29.81/7.88	{ 5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 1 4 2 -> 3 4 5 2 1 ,
29.81/7.88	  5 1 4 2 -> 2 1 3 4 5 4 ,
29.81/7.88	  5 1 4 2 -> 3 3 4 2 1 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 1 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 1 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 12-rule system
29.81/7.88	{ 5 1 2 0 -> 3 1 0 2 5 ,
29.81/7.88	  5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 2 0 -> 5 4 2 3 0 ,
29.81/7.88	  5 4 2 0 -> 0 1 2 3 4 5 ,
29.81/7.88	  5 4 2 0 -> 4 5 3 3 0 2 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 1 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 1 1 0 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 1 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 8-rule system
29.81/7.88	{ 5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 0 -> 3 4 0 4 5 1 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 7-rule system
29.81/7.88	{ 5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 3 2 0 -> 5 4 0 3 2 3 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 6-rule system
29.81/7.88	{ 5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 ,
29.81/7.88	  5 4 5 2 0 -> 5 0 5 4 4 2 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 5-rule system
29.81/7.88	{ 5 4 1 4 -> 3 4 4 1 5 4 ,
29.81/7.88	  5 4 1 4 -> 4 1 3 5 0 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 3 4 5 4 ,
29.81/7.88	  5 4 1 4 -> 5 1 5 3 4 4 ,
29.81/7.88	  5 4 1 1 4 -> 1 1 3 4 5 4 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 5:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	1 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	2 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	3 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	4 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	5 is interpreted by
29.81/7.88	 /         \
29.81/7.88	| 1 0 1 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 |
29.81/7.88	 \         /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 1-rule system
29.81/7.88	{ 5 4 1 1 4 -> 1 1 3 4 5 4 }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system was filtered by the following matrix interpretation
29.81/7.88	of type E_J with J = {1,...,2} and dimension 6:
29.81/7.88	
29.81/7.88	0 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	1 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 1 0 |
29.81/7.88	| 0 0 0 0 0 1 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	2 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	3 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	4 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 1 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	5 is interpreted by
29.81/7.88	 /           \
29.81/7.88	| 1 0 1 0 0 0 |
29.81/7.88	| 0 1 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	| 0 0 0 0 0 0 |
29.81/7.88	 \           /
29.81/7.88	
29.81/7.88	Remains to prove termination of the 0-rule system
29.81/7.88	{ }
29.81/7.88	
29.81/7.88	
29.81/7.88	The system is trivially terminating.
29.87/7.93	EOF