#include <stack>
stack <int> stk;
stk.top();  //回傳stack頂端的值
stk.pop();  //刪除stack頂端的資料
stk.push(); // 將新值加入stack
stk.size(); // 輸出stack的大小

#include <bits/stdc++.h>
using namespace std;

int main() {
  int n;
  while (cin >> n)
  {
    if (n == 0)
    {
      cout << endl;
      break;
    }
    while (1)
    {
      stack <int> stk;
      int rail[1005];
      cin >> rail[0];
      if (rail[0] == 0) {cout << endl; break;}
      // 輸入要輸出的軌道
      for (int i=1; i<n; i++) 
        cin >> rail[i];
      int  ra = 0;
      //=======================
      for (int a=1; a<=n; a++)
      {
        stk.push(a);
        while (!stk.empty() && stk.top() == rail[ra])
        {
          stk.pop();
          ra++;
        }
        
      }
      if (stk.empty())  cout << "Yes" << endl;
      else cout << "No" << endl;
    }
  }
}

#include <queue>
queue <int> q;
q.front();  //回傳 queue 最前端的值 
q.pop();    //刪除 queue 最前端的資料 
q.push();   //將一個新的值加入 queue 的最後端 
q.size();   //回傳 queue 的大小

#include <deque>
deque <int> dq;
dq.empty();     //測試 deque 是否為空。(回傳布林值)
dq.size();      //查詢目前 deque 中有幾個元素。
dq.push_front();//在 deque 的前端加入一個元素。
dq.push_back(); //在 deque 的後端加入一個元素。
dq.pop_front(); //移除目前 deque 中最前端元素。
dq.pop_back();  //移除目前 deque 中最後端元素。
dq.front();     //取得目前 deque 中最前端元素。
dq.back();      //取得目前 deque 中最後端元素。
dq.insert(iterator, n, val); //插入位置/次數/值

#include<queue>
priority_queue <int> pq;                       //由大至小
priority_queue <T, vector<T>, greater<T> > pq; //由小至大
priority_queue<T, vector<T>, cmp> pq;

pq.push(); //輸入 
pq.top();  //存取最大權重值
pq.pop();  //刪除最大權重值
pq.size(); //回傳 pioraity_queue 的大小

set <int> s;
s.insert(); //新增
s.erase();  //刪除
s.count();  //查詢是否存在於集合中
s.empty();  //判斷是否為空的set

s.lower_bound(x);  
//用二分搜找出"大於或等於"x的最小值的位置
s.upper_bound(x); 
//用二分搜找出"大於"x的最小值的位置

//vector用法
auto it = lower_bound(v.begin(), v.end(), val);  
auto it = upper_bound(v.begin(), v.end(), val);  

#include <utility>
pair <T1, T2> p1 // 宣告
make_pair (v1, v2) //直接使用v1 / v2來創建這個pair
//pair的操作
p1.front = 1;
p1.second = 2;

#include<map>
map <string, int> mp; //宣告一個 key為string, value為int 的map
//插入的方法
mp[key] = value; //也可進行更改
mp.insert(pair<string, int>(Hi, 1) );
//查詢
mp.find();  //返回資料所在位置，若無則返回與end()函數相同
mp.count(); 

mp.erase(); //刪除
mp.clear(); //清空

#include<vector>
vector <int> adj;
adj.push_back();  //新增尾部元素
adj.pop_back();   //刪除尾部元素

p[M] = {-1}; //先將陣列進行初始化
int find_root (int x) //找尋源頭
{
    if (par[x] != x)  //若x的源頭不等於x代表還有源頭，繼續找
        return find_root(par[x]);
    return x;
}

void union(int x, int y)
{
    int rx = find_root(x);
    int ry = find_root(y);
    par[rx] = ry;
}

int l, r;
while(l < r)
{
	int m = (l+r)/2;
    if (f(m))
    	r = m;
    else 
    	l = m+1;
}
ans = l;

int l, r;
while(l < r)
{
	int m = (l+r)/2;
    if (f(m))
    	r = m;
    else 
    	l = m+1;
}
ans = l;