26.63/7.07	YES
26.83/7.09	
26.83/7.09	
26.83/7.09	The system was reversed.
26.83/7.09	
26.83/7.09	Remains to prove termination of the 1-rule system
26.83/7.09	{ b a a b a a b b a a b -> b a a b b a a b a a b b a a }
26.83/7.09	
26.83/7.09	
26.83/7.09	The dependency pairs transformation was applied.
26.83/7.09	
26.83/7.09	Remains to prove termination of the 7-rule system
26.83/7.09	{ (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) -> (b,true) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) ,
26.83/7.09	  (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) -> (b,true) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) ,
26.83/7.09	  (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) -> (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) ,
26.83/7.09	  (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) -> (b,true) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) ,
26.83/7.09	  (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) -> (b,true) (b,false) (a,false) (a,false) ,
26.83/7.09	  (b,true) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) -> (b,true) (a,false) (a,false) ,
26.83/7.09	  (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) ->= (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) }
26.83/7.09	
26.83/7.09	
26.83/7.09	
26.83/7.09	
26.83/7.09	The system was filtered by the following matrix interpretation
26.83/7.09	of type E_J with J = {1,...,2} and dimension 12:
26.83/7.09	
26.83/7.09	(b,true) is interpreted by
26.83/7.09	 /                       \
26.83/7.09	| 1 0 1 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 1 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	 \                       /
26.83/7.09	(a,false) is interpreted by
26.83/7.09	 /                       \
26.83/7.09	| 1 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 1 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 1 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 1 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 1 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 1 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 1 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 1 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	 \                       /
26.83/7.09	(b,false) is interpreted by
26.83/7.09	 /                       \
26.83/7.09	| 1 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 1 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 1 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 1 0 0 1 0 0 0 |
26.83/7.09	| 0 0 1 0 0 0 0 0 0 1 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
26.83/7.09	| 0 1 0 0 1 0 0 0 0 0 0 1 |
26.83/7.09	 \                       /
26.83/7.09	
26.83/7.09	Remains to prove termination of the 1-rule system
26.83/7.09	{ (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) ->= (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (b,false) (a,false) (a,false) }
26.83/7.09	
26.83/7.09	
26.83/7.09	The system is trivially terminating.
26.83/7.12	EOF