MAYBE
152.21/55.33	MAYBE
152.21/55.33	
152.21/55.33	Problem:
152.21/55.33	 a(x1) -> b(x1)
152.21/55.33	 a(b(c(x1))) -> c(c(a(a(x1))))
152.21/55.33	 c(c(x1)) -> b(x1)
152.21/55.33	
152.21/55.33	Proof:
152.21/55.33	 Open
152.21/55.34	EOF