198.80/50.73	MAYBE
198.80/50.73	
198.80/50.73	Problem:
198.80/50.73	 h(1(1(x1))) -> 1(h(x1))
198.80/50.73	 1(1(h(b(x1)))) -> 1(1(s(b(x1))))
198.80/50.73	 1(s(x1)) -> s(1(x1))
198.80/50.73	 b(s(x1)) -> b(h(x1))
198.80/50.73	 h(1(b(x1))) -> t(1(1(b(x1))))
198.80/50.73	 1(t(x1)) -> t(1(1(1(x1))))
198.80/50.73	 b(t(x1)) -> b(h(x1))
198.80/50.73	
198.80/50.73	Proof:
198.80/50.73	 Open
198.80/50.73	EOF