YES(?,O(n^1))
0.15/0.33	YES(?,O(n^1))
0.15/0.33	
0.15/0.33	Problem:
0.15/0.33	 a__c() -> a__f(g(c()))
0.15/0.33	 a__f(g(X)) -> g(X)
0.15/0.33	 mark(c()) -> a__c()
0.15/0.33	 mark(f(X)) -> a__f(X)
0.15/0.33	 mark(g(X)) -> g(X)
0.15/0.33	 a__c() -> c()
0.15/0.33	 a__f(X) -> f(X)
0.15/0.33	
0.15/0.33	Proof:
0.15/0.33	 Complexity Transformation Processor:
0.15/0.33	  strict:
0.15/0.33	   a__c() -> a__f(g(c()))
0.15/0.33	   a__f(g(X)) -> g(X)
0.15/0.33	   mark(c()) -> a__c()
0.15/0.33	   mark(f(X)) -> a__f(X)
0.15/0.33	   mark(g(X)) -> g(X)
0.15/0.33	   a__c() -> c()
0.15/0.33	   a__f(X) -> f(X)
0.15/0.33	  weak:
0.15/0.33	   
0.15/0.33	  Matrix Interpretation Processor: dim=1
0.15/0.33	   
0.15/0.33	   max_matrix:
0.15/0.33	    1
0.15/0.33	   interpretation:
0.15/0.33	    [f](x0) = x0 + 80,
0.15/0.33	    
0.15/0.33	    [mark](x0) = x0 + 250,
0.15/0.33	    
0.15/0.33	    [a__f](x0) = x0 + 255,
0.15/0.33	    
0.15/0.33	    [g](x0) = x0,
0.15/0.33	    
0.15/0.33	    [c] = 2,
0.15/0.33	    
0.15/0.33	    [a__c] = 0
0.15/0.33	   orientation:
0.15/0.33	    a__c() = 0 >= 257 = a__f(g(c()))
0.15/0.33	    
0.15/0.33	    a__f(g(X)) = X + 255 >= X = g(X)
0.15/0.33	    
0.15/0.33	    mark(c()) = 252 >= 0 = a__c()
0.15/0.33	    
0.15/0.33	    mark(f(X)) = X + 330 >= X + 255 = a__f(X)
0.15/0.33	    
0.15/0.33	    mark(g(X)) = X + 250 >= X = g(X)
0.15/0.33	    
0.15/0.33	    a__c() = 0 >= 2 = c()
0.15/0.33	    
0.15/0.33	    a__f(X) = X + 255 >= X + 80 = f(X)
0.15/0.33	   problem:
0.15/0.33	    strict:
0.15/0.33	     a__c() -> a__f(g(c()))
0.15/0.33	     a__c() -> c()
0.15/0.33	    weak:
0.15/0.33	     a__f(g(X)) -> g(X)
0.15/0.33	     mark(c()) -> a__c()
0.15/0.33	     mark(f(X)) -> a__f(X)
0.15/0.33	     mark(g(X)) -> g(X)
0.15/0.33	     a__f(X) -> f(X)
0.15/0.33	   Matrix Interpretation Processor: dim=1
0.15/0.33	    
0.15/0.33	    max_matrix:
0.15/0.33	     1
0.15/0.33	    interpretation:
0.15/0.33	     [f](x0) = x0,
0.15/0.33	     
0.15/0.33	     [mark](x0) = x0 + 20,
0.15/0.33	     
0.15/0.33	     [a__f](x0) = x0,
0.15/0.33	     
0.15/0.33	     [g](x0) = x0 + 104,
0.15/0.33	     
0.15/0.33	     [c] = 160,
0.15/0.33	     
0.15/0.33	     [a__c] = 161
0.15/0.33	    orientation:
0.15/0.33	     a__c() = 161 >= 264 = a__f(g(c()))
0.15/0.33	     
0.15/0.33	     a__c() = 161 >= 160 = c()
0.15/0.33	     
0.15/0.33	     a__f(g(X)) = X + 104 >= X + 104 = g(X)
0.15/0.33	     
0.15/0.33	     mark(c()) = 180 >= 161 = a__c()
0.15/0.33	     
0.15/0.33	     mark(f(X)) = X + 20 >= X = a__f(X)
0.15/0.33	     
0.15/0.33	     mark(g(X)) = X + 124 >= X + 104 = g(X)
0.15/0.33	     
0.15/0.33	     a__f(X) = X >= X = f(X)
0.15/0.33	    problem:
0.15/0.33	     strict:
0.15/0.33	      a__c() -> a__f(g(c()))
0.15/0.33	     weak:
0.15/0.33	      a__c() -> c()
0.15/0.33	      a__f(g(X)) -> g(X)
0.15/0.33	      mark(c()) -> a__c()
0.15/0.33	      mark(f(X)) -> a__f(X)
0.15/0.33	      mark(g(X)) -> g(X)
0.15/0.33	      a__f(X) -> f(X)
0.15/0.33	    Matrix Interpretation Processor: dim=1
0.15/0.33	     
0.15/0.33	     max_matrix:
0.15/0.33	      1
0.15/0.33	     interpretation:
0.15/0.33	      [f](x0) = x0 + 2,
0.15/0.33	      
0.15/0.33	      [mark](x0) = x0 + 61,
0.15/0.33	      
0.15/0.33	      [a__f](x0) = x0 + 2,
0.15/0.33	      
0.15/0.33	      [g](x0) = x0 + 4,
0.15/0.33	      
0.15/0.33	      [c] = 0,
0.15/0.33	      
0.15/0.33	      [a__c] = 7
0.15/0.33	     orientation:
0.15/0.33	      a__c() = 7 >= 6 = a__f(g(c()))
0.15/0.33	      
0.15/0.33	      a__c() = 7 >= 0 = c()
0.15/0.33	      
0.15/0.33	      a__f(g(X)) = X + 6 >= X + 4 = g(X)
0.15/0.33	      
0.15/0.33	      mark(c()) = 61 >= 7 = a__c()
0.15/0.33	      
0.15/0.33	      mark(f(X)) = X + 63 >= X + 2 = a__f(X)
0.15/0.33	      
0.15/0.33	      mark(g(X)) = X + 65 >= X + 4 = g(X)
0.15/0.33	      
0.15/0.33	      a__f(X) = X + 2 >= X + 2 = f(X)
0.15/0.33	     problem:
0.15/0.33	      strict:
0.15/0.33	       
0.15/0.33	      weak:
0.15/0.33	       a__c() -> a__f(g(c()))
0.15/0.33	       a__c() -> c()
0.15/0.33	       a__f(g(X)) -> g(X)
0.15/0.33	       mark(c()) -> a__c()
0.15/0.33	       mark(f(X)) -> a__f(X)
0.15/0.33	       mark(g(X)) -> g(X)
0.15/0.33	       a__f(X) -> f(X)
0.15/0.33	     Qed
0.15/0.33	EOF