24.78/6.56	YES
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 0 |
24.91/6.64	| 0 0 1 0 1 0 |
24.91/6.64	| 0 0 1 0 0 1 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	1 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	2 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	3 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	4 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 1 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	5 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 75-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 3 4 0 -> 0 3 0 2 4 2 ,
24.91/6.64	  0 3 4 0 -> 0 3 4 2 0 2 ,
24.91/6.64	  0 3 4 0 -> 0 4 5 3 0 5 ,
24.91/6.64	  0 4 4 0 -> 4 4 2 0 0 ,
24.91/6.64	  0 4 4 0 -> 0 4 0 2 4 2 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 0 2 4 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 0 4 2 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 0 -> 5 4 4 2 0 1 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 0 0 -> 0 4 2 0 0 5 ,
24.91/6.64	  4 0 0 1 -> 2 3 0 1 0 4 ,
24.91/6.64	  4 0 4 0 -> 2 4 2 0 0 4 ,
24.91/6.64	  4 0 4 0 -> 3 4 2 0 4 0 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 0 -> 4 0 3 4 2 ,
24.91/6.64	  4 3 4 0 -> 4 4 2 0 3 ,
24.91/6.64	  4 3 4 0 -> 0 4 2 3 4 2 ,
24.91/6.64	  4 3 4 0 -> 2 3 0 4 4 5 ,
24.91/6.64	  4 3 4 0 -> 2 3 4 4 0 2 ,
24.91/6.64	  4 3 4 0 -> 2 4 0 3 4 2 ,
24.91/6.64	  4 3 4 0 -> 4 2 0 4 2 3 ,
24.91/6.64	  4 3 4 0 -> 4 3 0 5 4 2 ,
24.91/6.64	  4 3 4 0 -> 4 4 2 3 0 2 ,
24.91/6.64	  4 3 4 0 -> 4 4 5 3 0 3 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 0 -> 2 4 2 4 4 0 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 0 4 0 0 -> 0 4 2 0 0 0 ,
24.91/6.64	  0 1 3 5 0 -> 0 1 3 0 5 3 ,
24.91/6.64	  0 3 4 0 0 -> 3 4 2 0 0 0 ,
24.91/6.64	  0 3 5 0 1 -> 0 1 0 5 2 3 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  0 4 3 4 0 -> 0 2 3 4 4 0 ,
24.91/6.64	  1 4 4 0 0 -> 4 1 4 2 0 0 ,
24.91/6.64	  1 4 4 0 1 -> 1 4 4 1 2 0 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 0 0 4 1 -> 4 4 2 0 1 0 ,
24.91/6.64	  4 0 4 4 0 -> 4 0 4 2 4 0 ,
24.91/6.64	  4 1 0 0 1 -> 4 2 0 1 1 0 ,
24.91/6.64	  4 1 3 4 0 -> 3 1 4 2 4 0 ,
24.91/6.64	  4 3 1 5 0 -> 1 4 5 3 0 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 0 -> 0 2 3 5 4 5 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 0 0 1 -> 4 0 4 2 0 1 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 1 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	1 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	2 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	3 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	4 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 1 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	5 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 54-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 3 4 0 -> 0 3 0 2 4 2 ,
24.91/6.64	  0 3 4 0 -> 0 3 4 2 0 2 ,
24.91/6.64	  0 3 4 0 -> 0 4 5 3 0 5 ,
24.91/6.64	  0 4 4 0 -> 4 4 2 0 0 ,
24.91/6.64	  0 4 4 0 -> 0 4 0 2 4 2 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 0 2 4 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 0 4 2 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 0 -> 5 4 4 2 0 1 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 0 -> 2 4 2 0 0 4 ,
24.91/6.64	  4 0 4 0 -> 3 4 2 0 4 0 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 0 -> 2 4 2 4 4 0 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 1 3 5 0 -> 0 1 3 0 5 3 ,
24.91/6.64	  0 3 5 0 1 -> 0 1 0 5 2 3 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 0 1 -> 1 4 4 1 2 0 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 0 4 4 0 -> 4 0 4 2 4 0 ,
24.91/6.64	  4 3 1 5 0 -> 1 4 5 3 0 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	1 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	2 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	3 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	4 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	5 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 51-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 0 -> 4 4 2 0 0 ,
24.91/6.64	  0 4 4 0 -> 0 4 0 2 4 2 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 0 2 4 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 0 4 2 ,
24.91/6.64	  0 4 4 0 -> 4 2 0 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 0 -> 5 4 4 2 0 1 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 0 -> 2 4 2 0 0 4 ,
24.91/6.64	  4 0 4 0 -> 3 4 2 0 4 0 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 0 -> 2 4 2 4 4 0 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 1 3 5 0 -> 0 1 3 0 5 3 ,
24.91/6.64	  0 3 5 0 1 -> 0 1 0 5 2 3 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 0 1 -> 1 4 4 1 2 0 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 0 4 4 0 -> 4 0 4 2 4 0 ,
24.91/6.64	  4 3 1 5 0 -> 1 4 5 3 0 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 1 1 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	1 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	 \         /
24.91/6.64	2 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	3 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	4 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	5 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 42-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 0 -> 2 4 2 0 0 4 ,
24.91/6.64	  4 0 4 0 -> 3 4 2 0 4 0 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 1 3 5 0 -> 0 1 3 0 5 3 ,
24.91/6.64	  0 3 5 0 1 -> 0 1 0 5 2 3 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 3 1 5 0 -> 1 4 5 3 0 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 1 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	1 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	2 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	3 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	4 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	5 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 40-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 0 -> 2 4 2 0 0 4 ,
24.91/6.64	  4 0 4 0 -> 3 4 2 0 4 0 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 3 1 5 0 -> 1 4 5 3 0 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 1 1 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	1 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	2 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	3 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	4 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	5 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 38-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 3 1 5 0 -> 1 4 5 3 0 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	1 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	2 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	3 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	4 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	5 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 37-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 3 2 4 0 -> 4 2 0 3 4 2 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	1 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	2 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	3 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	4 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 1 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 1 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	5 is interpreted by
24.91/6.64	 /           \
24.91/6.64	| 1 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 0 |
24.91/6.64	 \           /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 36-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 1 -> 2 1 4 1 2 4 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  1 4 4 1 -> 2 4 1 2 1 4 ,
24.91/6.64	  1 4 4 1 -> 2 4 2 1 4 1 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.64	  4 4 4 1 -> 2 4 2 4 1 4 ,
24.91/6.64	  4 4 4 1 -> 4 2 4 1 2 4 ,
24.91/6.64	  4 4 4 1 -> 4 5 4 1 5 4 ,
24.91/6.64	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.64	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.64	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.64	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.64	  4 4 4 4 1 -> 4 4 4 1 2 4 ,
24.91/6.64	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.64	
24.91/6.64	
24.91/6.64	The system was filtered by the following matrix interpretation
24.91/6.64	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.64	
24.91/6.64	0 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 1 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	1 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 2 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 1 0 0 1 |
24.91/6.64	 \         /
24.91/6.64	2 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	3 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	 \         /
24.91/6.64	4 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 1 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 1 0 |
24.91/6.64	| 0 0 0 0 1 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	5 is interpreted by
24.91/6.64	 /         \
24.91/6.64	| 1 0 0 0 0 |
24.91/6.64	| 0 1 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	| 0 0 0 0 0 |
24.91/6.64	 \         /
24.91/6.64	
24.91/6.64	Remains to prove termination of the 29-rule system
24.91/6.64	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.64	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.64	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.64	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.64	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.64	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.64	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.64	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.64	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.64	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.64	  4 0 4 1 -> 2 4 2 0 4 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.64	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.64	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.64	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.64	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.64	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.64	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.64	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.65	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.65	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.65	
24.91/6.65	
24.91/6.65	The system was filtered by the following matrix interpretation
24.91/6.65	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.65	
24.91/6.65	0 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 1 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	1 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 1 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	2 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	3 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	4 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 1 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 1 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	5 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	
24.91/6.65	Remains to prove termination of the 28-rule system
24.91/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.65	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.65	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.65	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.65	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.65	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.65	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.65	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.65	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.65	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.65	  4 3 4 4 1 -> 4 4 3 1 4 2 ,
24.91/6.65	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.65	
24.91/6.65	
24.91/6.65	The system was filtered by the following matrix interpretation
24.91/6.65	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.65	
24.91/6.65	0 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	1 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 1 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	2 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	3 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 1 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	4 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 1 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 1 0 |
24.91/6.65	| 0 0 1 0 0 1 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	5 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	
24.91/6.65	Remains to prove termination of the 27-rule system
24.91/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.65	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.65	  4 3 4 1 -> 3 4 2 4 1 ,
24.91/6.65	  4 3 4 1 -> 1 4 2 4 2 3 ,
24.91/6.65	  4 3 4 1 -> 2 3 1 4 5 4 ,
24.91/6.65	  4 3 4 1 -> 2 3 4 2 1 4 ,
24.91/6.65	  4 3 4 1 -> 2 4 2 3 1 4 ,
24.91/6.65	  4 3 4 1 -> 3 1 4 2 4 2 ,
24.91/6.65	  4 3 4 1 -> 3 4 2 4 5 1 ,
24.91/6.65	  4 3 4 1 -> 3 4 5 3 4 1 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.65	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.65	
24.91/6.65	
24.91/6.65	The system was filtered by the following matrix interpretation
24.91/6.65	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.65	
24.91/6.65	0 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	1 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 1 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	2 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	3 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 1 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	4 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 1 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 1 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	5 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	
24.91/6.65	Remains to prove termination of the 19-rule system
24.91/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.65	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  1 4 4 4 1 -> 2 4 1 4 4 1 ,
24.91/6.65	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.65	
24.91/6.65	
24.91/6.65	The system was filtered by the following matrix interpretation
24.91/6.65	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.65	
24.91/6.65	0 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	1 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 1 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	2 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	3 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	4 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 1 0 0 |
24.91/6.65	| 0 0 0 0 1 0 |
24.91/6.65	| 0 0 0 0 0 1 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	5 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	
24.91/6.65	Remains to prove termination of the 18-rule system
24.91/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.65	  1 4 4 1 -> 2 3 4 1 4 1 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.65	
24.91/6.65	
24.91/6.65	The system was filtered by the following matrix interpretation
24.91/6.65	of type E_J with J = {1,...,2} and dimension 5:
24.91/6.65	
24.91/6.65	0 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	1 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 1 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	2 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	3 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	4 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 1 0 |
24.91/6.65	| 0 0 0 0 1 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	5 is interpreted by
24.91/6.65	 /         \
24.91/6.65	| 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 |
24.91/6.65	 \         /
24.91/6.65	
24.91/6.65	Remains to prove termination of the 17-rule system
24.91/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  4 3 5 5 1 -> 1 5 4 2 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
24.91/6.65	
24.91/6.65	
24.91/6.65	The system was filtered by the following matrix interpretation
24.91/6.65	of type E_J with J = {1,...,2} and dimension 6:
24.91/6.65	
24.91/6.65	0 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	1 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 1 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	2 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	3 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 1 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	4 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 1 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	5 is interpreted by
24.91/6.65	 /           \
24.91/6.65	| 1 0 0 0 0 0 |
24.91/6.65	| 0 1 0 0 0 0 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	| 0 0 0 0 1 0 |
24.91/6.65	| 0 0 0 0 0 1 |
24.91/6.65	| 0 0 0 0 0 0 |
24.91/6.65	 \           /
24.91/6.65	
24.91/6.65	Remains to prove termination of the 16-rule system
24.91/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
24.91/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
24.91/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
24.91/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
24.91/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
24.91/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
24.91/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
24.91/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
24.91/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
24.91/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 ,
24.91/6.65	  4 4 5 0 1 -> 4 5 0 1 4 2 }
25.20/6.65	
25.20/6.65	
25.20/6.65	The system was filtered by the following matrix interpretation
25.20/6.65	of type E_J with J = {1,...,2} and dimension 6:
25.20/6.65	
25.20/6.65	0 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 1 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	1 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 1 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	2 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	3 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	4 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 1 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 1 1 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	5 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 1 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	
25.20/6.65	Remains to prove termination of the 15-rule system
25.20/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
25.20/6.65	  0 0 4 1 -> 4 2 0 1 0 ,
25.20/6.65	  0 0 4 1 -> 0 2 1 4 2 0 ,
25.20/6.65	  0 0 4 1 -> 1 0 5 4 2 0 ,
25.20/6.65	  0 0 4 1 -> 3 4 2 0 1 0 ,
25.20/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
25.20/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
25.20/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
25.20/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
25.20/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
25.20/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
25.20/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
25.20/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
25.20/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
25.20/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 }
25.20/6.65	
25.20/6.65	
25.20/6.65	The system was filtered by the following matrix interpretation
25.20/6.65	of type E_J with J = {1,...,2} and dimension 5:
25.20/6.65	
25.20/6.65	0 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 1 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 1 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	1 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 1 1 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	2 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	3 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	4 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 1 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	5 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	
25.20/6.65	Remains to prove termination of the 11-rule system
25.20/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
25.20/6.65	  0 4 4 1 -> 0 1 4 4 2 ,
25.20/6.65	  0 4 4 1 -> 1 4 4 2 0 ,
25.20/6.65	  0 4 4 1 -> 0 1 4 4 2 3 ,
25.20/6.65	  0 4 4 1 -> 0 1 5 4 4 2 ,
25.20/6.65	  0 4 4 1 -> 1 5 4 4 2 0 ,
25.20/6.65	  0 4 4 1 -> 2 4 0 1 5 4 ,
25.20/6.65	  0 4 4 1 -> 2 4 4 1 2 0 ,
25.20/6.65	  0 4 4 1 -> 2 4 5 4 0 1 ,
25.20/6.65	  0 4 4 1 -> 4 2 4 2 1 0 ,
25.20/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 }
25.20/6.65	
25.20/6.65	
25.20/6.65	The system was filtered by the following matrix interpretation
25.20/6.65	of type E_J with J = {1,...,2} and dimension 5:
25.20/6.65	
25.20/6.65	0 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 1 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	1 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 1 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	2 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	3 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	4 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 1 0 |
25.20/6.65	| 0 0 0 0 1 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	5 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	
25.20/6.65	Remains to prove termination of the 2-rule system
25.20/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 ,
25.20/6.65	  0 3 5 4 1 -> 5 1 0 4 5 3 }
25.20/6.65	
25.20/6.65	
25.20/6.65	The system was filtered by the following matrix interpretation
25.20/6.65	of type E_J with J = {1,...,2} and dimension 6:
25.20/6.65	
25.20/6.65	0 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 1 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	1 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	2 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	3 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 1 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	4 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 1 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	5 is interpreted by
25.20/6.65	 /           \
25.20/6.65	| 1 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 1 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 0 |
25.20/6.65	 \           /
25.20/6.65	
25.20/6.65	Remains to prove termination of the 1-rule system
25.20/6.65	{ 0 0 0 1 -> 0 1 0 0 2 3 }
25.20/6.65	
25.20/6.65	
25.20/6.65	The system was filtered by the following matrix interpretation
25.20/6.65	of type E_J with J = {1,...,2} and dimension 5:
25.20/6.65	
25.20/6.65	0 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 1 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 1 0 |
25.20/6.65	| 0 0 1 0 1 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	1 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	2 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	3 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	4 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	5 is interpreted by
25.20/6.65	 /         \
25.20/6.65	| 1 0 0 0 0 |
25.20/6.65	| 0 1 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	| 0 0 0 0 0 |
25.20/6.65	 \         /
25.20/6.65	
25.20/6.65	Remains to prove termination of the 0-rule system
25.20/6.65	{ }
25.20/6.65	
25.20/6.65	
25.20/6.65	The system is trivially terminating.
25.23/6.69	EOF