YES(?,O(n^1))
0.17/0.23	YES(?,O(n^1))
0.17/0.23	
0.17/0.23	Problem:
0.17/0.23	 0(1(2(3(4(x1))))) -> 0(2(3(1(4(x1)))))
0.17/0.23	 0(5(1(2(3(4(x1)))))) -> 0(1(2(5(3(4(x1))))))
0.17/0.23	 0(5(1(2(3(4(x1)))))) -> 0(5(2(1(3(4(x1))))))
0.17/0.23	 0(5(1(2(3(4(x1)))))) -> 5(0(2(3(1(4(x1))))))
0.17/0.23	 0(5(2(3(1(4(x1)))))) -> 0(1(5(2(3(4(x1))))))
0.17/0.23	
0.17/0.23	Proof:
0.17/0.23	 Bounds Processor:
0.17/0.23	  bound: 1
0.17/0.23	  enrichment: match
0.17/0.23	  automaton:
0.17/0.23	   final states: {7}
0.17/0.23	   transitions:
0.17/0.23	    01(18) -> 19*
0.17/0.23	    11(15) -> 16*
0.17/0.23	    11(29) -> 30*
0.17/0.23	    11(23) -> 24*
0.17/0.23	    51(40) -> 41*
0.17/0.23	    51(31) -> 32*
0.17/0.23	    51(21) -> 22*
0.17/0.23	    51(33) -> 34*
0.17/0.23	    21(30) -> 31*
0.17/0.23	    21(22) -> 23*
0.17/0.23	    21(17) -> 18*
0.17/0.23	    21(39) -> 40*
0.17/0.23	    31(20) -> 21*
0.17/0.23	    31(16) -> 17*
0.17/0.23	    41(14) -> 15*
0.17/0.23	    00(7) -> 7*
0.17/0.23	    10(7) -> 7*
0.17/0.23	    20(7) -> 7*
0.17/0.23	    30(7) -> 7*
0.17/0.23	    40(7) -> 7*
0.17/0.23	    50(7) -> 7*
0.17/0.23	    7 -> 14*
0.17/0.23	    15 -> 20*
0.17/0.23	    19 -> 33,7
0.17/0.23	    21 -> 39,29
0.17/0.23	    24 -> 18*
0.17/0.23	    32 -> 18*
0.17/0.23	    34 -> 7*
0.17/0.23	    41 -> 23*
0.17/0.23	  problem:
0.17/0.23	   
0.17/0.23	  Qed
0.17/0.23	EOF