MAYBE
132.16/55.31	MAYBE
132.16/55.31	
132.16/55.31	Problem:
132.16/55.31	 a(a(a(x1))) -> b(x1)
132.16/55.31	 b(c(x1)) -> c(c(a(a(a(a(x1))))))
132.16/55.31	
132.16/55.31	Proof:
132.16/55.31	 Open
132.16/55.32	EOF