213.01/49.98	MAYBE
213.01/49.98	
213.01/49.98	Problem:
213.01/49.98	 a(a(a(b(x1)))) -> b(a(b(a(a(a(x1))))))
213.01/49.98	 a(b(x1)) -> x1
213.01/49.98	
213.01/49.98	Proof:
213.01/49.98	 Open
213.01/49.99	EOF