YES(?,O(n^1))
0.16/0.28	YES(?,O(n^1))
0.16/0.28	
0.16/0.28	Problem:
0.16/0.28	 f(f(X)) -> f(a(b(f(X))))
0.16/0.28	 f(a(g(X))) -> b(X)
0.16/0.28	 b(X) -> a(X)
0.16/0.28	
0.16/0.28	Proof:
0.16/0.28	 Bounds Processor:
0.16/0.28	  bound: 4
0.16/0.28	  enrichment: match
0.16/0.28	  automaton:
0.16/0.28	   final states: {6,5}
0.16/0.28	   transitions:
0.16/0.28	    b3(74) -> 75*
0.16/0.28	    a1(14) -> 15*
0.16/0.28	    a1(31) -> 32*
0.16/0.28	    a1(33) -> 34*
0.16/0.28	    a4(92) -> 93*
0.16/0.28	    b1(25) -> 26*
0.16/0.28	    b1(23) -> 24*
0.16/0.28	    b1(13) -> 14*
0.16/0.28	    f1(15) -> 16*
0.16/0.28	    f1(17) -> 18*
0.16/0.28	    f1(12) -> 13*
0.16/0.28	    f1(63) -> 64*
0.16/0.28	    a2(52) -> 53*
0.16/0.28	    a2(61) -> 62*
0.16/0.28	    a2(41) -> 42*
0.16/0.28	    f2(80) -> 81*
0.16/0.28	    f2(65) -> 66*
0.16/0.28	    f2(67) -> 68*
0.16/0.28	    f2(42) -> 43*
0.16/0.28	    f2(39) -> 40*
0.16/0.28	    f0(5) -> 5*
0.16/0.28	    f0(6) -> 5*
0.16/0.28	    b2(40) -> 41*
0.16/0.28	    b2(69) -> 70*
0.16/0.28	    a0(5) -> 5*
0.16/0.28	    a0(6) -> 5*
0.16/0.28	    a3(75) -> 76*
0.16/0.28	    a3(71) -> 72*
0.16/0.28	    a3(90) -> 91*
0.16/0.28	    b0(5) -> 5*
0.16/0.28	    b0(6) -> 5*
0.16/0.28	    f3(76) -> 77*
0.16/0.28	    f3(73) -> 74*
0.16/0.28	    g0(5) -> 6*
0.16/0.28	    g0(6) -> 6*
0.16/0.28	    5 -> 33,23,12
0.16/0.28	    6 -> 31,25,17
0.16/0.28	    12 -> 65*
0.16/0.28	    13 -> 66,40,71,5
0.16/0.28	    15 -> 39*
0.16/0.28	    16 -> 5*
0.16/0.28	    17 -> 67*
0.16/0.28	    18 -> 13*
0.16/0.28	    23 -> 52*
0.16/0.28	    24 -> 13,5
0.16/0.28	    25 -> 61*
0.16/0.28	    26 -> 13,5
0.16/0.28	    32 -> 5*
0.16/0.28	    34 -> 5*
0.16/0.28	    40 -> 71*
0.16/0.28	    42 -> 73,63
0.16/0.28	    43 -> 66,71,69,13
0.16/0.28	    53 -> 14,24
0.16/0.28	    62 -> 26,5,33,12,23
0.16/0.28	    63 -> 80*
0.16/0.28	    64 -> 13*
0.16/0.28	    66 -> 40*
0.16/0.28	    68 -> 40*
0.16/0.28	    69 -> 90*
0.16/0.28	    70 -> 41*
0.16/0.28	    72 -> 41*
0.16/0.28	    74 -> 92*
0.16/0.28	    77 -> 66,40,71
0.16/0.28	    81 -> 40*
0.16/0.28	    91 -> 70,41
0.16/0.28	    93 -> 75*
0.16/0.28	  problem:
0.16/0.28	   
0.16/0.28	  Qed
0.16/0.28	EOF