MAYBE
185.49/55.37	MAYBE
185.49/55.37	
185.49/55.37	Problem:
185.49/55.37	 a(a(a(b(x1)))) -> b(a(b(a(x1))))
185.49/55.37	 b(b(a(x1))) -> a(a(b(a(x1))))
185.49/55.37	
185.49/55.37	Proof:
185.49/55.37	 Open
185.49/55.38	EOF