5.17/1.57	YES
5.74/1.68	
5.74/1.68	
5.74/1.68	The system was filtered by the following matrix interpretation
5.74/1.68	of type E_J with J = {1,...,2} and dimension 5:
5.74/1.68	
5.74/1.68	0 is interpreted by
5.74/1.68	 /         \
5.74/1.68	| 1 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	 \         /
5.74/1.68	1 is interpreted by
5.74/1.68	 /         \
5.74/1.68	| 1 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 1 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	 \         /
5.74/1.68	2 is interpreted by
5.74/1.68	 /         \
5.74/1.68	| 1 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	 \         /
5.74/1.68	3 is interpreted by
5.74/1.68	 /         \
5.74/1.68	| 1 0 1 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	 \         /
5.74/1.68	4 is interpreted by
5.74/1.68	 /         \
5.74/1.68	| 1 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	| 0 0 0 1 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	 \         /
5.74/1.68	5 is interpreted by
5.74/1.68	 /         \
5.74/1.68	| 1 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 |
5.74/1.68	 \         /
5.74/1.68	
5.74/1.68	Remains to prove termination of the 51-rule system
5.74/1.68	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.68	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.68	  3 0 1 0 -> 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 1 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 2 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 2 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 2 2 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 1 1 3 0 0 ,
5.74/1.68	  0 1 4 1 0 -> 0 1 1 4 0 2 ,
5.74/1.68	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 1 3 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 3 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 5 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 2 0 0 3 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.68	  3 0 1 0 0 -> 3 1 3 0 0 0 ,
5.74/1.68	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.68	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.68	  3 2 0 1 0 -> 0 2 3 1 5 0 ,
5.74/1.68	  3 2 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 3 0 1 0 -> 3 1 2 0 3 0 ,
5.74/1.68	  3 3 0 1 0 -> 3 1 2 3 0 0 ,
5.74/1.68	  3 4 0 1 0 -> 0 2 4 1 3 0 ,
5.74/1.68	  3 4 0 1 0 -> 3 1 4 0 0 2 ,
5.74/1.68	  3 4 0 1 0 -> 3 2 0 4 1 0 ,
5.74/1.68	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.68	
5.74/1.68	
5.74/1.68	The system was filtered by the following matrix interpretation
5.74/1.68	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.68	
5.74/1.68	0 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 1 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	1 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 1 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 1 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	2 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	3 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	4 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 1 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	5 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	
5.74/1.68	Remains to prove termination of the 50-rule system
5.74/1.68	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.68	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.68	  3 0 1 0 -> 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 1 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 2 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 2 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 2 2 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 1 1 3 0 0 ,
5.74/1.68	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 1 3 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 3 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 5 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 2 0 0 3 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.68	  3 0 1 0 0 -> 3 1 3 0 0 0 ,
5.74/1.68	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.68	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.68	  3 2 0 1 0 -> 0 2 3 1 5 0 ,
5.74/1.68	  3 2 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 3 0 1 0 -> 3 1 2 0 3 0 ,
5.74/1.68	  3 3 0 1 0 -> 3 1 2 3 0 0 ,
5.74/1.68	  3 4 0 1 0 -> 0 2 4 1 3 0 ,
5.74/1.68	  3 4 0 1 0 -> 3 1 4 0 0 2 ,
5.74/1.68	  3 4 0 1 0 -> 3 2 0 4 1 0 ,
5.74/1.68	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.68	
5.74/1.68	
5.74/1.68	The system was filtered by the following matrix interpretation
5.74/1.68	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.68	
5.74/1.68	0 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 1 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	1 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 1 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	2 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 1 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	3 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 1 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	4 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	5 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	
5.74/1.68	Remains to prove termination of the 48-rule system
5.74/1.68	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.68	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.68	  3 0 1 0 -> 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 1 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 2 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 2 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 2 2 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 1 1 3 0 0 ,
5.74/1.68	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 1 3 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 3 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 5 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 2 0 0 3 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.68	  3 0 1 0 0 -> 3 1 3 0 0 0 ,
5.74/1.68	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.68	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.68	  3 3 0 1 0 -> 3 1 2 0 3 0 ,
5.74/1.68	  3 3 0 1 0 -> 3 1 2 3 0 0 ,
5.74/1.68	  3 4 0 1 0 -> 0 2 4 1 3 0 ,
5.74/1.68	  3 4 0 1 0 -> 3 1 4 0 0 2 ,
5.74/1.68	  3 4 0 1 0 -> 3 2 0 4 1 0 ,
5.74/1.68	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.68	
5.74/1.68	
5.74/1.68	The system was filtered by the following matrix interpretation
5.74/1.68	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.68	
5.74/1.68	0 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 1 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	1 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 1 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	2 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	3 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 1 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 1 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	4 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	5 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	
5.74/1.68	Remains to prove termination of the 46-rule system
5.74/1.68	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.68	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.68	  3 0 1 0 -> 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 1 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 2 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 2 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 2 2 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 1 1 3 0 0 ,
5.74/1.68	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 1 3 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 3 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 0 0 3 5 1 0 ,
5.74/1.68	  0 3 0 1 0 -> 2 0 0 3 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.68	  3 0 1 0 0 -> 3 1 3 0 0 0 ,
5.74/1.68	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.68	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.68	  3 4 0 1 0 -> 0 2 4 1 3 0 ,
5.74/1.68	  3 4 0 1 0 -> 3 1 4 0 0 2 ,
5.74/1.68	  3 4 0 1 0 -> 3 2 0 4 1 0 ,
5.74/1.68	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.68	
5.74/1.68	
5.74/1.68	The system was filtered by the following matrix interpretation
5.74/1.68	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.68	
5.74/1.68	0 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 1 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 1 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	1 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 1 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	2 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	3 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 1 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	4 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	5 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	
5.74/1.68	Remains to prove termination of the 42-rule system
5.74/1.68	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.68	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.68	  3 0 1 0 -> 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 1 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 2 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 2 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 2 2 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 1 1 3 0 0 ,
5.74/1.68	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.68	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.68	  3 0 1 0 0 -> 3 1 3 0 0 0 ,
5.74/1.68	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.68	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.68	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.68	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.68	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.68	  3 4 0 1 0 -> 0 2 4 1 3 0 ,
5.74/1.68	  3 4 0 1 0 -> 3 1 4 0 0 2 ,
5.74/1.68	  3 4 0 1 0 -> 3 2 0 4 1 0 ,
5.74/1.68	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.68	
5.74/1.68	
5.74/1.68	The system was filtered by the following matrix interpretation
5.74/1.68	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.68	
5.74/1.68	0 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 1 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	1 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 1 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	2 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	3 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 1 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	4 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 1 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	5 is interpreted by
5.74/1.68	 /           \
5.74/1.68	| 1 0 0 0 0 0 |
5.74/1.68	| 0 1 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	| 0 0 0 0 0 0 |
5.74/1.68	 \           /
5.74/1.68	
5.74/1.68	Remains to prove termination of the 39-rule system
5.74/1.68	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.68	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.68	  3 0 1 0 -> 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 1 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 0 2 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 2 2 0 3 1 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 0 2 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 2 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 1 5 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 2 2 1 0 0 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 0 0 2 ,
5.74/1.68	  3 0 1 0 -> 3 5 1 5 0 0 ,
5.74/1.68	  3 0 1 0 -> 5 1 1 3 0 0 ,
5.74/1.68	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.68	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.68	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.69	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.69	  3 0 1 0 0 -> 3 1 3 0 0 0 ,
5.74/1.69	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.69	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 5:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	1 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	2 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	3 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 1 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	4 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	5 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 20-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  0 2 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 2 0 1 0 -> 2 0 0 0 3 1 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.69	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.69	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.69	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 18-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.69	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.69	  3 0 1 1 0 -> 3 1 0 1 2 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.69	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 17-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.69	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.69	  3 0 2 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 2 3 1 5 0 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 1 0 ,
5.74/1.69	  3 0 2 1 0 -> 3 1 2 0 5 0 ,
5.74/1.69	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 13-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 0 1 5 2 ,
5.74/1.69	  0 5 0 1 0 -> 0 0 1 5 1 0 ,
5.74/1.69	  0 5 0 1 0 -> 0 2 0 0 1 5 ,
5.74/1.69	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 10-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  3 0 5 1 0 -> 3 1 5 2 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 9-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 ,
5.74/1.69	  3 4 4 1 0 -> 3 1 1 4 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 8-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 0 3 1 ,
5.74/1.69	  0 0 1 0 -> 0 2 0 4 1 0 ,
5.74/1.69	  0 0 1 0 -> 2 0 0 0 2 1 ,
5.74/1.69	  3 1 0 1 0 -> 2 0 3 1 1 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 1 1 0 0 ,
5.74/1.69	  3 1 0 1 0 -> 3 1 2 1 0 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 2 1 4 0 ,
5.74/1.69	  3 1 4 1 0 -> 3 1 5 1 4 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 6:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 1 1 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	1 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 1 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	2 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	3 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 1 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	4 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	5 is interpreted by
5.74/1.69	 /           \
5.74/1.69	| 1 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 0 |
5.74/1.69	 \           /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 1-rule system
5.74/1.69	{ 0 0 1 0 -> 0 2 0 4 1 0 }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system was filtered by the following matrix interpretation
5.74/1.69	of type E_J with J = {1,...,2} and dimension 5:
5.74/1.69	
5.74/1.69	0 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 1 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 1 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	1 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 1 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	2 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	3 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	4 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	5 is interpreted by
5.74/1.69	 /         \
5.74/1.69	| 1 0 0 0 0 |
5.74/1.69	| 0 1 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	| 0 0 0 0 0 |
5.74/1.69	 \         /
5.74/1.69	
5.74/1.69	Remains to prove termination of the 0-rule system
5.74/1.69	{ }
5.74/1.69	
5.74/1.69	
5.74/1.69	The system is trivially terminating.
5.74/1.71	EOF