6.16/1.78	YES
6.42/1.87	
6.42/1.87	
6.42/1.87	The system was filtered by the following matrix interpretation
6.42/1.87	of type E_J with J = {1,...,2} and dimension 2:
6.42/1.87	
6.42/1.87	0 is interpreted by
6.42/1.87	 /   \
6.42/1.87	| 1 1 |
6.42/1.87	| 0 1 |
6.42/1.87	 \   /
6.42/1.87	1 is interpreted by
6.42/1.87	 /   \
6.42/1.87	| 1 1 |
6.42/1.87	| 0 1 |
6.42/1.87	 \   /
6.42/1.87	2 is interpreted by
6.42/1.87	 /   \
6.42/1.87	| 1 1 |
6.42/1.87	| 0 1 |
6.42/1.87	 \   /
6.42/1.87	3 is interpreted by
6.42/1.87	 /   \
6.42/1.87	| 1 1 |
6.42/1.87	| 0 1 |
6.42/1.87	 \   /
6.42/1.87	4 is interpreted by
6.42/1.87	 /   \
6.42/1.87	| 1 1 |
6.42/1.87	| 0 1 |
6.42/1.87	 \   /
6.42/1.87	5 is interpreted by
6.42/1.87	 /   \
6.42/1.87	| 1 1 |
6.42/1.87	| 0 1 |
6.42/1.87	 \   /
6.42/1.87	
6.42/1.87	Remains to prove termination of the 16-rule system
6.42/1.87	{ 0 0 1 2 2 -> 2 3 3 2 2 ,
6.42/1.87	  0 4 1 0 4 5 -> 5 2 5 3 4 5 ,
6.42/1.87	  3 4 2 2 1 5 3 3 2 -> 3 1 0 3 5 3 3 0 2 ,
6.42/1.87	  0 5 5 3 1 3 3 0 2 0 -> 3 3 3 2 5 0 4 0 5 0 ,
6.42/1.87	  0 2 1 5 3 5 3 0 5 5 5 0 -> 2 2 5 4 4 2 3 3 0 3 5 4 ,
6.42/1.87	  3 2 0 0 4 0 0 0 2 5 1 0 -> 1 5 2 4 0 4 2 0 0 5 0 2 ,
6.42/1.87	  2 1 3 3 4 3 0 2 0 4 0 3 1 -> 2 4 1 3 0 1 3 3 2 1 3 4 4 ,
6.42/1.87	  5 2 3 1 2 1 5 4 5 1 1 0 0 -> 5 2 0 5 4 3 4 3 3 0 5 0 0 ,
6.42/1.87	  2 5 0 2 2 0 3 3 1 4 2 5 0 0 0 -> 5 3 1 3 1 4 4 2 5 4 5 4 4 1 0 ,
6.42/1.87	  2 5 1 2 0 0 5 1 2 2 1 0 2 1 5 -> 0 3 2 5 5 2 4 4 3 5 3 4 3 4 1 ,
6.42/1.87	  0 3 5 5 0 3 2 4 1 1 4 5 1 5 5 3 -> 0 5 1 2 4 0 2 0 1 2 4 3 3 3 0 5 ,
6.42/1.87	  0 4 4 1 2 2 1 3 5 3 1 3 4 1 1 0 -> 0 1 5 2 2 5 0 5 3 3 2 3 4 1 5 2 ,
6.42/1.87	  0 1 1 3 5 1 1 1 3 0 0 4 1 2 2 3 1 5 0 -> 2 4 5 5 5 4 0 2 5 0 5 4 4 5 5 0 5 0 0 ,
6.42/1.87	  1 2 1 3 4 2 4 4 1 2 5 2 3 3 3 5 1 0 0 -> 1 5 3 2 5 0 5 2 3 0 0 3 1 5 3 4 4 3 0 ,
6.42/1.87	  0 3 4 2 2 0 3 4 1 1 5 0 3 5 2 1 3 3 4 1 0 -> 2 4 4 3 0 5 5 5 5 2 2 0 2 5 1 1 0 1 0 0 1 ,
6.42/1.87	  2 4 5 2 1 3 5 5 1 1 1 0 0 4 5 0 1 2 0 2 5 -> 2 0 0 2 2 1 2 1 2 2 2 0 5 3 3 2 5 2 2 5 2 }
6.42/1.87	
6.42/1.87	
6.42/1.87	The system was filtered by the following matrix interpretation
6.42/1.87	of type E_J with J = {1,...,2} and dimension 13:
6.42/1.87	
6.42/1.87	0 is interpreted by
6.42/1.87	 /                         \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 1 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 1 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 1 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 1 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 1 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                         /
6.42/1.87	1 is interpreted by
6.42/1.87	 /                         \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 1 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                         /
6.42/1.87	2 is interpreted by
6.42/1.87	 /                         \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 1 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 1 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                         /
6.42/1.87	3 is interpreted by
6.42/1.87	 /                         \
6.42/1.87	| 1 0 1 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                         /
6.42/1.87	4 is interpreted by
6.42/1.87	 /                         \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 1 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                         /
6.42/1.87	5 is interpreted by
6.42/1.87	 /                         \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 1 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                         /
6.42/1.87	
6.42/1.87	Remains to prove termination of the 15-rule system
6.42/1.87	{ 0 0 1 2 2 -> 2 3 3 2 2 ,
6.42/1.87	  0 4 1 0 4 5 -> 5 2 5 3 4 5 ,
6.42/1.87	  3 4 2 2 1 5 3 3 2 -> 3 1 0 3 5 3 3 0 2 ,
6.42/1.87	  0 5 5 3 1 3 3 0 2 0 -> 3 3 3 2 5 0 4 0 5 0 ,
6.42/1.87	  0 2 1 5 3 5 3 0 5 5 5 0 -> 2 2 5 4 4 2 3 3 0 3 5 4 ,
6.42/1.87	  2 1 3 3 4 3 0 2 0 4 0 3 1 -> 2 4 1 3 0 1 3 3 2 1 3 4 4 ,
6.42/1.87	  5 2 3 1 2 1 5 4 5 1 1 0 0 -> 5 2 0 5 4 3 4 3 3 0 5 0 0 ,
6.42/1.87	  2 5 0 2 2 0 3 3 1 4 2 5 0 0 0 -> 5 3 1 3 1 4 4 2 5 4 5 4 4 1 0 ,
6.42/1.87	  2 5 1 2 0 0 5 1 2 2 1 0 2 1 5 -> 0 3 2 5 5 2 4 4 3 5 3 4 3 4 1 ,
6.42/1.87	  0 3 5 5 0 3 2 4 1 1 4 5 1 5 5 3 -> 0 5 1 2 4 0 2 0 1 2 4 3 3 3 0 5 ,
6.42/1.87	  0 4 4 1 2 2 1 3 5 3 1 3 4 1 1 0 -> 0 1 5 2 2 5 0 5 3 3 2 3 4 1 5 2 ,
6.42/1.87	  0 1 1 3 5 1 1 1 3 0 0 4 1 2 2 3 1 5 0 -> 2 4 5 5 5 4 0 2 5 0 5 4 4 5 5 0 5 0 0 ,
6.42/1.87	  1 2 1 3 4 2 4 4 1 2 5 2 3 3 3 5 1 0 0 -> 1 5 3 2 5 0 5 2 3 0 0 3 1 5 3 4 4 3 0 ,
6.42/1.87	  0 3 4 2 2 0 3 4 1 1 5 0 3 5 2 1 3 3 4 1 0 -> 2 4 4 3 0 5 5 5 5 2 2 0 2 5 1 1 0 1 0 0 1 ,
6.42/1.87	  2 4 5 2 1 3 5 5 1 1 1 0 0 4 5 0 1 2 0 2 5 -> 2 0 0 2 2 1 2 1 2 2 2 0 5 3 3 2 5 2 2 5 2 }
6.42/1.87	
6.42/1.87	
6.42/1.87	The system was filtered by the following matrix interpretation
6.42/1.87	of type E_J with J = {1,...,2} and dimension 17:
6.42/1.87	
6.42/1.87	0 is interpreted by
6.42/1.87	 /                                 \
6.42/1.87	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                                 /
6.42/1.87	1 is interpreted by
6.42/1.87	 /                                 \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                                 /
6.42/1.87	2 is interpreted by
6.42/1.87	 /                                 \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                                 /
6.42/1.87	3 is interpreted by
6.42/1.87	 /                                 \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                                 /
6.42/1.87	4 is interpreted by
6.42/1.87	 /                                 \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                                 /
6.42/1.87	5 is interpreted by
6.42/1.87	 /                                 \
6.42/1.87	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.87	 \                                 /
6.42/1.87	
6.42/1.87	Remains to prove termination of the 14-rule system
6.42/1.87	{ 0 0 1 2 2 -> 2 3 3 2 2 ,
6.42/1.87	  0 4 1 0 4 5 -> 5 2 5 3 4 5 ,
6.42/1.87	  3 4 2 2 1 5 3 3 2 -> 3 1 0 3 5 3 3 0 2 ,
6.42/1.87	  0 5 5 3 1 3 3 0 2 0 -> 3 3 3 2 5 0 4 0 5 0 ,
6.42/1.87	  0 2 1 5 3 5 3 0 5 5 5 0 -> 2 2 5 4 4 2 3 3 0 3 5 4 ,
6.42/1.87	  2 1 3 3 4 3 0 2 0 4 0 3 1 -> 2 4 1 3 0 1 3 3 2 1 3 4 4 ,
6.42/1.88	  5 2 3 1 2 1 5 4 5 1 1 0 0 -> 5 2 0 5 4 3 4 3 3 0 5 0 0 ,
6.42/1.88	  2 5 0 2 2 0 3 3 1 4 2 5 0 0 0 -> 5 3 1 3 1 4 4 2 5 4 5 4 4 1 0 ,
6.42/1.88	  2 5 1 2 0 0 5 1 2 2 1 0 2 1 5 -> 0 3 2 5 5 2 4 4 3 5 3 4 3 4 1 ,
6.42/1.88	  0 3 5 5 0 3 2 4 1 1 4 5 1 5 5 3 -> 0 5 1 2 4 0 2 0 1 2 4 3 3 3 0 5 ,
6.42/1.88	  0 1 1 3 5 1 1 1 3 0 0 4 1 2 2 3 1 5 0 -> 2 4 5 5 5 4 0 2 5 0 5 4 4 5 5 0 5 0 0 ,
6.42/1.88	  1 2 1 3 4 2 4 4 1 2 5 2 3 3 3 5 1 0 0 -> 1 5 3 2 5 0 5 2 3 0 0 3 1 5 3 4 4 3 0 ,
6.42/1.88	  0 3 4 2 2 0 3 4 1 1 5 0 3 5 2 1 3 3 4 1 0 -> 2 4 4 3 0 5 5 5 5 2 2 0 2 5 1 1 0 1 0 0 1 ,
6.42/1.88	  2 4 5 2 1 3 5 5 1 1 1 0 0 4 5 0 1 2 0 2 5 -> 2 0 0 2 2 1 2 1 2 2 2 0 5 3 3 2 5 2 2 5 2 }
6.42/1.88	
6.42/1.88	
6.42/1.88	The system was filtered by the following matrix interpretation
6.42/1.88	of type E_J with J = {1,...,2} and dimension 22:
6.42/1.88	
6.42/1.88	0 is interpreted by
6.42/1.88	 /                                           \
6.42/1.88	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	 \                                           /
6.42/1.88	1 is interpreted by
6.42/1.88	 /                                           \
6.42/1.88	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	 \                                           /
6.42/1.88	2 is interpreted by
6.42/1.88	 /                                           \
6.42/1.88	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	 \                                           /
6.42/1.88	3 is interpreted by
6.42/1.88	 /                                           \
6.42/1.88	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	 \                                           /
6.42/1.88	4 is interpreted by
6.42/1.88	 /                                           \
6.42/1.88	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	 \                                           /
6.42/1.88	5 is interpreted by
6.42/1.88	 /                                           \
6.42/1.88	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
6.42/1.88	 \                                           /
6.42/1.88	
6.42/1.88	Remains to prove termination of the 13-rule system
6.42/1.88	{ 0 0 1 2 2 -> 2 3 3 2 2 ,
6.42/1.88	  0 4 1 0 4 5 -> 5 2 5 3 4 5 ,
6.42/1.88	  3 4 2 2 1 5 3 3 2 -> 3 1 0 3 5 3 3 0 2 ,
6.42/1.88	  0 5 5 3 1 3 3 0 2 0 -> 3 3 3 2 5 0 4 0 5 0 ,
6.42/1.88	  0 2 1 5 3 5 3 0 5 5 5 0 -> 2 2 5 4 4 2 3 3 0 3 5 4 ,
6.42/1.88	  2 1 3 3 4 3 0 2 0 4 0 3 1 -> 2 4 1 3 0 1 3 3 2 1 3 4 4 ,
6.42/1.88	  5 2 3 1 2 1 5 4 5 1 1 0 0 -> 5 2 0 5 4 3 4 3 3 0 5 0 0 ,
6.42/1.88	  2 5 0 2 2 0 3 3 1 4 2 5 0 0 0 -> 5 3 1 3 1 4 4 2 5 4 5 4 4 1 0 ,
6.42/1.88	  2 5 1 2 0 0 5 1 2 2 1 0 2 1 5 -> 0 3 2 5 5 2 4 4 3 5 3 4 3 4 1 ,
6.42/1.88	  0 3 5 5 0 3 2 4 1 1 4 5 1 5 5 3 -> 0 5 1 2 4 0 2 0 1 2 4 3 3 3 0 5 ,
6.42/1.88	  0 1 1 3 5 1 1 1 3 0 0 4 1 2 2 3 1 5 0 -> 2 4 5 5 5 4 0 2 5 0 5 4 4 5 5 0 5 0 0 ,
6.42/1.88	  1 2 1 3 4 2 4 4 1 2 5 2 3 3 3 5 1 0 0 -> 1 5 3 2 5 0 5 2 3 0 0 3 1 5 3 4 4 3 0 ,
6.42/1.88	  2 4 5 2 1 3 5 5 1 1 1 0 0 4 5 0 1 2 0 2 5 -> 2 0 0 2 2 1 2 1 2 2 2 0 5 3 3 2 5 2 2 5 2 }
6.42/1.88	
6.42/1.88	
6.42/1.88	The system was filtered by the following matrix interpretation
6.42/1.88	of type E_J with J = {1,...,2} and dimension 2:
6.42/1.88	
6.42/1.88	0 is interpreted by
6.42/1.88	 /       \
6.42/1.88	|   1 904 |
6.42/1.88	|   0   1 |
6.42/1.88	 \       /
6.42/1.88	1 is interpreted by
6.42/1.88	 /         \
6.42/1.88	|    1 1000 |
6.42/1.88	|    0    1 |
6.42/1.88	 \         /
6.42/1.88	2 is interpreted by
6.42/1.88	 /       \
6.42/1.88	|   1 904 |
6.42/1.88	|   0   1 |
6.42/1.88	 \       /
6.42/1.88	3 is interpreted by
6.42/1.88	 /       \
6.42/1.88	|   1 519 |
6.42/1.88	|   0   1 |
6.42/1.88	 \       /
6.42/1.88	4 is interpreted by
6.42/1.88	 /       \
6.42/1.88	|   1 520 |
6.42/1.88	|   0   1 |
6.42/1.88	 \       /
6.42/1.88	5 is interpreted by
6.42/1.88	 /       \
6.42/1.88	|   1 952 |
6.42/1.88	|   0   1 |
6.42/1.88	 \       /
6.42/1.88	
6.42/1.88	Remains to prove termination of the 0-rule system
6.42/1.88	{ }
6.42/1.88	
6.42/1.88	
6.42/1.88	The system is trivially terminating.
6.42/1.91	EOF