compact sequence