YES(?,O(n^1))
0.15/0.24	YES(?,O(n^1))
0.15/0.24	
0.15/0.24	Problem:
0.15/0.24	 f(f(a(),x),y) -> f(y,f(x,f(a(),f(h(a()),a()))))
0.15/0.24	
0.15/0.24	Proof:
0.15/0.24	 Bounds Processor:
0.15/0.24	  bound: 2
0.15/0.24	  enrichment: match
0.15/0.24	  automaton:
0.15/0.24	   final states: {4}
0.15/0.24	   transitions:
0.15/0.24	    f1(13,13) -> 14*
0.15/0.24	    f1(19,14) -> 14*
0.15/0.24	    f1(14,14) -> 4*
0.15/0.24	    f1(4,14) -> 4*
0.15/0.24	    f1(11,10) -> 12*
0.15/0.24	    f1(13,14) -> 14*
0.15/0.24	    f1(14,13) -> 14*
0.15/0.24	    f1(4,13) -> 14*
0.15/0.24	    f1(10,12) -> 13*
0.15/0.24	    a1() -> 10*
0.15/0.24	    h1(10) -> 11*
0.15/0.24	    f2(12,18) -> 19*
0.15/0.24	    f2(13,19) -> 14*
0.15/0.24	    f2(15,17) -> 18*
0.15/0.24	    f2(19,19) -> 14*
0.15/0.24	    f2(14,19) -> 14*
0.15/0.24	    f2(16,15) -> 17*
0.15/0.24	    f0(4,4) -> 4*
0.15/0.24	    a2() -> 15*
0.15/0.24	    a0() -> 4*
0.15/0.24	    h2(15) -> 16*
0.15/0.24	    h0(4) -> 4*
0.15/0.24	  problem:
0.15/0.24	   
0.15/0.24	  Qed
0.15/0.25	EOF