#include <stdio.h>
int ispost(int p[],int begin,int end){
int root=*(p+end);
int i=begin;
int mid,j;
if(begin>end)
return 0;
if(begin==end)
return 1;
for(i;i!=end;++i)
{
if(*(p+i)>root)
break;
}
mid=i;
for(j=mid;j!=end;++j)
{
if(*(p+j)<root)
return 0;
}
return ispost(p,begin,mid-1)*ispost(p,mid,end-1);
}
int main(){
int a[100];
int i;
char ch;
for(i=0;ch!='\n';i++){
scanf("%d",&a[i]);
ch=getchar();
}
if(ispost(a,0,i-1))
printf("ture\n");
else
printf("false\n");
return 0;
}
int ispost(int p[],int begin,int end){
int root=*(p+end);
int i=begin;
int mid,j;
if(begin>end)
return 0;
if(begin==end)
return 1;
for(i;i!=end;++i)
{
if(*(p+i)>root)
break;
}
mid=i;
for(j=mid;j!=end;++j)
{
if(*(p+j)<root)
return 0;
}
return ispost(p,begin,mid-1)*ispost(p,mid,end-1);
}
int main(){
int a[100];
int i;
char ch;
for(i=0;ch!='\n';i++){
scanf("%d",&a[i]);
ch=getchar();
}
if(ispost(a,0,i-1))
printf("ture\n");
else
printf("false\n");
return 0;
}