MAYBE
220.04/55.65	MAYBE
220.04/55.65	
220.04/55.65	Problem:
220.04/55.65	 a(a(a(a(x1)))) -> b(b(c(c(x1))))
220.04/55.65	 b(b(b(b(x1)))) -> a(a(c(c(x1))))
220.04/55.65	 c(c(c(c(x1)))) -> b(a(a(a(x1))))
220.04/55.65	
220.04/55.65	Proof:
220.04/55.65	 Open
220.04/55.66	EOF