YES(?,O(n^1))
0.16/0.77	YES(?,O(n^1))
0.16/0.77	
0.16/0.77	Problem:
0.16/0.77	 f(f(X)) -> f(g(f(g(f(X)))))
0.16/0.77	 f(g(f(X))) -> f(g(X))
0.16/0.77	
0.16/0.77	Proof:
0.16/0.77	 Bounds Processor:
0.16/0.77	  bound: 3
0.16/0.77	  enrichment: match
0.16/0.77	  automaton:
0.16/0.77	   final states: {2,1}
0.16/0.77	   transitions:
0.16/0.77	    f3(70) -> 71*
0.16/0.77	    f3(88) -> 89*
0.16/0.77	    f3(78) -> 79*
0.16/0.77	    f1(4) -> 5*
0.16/0.77	    f1(6) -> 7*
0.16/0.77	    f1(18) -> 19*
0.16/0.77	    f1(8) -> 9*
0.16/0.77	    g3(102) -> 103*
0.16/0.77	    g3(92) -> 93*
0.16/0.77	    g3(87) -> 88*
0.16/0.77	    g3(77) -> 78*
0.16/0.77	    g3(69) -> 70*
0.16/0.77	    g3(100) -> 101*
0.16/0.77	    g1(20) -> 21*
0.16/0.77	    g1(5) -> 6*
0.16/0.77	    g1(7) -> 8*
0.16/0.77	    g1(53) -> 54*
0.16/0.77	    g1(28) -> 29*
0.16/0.77	    f2(30) -> 31*
0.16/0.77	    f2(47) -> 48*
0.16/0.77	    f2(32) -> 33*
0.16/0.77	    f2(34) -> 35*
0.16/0.77	    f2(58) -> 59*
0.16/0.77	    f0(2) -> 1*
0.16/0.77	    f0(1) -> 1*
0.16/0.77	    g2(60) -> 61*
0.16/0.77	    g2(67) -> 68*
0.16/0.77	    g2(57) -> 58*
0.16/0.77	    g2(96) -> 97*
0.16/0.77	    g2(51) -> 52*
0.16/0.77	    g2(46) -> 47*
0.16/0.77	    g2(31) -> 32*
0.16/0.77	    g2(33) -> 34*
0.16/0.77	    g2(85) -> 86*
0.16/0.77	    g2(80) -> 81*
0.16/0.77	    g0(2) -> 2*
0.16/0.77	    g0(1) -> 2*
0.16/0.77	    1 -> 28,18
0.16/0.77	    2 -> 20,4
0.16/0.77	    4 -> 46*
0.16/0.77	    6 -> 60*
0.16/0.77	    8 -> 57,53,30
0.16/0.77	    9 -> 19,5,1
0.16/0.77	    18 -> 51*
0.16/0.77	    19 -> 5*
0.16/0.77	    21 -> 8*
0.16/0.77	    29 -> 8*
0.16/0.77	    30 -> 87*
0.16/0.77	    32 -> 77*
0.16/0.77	    34 -> 85*
0.16/0.77	    35 -> 19,5
0.16/0.77	    47 -> 102,80
0.16/0.78	    48 -> 67,7
0.16/0.78	    52 -> 47*
0.16/0.78	    54 -> 8*
0.16/0.78	    58 -> 69*
0.16/0.78	    59 -> 31,48,9,1
0.16/0.78	    61 -> 58*
0.16/0.78	    68 -> 34*
0.16/0.78	    70 -> 92*
0.16/0.78	    71 -> 35,33,31,9,48
0.16/0.78	    78 -> 96*
0.16/0.78	    79 -> 35*
0.16/0.78	    81 -> 58*
0.16/0.78	    86 -> 47*
0.16/0.78	    88 -> 100*
0.16/0.78	    89 -> 33*
0.16/0.78	    93 -> 70*
0.16/0.78	    97 -> 47*
0.16/0.78	    101 -> 70*
0.16/0.78	    103 -> 70*
0.16/0.78	  problem:
0.16/0.78	   
0.16/0.78	  Qed
0.16/0.78	EOF