MAYBE
52.64/14.85	MAYBE
52.64/14.85	
52.64/14.85	Problem:
52.64/14.85	 a(b(c(x1))) -> c(b(a(a(c(b(x1))))))
52.64/14.85	 a(x1) -> x1
52.64/14.85	 b(x1) -> x1
52.64/14.85	 c(x1) -> x1
52.64/14.85	
52.64/14.85	Proof:
52.64/14.85	 Open
52.64/14.86	EOF