MAYBE
255.99/64.88	MAYBE
255.99/64.88	
255.99/64.88	Problem:
255.99/64.88	 r(r(x1)) -> s(r(x1))
255.99/64.88	 r(s(x1)) -> s(r(x1))
255.99/64.88	 r(n(x1)) -> s(r(x1))
255.99/64.88	 r(b(x1)) -> u(s(b(x1)))
255.99/64.88	 r(u(x1)) -> u(r(x1))
255.99/64.88	 s(u(x1)) -> u(s(x1))
255.99/64.88	 n(u(x1)) -> u(n(x1))
255.99/64.88	 t(r(u(x1))) -> t(c(r(x1)))
255.99/64.88	 t(s(u(x1))) -> t(c(r(x1)))
255.99/64.88	 t(n(u(x1))) -> t(c(r(x1)))
255.99/64.88	 c(u(x1)) -> u(c(x1))
255.99/64.88	 c(s(x1)) -> s(c(x1))
255.99/64.88	 c(r(x1)) -> r(c(x1))
255.99/64.88	 c(n(x1)) -> n(c(x1))
255.99/64.88	 c(n(x1)) -> n(x1)
255.99/64.88	
255.99/64.88	Proof:
255.99/64.88	 Open
255.99/64.88	EOF