YES(?,O(n^1))
0.15/0.22	YES(?,O(n^1))
0.15/0.22	
0.15/0.22	Problem:
0.15/0.22	 w(r(x)) -> r(w(x))
0.15/0.22	 b(r(x)) -> r(b(x))
0.15/0.22	 b(w(x)) -> w(b(x))
0.15/0.22	
0.15/0.22	Proof:
0.15/0.22	 Bounds Processor:
0.15/0.22	  bound: 1
0.15/0.22	  enrichment: match
0.15/0.22	  automaton:
0.15/0.22	   final states: {3,2}
0.15/0.22	   transitions:
0.15/0.22	    r1(11) -> 12*
0.15/0.22	    r1(8) -> 9*
0.15/0.22	    b1(10) -> 11*
0.15/0.22	    w1(7) -> 8*
0.15/0.22	    w0(1) -> 2*
0.15/0.22	    r0(1) -> 1*
0.15/0.22	    b0(1) -> 3*
0.15/0.22	    1 -> 10,7
0.15/0.22	    9 -> 8,2
0.15/0.22	    12 -> 11,3
0.15/0.22	  problem:
0.15/0.22	   
0.15/0.22	  Qed
0.15/0.22	EOF