0.00/0.01	YES
0.00/0.01	
0.00/0.01	DP problem for innermost termination.
0.00/0.01	P =
0.00/0.01	  f4# -> f3# [0 <= 0]
0.00/0.01	  f3# -> f1# [0 <= 0]
0.00/0.01	  f2# -> f1# [0 <= 0]
0.00/0.01	  f1# -> f2# [1 <= 0]
0.00/0.01	R = 
0.00/0.01	  f4 -> f3 [0 <= 0]
0.00/0.01	  f3 -> f1 [0 <= 0]
0.00/0.01	  f2 -> f1 [0 <= 0]
0.00/0.01	  f1 -> f2 [1 <= 0]
0.00/0.01	
0.00/0.01	The dependency graph for this problem is:
0.00/0.01	  0 -> 1
0.00/0.01	  1 -> 
0.00/0.01	  2 -> 
0.00/0.01	  3 -> 
0.00/0.01	Where:
0.00/0.01	  0) f4# -> f3# [0 <= 0]
0.00/0.01	  1) f3# -> f1# [0 <= 0]
0.00/0.01	  2) f2# -> f1# [0 <= 0]
0.00/0.01	  3) f1# -> f2# [1 <= 0]
0.00/0.01	
0.00/0.01	We have the following SCCs.
0.00/0.01	  
0.00/0.01	EOF