3.29/1.07	YES
3.29/1.10	
3.29/1.10	
3.29/1.10	The system was filtered by the following matrix interpretation
3.29/1.10	of type E_J with J = {1,...,2} and dimension 8:
3.29/1.10	
3.29/1.10	t is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 1 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 1 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	o is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 0 0 0 1 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 1 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	m is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 1 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	a is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 1 1 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 1 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	e is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 1 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	n is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 1 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	s is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 1 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	l is interpreted by
3.29/1.10	 /               \
3.29/1.10	| 1 0 0 0 0 0 0 0 |
3.29/1.10	| 0 1 0 0 1 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	| 0 0 0 0 0 0 0 0 |
3.29/1.10	 \               /
3.29/1.10	
3.29/1.10	Remains to prove termination of the 5-rule system
3.29/1.10	{ t o -> m a ,
3.29/1.10	  t e -> n s ,
3.29/1.10	  a l -> a t ,
3.29/1.10	  o m a -> t e n ,
3.29/1.10	  n s -> a l a t }
3.29/1.10	
3.29/1.10	
3.29/1.10	The system was filtered by the following matrix interpretation
3.29/1.10	of type E_J with J = {1,...,2} and dimension 2:
3.29/1.10	
3.29/1.10	t is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	o is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 1 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	m is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	a is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	e is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	n is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	s is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	l is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	
3.29/1.10	Remains to prove termination of the 3-rule system
3.29/1.10	{ t e -> n s ,
3.29/1.10	  a l -> a t ,
3.29/1.10	  n s -> a l a t }
3.29/1.10	
3.29/1.10	
3.29/1.10	The system was filtered by the following matrix interpretation
3.29/1.10	of type E_J with J = {1,...,2} and dimension 2:
3.29/1.10	
3.29/1.10	t is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	o is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	m is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	a is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	e is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 1 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	n is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	s is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	l is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	
3.29/1.10	Remains to prove termination of the 2-rule system
3.29/1.10	{ a l -> a t ,
3.29/1.10	  n s -> a l a t }
3.29/1.10	
3.29/1.10	
3.29/1.10	The system was filtered by the following matrix interpretation
3.29/1.10	of type E_J with J = {1,...,2} and dimension 2:
3.29/1.10	
3.29/1.10	t is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	o is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	m is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	a is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	e is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	n is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 1 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	s is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	l is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	
3.29/1.10	Remains to prove termination of the 1-rule system
3.29/1.10	{ a l -> a t }
3.29/1.10	
3.29/1.10	
3.29/1.10	The system was filtered by the following matrix interpretation
3.29/1.10	of type E_J with J = {1,...,2} and dimension 2:
3.29/1.10	
3.29/1.10	t is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	o is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	m is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	a is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	e is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	n is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	s is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 0 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	l is interpreted by
3.29/1.10	 /   \
3.29/1.10	| 1 1 |
3.29/1.10	| 0 1 |
3.29/1.10	 \   /
3.29/1.10	
3.29/1.10	Remains to prove termination of the 0-rule system
3.29/1.10	{ }
3.29/1.10	
3.29/1.10	
3.29/1.10	The system is trivially terminating.
3.62/1.14	EOF