2.37/0.84	YES
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 6-rule system
2.91/0.93	{ 2 0 1 2 1 2 1 2 1 0 0 1 0 -> 2 2 0 0 2 1 1 1 0 0 0 1 1 1 2 2 0 ,
2.91/0.93	  2 1 0 0 2 1 1 1 0 1 2 2 0 -> 0 0 2 1 0 0 1 1 2 2 2 2 2 1 2 1 0 ,
2.91/0.93	  2 2 0 0 1 0 2 1 1 1 0 0 1 -> 2 2 1 1 2 0 0 1 2 2 0 2 0 0 2 2 2 ,
2.91/0.93	  2 2 1 0 1 0 1 1 0 0 0 2 0 -> 0 2 2 1 0 0 1 0 0 1 1 1 1 0 0 2 0 ,
2.91/0.93	  2 2 1 1 0 2 0 0 0 2 2 0 0 -> 0 0 1 2 0 0 0 2 2 0 1 2 2 2 2 0 0 ,
2.91/0.93	  2 2 2 1 0 2 0 0 1 0 1 0 2 -> 0 2 2 0 0 2 2 2 1 2 0 0 2 2 0 2 2 }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 5-rule system
2.91/0.93	{ 2 0 1 2 1 2 1 2 1 0 0 1 0 -> 2 2 0 0 2 1 1 1 0 0 0 1 1 1 2 2 0 ,
2.91/0.93	  2 1 0 0 2 1 1 1 0 1 2 2 0 -> 0 0 2 1 0 0 1 1 2 2 2 2 2 1 2 1 0 ,
2.91/0.93	  2 2 1 0 1 0 1 1 0 0 0 2 0 -> 0 2 2 1 0 0 1 0 0 1 1 1 1 0 0 2 0 ,
2.91/0.93	  2 2 1 1 0 2 0 0 0 2 2 0 0 -> 0 0 1 2 0 0 0 2 2 0 1 2 2 2 2 0 0 ,
2.91/0.93	  2 2 2 1 0 2 0 0 1 0 1 0 2 -> 0 2 2 0 0 2 2 2 1 2 0 0 2 2 0 2 2 }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 1 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 4-rule system
2.91/0.93	{ 2 0 1 2 1 2 1 2 1 0 0 1 0 -> 2 2 0 0 2 1 1 1 0 0 0 1 1 1 2 2 0 ,
2.91/0.93	  2 1 0 0 2 1 1 1 0 1 2 2 0 -> 0 0 2 1 0 0 1 1 2 2 2 2 2 1 2 1 0 ,
2.91/0.93	  2 2 1 0 1 0 1 1 0 0 0 2 0 -> 0 2 2 1 0 0 1 0 0 1 1 1 1 0 0 2 0 ,
2.91/0.93	  2 2 1 1 0 2 0 0 0 2 2 0 0 -> 0 0 1 2 0 0 0 2 2 0 1 2 2 2 2 0 0 }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 3-rule system
2.91/0.93	{ 2 0 1 2 1 2 1 2 1 0 0 1 0 -> 2 2 0 0 2 1 1 1 0 0 0 1 1 1 2 2 0 ,
2.91/0.93	  2 1 0 0 2 1 1 1 0 1 2 2 0 -> 0 0 2 1 0 0 1 1 2 2 2 2 2 1 2 1 0 ,
2.91/0.93	  2 2 1 1 0 2 0 0 0 2 2 0 0 -> 0 0 1 2 0 0 0 2 2 0 1 2 2 2 2 0 0 }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 2-rule system
2.91/0.93	{ 2 1 0 0 2 1 1 1 0 1 2 2 0 -> 0 0 2 1 0 0 1 1 2 2 2 2 2 1 2 1 0 ,
2.91/0.93	  2 2 1 1 0 2 0 0 0 2 2 0 0 -> 0 0 1 2 0 0 0 2 2 0 1 2 2 2 2 0 0 }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 1-rule system
2.91/0.93	{ 2 2 1 1 0 2 0 0 0 2 2 0 0 -> 0 0 1 2 0 0 0 2 2 0 1 2 2 2 2 0 0 }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system was filtered by the following matrix interpretation
2.91/0.93	of type E_J with J = {1,...,2} and dimension 14:
2.91/0.93	
2.91/0.93	1 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	2 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	0 is interpreted by
2.91/0.93	 /                           \
2.91/0.93	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2.91/0.93	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
2.91/0.93	 \                           /
2.91/0.93	
2.91/0.93	Remains to prove termination of the 0-rule system
2.91/0.93	{ }
2.91/0.93	
2.91/0.93	
2.91/0.93	The system is trivially terminating.
2.94/0.96	EOF