MAYBE
101.40/55.36	MAYBE
101.40/55.36	
101.40/55.36	Problem:
101.40/55.36	 a(b(x1)) -> x1
101.40/55.36	 a(b(c(x1))) -> b(c(b(c(a(a(b(x1)))))))
101.40/55.36	
101.40/55.36	Proof:
101.40/55.36	 Open
101.40/55.37	EOF