7.40/2.12	YES
7.40/2.13	
7.40/2.13	
7.40/2.13	The dependency pairs transformation was applied.
7.40/2.13	
7.40/2.13	Remains to prove termination of the 15-rule system
7.40/2.13	{ (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,true) (1,false) (2,false) (1,false) -> (0,true) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) }
7.40/2.13	
7.40/2.13	
7.40/2.13	
7.40/2.13	
7.40/2.13	The system was filtered by the following matrix interpretation
7.40/2.13	of type E_J with J = {1,...,2} and dimension 5:
7.40/2.13	
7.40/2.13	(0,true) is interpreted by
7.40/2.13	 /         \
7.40/2.13	| 1 0 1 0 0 |
7.40/2.13	| 0 1 0 0 0 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	 \         /
7.40/2.13	(1,false) is interpreted by
7.40/2.13	 /         \
7.40/2.13	| 1 0 0 0 0 |
7.40/2.13	| 0 1 0 0 0 |
7.40/2.13	| 0 0 0 1 0 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	| 0 1 0 0 1 |
7.40/2.13	 \         /
7.40/2.13	(2,false) is interpreted by
7.40/2.13	 /         \
7.40/2.13	| 1 0 0 0 0 |
7.40/2.13	| 0 1 0 0 0 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	| 0 0 0 0 1 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	 \         /
7.40/2.13	(0,false) is interpreted by
7.40/2.13	 /         \
7.40/2.13	| 1 0 0 0 0 |
7.40/2.13	| 0 1 0 0 0 |
7.40/2.13	| 0 1 1 0 0 |
7.40/2.13	| 0 0 0 0 0 |
7.40/2.13	| 0 0 1 0 0 |
7.40/2.13	 \         /
7.40/2.13	
7.40/2.13	Remains to prove termination of the 7-rule system
7.40/2.13	{ (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) ,
7.40/2.13	  (0,false) (1,false) (2,false) (1,false) ->= (1,false) (2,false) (1,false) (1,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) (0,false) (1,false) (2,false) }
7.40/2.13	
7.40/2.13	
7.40/2.13	The system is trivially terminating.
7.40/2.16	EOF