13.21/3.61	YES
13.56/3.74	
13.56/3.74	
13.56/3.74	The system was filtered by the following matrix interpretation
13.56/3.74	of type E_J with J = {1,...,2} and dimension 9:
13.56/3.74	
13.56/3.74	0 is interpreted by
13.56/3.74	 /                 \
13.56/3.74	| 1 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 1 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 1 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 1 0 0 |
13.56/3.74	 \                 /
13.56/3.74	1 is interpreted by
13.56/3.74	 /                 \
13.56/3.74	| 1 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 1 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	 \                 /
13.56/3.74	2 is interpreted by
13.56/3.74	 /                 \
13.56/3.74	| 1 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 1 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	 \                 /
13.56/3.74	3 is interpreted by
13.56/3.74	 /                 \
13.56/3.74	| 1 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	 \                 /
13.56/3.74	4 is interpreted by
13.56/3.74	 /                 \
13.56/3.74	| 1 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	 \                 /
13.56/3.74	5 is interpreted by
13.56/3.74	 /                 \
13.56/3.74	| 1 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 1 1 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 1 |
13.56/3.74	| 0 0 0 0 0 0 0 0 0 |
13.56/3.74	 \                 /
13.56/3.74	
13.56/3.74	Remains to prove termination of the 47-rule system
13.56/3.74	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.74	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.74	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.74	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.74	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.74	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.74	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.74	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.74	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.74	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.74	  0 0 0 4 -> 2 0 2 0 0 4 ,
13.56/3.74	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.74	  0 0 2 4 -> 0 2 2 0 4 ,
13.56/3.74	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.74	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.74	  0 2 1 4 -> 2 0 1 1 4 ,
13.56/3.74	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.74	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.74	  0 2 5 4 -> 2 2 4 5 0 ,
13.56/3.74	  0 2 5 4 -> 4 5 1 2 0 ,
13.56/3.74	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.74	  0 5 5 4 -> 2 4 5 5 1 0 ,
13.56/3.74	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.74	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.74	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.74	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.74	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.74	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.74	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.74	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.74	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.74	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.74	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.74	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.74	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.74	  5 5 0 4 -> 5 5 1 0 4 ,
13.56/3.74	  5 5 0 4 -> 0 1 1 5 5 4 ,
13.56/3.74	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.74	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.74	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.74	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.74	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.74	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.74	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.74	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.74	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.74	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.74	
13.56/3.74	
13.56/3.74	The system was filtered by the following matrix interpretation
13.56/3.74	of type E_J with J = {1,...,2} and dimension 8:
13.56/3.74	
13.56/3.74	0 is interpreted by
13.56/3.74	 /               \
13.56/3.74	| 1 0 1 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 1 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 1 0 0 |
13.56/3.74	 \               /
13.56/3.74	1 is interpreted by
13.56/3.74	 /               \
13.56/3.74	| 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	 \               /
13.56/3.74	2 is interpreted by
13.56/3.74	 /               \
13.56/3.74	| 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 1 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	 \               /
13.56/3.74	3 is interpreted by
13.56/3.74	 /               \
13.56/3.74	| 1 0 1 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	 \               /
13.56/3.74	4 is interpreted by
13.56/3.74	 /               \
13.56/3.74	| 1 0 1 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	 \               /
13.56/3.74	5 is interpreted by
13.56/3.74	 /               \
13.56/3.74	| 1 0 0 0 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 1 0 0 0 0 |
13.56/3.74	| 0 0 0 0 1 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 0 0 1 |
13.56/3.74	| 0 0 0 0 0 0 0 0 |
13.56/3.74	 \               /
13.56/3.74	
13.56/3.74	Remains to prove termination of the 46-rule system
13.56/3.74	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.74	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.74	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.74	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.74	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.74	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.74	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.74	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.74	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.74	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.74	  0 0 0 4 -> 2 0 2 0 0 4 ,
13.56/3.74	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.74	  0 0 2 4 -> 0 2 2 0 4 ,
13.56/3.74	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.74	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.74	  0 2 1 4 -> 2 0 1 1 4 ,
13.56/3.74	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.74	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.74	  0 2 5 4 -> 2 2 4 5 0 ,
13.56/3.74	  0 2 5 4 -> 4 5 1 2 0 ,
13.56/3.74	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.74	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.74	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.74	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.74	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.74	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.74	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.74	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.74	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.74	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.74	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.74	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.74	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.74	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.74	  5 5 0 4 -> 5 5 1 0 4 ,
13.56/3.74	  5 5 0 4 -> 0 1 1 5 5 4 ,
13.56/3.74	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.74	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.74	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.74	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.74	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.74	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.74	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.74	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.74	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.74	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.74	
13.56/3.74	
13.56/3.74	The system was filtered by the following matrix interpretation
13.56/3.74	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.74	
13.56/3.74	0 is interpreted by
13.56/3.74	 /         \
13.56/3.74	| 1 0 1 0 0 |
13.56/3.74	| 0 1 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 1 0 0 |
13.56/3.74	 \         /
13.56/3.74	1 is interpreted by
13.56/3.74	 /         \
13.56/3.74	| 1 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	 \         /
13.56/3.74	2 is interpreted by
13.56/3.74	 /         \
13.56/3.74	| 1 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 |
13.56/3.74	| 0 0 1 1 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	 \         /
13.56/3.74	3 is interpreted by
13.56/3.74	 /         \
13.56/3.74	| 1 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	 \         /
13.56/3.74	4 is interpreted by
13.56/3.74	 /         \
13.56/3.74	| 1 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 |
13.56/3.74	| 0 0 1 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 1 1 0 0 |
13.56/3.74	 \         /
13.56/3.74	5 is interpreted by
13.56/3.74	 /         \
13.56/3.74	| 1 0 0 0 0 |
13.56/3.74	| 0 1 0 0 0 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	| 0 0 0 0 1 |
13.56/3.74	| 0 0 0 0 0 |
13.56/3.74	 \         /
13.56/3.74	
13.56/3.74	Remains to prove termination of the 44-rule system
13.56/3.74	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.74	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.74	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.74	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.74	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.74	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.74	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.74	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.74	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.74	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.74	  0 0 0 4 -> 2 0 2 0 0 4 ,
13.56/3.74	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.74	  0 0 2 4 -> 0 2 2 0 4 ,
13.56/3.74	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.74	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.74	  0 2 1 4 -> 2 0 1 1 4 ,
13.56/3.74	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.74	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.74	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.74	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.74	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.74	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.74	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.74	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.74	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.74	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.74	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 0 4 -> 5 5 1 0 4 ,
13.56/3.75	  5 5 0 4 -> 0 1 1 5 5 4 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 43-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 0 4 -> 2 0 2 0 0 4 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 0 2 4 -> 0 2 2 0 4 ,
13.56/3.75	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.75	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 0 4 -> 5 5 1 0 4 ,
13.56/3.75	  5 5 0 4 -> 0 1 1 5 5 4 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 7:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /             \
13.56/3.75	| 1 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 1 1 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	 \             /
13.56/3.75	1 is interpreted by
13.56/3.75	 /             \
13.56/3.75	| 1 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	 \             /
13.56/3.75	2 is interpreted by
13.56/3.75	 /             \
13.56/3.75	| 1 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	 \             /
13.56/3.75	3 is interpreted by
13.56/3.75	 /             \
13.56/3.75	| 1 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 1 0 0 1 0 |
13.56/3.75	 \             /
13.56/3.75	4 is interpreted by
13.56/3.75	 /             \
13.56/3.75	| 1 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	 \             /
13.56/3.75	5 is interpreted by
13.56/3.75	 /             \
13.56/3.75	| 1 0 1 0 0 1 0 |
13.56/3.75	| 0 1 0 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 |
13.56/3.75	 \             /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 41-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 0 4 -> 2 0 2 0 0 4 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 0 2 4 -> 0 2 2 0 4 ,
13.56/3.75	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.75	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 40-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 0 4 -> 2 0 2 0 0 4 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.75	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 8:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /               \
13.56/3.75	| 1 0 1 0 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 0 0 |
13.56/3.75	 \               /
13.56/3.75	1 is interpreted by
13.56/3.75	 /               \
13.56/3.75	| 1 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	 \               /
13.56/3.75	2 is interpreted by
13.56/3.75	 /               \
13.56/3.75	| 1 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	 \               /
13.56/3.75	3 is interpreted by
13.56/3.75	 /               \
13.56/3.75	| 1 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	 \               /
13.56/3.75	4 is interpreted by
13.56/3.75	 /               \
13.56/3.75	| 1 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 1 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	 \               /
13.56/3.75	5 is interpreted by
13.56/3.75	 /               \
13.56/3.75	| 1 0 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 0 0 |
13.56/3.75	 \               /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 39-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 1 3 -> 0 1 2 3 4 ,
13.56/3.75	  0 2 1 3 -> 2 0 1 3 4 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 1 5 3 -> 0 5 2 1 1 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 36-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 2 3 5 4 -> 2 2 4 4 5 3 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 6:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	1 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	2 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	3 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	4 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	5 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 35-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 1 0 4 -> 1 1 1 3 4 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 0 4 -> 4 0 1 1 4 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 1 0 1 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 33-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  3 2 1 4 -> 1 1 2 2 4 3 ,
13.56/3.75	  3 2 1 4 -> 1 2 1 3 1 4 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 31-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  3 5 1 0 4 -> 3 5 0 1 1 4 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 6:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	1 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	2 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	3 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	4 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	5 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 30-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 1 4 3 3 -> 0 1 1 4 3 3 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 6:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	 \           /
13.56/3.75	1 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	2 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	3 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 1 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	4 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	5 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 29-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  3 0 4 -> 3 1 0 1 1 4 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 4 0 -> 3 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 4:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 1 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 1 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	1 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	2 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	3 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 1 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	4 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	5 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 27-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 0 1 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 26-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 2 5 2 3 -> 0 3 5 2 1 2 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 6:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	1 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	2 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	3 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	4 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	5 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 25-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  5 5 4 3 -> 3 4 5 5 1 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 24-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 2 3 0 -> 2 3 4 0 0 ,
13.56/3.75	  0 2 3 0 -> 2 0 1 2 3 0 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  0 2 5 3 0 -> 0 1 2 5 3 0 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 1 0 1 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 21-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  2 3 0 -> 2 1 0 1 1 3 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  2 3 0 0 -> 0 1 2 1 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 4:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	1 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	2 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 1 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	3 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 1 |
13.56/3.75	| 0 0 0 1 |
13.56/3.75	 \       /
13.56/3.75	4 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	5 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 19-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 2 0 -> 0 3 0 1 2 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 1 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 18-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  0 0 3 -> 0 3 1 0 1 1 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  3 0 0 3 -> 3 0 3 0 1 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 4:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 1 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 1 1 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	1 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	2 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	3 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	4 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	5 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 16-rule system
13.56/3.75	{ 0 0 -> 0 1 2 0 1 1 ,
13.56/3.75	  0 0 -> 1 0 1 0 1 1 ,
13.56/3.75	  3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  0 0 0 -> 0 0 1 1 0 ,
13.56/3.75	  3 0 0 -> 3 0 1 0 1 1 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  2 3 0 0 -> 0 1 1 2 3 0 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 3:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 1 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	 \     /
13.56/3.75	1 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	2 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 1 0 0 |
13.56/3.75	 \     /
13.56/3.75	3 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	4 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 1 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	 \     /
13.56/3.75	5 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 11-rule system
13.56/3.75	{ 3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  0 4 1 0 -> 0 0 1 1 4 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 10-rule system
13.56/3.75	{ 3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  3 0 5 0 -> 5 0 3 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 9-rule system
13.56/3.75	{ 3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  5 1 0 3 -> 5 3 0 1 1 1 ,
13.56/3.75	  4 0 1 0 3 -> 4 0 3 0 1 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 7-rule system
13.56/3.75	{ 3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  3 1 0 0 -> 1 1 1 3 0 0 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 6-rule system
13.56/3.75	{ 3 0 -> 1 0 1 1 1 3 ,
13.56/3.75	  5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 3:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 1 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	 \     /
13.56/3.75	1 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	2 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	3 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 1 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	4 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 1 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 1 0 |
13.56/3.75	 \     /
13.56/3.75	5 is interpreted by
13.56/3.75	 /     \
13.56/3.75	| 1 0 1 |
13.56/3.75	| 0 1 0 |
13.56/3.75	| 0 0 0 |
13.56/3.75	 \     /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 5-rule system
13.56/3.75	{ 5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 ,
13.56/3.75	  4 4 5 0 0 -> 4 4 0 1 5 0 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 6:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 1 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	1 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	2 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	3 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	4 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 1 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	5 is interpreted by
13.56/3.75	 /           \
13.56/3.75	| 1 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 0 |
13.56/3.75	 \           /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 4-rule system
13.56/3.75	{ 5 0 3 -> 3 0 1 1 5 ,
13.56/3.75	  5 0 3 -> 3 5 0 1 1 ,
13.56/3.75	  4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 4:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 1 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	1 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	2 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	3 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 1 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	4 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	 \       /
13.56/3.75	5 is interpreted by
13.56/3.75	 /       \
13.56/3.75	| 1 0 1 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	| 0 0 0 0 |
13.56/3.75	| 0 1 0 0 |
13.56/3.75	 \       /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 2-rule system
13.56/3.75	{ 4 1 0 0 -> 0 0 1 1 4 1 ,
13.56/3.75	  4 1 4 4 0 -> 4 0 4 1 1 4 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 5:
13.56/3.75	
13.56/3.75	0 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 1 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 1 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	1 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 1 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	2 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	3 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	4 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 1 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	5 is interpreted by
13.56/3.75	 /         \
13.56/3.75	| 1 0 0 0 0 |
13.56/3.75	| 0 1 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	| 0 0 0 0 0 |
13.56/3.75	 \         /
13.56/3.75	
13.56/3.75	Remains to prove termination of the 1-rule system
13.56/3.75	{ 4 1 4 4 0 -> 4 0 4 1 1 4 }
13.56/3.75	
13.56/3.75	
13.56/3.75	The system was filtered by the following matrix interpretation
13.56/3.75	of type E_J with J = {1,...,2} and dimension 6:
13.56/3.75	
13.56/3.76	0 is interpreted by
13.56/3.76	 /           \
13.56/3.76	| 1 0 1 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	 \           /
13.56/3.76	1 is interpreted by
13.56/3.76	 /           \
13.56/3.76	| 1 0 0 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	| 0 0 0 1 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	 \           /
13.56/3.76	2 is interpreted by
13.56/3.76	 /           \
13.56/3.76	| 1 0 0 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	 \           /
13.56/3.76	3 is interpreted by
13.56/3.76	 /           \
13.56/3.76	| 1 0 0 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	 \           /
13.56/3.76	4 is interpreted by
13.56/3.76	 /           \
13.56/3.76	| 1 0 1 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 1 0 |
13.56/3.76	| 0 0 1 0 0 1 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	 \           /
13.56/3.76	5 is interpreted by
13.56/3.76	 /           \
13.56/3.76	| 1 0 0 0 0 0 |
13.56/3.76	| 0 1 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	| 0 0 0 0 0 0 |
13.56/3.76	 \           /
13.56/3.76	
13.56/3.76	Remains to prove termination of the 0-rule system
13.56/3.76	{ }
13.56/3.76	
13.56/3.76	
13.56/3.76	The system is trivially terminating.
13.56/3.78	EOF