https://vjudge.net/problem/UVA-514
#include<iostream>
#include<cstdio>
#include<cstring>
#include<fstream>
#include<string>
#include<iomanip>
using namespace std;
const int N=1005;
int main(){
int a[N],b[N],i,j,k,n;
while(scanf("%d",&n),n){
while(scanf("%d",&b[0]),b[0]){
for(i=1;i<n;i++)
scanf("%d",&b[i]);
for(i=1,j=0,k=0;i<=n;i++,k++){
a[k]=i;
while(a[k]==b[j]){
if(k>0)k--;
else{
a[k]=0;k--;
}j++;
if(k==-1)break;
}
}
if(j==n)puts("Yes");
else puts("No");
}puts("");
}
}