MAYBE
185.33/55.39	MAYBE
185.33/55.39	
185.33/55.39	Problem:
185.33/55.39	 a(a(x1)) -> x1
185.33/55.39	 a(b(b(a(x1)))) -> a(a(b(a(b(b(x1))))))
185.33/55.39	
185.33/55.39	Proof:
185.33/55.39	 Open
185.33/55.39	EOF