197.23/50.45	MAYBE
197.23/50.45	
197.23/50.45	Problem:
197.23/50.45	 a(b(a(a(a(a(x1)))))) -> a(a(a(a(a(b(a(a(b(a(b(a(a(b(x1))))))))))))))
197.23/50.45	
197.23/50.45	Proof:
197.23/50.45	 Open
197.23/50.46	EOF