12.28/3.41	YES
12.28/3.43	
12.28/3.43	
12.28/3.43	The dependency pairs transformation was applied.
12.28/3.43	
12.28/3.43	Remains to prove termination of the 9-rule system
12.28/3.43	{ (a,true) (b,false) (a,false) (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) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) ,
12.28/3.43	  (a,true) (b,false) (a,false) (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) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) ,
12.28/3.43	  (a,true) (b,false) (a,false) (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) (a,false) (b,false) ,
12.28/3.43	  (a,true) (b,false) (a,false) (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) ,
12.28/3.43	  (a,true) (b,false) (a,false) (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) ,
12.28/3.43	  (a,true) (b,false) (a,false) (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) ,
12.28/3.43	  (a,true) (b,false) (a,false) (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) ,
12.28/3.43	  (a,true) (b,false) (a,false) (b,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) ,
12.28/3.43	  (a,false) (b,false) (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) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) }
12.28/3.43	
12.28/3.43	
12.28/3.43	
12.28/3.43	
12.28/3.43	The system was filtered by the following matrix interpretation
12.28/3.43	of type E_J with J = {1,...,2} and dimension 13:
12.28/3.43	
12.28/3.43	(a,true) is interpreted by
12.28/3.43	 /                         \
12.28/3.43	| 1 0 1 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	 \                         /
12.28/3.43	(b,false) is interpreted by
12.28/3.43	 /                         \
12.28/3.43	| 1 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 1 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 1 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 1 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 1 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 1 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	 \                         /
12.28/3.43	(a,false) is interpreted by
12.28/3.43	 /                         \
12.28/3.43	| 1 0 0 0 0 0 0 1 0 0 0 0 0 |
12.28/3.43	| 0 1 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 1 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 1 0 0 0 1 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 1 0 0 0 0 |
12.28/3.43	| 1 0 0 0 0 0 0 0 0 1 0 0 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 0 1 0 0 0 0 0 0 0 0 1 0 |
12.28/3.43	| 0 0 0 0 0 0 0 0 0 0 0 0 0 |
12.28/3.43	| 0 1 0 1 0 1 0 0 0 0 0 0 0 |
12.28/3.43	 \                         /
12.28/3.43	
12.28/3.43	Remains to prove termination of the 1-rule system
12.28/3.43	{ (a,false) (b,false) (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) (a,false) (b,false) (a,false) (b,false) (a,false) (b,false) }
12.28/3.43	
12.28/3.43	
12.28/3.43	The system is trivially terminating.
12.57/3.46	EOF