13.70/3.75	YES
13.70/3.77	
13.70/3.77	
13.70/3.77	The dependency pairs transformation was applied.
13.70/3.77	
13.70/3.77	Remains to prove termination of the 9-rule system
13.70/3.77	{ (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (a,false) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (b,false) ,
13.70/3.77	  (a,true) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) ,
13.70/3.77	  (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) ->= (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) }
13.70/3.77	
13.70/3.77	
13.70/3.77	
13.70/3.77	
13.70/3.77	The system was filtered by the following matrix interpretation
13.70/3.77	of type E_J with J = {1,...,2} and dimension 11:
13.70/3.77	
13.70/3.77	(a,true) is interpreted by
13.70/3.77	 /                     \
13.70/3.77	| 1 0 1 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 1 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	 \                     /
13.70/3.77	(b,false) is interpreted by
13.70/3.77	 /                     \
13.70/3.77	| 1 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 1 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 1 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 1 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 1 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 1 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	 \                     /
13.70/3.77	(a,false) is interpreted by
13.70/3.77	 /                     \
13.70/3.77	| 1 0 0 0 0 1 0 0 0 0 0 |
13.70/3.77	| 0 1 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 1 0 1 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 1 0 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 1 0 0 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 0 1 0 0 0 0 0 0 1 0 |
13.70/3.77	| 0 0 0 0 0 0 0 0 0 0 0 |
13.70/3.77	| 0 1 0 1 0 0 0 0 0 0 1 |
13.70/3.77	 \                     /
13.70/3.77	
13.70/3.77	Remains to prove termination of the 1-rule system
13.70/3.77	{ (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) ->= (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) }
13.70/3.77	
13.70/3.77	
13.70/3.77	The system is trivially terminating.
13.92/3.81	EOF