MAYBE
128.41/55.26	MAYBE
128.41/55.26	
128.41/55.26	Problem:
128.41/55.26	 a(b(x)) -> b(b(a(a(x))))
128.41/55.26	
128.41/55.26	Proof:
128.41/55.26	 Open
128.41/55.26	EOF